1 //===- MIParser.cpp - Machine instructions parser implementation ----------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements the parsing of machine instructions.
12 //===----------------------------------------------------------------------===//
16 #include "llvm/ADT/APInt.h"
17 #include "llvm/ADT/APSInt.h"
18 #include "llvm/ADT/ArrayRef.h"
19 #include "llvm/ADT/DenseMap.h"
20 #include "llvm/ADT/None.h"
21 #include "llvm/ADT/Optional.h"
22 #include "llvm/ADT/SmallVector.h"
23 #include "llvm/ADT/StringMap.h"
24 #include "llvm/ADT/StringRef.h"
25 #include "llvm/ADT/StringSwitch.h"
26 #include "llvm/ADT/Twine.h"
27 #include "llvm/AsmParser/Parser.h"
28 #include "llvm/AsmParser/SlotMapping.h"
29 #include "llvm/CodeGen/MIRPrinter.h"
30 #include "llvm/CodeGen/MachineBasicBlock.h"
31 #include "llvm/CodeGen/MachineFrameInfo.h"
32 #include "llvm/CodeGen/MachineFunction.h"
33 #include "llvm/CodeGen/MachineInstr.h"
34 #include "llvm/CodeGen/MachineInstrBuilder.h"
35 #include "llvm/CodeGen/MachineMemOperand.h"
36 #include "llvm/CodeGen/MachineOperand.h"
37 #include "llvm/CodeGen/MachineRegisterInfo.h"
38 #include "llvm/CodeGen/TargetInstrInfo.h"
39 #include "llvm/CodeGen/TargetRegisterInfo.h"
40 #include "llvm/CodeGen/TargetSubtargetInfo.h"
41 #include "llvm/IR/BasicBlock.h"
42 #include "llvm/IR/Constants.h"
43 #include "llvm/IR/DataLayout.h"
44 #include "llvm/IR/DebugInfoMetadata.h"
45 #include "llvm/IR/DebugLoc.h"
46 #include "llvm/IR/Function.h"
47 #include "llvm/IR/InstrTypes.h"
48 #include "llvm/IR/Instructions.h"
49 #include "llvm/IR/Intrinsics.h"
50 #include "llvm/IR/Metadata.h"
51 #include "llvm/IR/Module.h"
52 #include "llvm/IR/ModuleSlotTracker.h"
53 #include "llvm/IR/Type.h"
54 #include "llvm/IR/Value.h"
55 #include "llvm/IR/ValueSymbolTable.h"
56 #include "llvm/MC/LaneBitmask.h"
57 #include "llvm/MC/MCDwarf.h"
58 #include "llvm/MC/MCInstrDesc.h"
59 #include "llvm/MC/MCRegisterInfo.h"
60 #include "llvm/Support/AtomicOrdering.h"
61 #include "llvm/Support/BranchProbability.h"
62 #include "llvm/Support/Casting.h"
63 #include "llvm/Support/ErrorHandling.h"
64 #include "llvm/Support/LowLevelTypeImpl.h"
65 #include "llvm/Support/MemoryBuffer.h"
66 #include "llvm/Support/SMLoc.h"
67 #include "llvm/Support/SourceMgr.h"
68 #include "llvm/Support/raw_ostream.h"
69 #include "llvm/Target/TargetIntrinsicInfo.h"
70 #include "llvm/Target/TargetMachine.h"
82 PerFunctionMIParsingState::PerFunctionMIParsingState(MachineFunction &MF,
83 SourceMgr &SM, const SlotMapping &IRSlots,
84 const Name2RegClassMap &Names2RegClasses,
85 const Name2RegBankMap &Names2RegBanks)
86 : MF(MF), SM(&SM), IRSlots(IRSlots), Names2RegClasses(Names2RegClasses),
87 Names2RegBanks(Names2RegBanks) {
90 VRegInfo &PerFunctionMIParsingState::getVRegInfo(unsigned Num) {
91 auto I = VRegInfos.insert(std::make_pair(Num, nullptr));
93 MachineRegisterInfo &MRI = MF.getRegInfo();
94 VRegInfo *Info = new (Allocator) VRegInfo;
95 Info->VReg = MRI.createIncompleteVirtualRegister();
96 I.first->second = Info;
98 return *I.first->second;
101 VRegInfo &PerFunctionMIParsingState::getVRegInfoNamed(StringRef RegName) {
102 assert(RegName != "" && "Expected named reg.");
104 auto I = VRegInfosNamed.insert(std::make_pair(RegName.str(), nullptr));
106 VRegInfo *Info = new (Allocator) VRegInfo;
107 Info->VReg = MF.getRegInfo().createIncompleteVirtualRegister(RegName);
108 I.first->second = Info;
110 return *I.first->second;
115 /// A wrapper struct around the 'MachineOperand' struct that includes a source
116 /// range and other attributes.
117 struct ParsedMachineOperand {
118 MachineOperand Operand;
119 StringRef::iterator Begin;
120 StringRef::iterator End;
121 Optional<unsigned> TiedDefIdx;
123 ParsedMachineOperand(const MachineOperand &Operand, StringRef::iterator Begin,
124 StringRef::iterator End, Optional<unsigned> &TiedDefIdx)
125 : Operand(Operand), Begin(Begin), End(End), TiedDefIdx(TiedDefIdx) {
127 assert(Operand.isReg() && Operand.isUse() &&
128 "Only used register operands can be tied");
135 StringRef Source, CurrentSource;
137 PerFunctionMIParsingState &PFS;
138 /// Maps from instruction names to op codes.
139 StringMap<unsigned> Names2InstrOpCodes;
140 /// Maps from register names to registers.
141 StringMap<unsigned> Names2Regs;
142 /// Maps from register mask names to register masks.
143 StringMap<const uint32_t *> Names2RegMasks;
144 /// Maps from subregister names to subregister indices.
145 StringMap<unsigned> Names2SubRegIndices;
146 /// Maps from slot numbers to function's unnamed basic blocks.
147 DenseMap<unsigned, const BasicBlock *> Slots2BasicBlocks;
148 /// Maps from slot numbers to function's unnamed values.
149 DenseMap<unsigned, const Value *> Slots2Values;
150 /// Maps from target index names to target indices.
151 StringMap<int> Names2TargetIndices;
152 /// Maps from direct target flag names to the direct target flag values.
153 StringMap<unsigned> Names2DirectTargetFlags;
154 /// Maps from direct target flag names to the bitmask target flag values.
155 StringMap<unsigned> Names2BitmaskTargetFlags;
156 /// Maps from MMO target flag names to MMO target flag values.
157 StringMap<MachineMemOperand::Flags> Names2MMOTargetFlags;
160 MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
163 /// \p SkipChar gives the number of characters to skip before looking
164 /// for the next token.
165 void lex(unsigned SkipChar = 0);
167 /// Report an error at the current location with the given message.
169 /// This function always return true.
170 bool error(const Twine &Msg);
172 /// Report an error at the given location with the given message.
174 /// This function always return true.
175 bool error(StringRef::iterator Loc, const Twine &Msg);
178 parseBasicBlockDefinitions(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
179 bool parseBasicBlocks();
180 bool parse(MachineInstr *&MI);
181 bool parseStandaloneMBB(MachineBasicBlock *&MBB);
182 bool parseStandaloneNamedRegister(unsigned &Reg);
183 bool parseStandaloneVirtualRegister(VRegInfo *&Info);
184 bool parseStandaloneRegister(unsigned &Reg);
185 bool parseStandaloneStackObject(int &FI);
186 bool parseStandaloneMDNode(MDNode *&Node);
189 parseBasicBlockDefinition(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
190 bool parseBasicBlock(MachineBasicBlock &MBB,
191 MachineBasicBlock *&AddFalthroughFrom);
192 bool parseBasicBlockLiveins(MachineBasicBlock &MBB);
193 bool parseBasicBlockSuccessors(MachineBasicBlock &MBB);
195 bool parseNamedRegister(unsigned &Reg);
196 bool parseVirtualRegister(VRegInfo *&Info);
197 bool parseNamedVirtualRegister(VRegInfo *&Info);
198 bool parseRegister(unsigned &Reg, VRegInfo *&VRegInfo);
199 bool parseRegisterFlag(unsigned &Flags);
200 bool parseRegisterClassOrBank(VRegInfo &RegInfo);
201 bool parseSubRegisterIndex(unsigned &SubReg);
202 bool parseRegisterTiedDefIndex(unsigned &TiedDefIdx);
203 bool parseRegisterOperand(MachineOperand &Dest,
204 Optional<unsigned> &TiedDefIdx, bool IsDef = false);
205 bool parseImmediateOperand(MachineOperand &Dest);
206 bool parseIRConstant(StringRef::iterator Loc, StringRef StringValue,
208 bool parseIRConstant(StringRef::iterator Loc, const Constant *&C);
209 bool parseLowLevelType(StringRef::iterator Loc, LLT &Ty);
210 bool parseTypedImmediateOperand(MachineOperand &Dest);
211 bool parseFPImmediateOperand(MachineOperand &Dest);
212 bool parseMBBReference(MachineBasicBlock *&MBB);
213 bool parseMBBOperand(MachineOperand &Dest);
214 bool parseStackFrameIndex(int &FI);
215 bool parseStackObjectOperand(MachineOperand &Dest);
216 bool parseFixedStackFrameIndex(int &FI);
217 bool parseFixedStackObjectOperand(MachineOperand &Dest);
218 bool parseGlobalValue(GlobalValue *&GV);
219 bool parseGlobalAddressOperand(MachineOperand &Dest);
220 bool parseConstantPoolIndexOperand(MachineOperand &Dest);
221 bool parseSubRegisterIndexOperand(MachineOperand &Dest);
222 bool parseJumpTableIndexOperand(MachineOperand &Dest);
223 bool parseExternalSymbolOperand(MachineOperand &Dest);
224 bool parseMDNode(MDNode *&Node);
225 bool parseDIExpression(MDNode *&Expr);
226 bool parseMetadataOperand(MachineOperand &Dest);
227 bool parseCFIOffset(int &Offset);
228 bool parseCFIRegister(unsigned &Reg);
229 bool parseCFIEscapeValues(std::string& Values);
230 bool parseCFIOperand(MachineOperand &Dest);
231 bool parseIRBlock(BasicBlock *&BB, const Function &F);
232 bool parseBlockAddressOperand(MachineOperand &Dest);
233 bool parseIntrinsicOperand(MachineOperand &Dest);
234 bool parsePredicateOperand(MachineOperand &Dest);
235 bool parseTargetIndexOperand(MachineOperand &Dest);
236 bool parseCustomRegisterMaskOperand(MachineOperand &Dest);
237 bool parseLiveoutRegisterMaskOperand(MachineOperand &Dest);
238 bool parseMachineOperand(MachineOperand &Dest,
239 Optional<unsigned> &TiedDefIdx);
240 bool parseMachineOperandAndTargetFlags(MachineOperand &Dest,
241 Optional<unsigned> &TiedDefIdx);
242 bool parseOffset(int64_t &Offset);
243 bool parseAlignment(unsigned &Alignment);
244 bool parseAddrspace(unsigned &Addrspace);
245 bool parseOperandsOffset(MachineOperand &Op);
246 bool parseIRValue(const Value *&V);
247 bool parseMemoryOperandFlag(MachineMemOperand::Flags &Flags);
248 bool parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV);
249 bool parseMachinePointerInfo(MachinePointerInfo &Dest);
250 bool parseOptionalScope(LLVMContext &Context, SyncScope::ID &SSID);
251 bool parseOptionalAtomicOrdering(AtomicOrdering &Order);
252 bool parseMachineMemoryOperand(MachineMemOperand *&Dest);
255 /// Convert the integer literal in the current token into an unsigned integer.
257 /// Return true if an error occurred.
258 bool getUnsigned(unsigned &Result);
260 /// Convert the integer literal in the current token into an uint64.
262 /// Return true if an error occurred.
263 bool getUint64(uint64_t &Result);
265 /// Convert the hexadecimal literal in the current token into an unsigned
266 /// APInt with a minimum bitwidth required to represent the value.
268 /// Return true if the literal does not represent an integer value.
269 bool getHexUint(APInt &Result);
271 /// If the current token is of the given kind, consume it and return false.
272 /// Otherwise report an error and return true.
273 bool expectAndConsume(MIToken::TokenKind TokenKind);
275 /// If the current token is of the given kind, consume it and return true.
276 /// Otherwise return false.
277 bool consumeIfPresent(MIToken::TokenKind TokenKind);
279 void initNames2InstrOpCodes();
281 /// Try to convert an instruction name to an opcode. Return true if the
282 /// instruction name is invalid.
283 bool parseInstrName(StringRef InstrName, unsigned &OpCode);
285 bool parseInstruction(unsigned &OpCode, unsigned &Flags);
287 bool assignRegisterTies(MachineInstr &MI,
288 ArrayRef<ParsedMachineOperand> Operands);
290 bool verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
291 const MCInstrDesc &MCID);
293 void initNames2Regs();
295 /// Try to convert a register name to a register number. Return true if the
296 /// register name is invalid.
297 bool getRegisterByName(StringRef RegName, unsigned &Reg);
299 void initNames2RegMasks();
301 /// Check if the given identifier is a name of a register mask.
303 /// Return null if the identifier isn't a register mask.
304 const uint32_t *getRegMask(StringRef Identifier);
306 void initNames2SubRegIndices();
308 /// Check if the given identifier is a name of a subregister index.
310 /// Return 0 if the name isn't a subregister index class.
311 unsigned getSubRegIndex(StringRef Name);
313 const BasicBlock *getIRBlock(unsigned Slot);
314 const BasicBlock *getIRBlock(unsigned Slot, const Function &F);
316 const Value *getIRValue(unsigned Slot);
318 void initNames2TargetIndices();
320 /// Try to convert a name of target index to the corresponding target index.
322 /// Return true if the name isn't a name of a target index.
323 bool getTargetIndex(StringRef Name, int &Index);
325 void initNames2DirectTargetFlags();
327 /// Try to convert a name of a direct target flag to the corresponding
330 /// Return true if the name isn't a name of a direct flag.
331 bool getDirectTargetFlag(StringRef Name, unsigned &Flag);
333 void initNames2BitmaskTargetFlags();
335 /// Try to convert a name of a bitmask target flag to the corresponding
338 /// Return true if the name isn't a name of a bitmask target flag.
339 bool getBitmaskTargetFlag(StringRef Name, unsigned &Flag);
341 void initNames2MMOTargetFlags();
343 /// Try to convert a name of a MachineMemOperand target flag to the
344 /// corresponding target flag.
346 /// Return true if the name isn't a name of a target MMO flag.
347 bool getMMOTargetFlag(StringRef Name, MachineMemOperand::Flags &Flag);
349 /// parseStringConstant
350 /// ::= StringConstant
351 bool parseStringConstant(std::string &Result);
354 } // end anonymous namespace
356 MIParser::MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
358 : MF(PFS.MF), Error(Error), Source(Source), CurrentSource(Source), PFS(PFS)
361 void MIParser::lex(unsigned SkipChar) {
362 CurrentSource = lexMIToken(
363 CurrentSource.data() + SkipChar, Token,
364 [this](StringRef::iterator Loc, const Twine &Msg) { error(Loc, Msg); });
367 bool MIParser::error(const Twine &Msg) { return error(Token.location(), Msg); }
369 bool MIParser::error(StringRef::iterator Loc, const Twine &Msg) {
370 const SourceMgr &SM = *PFS.SM;
371 assert(Loc >= Source.data() && Loc <= (Source.data() + Source.size()));
372 const MemoryBuffer &Buffer = *SM.getMemoryBuffer(SM.getMainFileID());
373 if (Loc >= Buffer.getBufferStart() && Loc <= Buffer.getBufferEnd()) {
374 // Create an ordinary diagnostic when the source manager's buffer is the
376 Error = SM.GetMessage(SMLoc::getFromPointer(Loc), SourceMgr::DK_Error, Msg);
379 // Create a diagnostic for a YAML string literal.
380 Error = SMDiagnostic(SM, SMLoc(), Buffer.getBufferIdentifier(), 1,
381 Loc - Source.data(), SourceMgr::DK_Error, Msg.str(),
386 static const char *toString(MIToken::TokenKind TokenKind) {
394 case MIToken::lparen:
396 case MIToken::rparen:
399 return "<unknown token>";
403 bool MIParser::expectAndConsume(MIToken::TokenKind TokenKind) {
404 if (Token.isNot(TokenKind))
405 return error(Twine("expected ") + toString(TokenKind));
410 bool MIParser::consumeIfPresent(MIToken::TokenKind TokenKind) {
411 if (Token.isNot(TokenKind))
417 bool MIParser::parseBasicBlockDefinition(
418 DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
419 assert(Token.is(MIToken::MachineBasicBlockLabel));
423 auto Loc = Token.location();
424 auto Name = Token.stringValue();
426 bool HasAddressTaken = false;
427 bool IsLandingPad = false;
428 unsigned Alignment = 0;
429 BasicBlock *BB = nullptr;
430 if (consumeIfPresent(MIToken::lparen)) {
432 // TODO: Report an error when multiple same attributes are specified.
433 switch (Token.kind()) {
434 case MIToken::kw_address_taken:
435 HasAddressTaken = true;
438 case MIToken::kw_landing_pad:
442 case MIToken::kw_align:
443 if (parseAlignment(Alignment))
446 case MIToken::IRBlock:
447 // TODO: Report an error when both name and ir block are specified.
448 if (parseIRBlock(BB, MF.getFunction()))
455 } while (consumeIfPresent(MIToken::comma));
456 if (expectAndConsume(MIToken::rparen))
459 if (expectAndConsume(MIToken::colon))
463 BB = dyn_cast_or_null<BasicBlock>(
464 MF.getFunction().getValueSymbolTable()->lookup(Name));
466 return error(Loc, Twine("basic block '") + Name +
467 "' is not defined in the function '" +
470 auto *MBB = MF.CreateMachineBasicBlock(BB);
471 MF.insert(MF.end(), MBB);
472 bool WasInserted = MBBSlots.insert(std::make_pair(ID, MBB)).second;
474 return error(Loc, Twine("redefinition of machine basic block with id #") +
477 MBB->setAlignment(Alignment);
479 MBB->setHasAddressTaken();
480 MBB->setIsEHPad(IsLandingPad);
484 bool MIParser::parseBasicBlockDefinitions(
485 DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
487 // Skip until the first machine basic block.
488 while (Token.is(MIToken::Newline))
490 if (Token.isErrorOrEOF())
491 return Token.isError();
492 if (Token.isNot(MIToken::MachineBasicBlockLabel))
493 return error("expected a basic block definition before instructions");
494 unsigned BraceDepth = 0;
496 if (parseBasicBlockDefinition(MBBSlots))
498 bool IsAfterNewline = false;
499 // Skip until the next machine basic block.
501 if ((Token.is(MIToken::MachineBasicBlockLabel) && IsAfterNewline) ||
502 Token.isErrorOrEOF())
504 else if (Token.is(MIToken::MachineBasicBlockLabel))
505 return error("basic block definition should be located at the start of "
507 else if (consumeIfPresent(MIToken::Newline)) {
508 IsAfterNewline = true;
511 IsAfterNewline = false;
512 if (Token.is(MIToken::lbrace))
514 if (Token.is(MIToken::rbrace)) {
516 return error("extraneous closing brace ('}')");
521 // Verify that we closed all of the '{' at the end of a file or a block.
522 if (!Token.isError() && BraceDepth)
523 return error("expected '}'"); // FIXME: Report a note that shows '{'.
524 } while (!Token.isErrorOrEOF());
525 return Token.isError();
528 bool MIParser::parseBasicBlockLiveins(MachineBasicBlock &MBB) {
529 assert(Token.is(MIToken::kw_liveins));
531 if (expectAndConsume(MIToken::colon))
533 if (Token.isNewlineOrEOF()) // Allow an empty list of liveins.
536 if (Token.isNot(MIToken::NamedRegister))
537 return error("expected a named register");
539 if (parseNamedRegister(Reg))
542 LaneBitmask Mask = LaneBitmask::getAll();
543 if (consumeIfPresent(MIToken::colon)) {
545 if (Token.isNot(MIToken::IntegerLiteral) &&
546 Token.isNot(MIToken::HexLiteral))
547 return error("expected a lane mask");
548 static_assert(sizeof(LaneBitmask::Type) == sizeof(unsigned),
549 "Use correct get-function for lane mask");
552 return error("invalid lane mask value");
553 Mask = LaneBitmask(V);
556 MBB.addLiveIn(Reg, Mask);
557 } while (consumeIfPresent(MIToken::comma));
561 bool MIParser::parseBasicBlockSuccessors(MachineBasicBlock &MBB) {
562 assert(Token.is(MIToken::kw_successors));
564 if (expectAndConsume(MIToken::colon))
566 if (Token.isNewlineOrEOF()) // Allow an empty list of successors.
569 if (Token.isNot(MIToken::MachineBasicBlock))
570 return error("expected a machine basic block reference");
571 MachineBasicBlock *SuccMBB = nullptr;
572 if (parseMBBReference(SuccMBB))
576 if (consumeIfPresent(MIToken::lparen)) {
577 if (Token.isNot(MIToken::IntegerLiteral) &&
578 Token.isNot(MIToken::HexLiteral))
579 return error("expected an integer literal after '('");
580 if (getUnsigned(Weight))
583 if (expectAndConsume(MIToken::rparen))
586 MBB.addSuccessor(SuccMBB, BranchProbability::getRaw(Weight));
587 } while (consumeIfPresent(MIToken::comma));
588 MBB.normalizeSuccProbs();
592 bool MIParser::parseBasicBlock(MachineBasicBlock &MBB,
593 MachineBasicBlock *&AddFalthroughFrom) {
594 // Skip the definition.
595 assert(Token.is(MIToken::MachineBasicBlockLabel));
597 if (consumeIfPresent(MIToken::lparen)) {
598 while (Token.isNot(MIToken::rparen) && !Token.isErrorOrEOF())
600 consumeIfPresent(MIToken::rparen);
602 consumeIfPresent(MIToken::colon);
604 // Parse the liveins and successors.
605 // N.B: Multiple lists of successors and liveins are allowed and they're
612 // liveins: %edi, %esi
613 bool ExplicitSuccessors = false;
615 if (Token.is(MIToken::kw_successors)) {
616 if (parseBasicBlockSuccessors(MBB))
618 ExplicitSuccessors = true;
619 } else if (Token.is(MIToken::kw_liveins)) {
620 if (parseBasicBlockLiveins(MBB))
622 } else if (consumeIfPresent(MIToken::Newline)) {
626 if (!Token.isNewlineOrEOF())
627 return error("expected line break at the end of a list");
631 // Parse the instructions.
632 bool IsInBundle = false;
633 MachineInstr *PrevMI = nullptr;
634 while (!Token.is(MIToken::MachineBasicBlockLabel) &&
635 !Token.is(MIToken::Eof)) {
636 if (consumeIfPresent(MIToken::Newline))
638 if (consumeIfPresent(MIToken::rbrace)) {
639 // The first parsing pass should verify that all closing '}' have an
645 MachineInstr *MI = nullptr;
648 MBB.insert(MBB.end(), MI);
650 PrevMI->setFlag(MachineInstr::BundledSucc);
651 MI->setFlag(MachineInstr::BundledPred);
654 if (Token.is(MIToken::lbrace)) {
656 return error("nested instruction bundles are not allowed");
658 // This instruction is the start of the bundle.
659 MI->setFlag(MachineInstr::BundledSucc);
661 if (!Token.is(MIToken::Newline))
662 // The next instruction can be on the same line.
665 assert(Token.isNewlineOrEOF() && "MI is not fully parsed");
669 // Construct successor list by searching for basic block machine operands.
670 if (!ExplicitSuccessors) {
671 SmallVector<MachineBasicBlock*,4> Successors;
673 guessSuccessors(MBB, Successors, IsFallthrough);
674 for (MachineBasicBlock *Succ : Successors)
675 MBB.addSuccessor(Succ);
678 AddFalthroughFrom = &MBB;
680 MBB.normalizeSuccProbs();
687 bool MIParser::parseBasicBlocks() {
689 // Skip until the first machine basic block.
690 while (Token.is(MIToken::Newline))
692 if (Token.isErrorOrEOF())
693 return Token.isError();
694 // The first parsing pass should have verified that this token is a MBB label
695 // in the 'parseBasicBlockDefinitions' method.
696 assert(Token.is(MIToken::MachineBasicBlockLabel));
697 MachineBasicBlock *AddFalthroughFrom = nullptr;
699 MachineBasicBlock *MBB = nullptr;
700 if (parseMBBReference(MBB))
702 if (AddFalthroughFrom) {
703 if (!AddFalthroughFrom->isSuccessor(MBB))
704 AddFalthroughFrom->addSuccessor(MBB);
705 AddFalthroughFrom->normalizeSuccProbs();
706 AddFalthroughFrom = nullptr;
708 if (parseBasicBlock(*MBB, AddFalthroughFrom))
710 // The method 'parseBasicBlock' should parse the whole block until the next
711 // block or the end of file.
712 assert(Token.is(MIToken::MachineBasicBlockLabel) || Token.is(MIToken::Eof));
713 } while (Token.isNot(MIToken::Eof));
717 bool MIParser::parse(MachineInstr *&MI) {
718 // Parse any register operands before '='
719 MachineOperand MO = MachineOperand::CreateImm(0);
720 SmallVector<ParsedMachineOperand, 8> Operands;
721 while (Token.isRegister() || Token.isRegisterFlag()) {
722 auto Loc = Token.location();
723 Optional<unsigned> TiedDefIdx;
724 if (parseRegisterOperand(MO, TiedDefIdx, /*IsDef=*/true))
727 ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
728 if (Token.isNot(MIToken::comma))
732 if (!Operands.empty() && expectAndConsume(MIToken::equal))
735 unsigned OpCode, Flags = 0;
736 if (Token.isError() || parseInstruction(OpCode, Flags))
739 // Parse the remaining machine operands.
740 while (!Token.isNewlineOrEOF() && Token.isNot(MIToken::kw_debug_location) &&
741 Token.isNot(MIToken::coloncolon) && Token.isNot(MIToken::lbrace)) {
742 auto Loc = Token.location();
743 Optional<unsigned> TiedDefIdx;
744 if (parseMachineOperandAndTargetFlags(MO, TiedDefIdx))
747 ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
748 if (Token.isNewlineOrEOF() || Token.is(MIToken::coloncolon) ||
749 Token.is(MIToken::lbrace))
751 if (Token.isNot(MIToken::comma))
752 return error("expected ',' before the next machine operand");
756 DebugLoc DebugLocation;
757 if (Token.is(MIToken::kw_debug_location)) {
759 if (Token.isNot(MIToken::exclaim))
760 return error("expected a metadata node after 'debug-location'");
761 MDNode *Node = nullptr;
762 if (parseMDNode(Node))
764 DebugLocation = DebugLoc(Node);
767 // Parse the machine memory operands.
768 SmallVector<MachineMemOperand *, 2> MemOperands;
769 if (Token.is(MIToken::coloncolon)) {
771 while (!Token.isNewlineOrEOF()) {
772 MachineMemOperand *MemOp = nullptr;
773 if (parseMachineMemoryOperand(MemOp))
775 MemOperands.push_back(MemOp);
776 if (Token.isNewlineOrEOF())
778 if (Token.isNot(MIToken::comma))
779 return error("expected ',' before the next machine memory operand");
784 const auto &MCID = MF.getSubtarget().getInstrInfo()->get(OpCode);
785 if (!MCID.isVariadic()) {
786 // FIXME: Move the implicit operand verification to the machine verifier.
787 if (verifyImplicitOperands(Operands, MCID))
791 // TODO: Check for extraneous machine operands.
792 MI = MF.CreateMachineInstr(MCID, DebugLocation, /*NoImplicit=*/true);
794 for (const auto &Operand : Operands)
795 MI->addOperand(MF, Operand.Operand);
796 if (assignRegisterTies(*MI, Operands))
798 if (MemOperands.empty())
800 MachineInstr::mmo_iterator MemRefs =
801 MF.allocateMemRefsArray(MemOperands.size());
802 std::copy(MemOperands.begin(), MemOperands.end(), MemRefs);
803 MI->setMemRefs(MemRefs, MemRefs + MemOperands.size());
807 bool MIParser::parseStandaloneMBB(MachineBasicBlock *&MBB) {
809 if (Token.isNot(MIToken::MachineBasicBlock))
810 return error("expected a machine basic block reference");
811 if (parseMBBReference(MBB))
814 if (Token.isNot(MIToken::Eof))
816 "expected end of string after the machine basic block reference");
820 bool MIParser::parseStandaloneNamedRegister(unsigned &Reg) {
822 if (Token.isNot(MIToken::NamedRegister))
823 return error("expected a named register");
824 if (parseNamedRegister(Reg))
827 if (Token.isNot(MIToken::Eof))
828 return error("expected end of string after the register reference");
832 bool MIParser::parseStandaloneVirtualRegister(VRegInfo *&Info) {
834 if (Token.isNot(MIToken::VirtualRegister))
835 return error("expected a virtual register");
836 if (parseVirtualRegister(Info))
839 if (Token.isNot(MIToken::Eof))
840 return error("expected end of string after the register reference");
844 bool MIParser::parseStandaloneRegister(unsigned &Reg) {
846 if (Token.isNot(MIToken::NamedRegister) &&
847 Token.isNot(MIToken::VirtualRegister))
848 return error("expected either a named or virtual register");
851 if (parseRegister(Reg, Info))
855 if (Token.isNot(MIToken::Eof))
856 return error("expected end of string after the register reference");
860 bool MIParser::parseStandaloneStackObject(int &FI) {
862 if (Token.isNot(MIToken::StackObject))
863 return error("expected a stack object");
864 if (parseStackFrameIndex(FI))
866 if (Token.isNot(MIToken::Eof))
867 return error("expected end of string after the stack object reference");
871 bool MIParser::parseStandaloneMDNode(MDNode *&Node) {
873 if (Token.is(MIToken::exclaim)) {
874 if (parseMDNode(Node))
876 } else if (Token.is(MIToken::md_diexpr)) {
877 if (parseDIExpression(Node))
880 return error("expected a metadata node");
881 if (Token.isNot(MIToken::Eof))
882 return error("expected end of string after the metadata node");
886 static const char *printImplicitRegisterFlag(const MachineOperand &MO) {
887 assert(MO.isImplicit());
888 return MO.isDef() ? "implicit-def" : "implicit";
891 static std::string getRegisterName(const TargetRegisterInfo *TRI,
893 assert(TargetRegisterInfo::isPhysicalRegister(Reg) && "expected phys reg");
894 return StringRef(TRI->getName(Reg)).lower();
897 /// Return true if the parsed machine operands contain a given machine operand.
898 static bool isImplicitOperandIn(const MachineOperand &ImplicitOperand,
899 ArrayRef<ParsedMachineOperand> Operands) {
900 for (const auto &I : Operands) {
901 if (ImplicitOperand.isIdenticalTo(I.Operand))
907 bool MIParser::verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
908 const MCInstrDesc &MCID) {
910 // We can't verify call instructions as they can contain arbitrary implicit
911 // register and register mask operands.
914 // Gather all the expected implicit operands.
915 SmallVector<MachineOperand, 4> ImplicitOperands;
916 if (MCID.ImplicitDefs)
917 for (const MCPhysReg *ImpDefs = MCID.getImplicitDefs(); *ImpDefs; ++ImpDefs)
918 ImplicitOperands.push_back(
919 MachineOperand::CreateReg(*ImpDefs, true, true));
920 if (MCID.ImplicitUses)
921 for (const MCPhysReg *ImpUses = MCID.getImplicitUses(); *ImpUses; ++ImpUses)
922 ImplicitOperands.push_back(
923 MachineOperand::CreateReg(*ImpUses, false, true));
925 const auto *TRI = MF.getSubtarget().getRegisterInfo();
926 assert(TRI && "Expected target register info");
927 for (const auto &I : ImplicitOperands) {
928 if (isImplicitOperandIn(I, Operands))
930 return error(Operands.empty() ? Token.location() : Operands.back().End,
931 Twine("missing implicit register operand '") +
932 printImplicitRegisterFlag(I) + " $" +
933 getRegisterName(TRI, I.getReg()) + "'");
938 bool MIParser::parseInstruction(unsigned &OpCode, unsigned &Flags) {
939 // Allow frame and fast math flags for OPCODE
940 while (Token.is(MIToken::kw_frame_setup) ||
941 Token.is(MIToken::kw_frame_destroy) ||
942 Token.is(MIToken::kw_nnan) ||
943 Token.is(MIToken::kw_ninf) ||
944 Token.is(MIToken::kw_nsz) ||
945 Token.is(MIToken::kw_arcp) ||
946 Token.is(MIToken::kw_contract) ||
947 Token.is(MIToken::kw_afn) ||
948 Token.is(MIToken::kw_reassoc)) {
949 // Mine frame and fast math flags
950 if (Token.is(MIToken::kw_frame_setup))
951 Flags |= MachineInstr::FrameSetup;
952 if (Token.is(MIToken::kw_frame_destroy))
953 Flags |= MachineInstr::FrameDestroy;
954 if (Token.is(MIToken::kw_nnan))
955 Flags |= MachineInstr::FmNoNans;
956 if (Token.is(MIToken::kw_ninf))
957 Flags |= MachineInstr::FmNoInfs;
958 if (Token.is(MIToken::kw_nsz))
959 Flags |= MachineInstr::FmNsz;
960 if (Token.is(MIToken::kw_arcp))
961 Flags |= MachineInstr::FmArcp;
962 if (Token.is(MIToken::kw_contract))
963 Flags |= MachineInstr::FmContract;
964 if (Token.is(MIToken::kw_afn))
965 Flags |= MachineInstr::FmAfn;
966 if (Token.is(MIToken::kw_reassoc))
967 Flags |= MachineInstr::FmReassoc;
971 if (Token.isNot(MIToken::Identifier))
972 return error("expected a machine instruction");
973 StringRef InstrName = Token.stringValue();
974 if (parseInstrName(InstrName, OpCode))
975 return error(Twine("unknown machine instruction name '") + InstrName + "'");
980 bool MIParser::parseNamedRegister(unsigned &Reg) {
981 assert(Token.is(MIToken::NamedRegister) && "Needs NamedRegister token");
982 StringRef Name = Token.stringValue();
983 if (getRegisterByName(Name, Reg))
984 return error(Twine("unknown register name '") + Name + "'");
988 bool MIParser::parseNamedVirtualRegister(VRegInfo *&Info) {
989 assert(Token.is(MIToken::NamedVirtualRegister) && "Expected NamedVReg token");
990 StringRef Name = Token.stringValue();
991 // TODO: Check that the VReg name is not the same as a physical register name.
992 // If it is, then print a warning (when warnings are implemented).
993 Info = &PFS.getVRegInfoNamed(Name);
997 bool MIParser::parseVirtualRegister(VRegInfo *&Info) {
998 if (Token.is(MIToken::NamedVirtualRegister))
999 return parseNamedVirtualRegister(Info);
1000 assert(Token.is(MIToken::VirtualRegister) && "Needs VirtualRegister token");
1002 if (getUnsigned(ID))
1004 Info = &PFS.getVRegInfo(ID);
1008 bool MIParser::parseRegister(unsigned &Reg, VRegInfo *&Info) {
1009 switch (Token.kind()) {
1010 case MIToken::underscore:
1013 case MIToken::NamedRegister:
1014 return parseNamedRegister(Reg);
1015 case MIToken::NamedVirtualRegister:
1016 case MIToken::VirtualRegister:
1017 if (parseVirtualRegister(Info))
1021 // TODO: Parse other register kinds.
1023 llvm_unreachable("The current token should be a register");
1027 bool MIParser::parseRegisterClassOrBank(VRegInfo &RegInfo) {
1028 if (Token.isNot(MIToken::Identifier) && Token.isNot(MIToken::underscore))
1029 return error("expected '_', register class, or register bank name");
1030 StringRef::iterator Loc = Token.location();
1031 StringRef Name = Token.stringValue();
1033 // Was it a register class?
1034 auto RCNameI = PFS.Names2RegClasses.find(Name);
1035 if (RCNameI != PFS.Names2RegClasses.end()) {
1037 const TargetRegisterClass &RC = *RCNameI->getValue();
1039 switch (RegInfo.Kind) {
1040 case VRegInfo::UNKNOWN:
1041 case VRegInfo::NORMAL:
1042 RegInfo.Kind = VRegInfo::NORMAL;
1043 if (RegInfo.Explicit && RegInfo.D.RC != &RC) {
1044 const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
1045 return error(Loc, Twine("conflicting register classes, previously: ") +
1046 Twine(TRI.getRegClassName(RegInfo.D.RC)));
1049 RegInfo.Explicit = true;
1052 case VRegInfo::GENERIC:
1053 case VRegInfo::REGBANK:
1054 return error(Loc, "register class specification on generic register");
1056 llvm_unreachable("Unexpected register kind");
1059 // Should be a register bank or a generic register.
1060 const RegisterBank *RegBank = nullptr;
1062 auto RBNameI = PFS.Names2RegBanks.find(Name);
1063 if (RBNameI == PFS.Names2RegBanks.end())
1064 return error(Loc, "expected '_', register class, or register bank name");
1065 RegBank = RBNameI->getValue();
1070 switch (RegInfo.Kind) {
1071 case VRegInfo::UNKNOWN:
1072 case VRegInfo::GENERIC:
1073 case VRegInfo::REGBANK:
1074 RegInfo.Kind = RegBank ? VRegInfo::REGBANK : VRegInfo::GENERIC;
1075 if (RegInfo.Explicit && RegInfo.D.RegBank != RegBank)
1076 return error(Loc, "conflicting generic register banks");
1077 RegInfo.D.RegBank = RegBank;
1078 RegInfo.Explicit = true;
1081 case VRegInfo::NORMAL:
1082 return error(Loc, "register bank specification on normal register");
1084 llvm_unreachable("Unexpected register kind");
1087 bool MIParser::parseRegisterFlag(unsigned &Flags) {
1088 const unsigned OldFlags = Flags;
1089 switch (Token.kind()) {
1090 case MIToken::kw_implicit:
1091 Flags |= RegState::Implicit;
1093 case MIToken::kw_implicit_define:
1094 Flags |= RegState::ImplicitDefine;
1096 case MIToken::kw_def:
1097 Flags |= RegState::Define;
1099 case MIToken::kw_dead:
1100 Flags |= RegState::Dead;
1102 case MIToken::kw_killed:
1103 Flags |= RegState::Kill;
1105 case MIToken::kw_undef:
1106 Flags |= RegState::Undef;
1108 case MIToken::kw_internal:
1109 Flags |= RegState::InternalRead;
1111 case MIToken::kw_early_clobber:
1112 Flags |= RegState::EarlyClobber;
1114 case MIToken::kw_debug_use:
1115 Flags |= RegState::Debug;
1117 case MIToken::kw_renamable:
1118 Flags |= RegState::Renamable;
1121 llvm_unreachable("The current token should be a register flag");
1123 if (OldFlags == Flags)
1124 // We know that the same flag is specified more than once when the flags
1125 // weren't modified.
1126 return error("duplicate '" + Token.stringValue() + "' register flag");
1131 bool MIParser::parseSubRegisterIndex(unsigned &SubReg) {
1132 assert(Token.is(MIToken::dot));
1134 if (Token.isNot(MIToken::Identifier))
1135 return error("expected a subregister index after '.'");
1136 auto Name = Token.stringValue();
1137 SubReg = getSubRegIndex(Name);
1139 return error(Twine("use of unknown subregister index '") + Name + "'");
1144 bool MIParser::parseRegisterTiedDefIndex(unsigned &TiedDefIdx) {
1145 if (!consumeIfPresent(MIToken::kw_tied_def))
1147 if (Token.isNot(MIToken::IntegerLiteral))
1148 return error("expected an integer literal after 'tied-def'");
1149 if (getUnsigned(TiedDefIdx))
1152 if (expectAndConsume(MIToken::rparen))
1157 bool MIParser::assignRegisterTies(MachineInstr &MI,
1158 ArrayRef<ParsedMachineOperand> Operands) {
1159 SmallVector<std::pair<unsigned, unsigned>, 4> TiedRegisterPairs;
1160 for (unsigned I = 0, E = Operands.size(); I != E; ++I) {
1161 if (!Operands[I].TiedDefIdx)
1163 // The parser ensures that this operand is a register use, so we just have
1164 // to check the tied-def operand.
1165 unsigned DefIdx = Operands[I].TiedDefIdx.getValue();
1167 return error(Operands[I].Begin,
1168 Twine("use of invalid tied-def operand index '" +
1169 Twine(DefIdx) + "'; instruction has only ") +
1170 Twine(E) + " operands");
1171 const auto &DefOperand = Operands[DefIdx].Operand;
1172 if (!DefOperand.isReg() || !DefOperand.isDef())
1173 // FIXME: add note with the def operand.
1174 return error(Operands[I].Begin,
1175 Twine("use of invalid tied-def operand index '") +
1176 Twine(DefIdx) + "'; the operand #" + Twine(DefIdx) +
1177 " isn't a defined register");
1178 // Check that the tied-def operand wasn't tied elsewhere.
1179 for (const auto &TiedPair : TiedRegisterPairs) {
1180 if (TiedPair.first == DefIdx)
1181 return error(Operands[I].Begin,
1182 Twine("the tied-def operand #") + Twine(DefIdx) +
1183 " is already tied with another register operand");
1185 TiedRegisterPairs.push_back(std::make_pair(DefIdx, I));
1187 // FIXME: Verify that for non INLINEASM instructions, the def and use tied
1188 // indices must be less than tied max.
1189 for (const auto &TiedPair : TiedRegisterPairs)
1190 MI.tieOperands(TiedPair.first, TiedPair.second);
1194 bool MIParser::parseRegisterOperand(MachineOperand &Dest,
1195 Optional<unsigned> &TiedDefIdx,
1197 unsigned Flags = IsDef ? RegState::Define : 0;
1198 while (Token.isRegisterFlag()) {
1199 if (parseRegisterFlag(Flags))
1202 if (!Token.isRegister())
1203 return error("expected a register after register flags");
1206 if (parseRegister(Reg, RegInfo))
1209 unsigned SubReg = 0;
1210 if (Token.is(MIToken::dot)) {
1211 if (parseSubRegisterIndex(SubReg))
1213 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1214 return error("subregister index expects a virtual register");
1216 if (Token.is(MIToken::colon)) {
1217 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1218 return error("register class specification expects a virtual register");
1220 if (parseRegisterClassOrBank(*RegInfo))
1223 MachineRegisterInfo &MRI = MF.getRegInfo();
1224 if ((Flags & RegState::Define) == 0) {
1225 if (consumeIfPresent(MIToken::lparen)) {
1227 if (!parseRegisterTiedDefIndex(Idx))
1230 // Try a redundant low-level type.
1232 if (parseLowLevelType(Token.location(), Ty))
1233 return error("expected tied-def or low-level type after '('");
1235 if (expectAndConsume(MIToken::rparen))
1238 if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
1239 return error("inconsistent type for generic virtual register");
1241 MRI.setType(Reg, Ty);
1244 } else if (consumeIfPresent(MIToken::lparen)) {
1245 // Virtual registers may have a tpe with GlobalISel.
1246 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1247 return error("unexpected type on physical register");
1250 if (parseLowLevelType(Token.location(), Ty))
1253 if (expectAndConsume(MIToken::rparen))
1256 if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
1257 return error("inconsistent type for generic virtual register");
1259 MRI.setType(Reg, Ty);
1260 } else if (TargetRegisterInfo::isVirtualRegister(Reg)) {
1261 // Generic virtual registers must have a type.
1262 // If we end up here this means the type hasn't been specified and
1264 if (RegInfo->Kind == VRegInfo::GENERIC ||
1265 RegInfo->Kind == VRegInfo::REGBANK)
1266 return error("generic virtual registers must have a type");
1268 Dest = MachineOperand::CreateReg(
1269 Reg, Flags & RegState::Define, Flags & RegState::Implicit,
1270 Flags & RegState::Kill, Flags & RegState::Dead, Flags & RegState::Undef,
1271 Flags & RegState::EarlyClobber, SubReg, Flags & RegState::Debug,
1272 Flags & RegState::InternalRead, Flags & RegState::Renamable);
1277 bool MIParser::parseImmediateOperand(MachineOperand &Dest) {
1278 assert(Token.is(MIToken::IntegerLiteral));
1279 const APSInt &Int = Token.integerValue();
1280 if (Int.getMinSignedBits() > 64)
1281 return error("integer literal is too large to be an immediate operand");
1282 Dest = MachineOperand::CreateImm(Int.getExtValue());
1287 bool MIParser::parseIRConstant(StringRef::iterator Loc, StringRef StringValue,
1288 const Constant *&C) {
1289 auto Source = StringValue.str(); // The source has to be null terminated.
1291 C = parseConstantValue(Source, Err, *MF.getFunction().getParent(),
1294 return error(Loc + Err.getColumnNo(), Err.getMessage());
1298 bool MIParser::parseIRConstant(StringRef::iterator Loc, const Constant *&C) {
1299 if (parseIRConstant(Loc, StringRef(Loc, Token.range().end() - Loc), C))
1305 bool MIParser::parseLowLevelType(StringRef::iterator Loc, LLT &Ty) {
1306 if (Token.range().front() == 's' || Token.range().front() == 'p') {
1307 StringRef SizeStr = Token.range().drop_front();
1308 if (SizeStr.size() == 0 || !llvm::all_of(SizeStr, isdigit))
1309 return error("expected integers after 's'/'p' type character");
1312 if (Token.range().front() == 's') {
1313 Ty = LLT::scalar(APSInt(Token.range().drop_front()).getZExtValue());
1316 } else if (Token.range().front() == 'p') {
1317 const DataLayout &DL = MF.getDataLayout();
1318 unsigned AS = APSInt(Token.range().drop_front()).getZExtValue();
1319 Ty = LLT::pointer(AS, DL.getPointerSizeInBits(AS));
1324 // Now we're looking for a vector.
1325 if (Token.isNot(MIToken::less))
1327 "expected sN, pA, <M x sN>, or <M x pA> for GlobalISel type");
1330 if (Token.isNot(MIToken::IntegerLiteral))
1331 return error(Loc, "expected <M x sN> or <M x pA> for vector type");
1332 uint64_t NumElements = Token.integerValue().getZExtValue();
1335 if (Token.isNot(MIToken::Identifier) || Token.stringValue() != "x")
1336 return error(Loc, "expected <M x sN> or <M x pA> for vector type");
1339 if (Token.range().front() != 's' && Token.range().front() != 'p')
1340 return error(Loc, "expected <M x sN> or <M x pA> for vector type");
1341 StringRef SizeStr = Token.range().drop_front();
1342 if (SizeStr.size() == 0 || !llvm::all_of(SizeStr, isdigit))
1343 return error("expected integers after 's'/'p' type character");
1345 if (Token.range().front() == 's')
1346 Ty = LLT::scalar(APSInt(Token.range().drop_front()).getZExtValue());
1347 else if (Token.range().front() == 'p') {
1348 const DataLayout &DL = MF.getDataLayout();
1349 unsigned AS = APSInt(Token.range().drop_front()).getZExtValue();
1350 Ty = LLT::pointer(AS, DL.getPointerSizeInBits(AS));
1352 return error(Loc, "expected <M x sN> or <M x pA> for vector type");
1355 if (Token.isNot(MIToken::greater))
1356 return error(Loc, "expected <M x sN> or <M x pA> for vector type");
1359 Ty = LLT::vector(NumElements, Ty);
1363 bool MIParser::parseTypedImmediateOperand(MachineOperand &Dest) {
1364 assert(Token.is(MIToken::Identifier));
1365 StringRef TypeStr = Token.range();
1366 if (TypeStr.front() != 'i' && TypeStr.front() != 's' &&
1367 TypeStr.front() != 'p')
1369 "a typed immediate operand should start with one of 'i', 's', or 'p'");
1370 StringRef SizeStr = Token.range().drop_front();
1371 if (SizeStr.size() == 0 || !llvm::all_of(SizeStr, isdigit))
1372 return error("expected integers after 'i'/'s'/'p' type character");
1374 auto Loc = Token.location();
1376 if (Token.isNot(MIToken::IntegerLiteral)) {
1377 if (Token.isNot(MIToken::Identifier) ||
1378 !(Token.range() == "true" || Token.range() == "false"))
1379 return error("expected an integer literal");
1381 const Constant *C = nullptr;
1382 if (parseIRConstant(Loc, C))
1384 Dest = MachineOperand::CreateCImm(cast<ConstantInt>(C));
1388 bool MIParser::parseFPImmediateOperand(MachineOperand &Dest) {
1389 auto Loc = Token.location();
1391 if (Token.isNot(MIToken::FloatingPointLiteral) &&
1392 Token.isNot(MIToken::HexLiteral))
1393 return error("expected a floating point literal");
1394 const Constant *C = nullptr;
1395 if (parseIRConstant(Loc, C))
1397 Dest = MachineOperand::CreateFPImm(cast<ConstantFP>(C));
1401 bool MIParser::getUnsigned(unsigned &Result) {
1402 if (Token.hasIntegerValue()) {
1403 const uint64_t Limit = uint64_t(std::numeric_limits<unsigned>::max()) + 1;
1404 uint64_t Val64 = Token.integerValue().getLimitedValue(Limit);
1406 return error("expected 32-bit integer (too large)");
1410 if (Token.is(MIToken::HexLiteral)) {
1414 if (A.getBitWidth() > 32)
1415 return error("expected 32-bit integer (too large)");
1416 Result = A.getZExtValue();
1422 bool MIParser::parseMBBReference(MachineBasicBlock *&MBB) {
1423 assert(Token.is(MIToken::MachineBasicBlock) ||
1424 Token.is(MIToken::MachineBasicBlockLabel));
1426 if (getUnsigned(Number))
1428 auto MBBInfo = PFS.MBBSlots.find(Number);
1429 if (MBBInfo == PFS.MBBSlots.end())
1430 return error(Twine("use of undefined machine basic block #") +
1432 MBB = MBBInfo->second;
1433 // TODO: Only parse the name if it's a MachineBasicBlockLabel. Deprecate once
1434 // we drop the <irname> from the bb.<id>.<irname> format.
1435 if (!Token.stringValue().empty() && Token.stringValue() != MBB->getName())
1436 return error(Twine("the name of machine basic block #") + Twine(Number) +
1437 " isn't '" + Token.stringValue() + "'");
1441 bool MIParser::parseMBBOperand(MachineOperand &Dest) {
1442 MachineBasicBlock *MBB;
1443 if (parseMBBReference(MBB))
1445 Dest = MachineOperand::CreateMBB(MBB);
1450 bool MIParser::parseStackFrameIndex(int &FI) {
1451 assert(Token.is(MIToken::StackObject));
1453 if (getUnsigned(ID))
1455 auto ObjectInfo = PFS.StackObjectSlots.find(ID);
1456 if (ObjectInfo == PFS.StackObjectSlots.end())
1457 return error(Twine("use of undefined stack object '%stack.") + Twine(ID) +
1460 if (const auto *Alloca =
1461 MF.getFrameInfo().getObjectAllocation(ObjectInfo->second))
1462 Name = Alloca->getName();
1463 if (!Token.stringValue().empty() && Token.stringValue() != Name)
1464 return error(Twine("the name of the stack object '%stack.") + Twine(ID) +
1465 "' isn't '" + Token.stringValue() + "'");
1467 FI = ObjectInfo->second;
1471 bool MIParser::parseStackObjectOperand(MachineOperand &Dest) {
1473 if (parseStackFrameIndex(FI))
1475 Dest = MachineOperand::CreateFI(FI);
1479 bool MIParser::parseFixedStackFrameIndex(int &FI) {
1480 assert(Token.is(MIToken::FixedStackObject));
1482 if (getUnsigned(ID))
1484 auto ObjectInfo = PFS.FixedStackObjectSlots.find(ID);
1485 if (ObjectInfo == PFS.FixedStackObjectSlots.end())
1486 return error(Twine("use of undefined fixed stack object '%fixed-stack.") +
1489 FI = ObjectInfo->second;
1493 bool MIParser::parseFixedStackObjectOperand(MachineOperand &Dest) {
1495 if (parseFixedStackFrameIndex(FI))
1497 Dest = MachineOperand::CreateFI(FI);
1501 bool MIParser::parseGlobalValue(GlobalValue *&GV) {
1502 switch (Token.kind()) {
1503 case MIToken::NamedGlobalValue: {
1504 const Module *M = MF.getFunction().getParent();
1505 GV = M->getNamedValue(Token.stringValue());
1507 return error(Twine("use of undefined global value '") + Token.range() +
1511 case MIToken::GlobalValue: {
1513 if (getUnsigned(GVIdx))
1515 if (GVIdx >= PFS.IRSlots.GlobalValues.size())
1516 return error(Twine("use of undefined global value '@") + Twine(GVIdx) +
1518 GV = PFS.IRSlots.GlobalValues[GVIdx];
1522 llvm_unreachable("The current token should be a global value");
1527 bool MIParser::parseGlobalAddressOperand(MachineOperand &Dest) {
1528 GlobalValue *GV = nullptr;
1529 if (parseGlobalValue(GV))
1532 Dest = MachineOperand::CreateGA(GV, /*Offset=*/0);
1533 if (parseOperandsOffset(Dest))
1538 bool MIParser::parseConstantPoolIndexOperand(MachineOperand &Dest) {
1539 assert(Token.is(MIToken::ConstantPoolItem));
1541 if (getUnsigned(ID))
1543 auto ConstantInfo = PFS.ConstantPoolSlots.find(ID);
1544 if (ConstantInfo == PFS.ConstantPoolSlots.end())
1545 return error("use of undefined constant '%const." + Twine(ID) + "'");
1547 Dest = MachineOperand::CreateCPI(ID, /*Offset=*/0);
1548 if (parseOperandsOffset(Dest))
1553 bool MIParser::parseJumpTableIndexOperand(MachineOperand &Dest) {
1554 assert(Token.is(MIToken::JumpTableIndex));
1556 if (getUnsigned(ID))
1558 auto JumpTableEntryInfo = PFS.JumpTableSlots.find(ID);
1559 if (JumpTableEntryInfo == PFS.JumpTableSlots.end())
1560 return error("use of undefined jump table '%jump-table." + Twine(ID) + "'");
1562 Dest = MachineOperand::CreateJTI(JumpTableEntryInfo->second);
1566 bool MIParser::parseExternalSymbolOperand(MachineOperand &Dest) {
1567 assert(Token.is(MIToken::ExternalSymbol));
1568 const char *Symbol = MF.createExternalSymbolName(Token.stringValue());
1570 Dest = MachineOperand::CreateES(Symbol);
1571 if (parseOperandsOffset(Dest))
1576 bool MIParser::parseSubRegisterIndexOperand(MachineOperand &Dest) {
1577 assert(Token.is(MIToken::SubRegisterIndex));
1578 StringRef Name = Token.stringValue();
1579 unsigned SubRegIndex = getSubRegIndex(Token.stringValue());
1580 if (SubRegIndex == 0)
1581 return error(Twine("unknown subregister index '") + Name + "'");
1583 Dest = MachineOperand::CreateImm(SubRegIndex);
1587 bool MIParser::parseMDNode(MDNode *&Node) {
1588 assert(Token.is(MIToken::exclaim));
1590 auto Loc = Token.location();
1592 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
1593 return error("expected metadata id after '!'");
1595 if (getUnsigned(ID))
1597 auto NodeInfo = PFS.IRSlots.MetadataNodes.find(ID);
1598 if (NodeInfo == PFS.IRSlots.MetadataNodes.end())
1599 return error(Loc, "use of undefined metadata '!" + Twine(ID) + "'");
1601 Node = NodeInfo->second.get();
1605 bool MIParser::parseDIExpression(MDNode *&Expr) {
1606 assert(Token.is(MIToken::md_diexpr));
1609 // FIXME: Share this parsing with the IL parser.
1610 SmallVector<uint64_t, 8> Elements;
1612 if (expectAndConsume(MIToken::lparen))
1615 if (Token.isNot(MIToken::rparen)) {
1617 if (Token.is(MIToken::Identifier)) {
1618 if (unsigned Op = dwarf::getOperationEncoding(Token.stringValue())) {
1620 Elements.push_back(Op);
1623 return error(Twine("invalid DWARF op '") + Token.stringValue() + "'");
1626 if (Token.isNot(MIToken::IntegerLiteral) ||
1627 Token.integerValue().isSigned())
1628 return error("expected unsigned integer");
1630 auto &U = Token.integerValue();
1631 if (U.ugt(UINT64_MAX))
1632 return error("element too large, limit is " + Twine(UINT64_MAX));
1633 Elements.push_back(U.getZExtValue());
1636 } while (consumeIfPresent(MIToken::comma));
1639 if (expectAndConsume(MIToken::rparen))
1642 Expr = DIExpression::get(MF.getFunction().getContext(), Elements);
1646 bool MIParser::parseMetadataOperand(MachineOperand &Dest) {
1647 MDNode *Node = nullptr;
1648 if (Token.is(MIToken::exclaim)) {
1649 if (parseMDNode(Node))
1651 } else if (Token.is(MIToken::md_diexpr)) {
1652 if (parseDIExpression(Node))
1655 Dest = MachineOperand::CreateMetadata(Node);
1659 bool MIParser::parseCFIOffset(int &Offset) {
1660 if (Token.isNot(MIToken::IntegerLiteral))
1661 return error("expected a cfi offset");
1662 if (Token.integerValue().getMinSignedBits() > 32)
1663 return error("expected a 32 bit integer (the cfi offset is too large)");
1664 Offset = (int)Token.integerValue().getExtValue();
1669 bool MIParser::parseCFIRegister(unsigned &Reg) {
1670 if (Token.isNot(MIToken::NamedRegister))
1671 return error("expected a cfi register");
1673 if (parseNamedRegister(LLVMReg))
1675 const auto *TRI = MF.getSubtarget().getRegisterInfo();
1676 assert(TRI && "Expected target register info");
1677 int DwarfReg = TRI->getDwarfRegNum(LLVMReg, true);
1679 return error("invalid DWARF register");
1680 Reg = (unsigned)DwarfReg;
1685 bool MIParser::parseCFIEscapeValues(std::string &Values) {
1687 if (Token.isNot(MIToken::HexLiteral))
1688 return error("expected a hexadecimal literal");
1690 if (getUnsigned(Value))
1692 if (Value > UINT8_MAX)
1693 return error("expected a 8-bit integer (too large)");
1694 Values.push_back(static_cast<uint8_t>(Value));
1696 } while (consumeIfPresent(MIToken::comma));
1700 bool MIParser::parseCFIOperand(MachineOperand &Dest) {
1701 auto Kind = Token.kind();
1707 case MIToken::kw_cfi_same_value:
1708 if (parseCFIRegister(Reg))
1710 CFIIndex = MF.addFrameInst(MCCFIInstruction::createSameValue(nullptr, Reg));
1712 case MIToken::kw_cfi_offset:
1713 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1714 parseCFIOffset(Offset))
1717 MF.addFrameInst(MCCFIInstruction::createOffset(nullptr, Reg, Offset));
1719 case MIToken::kw_cfi_rel_offset:
1720 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1721 parseCFIOffset(Offset))
1723 CFIIndex = MF.addFrameInst(
1724 MCCFIInstruction::createRelOffset(nullptr, Reg, Offset));
1726 case MIToken::kw_cfi_def_cfa_register:
1727 if (parseCFIRegister(Reg))
1730 MF.addFrameInst(MCCFIInstruction::createDefCfaRegister(nullptr, Reg));
1732 case MIToken::kw_cfi_def_cfa_offset:
1733 if (parseCFIOffset(Offset))
1735 // NB: MCCFIInstruction::createDefCfaOffset negates the offset.
1736 CFIIndex = MF.addFrameInst(
1737 MCCFIInstruction::createDefCfaOffset(nullptr, -Offset));
1739 case MIToken::kw_cfi_adjust_cfa_offset:
1740 if (parseCFIOffset(Offset))
1742 CFIIndex = MF.addFrameInst(
1743 MCCFIInstruction::createAdjustCfaOffset(nullptr, Offset));
1745 case MIToken::kw_cfi_def_cfa:
1746 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1747 parseCFIOffset(Offset))
1749 // NB: MCCFIInstruction::createDefCfa negates the offset.
1751 MF.addFrameInst(MCCFIInstruction::createDefCfa(nullptr, Reg, -Offset));
1753 case MIToken::kw_cfi_remember_state:
1754 CFIIndex = MF.addFrameInst(MCCFIInstruction::createRememberState(nullptr));
1756 case MIToken::kw_cfi_restore:
1757 if (parseCFIRegister(Reg))
1759 CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestore(nullptr, Reg));
1761 case MIToken::kw_cfi_restore_state:
1762 CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestoreState(nullptr));
1764 case MIToken::kw_cfi_undefined:
1765 if (parseCFIRegister(Reg))
1767 CFIIndex = MF.addFrameInst(MCCFIInstruction::createUndefined(nullptr, Reg));
1769 case MIToken::kw_cfi_register: {
1771 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1772 parseCFIRegister(Reg2))
1776 MF.addFrameInst(MCCFIInstruction::createRegister(nullptr, Reg, Reg2));
1779 case MIToken::kw_cfi_window_save:
1780 CFIIndex = MF.addFrameInst(MCCFIInstruction::createWindowSave(nullptr));
1782 case MIToken::kw_cfi_escape: {
1784 if (parseCFIEscapeValues(Values))
1786 CFIIndex = MF.addFrameInst(MCCFIInstruction::createEscape(nullptr, Values));
1790 // TODO: Parse the other CFI operands.
1791 llvm_unreachable("The current token should be a cfi operand");
1793 Dest = MachineOperand::CreateCFIIndex(CFIIndex);
1797 bool MIParser::parseIRBlock(BasicBlock *&BB, const Function &F) {
1798 switch (Token.kind()) {
1799 case MIToken::NamedIRBlock: {
1800 BB = dyn_cast_or_null<BasicBlock>(
1801 F.getValueSymbolTable()->lookup(Token.stringValue()));
1803 return error(Twine("use of undefined IR block '") + Token.range() + "'");
1806 case MIToken::IRBlock: {
1807 unsigned SlotNumber = 0;
1808 if (getUnsigned(SlotNumber))
1810 BB = const_cast<BasicBlock *>(getIRBlock(SlotNumber, F));
1812 return error(Twine("use of undefined IR block '%ir-block.") +
1813 Twine(SlotNumber) + "'");
1817 llvm_unreachable("The current token should be an IR block reference");
1822 bool MIParser::parseBlockAddressOperand(MachineOperand &Dest) {
1823 assert(Token.is(MIToken::kw_blockaddress));
1825 if (expectAndConsume(MIToken::lparen))
1827 if (Token.isNot(MIToken::GlobalValue) &&
1828 Token.isNot(MIToken::NamedGlobalValue))
1829 return error("expected a global value");
1830 GlobalValue *GV = nullptr;
1831 if (parseGlobalValue(GV))
1833 auto *F = dyn_cast<Function>(GV);
1835 return error("expected an IR function reference");
1837 if (expectAndConsume(MIToken::comma))
1839 BasicBlock *BB = nullptr;
1840 if (Token.isNot(MIToken::IRBlock) && Token.isNot(MIToken::NamedIRBlock))
1841 return error("expected an IR block reference");
1842 if (parseIRBlock(BB, *F))
1845 if (expectAndConsume(MIToken::rparen))
1847 Dest = MachineOperand::CreateBA(BlockAddress::get(F, BB), /*Offset=*/0);
1848 if (parseOperandsOffset(Dest))
1853 bool MIParser::parseIntrinsicOperand(MachineOperand &Dest) {
1854 assert(Token.is(MIToken::kw_intrinsic));
1856 if (expectAndConsume(MIToken::lparen))
1857 return error("expected syntax intrinsic(@llvm.whatever)");
1859 if (Token.isNot(MIToken::NamedGlobalValue))
1860 return error("expected syntax intrinsic(@llvm.whatever)");
1862 std::string Name = Token.stringValue();
1865 if (expectAndConsume(MIToken::rparen))
1866 return error("expected ')' to terminate intrinsic name");
1868 // Find out what intrinsic we're dealing with, first try the global namespace
1869 // and then the target's private intrinsics if that fails.
1870 const TargetIntrinsicInfo *TII = MF.getTarget().getIntrinsicInfo();
1871 Intrinsic::ID ID = Function::lookupIntrinsicID(Name);
1872 if (ID == Intrinsic::not_intrinsic && TII)
1873 ID = static_cast<Intrinsic::ID>(TII->lookupName(Name));
1875 if (ID == Intrinsic::not_intrinsic)
1876 return error("unknown intrinsic name");
1877 Dest = MachineOperand::CreateIntrinsicID(ID);
1882 bool MIParser::parsePredicateOperand(MachineOperand &Dest) {
1883 assert(Token.is(MIToken::kw_intpred) || Token.is(MIToken::kw_floatpred));
1884 bool IsFloat = Token.is(MIToken::kw_floatpred);
1887 if (expectAndConsume(MIToken::lparen))
1888 return error("expected syntax intpred(whatever) or floatpred(whatever");
1890 if (Token.isNot(MIToken::Identifier))
1891 return error("whatever");
1893 CmpInst::Predicate Pred;
1895 Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
1896 .Case("false", CmpInst::FCMP_FALSE)
1897 .Case("oeq", CmpInst::FCMP_OEQ)
1898 .Case("ogt", CmpInst::FCMP_OGT)
1899 .Case("oge", CmpInst::FCMP_OGE)
1900 .Case("olt", CmpInst::FCMP_OLT)
1901 .Case("ole", CmpInst::FCMP_OLE)
1902 .Case("one", CmpInst::FCMP_ONE)
1903 .Case("ord", CmpInst::FCMP_ORD)
1904 .Case("uno", CmpInst::FCMP_UNO)
1905 .Case("ueq", CmpInst::FCMP_UEQ)
1906 .Case("ugt", CmpInst::FCMP_UGT)
1907 .Case("uge", CmpInst::FCMP_UGE)
1908 .Case("ult", CmpInst::FCMP_ULT)
1909 .Case("ule", CmpInst::FCMP_ULE)
1910 .Case("une", CmpInst::FCMP_UNE)
1911 .Case("true", CmpInst::FCMP_TRUE)
1912 .Default(CmpInst::BAD_FCMP_PREDICATE);
1913 if (!CmpInst::isFPPredicate(Pred))
1914 return error("invalid floating-point predicate");
1916 Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
1917 .Case("eq", CmpInst::ICMP_EQ)
1918 .Case("ne", CmpInst::ICMP_NE)
1919 .Case("sgt", CmpInst::ICMP_SGT)
1920 .Case("sge", CmpInst::ICMP_SGE)
1921 .Case("slt", CmpInst::ICMP_SLT)
1922 .Case("sle", CmpInst::ICMP_SLE)
1923 .Case("ugt", CmpInst::ICMP_UGT)
1924 .Case("uge", CmpInst::ICMP_UGE)
1925 .Case("ult", CmpInst::ICMP_ULT)
1926 .Case("ule", CmpInst::ICMP_ULE)
1927 .Default(CmpInst::BAD_ICMP_PREDICATE);
1928 if (!CmpInst::isIntPredicate(Pred))
1929 return error("invalid integer predicate");
1933 Dest = MachineOperand::CreatePredicate(Pred);
1934 if (expectAndConsume(MIToken::rparen))
1935 return error("predicate should be terminated by ')'.");
1940 bool MIParser::parseTargetIndexOperand(MachineOperand &Dest) {
1941 assert(Token.is(MIToken::kw_target_index));
1943 if (expectAndConsume(MIToken::lparen))
1945 if (Token.isNot(MIToken::Identifier))
1946 return error("expected the name of the target index");
1948 if (getTargetIndex(Token.stringValue(), Index))
1949 return error("use of undefined target index '" + Token.stringValue() + "'");
1951 if (expectAndConsume(MIToken::rparen))
1953 Dest = MachineOperand::CreateTargetIndex(unsigned(Index), /*Offset=*/0);
1954 if (parseOperandsOffset(Dest))
1959 bool MIParser::parseCustomRegisterMaskOperand(MachineOperand &Dest) {
1960 assert(Token.stringValue() == "CustomRegMask" && "Expected a custom RegMask");
1962 if (expectAndConsume(MIToken::lparen))
1965 uint32_t *Mask = MF.allocateRegMask();
1967 if (Token.isNot(MIToken::NamedRegister))
1968 return error("expected a named register");
1970 if (parseNamedRegister(Reg))
1973 Mask[Reg / 32] |= 1U << (Reg % 32);
1974 // TODO: Report an error if the same register is used more than once.
1975 if (Token.isNot(MIToken::comma))
1980 if (expectAndConsume(MIToken::rparen))
1982 Dest = MachineOperand::CreateRegMask(Mask);
1986 bool MIParser::parseLiveoutRegisterMaskOperand(MachineOperand &Dest) {
1987 assert(Token.is(MIToken::kw_liveout));
1988 uint32_t *Mask = MF.allocateRegMask();
1990 if (expectAndConsume(MIToken::lparen))
1993 if (Token.isNot(MIToken::NamedRegister))
1994 return error("expected a named register");
1996 if (parseNamedRegister(Reg))
1999 Mask[Reg / 32] |= 1U << (Reg % 32);
2000 // TODO: Report an error if the same register is used more than once.
2001 if (Token.isNot(MIToken::comma))
2005 if (expectAndConsume(MIToken::rparen))
2007 Dest = MachineOperand::CreateRegLiveOut(Mask);
2011 bool MIParser::parseMachineOperand(MachineOperand &Dest,
2012 Optional<unsigned> &TiedDefIdx) {
2013 switch (Token.kind()) {
2014 case MIToken::kw_implicit:
2015 case MIToken::kw_implicit_define:
2016 case MIToken::kw_def:
2017 case MIToken::kw_dead:
2018 case MIToken::kw_killed:
2019 case MIToken::kw_undef:
2020 case MIToken::kw_internal:
2021 case MIToken::kw_early_clobber:
2022 case MIToken::kw_debug_use:
2023 case MIToken::kw_renamable:
2024 case MIToken::underscore:
2025 case MIToken::NamedRegister:
2026 case MIToken::VirtualRegister:
2027 case MIToken::NamedVirtualRegister:
2028 return parseRegisterOperand(Dest, TiedDefIdx);
2029 case MIToken::IntegerLiteral:
2030 return parseImmediateOperand(Dest);
2031 case MIToken::kw_half:
2032 case MIToken::kw_float:
2033 case MIToken::kw_double:
2034 case MIToken::kw_x86_fp80:
2035 case MIToken::kw_fp128:
2036 case MIToken::kw_ppc_fp128:
2037 return parseFPImmediateOperand(Dest);
2038 case MIToken::MachineBasicBlock:
2039 return parseMBBOperand(Dest);
2040 case MIToken::StackObject:
2041 return parseStackObjectOperand(Dest);
2042 case MIToken::FixedStackObject:
2043 return parseFixedStackObjectOperand(Dest);
2044 case MIToken::GlobalValue:
2045 case MIToken::NamedGlobalValue:
2046 return parseGlobalAddressOperand(Dest);
2047 case MIToken::ConstantPoolItem:
2048 return parseConstantPoolIndexOperand(Dest);
2049 case MIToken::JumpTableIndex:
2050 return parseJumpTableIndexOperand(Dest);
2051 case MIToken::ExternalSymbol:
2052 return parseExternalSymbolOperand(Dest);
2053 case MIToken::SubRegisterIndex:
2054 return parseSubRegisterIndexOperand(Dest);
2055 case MIToken::md_diexpr:
2056 case MIToken::exclaim:
2057 return parseMetadataOperand(Dest);
2058 case MIToken::kw_cfi_same_value:
2059 case MIToken::kw_cfi_offset:
2060 case MIToken::kw_cfi_rel_offset:
2061 case MIToken::kw_cfi_def_cfa_register:
2062 case MIToken::kw_cfi_def_cfa_offset:
2063 case MIToken::kw_cfi_adjust_cfa_offset:
2064 case MIToken::kw_cfi_escape:
2065 case MIToken::kw_cfi_def_cfa:
2066 case MIToken::kw_cfi_register:
2067 case MIToken::kw_cfi_remember_state:
2068 case MIToken::kw_cfi_restore:
2069 case MIToken::kw_cfi_restore_state:
2070 case MIToken::kw_cfi_undefined:
2071 case MIToken::kw_cfi_window_save:
2072 return parseCFIOperand(Dest);
2073 case MIToken::kw_blockaddress:
2074 return parseBlockAddressOperand(Dest);
2075 case MIToken::kw_intrinsic:
2076 return parseIntrinsicOperand(Dest);
2077 case MIToken::kw_target_index:
2078 return parseTargetIndexOperand(Dest);
2079 case MIToken::kw_liveout:
2080 return parseLiveoutRegisterMaskOperand(Dest);
2081 case MIToken::kw_floatpred:
2082 case MIToken::kw_intpred:
2083 return parsePredicateOperand(Dest);
2084 case MIToken::Error:
2086 case MIToken::Identifier:
2087 if (const auto *RegMask = getRegMask(Token.stringValue())) {
2088 Dest = MachineOperand::CreateRegMask(RegMask);
2091 } else if (Token.stringValue() == "CustomRegMask") {
2092 return parseCustomRegisterMaskOperand(Dest);
2094 return parseTypedImmediateOperand(Dest);
2096 // FIXME: Parse the MCSymbol machine operand.
2097 return error("expected a machine operand");
2102 bool MIParser::parseMachineOperandAndTargetFlags(
2103 MachineOperand &Dest, Optional<unsigned> &TiedDefIdx) {
2105 bool HasTargetFlags = false;
2106 if (Token.is(MIToken::kw_target_flags)) {
2107 HasTargetFlags = true;
2109 if (expectAndConsume(MIToken::lparen))
2111 if (Token.isNot(MIToken::Identifier))
2112 return error("expected the name of the target flag");
2113 if (getDirectTargetFlag(Token.stringValue(), TF)) {
2114 if (getBitmaskTargetFlag(Token.stringValue(), TF))
2115 return error("use of undefined target flag '" + Token.stringValue() +
2119 while (Token.is(MIToken::comma)) {
2121 if (Token.isNot(MIToken::Identifier))
2122 return error("expected the name of the target flag");
2123 unsigned BitFlag = 0;
2124 if (getBitmaskTargetFlag(Token.stringValue(), BitFlag))
2125 return error("use of undefined target flag '" + Token.stringValue() +
2127 // TODO: Report an error when using a duplicate bit target flag.
2131 if (expectAndConsume(MIToken::rparen))
2134 auto Loc = Token.location();
2135 if (parseMachineOperand(Dest, TiedDefIdx))
2137 if (!HasTargetFlags)
2140 return error(Loc, "register operands can't have target flags");
2141 Dest.setTargetFlags(TF);
2145 bool MIParser::parseOffset(int64_t &Offset) {
2146 if (Token.isNot(MIToken::plus) && Token.isNot(MIToken::minus))
2148 StringRef Sign = Token.range();
2149 bool IsNegative = Token.is(MIToken::minus);
2151 if (Token.isNot(MIToken::IntegerLiteral))
2152 return error("expected an integer literal after '" + Sign + "'");
2153 if (Token.integerValue().getMinSignedBits() > 64)
2154 return error("expected 64-bit integer (too large)");
2155 Offset = Token.integerValue().getExtValue();
2162 bool MIParser::parseAlignment(unsigned &Alignment) {
2163 assert(Token.is(MIToken::kw_align));
2165 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
2166 return error("expected an integer literal after 'align'");
2167 if (getUnsigned(Alignment))
2173 bool MIParser::parseAddrspace(unsigned &Addrspace) {
2174 assert(Token.is(MIToken::kw_addrspace));
2176 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
2177 return error("expected an integer literal after 'addrspace'");
2178 if (getUnsigned(Addrspace))
2184 bool MIParser::parseOperandsOffset(MachineOperand &Op) {
2186 if (parseOffset(Offset))
2188 Op.setOffset(Offset);
2192 bool MIParser::parseIRValue(const Value *&V) {
2193 switch (Token.kind()) {
2194 case MIToken::NamedIRValue: {
2195 V = MF.getFunction().getValueSymbolTable()->lookup(Token.stringValue());
2198 case MIToken::IRValue: {
2199 unsigned SlotNumber = 0;
2200 if (getUnsigned(SlotNumber))
2202 V = getIRValue(SlotNumber);
2205 case MIToken::NamedGlobalValue:
2206 case MIToken::GlobalValue: {
2207 GlobalValue *GV = nullptr;
2208 if (parseGlobalValue(GV))
2213 case MIToken::QuotedIRValue: {
2214 const Constant *C = nullptr;
2215 if (parseIRConstant(Token.location(), Token.stringValue(), C))
2221 llvm_unreachable("The current token should be an IR block reference");
2224 return error(Twine("use of undefined IR value '") + Token.range() + "'");
2228 bool MIParser::getUint64(uint64_t &Result) {
2229 if (Token.hasIntegerValue()) {
2230 if (Token.integerValue().getActiveBits() > 64)
2231 return error("expected 64-bit integer (too large)");
2232 Result = Token.integerValue().getZExtValue();
2235 if (Token.is(MIToken::HexLiteral)) {
2239 if (A.getBitWidth() > 64)
2240 return error("expected 64-bit integer (too large)");
2241 Result = A.getZExtValue();
2247 bool MIParser::getHexUint(APInt &Result) {
2248 assert(Token.is(MIToken::HexLiteral));
2249 StringRef S = Token.range();
2250 assert(S[0] == '0' && tolower(S[1]) == 'x');
2251 // This could be a floating point literal with a special prefix.
2252 if (!isxdigit(S[2]))
2254 StringRef V = S.substr(2);
2255 APInt A(V.size()*4, V, 16);
2257 // If A is 0, then A.getActiveBits() is 0. This isn't a valid bitwidth. Make
2258 // sure it isn't the case before constructing result.
2259 unsigned NumBits = (A == 0) ? 32 : A.getActiveBits();
2260 Result = APInt(NumBits, ArrayRef<uint64_t>(A.getRawData(), A.getNumWords()));
2264 bool MIParser::parseMemoryOperandFlag(MachineMemOperand::Flags &Flags) {
2265 const auto OldFlags = Flags;
2266 switch (Token.kind()) {
2267 case MIToken::kw_volatile:
2268 Flags |= MachineMemOperand::MOVolatile;
2270 case MIToken::kw_non_temporal:
2271 Flags |= MachineMemOperand::MONonTemporal;
2273 case MIToken::kw_dereferenceable:
2274 Flags |= MachineMemOperand::MODereferenceable;
2276 case MIToken::kw_invariant:
2277 Flags |= MachineMemOperand::MOInvariant;
2279 case MIToken::StringConstant: {
2280 MachineMemOperand::Flags TF;
2281 if (getMMOTargetFlag(Token.stringValue(), TF))
2282 return error("use of undefined target MMO flag '" + Token.stringValue() +
2288 llvm_unreachable("The current token should be a memory operand flag");
2290 if (OldFlags == Flags)
2291 // We know that the same flag is specified more than once when the flags
2292 // weren't modified.
2293 return error("duplicate '" + Token.stringValue() + "' memory operand flag");
2298 bool MIParser::parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV) {
2299 switch (Token.kind()) {
2300 case MIToken::kw_stack:
2301 PSV = MF.getPSVManager().getStack();
2303 case MIToken::kw_got:
2304 PSV = MF.getPSVManager().getGOT();
2306 case MIToken::kw_jump_table:
2307 PSV = MF.getPSVManager().getJumpTable();
2309 case MIToken::kw_constant_pool:
2310 PSV = MF.getPSVManager().getConstantPool();
2312 case MIToken::FixedStackObject: {
2314 if (parseFixedStackFrameIndex(FI))
2316 PSV = MF.getPSVManager().getFixedStack(FI);
2317 // The token was already consumed, so use return here instead of break.
2320 case MIToken::StackObject: {
2322 if (parseStackFrameIndex(FI))
2324 PSV = MF.getPSVManager().getFixedStack(FI);
2325 // The token was already consumed, so use return here instead of break.
2328 case MIToken::kw_call_entry:
2330 switch (Token.kind()) {
2331 case MIToken::GlobalValue:
2332 case MIToken::NamedGlobalValue: {
2333 GlobalValue *GV = nullptr;
2334 if (parseGlobalValue(GV))
2336 PSV = MF.getPSVManager().getGlobalValueCallEntry(GV);
2339 case MIToken::ExternalSymbol:
2340 PSV = MF.getPSVManager().getExternalSymbolCallEntry(
2341 MF.createExternalSymbolName(Token.stringValue()));
2345 "expected a global value or an external symbol after 'call-entry'");
2349 llvm_unreachable("The current token should be pseudo source value");
2355 bool MIParser::parseMachinePointerInfo(MachinePointerInfo &Dest) {
2356 if (Token.is(MIToken::kw_constant_pool) || Token.is(MIToken::kw_stack) ||
2357 Token.is(MIToken::kw_got) || Token.is(MIToken::kw_jump_table) ||
2358 Token.is(MIToken::FixedStackObject) || Token.is(MIToken::StackObject) ||
2359 Token.is(MIToken::kw_call_entry)) {
2360 const PseudoSourceValue *PSV = nullptr;
2361 if (parseMemoryPseudoSourceValue(PSV))
2364 if (parseOffset(Offset))
2366 Dest = MachinePointerInfo(PSV, Offset);
2369 if (Token.isNot(MIToken::NamedIRValue) && Token.isNot(MIToken::IRValue) &&
2370 Token.isNot(MIToken::GlobalValue) &&
2371 Token.isNot(MIToken::NamedGlobalValue) &&
2372 Token.isNot(MIToken::QuotedIRValue))
2373 return error("expected an IR value reference");
2374 const Value *V = nullptr;
2375 if (parseIRValue(V))
2377 if (!V->getType()->isPointerTy())
2378 return error("expected a pointer IR value");
2381 if (parseOffset(Offset))
2383 Dest = MachinePointerInfo(V, Offset);
2387 bool MIParser::parseOptionalScope(LLVMContext &Context,
2388 SyncScope::ID &SSID) {
2389 SSID = SyncScope::System;
2390 if (Token.is(MIToken::Identifier) && Token.stringValue() == "syncscope") {
2392 if (expectAndConsume(MIToken::lparen))
2393 return error("expected '(' in syncscope");
2396 if (parseStringConstant(SSN))
2399 SSID = Context.getOrInsertSyncScopeID(SSN);
2400 if (expectAndConsume(MIToken::rparen))
2401 return error("expected ')' in syncscope");
2407 bool MIParser::parseOptionalAtomicOrdering(AtomicOrdering &Order) {
2408 Order = AtomicOrdering::NotAtomic;
2409 if (Token.isNot(MIToken::Identifier))
2412 Order = StringSwitch<AtomicOrdering>(Token.stringValue())
2413 .Case("unordered", AtomicOrdering::Unordered)
2414 .Case("monotonic", AtomicOrdering::Monotonic)
2415 .Case("acquire", AtomicOrdering::Acquire)
2416 .Case("release", AtomicOrdering::Release)
2417 .Case("acq_rel", AtomicOrdering::AcquireRelease)
2418 .Case("seq_cst", AtomicOrdering::SequentiallyConsistent)
2419 .Default(AtomicOrdering::NotAtomic);
2421 if (Order != AtomicOrdering::NotAtomic) {
2426 return error("expected an atomic scope, ordering or a size integer literal");
2429 bool MIParser::parseMachineMemoryOperand(MachineMemOperand *&Dest) {
2430 if (expectAndConsume(MIToken::lparen))
2432 MachineMemOperand::Flags Flags = MachineMemOperand::MONone;
2433 while (Token.isMemoryOperandFlag()) {
2434 if (parseMemoryOperandFlag(Flags))
2437 if (Token.isNot(MIToken::Identifier) ||
2438 (Token.stringValue() != "load" && Token.stringValue() != "store"))
2439 return error("expected 'load' or 'store' memory operation");
2440 if (Token.stringValue() == "load")
2441 Flags |= MachineMemOperand::MOLoad;
2443 Flags |= MachineMemOperand::MOStore;
2446 // Optional 'store' for operands that both load and store.
2447 if (Token.is(MIToken::Identifier) && Token.stringValue() == "store") {
2448 Flags |= MachineMemOperand::MOStore;
2452 // Optional synchronization scope.
2454 if (parseOptionalScope(MF.getFunction().getContext(), SSID))
2457 // Up to two atomic orderings (cmpxchg provides guarantees on failure).
2458 AtomicOrdering Order, FailureOrder;
2459 if (parseOptionalAtomicOrdering(Order))
2462 if (parseOptionalAtomicOrdering(FailureOrder))
2465 if (Token.isNot(MIToken::IntegerLiteral))
2466 return error("expected the size integer literal after memory operation");
2468 if (getUint64(Size))
2472 MachinePointerInfo Ptr = MachinePointerInfo();
2473 if (Token.is(MIToken::Identifier)) {
2475 ((Flags & MachineMemOperand::MOLoad) &&
2476 (Flags & MachineMemOperand::MOStore))
2478 : Flags & MachineMemOperand::MOLoad ? "from" : "into";
2479 if (Token.stringValue() != Word)
2480 return error(Twine("expected '") + Word + "'");
2483 if (parseMachinePointerInfo(Ptr))
2486 unsigned BaseAlignment = Size;
2488 MDNode *Range = nullptr;
2489 while (consumeIfPresent(MIToken::comma)) {
2490 switch (Token.kind()) {
2491 case MIToken::kw_align:
2492 if (parseAlignment(BaseAlignment))
2495 case MIToken::kw_addrspace:
2496 if (parseAddrspace(Ptr.AddrSpace))
2499 case MIToken::md_tbaa:
2501 if (parseMDNode(AAInfo.TBAA))
2504 case MIToken::md_alias_scope:
2506 if (parseMDNode(AAInfo.Scope))
2509 case MIToken::md_noalias:
2511 if (parseMDNode(AAInfo.NoAlias))
2514 case MIToken::md_range:
2516 if (parseMDNode(Range))
2519 // TODO: Report an error on duplicate metadata nodes.
2521 return error("expected 'align' or '!tbaa' or '!alias.scope' or "
2522 "'!noalias' or '!range'");
2525 if (expectAndConsume(MIToken::rparen))
2527 Dest = MF.getMachineMemOperand(Ptr, Flags, Size, BaseAlignment, AAInfo, Range,
2528 SSID, Order, FailureOrder);
2532 void MIParser::initNames2InstrOpCodes() {
2533 if (!Names2InstrOpCodes.empty())
2535 const auto *TII = MF.getSubtarget().getInstrInfo();
2536 assert(TII && "Expected target instruction info");
2537 for (unsigned I = 0, E = TII->getNumOpcodes(); I < E; ++I)
2538 Names2InstrOpCodes.insert(std::make_pair(StringRef(TII->getName(I)), I));
2541 bool MIParser::parseInstrName(StringRef InstrName, unsigned &OpCode) {
2542 initNames2InstrOpCodes();
2543 auto InstrInfo = Names2InstrOpCodes.find(InstrName);
2544 if (InstrInfo == Names2InstrOpCodes.end())
2546 OpCode = InstrInfo->getValue();
2550 void MIParser::initNames2Regs() {
2551 if (!Names2Regs.empty())
2553 // The '%noreg' register is the register 0.
2554 Names2Regs.insert(std::make_pair("noreg", 0));
2555 const auto *TRI = MF.getSubtarget().getRegisterInfo();
2556 assert(TRI && "Expected target register info");
2557 for (unsigned I = 0, E = TRI->getNumRegs(); I < E; ++I) {
2559 Names2Regs.insert(std::make_pair(StringRef(TRI->getName(I)).lower(), I))
2562 assert(WasInserted && "Expected registers to be unique case-insensitively");
2566 bool MIParser::getRegisterByName(StringRef RegName, unsigned &Reg) {
2568 auto RegInfo = Names2Regs.find(RegName);
2569 if (RegInfo == Names2Regs.end())
2571 Reg = RegInfo->getValue();
2575 void MIParser::initNames2RegMasks() {
2576 if (!Names2RegMasks.empty())
2578 const auto *TRI = MF.getSubtarget().getRegisterInfo();
2579 assert(TRI && "Expected target register info");
2580 ArrayRef<const uint32_t *> RegMasks = TRI->getRegMasks();
2581 ArrayRef<const char *> RegMaskNames = TRI->getRegMaskNames();
2582 assert(RegMasks.size() == RegMaskNames.size());
2583 for (size_t I = 0, E = RegMasks.size(); I < E; ++I)
2584 Names2RegMasks.insert(
2585 std::make_pair(StringRef(RegMaskNames[I]).lower(), RegMasks[I]));
2588 const uint32_t *MIParser::getRegMask(StringRef Identifier) {
2589 initNames2RegMasks();
2590 auto RegMaskInfo = Names2RegMasks.find(Identifier);
2591 if (RegMaskInfo == Names2RegMasks.end())
2593 return RegMaskInfo->getValue();
2596 void MIParser::initNames2SubRegIndices() {
2597 if (!Names2SubRegIndices.empty())
2599 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
2600 for (unsigned I = 1, E = TRI->getNumSubRegIndices(); I < E; ++I)
2601 Names2SubRegIndices.insert(
2602 std::make_pair(StringRef(TRI->getSubRegIndexName(I)).lower(), I));
2605 unsigned MIParser::getSubRegIndex(StringRef Name) {
2606 initNames2SubRegIndices();
2607 auto SubRegInfo = Names2SubRegIndices.find(Name);
2608 if (SubRegInfo == Names2SubRegIndices.end())
2610 return SubRegInfo->getValue();
2613 static void initSlots2BasicBlocks(
2615 DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
2616 ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
2617 MST.incorporateFunction(F);
2618 for (auto &BB : F) {
2621 int Slot = MST.getLocalSlot(&BB);
2624 Slots2BasicBlocks.insert(std::make_pair(unsigned(Slot), &BB));
2628 static const BasicBlock *getIRBlockFromSlot(
2630 const DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
2631 auto BlockInfo = Slots2BasicBlocks.find(Slot);
2632 if (BlockInfo == Slots2BasicBlocks.end())
2634 return BlockInfo->second;
2637 const BasicBlock *MIParser::getIRBlock(unsigned Slot) {
2638 if (Slots2BasicBlocks.empty())
2639 initSlots2BasicBlocks(MF.getFunction(), Slots2BasicBlocks);
2640 return getIRBlockFromSlot(Slot, Slots2BasicBlocks);
2643 const BasicBlock *MIParser::getIRBlock(unsigned Slot, const Function &F) {
2644 if (&F == &MF.getFunction())
2645 return getIRBlock(Slot);
2646 DenseMap<unsigned, const BasicBlock *> CustomSlots2BasicBlocks;
2647 initSlots2BasicBlocks(F, CustomSlots2BasicBlocks);
2648 return getIRBlockFromSlot(Slot, CustomSlots2BasicBlocks);
2651 static void mapValueToSlot(const Value *V, ModuleSlotTracker &MST,
2652 DenseMap<unsigned, const Value *> &Slots2Values) {
2653 int Slot = MST.getLocalSlot(V);
2656 Slots2Values.insert(std::make_pair(unsigned(Slot), V));
2659 /// Creates the mapping from slot numbers to function's unnamed IR values.
2660 static void initSlots2Values(const Function &F,
2661 DenseMap<unsigned, const Value *> &Slots2Values) {
2662 ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
2663 MST.incorporateFunction(F);
2664 for (const auto &Arg : F.args())
2665 mapValueToSlot(&Arg, MST, Slots2Values);
2666 for (const auto &BB : F) {
2667 mapValueToSlot(&BB, MST, Slots2Values);
2668 for (const auto &I : BB)
2669 mapValueToSlot(&I, MST, Slots2Values);
2673 const Value *MIParser::getIRValue(unsigned Slot) {
2674 if (Slots2Values.empty())
2675 initSlots2Values(MF.getFunction(), Slots2Values);
2676 auto ValueInfo = Slots2Values.find(Slot);
2677 if (ValueInfo == Slots2Values.end())
2679 return ValueInfo->second;
2682 void MIParser::initNames2TargetIndices() {
2683 if (!Names2TargetIndices.empty())
2685 const auto *TII = MF.getSubtarget().getInstrInfo();
2686 assert(TII && "Expected target instruction info");
2687 auto Indices = TII->getSerializableTargetIndices();
2688 for (const auto &I : Indices)
2689 Names2TargetIndices.insert(std::make_pair(StringRef(I.second), I.first));
2692 bool MIParser::getTargetIndex(StringRef Name, int &Index) {
2693 initNames2TargetIndices();
2694 auto IndexInfo = Names2TargetIndices.find(Name);
2695 if (IndexInfo == Names2TargetIndices.end())
2697 Index = IndexInfo->second;
2701 void MIParser::initNames2DirectTargetFlags() {
2702 if (!Names2DirectTargetFlags.empty())
2704 const auto *TII = MF.getSubtarget().getInstrInfo();
2705 assert(TII && "Expected target instruction info");
2706 auto Flags = TII->getSerializableDirectMachineOperandTargetFlags();
2707 for (const auto &I : Flags)
2708 Names2DirectTargetFlags.insert(
2709 std::make_pair(StringRef(I.second), I.first));
2712 bool MIParser::getDirectTargetFlag(StringRef Name, unsigned &Flag) {
2713 initNames2DirectTargetFlags();
2714 auto FlagInfo = Names2DirectTargetFlags.find(Name);
2715 if (FlagInfo == Names2DirectTargetFlags.end())
2717 Flag = FlagInfo->second;
2721 void MIParser::initNames2BitmaskTargetFlags() {
2722 if (!Names2BitmaskTargetFlags.empty())
2724 const auto *TII = MF.getSubtarget().getInstrInfo();
2725 assert(TII && "Expected target instruction info");
2726 auto Flags = TII->getSerializableBitmaskMachineOperandTargetFlags();
2727 for (const auto &I : Flags)
2728 Names2BitmaskTargetFlags.insert(
2729 std::make_pair(StringRef(I.second), I.first));
2732 bool MIParser::getBitmaskTargetFlag(StringRef Name, unsigned &Flag) {
2733 initNames2BitmaskTargetFlags();
2734 auto FlagInfo = Names2BitmaskTargetFlags.find(Name);
2735 if (FlagInfo == Names2BitmaskTargetFlags.end())
2737 Flag = FlagInfo->second;
2741 void MIParser::initNames2MMOTargetFlags() {
2742 if (!Names2MMOTargetFlags.empty())
2744 const auto *TII = MF.getSubtarget().getInstrInfo();
2745 assert(TII && "Expected target instruction info");
2746 auto Flags = TII->getSerializableMachineMemOperandTargetFlags();
2747 for (const auto &I : Flags)
2748 Names2MMOTargetFlags.insert(
2749 std::make_pair(StringRef(I.second), I.first));
2752 bool MIParser::getMMOTargetFlag(StringRef Name,
2753 MachineMemOperand::Flags &Flag) {
2754 initNames2MMOTargetFlags();
2755 auto FlagInfo = Names2MMOTargetFlags.find(Name);
2756 if (FlagInfo == Names2MMOTargetFlags.end())
2758 Flag = FlagInfo->second;
2762 bool MIParser::parseStringConstant(std::string &Result) {
2763 if (Token.isNot(MIToken::StringConstant))
2764 return error("expected string constant");
2765 Result = Token.stringValue();
2770 bool llvm::parseMachineBasicBlockDefinitions(PerFunctionMIParsingState &PFS,
2772 SMDiagnostic &Error) {
2773 return MIParser(PFS, Error, Src).parseBasicBlockDefinitions(PFS.MBBSlots);
2776 bool llvm::parseMachineInstructions(PerFunctionMIParsingState &PFS,
2777 StringRef Src, SMDiagnostic &Error) {
2778 return MIParser(PFS, Error, Src).parseBasicBlocks();
2781 bool llvm::parseMBBReference(PerFunctionMIParsingState &PFS,
2782 MachineBasicBlock *&MBB, StringRef Src,
2783 SMDiagnostic &Error) {
2784 return MIParser(PFS, Error, Src).parseStandaloneMBB(MBB);
2787 bool llvm::parseRegisterReference(PerFunctionMIParsingState &PFS,
2788 unsigned &Reg, StringRef Src,
2789 SMDiagnostic &Error) {
2790 return MIParser(PFS, Error, Src).parseStandaloneRegister(Reg);
2793 bool llvm::parseNamedRegisterReference(PerFunctionMIParsingState &PFS,
2794 unsigned &Reg, StringRef Src,
2795 SMDiagnostic &Error) {
2796 return MIParser(PFS, Error, Src).parseStandaloneNamedRegister(Reg);
2799 bool llvm::parseVirtualRegisterReference(PerFunctionMIParsingState &PFS,
2800 VRegInfo *&Info, StringRef Src,
2801 SMDiagnostic &Error) {
2802 return MIParser(PFS, Error, Src).parseStandaloneVirtualRegister(Info);
2805 bool llvm::parseStackObjectReference(PerFunctionMIParsingState &PFS,
2806 int &FI, StringRef Src,
2807 SMDiagnostic &Error) {
2808 return MIParser(PFS, Error, Src).parseStandaloneStackObject(FI);
2811 bool llvm::parseMDNode(PerFunctionMIParsingState &PFS,
2812 MDNode *&Node, StringRef Src, SMDiagnostic &Error) {
2813 return MIParser(PFS, Error, Src).parseStandaloneMDNode(Node);