blob: cb0e5126a0f6ddec11a8e7c4c7e0789450098d6d [file] [log] [blame]
Sean Callanan82436d12010-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 Callanand4b19e12010-02-09 23:06:35 +000018#include "AsmWriterInst.h"
Sean Callanan82436d12010-01-29 00:21:04 +000019#include "CodeGenTarget.h"
20#include "Record.h"
21
Sean Callanan814e69b2010-04-13 21:21:57 +000022#include "llvm/MC/EDInstInfo.h"
Sean Callanan82436d12010-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 Callanan82436d12010-01-29 00:21:04 +000027#include <string>
Sean Callanan03549ee2010-04-08 00:48:21 +000028#include <vector>
Sean Callanan82436d12010-01-29 00:21:04 +000029
Sean Callanan82436d12010-01-29 00:21:04 +000030using namespace llvm;
31
32///////////////////////////////////////////////////////////
33// Support classes for emitting nested C data structures //
34///////////////////////////////////////////////////////////
35
36namespace {
Jim Grosbachc1526592010-10-05 20:35:57 +000037
Sean Callanan82436d12010-01-29 00:21:04 +000038 class EnumEmitter {
39 private:
40 std::string Name;
41 std::vector<std::string> Entries;
42 public:
Jim Grosbachc1526592010-10-05 20:35:57 +000043 EnumEmitter(const char *N) : Name(N) {
Sean Callanan82436d12010-01-29 00:21:04 +000044 }
Jim Grosbachc1526592010-10-05 20:35:57 +000045 int addEntry(const char *e) {
Sean Callanan82436d12010-01-29 00:21:04 +000046 Entries.push_back(std::string(e));
Jim Grosbachc1526592010-10-05 20:35:57 +000047 return Entries.size() - 1;
Sean Callanan82436d12010-01-29 00:21:04 +000048 }
49 void emit(raw_ostream &o, unsigned int &i) {
50 o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
51 i += 2;
Jim Grosbachc1526592010-10-05 20:35:57 +000052
Sean Callanan82436d12010-01-29 00:21:04 +000053 unsigned int index = 0;
54 unsigned int numEntries = Entries.size();
Sean Callanan03549ee2010-04-08 00:48:21 +000055 for (index = 0; index < numEntries; ++index) {
Sean Callanan82436d12010-01-29 00:21:04 +000056 o.indent(i) << Entries[index];
Sean Callanan03549ee2010-04-08 00:48:21 +000057 if (index < (numEntries - 1))
Sean Callanan82436d12010-01-29 00:21:04 +000058 o << ",";
59 o << "\n";
60 }
Jim Grosbachc1526592010-10-05 20:35:57 +000061
Sean Callanan82436d12010-01-29 00:21:04 +000062 i -= 2;
63 o.indent(i) << "};" << "\n";
64 }
Jim Grosbachc1526592010-10-05 20:35:57 +000065
Sean Callanan82436d12010-01-29 00:21:04 +000066 void emitAsFlags(raw_ostream &o, unsigned int &i) {
67 o.indent(i) << "enum " << Name.c_str() << " {" << "\n";
68 i += 2;
Jim Grosbachc1526592010-10-05 20:35:57 +000069
Sean Callanan82436d12010-01-29 00:21:04 +000070 unsigned int index = 0;
71 unsigned int numEntries = Entries.size();
72 unsigned int flag = 1;
73 for (index = 0; index < numEntries; ++index) {
74 o.indent(i) << Entries[index] << " = " << format("0x%x", flag);
75 if (index < (numEntries - 1))
76 o << ",";
77 o << "\n";
78 flag <<= 1;
79 }
Jim Grosbachc1526592010-10-05 20:35:57 +000080
Sean Callanan82436d12010-01-29 00:21:04 +000081 i -= 2;
82 o.indent(i) << "};" << "\n";
83 }
84 };
85
Sean Callanan82436d12010-01-29 00:21:04 +000086 class ConstantEmitter {
87 public:
88 virtual ~ConstantEmitter() { }
89 virtual void emit(raw_ostream &o, unsigned int &i) = 0;
90 };
Jim Grosbachc1526592010-10-05 20:35:57 +000091
Sean Callanan82436d12010-01-29 00:21:04 +000092 class LiteralConstantEmitter : public ConstantEmitter {
93 private:
Sean Callanan03549ee2010-04-08 00:48:21 +000094 bool IsNumber;
95 union {
96 int Number;
97 const char* String;
98 };
Sean Callanan82436d12010-01-29 00:21:04 +000099 public:
Jim Grosbachc1526592010-10-05 20:35:57 +0000100 LiteralConstantEmitter(int number = 0) :
Sean Callanan03549ee2010-04-08 00:48:21 +0000101 IsNumber(true),
102 Number(number) {
103 }
104 void set(const char *string) {
105 IsNumber = false;
106 Number = 0;
107 String = string;
108 }
Sean Callanan03549ee2010-04-08 00:48:21 +0000109 bool is(const char *string) {
110 return !strcmp(String, string);
Sean Callanan82436d12010-01-29 00:21:04 +0000111 }
112 void emit(raw_ostream &o, unsigned int &i) {
Sean Callanan03549ee2010-04-08 00:48:21 +0000113 if (IsNumber)
114 o << Number;
115 else
116 o << String;
Sean Callanan82436d12010-01-29 00:21:04 +0000117 }
118 };
Jim Grosbachc1526592010-10-05 20:35:57 +0000119
Sean Callanan82436d12010-01-29 00:21:04 +0000120 class CompoundConstantEmitter : public ConstantEmitter {
121 private:
Sean Callanan03549ee2010-04-08 00:48:21 +0000122 unsigned int Padding;
123 std::vector<ConstantEmitter *> Entries;
Sean Callanan82436d12010-01-29 00:21:04 +0000124 public:
Sean Callanan03549ee2010-04-08 00:48:21 +0000125 CompoundConstantEmitter(unsigned int padding = 0) : Padding(padding) {
Sean Callanan82436d12010-01-29 00:21:04 +0000126 }
127 CompoundConstantEmitter &addEntry(ConstantEmitter *e) {
128 Entries.push_back(e);
Jim Grosbachc1526592010-10-05 20:35:57 +0000129
Sean Callanan82436d12010-01-29 00:21:04 +0000130 return *this;
131 }
Sean Callanan03549ee2010-04-08 00:48:21 +0000132 ~CompoundConstantEmitter() {
133 while (Entries.size()) {
134 ConstantEmitter *entry = Entries.back();
135 Entries.pop_back();
136 delete entry;
137 }
138 }
Sean Callanan82436d12010-01-29 00:21:04 +0000139 void emit(raw_ostream &o, unsigned int &i) {
140 o << "{" << "\n";
141 i += 2;
Jim Grosbachc1526592010-10-05 20:35:57 +0000142
Sean Callanan82436d12010-01-29 00:21:04 +0000143 unsigned int index;
144 unsigned int numEntries = Entries.size();
Jim Grosbachc1526592010-10-05 20:35:57 +0000145
Sean Callanan03549ee2010-04-08 00:48:21 +0000146 unsigned int numToPrint;
Jim Grosbachc1526592010-10-05 20:35:57 +0000147
Sean Callanan03549ee2010-04-08 00:48:21 +0000148 if (Padding) {
149 if (numEntries > Padding) {
150 fprintf(stderr, "%u entries but %u padding\n", numEntries, Padding);
151 llvm_unreachable("More entries than padding");
152 }
153 numToPrint = Padding;
154 } else {
155 numToPrint = numEntries;
156 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000157
Sean Callanan03549ee2010-04-08 00:48:21 +0000158 for (index = 0; index < numToPrint; ++index) {
Sean Callanan82436d12010-01-29 00:21:04 +0000159 o.indent(i);
Sean Callanan03549ee2010-04-08 00:48:21 +0000160 if (index < numEntries)
161 Entries[index]->emit(o, i);
162 else
163 o << "-1";
Jim Grosbachc1526592010-10-05 20:35:57 +0000164
Sean Callanan03549ee2010-04-08 00:48:21 +0000165 if (index < (numToPrint - 1))
Sean Callanan82436d12010-01-29 00:21:04 +0000166 o << ",";
167 o << "\n";
168 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000169
Sean Callanan82436d12010-01-29 00:21:04 +0000170 i -= 2;
171 o.indent(i) << "}";
172 }
173 };
Jim Grosbachc1526592010-10-05 20:35:57 +0000174
Sean Callanan82436d12010-01-29 00:21:04 +0000175 class FlagsConstantEmitter : public ConstantEmitter {
176 private:
177 std::vector<std::string> Flags;
178 public:
179 FlagsConstantEmitter() {
180 }
181 FlagsConstantEmitter &addEntry(const char *f) {
182 Flags.push_back(std::string(f));
183 return *this;
184 }
185 void emit(raw_ostream &o, unsigned int &i) {
186 unsigned int index;
187 unsigned int numFlags = Flags.size();
188 if (numFlags == 0)
189 o << "0";
Jim Grosbachc1526592010-10-05 20:35:57 +0000190
Sean Callanan82436d12010-01-29 00:21:04 +0000191 for (index = 0; index < numFlags; ++index) {
192 o << Flags[index].c_str();
193 if (index < (numFlags - 1))
194 o << " | ";
195 }
196 }
197 };
198}
199
200EDEmitter::EDEmitter(RecordKeeper &R) : Records(R) {
201}
202
Sean Callanane9959a52010-02-10 02:47:08 +0000203/// populateOperandOrder - Accepts a CodeGenInstruction and generates its
204/// AsmWriterInst for the desired assembly syntax, giving an ordered list of
205/// operands in the order they appear in the printed instruction. Then, for
206/// each entry in that list, determines the index of the same operand in the
207/// CodeGenInstruction, and emits the resulting mapping into an array, filling
208/// in unused slots with -1.
Sean Callanan82436d12010-01-29 00:21:04 +0000209///
210/// @arg operandOrder - The array that will be populated with the operand
211/// mapping. Each entry will contain -1 (invalid index
212/// into the operands present in the AsmString) or a number
213/// representing an index in the operand descriptor array.
Sean Callanane9959a52010-02-10 02:47:08 +0000214/// @arg inst - The instruction to use when looking up the operands
215/// @arg syntax - The syntax to use, according to LLVM's enumeration
Sean Callanan82436d12010-01-29 00:21:04 +0000216void populateOperandOrder(CompoundConstantEmitter *operandOrder,
Sean Callanane9959a52010-02-10 02:47:08 +0000217 const CodeGenInstruction &inst,
218 unsigned syntax) {
Sean Callanan82436d12010-01-29 00:21:04 +0000219 unsigned int numArgs = 0;
Jim Grosbachc1526592010-10-05 20:35:57 +0000220
Sean Callanane9959a52010-02-10 02:47:08 +0000221 AsmWriterInst awInst(inst, syntax, -1, -1);
Jim Grosbachc1526592010-10-05 20:35:57 +0000222
Sean Callanane9959a52010-02-10 02:47:08 +0000223 std::vector<AsmWriterOperand>::iterator operandIterator;
Jim Grosbachc1526592010-10-05 20:35:57 +0000224
Sean Callanane9959a52010-02-10 02:47:08 +0000225 for (operandIterator = awInst.Operands.begin();
226 operandIterator != awInst.Operands.end();
227 ++operandIterator) {
Jim Grosbachc1526592010-10-05 20:35:57 +0000228 if (operandIterator->OperandType ==
Sean Callanane9959a52010-02-10 02:47:08 +0000229 AsmWriterOperand::isMachineInstrOperand) {
Sean Callanan03549ee2010-04-08 00:48:21 +0000230 operandOrder->addEntry(
231 new LiteralConstantEmitter(operandIterator->CGIOpNo));
Sean Callanane9959a52010-02-10 02:47:08 +0000232 numArgs++;
Sean Callanan82436d12010-01-29 00:21:04 +0000233 }
234 }
Sean Callanan82436d12010-01-29 00:21:04 +0000235}
236
237/////////////////////////////////////////////////////
238// Support functions for handling X86 instructions //
239/////////////////////////////////////////////////////
240
Sean Callanan03549ee2010-04-08 00:48:21 +0000241#define SET(flag) { type->set(flag); return 0; }
Sean Callanan82436d12010-01-29 00:21:04 +0000242
Sean Callanan03549ee2010-04-08 00:48:21 +0000243#define REG(str) if (name == str) SET("kOperandTypeRegister");
244#define MEM(str) if (name == str) SET("kOperandTypeX86Memory");
245#define LEA(str) if (name == str) SET("kOperandTypeX86EffectiveAddress");
246#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
247#define PCR(str) if (name == str) SET("kOperandTypeX86PCRelative");
Sean Callanan82436d12010-01-29 00:21:04 +0000248
Sean Callanan03549ee2010-04-08 00:48:21 +0000249/// X86TypeFromOpName - Processes the name of a single X86 operand (which is
250/// actually its type) and translates it into an operand type
Sean Callanan82436d12010-01-29 00:21:04 +0000251///
Sean Callanan03549ee2010-04-08 00:48:21 +0000252/// @arg flags - The type object to set
Sean Callanan82436d12010-01-29 00:21:04 +0000253/// @arg name - The name of the operand
Sean Callanan03549ee2010-04-08 00:48:21 +0000254static int X86TypeFromOpName(LiteralConstantEmitter *type,
Sean Callanan82436d12010-01-29 00:21:04 +0000255 const std::string &name) {
256 REG("GR8");
257 REG("GR8_NOREX");
258 REG("GR16");
259 REG("GR32");
260 REG("GR32_NOREX");
Evan Cheng44be5362010-03-14 05:15:39 +0000261 REG("GR32_TC");
Sean Callanan82436d12010-01-29 00:21:04 +0000262 REG("FR32");
263 REG("RFP32");
264 REG("GR64");
Evan Cheng44be5362010-03-14 05:15:39 +0000265 REG("GR64_TC");
Sean Callanan82436d12010-01-29 00:21:04 +0000266 REG("FR64");
267 REG("VR64");
268 REG("RFP64");
269 REG("RFP80");
270 REG("VR128");
Bruno Cardoso Lopes792e9062010-07-09 18:27:43 +0000271 REG("VR256");
Sean Callanan82436d12010-01-29 00:21:04 +0000272 REG("RST");
273 REG("SEGMENT_REG");
274 REG("DEBUG_REG");
Sean Callanane7e1cf92010-05-06 20:59:00 +0000275 REG("CONTROL_REG");
Jim Grosbachc1526592010-10-05 20:35:57 +0000276
Sean Callanan03549ee2010-04-08 00:48:21 +0000277 IMM("i8imm");
278 IMM("i16imm");
279 IMM("i16i8imm");
280 IMM("i32imm");
Sean Callanan03549ee2010-04-08 00:48:21 +0000281 IMM("i32i8imm");
282 IMM("i64imm");
283 IMM("i64i8imm");
284 IMM("i64i32imm");
Sean Callanan03549ee2010-04-08 00:48:21 +0000285 IMM("SSECC");
Jim Grosbachc1526592010-10-05 20:35:57 +0000286
Sean Callanan03549ee2010-04-08 00:48:21 +0000287 // all R, I, R, I, R
Sean Callanan82436d12010-01-29 00:21:04 +0000288 MEM("i8mem");
289 MEM("i8mem_NOREX");
290 MEM("i16mem");
291 MEM("i32mem");
Evan Cheng44be5362010-03-14 05:15:39 +0000292 MEM("i32mem_TC");
Sean Callanan82436d12010-01-29 00:21:04 +0000293 MEM("f32mem");
294 MEM("ssmem");
295 MEM("opaque32mem");
296 MEM("opaque48mem");
297 MEM("i64mem");
Evan Cheng44be5362010-03-14 05:15:39 +0000298 MEM("i64mem_TC");
Sean Callanan82436d12010-01-29 00:21:04 +0000299 MEM("f64mem");
300 MEM("sdmem");
301 MEM("f80mem");
302 MEM("opaque80mem");
303 MEM("i128mem");
Bruno Cardoso Lopes9de0ca72010-07-19 23:32:44 +0000304 MEM("i256mem");
Sean Callanan82436d12010-01-29 00:21:04 +0000305 MEM("f128mem");
Bruno Cardoso Lopes792e9062010-07-09 18:27:43 +0000306 MEM("f256mem");
Sean Callanan82436d12010-01-29 00:21:04 +0000307 MEM("opaque512mem");
Jim Grosbachc1526592010-10-05 20:35:57 +0000308
Sean Callanan03549ee2010-04-08 00:48:21 +0000309 // all R, I, R, I
Sean Callanan82436d12010-01-29 00:21:04 +0000310 LEA("lea32mem");
311 LEA("lea64_32mem");
312 LEA("lea64mem");
Jim Grosbachc1526592010-10-05 20:35:57 +0000313
Sean Callanan03549ee2010-04-08 00:48:21 +0000314 // all I
Chris Lattnerac588122010-07-07 22:27:31 +0000315 PCR("i16imm_pcrel");
Sean Callanan85d70592010-04-23 22:17:17 +0000316 PCR("i32imm_pcrel");
317 PCR("i64i32imm_pcrel");
Sean Callanan82436d12010-01-29 00:21:04 +0000318 PCR("brtarget8");
319 PCR("offset8");
320 PCR("offset16");
321 PCR("offset32");
322 PCR("offset64");
323 PCR("brtarget");
Owen Anderson578074b2010-12-13 19:31:11 +0000324 PCR("uncondbrtarget");
Jim Grosbachc33f28b2010-11-11 20:05:40 +0000325 PCR("bltarget");
Jim Grosbachc1526592010-10-05 20:35:57 +0000326
Jason W Kimd2e2f562011-02-04 19:47:15 +0000327 // all I, ARM mode only, conditional/unconditional
328 PCR("br_target");
329 PCR("bl_target");
Sean Callanan82436d12010-01-29 00:21:04 +0000330 return 1;
331}
332
333#undef REG
334#undef MEM
335#undef LEA
336#undef IMM
337#undef PCR
Sean Callanan03549ee2010-04-08 00:48:21 +0000338
339#undef SET
Sean Callanan82436d12010-01-29 00:21:04 +0000340
341/// X86PopulateOperands - Handles all the operands in an X86 instruction, adding
342/// the appropriate flags to their descriptors
343///
344/// @operandFlags - A reference the array of operand flag objects
345/// @inst - The instruction to use as a source of information
346static void X86PopulateOperands(
Sean Callanan814e69b2010-04-13 21:21:57 +0000347 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan82436d12010-01-29 00:21:04 +0000348 const CodeGenInstruction &inst) {
349 if (!inst.TheDef->isSubClassOf("X86Inst"))
350 return;
Jim Grosbachc1526592010-10-05 20:35:57 +0000351
Sean Callanan82436d12010-01-29 00:21:04 +0000352 unsigned int index;
Chris Lattnerd8adec72010-11-01 04:03:32 +0000353 unsigned int numOperands = inst.Operands.size();
Jim Grosbachc1526592010-10-05 20:35:57 +0000354
Sean Callanan82436d12010-01-29 00:21:04 +0000355 for (index = 0; index < numOperands; ++index) {
Chris Lattnerd8adec72010-11-01 04:03:32 +0000356 const CGIOperandList::OperandInfo &operandInfo = inst.Operands[index];
Sean Callanan82436d12010-01-29 00:21:04 +0000357 Record &rec = *operandInfo.Rec;
Jim Grosbachc1526592010-10-05 20:35:57 +0000358
NAKAMURA Takumi31aafbd2011-01-26 02:03:48 +0000359 if (X86TypeFromOpName(operandTypes[index], rec.getName()) &&
360 !rec.isSubClassOf("PointerLikeRegClass")) {
Sean Callanan82436d12010-01-29 00:21:04 +0000361 errs() << "Operand type: " << rec.getName().c_str() << "\n";
362 errs() << "Operand name: " << operandInfo.Name.c_str() << "\n";
Cameron Esfahania48349f2010-10-12 00:21:05 +0000363 errs() << "Instruction name: " << inst.TheDef->getName().c_str() << "\n";
Sean Callanan82436d12010-01-29 00:21:04 +0000364 llvm_unreachable("Unhandled type");
365 }
366 }
367}
368
369/// decorate1 - Decorates a named operand with a new flag
370///
371/// @operandFlags - The array of operand flag objects, which don't have names
372/// @inst - The CodeGenInstruction, which provides a way to translate
373/// between names and operand indices
374/// @opName - The name of the operand
375/// @flag - The name of the flag to add
Sean Callanan03549ee2010-04-08 00:48:21 +0000376static inline void decorate1(
Sean Callanan814e69b2010-04-13 21:21:57 +0000377 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan03549ee2010-04-08 00:48:21 +0000378 const CodeGenInstruction &inst,
379 const char *opName,
380 const char *opFlag) {
Sean Callanan82436d12010-01-29 00:21:04 +0000381 unsigned opIndex;
Jim Grosbachc1526592010-10-05 20:35:57 +0000382
Chris Lattnerd8adec72010-11-01 04:03:32 +0000383 opIndex = inst.Operands.getOperandNamed(std::string(opName));
Jim Grosbachc1526592010-10-05 20:35:57 +0000384
Sean Callanan82436d12010-01-29 00:21:04 +0000385 operandFlags[opIndex]->addEntry(opFlag);
386}
387
388#define DECORATE1(opName, opFlag) decorate1(operandFlags, inst, opName, opFlag)
389
Sean Callanan03549ee2010-04-08 00:48:21 +0000390#define MOV(source, target) { \
391 instType.set("kInstructionTypeMove"); \
392 DECORATE1(source, "kOperandFlagSource"); \
393 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan82436d12010-01-29 00:21:04 +0000394}
395
Sean Callanan03549ee2010-04-08 00:48:21 +0000396#define BRANCH(target) { \
397 instType.set("kInstructionTypeBranch"); \
398 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan82436d12010-01-29 00:21:04 +0000399}
400
Sean Callanan03549ee2010-04-08 00:48:21 +0000401#define PUSH(source) { \
402 instType.set("kInstructionTypePush"); \
403 DECORATE1(source, "kOperandFlagSource"); \
Sean Callanan82436d12010-01-29 00:21:04 +0000404}
405
Sean Callanan03549ee2010-04-08 00:48:21 +0000406#define POP(target) { \
407 instType.set("kInstructionTypePop"); \
408 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan82436d12010-01-29 00:21:04 +0000409}
410
Sean Callanan03549ee2010-04-08 00:48:21 +0000411#define CALL(target) { \
412 instType.set("kInstructionTypeCall"); \
413 DECORATE1(target, "kOperandFlagTarget"); \
Sean Callanan82436d12010-01-29 00:21:04 +0000414}
415
Sean Callanan03549ee2010-04-08 00:48:21 +0000416#define RETURN() { \
417 instType.set("kInstructionTypeReturn"); \
Sean Callanan82436d12010-01-29 00:21:04 +0000418}
419
420/// X86ExtractSemantics - Performs various checks on the name of an X86
Jim Grosbachc1526592010-10-05 20:35:57 +0000421/// instruction to determine what sort of an instruction it is and then adds
Sean Callanan82436d12010-01-29 00:21:04 +0000422/// the appropriate flags to the instruction and its operands
423///
Sean Callanan03549ee2010-04-08 00:48:21 +0000424/// @arg instType - A reference to the type for the instruction as a whole
Sean Callanan82436d12010-01-29 00:21:04 +0000425/// @arg operandFlags - A reference to the array of operand flag object pointers
426/// @arg inst - A reference to the original instruction
Sean Callanan03549ee2010-04-08 00:48:21 +0000427static void X86ExtractSemantics(
428 LiteralConstantEmitter &instType,
Sean Callanan814e69b2010-04-13 21:21:57 +0000429 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan03549ee2010-04-08 00:48:21 +0000430 const CodeGenInstruction &inst) {
Sean Callanan82436d12010-01-29 00:21:04 +0000431 const std::string &name = inst.TheDef->getName();
Jim Grosbachc1526592010-10-05 20:35:57 +0000432
Sean Callanan82436d12010-01-29 00:21:04 +0000433 if (name.find("MOV") != name.npos) {
434 if (name.find("MOV_V") != name.npos) {
435 // ignore (this is a pseudoinstruction)
Sean Callanan03549ee2010-04-08 00:48:21 +0000436 } else if (name.find("MASK") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000437 // ignore (this is a masking move)
Sean Callanan03549ee2010-04-08 00:48:21 +0000438 } else if (name.find("r0") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000439 // ignore (this is a pseudoinstruction)
Sean Callanan03549ee2010-04-08 00:48:21 +0000440 } else if (name.find("PS") != name.npos ||
Sean Callanan82436d12010-01-29 00:21:04 +0000441 name.find("PD") != name.npos) {
442 // ignore (this is a shuffling move)
Sean Callanan03549ee2010-04-08 00:48:21 +0000443 } else if (name.find("MOVS") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000444 // ignore (this is a string move)
Sean Callanan03549ee2010-04-08 00:48:21 +0000445 } else if (name.find("_F") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000446 // TODO handle _F moves to ST(0)
Sean Callanan03549ee2010-04-08 00:48:21 +0000447 } else if (name.find("a") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000448 // TODO handle moves to/from %ax
Sean Callanan03549ee2010-04-08 00:48:21 +0000449 } else if (name.find("CMOV") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000450 MOV("src2", "dst");
Sean Callanan03549ee2010-04-08 00:48:21 +0000451 } else if (name.find("PC") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000452 MOV("label", "reg")
Sean Callanan03549ee2010-04-08 00:48:21 +0000453 } else {
Sean Callanan82436d12010-01-29 00:21:04 +0000454 MOV("src", "dst");
455 }
456 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000457
Sean Callanan82436d12010-01-29 00:21:04 +0000458 if (name.find("JMP") != name.npos ||
459 name.find("J") == 0) {
460 if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
461 BRANCH("off");
Sean Callanan03549ee2010-04-08 00:48:21 +0000462 } else {
Sean Callanan82436d12010-01-29 00:21:04 +0000463 BRANCH("dst");
464 }
465 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000466
Sean Callanan82436d12010-01-29 00:21:04 +0000467 if (name.find("PUSH") != name.npos) {
Chris Lattner8ead2372010-09-08 22:13:08 +0000468 if (name.find("CS") != name.npos ||
469 name.find("DS") != name.npos ||
470 name.find("ES") != name.npos ||
471 name.find("FS") != name.npos ||
472 name.find("GS") != name.npos ||
473 name.find("SS") != name.npos) {
Sean Callanan03549ee2010-04-08 00:48:21 +0000474 instType.set("kInstructionTypePush");
Sean Callanan82436d12010-01-29 00:21:04 +0000475 // TODO add support for fixed operands
Sean Callanan03549ee2010-04-08 00:48:21 +0000476 } else if (name.find("F") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000477 // ignore (this pushes onto the FP stack)
Nico Weber337e8db2010-06-23 20:00:58 +0000478 } else if (name.find("A") != name.npos) {
479 // ignore (pushes all GP registoers onto the stack)
Sean Callanan03549ee2010-04-08 00:48:21 +0000480 } else if (name[name.length() - 1] == 'm') {
Sean Callanan82436d12010-01-29 00:21:04 +0000481 PUSH("src");
Sean Callanan03549ee2010-04-08 00:48:21 +0000482 } else if (name.find("i") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000483 PUSH("imm");
Sean Callanan03549ee2010-04-08 00:48:21 +0000484 } else {
Sean Callanan82436d12010-01-29 00:21:04 +0000485 PUSH("reg");
486 }
487 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000488
Sean Callanan82436d12010-01-29 00:21:04 +0000489 if (name.find("POP") != name.npos) {
490 if (name.find("POPCNT") != name.npos) {
491 // ignore (not a real pop)
Chris Lattner8ead2372010-09-08 22:13:08 +0000492 } else if (name.find("CS") != name.npos ||
493 name.find("DS") != name.npos ||
494 name.find("ES") != name.npos ||
495 name.find("FS") != name.npos ||
496 name.find("GS") != name.npos ||
497 name.find("SS") != name.npos) {
Sean Callanan03549ee2010-04-08 00:48:21 +0000498 instType.set("kInstructionTypePop");
Sean Callanan82436d12010-01-29 00:21:04 +0000499 // TODO add support for fixed operands
Sean Callanan03549ee2010-04-08 00:48:21 +0000500 } else if (name.find("F") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000501 // ignore (this pops from the FP stack)
Nico Weber337e8db2010-06-23 20:00:58 +0000502 } else if (name.find("A") != name.npos) {
503 // ignore (pushes all GP registoers onto the stack)
Sean Callanan03549ee2010-04-08 00:48:21 +0000504 } else if (name[name.length() - 1] == 'm') {
Sean Callanan82436d12010-01-29 00:21:04 +0000505 POP("dst");
Sean Callanan03549ee2010-04-08 00:48:21 +0000506 } else {
Sean Callanan82436d12010-01-29 00:21:04 +0000507 POP("reg");
508 }
509 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000510
Sean Callanan82436d12010-01-29 00:21:04 +0000511 if (name.find("CALL") != name.npos) {
512 if (name.find("ADJ") != name.npos) {
513 // ignore (not a call)
Sean Callanan03549ee2010-04-08 00:48:21 +0000514 } else if (name.find("SYSCALL") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000515 // ignore (doesn't go anywhere we know about)
Sean Callanan03549ee2010-04-08 00:48:21 +0000516 } else if (name.find("VMCALL") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000517 // ignore (rather different semantics than a regular call)
Sean Callanan03549ee2010-04-08 00:48:21 +0000518 } else if (name.find("FAR") != name.npos && name.find("i") != name.npos) {
Sean Callanan82436d12010-01-29 00:21:04 +0000519 CALL("off");
Sean Callanan03549ee2010-04-08 00:48:21 +0000520 } else {
Sean Callanan82436d12010-01-29 00:21:04 +0000521 CALL("dst");
522 }
523 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000524
Sean Callanan82436d12010-01-29 00:21:04 +0000525 if (name.find("RET") != name.npos) {
526 RETURN();
527 }
528}
529
530#undef MOV
531#undef BRANCH
532#undef PUSH
533#undef POP
534#undef CALL
535#undef RETURN
536
Sean Callanan03549ee2010-04-08 00:48:21 +0000537/////////////////////////////////////////////////////
538// Support functions for handling ARM instructions //
539/////////////////////////////////////////////////////
540
541#define SET(flag) { type->set(flag); return 0; }
542
543#define REG(str) if (name == str) SET("kOperandTypeRegister");
544#define IMM(str) if (name == str) SET("kOperandTypeImmediate");
545
546#define MISC(str, type) if (name == str) SET(type);
547
548/// ARMFlagFromOpName - Processes the name of a single ARM operand (which is
549/// actually its type) and translates it into an operand type
550///
551/// @arg type - The type object to set
552/// @arg name - The name of the operand
553static int ARMFlagFromOpName(LiteralConstantEmitter *type,
554 const std::string &name) {
555 REG("GPR");
Jim Grosbachd3431662010-07-30 02:41:01 +0000556 REG("rGPR");
Dale Johannesen44f9dfc2010-06-15 22:08:33 +0000557 REG("tcGPR");
Sean Callanan03549ee2010-04-08 00:48:21 +0000558 REG("cc_out");
559 REG("s_cc_out");
560 REG("tGPR");
561 REG("DPR");
Sean Callanan03549ee2010-04-08 00:48:21 +0000562 REG("DPR_VFP2");
563 REG("DPR_8");
Evan Cheng31cdcd42010-05-06 06:36:08 +0000564 REG("SPR");
565 REG("QPR");
566 REG("QQPR");
Evan Chengcd67c212010-05-14 02:13:41 +0000567 REG("QQQQPR");
Jim Grosbachc1526592010-10-05 20:35:57 +0000568
Sean Callanan03549ee2010-04-08 00:48:21 +0000569 IMM("i32imm");
Evan Cheng965b3c72011-01-13 07:58:56 +0000570 IMM("i32imm_hilo16");
Sean Callanan03549ee2010-04-08 00:48:21 +0000571 IMM("bf_inv_mask_imm");
Bruno Cardoso Lopes7f639c12011-01-18 20:45:56 +0000572 IMM("lsb_pos_imm");
573 IMM("width_imm");
Sean Callanan03549ee2010-04-08 00:48:21 +0000574 IMM("jtblock_operand");
575 IMM("nohash_imm");
Owen Andersonc3c7f5d2011-01-13 21:46:02 +0000576 IMM("p_imm");
577 IMM("c_imm");
Bruno Cardoso Lopes90d1dfe2011-02-14 13:09:44 +0000578 IMM("imod_op");
579 IMM("iflags_op");
Sean Callanan03549ee2010-04-08 00:48:21 +0000580 IMM("cpinst_operand");
Jim Grosbach7e72ec62010-10-13 21:00:04 +0000581 IMM("setend_op");
Sean Callanan03549ee2010-04-08 00:48:21 +0000582 IMM("cps_opt");
583 IMM("vfp_f64imm");
584 IMM("vfp_f32imm");
Johnny Chen8e8f1c12010-08-12 20:46:17 +0000585 IMM("memb_opt");
Sean Callanan03549ee2010-04-08 00:48:21 +0000586 IMM("msr_mask");
587 IMM("neg_zero");
588 IMM("imm0_31");
Jim Grosbach68a335e2010-10-15 17:15:16 +0000589 IMM("imm0_31_m1");
Bob Wilson6eae5202010-06-11 21:34:50 +0000590 IMM("nModImm");
Sean Callanan03549ee2010-04-08 00:48:21 +0000591 IMM("imm0_4095");
592 IMM("jt2block_operand");
593 IMM("t_imm_s4");
594 IMM("pclabel");
Jim Grosbachdc35e062010-12-01 19:47:31 +0000595 IMM("adrlabel");
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000596 IMM("t_adrlabel");
Owen Anderson6d375e52010-12-14 00:36:49 +0000597 IMM("t2adrlabel");
Bob Wilson481d7a92010-08-16 18:27:34 +0000598 IMM("shift_imm");
Owen Andersonfadb9512010-10-27 22:49:00 +0000599 IMM("neon_vcvt_imm32");
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000600 IMM("shr_imm8");
601 IMM("shr_imm16");
602 IMM("shr_imm32");
603 IMM("shr_imm64");
Owen Andersoneb4b63d2011-03-18 17:42:55 +0000604 IMM("t2ldrlabel");
Jim Grosbachc1526592010-10-05 20:35:57 +0000605
Sean Callanan03549ee2010-04-08 00:48:21 +0000606 MISC("brtarget", "kOperandTypeARMBranchTarget"); // ?
Owen Anderson578074b2010-12-13 19:31:11 +0000607 MISC("uncondbrtarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbache119da12010-12-10 18:21:33 +0000608 MISC("t_brtarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbach78485ad2010-12-10 17:13:40 +0000609 MISC("t_bcctarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbach529c7e82010-12-09 19:01:46 +0000610 MISC("t_cbtarget", "kOperandTypeARMBranchTarget"); // ?
Jim Grosbachc33f28b2010-11-11 20:05:40 +0000611 MISC("bltarget", "kOperandTypeARMBranchTarget"); // ?
Jason W Kimd2e2f562011-02-04 19:47:15 +0000612
613 MISC("br_target", "kOperandTypeARMBranchTarget"); // ?
614 MISC("bl_target", "kOperandTypeARMBranchTarget"); // ?
615
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000616 MISC("t_bltarget", "kOperandTypeARMBranchTarget"); // ?
Bill Wendling3392bfc2010-12-09 00:39:08 +0000617 MISC("t_blxtarget", "kOperandTypeARMBranchTarget"); // ?
Sean Callanan03549ee2010-04-08 00:48:21 +0000618 MISC("so_reg", "kOperandTypeARMSoReg"); // R, R, I
Evan Cheng59bbc542010-10-27 23:41:30 +0000619 MISC("shift_so_reg", "kOperandTypeARMSoReg"); // R, R, I
Sean Callanan03549ee2010-04-08 00:48:21 +0000620 MISC("t2_so_reg", "kOperandTypeThumb2SoReg"); // R, I
621 MISC("so_imm", "kOperandTypeARMSoImm"); // I
Jim Grosbach1e7db682010-10-13 19:56:10 +0000622 MISC("rot_imm", "kOperandTypeARMRotImm"); // I
Sean Callanan03549ee2010-04-08 00:48:21 +0000623 MISC("t2_so_imm", "kOperandTypeThumb2SoImm"); // I
624 MISC("so_imm2part", "kOperandTypeARMSoImm2Part"); // I
625 MISC("pred", "kOperandTypeARMPredicate"); // I, R
626 MISC("it_pred", "kOperandTypeARMPredicate"); // I
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000627 MISC("addrmode_imm12", "kOperandTypeAddrModeImm12"); // R, I
628 MISC("ldst_so_reg", "kOperandTypeLdStSOReg"); // R, R, I
Sean Callanan03549ee2010-04-08 00:48:21 +0000629 MISC("addrmode2", "kOperandTypeARMAddrMode2"); // R, R, I
630 MISC("am2offset", "kOperandTypeARMAddrMode2Offset"); // R, I
631 MISC("addrmode3", "kOperandTypeARMAddrMode3"); // R, R, I
632 MISC("am3offset", "kOperandTypeARMAddrMode3Offset"); // R, I
Jim Grosbachc6af2b42010-11-03 01:01:43 +0000633 MISC("ldstm_mode", "kOperandTypeARMLdStmMode"); // I
Sean Callanan03549ee2010-04-08 00:48:21 +0000634 MISC("addrmode5", "kOperandTypeARMAddrMode5"); // R, I
635 MISC("addrmode6", "kOperandTypeARMAddrMode6"); // R, R, I, I
636 MISC("am6offset", "kOperandTypeARMAddrMode6Offset"); // R, I, I
Bob Wilson318ce7c2010-11-30 00:00:42 +0000637 MISC("addrmode6dup", "kOperandTypeARMAddrMode6"); // R, R, I, I
Mon P Wang92ff16b2011-05-09 17:47:27 +0000638 MISC("addrmode6oneL32", "kOperandTypeARMAddrMode6"); // R, R, I, I
Sean Callanan03549ee2010-04-08 00:48:21 +0000639 MISC("addrmodepc", "kOperandTypeARMAddrModePC"); // R, I
Bruno Cardoso Lopesf170f8b2011-03-24 21:04:58 +0000640 MISC("addrmode7", "kOperandTypeARMAddrMode7"); // R
Sean Callanan03549ee2010-04-08 00:48:21 +0000641 MISC("reglist", "kOperandTypeARMRegisterList"); // I, R, ...
Bill Wendling9898ac92010-11-17 04:32:08 +0000642 MISC("dpr_reglist", "kOperandTypeARMDPRRegisterList"); // I, R, ...
643 MISC("spr_reglist", "kOperandTypeARMSPRRegisterList"); // I, R, ...
Sean Callanan03549ee2010-04-08 00:48:21 +0000644 MISC("it_mask", "kOperandTypeThumbITMask"); // I
Bruno Cardoso Lopesf170f8b2011-03-24 21:04:58 +0000645 MISC("t2addrmode_reg", "kOperandTypeThumb2AddrModeReg"); // R
Sean Callanan03549ee2010-04-08 00:48:21 +0000646 MISC("t2addrmode_imm8", "kOperandTypeThumb2AddrModeImm8"); // R, I
647 MISC("t2am_imm8_offset", "kOperandTypeThumb2AddrModeImm8Offset");//I
648 MISC("t2addrmode_imm12", "kOperandTypeThumb2AddrModeImm12"); // R, I
649 MISC("t2addrmode_so_reg", "kOperandTypeThumb2AddrModeSoReg"); // R, R, I
650 MISC("t2addrmode_imm8s4", "kOperandTypeThumb2AddrModeImm8s4"); // R, I
Jim Grosbachc1526592010-10-05 20:35:57 +0000651 MISC("t2am_imm8s4_offset", "kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan03549ee2010-04-08 00:48:21 +0000652 // R, I
653 MISC("tb_addrmode", "kOperandTypeARMTBAddrMode"); // I
Bill Wendling092a7bd2010-12-14 03:36:38 +0000654 MISC("t_addrmode_rrs1", "kOperandTypeThumbAddrModeRegS"); // R, R
655 MISC("t_addrmode_rrs2", "kOperandTypeThumbAddrModeRegS"); // R, R
656 MISC("t_addrmode_rrs4", "kOperandTypeThumbAddrModeRegS"); // R, R
657 MISC("t_addrmode_is1", "kOperandTypeThumbAddrModeImmS"); // R, I
658 MISC("t_addrmode_is2", "kOperandTypeThumbAddrModeImmS"); // R, I
659 MISC("t_addrmode_is4", "kOperandTypeThumbAddrModeImmS"); // R, I
Sean Callanan03549ee2010-04-08 00:48:21 +0000660 MISC("t_addrmode_rr", "kOperandTypeThumbAddrModeRR"); // R, R
661 MISC("t_addrmode_sp", "kOperandTypeThumbAddrModeSP"); // R, I
Bill Wendling8a6449c2010-12-08 01:57:09 +0000662 MISC("t_addrmode_pc", "kOperandTypeThumbAddrModePC"); // R, I
Jim Grosbachc1526592010-10-05 20:35:57 +0000663
Sean Callanan03549ee2010-04-08 00:48:21 +0000664 return 1;
665}
666
667#undef SOREG
668#undef SOIMM
669#undef PRED
670#undef REG
671#undef MEM
672#undef LEA
673#undef IMM
674#undef PCR
675
676#undef SET
677
678/// ARMPopulateOperands - Handles all the operands in an ARM instruction, adding
679/// the appropriate flags to their descriptors
680///
681/// @operandFlags - A reference the array of operand flag objects
682/// @inst - The instruction to use as a source of information
683static void ARMPopulateOperands(
Sean Callanan814e69b2010-04-13 21:21:57 +0000684 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
Sean Callanan03549ee2010-04-08 00:48:21 +0000685 const CodeGenInstruction &inst) {
686 if (!inst.TheDef->isSubClassOf("InstARM") &&
687 !inst.TheDef->isSubClassOf("InstThumb"))
688 return;
Jim Grosbachc1526592010-10-05 20:35:57 +0000689
Sean Callanan03549ee2010-04-08 00:48:21 +0000690 unsigned int index;
Chris Lattnerd8adec72010-11-01 04:03:32 +0000691 unsigned int numOperands = inst.Operands.size();
Jim Grosbachc1526592010-10-05 20:35:57 +0000692
Sean Callanan814e69b2010-04-13 21:21:57 +0000693 if (numOperands > EDIS_MAX_OPERANDS) {
Jim Grosbachc1526592010-10-05 20:35:57 +0000694 errs() << "numOperands == " << numOperands << " > " <<
Sean Callanan814e69b2010-04-13 21:21:57 +0000695 EDIS_MAX_OPERANDS << '\n';
Sean Callanan03549ee2010-04-08 00:48:21 +0000696 llvm_unreachable("Too many operands");
697 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000698
Sean Callanan03549ee2010-04-08 00:48:21 +0000699 for (index = 0; index < numOperands; ++index) {
Chris Lattnerd8adec72010-11-01 04:03:32 +0000700 const CGIOperandList::OperandInfo &operandInfo = inst.Operands[index];
Sean Callanan03549ee2010-04-08 00:48:21 +0000701 Record &rec = *operandInfo.Rec;
Jim Grosbachc1526592010-10-05 20:35:57 +0000702
Sean Callanan03549ee2010-04-08 00:48:21 +0000703 if (ARMFlagFromOpName(operandTypes[index], rec.getName())) {
Benjamin Kramer634d9ff2010-04-08 09:42:29 +0000704 errs() << "Operand type: " << rec.getName() << '\n';
705 errs() << "Operand name: " << operandInfo.Name << '\n';
Cameron Esfahania48349f2010-10-12 00:21:05 +0000706 errs() << "Instruction name: " << inst.TheDef->getName() << '\n';
Sean Callanan03549ee2010-04-08 00:48:21 +0000707 llvm_unreachable("Unhandled type");
708 }
709 }
710}
711
712#define BRANCH(target) { \
713 instType.set("kInstructionTypeBranch"); \
714 DECORATE1(target, "kOperandFlagTarget"); \
715}
716
717/// ARMExtractSemantics - Performs various checks on the name of an ARM
Jim Grosbachc1526592010-10-05 20:35:57 +0000718/// instruction to determine what sort of an instruction it is and then adds
Sean Callanan03549ee2010-04-08 00:48:21 +0000719/// the appropriate flags to the instruction and its operands
720///
721/// @arg instType - A reference to the type for the instruction as a whole
722/// @arg operandTypes - A reference to the array of operand type object pointers
723/// @arg operandFlags - A reference to the array of operand flag object pointers
724/// @arg inst - A reference to the original instruction
725static void ARMExtractSemantics(
726 LiteralConstantEmitter &instType,
Sean Callanan814e69b2010-04-13 21:21:57 +0000727 LiteralConstantEmitter *(&operandTypes)[EDIS_MAX_OPERANDS],
728 FlagsConstantEmitter *(&operandFlags)[EDIS_MAX_OPERANDS],
Sean Callanan03549ee2010-04-08 00:48:21 +0000729 const CodeGenInstruction &inst) {
730 const std::string &name = inst.TheDef->getName();
Jim Grosbachc1526592010-10-05 20:35:57 +0000731
Sean Callanan03549ee2010-04-08 00:48:21 +0000732 if (name == "tBcc" ||
733 name == "tB" ||
734 name == "t2Bcc" ||
735 name == "Bcc" ||
736 name == "tCBZ" ||
737 name == "tCBNZ") {
738 BRANCH("target");
739 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000740
Sean Callanan03549ee2010-04-08 00:48:21 +0000741 if (name == "tBLr9" ||
742 name == "BLr9_pred" ||
743 name == "tBLXi_r9" ||
744 name == "tBLXr_r9" ||
745 name == "BLXr9" ||
746 name == "t2BXJ" ||
747 name == "BXJ") {
748 BRANCH("func");
Jim Grosbachc1526592010-10-05 20:35:57 +0000749
Sean Callanan03549ee2010-04-08 00:48:21 +0000750 unsigned opIndex;
Chris Lattnerd8adec72010-11-01 04:03:32 +0000751 opIndex = inst.Operands.getOperandNamed("func");
Sean Callanan03549ee2010-04-08 00:48:21 +0000752 if (operandTypes[opIndex]->is("kOperandTypeImmediate"))
753 operandTypes[opIndex]->set("kOperandTypeARMBranchTarget");
754 }
755}
756
757#undef BRANCH
Sean Callanan82436d12010-01-29 00:21:04 +0000758
Jim Grosbachc1526592010-10-05 20:35:57 +0000759/// populateInstInfo - Fills an array of InstInfos with information about each
Sean Callanan82436d12010-01-29 00:21:04 +0000760/// instruction in a target
761///
762/// @arg infoArray - The array of InstInfo objects to populate
763/// @arg target - The CodeGenTarget to use as a source of instructions
764static void populateInstInfo(CompoundConstantEmitter &infoArray,
765 CodeGenTarget &target) {
Chris Lattner918be522010-03-19 00:34:35 +0000766 const std::vector<const CodeGenInstruction*> &numberedInstructions =
767 target.getInstructionsByEnumValue();
Jim Grosbachc1526592010-10-05 20:35:57 +0000768
Sean Callanan82436d12010-01-29 00:21:04 +0000769 unsigned int index;
770 unsigned int numInstructions = numberedInstructions.size();
Jim Grosbachc1526592010-10-05 20:35:57 +0000771
Sean Callanan82436d12010-01-29 00:21:04 +0000772 for (index = 0; index < numInstructions; ++index) {
773 const CodeGenInstruction& inst = *numberedInstructions[index];
Jim Grosbachc1526592010-10-05 20:35:57 +0000774
Sean Callanan82436d12010-01-29 00:21:04 +0000775 CompoundConstantEmitter *infoStruct = new CompoundConstantEmitter;
776 infoArray.addEntry(infoStruct);
Jim Grosbachc1526592010-10-05 20:35:57 +0000777
Sean Callanan03549ee2010-04-08 00:48:21 +0000778 LiteralConstantEmitter *instType = new LiteralConstantEmitter;
779 infoStruct->addEntry(instType);
Jim Grosbachc1526592010-10-05 20:35:57 +0000780
781 LiteralConstantEmitter *numOperandsEmitter =
Chris Lattnerd8adec72010-11-01 04:03:32 +0000782 new LiteralConstantEmitter(inst.Operands.size());
Sean Callanan82436d12010-01-29 00:21:04 +0000783 infoStruct->addEntry(numOperandsEmitter);
Jim Grosbachc1526592010-10-05 20:35:57 +0000784
Sean Callanan03549ee2010-04-08 00:48:21 +0000785 CompoundConstantEmitter *operandTypeArray = new CompoundConstantEmitter;
786 infoStruct->addEntry(operandTypeArray);
Jim Grosbachc1526592010-10-05 20:35:57 +0000787
Sean Callanan814e69b2010-04-13 21:21:57 +0000788 LiteralConstantEmitter *operandTypes[EDIS_MAX_OPERANDS];
Jim Grosbachc1526592010-10-05 20:35:57 +0000789
Sean Callanan82436d12010-01-29 00:21:04 +0000790 CompoundConstantEmitter *operandFlagArray = new CompoundConstantEmitter;
791 infoStruct->addEntry(operandFlagArray);
Jim Grosbachc1526592010-10-05 20:35:57 +0000792
Sean Callanan814e69b2010-04-13 21:21:57 +0000793 FlagsConstantEmitter *operandFlags[EDIS_MAX_OPERANDS];
Jim Grosbachc1526592010-10-05 20:35:57 +0000794
795 for (unsigned operandIndex = 0;
796 operandIndex < EDIS_MAX_OPERANDS;
Sean Callanan03549ee2010-04-08 00:48:21 +0000797 ++operandIndex) {
798 operandTypes[operandIndex] = new LiteralConstantEmitter;
799 operandTypeArray->addEntry(operandTypes[operandIndex]);
Jim Grosbachc1526592010-10-05 20:35:57 +0000800
Sean Callanan82436d12010-01-29 00:21:04 +0000801 operandFlags[operandIndex] = new FlagsConstantEmitter;
802 operandFlagArray->addEntry(operandFlags[operandIndex]);
803 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000804
Sean Callanan82436d12010-01-29 00:21:04 +0000805 unsigned numSyntaxes = 0;
Jim Grosbachc1526592010-10-05 20:35:57 +0000806
Sean Callanan82436d12010-01-29 00:21:04 +0000807 if (target.getName() == "X86") {
Sean Callanan03549ee2010-04-08 00:48:21 +0000808 X86PopulateOperands(operandTypes, inst);
809 X86ExtractSemantics(*instType, operandFlags, inst);
Sean Callanan82436d12010-01-29 00:21:04 +0000810 numSyntaxes = 2;
811 }
Sean Callanan03549ee2010-04-08 00:48:21 +0000812 else if (target.getName() == "ARM") {
813 ARMPopulateOperands(operandTypes, inst);
814 ARMExtractSemantics(*instType, operandTypes, operandFlags, inst);
815 numSyntaxes = 1;
816 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000817
818 CompoundConstantEmitter *operandOrderArray = new CompoundConstantEmitter;
819
Sean Callanan82436d12010-01-29 00:21:04 +0000820 infoStruct->addEntry(operandOrderArray);
Jim Grosbachc1526592010-10-05 20:35:57 +0000821
822 for (unsigned syntaxIndex = 0;
823 syntaxIndex < EDIS_MAX_SYNTAXES;
Sean Callanan814e69b2010-04-13 21:21:57 +0000824 ++syntaxIndex) {
Jim Grosbachc1526592010-10-05 20:35:57 +0000825 CompoundConstantEmitter *operandOrder =
Sean Callanan814e69b2010-04-13 21:21:57 +0000826 new CompoundConstantEmitter(EDIS_MAX_OPERANDS);
Jim Grosbachc1526592010-10-05 20:35:57 +0000827
Sean Callanan82436d12010-01-29 00:21:04 +0000828 operandOrderArray->addEntry(operandOrder);
Jim Grosbachc1526592010-10-05 20:35:57 +0000829
Sean Callanan82436d12010-01-29 00:21:04 +0000830 if (syntaxIndex < numSyntaxes) {
Sean Callanane9959a52010-02-10 02:47:08 +0000831 populateOperandOrder(operandOrder, inst, syntaxIndex);
Sean Callanan82436d12010-01-29 00:21:04 +0000832 }
Sean Callanan82436d12010-01-29 00:21:04 +0000833 }
Jim Grosbachc1526592010-10-05 20:35:57 +0000834
Sean Callanan03549ee2010-04-08 00:48:21 +0000835 infoStruct = NULL;
Sean Callanan82436d12010-01-29 00:21:04 +0000836 }
837}
838
Sean Callanan814e69b2010-04-13 21:21:57 +0000839static void emitCommonEnums(raw_ostream &o, unsigned int &i) {
Sean Callanan03549ee2010-04-08 00:48:21 +0000840 EnumEmitter operandTypes("OperandTypes");
841 operandTypes.addEntry("kOperandTypeNone");
842 operandTypes.addEntry("kOperandTypeImmediate");
843 operandTypes.addEntry("kOperandTypeRegister");
844 operandTypes.addEntry("kOperandTypeX86Memory");
845 operandTypes.addEntry("kOperandTypeX86EffectiveAddress");
846 operandTypes.addEntry("kOperandTypeX86PCRelative");
847 operandTypes.addEntry("kOperandTypeARMBranchTarget");
848 operandTypes.addEntry("kOperandTypeARMSoReg");
849 operandTypes.addEntry("kOperandTypeARMSoImm");
Jim Grosbach1e7db682010-10-13 19:56:10 +0000850 operandTypes.addEntry("kOperandTypeARMRotImm");
Sean Callanan03549ee2010-04-08 00:48:21 +0000851 operandTypes.addEntry("kOperandTypeARMSoImm2Part");
852 operandTypes.addEntry("kOperandTypeARMPredicate");
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000853 operandTypes.addEntry("kOperandTypeAddrModeImm12");
854 operandTypes.addEntry("kOperandTypeLdStSOReg");
Sean Callanan03549ee2010-04-08 00:48:21 +0000855 operandTypes.addEntry("kOperandTypeARMAddrMode2");
856 operandTypes.addEntry("kOperandTypeARMAddrMode2Offset");
857 operandTypes.addEntry("kOperandTypeARMAddrMode3");
858 operandTypes.addEntry("kOperandTypeARMAddrMode3Offset");
Jim Grosbachc6af2b42010-11-03 01:01:43 +0000859 operandTypes.addEntry("kOperandTypeARMLdStmMode");
Sean Callanan03549ee2010-04-08 00:48:21 +0000860 operandTypes.addEntry("kOperandTypeARMAddrMode5");
861 operandTypes.addEntry("kOperandTypeARMAddrMode6");
862 operandTypes.addEntry("kOperandTypeARMAddrMode6Offset");
Bruno Cardoso Lopesf170f8b2011-03-24 21:04:58 +0000863 operandTypes.addEntry("kOperandTypeARMAddrMode7");
Sean Callanan03549ee2010-04-08 00:48:21 +0000864 operandTypes.addEntry("kOperandTypeARMAddrModePC");
865 operandTypes.addEntry("kOperandTypeARMRegisterList");
Bill Wendling9898ac92010-11-17 04:32:08 +0000866 operandTypes.addEntry("kOperandTypeARMDPRRegisterList");
867 operandTypes.addEntry("kOperandTypeARMSPRRegisterList");
Sean Callanan03549ee2010-04-08 00:48:21 +0000868 operandTypes.addEntry("kOperandTypeARMTBAddrMode");
869 operandTypes.addEntry("kOperandTypeThumbITMask");
Bill Wendling092a7bd2010-12-14 03:36:38 +0000870 operandTypes.addEntry("kOperandTypeThumbAddrModeRegS");
871 operandTypes.addEntry("kOperandTypeThumbAddrModeImmS");
Sean Callanan03549ee2010-04-08 00:48:21 +0000872 operandTypes.addEntry("kOperandTypeThumbAddrModeRR");
873 operandTypes.addEntry("kOperandTypeThumbAddrModeSP");
Bill Wendling8a6449c2010-12-08 01:57:09 +0000874 operandTypes.addEntry("kOperandTypeThumbAddrModePC");
Bruno Cardoso Lopesf170f8b2011-03-24 21:04:58 +0000875 operandTypes.addEntry("kOperandTypeThumb2AddrModeReg");
Sean Callanan03549ee2010-04-08 00:48:21 +0000876 operandTypes.addEntry("kOperandTypeThumb2SoReg");
877 operandTypes.addEntry("kOperandTypeThumb2SoImm");
878 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8");
879 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8Offset");
880 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm12");
881 operandTypes.addEntry("kOperandTypeThumb2AddrModeSoReg");
882 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4");
883 operandTypes.addEntry("kOperandTypeThumb2AddrModeImm8s4Offset");
Sean Callanan03549ee2010-04-08 00:48:21 +0000884 operandTypes.emit(o, i);
Jim Grosbachc1526592010-10-05 20:35:57 +0000885
Sean Callanan03549ee2010-04-08 00:48:21 +0000886 o << "\n";
Jim Grosbachc1526592010-10-05 20:35:57 +0000887
Sean Callanan82436d12010-01-29 00:21:04 +0000888 EnumEmitter operandFlags("OperandFlags");
Sean Callanan82436d12010-01-29 00:21:04 +0000889 operandFlags.addEntry("kOperandFlagSource");
890 operandFlags.addEntry("kOperandFlagTarget");
891 operandFlags.emitAsFlags(o, i);
Jim Grosbachc1526592010-10-05 20:35:57 +0000892
Sean Callanan82436d12010-01-29 00:21:04 +0000893 o << "\n";
Jim Grosbachc1526592010-10-05 20:35:57 +0000894
Sean Callanan03549ee2010-04-08 00:48:21 +0000895 EnumEmitter instructionTypes("InstructionTypes");
896 instructionTypes.addEntry("kInstructionTypeNone");
897 instructionTypes.addEntry("kInstructionTypeMove");
898 instructionTypes.addEntry("kInstructionTypeBranch");
899 instructionTypes.addEntry("kInstructionTypePush");
900 instructionTypes.addEntry("kInstructionTypePop");
901 instructionTypes.addEntry("kInstructionTypeCall");
902 instructionTypes.addEntry("kInstructionTypeReturn");
903 instructionTypes.emit(o, i);
Jim Grosbachc1526592010-10-05 20:35:57 +0000904
Sean Callanan82436d12010-01-29 00:21:04 +0000905 o << "\n";
Sean Callanan814e69b2010-04-13 21:21:57 +0000906}
907
908void EDEmitter::run(raw_ostream &o) {
909 unsigned int i = 0;
Jim Grosbachc1526592010-10-05 20:35:57 +0000910
Sean Callanan814e69b2010-04-13 21:21:57 +0000911 CompoundConstantEmitter infoArray;
Chris Lattner77d369c2010-12-13 00:23:57 +0000912 CodeGenTarget target(Records);
Jim Grosbachc1526592010-10-05 20:35:57 +0000913
Sean Callanan814e69b2010-04-13 21:21:57 +0000914 populateInstInfo(infoArray, target);
Jim Grosbachc1526592010-10-05 20:35:57 +0000915
Sean Callanan814e69b2010-04-13 21:21:57 +0000916 emitCommonEnums(o, i);
Jim Grosbachc1526592010-10-05 20:35:57 +0000917
Sean Callanan814e69b2010-04-13 21:21:57 +0000918 o << "namespace {\n";
Jim Grosbachc1526592010-10-05 20:35:57 +0000919
Sean Callanan814e69b2010-04-13 21:21:57 +0000920 o << "llvm::EDInstInfo instInfo" << target.getName().c_str() << "[] = ";
921 infoArray.emit(o, i);
922 o << ";" << "\n";
Jim Grosbachc1526592010-10-05 20:35:57 +0000923
Sean Callanan814e69b2010-04-13 21:21:57 +0000924 o << "}\n";
925}