blob: b216a74b2e4706b29d0170ce9ba08591ad6c522c [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 {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000038
Sean Callanan95fcebd2010-01-29 00:21:04 +000039 class EnumEmitter {
40 private:
41 std::string Name;
42 std::vector<std::string> Entries;
43 public:
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000044 EnumEmitter(const char *N) : Name(N) {
Sean Callanan95fcebd2010-01-29 00:21:04 +000045 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000046 int addEntry(const char *e) {
Sean Callanan95fcebd2010-01-29 00:21:04 +000047 Entries.push_back(std::string(e));
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000048 return Entries.size() - 1;
Sean Callanan95fcebd2010-01-29 00:21:04 +000049 }
50 void emit(raw_ostream &o, unsigned int &i) {
51 o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
52 i += 2;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000053
Sean Callanan95fcebd2010-01-29 00:21:04 +000054 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 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000062
Sean Callanan95fcebd2010-01-29 00:21:04 +000063 i -= 2;
64 o.indent(i) << "};" << "\n";
65 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000066
Sean Callanan95fcebd2010-01-29 00:21:04 +000067 void emitAsFlags(raw_ostream &o, unsigned int &i) {
68 o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
69 i += 2;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000070
Sean Callanan95fcebd2010-01-29 00:21:04 +000071 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 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000081
Sean Callanan95fcebd2010-01-29 00:21:04 +000082 i -= 2;
83 o.indent(i) << "};" << "\n";
84 }
85 };
86
Sean Callanan95fcebd2010-01-29 00:21:04 +000087 class ConstantEmitter {
88 public:
89 virtual ~ConstantEmitter() { }
90 virtual void emit(raw_ostream &o, unsigned int &i) = 0;
91 };
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +000092
Sean Callanan95fcebd2010-01-29 00:21:04 +000093 class LiteralConstantEmitter : public ConstantEmitter {
94 private:
Sean Callanan8f993b82010-04-08 00:48:21 +000095 bool IsNumber;
96 union {
97 int Number;
98 const char* String;
99 };
Sean Callanan95fcebd2010-01-29 00:21:04 +0000100 public:
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000101 LiteralConstantEmitter(int number = 0) :
Sean Callanan8f993b82010-04-08 00:48:21 +0000102 IsNumber(true),
103 Number(number) {
104 }
105 void set(const char *string) {
106 IsNumber = false;
107 Number = 0;
108 String = string;
109 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000110 bool is(const char *string) {
111 return !strcmp(String, string);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000112 }
113 void emit(raw_ostream &o, unsigned int &i) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000114 if (IsNumber)
115 o << Number;
116 else
117 o << String;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000118 }
119 };
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000120
Sean Callanan95fcebd2010-01-29 00:21:04 +0000121 class CompoundConstantEmitter : public ConstantEmitter {
122 private:
Sean Callanan8f993b82010-04-08 00:48:21 +0000123 unsigned int Padding;
124 std::vector<ConstantEmitter *> Entries;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000125 public:
Sean Callanan8f993b82010-04-08 00:48:21 +0000126 CompoundConstantEmitter(unsigned int padding = 0) : Padding(padding) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000127 }
128 CompoundConstantEmitter &addEntry(ConstantEmitter *e) {
129 Entries.push_back(e);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000130
Sean Callanan95fcebd2010-01-29 00:21:04 +0000131 return *this;
132 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000133 ~CompoundConstantEmitter() {
134 while (Entries.size()) {
135 ConstantEmitter *entry = Entries.back();
136 Entries.pop_back();
137 delete entry;
138 }
139 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000140 void emit(raw_ostream &o, unsigned int &i) {
141 o << "{" << "\n";
142 i += 2;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000143
Sean Callanan95fcebd2010-01-29 00:21:04 +0000144 unsigned int index;
145 unsigned int numEntries = Entries.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000146
Sean Callanan8f993b82010-04-08 00:48:21 +0000147 unsigned int numToPrint;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000148
Sean Callanan8f993b82010-04-08 00:48:21 +0000149 if (Padding) {
150 if (numEntries > Padding) {
151 fprintf(stderr, "%u entries but %u padding\n", numEntries, Padding);
152 llvm_unreachable("More entries than padding");
153 }
154 numToPrint = Padding;
155 } else {
156 numToPrint = numEntries;
157 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000158
Sean Callanan8f993b82010-04-08 00:48:21 +0000159 for (index = 0; index < numToPrint; ++index) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000160 o.indent(i);
Sean Callanan8f993b82010-04-08 00:48:21 +0000161 if (index < numEntries)
162 Entries[index]->emit(o, i);
163 else
164 o << "-1";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000165
Sean Callanan8f993b82010-04-08 00:48:21 +0000166 if (index < (numToPrint - 1))
Sean Callanan95fcebd2010-01-29 00:21:04 +0000167 o << ",";
168 o << "\n";
169 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000170
Sean Callanan95fcebd2010-01-29 00:21:04 +0000171 i -= 2;
172 o.indent(i) << "}";
173 }
174 };
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000175
Sean Callanan95fcebd2010-01-29 00:21:04 +0000176 class FlagsConstantEmitter : public ConstantEmitter {
177 private:
178 std::vector<std::string> Flags;
179 public:
180 FlagsConstantEmitter() {
181 }
182 FlagsConstantEmitter &addEntry(const char *f) {
183 Flags.push_back(std::string(f));
184 return *this;
185 }
186 void emit(raw_ostream &o, unsigned int &i) {
187 unsigned int index;
188 unsigned int numFlags = Flags.size();
189 if (numFlags == 0)
190 o << "0";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000191
Sean Callanan95fcebd2010-01-29 00:21:04 +0000192 for (index = 0; index < numFlags; ++index) {
193 o << Flags[index].c_str();
194 if (index < (numFlags - 1))
195 o << " | ";
196 }
197 }
198 };
199}
200
201EDEmitter::EDEmitter(RecordKeeper &R) : Records(R) {
202}
203
Sean Callanan2db6ff22010-02-10 02:47:08 +0000204/// populateOperandOrder - Accepts a CodeGenInstruction and generates its
205/// AsmWriterInst for the desired assembly syntax, giving an ordered list of
206/// operands in the order they appear in the printed instruction. Then, for
207/// each entry in that list, determines the index of the same operand in the
208/// CodeGenInstruction, and emits the resulting mapping into an array, filling
209/// in unused slots with -1.
Sean Callanan95fcebd2010-01-29 00:21:04 +0000210///
211/// @arg operandOrder - The array that will be populated with the operand
212/// mapping. Each entry will contain -1 (invalid index
213/// into the operands present in the AsmString) or a number
214/// representing an index in the operand descriptor array.
Sean Callanan2db6ff22010-02-10 02:47:08 +0000215/// @arg inst - The instruction to use when looking up the operands
216/// @arg syntax - The syntax to use, according to LLVM's enumeration
Sean Callanan95fcebd2010-01-29 00:21:04 +0000217void populateOperandOrder(CompoundConstantEmitter *operandOrder,
Sean Callanan2db6ff22010-02-10 02:47:08 +0000218 const CodeGenInstruction &inst,
219 unsigned syntax) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000220 unsigned int numArgs = 0;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000221
Sean Callanan2db6ff22010-02-10 02:47:08 +0000222 AsmWriterInst awInst(inst, syntax, -1, -1);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000223
Sean Callanan2db6ff22010-02-10 02:47:08 +0000224 std::vector<AsmWriterOperand>::iterator operandIterator;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000225
Sean Callanan2db6ff22010-02-10 02:47:08 +0000226 for (operandIterator = awInst.Operands.begin();
227 operandIterator != awInst.Operands.end();
228 ++operandIterator) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000229 if (operandIterator->OperandType ==
Sean Callanan2db6ff22010-02-10 02:47:08 +0000230 AsmWriterOperand::isMachineInstrOperand) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000231 operandOrder->addEntry(
232 new LiteralConstantEmitter(operandIterator->CGIOpNo));
Sean Callanan2db6ff22010-02-10 02:47:08 +0000233 numArgs++;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000234 }
235 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000236}
237
238/////////////////////////////////////////////////////
239// Support functions for handling X86 instructions //
240/////////////////////////////////////////////////////
241
Sean Callanan8f993b82010-04-08 00:48:21 +0000242#define SET(flag) { type->set(flag); return 0; }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000243
Sean Callanan8f993b82010-04-08 00:48:21 +0000244#define REG(str) if (name == str) SET("kOperandTypeRegister");
245#define MEM(str) if (name == str) SET("kOperandTypeX86Memory");
246#define LEA(str) if (name == str) SET("kOperandTypeX86EffectiveAddress");
247#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
248#define PCR(str) if (name == str) SET("kOperandTypeX86PCRelative");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000249
Sean Callanan8f993b82010-04-08 00:48:21 +0000250/// X86TypeFromOpName - Processes the name of a single X86 operand (which is
251/// actually its type) and translates it into an operand type
Sean Callanan95fcebd2010-01-29 00:21:04 +0000252///
Sean Callanan8f993b82010-04-08 00:48:21 +0000253/// @arg flags - The type object to set
Sean Callanan95fcebd2010-01-29 00:21:04 +0000254/// @arg name - The name of the operand
Sean Callanan8f993b82010-04-08 00:48:21 +0000255static int X86TypeFromOpName(LiteralConstantEmitter *type,
Sean Callanan95fcebd2010-01-29 00:21:04 +0000256 const std::string &name) {
257 REG("GR8");
258 REG("GR8_NOREX");
259 REG("GR16");
260 REG("GR32");
261 REG("GR32_NOREX");
Evan Cheng5e817162010-03-14 05:15:39 +0000262 REG("GR32_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000263 REG("FR32");
264 REG("RFP32");
265 REG("GR64");
Evan Cheng5e817162010-03-14 05:15:39 +0000266 REG("GR64_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000267 REG("FR64");
268 REG("VR64");
269 REG("RFP64");
270 REG("RFP80");
271 REG("VR128");
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000272 REG("VR256");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000273 REG("RST");
274 REG("SEGMENT_REG");
275 REG("DEBUG_REG");
Sean Callanan1a8b7892010-05-06 20:59:00 +0000276 REG("CONTROL_REG");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000277
Sean Callanan8f993b82010-04-08 00:48:21 +0000278 IMM("i8imm");
279 IMM("i16imm");
280 IMM("i16i8imm");
281 IMM("i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000282 IMM("i32i8imm");
283 IMM("i64imm");
284 IMM("i64i8imm");
285 IMM("i64i32imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000286 IMM("SSECC");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000287
Sean Callanan8f993b82010-04-08 00:48:21 +0000288 // all R, I, R, I, R
Sean Callanan95fcebd2010-01-29 00:21:04 +0000289 MEM("i8mem");
290 MEM("i8mem_NOREX");
291 MEM("i16mem");
292 MEM("i32mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000293 MEM("i32mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000294 MEM("f32mem");
295 MEM("ssmem");
296 MEM("opaque32mem");
297 MEM("opaque48mem");
298 MEM("i64mem");
Evan Cheng5e817162010-03-14 05:15:39 +0000299 MEM("i64mem_TC");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000300 MEM("f64mem");
301 MEM("sdmem");
302 MEM("f80mem");
303 MEM("opaque80mem");
304 MEM("i128mem");
Bruno Cardoso Lopes94143ee2010-07-19 23:32:44 +0000305 MEM("i256mem");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000306 MEM("f128mem");
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000307 MEM("f256mem");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000308 MEM("opaque512mem");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000309
Sean Callanan8f993b82010-04-08 00:48:21 +0000310 // all R, I, R, I
Sean Callanan95fcebd2010-01-29 00:21:04 +0000311 LEA("lea32mem");
312 LEA("lea64_32mem");
313 LEA("lea64mem");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000314
Sean Callanan8f993b82010-04-08 00:48:21 +0000315 // all I
Chris Lattner9fc05222010-07-07 22:27:31 +0000316 PCR("i16imm_pcrel");
Sean Callanana0f914b2010-04-23 22:17:17 +0000317 PCR("i32imm_pcrel");
318 PCR("i64i32imm_pcrel");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000319 PCR("brtarget8");
320 PCR("offset8");
321 PCR("offset16");
322 PCR("offset32");
323 PCR("offset64");
324 PCR("brtarget");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000325
Sean Callanan95fcebd2010-01-29 00:21:04 +0000326 return 1;
327}
328
329#undef REG
330#undef MEM
331#undef LEA
332#undef IMM
333#undef PCR
Sean Callanan8f993b82010-04-08 00:48:21 +0000334
335#undef SET
Sean Callanan95fcebd2010-01-29 00:21:04 +0000336
337/// X86PopulateOperands - Handles all the operands in an X86 instruction, adding
338/// the appropriate flags to their descriptors
339///
340/// @operandFlags - A reference the array of operand flag objects
341/// @inst - The instruction to use as a source of information
342static void X86PopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000343 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan95fcebd2010-01-29 00:21:04 +0000344 const CodeGenInstruction &inst) {
345 if (!inst.TheDef->isSubClassOf("X86Inst"))
346 return;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000347
Sean Callanan95fcebd2010-01-29 00:21:04 +0000348 unsigned int index;
349 unsigned int numOperands = inst.OperandList.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000350
Sean Callanan95fcebd2010-01-29 00:21:04 +0000351 for (index = 0; index < numOperands; ++index) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000352 const CodeGenInstruction::OperandInfo &operandInfo =
Sean Callanan95fcebd2010-01-29 00:21:04 +0000353 inst.OperandList[index];
354 Record &rec = *operandInfo.Rec;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000355
Sean Callanan8f993b82010-04-08 00:48:21 +0000356 if (X86TypeFromOpName(operandTypes[index], rec.getName())) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000357 errs() << "Operand type: " << rec.getName().c_str() << "\n";
358 errs() << "Operand name: " << operandInfo.Name.c_str() << "\n";
Cameron Esfahani519c8932010-10-12 00:21:05 +0000359 errs() << "Instruction name: " << inst.TheDef->getName().c_str() << "\n";
Sean Callanan95fcebd2010-01-29 00:21:04 +0000360 llvm_unreachable("Unhandled type");
361 }
362 }
363}
364
365/// decorate1 - Decorates a named operand with a new flag
366///
367/// @operandFlags - The array of operand flag objects, which don't have names
368/// @inst - The CodeGenInstruction, which provides a way to translate
369/// between names and operand indices
370/// @opName - The name of the operand
371/// @flag - The name of the flag to add
Sean Callanan8f993b82010-04-08 00:48:21 +0000372static inline void decorate1(
Sean Callanan9899f702010-04-13 21:21:57 +0000373 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000374 const CodeGenInstruction &inst,
375 const char *opName,
376 const char *opFlag) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000377 unsigned opIndex;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000378
Sean Callanancf57c702010-02-10 03:23:23 +0000379 opIndex = inst.getOperandNamed(std::string(opName));
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000380
Sean Callanan95fcebd2010-01-29 00:21:04 +0000381 operandFlags[opIndex]->addEntry(opFlag);
382}
383
384#define DECORATE1(opName, opFlag) decorate1(operandFlags, inst, opName, opFlag)
385
Sean Callanan8f993b82010-04-08 00:48:21 +0000386#define MOV(source, target) { \
387 instType.set("kInstructionTypeMove"); \
388 DECORATE1(source, "kOperandFlagSource"); \
389 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000390}
391
Sean Callanan8f993b82010-04-08 00:48:21 +0000392#define BRANCH(target) { \
393 instType.set("kInstructionTypeBranch"); \
394 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000395}
396
Sean Callanan8f993b82010-04-08 00:48:21 +0000397#define PUSH(source) { \
398 instType.set("kInstructionTypePush"); \
399 DECORATE1(source, "kOperandFlagSource"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000400}
401
Sean Callanan8f993b82010-04-08 00:48:21 +0000402#define POP(target) { \
403 instType.set("kInstructionTypePop"); \
404 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000405}
406
Sean Callanan8f993b82010-04-08 00:48:21 +0000407#define CALL(target) { \
408 instType.set("kInstructionTypeCall"); \
409 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000410}
411
Sean Callanan8f993b82010-04-08 00:48:21 +0000412#define RETURN() { \
413 instType.set("kInstructionTypeReturn"); \
Sean Callanan95fcebd2010-01-29 00:21:04 +0000414}
415
416/// X86ExtractSemantics - Performs various checks on the name of an X86
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000417/// instruction to determine what sort of an instruction it is and then adds
Sean Callanan95fcebd2010-01-29 00:21:04 +0000418/// the appropriate flags to the instruction and its operands
419///
Sean Callanan8f993b82010-04-08 00:48:21 +0000420/// @arg instType - A reference to the type for the instruction as a whole
Sean Callanan95fcebd2010-01-29 00:21:04 +0000421/// @arg operandFlags - A reference to the array of operand flag object pointers
422/// @arg inst - A reference to the original instruction
Sean Callanan8f993b82010-04-08 00:48:21 +0000423static void X86ExtractSemantics(
424 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000425 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000426 const CodeGenInstruction &inst) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000427 const std::string &name = inst.TheDef->getName();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000428
Sean Callanan95fcebd2010-01-29 00:21:04 +0000429 if (name.find("MOV") != name.npos) {
430 if (name.find("MOV_V") != name.npos) {
431 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000432 } else if (name.find("MASK") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000433 // ignore (this is a masking move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000434 } else if (name.find("r0") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000435 // ignore (this is a pseudoinstruction)
Sean Callanan8f993b82010-04-08 00:48:21 +0000436 } else if (name.find("PS") != name.npos ||
Sean Callanan95fcebd2010-01-29 00:21:04 +0000437 name.find("PD") != name.npos) {
438 // ignore (this is a shuffling move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000439 } else if (name.find("MOVS") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000440 // ignore (this is a string move)
Sean Callanan8f993b82010-04-08 00:48:21 +0000441 } else if (name.find("_F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000442 // TODO handle _F moves to ST(0)
Sean Callanan8f993b82010-04-08 00:48:21 +0000443 } else if (name.find("a") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000444 // TODO handle moves to/from %ax
Sean Callanan8f993b82010-04-08 00:48:21 +0000445 } else if (name.find("CMOV") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000446 MOV("src2", "dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000447 } else if (name.find("PC") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000448 MOV("label", "reg")
Sean Callanan8f993b82010-04-08 00:48:21 +0000449 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000450 MOV("src", "dst");
451 }
452 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000453
Sean Callanan95fcebd2010-01-29 00:21:04 +0000454 if (name.find("JMP") != name.npos ||
455 name.find("J") == 0) {
456 if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
457 BRANCH("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000458 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000459 BRANCH("dst");
460 }
461 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000462
Sean Callanan95fcebd2010-01-29 00:21:04 +0000463 if (name.find("PUSH") != name.npos) {
Chris Lattner373c4582010-09-08 22:13:08 +0000464 if (name.find("CS") != name.npos ||
465 name.find("DS") != name.npos ||
466 name.find("ES") != name.npos ||
467 name.find("FS") != name.npos ||
468 name.find("GS") != name.npos ||
469 name.find("SS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000470 instType.set("kInstructionTypePush");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000471 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000472 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000473 // ignore (this pushes onto the FP stack)
Nico Weber50b9efc2010-06-23 20:00:58 +0000474 } else if (name.find("A") != name.npos) {
475 // ignore (pushes all GP registoers onto the stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000476 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000477 PUSH("src");
Sean Callanan8f993b82010-04-08 00:48:21 +0000478 } else if (name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000479 PUSH("imm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000480 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000481 PUSH("reg");
482 }
483 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000484
Sean Callanan95fcebd2010-01-29 00:21:04 +0000485 if (name.find("POP") != name.npos) {
486 if (name.find("POPCNT") != name.npos) {
487 // ignore (not a real pop)
Chris Lattner373c4582010-09-08 22:13:08 +0000488 } else if (name.find("CS") != name.npos ||
489 name.find("DS") != name.npos ||
490 name.find("ES") != name.npos ||
491 name.find("FS") != name.npos ||
492 name.find("GS") != name.npos ||
493 name.find("SS") != name.npos) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000494 instType.set("kInstructionTypePop");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000495 // TODO add support for fixed operands
Sean Callanan8f993b82010-04-08 00:48:21 +0000496 } else if (name.find("F") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000497 // ignore (this pops from the FP stack)
Nico Weber50b9efc2010-06-23 20:00:58 +0000498 } else if (name.find("A") != name.npos) {
499 // ignore (pushes all GP registoers onto the stack)
Sean Callanan8f993b82010-04-08 00:48:21 +0000500 } else if (name[name.length() - 1] == 'm') {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000501 POP("dst");
Sean Callanan8f993b82010-04-08 00:48:21 +0000502 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000503 POP("reg");
504 }
505 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000506
Sean Callanan95fcebd2010-01-29 00:21:04 +0000507 if (name.find("CALL") != name.npos) {
508 if (name.find("ADJ") != name.npos) {
509 // ignore (not a call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000510 } else if (name.find("SYSCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000511 // ignore (doesn't go anywhere we know about)
Sean Callanan8f993b82010-04-08 00:48:21 +0000512 } else if (name.find("VMCALL") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000513 // ignore (rather different semantics than a regular call)
Sean Callanan8f993b82010-04-08 00:48:21 +0000514 } else if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000515 CALL("off");
Sean Callanan8f993b82010-04-08 00:48:21 +0000516 } else {
Sean Callanan95fcebd2010-01-29 00:21:04 +0000517 CALL("dst");
518 }
519 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000520
Sean Callanan95fcebd2010-01-29 00:21:04 +0000521 if (name.find("RET") != name.npos) {
522 RETURN();
523 }
524}
525
526#undef MOV
527#undef BRANCH
528#undef PUSH
529#undef POP
530#undef CALL
531#undef RETURN
532
Sean Callanan8f993b82010-04-08 00:48:21 +0000533/////////////////////////////////////////////////////
534// Support functions for handling ARM instructions //
535/////////////////////////////////////////////////////
536
537#define SET(flag) { type->set(flag); return 0; }
538
539#define REG(str) if (name == str) SET("kOperandTypeRegister");
540#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
541
542#define MISC(str, type) if (name == str) SET(type);
543
544/// ARMFlagFromOpName - Processes the name of a single ARM operand (which is
545/// actually its type) and translates it into an operand type
546///
547/// @arg type - The type object to set
548/// @arg name - The name of the operand
549static int ARMFlagFromOpName(LiteralConstantEmitter *type,
550 const std::string &name) {
551 REG("GPR");
Jim Grosbach6ccfc502010-07-30 02:41:01 +0000552 REG("rGPR");
Dale Johannesen6470a112010-06-15 22:08:33 +0000553 REG("tcGPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000554 REG("cc_out");
555 REG("s_cc_out");
556 REG("tGPR");
557 REG("DPR");
Sean Callanan8f993b82010-04-08 00:48:21 +0000558 REG("DPR_VFP2");
559 REG("DPR_8");
Evan Chengb63387a2010-05-06 06:36:08 +0000560 REG("SPR");
561 REG("QPR");
562 REG("QQPR");
Evan Cheng22c687b2010-05-14 02:13:41 +0000563 REG("QQQQPR");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000564
Sean Callanan8f993b82010-04-08 00:48:21 +0000565 IMM("i32imm");
566 IMM("bf_inv_mask_imm");
567 IMM("jtblock_operand");
568 IMM("nohash_imm");
569 IMM("cpinst_operand");
Jim Grosbachb3af5de2010-10-13 21:00:04 +0000570 IMM("setend_op");
Sean Callanan8f993b82010-04-08 00:48:21 +0000571 IMM("cps_opt");
572 IMM("vfp_f64imm");
573 IMM("vfp_f32imm");
Johnny Chen1adc40c2010-08-12 20:46:17 +0000574 IMM("memb_opt");
Sean Callanan8f993b82010-04-08 00:48:21 +0000575 IMM("msr_mask");
576 IMM("neg_zero");
577 IMM("imm0_31");
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000578 IMM("imm0_31_m1");
Bob Wilson1a913ed2010-06-11 21:34:50 +0000579 IMM("nModImm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000580 IMM("imm0_4095");
581 IMM("jt2block_operand");
582 IMM("t_imm_s4");
583 IMM("pclabel");
Bob Wilson22f5dc72010-08-16 18:27:34 +0000584 IMM("shift_imm");
Owen Anderson498ec202010-10-27 22:49:00 +0000585 IMM("neon_vcvt_imm32");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000586
Sean Callanan8f993b82010-04-08 00:48:21 +0000587 MISC("brtarget", "kOperandTypeARMBranchTarget"); // ?
588 MISC("so_reg", "kOperandTypeARMSoReg"); // R, R, I
589 MISC("t2_so_reg", "kOperandTypeThumb2SoReg"); // R, I
590 MISC("so_imm", "kOperandTypeARMSoImm"); // I
Jim Grosbachb35ad412010-10-13 19:56:10 +0000591 MISC("rot_imm", "kOperandTypeARMRotImm"); // I
Sean Callanan8f993b82010-04-08 00:48:21 +0000592 MISC("t2_so_imm", "kOperandTypeThumb2SoImm"); // I
593 MISC("so_imm2part", "kOperandTypeARMSoImm2Part"); // I
594 MISC("pred", "kOperandTypeARMPredicate"); // I, R
595 MISC("it_pred", "kOperandTypeARMPredicate"); // I
Jim Grosbach3e556122010-10-26 22:37:02 +0000596 MISC("addrmode_imm12", "kOperandTypeAddrModeImm12"); // R, I
597 MISC("ldst_so_reg", "kOperandTypeLdStSOReg"); // R, R, I
Sean Callanan8f993b82010-04-08 00:48:21 +0000598 MISC("addrmode2", "kOperandTypeARMAddrMode2"); // R, R, I
599 MISC("am2offset", "kOperandTypeARMAddrMode2Offset"); // R, I
600 MISC("addrmode3", "kOperandTypeARMAddrMode3"); // R, R, I
601 MISC("am3offset", "kOperandTypeARMAddrMode3Offset"); // R, I
602 MISC("addrmode4", "kOperandTypeARMAddrMode4"); // R, I
603 MISC("addrmode5", "kOperandTypeARMAddrMode5"); // R, I
604 MISC("addrmode6", "kOperandTypeARMAddrMode6"); // R, R, I, I
605 MISC("am6offset", "kOperandTypeARMAddrMode6Offset"); // R, I, I
606 MISC("addrmodepc", "kOperandTypeARMAddrModePC"); // R, I
607 MISC("reglist", "kOperandTypeARMRegisterList"); // I, R, ...
608 MISC("it_mask", "kOperandTypeThumbITMask"); // I
609 MISC("t2addrmode_imm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
610 MISC("t2am_imm8_offset", "kOperandTypeThumb2AddrModeImm8Offset");//I
611 MISC("t2addrmode_imm12", "kOperandTypeThumb2AddrModeImm12"); // R, I
612 MISC("t2addrmode_so_reg", "kOperandTypeThumb2AddrModeSoReg"); // R, R, I
613 MISC("t2addrmode_imm8s4", "kOperandTypeThumb2AddrModeImm8s4"); // R, I
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000614 MISC("t2am_imm8s4_offset", "kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan8f993b82010-04-08 00:48:21 +0000615 // R, I
616 MISC("tb_addrmode", "kOperandTypeARMTBAddrMode"); // I
617 MISC("t_addrmode_s1", "kOperandTypeThumbAddrModeS1"); // R, I, R
618 MISC("t_addrmode_s2", "kOperandTypeThumbAddrModeS2"); // R, I, R
619 MISC("t_addrmode_s4", "kOperandTypeThumbAddrModeS4"); // R, I, R
620 MISC("t_addrmode_rr", "kOperandTypeThumbAddrModeRR"); // R, R
621 MISC("t_addrmode_sp", "kOperandTypeThumbAddrModeSP"); // R, I
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000622
Sean Callanan8f993b82010-04-08 00:48:21 +0000623 return 1;
624}
625
626#undef SOREG
627#undef SOIMM
628#undef PRED
629#undef REG
630#undef MEM
631#undef LEA
632#undef IMM
633#undef PCR
634
635#undef SET
636
637/// ARMPopulateOperands - Handles all the operands in an ARM instruction, adding
638/// the appropriate flags to their descriptors
639///
640/// @operandFlags - A reference the array of operand flag objects
641/// @inst - The instruction to use as a source of information
642static void ARMPopulateOperands(
Sean Callanan9899f702010-04-13 21:21:57 +0000643 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000644 const CodeGenInstruction &inst) {
645 if (!inst.TheDef->isSubClassOf("InstARM") &&
646 !inst.TheDef->isSubClassOf("InstThumb"))
647 return;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000648
Sean Callanan8f993b82010-04-08 00:48:21 +0000649 unsigned int index;
650 unsigned int numOperands = inst.OperandList.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000651
Sean Callanan9899f702010-04-13 21:21:57 +0000652 if (numOperands > EDIS_MAX_OPERANDS) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000653 errs() << "numOperands == " << numOperands << " > " <<
Sean Callanan9899f702010-04-13 21:21:57 +0000654 EDIS_MAX_OPERANDS << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000655 llvm_unreachable("Too many operands");
656 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000657
Sean Callanan8f993b82010-04-08 00:48:21 +0000658 for (index = 0; index < numOperands; ++index) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000659 const CodeGenInstruction::OperandInfo &operandInfo =
Sean Callanan8f993b82010-04-08 00:48:21 +0000660 inst.OperandList[index];
661 Record &rec = *operandInfo.Rec;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000662
Sean Callanan8f993b82010-04-08 00:48:21 +0000663 if (ARMFlagFromOpName(operandTypes[index], rec.getName())) {
Benjamin Kramer127dc5e2010-04-08 09:42:29 +0000664 errs() << "Operand type: " << rec.getName() << '\n';
665 errs() << "Operand name: " << operandInfo.Name << '\n';
Cameron Esfahani519c8932010-10-12 00:21:05 +0000666 errs() << "Instruction name: " << inst.TheDef->getName() << '\n';
Sean Callanan8f993b82010-04-08 00:48:21 +0000667 llvm_unreachable("Unhandled type");
668 }
669 }
670}
671
672#define BRANCH(target) { \
673 instType.set("kInstructionTypeBranch"); \
674 DECORATE1(target, "kOperandFlagTarget"); \
675}
676
677/// ARMExtractSemantics - Performs various checks on the name of an ARM
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000678/// instruction to determine what sort of an instruction it is and then adds
Sean Callanan8f993b82010-04-08 00:48:21 +0000679/// the appropriate flags to the instruction and its operands
680///
681/// @arg instType - A reference to the type for the instruction as a whole
682/// @arg operandTypes - A reference to the array of operand type object pointers
683/// @arg operandFlags - A reference to the array of operand flag object pointers
684/// @arg inst - A reference to the original instruction
685static void ARMExtractSemantics(
686 LiteralConstantEmitter &instType,
Sean Callanan9899f702010-04-13 21:21:57 +0000687 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
688 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan8f993b82010-04-08 00:48:21 +0000689 const CodeGenInstruction &inst) {
690 const std::string &name = inst.TheDef->getName();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000691
Sean Callanan8f993b82010-04-08 00:48:21 +0000692 if (name == "tBcc" ||
693 name == "tB" ||
694 name == "t2Bcc" ||
695 name == "Bcc" ||
696 name == "tCBZ" ||
697 name == "tCBNZ") {
698 BRANCH("target");
699 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000700
Sean Callanan8f993b82010-04-08 00:48:21 +0000701 if (name == "tBLr9" ||
702 name == "BLr9_pred" ||
703 name == "tBLXi_r9" ||
704 name == "tBLXr_r9" ||
705 name == "BLXr9" ||
706 name == "t2BXJ" ||
707 name == "BXJ") {
708 BRANCH("func");
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000709
Sean Callanan8f993b82010-04-08 00:48:21 +0000710 unsigned opIndex;
711 opIndex = inst.getOperandNamed("func");
712 if (operandTypes[opIndex]->is("kOperandTypeImmediate"))
713 operandTypes[opIndex]->set("kOperandTypeARMBranchTarget");
714 }
715}
716
717#undef BRANCH
Sean Callanan95fcebd2010-01-29 00:21:04 +0000718
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000719/// populateInstInfo - Fills an array of InstInfos with information about each
Sean Callanan95fcebd2010-01-29 00:21:04 +0000720/// instruction in a target
721///
722/// @arg infoArray - The array of InstInfo objects to populate
723/// @arg target - The CodeGenTarget to use as a source of instructions
724static void populateInstInfo(CompoundConstantEmitter &infoArray,
725 CodeGenTarget &target) {
Chris Lattnerf6502782010-03-19 00:34:35 +0000726 const std::vector<const CodeGenInstruction*> &numberedInstructions =
727 target.getInstructionsByEnumValue();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000728
Sean Callanan95fcebd2010-01-29 00:21:04 +0000729 unsigned int index;
730 unsigned int numInstructions = numberedInstructions.size();
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000731
Sean Callanan95fcebd2010-01-29 00:21:04 +0000732 for (index = 0; index < numInstructions; ++index) {
733 const CodeGenInstruction& inst = *numberedInstructions[index];
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000734
Sean Callanan95fcebd2010-01-29 00:21:04 +0000735 CompoundConstantEmitter *infoStruct = new CompoundConstantEmitter;
736 infoArray.addEntry(infoStruct);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000737
Sean Callanan8f993b82010-04-08 00:48:21 +0000738 LiteralConstantEmitter *instType = new LiteralConstantEmitter;
739 infoStruct->addEntry(instType);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000740
741 LiteralConstantEmitter *numOperandsEmitter =
Sean Callanan95fcebd2010-01-29 00:21:04 +0000742 new LiteralConstantEmitter(inst.OperandList.size());
743 infoStruct->addEntry(numOperandsEmitter);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000744
Sean Callanan8f993b82010-04-08 00:48:21 +0000745 CompoundConstantEmitter *operandTypeArray = new CompoundConstantEmitter;
746 infoStruct->addEntry(operandTypeArray);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000747
Sean Callanan9899f702010-04-13 21:21:57 +0000748 LiteralConstantEmitter *operandTypes[EDIS_MAX_OPERANDS];
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000749
Sean Callanan95fcebd2010-01-29 00:21:04 +0000750 CompoundConstantEmitter *operandFlagArray = new CompoundConstantEmitter;
751 infoStruct->addEntry(operandFlagArray);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000752
Sean Callanan9899f702010-04-13 21:21:57 +0000753 FlagsConstantEmitter *operandFlags[EDIS_MAX_OPERANDS];
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000754
755 for (unsigned operandIndex = 0;
756 operandIndex < EDIS_MAX_OPERANDS;
Sean Callanan8f993b82010-04-08 00:48:21 +0000757 ++operandIndex) {
758 operandTypes[operandIndex] = new LiteralConstantEmitter;
759 operandTypeArray->addEntry(operandTypes[operandIndex]);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000760
Sean Callanan95fcebd2010-01-29 00:21:04 +0000761 operandFlags[operandIndex] = new FlagsConstantEmitter;
762 operandFlagArray->addEntry(operandFlags[operandIndex]);
763 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000764
Sean Callanan95fcebd2010-01-29 00:21:04 +0000765 unsigned numSyntaxes = 0;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000766
Sean Callanan95fcebd2010-01-29 00:21:04 +0000767 if (target.getName() == "X86") {
Sean Callanan8f993b82010-04-08 00:48:21 +0000768 X86PopulateOperands(operandTypes, inst);
769 X86ExtractSemantics(*instType, operandFlags, inst);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000770 numSyntaxes = 2;
771 }
Sean Callanan8f993b82010-04-08 00:48:21 +0000772 else if (target.getName() == "ARM") {
773 ARMPopulateOperands(operandTypes, inst);
774 ARMExtractSemantics(*instType, operandTypes, operandFlags, inst);
775 numSyntaxes = 1;
776 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000777
778 CompoundConstantEmitter *operandOrderArray = new CompoundConstantEmitter;
779
Sean Callanan95fcebd2010-01-29 00:21:04 +0000780 infoStruct->addEntry(operandOrderArray);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000781
782 for (unsigned syntaxIndex = 0;
783 syntaxIndex < EDIS_MAX_SYNTAXES;
Sean Callanan9899f702010-04-13 21:21:57 +0000784 ++syntaxIndex) {
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000785 CompoundConstantEmitter *operandOrder =
Sean Callanan9899f702010-04-13 21:21:57 +0000786 new CompoundConstantEmitter(EDIS_MAX_OPERANDS);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000787
Sean Callanan95fcebd2010-01-29 00:21:04 +0000788 operandOrderArray->addEntry(operandOrder);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000789
Sean Callanan95fcebd2010-01-29 00:21:04 +0000790 if (syntaxIndex < numSyntaxes) {
Sean Callanan2db6ff22010-02-10 02:47:08 +0000791 populateOperandOrder(operandOrder, inst, syntaxIndex);
Sean Callanan95fcebd2010-01-29 00:21:04 +0000792 }
Sean Callanan95fcebd2010-01-29 00:21:04 +0000793 }
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000794
Sean Callanan8f993b82010-04-08 00:48:21 +0000795 infoStruct = NULL;
Sean Callanan95fcebd2010-01-29 00:21:04 +0000796 }
797}
798
Sean Callanan9899f702010-04-13 21:21:57 +0000799static void emitCommonEnums(raw_ostream &o, unsigned int &i) {
Sean Callanan8f993b82010-04-08 00:48:21 +0000800 EnumEmitter operandTypes("OperandTypes");
801 operandTypes.addEntry("kOperandTypeNone");
802 operandTypes.addEntry("kOperandTypeImmediate");
803 operandTypes.addEntry("kOperandTypeRegister");
804 operandTypes.addEntry("kOperandTypeX86Memory");
805 operandTypes.addEntry("kOperandTypeX86EffectiveAddress");
806 operandTypes.addEntry("kOperandTypeX86PCRelative");
807 operandTypes.addEntry("kOperandTypeARMBranchTarget");
808 operandTypes.addEntry("kOperandTypeARMSoReg");
809 operandTypes.addEntry("kOperandTypeARMSoImm");
Jim Grosbachb35ad412010-10-13 19:56:10 +0000810 operandTypes.addEntry("kOperandTypeARMRotImm");
Sean Callanan8f993b82010-04-08 00:48:21 +0000811 operandTypes.addEntry("kOperandTypeARMSoImm2Part");
812 operandTypes.addEntry("kOperandTypeARMPredicate");
Jim Grosbach3e556122010-10-26 22:37:02 +0000813 operandTypes.addEntry("kOperandTypeAddrModeImm12");
814 operandTypes.addEntry("kOperandTypeLdStSOReg");
Sean Callanan8f993b82010-04-08 00:48:21 +0000815 operandTypes.addEntry("kOperandTypeARMAddrMode2");
816 operandTypes.addEntry("kOperandTypeARMAddrMode2Offset");
817 operandTypes.addEntry("kOperandTypeARMAddrMode3");
818 operandTypes.addEntry("kOperandTypeARMAddrMode3Offset");
819 operandTypes.addEntry("kOperandTypeARMAddrMode4");
820 operandTypes.addEntry("kOperandTypeARMAddrMode5");
821 operandTypes.addEntry("kOperandTypeARMAddrMode6");
822 operandTypes.addEntry("kOperandTypeARMAddrMode6Offset");
823 operandTypes.addEntry("kOperandTypeARMAddrModePC");
824 operandTypes.addEntry("kOperandTypeARMRegisterList");
825 operandTypes.addEntry("kOperandTypeARMTBAddrMode");
826 operandTypes.addEntry("kOperandTypeThumbITMask");
827 operandTypes.addEntry("kOperandTypeThumbAddrModeS1");
828 operandTypes.addEntry("kOperandTypeThumbAddrModeS2");
829 operandTypes.addEntry("kOperandTypeThumbAddrModeS4");
830 operandTypes.addEntry("kOperandTypeThumbAddrModeRR");
831 operandTypes.addEntry("kOperandTypeThumbAddrModeSP");
832 operandTypes.addEntry("kOperandTypeThumb2SoReg");
833 operandTypes.addEntry("kOperandTypeThumb2SoImm");
834 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8");
835 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8Offset");
836 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm12");
837 operandTypes.addEntry("kOperandTypeThumb2AddrModeSoReg");
838 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4");
839 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan8f993b82010-04-08 00:48:21 +0000840 operandTypes.emit(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000841
Sean Callanan8f993b82010-04-08 00:48:21 +0000842 o << "\n";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000843
Sean Callanan95fcebd2010-01-29 00:21:04 +0000844 EnumEmitter operandFlags("OperandFlags");
Sean Callanan95fcebd2010-01-29 00:21:04 +0000845 operandFlags.addEntry("kOperandFlagSource");
846 operandFlags.addEntry("kOperandFlagTarget");
847 operandFlags.emitAsFlags(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000848
Sean Callanan95fcebd2010-01-29 00:21:04 +0000849 o << "\n";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000850
Sean Callanan8f993b82010-04-08 00:48:21 +0000851 EnumEmitter instructionTypes("InstructionTypes");
852 instructionTypes.addEntry("kInstructionTypeNone");
853 instructionTypes.addEntry("kInstructionTypeMove");
854 instructionTypes.addEntry("kInstructionTypeBranch");
855 instructionTypes.addEntry("kInstructionTypePush");
856 instructionTypes.addEntry("kInstructionTypePop");
857 instructionTypes.addEntry("kInstructionTypeCall");
858 instructionTypes.addEntry("kInstructionTypeReturn");
859 instructionTypes.emit(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000860
Sean Callanan95fcebd2010-01-29 00:21:04 +0000861 o << "\n";
Sean Callanan9899f702010-04-13 21:21:57 +0000862}
863
864void EDEmitter::run(raw_ostream &o) {
865 unsigned int i = 0;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000866
Sean Callanan9899f702010-04-13 21:21:57 +0000867 CompoundConstantEmitter infoArray;
868 CodeGenTarget target;
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000869
Sean Callanan9899f702010-04-13 21:21:57 +0000870 populateInstInfo(infoArray, target);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000871
Sean Callanan9899f702010-04-13 21:21:57 +0000872 emitCommonEnums(o, i);
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000873
Sean Callanan9899f702010-04-13 21:21:57 +0000874 o << "namespace {\n";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000875
Sean Callanan9899f702010-04-13 21:21:57 +0000876 o << "llvm::EDInstInfo instInfo" << target.getName().c_str() << "[] = ";
877 infoArray.emit(o, i);
878 o << ";" << "\n";
Jim Grosbach9c3aa4d2010-10-05 20:35:57 +0000879
Sean Callanan9899f702010-04-13 21:21:57 +0000880 o << "}\n";
881}