blob: c58d192284dd00633a2a505397084a703739944c [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
Alex Lorenz91370c52015-06-22 20:37:46 +000014#include "MILexer.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000015#include "MIParser.h"
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"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000023#include "llvm/ADT/StringMap.h"
Reid Klecknera5b1eef2016-08-26 17:58:37 +000024#include "llvm/ADT/StringSwitch.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000025#include "llvm/ADT/StringRef.h"
26#include "llvm/ADT/Twine.h"
Alex Lorenzad156fb2015-07-31 20:49:21 +000027#include "llvm/AsmParser/Parser.h"
Alex Lorenz5d6108e2015-06-26 22:56:48 +000028#include "llvm/AsmParser/SlotMapping.h"
Matthias Braun89401142017-05-05 21:09:30 +000029#include "llvm/CodeGen/MIRPrinter.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000030#include "llvm/CodeGen/MachineBasicBlock.h"
Alex Lorenz7feaf7c2015-07-16 23:37:45 +000031#include "llvm/CodeGen/MachineFrameInfo.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000032#include "llvm/CodeGen/MachineFunction.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000033#include "llvm/CodeGen/MachineInstr.h"
Alex Lorenzcb268d42015-07-06 23:07:26 +000034#include "llvm/CodeGen/MachineInstrBuilder.h"
Alex Lorenz4af7e612015-08-03 23:08:19 +000035#include "llvm/CodeGen/MachineMemOperand.h"
Alex Lorenzf4baeb52015-07-21 22:28:27 +000036#include "llvm/CodeGen/MachineModuleInfo.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000037#include "llvm/CodeGen/MachineOperand.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000038#include "llvm/CodeGen/MachineRegisterInfo.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000039#include "llvm/IR/BasicBlock.h"
Alex Lorenzdeb53492015-07-28 17:28:03 +000040#include "llvm/IR/Constants.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000041#include "llvm/IR/DataLayout.h"
42#include "llvm/IR/DebugLoc.h"
43#include "llvm/IR/Function.h"
44#include "llvm/IR/InstrTypes.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000045#include "llvm/IR/Instructions.h"
Tim Northover6b3bd612016-07-29 20:32:59 +000046#include "llvm/IR/Intrinsics.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000047#include "llvm/IR/Metadata.h"
Alex Lorenz5d6108e2015-06-26 22:56:48 +000048#include "llvm/IR/Module.h"
Alex Lorenz8a1915b2015-07-27 22:42:41 +000049#include "llvm/IR/ModuleSlotTracker.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000050#include "llvm/IR/Type.h"
51#include "llvm/IR/Value.h"
Alex Lorenzdeb53492015-07-28 17:28:03 +000052#include "llvm/IR/ValueSymbolTable.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000053#include "llvm/MC/LaneBitmask.h"
54#include "llvm/MC/MCDwarf.h"
55#include "llvm/MC/MCInstrDesc.h"
56#include "llvm/MC/MCRegisterInfo.h"
57#include "llvm/Support/AtomicOrdering.h"
58#include "llvm/Support/BranchProbability.h"
59#include "llvm/Support/Casting.h"
60#include "llvm/Support/ErrorHandling.h"
61#include "llvm/Support/LowLevelTypeImpl.h"
62#include "llvm/Support/MemoryBuffer.h"
63#include "llvm/Support/SMLoc.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000064#include "llvm/Support/SourceMgr.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000065#include "llvm/Support/raw_ostream.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000066#include "llvm/Target/TargetInstrInfo.h"
Tim Northover6b3bd612016-07-29 20:32:59 +000067#include "llvm/Target/TargetIntrinsicInfo.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000068#include "llvm/Target/TargetMachine.h"
69#include "llvm/Target/TargetRegisterInfo.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000070#include "llvm/Target/TargetSubtargetInfo.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000071#include <algorithm>
72#include <cassert>
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +000073#include <cctype>
Eugene Zelenkofb69e662017-06-06 22:22:41 +000074#include <cstddef>
75#include <cstdint>
76#include <limits>
77#include <string>
78#include <utility>
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000079
80using namespace llvm;
81
Matthias Braune35861d2016-07-13 23:27:50 +000082PerFunctionMIParsingState::PerFunctionMIParsingState(MachineFunction &MF,
Matthias Braunde5fea22017-01-18 00:59:19 +000083 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) {
Matthias Braun83947862016-07-13 22:23:23 +000088}
89
Matthias Braun74ad41c2016-10-11 03:13:01 +000090VRegInfo &PerFunctionMIParsingState::getVRegInfo(unsigned Num) {
91 auto I = VRegInfos.insert(std::make_pair(Num, nullptr));
92 if (I.second) {
93 MachineRegisterInfo &MRI = MF.getRegInfo();
94 VRegInfo *Info = new (Allocator) VRegInfo;
95 Info->VReg = MRI.createIncompleteVirtualRegister();
96 I.first->second = Info;
97 }
98 return *I.first->second;
99}
100
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000101namespace {
102
Alex Lorenz36962cd2015-07-07 02:08:46 +0000103/// A wrapper struct around the 'MachineOperand' struct that includes a source
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000104/// range and other attributes.
105struct ParsedMachineOperand {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000106 MachineOperand Operand;
107 StringRef::iterator Begin;
108 StringRef::iterator End;
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000109 Optional<unsigned> TiedDefIdx;
Alex Lorenz36962cd2015-07-07 02:08:46 +0000110
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000111 ParsedMachineOperand(const MachineOperand &Operand, StringRef::iterator Begin,
112 StringRef::iterator End, Optional<unsigned> &TiedDefIdx)
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000113 : Operand(Operand), Begin(Begin), End(End), TiedDefIdx(TiedDefIdx) {
114 if (TiedDefIdx)
115 assert(Operand.isReg() && Operand.isUse() &&
116 "Only used register operands can be tied");
117 }
Alex Lorenz36962cd2015-07-07 02:08:46 +0000118};
119
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000120class MIParser {
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000121 MachineFunction &MF;
122 SMDiagnostic &Error;
Alex Lorenz91370c52015-06-22 20:37:46 +0000123 StringRef Source, CurrentSource;
124 MIToken Token;
Matthias Braun74ad41c2016-10-11 03:13:01 +0000125 PerFunctionMIParsingState &PFS;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000126 /// Maps from instruction names to op codes.
127 StringMap<unsigned> Names2InstrOpCodes;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000128 /// Maps from register names to registers.
129 StringMap<unsigned> Names2Regs;
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000130 /// Maps from register mask names to register masks.
131 StringMap<const uint32_t *> Names2RegMasks;
Alex Lorenz2eacca82015-07-13 23:24:34 +0000132 /// Maps from subregister names to subregister indices.
133 StringMap<unsigned> Names2SubRegIndices;
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000134 /// Maps from slot numbers to function's unnamed basic blocks.
135 DenseMap<unsigned, const BasicBlock *> Slots2BasicBlocks;
Alex Lorenzdd13be02015-08-19 23:31:05 +0000136 /// Maps from slot numbers to function's unnamed values.
137 DenseMap<unsigned, const Value *> Slots2Values;
Alex Lorenzef5c1962015-07-28 23:02:45 +0000138 /// Maps from target index names to target indices.
139 StringMap<int> Names2TargetIndices;
Alex Lorenz49873a82015-08-06 00:44:07 +0000140 /// Maps from direct target flag names to the direct target flag values.
141 StringMap<unsigned> Names2DirectTargetFlags;
Alex Lorenzf3630112015-08-18 22:52:15 +0000142 /// Maps from direct target flag names to the bitmask target flag values.
143 StringMap<unsigned> Names2BitmaskTargetFlags;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000144
145public:
Matthias Braun74ad41c2016-10-11 03:13:01 +0000146 MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
Matthias Braune35861d2016-07-13 23:27:50 +0000147 StringRef Source);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000148
Quentin Colombet287c6bb2016-03-08 00:57:31 +0000149 /// \p SkipChar gives the number of characters to skip before looking
150 /// for the next token.
151 void lex(unsigned SkipChar = 0);
Alex Lorenz91370c52015-06-22 20:37:46 +0000152
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000153 /// Report an error at the current location with the given message.
154 ///
155 /// This function always return true.
156 bool error(const Twine &Msg);
157
Alex Lorenz91370c52015-06-22 20:37:46 +0000158 /// Report an error at the given location with the given message.
159 ///
160 /// This function always return true.
161 bool error(StringRef::iterator Loc, const Twine &Msg);
162
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000163 bool
164 parseBasicBlockDefinitions(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
165 bool parseBasicBlocks();
Alex Lorenz3708a642015-06-30 17:47:50 +0000166 bool parse(MachineInstr *&MI);
Alex Lorenz1ea60892015-07-27 20:29:27 +0000167 bool parseStandaloneMBB(MachineBasicBlock *&MBB);
168 bool parseStandaloneNamedRegister(unsigned &Reg);
Matthias Braun74ad41c2016-10-11 03:13:01 +0000169 bool parseStandaloneVirtualRegister(VRegInfo *&Info);
Tom Stellard9c884e42016-11-15 00:03:14 +0000170 bool parseStandaloneRegister(unsigned &Reg);
Alex Lorenza314d812015-08-18 22:26:26 +0000171 bool parseStandaloneStackObject(int &FI);
Alex Lorenzdf9e3c62015-08-19 00:13:25 +0000172 bool parseStandaloneMDNode(MDNode *&Node);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000173
174 bool
175 parseBasicBlockDefinition(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
Matthias Braun89401142017-05-05 21:09:30 +0000176 bool parseBasicBlock(MachineBasicBlock &MBB,
177 MachineBasicBlock *&AddFalthroughFrom);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000178 bool parseBasicBlockLiveins(MachineBasicBlock &MBB);
179 bool parseBasicBlockSuccessors(MachineBasicBlock &MBB);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000180
Matthias Braun74ad41c2016-10-11 03:13:01 +0000181 bool parseNamedRegister(unsigned &Reg);
182 bool parseVirtualRegister(VRegInfo *&Info);
183 bool parseRegister(unsigned &Reg, VRegInfo *&VRegInfo);
Alex Lorenzcb268d42015-07-06 23:07:26 +0000184 bool parseRegisterFlag(unsigned &Flags);
Matthias Braunde5fea22017-01-18 00:59:19 +0000185 bool parseRegisterClassOrBank(VRegInfo &RegInfo);
Alex Lorenz2eacca82015-07-13 23:24:34 +0000186 bool parseSubRegisterIndex(unsigned &SubReg);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000187 bool parseRegisterTiedDefIndex(unsigned &TiedDefIdx);
188 bool parseRegisterOperand(MachineOperand &Dest,
189 Optional<unsigned> &TiedDefIdx, bool IsDef = false);
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000190 bool parseImmediateOperand(MachineOperand &Dest);
Alex Lorenz5d8b0bd2015-08-21 21:48:22 +0000191 bool parseIRConstant(StringRef::iterator Loc, StringRef Source,
192 const Constant *&C);
Alex Lorenz7eaff4c2015-08-05 18:44:00 +0000193 bool parseIRConstant(StringRef::iterator Loc, const Constant *&C);
Ahmed Bougachad760de02016-07-28 17:15:12 +0000194 bool parseLowLevelType(StringRef::iterator Loc, LLT &Ty);
Alex Lorenz05e38822015-08-05 18:52:21 +0000195 bool parseTypedImmediateOperand(MachineOperand &Dest);
Alex Lorenzad156fb2015-07-31 20:49:21 +0000196 bool parseFPImmediateOperand(MachineOperand &Dest);
Alex Lorenzf09df002015-06-30 18:16:42 +0000197 bool parseMBBReference(MachineBasicBlock *&MBB);
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000198 bool parseMBBOperand(MachineOperand &Dest);
Alex Lorenzdc9dadf2015-08-18 22:18:52 +0000199 bool parseStackFrameIndex(int &FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000200 bool parseStackObjectOperand(MachineOperand &Dest);
Alex Lorenzea882122015-08-12 21:17:02 +0000201 bool parseFixedStackFrameIndex(int &FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000202 bool parseFixedStackObjectOperand(MachineOperand &Dest);
Alex Lorenz41df7d32015-07-28 17:09:52 +0000203 bool parseGlobalValue(GlobalValue *&GV);
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000204 bool parseGlobalAddressOperand(MachineOperand &Dest);
Alex Lorenzab980492015-07-20 20:51:18 +0000205 bool parseConstantPoolIndexOperand(MachineOperand &Dest);
Matthias Braunb74eb412016-03-28 18:18:46 +0000206 bool parseSubRegisterIndexOperand(MachineOperand &Dest);
Alex Lorenz31d70682015-07-15 23:38:35 +0000207 bool parseJumpTableIndexOperand(MachineOperand &Dest);
Alex Lorenz6ede3742015-07-21 16:59:53 +0000208 bool parseExternalSymbolOperand(MachineOperand &Dest);
Alex Lorenz44f29252015-07-22 21:07:04 +0000209 bool parseMDNode(MDNode *&Node);
Alex Lorenz35e44462015-07-22 17:58:46 +0000210 bool parseMetadataOperand(MachineOperand &Dest);
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000211 bool parseCFIOffset(int &Offset);
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000212 bool parseCFIRegister(unsigned &Reg);
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000213 bool parseCFIOperand(MachineOperand &Dest);
Alex Lorenzdeb53492015-07-28 17:28:03 +0000214 bool parseIRBlock(BasicBlock *&BB, const Function &F);
215 bool parseBlockAddressOperand(MachineOperand &Dest);
Tim Northover6b3bd612016-07-29 20:32:59 +0000216 bool parseIntrinsicOperand(MachineOperand &Dest);
Tim Northoverde3aea0412016-08-17 20:25:25 +0000217 bool parsePredicateOperand(MachineOperand &Dest);
Alex Lorenzef5c1962015-07-28 23:02:45 +0000218 bool parseTargetIndexOperand(MachineOperand &Dest);
Oren Ben Simhon0ef61ec2017-03-19 08:14:18 +0000219 bool parseCustomRegisterMaskOperand(MachineOperand &Dest);
Alex Lorenzb97c9ef2015-08-10 23:24:42 +0000220 bool parseLiveoutRegisterMaskOperand(MachineOperand &Dest);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000221 bool parseMachineOperand(MachineOperand &Dest,
222 Optional<unsigned> &TiedDefIdx);
223 bool parseMachineOperandAndTargetFlags(MachineOperand &Dest,
224 Optional<unsigned> &TiedDefIdx);
Alex Lorenzdc24c172015-08-07 20:21:00 +0000225 bool parseOffset(int64_t &Offset);
Alex Lorenz620f8912015-08-13 20:33:33 +0000226 bool parseAlignment(unsigned &Alignment);
Alex Lorenz5672a892015-08-05 22:26:15 +0000227 bool parseOperandsOffset(MachineOperand &Op);
Alex Lorenz36593ac2015-08-19 23:27:07 +0000228 bool parseIRValue(const Value *&V);
Justin Lebar0af80cd2016-07-15 18:26:59 +0000229 bool parseMemoryOperandFlag(MachineMemOperand::Flags &Flags);
Alex Lorenz91097a32015-08-12 20:33:26 +0000230 bool parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV);
231 bool parseMachinePointerInfo(MachinePointerInfo &Dest);
Tim Northoverb73e3092017-02-13 22:14:08 +0000232 bool parseOptionalAtomicOrdering(AtomicOrdering &Order);
Alex Lorenz4af7e612015-08-03 23:08:19 +0000233 bool parseMachineMemoryOperand(MachineMemOperand *&Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000234
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000235private:
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000236 /// Convert the integer literal in the current token into an unsigned integer.
237 ///
238 /// Return true if an error occurred.
239 bool getUnsigned(unsigned &Result);
240
Alex Lorenz4af7e612015-08-03 23:08:19 +0000241 /// Convert the integer literal in the current token into an uint64.
242 ///
243 /// Return true if an error occurred.
244 bool getUint64(uint64_t &Result);
245
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +0000246 /// Convert the hexadecimal literal in the current token into an unsigned
247 /// APInt with a minimum bitwidth required to represent the value.
248 ///
249 /// Return true if the literal does not represent an integer value.
250 bool getHexUint(APInt &Result);
251
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000252 /// If the current token is of the given kind, consume it and return false.
253 /// Otherwise report an error and return true.
254 bool expectAndConsume(MIToken::TokenKind TokenKind);
255
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000256 /// If the current token is of the given kind, consume it and return true.
257 /// Otherwise return false.
258 bool consumeIfPresent(MIToken::TokenKind TokenKind);
259
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000260 void initNames2InstrOpCodes();
261
262 /// Try to convert an instruction name to an opcode. Return true if the
263 /// instruction name is invalid.
264 bool parseInstrName(StringRef InstrName, unsigned &OpCode);
Alex Lorenz91370c52015-06-22 20:37:46 +0000265
Alex Lorenze5a44662015-07-17 00:24:15 +0000266 bool parseInstruction(unsigned &OpCode, unsigned &Flags);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000267
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000268 bool assignRegisterTies(MachineInstr &MI,
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000269 ArrayRef<ParsedMachineOperand> Operands);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000270
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000271 bool verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
Alex Lorenz36962cd2015-07-07 02:08:46 +0000272 const MCInstrDesc &MCID);
273
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000274 void initNames2Regs();
275
276 /// Try to convert a register name to a register number. Return true if the
277 /// register name is invalid.
278 bool getRegisterByName(StringRef RegName, unsigned &Reg);
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000279
280 void initNames2RegMasks();
281
282 /// Check if the given identifier is a name of a register mask.
283 ///
284 /// Return null if the identifier isn't a register mask.
285 const uint32_t *getRegMask(StringRef Identifier);
Alex Lorenz2eacca82015-07-13 23:24:34 +0000286
287 void initNames2SubRegIndices();
288
289 /// Check if the given identifier is a name of a subregister index.
290 ///
291 /// Return 0 if the name isn't a subregister index class.
292 unsigned getSubRegIndex(StringRef Name);
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000293
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000294 const BasicBlock *getIRBlock(unsigned Slot);
Alex Lorenzcba8c5f2015-08-06 23:57:04 +0000295 const BasicBlock *getIRBlock(unsigned Slot, const Function &F);
Alex Lorenzef5c1962015-07-28 23:02:45 +0000296
Alex Lorenzdd13be02015-08-19 23:31:05 +0000297 const Value *getIRValue(unsigned Slot);
298
Alex Lorenzef5c1962015-07-28 23:02:45 +0000299 void initNames2TargetIndices();
300
301 /// Try to convert a name of target index to the corresponding target index.
302 ///
303 /// Return true if the name isn't a name of a target index.
304 bool getTargetIndex(StringRef Name, int &Index);
Alex Lorenz49873a82015-08-06 00:44:07 +0000305
306 void initNames2DirectTargetFlags();
307
308 /// Try to convert a name of a direct target flag to the corresponding
309 /// target flag.
310 ///
311 /// Return true if the name isn't a name of a direct flag.
312 bool getDirectTargetFlag(StringRef Name, unsigned &Flag);
Alex Lorenzf3630112015-08-18 22:52:15 +0000313
314 void initNames2BitmaskTargetFlags();
315
316 /// Try to convert a name of a bitmask target flag to the corresponding
317 /// target flag.
318 ///
319 /// Return true if the name isn't a name of a bitmask target flag.
320 bool getBitmaskTargetFlag(StringRef Name, unsigned &Flag);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000321};
322
323} // end anonymous namespace
324
Matthias Braun74ad41c2016-10-11 03:13:01 +0000325MIParser::MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
Matthias Braune35861d2016-07-13 23:27:50 +0000326 StringRef Source)
327 : MF(PFS.MF), Error(Error), Source(Source), CurrentSource(Source), PFS(PFS)
328{}
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000329
Quentin Colombet287c6bb2016-03-08 00:57:31 +0000330void MIParser::lex(unsigned SkipChar) {
Alex Lorenz91370c52015-06-22 20:37:46 +0000331 CurrentSource = lexMIToken(
Quentin Colombet287c6bb2016-03-08 00:57:31 +0000332 CurrentSource.data() + SkipChar, Token,
Alex Lorenz91370c52015-06-22 20:37:46 +0000333 [this](StringRef::iterator Loc, const Twine &Msg) { error(Loc, Msg); });
334}
335
336bool MIParser::error(const Twine &Msg) { return error(Token.location(), Msg); }
337
338bool MIParser::error(StringRef::iterator Loc, const Twine &Msg) {
Matthias Braune35861d2016-07-13 23:27:50 +0000339 const SourceMgr &SM = *PFS.SM;
Alex Lorenz91370c52015-06-22 20:37:46 +0000340 assert(Loc >= Source.data() && Loc <= (Source.data() + Source.size()));
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000341 const MemoryBuffer &Buffer = *SM.getMemoryBuffer(SM.getMainFileID());
342 if (Loc >= Buffer.getBufferStart() && Loc <= Buffer.getBufferEnd()) {
343 // Create an ordinary diagnostic when the source manager's buffer is the
344 // source string.
345 Error = SM.GetMessage(SMLoc::getFromPointer(Loc), SourceMgr::DK_Error, Msg);
346 return true;
347 }
348 // Create a diagnostic for a YAML string literal.
349 Error = SMDiagnostic(SM, SMLoc(), Buffer.getBufferIdentifier(), 1,
350 Loc - Source.data(), SourceMgr::DK_Error, Msg.str(),
351 Source, None, None);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000352 return true;
353}
354
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000355static const char *toString(MIToken::TokenKind TokenKind) {
356 switch (TokenKind) {
357 case MIToken::comma:
358 return "','";
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000359 case MIToken::equal:
360 return "'='";
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000361 case MIToken::colon:
362 return "':'";
Alex Lorenzdeb53492015-07-28 17:28:03 +0000363 case MIToken::lparen:
364 return "'('";
365 case MIToken::rparen:
366 return "')'";
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000367 default:
368 return "<unknown token>";
369 }
370}
371
372bool MIParser::expectAndConsume(MIToken::TokenKind TokenKind) {
373 if (Token.isNot(TokenKind))
374 return error(Twine("expected ") + toString(TokenKind));
375 lex();
376 return false;
377}
378
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000379bool MIParser::consumeIfPresent(MIToken::TokenKind TokenKind) {
380 if (Token.isNot(TokenKind))
381 return false;
Alex Lorenz91370c52015-06-22 20:37:46 +0000382 lex();
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000383 return true;
384}
Alex Lorenz91370c52015-06-22 20:37:46 +0000385
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000386bool MIParser::parseBasicBlockDefinition(
387 DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
388 assert(Token.is(MIToken::MachineBasicBlockLabel));
389 unsigned ID = 0;
390 if (getUnsigned(ID))
391 return true;
392 auto Loc = Token.location();
393 auto Name = Token.stringValue();
394 lex();
395 bool HasAddressTaken = false;
396 bool IsLandingPad = false;
397 unsigned Alignment = 0;
398 BasicBlock *BB = nullptr;
399 if (consumeIfPresent(MIToken::lparen)) {
400 do {
401 // TODO: Report an error when multiple same attributes are specified.
402 switch (Token.kind()) {
403 case MIToken::kw_address_taken:
404 HasAddressTaken = true;
405 lex();
406 break;
407 case MIToken::kw_landing_pad:
408 IsLandingPad = true;
409 lex();
410 break;
411 case MIToken::kw_align:
412 if (parseAlignment(Alignment))
413 return true;
414 break;
415 case MIToken::IRBlock:
416 // TODO: Report an error when both name and ir block are specified.
417 if (parseIRBlock(BB, *MF.getFunction()))
418 return true;
419 lex();
420 break;
421 default:
422 break;
423 }
424 } while (consumeIfPresent(MIToken::comma));
425 if (expectAndConsume(MIToken::rparen))
426 return true;
427 }
428 if (expectAndConsume(MIToken::colon))
429 return true;
430
431 if (!Name.empty()) {
432 BB = dyn_cast_or_null<BasicBlock>(
Mehdi Aminia53d49e2016-09-17 06:00:02 +0000433 MF.getFunction()->getValueSymbolTable()->lookup(Name));
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000434 if (!BB)
435 return error(Loc, Twine("basic block '") + Name +
436 "' is not defined in the function '" +
437 MF.getName() + "'");
438 }
439 auto *MBB = MF.CreateMachineBasicBlock(BB);
440 MF.insert(MF.end(), MBB);
441 bool WasInserted = MBBSlots.insert(std::make_pair(ID, MBB)).second;
442 if (!WasInserted)
443 return error(Loc, Twine("redefinition of machine basic block with id #") +
444 Twine(ID));
445 if (Alignment)
446 MBB->setAlignment(Alignment);
447 if (HasAddressTaken)
448 MBB->setHasAddressTaken();
Reid Kleckner0e288232015-08-27 23:27:47 +0000449 MBB->setIsEHPad(IsLandingPad);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000450 return false;
451}
452
453bool MIParser::parseBasicBlockDefinitions(
454 DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
455 lex();
456 // Skip until the first machine basic block.
457 while (Token.is(MIToken::Newline))
458 lex();
459 if (Token.isErrorOrEOF())
460 return Token.isError();
461 if (Token.isNot(MIToken::MachineBasicBlockLabel))
462 return error("expected a basic block definition before instructions");
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000463 unsigned BraceDepth = 0;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000464 do {
465 if (parseBasicBlockDefinition(MBBSlots))
466 return true;
467 bool IsAfterNewline = false;
468 // Skip until the next machine basic block.
469 while (true) {
470 if ((Token.is(MIToken::MachineBasicBlockLabel) && IsAfterNewline) ||
471 Token.isErrorOrEOF())
472 break;
473 else if (Token.is(MIToken::MachineBasicBlockLabel))
474 return error("basic block definition should be located at the start of "
475 "the line");
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000476 else if (consumeIfPresent(MIToken::Newline)) {
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000477 IsAfterNewline = true;
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000478 continue;
479 }
480 IsAfterNewline = false;
481 if (Token.is(MIToken::lbrace))
482 ++BraceDepth;
483 if (Token.is(MIToken::rbrace)) {
484 if (!BraceDepth)
485 return error("extraneous closing brace ('}')");
486 --BraceDepth;
487 }
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000488 lex();
489 }
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000490 // Verify that we closed all of the '{' at the end of a file or a block.
491 if (!Token.isError() && BraceDepth)
492 return error("expected '}'"); // FIXME: Report a note that shows '{'.
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000493 } while (!Token.isErrorOrEOF());
494 return Token.isError();
495}
496
497bool MIParser::parseBasicBlockLiveins(MachineBasicBlock &MBB) {
498 assert(Token.is(MIToken::kw_liveins));
499 lex();
500 if (expectAndConsume(MIToken::colon))
501 return true;
502 if (Token.isNewlineOrEOF()) // Allow an empty list of liveins.
503 return false;
504 do {
505 if (Token.isNot(MIToken::NamedRegister))
506 return error("expected a named register");
507 unsigned Reg = 0;
Matthias Braun74ad41c2016-10-11 03:13:01 +0000508 if (parseNamedRegister(Reg))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000509 return true;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000510 lex();
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000511 LaneBitmask Mask = LaneBitmask::getAll();
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000512 if (consumeIfPresent(MIToken::colon)) {
513 // Parse lane mask.
514 if (Token.isNot(MIToken::IntegerLiteral) &&
515 Token.isNot(MIToken::HexLiteral))
516 return error("expected a lane mask");
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000517 static_assert(sizeof(LaneBitmask::Type) == sizeof(unsigned),
518 "Use correct get-function for lane mask");
519 LaneBitmask::Type V;
520 if (getUnsigned(V))
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000521 return error("invalid lane mask value");
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000522 Mask = LaneBitmask(V);
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000523 lex();
524 }
525 MBB.addLiveIn(Reg, Mask);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000526 } while (consumeIfPresent(MIToken::comma));
527 return false;
528}
529
530bool MIParser::parseBasicBlockSuccessors(MachineBasicBlock &MBB) {
531 assert(Token.is(MIToken::kw_successors));
532 lex();
533 if (expectAndConsume(MIToken::colon))
534 return true;
535 if (Token.isNewlineOrEOF()) // Allow an empty list of successors.
536 return false;
537 do {
538 if (Token.isNot(MIToken::MachineBasicBlock))
539 return error("expected a machine basic block reference");
540 MachineBasicBlock *SuccMBB = nullptr;
541 if (parseMBBReference(SuccMBB))
542 return true;
543 lex();
544 unsigned Weight = 0;
545 if (consumeIfPresent(MIToken::lparen)) {
Geoff Berryb51774a2016-11-18 19:37:24 +0000546 if (Token.isNot(MIToken::IntegerLiteral) &&
547 Token.isNot(MIToken::HexLiteral))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000548 return error("expected an integer literal after '('");
549 if (getUnsigned(Weight))
550 return true;
551 lex();
552 if (expectAndConsume(MIToken::rparen))
553 return true;
554 }
Cong Houd97c1002015-12-01 05:29:22 +0000555 MBB.addSuccessor(SuccMBB, BranchProbability::getRaw(Weight));
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000556 } while (consumeIfPresent(MIToken::comma));
Cong Houd97c1002015-12-01 05:29:22 +0000557 MBB.normalizeSuccProbs();
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000558 return false;
559}
560
Matthias Braun89401142017-05-05 21:09:30 +0000561bool MIParser::parseBasicBlock(MachineBasicBlock &MBB,
562 MachineBasicBlock *&AddFalthroughFrom) {
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000563 // Skip the definition.
564 assert(Token.is(MIToken::MachineBasicBlockLabel));
565 lex();
566 if (consumeIfPresent(MIToken::lparen)) {
567 while (Token.isNot(MIToken::rparen) && !Token.isErrorOrEOF())
568 lex();
569 consumeIfPresent(MIToken::rparen);
570 }
571 consumeIfPresent(MIToken::colon);
572
573 // Parse the liveins and successors.
574 // N.B: Multiple lists of successors and liveins are allowed and they're
575 // merged into one.
576 // Example:
577 // liveins: %edi
578 // liveins: %esi
579 //
580 // is equivalent to
581 // liveins: %edi, %esi
Hiroshi Inoue6a391bb2017-06-27 10:35:37 +0000582 bool ExplicitSuccessors = false;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000583 while (true) {
584 if (Token.is(MIToken::kw_successors)) {
585 if (parseBasicBlockSuccessors(MBB))
586 return true;
Hiroshi Inoue6a391bb2017-06-27 10:35:37 +0000587 ExplicitSuccessors = true;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000588 } else if (Token.is(MIToken::kw_liveins)) {
589 if (parseBasicBlockLiveins(MBB))
590 return true;
591 } else if (consumeIfPresent(MIToken::Newline)) {
592 continue;
593 } else
594 break;
595 if (!Token.isNewlineOrEOF())
596 return error("expected line break at the end of a list");
597 lex();
598 }
599
600 // Parse the instructions.
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000601 bool IsInBundle = false;
602 MachineInstr *PrevMI = nullptr;
Matthias Braun89401142017-05-05 21:09:30 +0000603 while (!Token.is(MIToken::MachineBasicBlockLabel) &&
604 !Token.is(MIToken::Eof)) {
605 if (consumeIfPresent(MIToken::Newline))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000606 continue;
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000607 if (consumeIfPresent(MIToken::rbrace)) {
608 // The first parsing pass should verify that all closing '}' have an
609 // opening '{'.
610 assert(IsInBundle);
611 IsInBundle = false;
612 continue;
613 }
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000614 MachineInstr *MI = nullptr;
615 if (parse(MI))
616 return true;
617 MBB.insert(MBB.end(), MI);
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000618 if (IsInBundle) {
619 PrevMI->setFlag(MachineInstr::BundledSucc);
620 MI->setFlag(MachineInstr::BundledPred);
621 }
622 PrevMI = MI;
623 if (Token.is(MIToken::lbrace)) {
624 if (IsInBundle)
625 return error("nested instruction bundles are not allowed");
626 lex();
627 // This instruction is the start of the bundle.
628 MI->setFlag(MachineInstr::BundledSucc);
629 IsInBundle = true;
630 if (!Token.is(MIToken::Newline))
631 // The next instruction can be on the same line.
632 continue;
633 }
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000634 assert(Token.isNewlineOrEOF() && "MI is not fully parsed");
635 lex();
636 }
Matthias Braun89401142017-05-05 21:09:30 +0000637
638 // Construct successor list by searching for basic block machine operands.
Hiroshi Inoue6a391bb2017-06-27 10:35:37 +0000639 if (!ExplicitSuccessors) {
Matthias Braun89401142017-05-05 21:09:30 +0000640 SmallVector<MachineBasicBlock*,4> Successors;
641 bool IsFallthrough;
642 guessSuccessors(MBB, Successors, IsFallthrough);
643 for (MachineBasicBlock *Succ : Successors)
644 MBB.addSuccessor(Succ);
645
646 if (IsFallthrough) {
647 AddFalthroughFrom = &MBB;
648 } else {
649 MBB.normalizeSuccProbs();
650 }
651 }
652
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000653 return false;
654}
655
656bool MIParser::parseBasicBlocks() {
657 lex();
658 // Skip until the first machine basic block.
659 while (Token.is(MIToken::Newline))
660 lex();
661 if (Token.isErrorOrEOF())
662 return Token.isError();
663 // The first parsing pass should have verified that this token is a MBB label
664 // in the 'parseBasicBlockDefinitions' method.
665 assert(Token.is(MIToken::MachineBasicBlockLabel));
Matthias Braun89401142017-05-05 21:09:30 +0000666 MachineBasicBlock *AddFalthroughFrom = nullptr;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000667 do {
668 MachineBasicBlock *MBB = nullptr;
669 if (parseMBBReference(MBB))
670 return true;
Matthias Braun89401142017-05-05 21:09:30 +0000671 if (AddFalthroughFrom) {
672 if (!AddFalthroughFrom->isSuccessor(MBB))
673 AddFalthroughFrom->addSuccessor(MBB);
674 AddFalthroughFrom->normalizeSuccProbs();
675 AddFalthroughFrom = nullptr;
676 }
677 if (parseBasicBlock(*MBB, AddFalthroughFrom))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000678 return true;
679 // The method 'parseBasicBlock' should parse the whole block until the next
680 // block or the end of file.
681 assert(Token.is(MIToken::MachineBasicBlockLabel) || Token.is(MIToken::Eof));
682 } while (Token.isNot(MIToken::Eof));
683 return false;
684}
685
686bool MIParser::parse(MachineInstr *&MI) {
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000687 // Parse any register operands before '='
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000688 MachineOperand MO = MachineOperand::CreateImm(0);
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000689 SmallVector<ParsedMachineOperand, 8> Operands;
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000690 while (Token.isRegister() || Token.isRegisterFlag()) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000691 auto Loc = Token.location();
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000692 Optional<unsigned> TiedDefIdx;
693 if (parseRegisterOperand(MO, TiedDefIdx, /*IsDef=*/true))
Alex Lorenz3708a642015-06-30 17:47:50 +0000694 return true;
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000695 Operands.push_back(
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000696 ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000697 if (Token.isNot(MIToken::comma))
698 break;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000699 lex();
700 }
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000701 if (!Operands.empty() && expectAndConsume(MIToken::equal))
702 return true;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000703
Alex Lorenze5a44662015-07-17 00:24:15 +0000704 unsigned OpCode, Flags = 0;
705 if (Token.isError() || parseInstruction(OpCode, Flags))
Alex Lorenz3708a642015-06-30 17:47:50 +0000706 return true;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000707
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000708 // Parse the remaining machine operands.
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000709 while (!Token.isNewlineOrEOF() && Token.isNot(MIToken::kw_debug_location) &&
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000710 Token.isNot(MIToken::coloncolon) && Token.isNot(MIToken::lbrace)) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000711 auto Loc = Token.location();
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000712 Optional<unsigned> TiedDefIdx;
713 if (parseMachineOperandAndTargetFlags(MO, TiedDefIdx))
Alex Lorenz3708a642015-06-30 17:47:50 +0000714 return true;
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000715 Operands.push_back(
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000716 ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000717 if (Token.isNewlineOrEOF() || Token.is(MIToken::coloncolon) ||
718 Token.is(MIToken::lbrace))
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000719 break;
Alex Lorenz3708a642015-06-30 17:47:50 +0000720 if (Token.isNot(MIToken::comma))
721 return error("expected ',' before the next machine operand");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000722 lex();
723 }
724
Alex Lorenz46d760d2015-07-22 21:15:11 +0000725 DebugLoc DebugLocation;
726 if (Token.is(MIToken::kw_debug_location)) {
727 lex();
728 if (Token.isNot(MIToken::exclaim))
729 return error("expected a metadata node after 'debug-location'");
730 MDNode *Node = nullptr;
731 if (parseMDNode(Node))
732 return true;
733 DebugLocation = DebugLoc(Node);
734 }
735
Alex Lorenz4af7e612015-08-03 23:08:19 +0000736 // Parse the machine memory operands.
737 SmallVector<MachineMemOperand *, 2> MemOperands;
738 if (Token.is(MIToken::coloncolon)) {
739 lex();
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000740 while (!Token.isNewlineOrEOF()) {
Alex Lorenz4af7e612015-08-03 23:08:19 +0000741 MachineMemOperand *MemOp = nullptr;
742 if (parseMachineMemoryOperand(MemOp))
743 return true;
744 MemOperands.push_back(MemOp);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000745 if (Token.isNewlineOrEOF())
Alex Lorenz4af7e612015-08-03 23:08:19 +0000746 break;
747 if (Token.isNot(MIToken::comma))
748 return error("expected ',' before the next machine memory operand");
749 lex();
750 }
751 }
752
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000753 const auto &MCID = MF.getSubtarget().getInstrInfo()->get(OpCode);
Alex Lorenz36962cd2015-07-07 02:08:46 +0000754 if (!MCID.isVariadic()) {
755 // FIXME: Move the implicit operand verification to the machine verifier.
756 if (verifyImplicitOperands(Operands, MCID))
757 return true;
758 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000759
Alex Lorenzcb268d42015-07-06 23:07:26 +0000760 // TODO: Check for extraneous machine operands.
Alex Lorenz46d760d2015-07-22 21:15:11 +0000761 MI = MF.CreateMachineInstr(MCID, DebugLocation, /*NoImplicit=*/true);
Alex Lorenze5a44662015-07-17 00:24:15 +0000762 MI->setFlags(Flags);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000763 for (const auto &Operand : Operands)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000764 MI->addOperand(MF, Operand.Operand);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000765 if (assignRegisterTies(*MI, Operands))
766 return true;
Alex Lorenz4af7e612015-08-03 23:08:19 +0000767 if (MemOperands.empty())
768 return false;
769 MachineInstr::mmo_iterator MemRefs =
770 MF.allocateMemRefsArray(MemOperands.size());
771 std::copy(MemOperands.begin(), MemOperands.end(), MemRefs);
772 MI->setMemRefs(MemRefs, MemRefs + MemOperands.size());
Alex Lorenz3708a642015-06-30 17:47:50 +0000773 return false;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000774}
775
Alex Lorenz1ea60892015-07-27 20:29:27 +0000776bool MIParser::parseStandaloneMBB(MachineBasicBlock *&MBB) {
Alex Lorenzf09df002015-06-30 18:16:42 +0000777 lex();
778 if (Token.isNot(MIToken::MachineBasicBlock))
779 return error("expected a machine basic block reference");
780 if (parseMBBReference(MBB))
781 return true;
782 lex();
783 if (Token.isNot(MIToken::Eof))
784 return error(
785 "expected end of string after the machine basic block reference");
786 return false;
787}
788
Alex Lorenz1ea60892015-07-27 20:29:27 +0000789bool MIParser::parseStandaloneNamedRegister(unsigned &Reg) {
Alex Lorenz9fab3702015-07-14 21:24:41 +0000790 lex();
791 if (Token.isNot(MIToken::NamedRegister))
792 return error("expected a named register");
Matthias Braun74ad41c2016-10-11 03:13:01 +0000793 if (parseNamedRegister(Reg))
Alex Lorenz607efb62015-08-18 22:57:36 +0000794 return true;
Alex Lorenz9fab3702015-07-14 21:24:41 +0000795 lex();
796 if (Token.isNot(MIToken::Eof))
797 return error("expected end of string after the register reference");
798 return false;
799}
800
Matthias Braun74ad41c2016-10-11 03:13:01 +0000801bool MIParser::parseStandaloneVirtualRegister(VRegInfo *&Info) {
Alex Lorenz12045a42015-07-27 17:42:45 +0000802 lex();
803 if (Token.isNot(MIToken::VirtualRegister))
804 return error("expected a virtual register");
Matthias Braun74ad41c2016-10-11 03:13:01 +0000805 if (parseVirtualRegister(Info))
Alex Lorenz607efb62015-08-18 22:57:36 +0000806 return true;
Alex Lorenz12045a42015-07-27 17:42:45 +0000807 lex();
808 if (Token.isNot(MIToken::Eof))
809 return error("expected end of string after the register reference");
810 return false;
811}
812
Tom Stellard9c884e42016-11-15 00:03:14 +0000813bool MIParser::parseStandaloneRegister(unsigned &Reg) {
814 lex();
815 if (Token.isNot(MIToken::NamedRegister) &&
816 Token.isNot(MIToken::VirtualRegister))
817 return error("expected either a named or virtual register");
818
819 VRegInfo *Info;
820 if (parseRegister(Reg, Info))
821 return true;
822
823 lex();
824 if (Token.isNot(MIToken::Eof))
825 return error("expected end of string after the register reference");
826 return false;
827}
828
Alex Lorenza314d812015-08-18 22:26:26 +0000829bool MIParser::parseStandaloneStackObject(int &FI) {
830 lex();
831 if (Token.isNot(MIToken::StackObject))
832 return error("expected a stack object");
833 if (parseStackFrameIndex(FI))
834 return true;
835 if (Token.isNot(MIToken::Eof))
836 return error("expected end of string after the stack object reference");
837 return false;
838}
839
Alex Lorenzdf9e3c62015-08-19 00:13:25 +0000840bool MIParser::parseStandaloneMDNode(MDNode *&Node) {
841 lex();
842 if (Token.isNot(MIToken::exclaim))
843 return error("expected a metadata node");
844 if (parseMDNode(Node))
845 return true;
846 if (Token.isNot(MIToken::Eof))
847 return error("expected end of string after the metadata node");
848 return false;
849}
850
Alex Lorenz36962cd2015-07-07 02:08:46 +0000851static const char *printImplicitRegisterFlag(const MachineOperand &MO) {
852 assert(MO.isImplicit());
853 return MO.isDef() ? "implicit-def" : "implicit";
854}
855
856static std::string getRegisterName(const TargetRegisterInfo *TRI,
857 unsigned Reg) {
858 assert(TargetRegisterInfo::isPhysicalRegister(Reg) && "expected phys reg");
859 return StringRef(TRI->getName(Reg)).lower();
860}
861
Alex Lorenz0153e592015-09-10 14:04:34 +0000862/// Return true if the parsed machine operands contain a given machine operand.
863static bool isImplicitOperandIn(const MachineOperand &ImplicitOperand,
864 ArrayRef<ParsedMachineOperand> Operands) {
865 for (const auto &I : Operands) {
866 if (ImplicitOperand.isIdenticalTo(I.Operand))
867 return true;
868 }
869 return false;
870}
871
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000872bool MIParser::verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
873 const MCInstrDesc &MCID) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000874 if (MCID.isCall())
875 // We can't verify call instructions as they can contain arbitrary implicit
876 // register and register mask operands.
877 return false;
878
879 // Gather all the expected implicit operands.
880 SmallVector<MachineOperand, 4> ImplicitOperands;
881 if (MCID.ImplicitDefs)
Craig Toppere5e035a32015-12-05 07:13:35 +0000882 for (const MCPhysReg *ImpDefs = MCID.getImplicitDefs(); *ImpDefs; ++ImpDefs)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000883 ImplicitOperands.push_back(
884 MachineOperand::CreateReg(*ImpDefs, true, true));
885 if (MCID.ImplicitUses)
Craig Toppere5e035a32015-12-05 07:13:35 +0000886 for (const MCPhysReg *ImpUses = MCID.getImplicitUses(); *ImpUses; ++ImpUses)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000887 ImplicitOperands.push_back(
888 MachineOperand::CreateReg(*ImpUses, false, true));
889
890 const auto *TRI = MF.getSubtarget().getRegisterInfo();
891 assert(TRI && "Expected target register info");
Alex Lorenz0153e592015-09-10 14:04:34 +0000892 for (const auto &I : ImplicitOperands) {
893 if (isImplicitOperandIn(I, Operands))
894 continue;
895 return error(Operands.empty() ? Token.location() : Operands.back().End,
Alex Lorenz36962cd2015-07-07 02:08:46 +0000896 Twine("missing implicit register operand '") +
Alex Lorenz0153e592015-09-10 14:04:34 +0000897 printImplicitRegisterFlag(I) + " %" +
898 getRegisterName(TRI, I.getReg()) + "'");
Alex Lorenz36962cd2015-07-07 02:08:46 +0000899 }
900 return false;
901}
902
Alex Lorenze5a44662015-07-17 00:24:15 +0000903bool MIParser::parseInstruction(unsigned &OpCode, unsigned &Flags) {
904 if (Token.is(MIToken::kw_frame_setup)) {
905 Flags |= MachineInstr::FrameSetup;
906 lex();
907 }
Alex Lorenz91370c52015-06-22 20:37:46 +0000908 if (Token.isNot(MIToken::Identifier))
909 return error("expected a machine instruction");
910 StringRef InstrName = Token.stringValue();
911 if (parseInstrName(InstrName, OpCode))
912 return error(Twine("unknown machine instruction name '") + InstrName + "'");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000913 lex();
914 return false;
915}
916
Matthias Braun74ad41c2016-10-11 03:13:01 +0000917bool MIParser::parseNamedRegister(unsigned &Reg) {
918 assert(Token.is(MIToken::NamedRegister) && "Needs NamedRegister token");
919 StringRef Name = Token.stringValue();
920 if (getRegisterByName(Name, Reg))
921 return error(Twine("unknown register name '") + Name + "'");
922 return false;
923}
924
925bool MIParser::parseVirtualRegister(VRegInfo *&Info) {
926 assert(Token.is(MIToken::VirtualRegister) && "Needs VirtualRegister token");
927 unsigned ID;
928 if (getUnsigned(ID))
929 return true;
930 Info = &PFS.getVRegInfo(ID);
931 return false;
932}
933
934bool MIParser::parseRegister(unsigned &Reg, VRegInfo *&Info) {
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000935 switch (Token.kind()) {
Alex Lorenz12b554e2015-06-24 17:34:58 +0000936 case MIToken::underscore:
937 Reg = 0;
Matthias Braun74ad41c2016-10-11 03:13:01 +0000938 return false;
939 case MIToken::NamedRegister:
940 return parseNamedRegister(Reg);
941 case MIToken::VirtualRegister:
942 if (parseVirtualRegister(Info))
Alex Lorenz53464512015-07-10 22:51:20 +0000943 return true;
Matthias Braun74ad41c2016-10-11 03:13:01 +0000944 Reg = Info->VReg;
945 return false;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000946 // TODO: Parse other register kinds.
947 default:
948 llvm_unreachable("The current token should be a register");
949 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000950}
951
Matthias Braunde5fea22017-01-18 00:59:19 +0000952bool MIParser::parseRegisterClassOrBank(VRegInfo &RegInfo) {
Ahmed Bougachabf480552017-01-20 00:29:59 +0000953 if (Token.isNot(MIToken::Identifier) && Token.isNot(MIToken::underscore))
954 return error("expected '_', register class, or register bank name");
Matthias Braunde5fea22017-01-18 00:59:19 +0000955 StringRef::iterator Loc = Token.location();
956 StringRef Name = Token.stringValue();
957
958 // Was it a register class?
959 auto RCNameI = PFS.Names2RegClasses.find(Name);
960 if (RCNameI != PFS.Names2RegClasses.end()) {
961 lex();
962 const TargetRegisterClass &RC = *RCNameI->getValue();
963
964 switch (RegInfo.Kind) {
965 case VRegInfo::UNKNOWN:
966 case VRegInfo::NORMAL:
967 RegInfo.Kind = VRegInfo::NORMAL;
968 if (RegInfo.Explicit && RegInfo.D.RC != &RC) {
969 const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
970 return error(Loc, Twine("conflicting register classes, previously: ") +
971 Twine(TRI.getRegClassName(RegInfo.D.RC)));
972 }
973 RegInfo.D.RC = &RC;
974 RegInfo.Explicit = true;
975 return false;
976
977 case VRegInfo::GENERIC:
978 case VRegInfo::REGBANK:
979 return error(Loc, "register class specification on generic register");
980 }
981 llvm_unreachable("Unexpected register kind");
982 }
983
Ahmed Bougachabf480552017-01-20 00:29:59 +0000984 // Should be a register bank or a generic register.
985 const RegisterBank *RegBank = nullptr;
986 if (Name != "_") {
987 auto RBNameI = PFS.Names2RegBanks.find(Name);
988 if (RBNameI == PFS.Names2RegBanks.end())
989 return error(Loc, "expected '_', register class, or register bank name");
990 RegBank = RBNameI->getValue();
991 }
Matthias Braunde5fea22017-01-18 00:59:19 +0000992
Ahmed Bougachabf480552017-01-20 00:29:59 +0000993 lex();
994
Matthias Braunde5fea22017-01-18 00:59:19 +0000995 switch (RegInfo.Kind) {
996 case VRegInfo::UNKNOWN:
997 case VRegInfo::GENERIC:
998 case VRegInfo::REGBANK:
Ahmed Bougachabf480552017-01-20 00:29:59 +0000999 RegInfo.Kind = RegBank ? VRegInfo::REGBANK : VRegInfo::GENERIC;
1000 if (RegInfo.Explicit && RegInfo.D.RegBank != RegBank)
1001 return error(Loc, "conflicting generic register banks");
1002 RegInfo.D.RegBank = RegBank;
Matthias Braunde5fea22017-01-18 00:59:19 +00001003 RegInfo.Explicit = true;
1004 return false;
1005
1006 case VRegInfo::NORMAL:
Ahmed Bougachabf480552017-01-20 00:29:59 +00001007 return error(Loc, "register bank specification on normal register");
Matthias Braunde5fea22017-01-18 00:59:19 +00001008 }
1009 llvm_unreachable("Unexpected register kind");
1010}
1011
Alex Lorenzcb268d42015-07-06 23:07:26 +00001012bool MIParser::parseRegisterFlag(unsigned &Flags) {
Alex Lorenz2b3cf192015-08-05 18:09:03 +00001013 const unsigned OldFlags = Flags;
Alex Lorenzcb268d42015-07-06 23:07:26 +00001014 switch (Token.kind()) {
1015 case MIToken::kw_implicit:
1016 Flags |= RegState::Implicit;
1017 break;
1018 case MIToken::kw_implicit_define:
1019 Flags |= RegState::ImplicitDefine;
1020 break;
Alex Lorenze66a7cc2015-08-19 18:55:47 +00001021 case MIToken::kw_def:
1022 Flags |= RegState::Define;
1023 break;
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +00001024 case MIToken::kw_dead:
1025 Flags |= RegState::Dead;
1026 break;
Alex Lorenz495ad872015-07-08 21:23:34 +00001027 case MIToken::kw_killed:
1028 Flags |= RegState::Kill;
1029 break;
Alex Lorenz4d026b892015-07-08 23:58:31 +00001030 case MIToken::kw_undef:
1031 Flags |= RegState::Undef;
1032 break;
Alex Lorenz1039fd12015-08-14 19:07:07 +00001033 case MIToken::kw_internal:
1034 Flags |= RegState::InternalRead;
1035 break;
Alex Lorenz01c1a5e2015-08-05 17:49:03 +00001036 case MIToken::kw_early_clobber:
1037 Flags |= RegState::EarlyClobber;
1038 break;
Alex Lorenz90752582015-08-05 17:41:17 +00001039 case MIToken::kw_debug_use:
1040 Flags |= RegState::Debug;
1041 break;
Alex Lorenzcb268d42015-07-06 23:07:26 +00001042 default:
1043 llvm_unreachable("The current token should be a register flag");
1044 }
Alex Lorenz2b3cf192015-08-05 18:09:03 +00001045 if (OldFlags == Flags)
1046 // We know that the same flag is specified more than once when the flags
1047 // weren't modified.
1048 return error("duplicate '" + Token.stringValue() + "' register flag");
Alex Lorenzcb268d42015-07-06 23:07:26 +00001049 lex();
1050 return false;
1051}
1052
Alex Lorenz2eacca82015-07-13 23:24:34 +00001053bool MIParser::parseSubRegisterIndex(unsigned &SubReg) {
Matthias Braun333e4682016-07-26 21:49:34 +00001054 assert(Token.is(MIToken::dot));
Alex Lorenz2eacca82015-07-13 23:24:34 +00001055 lex();
1056 if (Token.isNot(MIToken::Identifier))
Matthias Braun333e4682016-07-26 21:49:34 +00001057 return error("expected a subregister index after '.'");
Alex Lorenz2eacca82015-07-13 23:24:34 +00001058 auto Name = Token.stringValue();
1059 SubReg = getSubRegIndex(Name);
1060 if (!SubReg)
1061 return error(Twine("use of unknown subregister index '") + Name + "'");
1062 lex();
1063 return false;
1064}
1065
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001066bool MIParser::parseRegisterTiedDefIndex(unsigned &TiedDefIdx) {
1067 if (!consumeIfPresent(MIToken::kw_tied_def))
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001068 return true;
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001069 if (Token.isNot(MIToken::IntegerLiteral))
1070 return error("expected an integer literal after 'tied-def'");
1071 if (getUnsigned(TiedDefIdx))
1072 return true;
1073 lex();
1074 if (expectAndConsume(MIToken::rparen))
1075 return true;
1076 return false;
1077}
1078
Alex Lorenzfeb6b432015-08-19 19:19:16 +00001079bool MIParser::assignRegisterTies(MachineInstr &MI,
1080 ArrayRef<ParsedMachineOperand> Operands) {
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001081 SmallVector<std::pair<unsigned, unsigned>, 4> TiedRegisterPairs;
1082 for (unsigned I = 0, E = Operands.size(); I != E; ++I) {
1083 if (!Operands[I].TiedDefIdx)
1084 continue;
1085 // The parser ensures that this operand is a register use, so we just have
1086 // to check the tied-def operand.
1087 unsigned DefIdx = Operands[I].TiedDefIdx.getValue();
1088 if (DefIdx >= E)
1089 return error(Operands[I].Begin,
1090 Twine("use of invalid tied-def operand index '" +
1091 Twine(DefIdx) + "'; instruction has only ") +
1092 Twine(E) + " operands");
1093 const auto &DefOperand = Operands[DefIdx].Operand;
1094 if (!DefOperand.isReg() || !DefOperand.isDef())
1095 // FIXME: add note with the def operand.
1096 return error(Operands[I].Begin,
1097 Twine("use of invalid tied-def operand index '") +
1098 Twine(DefIdx) + "'; the operand #" + Twine(DefIdx) +
1099 " isn't a defined register");
1100 // Check that the tied-def operand wasn't tied elsewhere.
1101 for (const auto &TiedPair : TiedRegisterPairs) {
1102 if (TiedPair.first == DefIdx)
1103 return error(Operands[I].Begin,
1104 Twine("the tied-def operand #") + Twine(DefIdx) +
1105 " is already tied with another register operand");
1106 }
1107 TiedRegisterPairs.push_back(std::make_pair(DefIdx, I));
1108 }
1109 // FIXME: Verify that for non INLINEASM instructions, the def and use tied
1110 // indices must be less than tied max.
1111 for (const auto &TiedPair : TiedRegisterPairs)
1112 MI.tieOperands(TiedPair.first, TiedPair.second);
1113 return false;
1114}
1115
1116bool MIParser::parseRegisterOperand(MachineOperand &Dest,
1117 Optional<unsigned> &TiedDefIdx,
1118 bool IsDef) {
Alex Lorenzcb268d42015-07-06 23:07:26 +00001119 unsigned Flags = IsDef ? RegState::Define : 0;
1120 while (Token.isRegisterFlag()) {
1121 if (parseRegisterFlag(Flags))
1122 return true;
1123 }
1124 if (!Token.isRegister())
1125 return error("expected a register after register flags");
Matthias Braun74ad41c2016-10-11 03:13:01 +00001126 unsigned Reg;
1127 VRegInfo *RegInfo;
1128 if (parseRegister(Reg, RegInfo))
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001129 return true;
1130 lex();
Alex Lorenz2eacca82015-07-13 23:24:34 +00001131 unsigned SubReg = 0;
Matthias Braun333e4682016-07-26 21:49:34 +00001132 if (Token.is(MIToken::dot)) {
Alex Lorenz2eacca82015-07-13 23:24:34 +00001133 if (parseSubRegisterIndex(SubReg))
1134 return true;
Matthias Braun5d00b322016-07-16 01:36:18 +00001135 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1136 return error("subregister index expects a virtual register");
Alex Lorenz2eacca82015-07-13 23:24:34 +00001137 }
Matthias Braunde5fea22017-01-18 00:59:19 +00001138 if (Token.is(MIToken::colon)) {
1139 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1140 return error("register class specification expects a virtual register");
1141 lex();
1142 if (parseRegisterClassOrBank(*RegInfo))
1143 return true;
1144 }
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001145 MachineRegisterInfo &MRI = MF.getRegInfo();
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001146 if ((Flags & RegState::Define) == 0) {
1147 if (consumeIfPresent(MIToken::lparen)) {
1148 unsigned Idx;
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001149 if (!parseRegisterTiedDefIndex(Idx))
1150 TiedDefIdx = Idx;
1151 else {
1152 // Try a redundant low-level type.
1153 LLT Ty;
1154 if (parseLowLevelType(Token.location(), Ty))
1155 return error("expected tied-def or low-level type after '('");
1156
1157 if (expectAndConsume(MIToken::rparen))
1158 return true;
1159
1160 if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
1161 return error("inconsistent type for generic virtual register");
1162
1163 MRI.setType(Reg, Ty);
1164 }
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001165 }
1166 } else if (consumeIfPresent(MIToken::lparen)) {
Quentin Colombete08cc592016-12-22 21:56:35 +00001167 // Virtual registers may have a tpe with GlobalISel.
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001168 if (!TargetRegisterInfo::isVirtualRegister(Reg))
Quentin Colombete08cc592016-12-22 21:56:35 +00001169 return error("unexpected type on physical register");
Ahmed Bougacha5a59b242016-07-19 19:48:36 +00001170
Tim Northover0f140c72016-09-09 11:46:34 +00001171 LLT Ty;
1172 if (parseLowLevelType(Token.location(), Ty))
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001173 return true;
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001174
Tim Northover0f140c72016-09-09 11:46:34 +00001175 if (expectAndConsume(MIToken::rparen))
1176 return true;
1177
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001178 if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
1179 return error("inconsistent type for generic virtual register");
1180
Tim Northover0f140c72016-09-09 11:46:34 +00001181 MRI.setType(Reg, Ty);
Matthias Braun74ad41c2016-10-11 03:13:01 +00001182 } else if (TargetRegisterInfo::isVirtualRegister(Reg)) {
Quentin Colombet3749f332016-12-22 22:50:34 +00001183 // Generic virtual registers must have a type.
1184 // If we end up here this means the type hasn't been specified and
Quentin Colombet2c646962016-06-08 23:27:46 +00001185 // this is bad!
Matthias Braun74ad41c2016-10-11 03:13:01 +00001186 if (RegInfo->Kind == VRegInfo::GENERIC ||
1187 RegInfo->Kind == VRegInfo::REGBANK)
Quentin Colombet3749f332016-12-22 22:50:34 +00001188 return error("generic virtual registers must have a type");
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001189 }
Alex Lorenz495ad872015-07-08 21:23:34 +00001190 Dest = MachineOperand::CreateReg(
1191 Reg, Flags & RegState::Define, Flags & RegState::Implicit,
Alex Lorenz2eacca82015-07-13 23:24:34 +00001192 Flags & RegState::Kill, Flags & RegState::Dead, Flags & RegState::Undef,
Alex Lorenz1039fd12015-08-14 19:07:07 +00001193 Flags & RegState::EarlyClobber, SubReg, Flags & RegState::Debug,
1194 Flags & RegState::InternalRead);
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001195 return false;
1196}
1197
Alex Lorenz240fc1e2015-06-23 23:42:28 +00001198bool MIParser::parseImmediateOperand(MachineOperand &Dest) {
1199 assert(Token.is(MIToken::IntegerLiteral));
1200 const APSInt &Int = Token.integerValue();
1201 if (Int.getMinSignedBits() > 64)
Alex Lorenz3f2058d2015-08-05 19:03:42 +00001202 return error("integer literal is too large to be an immediate operand");
Alex Lorenz240fc1e2015-06-23 23:42:28 +00001203 Dest = MachineOperand::CreateImm(Int.getExtValue());
1204 lex();
1205 return false;
1206}
1207
Alex Lorenz5d8b0bd2015-08-21 21:48:22 +00001208bool MIParser::parseIRConstant(StringRef::iterator Loc, StringRef StringValue,
1209 const Constant *&C) {
1210 auto Source = StringValue.str(); // The source has to be null terminated.
Alex Lorenz7eaff4c2015-08-05 18:44:00 +00001211 SMDiagnostic Err;
Malcolm Parsons06ac79c2016-11-02 16:43:50 +00001212 C = parseConstantValue(Source, Err, *MF.getFunction()->getParent(),
Matthias Braune35861d2016-07-13 23:27:50 +00001213 &PFS.IRSlots);
Alex Lorenz7eaff4c2015-08-05 18:44:00 +00001214 if (!C)
1215 return error(Loc + Err.getColumnNo(), Err.getMessage());
1216 return false;
1217}
1218
Alex Lorenz5d8b0bd2015-08-21 21:48:22 +00001219bool MIParser::parseIRConstant(StringRef::iterator Loc, const Constant *&C) {
1220 if (parseIRConstant(Loc, StringRef(Loc, Token.range().end() - Loc), C))
1221 return true;
1222 lex();
1223 return false;
1224}
1225
Ahmed Bougachad760de02016-07-28 17:15:12 +00001226bool MIParser::parseLowLevelType(StringRef::iterator Loc, LLT &Ty) {
Tim Northover32a078a2016-09-15 10:09:59 +00001227 if (Token.is(MIToken::ScalarType)) {
Tim Northover62ae5682016-07-20 19:09:30 +00001228 Ty = LLT::scalar(APSInt(Token.range().drop_front()).getZExtValue());
1229 lex();
1230 return false;
Tim Northoverbd505462016-07-22 16:59:52 +00001231 } else if (Token.is(MIToken::PointerType)) {
Tim Northover5ae83502016-09-15 09:20:34 +00001232 const DataLayout &DL = MF.getFunction()->getParent()->getDataLayout();
1233 unsigned AS = APSInt(Token.range().drop_front()).getZExtValue();
1234 Ty = LLT::pointer(AS, DL.getPointerSizeInBits(AS));
Tim Northoverbd505462016-07-22 16:59:52 +00001235 lex();
1236 return false;
Tim Northover62ae5682016-07-20 19:09:30 +00001237 }
Quentin Colombet85199672016-03-08 00:20:48 +00001238
Tim Northover62ae5682016-07-20 19:09:30 +00001239 // Now we're looking for a vector.
1240 if (Token.isNot(MIToken::less))
Tim Northoverbd505462016-07-22 16:59:52 +00001241 return error(Loc,
1242 "expected unsized, pN, sN or <N x sM> for GlobalISel type");
1243
Tim Northover62ae5682016-07-20 19:09:30 +00001244 lex();
1245
1246 if (Token.isNot(MIToken::IntegerLiteral))
1247 return error(Loc, "expected <N x sM> for vctor type");
1248 uint64_t NumElements = Token.integerValue().getZExtValue();
1249 lex();
1250
1251 if (Token.isNot(MIToken::Identifier) || Token.stringValue() != "x")
1252 return error(Loc, "expected '<N x sM>' for vector type");
1253 lex();
1254
1255 if (Token.isNot(MIToken::ScalarType))
1256 return error(Loc, "expected '<N x sM>' for vector type");
1257 uint64_t ScalarSize = APSInt(Token.range().drop_front()).getZExtValue();
1258 lex();
1259
1260 if (Token.isNot(MIToken::greater))
1261 return error(Loc, "expected '<N x sM>' for vector type");
1262 lex();
1263
1264 Ty = LLT::vector(NumElements, ScalarSize);
Quentin Colombet85199672016-03-08 00:20:48 +00001265 return false;
1266}
1267
Alex Lorenz05e38822015-08-05 18:52:21 +00001268bool MIParser::parseTypedImmediateOperand(MachineOperand &Dest) {
1269 assert(Token.is(MIToken::IntegerType));
1270 auto Loc = Token.location();
1271 lex();
1272 if (Token.isNot(MIToken::IntegerLiteral))
1273 return error("expected an integer literal");
1274 const Constant *C = nullptr;
1275 if (parseIRConstant(Loc, C))
1276 return true;
1277 Dest = MachineOperand::CreateCImm(cast<ConstantInt>(C));
1278 return false;
1279}
1280
Alex Lorenzad156fb2015-07-31 20:49:21 +00001281bool MIParser::parseFPImmediateOperand(MachineOperand &Dest) {
1282 auto Loc = Token.location();
1283 lex();
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001284 if (Token.isNot(MIToken::FloatingPointLiteral) &&
1285 Token.isNot(MIToken::HexLiteral))
Alex Lorenzad156fb2015-07-31 20:49:21 +00001286 return error("expected a floating point literal");
Alex Lorenz7eaff4c2015-08-05 18:44:00 +00001287 const Constant *C = nullptr;
1288 if (parseIRConstant(Loc, C))
1289 return true;
Alex Lorenzad156fb2015-07-31 20:49:21 +00001290 Dest = MachineOperand::CreateFPImm(cast<ConstantFP>(C));
1291 return false;
1292}
1293
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001294bool MIParser::getUnsigned(unsigned &Result) {
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001295 if (Token.hasIntegerValue()) {
1296 const uint64_t Limit = uint64_t(std::numeric_limits<unsigned>::max()) + 1;
1297 uint64_t Val64 = Token.integerValue().getLimitedValue(Limit);
1298 if (Val64 == Limit)
1299 return error("expected 32-bit integer (too large)");
1300 Result = Val64;
1301 return false;
1302 }
1303 if (Token.is(MIToken::HexLiteral)) {
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +00001304 APInt A;
1305 if (getHexUint(A))
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001306 return true;
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +00001307 if (A.getBitWidth() > 32)
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001308 return error("expected 32-bit integer (too large)");
1309 Result = A.getZExtValue();
1310 return false;
1311 }
1312 return true;
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001313}
1314
Alex Lorenzf09df002015-06-30 18:16:42 +00001315bool MIParser::parseMBBReference(MachineBasicBlock *&MBB) {
Alex Lorenz5022f6b2015-08-13 23:10:16 +00001316 assert(Token.is(MIToken::MachineBasicBlock) ||
1317 Token.is(MIToken::MachineBasicBlockLabel));
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001318 unsigned Number;
1319 if (getUnsigned(Number))
1320 return true;
Alex Lorenz7a503fa2015-07-07 17:46:43 +00001321 auto MBBInfo = PFS.MBBSlots.find(Number);
1322 if (MBBInfo == PFS.MBBSlots.end())
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001323 return error(Twine("use of undefined machine basic block #") +
1324 Twine(Number));
Alex Lorenzf09df002015-06-30 18:16:42 +00001325 MBB = MBBInfo->second;
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001326 if (!Token.stringValue().empty() && Token.stringValue() != MBB->getName())
1327 return error(Twine("the name of machine basic block #") + Twine(Number) +
1328 " isn't '" + Token.stringValue() + "'");
Alex Lorenzf09df002015-06-30 18:16:42 +00001329 return false;
1330}
1331
1332bool MIParser::parseMBBOperand(MachineOperand &Dest) {
1333 MachineBasicBlock *MBB;
1334 if (parseMBBReference(MBB))
1335 return true;
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001336 Dest = MachineOperand::CreateMBB(MBB);
1337 lex();
1338 return false;
1339}
1340
Alex Lorenzdc9dadf2015-08-18 22:18:52 +00001341bool MIParser::parseStackFrameIndex(int &FI) {
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001342 assert(Token.is(MIToken::StackObject));
1343 unsigned ID;
1344 if (getUnsigned(ID))
1345 return true;
1346 auto ObjectInfo = PFS.StackObjectSlots.find(ID);
1347 if (ObjectInfo == PFS.StackObjectSlots.end())
1348 return error(Twine("use of undefined stack object '%stack.") + Twine(ID) +
1349 "'");
1350 StringRef Name;
1351 if (const auto *Alloca =
Matthias Braun941a7052016-07-28 18:40:00 +00001352 MF.getFrameInfo().getObjectAllocation(ObjectInfo->second))
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001353 Name = Alloca->getName();
1354 if (!Token.stringValue().empty() && Token.stringValue() != Name)
1355 return error(Twine("the name of the stack object '%stack.") + Twine(ID) +
1356 "' isn't '" + Token.stringValue() + "'");
1357 lex();
Alex Lorenzdc9dadf2015-08-18 22:18:52 +00001358 FI = ObjectInfo->second;
1359 return false;
1360}
1361
1362bool MIParser::parseStackObjectOperand(MachineOperand &Dest) {
1363 int FI;
1364 if (parseStackFrameIndex(FI))
1365 return true;
1366 Dest = MachineOperand::CreateFI(FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001367 return false;
1368}
1369
Alex Lorenzea882122015-08-12 21:17:02 +00001370bool MIParser::parseFixedStackFrameIndex(int &FI) {
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001371 assert(Token.is(MIToken::FixedStackObject));
1372 unsigned ID;
1373 if (getUnsigned(ID))
1374 return true;
1375 auto ObjectInfo = PFS.FixedStackObjectSlots.find(ID);
1376 if (ObjectInfo == PFS.FixedStackObjectSlots.end())
1377 return error(Twine("use of undefined fixed stack object '%fixed-stack.") +
1378 Twine(ID) + "'");
1379 lex();
Alex Lorenzea882122015-08-12 21:17:02 +00001380 FI = ObjectInfo->second;
1381 return false;
1382}
1383
1384bool MIParser::parseFixedStackObjectOperand(MachineOperand &Dest) {
1385 int FI;
1386 if (parseFixedStackFrameIndex(FI))
1387 return true;
1388 Dest = MachineOperand::CreateFI(FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001389 return false;
1390}
1391
Alex Lorenz41df7d32015-07-28 17:09:52 +00001392bool MIParser::parseGlobalValue(GlobalValue *&GV) {
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001393 switch (Token.kind()) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001394 case MIToken::NamedGlobalValue: {
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001395 const Module *M = MF.getFunction()->getParent();
Alex Lorenz970c12e2015-08-05 17:35:55 +00001396 GV = M->getNamedValue(Token.stringValue());
Alex Lorenz41df7d32015-07-28 17:09:52 +00001397 if (!GV)
Alex Lorenz3fb77682015-08-06 23:17:42 +00001398 return error(Twine("use of undefined global value '") + Token.range() +
1399 "'");
Alex Lorenz41df7d32015-07-28 17:09:52 +00001400 break;
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001401 }
1402 case MIToken::GlobalValue: {
1403 unsigned GVIdx;
1404 if (getUnsigned(GVIdx))
1405 return true;
Matthias Braune35861d2016-07-13 23:27:50 +00001406 if (GVIdx >= PFS.IRSlots.GlobalValues.size())
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001407 return error(Twine("use of undefined global value '@") + Twine(GVIdx) +
1408 "'");
Matthias Braune35861d2016-07-13 23:27:50 +00001409 GV = PFS.IRSlots.GlobalValues[GVIdx];
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001410 break;
1411 }
1412 default:
1413 llvm_unreachable("The current token should be a global value");
1414 }
Alex Lorenz41df7d32015-07-28 17:09:52 +00001415 return false;
1416}
1417
1418bool MIParser::parseGlobalAddressOperand(MachineOperand &Dest) {
1419 GlobalValue *GV = nullptr;
1420 if (parseGlobalValue(GV))
1421 return true;
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001422 lex();
Alex Lorenz5672a892015-08-05 22:26:15 +00001423 Dest = MachineOperand::CreateGA(GV, /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001424 if (parseOperandsOffset(Dest))
1425 return true;
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001426 return false;
1427}
1428
Alex Lorenzab980492015-07-20 20:51:18 +00001429bool MIParser::parseConstantPoolIndexOperand(MachineOperand &Dest) {
1430 assert(Token.is(MIToken::ConstantPoolItem));
1431 unsigned ID;
1432 if (getUnsigned(ID))
1433 return true;
1434 auto ConstantInfo = PFS.ConstantPoolSlots.find(ID);
1435 if (ConstantInfo == PFS.ConstantPoolSlots.end())
1436 return error("use of undefined constant '%const." + Twine(ID) + "'");
1437 lex();
Alex Lorenzab980492015-07-20 20:51:18 +00001438 Dest = MachineOperand::CreateCPI(ID, /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001439 if (parseOperandsOffset(Dest))
1440 return true;
Alex Lorenzab980492015-07-20 20:51:18 +00001441 return false;
1442}
1443
Alex Lorenz31d70682015-07-15 23:38:35 +00001444bool MIParser::parseJumpTableIndexOperand(MachineOperand &Dest) {
1445 assert(Token.is(MIToken::JumpTableIndex));
1446 unsigned ID;
1447 if (getUnsigned(ID))
1448 return true;
1449 auto JumpTableEntryInfo = PFS.JumpTableSlots.find(ID);
1450 if (JumpTableEntryInfo == PFS.JumpTableSlots.end())
1451 return error("use of undefined jump table '%jump-table." + Twine(ID) + "'");
1452 lex();
Alex Lorenz31d70682015-07-15 23:38:35 +00001453 Dest = MachineOperand::CreateJTI(JumpTableEntryInfo->second);
1454 return false;
1455}
1456
Alex Lorenz6ede3742015-07-21 16:59:53 +00001457bool MIParser::parseExternalSymbolOperand(MachineOperand &Dest) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001458 assert(Token.is(MIToken::ExternalSymbol));
1459 const char *Symbol = MF.createExternalSymbolName(Token.stringValue());
Alex Lorenz6ede3742015-07-21 16:59:53 +00001460 lex();
Alex Lorenz6ede3742015-07-21 16:59:53 +00001461 Dest = MachineOperand::CreateES(Symbol);
Alex Lorenz5672a892015-08-05 22:26:15 +00001462 if (parseOperandsOffset(Dest))
1463 return true;
Alex Lorenz6ede3742015-07-21 16:59:53 +00001464 return false;
1465}
1466
Matthias Braunb74eb412016-03-28 18:18:46 +00001467bool MIParser::parseSubRegisterIndexOperand(MachineOperand &Dest) {
1468 assert(Token.is(MIToken::SubRegisterIndex));
1469 StringRef Name = Token.stringValue();
1470 unsigned SubRegIndex = getSubRegIndex(Token.stringValue());
1471 if (SubRegIndex == 0)
1472 return error(Twine("unknown subregister index '") + Name + "'");
1473 lex();
1474 Dest = MachineOperand::CreateImm(SubRegIndex);
1475 return false;
1476}
1477
Alex Lorenz44f29252015-07-22 21:07:04 +00001478bool MIParser::parseMDNode(MDNode *&Node) {
Alex Lorenz35e44462015-07-22 17:58:46 +00001479 assert(Token.is(MIToken::exclaim));
1480 auto Loc = Token.location();
1481 lex();
1482 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
1483 return error("expected metadata id after '!'");
1484 unsigned ID;
1485 if (getUnsigned(ID))
1486 return true;
Matthias Braune35861d2016-07-13 23:27:50 +00001487 auto NodeInfo = PFS.IRSlots.MetadataNodes.find(ID);
1488 if (NodeInfo == PFS.IRSlots.MetadataNodes.end())
Alex Lorenz35e44462015-07-22 17:58:46 +00001489 return error(Loc, "use of undefined metadata '!" + Twine(ID) + "'");
1490 lex();
Alex Lorenz44f29252015-07-22 21:07:04 +00001491 Node = NodeInfo->second.get();
1492 return false;
1493}
1494
1495bool MIParser::parseMetadataOperand(MachineOperand &Dest) {
1496 MDNode *Node = nullptr;
1497 if (parseMDNode(Node))
1498 return true;
1499 Dest = MachineOperand::CreateMetadata(Node);
Alex Lorenz35e44462015-07-22 17:58:46 +00001500 return false;
1501}
1502
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001503bool MIParser::parseCFIOffset(int &Offset) {
1504 if (Token.isNot(MIToken::IntegerLiteral))
1505 return error("expected a cfi offset");
1506 if (Token.integerValue().getMinSignedBits() > 32)
1507 return error("expected a 32 bit integer (the cfi offset is too large)");
1508 Offset = (int)Token.integerValue().getExtValue();
1509 lex();
1510 return false;
1511}
1512
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001513bool MIParser::parseCFIRegister(unsigned &Reg) {
1514 if (Token.isNot(MIToken::NamedRegister))
1515 return error("expected a cfi register");
1516 unsigned LLVMReg;
Matthias Braun74ad41c2016-10-11 03:13:01 +00001517 if (parseNamedRegister(LLVMReg))
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001518 return true;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001519 const auto *TRI = MF.getSubtarget().getRegisterInfo();
1520 assert(TRI && "Expected target register info");
1521 int DwarfReg = TRI->getDwarfRegNum(LLVMReg, true);
1522 if (DwarfReg < 0)
1523 return error("invalid DWARF register");
1524 Reg = (unsigned)DwarfReg;
1525 lex();
1526 return false;
1527}
1528
1529bool MIParser::parseCFIOperand(MachineOperand &Dest) {
1530 auto Kind = Token.kind();
1531 lex();
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001532 int Offset;
1533 unsigned Reg;
1534 unsigned CFIIndex;
1535 switch (Kind) {
Alex Lorenz577d2712015-08-14 21:55:58 +00001536 case MIToken::kw_cfi_same_value:
1537 if (parseCFIRegister(Reg))
1538 return true;
Matthias Braunf23ef432016-11-30 23:48:42 +00001539 CFIIndex = MF.addFrameInst(MCCFIInstruction::createSameValue(nullptr, Reg));
Alex Lorenz577d2712015-08-14 21:55:58 +00001540 break;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001541 case MIToken::kw_cfi_offset:
1542 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1543 parseCFIOffset(Offset))
1544 return true;
1545 CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +00001546 MF.addFrameInst(MCCFIInstruction::createOffset(nullptr, Reg, Offset));
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001547 break;
Alex Lorenz5b0d5f62015-07-27 20:39:03 +00001548 case MIToken::kw_cfi_def_cfa_register:
1549 if (parseCFIRegister(Reg))
1550 return true;
1551 CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +00001552 MF.addFrameInst(MCCFIInstruction::createDefCfaRegister(nullptr, Reg));
Alex Lorenz5b0d5f62015-07-27 20:39:03 +00001553 break;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001554 case MIToken::kw_cfi_def_cfa_offset:
1555 if (parseCFIOffset(Offset))
1556 return true;
1557 // NB: MCCFIInstruction::createDefCfaOffset negates the offset.
Matthias Braunf23ef432016-11-30 23:48:42 +00001558 CFIIndex = MF.addFrameInst(
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001559 MCCFIInstruction::createDefCfaOffset(nullptr, -Offset));
1560 break;
Alex Lorenzb1393232015-07-29 18:57:23 +00001561 case MIToken::kw_cfi_def_cfa:
1562 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1563 parseCFIOffset(Offset))
1564 return true;
1565 // NB: MCCFIInstruction::createDefCfa negates the offset.
1566 CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +00001567 MF.addFrameInst(MCCFIInstruction::createDefCfa(nullptr, Reg, -Offset));
Alex Lorenzb1393232015-07-29 18:57:23 +00001568 break;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001569 default:
1570 // TODO: Parse the other CFI operands.
1571 llvm_unreachable("The current token should be a cfi operand");
1572 }
1573 Dest = MachineOperand::CreateCFIIndex(CFIIndex);
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001574 return false;
1575}
1576
Alex Lorenzdeb53492015-07-28 17:28:03 +00001577bool MIParser::parseIRBlock(BasicBlock *&BB, const Function &F) {
1578 switch (Token.kind()) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001579 case MIToken::NamedIRBlock: {
1580 BB = dyn_cast_or_null<BasicBlock>(
Mehdi Aminia53d49e2016-09-17 06:00:02 +00001581 F.getValueSymbolTable()->lookup(Token.stringValue()));
Alex Lorenzdeb53492015-07-28 17:28:03 +00001582 if (!BB)
Alex Lorenz3fb77682015-08-06 23:17:42 +00001583 return error(Twine("use of undefined IR block '") + Token.range() + "'");
Alex Lorenzdeb53492015-07-28 17:28:03 +00001584 break;
1585 }
1586 case MIToken::IRBlock: {
1587 unsigned SlotNumber = 0;
1588 if (getUnsigned(SlotNumber))
1589 return true;
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00001590 BB = const_cast<BasicBlock *>(getIRBlock(SlotNumber, F));
Alex Lorenzdeb53492015-07-28 17:28:03 +00001591 if (!BB)
1592 return error(Twine("use of undefined IR block '%ir-block.") +
1593 Twine(SlotNumber) + "'");
1594 break;
1595 }
1596 default:
1597 llvm_unreachable("The current token should be an IR block reference");
1598 }
1599 return false;
1600}
1601
1602bool MIParser::parseBlockAddressOperand(MachineOperand &Dest) {
1603 assert(Token.is(MIToken::kw_blockaddress));
1604 lex();
1605 if (expectAndConsume(MIToken::lparen))
1606 return true;
1607 if (Token.isNot(MIToken::GlobalValue) &&
Alex Lorenz970c12e2015-08-05 17:35:55 +00001608 Token.isNot(MIToken::NamedGlobalValue))
Alex Lorenzdeb53492015-07-28 17:28:03 +00001609 return error("expected a global value");
1610 GlobalValue *GV = nullptr;
1611 if (parseGlobalValue(GV))
1612 return true;
1613 auto *F = dyn_cast<Function>(GV);
1614 if (!F)
1615 return error("expected an IR function reference");
1616 lex();
1617 if (expectAndConsume(MIToken::comma))
1618 return true;
1619 BasicBlock *BB = nullptr;
Alex Lorenz970c12e2015-08-05 17:35:55 +00001620 if (Token.isNot(MIToken::IRBlock) && Token.isNot(MIToken::NamedIRBlock))
Alex Lorenzdeb53492015-07-28 17:28:03 +00001621 return error("expected an IR block reference");
1622 if (parseIRBlock(BB, *F))
1623 return true;
1624 lex();
1625 if (expectAndConsume(MIToken::rparen))
1626 return true;
Alex Lorenzdeb53492015-07-28 17:28:03 +00001627 Dest = MachineOperand::CreateBA(BlockAddress::get(F, BB), /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001628 if (parseOperandsOffset(Dest))
1629 return true;
Alex Lorenzdeb53492015-07-28 17:28:03 +00001630 return false;
1631}
1632
Tim Northover6b3bd612016-07-29 20:32:59 +00001633bool MIParser::parseIntrinsicOperand(MachineOperand &Dest) {
1634 assert(Token.is(MIToken::kw_intrinsic));
1635 lex();
1636 if (expectAndConsume(MIToken::lparen))
1637 return error("expected syntax intrinsic(@llvm.whatever)");
1638
1639 if (Token.isNot(MIToken::NamedGlobalValue))
1640 return error("expected syntax intrinsic(@llvm.whatever)");
1641
1642 std::string Name = Token.stringValue();
1643 lex();
1644
1645 if (expectAndConsume(MIToken::rparen))
1646 return error("expected ')' to terminate intrinsic name");
1647
1648 // Find out what intrinsic we're dealing with, first try the global namespace
1649 // and then the target's private intrinsics if that fails.
1650 const TargetIntrinsicInfo *TII = MF.getTarget().getIntrinsicInfo();
1651 Intrinsic::ID ID = Function::lookupIntrinsicID(Name);
1652 if (ID == Intrinsic::not_intrinsic && TII)
1653 ID = static_cast<Intrinsic::ID>(TII->lookupName(Name));
1654
1655 if (ID == Intrinsic::not_intrinsic)
1656 return error("unknown intrinsic name");
1657 Dest = MachineOperand::CreateIntrinsicID(ID);
1658
1659 return false;
1660}
1661
Tim Northoverde3aea0412016-08-17 20:25:25 +00001662bool MIParser::parsePredicateOperand(MachineOperand &Dest) {
1663 assert(Token.is(MIToken::kw_intpred) || Token.is(MIToken::kw_floatpred));
1664 bool IsFloat = Token.is(MIToken::kw_floatpred);
1665 lex();
1666
1667 if (expectAndConsume(MIToken::lparen))
1668 return error("expected syntax intpred(whatever) or floatpred(whatever");
1669
1670 if (Token.isNot(MIToken::Identifier))
1671 return error("whatever");
1672
1673 CmpInst::Predicate Pred;
1674 if (IsFloat) {
1675 Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
1676 .Case("false", CmpInst::FCMP_FALSE)
1677 .Case("oeq", CmpInst::FCMP_OEQ)
1678 .Case("ogt", CmpInst::FCMP_OGT)
1679 .Case("oge", CmpInst::FCMP_OGE)
1680 .Case("olt", CmpInst::FCMP_OLT)
1681 .Case("ole", CmpInst::FCMP_OLE)
1682 .Case("one", CmpInst::FCMP_ONE)
1683 .Case("ord", CmpInst::FCMP_ORD)
1684 .Case("uno", CmpInst::FCMP_UNO)
1685 .Case("ueq", CmpInst::FCMP_UEQ)
1686 .Case("ugt", CmpInst::FCMP_UGT)
1687 .Case("uge", CmpInst::FCMP_UGE)
1688 .Case("ult", CmpInst::FCMP_ULT)
1689 .Case("ule", CmpInst::FCMP_ULE)
1690 .Case("une", CmpInst::FCMP_UNE)
1691 .Case("true", CmpInst::FCMP_TRUE)
1692 .Default(CmpInst::BAD_FCMP_PREDICATE);
1693 if (!CmpInst::isFPPredicate(Pred))
1694 return error("invalid floating-point predicate");
1695 } else {
1696 Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
1697 .Case("eq", CmpInst::ICMP_EQ)
1698 .Case("ne", CmpInst::ICMP_NE)
1699 .Case("sgt", CmpInst::ICMP_SGT)
1700 .Case("sge", CmpInst::ICMP_SGE)
1701 .Case("slt", CmpInst::ICMP_SLT)
1702 .Case("sle", CmpInst::ICMP_SLE)
1703 .Case("ugt", CmpInst::ICMP_UGT)
1704 .Case("uge", CmpInst::ICMP_UGE)
1705 .Case("ult", CmpInst::ICMP_ULT)
1706 .Case("ule", CmpInst::ICMP_ULE)
1707 .Default(CmpInst::BAD_ICMP_PREDICATE);
1708 if (!CmpInst::isIntPredicate(Pred))
1709 return error("invalid integer predicate");
1710 }
1711
1712 lex();
1713 Dest = MachineOperand::CreatePredicate(Pred);
Tim Northover6cd4b232016-08-23 21:01:26 +00001714 if (expectAndConsume(MIToken::rparen))
Tim Northoverde3aea0412016-08-17 20:25:25 +00001715 return error("predicate should be terminated by ')'.");
1716
1717 return false;
1718}
1719
Alex Lorenzef5c1962015-07-28 23:02:45 +00001720bool MIParser::parseTargetIndexOperand(MachineOperand &Dest) {
1721 assert(Token.is(MIToken::kw_target_index));
1722 lex();
1723 if (expectAndConsume(MIToken::lparen))
1724 return true;
1725 if (Token.isNot(MIToken::Identifier))
1726 return error("expected the name of the target index");
1727 int Index = 0;
1728 if (getTargetIndex(Token.stringValue(), Index))
1729 return error("use of undefined target index '" + Token.stringValue() + "'");
1730 lex();
1731 if (expectAndConsume(MIToken::rparen))
1732 return true;
Alex Lorenzef5c1962015-07-28 23:02:45 +00001733 Dest = MachineOperand::CreateTargetIndex(unsigned(Index), /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001734 if (parseOperandsOffset(Dest))
1735 return true;
Alex Lorenzef5c1962015-07-28 23:02:45 +00001736 return false;
1737}
1738
Oren Ben Simhon0ef61ec2017-03-19 08:14:18 +00001739bool MIParser::parseCustomRegisterMaskOperand(MachineOperand &Dest) {
1740 assert(Token.stringValue() == "CustomRegMask" && "Expected a custom RegMask");
1741 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
1742 assert(TRI && "Expected target register info");
1743 lex();
1744 if (expectAndConsume(MIToken::lparen))
1745 return true;
1746
1747 uint32_t *Mask = MF.allocateRegisterMask(TRI->getNumRegs());
1748 while (true) {
1749 if (Token.isNot(MIToken::NamedRegister))
1750 return error("expected a named register");
1751 unsigned Reg;
1752 if (parseNamedRegister(Reg))
1753 return true;
1754 lex();
1755 Mask[Reg / 32] |= 1U << (Reg % 32);
1756 // TODO: Report an error if the same register is used more than once.
1757 if (Token.isNot(MIToken::comma))
1758 break;
1759 lex();
1760 }
1761
1762 if (expectAndConsume(MIToken::rparen))
1763 return true;
1764 Dest = MachineOperand::CreateRegMask(Mask);
1765 return false;
1766}
1767
Alex Lorenzb97c9ef2015-08-10 23:24:42 +00001768bool MIParser::parseLiveoutRegisterMaskOperand(MachineOperand &Dest) {
1769 assert(Token.is(MIToken::kw_liveout));
1770 const auto *TRI = MF.getSubtarget().getRegisterInfo();
1771 assert(TRI && "Expected target register info");
1772 uint32_t *Mask = MF.allocateRegisterMask(TRI->getNumRegs());
1773 lex();
1774 if (expectAndConsume(MIToken::lparen))
1775 return true;
1776 while (true) {
1777 if (Token.isNot(MIToken::NamedRegister))
1778 return error("expected a named register");
Matthias Braun74ad41c2016-10-11 03:13:01 +00001779 unsigned Reg;
1780 if (parseNamedRegister(Reg))
Alex Lorenzb97c9ef2015-08-10 23:24:42 +00001781 return true;
1782 lex();
1783 Mask[Reg / 32] |= 1U << (Reg % 32);
1784 // TODO: Report an error if the same register is used more than once.
1785 if (Token.isNot(MIToken::comma))
1786 break;
1787 lex();
1788 }
1789 if (expectAndConsume(MIToken::rparen))
1790 return true;
1791 Dest = MachineOperand::CreateRegLiveOut(Mask);
1792 return false;
1793}
1794
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001795bool MIParser::parseMachineOperand(MachineOperand &Dest,
1796 Optional<unsigned> &TiedDefIdx) {
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001797 switch (Token.kind()) {
Alex Lorenzcb268d42015-07-06 23:07:26 +00001798 case MIToken::kw_implicit:
1799 case MIToken::kw_implicit_define:
Alex Lorenze66a7cc2015-08-19 18:55:47 +00001800 case MIToken::kw_def:
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +00001801 case MIToken::kw_dead:
Alex Lorenz495ad872015-07-08 21:23:34 +00001802 case MIToken::kw_killed:
Alex Lorenz4d026b892015-07-08 23:58:31 +00001803 case MIToken::kw_undef:
Alex Lorenz1039fd12015-08-14 19:07:07 +00001804 case MIToken::kw_internal:
Alex Lorenz01c1a5e2015-08-05 17:49:03 +00001805 case MIToken::kw_early_clobber:
Alex Lorenz90752582015-08-05 17:41:17 +00001806 case MIToken::kw_debug_use:
Alex Lorenz12b554e2015-06-24 17:34:58 +00001807 case MIToken::underscore:
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001808 case MIToken::NamedRegister:
Alex Lorenz53464512015-07-10 22:51:20 +00001809 case MIToken::VirtualRegister:
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001810 return parseRegisterOperand(Dest, TiedDefIdx);
Alex Lorenz240fc1e2015-06-23 23:42:28 +00001811 case MIToken::IntegerLiteral:
1812 return parseImmediateOperand(Dest);
Alex Lorenz05e38822015-08-05 18:52:21 +00001813 case MIToken::IntegerType:
1814 return parseTypedImmediateOperand(Dest);
Alex Lorenzad156fb2015-07-31 20:49:21 +00001815 case MIToken::kw_half:
1816 case MIToken::kw_float:
1817 case MIToken::kw_double:
1818 case MIToken::kw_x86_fp80:
1819 case MIToken::kw_fp128:
1820 case MIToken::kw_ppc_fp128:
1821 return parseFPImmediateOperand(Dest);
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001822 case MIToken::MachineBasicBlock:
1823 return parseMBBOperand(Dest);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001824 case MIToken::StackObject:
1825 return parseStackObjectOperand(Dest);
1826 case MIToken::FixedStackObject:
1827 return parseFixedStackObjectOperand(Dest);
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001828 case MIToken::GlobalValue:
1829 case MIToken::NamedGlobalValue:
1830 return parseGlobalAddressOperand(Dest);
Alex Lorenzab980492015-07-20 20:51:18 +00001831 case MIToken::ConstantPoolItem:
1832 return parseConstantPoolIndexOperand(Dest);
Alex Lorenz31d70682015-07-15 23:38:35 +00001833 case MIToken::JumpTableIndex:
1834 return parseJumpTableIndexOperand(Dest);
Alex Lorenz6ede3742015-07-21 16:59:53 +00001835 case MIToken::ExternalSymbol:
Alex Lorenz6ede3742015-07-21 16:59:53 +00001836 return parseExternalSymbolOperand(Dest);
Matthias Braunb74eb412016-03-28 18:18:46 +00001837 case MIToken::SubRegisterIndex:
1838 return parseSubRegisterIndexOperand(Dest);
Alex Lorenz35e44462015-07-22 17:58:46 +00001839 case MIToken::exclaim:
1840 return parseMetadataOperand(Dest);
Alex Lorenz577d2712015-08-14 21:55:58 +00001841 case MIToken::kw_cfi_same_value:
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001842 case MIToken::kw_cfi_offset:
Alex Lorenz5b0d5f62015-07-27 20:39:03 +00001843 case MIToken::kw_cfi_def_cfa_register:
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001844 case MIToken::kw_cfi_def_cfa_offset:
Alex Lorenzb1393232015-07-29 18:57:23 +00001845 case MIToken::kw_cfi_def_cfa:
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001846 return parseCFIOperand(Dest);
Alex Lorenzdeb53492015-07-28 17:28:03 +00001847 case MIToken::kw_blockaddress:
1848 return parseBlockAddressOperand(Dest);
Tim Northover6b3bd612016-07-29 20:32:59 +00001849 case MIToken::kw_intrinsic:
1850 return parseIntrinsicOperand(Dest);
Alex Lorenzef5c1962015-07-28 23:02:45 +00001851 case MIToken::kw_target_index:
1852 return parseTargetIndexOperand(Dest);
Alex Lorenzb97c9ef2015-08-10 23:24:42 +00001853 case MIToken::kw_liveout:
1854 return parseLiveoutRegisterMaskOperand(Dest);
Tim Northoverde3aea0412016-08-17 20:25:25 +00001855 case MIToken::kw_floatpred:
1856 case MIToken::kw_intpred:
1857 return parsePredicateOperand(Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001858 case MIToken::Error:
1859 return true;
Alex Lorenz8f6f4282015-06-29 16:57:06 +00001860 case MIToken::Identifier:
1861 if (const auto *RegMask = getRegMask(Token.stringValue())) {
1862 Dest = MachineOperand::CreateRegMask(RegMask);
1863 lex();
1864 break;
Oren Ben Simhon0ef61ec2017-03-19 08:14:18 +00001865 } else
1866 return parseCustomRegisterMaskOperand(Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001867 default:
Alex Lorenzf22ca8a2015-08-21 21:12:44 +00001868 // FIXME: Parse the MCSymbol machine operand.
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001869 return error("expected a machine operand");
1870 }
Alex Lorenz91370c52015-06-22 20:37:46 +00001871 return false;
1872}
1873
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001874bool MIParser::parseMachineOperandAndTargetFlags(
1875 MachineOperand &Dest, Optional<unsigned> &TiedDefIdx) {
Alex Lorenz49873a82015-08-06 00:44:07 +00001876 unsigned TF = 0;
1877 bool HasTargetFlags = false;
1878 if (Token.is(MIToken::kw_target_flags)) {
1879 HasTargetFlags = true;
1880 lex();
1881 if (expectAndConsume(MIToken::lparen))
1882 return true;
1883 if (Token.isNot(MIToken::Identifier))
1884 return error("expected the name of the target flag");
Alex Lorenzf3630112015-08-18 22:52:15 +00001885 if (getDirectTargetFlag(Token.stringValue(), TF)) {
1886 if (getBitmaskTargetFlag(Token.stringValue(), TF))
1887 return error("use of undefined target flag '" + Token.stringValue() +
1888 "'");
1889 }
Alex Lorenz49873a82015-08-06 00:44:07 +00001890 lex();
Alex Lorenzf3630112015-08-18 22:52:15 +00001891 while (Token.is(MIToken::comma)) {
1892 lex();
1893 if (Token.isNot(MIToken::Identifier))
1894 return error("expected the name of the target flag");
1895 unsigned BitFlag = 0;
1896 if (getBitmaskTargetFlag(Token.stringValue(), BitFlag))
1897 return error("use of undefined target flag '" + Token.stringValue() +
1898 "'");
1899 // TODO: Report an error when using a duplicate bit target flag.
1900 TF |= BitFlag;
1901 lex();
1902 }
Alex Lorenz49873a82015-08-06 00:44:07 +00001903 if (expectAndConsume(MIToken::rparen))
1904 return true;
1905 }
1906 auto Loc = Token.location();
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001907 if (parseMachineOperand(Dest, TiedDefIdx))
Alex Lorenz49873a82015-08-06 00:44:07 +00001908 return true;
1909 if (!HasTargetFlags)
1910 return false;
1911 if (Dest.isReg())
1912 return error(Loc, "register operands can't have target flags");
1913 Dest.setTargetFlags(TF);
1914 return false;
1915}
1916
Alex Lorenzdc24c172015-08-07 20:21:00 +00001917bool MIParser::parseOffset(int64_t &Offset) {
Alex Lorenz5672a892015-08-05 22:26:15 +00001918 if (Token.isNot(MIToken::plus) && Token.isNot(MIToken::minus))
1919 return false;
Alex Lorenz3fb77682015-08-06 23:17:42 +00001920 StringRef Sign = Token.range();
Alex Lorenz5672a892015-08-05 22:26:15 +00001921 bool IsNegative = Token.is(MIToken::minus);
1922 lex();
1923 if (Token.isNot(MIToken::IntegerLiteral))
1924 return error("expected an integer literal after '" + Sign + "'");
1925 if (Token.integerValue().getMinSignedBits() > 64)
1926 return error("expected 64-bit integer (too large)");
Alex Lorenzdc24c172015-08-07 20:21:00 +00001927 Offset = Token.integerValue().getExtValue();
Alex Lorenz5672a892015-08-05 22:26:15 +00001928 if (IsNegative)
1929 Offset = -Offset;
1930 lex();
Alex Lorenzdc24c172015-08-07 20:21:00 +00001931 return false;
1932}
1933
Alex Lorenz620f8912015-08-13 20:33:33 +00001934bool MIParser::parseAlignment(unsigned &Alignment) {
1935 assert(Token.is(MIToken::kw_align));
1936 lex();
Alex Lorenz68661042015-08-13 20:55:01 +00001937 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
Alex Lorenz620f8912015-08-13 20:33:33 +00001938 return error("expected an integer literal after 'align'");
1939 if (getUnsigned(Alignment))
1940 return true;
1941 lex();
1942 return false;
1943}
1944
Alex Lorenzdc24c172015-08-07 20:21:00 +00001945bool MIParser::parseOperandsOffset(MachineOperand &Op) {
1946 int64_t Offset = 0;
1947 if (parseOffset(Offset))
1948 return true;
Alex Lorenz5672a892015-08-05 22:26:15 +00001949 Op.setOffset(Offset);
1950 return false;
1951}
1952
Alex Lorenz36593ac2015-08-19 23:27:07 +00001953bool MIParser::parseIRValue(const Value *&V) {
Alex Lorenz4af7e612015-08-03 23:08:19 +00001954 switch (Token.kind()) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001955 case MIToken::NamedIRValue: {
Mehdi Aminia53d49e2016-09-17 06:00:02 +00001956 V = MF.getFunction()->getValueSymbolTable()->lookup(Token.stringValue());
Alex Lorenz4af7e612015-08-03 23:08:19 +00001957 break;
1958 }
Alex Lorenzdd13be02015-08-19 23:31:05 +00001959 case MIToken::IRValue: {
1960 unsigned SlotNumber = 0;
1961 if (getUnsigned(SlotNumber))
1962 return true;
1963 V = getIRValue(SlotNumber);
1964 break;
1965 }
Alex Lorenz36efd382015-08-20 00:20:03 +00001966 case MIToken::NamedGlobalValue:
1967 case MIToken::GlobalValue: {
1968 GlobalValue *GV = nullptr;
1969 if (parseGlobalValue(GV))
1970 return true;
1971 V = GV;
1972 break;
1973 }
Alex Lorenzc1136ef32015-08-21 21:54:12 +00001974 case MIToken::QuotedIRValue: {
1975 const Constant *C = nullptr;
1976 if (parseIRConstant(Token.location(), Token.stringValue(), C))
1977 return true;
1978 V = C;
1979 break;
1980 }
Alex Lorenz4af7e612015-08-03 23:08:19 +00001981 default:
1982 llvm_unreachable("The current token should be an IR block reference");
1983 }
Alex Lorenzdd13be02015-08-19 23:31:05 +00001984 if (!V)
1985 return error(Twine("use of undefined IR value '") + Token.range() + "'");
Alex Lorenz4af7e612015-08-03 23:08:19 +00001986 return false;
1987}
1988
1989bool MIParser::getUint64(uint64_t &Result) {
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +00001990 if (Token.hasIntegerValue()) {
1991 if (Token.integerValue().getActiveBits() > 64)
1992 return error("expected 64-bit integer (too large)");
1993 Result = Token.integerValue().getZExtValue();
1994 return false;
1995 }
1996 if (Token.is(MIToken::HexLiteral)) {
1997 APInt A;
1998 if (getHexUint(A))
1999 return true;
2000 if (A.getBitWidth() > 64)
2001 return error("expected 64-bit integer (too large)");
2002 Result = A.getZExtValue();
2003 return false;
2004 }
2005 return true;
2006}
2007
2008bool MIParser::getHexUint(APInt &Result) {
2009 assert(Token.is(MIToken::HexLiteral));
2010 StringRef S = Token.range();
2011 assert(S[0] == '0' && tolower(S[1]) == 'x');
2012 // This could be a floating point literal with a special prefix.
2013 if (!isxdigit(S[2]))
2014 return true;
2015 StringRef V = S.substr(2);
2016 APInt A(V.size()*4, V, 16);
Renato Golin4abfb3d2017-04-23 12:15:30 +00002017 Result = APInt(A.getActiveBits(),
2018 ArrayRef<uint64_t>(A.getRawData(), A.getNumWords()));
Alex Lorenz4af7e612015-08-03 23:08:19 +00002019 return false;
2020}
2021
Justin Lebar0af80cd2016-07-15 18:26:59 +00002022bool MIParser::parseMemoryOperandFlag(MachineMemOperand::Flags &Flags) {
2023 const auto OldFlags = Flags;
Alex Lorenza518b792015-08-04 00:24:45 +00002024 switch (Token.kind()) {
2025 case MIToken::kw_volatile:
2026 Flags |= MachineMemOperand::MOVolatile;
2027 break;
Alex Lorenz10fd0382015-08-06 16:49:30 +00002028 case MIToken::kw_non_temporal:
2029 Flags |= MachineMemOperand::MONonTemporal;
2030 break;
Justin Lebaradbf09e2016-09-11 01:38:58 +00002031 case MIToken::kw_dereferenceable:
2032 Flags |= MachineMemOperand::MODereferenceable;
2033 break;
Alex Lorenzdc8de2a2015-08-06 16:55:53 +00002034 case MIToken::kw_invariant:
2035 Flags |= MachineMemOperand::MOInvariant;
2036 break;
Alex Lorenzdc8de2a2015-08-06 16:55:53 +00002037 // TODO: parse the target specific memory operand flags.
Alex Lorenza518b792015-08-04 00:24:45 +00002038 default:
2039 llvm_unreachable("The current token should be a memory operand flag");
2040 }
Alex Lorenze86d5152015-08-06 18:26:36 +00002041 if (OldFlags == Flags)
2042 // We know that the same flag is specified more than once when the flags
2043 // weren't modified.
2044 return error("duplicate '" + Token.stringValue() + "' memory operand flag");
Alex Lorenza518b792015-08-04 00:24:45 +00002045 lex();
2046 return false;
2047}
2048
Alex Lorenz91097a32015-08-12 20:33:26 +00002049bool MIParser::parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV) {
2050 switch (Token.kind()) {
Alex Lorenz46e95582015-08-12 20:44:16 +00002051 case MIToken::kw_stack:
2052 PSV = MF.getPSVManager().getStack();
2053 break;
Alex Lorenzd858f872015-08-12 21:00:22 +00002054 case MIToken::kw_got:
2055 PSV = MF.getPSVManager().getGOT();
2056 break;
Alex Lorenz4be56e92015-08-12 21:11:08 +00002057 case MIToken::kw_jump_table:
2058 PSV = MF.getPSVManager().getJumpTable();
2059 break;
Alex Lorenz91097a32015-08-12 20:33:26 +00002060 case MIToken::kw_constant_pool:
2061 PSV = MF.getPSVManager().getConstantPool();
2062 break;
Alex Lorenz0cc671b2015-08-12 21:23:17 +00002063 case MIToken::FixedStackObject: {
2064 int FI;
2065 if (parseFixedStackFrameIndex(FI))
2066 return true;
2067 PSV = MF.getPSVManager().getFixedStack(FI);
2068 // The token was already consumed, so use return here instead of break.
2069 return false;
2070 }
Matthias Braun3ef7df92016-06-08 00:47:07 +00002071 case MIToken::StackObject: {
2072 int FI;
2073 if (parseStackFrameIndex(FI))
2074 return true;
2075 PSV = MF.getPSVManager().getFixedStack(FI);
2076 // The token was already consumed, so use return here instead of break.
2077 return false;
2078 }
Eugene Zelenkofb69e662017-06-06 22:22:41 +00002079 case MIToken::kw_call_entry:
Alex Lorenz0d009642015-08-20 00:12:57 +00002080 lex();
2081 switch (Token.kind()) {
2082 case MIToken::GlobalValue:
2083 case MIToken::NamedGlobalValue: {
2084 GlobalValue *GV = nullptr;
2085 if (parseGlobalValue(GV))
2086 return true;
2087 PSV = MF.getPSVManager().getGlobalValueCallEntry(GV);
2088 break;
2089 }
2090 case MIToken::ExternalSymbol:
2091 PSV = MF.getPSVManager().getExternalSymbolCallEntry(
2092 MF.createExternalSymbolName(Token.stringValue()));
2093 break;
2094 default:
2095 return error(
2096 "expected a global value or an external symbol after 'call-entry'");
2097 }
Alex Lorenz50b826f2015-08-14 21:08:30 +00002098 break;
Alex Lorenz91097a32015-08-12 20:33:26 +00002099 default:
2100 llvm_unreachable("The current token should be pseudo source value");
2101 }
2102 lex();
2103 return false;
2104}
2105
2106bool MIParser::parseMachinePointerInfo(MachinePointerInfo &Dest) {
Alex Lorenzd858f872015-08-12 21:00:22 +00002107 if (Token.is(MIToken::kw_constant_pool) || Token.is(MIToken::kw_stack) ||
Alex Lorenz0cc671b2015-08-12 21:23:17 +00002108 Token.is(MIToken::kw_got) || Token.is(MIToken::kw_jump_table) ||
Matthias Braun3ef7df92016-06-08 00:47:07 +00002109 Token.is(MIToken::FixedStackObject) || Token.is(MIToken::StackObject) ||
2110 Token.is(MIToken::kw_call_entry)) {
Alex Lorenz91097a32015-08-12 20:33:26 +00002111 const PseudoSourceValue *PSV = nullptr;
2112 if (parseMemoryPseudoSourceValue(PSV))
2113 return true;
2114 int64_t Offset = 0;
2115 if (parseOffset(Offset))
2116 return true;
2117 Dest = MachinePointerInfo(PSV, Offset);
2118 return false;
2119 }
Alex Lorenz36efd382015-08-20 00:20:03 +00002120 if (Token.isNot(MIToken::NamedIRValue) && Token.isNot(MIToken::IRValue) &&
2121 Token.isNot(MIToken::GlobalValue) &&
Alex Lorenzc1136ef32015-08-21 21:54:12 +00002122 Token.isNot(MIToken::NamedGlobalValue) &&
2123 Token.isNot(MIToken::QuotedIRValue))
Alex Lorenz91097a32015-08-12 20:33:26 +00002124 return error("expected an IR value reference");
Alex Lorenz36593ac2015-08-19 23:27:07 +00002125 const Value *V = nullptr;
Alex Lorenz91097a32015-08-12 20:33:26 +00002126 if (parseIRValue(V))
2127 return true;
2128 if (!V->getType()->isPointerTy())
2129 return error("expected a pointer IR value");
2130 lex();
2131 int64_t Offset = 0;
2132 if (parseOffset(Offset))
2133 return true;
2134 Dest = MachinePointerInfo(V, Offset);
2135 return false;
2136}
2137
Tim Northoverb73e3092017-02-13 22:14:08 +00002138bool MIParser::parseOptionalAtomicOrdering(AtomicOrdering &Order) {
2139 Order = AtomicOrdering::NotAtomic;
2140 if (Token.isNot(MIToken::Identifier))
2141 return false;
2142
2143 Order = StringSwitch<AtomicOrdering>(Token.stringValue())
2144 .Case("unordered", AtomicOrdering::Unordered)
2145 .Case("monotonic", AtomicOrdering::Monotonic)
2146 .Case("acquire", AtomicOrdering::Acquire)
2147 .Case("release", AtomicOrdering::Release)
2148 .Case("acq_rel", AtomicOrdering::AcquireRelease)
2149 .Case("seq_cst", AtomicOrdering::SequentiallyConsistent)
2150 .Default(AtomicOrdering::NotAtomic);
2151
2152 if (Order != AtomicOrdering::NotAtomic) {
2153 lex();
2154 return false;
2155 }
2156
2157 return error("expected an atomic scope, ordering or a size integer literal");
2158}
2159
Alex Lorenz4af7e612015-08-03 23:08:19 +00002160bool MIParser::parseMachineMemoryOperand(MachineMemOperand *&Dest) {
2161 if (expectAndConsume(MIToken::lparen))
2162 return true;
Justin Lebar0af80cd2016-07-15 18:26:59 +00002163 MachineMemOperand::Flags Flags = MachineMemOperand::MONone;
Alex Lorenza518b792015-08-04 00:24:45 +00002164 while (Token.isMemoryOperandFlag()) {
2165 if (parseMemoryOperandFlag(Flags))
2166 return true;
2167 }
Alex Lorenz4af7e612015-08-03 23:08:19 +00002168 if (Token.isNot(MIToken::Identifier) ||
2169 (Token.stringValue() != "load" && Token.stringValue() != "store"))
2170 return error("expected 'load' or 'store' memory operation");
Alex Lorenz4af7e612015-08-03 23:08:19 +00002171 if (Token.stringValue() == "load")
2172 Flags |= MachineMemOperand::MOLoad;
2173 else
2174 Flags |= MachineMemOperand::MOStore;
2175 lex();
2176
Tim Northoverb73e3092017-02-13 22:14:08 +00002177 // Optional "singlethread" scope.
2178 SynchronizationScope Scope = SynchronizationScope::CrossThread;
2179 if (Token.is(MIToken::Identifier) && Token.stringValue() == "singlethread") {
2180 Scope = SynchronizationScope::SingleThread;
2181 lex();
2182 }
2183
2184 // Up to two atomic orderings (cmpxchg provides guarantees on failure).
2185 AtomicOrdering Order, FailureOrder;
2186 if (parseOptionalAtomicOrdering(Order))
2187 return true;
2188
2189 if (parseOptionalAtomicOrdering(FailureOrder))
2190 return true;
2191
Alex Lorenz4af7e612015-08-03 23:08:19 +00002192 if (Token.isNot(MIToken::IntegerLiteral))
2193 return error("expected the size integer literal after memory operation");
2194 uint64_t Size;
2195 if (getUint64(Size))
2196 return true;
2197 lex();
2198
Alex Lorenz91097a32015-08-12 20:33:26 +00002199 MachinePointerInfo Ptr = MachinePointerInfo();
Matthias Braunc25c9cc2016-06-04 00:06:31 +00002200 if (Token.is(MIToken::Identifier)) {
2201 const char *Word = Flags & MachineMemOperand::MOLoad ? "from" : "into";
2202 if (Token.stringValue() != Word)
2203 return error(Twine("expected '") + Word + "'");
2204 lex();
2205
2206 if (parseMachinePointerInfo(Ptr))
2207 return true;
2208 }
Alex Lorenz61420f72015-08-07 20:48:30 +00002209 unsigned BaseAlignment = Size;
Alex Lorenza617c912015-08-17 22:05:15 +00002210 AAMDNodes AAInfo;
Alex Lorenzeb625682015-08-17 22:09:52 +00002211 MDNode *Range = nullptr;
Alex Lorenza617c912015-08-17 22:05:15 +00002212 while (consumeIfPresent(MIToken::comma)) {
2213 switch (Token.kind()) {
2214 case MIToken::kw_align:
2215 if (parseAlignment(BaseAlignment))
2216 return true;
2217 break;
2218 case MIToken::md_tbaa:
2219 lex();
2220 if (parseMDNode(AAInfo.TBAA))
2221 return true;
2222 break;
Alex Lorenza16f6242015-08-17 22:06:40 +00002223 case MIToken::md_alias_scope:
2224 lex();
2225 if (parseMDNode(AAInfo.Scope))
2226 return true;
2227 break;
Alex Lorenz03e940d2015-08-17 22:08:02 +00002228 case MIToken::md_noalias:
2229 lex();
2230 if (parseMDNode(AAInfo.NoAlias))
2231 return true;
2232 break;
Alex Lorenzeb625682015-08-17 22:09:52 +00002233 case MIToken::md_range:
2234 lex();
2235 if (parseMDNode(Range))
2236 return true;
2237 break;
Alex Lorenza617c912015-08-17 22:05:15 +00002238 // TODO: Report an error on duplicate metadata nodes.
2239 default:
Alex Lorenzeb625682015-08-17 22:09:52 +00002240 return error("expected 'align' or '!tbaa' or '!alias.scope' or "
2241 "'!noalias' or '!range'");
Alex Lorenza617c912015-08-17 22:05:15 +00002242 }
Alex Lorenz61420f72015-08-07 20:48:30 +00002243 }
Alex Lorenz4af7e612015-08-03 23:08:19 +00002244 if (expectAndConsume(MIToken::rparen))
2245 return true;
Tim Northoverb73e3092017-02-13 22:14:08 +00002246 Dest = MF.getMachineMemOperand(Ptr, Flags, Size, BaseAlignment, AAInfo, Range,
2247 Scope, Order, FailureOrder);
Alex Lorenz4af7e612015-08-03 23:08:19 +00002248 return false;
2249}
2250
Alex Lorenz8e0a1b42015-06-22 17:02:30 +00002251void MIParser::initNames2InstrOpCodes() {
2252 if (!Names2InstrOpCodes.empty())
2253 return;
2254 const auto *TII = MF.getSubtarget().getInstrInfo();
2255 assert(TII && "Expected target instruction info");
2256 for (unsigned I = 0, E = TII->getNumOpcodes(); I < E; ++I)
2257 Names2InstrOpCodes.insert(std::make_pair(StringRef(TII->getName(I)), I));
2258}
2259
2260bool MIParser::parseInstrName(StringRef InstrName, unsigned &OpCode) {
2261 initNames2InstrOpCodes();
2262 auto InstrInfo = Names2InstrOpCodes.find(InstrName);
2263 if (InstrInfo == Names2InstrOpCodes.end())
2264 return true;
2265 OpCode = InstrInfo->getValue();
2266 return false;
2267}
2268
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002269void MIParser::initNames2Regs() {
2270 if (!Names2Regs.empty())
2271 return;
Alex Lorenz12b554e2015-06-24 17:34:58 +00002272 // The '%noreg' register is the register 0.
2273 Names2Regs.insert(std::make_pair("noreg", 0));
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002274 const auto *TRI = MF.getSubtarget().getRegisterInfo();
2275 assert(TRI && "Expected target register info");
2276 for (unsigned I = 0, E = TRI->getNumRegs(); I < E; ++I) {
2277 bool WasInserted =
2278 Names2Regs.insert(std::make_pair(StringRef(TRI->getName(I)).lower(), I))
2279 .second;
2280 (void)WasInserted;
2281 assert(WasInserted && "Expected registers to be unique case-insensitively");
2282 }
2283}
2284
2285bool MIParser::getRegisterByName(StringRef RegName, unsigned &Reg) {
2286 initNames2Regs();
2287 auto RegInfo = Names2Regs.find(RegName);
2288 if (RegInfo == Names2Regs.end())
2289 return true;
2290 Reg = RegInfo->getValue();
2291 return false;
2292}
2293
Alex Lorenz8f6f4282015-06-29 16:57:06 +00002294void MIParser::initNames2RegMasks() {
2295 if (!Names2RegMasks.empty())
2296 return;
2297 const auto *TRI = MF.getSubtarget().getRegisterInfo();
2298 assert(TRI && "Expected target register info");
2299 ArrayRef<const uint32_t *> RegMasks = TRI->getRegMasks();
2300 ArrayRef<const char *> RegMaskNames = TRI->getRegMaskNames();
2301 assert(RegMasks.size() == RegMaskNames.size());
2302 for (size_t I = 0, E = RegMasks.size(); I < E; ++I)
2303 Names2RegMasks.insert(
2304 std::make_pair(StringRef(RegMaskNames[I]).lower(), RegMasks[I]));
2305}
2306
2307const uint32_t *MIParser::getRegMask(StringRef Identifier) {
2308 initNames2RegMasks();
2309 auto RegMaskInfo = Names2RegMasks.find(Identifier);
2310 if (RegMaskInfo == Names2RegMasks.end())
2311 return nullptr;
2312 return RegMaskInfo->getValue();
2313}
2314
Alex Lorenz2eacca82015-07-13 23:24:34 +00002315void MIParser::initNames2SubRegIndices() {
2316 if (!Names2SubRegIndices.empty())
2317 return;
2318 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
2319 for (unsigned I = 1, E = TRI->getNumSubRegIndices(); I < E; ++I)
2320 Names2SubRegIndices.insert(
2321 std::make_pair(StringRef(TRI->getSubRegIndexName(I)).lower(), I));
2322}
2323
2324unsigned MIParser::getSubRegIndex(StringRef Name) {
2325 initNames2SubRegIndices();
2326 auto SubRegInfo = Names2SubRegIndices.find(Name);
2327 if (SubRegInfo == Names2SubRegIndices.end())
2328 return 0;
2329 return SubRegInfo->getValue();
2330}
2331
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002332static void initSlots2BasicBlocks(
2333 const Function &F,
2334 DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
2335 ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
Alex Lorenz8a1915b2015-07-27 22:42:41 +00002336 MST.incorporateFunction(F);
2337 for (auto &BB : F) {
2338 if (BB.hasName())
2339 continue;
2340 int Slot = MST.getLocalSlot(&BB);
2341 if (Slot == -1)
2342 continue;
2343 Slots2BasicBlocks.insert(std::make_pair(unsigned(Slot), &BB));
2344 }
2345}
2346
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002347static const BasicBlock *getIRBlockFromSlot(
2348 unsigned Slot,
2349 const DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
Alex Lorenz8a1915b2015-07-27 22:42:41 +00002350 auto BlockInfo = Slots2BasicBlocks.find(Slot);
2351 if (BlockInfo == Slots2BasicBlocks.end())
2352 return nullptr;
2353 return BlockInfo->second;
2354}
2355
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002356const BasicBlock *MIParser::getIRBlock(unsigned Slot) {
2357 if (Slots2BasicBlocks.empty())
2358 initSlots2BasicBlocks(*MF.getFunction(), Slots2BasicBlocks);
2359 return getIRBlockFromSlot(Slot, Slots2BasicBlocks);
2360}
2361
2362const BasicBlock *MIParser::getIRBlock(unsigned Slot, const Function &F) {
2363 if (&F == MF.getFunction())
2364 return getIRBlock(Slot);
2365 DenseMap<unsigned, const BasicBlock *> CustomSlots2BasicBlocks;
2366 initSlots2BasicBlocks(F, CustomSlots2BasicBlocks);
2367 return getIRBlockFromSlot(Slot, CustomSlots2BasicBlocks);
2368}
2369
Alex Lorenzdd13be02015-08-19 23:31:05 +00002370static void mapValueToSlot(const Value *V, ModuleSlotTracker &MST,
2371 DenseMap<unsigned, const Value *> &Slots2Values) {
2372 int Slot = MST.getLocalSlot(V);
2373 if (Slot == -1)
2374 return;
2375 Slots2Values.insert(std::make_pair(unsigned(Slot), V));
2376}
2377
2378/// Creates the mapping from slot numbers to function's unnamed IR values.
2379static void initSlots2Values(const Function &F,
2380 DenseMap<unsigned, const Value *> &Slots2Values) {
2381 ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
2382 MST.incorporateFunction(F);
2383 for (const auto &Arg : F.args())
2384 mapValueToSlot(&Arg, MST, Slots2Values);
2385 for (const auto &BB : F) {
2386 mapValueToSlot(&BB, MST, Slots2Values);
2387 for (const auto &I : BB)
2388 mapValueToSlot(&I, MST, Slots2Values);
2389 }
2390}
2391
2392const Value *MIParser::getIRValue(unsigned Slot) {
2393 if (Slots2Values.empty())
2394 initSlots2Values(*MF.getFunction(), Slots2Values);
2395 auto ValueInfo = Slots2Values.find(Slot);
2396 if (ValueInfo == Slots2Values.end())
2397 return nullptr;
2398 return ValueInfo->second;
2399}
2400
Alex Lorenzef5c1962015-07-28 23:02:45 +00002401void MIParser::initNames2TargetIndices() {
2402 if (!Names2TargetIndices.empty())
2403 return;
2404 const auto *TII = MF.getSubtarget().getInstrInfo();
2405 assert(TII && "Expected target instruction info");
2406 auto Indices = TII->getSerializableTargetIndices();
2407 for (const auto &I : Indices)
2408 Names2TargetIndices.insert(std::make_pair(StringRef(I.second), I.first));
2409}
2410
2411bool MIParser::getTargetIndex(StringRef Name, int &Index) {
2412 initNames2TargetIndices();
2413 auto IndexInfo = Names2TargetIndices.find(Name);
2414 if (IndexInfo == Names2TargetIndices.end())
2415 return true;
2416 Index = IndexInfo->second;
2417 return false;
2418}
2419
Alex Lorenz49873a82015-08-06 00:44:07 +00002420void MIParser::initNames2DirectTargetFlags() {
2421 if (!Names2DirectTargetFlags.empty())
2422 return;
2423 const auto *TII = MF.getSubtarget().getInstrInfo();
2424 assert(TII && "Expected target instruction info");
2425 auto Flags = TII->getSerializableDirectMachineOperandTargetFlags();
2426 for (const auto &I : Flags)
2427 Names2DirectTargetFlags.insert(
2428 std::make_pair(StringRef(I.second), I.first));
2429}
2430
2431bool MIParser::getDirectTargetFlag(StringRef Name, unsigned &Flag) {
2432 initNames2DirectTargetFlags();
2433 auto FlagInfo = Names2DirectTargetFlags.find(Name);
2434 if (FlagInfo == Names2DirectTargetFlags.end())
2435 return true;
2436 Flag = FlagInfo->second;
2437 return false;
2438}
2439
Alex Lorenzf3630112015-08-18 22:52:15 +00002440void MIParser::initNames2BitmaskTargetFlags() {
2441 if (!Names2BitmaskTargetFlags.empty())
2442 return;
2443 const auto *TII = MF.getSubtarget().getInstrInfo();
2444 assert(TII && "Expected target instruction info");
2445 auto Flags = TII->getSerializableBitmaskMachineOperandTargetFlags();
2446 for (const auto &I : Flags)
2447 Names2BitmaskTargetFlags.insert(
2448 std::make_pair(StringRef(I.second), I.first));
2449}
2450
2451bool MIParser::getBitmaskTargetFlag(StringRef Name, unsigned &Flag) {
2452 initNames2BitmaskTargetFlags();
2453 auto FlagInfo = Names2BitmaskTargetFlags.find(Name);
2454 if (FlagInfo == Names2BitmaskTargetFlags.end())
2455 return true;
2456 Flag = FlagInfo->second;
2457 return false;
2458}
2459
Matthias Braun83947862016-07-13 22:23:23 +00002460bool llvm::parseMachineBasicBlockDefinitions(PerFunctionMIParsingState &PFS,
2461 StringRef Src,
Alex Lorenz5022f6b2015-08-13 23:10:16 +00002462 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002463 return MIParser(PFS, Error, Src).parseBasicBlockDefinitions(PFS.MBBSlots);
Alex Lorenz5022f6b2015-08-13 23:10:16 +00002464}
2465
Matthias Braun74ad41c2016-10-11 03:13:01 +00002466bool llvm::parseMachineInstructions(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002467 StringRef Src, SMDiagnostic &Error) {
2468 return MIParser(PFS, Error, Src).parseBasicBlocks();
Alex Lorenz8e0a1b42015-06-22 17:02:30 +00002469}
Alex Lorenzf09df002015-06-30 18:16:42 +00002470
Matthias Braun74ad41c2016-10-11 03:13:01 +00002471bool llvm::parseMBBReference(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002472 MachineBasicBlock *&MBB, StringRef Src,
Matthias Braun83947862016-07-13 22:23:23 +00002473 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002474 return MIParser(PFS, Error, Src).parseStandaloneMBB(MBB);
Alex Lorenzf09df002015-06-30 18:16:42 +00002475}
Alex Lorenz9fab3702015-07-14 21:24:41 +00002476
Tom Stellard9c884e42016-11-15 00:03:14 +00002477bool llvm::parseRegisterReference(PerFunctionMIParsingState &PFS,
2478 unsigned &Reg, StringRef Src,
2479 SMDiagnostic &Error) {
2480 return MIParser(PFS, Error, Src).parseStandaloneRegister(Reg);
2481}
2482
Matthias Braun74ad41c2016-10-11 03:13:01 +00002483bool llvm::parseNamedRegisterReference(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002484 unsigned &Reg, StringRef Src,
Alex Lorenz9fab3702015-07-14 21:24:41 +00002485 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002486 return MIParser(PFS, Error, Src).parseStandaloneNamedRegister(Reg);
Alex Lorenz9fab3702015-07-14 21:24:41 +00002487}
Alex Lorenz12045a42015-07-27 17:42:45 +00002488
Matthias Braun74ad41c2016-10-11 03:13:01 +00002489bool llvm::parseVirtualRegisterReference(PerFunctionMIParsingState &PFS,
2490 VRegInfo *&Info, StringRef Src,
Alex Lorenz12045a42015-07-27 17:42:45 +00002491 SMDiagnostic &Error) {
Matthias Braun74ad41c2016-10-11 03:13:01 +00002492 return MIParser(PFS, Error, Src).parseStandaloneVirtualRegister(Info);
Alex Lorenz12045a42015-07-27 17:42:45 +00002493}
Alex Lorenza314d812015-08-18 22:26:26 +00002494
Matthias Braun74ad41c2016-10-11 03:13:01 +00002495bool llvm::parseStackObjectReference(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002496 int &FI, StringRef Src,
Alex Lorenza314d812015-08-18 22:26:26 +00002497 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002498 return MIParser(PFS, Error, Src).parseStandaloneStackObject(FI);
Alex Lorenza314d812015-08-18 22:26:26 +00002499}
Alex Lorenzdf9e3c62015-08-19 00:13:25 +00002500
Matthias Braun74ad41c2016-10-11 03:13:01 +00002501bool llvm::parseMDNode(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002502 MDNode *&Node, StringRef Src, SMDiagnostic &Error) {
2503 return MIParser(PFS, Error, Src).parseStandaloneMDNode(Node);
Alex Lorenzdf9e3c62015-08-19 00:13:25 +00002504}