blob: 66547cbb2416eaff73f30b376fcae1231e8dc67c [file] [log] [blame]
Sean Callanan95fcebd2010-01-29 00:21:04 +00001//===- 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
Sean Callanand0bc7f02010-02-09 23:06:35 +000018#include "AsmWriterInst.h"
Sean Callanan95fcebd2010-01-29 00:21:04 +000019#include "CodeGenTarget.h"
20#include "Record.h"
21
Sean Callanan9899f702010-04-13 21:21:57 +000022#include "llvm/MC/EDInstInfo.h"
Sean Callanan95fcebd2010-01-29 00:21:04 +000023#include "llvm/Support/ErrorHandling.h"
24#include "llvm/Support/Format.h"
25#include "llvm/Support/raw_ostream.h"
26
Sean Callanan8f993b82010-04-08 00:48:21 +000027#include <map>
Sean Callanan95fcebd2010-01-29 00:21:04 +000028#include <string>
Sean Callanan8f993b82010-04-08 00:48:21 +000029#include <vector>
Sean Callanan95fcebd2010-01-29 00:21:04 +000030
Sean Callanan95fcebd2010-01-29 00:21:04 +000031using namespace llvm;
32
33///////////////////////////////////////////////////////////
34// Support classes for emitting nested C data structures //
35///////////////////////////////////////////////////////////
36
37namespace {
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();
Sean Callanan8f993b82010-04-08 00:48:21 +000056 for (index = 0; index < numEntries; ++index) {
Sean Callanan95fcebd2010-01-29 00:21:04 +000057 o.indent(i) << Entries[index];
Sean Callanan8f993b82010-04-08 00:48:21 +000058 if (index < (numEntries - 1))
Sean Callanan95fcebd2010-01-29 00:21:04 +000059 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 StructEmitter {
88 private:
89 std::string Name;
Sean Callanan8f993b82010-04-08 00:48:21 +000090 typedef std::pair<const char*, const char*> member;
91 std::vector< member > Members;
Sean Callanan95fcebd2010-01-29 00:21:04 +000092 public:
93 StructEmitter(const char *N) : Name(N) {
94 }
95 void addMember(const char *t, const char *n) {
Sean Callanan8f993b82010-04-08 00:48:21 +000096 member m(t, n);
97 Members.push_back(m);
Sean Callanan95fcebd2010-01-29 00:21:04 +000098 }
99 void emit(raw_ostream &o, unsigned int &i) {
100 o.indent(i) << "struct " << Name.c_str() << " {" << "\n";
101 i += 2;
102
103 unsigned int index = 0;
Sean Callanan8f993b82010-04-08 00:48:21 +0000104 unsigned int numMembers = Members.size();
Sean Callanan95fcebd2010-01-29 00:21:04 +0000105 for (index = 0; index < numMembers; ++index) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000106 o.indent(i) << Members[index].first << " ";
107 o.indent(i) << Members[index].second << ";" << "\n";
Sean Callanan95fcebd2010-01-29 00:21:04 +0000108 }
109
110 i -= 2;
111 o.indent(i) << "};" << "\n";
112 }
113 };
114
115 class ConstantEmitter {
116 public:
117 virtual ~ConstantEmitter() { }
118 virtual void emit(raw_ostream &o, unsigned int &i) = 0;
119 };
120
121 class LiteralConstantEmitter : public ConstantEmitter {
122 private:
Sean Callanan8f993b82010-04-08 00:48:21 +0000123 bool IsNumber;
124 union {
125 int Number;
126 const char* String;
127 };
Sean Callanan95fcebd2010-01-29 00:21:04 +0000128 public:
Sean Callanan8f993b82010-04-08 00:48:21 +0000129 LiteralConstantEmitter(const char *string) :
130 IsNumber(false),
131 String(string) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000132 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000133 LiteralConstantEmitter(int number = 0) :
134 IsNumber(true),
135 Number(number) {
136 }
137 void set(const char *string) {
138 IsNumber = false;
139 Number = 0;
140 String = string;
141 }
142 void set(int number) {
143 IsNumber = true;
144 String = NULL;
145 Number = number;
146 }
147 bool is(const char *string) {
148 return !strcmp(String, string);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000149 }
150 void emit(raw_ostream &o, unsigned int &i) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000151 if (IsNumber)
152 o << Number;
153 else
154 o << String;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000155 }
156 };
157
158 class CompoundConstantEmitter : public ConstantEmitter {
159 private:
Sean Callanan8f993b82010-04-08 00:48:21 +0000160 unsigned int Padding;
161 std::vector<ConstantEmitter *> Entries;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000162 public:
Sean Callanan8f993b82010-04-08 00:48:21 +0000163 CompoundConstantEmitter(unsigned int padding = 0) : Padding(padding) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000164 }
165 CompoundConstantEmitter &addEntry(ConstantEmitter *e) {
166 Entries.push_back(e);
Sean Callanan8f993b82010-04-08 00:48:21 +0000167
Sean Callanan95fcebd2010-01-29 00:21:04 +0000168 return *this;
169 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000170 ~CompoundConstantEmitter() {
171 while (Entries.size()) {
172 ConstantEmitter *entry = Entries.back();
173 Entries.pop_back();
174 delete entry;
175 }
176 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000177 void emit(raw_ostream &o, unsigned int &i) {
178 o << "{" << "\n";
179 i += 2;
180
181 unsigned int index;
182 unsigned int numEntries = Entries.size();
Sean Callanan8f993b82010-04-08 00:48:21 +0000183
184 unsigned int numToPrint;
185
186 if (Padding) {
187 if (numEntries > Padding) {
188 fprintf(stderr, "%u entries but %u padding\n", numEntries, Padding);
189 llvm_unreachable("More entries than padding");
190 }
191 numToPrint = Padding;
192 } else {
193 numToPrint = numEntries;
194 }
195
196 for (index = 0; index < numToPrint; ++index) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000197 o.indent(i);
Sean Callanan8f993b82010-04-08 00:48:21 +0000198 if (index < numEntries)
199 Entries[index]->emit(o, i);
200 else
201 o << "-1";
202
203 if (index < (numToPrint - 1))
Sean Callanan95fcebd2010-01-29 00:21:04 +0000204 o << ",";
205 o << "\n";
206 }
207
208 i -= 2;
209 o.indent(i) << "}";
210 }
211 };
212
213 class FlagsConstantEmitter : public ConstantEmitter {
214 private:
215 std::vector<std::string> Flags;
216 public:
217 FlagsConstantEmitter() {
218 }
219 FlagsConstantEmitter &addEntry(const char *f) {
220 Flags.push_back(std::string(f));
221 return *this;
222 }
223 void emit(raw_ostream &o, unsigned int &i) {
224 unsigned int index;
225 unsigned int numFlags = Flags.size();
226 if (numFlags == 0)
227 o << "0";
228
229 for (index = 0; index < numFlags; ++index) {
230 o << Flags[index].c_str();
231 if (index < (numFlags - 1))
232 o << " | ";
233 }
234 }
235 };
236}
237
238EDEmitter::EDEmitter(RecordKeeper &R) : Records(R) {
239}
240
Sean Callanan2db6ff22010-02-10 02:47:08 +0000241/// populateOperandOrder - Accepts a CodeGenInstruction and generates its
242/// AsmWriterInst for the desired assembly syntax, giving an ordered list of
243/// operands in the order they appear in the printed instruction. Then, for
244/// each entry in that list, determines the index of the same operand in the
245/// CodeGenInstruction, and emits the resulting mapping into an array, filling
246/// in unused slots with -1.
Sean Callanan95fcebd2010-01-29 00:21:04 +0000247///
248/// @arg operandOrder - The array that will be populated with the operand
249/// mapping. Each entry will contain -1 (invalid index
250/// into the operands present in the AsmString) or a number
251/// representing an index in the operand descriptor array.
Sean Callanan2db6ff22010-02-10 02:47:08 +0000252/// @arg inst - The instruction to use when looking up the operands
253/// @arg syntax - The syntax to use, according to LLVM's enumeration
Sean Callanan95fcebd2010-01-29 00:21:04 +0000254void populateOperandOrder(CompoundConstantEmitter *operandOrder,
Sean Callanan2db6ff22010-02-10 02:47:08 +0000255 const CodeGenInstruction &inst,
256 unsigned syntax) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000257 unsigned int numArgs = 0;
258
Sean Callanan2db6ff22010-02-10 02:47:08 +0000259 AsmWriterInst awInst(inst, syntax, -1, -1);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000260
Sean Callanan2db6ff22010-02-10 02:47:08 +0000261 std::vector<AsmWriterOperand>::iterator operandIterator;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000262
Sean Callanan2db6ff22010-02-10 02:47:08 +0000263 for (operandIterator = awInst.Operands.begin();
264 operandIterator != awInst.Operands.end();
265 ++operandIterator) {
266 if (operandIterator->OperandType ==
267 AsmWriterOperand::isMachineInstrOperand) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000268 operandOrder->addEntry(
269 new LiteralConstantEmitter(operandIterator->CGIOpNo));
Sean Callanan2db6ff22010-02-10 02:47:08 +0000270 numArgs++;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000271 }
272 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000273}
274
275/////////////////////////////////////////////////////
276// Support functions for handling X86 instructions //
277/////////////////////////////////////////////////////
278
Sean Callanan8f993b82010-04-08 00:48:21 +0000279#define SET(flag) { type->set(flag); return 0; }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000280
Sean Callanan8f993b82010-04-08 00:48:21 +0000281#define REG(str) if (name == str) SET("kOperandTypeRegister");
282#define MEM(str) if (name == str) SET("kOperandTypeX86Memory");
283#define LEA(str) if (name == str) SET("kOperandTypeX86EffectiveAddress");
284#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
285#define PCR(str) if (name == str) SET("kOperandTypeX86PCRelative");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000286
Sean Callanan8f993b82010-04-08 00:48:21 +0000287/// X86TypeFromOpName - Processes the name of a single X86 operand (which is
288/// actually its type) and translates it into an operand type
Sean Callanan95fcebd2010-01-29 00:21:04 +0000289///
Sean Callanan8f993b82010-04-08 00:48:21 +0000290/// @arg flags - The type object to set
Sean Callanan95fcebd2010-01-29 00:21:04 +0000291/// @arg name - The name of the operand
Sean Callanan8f993b82010-04-08 00:48:21 +0000292static int X86TypeFromOpName(LiteralConstantEmitter *type,
Sean Callanan95fcebd2010-01-29 00:21:04 +0000293 const std::string &name) {
294 REG("GR8");
295 REG("GR8_NOREX");
296 REG("GR16");
297 REG("GR32");
298 REG("GR32_NOREX");
Evan Cheng5e817162010-03-14 05:15:39 +0000299 REG("GR32_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000300 REG("FR32");
301 REG("RFP32");
302 REG("GR64");
Evan Cheng5e817162010-03-14 05:15:39 +0000303 REG("GR64_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000304 REG("FR64");
305 REG("VR64");
306 REG("RFP64");
307 REG("RFP80");
308 REG("VR128");
309 REG("RST");
310 REG("SEGMENT_REG");
311 REG("DEBUG_REG");
Sean Callanan1a8b7892010-05-06 20:59:00 +0000312 REG("CONTROL_REG");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000313
Sean Callanan8f993b82010-04-08 00:48:21 +0000314 IMM("i8imm");
315 IMM("i16imm");
316 IMM("i16i8imm");
317 IMM("i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000318 IMM("i32i8imm");
319 IMM("i64imm");
320 IMM("i64i8imm");
321 IMM("i64i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000322 IMM("SSECC");
323
324 // all R, I, R, I, R
Sean Callanan95fcebd2010-01-29 00:21:04 +0000325 MEM("i8mem");
326 MEM("i8mem_NOREX");
327 MEM("i16mem");
328 MEM("i32mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000329 MEM("i32mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000330 MEM("f32mem");
331 MEM("ssmem");
332 MEM("opaque32mem");
333 MEM("opaque48mem");
334 MEM("i64mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000335 MEM("i64mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000336 MEM("f64mem");
337 MEM("sdmem");
338 MEM("f80mem");
339 MEM("opaque80mem");
340 MEM("i128mem");
341 MEM("f128mem");
342 MEM("opaque512mem");
343
Sean Callanan8f993b82010-04-08 00:48:21 +0000344 // all R, I, R, I
Sean Callanan95fcebd2010-01-29 00:21:04 +0000345 LEA("lea32mem");
346 LEA("lea64_32mem");
347 LEA("lea64mem");
348
Sean Callanan8f993b82010-04-08 00:48:21 +0000349 // all I
Sean Callanana0f914b2010-04-23 22:17:17 +0000350 PCR("i32imm_pcrel");
351 PCR("i64i32imm_pcrel");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000352 PCR("brtarget8");
353 PCR("offset8");
354 PCR("offset16");
355 PCR("offset32");
356 PCR("offset64");
357 PCR("brtarget");
358
359 return 1;
360}
361
362#undef REG
363#undef MEM
364#undef LEA
365#undef IMM
366#undef PCR
Sean Callanan8f993b82010-04-08 00:48:21 +0000367
368#undef SET
Sean Callanan95fcebd2010-01-29 00:21:04 +0000369
370/// X86PopulateOperands - Handles all the operands in an X86 instruction, adding
371/// the appropriate flags to their descriptors
372///
373/// @operandFlags - A reference the array of operand flag objects
374/// @inst - The instruction to use as a source of information
375static void X86PopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000376 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan95fcebd2010-01-29 00:21:04 +0000377 const CodeGenInstruction &inst) {
378 if (!inst.TheDef->isSubClassOf("X86Inst"))
379 return;
380
381 unsigned int index;
382 unsigned int numOperands = inst.OperandList.size();
383
384 for (index = 0; index < numOperands; ++index) {
385 const CodeGenInstruction::OperandInfo &operandInfo =
386 inst.OperandList[index];
387 Record &rec = *operandInfo.Rec;
388
Sean Callanan8f993b82010-04-08 00:48:21 +0000389 if (X86TypeFromOpName(operandTypes[index], rec.getName())) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000390 errs() << "Operand type: " << rec.getName().c_str() << "\n";
391 errs() << "Operand name: " << operandInfo.Name.c_str() << "\n";
392 errs() << "Instruction mame: " << inst.TheDef->getName().c_str() << "\n";
393 llvm_unreachable("Unhandled type");
394 }
395 }
396}
397
398/// decorate1 - Decorates a named operand with a new flag
399///
400/// @operandFlags - The array of operand flag objects, which don't have names
401/// @inst - The CodeGenInstruction, which provides a way to translate
402/// between names and operand indices
403/// @opName - The name of the operand
404/// @flag - The name of the flag to add
Sean Callanan8f993b82010-04-08 00:48:21 +0000405static inline void decorate1(
Sean Callanan9899f702010-04-13 21:21:57 +0000406 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000407 const CodeGenInstruction &inst,
408 const char *opName,
409 const char *opFlag) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000410 unsigned opIndex;
411
Sean Callanancf57c702010-02-10 03:23:23 +0000412 opIndex = inst.getOperandNamed(std::string(opName));
Sean Callanan95fcebd2010-01-29 00:21:04 +0000413
414 operandFlags[opIndex]->addEntry(opFlag);
415}
416
417#define DECORATE1(opName, opFlag) decorate1(operandFlags, inst, opName, opFlag)
418
Sean Callanan8f993b82010-04-08 00:48:21 +0000419#define MOV(source, target) { \
420 instType.set("kInstructionTypeMove"); \
421 DECORATE1(source, "kOperandFlagSource"); \
422 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000423}
424
Sean Callanan8f993b82010-04-08 00:48:21 +0000425#define BRANCH(target) { \
426 instType.set("kInstructionTypeBranch"); \
427 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000428}
429
Sean Callanan8f993b82010-04-08 00:48:21 +0000430#define PUSH(source) { \
431 instType.set("kInstructionTypePush"); \
432 DECORATE1(source, "kOperandFlagSource"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000433}
434
Sean Callanan8f993b82010-04-08 00:48:21 +0000435#define POP(target) { \
436 instType.set("kInstructionTypePop"); \
437 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000438}
439
Sean Callanan8f993b82010-04-08 00:48:21 +0000440#define CALL(target) { \
441 instType.set("kInstructionTypeCall"); \
442 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000443}
444
Sean Callanan8f993b82010-04-08 00:48:21 +0000445#define RETURN() { \
446 instType.set("kInstructionTypeReturn"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000447}
448
449/// X86ExtractSemantics - Performs various checks on the name of an X86
450/// instruction to determine what sort of an instruction it is and then adds
451/// the appropriate flags to the instruction and its operands
452///
Sean Callanan8f993b82010-04-08 00:48:21 +0000453/// @arg instType - A reference to the type for the instruction as a whole
Sean Callanan95fcebd2010-01-29 00:21:04 +0000454/// @arg operandFlags - A reference to the array of operand flag object pointers
455/// @arg inst - A reference to the original instruction
Sean Callanan8f993b82010-04-08 00:48:21 +0000456static void X86ExtractSemantics(
457 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000458 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000459 const CodeGenInstruction &inst) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000460 const std::string &name = inst.TheDef->getName();
461
462 if (name.find("MOV") != name.npos) {
463 if (name.find("MOV_V") != name.npos) {
464 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000465 } else if (name.find("MASK") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000466 // ignore (this is a masking move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000467 } else if (name.find("r0") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000468 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000469 } else if (name.find("PS") != name.npos ||
Sean Callanan95fcebd2010-01-29 00:21:04 +0000470 name.find("PD") != name.npos) {
471 // ignore (this is a shuffling move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000472 } else if (name.find("MOVS") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000473 // ignore (this is a string move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000474 } else if (name.find("_F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000475 // TODO handle _F moves to ST(0)
Sean Callanan8f993b82010-04-08 00:48:21 +0000476 } else if (name.find("a") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000477 // TODO handle moves to/from %ax
Sean Callanan8f993b82010-04-08 00:48:21 +0000478 } else if (name.find("CMOV") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000479 MOV("src2", "dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000480 } else if (name.find("PC") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000481 MOV("label", "reg")
Sean Callanan8f993b82010-04-08 00:48:21 +0000482 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000483 MOV("src", "dst");
484 }
485 }
486
487 if (name.find("JMP") != name.npos ||
488 name.find("J") == 0) {
489 if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
490 BRANCH("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000491 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000492 BRANCH("dst");
493 }
494 }
495
496 if (name.find("PUSH") != name.npos) {
497 if (name.find("FS") != name.npos ||
498 name.find("GS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000499 instType.set("kInstructionTypePush");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000500 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000501 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000502 // ignore (this pushes onto the FP stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000503 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000504 PUSH("src");
Sean Callanan8f993b82010-04-08 00:48:21 +0000505 } else if (name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000506 PUSH("imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000507 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000508 PUSH("reg");
509 }
510 }
511
512 if (name.find("POP") != name.npos) {
513 if (name.find("POPCNT") != name.npos) {
514 // ignore (not a real pop)
Sean Callanan8f993b82010-04-08 00:48:21 +0000515 } else if (name.find("FS") != name.npos ||
Sean Callanan95fcebd2010-01-29 00:21:04 +0000516 name.find("GS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000517 instType.set("kInstructionTypePop");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000518 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000519 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000520 // ignore (this pops from the FP stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000521 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000522 POP("dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000523 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000524 POP("reg");
525 }
526 }
527
528 if (name.find("CALL") != name.npos) {
529 if (name.find("ADJ") != name.npos) {
530 // ignore (not a call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000531 } else if (name.find("SYSCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000532 // ignore (doesn't go anywhere we know about)
Sean Callanan8f993b82010-04-08 00:48:21 +0000533 } else if (name.find("VMCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000534 // ignore (rather different semantics than a regular call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000535 } else if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000536 CALL("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000537 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000538 CALL("dst");
539 }
540 }
541
542 if (name.find("RET") != name.npos) {
543 RETURN();
544 }
545}
546
547#undef MOV
548#undef BRANCH
549#undef PUSH
550#undef POP
551#undef CALL
552#undef RETURN
553
Sean Callanan8f993b82010-04-08 00:48:21 +0000554/////////////////////////////////////////////////////
555// Support functions for handling ARM instructions //
556/////////////////////////////////////////////////////
557
558#define SET(flag) { type->set(flag); return 0; }
559
560#define REG(str) if (name == str) SET("kOperandTypeRegister");
561#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
562
563#define MISC(str, type) if (name == str) SET(type);
564
565/// ARMFlagFromOpName - Processes the name of a single ARM operand (which is
566/// actually its type) and translates it into an operand type
567///
568/// @arg type - The type object to set
569/// @arg name - The name of the operand
570static int ARMFlagFromOpName(LiteralConstantEmitter *type,
571 const std::string &name) {
572 REG("GPR");
573 REG("cc_out");
574 REG("s_cc_out");
575 REG("tGPR");
576 REG("DPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000577 REG("DPR_VFP2");
578 REG("DPR_8");
Evan Chengb63387a2010-05-06 06:36:08 +0000579 REG("SPR");
580 REG("QPR");
581 REG("QQPR");
Evan Cheng22c687b2010-05-14 02:13:41 +0000582 REG("QQQQPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000583
584 IMM("i32imm");
585 IMM("bf_inv_mask_imm");
586 IMM("jtblock_operand");
587 IMM("nohash_imm");
588 IMM("cpinst_operand");
589 IMM("cps_opt");
590 IMM("vfp_f64imm");
591 IMM("vfp_f32imm");
592 IMM("msr_mask");
593 IMM("neg_zero");
594 IMM("imm0_31");
Bob Wilson1a913ed2010-06-11 21:34:50 +0000595 IMM("nModImm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000596 IMM("imm0_4095");
597 IMM("jt2block_operand");
598 IMM("t_imm_s4");
599 IMM("pclabel");
600
601 MISC("brtarget", "kOperandTypeARMBranchTarget"); // ?
602 MISC("so_reg", "kOperandTypeARMSoReg"); // R, R, I
603 MISC("t2_so_reg", "kOperandTypeThumb2SoReg"); // R, I
604 MISC("so_imm", "kOperandTypeARMSoImm"); // I
605 MISC("t2_so_imm", "kOperandTypeThumb2SoImm"); // I
606 MISC("so_imm2part", "kOperandTypeARMSoImm2Part"); // I
607 MISC("pred", "kOperandTypeARMPredicate"); // I, R
608 MISC("it_pred", "kOperandTypeARMPredicate"); // I
609 MISC("addrmode2", "kOperandTypeARMAddrMode2"); // R, R, I
610 MISC("am2offset", "kOperandTypeARMAddrMode2Offset"); // R, I
611 MISC("addrmode3", "kOperandTypeARMAddrMode3"); // R, R, I
612 MISC("am3offset", "kOperandTypeARMAddrMode3Offset"); // R, I
613 MISC("addrmode4", "kOperandTypeARMAddrMode4"); // R, I
614 MISC("addrmode5", "kOperandTypeARMAddrMode5"); // R, I
615 MISC("addrmode6", "kOperandTypeARMAddrMode6"); // R, R, I, I
616 MISC("am6offset", "kOperandTypeARMAddrMode6Offset"); // R, I, I
617 MISC("addrmodepc", "kOperandTypeARMAddrModePC"); // R, I
618 MISC("reglist", "kOperandTypeARMRegisterList"); // I, R, ...
619 MISC("it_mask", "kOperandTypeThumbITMask"); // I
620 MISC("t2addrmode_imm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
621 MISC("t2am_imm8_offset", "kOperandTypeThumb2AddrModeImm8Offset");//I
622 MISC("t2addrmode_imm12", "kOperandTypeThumb2AddrModeImm12"); // R, I
623 MISC("t2addrmode_so_reg", "kOperandTypeThumb2AddrModeSoReg"); // R, R, I
624 MISC("t2addrmode_imm8s4", "kOperandTypeThumb2AddrModeImm8s4"); // R, I
625 MISC("t2am_imm8s4_offset", "kOperandTypeThumb2AddrModeImm8s4Offset");
626 // R, I
627 MISC("tb_addrmode", "kOperandTypeARMTBAddrMode"); // I
628 MISC("t_addrmode_s1", "kOperandTypeThumbAddrModeS1"); // R, I, R
629 MISC("t_addrmode_s2", "kOperandTypeThumbAddrModeS2"); // R, I, R
630 MISC("t_addrmode_s4", "kOperandTypeThumbAddrModeS4"); // R, I, R
631 MISC("t_addrmode_rr", "kOperandTypeThumbAddrModeRR"); // R, R
632 MISC("t_addrmode_sp", "kOperandTypeThumbAddrModeSP"); // R, I
633
634 return 1;
635}
636
637#undef SOREG
638#undef SOIMM
639#undef PRED
640#undef REG
641#undef MEM
642#undef LEA
643#undef IMM
644#undef PCR
645
646#undef SET
647
648/// ARMPopulateOperands - Handles all the operands in an ARM instruction, adding
649/// the appropriate flags to their descriptors
650///
651/// @operandFlags - A reference the array of operand flag objects
652/// @inst - The instruction to use as a source of information
653static void ARMPopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000654 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000655 const CodeGenInstruction &inst) {
656 if (!inst.TheDef->isSubClassOf("InstARM") &&
657 !inst.TheDef->isSubClassOf("InstThumb"))
658 return;
659
660 unsigned int index;
661 unsigned int numOperands = inst.OperandList.size();
662
Sean Callanan9899f702010-04-13 21:21:57 +0000663 if (numOperands > EDIS_MAX_OPERANDS) {
664 errs() << "numOperands == " << numOperands << " > " <<
665 EDIS_MAX_OPERANDS << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000666 llvm_unreachable("Too many operands");
667 }
668
669 for (index = 0; index < numOperands; ++index) {
670 const CodeGenInstruction::OperandInfo &operandInfo =
671 inst.OperandList[index];
672 Record &rec = *operandInfo.Rec;
673
674 if (ARMFlagFromOpName(operandTypes[index], rec.getName())) {
Benjamin Kramer127dc5e2010-04-08 09:42:29 +0000675 errs() << "Operand type: " << rec.getName() << '\n';
676 errs() << "Operand name: " << operandInfo.Name << '\n';
677 errs() << "Instruction mame: " << inst.TheDef->getName() << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000678 llvm_unreachable("Unhandled type");
679 }
680 }
681}
682
683#define BRANCH(target) { \
684 instType.set("kInstructionTypeBranch"); \
685 DECORATE1(target, "kOperandFlagTarget"); \
686}
687
688/// ARMExtractSemantics - Performs various checks on the name of an ARM
689/// instruction to determine what sort of an instruction it is and then adds
690/// the appropriate flags to the instruction and its operands
691///
692/// @arg instType - A reference to the type for the instruction as a whole
693/// @arg operandTypes - A reference to the array of operand type object pointers
694/// @arg operandFlags - A reference to the array of operand flag object pointers
695/// @arg inst - A reference to the original instruction
696static void ARMExtractSemantics(
697 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000698 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
699 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000700 const CodeGenInstruction &inst) {
701 const std::string &name = inst.TheDef->getName();
702
703 if (name == "tBcc" ||
704 name == "tB" ||
705 name == "t2Bcc" ||
706 name == "Bcc" ||
707 name == "tCBZ" ||
708 name == "tCBNZ") {
709 BRANCH("target");
710 }
711
712 if (name == "tBLr9" ||
713 name == "BLr9_pred" ||
714 name == "tBLXi_r9" ||
715 name == "tBLXr_r9" ||
716 name == "BLXr9" ||
717 name == "t2BXJ" ||
718 name == "BXJ") {
719 BRANCH("func");
720
721 unsigned opIndex;
722 opIndex = inst.getOperandNamed("func");
723 if (operandTypes[opIndex]->is("kOperandTypeImmediate"))
724 operandTypes[opIndex]->set("kOperandTypeARMBranchTarget");
725 }
726}
727
728#undef BRANCH
Sean Callanan95fcebd2010-01-29 00:21:04 +0000729
730/// populateInstInfo - Fills an array of InstInfos with information about each
731/// instruction in a target
732///
733/// @arg infoArray - The array of InstInfo objects to populate
734/// @arg target - The CodeGenTarget to use as a source of instructions
735static void populateInstInfo(CompoundConstantEmitter &infoArray,
736 CodeGenTarget &target) {
Chris Lattnerf6502782010-03-19 00:34:35 +0000737 const std::vector<const CodeGenInstruction*> &numberedInstructions =
738 target.getInstructionsByEnumValue();
Sean Callanan95fcebd2010-01-29 00:21:04 +0000739
740 unsigned int index;
741 unsigned int numInstructions = numberedInstructions.size();
742
743 for (index = 0; index < numInstructions; ++index) {
744 const CodeGenInstruction& inst = *numberedInstructions[index];
745
746 CompoundConstantEmitter *infoStruct = new CompoundConstantEmitter;
747 infoArray.addEntry(infoStruct);
748
Sean Callanan8f993b82010-04-08 00:48:21 +0000749 LiteralConstantEmitter *instType = new LiteralConstantEmitter;
750 infoStruct->addEntry(instType);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000751
752 LiteralConstantEmitter *numOperandsEmitter =
753 new LiteralConstantEmitter(inst.OperandList.size());
754 infoStruct->addEntry(numOperandsEmitter);
Sean Callanan8f993b82010-04-08 00:48:21 +0000755
756 CompoundConstantEmitter *operandTypeArray = new CompoundConstantEmitter;
757 infoStruct->addEntry(operandTypeArray);
758
Sean Callanan9899f702010-04-13 21:21:57 +0000759 LiteralConstantEmitter *operandTypes[EDIS_MAX_OPERANDS];
Sean Callanan95fcebd2010-01-29 00:21:04 +0000760
761 CompoundConstantEmitter *operandFlagArray = new CompoundConstantEmitter;
762 infoStruct->addEntry(operandFlagArray);
763
Sean Callanan9899f702010-04-13 21:21:57 +0000764 FlagsConstantEmitter *operandFlags[EDIS_MAX_OPERANDS];
Sean Callanan95fcebd2010-01-29 00:21:04 +0000765
Sean Callanan8f993b82010-04-08 00:48:21 +0000766 for (unsigned operandIndex = 0;
Sean Callanan9899f702010-04-13 21:21:57 +0000767 operandIndex < EDIS_MAX_OPERANDS;
Sean Callanan8f993b82010-04-08 00:48:21 +0000768 ++operandIndex) {
769 operandTypes[operandIndex] = new LiteralConstantEmitter;
770 operandTypeArray->addEntry(operandTypes[operandIndex]);
771
Sean Callanan95fcebd2010-01-29 00:21:04 +0000772 operandFlags[operandIndex] = new FlagsConstantEmitter;
773 operandFlagArray->addEntry(operandFlags[operandIndex]);
774 }
775
776 unsigned numSyntaxes = 0;
777
778 if (target.getName() == "X86") {
Sean Callanan8f993b82010-04-08 00:48:21 +0000779 X86PopulateOperands(operandTypes, inst);
780 X86ExtractSemantics(*instType, operandFlags, inst);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000781 numSyntaxes = 2;
782 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000783 else if (target.getName() == "ARM") {
784 ARMPopulateOperands(operandTypes, inst);
785 ARMExtractSemantics(*instType, operandTypes, operandFlags, inst);
786 numSyntaxes = 1;
787 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000788
Sean Callanan8f993b82010-04-08 00:48:21 +0000789 CompoundConstantEmitter *operandOrderArray = new CompoundConstantEmitter;
790
Sean Callanan95fcebd2010-01-29 00:21:04 +0000791 infoStruct->addEntry(operandOrderArray);
792
Sean Callanan9899f702010-04-13 21:21:57 +0000793 for (unsigned syntaxIndex = 0;
794 syntaxIndex < EDIS_MAX_SYNTAXES;
795 ++syntaxIndex) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000796 CompoundConstantEmitter *operandOrder =
Sean Callanan9899f702010-04-13 21:21:57 +0000797 new CompoundConstantEmitter(EDIS_MAX_OPERANDS);
Sean Callanan8f993b82010-04-08 00:48:21 +0000798
Sean Callanan95fcebd2010-01-29 00:21:04 +0000799 operandOrderArray->addEntry(operandOrder);
800
801 if (syntaxIndex < numSyntaxes) {
Sean Callanan2db6ff22010-02-10 02:47:08 +0000802 populateOperandOrder(operandOrder, inst, syntaxIndex);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000803 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000804 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000805
806 infoStruct = NULL;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000807 }
808}
809
Sean Callanan9899f702010-04-13 21:21:57 +0000810static void emitCommonEnums(raw_ostream &o, unsigned int &i) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000811 EnumEmitter operandTypes("OperandTypes");
812 operandTypes.addEntry("kOperandTypeNone");
813 operandTypes.addEntry("kOperandTypeImmediate");
814 operandTypes.addEntry("kOperandTypeRegister");
815 operandTypes.addEntry("kOperandTypeX86Memory");
816 operandTypes.addEntry("kOperandTypeX86EffectiveAddress");
817 operandTypes.addEntry("kOperandTypeX86PCRelative");
818 operandTypes.addEntry("kOperandTypeARMBranchTarget");
819 operandTypes.addEntry("kOperandTypeARMSoReg");
820 operandTypes.addEntry("kOperandTypeARMSoImm");
821 operandTypes.addEntry("kOperandTypeARMSoImm2Part");
822 operandTypes.addEntry("kOperandTypeARMPredicate");
823 operandTypes.addEntry("kOperandTypeARMAddrMode2");
824 operandTypes.addEntry("kOperandTypeARMAddrMode2Offset");
825 operandTypes.addEntry("kOperandTypeARMAddrMode3");
826 operandTypes.addEntry("kOperandTypeARMAddrMode3Offset");
827 operandTypes.addEntry("kOperandTypeARMAddrMode4");
828 operandTypes.addEntry("kOperandTypeARMAddrMode5");
829 operandTypes.addEntry("kOperandTypeARMAddrMode6");
830 operandTypes.addEntry("kOperandTypeARMAddrMode6Offset");
831 operandTypes.addEntry("kOperandTypeARMAddrModePC");
832 operandTypes.addEntry("kOperandTypeARMRegisterList");
833 operandTypes.addEntry("kOperandTypeARMTBAddrMode");
834 operandTypes.addEntry("kOperandTypeThumbITMask");
835 operandTypes.addEntry("kOperandTypeThumbAddrModeS1");
836 operandTypes.addEntry("kOperandTypeThumbAddrModeS2");
837 operandTypes.addEntry("kOperandTypeThumbAddrModeS4");
838 operandTypes.addEntry("kOperandTypeThumbAddrModeRR");
839 operandTypes.addEntry("kOperandTypeThumbAddrModeSP");
840 operandTypes.addEntry("kOperandTypeThumb2SoReg");
841 operandTypes.addEntry("kOperandTypeThumb2SoImm");
842 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8");
843 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8Offset");
844 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm12");
845 operandTypes.addEntry("kOperandTypeThumb2AddrModeSoReg");
846 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4");
847 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan8f993b82010-04-08 00:48:21 +0000848 operandTypes.emit(o, i);
849
850 o << "\n";
851
Sean Callanan95fcebd2010-01-29 00:21:04 +0000852 EnumEmitter operandFlags("OperandFlags");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000853 operandFlags.addEntry("kOperandFlagSource");
854 operandFlags.addEntry("kOperandFlagTarget");
855 operandFlags.emitAsFlags(o, i);
856
857 o << "\n";
858
Sean Callanan8f993b82010-04-08 00:48:21 +0000859 EnumEmitter instructionTypes("InstructionTypes");
860 instructionTypes.addEntry("kInstructionTypeNone");
861 instructionTypes.addEntry("kInstructionTypeMove");
862 instructionTypes.addEntry("kInstructionTypeBranch");
863 instructionTypes.addEntry("kInstructionTypePush");
864 instructionTypes.addEntry("kInstructionTypePop");
865 instructionTypes.addEntry("kInstructionTypeCall");
866 instructionTypes.addEntry("kInstructionTypeReturn");
867 instructionTypes.emit(o, i);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000868
869 o << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +0000870}
871
872void EDEmitter::run(raw_ostream &o) {
873 unsigned int i = 0;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000874
Sean Callanan9899f702010-04-13 21:21:57 +0000875 CompoundConstantEmitter infoArray;
876 CodeGenTarget target;
877
878 populateInstInfo(infoArray, target);
879
880 emitCommonEnums(o, i);
881
882 o << "namespace {\n";
883
884 o << "llvm::EDInstInfo instInfo" << target.getName().c_str() << "[] = ";
885 infoArray.emit(o, i);
886 o << ";" << "\n";
887
888 o << "}\n";
889}
890
891void EDEmitter::runHeader(raw_ostream &o) {
892 EmitSourceFileHeader("Enhanced Disassembly Info Header", o);
893
894 o << "#ifndef EDInfo_" << "\n";
895 o << "#define EDInfo_" << "\n";
896 o << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +0000897 o << "#define EDIS_MAX_OPERANDS " << format("%d", EDIS_MAX_OPERANDS) << "\n";
898 o << "#define EDIS_MAX_SYNTAXES " << format("%d", EDIS_MAX_SYNTAXES) << "\n";
899 o << "\n";
900
901 unsigned int i = 0;
902
903 emitCommonEnums(o, i);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000904
905 o << "\n";
906 o << "#endif" << "\n";
907}