blob: 428630edc9d52ffbef9a37bf158af3dbc46228f6 [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
Sean Callanand0bc7f02010-02-09 23:06:35 +000016#include "AsmWriterInst.h"
Sean Callanan95fcebd2010-01-29 00:21:04 +000017#include "CodeGenTarget.h"
Sean Callanan9899f702010-04-13 21:21:57 +000018#include "llvm/MC/EDInstInfo.h"
Sean Callanan95fcebd2010-01-29 00:21:04 +000019#include "llvm/Support/ErrorHandling.h"
20#include "llvm/Support/Format.h"
21#include "llvm/Support/raw_ostream.h"
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +000022#include "llvm/TableGen/Error.h"
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000023#include "llvm/TableGen/Record.h"
24#include "llvm/TableGen/TableGenBackend.h"
Sean Callanan95fcebd2010-01-29 00:21:04 +000025#include <string>
Sean Callanan8f993b82010-04-08 00:48:21 +000026#include <vector>
Sean Callanan95fcebd2010-01-29 00:21:04 +000027
Sean Callanan95fcebd2010-01-29 00:21:04 +000028using namespace llvm;
29
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000030// TODO: There's a suspiciously large amount of "table" data in this
31// backend which should probably be in the TableGen file itself.
32
Sean Callanan95fcebd2010-01-29 00:21:04 +000033///////////////////////////////////////////////////////////
34// Support classes for emitting nested C data structures //
35///////////////////////////////////////////////////////////
36
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000037// TODO: These classes are probably generally useful to other backends;
38// add them to TableGen's "helper" API's.
39
Sean Callanan95fcebd2010-01-29 00:21:04 +000040namespace {
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000041class EnumEmitter {
42private:
43 std::string Name;
44 std::vector<std::string> Entries;
45public:
46 EnumEmitter(const char *N) : Name(N) {
47 }
48 int addEntry(const char *e) {
49 Entries.push_back(std::string(e));
50 return Entries.size() - 1;
51 }
52 void emit(raw_ostream &o, unsigned int &i) {
53 o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
54 i += 2;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000055
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000056 unsigned int index = 0;
57 unsigned int numEntries = Entries.size();
58 for (index = 0; index < numEntries; ++index) {
59 o.indent(i) << Entries[index];
60 if (index < (numEntries - 1))
61 o << ",";
62 o << "\n";
Sean Callanan95fcebd2010-01-29 00:21:04 +000063 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000064
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000065 i -= 2;
66 o.indent(i) << "};" << "\n";
67 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000068
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000069 void emitAsFlags(raw_ostream &o, unsigned int &i) {
70 o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
71 i += 2;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000072
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000073 unsigned int index = 0;
74 unsigned int numEntries = Entries.size();
75 unsigned int flag = 1;
76 for (index = 0; index < numEntries; ++index) {
77 o.indent(i) << Entries[index] << " = " << format("0x%x", flag);
78 if (index < (numEntries - 1))
79 o << ",";
80 o << "\n";
81 flag <<= 1;
Sean Callanan95fcebd2010-01-29 00:21:04 +000082 }
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000083
84 i -= 2;
85 o.indent(i) << "};" << "\n";
86 }
87};
88} // End anonymous namespace
89
90namespace {
91class ConstantEmitter {
92public:
93 virtual ~ConstantEmitter() { }
94 virtual void emit(raw_ostream &o, unsigned int &i) = 0;
95};
96} // End anonymous namespace
97
98namespace {
99class LiteralConstantEmitter : public ConstantEmitter {
100private:
101 bool IsNumber;
102 union {
103 int Number;
104 const char* String;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000105 };
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000106public:
107 LiteralConstantEmitter(int number = 0) :
108 IsNumber(true),
109 Number(number) {
110 }
111 void set(const char *string) {
112 IsNumber = false;
113 Number = 0;
114 String = string;
115 }
116 bool is(const char *string) {
117 return !strcmp(String, string);
118 }
119 void emit(raw_ostream &o, unsigned int &i) {
120 if (IsNumber)
121 o << Number;
122 else
123 o << String;
124 }
125};
126} // End anonymous namespace
Sean Callanan95fcebd2010-01-29 00:21:04 +0000127
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000128namespace {
129class CompoundConstantEmitter : public ConstantEmitter {
130private:
131 unsigned int Padding;
132 std::vector<ConstantEmitter *> Entries;
133public:
134 CompoundConstantEmitter(unsigned int padding = 0) : Padding(padding) {
135 }
136 CompoundConstantEmitter &addEntry(ConstantEmitter *e) {
137 Entries.push_back(e);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000138
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000139 return *this;
140 }
141 ~CompoundConstantEmitter() {
142 while (Entries.size()) {
143 ConstantEmitter *entry = Entries.back();
144 Entries.pop_back();
145 delete entry;
Sean Callanan8f993b82010-04-08 00:48:21 +0000146 }
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000147 }
148 void emit(raw_ostream &o, unsigned int &i) {
149 o << "{" << "\n";
150 i += 2;
151
152 unsigned int index;
153 unsigned int numEntries = Entries.size();
154
155 unsigned int numToPrint;
156
157 if (Padding) {
158 if (numEntries > Padding) {
159 fprintf(stderr, "%u entries but %u padding\n", numEntries, Padding);
160 llvm_unreachable("More entries than padding");
161 }
162 numToPrint = Padding;
163 } else {
164 numToPrint = numEntries;
Sean Callanan8f993b82010-04-08 00:48:21 +0000165 }
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000166
167 for (index = 0; index < numToPrint; ++index) {
168 o.indent(i);
169 if (index < numEntries)
170 Entries[index]->emit(o, i);
Sean Callanan8f993b82010-04-08 00:48:21 +0000171 else
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000172 o << "-1";
173
174 if (index < (numToPrint - 1))
175 o << ",";
176 o << "\n";
Sean Callanan95fcebd2010-01-29 00:21:04 +0000177 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000178
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000179 i -= 2;
180 o.indent(i) << "}";
181 }
182};
183} // End anonymous namespace
184
185namespace {
186class FlagsConstantEmitter : public ConstantEmitter {
187private:
188 std::vector<std::string> Flags;
189public:
190 FlagsConstantEmitter() {
191 }
192 FlagsConstantEmitter &addEntry(const char *f) {
193 Flags.push_back(std::string(f));
194 return *this;
195 }
196 void emit(raw_ostream &o, unsigned int &i) {
197 unsigned int index;
198 unsigned int numFlags = Flags.size();
199 if (numFlags == 0)
200 o << "0";
201
202 for (index = 0; index < numFlags; ++index) {
203 o << Flags[index].c_str();
204 if (index < (numFlags - 1))
205 o << " | ";
Sean Callanan95fcebd2010-01-29 00:21:04 +0000206 }
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000207 }
208};
209} // End anonymous namespace
Sean Callanan95fcebd2010-01-29 00:21:04 +0000210
Sean Callanan2db6ff22010-02-10 02:47:08 +0000211/// populateOperandOrder - Accepts a CodeGenInstruction and generates its
212/// AsmWriterInst for the desired assembly syntax, giving an ordered list of
213/// operands in the order they appear in the printed instruction. Then, for
214/// each entry in that list, determines the index of the same operand in the
215/// CodeGenInstruction, and emits the resulting mapping into an array, filling
216/// in unused slots with -1.
Sean Callanan95fcebd2010-01-29 00:21:04 +0000217///
218/// @arg operandOrder - The array that will be populated with the operand
219/// mapping. Each entry will contain -1 (invalid index
220/// into the operands present in the AsmString) or a number
221/// representing an index in the operand descriptor array.
Sean Callanan2db6ff22010-02-10 02:47:08 +0000222/// @arg inst - The instruction to use when looking up the operands
223/// @arg syntax - The syntax to use, according to LLVM's enumeration
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000224static void populateOperandOrder(CompoundConstantEmitter *operandOrder,
225 const CodeGenInstruction &inst,
226 unsigned syntax) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000227 unsigned int numArgs = 0;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000228
Sean Callanan2db6ff22010-02-10 02:47:08 +0000229 AsmWriterInst awInst(inst, syntax, -1, -1);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000230
Sean Callanan2db6ff22010-02-10 02:47:08 +0000231 std::vector<AsmWriterOperand>::iterator operandIterator;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000232
Sean Callanan2db6ff22010-02-10 02:47:08 +0000233 for (operandIterator = awInst.Operands.begin();
234 operandIterator != awInst.Operands.end();
235 ++operandIterator) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000236 if (operandIterator->OperandType ==
Sean Callanan2db6ff22010-02-10 02:47:08 +0000237 AsmWriterOperand::isMachineInstrOperand) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000238 operandOrder->addEntry(
239 new LiteralConstantEmitter(operandIterator->CGIOpNo));
Sean Callanan2db6ff22010-02-10 02:47:08 +0000240 numArgs++;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000241 }
242 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000243}
244
245/////////////////////////////////////////////////////
246// Support functions for handling X86 instructions //
247/////////////////////////////////////////////////////
248
Sean Callanan8f993b82010-04-08 00:48:21 +0000249#define SET(flag) { type->set(flag); return 0; }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000250
Sean Callanan8f993b82010-04-08 00:48:21 +0000251#define REG(str) if (name == str) SET("kOperandTypeRegister");
252#define MEM(str) if (name == str) SET("kOperandTypeX86Memory");
253#define LEA(str) if (name == str) SET("kOperandTypeX86EffectiveAddress");
254#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
255#define PCR(str) if (name == str) SET("kOperandTypeX86PCRelative");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000256
Sean Callanan8f993b82010-04-08 00:48:21 +0000257/// X86TypeFromOpName - Processes the name of a single X86 operand (which is
258/// actually its type) and translates it into an operand type
Sean Callanan95fcebd2010-01-29 00:21:04 +0000259///
Sean Callanan8f993b82010-04-08 00:48:21 +0000260/// @arg flags - The type object to set
Sean Callanan95fcebd2010-01-29 00:21:04 +0000261/// @arg name - The name of the operand
Sean Callanan8f993b82010-04-08 00:48:21 +0000262static int X86TypeFromOpName(LiteralConstantEmitter *type,
Sean Callanan95fcebd2010-01-29 00:21:04 +0000263 const std::string &name) {
264 REG("GR8");
265 REG("GR8_NOREX");
266 REG("GR16");
Craig Topper7ea16b02011-10-06 06:44:41 +0000267 REG("GR16_NOAX");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000268 REG("GR32");
Craig Topper7ea16b02011-10-06 06:44:41 +0000269 REG("GR32_NOAX");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000270 REG("GR32_NOREX");
Evan Cheng5e817162010-03-14 05:15:39 +0000271 REG("GR32_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000272 REG("FR32");
273 REG("RFP32");
274 REG("GR64");
Craig Topper7ea16b02011-10-06 06:44:41 +0000275 REG("GR64_NOAX");
Evan Cheng5e817162010-03-14 05:15:39 +0000276 REG("GR64_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000277 REG("FR64");
278 REG("VR64");
279 REG("RFP64");
280 REG("RFP80");
281 REG("VR128");
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000282 REG("VR256");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000283 REG("RST");
284 REG("SEGMENT_REG");
285 REG("DEBUG_REG");
Sean Callanan1a8b7892010-05-06 20:59:00 +0000286 REG("CONTROL_REG");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000287
Sean Callanan8f993b82010-04-08 00:48:21 +0000288 IMM("i8imm");
289 IMM("i16imm");
290 IMM("i16i8imm");
291 IMM("i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000292 IMM("i32i8imm");
Kevin Enderbyc37d4bb2011-07-27 23:01:50 +0000293 IMM("u32u8imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000294 IMM("i64imm");
295 IMM("i64i8imm");
296 IMM("i64i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000297 IMM("SSECC");
Craig Topper769bbfd2012-04-03 05:20:24 +0000298 IMM("AVXCC");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000299
Sean Callanan8f993b82010-04-08 00:48:21 +0000300 // all R, I, R, I, R
Sean Callanan95fcebd2010-01-29 00:21:04 +0000301 MEM("i8mem");
302 MEM("i8mem_NOREX");
303 MEM("i16mem");
304 MEM("i32mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000305 MEM("i32mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000306 MEM("f32mem");
307 MEM("ssmem");
308 MEM("opaque32mem");
309 MEM("opaque48mem");
310 MEM("i64mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000311 MEM("i64mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000312 MEM("f64mem");
313 MEM("sdmem");
314 MEM("f80mem");
315 MEM("opaque80mem");
316 MEM("i128mem");
Bruno Cardoso Lopes94143ee2010-07-19 23:32:44 +0000317 MEM("i256mem");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000318 MEM("f128mem");
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000319 MEM("f256mem");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000320 MEM("opaque512mem");
Craig Topper75dc33a2012-07-18 04:11:12 +0000321 // Gather
322 MEM("vx32mem")
323 MEM("vy32mem")
324 MEM("vx64mem")
325 MEM("vy64mem")
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000326
Sean Callanan8f993b82010-04-08 00:48:21 +0000327 // all R, I, R, I
Sean Callanan95fcebd2010-01-29 00:21:04 +0000328 LEA("lea32mem");
329 LEA("lea64_32mem");
330 LEA("lea64mem");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000331
Sean Callanan8f993b82010-04-08 00:48:21 +0000332 // all I
Chris Lattner9fc05222010-07-07 22:27:31 +0000333 PCR("i16imm_pcrel");
Sean Callanana0f914b2010-04-23 22:17:17 +0000334 PCR("i32imm_pcrel");
335 PCR("i64i32imm_pcrel");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000336 PCR("brtarget8");
337 PCR("offset8");
338 PCR("offset16");
339 PCR("offset32");
340 PCR("offset64");
341 PCR("brtarget");
Owen Andersonc2666002010-12-13 19:31:11 +0000342 PCR("uncondbrtarget");
Jim Grosbachd1d5a392010-11-11 20:05:40 +0000343 PCR("bltarget");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000344
Jason W Kim685c3502011-02-04 19:47:15 +0000345 // all I, ARM mode only, conditional/unconditional
346 PCR("br_target");
347 PCR("bl_target");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000348 return 1;
349}
350
351#undef REG
352#undef MEM
353#undef LEA
354#undef IMM
355#undef PCR
Sean Callanan8f993b82010-04-08 00:48:21 +0000356
357#undef SET
Sean Callanan95fcebd2010-01-29 00:21:04 +0000358
359/// X86PopulateOperands - Handles all the operands in an X86 instruction, adding
360/// the appropriate flags to their descriptors
361///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000362/// \param operandTypes A reference the array of operand type objects
363/// \param inst The instruction to use as a source of information
Sean Callanan95fcebd2010-01-29 00:21:04 +0000364static void X86PopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000365 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan95fcebd2010-01-29 00:21:04 +0000366 const CodeGenInstruction &inst) {
367 if (!inst.TheDef->isSubClassOf("X86Inst"))
368 return;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000369
Sean Callanan95fcebd2010-01-29 00:21:04 +0000370 unsigned int index;
Chris Lattnerc240bb02010-11-01 04:03:32 +0000371 unsigned int numOperands = inst.Operands.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000372
Sean Callanan95fcebd2010-01-29 00:21:04 +0000373 for (index = 0; index < numOperands; ++index) {
Chris Lattnerc240bb02010-11-01 04:03:32 +0000374 const CGIOperandList::OperandInfo &operandInfo = inst.Operands[index];
Sean Callanan95fcebd2010-01-29 00:21:04 +0000375 Record &rec = *operandInfo.Rec;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000376
NAKAMURA Takumi36c3bc42011-01-26 02:03:48 +0000377 if (X86TypeFromOpName(operandTypes[index], rec.getName()) &&
378 !rec.isSubClassOf("PointerLikeRegClass")) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000379 errs() << "Operand type: " << rec.getName().c_str() << "\n";
380 errs() << "Operand name: " << operandInfo.Name.c_str() << "\n";
Cameron Esfahani519c8932010-10-12 00:21:05 +0000381 errs() << "Instruction name: " << inst.TheDef->getName().c_str() << "\n";
Sean Callanan95fcebd2010-01-29 00:21:04 +0000382 llvm_unreachable("Unhandled type");
383 }
384 }
385}
386
387/// decorate1 - Decorates a named operand with a new flag
388///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000389/// \param operandFlags The array of operand flag objects, which don't have
390/// names
391/// \param inst The CodeGenInstruction, which provides a way to
392// translate between names and operand indices
393/// \param opName The name of the operand
394/// \param opFlag The name of the flag to add
Sean Callanan8f993b82010-04-08 00:48:21 +0000395static inline void decorate1(
Sean Callanan9899f702010-04-13 21:21:57 +0000396 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000397 const CodeGenInstruction &inst,
398 const char *opName,
399 const char *opFlag) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000400 unsigned opIndex;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000401
Chris Lattnerc240bb02010-11-01 04:03:32 +0000402 opIndex = inst.Operands.getOperandNamed(std::string(opName));
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000403
Sean Callanan95fcebd2010-01-29 00:21:04 +0000404 operandFlags[opIndex]->addEntry(opFlag);
405}
406
407#define DECORATE1(opName, opFlag) decorate1(operandFlags, inst, opName, opFlag)
408
Sean Callanan8f993b82010-04-08 00:48:21 +0000409#define MOV(source, target) { \
410 instType.set("kInstructionTypeMove"); \
411 DECORATE1(source, "kOperandFlagSource"); \
412 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000413}
414
Sean Callanan8f993b82010-04-08 00:48:21 +0000415#define BRANCH(target) { \
416 instType.set("kInstructionTypeBranch"); \
417 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000418}
419
Sean Callanan8f993b82010-04-08 00:48:21 +0000420#define PUSH(source) { \
421 instType.set("kInstructionTypePush"); \
422 DECORATE1(source, "kOperandFlagSource"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000423}
424
Sean Callanan8f993b82010-04-08 00:48:21 +0000425#define POP(target) { \
426 instType.set("kInstructionTypePop"); \
427 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000428}
429
Sean Callanan8f993b82010-04-08 00:48:21 +0000430#define CALL(target) { \
431 instType.set("kInstructionTypeCall"); \
432 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000433}
434
Sean Callanan8f993b82010-04-08 00:48:21 +0000435#define RETURN() { \
436 instType.set("kInstructionTypeReturn"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000437}
438
439/// X86ExtractSemantics - Performs various checks on the name of an X86
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000440/// instruction to determine what sort of an instruction it is and then adds
Sean Callanan95fcebd2010-01-29 00:21:04 +0000441/// the appropriate flags to the instruction and its operands
442///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000443/// \param instType A reference to the type for the instruction as a whole
444/// \param operandFlags A reference to the array of operand flag object pointers
445/// \param inst A reference to the original instruction
Sean Callanan8f993b82010-04-08 00:48:21 +0000446static void X86ExtractSemantics(
447 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000448 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000449 const CodeGenInstruction &inst) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000450 const std::string &name = inst.TheDef->getName();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000451
Sean Callanan95fcebd2010-01-29 00:21:04 +0000452 if (name.find("MOV") != name.npos) {
453 if (name.find("MOV_V") != name.npos) {
454 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000455 } else if (name.find("MASK") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000456 // ignore (this is a masking move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000457 } else if (name.find("r0") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000458 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000459 } else if (name.find("PS") != name.npos ||
Sean Callanan95fcebd2010-01-29 00:21:04 +0000460 name.find("PD") != name.npos) {
461 // ignore (this is a shuffling move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000462 } else if (name.find("MOVS") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000463 // ignore (this is a string move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000464 } else if (name.find("_F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000465 // TODO handle _F moves to ST(0)
Sean Callanan8f993b82010-04-08 00:48:21 +0000466 } else if (name.find("a") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000467 // TODO handle moves to/from %ax
Sean Callanan8f993b82010-04-08 00:48:21 +0000468 } else if (name.find("CMOV") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000469 MOV("src2", "dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000470 } else if (name.find("PC") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000471 MOV("label", "reg")
Sean Callanan8f993b82010-04-08 00:48:21 +0000472 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000473 MOV("src", "dst");
474 }
475 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000476
Sean Callanan95fcebd2010-01-29 00:21:04 +0000477 if (name.find("JMP") != name.npos ||
478 name.find("J") == 0) {
479 if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
480 BRANCH("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000481 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000482 BRANCH("dst");
483 }
484 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000485
Sean Callanan95fcebd2010-01-29 00:21:04 +0000486 if (name.find("PUSH") != name.npos) {
Chris Lattner373c4582010-09-08 22:13:08 +0000487 if (name.find("CS") != name.npos ||
488 name.find("DS") != name.npos ||
489 name.find("ES") != name.npos ||
490 name.find("FS") != name.npos ||
491 name.find("GS") != name.npos ||
492 name.find("SS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000493 instType.set("kInstructionTypePush");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000494 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000495 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000496 // ignore (this pushes onto the FP stack)
Nico Weber50b9efc2010-06-23 20:00:58 +0000497 } else if (name.find("A") != name.npos) {
498 // ignore (pushes all GP registoers onto the stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000499 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000500 PUSH("src");
Sean Callanan8f993b82010-04-08 00:48:21 +0000501 } else if (name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000502 PUSH("imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000503 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000504 PUSH("reg");
505 }
506 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000507
Sean Callanan95fcebd2010-01-29 00:21:04 +0000508 if (name.find("POP") != name.npos) {
509 if (name.find("POPCNT") != name.npos) {
510 // ignore (not a real pop)
Chris Lattner373c4582010-09-08 22:13:08 +0000511 } else if (name.find("CS") != name.npos ||
512 name.find("DS") != name.npos ||
513 name.find("ES") != name.npos ||
514 name.find("FS") != name.npos ||
515 name.find("GS") != name.npos ||
516 name.find("SS") != 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)
Nico Weber50b9efc2010-06-23 20:00:58 +0000521 } else if (name.find("A") != name.npos) {
522 // ignore (pushes all GP registoers onto the stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000523 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000524 POP("dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000525 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000526 POP("reg");
527 }
528 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000529
Sean Callanan95fcebd2010-01-29 00:21:04 +0000530 if (name.find("CALL") != name.npos) {
531 if (name.find("ADJ") != name.npos) {
532 // ignore (not a call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000533 } else if (name.find("SYSCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000534 // ignore (doesn't go anywhere we know about)
Sean Callanan8f993b82010-04-08 00:48:21 +0000535 } else if (name.find("VMCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000536 // ignore (rather different semantics than a regular call)
Craig Topper9e3d0b32012-02-18 08:19:49 +0000537 } else if (name.find("VMMCALL") != name.npos) {
538 // ignore (rather different semantics than a regular call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000539 } else if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000540 CALL("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000541 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000542 CALL("dst");
543 }
544 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000545
Sean Callanan95fcebd2010-01-29 00:21:04 +0000546 if (name.find("RET") != name.npos) {
547 RETURN();
548 }
549}
550
551#undef MOV
552#undef BRANCH
553#undef PUSH
554#undef POP
555#undef CALL
556#undef RETURN
557
Sean Callanan8f993b82010-04-08 00:48:21 +0000558/////////////////////////////////////////////////////
559// Support functions for handling ARM instructions //
560/////////////////////////////////////////////////////
561
562#define SET(flag) { type->set(flag); return 0; }
563
564#define REG(str) if (name == str) SET("kOperandTypeRegister");
565#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
566
567#define MISC(str, type) if (name == str) SET(type);
568
569/// ARMFlagFromOpName - Processes the name of a single ARM operand (which is
570/// actually its type) and translates it into an operand type
571///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000572/// \param type The type object to set
573/// \param name The name of the operand
Sean Callanan8f993b82010-04-08 00:48:21 +0000574static int ARMFlagFromOpName(LiteralConstantEmitter *type,
575 const std::string &name) {
576 REG("GPR");
Jim Grosbach6ccfc502010-07-30 02:41:01 +0000577 REG("rGPR");
Owen Anderson51c98052011-08-09 22:48:45 +0000578 REG("GPRnopc");
Jim Grosbach5b815842011-08-24 17:46:13 +0000579 REG("GPRsp");
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");
Weiming Zhaoe56764b2012-11-16 21:55:34 +0000584 REG("GPRPairOp");
Sean Callanan8f993b82010-04-08 00:48:21 +0000585 REG("DPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000586 REG("DPR_VFP2");
587 REG("DPR_8");
Jakob Stoklund Olesen5b2f9132012-03-28 21:20:32 +0000588 REG("DPair");
Evan Chengb63387a2010-05-06 06:36:08 +0000589 REG("SPR");
590 REG("QPR");
591 REG("QQPR");
Evan Cheng22c687b2010-05-14 02:13:41 +0000592 REG("QQQQPR");
Jim Grosbach862019c2011-10-18 23:02:30 +0000593 REG("VecListOneD");
Jim Grosbach28f08c92012-03-05 19:33:30 +0000594 REG("VecListDPair");
Jim Grosbachc3384c92012-03-05 21:43:40 +0000595 REG("VecListDPairSpaced");
Jim Grosbachcdcfa282011-10-21 20:02:19 +0000596 REG("VecListThreeD");
Jim Grosbachb6310312011-10-21 20:35:01 +0000597 REG("VecListFourD");
Jim Grosbach98b05a52011-11-30 01:09:44 +0000598 REG("VecListOneDAllLanes");
Jim Grosbachc0fc4502012-03-06 22:01:44 +0000599 REG("VecListDPairAllLanes");
Jim Grosbach4d0983a2012-03-06 23:10:38 +0000600 REG("VecListDPairSpacedAllLanes");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000601
Sean Callanan8f993b82010-04-08 00:48:21 +0000602 IMM("i32imm");
Jim Grosbach4050bc42011-12-22 22:19:05 +0000603 IMM("fbits16");
604 IMM("fbits32");
Evan Cheng75972122011-01-13 07:58:56 +0000605 IMM("i32imm_hilo16");
Sean Callanan8f993b82010-04-08 00:48:21 +0000606 IMM("bf_inv_mask_imm");
Bruno Cardoso Lopesa461d422011-01-18 20:45:56 +0000607 IMM("lsb_pos_imm");
608 IMM("width_imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000609 IMM("jtblock_operand");
610 IMM("nohash_imm");
Owen Andersone4e5e2a2011-01-13 21:46:02 +0000611 IMM("p_imm");
Silviu Barangae546c4c2012-04-18 13:02:55 +0000612 IMM("pf_imm");
Owen Andersone4e5e2a2011-01-13 21:46:02 +0000613 IMM("c_imm");
Jim Grosbach9b8f2a02011-10-12 17:34:41 +0000614 IMM("coproc_option_imm");
Bruno Cardoso Lopesa2b6e412011-02-14 13:09:44 +0000615 IMM("imod_op");
616 IMM("iflags_op");
Sean Callanan8f993b82010-04-08 00:48:21 +0000617 IMM("cpinst_operand");
Jim Grosbachb3af5de2010-10-13 21:00:04 +0000618 IMM("setend_op");
Sean Callanan8f993b82010-04-08 00:48:21 +0000619 IMM("cps_opt");
620 IMM("vfp_f64imm");
621 IMM("vfp_f32imm");
Johnny Chen1adc40c2010-08-12 20:46:17 +0000622 IMM("memb_opt");
Sean Callanan8f993b82010-04-08 00:48:21 +0000623 IMM("msr_mask");
624 IMM("neg_zero");
625 IMM("imm0_31");
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000626 IMM("imm0_31_m1");
Jim Grosbachf4943352011-07-25 23:09:14 +0000627 IMM("imm1_16");
Jim Grosbach4a5ffb32011-07-22 23:16:18 +0000628 IMM("imm1_32");
Bob Wilson1a913ed2010-06-11 21:34:50 +0000629 IMM("nModImm");
Jim Grosbach0e387b22011-10-17 22:26:03 +0000630 IMM("nImmSplatI8");
Jim Grosbachea461102011-10-17 23:09:09 +0000631 IMM("nImmSplatI16");
Jim Grosbach6248a542011-10-18 00:22:00 +0000632 IMM("nImmSplatI32");
Jim Grosbachf2f5bc62011-10-18 16:18:11 +0000633 IMM("nImmSplatI64");
Jim Grosbach6248a542011-10-18 00:22:00 +0000634 IMM("nImmVMOVI32");
Evan Chengeaa192a2011-11-15 02:12:34 +0000635 IMM("nImmVMOVF32");
Jim Grosbach3b8991c2011-12-07 01:07:24 +0000636 IMM("imm8");
637 IMM("imm16");
638 IMM("imm32");
639 IMM("imm1_7");
640 IMM("imm1_15");
641 IMM("imm1_31");
Jim Grosbach587f5062011-12-02 23:34:39 +0000642 IMM("imm0_1");
643 IMM("imm0_3");
Jim Grosbach83ab0702011-07-13 22:01:08 +0000644 IMM("imm0_7");
645 IMM("imm0_15");
Jim Grosbach6b8f1e32011-06-27 23:54:06 +0000646 IMM("imm0_255");
Sean Callanan8f993b82010-04-08 00:48:21 +0000647 IMM("imm0_4095");
Jim Grosbach619e0d62011-07-13 19:24:09 +0000648 IMM("imm0_65535");
Jim Grosbachffa32252011-07-19 19:13:28 +0000649 IMM("imm0_65535_expr");
Jim Grosbached838482011-07-26 16:24:27 +0000650 IMM("imm24b");
Jim Grosbachdde038a2011-07-20 21:40:26 +0000651 IMM("pkh_lsl_amt");
652 IMM("pkh_asr_amt");
Sean Callanan8f993b82010-04-08 00:48:21 +0000653 IMM("jt2block_operand");
Jim Grosbach72f39f82011-08-24 21:22:15 +0000654 IMM("t_imm0_1020s4");
655 IMM("t_imm0_508s4");
Sean Callanan8f993b82010-04-08 00:48:21 +0000656 IMM("pclabel");
Jim Grosbach5d14f9b2010-12-01 19:47:31 +0000657 IMM("adrlabel");
Jim Grosbachd40963c2010-12-14 22:28:03 +0000658 IMM("t_adrlabel");
Owen Andersona838a252010-12-14 00:36:49 +0000659 IMM("t2adrlabel");
Bob Wilson22f5dc72010-08-16 18:27:34 +0000660 IMM("shift_imm");
Owen Anderson0afa0092011-09-26 21:06:22 +0000661 IMM("t2_shift_imm");
Owen Anderson498ec202010-10-27 22:49:00 +0000662 IMM("neon_vcvt_imm32");
Bill Wendling3116dce2011-03-07 23:38:41 +0000663 IMM("shr_imm8");
664 IMM("shr_imm16");
665 IMM("shr_imm32");
666 IMM("shr_imm64");
Owen Andersonc9bd4962011-03-18 17:42:55 +0000667 IMM("t2ldrlabel");
Jim Grosbach7ce05792011-08-03 23:50:40 +0000668 IMM("postidx_imm8");
Owen Anderson154c41d2011-08-04 18:24:14 +0000669 IMM("postidx_imm8s4");
Owen Anderson6d746312011-08-08 20:42:17 +0000670 IMM("imm_sr");
671 IMM("imm1_31");
Jim Grosbach460a9052011-10-07 23:56:00 +0000672 IMM("VectorIndex8");
673 IMM("VectorIndex16");
674 IMM("VectorIndex32");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000675
Sean Callanan8f993b82010-04-08 00:48:21 +0000676 MISC("brtarget", "kOperandTypeARMBranchTarget"); // ?
Owen Andersonc2666002010-12-13 19:31:11 +0000677 MISC("uncondbrtarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbache2467172010-12-10 18:21:33 +0000678 MISC("t_brtarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbach01086452010-12-10 17:13:40 +0000679 MISC("t_bcctarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbachcf6220a2010-12-09 19:01:46 +0000680 MISC("t_cbtarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbachd1d5a392010-11-11 20:05:40 +0000681 MISC("bltarget", "kOperandTypeARMBranchTarget"); // ?
Jason W Kim685c3502011-02-04 19:47:15 +0000682
683 MISC("br_target", "kOperandTypeARMBranchTarget"); // ?
684 MISC("bl_target", "kOperandTypeARMBranchTarget"); // ?
Owen Andersonf1eab592011-08-26 23:32:08 +0000685 MISC("blx_target", "kOperandTypeARMBranchTarget"); // ?
Jason W Kim685c3502011-02-04 19:47:15 +0000686
Bill Wendlingdff2f712010-12-08 23:01:43 +0000687 MISC("t_bltarget", "kOperandTypeARMBranchTarget"); // ?
Bill Wendling09aa3f02010-12-09 00:39:08 +0000688 MISC("t_blxtarget", "kOperandTypeARMBranchTarget"); // ?
Owen Anderson152d4a42011-07-21 23:38:37 +0000689 MISC("so_reg_imm", "kOperandTypeARMSoRegReg"); // R, R, I
690 MISC("so_reg_reg", "kOperandTypeARMSoRegImm"); // R, R, I
691 MISC("shift_so_reg_reg", "kOperandTypeARMSoRegReg"); // R, R, I
692 MISC("shift_so_reg_imm", "kOperandTypeARMSoRegImm"); // R, R, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000693 MISC("t2_so_reg", "kOperandTypeThumb2SoReg"); // R, I
694 MISC("so_imm", "kOperandTypeARMSoImm"); // I
Jim Grosbachb35ad412010-10-13 19:56:10 +0000695 MISC("rot_imm", "kOperandTypeARMRotImm"); // I
Sean Callanan8f993b82010-04-08 00:48:21 +0000696 MISC("t2_so_imm", "kOperandTypeThumb2SoImm"); // I
697 MISC("so_imm2part", "kOperandTypeARMSoImm2Part"); // I
698 MISC("pred", "kOperandTypeARMPredicate"); // I, R
699 MISC("it_pred", "kOperandTypeARMPredicate"); // I
Jim Grosbach3e556122010-10-26 22:37:02 +0000700 MISC("addrmode_imm12", "kOperandTypeAddrModeImm12"); // R, I
701 MISC("ldst_so_reg", "kOperandTypeLdStSOReg"); // R, R, I
Jim Grosbach7ce05792011-08-03 23:50:40 +0000702 MISC("postidx_reg", "kOperandTypeARMAddrMode3Offset"); // R, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000703 MISC("addrmode2", "kOperandTypeARMAddrMode2"); // R, R, I
Jim Grosbach7ce05792011-08-03 23:50:40 +0000704 MISC("am2offset_reg", "kOperandTypeARMAddrMode2Offset"); // R, I
705 MISC("am2offset_imm", "kOperandTypeARMAddrMode2Offset"); // R, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000706 MISC("addrmode3", "kOperandTypeARMAddrMode3"); // R, R, I
707 MISC("am3offset", "kOperandTypeARMAddrMode3Offset"); // R, I
Jim Grosbache6913602010-11-03 01:01:43 +0000708 MISC("ldstm_mode", "kOperandTypeARMLdStmMode"); // I
Sean Callanan8f993b82010-04-08 00:48:21 +0000709 MISC("addrmode5", "kOperandTypeARMAddrMode5"); // R, I
710 MISC("addrmode6", "kOperandTypeARMAddrMode6"); // R, R, I, I
711 MISC("am6offset", "kOperandTypeARMAddrMode6Offset"); // R, I, I
Bob Wilson8e0c7b52010-11-30 00:00:42 +0000712 MISC("addrmode6dup", "kOperandTypeARMAddrMode6"); // R, R, I, I
Mon P Wang183c6272011-05-09 17:47:27 +0000713 MISC("addrmode6oneL32", "kOperandTypeARMAddrMode6"); // R, R, I, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000714 MISC("addrmodepc", "kOperandTypeARMAddrModePC"); // R, I
Jim Grosbache39389a2011-08-02 18:07:32 +0000715 MISC("addr_offset_none", "kOperandTypeARMAddrMode7"); // R
Sean Callanan8f993b82010-04-08 00:48:21 +0000716 MISC("reglist", "kOperandTypeARMRegisterList"); // I, R, ...
Bill Wendling0f630752010-11-17 04:32:08 +0000717 MISC("dpr_reglist", "kOperandTypeARMDPRRegisterList"); // I, R, ...
718 MISC("spr_reglist", "kOperandTypeARMSPRRegisterList"); // I, R, ...
Sean Callanan8f993b82010-04-08 00:48:21 +0000719 MISC("it_mask", "kOperandTypeThumbITMask"); // I
Bruno Cardoso Lopes505f3cd2011-03-24 21:04:58 +0000720 MISC("t2addrmode_reg", "kOperandTypeThumb2AddrModeReg"); // R
Jim Grosbachf0eee6e2011-09-07 23:39:14 +0000721 MISC("t2addrmode_posimm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
Jim Grosbacha8307dd2011-09-07 20:58:57 +0000722 MISC("t2addrmode_negimm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000723 MISC("t2addrmode_imm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
724 MISC("t2am_imm8_offset", "kOperandTypeThumb2AddrModeImm8Offset");//I
725 MISC("t2addrmode_imm12", "kOperandTypeThumb2AddrModeImm12"); // R, I
726 MISC("t2addrmode_so_reg", "kOperandTypeThumb2AddrModeSoReg"); // R, R, I
727 MISC("t2addrmode_imm8s4", "kOperandTypeThumb2AddrModeImm8s4"); // R, I
Jim Grosbachb6aed502011-09-09 18:37:27 +0000728 MISC("t2addrmode_imm0_1020s4", "kOperandTypeThumb2AddrModeImm8s4"); // R, I
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000729 MISC("t2am_imm8s4_offset", "kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan8f993b82010-04-08 00:48:21 +0000730 // R, I
731 MISC("tb_addrmode", "kOperandTypeARMTBAddrMode"); // I
Shantonu Sen7ae0df42011-07-11 17:57:30 +0000732 MISC("t_addrmode_rrs1", "kOperandTypeThumbAddrModeRegS1"); // R, R
733 MISC("t_addrmode_rrs2", "kOperandTypeThumbAddrModeRegS2"); // R, R
734 MISC("t_addrmode_rrs4", "kOperandTypeThumbAddrModeRegS4"); // R, R
735 MISC("t_addrmode_is1", "kOperandTypeThumbAddrModeImmS1"); // R, I
736 MISC("t_addrmode_is2", "kOperandTypeThumbAddrModeImmS2"); // R, I
737 MISC("t_addrmode_is4", "kOperandTypeThumbAddrModeImmS4"); // R, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000738 MISC("t_addrmode_rr", "kOperandTypeThumbAddrModeRR"); // R, R
739 MISC("t_addrmode_sp", "kOperandTypeThumbAddrModeSP"); // R, I
Bill Wendlingb8958b02010-12-08 01:57:09 +0000740 MISC("t_addrmode_pc", "kOperandTypeThumbAddrModePC"); // R, I
Jim Grosbach7f739be2011-09-19 22:21:13 +0000741 MISC("addrmode_tbb", "kOperandTypeThumbAddrModeRR"); // R, R
742 MISC("addrmode_tbh", "kOperandTypeThumbAddrModeRR"); // R, R
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000743
Sean Callanan8f993b82010-04-08 00:48:21 +0000744 return 1;
745}
746
Sean Callanan8f993b82010-04-08 00:48:21 +0000747#undef REG
748#undef MEM
Shantonu Sen7ae0df42011-07-11 17:57:30 +0000749#undef MISC
Sean Callanan8f993b82010-04-08 00:48:21 +0000750
751#undef SET
752
753/// ARMPopulateOperands - Handles all the operands in an ARM instruction, adding
754/// the appropriate flags to their descriptors
755///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000756/// \param operandTypes A reference the array of operand type objects
757/// \param inst The instruction to use as a source of information
Sean Callanan8f993b82010-04-08 00:48:21 +0000758static void ARMPopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000759 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000760 const CodeGenInstruction &inst) {
761 if (!inst.TheDef->isSubClassOf("InstARM") &&
762 !inst.TheDef->isSubClassOf("InstThumb"))
763 return;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000764
Sean Callanan8f993b82010-04-08 00:48:21 +0000765 unsigned int index;
Chris Lattnerc240bb02010-11-01 04:03:32 +0000766 unsigned int numOperands = inst.Operands.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000767
Sean Callanan9899f702010-04-13 21:21:57 +0000768 if (numOperands > EDIS_MAX_OPERANDS) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000769 errs() << "numOperands == " << numOperands << " > " <<
Sean Callanan9899f702010-04-13 21:21:57 +0000770 EDIS_MAX_OPERANDS << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000771 llvm_unreachable("Too many operands");
772 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000773
Sean Callanan8f993b82010-04-08 00:48:21 +0000774 for (index = 0; index < numOperands; ++index) {
Chris Lattnerc240bb02010-11-01 04:03:32 +0000775 const CGIOperandList::OperandInfo &operandInfo = inst.Operands[index];
Sean Callanan8f993b82010-04-08 00:48:21 +0000776 Record &rec = *operandInfo.Rec;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000777
Sean Callanan8f993b82010-04-08 00:48:21 +0000778 if (ARMFlagFromOpName(operandTypes[index], rec.getName())) {
Benjamin Kramer127dc5e2010-04-08 09:42:29 +0000779 errs() << "Operand type: " << rec.getName() << '\n';
780 errs() << "Operand name: " << operandInfo.Name << '\n';
Cameron Esfahani519c8932010-10-12 00:21:05 +0000781 errs() << "Instruction name: " << inst.TheDef->getName() << '\n';
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000782 PrintFatalError("Unhandled type in EDEmitter");
Sean Callanan8f993b82010-04-08 00:48:21 +0000783 }
784 }
785}
786
787#define BRANCH(target) { \
788 instType.set("kInstructionTypeBranch"); \
789 DECORATE1(target, "kOperandFlagTarget"); \
790}
791
792/// ARMExtractSemantics - Performs various checks on the name of an ARM
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000793/// instruction to determine what sort of an instruction it is and then adds
Sean Callanan8f993b82010-04-08 00:48:21 +0000794/// the appropriate flags to the instruction and its operands
795///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000796/// \param instType A reference to the type for the instruction as a whole
797/// \param operandTypes A reference to the array of operand type object pointers
798/// \param operandFlags A reference to the array of operand flag object pointers
799/// \param inst A reference to the original instruction
Sean Callanan8f993b82010-04-08 00:48:21 +0000800static void ARMExtractSemantics(
801 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000802 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
803 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000804 const CodeGenInstruction &inst) {
805 const std::string &name = inst.TheDef->getName();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000806
Sean Callanan8f993b82010-04-08 00:48:21 +0000807 if (name == "tBcc" ||
808 name == "tB" ||
809 name == "t2Bcc" ||
810 name == "Bcc" ||
811 name == "tCBZ" ||
812 name == "tCBNZ") {
813 BRANCH("target");
814 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000815
Sean Callanan8f993b82010-04-08 00:48:21 +0000816 if (name == "tBLr9" ||
817 name == "BLr9_pred" ||
818 name == "tBLXi_r9" ||
819 name == "tBLXr_r9" ||
820 name == "BLXr9" ||
821 name == "t2BXJ" ||
822 name == "BXJ") {
823 BRANCH("func");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000824
Sean Callanan8f993b82010-04-08 00:48:21 +0000825 unsigned opIndex;
Chris Lattnerc240bb02010-11-01 04:03:32 +0000826 opIndex = inst.Operands.getOperandNamed("func");
Sean Callanan8f993b82010-04-08 00:48:21 +0000827 if (operandTypes[opIndex]->is("kOperandTypeImmediate"))
828 operandTypes[opIndex]->set("kOperandTypeARMBranchTarget");
829 }
830}
831
832#undef BRANCH
Sean Callanan95fcebd2010-01-29 00:21:04 +0000833
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000834/// populateInstInfo - Fills an array of InstInfos with information about each
Sean Callanan95fcebd2010-01-29 00:21:04 +0000835/// instruction in a target
836///
Dmitri Gribenko67c89782012-09-12 16:59:47 +0000837/// \param infoArray The array of InstInfo objects to populate
838/// \param target The CodeGenTarget to use as a source of instructions
Sean Callanan95fcebd2010-01-29 00:21:04 +0000839static void populateInstInfo(CompoundConstantEmitter &infoArray,
840 CodeGenTarget &target) {
Chris Lattnerf6502782010-03-19 00:34:35 +0000841 const std::vector<const CodeGenInstruction*> &numberedInstructions =
842 target.getInstructionsByEnumValue();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000843
Sean Callanan95fcebd2010-01-29 00:21:04 +0000844 unsigned int index;
845 unsigned int numInstructions = numberedInstructions.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000846
Sean Callanan95fcebd2010-01-29 00:21:04 +0000847 for (index = 0; index < numInstructions; ++index) {
848 const CodeGenInstruction& inst = *numberedInstructions[index];
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000849
Jakob Stoklund Olesena0ed0c02011-10-10 18:30:16 +0000850 CompoundConstantEmitter *infoStruct = new CompoundConstantEmitter;
851 infoArray.addEntry(infoStruct);
852
Sean Callanan8f993b82010-04-08 00:48:21 +0000853 LiteralConstantEmitter *instType = new LiteralConstantEmitter;
854 infoStruct->addEntry(instType);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000855
856 LiteralConstantEmitter *numOperandsEmitter =
Chris Lattnerc240bb02010-11-01 04:03:32 +0000857 new LiteralConstantEmitter(inst.Operands.size());
Sean Callanan95fcebd2010-01-29 00:21:04 +0000858 infoStruct->addEntry(numOperandsEmitter);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000859
Sean Callanan8f993b82010-04-08 00:48:21 +0000860 CompoundConstantEmitter *operandTypeArray = new CompoundConstantEmitter;
861 infoStruct->addEntry(operandTypeArray);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000862
Sean Callanan9899f702010-04-13 21:21:57 +0000863 LiteralConstantEmitter *operandTypes[EDIS_MAX_OPERANDS];
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000864
Sean Callanan95fcebd2010-01-29 00:21:04 +0000865 CompoundConstantEmitter *operandFlagArray = new CompoundConstantEmitter;
866 infoStruct->addEntry(operandFlagArray);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000867
Sean Callanan9899f702010-04-13 21:21:57 +0000868 FlagsConstantEmitter *operandFlags[EDIS_MAX_OPERANDS];
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000869
870 for (unsigned operandIndex = 0;
871 operandIndex < EDIS_MAX_OPERANDS;
Sean Callanan8f993b82010-04-08 00:48:21 +0000872 ++operandIndex) {
873 operandTypes[operandIndex] = new LiteralConstantEmitter;
874 operandTypeArray->addEntry(operandTypes[operandIndex]);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000875
Sean Callanan95fcebd2010-01-29 00:21:04 +0000876 operandFlags[operandIndex] = new FlagsConstantEmitter;
877 operandFlagArray->addEntry(operandFlags[operandIndex]);
878 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000879
Sean Callanan95fcebd2010-01-29 00:21:04 +0000880 unsigned numSyntaxes = 0;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000881
Jakob Stoklund Olesen819a2ab2011-10-10 20:15:49 +0000882 // We don't need to do anything for pseudo-instructions, as we'll never
883 // see them here. We'll only see real instructions.
884 // We still need to emit null initializers for everything.
885 if (!inst.isPseudo) {
886 if (target.getName() == "X86") {
887 X86PopulateOperands(operandTypes, inst);
888 X86ExtractSemantics(*instType, operandFlags, inst);
889 numSyntaxes = 2;
890 }
891 else if (target.getName() == "ARM") {
892 ARMPopulateOperands(operandTypes, inst);
893 ARMExtractSemantics(*instType, operandTypes, operandFlags, inst);
894 numSyntaxes = 1;
895 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000896 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000897
898 CompoundConstantEmitter *operandOrderArray = new CompoundConstantEmitter;
899
Sean Callanan95fcebd2010-01-29 00:21:04 +0000900 infoStruct->addEntry(operandOrderArray);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000901
902 for (unsigned syntaxIndex = 0;
903 syntaxIndex < EDIS_MAX_SYNTAXES;
Sean Callanan9899f702010-04-13 21:21:57 +0000904 ++syntaxIndex) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000905 CompoundConstantEmitter *operandOrder =
Sean Callanan9899f702010-04-13 21:21:57 +0000906 new CompoundConstantEmitter(EDIS_MAX_OPERANDS);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000907
Sean Callanan95fcebd2010-01-29 00:21:04 +0000908 operandOrderArray->addEntry(operandOrder);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000909
Sean Callanan95fcebd2010-01-29 00:21:04 +0000910 if (syntaxIndex < numSyntaxes) {
Sean Callanan2db6ff22010-02-10 02:47:08 +0000911 populateOperandOrder(operandOrder, inst, syntaxIndex);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000912 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000913 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000914
Sean Callanan8f993b82010-04-08 00:48:21 +0000915 infoStruct = NULL;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000916 }
917}
918
Sean Callanan9899f702010-04-13 21:21:57 +0000919static void emitCommonEnums(raw_ostream &o, unsigned int &i) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000920 EnumEmitter operandTypes("OperandTypes");
921 operandTypes.addEntry("kOperandTypeNone");
922 operandTypes.addEntry("kOperandTypeImmediate");
923 operandTypes.addEntry("kOperandTypeRegister");
924 operandTypes.addEntry("kOperandTypeX86Memory");
925 operandTypes.addEntry("kOperandTypeX86EffectiveAddress");
926 operandTypes.addEntry("kOperandTypeX86PCRelative");
927 operandTypes.addEntry("kOperandTypeARMBranchTarget");
Owen Anderson152d4a42011-07-21 23:38:37 +0000928 operandTypes.addEntry("kOperandTypeARMSoRegReg");
929 operandTypes.addEntry("kOperandTypeARMSoRegImm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000930 operandTypes.addEntry("kOperandTypeARMSoImm");
Jim Grosbachb35ad412010-10-13 19:56:10 +0000931 operandTypes.addEntry("kOperandTypeARMRotImm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000932 operandTypes.addEntry("kOperandTypeARMSoImm2Part");
933 operandTypes.addEntry("kOperandTypeARMPredicate");
Jim Grosbach3e556122010-10-26 22:37:02 +0000934 operandTypes.addEntry("kOperandTypeAddrModeImm12");
935 operandTypes.addEntry("kOperandTypeLdStSOReg");
Sean Callanan8f993b82010-04-08 00:48:21 +0000936 operandTypes.addEntry("kOperandTypeARMAddrMode2");
937 operandTypes.addEntry("kOperandTypeARMAddrMode2Offset");
938 operandTypes.addEntry("kOperandTypeARMAddrMode3");
939 operandTypes.addEntry("kOperandTypeARMAddrMode3Offset");
Jim Grosbache6913602010-11-03 01:01:43 +0000940 operandTypes.addEntry("kOperandTypeARMLdStmMode");
Sean Callanan8f993b82010-04-08 00:48:21 +0000941 operandTypes.addEntry("kOperandTypeARMAddrMode5");
942 operandTypes.addEntry("kOperandTypeARMAddrMode6");
943 operandTypes.addEntry("kOperandTypeARMAddrMode6Offset");
Bruno Cardoso Lopes505f3cd2011-03-24 21:04:58 +0000944 operandTypes.addEntry("kOperandTypeARMAddrMode7");
Sean Callanan8f993b82010-04-08 00:48:21 +0000945 operandTypes.addEntry("kOperandTypeARMAddrModePC");
946 operandTypes.addEntry("kOperandTypeARMRegisterList");
Bill Wendling0f630752010-11-17 04:32:08 +0000947 operandTypes.addEntry("kOperandTypeARMDPRRegisterList");
948 operandTypes.addEntry("kOperandTypeARMSPRRegisterList");
Sean Callanan8f993b82010-04-08 00:48:21 +0000949 operandTypes.addEntry("kOperandTypeARMTBAddrMode");
950 operandTypes.addEntry("kOperandTypeThumbITMask");
Shantonu Sen7ae0df42011-07-11 17:57:30 +0000951 operandTypes.addEntry("kOperandTypeThumbAddrModeImmS1");
952 operandTypes.addEntry("kOperandTypeThumbAddrModeImmS2");
953 operandTypes.addEntry("kOperandTypeThumbAddrModeImmS4");
954 operandTypes.addEntry("kOperandTypeThumbAddrModeRegS1");
955 operandTypes.addEntry("kOperandTypeThumbAddrModeRegS2");
956 operandTypes.addEntry("kOperandTypeThumbAddrModeRegS4");
Sean Callanan8f993b82010-04-08 00:48:21 +0000957 operandTypes.addEntry("kOperandTypeThumbAddrModeRR");
958 operandTypes.addEntry("kOperandTypeThumbAddrModeSP");
Bill Wendlingb8958b02010-12-08 01:57:09 +0000959 operandTypes.addEntry("kOperandTypeThumbAddrModePC");
Bruno Cardoso Lopes505f3cd2011-03-24 21:04:58 +0000960 operandTypes.addEntry("kOperandTypeThumb2AddrModeReg");
Sean Callanan8f993b82010-04-08 00:48:21 +0000961 operandTypes.addEntry("kOperandTypeThumb2SoReg");
962 operandTypes.addEntry("kOperandTypeThumb2SoImm");
963 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8");
964 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8Offset");
965 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm12");
966 operandTypes.addEntry("kOperandTypeThumb2AddrModeSoReg");
967 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4");
968 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan8f993b82010-04-08 00:48:21 +0000969 operandTypes.emit(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000970
Sean Callanan8f993b82010-04-08 00:48:21 +0000971 o << "\n";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000972
Sean Callanan95fcebd2010-01-29 00:21:04 +0000973 EnumEmitter operandFlags("OperandFlags");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000974 operandFlags.addEntry("kOperandFlagSource");
975 operandFlags.addEntry("kOperandFlagTarget");
976 operandFlags.emitAsFlags(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000977
Sean Callanan95fcebd2010-01-29 00:21:04 +0000978 o << "\n";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000979
Sean Callanan8f993b82010-04-08 00:48:21 +0000980 EnumEmitter instructionTypes("InstructionTypes");
981 instructionTypes.addEntry("kInstructionTypeNone");
982 instructionTypes.addEntry("kInstructionTypeMove");
983 instructionTypes.addEntry("kInstructionTypeBranch");
984 instructionTypes.addEntry("kInstructionTypePush");
985 instructionTypes.addEntry("kInstructionTypePop");
986 instructionTypes.addEntry("kInstructionTypeCall");
987 instructionTypes.addEntry("kInstructionTypeReturn");
988 instructionTypes.emit(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000989
Sean Callanan95fcebd2010-01-29 00:21:04 +0000990 o << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +0000991}
992
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000993namespace llvm {
994
995void EmitEnhancedDisassemblerInfo(RecordKeeper &RK, raw_ostream &OS) {
996 emitSourceFileHeader("Enhanced Disassembler Info", OS);
Sean Callanan9899f702010-04-13 21:21:57 +0000997 unsigned int i = 0;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000998
Sean Callanan9899f702010-04-13 21:21:57 +0000999 CompoundConstantEmitter infoArray;
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +00001000 CodeGenTarget target(RK);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +00001001
Sean Callanan9899f702010-04-13 21:21:57 +00001002 populateInstInfo(infoArray, target);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +00001003
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +00001004 emitCommonEnums(OS, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +00001005
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +00001006 OS << "static const llvm::EDInstInfo instInfo"
1007 << target.getName() << "[] = ";
1008 infoArray.emit(OS, i);
1009 OS << ";" << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +00001010}
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +00001011
1012} // End llvm namespace