blob: b7dea1046ba66d379021e9d04d2510d5c9ff517c [file] [log] [blame]
Chris Lattnerf5bd1b72003-10-05 19:27:59 +00001//===- CodeEmitterGen.cpp - Code Emitter Generator ------------------------===//
Misha Brukman650ba8e2005-04-22 00:00:37 +00002//
John Criswelld3032032003-10-20 20:20:30 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner8adcd9f2007-12-29 20:37:13 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman650ba8e2005-04-22 00:00:37 +00007//
John Criswelld3032032003-10-20 20:20:30 +00008//===----------------------------------------------------------------------===//
Chris Lattnerf5bd1b72003-10-05 19:27:59 +00009//
Misha Brukman8e5492e2004-08-04 22:07:54 +000010// CodeEmitterGen uses the descriptions of instructions and their fields to
11// construct an automated code emitter: a function that, given a MachineInstr,
12// returns the (currently, 32-bit unsigned) value of the instruction.
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000013//
14//===----------------------------------------------------------------------===//
15
Misha Brukman920ae952004-08-09 19:10:43 +000016#include "CodeGenTarget.h"
Jim Laskeya44f6262006-07-13 21:02:53 +000017#include "llvm/ADT/StringExtras.h"
Jim Grosbach0b7fda22010-11-02 17:35:25 +000018#include "llvm/Support/CommandLine.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000019#include "llvm/Support/Debug.h"
Chandler Carruth91d19d82012-12-04 10:37:14 +000020#include "llvm/TableGen/Record.h"
Jakob Stoklund Olesene6aed132012-06-11 15:37:55 +000021#include "llvm/TableGen/TableGenBackend.h"
Bill Wendling53438362010-12-13 01:05:54 +000022#include <map>
Jakob Stoklund Olesene6aed132012-06-11 15:37:55 +000023#include <string>
24#include <vector>
Chris Lattner68478662004-08-01 03:55:39 +000025using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000026
Jim Grosbache4e6bf42010-11-03 23:38:14 +000027// FIXME: Somewhat hackish to use a command line option for this. There should
28// be a CodeEmitter class in the Target.td that controls this sort of thing
29// instead.
Jim Grosbach0b7fda22010-11-02 17:35:25 +000030static cl::opt<bool>
Jim Grosbache4e6bf42010-11-03 23:38:14 +000031MCEmitter("mc-emitter",
Jim Grosbach0b7fda22010-11-02 17:35:25 +000032 cl::desc("Generate CodeEmitter for use with the MC library."),
33 cl::init(false));
34
Jakob Stoklund Olesene6aed132012-06-11 15:37:55 +000035namespace {
36
37class CodeEmitterGen {
38 RecordKeeper &Records;
39public:
40 CodeEmitterGen(RecordKeeper &R) : Records(R) {}
41
42 void run(raw_ostream &o);
43private:
44 void emitMachineOpEmitter(raw_ostream &o, const std::string &Namespace);
45 void emitGetValueBit(raw_ostream &o, const std::string &Namespace);
Jakob Stoklund Olesene6aed132012-06-11 15:37:55 +000046 int getVariableBit(const std::string &VarName, BitsInit *BI, int bit);
47 std::string getInstructionCase(Record *R, CodeGenTarget &Target);
48 void AddCodeToMergeInOperand(Record *R, BitsInit *BI,
49 const std::string &VarName,
50 unsigned &NumberedOp,
51 std::string &Case, CodeGenTarget &Target);
52
53};
54
Jim Laskey10d4b042006-07-13 22:17:08 +000055// If the VarBitInit at position 'bit' matches the specified variable then
56// return the variable bit position. Otherwise return -1.
Dan Gohmanc87c16b2009-12-15 20:21:44 +000057int CodeEmitterGen::getVariableBit(const std::string &VarName,
David Greeneaf8ee2c2011-07-29 22:43:06 +000058 BitsInit *BI, int bit) {
Sean Silvafb509ed2012-10-10 20:24:43 +000059 if (VarBitInit *VBI = dyn_cast<VarBitInit>(BI->getBit(bit))) {
60 if (VarInit *VI = dyn_cast<VarInit>(VBI->getBitVar()))
Chris Lattner42c4ac42010-11-15 06:42:13 +000061 if (VI->getName() == VarName)
62 return VBI->getBitNum();
Sean Silvafb509ed2012-10-10 20:24:43 +000063 } else if (VarInit *VI = dyn_cast<VarInit>(BI->getBit(bit))) {
Owen Anderson715973f2011-04-28 17:51:45 +000064 if (VI->getName() == VarName)
65 return 0;
66 }
Jim Grosbachdaab6602010-10-07 16:56:28 +000067
Jim Laskeya44f6262006-07-13 21:02:53 +000068 return -1;
Jim Grosbachdaab6602010-10-07 16:56:28 +000069}
Jim Laskeya44f6262006-07-13 21:02:53 +000070
Chris Lattnerc19d5102010-11-15 06:59:17 +000071void CodeEmitterGen::
David Greeneaf8ee2c2011-07-29 22:43:06 +000072AddCodeToMergeInOperand(Record *R, BitsInit *BI, const std::string &VarName,
Eric Christopher71520a82011-07-11 23:06:52 +000073 unsigned &NumberedOp,
Chris Lattnerc19d5102010-11-15 06:59:17 +000074 std::string &Case, CodeGenTarget &Target) {
Chris Lattnerc19d5102010-11-15 06:59:17 +000075 CodeGenInstruction &CGI = Target.getInstruction(R);
76
Chris Lattner578c7652010-11-15 07:09:28 +000077 // Determine if VarName actually contributes to the Inst encoding.
78 int bit = BI->getNumBits()-1;
79
80 // Scan for a bit that this contributed to.
81 for (; bit >= 0; ) {
82 if (getVariableBit(VarName, BI, bit) != -1)
83 break;
84
85 --bit;
86 }
87
88 // If we found no bits, ignore this value, otherwise emit the call to get the
89 // operand encoding.
90 if (bit < 0) return;
91
92 // If the operand matches by name, reference according to that
93 // operand number. Non-matching operands are assumed to be in
94 // order.
95 unsigned OpIdx;
96 if (CGI.Operands.hasOperandNamed(VarName, OpIdx)) {
97 // Get the machine operand number for the indicated operand.
98 OpIdx = CGI.Operands[OpIdx].MIOperandNo;
99 assert(!CGI.Operands.isFlatOperandNotEmitted(OpIdx) &&
100 "Explicitly used operand also marked as not emitted!");
101 } else {
Evandro Menezes567698a2012-11-09 20:29:37 +0000102 unsigned NumberOps = CGI.Operands.size();
Chris Lattner578c7652010-11-15 07:09:28 +0000103 /// If this operand is not supposed to be emitted by the
104 /// generated emitter, skip it.
Evandro Menezes567698a2012-11-09 20:29:37 +0000105 while (NumberedOp < NumberOps &&
106 CGI.Operands.isFlatOperandNotEmitted(NumberedOp))
Chris Lattner578c7652010-11-15 07:09:28 +0000107 ++NumberedOp;
Evandro Menezes03789a92012-11-09 21:27:03 +0000108
Chris Lattner578c7652010-11-15 07:09:28 +0000109 OpIdx = NumberedOp++;
110 }
111
112 std::pair<unsigned, unsigned> SO = CGI.Operands.getSubOperandNumber(OpIdx);
113 std::string &EncoderMethodName = CGI.Operands[SO.first].EncoderMethodName;
114
115 // If the source operand has a custom encoder, use it. This will
116 // get the encoding for all of the suboperands.
117 if (!EncoderMethodName.empty()) {
118 // A custom encoder has all of the information for the
119 // sub-operands, if there are more than one, so only
120 // query the encoder once per source operand.
121 if (SO.second == 0) {
122 Case += " // op: " + VarName + "\n" +
123 " op = " + EncoderMethodName + "(MI, " + utostr(OpIdx);
124 if (MCEmitter)
125 Case += ", Fixups";
126 Case += ");\n";
127 }
128 } else {
129 Case += " // op: " + VarName + "\n" +
130 " op = getMachineOpValue(MI, MI.getOperand(" + utostr(OpIdx) + ")";
131 if (MCEmitter)
132 Case += ", Fixups";
133 Case += ");\n";
134 }
135
136 for (; bit >= 0; ) {
Chris Lattnerc19d5102010-11-15 06:59:17 +0000137 int varBit = getVariableBit(VarName, BI, bit);
138
139 // If this bit isn't from a variable, skip it.
140 if (varBit == -1) {
141 --bit;
142 continue;
143 }
144
Bob Wilsonf9bab3a2011-01-27 23:08:52 +0000145 // Figure out the consecutive range of bits covered by this operand, in
Chris Lattnerc19d5102010-11-15 06:59:17 +0000146 // order to generate better encoding code.
147 int beginInstBit = bit;
148 int beginVarBit = varBit;
149 int N = 1;
150 for (--bit; bit >= 0;) {
151 varBit = getVariableBit(VarName, BI, bit);
152 if (varBit == -1 || varBit != (beginVarBit - N)) break;
153 ++N;
154 --bit;
155 }
Chris Lattner578c7652010-11-15 07:09:28 +0000156
NAKAMURA Takumic72fdf42012-03-09 14:52:44 +0000157 uint64_t opMask = ~(uint64_t)0 >> (64-N);
Chris Lattnerc19d5102010-11-15 06:59:17 +0000158 int opShift = beginVarBit - N + 1;
159 opMask <<= opShift;
160 opShift = beginInstBit - beginVarBit;
161
162 if (opShift > 0) {
Owen Andersond845d9d2012-01-24 18:37:29 +0000163 Case += " Value |= (op & UINT64_C(" + utostr(opMask) + ")) << " +
Chris Lattnerc19d5102010-11-15 06:59:17 +0000164 itostr(opShift) + ";\n";
165 } else if (opShift < 0) {
Owen Andersond845d9d2012-01-24 18:37:29 +0000166 Case += " Value |= (op & UINT64_C(" + utostr(opMask) + ")) >> " +
Chris Lattnerc19d5102010-11-15 06:59:17 +0000167 itostr(-opShift) + ";\n";
168 } else {
Owen Andersond845d9d2012-01-24 18:37:29 +0000169 Case += " Value |= op & UINT64_C(" + utostr(opMask) + ");\n";
Chris Lattnerc19d5102010-11-15 06:59:17 +0000170 }
171 }
172}
173
174
175std::string CodeEmitterGen::getInstructionCase(Record *R,
176 CodeGenTarget &Target) {
177 std::string Case;
178
David Greeneaf8ee2c2011-07-29 22:43:06 +0000179 BitsInit *BI = R->getValueAsBitsInit("Inst");
Chris Lattnerc19d5102010-11-15 06:59:17 +0000180 const std::vector<RecordVal> &Vals = R->getValues();
181 unsigned NumberedOp = 0;
182
183 // Loop over all of the fields in the instruction, determining which are the
184 // operands to the instruction.
185 for (unsigned i = 0, e = Vals.size(); i != e; ++i) {
186 // Ignore fixed fields in the record, we're looking for values like:
187 // bits<5> RST = { ?, ?, ?, ?, ? };
188 if (Vals[i].getPrefix() || Vals[i].getValue()->isComplete())
189 continue;
190
191 AddCodeToMergeInOperand(R, BI, Vals[i].getName(), NumberedOp, Case, Target);
192 }
193
194 std::string PostEmitter = R->getValueAsString("PostEncoderMethod");
195 if (!PostEmitter.empty())
196 Case += " Value = " + PostEmitter + "(MI, Value);\n";
197
198 return Case;
199}
200
Daniel Dunbar38a22bf2009-07-03 00:10:29 +0000201void CodeEmitterGen::run(raw_ostream &o) {
Chris Lattner77d369c2010-12-13 00:23:57 +0000202 CodeGenTarget Target(Records);
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000203 std::vector<Record*> Insts = Records.getAllDerivedDefinitions("Instruction");
Jim Grosbachdaab6602010-10-07 16:56:28 +0000204
Jim Laskeya44f6262006-07-13 21:02:53 +0000205 // For little-endian instruction bit encodings, reverse the bit order
Hal Finkel81e6fcc2013-12-17 22:37:50 +0000206 Target.reverseBitsForLittleEndianEncoding();
Jim Grosbachdaab6602010-10-07 16:56:28 +0000207
Chris Lattner918be522010-03-19 00:34:35 +0000208 const std::vector<const CodeGenInstruction*> &NumberedInstructions =
209 Target.getInstructionsByEnumValue();
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000210
Misha Brukman422d0fa2004-08-10 20:54:58 +0000211 // Emit function declaration
Owen Andersond845d9d2012-01-24 18:37:29 +0000212 o << "uint64_t " << Target.getName();
Jim Grosbache4e6bf42010-11-03 23:38:14 +0000213 if (MCEmitter)
214 o << "MCCodeEmitter::getBinaryCodeForInstr(const MCInst &MI,\n"
215 << " SmallVectorImpl<MCFixup> &Fixups) const {\n";
216 else
217 o << "CodeEmitter::getBinaryCodeForInstr(const MachineInstr &MI) const {\n";
Misha Brukman422d0fa2004-08-10 20:54:58 +0000218
Jim Laskey23bd4802006-07-12 19:15:43 +0000219 // Emit instruction base values
Owen Anderson773642d2012-03-06 21:48:32 +0000220 o << " static const uint64_t InstBits[] = {\n";
Chris Lattner918be522010-03-19 00:34:35 +0000221 for (std::vector<const CodeGenInstruction*>::const_iterator
Jim Laskey23bd4802006-07-12 19:15:43 +0000222 IN = NumberedInstructions.begin(),
223 EN = NumberedInstructions.end();
224 IN != EN; ++IN) {
225 const CodeGenInstruction *CGI = *IN;
226 Record *R = CGI->TheDef;
Jim Grosbachdaab6602010-10-07 16:56:28 +0000227
Jim Grosbachf3fd36e2011-07-06 21:33:38 +0000228 if (R->getValueAsString("Namespace") == "TargetOpcode" ||
229 R->getValueAsBit("isPseudo")) {
Owen Andersond845d9d2012-01-24 18:37:29 +0000230 o << " UINT64_C(0),\n";
Jim Laskey23bd4802006-07-12 19:15:43 +0000231 continue;
232 }
Jim Grosbachdaab6602010-10-07 16:56:28 +0000233
David Greeneaf8ee2c2011-07-29 22:43:06 +0000234 BitsInit *BI = R->getValueAsBitsInit("Inst");
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000235
Chris Lattnerc19d5102010-11-15 06:59:17 +0000236 // Start by filling in fixed values.
Owen Anderson773642d2012-03-06 21:48:32 +0000237 uint64_t Value = 0;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000238 for (unsigned i = 0, e = BI->getNumBits(); i != e; ++i) {
Sean Silvafb509ed2012-10-10 20:24:43 +0000239 if (BitInit *B = dyn_cast<BitInit>(BI->getBit(e-i-1)))
Owen Anderson773642d2012-03-06 21:48:32 +0000240 Value |= (uint64_t)B->getValue() << (e-i-1);
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000241 }
Owen Andersond845d9d2012-01-24 18:37:29 +0000242 o << " UINT64_C(" << Value << ")," << '\t' << "// " << R->getName() << "\n";
Jim Laskey23bd4802006-07-12 19:15:43 +0000243 }
Owen Andersond845d9d2012-01-24 18:37:29 +0000244 o << " UINT64_C(0)\n };\n";
Jim Grosbachdaab6602010-10-07 16:56:28 +0000245
Jim Laskeya44f6262006-07-13 21:02:53 +0000246 // Map to accumulate all the cases.
247 std::map<std::string, std::vector<std::string> > CaseMap;
Jim Grosbachdaab6602010-10-07 16:56:28 +0000248
Jim Laskeya44f6262006-07-13 21:02:53 +0000249 // Construct all cases statement for each opcode
250 for (std::vector<Record*>::iterator IC = Insts.begin(), EC = Insts.end();
251 IC != EC; ++IC) {
252 Record *R = *IC;
Jim Grosbachf3fd36e2011-07-06 21:33:38 +0000253 if (R->getValueAsString("Namespace") == "TargetOpcode" ||
254 R->getValueAsBit("isPseudo"))
Jakob Stoklund Olesen3b1657b2010-07-02 21:44:22 +0000255 continue;
Jim Grosbachcd25b862011-02-03 23:26:36 +0000256 const std::string &InstName = R->getValueAsString("Namespace") + "::"
257 + R->getName();
Chris Lattnerc19d5102010-11-15 06:59:17 +0000258 std::string Case = getInstructionCase(R, Target);
Dan Gohman60a446a2009-04-13 15:38:05 +0000259
Chris Lattnerc19d5102010-11-15 06:59:17 +0000260 CaseMap[Case].push_back(InstName);
Jim Laskeya44f6262006-07-13 21:02:53 +0000261 }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000262
Jim Laskeya44f6262006-07-13 21:02:53 +0000263 // Emit initial function code
264 o << " const unsigned opcode = MI.getOpcode();\n"
Owen Anderson773642d2012-03-06 21:48:32 +0000265 << " uint64_t Value = InstBits[opcode];\n"
266 << " uint64_t op = 0;\n"
Jeffrey Yasskin9b43f332010-12-23 00:58:24 +0000267 << " (void)op; // suppress warning\n"
Jim Laskeya44f6262006-07-13 21:02:53 +0000268 << " switch (opcode) {\n";
269
270 // Emit each case statement
271 std::map<std::string, std::vector<std::string> >::iterator IE, EE;
272 for (IE = CaseMap.begin(), EE = CaseMap.end(); IE != EE; ++IE) {
273 const std::string &Case = IE->first;
274 std::vector<std::string> &InstList = IE->second;
275
276 for (int i = 0, N = InstList.size(); i < N; i++) {
277 if (i) o << "\n";
Jim Grosbachcd25b862011-02-03 23:26:36 +0000278 o << " case " << InstList[i] << ":";
Jim Laskeya44f6262006-07-13 21:02:53 +0000279 }
280 o << " {\n";
281 o << Case;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000282 o << " break;\n"
283 << " }\n";
284 }
285
Misha Brukman8393c152004-10-14 05:53:01 +0000286 // Default case: unhandled opcode
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000287 o << " default:\n"
Torok Edwinfa040022009-07-08 19:04:27 +0000288 << " std::string msg;\n"
289 << " raw_string_ostream Msg(msg);\n"
290 << " Msg << \"Not supported instr: \" << MI;\n"
Chris Lattner2104b8d2010-04-07 22:58:41 +0000291 << " report_fatal_error(Msg.str());\n"
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000292 << " }\n"
293 << " return Value;\n"
Misha Brukman8393c152004-10-14 05:53:01 +0000294 << "}\n\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000295}
Jakob Stoklund Olesene6aed132012-06-11 15:37:55 +0000296
297} // End anonymous namespace
298
299namespace llvm {
300
301void EmitCodeEmitter(RecordKeeper &RK, raw_ostream &OS) {
302 emitSourceFileHeader("Machine Code Emitter", OS);
303 CodeEmitterGen(RK).run(OS);
304}
305
306} // End llvm namespace