Chris Lattner | 803a5f6 | 2004-08-01 04:04:35 +0000 | [diff] [blame] | 1 | //===- CodeGenTarget.cpp - CodeGen Target Class Wrapper ---------*- C++ -*-===// |
John Criswell | 01d4582 | 2003-10-20 20:20:30 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 803a5f6 | 2004-08-01 04:04:35 +0000 | [diff] [blame] | 10 | // This class wrap target description classes used by the various code |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 11 | // generation TableGen backends. This makes it easier to access the data and |
| 12 | // provides a single place that needs to check it for validity. All of these |
| 13 | // classes throw exceptions on error conditions. |
| 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
Chris Lattner | 803a5f6 | 2004-08-01 04:04:35 +0000 | [diff] [blame] | 17 | #include "CodeGenTarget.h" |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 18 | #include "Record.h" |
Chris Lattner | 560a79f | 2004-10-03 19:34:31 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/StringExtras.h" |
| 20 | #include "llvm/Support/CommandLine.h" |
Chris Lattner | 2082ebe | 2004-08-01 03:55:39 +0000 | [diff] [blame] | 21 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 22 | |
Chris Lattner | 560a79f | 2004-10-03 19:34:31 +0000 | [diff] [blame] | 23 | static cl::opt<unsigned> |
| 24 | AsmWriterNum("asmwriternum", cl::init(0), |
| 25 | cl::desc("Make -gen-asm-writer emit assembly writer #N")); |
| 26 | |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 27 | /// getValueType - Return the MCV::ValueType that the specified TableGen record |
| 28 | /// corresponds to. |
Chris Lattner | 2082ebe | 2004-08-01 03:55:39 +0000 | [diff] [blame] | 29 | MVT::ValueType llvm::getValueType(Record *Rec) { |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 30 | return (MVT::ValueType)Rec->getValueAsInt("Value"); |
| 31 | } |
| 32 | |
Chris Lattner | 2082ebe | 2004-08-01 03:55:39 +0000 | [diff] [blame] | 33 | std::string llvm::getName(MVT::ValueType T) { |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 34 | switch (T) { |
Chris Lattner | d3464c1 | 2003-08-07 23:15:21 +0000 | [diff] [blame] | 35 | case MVT::Other: return "UNKNOWN"; |
| 36 | case MVT::i1: return "i1"; |
| 37 | case MVT::i8: return "i8"; |
| 38 | case MVT::i16: return "i16"; |
| 39 | case MVT::i32: return "i32"; |
| 40 | case MVT::i64: return "i64"; |
| 41 | case MVT::i128: return "i128"; |
| 42 | case MVT::f32: return "f32"; |
| 43 | case MVT::f64: return "f64"; |
| 44 | case MVT::f80: return "f80"; |
| 45 | case MVT::f128: return "f128"; |
| 46 | case MVT::isVoid:return "void"; |
| 47 | default: assert(0 && "ILLEGAL VALUE TYPE!"); return ""; |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 48 | } |
Chris Lattner | d3464c1 | 2003-08-07 23:15:21 +0000 | [diff] [blame] | 49 | } |
| 50 | |
Chris Lattner | 2082ebe | 2004-08-01 03:55:39 +0000 | [diff] [blame] | 51 | std::string llvm::getEnumName(MVT::ValueType T) { |
Chris Lattner | b72fb7e | 2003-08-10 19:50:32 +0000 | [diff] [blame] | 52 | switch (T) { |
| 53 | case MVT::Other: return "Other"; |
| 54 | case MVT::i1: return "i1"; |
| 55 | case MVT::i8: return "i8"; |
| 56 | case MVT::i16: return "i16"; |
| 57 | case MVT::i32: return "i32"; |
| 58 | case MVT::i64: return "i64"; |
| 59 | case MVT::i128: return "i128"; |
| 60 | case MVT::f32: return "f32"; |
| 61 | case MVT::f64: return "f64"; |
| 62 | case MVT::f80: return "f80"; |
| 63 | case MVT::f128: return "f128"; |
| 64 | case MVT::isVoid:return "isVoid"; |
| 65 | default: assert(0 && "ILLEGAL VALUE TYPE!"); return ""; |
| 66 | } |
| 67 | } |
| 68 | |
Chris Lattner | d3464c1 | 2003-08-07 23:15:21 +0000 | [diff] [blame] | 69 | |
Chris Lattner | 2082ebe | 2004-08-01 03:55:39 +0000 | [diff] [blame] | 70 | std::ostream &llvm::operator<<(std::ostream &OS, MVT::ValueType T) { |
Chris Lattner | d3464c1 | 2003-08-07 23:15:21 +0000 | [diff] [blame] | 71 | return OS << getName(T); |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 72 | } |
| 73 | |
| 74 | |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 75 | /// getTarget - Return the current instance of the Target class. |
| 76 | /// |
Brian Gaeke | be7f4af | 2003-10-10 21:55:29 +0000 | [diff] [blame] | 77 | CodeGenTarget::CodeGenTarget() : PointerType(MVT::Other) { |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 78 | std::vector<Record*> Targets = Records.getAllDerivedDefinitions("Target"); |
Misha Brukman | bebdb20 | 2004-06-04 14:59:42 +0000 | [diff] [blame] | 79 | if (Targets.size() == 0) |
| 80 | throw std::string("ERROR: No 'Target' subclasses defined!"); |
Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 81 | if (Targets.size() != 1) |
| 82 | throw std::string("ERROR: Multiple subclasses of Target defined!"); |
| 83 | TargetRec = Targets[0]; |
| 84 | |
| 85 | // Read in all of the CalleeSavedRegisters... |
| 86 | ListInit *LI = TargetRec->getValueAsListInit("CalleeSavedRegisters"); |
| 87 | for (unsigned i = 0, e = LI->getSize(); i != e; ++i) |
| 88 | if (DefInit *DI = dynamic_cast<DefInit*>(LI->getElement(i))) |
| 89 | CalleeSavedRegisters.push_back(DI->getDef()); |
| 90 | else |
| 91 | throw "Target: " + TargetRec->getName() + |
| 92 | " expected register definition in CalleeSavedRegisters list!"; |
| 93 | |
| 94 | PointerType = getValueType(TargetRec->getValueAsDef("PointerType")); |
| 95 | } |
| 96 | |
| 97 | |
| 98 | const std::string &CodeGenTarget::getName() const { |
| 99 | return TargetRec->getName(); |
| 100 | } |
| 101 | |
| 102 | Record *CodeGenTarget::getInstructionSet() const { |
| 103 | return TargetRec->getValueAsDef("InstructionSet"); |
| 104 | } |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 105 | |
Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 106 | /// getAsmWriter - Return the AssemblyWriter definition for this target. |
| 107 | /// |
| 108 | Record *CodeGenTarget::getAsmWriter() const { |
Chris Lattner | 560a79f | 2004-10-03 19:34:31 +0000 | [diff] [blame] | 109 | ListInit *LI = TargetRec->getValueAsListInit("AssemblyWriters"); |
| 110 | if (AsmWriterNum >= LI->getSize()) |
| 111 | throw "Target does not have an AsmWriter #" + utostr(AsmWriterNum) + "!"; |
| 112 | DefInit *DI = dynamic_cast<DefInit*>(LI->getElement(AsmWriterNum)); |
| 113 | if (!DI) throw std::string("AssemblyWriter list should be a list of defs!"); |
| 114 | return DI->getDef(); |
Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 115 | } |
| 116 | |
Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 117 | void CodeGenTarget::ReadRegisters() const { |
| 118 | std::vector<Record*> Regs = Records.getAllDerivedDefinitions("Register"); |
| 119 | if (Regs.empty()) |
| 120 | throw std::string("No 'Register' subclasses defined!"); |
| 121 | |
| 122 | Registers.reserve(Regs.size()); |
| 123 | Registers.assign(Regs.begin(), Regs.end()); |
| 124 | } |
| 125 | |
Chris Lattner | 7a680c6 | 2004-08-21 02:24:57 +0000 | [diff] [blame] | 126 | CodeGenRegister::CodeGenRegister(Record *R) : TheDef(R) { |
| 127 | DeclaredSpillSize = R->getValueAsInt("SpillSize"); |
| 128 | DeclaredSpillAlignment = R->getValueAsInt("SpillAlignment"); |
| 129 | } |
| 130 | |
Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 131 | const std::string &CodeGenRegister::getName() const { |
| 132 | return TheDef->getName(); |
| 133 | } |
| 134 | |
Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 135 | void CodeGenTarget::ReadRegisterClasses() const { |
| 136 | std::vector<Record*> RegClasses = |
| 137 | Records.getAllDerivedDefinitions("RegisterClass"); |
| 138 | if (RegClasses.empty()) |
| 139 | throw std::string("No 'RegisterClass' subclasses defined!"); |
| 140 | |
| 141 | RegisterClasses.reserve(RegClasses.size()); |
| 142 | RegisterClasses.assign(RegClasses.begin(), RegClasses.end()); |
| 143 | } |
| 144 | |
| 145 | CodeGenRegisterClass::CodeGenRegisterClass(Record *R) : TheDef(R) { |
| 146 | SpillSize = R->getValueAsInt("Size"); |
Chris Lattner | 037d732 | 2004-08-21 20:15:25 +0000 | [diff] [blame] | 147 | SpillAlignment = R->getValueAsInt("Alignment"); |
Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 148 | |
Chris Lattner | 5767775 | 2004-08-21 19:21:21 +0000 | [diff] [blame] | 149 | if (CodeInit *CI = dynamic_cast<CodeInit*>(R->getValueInit("Methods"))) |
| 150 | MethodDefinitions = CI->getValue(); |
| 151 | else |
| 152 | throw "Expected 'code' fragment for 'Methods' value in register class '"+ |
| 153 | getName() + "'!"; |
| 154 | |
Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 155 | ListInit *RegList = R->getValueAsListInit("MemberList"); |
| 156 | for (unsigned i = 0, e = RegList->getSize(); i != e; ++i) { |
| 157 | DefInit *RegDef = dynamic_cast<DefInit*>(RegList->getElement(i)); |
| 158 | if (!RegDef) throw "Register class member is not a record!"; |
| 159 | Record *Reg = RegDef->getDef(); |
| 160 | |
| 161 | if (!Reg->isSubClassOf("Register")) |
| 162 | throw "Register Class member '" + Reg->getName() + |
| 163 | "' does not derive from the Register class!"; |
| 164 | Elements.push_back(Reg); |
| 165 | } |
| 166 | } |
| 167 | |
| 168 | const std::string &CodeGenRegisterClass::getName() const { |
| 169 | return TheDef->getName(); |
| 170 | } |
| 171 | |
| 172 | |
Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 173 | |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 174 | void CodeGenTarget::ReadInstructions() const { |
| 175 | std::vector<Record*> Insts = Records.getAllDerivedDefinitions("Instruction"); |
| 176 | |
Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 177 | if (Insts.empty()) |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 178 | throw std::string("No 'Instruction' subclasses defined!"); |
| 179 | |
Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 180 | std::string InstFormatName = |
| 181 | getAsmWriter()->getValueAsString("InstFormatName"); |
| 182 | |
| 183 | for (unsigned i = 0, e = Insts.size(); i != e; ++i) { |
| 184 | std::string AsmStr = Insts[i]->getValueAsString(InstFormatName); |
| 185 | Instructions.insert(std::make_pair(Insts[i]->getName(), |
| 186 | CodeGenInstruction(Insts[i], AsmStr))); |
| 187 | } |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 188 | } |
| 189 | |
| 190 | /// getPHIInstruction - Return the designated PHI instruction. |
Misha Brukman | 35e83cc | 2004-10-14 05:50:43 +0000 | [diff] [blame] | 191 | /// |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 192 | const CodeGenInstruction &CodeGenTarget::getPHIInstruction() const { |
| 193 | Record *PHI = getInstructionSet()->getValueAsDef("PHIInst"); |
| 194 | std::map<std::string, CodeGenInstruction>::const_iterator I = |
| 195 | getInstructions().find(PHI->getName()); |
| 196 | if (I == Instructions.end()) |
| 197 | throw "Could not find PHI instruction named '" + PHI->getName() + "'!"; |
| 198 | return I->second; |
| 199 | } |
| 200 | |
Misha Brukman | 35e83cc | 2004-10-14 05:50:43 +0000 | [diff] [blame] | 201 | /// isLittleEndianEncoding - Return whether this target encodes its instruction |
| 202 | /// in little-endian format, i.e. bits laid out in the order [0..n] |
| 203 | /// |
| 204 | bool CodeGenTarget::isLittleEndianEncoding() const { |
| 205 | return getInstructionSet()->getValueAsBit("isLittleEndianEncoding"); |
| 206 | } |
| 207 | |
Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 208 | CodeGenInstruction::CodeGenInstruction(Record *R, const std::string &AsmStr) |
| 209 | : TheDef(R), AsmString(AsmStr) { |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 210 | Name = R->getValueAsString("Name"); |
| 211 | Namespace = R->getValueAsString("Namespace"); |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 212 | |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 213 | isReturn = R->getValueAsBit("isReturn"); |
| 214 | isBranch = R->getValueAsBit("isBranch"); |
| 215 | isBarrier = R->getValueAsBit("isBarrier"); |
| 216 | isCall = R->getValueAsBit("isCall"); |
Nate Begeman | cdd66b5 | 2004-09-28 21:01:45 +0000 | [diff] [blame] | 217 | isLoad = R->getValueAsBit("isLoad"); |
| 218 | isStore = R->getValueAsBit("isStore"); |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 219 | isTwoAddress = R->getValueAsBit("isTwoAddress"); |
Chris Lattner | aad75aa | 2005-01-02 02:29:04 +0000 | [diff] [blame^] | 220 | isConvertibleToThreeAddress = R->getValueAsBit("isConvertibleToThreeAddress"); |
| 221 | isCommutable = R->getValueAsBit("isCommutable"); |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 222 | isTerminator = R->getValueAsBit("isTerminator"); |
Chris Lattner | 5b71d3a | 2004-09-28 18:38:01 +0000 | [diff] [blame] | 223 | hasDelaySlot = R->getValueAsBit("hasDelaySlot"); |
Chris Lattner | 2e1f51b | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 224 | |
Chris Lattner | 2e1f51b | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 225 | try { |
| 226 | DagInit *DI = R->getValueAsDag("OperandList"); |
| 227 | |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 228 | unsigned MIOperandNo = 0; |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 229 | for (unsigned i = 0, e = DI->getNumArgs(); i != e; ++i) |
| 230 | if (DefInit *Arg = dynamic_cast<DefInit*>(DI->getArg(i))) { |
| 231 | Record *Rec = Arg->getDef(); |
| 232 | MVT::ValueType Ty; |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 233 | std::string PrintMethod = "printOperand"; |
| 234 | unsigned NumOps = 1; |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 235 | if (Rec->isSubClassOf("RegisterClass")) |
| 236 | Ty = getValueType(Rec->getValueAsDef("RegType")); |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 237 | else if (Rec->isSubClassOf("Operand")) { |
Chris Lattner | 552a842 | 2004-08-11 01:53:58 +0000 | [diff] [blame] | 238 | Ty = getValueType(Rec->getValueAsDef("Type")); |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 239 | PrintMethod = Rec->getValueAsString("PrintMethod"); |
| 240 | NumOps = Rec->getValueAsInt("NumMIOperands"); |
| 241 | } else |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 242 | throw "Unknown operand class '" + Rec->getName() + |
| 243 | "' in instruction '" + R->getName() + "' instruction!"; |
| 244 | |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 245 | OperandList.push_back(OperandInfo(Rec, Ty, DI->getArgName(i), |
| 246 | PrintMethod, MIOperandNo)); |
| 247 | MIOperandNo += NumOps; |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 248 | } else { |
| 249 | throw "Illegal operand for the '" + R->getName() + "' instruction!"; |
| 250 | } |
Chris Lattner | 2e1f51b | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 251 | } catch (...) { |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 252 | // Error parsing operands list, just ignore it. |
| 253 | AsmString.clear(); |
| 254 | OperandList.clear(); |
Chris Lattner | 2e1f51b | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 255 | } |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 256 | } |
| 257 | |
| 258 | |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 259 | |
| 260 | /// getOperandNamed - Return the index of the operand with the specified |
| 261 | /// non-empty name. If the instruction does not have an operand with the |
| 262 | /// specified name, throw an exception. |
Misha Brukman | 35e83cc | 2004-10-14 05:50:43 +0000 | [diff] [blame] | 263 | /// |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 264 | unsigned CodeGenInstruction::getOperandNamed(const std::string &Name) const { |
| 265 | assert(!Name.empty() && "Cannot search for operand with no name!"); |
| 266 | for (unsigned i = 0, e = OperandList.size(); i != e; ++i) |
| 267 | if (OperandList[i].Name == Name) return i; |
| 268 | throw "Instruction '" + TheDef->getName() + |
| 269 | "' does not have an operand named '$" + Name + "'!"; |
| 270 | } |