be1ed8f792bd9514cd669864148ae8780449e380
[oota-llvm.git] / utils / TableGen / EDEmitter.cpp
1 //===- EDEmitter.cpp - Generate instruction descriptions for ED -*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This tablegen backend is responsible for emitting a description of each
11 // instruction in a format that the enhanced disassembler can use to tokenize
12 // and parse instructions.
13 //
14 //===----------------------------------------------------------------------===//
15
16 #include "EDEmitter.h"
17
18 #include "AsmWriterInst.h"
19 #include "CodeGenTarget.h"
20 #include "Record.h"
21
22 #include "llvm/MC/EDInstInfo.h"
23 #include "llvm/Support/ErrorHandling.h"
24 #include "llvm/Support/Format.h"
25 #include "llvm/Support/raw_ostream.h"
26
27 #include <map>
28 #include <string>
29 #include <vector>
30
31 using namespace llvm;
32
33 ///////////////////////////////////////////////////////////
34 // Support classes for emitting nested C data structures //
35 ///////////////////////////////////////////////////////////
36
37 namespace {
38
39   class EnumEmitter {
40   private:
41     std::string Name;
42     std::vector<std::string> Entries;
43   public:
44     EnumEmitter(const char *N) : Name(N) {
45     }
46     int addEntry(const char *e) {
47       Entries.push_back(std::string(e));
48       return Entries.size() - 1;
49     }
50     void emit(raw_ostream &o, unsigned int &i) {
51       o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
52       i += 2;
53
54       unsigned int index = 0;
55       unsigned int numEntries = Entries.size();
56       for (index = 0; index < numEntries; ++index) {
57         o.indent(i) << Entries[index];
58         if (index < (numEntries - 1))
59           o << ",";
60         o << "\n";
61       }
62
63       i -= 2;
64       o.indent(i) << "};" << "\n";
65     }
66
67     void emitAsFlags(raw_ostream &o, unsigned int &i) {
68       o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
69       i += 2;
70
71       unsigned int index = 0;
72       unsigned int numEntries = Entries.size();
73       unsigned int flag = 1;
74       for (index = 0; index < numEntries; ++index) {
75         o.indent(i) << Entries[index] << " = " << format("0x%x", flag);
76         if (index < (numEntries - 1))
77           o << ",";
78         o << "\n";
79         flag <<= 1;
80       }
81
82       i -= 2;
83       o.indent(i) << "};" << "\n";
84     }
85   };
86
87   class ConstantEmitter {
88   public:
89     virtual ~ConstantEmitter() { }
90     virtual void emit(raw_ostream &o, unsigned int &i) = 0;
91   };
92
93   class LiteralConstantEmitter : public ConstantEmitter {
94   private:
95     bool IsNumber;
96     union {
97       int Number;
98       const char* String;
99     };
100   public:
101     LiteralConstantEmitter(int number = 0) :
102       IsNumber(true),
103       Number(number) {
104     }
105     void set(const char *string) {
106       IsNumber = false;
107       Number = 0;
108       String = string;
109     }
110     bool is(const char *string) {
111       return !strcmp(String, string);
112     }
113     void emit(raw_ostream &o, unsigned int &i) {
114       if (IsNumber)
115         o << Number;
116       else
117         o << String;
118     }
119   };
120
121   class CompoundConstantEmitter : public ConstantEmitter {
122   private:
123     unsigned int Padding;
124     std::vector<ConstantEmitter *> Entries;
125   public:
126     CompoundConstantEmitter(unsigned int padding = 0) : Padding(padding) {
127     }
128     CompoundConstantEmitter &addEntry(ConstantEmitter *e) {
129       Entries.push_back(e);
130
131       return *this;
132     }
133     ~CompoundConstantEmitter() {
134       while (Entries.size()) {
135         ConstantEmitter *entry = Entries.back();
136         Entries.pop_back();
137         delete entry;
138       }
139     }
140     void emit(raw_ostream &o, unsigned int &i) {
141       o << "{" << "\n";
142       i += 2;
143
144       unsigned int index;
145       unsigned int numEntries = Entries.size();
146
147       unsigned int numToPrint;
148
149       if (Padding) {
150         if (numEntries > Padding) {
151           fprintf(stderr, "%u entries but %u padding\n", numEntries, Padding);
152           llvm_unreachable("More entries than padding");
153         }
154         numToPrint = Padding;
155       } else {
156         numToPrint = numEntries;
157       }
158
159       for (index = 0; index < numToPrint; ++index) {
160         o.indent(i);
161         if (index < numEntries)
162           Entries[index]->emit(o, i);
163         else
164           o << "-1";
165
166         if (index < (numToPrint - 1))
167           o << ",";
168         o << "\n";
169       }
170
171       i -= 2;
172       o.indent(i) << "}";
173     }
174   };
175
176   class FlagsConstantEmitter : public ConstantEmitter {
177   private:
178     std::vector<std::string> Flags;
179   public:
180     FlagsConstantEmitter() {
181     }
182     FlagsConstantEmitter &addEntry(const char *f) {
183       Flags.push_back(std::string(f));
184       return *this;
185     }
186     void emit(raw_ostream &o, unsigned int &i) {
187       unsigned int index;
188       unsigned int numFlags = Flags.size();
189       if (numFlags == 0)
190         o << "0";
191
192       for (index = 0; index < numFlags; ++index) {
193         o << Flags[index].c_str();
194         if (index < (numFlags - 1))
195           o << " | ";
196       }
197     }
198   };
199 }
200
201 EDEmitter::EDEmitter(RecordKeeper &R) : Records(R) {
202 }
203
204 /// populateOperandOrder - Accepts a CodeGenInstruction and generates its
205 ///   AsmWriterInst for the desired assembly syntax, giving an ordered list of
206 ///   operands in the order they appear in the printed instruction.  Then, for
207 ///   each entry in that list, determines the index of the same operand in the
208 ///   CodeGenInstruction, and emits the resulting mapping into an array, filling
209 ///   in unused slots with -1.
210 ///
211 /// @arg operandOrder - The array that will be populated with the operand
212 ///                     mapping.  Each entry will contain -1 (invalid index
213 ///                     into the operands present in the AsmString) or a number
214 ///                     representing an index in the operand descriptor array.
215 /// @arg inst         - The instruction to use when looking up the operands
216 /// @arg syntax       - The syntax to use, according to LLVM's enumeration
217 void populateOperandOrder(CompoundConstantEmitter *operandOrder,
218                           const CodeGenInstruction &inst,
219                           unsigned syntax) {
220   unsigned int numArgs = 0;
221
222   AsmWriterInst awInst(inst, syntax, -1, -1);
223
224   std::vector<AsmWriterOperand>::iterator operandIterator;
225
226   for (operandIterator = awInst.Operands.begin();
227        operandIterator != awInst.Operands.end();
228        ++operandIterator) {
229     if (operandIterator->OperandType ==
230         AsmWriterOperand::isMachineInstrOperand) {
231       operandOrder->addEntry(
232         new LiteralConstantEmitter(operandIterator->CGIOpNo));
233       numArgs++;
234     }
235   }
236 }
237
238 /////////////////////////////////////////////////////
239 // Support functions for handling X86 instructions //
240 /////////////////////////////////////////////////////
241
242 #define SET(flag) { type->set(flag); return 0; }
243
244 #define REG(str) if (name == str) SET("kOperandTypeRegister");
245 #define MEM(str) if (name == str) SET("kOperandTypeX86Memory");
246 #define LEA(str) if (name == str) SET("kOperandTypeX86EffectiveAddress");
247 #define IMM(str) if (name == str) SET("kOperandTypeImmediate");
248 #define PCR(str) if (name == str) SET("kOperandTypeX86PCRelative");
249
250 /// X86TypeFromOpName - Processes the name of a single X86 operand (which is
251 ///   actually its type) and translates it into an operand type
252 ///
253 /// @arg flags    - The type object to set
254 /// @arg name     - The name of the operand
255 static int X86TypeFromOpName(LiteralConstantEmitter *type,
256                              const std::string &name) {
257   REG("GR8");
258   REG("GR8_NOREX");
259   REG("GR16");
260   REG("GR32");
261   REG("GR32_NOREX");
262   REG("GR32_TC");
263   REG("FR32");
264   REG("RFP32");
265   REG("GR64");
266   REG("GR64_TC");
267   REG("FR64");
268   REG("VR64");
269   REG("RFP64");
270   REG("RFP80");
271   REG("VR128");
272   REG("VR256");
273   REG("RST");
274   REG("SEGMENT_REG");
275   REG("DEBUG_REG");
276   REG("CONTROL_REG");
277
278   IMM("i8imm");
279   IMM("i16imm");
280   IMM("i16i8imm");
281   IMM("i32imm");
282   IMM("i32i8imm");
283   IMM("i64imm");
284   IMM("i64i8imm");
285   IMM("i64i32imm");
286   IMM("SSECC");
287
288   // all R, I, R, I, R
289   MEM("i8mem");
290   MEM("i8mem_NOREX");
291   MEM("i16mem");
292   MEM("i32mem");
293   MEM("i32mem_TC");
294   MEM("f32mem");
295   MEM("ssmem");
296   MEM("opaque32mem");
297   MEM("opaque48mem");
298   MEM("i64mem");
299   MEM("i64mem_TC");
300   MEM("f64mem");
301   MEM("sdmem");
302   MEM("f80mem");
303   MEM("opaque80mem");
304   MEM("i128mem");
305   MEM("i256mem");
306   MEM("f128mem");
307   MEM("f256mem");
308   MEM("opaque512mem");
309
310   // all R, I, R, I
311   LEA("lea32mem");
312   LEA("lea64_32mem");
313   LEA("lea64mem");
314
315   // all I
316   PCR("i16imm_pcrel");
317   PCR("i32imm_pcrel");
318   PCR("i64i32imm_pcrel");
319   PCR("brtarget8");
320   PCR("offset8");
321   PCR("offset16");
322   PCR("offset32");
323   PCR("offset64");
324   PCR("brtarget");
325   PCR("bltarget");
326
327   return 1;
328 }
329
330 #undef REG
331 #undef MEM
332 #undef LEA
333 #undef IMM
334 #undef PCR
335
336 #undef SET
337
338 /// X86PopulateOperands - Handles all the operands in an X86 instruction, adding
339 ///   the appropriate flags to their descriptors
340 ///
341 /// @operandFlags - A reference the array of operand flag objects
342 /// @inst         - The instruction to use as a source of information
343 static void X86PopulateOperands(
344   LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
345   const CodeGenInstruction &inst) {
346   if (!inst.TheDef->isSubClassOf("X86Inst"))
347     return;
348
349   unsigned int index;
350   unsigned int numOperands = inst.Operands.size();
351
352   for (index = 0; index < numOperands; ++index) {
353     const CGIOperandList::OperandInfo &operandInfo = inst.Operands[index];
354     Record &rec = *operandInfo.Rec;
355
356     if (X86TypeFromOpName(operandTypes[index], rec.getName())) {
357       errs() << "Operand type: " << rec.getName().c_str() << "\n";
358       errs() << "Operand name: " << operandInfo.Name.c_str() << "\n";
359       errs() << "Instruction name: " << inst.TheDef->getName().c_str() << "\n";
360       llvm_unreachable("Unhandled type");
361     }
362   }
363 }
364
365 /// decorate1 - Decorates a named operand with a new flag
366 ///
367 /// @operandFlags - The array of operand flag objects, which don't have names
368 /// @inst         - The CodeGenInstruction, which provides a way to translate
369 ///                 between names and operand indices
370 /// @opName       - The name of the operand
371 /// @flag         - The name of the flag to add
372 static inline void decorate1(
373   FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
374   const CodeGenInstruction &inst,
375   const char *opName,
376   const char *opFlag) {
377   unsigned opIndex;
378
379   opIndex = inst.Operands.getOperandNamed(std::string(opName));
380
381   operandFlags[opIndex]->addEntry(opFlag);
382 }
383
384 #define DECORATE1(opName, opFlag) decorate1(operandFlags, inst, opName, opFlag)
385
386 #define MOV(source, target) {               \
387   instType.set("kInstructionTypeMove");     \
388   DECORATE1(source, "kOperandFlagSource");  \
389   DECORATE1(target, "kOperandFlagTarget");  \
390 }
391
392 #define BRANCH(target) {                    \
393   instType.set("kInstructionTypeBranch");   \
394   DECORATE1(target, "kOperandFlagTarget");  \
395 }
396
397 #define PUSH(source) {                      \
398   instType.set("kInstructionTypePush");     \
399   DECORATE1(source, "kOperandFlagSource");  \
400 }
401
402 #define POP(target) {                       \
403   instType.set("kInstructionTypePop");      \
404   DECORATE1(target, "kOperandFlagTarget");  \
405 }
406
407 #define CALL(target) {                      \
408   instType.set("kInstructionTypeCall");     \
409   DECORATE1(target, "kOperandFlagTarget");  \
410 }
411
412 #define RETURN() {                          \
413   instType.set("kInstructionTypeReturn");   \
414 }
415
416 /// X86ExtractSemantics - Performs various checks on the name of an X86
417 ///   instruction to determine what sort of an instruction it is and then adds
418 ///   the appropriate flags to the instruction and its operands
419 ///
420 /// @arg instType     - A reference to the type for the instruction as a whole
421 /// @arg operandFlags - A reference to the array of operand flag object pointers
422 /// @arg inst         - A reference to the original instruction
423 static void X86ExtractSemantics(
424   LiteralConstantEmitter &instType,
425   FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
426   const CodeGenInstruction &inst) {
427   const std::string &name = inst.TheDef->getName();
428
429   if (name.find("MOV") != name.npos) {
430     if (name.find("MOV_V") != name.npos) {
431       // ignore (this is a pseudoinstruction)
432     } else if (name.find("MASK") != name.npos) {
433       // ignore (this is a masking move)
434     } else if (name.find("r0") != name.npos) {
435       // ignore (this is a pseudoinstruction)
436     } else if (name.find("PS") != name.npos ||
437              name.find("PD") != name.npos) {
438       // ignore (this is a shuffling move)
439     } else if (name.find("MOVS") != name.npos) {
440       // ignore (this is a string move)
441     } else if (name.find("_F") != name.npos) {
442       // TODO handle _F moves to ST(0)
443     } else if (name.find("a") != name.npos) {
444       // TODO handle moves to/from %ax
445     } else if (name.find("CMOV") != name.npos) {
446       MOV("src2", "dst");
447     } else if (name.find("PC") != name.npos) {
448       MOV("label", "reg")
449     } else {
450       MOV("src", "dst");
451     }
452   }
453
454   if (name.find("JMP") != name.npos ||
455       name.find("J") == 0) {
456     if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
457       BRANCH("off");
458     } else {
459       BRANCH("dst");
460     }
461   }
462
463   if (name.find("PUSH") != name.npos) {
464     if (name.find("CS") != name.npos ||
465         name.find("DS") != name.npos ||
466         name.find("ES") != name.npos ||
467         name.find("FS") != name.npos ||
468         name.find("GS") != name.npos ||
469         name.find("SS") != name.npos) {
470       instType.set("kInstructionTypePush");
471       // TODO add support for fixed operands
472     } else if (name.find("F") != name.npos) {
473       // ignore (this pushes onto the FP stack)
474     } else if (name.find("A") != name.npos) {
475       // ignore (pushes all GP registoers onto the stack)
476     } else if (name[name.length() - 1] == 'm') {
477       PUSH("src");
478     } else if (name.find("i") != name.npos) {
479       PUSH("imm");
480     } else {
481       PUSH("reg");
482     }
483   }
484
485   if (name.find("POP") != name.npos) {
486     if (name.find("POPCNT") != name.npos) {
487       // ignore (not a real pop)
488     } else if (name.find("CS") != name.npos ||
489                name.find("DS") != name.npos ||
490                name.find("ES") != name.npos ||
491                name.find("FS") != name.npos ||
492                name.find("GS") != name.npos ||
493                name.find("SS") != name.npos) {
494       instType.set("kInstructionTypePop");
495       // TODO add support for fixed operands
496     } else if (name.find("F") != name.npos) {
497       // ignore (this pops from the FP stack)
498     } else if (name.find("A") != name.npos) {
499       // ignore (pushes all GP registoers onto the stack)
500     } else if (name[name.length() - 1] == 'm') {
501       POP("dst");
502     } else {
503       POP("reg");
504     }
505   }
506
507   if (name.find("CALL") != name.npos) {
508     if (name.find("ADJ") != name.npos) {
509       // ignore (not a call)
510     } else if (name.find("SYSCALL") != name.npos) {
511       // ignore (doesn't go anywhere we know about)
512     } else if (name.find("VMCALL") != name.npos) {
513       // ignore (rather different semantics than a regular call)
514     } else if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
515       CALL("off");
516     } else {
517       CALL("dst");
518     }
519   }
520
521   if (name.find("RET") != name.npos) {
522     RETURN();
523   }
524 }
525
526 #undef MOV
527 #undef BRANCH
528 #undef PUSH
529 #undef POP
530 #undef CALL
531 #undef RETURN
532
533 /////////////////////////////////////////////////////
534 // Support functions for handling ARM instructions //
535 /////////////////////////////////////////////////////
536
537 #define SET(flag) { type->set(flag); return 0; }
538
539 #define REG(str)    if (name == str) SET("kOperandTypeRegister");
540 #define IMM(str)    if (name == str) SET("kOperandTypeImmediate");
541
542 #define MISC(str, type)   if (name == str) SET(type);
543
544 /// ARMFlagFromOpName - Processes the name of a single ARM operand (which is
545 ///   actually its type) and translates it into an operand type
546 ///
547 /// @arg type     - The type object to set
548 /// @arg name     - The name of the operand
549 static int ARMFlagFromOpName(LiteralConstantEmitter *type,
550                              const std::string &name) {
551   REG("GPR");
552   REG("rGPR");
553   REG("tcGPR");
554   REG("cc_out");
555   REG("s_cc_out");
556   REG("tGPR");
557   REG("DPR");
558   REG("DPR_VFP2");
559   REG("DPR_8");
560   REG("SPR");
561   REG("QPR");
562   REG("QQPR");
563   REG("QQQQPR");
564
565   IMM("i32imm");
566   IMM("movt_imm");
567   IMM("bf_inv_mask_imm");
568   IMM("jtblock_operand");
569   IMM("nohash_imm");
570   IMM("cpinst_operand");
571   IMM("setend_op");
572   IMM("cps_opt");
573   IMM("vfp_f64imm");
574   IMM("vfp_f32imm");
575   IMM("memb_opt");
576   IMM("msr_mask");
577   IMM("neg_zero");
578   IMM("imm0_31");
579   IMM("imm0_31_m1");
580   IMM("nModImm");
581   IMM("imm0_4095");
582   IMM("jt2block_operand");
583   IMM("t_imm_s4");
584   IMM("pclabel");
585   IMM("adrlabel");
586   IMM("shift_imm");
587   IMM("neon_vcvt_imm32");
588
589   MISC("brtarget", "kOperandTypeARMBranchTarget");                // ?
590   MISC("t_brtarget", "kOperandTypeARMBranchTarget");              // ?
591   MISC("t_bcctarget", "kOperandTypeARMBranchTarget");             // ?
592   MISC("t_cbtarget", "kOperandTypeARMBranchTarget");              // ?
593   MISC("bltarget", "kOperandTypeARMBranchTarget");                // ?
594   MISC("t_bltarget", "kOperandTypeARMBranchTarget");              // ?
595   MISC("t_blxtarget", "kOperandTypeARMBranchTarget");             // ?
596   MISC("so_reg", "kOperandTypeARMSoReg");                         // R, R, I
597   MISC("shift_so_reg", "kOperandTypeARMSoReg");                   // R, R, I
598   MISC("t2_so_reg", "kOperandTypeThumb2SoReg");                   // R, I
599   MISC("so_imm", "kOperandTypeARMSoImm");                         // I
600   MISC("rot_imm", "kOperandTypeARMRotImm");                       // I
601   MISC("t2_so_imm", "kOperandTypeThumb2SoImm");                   // I
602   MISC("so_imm2part", "kOperandTypeARMSoImm2Part");               // I
603   MISC("pred", "kOperandTypeARMPredicate");                       // I, R
604   MISC("it_pred", "kOperandTypeARMPredicate");                    // I
605   MISC("addrmode_imm12", "kOperandTypeAddrModeImm12");            // R, I
606   MISC("ldst_so_reg", "kOperandTypeLdStSOReg");                   // R, R, I
607   MISC("addrmode2", "kOperandTypeARMAddrMode2");                  // R, R, I
608   MISC("am2offset", "kOperandTypeARMAddrMode2Offset");            // R, I
609   MISC("addrmode3", "kOperandTypeARMAddrMode3");                  // R, R, I
610   MISC("am3offset", "kOperandTypeARMAddrMode3Offset");            // R, I
611   MISC("ldstm_mode", "kOperandTypeARMLdStmMode");                 // I
612   MISC("addrmode5", "kOperandTypeARMAddrMode5");                  // R, I
613   MISC("addrmode6", "kOperandTypeARMAddrMode6");                  // R, R, I, I
614   MISC("am6offset", "kOperandTypeARMAddrMode6Offset");            // R, I, I
615   MISC("addrmode6dup", "kOperandTypeARMAddrMode6");               // R, R, I, I
616   MISC("addrmodepc", "kOperandTypeARMAddrModePC");                // R, I
617   MISC("reglist", "kOperandTypeARMRegisterList");                 // I, R, ...
618   MISC("dpr_reglist", "kOperandTypeARMDPRRegisterList");          // I, R, ...
619   MISC("spr_reglist", "kOperandTypeARMSPRRegisterList");          // I, R, ...
620   MISC("it_mask", "kOperandTypeThumbITMask");                     // I
621   MISC("t2addrmode_imm8", "kOperandTypeThumb2AddrModeImm8");      // R, I
622   MISC("t2am_imm8_offset", "kOperandTypeThumb2AddrModeImm8Offset");//I
623   MISC("t2addrmode_imm12", "kOperandTypeThumb2AddrModeImm12");    // R, I
624   MISC("t2addrmode_so_reg", "kOperandTypeThumb2AddrModeSoReg");   // R, R, I
625   MISC("t2addrmode_imm8s4", "kOperandTypeThumb2AddrModeImm8s4");  // R, I
626   MISC("t2am_imm8s4_offset", "kOperandTypeThumb2AddrModeImm8s4Offset");
627                                                                   // R, I
628   MISC("tb_addrmode", "kOperandTypeARMTBAddrMode");               // I
629   MISC("t_addrmode_s1", "kOperandTypeThumbAddrModeS1");           // R, I, R
630   MISC("t_addrmode_s2", "kOperandTypeThumbAddrModeS2");           // R, I, R
631   MISC("t_addrmode_s4", "kOperandTypeThumbAddrModeS4");           // R, I, R
632   MISC("t_addrmode_rr", "kOperandTypeThumbAddrModeRR");           // R, R
633   MISC("t_addrmode_sp", "kOperandTypeThumbAddrModeSP");           // R, I
634   MISC("t_addrmode_pc", "kOperandTypeThumbAddrModePC");           // R, I
635
636   return 1;
637 }
638
639 #undef SOREG
640 #undef SOIMM
641 #undef PRED
642 #undef REG
643 #undef MEM
644 #undef LEA
645 #undef IMM
646 #undef PCR
647
648 #undef SET
649
650 /// ARMPopulateOperands - Handles all the operands in an ARM instruction, adding
651 ///   the appropriate flags to their descriptors
652 ///
653 /// @operandFlags - A reference the array of operand flag objects
654 /// @inst         - The instruction to use as a source of information
655 static void ARMPopulateOperands(
656   LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
657   const CodeGenInstruction &inst) {
658   if (!inst.TheDef->isSubClassOf("InstARM") &&
659       !inst.TheDef->isSubClassOf("InstThumb"))
660     return;
661
662   unsigned int index;
663   unsigned int numOperands = inst.Operands.size();
664
665   if (numOperands > EDIS_MAX_OPERANDS) {
666     errs() << "numOperands == " << numOperands << " > " <<
667       EDIS_MAX_OPERANDS << '\n';
668     llvm_unreachable("Too many operands");
669   }
670
671   for (index = 0; index < numOperands; ++index) {
672     const CGIOperandList::OperandInfo &operandInfo = inst.Operands[index];
673     Record &rec = *operandInfo.Rec;
674
675     if (ARMFlagFromOpName(operandTypes[index], rec.getName())) {
676       errs() << "Operand type: " << rec.getName() << '\n';
677       errs() << "Operand name: " << operandInfo.Name << '\n';
678       errs() << "Instruction name: " << inst.TheDef->getName() << '\n';
679       llvm_unreachable("Unhandled type");
680     }
681   }
682 }
683
684 #define BRANCH(target) {                    \
685   instType.set("kInstructionTypeBranch");   \
686   DECORATE1(target, "kOperandFlagTarget");  \
687 }
688
689 /// ARMExtractSemantics - Performs various checks on the name of an ARM
690 ///   instruction to determine what sort of an instruction it is and then adds
691 ///   the appropriate flags to the instruction and its operands
692 ///
693 /// @arg instType     - A reference to the type for the instruction as a whole
694 /// @arg operandTypes - A reference to the array of operand type object pointers
695 /// @arg operandFlags - A reference to the array of operand flag object pointers
696 /// @arg inst         - A reference to the original instruction
697 static void ARMExtractSemantics(
698   LiteralConstantEmitter &instType,
699   LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
700   FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
701   const CodeGenInstruction &inst) {
702   const std::string &name = inst.TheDef->getName();
703
704   if (name == "tBcc"   ||
705       name == "tB"     ||
706       name == "t2Bcc"  ||
707       name == "Bcc"    ||
708       name == "tCBZ"   ||
709       name == "tCBNZ") {
710     BRANCH("target");
711   }
712
713   if (name == "tBLr9"      ||
714       name == "BLr9_pred"  ||
715       name == "tBLXi_r9"   ||
716       name == "tBLXr_r9"   ||
717       name == "BLXr9"      ||
718       name == "t2BXJ"      ||
719       name == "BXJ") {
720     BRANCH("func");
721
722     unsigned opIndex;
723     opIndex = inst.Operands.getOperandNamed("func");
724     if (operandTypes[opIndex]->is("kOperandTypeImmediate"))
725       operandTypes[opIndex]->set("kOperandTypeARMBranchTarget");
726   }
727 }
728
729 #undef BRANCH
730
731 /// populateInstInfo - Fills an array of InstInfos with information about each
732 ///   instruction in a target
733 ///
734 /// @arg infoArray  - The array of InstInfo objects to populate
735 /// @arg target     - The CodeGenTarget to use as a source of instructions
736 static void populateInstInfo(CompoundConstantEmitter &infoArray,
737                              CodeGenTarget &target) {
738   const std::vector<const CodeGenInstruction*> &numberedInstructions =
739     target.getInstructionsByEnumValue();
740
741   unsigned int index;
742   unsigned int numInstructions = numberedInstructions.size();
743
744   for (index = 0; index < numInstructions; ++index) {
745     const CodeGenInstruction& inst = *numberedInstructions[index];
746
747     CompoundConstantEmitter *infoStruct = new CompoundConstantEmitter;
748     infoArray.addEntry(infoStruct);
749
750     LiteralConstantEmitter *instType = new LiteralConstantEmitter;
751     infoStruct->addEntry(instType);
752
753     LiteralConstantEmitter *numOperandsEmitter =
754       new LiteralConstantEmitter(inst.Operands.size());
755     infoStruct->addEntry(numOperandsEmitter);
756
757     CompoundConstantEmitter *operandTypeArray = new CompoundConstantEmitter;
758     infoStruct->addEntry(operandTypeArray);
759
760     LiteralConstantEmitter *operandTypes[EDIS_MAX_OPERANDS];
761
762     CompoundConstantEmitter *operandFlagArray = new CompoundConstantEmitter;
763     infoStruct->addEntry(operandFlagArray);
764
765     FlagsConstantEmitter *operandFlags[EDIS_MAX_OPERANDS];
766
767     for (unsigned operandIndex = 0;
768          operandIndex < EDIS_MAX_OPERANDS;
769          ++operandIndex) {
770       operandTypes[operandIndex] = new LiteralConstantEmitter;
771       operandTypeArray->addEntry(operandTypes[operandIndex]);
772
773       operandFlags[operandIndex] = new FlagsConstantEmitter;
774       operandFlagArray->addEntry(operandFlags[operandIndex]);
775     }
776
777     unsigned numSyntaxes = 0;
778
779     if (target.getName() == "X86") {
780       X86PopulateOperands(operandTypes, inst);
781       X86ExtractSemantics(*instType, operandFlags, inst);
782       numSyntaxes = 2;
783     }
784     else if (target.getName() == "ARM") {
785       ARMPopulateOperands(operandTypes, inst);
786       ARMExtractSemantics(*instType, operandTypes, operandFlags, inst);
787       numSyntaxes = 1;
788     }
789
790     CompoundConstantEmitter *operandOrderArray = new CompoundConstantEmitter;
791
792     infoStruct->addEntry(operandOrderArray);
793
794     for (unsigned syntaxIndex = 0;
795          syntaxIndex < EDIS_MAX_SYNTAXES;
796          ++syntaxIndex) {
797       CompoundConstantEmitter *operandOrder =
798         new CompoundConstantEmitter(EDIS_MAX_OPERANDS);
799
800       operandOrderArray->addEntry(operandOrder);
801
802       if (syntaxIndex < numSyntaxes) {
803         populateOperandOrder(operandOrder, inst, syntaxIndex);
804       }
805     }
806
807     infoStruct = NULL;
808   }
809 }
810
811 static void emitCommonEnums(raw_ostream &o, unsigned int &i) {
812   EnumEmitter operandTypes("OperandTypes");
813   operandTypes.addEntry("kOperandTypeNone");
814   operandTypes.addEntry("kOperandTypeImmediate");
815   operandTypes.addEntry("kOperandTypeRegister");
816   operandTypes.addEntry("kOperandTypeX86Memory");
817   operandTypes.addEntry("kOperandTypeX86EffectiveAddress");
818   operandTypes.addEntry("kOperandTypeX86PCRelative");
819   operandTypes.addEntry("kOperandTypeARMBranchTarget");
820   operandTypes.addEntry("kOperandTypeARMSoReg");
821   operandTypes.addEntry("kOperandTypeARMSoImm");
822   operandTypes.addEntry("kOperandTypeARMRotImm");
823   operandTypes.addEntry("kOperandTypeARMSoImm2Part");
824   operandTypes.addEntry("kOperandTypeARMPredicate");
825   operandTypes.addEntry("kOperandTypeAddrModeImm12");
826   operandTypes.addEntry("kOperandTypeLdStSOReg");
827   operandTypes.addEntry("kOperandTypeARMAddrMode2");
828   operandTypes.addEntry("kOperandTypeARMAddrMode2Offset");
829   operandTypes.addEntry("kOperandTypeARMAddrMode3");
830   operandTypes.addEntry("kOperandTypeARMAddrMode3Offset");
831   operandTypes.addEntry("kOperandTypeARMLdStmMode");
832   operandTypes.addEntry("kOperandTypeARMAddrMode5");
833   operandTypes.addEntry("kOperandTypeARMAddrMode6");
834   operandTypes.addEntry("kOperandTypeARMAddrMode6Offset");
835   operandTypes.addEntry("kOperandTypeARMAddrModePC");
836   operandTypes.addEntry("kOperandTypeARMRegisterList");
837   operandTypes.addEntry("kOperandTypeARMDPRRegisterList");
838   operandTypes.addEntry("kOperandTypeARMSPRRegisterList");
839   operandTypes.addEntry("kOperandTypeARMTBAddrMode");
840   operandTypes.addEntry("kOperandTypeThumbITMask");
841   operandTypes.addEntry("kOperandTypeThumbAddrModeS1");
842   operandTypes.addEntry("kOperandTypeThumbAddrModeS2");
843   operandTypes.addEntry("kOperandTypeThumbAddrModeS4");
844   operandTypes.addEntry("kOperandTypeThumbAddrModeRR");
845   operandTypes.addEntry("kOperandTypeThumbAddrModeSP");
846   operandTypes.addEntry("kOperandTypeThumbAddrModePC");
847   operandTypes.addEntry("kOperandTypeThumb2SoReg");
848   operandTypes.addEntry("kOperandTypeThumb2SoImm");
849   operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8");
850   operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8Offset");
851   operandTypes.addEntry("kOperandTypeThumb2AddrModeImm12");
852   operandTypes.addEntry("kOperandTypeThumb2AddrModeSoReg");
853   operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4");
854   operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4Offset");
855   operandTypes.emit(o, i);
856
857   o << "\n";
858
859   EnumEmitter operandFlags("OperandFlags");
860   operandFlags.addEntry("kOperandFlagSource");
861   operandFlags.addEntry("kOperandFlagTarget");
862   operandFlags.emitAsFlags(o, i);
863
864   o << "\n";
865
866   EnumEmitter instructionTypes("InstructionTypes");
867   instructionTypes.addEntry("kInstructionTypeNone");
868   instructionTypes.addEntry("kInstructionTypeMove");
869   instructionTypes.addEntry("kInstructionTypeBranch");
870   instructionTypes.addEntry("kInstructionTypePush");
871   instructionTypes.addEntry("kInstructionTypePop");
872   instructionTypes.addEntry("kInstructionTypeCall");
873   instructionTypes.addEntry("kInstructionTypeReturn");
874   instructionTypes.emit(o, i);
875
876   o << "\n";
877 }
878
879 void EDEmitter::run(raw_ostream &o) {
880   unsigned int i = 0;
881
882   CompoundConstantEmitter infoArray;
883   CodeGenTarget target(Records);
884
885   populateInstInfo(infoArray, target);
886
887   emitCommonEnums(o, i);
888
889   o << "namespace {\n";
890
891   o << "llvm::EDInstInfo instInfo" << target.getName().c_str() << "[] = ";
892   infoArray.emit(o, i);
893   o << ";" << "\n";
894
895   o << "}\n";
896 }