blob: c5ee82850d18f8b8ece6d146ae63c467566e095c [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");
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000309 REG("VR256");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000310 REG("RST");
311 REG("SEGMENT_REG");
312 REG("DEBUG_REG");
Sean Callanan1a8b7892010-05-06 20:59:00 +0000313 REG("CONTROL_REG");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000314
Sean Callanan8f993b82010-04-08 00:48:21 +0000315 IMM("i8imm");
316 IMM("i16imm");
317 IMM("i16i8imm");
318 IMM("i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000319 IMM("i32i8imm");
320 IMM("i64imm");
321 IMM("i64i8imm");
322 IMM("i64i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000323 IMM("SSECC");
324
325 // all R, I, R, I, R
Sean Callanan95fcebd2010-01-29 00:21:04 +0000326 MEM("i8mem");
327 MEM("i8mem_NOREX");
328 MEM("i16mem");
329 MEM("i32mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000330 MEM("i32mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000331 MEM("f32mem");
332 MEM("ssmem");
333 MEM("opaque32mem");
334 MEM("opaque48mem");
335 MEM("i64mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000336 MEM("i64mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000337 MEM("f64mem");
338 MEM("sdmem");
339 MEM("f80mem");
340 MEM("opaque80mem");
341 MEM("i128mem");
342 MEM("f128mem");
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000343 MEM("f256mem");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000344 MEM("opaque512mem");
345
Sean Callanan8f993b82010-04-08 00:48:21 +0000346 // all R, I, R, I
Sean Callanan95fcebd2010-01-29 00:21:04 +0000347 LEA("lea32mem");
348 LEA("lea64_32mem");
349 LEA("lea64mem");
350
Sean Callanan8f993b82010-04-08 00:48:21 +0000351 // all I
Chris Lattner9fc05222010-07-07 22:27:31 +0000352 PCR("i16imm_pcrel");
Sean Callanana0f914b2010-04-23 22:17:17 +0000353 PCR("i32imm_pcrel");
354 PCR("i64i32imm_pcrel");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000355 PCR("brtarget8");
356 PCR("offset8");
357 PCR("offset16");
358 PCR("offset32");
359 PCR("offset64");
360 PCR("brtarget");
361
362 return 1;
363}
364
365#undef REG
366#undef MEM
367#undef LEA
368#undef IMM
369#undef PCR
Sean Callanan8f993b82010-04-08 00:48:21 +0000370
371#undef SET
Sean Callanan95fcebd2010-01-29 00:21:04 +0000372
373/// X86PopulateOperands - Handles all the operands in an X86 instruction, adding
374/// the appropriate flags to their descriptors
375///
376/// @operandFlags - A reference the array of operand flag objects
377/// @inst - The instruction to use as a source of information
378static void X86PopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000379 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan95fcebd2010-01-29 00:21:04 +0000380 const CodeGenInstruction &inst) {
381 if (!inst.TheDef->isSubClassOf("X86Inst"))
382 return;
383
384 unsigned int index;
385 unsigned int numOperands = inst.OperandList.size();
386
387 for (index = 0; index < numOperands; ++index) {
388 const CodeGenInstruction::OperandInfo &operandInfo =
389 inst.OperandList[index];
390 Record &rec = *operandInfo.Rec;
391
Sean Callanan8f993b82010-04-08 00:48:21 +0000392 if (X86TypeFromOpName(operandTypes[index], rec.getName())) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000393 errs() << "Operand type: " << rec.getName().c_str() << "\n";
394 errs() << "Operand name: " << operandInfo.Name.c_str() << "\n";
395 errs() << "Instruction mame: " << inst.TheDef->getName().c_str() << "\n";
396 llvm_unreachable("Unhandled type");
397 }
398 }
399}
400
401/// decorate1 - Decorates a named operand with a new flag
402///
403/// @operandFlags - The array of operand flag objects, which don't have names
404/// @inst - The CodeGenInstruction, which provides a way to translate
405/// between names and operand indices
406/// @opName - The name of the operand
407/// @flag - The name of the flag to add
Sean Callanan8f993b82010-04-08 00:48:21 +0000408static inline void decorate1(
Sean Callanan9899f702010-04-13 21:21:57 +0000409 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000410 const CodeGenInstruction &inst,
411 const char *opName,
412 const char *opFlag) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000413 unsigned opIndex;
414
Sean Callanancf57c702010-02-10 03:23:23 +0000415 opIndex = inst.getOperandNamed(std::string(opName));
Sean Callanan95fcebd2010-01-29 00:21:04 +0000416
417 operandFlags[opIndex]->addEntry(opFlag);
418}
419
420#define DECORATE1(opName, opFlag) decorate1(operandFlags, inst, opName, opFlag)
421
Sean Callanan8f993b82010-04-08 00:48:21 +0000422#define MOV(source, target) { \
423 instType.set("kInstructionTypeMove"); \
424 DECORATE1(source, "kOperandFlagSource"); \
425 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000426}
427
Sean Callanan8f993b82010-04-08 00:48:21 +0000428#define BRANCH(target) { \
429 instType.set("kInstructionTypeBranch"); \
430 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000431}
432
Sean Callanan8f993b82010-04-08 00:48:21 +0000433#define PUSH(source) { \
434 instType.set("kInstructionTypePush"); \
435 DECORATE1(source, "kOperandFlagSource"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000436}
437
Sean Callanan8f993b82010-04-08 00:48:21 +0000438#define POP(target) { \
439 instType.set("kInstructionTypePop"); \
440 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000441}
442
Sean Callanan8f993b82010-04-08 00:48:21 +0000443#define CALL(target) { \
444 instType.set("kInstructionTypeCall"); \
445 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000446}
447
Sean Callanan8f993b82010-04-08 00:48:21 +0000448#define RETURN() { \
449 instType.set("kInstructionTypeReturn"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000450}
451
452/// X86ExtractSemantics - Performs various checks on the name of an X86
453/// instruction to determine what sort of an instruction it is and then adds
454/// the appropriate flags to the instruction and its operands
455///
Sean Callanan8f993b82010-04-08 00:48:21 +0000456/// @arg instType - A reference to the type for the instruction as a whole
Sean Callanan95fcebd2010-01-29 00:21:04 +0000457/// @arg operandFlags - A reference to the array of operand flag object pointers
458/// @arg inst - A reference to the original instruction
Sean Callanan8f993b82010-04-08 00:48:21 +0000459static void X86ExtractSemantics(
460 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000461 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000462 const CodeGenInstruction &inst) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000463 const std::string &name = inst.TheDef->getName();
464
465 if (name.find("MOV") != name.npos) {
466 if (name.find("MOV_V") != name.npos) {
467 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000468 } else if (name.find("MASK") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000469 // ignore (this is a masking move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000470 } else if (name.find("r0") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000471 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000472 } else if (name.find("PS") != name.npos ||
Sean Callanan95fcebd2010-01-29 00:21:04 +0000473 name.find("PD") != name.npos) {
474 // ignore (this is a shuffling move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000475 } else if (name.find("MOVS") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000476 // ignore (this is a string move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000477 } else if (name.find("_F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000478 // TODO handle _F moves to ST(0)
Sean Callanan8f993b82010-04-08 00:48:21 +0000479 } else if (name.find("a") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000480 // TODO handle moves to/from %ax
Sean Callanan8f993b82010-04-08 00:48:21 +0000481 } else if (name.find("CMOV") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000482 MOV("src2", "dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000483 } else if (name.find("PC") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000484 MOV("label", "reg")
Sean Callanan8f993b82010-04-08 00:48:21 +0000485 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000486 MOV("src", "dst");
487 }
488 }
489
490 if (name.find("JMP") != name.npos ||
491 name.find("J") == 0) {
492 if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
493 BRANCH("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000494 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000495 BRANCH("dst");
496 }
497 }
498
499 if (name.find("PUSH") != name.npos) {
500 if (name.find("FS") != name.npos ||
501 name.find("GS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000502 instType.set("kInstructionTypePush");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000503 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000504 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000505 // ignore (this pushes onto the FP stack)
Nico Weber50b9efc2010-06-23 20:00:58 +0000506 } else if (name.find("A") != name.npos) {
507 // ignore (pushes all GP registoers onto the stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000508 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000509 PUSH("src");
Sean Callanan8f993b82010-04-08 00:48:21 +0000510 } else if (name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000511 PUSH("imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000512 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000513 PUSH("reg");
514 }
515 }
516
517 if (name.find("POP") != name.npos) {
518 if (name.find("POPCNT") != name.npos) {
519 // ignore (not a real pop)
Sean Callanan8f993b82010-04-08 00:48:21 +0000520 } else if (name.find("FS") != name.npos ||
Sean Callanan95fcebd2010-01-29 00:21:04 +0000521 name.find("GS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000522 instType.set("kInstructionTypePop");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000523 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000524 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000525 // ignore (this pops from the FP stack)
Nico Weber50b9efc2010-06-23 20:00:58 +0000526 } else if (name.find("A") != name.npos) {
527 // ignore (pushes all GP registoers onto the stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000528 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000529 POP("dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000530 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000531 POP("reg");
532 }
533 }
534
535 if (name.find("CALL") != name.npos) {
536 if (name.find("ADJ") != name.npos) {
537 // ignore (not a call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000538 } else if (name.find("SYSCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000539 // ignore (doesn't go anywhere we know about)
Sean Callanan8f993b82010-04-08 00:48:21 +0000540 } else if (name.find("VMCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000541 // ignore (rather different semantics than a regular call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000542 } else if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000543 CALL("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000544 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000545 CALL("dst");
546 }
547 }
548
549 if (name.find("RET") != name.npos) {
550 RETURN();
551 }
552}
553
554#undef MOV
555#undef BRANCH
556#undef PUSH
557#undef POP
558#undef CALL
559#undef RETURN
560
Sean Callanan8f993b82010-04-08 00:48:21 +0000561/////////////////////////////////////////////////////
562// Support functions for handling ARM instructions //
563/////////////////////////////////////////////////////
564
565#define SET(flag) { type->set(flag); return 0; }
566
567#define REG(str) if (name == str) SET("kOperandTypeRegister");
568#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
569
570#define MISC(str, type) if (name == str) SET(type);
571
572/// ARMFlagFromOpName - Processes the name of a single ARM operand (which is
573/// actually its type) and translates it into an operand type
574///
575/// @arg type - The type object to set
576/// @arg name - The name of the operand
577static int ARMFlagFromOpName(LiteralConstantEmitter *type,
578 const std::string &name) {
579 REG("GPR");
Dale Johannesen6470a112010-06-15 22:08:33 +0000580 REG("tcGPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000581 REG("cc_out");
582 REG("s_cc_out");
583 REG("tGPR");
584 REG("DPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000585 REG("DPR_VFP2");
586 REG("DPR_8");
Evan Chengb63387a2010-05-06 06:36:08 +0000587 REG("SPR");
588 REG("QPR");
589 REG("QQPR");
Evan Cheng22c687b2010-05-14 02:13:41 +0000590 REG("QQQQPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000591
592 IMM("i32imm");
593 IMM("bf_inv_mask_imm");
594 IMM("jtblock_operand");
595 IMM("nohash_imm");
596 IMM("cpinst_operand");
597 IMM("cps_opt");
598 IMM("vfp_f64imm");
599 IMM("vfp_f32imm");
600 IMM("msr_mask");
601 IMM("neg_zero");
602 IMM("imm0_31");
Bob Wilson1a913ed2010-06-11 21:34:50 +0000603 IMM("nModImm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000604 IMM("imm0_4095");
605 IMM("jt2block_operand");
606 IMM("t_imm_s4");
607 IMM("pclabel");
608
609 MISC("brtarget", "kOperandTypeARMBranchTarget"); // ?
610 MISC("so_reg", "kOperandTypeARMSoReg"); // R, R, I
611 MISC("t2_so_reg", "kOperandTypeThumb2SoReg"); // R, I
612 MISC("so_imm", "kOperandTypeARMSoImm"); // I
613 MISC("t2_so_imm", "kOperandTypeThumb2SoImm"); // I
614 MISC("so_imm2part", "kOperandTypeARMSoImm2Part"); // I
615 MISC("pred", "kOperandTypeARMPredicate"); // I, R
616 MISC("it_pred", "kOperandTypeARMPredicate"); // I
617 MISC("addrmode2", "kOperandTypeARMAddrMode2"); // R, R, I
618 MISC("am2offset", "kOperandTypeARMAddrMode2Offset"); // R, I
619 MISC("addrmode3", "kOperandTypeARMAddrMode3"); // R, R, I
620 MISC("am3offset", "kOperandTypeARMAddrMode3Offset"); // R, I
621 MISC("addrmode4", "kOperandTypeARMAddrMode4"); // R, I
622 MISC("addrmode5", "kOperandTypeARMAddrMode5"); // R, I
623 MISC("addrmode6", "kOperandTypeARMAddrMode6"); // R, R, I, I
624 MISC("am6offset", "kOperandTypeARMAddrMode6Offset"); // R, I, I
625 MISC("addrmodepc", "kOperandTypeARMAddrModePC"); // R, I
626 MISC("reglist", "kOperandTypeARMRegisterList"); // I, R, ...
627 MISC("it_mask", "kOperandTypeThumbITMask"); // I
628 MISC("t2addrmode_imm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
629 MISC("t2am_imm8_offset", "kOperandTypeThumb2AddrModeImm8Offset");//I
630 MISC("t2addrmode_imm12", "kOperandTypeThumb2AddrModeImm12"); // R, I
631 MISC("t2addrmode_so_reg", "kOperandTypeThumb2AddrModeSoReg"); // R, R, I
632 MISC("t2addrmode_imm8s4", "kOperandTypeThumb2AddrModeImm8s4"); // R, I
633 MISC("t2am_imm8s4_offset", "kOperandTypeThumb2AddrModeImm8s4Offset");
634 // R, I
635 MISC("tb_addrmode", "kOperandTypeARMTBAddrMode"); // I
636 MISC("t_addrmode_s1", "kOperandTypeThumbAddrModeS1"); // R, I, R
637 MISC("t_addrmode_s2", "kOperandTypeThumbAddrModeS2"); // R, I, R
638 MISC("t_addrmode_s4", "kOperandTypeThumbAddrModeS4"); // R, I, R
639 MISC("t_addrmode_rr", "kOperandTypeThumbAddrModeRR"); // R, R
640 MISC("t_addrmode_sp", "kOperandTypeThumbAddrModeSP"); // R, I
641
642 return 1;
643}
644
645#undef SOREG
646#undef SOIMM
647#undef PRED
648#undef REG
649#undef MEM
650#undef LEA
651#undef IMM
652#undef PCR
653
654#undef SET
655
656/// ARMPopulateOperands - Handles all the operands in an ARM instruction, adding
657/// the appropriate flags to their descriptors
658///
659/// @operandFlags - A reference the array of operand flag objects
660/// @inst - The instruction to use as a source of information
661static void ARMPopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000662 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000663 const CodeGenInstruction &inst) {
664 if (!inst.TheDef->isSubClassOf("InstARM") &&
665 !inst.TheDef->isSubClassOf("InstThumb"))
666 return;
667
668 unsigned int index;
669 unsigned int numOperands = inst.OperandList.size();
670
Sean Callanan9899f702010-04-13 21:21:57 +0000671 if (numOperands > EDIS_MAX_OPERANDS) {
672 errs() << "numOperands == " << numOperands << " > " <<
673 EDIS_MAX_OPERANDS << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000674 llvm_unreachable("Too many operands");
675 }
676
677 for (index = 0; index < numOperands; ++index) {
678 const CodeGenInstruction::OperandInfo &operandInfo =
679 inst.OperandList[index];
680 Record &rec = *operandInfo.Rec;
681
682 if (ARMFlagFromOpName(operandTypes[index], rec.getName())) {
Benjamin Kramer127dc5e2010-04-08 09:42:29 +0000683 errs() << "Operand type: " << rec.getName() << '\n';
684 errs() << "Operand name: " << operandInfo.Name << '\n';
685 errs() << "Instruction mame: " << inst.TheDef->getName() << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000686 llvm_unreachable("Unhandled type");
687 }
688 }
689}
690
691#define BRANCH(target) { \
692 instType.set("kInstructionTypeBranch"); \
693 DECORATE1(target, "kOperandFlagTarget"); \
694}
695
696/// ARMExtractSemantics - Performs various checks on the name of an ARM
697/// instruction to determine what sort of an instruction it is and then adds
698/// the appropriate flags to the instruction and its operands
699///
700/// @arg instType - A reference to the type for the instruction as a whole
701/// @arg operandTypes - A reference to the array of operand type object pointers
702/// @arg operandFlags - A reference to the array of operand flag object pointers
703/// @arg inst - A reference to the original instruction
704static void ARMExtractSemantics(
705 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000706 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
707 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000708 const CodeGenInstruction &inst) {
709 const std::string &name = inst.TheDef->getName();
710
711 if (name == "tBcc" ||
712 name == "tB" ||
713 name == "t2Bcc" ||
714 name == "Bcc" ||
715 name == "tCBZ" ||
716 name == "tCBNZ") {
717 BRANCH("target");
718 }
719
720 if (name == "tBLr9" ||
721 name == "BLr9_pred" ||
722 name == "tBLXi_r9" ||
723 name == "tBLXr_r9" ||
724 name == "BLXr9" ||
725 name == "t2BXJ" ||
726 name == "BXJ") {
727 BRANCH("func");
728
729 unsigned opIndex;
730 opIndex = inst.getOperandNamed("func");
731 if (operandTypes[opIndex]->is("kOperandTypeImmediate"))
732 operandTypes[opIndex]->set("kOperandTypeARMBranchTarget");
733 }
734}
735
736#undef BRANCH
Sean Callanan95fcebd2010-01-29 00:21:04 +0000737
738/// populateInstInfo - Fills an array of InstInfos with information about each
739/// instruction in a target
740///
741/// @arg infoArray - The array of InstInfo objects to populate
742/// @arg target - The CodeGenTarget to use as a source of instructions
743static void populateInstInfo(CompoundConstantEmitter &infoArray,
744 CodeGenTarget &target) {
Chris Lattnerf6502782010-03-19 00:34:35 +0000745 const std::vector<const CodeGenInstruction*> &numberedInstructions =
746 target.getInstructionsByEnumValue();
Sean Callanan95fcebd2010-01-29 00:21:04 +0000747
748 unsigned int index;
749 unsigned int numInstructions = numberedInstructions.size();
750
751 for (index = 0; index < numInstructions; ++index) {
752 const CodeGenInstruction& inst = *numberedInstructions[index];
753
754 CompoundConstantEmitter *infoStruct = new CompoundConstantEmitter;
755 infoArray.addEntry(infoStruct);
756
Sean Callanan8f993b82010-04-08 00:48:21 +0000757 LiteralConstantEmitter *instType = new LiteralConstantEmitter;
758 infoStruct->addEntry(instType);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000759
760 LiteralConstantEmitter *numOperandsEmitter =
761 new LiteralConstantEmitter(inst.OperandList.size());
762 infoStruct->addEntry(numOperandsEmitter);
Sean Callanan8f993b82010-04-08 00:48:21 +0000763
764 CompoundConstantEmitter *operandTypeArray = new CompoundConstantEmitter;
765 infoStruct->addEntry(operandTypeArray);
766
Sean Callanan9899f702010-04-13 21:21:57 +0000767 LiteralConstantEmitter *operandTypes[EDIS_MAX_OPERANDS];
Sean Callanan95fcebd2010-01-29 00:21:04 +0000768
769 CompoundConstantEmitter *operandFlagArray = new CompoundConstantEmitter;
770 infoStruct->addEntry(operandFlagArray);
771
Sean Callanan9899f702010-04-13 21:21:57 +0000772 FlagsConstantEmitter *operandFlags[EDIS_MAX_OPERANDS];
Sean Callanan95fcebd2010-01-29 00:21:04 +0000773
Sean Callanan8f993b82010-04-08 00:48:21 +0000774 for (unsigned operandIndex = 0;
Sean Callanan9899f702010-04-13 21:21:57 +0000775 operandIndex < EDIS_MAX_OPERANDS;
Sean Callanan8f993b82010-04-08 00:48:21 +0000776 ++operandIndex) {
777 operandTypes[operandIndex] = new LiteralConstantEmitter;
778 operandTypeArray->addEntry(operandTypes[operandIndex]);
779
Sean Callanan95fcebd2010-01-29 00:21:04 +0000780 operandFlags[operandIndex] = new FlagsConstantEmitter;
781 operandFlagArray->addEntry(operandFlags[operandIndex]);
782 }
783
784 unsigned numSyntaxes = 0;
785
786 if (target.getName() == "X86") {
Sean Callanan8f993b82010-04-08 00:48:21 +0000787 X86PopulateOperands(operandTypes, inst);
788 X86ExtractSemantics(*instType, operandFlags, inst);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000789 numSyntaxes = 2;
790 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000791 else if (target.getName() == "ARM") {
792 ARMPopulateOperands(operandTypes, inst);
793 ARMExtractSemantics(*instType, operandTypes, operandFlags, inst);
794 numSyntaxes = 1;
795 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000796
Sean Callanan8f993b82010-04-08 00:48:21 +0000797 CompoundConstantEmitter *operandOrderArray = new CompoundConstantEmitter;
798
Sean Callanan95fcebd2010-01-29 00:21:04 +0000799 infoStruct->addEntry(operandOrderArray);
800
Sean Callanan9899f702010-04-13 21:21:57 +0000801 for (unsigned syntaxIndex = 0;
802 syntaxIndex < EDIS_MAX_SYNTAXES;
803 ++syntaxIndex) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000804 CompoundConstantEmitter *operandOrder =
Sean Callanan9899f702010-04-13 21:21:57 +0000805 new CompoundConstantEmitter(EDIS_MAX_OPERANDS);
Sean Callanan8f993b82010-04-08 00:48:21 +0000806
Sean Callanan95fcebd2010-01-29 00:21:04 +0000807 operandOrderArray->addEntry(operandOrder);
808
809 if (syntaxIndex < numSyntaxes) {
Sean Callanan2db6ff22010-02-10 02:47:08 +0000810 populateOperandOrder(operandOrder, inst, syntaxIndex);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000811 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000812 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000813
814 infoStruct = NULL;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000815 }
816}
817
Sean Callanan9899f702010-04-13 21:21:57 +0000818static void emitCommonEnums(raw_ostream &o, unsigned int &i) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000819 EnumEmitter operandTypes("OperandTypes");
820 operandTypes.addEntry("kOperandTypeNone");
821 operandTypes.addEntry("kOperandTypeImmediate");
822 operandTypes.addEntry("kOperandTypeRegister");
823 operandTypes.addEntry("kOperandTypeX86Memory");
824 operandTypes.addEntry("kOperandTypeX86EffectiveAddress");
825 operandTypes.addEntry("kOperandTypeX86PCRelative");
826 operandTypes.addEntry("kOperandTypeARMBranchTarget");
827 operandTypes.addEntry("kOperandTypeARMSoReg");
828 operandTypes.addEntry("kOperandTypeARMSoImm");
829 operandTypes.addEntry("kOperandTypeARMSoImm2Part");
830 operandTypes.addEntry("kOperandTypeARMPredicate");
831 operandTypes.addEntry("kOperandTypeARMAddrMode2");
832 operandTypes.addEntry("kOperandTypeARMAddrMode2Offset");
833 operandTypes.addEntry("kOperandTypeARMAddrMode3");
834 operandTypes.addEntry("kOperandTypeARMAddrMode3Offset");
835 operandTypes.addEntry("kOperandTypeARMAddrMode4");
836 operandTypes.addEntry("kOperandTypeARMAddrMode5");
837 operandTypes.addEntry("kOperandTypeARMAddrMode6");
838 operandTypes.addEntry("kOperandTypeARMAddrMode6Offset");
839 operandTypes.addEntry("kOperandTypeARMAddrModePC");
840 operandTypes.addEntry("kOperandTypeARMRegisterList");
841 operandTypes.addEntry("kOperandTypeARMTBAddrMode");
842 operandTypes.addEntry("kOperandTypeThumbITMask");
843 operandTypes.addEntry("kOperandTypeThumbAddrModeS1");
844 operandTypes.addEntry("kOperandTypeThumbAddrModeS2");
845 operandTypes.addEntry("kOperandTypeThumbAddrModeS4");
846 operandTypes.addEntry("kOperandTypeThumbAddrModeRR");
847 operandTypes.addEntry("kOperandTypeThumbAddrModeSP");
848 operandTypes.addEntry("kOperandTypeThumb2SoReg");
849 operandTypes.addEntry("kOperandTypeThumb2SoImm");
850 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8");
851 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8Offset");
852 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm12");
853 operandTypes.addEntry("kOperandTypeThumb2AddrModeSoReg");
854 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4");
855 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan8f993b82010-04-08 00:48:21 +0000856 operandTypes.emit(o, i);
857
858 o << "\n";
859
Sean Callanan95fcebd2010-01-29 00:21:04 +0000860 EnumEmitter operandFlags("OperandFlags");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000861 operandFlags.addEntry("kOperandFlagSource");
862 operandFlags.addEntry("kOperandFlagTarget");
863 operandFlags.emitAsFlags(o, i);
864
865 o << "\n";
866
Sean Callanan8f993b82010-04-08 00:48:21 +0000867 EnumEmitter instructionTypes("InstructionTypes");
868 instructionTypes.addEntry("kInstructionTypeNone");
869 instructionTypes.addEntry("kInstructionTypeMove");
870 instructionTypes.addEntry("kInstructionTypeBranch");
871 instructionTypes.addEntry("kInstructionTypePush");
872 instructionTypes.addEntry("kInstructionTypePop");
873 instructionTypes.addEntry("kInstructionTypeCall");
874 instructionTypes.addEntry("kInstructionTypeReturn");
875 instructionTypes.emit(o, i);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000876
877 o << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +0000878}
879
880void EDEmitter::run(raw_ostream &o) {
881 unsigned int i = 0;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000882
Sean Callanan9899f702010-04-13 21:21:57 +0000883 CompoundConstantEmitter infoArray;
884 CodeGenTarget target;
885
886 populateInstInfo(infoArray, target);
887
888 emitCommonEnums(o, i);
889
890 o << "namespace {\n";
891
892 o << "llvm::EDInstInfo instInfo" << target.getName().c_str() << "[] = ";
893 infoArray.emit(o, i);
894 o << ";" << "\n";
895
896 o << "}\n";
897}
898
899void EDEmitter::runHeader(raw_ostream &o) {
900 EmitSourceFileHeader("Enhanced Disassembly Info Header", o);
901
902 o << "#ifndef EDInfo_" << "\n";
903 o << "#define EDInfo_" << "\n";
904 o << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +0000905 o << "#define EDIS_MAX_OPERANDS " << format("%d", EDIS_MAX_OPERANDS) << "\n";
906 o << "#define EDIS_MAX_SYNTAXES " << format("%d", EDIS_MAX_SYNTAXES) << "\n";
907 o << "\n";
908
909 unsigned int i = 0;
910
911 emitCommonEnums(o, i);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000912
913 o << "\n";
914 o << "#endif" << "\n";
915}