blob: 59cd623d556c4f0c329e6f9ff62fde7fb606c952 [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
Eugene Zelenkofb69e662017-06-06 22:22:41 +000014#include "MIParser.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000015#include "MILexer.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000016#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"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000024#include "llvm/ADT/StringRef.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000025#include "llvm/ADT/StringSwitch.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000026#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"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000036#include "llvm/CodeGen/MachineOperand.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000037#include "llvm/CodeGen/MachineRegisterInfo.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000038#include "llvm/CodeGen/TargetInstrInfo.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000039#include "llvm/CodeGen/TargetRegisterInfo.h"
40#include "llvm/CodeGen/TargetSubtargetInfo.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000041#include "llvm/IR/BasicBlock.h"
Alex Lorenzdeb53492015-07-28 17:28:03 +000042#include "llvm/IR/Constants.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000043#include "llvm/IR/DataLayout.h"
Reid Kleckner6d353342017-08-23 20:31:27 +000044#include "llvm/IR/DebugInfoMetadata.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000045#include "llvm/IR/DebugLoc.h"
46#include "llvm/IR/Function.h"
47#include "llvm/IR/InstrTypes.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000048#include "llvm/IR/Instructions.h"
Tim Northover6b3bd612016-07-29 20:32:59 +000049#include "llvm/IR/Intrinsics.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000050#include "llvm/IR/Metadata.h"
Alex Lorenz5d6108e2015-06-26 22:56:48 +000051#include "llvm/IR/Module.h"
Alex Lorenz8a1915b2015-07-27 22:42:41 +000052#include "llvm/IR/ModuleSlotTracker.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000053#include "llvm/IR/Type.h"
54#include "llvm/IR/Value.h"
Alex Lorenzdeb53492015-07-28 17:28:03 +000055#include "llvm/IR/ValueSymbolTable.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000056#include "llvm/MC/LaneBitmask.h"
57#include "llvm/MC/MCDwarf.h"
58#include "llvm/MC/MCInstrDesc.h"
59#include "llvm/MC/MCRegisterInfo.h"
60#include "llvm/Support/AtomicOrdering.h"
61#include "llvm/Support/BranchProbability.h"
62#include "llvm/Support/Casting.h"
63#include "llvm/Support/ErrorHandling.h"
64#include "llvm/Support/LowLevelTypeImpl.h"
65#include "llvm/Support/MemoryBuffer.h"
66#include "llvm/Support/SMLoc.h"
Alex Lorenz8e0a1b42015-06-22 17:02:30 +000067#include "llvm/Support/SourceMgr.h"
Quentin Colombet2a831fb2016-03-07 21:48:43 +000068#include "llvm/Support/raw_ostream.h"
Tim Northover6b3bd612016-07-29 20:32:59 +000069#include "llvm/Target/TargetIntrinsicInfo.h"
Eugene Zelenkofb69e662017-06-06 22:22:41 +000070#include "llvm/Target/TargetMachine.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
Puyan Lotfi399b46c2018-03-30 18:15:54 +0000101VRegInfo &PerFunctionMIParsingState::getVRegInfoNamed(StringRef RegName) {
102 assert(RegName != "" && "Expected named reg.");
103
104 auto I = VRegInfosNamed.insert(std::make_pair(RegName.str(), nullptr));
105 if (I.second) {
106 VRegInfo *Info = new (Allocator) VRegInfo;
107 Info->VReg = MF.getRegInfo().createIncompleteVirtualRegister(RegName);
108 I.first->second = Info;
109 }
110 return *I.first->second;
111}
112
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000113namespace {
114
Alex Lorenz36962cd2015-07-07 02:08:46 +0000115/// A wrapper struct around the 'MachineOperand' struct that includes a source
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000116/// range and other attributes.
117struct ParsedMachineOperand {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000118 MachineOperand Operand;
119 StringRef::iterator Begin;
120 StringRef::iterator End;
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000121 Optional<unsigned> TiedDefIdx;
Alex Lorenz36962cd2015-07-07 02:08:46 +0000122
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000123 ParsedMachineOperand(const MachineOperand &Operand, StringRef::iterator Begin,
124 StringRef::iterator End, Optional<unsigned> &TiedDefIdx)
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000125 : Operand(Operand), Begin(Begin), End(End), TiedDefIdx(TiedDefIdx) {
126 if (TiedDefIdx)
127 assert(Operand.isReg() && Operand.isUse() &&
128 "Only used register operands can be tied");
129 }
Alex Lorenz36962cd2015-07-07 02:08:46 +0000130};
131
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000132class MIParser {
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000133 MachineFunction &MF;
134 SMDiagnostic &Error;
Alex Lorenz91370c52015-06-22 20:37:46 +0000135 StringRef Source, CurrentSource;
136 MIToken Token;
Matthias Braun74ad41c2016-10-11 03:13:01 +0000137 PerFunctionMIParsingState &PFS;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000138 /// Maps from instruction names to op codes.
139 StringMap<unsigned> Names2InstrOpCodes;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000140 /// Maps from register names to registers.
141 StringMap<unsigned> Names2Regs;
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000142 /// Maps from register mask names to register masks.
143 StringMap<const uint32_t *> Names2RegMasks;
Alex Lorenz2eacca82015-07-13 23:24:34 +0000144 /// Maps from subregister names to subregister indices.
145 StringMap<unsigned> Names2SubRegIndices;
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000146 /// Maps from slot numbers to function's unnamed basic blocks.
147 DenseMap<unsigned, const BasicBlock *> Slots2BasicBlocks;
Alex Lorenzdd13be02015-08-19 23:31:05 +0000148 /// Maps from slot numbers to function's unnamed values.
149 DenseMap<unsigned, const Value *> Slots2Values;
Alex Lorenzef5c1962015-07-28 23:02:45 +0000150 /// Maps from target index names to target indices.
151 StringMap<int> Names2TargetIndices;
Alex Lorenz49873a82015-08-06 00:44:07 +0000152 /// Maps from direct target flag names to the direct target flag values.
153 StringMap<unsigned> Names2DirectTargetFlags;
Alex Lorenzf3630112015-08-18 22:52:15 +0000154 /// Maps from direct target flag names to the bitmask target flag values.
155 StringMap<unsigned> Names2BitmaskTargetFlags;
Geoff Berry6748abe2017-07-13 02:28:54 +0000156 /// Maps from MMO target flag names to MMO target flag values.
157 StringMap<MachineMemOperand::Flags> Names2MMOTargetFlags;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000158
159public:
Matthias Braun74ad41c2016-10-11 03:13:01 +0000160 MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
Matthias Braune35861d2016-07-13 23:27:50 +0000161 StringRef Source);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000162
Quentin Colombet287c6bb2016-03-08 00:57:31 +0000163 /// \p SkipChar gives the number of characters to skip before looking
164 /// for the next token.
165 void lex(unsigned SkipChar = 0);
Alex Lorenz91370c52015-06-22 20:37:46 +0000166
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000167 /// Report an error at the current location with the given message.
168 ///
169 /// This function always return true.
170 bool error(const Twine &Msg);
171
Alex Lorenz91370c52015-06-22 20:37:46 +0000172 /// Report an error at the given location with the given message.
173 ///
174 /// This function always return true.
175 bool error(StringRef::iterator Loc, const Twine &Msg);
176
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000177 bool
178 parseBasicBlockDefinitions(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
179 bool parseBasicBlocks();
Alex Lorenz3708a642015-06-30 17:47:50 +0000180 bool parse(MachineInstr *&MI);
Alex Lorenz1ea60892015-07-27 20:29:27 +0000181 bool parseStandaloneMBB(MachineBasicBlock *&MBB);
182 bool parseStandaloneNamedRegister(unsigned &Reg);
Matthias Braun74ad41c2016-10-11 03:13:01 +0000183 bool parseStandaloneVirtualRegister(VRegInfo *&Info);
Tom Stellard9c884e42016-11-15 00:03:14 +0000184 bool parseStandaloneRegister(unsigned &Reg);
Alex Lorenza314d812015-08-18 22:26:26 +0000185 bool parseStandaloneStackObject(int &FI);
Alex Lorenzdf9e3c62015-08-19 00:13:25 +0000186 bool parseStandaloneMDNode(MDNode *&Node);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000187
188 bool
189 parseBasicBlockDefinition(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
Matthias Braun89401142017-05-05 21:09:30 +0000190 bool parseBasicBlock(MachineBasicBlock &MBB,
191 MachineBasicBlock *&AddFalthroughFrom);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000192 bool parseBasicBlockLiveins(MachineBasicBlock &MBB);
193 bool parseBasicBlockSuccessors(MachineBasicBlock &MBB);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000194
Matthias Braun74ad41c2016-10-11 03:13:01 +0000195 bool parseNamedRegister(unsigned &Reg);
196 bool parseVirtualRegister(VRegInfo *&Info);
Puyan Lotfi399b46c2018-03-30 18:15:54 +0000197 bool parseNamedVirtualRegister(VRegInfo *&Info);
Matthias Braun74ad41c2016-10-11 03:13:01 +0000198 bool parseRegister(unsigned &Reg, VRegInfo *&VRegInfo);
Alex Lorenzcb268d42015-07-06 23:07:26 +0000199 bool parseRegisterFlag(unsigned &Flags);
Matthias Braunde5fea22017-01-18 00:59:19 +0000200 bool parseRegisterClassOrBank(VRegInfo &RegInfo);
Alex Lorenz2eacca82015-07-13 23:24:34 +0000201 bool parseSubRegisterIndex(unsigned &SubReg);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000202 bool parseRegisterTiedDefIndex(unsigned &TiedDefIdx);
203 bool parseRegisterOperand(MachineOperand &Dest,
204 Optional<unsigned> &TiedDefIdx, bool IsDef = false);
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000205 bool parseImmediateOperand(MachineOperand &Dest);
Alex Lorenz5d8b0bd2015-08-21 21:48:22 +0000206 bool parseIRConstant(StringRef::iterator Loc, StringRef Source,
207 const Constant *&C);
Alex Lorenz7eaff4c2015-08-05 18:44:00 +0000208 bool parseIRConstant(StringRef::iterator Loc, const Constant *&C);
Ahmed Bougachad760de02016-07-28 17:15:12 +0000209 bool parseLowLevelType(StringRef::iterator Loc, LLT &Ty);
Alex Lorenz05e38822015-08-05 18:52:21 +0000210 bool parseTypedImmediateOperand(MachineOperand &Dest);
Alex Lorenzad156fb2015-07-31 20:49:21 +0000211 bool parseFPImmediateOperand(MachineOperand &Dest);
Alex Lorenzf09df002015-06-30 18:16:42 +0000212 bool parseMBBReference(MachineBasicBlock *&MBB);
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000213 bool parseMBBOperand(MachineOperand &Dest);
Alex Lorenzdc9dadf2015-08-18 22:18:52 +0000214 bool parseStackFrameIndex(int &FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000215 bool parseStackObjectOperand(MachineOperand &Dest);
Alex Lorenzea882122015-08-12 21:17:02 +0000216 bool parseFixedStackFrameIndex(int &FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000217 bool parseFixedStackObjectOperand(MachineOperand &Dest);
Alex Lorenz41df7d32015-07-28 17:09:52 +0000218 bool parseGlobalValue(GlobalValue *&GV);
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000219 bool parseGlobalAddressOperand(MachineOperand &Dest);
Alex Lorenzab980492015-07-20 20:51:18 +0000220 bool parseConstantPoolIndexOperand(MachineOperand &Dest);
Matthias Braunb74eb412016-03-28 18:18:46 +0000221 bool parseSubRegisterIndexOperand(MachineOperand &Dest);
Alex Lorenz31d70682015-07-15 23:38:35 +0000222 bool parseJumpTableIndexOperand(MachineOperand &Dest);
Alex Lorenz6ede3742015-07-21 16:59:53 +0000223 bool parseExternalSymbolOperand(MachineOperand &Dest);
Alex Lorenz44f29252015-07-22 21:07:04 +0000224 bool parseMDNode(MDNode *&Node);
Reid Kleckner6d353342017-08-23 20:31:27 +0000225 bool parseDIExpression(MDNode *&Node);
Alex Lorenz35e44462015-07-22 17:58:46 +0000226 bool parseMetadataOperand(MachineOperand &Dest);
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000227 bool parseCFIOffset(int &Offset);
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000228 bool parseCFIRegister(unsigned &Reg);
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +0000229 bool parseCFIEscapeValues(std::string& Values);
Alex Lorenzf4baeb52015-07-21 22:28:27 +0000230 bool parseCFIOperand(MachineOperand &Dest);
Alex Lorenzdeb53492015-07-28 17:28:03 +0000231 bool parseIRBlock(BasicBlock *&BB, const Function &F);
232 bool parseBlockAddressOperand(MachineOperand &Dest);
Tim Northover6b3bd612016-07-29 20:32:59 +0000233 bool parseIntrinsicOperand(MachineOperand &Dest);
Tim Northoverde3aea0412016-08-17 20:25:25 +0000234 bool parsePredicateOperand(MachineOperand &Dest);
Alex Lorenzef5c1962015-07-28 23:02:45 +0000235 bool parseTargetIndexOperand(MachineOperand &Dest);
Oren Ben Simhon0ef61ec2017-03-19 08:14:18 +0000236 bool parseCustomRegisterMaskOperand(MachineOperand &Dest);
Alex Lorenzb97c9ef2015-08-10 23:24:42 +0000237 bool parseLiveoutRegisterMaskOperand(MachineOperand &Dest);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000238 bool parseMachineOperand(MachineOperand &Dest,
239 Optional<unsigned> &TiedDefIdx);
240 bool parseMachineOperandAndTargetFlags(MachineOperand &Dest,
241 Optional<unsigned> &TiedDefIdx);
Alex Lorenzdc24c172015-08-07 20:21:00 +0000242 bool parseOffset(int64_t &Offset);
Alex Lorenz620f8912015-08-13 20:33:33 +0000243 bool parseAlignment(unsigned &Alignment);
Francis Visoiu Mistrihe4718e82018-01-26 11:47:28 +0000244 bool parseAddrspace(unsigned &Addrspace);
Alex Lorenz5672a892015-08-05 22:26:15 +0000245 bool parseOperandsOffset(MachineOperand &Op);
Alex Lorenz36593ac2015-08-19 23:27:07 +0000246 bool parseIRValue(const Value *&V);
Justin Lebar0af80cd2016-07-15 18:26:59 +0000247 bool parseMemoryOperandFlag(MachineMemOperand::Flags &Flags);
Alex Lorenz91097a32015-08-12 20:33:26 +0000248 bool parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV);
249 bool parseMachinePointerInfo(MachinePointerInfo &Dest);
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +0000250 bool parseOptionalScope(LLVMContext &Context, SyncScope::ID &SSID);
Tim Northoverb73e3092017-02-13 22:14:08 +0000251 bool parseOptionalAtomicOrdering(AtomicOrdering &Order);
Alex Lorenz4af7e612015-08-03 23:08:19 +0000252 bool parseMachineMemoryOperand(MachineMemOperand *&Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000253
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000254private:
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000255 /// Convert the integer literal in the current token into an unsigned integer.
256 ///
257 /// Return true if an error occurred.
258 bool getUnsigned(unsigned &Result);
259
Alex Lorenz4af7e612015-08-03 23:08:19 +0000260 /// Convert the integer literal in the current token into an uint64.
261 ///
262 /// Return true if an error occurred.
263 bool getUint64(uint64_t &Result);
264
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +0000265 /// Convert the hexadecimal literal in the current token into an unsigned
266 /// APInt with a minimum bitwidth required to represent the value.
267 ///
268 /// Return true if the literal does not represent an integer value.
269 bool getHexUint(APInt &Result);
270
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000271 /// If the current token is of the given kind, consume it and return false.
272 /// Otherwise report an error and return true.
273 bool expectAndConsume(MIToken::TokenKind TokenKind);
274
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000275 /// If the current token is of the given kind, consume it and return true.
276 /// Otherwise return false.
277 bool consumeIfPresent(MIToken::TokenKind TokenKind);
278
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000279 void initNames2InstrOpCodes();
280
281 /// Try to convert an instruction name to an opcode. Return true if the
282 /// instruction name is invalid.
283 bool parseInstrName(StringRef InstrName, unsigned &OpCode);
Alex Lorenz91370c52015-06-22 20:37:46 +0000284
Alex Lorenze5a44662015-07-17 00:24:15 +0000285 bool parseInstruction(unsigned &OpCode, unsigned &Flags);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000286
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000287 bool assignRegisterTies(MachineInstr &MI,
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000288 ArrayRef<ParsedMachineOperand> Operands);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000289
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000290 bool verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
Alex Lorenz36962cd2015-07-07 02:08:46 +0000291 const MCInstrDesc &MCID);
292
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000293 void initNames2Regs();
294
295 /// Try to convert a register name to a register number. Return true if the
296 /// register name is invalid.
297 bool getRegisterByName(StringRef RegName, unsigned &Reg);
Alex Lorenz8f6f4282015-06-29 16:57:06 +0000298
299 void initNames2RegMasks();
300
301 /// Check if the given identifier is a name of a register mask.
302 ///
303 /// Return null if the identifier isn't a register mask.
304 const uint32_t *getRegMask(StringRef Identifier);
Alex Lorenz2eacca82015-07-13 23:24:34 +0000305
306 void initNames2SubRegIndices();
307
308 /// Check if the given identifier is a name of a subregister index.
309 ///
310 /// Return 0 if the name isn't a subregister index class.
311 unsigned getSubRegIndex(StringRef Name);
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000312
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000313 const BasicBlock *getIRBlock(unsigned Slot);
Alex Lorenzcba8c5f2015-08-06 23:57:04 +0000314 const BasicBlock *getIRBlock(unsigned Slot, const Function &F);
Alex Lorenzef5c1962015-07-28 23:02:45 +0000315
Alex Lorenzdd13be02015-08-19 23:31:05 +0000316 const Value *getIRValue(unsigned Slot);
317
Alex Lorenzef5c1962015-07-28 23:02:45 +0000318 void initNames2TargetIndices();
319
320 /// Try to convert a name of target index to the corresponding target index.
321 ///
322 /// Return true if the name isn't a name of a target index.
323 bool getTargetIndex(StringRef Name, int &Index);
Alex Lorenz49873a82015-08-06 00:44:07 +0000324
325 void initNames2DirectTargetFlags();
326
327 /// Try to convert a name of a direct target flag to the corresponding
328 /// target flag.
329 ///
330 /// Return true if the name isn't a name of a direct flag.
331 bool getDirectTargetFlag(StringRef Name, unsigned &Flag);
Alex Lorenzf3630112015-08-18 22:52:15 +0000332
333 void initNames2BitmaskTargetFlags();
334
335 /// Try to convert a name of a bitmask target flag to the corresponding
336 /// target flag.
337 ///
338 /// Return true if the name isn't a name of a bitmask target flag.
339 bool getBitmaskTargetFlag(StringRef Name, unsigned &Flag);
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +0000340
Geoff Berry6748abe2017-07-13 02:28:54 +0000341 void initNames2MMOTargetFlags();
342
343 /// Try to convert a name of a MachineMemOperand target flag to the
344 /// corresponding target flag.
345 ///
346 /// Return true if the name isn't a name of a target MMO flag.
347 bool getMMOTargetFlag(StringRef Name, MachineMemOperand::Flags &Flag);
348
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +0000349 /// parseStringConstant
350 /// ::= StringConstant
351 bool parseStringConstant(std::string &Result);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000352};
353
354} // end anonymous namespace
355
Matthias Braun74ad41c2016-10-11 03:13:01 +0000356MIParser::MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
Matthias Braune35861d2016-07-13 23:27:50 +0000357 StringRef Source)
358 : MF(PFS.MF), Error(Error), Source(Source), CurrentSource(Source), PFS(PFS)
359{}
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000360
Quentin Colombet287c6bb2016-03-08 00:57:31 +0000361void MIParser::lex(unsigned SkipChar) {
Alex Lorenz91370c52015-06-22 20:37:46 +0000362 CurrentSource = lexMIToken(
Quentin Colombet287c6bb2016-03-08 00:57:31 +0000363 CurrentSource.data() + SkipChar, Token,
Alex Lorenz91370c52015-06-22 20:37:46 +0000364 [this](StringRef::iterator Loc, const Twine &Msg) { error(Loc, Msg); });
365}
366
367bool MIParser::error(const Twine &Msg) { return error(Token.location(), Msg); }
368
369bool MIParser::error(StringRef::iterator Loc, const Twine &Msg) {
Matthias Braune35861d2016-07-13 23:27:50 +0000370 const SourceMgr &SM = *PFS.SM;
Alex Lorenz91370c52015-06-22 20:37:46 +0000371 assert(Loc >= Source.data() && Loc <= (Source.data() + Source.size()));
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000372 const MemoryBuffer &Buffer = *SM.getMemoryBuffer(SM.getMainFileID());
373 if (Loc >= Buffer.getBufferStart() && Loc <= Buffer.getBufferEnd()) {
374 // Create an ordinary diagnostic when the source manager's buffer is the
375 // source string.
376 Error = SM.GetMessage(SMLoc::getFromPointer(Loc), SourceMgr::DK_Error, Msg);
377 return true;
378 }
379 // Create a diagnostic for a YAML string literal.
380 Error = SMDiagnostic(SM, SMLoc(), Buffer.getBufferIdentifier(), 1,
381 Loc - Source.data(), SourceMgr::DK_Error, Msg.str(),
382 Source, None, None);
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000383 return true;
384}
385
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000386static const char *toString(MIToken::TokenKind TokenKind) {
387 switch (TokenKind) {
388 case MIToken::comma:
389 return "','";
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000390 case MIToken::equal:
391 return "'='";
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000392 case MIToken::colon:
393 return "':'";
Alex Lorenzdeb53492015-07-28 17:28:03 +0000394 case MIToken::lparen:
395 return "'('";
396 case MIToken::rparen:
397 return "')'";
Alex Lorenz8cfc6862015-07-23 23:09:07 +0000398 default:
399 return "<unknown token>";
400 }
401}
402
403bool MIParser::expectAndConsume(MIToken::TokenKind TokenKind) {
404 if (Token.isNot(TokenKind))
405 return error(Twine("expected ") + toString(TokenKind));
406 lex();
407 return false;
408}
409
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000410bool MIParser::consumeIfPresent(MIToken::TokenKind TokenKind) {
411 if (Token.isNot(TokenKind))
412 return false;
Alex Lorenz91370c52015-06-22 20:37:46 +0000413 lex();
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000414 return true;
415}
Alex Lorenz91370c52015-06-22 20:37:46 +0000416
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000417bool MIParser::parseBasicBlockDefinition(
418 DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
419 assert(Token.is(MIToken::MachineBasicBlockLabel));
420 unsigned ID = 0;
421 if (getUnsigned(ID))
422 return true;
423 auto Loc = Token.location();
424 auto Name = Token.stringValue();
425 lex();
426 bool HasAddressTaken = false;
427 bool IsLandingPad = false;
428 unsigned Alignment = 0;
429 BasicBlock *BB = nullptr;
430 if (consumeIfPresent(MIToken::lparen)) {
431 do {
432 // TODO: Report an error when multiple same attributes are specified.
433 switch (Token.kind()) {
434 case MIToken::kw_address_taken:
435 HasAddressTaken = true;
436 lex();
437 break;
438 case MIToken::kw_landing_pad:
439 IsLandingPad = true;
440 lex();
441 break;
442 case MIToken::kw_align:
443 if (parseAlignment(Alignment))
444 return true;
445 break;
446 case MIToken::IRBlock:
447 // TODO: Report an error when both name and ir block are specified.
Matthias Braunf1caa282017-12-15 22:22:58 +0000448 if (parseIRBlock(BB, MF.getFunction()))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000449 return true;
450 lex();
451 break;
452 default:
453 break;
454 }
455 } while (consumeIfPresent(MIToken::comma));
456 if (expectAndConsume(MIToken::rparen))
457 return true;
458 }
459 if (expectAndConsume(MIToken::colon))
460 return true;
461
462 if (!Name.empty()) {
463 BB = dyn_cast_or_null<BasicBlock>(
Matthias Braunf1caa282017-12-15 22:22:58 +0000464 MF.getFunction().getValueSymbolTable()->lookup(Name));
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000465 if (!BB)
466 return error(Loc, Twine("basic block '") + Name +
467 "' is not defined in the function '" +
468 MF.getName() + "'");
469 }
470 auto *MBB = MF.CreateMachineBasicBlock(BB);
471 MF.insert(MF.end(), MBB);
472 bool WasInserted = MBBSlots.insert(std::make_pair(ID, MBB)).second;
473 if (!WasInserted)
474 return error(Loc, Twine("redefinition of machine basic block with id #") +
475 Twine(ID));
476 if (Alignment)
477 MBB->setAlignment(Alignment);
478 if (HasAddressTaken)
479 MBB->setHasAddressTaken();
Reid Kleckner0e288232015-08-27 23:27:47 +0000480 MBB->setIsEHPad(IsLandingPad);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000481 return false;
482}
483
484bool MIParser::parseBasicBlockDefinitions(
485 DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
486 lex();
487 // Skip until the first machine basic block.
488 while (Token.is(MIToken::Newline))
489 lex();
490 if (Token.isErrorOrEOF())
491 return Token.isError();
492 if (Token.isNot(MIToken::MachineBasicBlockLabel))
493 return error("expected a basic block definition before instructions");
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000494 unsigned BraceDepth = 0;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000495 do {
496 if (parseBasicBlockDefinition(MBBSlots))
497 return true;
498 bool IsAfterNewline = false;
499 // Skip until the next machine basic block.
500 while (true) {
501 if ((Token.is(MIToken::MachineBasicBlockLabel) && IsAfterNewline) ||
502 Token.isErrorOrEOF())
503 break;
504 else if (Token.is(MIToken::MachineBasicBlockLabel))
505 return error("basic block definition should be located at the start of "
506 "the line");
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000507 else if (consumeIfPresent(MIToken::Newline)) {
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000508 IsAfterNewline = true;
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000509 continue;
510 }
511 IsAfterNewline = false;
512 if (Token.is(MIToken::lbrace))
513 ++BraceDepth;
514 if (Token.is(MIToken::rbrace)) {
515 if (!BraceDepth)
516 return error("extraneous closing brace ('}')");
517 --BraceDepth;
518 }
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000519 lex();
520 }
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000521 // Verify that we closed all of the '{' at the end of a file or a block.
522 if (!Token.isError() && BraceDepth)
523 return error("expected '}'"); // FIXME: Report a note that shows '{'.
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000524 } while (!Token.isErrorOrEOF());
525 return Token.isError();
526}
527
528bool MIParser::parseBasicBlockLiveins(MachineBasicBlock &MBB) {
529 assert(Token.is(MIToken::kw_liveins));
530 lex();
531 if (expectAndConsume(MIToken::colon))
532 return true;
533 if (Token.isNewlineOrEOF()) // Allow an empty list of liveins.
534 return false;
535 do {
536 if (Token.isNot(MIToken::NamedRegister))
537 return error("expected a named register");
538 unsigned Reg = 0;
Matthias Braun74ad41c2016-10-11 03:13:01 +0000539 if (parseNamedRegister(Reg))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000540 return true;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000541 lex();
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000542 LaneBitmask Mask = LaneBitmask::getAll();
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000543 if (consumeIfPresent(MIToken::colon)) {
544 // Parse lane mask.
545 if (Token.isNot(MIToken::IntegerLiteral) &&
546 Token.isNot(MIToken::HexLiteral))
547 return error("expected a lane mask");
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000548 static_assert(sizeof(LaneBitmask::Type) == sizeof(unsigned),
549 "Use correct get-function for lane mask");
550 LaneBitmask::Type V;
551 if (getUnsigned(V))
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000552 return error("invalid lane mask value");
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000553 Mask = LaneBitmask(V);
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000554 lex();
555 }
556 MBB.addLiveIn(Reg, Mask);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000557 } while (consumeIfPresent(MIToken::comma));
558 return false;
559}
560
561bool MIParser::parseBasicBlockSuccessors(MachineBasicBlock &MBB) {
562 assert(Token.is(MIToken::kw_successors));
563 lex();
564 if (expectAndConsume(MIToken::colon))
565 return true;
566 if (Token.isNewlineOrEOF()) // Allow an empty list of successors.
567 return false;
568 do {
569 if (Token.isNot(MIToken::MachineBasicBlock))
570 return error("expected a machine basic block reference");
571 MachineBasicBlock *SuccMBB = nullptr;
572 if (parseMBBReference(SuccMBB))
573 return true;
574 lex();
575 unsigned Weight = 0;
576 if (consumeIfPresent(MIToken::lparen)) {
Geoff Berryb51774a2016-11-18 19:37:24 +0000577 if (Token.isNot(MIToken::IntegerLiteral) &&
578 Token.isNot(MIToken::HexLiteral))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000579 return error("expected an integer literal after '('");
580 if (getUnsigned(Weight))
581 return true;
582 lex();
583 if (expectAndConsume(MIToken::rparen))
584 return true;
585 }
Cong Houd97c1002015-12-01 05:29:22 +0000586 MBB.addSuccessor(SuccMBB, BranchProbability::getRaw(Weight));
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000587 } while (consumeIfPresent(MIToken::comma));
Cong Houd97c1002015-12-01 05:29:22 +0000588 MBB.normalizeSuccProbs();
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000589 return false;
590}
591
Matthias Braun89401142017-05-05 21:09:30 +0000592bool MIParser::parseBasicBlock(MachineBasicBlock &MBB,
593 MachineBasicBlock *&AddFalthroughFrom) {
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000594 // Skip the definition.
595 assert(Token.is(MIToken::MachineBasicBlockLabel));
596 lex();
597 if (consumeIfPresent(MIToken::lparen)) {
598 while (Token.isNot(MIToken::rparen) && !Token.isErrorOrEOF())
599 lex();
600 consumeIfPresent(MIToken::rparen);
601 }
602 consumeIfPresent(MIToken::colon);
603
604 // Parse the liveins and successors.
605 // N.B: Multiple lists of successors and liveins are allowed and they're
606 // merged into one.
607 // Example:
608 // liveins: %edi
609 // liveins: %esi
610 //
611 // is equivalent to
612 // liveins: %edi, %esi
Hiroshi Inoue6a391bb2017-06-27 10:35:37 +0000613 bool ExplicitSuccessors = false;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000614 while (true) {
615 if (Token.is(MIToken::kw_successors)) {
616 if (parseBasicBlockSuccessors(MBB))
617 return true;
Hiroshi Inoue6a391bb2017-06-27 10:35:37 +0000618 ExplicitSuccessors = true;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000619 } else if (Token.is(MIToken::kw_liveins)) {
620 if (parseBasicBlockLiveins(MBB))
621 return true;
622 } else if (consumeIfPresent(MIToken::Newline)) {
623 continue;
624 } else
625 break;
626 if (!Token.isNewlineOrEOF())
627 return error("expected line break at the end of a list");
628 lex();
629 }
630
631 // Parse the instructions.
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000632 bool IsInBundle = false;
633 MachineInstr *PrevMI = nullptr;
Matthias Braun89401142017-05-05 21:09:30 +0000634 while (!Token.is(MIToken::MachineBasicBlockLabel) &&
635 !Token.is(MIToken::Eof)) {
636 if (consumeIfPresent(MIToken::Newline))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000637 continue;
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000638 if (consumeIfPresent(MIToken::rbrace)) {
639 // The first parsing pass should verify that all closing '}' have an
640 // opening '{'.
641 assert(IsInBundle);
642 IsInBundle = false;
643 continue;
644 }
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000645 MachineInstr *MI = nullptr;
646 if (parse(MI))
647 return true;
648 MBB.insert(MBB.end(), MI);
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000649 if (IsInBundle) {
650 PrevMI->setFlag(MachineInstr::BundledSucc);
651 MI->setFlag(MachineInstr::BundledPred);
652 }
653 PrevMI = MI;
654 if (Token.is(MIToken::lbrace)) {
655 if (IsInBundle)
656 return error("nested instruction bundles are not allowed");
657 lex();
658 // This instruction is the start of the bundle.
659 MI->setFlag(MachineInstr::BundledSucc);
660 IsInBundle = true;
661 if (!Token.is(MIToken::Newline))
662 // The next instruction can be on the same line.
663 continue;
664 }
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000665 assert(Token.isNewlineOrEOF() && "MI is not fully parsed");
666 lex();
667 }
Matthias Braun89401142017-05-05 21:09:30 +0000668
669 // Construct successor list by searching for basic block machine operands.
Hiroshi Inoue6a391bb2017-06-27 10:35:37 +0000670 if (!ExplicitSuccessors) {
Matthias Braun89401142017-05-05 21:09:30 +0000671 SmallVector<MachineBasicBlock*,4> Successors;
672 bool IsFallthrough;
673 guessSuccessors(MBB, Successors, IsFallthrough);
674 for (MachineBasicBlock *Succ : Successors)
675 MBB.addSuccessor(Succ);
676
677 if (IsFallthrough) {
678 AddFalthroughFrom = &MBB;
679 } else {
680 MBB.normalizeSuccProbs();
681 }
682 }
683
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000684 return false;
685}
686
687bool MIParser::parseBasicBlocks() {
688 lex();
689 // Skip until the first machine basic block.
690 while (Token.is(MIToken::Newline))
691 lex();
692 if (Token.isErrorOrEOF())
693 return Token.isError();
694 // The first parsing pass should have verified that this token is a MBB label
695 // in the 'parseBasicBlockDefinitions' method.
696 assert(Token.is(MIToken::MachineBasicBlockLabel));
Matthias Braun89401142017-05-05 21:09:30 +0000697 MachineBasicBlock *AddFalthroughFrom = nullptr;
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000698 do {
699 MachineBasicBlock *MBB = nullptr;
700 if (parseMBBReference(MBB))
701 return true;
Matthias Braun89401142017-05-05 21:09:30 +0000702 if (AddFalthroughFrom) {
703 if (!AddFalthroughFrom->isSuccessor(MBB))
704 AddFalthroughFrom->addSuccessor(MBB);
705 AddFalthroughFrom->normalizeSuccProbs();
706 AddFalthroughFrom = nullptr;
707 }
708 if (parseBasicBlock(*MBB, AddFalthroughFrom))
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000709 return true;
710 // The method 'parseBasicBlock' should parse the whole block until the next
711 // block or the end of file.
712 assert(Token.is(MIToken::MachineBasicBlockLabel) || Token.is(MIToken::Eof));
713 } while (Token.isNot(MIToken::Eof));
714 return false;
715}
716
717bool MIParser::parse(MachineInstr *&MI) {
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000718 // Parse any register operands before '='
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000719 MachineOperand MO = MachineOperand::CreateImm(0);
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000720 SmallVector<ParsedMachineOperand, 8> Operands;
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000721 while (Token.isRegister() || Token.isRegisterFlag()) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000722 auto Loc = Token.location();
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000723 Optional<unsigned> TiedDefIdx;
724 if (parseRegisterOperand(MO, TiedDefIdx, /*IsDef=*/true))
Alex Lorenz3708a642015-06-30 17:47:50 +0000725 return true;
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000726 Operands.push_back(
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000727 ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000728 if (Token.isNot(MIToken::comma))
729 break;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000730 lex();
731 }
Alex Lorenzfbe9c042015-07-29 18:51:21 +0000732 if (!Operands.empty() && expectAndConsume(MIToken::equal))
733 return true;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000734
Alex Lorenze5a44662015-07-17 00:24:15 +0000735 unsigned OpCode, Flags = 0;
736 if (Token.isError() || parseInstruction(OpCode, Flags))
Alex Lorenz3708a642015-06-30 17:47:50 +0000737 return true;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000738
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000739 // Parse the remaining machine operands.
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000740 while (!Token.isNewlineOrEOF() && Token.isNot(MIToken::kw_debug_location) &&
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000741 Token.isNot(MIToken::coloncolon) && Token.isNot(MIToken::lbrace)) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000742 auto Loc = Token.location();
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000743 Optional<unsigned> TiedDefIdx;
744 if (parseMachineOperandAndTargetFlags(MO, TiedDefIdx))
Alex Lorenz3708a642015-06-30 17:47:50 +0000745 return true;
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000746 Operands.push_back(
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000747 ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
Alex Lorenzf9a2b122015-08-14 18:57:24 +0000748 if (Token.isNewlineOrEOF() || Token.is(MIToken::coloncolon) ||
749 Token.is(MIToken::lbrace))
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000750 break;
Alex Lorenz3708a642015-06-30 17:47:50 +0000751 if (Token.isNot(MIToken::comma))
752 return error("expected ',' before the next machine operand");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000753 lex();
754 }
755
Alex Lorenz46d760d2015-07-22 21:15:11 +0000756 DebugLoc DebugLocation;
757 if (Token.is(MIToken::kw_debug_location)) {
758 lex();
759 if (Token.isNot(MIToken::exclaim))
760 return error("expected a metadata node after 'debug-location'");
761 MDNode *Node = nullptr;
762 if (parseMDNode(Node))
763 return true;
764 DebugLocation = DebugLoc(Node);
765 }
766
Alex Lorenz4af7e612015-08-03 23:08:19 +0000767 // Parse the machine memory operands.
768 SmallVector<MachineMemOperand *, 2> MemOperands;
769 if (Token.is(MIToken::coloncolon)) {
770 lex();
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000771 while (!Token.isNewlineOrEOF()) {
Alex Lorenz4af7e612015-08-03 23:08:19 +0000772 MachineMemOperand *MemOp = nullptr;
773 if (parseMachineMemoryOperand(MemOp))
774 return true;
775 MemOperands.push_back(MemOp);
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000776 if (Token.isNewlineOrEOF())
Alex Lorenz4af7e612015-08-03 23:08:19 +0000777 break;
778 if (Token.isNot(MIToken::comma))
779 return error("expected ',' before the next machine memory operand");
780 lex();
781 }
782 }
783
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000784 const auto &MCID = MF.getSubtarget().getInstrInfo()->get(OpCode);
Alex Lorenz36962cd2015-07-07 02:08:46 +0000785 if (!MCID.isVariadic()) {
786 // FIXME: Move the implicit operand verification to the machine verifier.
787 if (verifyImplicitOperands(Operands, MCID))
788 return true;
789 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000790
Alex Lorenzcb268d42015-07-06 23:07:26 +0000791 // TODO: Check for extraneous machine operands.
Alex Lorenz46d760d2015-07-22 21:15:11 +0000792 MI = MF.CreateMachineInstr(MCID, DebugLocation, /*NoImplicit=*/true);
Alex Lorenze5a44662015-07-17 00:24:15 +0000793 MI->setFlags(Flags);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000794 for (const auto &Operand : Operands)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000795 MI->addOperand(MF, Operand.Operand);
Alex Lorenz5ef93b02015-08-19 19:05:34 +0000796 if (assignRegisterTies(*MI, Operands))
797 return true;
Alex Lorenz4af7e612015-08-03 23:08:19 +0000798 if (MemOperands.empty())
799 return false;
800 MachineInstr::mmo_iterator MemRefs =
801 MF.allocateMemRefsArray(MemOperands.size());
802 std::copy(MemOperands.begin(), MemOperands.end(), MemRefs);
803 MI->setMemRefs(MemRefs, MemRefs + MemOperands.size());
Alex Lorenz3708a642015-06-30 17:47:50 +0000804 return false;
Alex Lorenz8e0a1b42015-06-22 17:02:30 +0000805}
806
Alex Lorenz1ea60892015-07-27 20:29:27 +0000807bool MIParser::parseStandaloneMBB(MachineBasicBlock *&MBB) {
Alex Lorenzf09df002015-06-30 18:16:42 +0000808 lex();
809 if (Token.isNot(MIToken::MachineBasicBlock))
810 return error("expected a machine basic block reference");
811 if (parseMBBReference(MBB))
812 return true;
813 lex();
814 if (Token.isNot(MIToken::Eof))
815 return error(
816 "expected end of string after the machine basic block reference");
817 return false;
818}
819
Alex Lorenz1ea60892015-07-27 20:29:27 +0000820bool MIParser::parseStandaloneNamedRegister(unsigned &Reg) {
Alex Lorenz9fab3702015-07-14 21:24:41 +0000821 lex();
822 if (Token.isNot(MIToken::NamedRegister))
823 return error("expected a named register");
Matthias Braun74ad41c2016-10-11 03:13:01 +0000824 if (parseNamedRegister(Reg))
Alex Lorenz607efb62015-08-18 22:57:36 +0000825 return true;
Alex Lorenz9fab3702015-07-14 21:24:41 +0000826 lex();
827 if (Token.isNot(MIToken::Eof))
828 return error("expected end of string after the register reference");
829 return false;
830}
831
Matthias Braun74ad41c2016-10-11 03:13:01 +0000832bool MIParser::parseStandaloneVirtualRegister(VRegInfo *&Info) {
Alex Lorenz12045a42015-07-27 17:42:45 +0000833 lex();
834 if (Token.isNot(MIToken::VirtualRegister))
835 return error("expected a virtual register");
Matthias Braun74ad41c2016-10-11 03:13:01 +0000836 if (parseVirtualRegister(Info))
Alex Lorenz607efb62015-08-18 22:57:36 +0000837 return true;
Alex Lorenz12045a42015-07-27 17:42:45 +0000838 lex();
839 if (Token.isNot(MIToken::Eof))
840 return error("expected end of string after the register reference");
841 return false;
842}
843
Tom Stellard9c884e42016-11-15 00:03:14 +0000844bool MIParser::parseStandaloneRegister(unsigned &Reg) {
845 lex();
846 if (Token.isNot(MIToken::NamedRegister) &&
847 Token.isNot(MIToken::VirtualRegister))
848 return error("expected either a named or virtual register");
849
850 VRegInfo *Info;
851 if (parseRegister(Reg, Info))
852 return true;
853
854 lex();
855 if (Token.isNot(MIToken::Eof))
856 return error("expected end of string after the register reference");
857 return false;
858}
859
Alex Lorenza314d812015-08-18 22:26:26 +0000860bool MIParser::parseStandaloneStackObject(int &FI) {
861 lex();
862 if (Token.isNot(MIToken::StackObject))
863 return error("expected a stack object");
864 if (parseStackFrameIndex(FI))
865 return true;
866 if (Token.isNot(MIToken::Eof))
867 return error("expected end of string after the stack object reference");
868 return false;
869}
870
Alex Lorenzdf9e3c62015-08-19 00:13:25 +0000871bool MIParser::parseStandaloneMDNode(MDNode *&Node) {
872 lex();
Reid Kleckner6d353342017-08-23 20:31:27 +0000873 if (Token.is(MIToken::exclaim)) {
874 if (parseMDNode(Node))
875 return true;
876 } else if (Token.is(MIToken::md_diexpr)) {
877 if (parseDIExpression(Node))
878 return true;
879 } else
Alex Lorenzdf9e3c62015-08-19 00:13:25 +0000880 return error("expected a metadata node");
Alex Lorenzdf9e3c62015-08-19 00:13:25 +0000881 if (Token.isNot(MIToken::Eof))
882 return error("expected end of string after the metadata node");
883 return false;
884}
885
Alex Lorenz36962cd2015-07-07 02:08:46 +0000886static const char *printImplicitRegisterFlag(const MachineOperand &MO) {
887 assert(MO.isImplicit());
888 return MO.isDef() ? "implicit-def" : "implicit";
889}
890
891static std::string getRegisterName(const TargetRegisterInfo *TRI,
892 unsigned Reg) {
893 assert(TargetRegisterInfo::isPhysicalRegister(Reg) && "expected phys reg");
894 return StringRef(TRI->getName(Reg)).lower();
895}
896
Alex Lorenz0153e592015-09-10 14:04:34 +0000897/// Return true if the parsed machine operands contain a given machine operand.
898static bool isImplicitOperandIn(const MachineOperand &ImplicitOperand,
899 ArrayRef<ParsedMachineOperand> Operands) {
900 for (const auto &I : Operands) {
901 if (ImplicitOperand.isIdenticalTo(I.Operand))
902 return true;
903 }
904 return false;
905}
906
Alex Lorenzfeb6b432015-08-19 19:19:16 +0000907bool MIParser::verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
908 const MCInstrDesc &MCID) {
Alex Lorenz36962cd2015-07-07 02:08:46 +0000909 if (MCID.isCall())
910 // We can't verify call instructions as they can contain arbitrary implicit
911 // register and register mask operands.
912 return false;
913
914 // Gather all the expected implicit operands.
915 SmallVector<MachineOperand, 4> ImplicitOperands;
916 if (MCID.ImplicitDefs)
Craig Toppere5e035a32015-12-05 07:13:35 +0000917 for (const MCPhysReg *ImpDefs = MCID.getImplicitDefs(); *ImpDefs; ++ImpDefs)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000918 ImplicitOperands.push_back(
919 MachineOperand::CreateReg(*ImpDefs, true, true));
920 if (MCID.ImplicitUses)
Craig Toppere5e035a32015-12-05 07:13:35 +0000921 for (const MCPhysReg *ImpUses = MCID.getImplicitUses(); *ImpUses; ++ImpUses)
Alex Lorenz36962cd2015-07-07 02:08:46 +0000922 ImplicitOperands.push_back(
923 MachineOperand::CreateReg(*ImpUses, false, true));
924
925 const auto *TRI = MF.getSubtarget().getRegisterInfo();
926 assert(TRI && "Expected target register info");
Alex Lorenz0153e592015-09-10 14:04:34 +0000927 for (const auto &I : ImplicitOperands) {
928 if (isImplicitOperandIn(I, Operands))
929 continue;
930 return error(Operands.empty() ? Token.location() : Operands.back().End,
Alex Lorenz36962cd2015-07-07 02:08:46 +0000931 Twine("missing implicit register operand '") +
Alex Lorenz0153e592015-09-10 14:04:34 +0000932 printImplicitRegisterFlag(I) + " %" +
933 getRegisterName(TRI, I.getReg()) + "'");
Alex Lorenz36962cd2015-07-07 02:08:46 +0000934 }
935 return false;
936}
937
Alex Lorenze5a44662015-07-17 00:24:15 +0000938bool MIParser::parseInstruction(unsigned &OpCode, unsigned &Flags) {
Michael Berg7d1b25d2018-05-03 00:07:56 +0000939 // Allow frame and fast math flags for OPCODE
Francis Visoiu Mistrih3abf05732018-03-13 19:53:16 +0000940 while (Token.is(MIToken::kw_frame_setup) ||
Michael Berg7d1b25d2018-05-03 00:07:56 +0000941 Token.is(MIToken::kw_frame_destroy) ||
942 Token.is(MIToken::kw_nnan) ||
943 Token.is(MIToken::kw_ninf) ||
944 Token.is(MIToken::kw_nsz) ||
945 Token.is(MIToken::kw_arcp) ||
946 Token.is(MIToken::kw_contract) ||
947 Token.is(MIToken::kw_afn) ||
948 Token.is(MIToken::kw_reassoc)) {
949 // Mine frame and fast math flags
950 if (Token.is(MIToken::kw_frame_setup))
951 Flags |= MachineInstr::FrameSetup;
952 if (Token.is(MIToken::kw_frame_destroy))
953 Flags |= MachineInstr::FrameDestroy;
954 if (Token.is(MIToken::kw_nnan))
955 Flags |= MachineInstr::FmNoNans;
956 if (Token.is(MIToken::kw_ninf))
957 Flags |= MachineInstr::FmNoInfs;
958 if (Token.is(MIToken::kw_nsz))
959 Flags |= MachineInstr::FmNsz;
960 if (Token.is(MIToken::kw_arcp))
961 Flags |= MachineInstr::FmArcp;
962 if (Token.is(MIToken::kw_contract))
963 Flags |= MachineInstr::FmContract;
964 if (Token.is(MIToken::kw_afn))
965 Flags |= MachineInstr::FmAfn;
966 if (Token.is(MIToken::kw_reassoc))
967 Flags |= MachineInstr::FmReassoc;
968
Francis Visoiu Mistrihdbf2c482018-01-09 11:33:22 +0000969 lex();
Alex Lorenze5a44662015-07-17 00:24:15 +0000970 }
Alex Lorenz91370c52015-06-22 20:37:46 +0000971 if (Token.isNot(MIToken::Identifier))
972 return error("expected a machine instruction");
973 StringRef InstrName = Token.stringValue();
974 if (parseInstrName(InstrName, OpCode))
975 return error(Twine("unknown machine instruction name '") + InstrName + "'");
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000976 lex();
977 return false;
978}
979
Matthias Braun74ad41c2016-10-11 03:13:01 +0000980bool MIParser::parseNamedRegister(unsigned &Reg) {
981 assert(Token.is(MIToken::NamedRegister) && "Needs NamedRegister token");
982 StringRef Name = Token.stringValue();
983 if (getRegisterByName(Name, Reg))
984 return error(Twine("unknown register name '") + Name + "'");
985 return false;
986}
987
Puyan Lotfi399b46c2018-03-30 18:15:54 +0000988bool MIParser::parseNamedVirtualRegister(VRegInfo *&Info) {
989 assert(Token.is(MIToken::NamedVirtualRegister) && "Expected NamedVReg token");
990 StringRef Name = Token.stringValue();
991 // TODO: Check that the VReg name is not the same as a physical register name.
992 // If it is, then print a warning (when warnings are implemented).
993 Info = &PFS.getVRegInfoNamed(Name);
994 return false;
995}
996
Matthias Braun74ad41c2016-10-11 03:13:01 +0000997bool MIParser::parseVirtualRegister(VRegInfo *&Info) {
Puyan Lotfi399b46c2018-03-30 18:15:54 +0000998 if (Token.is(MIToken::NamedVirtualRegister))
999 return parseNamedVirtualRegister(Info);
Matthias Braun74ad41c2016-10-11 03:13:01 +00001000 assert(Token.is(MIToken::VirtualRegister) && "Needs VirtualRegister token");
1001 unsigned ID;
1002 if (getUnsigned(ID))
1003 return true;
1004 Info = &PFS.getVRegInfo(ID);
1005 return false;
1006}
1007
1008bool MIParser::parseRegister(unsigned &Reg, VRegInfo *&Info) {
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001009 switch (Token.kind()) {
Alex Lorenz12b554e2015-06-24 17:34:58 +00001010 case MIToken::underscore:
1011 Reg = 0;
Matthias Braun74ad41c2016-10-11 03:13:01 +00001012 return false;
1013 case MIToken::NamedRegister:
1014 return parseNamedRegister(Reg);
Puyan Lotfi399b46c2018-03-30 18:15:54 +00001015 case MIToken::NamedVirtualRegister:
Matthias Braun74ad41c2016-10-11 03:13:01 +00001016 case MIToken::VirtualRegister:
1017 if (parseVirtualRegister(Info))
Alex Lorenz53464512015-07-10 22:51:20 +00001018 return true;
Matthias Braun74ad41c2016-10-11 03:13:01 +00001019 Reg = Info->VReg;
1020 return false;
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001021 // TODO: Parse other register kinds.
1022 default:
1023 llvm_unreachable("The current token should be a register");
1024 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001025}
1026
Matthias Braunde5fea22017-01-18 00:59:19 +00001027bool MIParser::parseRegisterClassOrBank(VRegInfo &RegInfo) {
Ahmed Bougachabf480552017-01-20 00:29:59 +00001028 if (Token.isNot(MIToken::Identifier) && Token.isNot(MIToken::underscore))
1029 return error("expected '_', register class, or register bank name");
Matthias Braunde5fea22017-01-18 00:59:19 +00001030 StringRef::iterator Loc = Token.location();
1031 StringRef Name = Token.stringValue();
1032
1033 // Was it a register class?
1034 auto RCNameI = PFS.Names2RegClasses.find(Name);
1035 if (RCNameI != PFS.Names2RegClasses.end()) {
1036 lex();
1037 const TargetRegisterClass &RC = *RCNameI->getValue();
1038
1039 switch (RegInfo.Kind) {
1040 case VRegInfo::UNKNOWN:
1041 case VRegInfo::NORMAL:
1042 RegInfo.Kind = VRegInfo::NORMAL;
1043 if (RegInfo.Explicit && RegInfo.D.RC != &RC) {
1044 const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
1045 return error(Loc, Twine("conflicting register classes, previously: ") +
1046 Twine(TRI.getRegClassName(RegInfo.D.RC)));
1047 }
1048 RegInfo.D.RC = &RC;
1049 RegInfo.Explicit = true;
1050 return false;
1051
1052 case VRegInfo::GENERIC:
1053 case VRegInfo::REGBANK:
1054 return error(Loc, "register class specification on generic register");
1055 }
1056 llvm_unreachable("Unexpected register kind");
1057 }
1058
Ahmed Bougachabf480552017-01-20 00:29:59 +00001059 // Should be a register bank or a generic register.
1060 const RegisterBank *RegBank = nullptr;
1061 if (Name != "_") {
1062 auto RBNameI = PFS.Names2RegBanks.find(Name);
1063 if (RBNameI == PFS.Names2RegBanks.end())
1064 return error(Loc, "expected '_', register class, or register bank name");
1065 RegBank = RBNameI->getValue();
1066 }
Matthias Braunde5fea22017-01-18 00:59:19 +00001067
Ahmed Bougachabf480552017-01-20 00:29:59 +00001068 lex();
1069
Matthias Braunde5fea22017-01-18 00:59:19 +00001070 switch (RegInfo.Kind) {
1071 case VRegInfo::UNKNOWN:
1072 case VRegInfo::GENERIC:
1073 case VRegInfo::REGBANK:
Ahmed Bougachabf480552017-01-20 00:29:59 +00001074 RegInfo.Kind = RegBank ? VRegInfo::REGBANK : VRegInfo::GENERIC;
1075 if (RegInfo.Explicit && RegInfo.D.RegBank != RegBank)
1076 return error(Loc, "conflicting generic register banks");
1077 RegInfo.D.RegBank = RegBank;
Matthias Braunde5fea22017-01-18 00:59:19 +00001078 RegInfo.Explicit = true;
1079 return false;
1080
1081 case VRegInfo::NORMAL:
Ahmed Bougachabf480552017-01-20 00:29:59 +00001082 return error(Loc, "register bank specification on normal register");
Matthias Braunde5fea22017-01-18 00:59:19 +00001083 }
1084 llvm_unreachable("Unexpected register kind");
1085}
1086
Alex Lorenzcb268d42015-07-06 23:07:26 +00001087bool MIParser::parseRegisterFlag(unsigned &Flags) {
Alex Lorenz2b3cf192015-08-05 18:09:03 +00001088 const unsigned OldFlags = Flags;
Alex Lorenzcb268d42015-07-06 23:07:26 +00001089 switch (Token.kind()) {
1090 case MIToken::kw_implicit:
1091 Flags |= RegState::Implicit;
1092 break;
1093 case MIToken::kw_implicit_define:
1094 Flags |= RegState::ImplicitDefine;
1095 break;
Alex Lorenze66a7cc2015-08-19 18:55:47 +00001096 case MIToken::kw_def:
1097 Flags |= RegState::Define;
1098 break;
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +00001099 case MIToken::kw_dead:
1100 Flags |= RegState::Dead;
1101 break;
Alex Lorenz495ad872015-07-08 21:23:34 +00001102 case MIToken::kw_killed:
1103 Flags |= RegState::Kill;
1104 break;
Alex Lorenz4d026b892015-07-08 23:58:31 +00001105 case MIToken::kw_undef:
1106 Flags |= RegState::Undef;
1107 break;
Alex Lorenz1039fd12015-08-14 19:07:07 +00001108 case MIToken::kw_internal:
1109 Flags |= RegState::InternalRead;
1110 break;
Alex Lorenz01c1a5e2015-08-05 17:49:03 +00001111 case MIToken::kw_early_clobber:
1112 Flags |= RegState::EarlyClobber;
1113 break;
Alex Lorenz90752582015-08-05 17:41:17 +00001114 case MIToken::kw_debug_use:
1115 Flags |= RegState::Debug;
1116 break;
Geoff Berry60c43102017-12-12 17:53:59 +00001117 case MIToken::kw_renamable:
1118 Flags |= RegState::Renamable;
1119 break;
Alex Lorenzcb268d42015-07-06 23:07:26 +00001120 default:
1121 llvm_unreachable("The current token should be a register flag");
1122 }
Alex Lorenz2b3cf192015-08-05 18:09:03 +00001123 if (OldFlags == Flags)
1124 // We know that the same flag is specified more than once when the flags
1125 // weren't modified.
1126 return error("duplicate '" + Token.stringValue() + "' register flag");
Alex Lorenzcb268d42015-07-06 23:07:26 +00001127 lex();
1128 return false;
1129}
1130
Alex Lorenz2eacca82015-07-13 23:24:34 +00001131bool MIParser::parseSubRegisterIndex(unsigned &SubReg) {
Matthias Braun333e4682016-07-26 21:49:34 +00001132 assert(Token.is(MIToken::dot));
Alex Lorenz2eacca82015-07-13 23:24:34 +00001133 lex();
1134 if (Token.isNot(MIToken::Identifier))
Matthias Braun333e4682016-07-26 21:49:34 +00001135 return error("expected a subregister index after '.'");
Alex Lorenz2eacca82015-07-13 23:24:34 +00001136 auto Name = Token.stringValue();
1137 SubReg = getSubRegIndex(Name);
1138 if (!SubReg)
1139 return error(Twine("use of unknown subregister index '") + Name + "'");
1140 lex();
1141 return false;
1142}
1143
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001144bool MIParser::parseRegisterTiedDefIndex(unsigned &TiedDefIdx) {
1145 if (!consumeIfPresent(MIToken::kw_tied_def))
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001146 return true;
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001147 if (Token.isNot(MIToken::IntegerLiteral))
1148 return error("expected an integer literal after 'tied-def'");
1149 if (getUnsigned(TiedDefIdx))
1150 return true;
1151 lex();
1152 if (expectAndConsume(MIToken::rparen))
1153 return true;
1154 return false;
1155}
1156
Alex Lorenzfeb6b432015-08-19 19:19:16 +00001157bool MIParser::assignRegisterTies(MachineInstr &MI,
1158 ArrayRef<ParsedMachineOperand> Operands) {
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001159 SmallVector<std::pair<unsigned, unsigned>, 4> TiedRegisterPairs;
1160 for (unsigned I = 0, E = Operands.size(); I != E; ++I) {
1161 if (!Operands[I].TiedDefIdx)
1162 continue;
1163 // The parser ensures that this operand is a register use, so we just have
1164 // to check the tied-def operand.
1165 unsigned DefIdx = Operands[I].TiedDefIdx.getValue();
1166 if (DefIdx >= E)
1167 return error(Operands[I].Begin,
1168 Twine("use of invalid tied-def operand index '" +
1169 Twine(DefIdx) + "'; instruction has only ") +
1170 Twine(E) + " operands");
1171 const auto &DefOperand = Operands[DefIdx].Operand;
1172 if (!DefOperand.isReg() || !DefOperand.isDef())
1173 // FIXME: add note with the def operand.
1174 return error(Operands[I].Begin,
1175 Twine("use of invalid tied-def operand index '") +
1176 Twine(DefIdx) + "'; the operand #" + Twine(DefIdx) +
1177 " isn't a defined register");
1178 // Check that the tied-def operand wasn't tied elsewhere.
1179 for (const auto &TiedPair : TiedRegisterPairs) {
1180 if (TiedPair.first == DefIdx)
1181 return error(Operands[I].Begin,
1182 Twine("the tied-def operand #") + Twine(DefIdx) +
1183 " is already tied with another register operand");
1184 }
1185 TiedRegisterPairs.push_back(std::make_pair(DefIdx, I));
1186 }
1187 // FIXME: Verify that for non INLINEASM instructions, the def and use tied
1188 // indices must be less than tied max.
1189 for (const auto &TiedPair : TiedRegisterPairs)
1190 MI.tieOperands(TiedPair.first, TiedPair.second);
1191 return false;
1192}
1193
1194bool MIParser::parseRegisterOperand(MachineOperand &Dest,
1195 Optional<unsigned> &TiedDefIdx,
1196 bool IsDef) {
Alex Lorenzcb268d42015-07-06 23:07:26 +00001197 unsigned Flags = IsDef ? RegState::Define : 0;
1198 while (Token.isRegisterFlag()) {
1199 if (parseRegisterFlag(Flags))
1200 return true;
1201 }
1202 if (!Token.isRegister())
1203 return error("expected a register after register flags");
Matthias Braun74ad41c2016-10-11 03:13:01 +00001204 unsigned Reg;
1205 VRegInfo *RegInfo;
1206 if (parseRegister(Reg, RegInfo))
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001207 return true;
1208 lex();
Alex Lorenz2eacca82015-07-13 23:24:34 +00001209 unsigned SubReg = 0;
Matthias Braun333e4682016-07-26 21:49:34 +00001210 if (Token.is(MIToken::dot)) {
Alex Lorenz2eacca82015-07-13 23:24:34 +00001211 if (parseSubRegisterIndex(SubReg))
1212 return true;
Matthias Braun5d00b322016-07-16 01:36:18 +00001213 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1214 return error("subregister index expects a virtual register");
Alex Lorenz2eacca82015-07-13 23:24:34 +00001215 }
Matthias Braunde5fea22017-01-18 00:59:19 +00001216 if (Token.is(MIToken::colon)) {
1217 if (!TargetRegisterInfo::isVirtualRegister(Reg))
1218 return error("register class specification expects a virtual register");
1219 lex();
1220 if (parseRegisterClassOrBank(*RegInfo))
1221 return true;
1222 }
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001223 MachineRegisterInfo &MRI = MF.getRegInfo();
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001224 if ((Flags & RegState::Define) == 0) {
1225 if (consumeIfPresent(MIToken::lparen)) {
1226 unsigned Idx;
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001227 if (!parseRegisterTiedDefIndex(Idx))
1228 TiedDefIdx = Idx;
1229 else {
1230 // Try a redundant low-level type.
1231 LLT Ty;
1232 if (parseLowLevelType(Token.location(), Ty))
1233 return error("expected tied-def or low-level type after '('");
1234
1235 if (expectAndConsume(MIToken::rparen))
1236 return true;
1237
1238 if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
1239 return error("inconsistent type for generic virtual register");
1240
1241 MRI.setType(Reg, Ty);
1242 }
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001243 }
1244 } else if (consumeIfPresent(MIToken::lparen)) {
Quentin Colombete08cc592016-12-22 21:56:35 +00001245 // Virtual registers may have a tpe with GlobalISel.
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001246 if (!TargetRegisterInfo::isVirtualRegister(Reg))
Quentin Colombete08cc592016-12-22 21:56:35 +00001247 return error("unexpected type on physical register");
Ahmed Bougacha5a59b242016-07-19 19:48:36 +00001248
Tim Northover0f140c72016-09-09 11:46:34 +00001249 LLT Ty;
1250 if (parseLowLevelType(Token.location(), Ty))
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001251 return true;
Quentin Colombet2a831fb2016-03-07 21:48:43 +00001252
Tim Northover0f140c72016-09-09 11:46:34 +00001253 if (expectAndConsume(MIToken::rparen))
1254 return true;
1255
Tim Northoverd28d3cc2016-09-12 11:20:10 +00001256 if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
1257 return error("inconsistent type for generic virtual register");
1258
Tim Northover0f140c72016-09-09 11:46:34 +00001259 MRI.setType(Reg, Ty);
Matthias Braun74ad41c2016-10-11 03:13:01 +00001260 } else if (TargetRegisterInfo::isVirtualRegister(Reg)) {
Quentin Colombet3749f332016-12-22 22:50:34 +00001261 // Generic virtual registers must have a type.
1262 // If we end up here this means the type hasn't been specified and
Quentin Colombet2c646962016-06-08 23:27:46 +00001263 // this is bad!
Matthias Braun74ad41c2016-10-11 03:13:01 +00001264 if (RegInfo->Kind == VRegInfo::GENERIC ||
1265 RegInfo->Kind == VRegInfo::REGBANK)
Quentin Colombet3749f332016-12-22 22:50:34 +00001266 return error("generic virtual registers must have a type");
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001267 }
Alex Lorenz495ad872015-07-08 21:23:34 +00001268 Dest = MachineOperand::CreateReg(
1269 Reg, Flags & RegState::Define, Flags & RegState::Implicit,
Alex Lorenz2eacca82015-07-13 23:24:34 +00001270 Flags & RegState::Kill, Flags & RegState::Dead, Flags & RegState::Undef,
Alex Lorenz1039fd12015-08-14 19:07:07 +00001271 Flags & RegState::EarlyClobber, SubReg, Flags & RegState::Debug,
Geoff Berry60c43102017-12-12 17:53:59 +00001272 Flags & RegState::InternalRead, Flags & RegState::Renamable);
1273
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001274 return false;
1275}
1276
Alex Lorenz240fc1e2015-06-23 23:42:28 +00001277bool MIParser::parseImmediateOperand(MachineOperand &Dest) {
1278 assert(Token.is(MIToken::IntegerLiteral));
1279 const APSInt &Int = Token.integerValue();
1280 if (Int.getMinSignedBits() > 64)
Alex Lorenz3f2058d2015-08-05 19:03:42 +00001281 return error("integer literal is too large to be an immediate operand");
Alex Lorenz240fc1e2015-06-23 23:42:28 +00001282 Dest = MachineOperand::CreateImm(Int.getExtValue());
1283 lex();
1284 return false;
1285}
1286
Alex Lorenz5d8b0bd2015-08-21 21:48:22 +00001287bool MIParser::parseIRConstant(StringRef::iterator Loc, StringRef StringValue,
1288 const Constant *&C) {
1289 auto Source = StringValue.str(); // The source has to be null terminated.
Alex Lorenz7eaff4c2015-08-05 18:44:00 +00001290 SMDiagnostic Err;
Matthias Braunf1caa282017-12-15 22:22:58 +00001291 C = parseConstantValue(Source, Err, *MF.getFunction().getParent(),
Matthias Braune35861d2016-07-13 23:27:50 +00001292 &PFS.IRSlots);
Alex Lorenz7eaff4c2015-08-05 18:44:00 +00001293 if (!C)
1294 return error(Loc + Err.getColumnNo(), Err.getMessage());
1295 return false;
1296}
1297
Alex Lorenz5d8b0bd2015-08-21 21:48:22 +00001298bool MIParser::parseIRConstant(StringRef::iterator Loc, const Constant *&C) {
1299 if (parseIRConstant(Loc, StringRef(Loc, Token.range().end() - Loc), C))
1300 return true;
1301 lex();
1302 return false;
1303}
1304
Ahmed Bougachad760de02016-07-28 17:15:12 +00001305bool MIParser::parseLowLevelType(StringRef::iterator Loc, LLT &Ty) {
Tim Northover32a078a2016-09-15 10:09:59 +00001306 if (Token.is(MIToken::ScalarType)) {
Tim Northover62ae5682016-07-20 19:09:30 +00001307 Ty = LLT::scalar(APSInt(Token.range().drop_front()).getZExtValue());
1308 lex();
1309 return false;
Tim Northoverbd505462016-07-22 16:59:52 +00001310 } else if (Token.is(MIToken::PointerType)) {
Matthias Braunf1caa282017-12-15 22:22:58 +00001311 const DataLayout &DL = MF.getDataLayout();
Tim Northover5ae83502016-09-15 09:20:34 +00001312 unsigned AS = APSInt(Token.range().drop_front()).getZExtValue();
1313 Ty = LLT::pointer(AS, DL.getPointerSizeInBits(AS));
Tim Northoverbd505462016-07-22 16:59:52 +00001314 lex();
1315 return false;
Tim Northover62ae5682016-07-20 19:09:30 +00001316 }
Quentin Colombet85199672016-03-08 00:20:48 +00001317
Tim Northover62ae5682016-07-20 19:09:30 +00001318 // Now we're looking for a vector.
1319 if (Token.isNot(MIToken::less))
Tim Northoverbd505462016-07-22 16:59:52 +00001320 return error(Loc,
1321 "expected unsized, pN, sN or <N x sM> for GlobalISel type");
1322
Tim Northover62ae5682016-07-20 19:09:30 +00001323 lex();
1324
1325 if (Token.isNot(MIToken::IntegerLiteral))
1326 return error(Loc, "expected <N x sM> for vctor type");
1327 uint64_t NumElements = Token.integerValue().getZExtValue();
1328 lex();
1329
1330 if (Token.isNot(MIToken::Identifier) || Token.stringValue() != "x")
1331 return error(Loc, "expected '<N x sM>' for vector type");
1332 lex();
1333
1334 if (Token.isNot(MIToken::ScalarType))
1335 return error(Loc, "expected '<N x sM>' for vector type");
1336 uint64_t ScalarSize = APSInt(Token.range().drop_front()).getZExtValue();
1337 lex();
1338
1339 if (Token.isNot(MIToken::greater))
1340 return error(Loc, "expected '<N x sM>' for vector type");
1341 lex();
1342
1343 Ty = LLT::vector(NumElements, ScalarSize);
Quentin Colombet85199672016-03-08 00:20:48 +00001344 return false;
1345}
1346
Alex Lorenz05e38822015-08-05 18:52:21 +00001347bool MIParser::parseTypedImmediateOperand(MachineOperand &Dest) {
1348 assert(Token.is(MIToken::IntegerType));
1349 auto Loc = Token.location();
1350 lex();
1351 if (Token.isNot(MIToken::IntegerLiteral))
1352 return error("expected an integer literal");
1353 const Constant *C = nullptr;
1354 if (parseIRConstant(Loc, C))
1355 return true;
1356 Dest = MachineOperand::CreateCImm(cast<ConstantInt>(C));
1357 return false;
1358}
1359
Alex Lorenzad156fb2015-07-31 20:49:21 +00001360bool MIParser::parseFPImmediateOperand(MachineOperand &Dest) {
1361 auto Loc = Token.location();
1362 lex();
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001363 if (Token.isNot(MIToken::FloatingPointLiteral) &&
1364 Token.isNot(MIToken::HexLiteral))
Alex Lorenzad156fb2015-07-31 20:49:21 +00001365 return error("expected a floating point literal");
Alex Lorenz7eaff4c2015-08-05 18:44:00 +00001366 const Constant *C = nullptr;
1367 if (parseIRConstant(Loc, C))
1368 return true;
Alex Lorenzad156fb2015-07-31 20:49:21 +00001369 Dest = MachineOperand::CreateFPImm(cast<ConstantFP>(C));
1370 return false;
1371}
1372
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001373bool MIParser::getUnsigned(unsigned &Result) {
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001374 if (Token.hasIntegerValue()) {
1375 const uint64_t Limit = uint64_t(std::numeric_limits<unsigned>::max()) + 1;
1376 uint64_t Val64 = Token.integerValue().getLimitedValue(Limit);
1377 if (Val64 == Limit)
1378 return error("expected 32-bit integer (too large)");
1379 Result = Val64;
1380 return false;
1381 }
1382 if (Token.is(MIToken::HexLiteral)) {
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +00001383 APInt A;
1384 if (getHexUint(A))
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001385 return true;
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +00001386 if (A.getBitWidth() > 32)
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +00001387 return error("expected 32-bit integer (too large)");
1388 Result = A.getZExtValue();
1389 return false;
1390 }
1391 return true;
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001392}
1393
Alex Lorenzf09df002015-06-30 18:16:42 +00001394bool MIParser::parseMBBReference(MachineBasicBlock *&MBB) {
Alex Lorenz5022f6b2015-08-13 23:10:16 +00001395 assert(Token.is(MIToken::MachineBasicBlock) ||
1396 Token.is(MIToken::MachineBasicBlockLabel));
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001397 unsigned Number;
1398 if (getUnsigned(Number))
1399 return true;
Alex Lorenz7a503fa2015-07-07 17:46:43 +00001400 auto MBBInfo = PFS.MBBSlots.find(Number);
1401 if (MBBInfo == PFS.MBBSlots.end())
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001402 return error(Twine("use of undefined machine basic block #") +
1403 Twine(Number));
Alex Lorenzf09df002015-06-30 18:16:42 +00001404 MBB = MBBInfo->second;
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +00001405 // TODO: Only parse the name if it's a MachineBasicBlockLabel. Deprecate once
1406 // we drop the <irname> from the bb.<id>.<irname> format.
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001407 if (!Token.stringValue().empty() && Token.stringValue() != MBB->getName())
1408 return error(Twine("the name of machine basic block #") + Twine(Number) +
1409 " isn't '" + Token.stringValue() + "'");
Alex Lorenzf09df002015-06-30 18:16:42 +00001410 return false;
1411}
1412
1413bool MIParser::parseMBBOperand(MachineOperand &Dest) {
1414 MachineBasicBlock *MBB;
1415 if (parseMBBReference(MBB))
1416 return true;
Alex Lorenz33f0aef2015-06-26 16:46:11 +00001417 Dest = MachineOperand::CreateMBB(MBB);
1418 lex();
1419 return false;
1420}
1421
Alex Lorenzdc9dadf2015-08-18 22:18:52 +00001422bool MIParser::parseStackFrameIndex(int &FI) {
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001423 assert(Token.is(MIToken::StackObject));
1424 unsigned ID;
1425 if (getUnsigned(ID))
1426 return true;
1427 auto ObjectInfo = PFS.StackObjectSlots.find(ID);
1428 if (ObjectInfo == PFS.StackObjectSlots.end())
1429 return error(Twine("use of undefined stack object '%stack.") + Twine(ID) +
1430 "'");
1431 StringRef Name;
1432 if (const auto *Alloca =
Matthias Braun941a7052016-07-28 18:40:00 +00001433 MF.getFrameInfo().getObjectAllocation(ObjectInfo->second))
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001434 Name = Alloca->getName();
1435 if (!Token.stringValue().empty() && Token.stringValue() != Name)
1436 return error(Twine("the name of the stack object '%stack.") + Twine(ID) +
1437 "' isn't '" + Token.stringValue() + "'");
1438 lex();
Alex Lorenzdc9dadf2015-08-18 22:18:52 +00001439 FI = ObjectInfo->second;
1440 return false;
1441}
1442
1443bool MIParser::parseStackObjectOperand(MachineOperand &Dest) {
1444 int FI;
1445 if (parseStackFrameIndex(FI))
1446 return true;
1447 Dest = MachineOperand::CreateFI(FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001448 return false;
1449}
1450
Alex Lorenzea882122015-08-12 21:17:02 +00001451bool MIParser::parseFixedStackFrameIndex(int &FI) {
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001452 assert(Token.is(MIToken::FixedStackObject));
1453 unsigned ID;
1454 if (getUnsigned(ID))
1455 return true;
1456 auto ObjectInfo = PFS.FixedStackObjectSlots.find(ID);
1457 if (ObjectInfo == PFS.FixedStackObjectSlots.end())
1458 return error(Twine("use of undefined fixed stack object '%fixed-stack.") +
1459 Twine(ID) + "'");
1460 lex();
Alex Lorenzea882122015-08-12 21:17:02 +00001461 FI = ObjectInfo->second;
1462 return false;
1463}
1464
1465bool MIParser::parseFixedStackObjectOperand(MachineOperand &Dest) {
1466 int FI;
1467 if (parseFixedStackFrameIndex(FI))
1468 return true;
1469 Dest = MachineOperand::CreateFI(FI);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00001470 return false;
1471}
1472
Alex Lorenz41df7d32015-07-28 17:09:52 +00001473bool MIParser::parseGlobalValue(GlobalValue *&GV) {
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001474 switch (Token.kind()) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001475 case MIToken::NamedGlobalValue: {
Matthias Braunf1caa282017-12-15 22:22:58 +00001476 const Module *M = MF.getFunction().getParent();
Alex Lorenz970c12e2015-08-05 17:35:55 +00001477 GV = M->getNamedValue(Token.stringValue());
Alex Lorenz41df7d32015-07-28 17:09:52 +00001478 if (!GV)
Alex Lorenz3fb77682015-08-06 23:17:42 +00001479 return error(Twine("use of undefined global value '") + Token.range() +
1480 "'");
Alex Lorenz41df7d32015-07-28 17:09:52 +00001481 break;
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001482 }
1483 case MIToken::GlobalValue: {
1484 unsigned GVIdx;
1485 if (getUnsigned(GVIdx))
1486 return true;
Matthias Braune35861d2016-07-13 23:27:50 +00001487 if (GVIdx >= PFS.IRSlots.GlobalValues.size())
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001488 return error(Twine("use of undefined global value '@") + Twine(GVIdx) +
1489 "'");
Matthias Braune35861d2016-07-13 23:27:50 +00001490 GV = PFS.IRSlots.GlobalValues[GVIdx];
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001491 break;
1492 }
1493 default:
1494 llvm_unreachable("The current token should be a global value");
1495 }
Alex Lorenz41df7d32015-07-28 17:09:52 +00001496 return false;
1497}
1498
1499bool MIParser::parseGlobalAddressOperand(MachineOperand &Dest) {
1500 GlobalValue *GV = nullptr;
1501 if (parseGlobalValue(GV))
1502 return true;
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001503 lex();
Alex Lorenz5672a892015-08-05 22:26:15 +00001504 Dest = MachineOperand::CreateGA(GV, /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001505 if (parseOperandsOffset(Dest))
1506 return true;
Alex Lorenz5d6108e2015-06-26 22:56:48 +00001507 return false;
1508}
1509
Alex Lorenzab980492015-07-20 20:51:18 +00001510bool MIParser::parseConstantPoolIndexOperand(MachineOperand &Dest) {
1511 assert(Token.is(MIToken::ConstantPoolItem));
1512 unsigned ID;
1513 if (getUnsigned(ID))
1514 return true;
1515 auto ConstantInfo = PFS.ConstantPoolSlots.find(ID);
1516 if (ConstantInfo == PFS.ConstantPoolSlots.end())
1517 return error("use of undefined constant '%const." + Twine(ID) + "'");
1518 lex();
Alex Lorenzab980492015-07-20 20:51:18 +00001519 Dest = MachineOperand::CreateCPI(ID, /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001520 if (parseOperandsOffset(Dest))
1521 return true;
Alex Lorenzab980492015-07-20 20:51:18 +00001522 return false;
1523}
1524
Alex Lorenz31d70682015-07-15 23:38:35 +00001525bool MIParser::parseJumpTableIndexOperand(MachineOperand &Dest) {
1526 assert(Token.is(MIToken::JumpTableIndex));
1527 unsigned ID;
1528 if (getUnsigned(ID))
1529 return true;
1530 auto JumpTableEntryInfo = PFS.JumpTableSlots.find(ID);
1531 if (JumpTableEntryInfo == PFS.JumpTableSlots.end())
1532 return error("use of undefined jump table '%jump-table." + Twine(ID) + "'");
1533 lex();
Alex Lorenz31d70682015-07-15 23:38:35 +00001534 Dest = MachineOperand::CreateJTI(JumpTableEntryInfo->second);
1535 return false;
1536}
1537
Alex Lorenz6ede3742015-07-21 16:59:53 +00001538bool MIParser::parseExternalSymbolOperand(MachineOperand &Dest) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001539 assert(Token.is(MIToken::ExternalSymbol));
1540 const char *Symbol = MF.createExternalSymbolName(Token.stringValue());
Alex Lorenz6ede3742015-07-21 16:59:53 +00001541 lex();
Alex Lorenz6ede3742015-07-21 16:59:53 +00001542 Dest = MachineOperand::CreateES(Symbol);
Alex Lorenz5672a892015-08-05 22:26:15 +00001543 if (parseOperandsOffset(Dest))
1544 return true;
Alex Lorenz6ede3742015-07-21 16:59:53 +00001545 return false;
1546}
1547
Matthias Braunb74eb412016-03-28 18:18:46 +00001548bool MIParser::parseSubRegisterIndexOperand(MachineOperand &Dest) {
1549 assert(Token.is(MIToken::SubRegisterIndex));
1550 StringRef Name = Token.stringValue();
1551 unsigned SubRegIndex = getSubRegIndex(Token.stringValue());
1552 if (SubRegIndex == 0)
1553 return error(Twine("unknown subregister index '") + Name + "'");
1554 lex();
1555 Dest = MachineOperand::CreateImm(SubRegIndex);
1556 return false;
1557}
1558
Alex Lorenz44f29252015-07-22 21:07:04 +00001559bool MIParser::parseMDNode(MDNode *&Node) {
Alex Lorenz35e44462015-07-22 17:58:46 +00001560 assert(Token.is(MIToken::exclaim));
Reid Kleckner6d353342017-08-23 20:31:27 +00001561
Alex Lorenz35e44462015-07-22 17:58:46 +00001562 auto Loc = Token.location();
1563 lex();
1564 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
1565 return error("expected metadata id after '!'");
1566 unsigned ID;
1567 if (getUnsigned(ID))
1568 return true;
Matthias Braune35861d2016-07-13 23:27:50 +00001569 auto NodeInfo = PFS.IRSlots.MetadataNodes.find(ID);
1570 if (NodeInfo == PFS.IRSlots.MetadataNodes.end())
Alex Lorenz35e44462015-07-22 17:58:46 +00001571 return error(Loc, "use of undefined metadata '!" + Twine(ID) + "'");
1572 lex();
Alex Lorenz44f29252015-07-22 21:07:04 +00001573 Node = NodeInfo->second.get();
1574 return false;
1575}
1576
Reid Kleckner6d353342017-08-23 20:31:27 +00001577bool MIParser::parseDIExpression(MDNode *&Expr) {
1578 assert(Token.is(MIToken::md_diexpr));
1579 lex();
1580
1581 // FIXME: Share this parsing with the IL parser.
1582 SmallVector<uint64_t, 8> Elements;
1583
1584 if (expectAndConsume(MIToken::lparen))
1585 return true;
1586
1587 if (Token.isNot(MIToken::rparen)) {
1588 do {
1589 if (Token.is(MIToken::Identifier)) {
1590 if (unsigned Op = dwarf::getOperationEncoding(Token.stringValue())) {
1591 lex();
1592 Elements.push_back(Op);
1593 continue;
1594 }
1595 return error(Twine("invalid DWARF op '") + Token.stringValue() + "'");
1596 }
1597
1598 if (Token.isNot(MIToken::IntegerLiteral) ||
1599 Token.integerValue().isSigned())
1600 return error("expected unsigned integer");
1601
1602 auto &U = Token.integerValue();
1603 if (U.ugt(UINT64_MAX))
1604 return error("element too large, limit is " + Twine(UINT64_MAX));
1605 Elements.push_back(U.getZExtValue());
1606 lex();
1607
1608 } while (consumeIfPresent(MIToken::comma));
1609 }
1610
1611 if (expectAndConsume(MIToken::rparen))
1612 return true;
1613
Matthias Braunf1caa282017-12-15 22:22:58 +00001614 Expr = DIExpression::get(MF.getFunction().getContext(), Elements);
Reid Kleckner6d353342017-08-23 20:31:27 +00001615 return false;
1616}
1617
Alex Lorenz44f29252015-07-22 21:07:04 +00001618bool MIParser::parseMetadataOperand(MachineOperand &Dest) {
1619 MDNode *Node = nullptr;
Reid Kleckner6d353342017-08-23 20:31:27 +00001620 if (Token.is(MIToken::exclaim)) {
1621 if (parseMDNode(Node))
1622 return true;
1623 } else if (Token.is(MIToken::md_diexpr)) {
1624 if (parseDIExpression(Node))
1625 return true;
1626 }
Alex Lorenz44f29252015-07-22 21:07:04 +00001627 Dest = MachineOperand::CreateMetadata(Node);
Alex Lorenz35e44462015-07-22 17:58:46 +00001628 return false;
1629}
1630
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001631bool MIParser::parseCFIOffset(int &Offset) {
1632 if (Token.isNot(MIToken::IntegerLiteral))
1633 return error("expected a cfi offset");
1634 if (Token.integerValue().getMinSignedBits() > 32)
1635 return error("expected a 32 bit integer (the cfi offset is too large)");
1636 Offset = (int)Token.integerValue().getExtValue();
1637 lex();
1638 return false;
1639}
1640
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001641bool MIParser::parseCFIRegister(unsigned &Reg) {
1642 if (Token.isNot(MIToken::NamedRegister))
1643 return error("expected a cfi register");
1644 unsigned LLVMReg;
Matthias Braun74ad41c2016-10-11 03:13:01 +00001645 if (parseNamedRegister(LLVMReg))
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001646 return true;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001647 const auto *TRI = MF.getSubtarget().getRegisterInfo();
1648 assert(TRI && "Expected target register info");
1649 int DwarfReg = TRI->getDwarfRegNum(LLVMReg, true);
1650 if (DwarfReg < 0)
1651 return error("invalid DWARF register");
1652 Reg = (unsigned)DwarfReg;
1653 lex();
1654 return false;
1655}
1656
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00001657bool MIParser::parseCFIEscapeValues(std::string &Values) {
1658 do {
1659 if (Token.isNot(MIToken::HexLiteral))
1660 return error("expected a hexadecimal literal");
1661 unsigned Value;
1662 if (getUnsigned(Value))
1663 return true;
1664 if (Value > UINT8_MAX)
1665 return error("expected a 8-bit integer (too large)");
1666 Values.push_back(static_cast<uint8_t>(Value));
1667 lex();
1668 } while (consumeIfPresent(MIToken::comma));
1669 return false;
1670}
1671
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001672bool MIParser::parseCFIOperand(MachineOperand &Dest) {
1673 auto Kind = Token.kind();
1674 lex();
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001675 int Offset;
1676 unsigned Reg;
1677 unsigned CFIIndex;
1678 switch (Kind) {
Alex Lorenz577d2712015-08-14 21:55:58 +00001679 case MIToken::kw_cfi_same_value:
1680 if (parseCFIRegister(Reg))
1681 return true;
Matthias Braunf23ef432016-11-30 23:48:42 +00001682 CFIIndex = MF.addFrameInst(MCCFIInstruction::createSameValue(nullptr, Reg));
Alex Lorenz577d2712015-08-14 21:55:58 +00001683 break;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001684 case MIToken::kw_cfi_offset:
1685 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1686 parseCFIOffset(Offset))
1687 return true;
1688 CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +00001689 MF.addFrameInst(MCCFIInstruction::createOffset(nullptr, Reg, Offset));
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001690 break;
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00001691 case MIToken::kw_cfi_rel_offset:
1692 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1693 parseCFIOffset(Offset))
1694 return true;
1695 CFIIndex = MF.addFrameInst(
1696 MCCFIInstruction::createRelOffset(nullptr, Reg, Offset));
1697 break;
Alex Lorenz5b0d5f62015-07-27 20:39:03 +00001698 case MIToken::kw_cfi_def_cfa_register:
1699 if (parseCFIRegister(Reg))
1700 return true;
1701 CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +00001702 MF.addFrameInst(MCCFIInstruction::createDefCfaRegister(nullptr, Reg));
Alex Lorenz5b0d5f62015-07-27 20:39:03 +00001703 break;
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001704 case MIToken::kw_cfi_def_cfa_offset:
1705 if (parseCFIOffset(Offset))
1706 return true;
1707 // NB: MCCFIInstruction::createDefCfaOffset negates the offset.
Matthias Braunf23ef432016-11-30 23:48:42 +00001708 CFIIndex = MF.addFrameInst(
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001709 MCCFIInstruction::createDefCfaOffset(nullptr, -Offset));
1710 break;
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00001711 case MIToken::kw_cfi_adjust_cfa_offset:
1712 if (parseCFIOffset(Offset))
1713 return true;
1714 CFIIndex = MF.addFrameInst(
1715 MCCFIInstruction::createAdjustCfaOffset(nullptr, Offset));
1716 break;
Alex Lorenzb1393232015-07-29 18:57:23 +00001717 case MIToken::kw_cfi_def_cfa:
1718 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1719 parseCFIOffset(Offset))
1720 return true;
1721 // NB: MCCFIInstruction::createDefCfa negates the offset.
1722 CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +00001723 MF.addFrameInst(MCCFIInstruction::createDefCfa(nullptr, Reg, -Offset));
Alex Lorenzb1393232015-07-29 18:57:23 +00001724 break;
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00001725 case MIToken::kw_cfi_remember_state:
1726 CFIIndex = MF.addFrameInst(MCCFIInstruction::createRememberState(nullptr));
1727 break;
Francis Visoiu Mistrih66d2c262017-11-02 12:00:58 +00001728 case MIToken::kw_cfi_restore:
1729 if (parseCFIRegister(Reg))
1730 return true;
1731 CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestore(nullptr, Reg));
1732 break;
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00001733 case MIToken::kw_cfi_restore_state:
1734 CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestoreState(nullptr));
1735 break;
1736 case MIToken::kw_cfi_undefined:
1737 if (parseCFIRegister(Reg))
1738 return true;
1739 CFIIndex = MF.addFrameInst(MCCFIInstruction::createUndefined(nullptr, Reg));
1740 break;
1741 case MIToken::kw_cfi_register: {
1742 unsigned Reg2;
1743 if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
1744 parseCFIRegister(Reg2))
1745 return true;
Francis Visoiu Mistrih66d2c262017-11-02 12:00:58 +00001746
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00001747 CFIIndex =
1748 MF.addFrameInst(MCCFIInstruction::createRegister(nullptr, Reg, Reg2));
1749 break;
1750 }
1751 case MIToken::kw_cfi_window_save:
1752 CFIIndex = MF.addFrameInst(MCCFIInstruction::createWindowSave(nullptr));
1753 break;
1754 case MIToken::kw_cfi_escape: {
1755 std::string Values;
1756 if (parseCFIEscapeValues(Values))
1757 return true;
1758 CFIIndex = MF.addFrameInst(MCCFIInstruction::createEscape(nullptr, Values));
1759 break;
1760 }
Alex Lorenz8cfc6862015-07-23 23:09:07 +00001761 default:
1762 // TODO: Parse the other CFI operands.
1763 llvm_unreachable("The current token should be a cfi operand");
1764 }
1765 Dest = MachineOperand::CreateCFIIndex(CFIIndex);
Alex Lorenzf4baeb52015-07-21 22:28:27 +00001766 return false;
1767}
1768
Alex Lorenzdeb53492015-07-28 17:28:03 +00001769bool MIParser::parseIRBlock(BasicBlock *&BB, const Function &F) {
1770 switch (Token.kind()) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00001771 case MIToken::NamedIRBlock: {
1772 BB = dyn_cast_or_null<BasicBlock>(
Mehdi Aminia53d49e2016-09-17 06:00:02 +00001773 F.getValueSymbolTable()->lookup(Token.stringValue()));
Alex Lorenzdeb53492015-07-28 17:28:03 +00001774 if (!BB)
Alex Lorenz3fb77682015-08-06 23:17:42 +00001775 return error(Twine("use of undefined IR block '") + Token.range() + "'");
Alex Lorenzdeb53492015-07-28 17:28:03 +00001776 break;
1777 }
1778 case MIToken::IRBlock: {
1779 unsigned SlotNumber = 0;
1780 if (getUnsigned(SlotNumber))
1781 return true;
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00001782 BB = const_cast<BasicBlock *>(getIRBlock(SlotNumber, F));
Alex Lorenzdeb53492015-07-28 17:28:03 +00001783 if (!BB)
1784 return error(Twine("use of undefined IR block '%ir-block.") +
1785 Twine(SlotNumber) + "'");
1786 break;
1787 }
1788 default:
1789 llvm_unreachable("The current token should be an IR block reference");
1790 }
1791 return false;
1792}
1793
1794bool MIParser::parseBlockAddressOperand(MachineOperand &Dest) {
1795 assert(Token.is(MIToken::kw_blockaddress));
1796 lex();
1797 if (expectAndConsume(MIToken::lparen))
1798 return true;
1799 if (Token.isNot(MIToken::GlobalValue) &&
Alex Lorenz970c12e2015-08-05 17:35:55 +00001800 Token.isNot(MIToken::NamedGlobalValue))
Alex Lorenzdeb53492015-07-28 17:28:03 +00001801 return error("expected a global value");
1802 GlobalValue *GV = nullptr;
1803 if (parseGlobalValue(GV))
1804 return true;
1805 auto *F = dyn_cast<Function>(GV);
1806 if (!F)
1807 return error("expected an IR function reference");
1808 lex();
1809 if (expectAndConsume(MIToken::comma))
1810 return true;
1811 BasicBlock *BB = nullptr;
Alex Lorenz970c12e2015-08-05 17:35:55 +00001812 if (Token.isNot(MIToken::IRBlock) && Token.isNot(MIToken::NamedIRBlock))
Alex Lorenzdeb53492015-07-28 17:28:03 +00001813 return error("expected an IR block reference");
1814 if (parseIRBlock(BB, *F))
1815 return true;
1816 lex();
1817 if (expectAndConsume(MIToken::rparen))
1818 return true;
Alex Lorenzdeb53492015-07-28 17:28:03 +00001819 Dest = MachineOperand::CreateBA(BlockAddress::get(F, BB), /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001820 if (parseOperandsOffset(Dest))
1821 return true;
Alex Lorenzdeb53492015-07-28 17:28:03 +00001822 return false;
1823}
1824
Tim Northover6b3bd612016-07-29 20:32:59 +00001825bool MIParser::parseIntrinsicOperand(MachineOperand &Dest) {
1826 assert(Token.is(MIToken::kw_intrinsic));
1827 lex();
1828 if (expectAndConsume(MIToken::lparen))
1829 return error("expected syntax intrinsic(@llvm.whatever)");
1830
1831 if (Token.isNot(MIToken::NamedGlobalValue))
1832 return error("expected syntax intrinsic(@llvm.whatever)");
1833
1834 std::string Name = Token.stringValue();
1835 lex();
1836
1837 if (expectAndConsume(MIToken::rparen))
1838 return error("expected ')' to terminate intrinsic name");
1839
1840 // Find out what intrinsic we're dealing with, first try the global namespace
1841 // and then the target's private intrinsics if that fails.
1842 const TargetIntrinsicInfo *TII = MF.getTarget().getIntrinsicInfo();
1843 Intrinsic::ID ID = Function::lookupIntrinsicID(Name);
1844 if (ID == Intrinsic::not_intrinsic && TII)
1845 ID = static_cast<Intrinsic::ID>(TII->lookupName(Name));
1846
1847 if (ID == Intrinsic::not_intrinsic)
1848 return error("unknown intrinsic name");
1849 Dest = MachineOperand::CreateIntrinsicID(ID);
1850
1851 return false;
1852}
1853
Tim Northoverde3aea0412016-08-17 20:25:25 +00001854bool MIParser::parsePredicateOperand(MachineOperand &Dest) {
1855 assert(Token.is(MIToken::kw_intpred) || Token.is(MIToken::kw_floatpred));
1856 bool IsFloat = Token.is(MIToken::kw_floatpred);
1857 lex();
1858
1859 if (expectAndConsume(MIToken::lparen))
1860 return error("expected syntax intpred(whatever) or floatpred(whatever");
1861
1862 if (Token.isNot(MIToken::Identifier))
1863 return error("whatever");
1864
1865 CmpInst::Predicate Pred;
1866 if (IsFloat) {
1867 Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
1868 .Case("false", CmpInst::FCMP_FALSE)
1869 .Case("oeq", CmpInst::FCMP_OEQ)
1870 .Case("ogt", CmpInst::FCMP_OGT)
1871 .Case("oge", CmpInst::FCMP_OGE)
1872 .Case("olt", CmpInst::FCMP_OLT)
1873 .Case("ole", CmpInst::FCMP_OLE)
1874 .Case("one", CmpInst::FCMP_ONE)
1875 .Case("ord", CmpInst::FCMP_ORD)
1876 .Case("uno", CmpInst::FCMP_UNO)
1877 .Case("ueq", CmpInst::FCMP_UEQ)
1878 .Case("ugt", CmpInst::FCMP_UGT)
1879 .Case("uge", CmpInst::FCMP_UGE)
1880 .Case("ult", CmpInst::FCMP_ULT)
1881 .Case("ule", CmpInst::FCMP_ULE)
1882 .Case("une", CmpInst::FCMP_UNE)
1883 .Case("true", CmpInst::FCMP_TRUE)
1884 .Default(CmpInst::BAD_FCMP_PREDICATE);
1885 if (!CmpInst::isFPPredicate(Pred))
1886 return error("invalid floating-point predicate");
1887 } else {
1888 Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
1889 .Case("eq", CmpInst::ICMP_EQ)
1890 .Case("ne", CmpInst::ICMP_NE)
1891 .Case("sgt", CmpInst::ICMP_SGT)
1892 .Case("sge", CmpInst::ICMP_SGE)
1893 .Case("slt", CmpInst::ICMP_SLT)
1894 .Case("sle", CmpInst::ICMP_SLE)
1895 .Case("ugt", CmpInst::ICMP_UGT)
1896 .Case("uge", CmpInst::ICMP_UGE)
1897 .Case("ult", CmpInst::ICMP_ULT)
1898 .Case("ule", CmpInst::ICMP_ULE)
1899 .Default(CmpInst::BAD_ICMP_PREDICATE);
1900 if (!CmpInst::isIntPredicate(Pred))
1901 return error("invalid integer predicate");
1902 }
1903
1904 lex();
1905 Dest = MachineOperand::CreatePredicate(Pred);
Tim Northover6cd4b232016-08-23 21:01:26 +00001906 if (expectAndConsume(MIToken::rparen))
Tim Northoverde3aea0412016-08-17 20:25:25 +00001907 return error("predicate should be terminated by ')'.");
1908
1909 return false;
1910}
1911
Alex Lorenzef5c1962015-07-28 23:02:45 +00001912bool MIParser::parseTargetIndexOperand(MachineOperand &Dest) {
1913 assert(Token.is(MIToken::kw_target_index));
1914 lex();
1915 if (expectAndConsume(MIToken::lparen))
1916 return true;
1917 if (Token.isNot(MIToken::Identifier))
1918 return error("expected the name of the target index");
1919 int Index = 0;
1920 if (getTargetIndex(Token.stringValue(), Index))
1921 return error("use of undefined target index '" + Token.stringValue() + "'");
1922 lex();
1923 if (expectAndConsume(MIToken::rparen))
1924 return true;
Alex Lorenzef5c1962015-07-28 23:02:45 +00001925 Dest = MachineOperand::CreateTargetIndex(unsigned(Index), /*Offset=*/0);
Alex Lorenz5672a892015-08-05 22:26:15 +00001926 if (parseOperandsOffset(Dest))
1927 return true;
Alex Lorenzef5c1962015-07-28 23:02:45 +00001928 return false;
1929}
1930
Oren Ben Simhon0ef61ec2017-03-19 08:14:18 +00001931bool MIParser::parseCustomRegisterMaskOperand(MachineOperand &Dest) {
1932 assert(Token.stringValue() == "CustomRegMask" && "Expected a custom RegMask");
1933 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
1934 assert(TRI && "Expected target register info");
1935 lex();
1936 if (expectAndConsume(MIToken::lparen))
1937 return true;
1938
1939 uint32_t *Mask = MF.allocateRegisterMask(TRI->getNumRegs());
1940 while (true) {
1941 if (Token.isNot(MIToken::NamedRegister))
1942 return error("expected a named register");
1943 unsigned Reg;
1944 if (parseNamedRegister(Reg))
1945 return true;
1946 lex();
1947 Mask[Reg / 32] |= 1U << (Reg % 32);
1948 // TODO: Report an error if the same register is used more than once.
1949 if (Token.isNot(MIToken::comma))
1950 break;
1951 lex();
1952 }
1953
1954 if (expectAndConsume(MIToken::rparen))
1955 return true;
1956 Dest = MachineOperand::CreateRegMask(Mask);
1957 return false;
1958}
1959
Alex Lorenzb97c9ef2015-08-10 23:24:42 +00001960bool MIParser::parseLiveoutRegisterMaskOperand(MachineOperand &Dest) {
1961 assert(Token.is(MIToken::kw_liveout));
1962 const auto *TRI = MF.getSubtarget().getRegisterInfo();
1963 assert(TRI && "Expected target register info");
1964 uint32_t *Mask = MF.allocateRegisterMask(TRI->getNumRegs());
1965 lex();
1966 if (expectAndConsume(MIToken::lparen))
1967 return true;
1968 while (true) {
1969 if (Token.isNot(MIToken::NamedRegister))
1970 return error("expected a named register");
Matthias Braun74ad41c2016-10-11 03:13:01 +00001971 unsigned Reg;
1972 if (parseNamedRegister(Reg))
Alex Lorenzb97c9ef2015-08-10 23:24:42 +00001973 return true;
1974 lex();
1975 Mask[Reg / 32] |= 1U << (Reg % 32);
1976 // TODO: Report an error if the same register is used more than once.
1977 if (Token.isNot(MIToken::comma))
1978 break;
1979 lex();
1980 }
1981 if (expectAndConsume(MIToken::rparen))
1982 return true;
1983 Dest = MachineOperand::CreateRegLiveOut(Mask);
1984 return false;
1985}
1986
Alex Lorenz5ef93b02015-08-19 19:05:34 +00001987bool MIParser::parseMachineOperand(MachineOperand &Dest,
1988 Optional<unsigned> &TiedDefIdx) {
Alex Lorenzf3db51de2015-06-23 16:35:26 +00001989 switch (Token.kind()) {
Alex Lorenzcb268d42015-07-06 23:07:26 +00001990 case MIToken::kw_implicit:
1991 case MIToken::kw_implicit_define:
Alex Lorenze66a7cc2015-08-19 18:55:47 +00001992 case MIToken::kw_def:
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +00001993 case MIToken::kw_dead:
Alex Lorenz495ad872015-07-08 21:23:34 +00001994 case MIToken::kw_killed:
Alex Lorenz4d026b892015-07-08 23:58:31 +00001995 case MIToken::kw_undef:
Alex Lorenz1039fd12015-08-14 19:07:07 +00001996 case MIToken::kw_internal:
Alex Lorenz01c1a5e2015-08-05 17:49:03 +00001997 case MIToken::kw_early_clobber:
Alex Lorenz90752582015-08-05 17:41:17 +00001998 case MIToken::kw_debug_use:
Geoff Berry60c43102017-12-12 17:53:59 +00001999 case MIToken::kw_renamable:
Alex Lorenz12b554e2015-06-24 17:34:58 +00002000 case MIToken::underscore:
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002001 case MIToken::NamedRegister:
Alex Lorenz53464512015-07-10 22:51:20 +00002002 case MIToken::VirtualRegister:
Puyan Lotfi399b46c2018-03-30 18:15:54 +00002003 case MIToken::NamedVirtualRegister:
Alex Lorenz5ef93b02015-08-19 19:05:34 +00002004 return parseRegisterOperand(Dest, TiedDefIdx);
Alex Lorenz240fc1e2015-06-23 23:42:28 +00002005 case MIToken::IntegerLiteral:
2006 return parseImmediateOperand(Dest);
Alex Lorenz05e38822015-08-05 18:52:21 +00002007 case MIToken::IntegerType:
2008 return parseTypedImmediateOperand(Dest);
Alex Lorenzad156fb2015-07-31 20:49:21 +00002009 case MIToken::kw_half:
2010 case MIToken::kw_float:
2011 case MIToken::kw_double:
2012 case MIToken::kw_x86_fp80:
2013 case MIToken::kw_fp128:
2014 case MIToken::kw_ppc_fp128:
2015 return parseFPImmediateOperand(Dest);
Alex Lorenz33f0aef2015-06-26 16:46:11 +00002016 case MIToken::MachineBasicBlock:
2017 return parseMBBOperand(Dest);
Alex Lorenz7feaf7c2015-07-16 23:37:45 +00002018 case MIToken::StackObject:
2019 return parseStackObjectOperand(Dest);
2020 case MIToken::FixedStackObject:
2021 return parseFixedStackObjectOperand(Dest);
Alex Lorenz5d6108e2015-06-26 22:56:48 +00002022 case MIToken::GlobalValue:
2023 case MIToken::NamedGlobalValue:
2024 return parseGlobalAddressOperand(Dest);
Alex Lorenzab980492015-07-20 20:51:18 +00002025 case MIToken::ConstantPoolItem:
2026 return parseConstantPoolIndexOperand(Dest);
Alex Lorenz31d70682015-07-15 23:38:35 +00002027 case MIToken::JumpTableIndex:
2028 return parseJumpTableIndexOperand(Dest);
Alex Lorenz6ede3742015-07-21 16:59:53 +00002029 case MIToken::ExternalSymbol:
Alex Lorenz6ede3742015-07-21 16:59:53 +00002030 return parseExternalSymbolOperand(Dest);
Matthias Braunb74eb412016-03-28 18:18:46 +00002031 case MIToken::SubRegisterIndex:
2032 return parseSubRegisterIndexOperand(Dest);
Reid Kleckner6d353342017-08-23 20:31:27 +00002033 case MIToken::md_diexpr:
Alex Lorenz35e44462015-07-22 17:58:46 +00002034 case MIToken::exclaim:
2035 return parseMetadataOperand(Dest);
Alex Lorenz577d2712015-08-14 21:55:58 +00002036 case MIToken::kw_cfi_same_value:
Alex Lorenz8cfc6862015-07-23 23:09:07 +00002037 case MIToken::kw_cfi_offset:
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00002038 case MIToken::kw_cfi_rel_offset:
Alex Lorenz5b0d5f62015-07-27 20:39:03 +00002039 case MIToken::kw_cfi_def_cfa_register:
Alex Lorenzf4baeb52015-07-21 22:28:27 +00002040 case MIToken::kw_cfi_def_cfa_offset:
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00002041 case MIToken::kw_cfi_adjust_cfa_offset:
2042 case MIToken::kw_cfi_escape:
Alex Lorenzb1393232015-07-29 18:57:23 +00002043 case MIToken::kw_cfi_def_cfa:
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00002044 case MIToken::kw_cfi_register:
2045 case MIToken::kw_cfi_remember_state:
Francis Visoiu Mistrih66d2c262017-11-02 12:00:58 +00002046 case MIToken::kw_cfi_restore:
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +00002047 case MIToken::kw_cfi_restore_state:
2048 case MIToken::kw_cfi_undefined:
2049 case MIToken::kw_cfi_window_save:
Alex Lorenzf4baeb52015-07-21 22:28:27 +00002050 return parseCFIOperand(Dest);
Alex Lorenzdeb53492015-07-28 17:28:03 +00002051 case MIToken::kw_blockaddress:
2052 return parseBlockAddressOperand(Dest);
Tim Northover6b3bd612016-07-29 20:32:59 +00002053 case MIToken::kw_intrinsic:
2054 return parseIntrinsicOperand(Dest);
Alex Lorenzef5c1962015-07-28 23:02:45 +00002055 case MIToken::kw_target_index:
2056 return parseTargetIndexOperand(Dest);
Alex Lorenzb97c9ef2015-08-10 23:24:42 +00002057 case MIToken::kw_liveout:
2058 return parseLiveoutRegisterMaskOperand(Dest);
Tim Northoverde3aea0412016-08-17 20:25:25 +00002059 case MIToken::kw_floatpred:
2060 case MIToken::kw_intpred:
2061 return parsePredicateOperand(Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002062 case MIToken::Error:
2063 return true;
Alex Lorenz8f6f4282015-06-29 16:57:06 +00002064 case MIToken::Identifier:
2065 if (const auto *RegMask = getRegMask(Token.stringValue())) {
2066 Dest = MachineOperand::CreateRegMask(RegMask);
2067 lex();
2068 break;
Oren Ben Simhon0ef61ec2017-03-19 08:14:18 +00002069 } else
2070 return parseCustomRegisterMaskOperand(Dest);
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002071 default:
Alex Lorenzf22ca8a2015-08-21 21:12:44 +00002072 // FIXME: Parse the MCSymbol machine operand.
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002073 return error("expected a machine operand");
2074 }
Alex Lorenz91370c52015-06-22 20:37:46 +00002075 return false;
2076}
2077
Alex Lorenz5ef93b02015-08-19 19:05:34 +00002078bool MIParser::parseMachineOperandAndTargetFlags(
2079 MachineOperand &Dest, Optional<unsigned> &TiedDefIdx) {
Alex Lorenz49873a82015-08-06 00:44:07 +00002080 unsigned TF = 0;
2081 bool HasTargetFlags = false;
2082 if (Token.is(MIToken::kw_target_flags)) {
2083 HasTargetFlags = true;
2084 lex();
2085 if (expectAndConsume(MIToken::lparen))
2086 return true;
2087 if (Token.isNot(MIToken::Identifier))
2088 return error("expected the name of the target flag");
Alex Lorenzf3630112015-08-18 22:52:15 +00002089 if (getDirectTargetFlag(Token.stringValue(), TF)) {
2090 if (getBitmaskTargetFlag(Token.stringValue(), TF))
2091 return error("use of undefined target flag '" + Token.stringValue() +
2092 "'");
2093 }
Alex Lorenz49873a82015-08-06 00:44:07 +00002094 lex();
Alex Lorenzf3630112015-08-18 22:52:15 +00002095 while (Token.is(MIToken::comma)) {
2096 lex();
2097 if (Token.isNot(MIToken::Identifier))
2098 return error("expected the name of the target flag");
2099 unsigned BitFlag = 0;
2100 if (getBitmaskTargetFlag(Token.stringValue(), BitFlag))
2101 return error("use of undefined target flag '" + Token.stringValue() +
2102 "'");
2103 // TODO: Report an error when using a duplicate bit target flag.
2104 TF |= BitFlag;
2105 lex();
2106 }
Alex Lorenz49873a82015-08-06 00:44:07 +00002107 if (expectAndConsume(MIToken::rparen))
2108 return true;
2109 }
2110 auto Loc = Token.location();
Alex Lorenz5ef93b02015-08-19 19:05:34 +00002111 if (parseMachineOperand(Dest, TiedDefIdx))
Alex Lorenz49873a82015-08-06 00:44:07 +00002112 return true;
2113 if (!HasTargetFlags)
2114 return false;
2115 if (Dest.isReg())
2116 return error(Loc, "register operands can't have target flags");
2117 Dest.setTargetFlags(TF);
2118 return false;
2119}
2120
Alex Lorenzdc24c172015-08-07 20:21:00 +00002121bool MIParser::parseOffset(int64_t &Offset) {
Alex Lorenz5672a892015-08-05 22:26:15 +00002122 if (Token.isNot(MIToken::plus) && Token.isNot(MIToken::minus))
2123 return false;
Alex Lorenz3fb77682015-08-06 23:17:42 +00002124 StringRef Sign = Token.range();
Alex Lorenz5672a892015-08-05 22:26:15 +00002125 bool IsNegative = Token.is(MIToken::minus);
2126 lex();
2127 if (Token.isNot(MIToken::IntegerLiteral))
2128 return error("expected an integer literal after '" + Sign + "'");
2129 if (Token.integerValue().getMinSignedBits() > 64)
2130 return error("expected 64-bit integer (too large)");
Alex Lorenzdc24c172015-08-07 20:21:00 +00002131 Offset = Token.integerValue().getExtValue();
Alex Lorenz5672a892015-08-05 22:26:15 +00002132 if (IsNegative)
2133 Offset = -Offset;
2134 lex();
Alex Lorenzdc24c172015-08-07 20:21:00 +00002135 return false;
2136}
2137
Alex Lorenz620f8912015-08-13 20:33:33 +00002138bool MIParser::parseAlignment(unsigned &Alignment) {
2139 assert(Token.is(MIToken::kw_align));
2140 lex();
Alex Lorenz68661042015-08-13 20:55:01 +00002141 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
Alex Lorenz620f8912015-08-13 20:33:33 +00002142 return error("expected an integer literal after 'align'");
2143 if (getUnsigned(Alignment))
2144 return true;
2145 lex();
2146 return false;
2147}
2148
Francis Visoiu Mistrihe4718e82018-01-26 11:47:28 +00002149bool MIParser::parseAddrspace(unsigned &Addrspace) {
2150 assert(Token.is(MIToken::kw_addrspace));
2151 lex();
2152 if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
2153 return error("expected an integer literal after 'addrspace'");
2154 if (getUnsigned(Addrspace))
2155 return true;
2156 lex();
2157 return false;
2158}
2159
Alex Lorenzdc24c172015-08-07 20:21:00 +00002160bool MIParser::parseOperandsOffset(MachineOperand &Op) {
2161 int64_t Offset = 0;
2162 if (parseOffset(Offset))
2163 return true;
Alex Lorenz5672a892015-08-05 22:26:15 +00002164 Op.setOffset(Offset);
2165 return false;
2166}
2167
Alex Lorenz36593ac2015-08-19 23:27:07 +00002168bool MIParser::parseIRValue(const Value *&V) {
Alex Lorenz4af7e612015-08-03 23:08:19 +00002169 switch (Token.kind()) {
Alex Lorenz970c12e2015-08-05 17:35:55 +00002170 case MIToken::NamedIRValue: {
Matthias Braunf1caa282017-12-15 22:22:58 +00002171 V = MF.getFunction().getValueSymbolTable()->lookup(Token.stringValue());
Alex Lorenz4af7e612015-08-03 23:08:19 +00002172 break;
2173 }
Alex Lorenzdd13be02015-08-19 23:31:05 +00002174 case MIToken::IRValue: {
2175 unsigned SlotNumber = 0;
2176 if (getUnsigned(SlotNumber))
2177 return true;
2178 V = getIRValue(SlotNumber);
2179 break;
2180 }
Alex Lorenz36efd382015-08-20 00:20:03 +00002181 case MIToken::NamedGlobalValue:
2182 case MIToken::GlobalValue: {
2183 GlobalValue *GV = nullptr;
2184 if (parseGlobalValue(GV))
2185 return true;
2186 V = GV;
2187 break;
2188 }
Alex Lorenzc1136ef32015-08-21 21:54:12 +00002189 case MIToken::QuotedIRValue: {
2190 const Constant *C = nullptr;
2191 if (parseIRConstant(Token.location(), Token.stringValue(), C))
2192 return true;
2193 V = C;
2194 break;
2195 }
Alex Lorenz4af7e612015-08-03 23:08:19 +00002196 default:
2197 llvm_unreachable("The current token should be an IR block reference");
2198 }
Alex Lorenzdd13be02015-08-19 23:31:05 +00002199 if (!V)
2200 return error(Twine("use of undefined IR value '") + Token.range() + "'");
Alex Lorenz4af7e612015-08-03 23:08:19 +00002201 return false;
2202}
2203
2204bool MIParser::getUint64(uint64_t &Result) {
Krzysztof Parzyszek36ef5dc2016-12-16 13:58:01 +00002205 if (Token.hasIntegerValue()) {
2206 if (Token.integerValue().getActiveBits() > 64)
2207 return error("expected 64-bit integer (too large)");
2208 Result = Token.integerValue().getZExtValue();
2209 return false;
2210 }
2211 if (Token.is(MIToken::HexLiteral)) {
2212 APInt A;
2213 if (getHexUint(A))
2214 return true;
2215 if (A.getBitWidth() > 64)
2216 return error("expected 64-bit integer (too large)");
2217 Result = A.getZExtValue();
2218 return false;
2219 }
2220 return true;
2221}
2222
2223bool MIParser::getHexUint(APInt &Result) {
2224 assert(Token.is(MIToken::HexLiteral));
2225 StringRef S = Token.range();
2226 assert(S[0] == '0' && tolower(S[1]) == 'x');
2227 // This could be a floating point literal with a special prefix.
2228 if (!isxdigit(S[2]))
2229 return true;
2230 StringRef V = S.substr(2);
2231 APInt A(V.size()*4, V, 16);
Jessica Paquetteb0d17d92017-09-01 22:17:14 +00002232
2233 // If A is 0, then A.getActiveBits() is 0. This isn't a valid bitwidth. Make
2234 // sure it isn't the case before constructing result.
2235 unsigned NumBits = (A == 0) ? 32 : A.getActiveBits();
2236 Result = APInt(NumBits, ArrayRef<uint64_t>(A.getRawData(), A.getNumWords()));
Alex Lorenz4af7e612015-08-03 23:08:19 +00002237 return false;
2238}
2239
Justin Lebar0af80cd2016-07-15 18:26:59 +00002240bool MIParser::parseMemoryOperandFlag(MachineMemOperand::Flags &Flags) {
2241 const auto OldFlags = Flags;
Alex Lorenza518b792015-08-04 00:24:45 +00002242 switch (Token.kind()) {
2243 case MIToken::kw_volatile:
2244 Flags |= MachineMemOperand::MOVolatile;
2245 break;
Alex Lorenz10fd0382015-08-06 16:49:30 +00002246 case MIToken::kw_non_temporal:
2247 Flags |= MachineMemOperand::MONonTemporal;
2248 break;
Justin Lebaradbf09e2016-09-11 01:38:58 +00002249 case MIToken::kw_dereferenceable:
2250 Flags |= MachineMemOperand::MODereferenceable;
2251 break;
Alex Lorenzdc8de2a2015-08-06 16:55:53 +00002252 case MIToken::kw_invariant:
2253 Flags |= MachineMemOperand::MOInvariant;
2254 break;
Geoff Berry6748abe2017-07-13 02:28:54 +00002255 case MIToken::StringConstant: {
2256 MachineMemOperand::Flags TF;
2257 if (getMMOTargetFlag(Token.stringValue(), TF))
2258 return error("use of undefined target MMO flag '" + Token.stringValue() +
2259 "'");
2260 Flags |= TF;
2261 break;
2262 }
Alex Lorenza518b792015-08-04 00:24:45 +00002263 default:
2264 llvm_unreachable("The current token should be a memory operand flag");
2265 }
Alex Lorenze86d5152015-08-06 18:26:36 +00002266 if (OldFlags == Flags)
2267 // We know that the same flag is specified more than once when the flags
2268 // weren't modified.
2269 return error("duplicate '" + Token.stringValue() + "' memory operand flag");
Alex Lorenza518b792015-08-04 00:24:45 +00002270 lex();
2271 return false;
2272}
2273
Alex Lorenz91097a32015-08-12 20:33:26 +00002274bool MIParser::parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV) {
2275 switch (Token.kind()) {
Alex Lorenz46e95582015-08-12 20:44:16 +00002276 case MIToken::kw_stack:
2277 PSV = MF.getPSVManager().getStack();
2278 break;
Alex Lorenzd858f872015-08-12 21:00:22 +00002279 case MIToken::kw_got:
2280 PSV = MF.getPSVManager().getGOT();
2281 break;
Alex Lorenz4be56e92015-08-12 21:11:08 +00002282 case MIToken::kw_jump_table:
2283 PSV = MF.getPSVManager().getJumpTable();
2284 break;
Alex Lorenz91097a32015-08-12 20:33:26 +00002285 case MIToken::kw_constant_pool:
2286 PSV = MF.getPSVManager().getConstantPool();
2287 break;
Alex Lorenz0cc671b2015-08-12 21:23:17 +00002288 case MIToken::FixedStackObject: {
2289 int FI;
2290 if (parseFixedStackFrameIndex(FI))
2291 return true;
2292 PSV = MF.getPSVManager().getFixedStack(FI);
2293 // The token was already consumed, so use return here instead of break.
2294 return false;
2295 }
Matthias Braun3ef7df92016-06-08 00:47:07 +00002296 case MIToken::StackObject: {
2297 int FI;
2298 if (parseStackFrameIndex(FI))
2299 return true;
2300 PSV = MF.getPSVManager().getFixedStack(FI);
2301 // The token was already consumed, so use return here instead of break.
2302 return false;
2303 }
Eugene Zelenkofb69e662017-06-06 22:22:41 +00002304 case MIToken::kw_call_entry:
Alex Lorenz0d009642015-08-20 00:12:57 +00002305 lex();
2306 switch (Token.kind()) {
2307 case MIToken::GlobalValue:
2308 case MIToken::NamedGlobalValue: {
2309 GlobalValue *GV = nullptr;
2310 if (parseGlobalValue(GV))
2311 return true;
2312 PSV = MF.getPSVManager().getGlobalValueCallEntry(GV);
2313 break;
2314 }
2315 case MIToken::ExternalSymbol:
2316 PSV = MF.getPSVManager().getExternalSymbolCallEntry(
2317 MF.createExternalSymbolName(Token.stringValue()));
2318 break;
2319 default:
2320 return error(
2321 "expected a global value or an external symbol after 'call-entry'");
2322 }
Alex Lorenz50b826f2015-08-14 21:08:30 +00002323 break;
Alex Lorenz91097a32015-08-12 20:33:26 +00002324 default:
2325 llvm_unreachable("The current token should be pseudo source value");
2326 }
2327 lex();
2328 return false;
2329}
2330
2331bool MIParser::parseMachinePointerInfo(MachinePointerInfo &Dest) {
Alex Lorenzd858f872015-08-12 21:00:22 +00002332 if (Token.is(MIToken::kw_constant_pool) || Token.is(MIToken::kw_stack) ||
Alex Lorenz0cc671b2015-08-12 21:23:17 +00002333 Token.is(MIToken::kw_got) || Token.is(MIToken::kw_jump_table) ||
Matthias Braun3ef7df92016-06-08 00:47:07 +00002334 Token.is(MIToken::FixedStackObject) || Token.is(MIToken::StackObject) ||
2335 Token.is(MIToken::kw_call_entry)) {
Alex Lorenz91097a32015-08-12 20:33:26 +00002336 const PseudoSourceValue *PSV = nullptr;
2337 if (parseMemoryPseudoSourceValue(PSV))
2338 return true;
2339 int64_t Offset = 0;
2340 if (parseOffset(Offset))
2341 return true;
2342 Dest = MachinePointerInfo(PSV, Offset);
2343 return false;
2344 }
Alex Lorenz36efd382015-08-20 00:20:03 +00002345 if (Token.isNot(MIToken::NamedIRValue) && Token.isNot(MIToken::IRValue) &&
2346 Token.isNot(MIToken::GlobalValue) &&
Alex Lorenzc1136ef32015-08-21 21:54:12 +00002347 Token.isNot(MIToken::NamedGlobalValue) &&
2348 Token.isNot(MIToken::QuotedIRValue))
Alex Lorenz91097a32015-08-12 20:33:26 +00002349 return error("expected an IR value reference");
Alex Lorenz36593ac2015-08-19 23:27:07 +00002350 const Value *V = nullptr;
Alex Lorenz91097a32015-08-12 20:33:26 +00002351 if (parseIRValue(V))
2352 return true;
2353 if (!V->getType()->isPointerTy())
2354 return error("expected a pointer IR value");
2355 lex();
2356 int64_t Offset = 0;
2357 if (parseOffset(Offset))
2358 return true;
2359 Dest = MachinePointerInfo(V, Offset);
2360 return false;
2361}
2362
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +00002363bool MIParser::parseOptionalScope(LLVMContext &Context,
2364 SyncScope::ID &SSID) {
2365 SSID = SyncScope::System;
2366 if (Token.is(MIToken::Identifier) && Token.stringValue() == "syncscope") {
2367 lex();
2368 if (expectAndConsume(MIToken::lparen))
2369 return error("expected '(' in syncscope");
2370
2371 std::string SSN;
2372 if (parseStringConstant(SSN))
2373 return true;
2374
2375 SSID = Context.getOrInsertSyncScopeID(SSN);
2376 if (expectAndConsume(MIToken::rparen))
2377 return error("expected ')' in syncscope");
2378 }
2379
2380 return false;
2381}
2382
Tim Northoverb73e3092017-02-13 22:14:08 +00002383bool MIParser::parseOptionalAtomicOrdering(AtomicOrdering &Order) {
2384 Order = AtomicOrdering::NotAtomic;
2385 if (Token.isNot(MIToken::Identifier))
2386 return false;
2387
2388 Order = StringSwitch<AtomicOrdering>(Token.stringValue())
2389 .Case("unordered", AtomicOrdering::Unordered)
2390 .Case("monotonic", AtomicOrdering::Monotonic)
2391 .Case("acquire", AtomicOrdering::Acquire)
2392 .Case("release", AtomicOrdering::Release)
2393 .Case("acq_rel", AtomicOrdering::AcquireRelease)
2394 .Case("seq_cst", AtomicOrdering::SequentiallyConsistent)
2395 .Default(AtomicOrdering::NotAtomic);
2396
2397 if (Order != AtomicOrdering::NotAtomic) {
2398 lex();
2399 return false;
2400 }
2401
2402 return error("expected an atomic scope, ordering or a size integer literal");
2403}
2404
Alex Lorenz4af7e612015-08-03 23:08:19 +00002405bool MIParser::parseMachineMemoryOperand(MachineMemOperand *&Dest) {
2406 if (expectAndConsume(MIToken::lparen))
2407 return true;
Justin Lebar0af80cd2016-07-15 18:26:59 +00002408 MachineMemOperand::Flags Flags = MachineMemOperand::MONone;
Alex Lorenza518b792015-08-04 00:24:45 +00002409 while (Token.isMemoryOperandFlag()) {
2410 if (parseMemoryOperandFlag(Flags))
2411 return true;
2412 }
Alex Lorenz4af7e612015-08-03 23:08:19 +00002413 if (Token.isNot(MIToken::Identifier) ||
2414 (Token.stringValue() != "load" && Token.stringValue() != "store"))
2415 return error("expected 'load' or 'store' memory operation");
Alex Lorenz4af7e612015-08-03 23:08:19 +00002416 if (Token.stringValue() == "load")
2417 Flags |= MachineMemOperand::MOLoad;
2418 else
2419 Flags |= MachineMemOperand::MOStore;
2420 lex();
2421
Daniel Sanders17d277b2017-11-28 18:57:02 +00002422 // Optional 'store' for operands that both load and store.
2423 if (Token.is(MIToken::Identifier) && Token.stringValue() == "store") {
2424 Flags |= MachineMemOperand::MOStore;
2425 lex();
2426 }
2427
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +00002428 // Optional synchronization scope.
2429 SyncScope::ID SSID;
Matthias Braunf1caa282017-12-15 22:22:58 +00002430 if (parseOptionalScope(MF.getFunction().getContext(), SSID))
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +00002431 return true;
Tim Northoverb73e3092017-02-13 22:14:08 +00002432
2433 // Up to two atomic orderings (cmpxchg provides guarantees on failure).
2434 AtomicOrdering Order, FailureOrder;
2435 if (parseOptionalAtomicOrdering(Order))
2436 return true;
2437
2438 if (parseOptionalAtomicOrdering(FailureOrder))
2439 return true;
2440
Alex Lorenz4af7e612015-08-03 23:08:19 +00002441 if (Token.isNot(MIToken::IntegerLiteral))
2442 return error("expected the size integer literal after memory operation");
2443 uint64_t Size;
2444 if (getUint64(Size))
2445 return true;
2446 lex();
2447
Alex Lorenz91097a32015-08-12 20:33:26 +00002448 MachinePointerInfo Ptr = MachinePointerInfo();
Matthias Braunc25c9cc2016-06-04 00:06:31 +00002449 if (Token.is(MIToken::Identifier)) {
Daniel Sanders17d277b2017-11-28 18:57:02 +00002450 const char *Word =
2451 ((Flags & MachineMemOperand::MOLoad) &&
2452 (Flags & MachineMemOperand::MOStore))
2453 ? "on"
2454 : Flags & MachineMemOperand::MOLoad ? "from" : "into";
Matthias Braunc25c9cc2016-06-04 00:06:31 +00002455 if (Token.stringValue() != Word)
2456 return error(Twine("expected '") + Word + "'");
2457 lex();
2458
2459 if (parseMachinePointerInfo(Ptr))
2460 return true;
2461 }
Alex Lorenz61420f72015-08-07 20:48:30 +00002462 unsigned BaseAlignment = Size;
Alex Lorenza617c912015-08-17 22:05:15 +00002463 AAMDNodes AAInfo;
Alex Lorenzeb625682015-08-17 22:09:52 +00002464 MDNode *Range = nullptr;
Alex Lorenza617c912015-08-17 22:05:15 +00002465 while (consumeIfPresent(MIToken::comma)) {
2466 switch (Token.kind()) {
2467 case MIToken::kw_align:
2468 if (parseAlignment(BaseAlignment))
2469 return true;
2470 break;
Francis Visoiu Mistrihe4718e82018-01-26 11:47:28 +00002471 case MIToken::kw_addrspace:
2472 if (parseAddrspace(Ptr.AddrSpace))
2473 return true;
2474 break;
Alex Lorenza617c912015-08-17 22:05:15 +00002475 case MIToken::md_tbaa:
2476 lex();
2477 if (parseMDNode(AAInfo.TBAA))
2478 return true;
2479 break;
Alex Lorenza16f6242015-08-17 22:06:40 +00002480 case MIToken::md_alias_scope:
2481 lex();
2482 if (parseMDNode(AAInfo.Scope))
2483 return true;
2484 break;
Alex Lorenz03e940d2015-08-17 22:08:02 +00002485 case MIToken::md_noalias:
2486 lex();
2487 if (parseMDNode(AAInfo.NoAlias))
2488 return true;
2489 break;
Alex Lorenzeb625682015-08-17 22:09:52 +00002490 case MIToken::md_range:
2491 lex();
2492 if (parseMDNode(Range))
2493 return true;
2494 break;
Alex Lorenza617c912015-08-17 22:05:15 +00002495 // TODO: Report an error on duplicate metadata nodes.
2496 default:
Alex Lorenzeb625682015-08-17 22:09:52 +00002497 return error("expected 'align' or '!tbaa' or '!alias.scope' or "
2498 "'!noalias' or '!range'");
Alex Lorenza617c912015-08-17 22:05:15 +00002499 }
Alex Lorenz61420f72015-08-07 20:48:30 +00002500 }
Alex Lorenz4af7e612015-08-03 23:08:19 +00002501 if (expectAndConsume(MIToken::rparen))
2502 return true;
Tim Northoverb73e3092017-02-13 22:14:08 +00002503 Dest = MF.getMachineMemOperand(Ptr, Flags, Size, BaseAlignment, AAInfo, Range,
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +00002504 SSID, Order, FailureOrder);
Alex Lorenz4af7e612015-08-03 23:08:19 +00002505 return false;
2506}
2507
Alex Lorenz8e0a1b42015-06-22 17:02:30 +00002508void MIParser::initNames2InstrOpCodes() {
2509 if (!Names2InstrOpCodes.empty())
2510 return;
2511 const auto *TII = MF.getSubtarget().getInstrInfo();
2512 assert(TII && "Expected target instruction info");
2513 for (unsigned I = 0, E = TII->getNumOpcodes(); I < E; ++I)
2514 Names2InstrOpCodes.insert(std::make_pair(StringRef(TII->getName(I)), I));
2515}
2516
2517bool MIParser::parseInstrName(StringRef InstrName, unsigned &OpCode) {
2518 initNames2InstrOpCodes();
2519 auto InstrInfo = Names2InstrOpCodes.find(InstrName);
2520 if (InstrInfo == Names2InstrOpCodes.end())
2521 return true;
2522 OpCode = InstrInfo->getValue();
2523 return false;
2524}
2525
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002526void MIParser::initNames2Regs() {
2527 if (!Names2Regs.empty())
2528 return;
Alex Lorenz12b554e2015-06-24 17:34:58 +00002529 // The '%noreg' register is the register 0.
2530 Names2Regs.insert(std::make_pair("noreg", 0));
Alex Lorenzf3db51de2015-06-23 16:35:26 +00002531 const auto *TRI = MF.getSubtarget().getRegisterInfo();
2532 assert(TRI && "Expected target register info");
2533 for (unsigned I = 0, E = TRI->getNumRegs(); I < E; ++I) {
2534 bool WasInserted =
2535 Names2Regs.insert(std::make_pair(StringRef(TRI->getName(I)).lower(), I))
2536 .second;
2537 (void)WasInserted;
2538 assert(WasInserted && "Expected registers to be unique case-insensitively");
2539 }
2540}
2541
2542bool MIParser::getRegisterByName(StringRef RegName, unsigned &Reg) {
2543 initNames2Regs();
2544 auto RegInfo = Names2Regs.find(RegName);
2545 if (RegInfo == Names2Regs.end())
2546 return true;
2547 Reg = RegInfo->getValue();
2548 return false;
2549}
2550
Alex Lorenz8f6f4282015-06-29 16:57:06 +00002551void MIParser::initNames2RegMasks() {
2552 if (!Names2RegMasks.empty())
2553 return;
2554 const auto *TRI = MF.getSubtarget().getRegisterInfo();
2555 assert(TRI && "Expected target register info");
2556 ArrayRef<const uint32_t *> RegMasks = TRI->getRegMasks();
2557 ArrayRef<const char *> RegMaskNames = TRI->getRegMaskNames();
2558 assert(RegMasks.size() == RegMaskNames.size());
2559 for (size_t I = 0, E = RegMasks.size(); I < E; ++I)
2560 Names2RegMasks.insert(
2561 std::make_pair(StringRef(RegMaskNames[I]).lower(), RegMasks[I]));
2562}
2563
2564const uint32_t *MIParser::getRegMask(StringRef Identifier) {
2565 initNames2RegMasks();
2566 auto RegMaskInfo = Names2RegMasks.find(Identifier);
2567 if (RegMaskInfo == Names2RegMasks.end())
2568 return nullptr;
2569 return RegMaskInfo->getValue();
2570}
2571
Alex Lorenz2eacca82015-07-13 23:24:34 +00002572void MIParser::initNames2SubRegIndices() {
2573 if (!Names2SubRegIndices.empty())
2574 return;
2575 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
2576 for (unsigned I = 1, E = TRI->getNumSubRegIndices(); I < E; ++I)
2577 Names2SubRegIndices.insert(
2578 std::make_pair(StringRef(TRI->getSubRegIndexName(I)).lower(), I));
2579}
2580
2581unsigned MIParser::getSubRegIndex(StringRef Name) {
2582 initNames2SubRegIndices();
2583 auto SubRegInfo = Names2SubRegIndices.find(Name);
2584 if (SubRegInfo == Names2SubRegIndices.end())
2585 return 0;
2586 return SubRegInfo->getValue();
2587}
2588
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002589static void initSlots2BasicBlocks(
2590 const Function &F,
2591 DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
2592 ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
Alex Lorenz8a1915b2015-07-27 22:42:41 +00002593 MST.incorporateFunction(F);
2594 for (auto &BB : F) {
2595 if (BB.hasName())
2596 continue;
2597 int Slot = MST.getLocalSlot(&BB);
2598 if (Slot == -1)
2599 continue;
2600 Slots2BasicBlocks.insert(std::make_pair(unsigned(Slot), &BB));
2601 }
2602}
2603
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002604static const BasicBlock *getIRBlockFromSlot(
2605 unsigned Slot,
2606 const DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
Alex Lorenz8a1915b2015-07-27 22:42:41 +00002607 auto BlockInfo = Slots2BasicBlocks.find(Slot);
2608 if (BlockInfo == Slots2BasicBlocks.end())
2609 return nullptr;
2610 return BlockInfo->second;
2611}
2612
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002613const BasicBlock *MIParser::getIRBlock(unsigned Slot) {
2614 if (Slots2BasicBlocks.empty())
Matthias Braunf1caa282017-12-15 22:22:58 +00002615 initSlots2BasicBlocks(MF.getFunction(), Slots2BasicBlocks);
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002616 return getIRBlockFromSlot(Slot, Slots2BasicBlocks);
2617}
2618
2619const BasicBlock *MIParser::getIRBlock(unsigned Slot, const Function &F) {
Matthias Braunf1caa282017-12-15 22:22:58 +00002620 if (&F == &MF.getFunction())
Alex Lorenzcba8c5f2015-08-06 23:57:04 +00002621 return getIRBlock(Slot);
2622 DenseMap<unsigned, const BasicBlock *> CustomSlots2BasicBlocks;
2623 initSlots2BasicBlocks(F, CustomSlots2BasicBlocks);
2624 return getIRBlockFromSlot(Slot, CustomSlots2BasicBlocks);
2625}
2626
Alex Lorenzdd13be02015-08-19 23:31:05 +00002627static void mapValueToSlot(const Value *V, ModuleSlotTracker &MST,
2628 DenseMap<unsigned, const Value *> &Slots2Values) {
2629 int Slot = MST.getLocalSlot(V);
2630 if (Slot == -1)
2631 return;
2632 Slots2Values.insert(std::make_pair(unsigned(Slot), V));
2633}
2634
2635/// Creates the mapping from slot numbers to function's unnamed IR values.
2636static void initSlots2Values(const Function &F,
2637 DenseMap<unsigned, const Value *> &Slots2Values) {
2638 ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
2639 MST.incorporateFunction(F);
2640 for (const auto &Arg : F.args())
2641 mapValueToSlot(&Arg, MST, Slots2Values);
2642 for (const auto &BB : F) {
2643 mapValueToSlot(&BB, MST, Slots2Values);
2644 for (const auto &I : BB)
2645 mapValueToSlot(&I, MST, Slots2Values);
2646 }
2647}
2648
2649const Value *MIParser::getIRValue(unsigned Slot) {
2650 if (Slots2Values.empty())
Matthias Braunf1caa282017-12-15 22:22:58 +00002651 initSlots2Values(MF.getFunction(), Slots2Values);
Alex Lorenzdd13be02015-08-19 23:31:05 +00002652 auto ValueInfo = Slots2Values.find(Slot);
2653 if (ValueInfo == Slots2Values.end())
2654 return nullptr;
2655 return ValueInfo->second;
2656}
2657
Alex Lorenzef5c1962015-07-28 23:02:45 +00002658void MIParser::initNames2TargetIndices() {
2659 if (!Names2TargetIndices.empty())
2660 return;
2661 const auto *TII = MF.getSubtarget().getInstrInfo();
2662 assert(TII && "Expected target instruction info");
2663 auto Indices = TII->getSerializableTargetIndices();
2664 for (const auto &I : Indices)
2665 Names2TargetIndices.insert(std::make_pair(StringRef(I.second), I.first));
2666}
2667
2668bool MIParser::getTargetIndex(StringRef Name, int &Index) {
2669 initNames2TargetIndices();
2670 auto IndexInfo = Names2TargetIndices.find(Name);
2671 if (IndexInfo == Names2TargetIndices.end())
2672 return true;
2673 Index = IndexInfo->second;
2674 return false;
2675}
2676
Alex Lorenz49873a82015-08-06 00:44:07 +00002677void MIParser::initNames2DirectTargetFlags() {
2678 if (!Names2DirectTargetFlags.empty())
2679 return;
2680 const auto *TII = MF.getSubtarget().getInstrInfo();
2681 assert(TII && "Expected target instruction info");
2682 auto Flags = TII->getSerializableDirectMachineOperandTargetFlags();
2683 for (const auto &I : Flags)
2684 Names2DirectTargetFlags.insert(
2685 std::make_pair(StringRef(I.second), I.first));
2686}
2687
2688bool MIParser::getDirectTargetFlag(StringRef Name, unsigned &Flag) {
2689 initNames2DirectTargetFlags();
2690 auto FlagInfo = Names2DirectTargetFlags.find(Name);
2691 if (FlagInfo == Names2DirectTargetFlags.end())
2692 return true;
2693 Flag = FlagInfo->second;
2694 return false;
2695}
2696
Alex Lorenzf3630112015-08-18 22:52:15 +00002697void MIParser::initNames2BitmaskTargetFlags() {
2698 if (!Names2BitmaskTargetFlags.empty())
2699 return;
2700 const auto *TII = MF.getSubtarget().getInstrInfo();
2701 assert(TII && "Expected target instruction info");
2702 auto Flags = TII->getSerializableBitmaskMachineOperandTargetFlags();
2703 for (const auto &I : Flags)
2704 Names2BitmaskTargetFlags.insert(
2705 std::make_pair(StringRef(I.second), I.first));
2706}
2707
2708bool MIParser::getBitmaskTargetFlag(StringRef Name, unsigned &Flag) {
2709 initNames2BitmaskTargetFlags();
2710 auto FlagInfo = Names2BitmaskTargetFlags.find(Name);
2711 if (FlagInfo == Names2BitmaskTargetFlags.end())
2712 return true;
2713 Flag = FlagInfo->second;
2714 return false;
2715}
2716
Geoff Berry6748abe2017-07-13 02:28:54 +00002717void MIParser::initNames2MMOTargetFlags() {
2718 if (!Names2MMOTargetFlags.empty())
2719 return;
2720 const auto *TII = MF.getSubtarget().getInstrInfo();
2721 assert(TII && "Expected target instruction info");
2722 auto Flags = TII->getSerializableMachineMemOperandTargetFlags();
2723 for (const auto &I : Flags)
2724 Names2MMOTargetFlags.insert(
2725 std::make_pair(StringRef(I.second), I.first));
2726}
2727
2728bool MIParser::getMMOTargetFlag(StringRef Name,
2729 MachineMemOperand::Flags &Flag) {
2730 initNames2MMOTargetFlags();
2731 auto FlagInfo = Names2MMOTargetFlags.find(Name);
2732 if (FlagInfo == Names2MMOTargetFlags.end())
2733 return true;
2734 Flag = FlagInfo->second;
2735 return false;
2736}
2737
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +00002738bool MIParser::parseStringConstant(std::string &Result) {
2739 if (Token.isNot(MIToken::StringConstant))
2740 return error("expected string constant");
2741 Result = Token.stringValue();
2742 lex();
2743 return false;
2744}
2745
Matthias Braun83947862016-07-13 22:23:23 +00002746bool llvm::parseMachineBasicBlockDefinitions(PerFunctionMIParsingState &PFS,
2747 StringRef Src,
Alex Lorenz5022f6b2015-08-13 23:10:16 +00002748 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002749 return MIParser(PFS, Error, Src).parseBasicBlockDefinitions(PFS.MBBSlots);
Alex Lorenz5022f6b2015-08-13 23:10:16 +00002750}
2751
Matthias Braun74ad41c2016-10-11 03:13:01 +00002752bool llvm::parseMachineInstructions(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002753 StringRef Src, SMDiagnostic &Error) {
2754 return MIParser(PFS, Error, Src).parseBasicBlocks();
Alex Lorenz8e0a1b42015-06-22 17:02:30 +00002755}
Alex Lorenzf09df002015-06-30 18:16:42 +00002756
Matthias Braun74ad41c2016-10-11 03:13:01 +00002757bool llvm::parseMBBReference(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002758 MachineBasicBlock *&MBB, StringRef Src,
Matthias Braun83947862016-07-13 22:23:23 +00002759 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002760 return MIParser(PFS, Error, Src).parseStandaloneMBB(MBB);
Alex Lorenzf09df002015-06-30 18:16:42 +00002761}
Alex Lorenz9fab3702015-07-14 21:24:41 +00002762
Tom Stellard9c884e42016-11-15 00:03:14 +00002763bool llvm::parseRegisterReference(PerFunctionMIParsingState &PFS,
2764 unsigned &Reg, StringRef Src,
2765 SMDiagnostic &Error) {
2766 return MIParser(PFS, Error, Src).parseStandaloneRegister(Reg);
2767}
2768
Matthias Braun74ad41c2016-10-11 03:13:01 +00002769bool llvm::parseNamedRegisterReference(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002770 unsigned &Reg, StringRef Src,
Alex Lorenz9fab3702015-07-14 21:24:41 +00002771 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002772 return MIParser(PFS, Error, Src).parseStandaloneNamedRegister(Reg);
Alex Lorenz9fab3702015-07-14 21:24:41 +00002773}
Alex Lorenz12045a42015-07-27 17:42:45 +00002774
Matthias Braun74ad41c2016-10-11 03:13:01 +00002775bool llvm::parseVirtualRegisterReference(PerFunctionMIParsingState &PFS,
2776 VRegInfo *&Info, StringRef Src,
Alex Lorenz12045a42015-07-27 17:42:45 +00002777 SMDiagnostic &Error) {
Matthias Braun74ad41c2016-10-11 03:13:01 +00002778 return MIParser(PFS, Error, Src).parseStandaloneVirtualRegister(Info);
Alex Lorenz12045a42015-07-27 17:42:45 +00002779}
Alex Lorenza314d812015-08-18 22:26:26 +00002780
Matthias Braun74ad41c2016-10-11 03:13:01 +00002781bool llvm::parseStackObjectReference(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002782 int &FI, StringRef Src,
Alex Lorenza314d812015-08-18 22:26:26 +00002783 SMDiagnostic &Error) {
Matthias Braune35861d2016-07-13 23:27:50 +00002784 return MIParser(PFS, Error, Src).parseStandaloneStackObject(FI);
Alex Lorenza314d812015-08-18 22:26:26 +00002785}
Alex Lorenzdf9e3c62015-08-19 00:13:25 +00002786
Matthias Braun74ad41c2016-10-11 03:13:01 +00002787bool llvm::parseMDNode(PerFunctionMIParsingState &PFS,
Matthias Braune35861d2016-07-13 23:27:50 +00002788 MDNode *&Node, StringRef Src, SMDiagnostic &Error) {
2789 return MIParser(PFS, Error, Src).parseStandaloneMDNode(Node);
Alex Lorenzdf9e3c62015-08-19 00:13:25 +00002790}