blob: de2f6158b458d0695d6f763c4b57dc3a4124e2a6 [file] [log] [blame]
Alex Lorenz8e0a1b42015-06-22 17:02:30 +00001//===- MIParser.cpp - Machine instructions parser implementation ----------===//
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 file implements the parsing of machine instructions.
11//
12//===----------------------------------------------------------------------===//
13
14#include "MIParser.h"
Alex Lorenz91370c52015-06-22 20:37:46 +000015#include "MILexer.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000016#include "llvm/ADT/StringMap.h"
Alex Lorenz5d6108e2015-06-26 22:56:48 +000017#include "llvm/AsmParser/SlotMapping.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000018#include "llvm/CodeGen/MachineBasicBlock.h"
19#include "llvm/CodeGen/MachineFunction.h"
Alex Lorenz7feaf7c2015-07-16 23:37:45 +000020#include "llvm/CodeGen/MachineFrameInfo.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000021#include "llvm/CodeGen/MachineInstr.h"
Alex Lorenzcb268d42015-07-06 23:07:26 +000022#include "llvm/CodeGen/MachineInstrBuilder.h"
Alex Lorenzf4baeb52015-07-21 22:28:27 +000023#include "llvm/CodeGen/MachineModuleInfo.h"
Alex Lorenz7feaf7c2015-07-16 23:37:45 +000024#include "llvm/IR/Instructions.h"
Alex Lorenz5d6108e2015-06-26 22:56:48 +000025#include "llvm/IR/Module.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000026#include "llvm/Support/raw_ostream.h"
27#include "llvm/Support/SourceMgr.h"
28#include "llvm/Target/TargetSubtargetInfo.h"
29#include "llvm/Target/TargetInstrInfo.h"
30
31using namespace llvm;
32
33namespace {
34
Alex Lorenzb29554d2015-07-20 20:31:01 +000035struct StringValueUtility {
36 StringRef String;
37 std::string UnescapedString;
38
39 StringValueUtility(const MIToken &Token) {
40 if (Token.isStringValueQuoted()) {
41 Token.unescapeQuotedStringValue(UnescapedString);
42 String = UnescapedString;
43 return;
44 }
45 String = Token.stringValue();
46 }
47
48 operator StringRef() const { return String; }
49};
50
Alex Lorenz36962cd2015-07-07 02:08:46 +000051/// A wrapper struct around the 'MachineOperand' struct that includes a source
52/// range.
53struct MachineOperandWithLocation {
54 MachineOperand Operand;
55 StringRef::iterator Begin;
56 StringRef::iterator End;
57
58 MachineOperandWithLocation(const MachineOperand &Operand,
59 StringRef::iterator Begin, StringRef::iterator End)
60 : Operand(Operand), Begin(Begin), End(End) {}
61};
62
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000063class MIParser {
64 SourceMgr &SM;
65 MachineFunction &MF;
66 SMDiagnostic &Error;
Alex Lorenz91370c52015-06-22 20:37:46 +000067 StringRef Source, CurrentSource;
68 MIToken Token;
Alex Lorenz7a503fa2015-07-07 17:46:43 +000069 const PerFunctionMIParsingState &PFS;
Alex Lorenz5d6108e2015-06-26 22:56:48 +000070 /// Maps from indices to unnamed global values and metadata nodes.
71 const SlotMapping &IRSlots;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000072 /// Maps from instruction names to op codes.
73 StringMap<unsigned> Names2InstrOpCodes;
Alex Lorenzf3db51de2015-06-23 16:35:26 +000074 /// Maps from register names to registers.
75 StringMap<unsigned> Names2Regs;
Alex Lorenz8f6f4282015-06-29 16:57:06 +000076 /// Maps from register mask names to register masks.
77 StringMap<const uint32_t *> Names2RegMasks;
Alex Lorenz2eacca82015-07-13 23:24:34 +000078 /// Maps from subregister names to subregister indices.
79 StringMap<unsigned> Names2SubRegIndices;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000080
81public:
82 MIParser(SourceMgr &SM, MachineFunction &MF, SMDiagnostic &Error,
Alex Lorenz7a503fa2015-07-07 17:46:43 +000083 StringRef Source, const PerFunctionMIParsingState &PFS,
Alex Lorenz5d6108e2015-06-26 22:56:48 +000084 const SlotMapping &IRSlots);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000085
Alex Lorenz91370c52015-06-22 20:37:46 +000086 void lex();
87
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000088 /// Report an error at the current location with the given message.
89 ///
90 /// This function always return true.
91 bool error(const Twine &Msg);
92
Alex Lorenz91370c52015-06-22 20:37:46 +000093 /// Report an error at the given location with the given message.
94 ///
95 /// This function always return true.
96 bool error(StringRef::iterator Loc, const Twine &Msg);
97
Alex Lorenz3708a642015-06-30 17:47:50 +000098 bool parse(MachineInstr *&MI);
Alex Lorenzf09df002015-06-30 18:16:42 +000099 bool parseMBB(MachineBasicBlock *&MBB);
Alex Lorenz9fab3702015-07-14 21:24:41 +0000100 bool parseNamedRegister(unsigned &Reg);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000101
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000102 bool parseRegister(unsigned &Reg);
Alex Lorenzcb268d42015-07-06 23:07:26 +0000103 bool parseRegisterFlag(unsigned &Flags);
Alex Lorenz2eacca82015-07-13 23:24:34 +0000104 bool parseSubRegisterIndex(unsigned &SubReg);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000105 bool parseRegisterOperand(MachineOperand &Dest, bool IsDef = false);
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000106 bool parseImmediateOperand(MachineOperand &Dest);
Alex Lorenzf09df002015-06-30 18:16:42 +0000107 bool parseMBBReference(MachineBasicBlock *&MBB);
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000108 bool parseMBBOperand(MachineOperand &Dest);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000109 bool parseStackObjectOperand(MachineOperand &Dest);
110 bool parseFixedStackObjectOperand(MachineOperand &Dest);
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000111 bool parseGlobalAddressOperand(MachineOperand &Dest);
Alex Lorenzab980492015-07-20 20:51:18 +0000112 bool parseConstantPoolIndexOperand(MachineOperand &Dest);
Alex Lorenz31d70682015-07-15 23:38:35 +0000113 bool parseJumpTableIndexOperand(MachineOperand &Dest);
Alex Lorenz6ede3742015-07-21 16:59:53 +0000114 bool parseExternalSymbolOperand(MachineOperand &Dest);
Alex Lorenz44f29252015-07-22 21:07:04 +0000115 bool parseMDNode(MDNode *&Node);
Alex Lorenz35e44462015-07-22 17:58:46 +0000116 bool parseMetadataOperand(MachineOperand &Dest);
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000117 bool parseCFIOffset(int &Offset);
118 bool parseCFIOperand(MachineOperand &Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000119 bool parseMachineOperand(MachineOperand &Dest);
120
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000121private:
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000122 /// Convert the integer literal in the current token into an unsigned integer.
123 ///
124 /// Return true if an error occurred.
125 bool getUnsigned(unsigned &Result);
126
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000127 void initNames2InstrOpCodes();
128
129 /// Try to convert an instruction name to an opcode. Return true if the
130 /// instruction name is invalid.
131 bool parseInstrName(StringRef InstrName, unsigned &OpCode);
Alex Lorenz91370c52015-06-22 20:37:46 +0000132
Alex Lorenze5a44662015-07-17 00:24:15 +0000133 bool parseInstruction(unsigned &OpCode, unsigned &Flags);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000134
Alex Lorenz36962cd2015-07-07 02:08:46 +0000135 bool verifyImplicitOperands(ArrayRef<MachineOperandWithLocation> Operands,
136 const MCInstrDesc &MCID);
137
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000138 void initNames2Regs();
139
140 /// Try to convert a register name to a register number. Return true if the
141 /// register name is invalid.
142 bool getRegisterByName(StringRef RegName, unsigned &Reg);
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000143
144 void initNames2RegMasks();
145
146 /// Check if the given identifier is a name of a register mask.
147 ///
148 /// Return null if the identifier isn't a register mask.
149 const uint32_t *getRegMask(StringRef Identifier);
Alex Lorenz2eacca82015-07-13 23:24:34 +0000150
151 void initNames2SubRegIndices();
152
153 /// Check if the given identifier is a name of a subregister index.
154 ///
155 /// Return 0 if the name isn't a subregister index class.
156 unsigned getSubRegIndex(StringRef Name);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000157};
158
159} // end anonymous namespace
160
161MIParser::MIParser(SourceMgr &SM, MachineFunction &MF, SMDiagnostic &Error,
Alex Lorenz7a503fa2015-07-07 17:46:43 +0000162 StringRef Source, const PerFunctionMIParsingState &PFS,
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000163 const SlotMapping &IRSlots)
Alex Lorenz91370c52015-06-22 20:37:46 +0000164 : SM(SM), MF(MF), Error(Error), Source(Source), CurrentSource(Source),
Alex Lorenz7a503fa2015-07-07 17:46:43 +0000165 Token(MIToken::Error, StringRef()), PFS(PFS), IRSlots(IRSlots) {}
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000166
Alex Lorenz91370c52015-06-22 20:37:46 +0000167void MIParser::lex() {
168 CurrentSource = lexMIToken(
169 CurrentSource, Token,
170 [this](StringRef::iterator Loc, const Twine &Msg) { error(Loc, Msg); });
171}
172
173bool MIParser::error(const Twine &Msg) { return error(Token.location(), Msg); }
174
175bool MIParser::error(StringRef::iterator Loc, const Twine &Msg) {
Alex Lorenz91370c52015-06-22 20:37:46 +0000176 assert(Loc >= Source.data() && Loc <= (Source.data() + Source.size()));
177 Error = SMDiagnostic(
178 SM, SMLoc(),
179 SM.getMemoryBuffer(SM.getMainFileID())->getBufferIdentifier(), 1,
180 Loc - Source.data(), SourceMgr::DK_Error, Msg.str(), Source, None, None);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000181 return true;
182}
183
Alex Lorenz3708a642015-06-30 17:47:50 +0000184bool MIParser::parse(MachineInstr *&MI) {
Alex Lorenz91370c52015-06-22 20:37:46 +0000185 lex();
186
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000187 // Parse any register operands before '='
188 // TODO: Allow parsing of multiple operands before '='
189 MachineOperand MO = MachineOperand::CreateImm(0);
Alex Lorenz36962cd2015-07-07 02:08:46 +0000190 SmallVector<MachineOperandWithLocation, 8> Operands;
Alex Lorenzcb268d42015-07-06 23:07:26 +0000191 if (Token.isRegister() || Token.isRegisterFlag()) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000192 auto Loc = Token.location();
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000193 if (parseRegisterOperand(MO, /*IsDef=*/true))
Alex Lorenz3708a642015-06-30 17:47:50 +0000194 return true;
Alex Lorenz36962cd2015-07-07 02:08:46 +0000195 Operands.push_back(MachineOperandWithLocation(MO, Loc, Token.location()));
Alex Lorenz3708a642015-06-30 17:47:50 +0000196 if (Token.isNot(MIToken::equal))
197 return error("expected '='");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000198 lex();
199 }
200
Alex Lorenze5a44662015-07-17 00:24:15 +0000201 unsigned OpCode, Flags = 0;
202 if (Token.isError() || parseInstruction(OpCode, Flags))
Alex Lorenz3708a642015-06-30 17:47:50 +0000203 return true;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000204
Alex Lorenze5a44662015-07-17 00:24:15 +0000205 // TODO: Parse the bundle instruction flags and memory operands.
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000206
207 // Parse the remaining machine operands.
Alex Lorenz46d760d2015-07-22 21:15:11 +0000208 while (Token.isNot(MIToken::Eof) && Token.isNot(MIToken::kw_debug_location)) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000209 auto Loc = Token.location();
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000210 if (parseMachineOperand(MO))
Alex Lorenz3708a642015-06-30 17:47:50 +0000211 return true;
Alex Lorenz36962cd2015-07-07 02:08:46 +0000212 Operands.push_back(MachineOperandWithLocation(MO, Loc, Token.location()));
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000213 if (Token.is(MIToken::Eof))
214 break;
Alex Lorenz3708a642015-06-30 17:47:50 +0000215 if (Token.isNot(MIToken::comma))
216 return error("expected ',' before the next machine operand");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000217 lex();
218 }
219
Alex Lorenz46d760d2015-07-22 21:15:11 +0000220 DebugLoc DebugLocation;
221 if (Token.is(MIToken::kw_debug_location)) {
222 lex();
223 if (Token.isNot(MIToken::exclaim))
224 return error("expected a metadata node after 'debug-location'");
225 MDNode *Node = nullptr;
226 if (parseMDNode(Node))
227 return true;
228 DebugLocation = DebugLoc(Node);
229 }
230
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000231 const auto &MCID = MF.getSubtarget().getInstrInfo()->get(OpCode);
Alex Lorenz36962cd2015-07-07 02:08:46 +0000232 if (!MCID.isVariadic()) {
233 // FIXME: Move the implicit operand verification to the machine verifier.
234 if (verifyImplicitOperands(Operands, MCID))
235 return true;
236 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000237
Alex Lorenzcb268d42015-07-06 23:07:26 +0000238 // TODO: Check for extraneous machine operands.
Alex Lorenz46d760d2015-07-22 21:15:11 +0000239 MI = MF.CreateMachineInstr(MCID, DebugLocation, /*NoImplicit=*/true);
Alex Lorenze5a44662015-07-17 00:24:15 +0000240 MI->setFlags(Flags);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000241 for (const auto &Operand : Operands)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000242 MI->addOperand(MF, Operand.Operand);
Alex Lorenz3708a642015-06-30 17:47:50 +0000243 return false;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000244}
245
Alex Lorenzf09df002015-06-30 18:16:42 +0000246bool MIParser::parseMBB(MachineBasicBlock *&MBB) {
247 lex();
248 if (Token.isNot(MIToken::MachineBasicBlock))
249 return error("expected a machine basic block reference");
250 if (parseMBBReference(MBB))
251 return true;
252 lex();
253 if (Token.isNot(MIToken::Eof))
254 return error(
255 "expected end of string after the machine basic block reference");
256 return false;
257}
258
Alex Lorenz9fab3702015-07-14 21:24:41 +0000259bool MIParser::parseNamedRegister(unsigned &Reg) {
260 lex();
261 if (Token.isNot(MIToken::NamedRegister))
262 return error("expected a named register");
263 if (parseRegister(Reg))
264 return 0;
265 lex();
266 if (Token.isNot(MIToken::Eof))
267 return error("expected end of string after the register reference");
268 return false;
269}
270
Alex Lorenz36962cd2015-07-07 02:08:46 +0000271static const char *printImplicitRegisterFlag(const MachineOperand &MO) {
272 assert(MO.isImplicit());
273 return MO.isDef() ? "implicit-def" : "implicit";
274}
275
276static std::string getRegisterName(const TargetRegisterInfo *TRI,
277 unsigned Reg) {
278 assert(TargetRegisterInfo::isPhysicalRegister(Reg) && "expected phys reg");
279 return StringRef(TRI->getName(Reg)).lower();
280}
281
282bool MIParser::verifyImplicitOperands(
283 ArrayRef<MachineOperandWithLocation> Operands, const MCInstrDesc &MCID) {
284 if (MCID.isCall())
285 // We can't verify call instructions as they can contain arbitrary implicit
286 // register and register mask operands.
287 return false;
288
289 // Gather all the expected implicit operands.
290 SmallVector<MachineOperand, 4> ImplicitOperands;
291 if (MCID.ImplicitDefs)
292 for (const uint16_t *ImpDefs = MCID.getImplicitDefs(); *ImpDefs; ++ImpDefs)
293 ImplicitOperands.push_back(
294 MachineOperand::CreateReg(*ImpDefs, true, true));
295 if (MCID.ImplicitUses)
296 for (const uint16_t *ImpUses = MCID.getImplicitUses(); *ImpUses; ++ImpUses)
297 ImplicitOperands.push_back(
298 MachineOperand::CreateReg(*ImpUses, false, true));
299
300 const auto *TRI = MF.getSubtarget().getRegisterInfo();
301 assert(TRI && "Expected target register info");
302 size_t I = ImplicitOperands.size(), J = Operands.size();
303 while (I) {
304 --I;
305 if (J) {
306 --J;
307 const auto &ImplicitOperand = ImplicitOperands[I];
308 const auto &Operand = Operands[J].Operand;
309 if (ImplicitOperand.isIdenticalTo(Operand))
310 continue;
311 if (Operand.isReg() && Operand.isImplicit()) {
312 return error(Operands[J].Begin,
313 Twine("expected an implicit register operand '") +
314 printImplicitRegisterFlag(ImplicitOperand) + " %" +
315 getRegisterName(TRI, ImplicitOperand.getReg()) + "'");
316 }
317 }
318 // TODO: Fix source location when Operands[J].end is right before '=', i.e:
319 // insead of reporting an error at this location:
320 // %eax = MOV32r0
321 // ^
322 // report the error at the following location:
323 // %eax = MOV32r0
324 // ^
325 return error(J < Operands.size() ? Operands[J].End : Token.location(),
326 Twine("missing implicit register operand '") +
327 printImplicitRegisterFlag(ImplicitOperands[I]) + " %" +
328 getRegisterName(TRI, ImplicitOperands[I].getReg()) + "'");
329 }
330 return false;
331}
332
Alex Lorenze5a44662015-07-17 00:24:15 +0000333bool MIParser::parseInstruction(unsigned &OpCode, unsigned &Flags) {
334 if (Token.is(MIToken::kw_frame_setup)) {
335 Flags |= MachineInstr::FrameSetup;
336 lex();
337 }
Alex Lorenz91370c52015-06-22 20:37:46 +0000338 if (Token.isNot(MIToken::Identifier))
339 return error("expected a machine instruction");
340 StringRef InstrName = Token.stringValue();
341 if (parseInstrName(InstrName, OpCode))
342 return error(Twine("unknown machine instruction name '") + InstrName + "'");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000343 lex();
344 return false;
345}
346
347bool MIParser::parseRegister(unsigned &Reg) {
348 switch (Token.kind()) {
Alex Lorenz12b554e2015-06-24 17:34:58 +0000349 case MIToken::underscore:
350 Reg = 0;
351 break;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000352 case MIToken::NamedRegister: {
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000353 StringRef Name = Token.stringValue();
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000354 if (getRegisterByName(Name, Reg))
355 return error(Twine("unknown register name '") + Name + "'");
356 break;
357 }
Alex Lorenz53464512015-07-10 22:51:20 +0000358 case MIToken::VirtualRegister: {
359 unsigned ID;
360 if (getUnsigned(ID))
361 return true;
362 const auto RegInfo = PFS.VirtualRegisterSlots.find(ID);
363 if (RegInfo == PFS.VirtualRegisterSlots.end())
364 return error(Twine("use of undefined virtual register '%") + Twine(ID) +
365 "'");
366 Reg = RegInfo->second;
367 break;
368 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000369 // TODO: Parse other register kinds.
370 default:
371 llvm_unreachable("The current token should be a register");
372 }
373 return false;
374}
375
Alex Lorenzcb268d42015-07-06 23:07:26 +0000376bool MIParser::parseRegisterFlag(unsigned &Flags) {
377 switch (Token.kind()) {
378 case MIToken::kw_implicit:
379 Flags |= RegState::Implicit;
380 break;
381 case MIToken::kw_implicit_define:
382 Flags |= RegState::ImplicitDefine;
383 break;
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +0000384 case MIToken::kw_dead:
385 Flags |= RegState::Dead;
386 break;
Alex Lorenz495ad872015-07-08 21:23:34 +0000387 case MIToken::kw_killed:
388 Flags |= RegState::Kill;
389 break;
Alex Lorenz4d026b892015-07-08 23:58:31 +0000390 case MIToken::kw_undef:
391 Flags |= RegState::Undef;
392 break;
Alex Lorenzcb268d42015-07-06 23:07:26 +0000393 // TODO: report an error when we specify the same flag more than once.
394 // TODO: parse the other register flags.
395 default:
396 llvm_unreachable("The current token should be a register flag");
397 }
398 lex();
399 return false;
400}
401
Alex Lorenz2eacca82015-07-13 23:24:34 +0000402bool MIParser::parseSubRegisterIndex(unsigned &SubReg) {
403 assert(Token.is(MIToken::colon));
404 lex();
405 if (Token.isNot(MIToken::Identifier))
406 return error("expected a subregister index after ':'");
407 auto Name = Token.stringValue();
408 SubReg = getSubRegIndex(Name);
409 if (!SubReg)
410 return error(Twine("use of unknown subregister index '") + Name + "'");
411 lex();
412 return false;
413}
414
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000415bool MIParser::parseRegisterOperand(MachineOperand &Dest, bool IsDef) {
416 unsigned Reg;
Alex Lorenzcb268d42015-07-06 23:07:26 +0000417 unsigned Flags = IsDef ? RegState::Define : 0;
418 while (Token.isRegisterFlag()) {
419 if (parseRegisterFlag(Flags))
420 return true;
421 }
422 if (!Token.isRegister())
423 return error("expected a register after register flags");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000424 if (parseRegister(Reg))
425 return true;
426 lex();
Alex Lorenz2eacca82015-07-13 23:24:34 +0000427 unsigned SubReg = 0;
428 if (Token.is(MIToken::colon)) {
429 if (parseSubRegisterIndex(SubReg))
430 return true;
431 }
Alex Lorenz495ad872015-07-08 21:23:34 +0000432 Dest = MachineOperand::CreateReg(
433 Reg, Flags & RegState::Define, Flags & RegState::Implicit,
Alex Lorenz2eacca82015-07-13 23:24:34 +0000434 Flags & RegState::Kill, Flags & RegState::Dead, Flags & RegState::Undef,
435 /*isEarlyClobber=*/false, SubReg);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000436 return false;
437}
438
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000439bool MIParser::parseImmediateOperand(MachineOperand &Dest) {
440 assert(Token.is(MIToken::IntegerLiteral));
441 const APSInt &Int = Token.integerValue();
442 if (Int.getMinSignedBits() > 64)
443 // TODO: Replace this with an error when we can parse CIMM Machine Operands.
444 llvm_unreachable("Can't parse large integer literals yet!");
445 Dest = MachineOperand::CreateImm(Int.getExtValue());
446 lex();
447 return false;
448}
449
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000450bool MIParser::getUnsigned(unsigned &Result) {
451 assert(Token.hasIntegerValue() && "Expected a token with an integer value");
452 const uint64_t Limit = uint64_t(std::numeric_limits<unsigned>::max()) + 1;
453 uint64_t Val64 = Token.integerValue().getLimitedValue(Limit);
454 if (Val64 == Limit)
455 return error("expected 32-bit integer (too large)");
456 Result = Val64;
457 return false;
458}
459
Alex Lorenzf09df002015-06-30 18:16:42 +0000460bool MIParser::parseMBBReference(MachineBasicBlock *&MBB) {
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000461 assert(Token.is(MIToken::MachineBasicBlock));
462 unsigned Number;
463 if (getUnsigned(Number))
464 return true;
Alex Lorenz7a503fa2015-07-07 17:46:43 +0000465 auto MBBInfo = PFS.MBBSlots.find(Number);
466 if (MBBInfo == PFS.MBBSlots.end())
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000467 return error(Twine("use of undefined machine basic block #") +
468 Twine(Number));
Alex Lorenzf09df002015-06-30 18:16:42 +0000469 MBB = MBBInfo->second;
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000470 if (!Token.stringValue().empty() && Token.stringValue() != MBB->getName())
471 return error(Twine("the name of machine basic block #") + Twine(Number) +
472 " isn't '" + Token.stringValue() + "'");
Alex Lorenzf09df002015-06-30 18:16:42 +0000473 return false;
474}
475
476bool MIParser::parseMBBOperand(MachineOperand &Dest) {
477 MachineBasicBlock *MBB;
478 if (parseMBBReference(MBB))
479 return true;
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000480 Dest = MachineOperand::CreateMBB(MBB);
481 lex();
482 return false;
483}
484
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000485bool MIParser::parseStackObjectOperand(MachineOperand &Dest) {
486 assert(Token.is(MIToken::StackObject));
487 unsigned ID;
488 if (getUnsigned(ID))
489 return true;
490 auto ObjectInfo = PFS.StackObjectSlots.find(ID);
491 if (ObjectInfo == PFS.StackObjectSlots.end())
492 return error(Twine("use of undefined stack object '%stack.") + Twine(ID) +
493 "'");
494 StringRef Name;
495 if (const auto *Alloca =
496 MF.getFrameInfo()->getObjectAllocation(ObjectInfo->second))
497 Name = Alloca->getName();
498 if (!Token.stringValue().empty() && Token.stringValue() != Name)
499 return error(Twine("the name of the stack object '%stack.") + Twine(ID) +
500 "' isn't '" + Token.stringValue() + "'");
501 lex();
502 Dest = MachineOperand::CreateFI(ObjectInfo->second);
503 return false;
504}
505
506bool MIParser::parseFixedStackObjectOperand(MachineOperand &Dest) {
507 assert(Token.is(MIToken::FixedStackObject));
508 unsigned ID;
509 if (getUnsigned(ID))
510 return true;
511 auto ObjectInfo = PFS.FixedStackObjectSlots.find(ID);
512 if (ObjectInfo == PFS.FixedStackObjectSlots.end())
513 return error(Twine("use of undefined fixed stack object '%fixed-stack.") +
514 Twine(ID) + "'");
515 lex();
516 Dest = MachineOperand::CreateFI(ObjectInfo->second);
517 return false;
518}
519
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000520bool MIParser::parseGlobalAddressOperand(MachineOperand &Dest) {
521 switch (Token.kind()) {
Alex Lorenzb29554d2015-07-20 20:31:01 +0000522 case MIToken::NamedGlobalValue:
523 case MIToken::QuotedNamedGlobalValue: {
524 StringValueUtility Name(Token);
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000525 const Module *M = MF.getFunction()->getParent();
526 if (const auto *GV = M->getNamedValue(Name)) {
527 Dest = MachineOperand::CreateGA(GV, /*Offset=*/0);
528 break;
529 }
Alex Lorenzb29554d2015-07-20 20:31:01 +0000530 return error(Twine("use of undefined global value '@") +
531 Token.rawStringValue() + "'");
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000532 }
533 case MIToken::GlobalValue: {
534 unsigned GVIdx;
535 if (getUnsigned(GVIdx))
536 return true;
537 if (GVIdx >= IRSlots.GlobalValues.size())
538 return error(Twine("use of undefined global value '@") + Twine(GVIdx) +
539 "'");
540 Dest = MachineOperand::CreateGA(IRSlots.GlobalValues[GVIdx],
541 /*Offset=*/0);
542 break;
543 }
544 default:
545 llvm_unreachable("The current token should be a global value");
546 }
547 // TODO: Parse offset and target flags.
548 lex();
549 return false;
550}
551
Alex Lorenzab980492015-07-20 20:51:18 +0000552bool MIParser::parseConstantPoolIndexOperand(MachineOperand &Dest) {
553 assert(Token.is(MIToken::ConstantPoolItem));
554 unsigned ID;
555 if (getUnsigned(ID))
556 return true;
557 auto ConstantInfo = PFS.ConstantPoolSlots.find(ID);
558 if (ConstantInfo == PFS.ConstantPoolSlots.end())
559 return error("use of undefined constant '%const." + Twine(ID) + "'");
560 lex();
561 // TODO: Parse offset and target flags.
562 Dest = MachineOperand::CreateCPI(ID, /*Offset=*/0);
563 return false;
564}
565
Alex Lorenz31d70682015-07-15 23:38:35 +0000566bool MIParser::parseJumpTableIndexOperand(MachineOperand &Dest) {
567 assert(Token.is(MIToken::JumpTableIndex));
568 unsigned ID;
569 if (getUnsigned(ID))
570 return true;
571 auto JumpTableEntryInfo = PFS.JumpTableSlots.find(ID);
572 if (JumpTableEntryInfo == PFS.JumpTableSlots.end())
573 return error("use of undefined jump table '%jump-table." + Twine(ID) + "'");
574 lex();
575 // TODO: Parse target flags.
576 Dest = MachineOperand::CreateJTI(JumpTableEntryInfo->second);
577 return false;
578}
579
Alex Lorenz6ede3742015-07-21 16:59:53 +0000580bool MIParser::parseExternalSymbolOperand(MachineOperand &Dest) {
581 assert(Token.is(MIToken::ExternalSymbol) ||
582 Token.is(MIToken::QuotedExternalSymbol));
583 StringValueUtility Name(Token);
584 const char *Symbol = MF.createExternalSymbolName(Name);
585 lex();
586 // TODO: Parse the target flags.
587 Dest = MachineOperand::CreateES(Symbol);
588 return false;
589}
590
Alex Lorenz44f29252015-07-22 21:07:04 +0000591bool MIParser::parseMDNode(MDNode *&Node) {
Alex Lorenz35e44462015-07-22 17:58:46 +0000592 assert(Token.is(MIToken::exclaim));
593 auto Loc = Token.location();
594 lex();
595 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
596 return error("expected metadata id after '!'");
597 unsigned ID;
598 if (getUnsigned(ID))
599 return true;
600 auto NodeInfo = IRSlots.MetadataNodes.find(ID);
601 if (NodeInfo == IRSlots.MetadataNodes.end())
602 return error(Loc, "use of undefined metadata '!" + Twine(ID) + "'");
603 lex();
Alex Lorenz44f29252015-07-22 21:07:04 +0000604 Node = NodeInfo->second.get();
605 return false;
606}
607
608bool MIParser::parseMetadataOperand(MachineOperand &Dest) {
609 MDNode *Node = nullptr;
610 if (parseMDNode(Node))
611 return true;
612 Dest = MachineOperand::CreateMetadata(Node);
Alex Lorenz35e44462015-07-22 17:58:46 +0000613 return false;
614}
615
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000616bool MIParser::parseCFIOffset(int &Offset) {
617 if (Token.isNot(MIToken::IntegerLiteral))
618 return error("expected a cfi offset");
619 if (Token.integerValue().getMinSignedBits() > 32)
620 return error("expected a 32 bit integer (the cfi offset is too large)");
621 Offset = (int)Token.integerValue().getExtValue();
622 lex();
623 return false;
624}
625
626bool MIParser::parseCFIOperand(MachineOperand &Dest) {
627 // TODO: Parse the other CFI operands.
628 assert(Token.is(MIToken::kw_cfi_def_cfa_offset));
629 lex();
630 int Offset;
631 if (parseCFIOffset(Offset))
632 return true;
633 // NB: MCCFIInstruction::createDefCfaOffset negates the offset.
634 Dest = MachineOperand::CreateCFIIndex(MF.getMMI().addFrameInst(
635 MCCFIInstruction::createDefCfaOffset(nullptr, -Offset)));
636 return false;
637}
638
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000639bool MIParser::parseMachineOperand(MachineOperand &Dest) {
640 switch (Token.kind()) {
Alex Lorenzcb268d42015-07-06 23:07:26 +0000641 case MIToken::kw_implicit:
642 case MIToken::kw_implicit_define:
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +0000643 case MIToken::kw_dead:
Alex Lorenz495ad872015-07-08 21:23:34 +0000644 case MIToken::kw_killed:
Alex Lorenz4d026b892015-07-08 23:58:31 +0000645 case MIToken::kw_undef:
Alex Lorenz12b554e2015-06-24 17:34:58 +0000646 case MIToken::underscore:
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000647 case MIToken::NamedRegister:
Alex Lorenz53464512015-07-10 22:51:20 +0000648 case MIToken::VirtualRegister:
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000649 return parseRegisterOperand(Dest);
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000650 case MIToken::IntegerLiteral:
651 return parseImmediateOperand(Dest);
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000652 case MIToken::MachineBasicBlock:
653 return parseMBBOperand(Dest);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000654 case MIToken::StackObject:
655 return parseStackObjectOperand(Dest);
656 case MIToken::FixedStackObject:
657 return parseFixedStackObjectOperand(Dest);
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000658 case MIToken::GlobalValue:
659 case MIToken::NamedGlobalValue:
Alex Lorenzb29554d2015-07-20 20:31:01 +0000660 case MIToken::QuotedNamedGlobalValue:
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000661 return parseGlobalAddressOperand(Dest);
Alex Lorenzab980492015-07-20 20:51:18 +0000662 case MIToken::ConstantPoolItem:
663 return parseConstantPoolIndexOperand(Dest);
Alex Lorenz31d70682015-07-15 23:38:35 +0000664 case MIToken::JumpTableIndex:
665 return parseJumpTableIndexOperand(Dest);
Alex Lorenz6ede3742015-07-21 16:59:53 +0000666 case MIToken::ExternalSymbol:
667 case MIToken::QuotedExternalSymbol:
668 return parseExternalSymbolOperand(Dest);
Alex Lorenz35e44462015-07-22 17:58:46 +0000669 case MIToken::exclaim:
670 return parseMetadataOperand(Dest);
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000671 case MIToken::kw_cfi_def_cfa_offset:
672 return parseCFIOperand(Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000673 case MIToken::Error:
674 return true;
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000675 case MIToken::Identifier:
676 if (const auto *RegMask = getRegMask(Token.stringValue())) {
677 Dest = MachineOperand::CreateRegMask(RegMask);
678 lex();
679 break;
680 }
681 // fallthrough
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000682 default:
683 // TODO: parse the other machine operands.
684 return error("expected a machine operand");
685 }
Alex Lorenz91370c52015-06-22 20:37:46 +0000686 return false;
687}
688
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000689void MIParser::initNames2InstrOpCodes() {
690 if (!Names2InstrOpCodes.empty())
691 return;
692 const auto *TII = MF.getSubtarget().getInstrInfo();
693 assert(TII && "Expected target instruction info");
694 for (unsigned I = 0, E = TII->getNumOpcodes(); I < E; ++I)
695 Names2InstrOpCodes.insert(std::make_pair(StringRef(TII->getName(I)), I));
696}
697
698bool MIParser::parseInstrName(StringRef InstrName, unsigned &OpCode) {
699 initNames2InstrOpCodes();
700 auto InstrInfo = Names2InstrOpCodes.find(InstrName);
701 if (InstrInfo == Names2InstrOpCodes.end())
702 return true;
703 OpCode = InstrInfo->getValue();
704 return false;
705}
706
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000707void MIParser::initNames2Regs() {
708 if (!Names2Regs.empty())
709 return;
Alex Lorenz12b554e2015-06-24 17:34:58 +0000710 // The '%noreg' register is the register 0.
711 Names2Regs.insert(std::make_pair("noreg", 0));
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000712 const auto *TRI = MF.getSubtarget().getRegisterInfo();
713 assert(TRI && "Expected target register info");
714 for (unsigned I = 0, E = TRI->getNumRegs(); I < E; ++I) {
715 bool WasInserted =
716 Names2Regs.insert(std::make_pair(StringRef(TRI->getName(I)).lower(), I))
717 .second;
718 (void)WasInserted;
719 assert(WasInserted && "Expected registers to be unique case-insensitively");
720 }
721}
722
723bool MIParser::getRegisterByName(StringRef RegName, unsigned &Reg) {
724 initNames2Regs();
725 auto RegInfo = Names2Regs.find(RegName);
726 if (RegInfo == Names2Regs.end())
727 return true;
728 Reg = RegInfo->getValue();
729 return false;
730}
731
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000732void MIParser::initNames2RegMasks() {
733 if (!Names2RegMasks.empty())
734 return;
735 const auto *TRI = MF.getSubtarget().getRegisterInfo();
736 assert(TRI && "Expected target register info");
737 ArrayRef<const uint32_t *> RegMasks = TRI->getRegMasks();
738 ArrayRef<const char *> RegMaskNames = TRI->getRegMaskNames();
739 assert(RegMasks.size() == RegMaskNames.size());
740 for (size_t I = 0, E = RegMasks.size(); I < E; ++I)
741 Names2RegMasks.insert(
742 std::make_pair(StringRef(RegMaskNames[I]).lower(), RegMasks[I]));
743}
744
745const uint32_t *MIParser::getRegMask(StringRef Identifier) {
746 initNames2RegMasks();
747 auto RegMaskInfo = Names2RegMasks.find(Identifier);
748 if (RegMaskInfo == Names2RegMasks.end())
749 return nullptr;
750 return RegMaskInfo->getValue();
751}
752
Alex Lorenz2eacca82015-07-13 23:24:34 +0000753void MIParser::initNames2SubRegIndices() {
754 if (!Names2SubRegIndices.empty())
755 return;
756 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
757 for (unsigned I = 1, E = TRI->getNumSubRegIndices(); I < E; ++I)
758 Names2SubRegIndices.insert(
759 std::make_pair(StringRef(TRI->getSubRegIndexName(I)).lower(), I));
760}
761
762unsigned MIParser::getSubRegIndex(StringRef Name) {
763 initNames2SubRegIndices();
764 auto SubRegInfo = Names2SubRegIndices.find(Name);
765 if (SubRegInfo == Names2SubRegIndices.end())
766 return 0;
767 return SubRegInfo->getValue();
768}
769
Alex Lorenz7a503fa2015-07-07 17:46:43 +0000770bool llvm::parseMachineInstr(MachineInstr *&MI, SourceMgr &SM,
771 MachineFunction &MF, StringRef Src,
772 const PerFunctionMIParsingState &PFS,
773 const SlotMapping &IRSlots, SMDiagnostic &Error) {
774 return MIParser(SM, MF, Error, Src, PFS, IRSlots).parse(MI);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000775}
Alex Lorenzf09df002015-06-30 18:16:42 +0000776
Alex Lorenz7a503fa2015-07-07 17:46:43 +0000777bool llvm::parseMBBReference(MachineBasicBlock *&MBB, SourceMgr &SM,
778 MachineFunction &MF, StringRef Src,
779 const PerFunctionMIParsingState &PFS,
780 const SlotMapping &IRSlots, SMDiagnostic &Error) {
781 return MIParser(SM, MF, Error, Src, PFS, IRSlots).parseMBB(MBB);
Alex Lorenzf09df002015-06-30 18:16:42 +0000782}
Alex Lorenz9fab3702015-07-14 21:24:41 +0000783
784bool llvm::parseNamedRegisterReference(unsigned &Reg, SourceMgr &SM,
785 MachineFunction &MF, StringRef Src,
786 const PerFunctionMIParsingState &PFS,
787 const SlotMapping &IRSlots,
788 SMDiagnostic &Error) {
789 return MIParser(SM, MF, Error, Src, PFS, IRSlots).parseNamedRegister(Reg);
790}