2015-06-23 01:02:30 +08:00
|
|
|
//===- MIParser.cpp - Machine instructions parser implementation ----------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the parsing of machine instructions.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "MIParser.h"
|
2015-06-23 04:37:46 +08:00
|
|
|
#include "MILexer.h"
|
2015-06-23 01:02:30 +08:00
|
|
|
#include "llvm/ADT/StringMap.h"
|
2016-08-27 01:58:37 +08:00
|
|
|
#include "llvm/ADT/StringSwitch.h"
|
2015-08-01 04:49:21 +08:00
|
|
|
#include "llvm/AsmParser/Parser.h"
|
2015-06-27 06:56:48 +08:00
|
|
|
#include "llvm/AsmParser/SlotMapping.h"
|
2015-06-23 01:02:30 +08:00
|
|
|
#include "llvm/CodeGen/MachineBasicBlock.h"
|
2015-07-17 07:37:45 +08:00
|
|
|
#include "llvm/CodeGen/MachineFrameInfo.h"
|
2016-03-08 05:48:43 +08:00
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
2015-06-23 01:02:30 +08:00
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
2015-07-07 07:07:26 +08:00
|
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
2015-08-04 07:08:19 +08:00
|
|
|
#include "llvm/CodeGen/MachineMemOperand.h"
|
2015-07-22 06:28:27 +08:00
|
|
|
#include "llvm/CodeGen/MachineModuleInfo.h"
|
2016-03-08 05:48:43 +08:00
|
|
|
#include "llvm/CodeGen/MachineRegisterInfo.h"
|
2015-07-29 01:28:03 +08:00
|
|
|
#include "llvm/IR/Constants.h"
|
2016-03-08 05:48:43 +08:00
|
|
|
#include "llvm/IR/Instructions.h"
|
2016-07-30 04:32:59 +08:00
|
|
|
#include "llvm/IR/Intrinsics.h"
|
2015-06-27 06:56:48 +08:00
|
|
|
#include "llvm/IR/Module.h"
|
2015-07-28 06:42:41 +08:00
|
|
|
#include "llvm/IR/ModuleSlotTracker.h"
|
2015-07-29 01:28:03 +08:00
|
|
|
#include "llvm/IR/ValueSymbolTable.h"
|
2015-06-23 01:02:30 +08:00
|
|
|
#include "llvm/Support/SourceMgr.h"
|
2016-03-08 05:48:43 +08:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2015-06-23 01:02:30 +08:00
|
|
|
#include "llvm/Target/TargetInstrInfo.h"
|
2016-07-30 04:32:59 +08:00
|
|
|
#include "llvm/Target/TargetIntrinsicInfo.h"
|
2016-03-08 05:48:43 +08:00
|
|
|
#include "llvm/Target/TargetSubtargetInfo.h"
|
2016-10-13 05:06:45 +08:00
|
|
|
#include <cctype>
|
2015-06-23 01:02:30 +08:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
2016-07-14 07:27:50 +08:00
|
|
|
PerFunctionMIParsingState::PerFunctionMIParsingState(MachineFunction &MF,
|
|
|
|
SourceMgr &SM, const SlotMapping &IRSlots)
|
|
|
|
: MF(MF), SM(&SM), IRSlots(IRSlots) {
|
2016-07-14 06:23:23 +08:00
|
|
|
}
|
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
VRegInfo &PerFunctionMIParsingState::getVRegInfo(unsigned Num) {
|
|
|
|
auto I = VRegInfos.insert(std::make_pair(Num, nullptr));
|
|
|
|
if (I.second) {
|
|
|
|
MachineRegisterInfo &MRI = MF.getRegInfo();
|
|
|
|
VRegInfo *Info = new (Allocator) VRegInfo;
|
|
|
|
Info->VReg = MRI.createIncompleteVirtualRegister();
|
|
|
|
I.first->second = Info;
|
|
|
|
}
|
|
|
|
return *I.first->second;
|
|
|
|
}
|
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
namespace {
|
|
|
|
|
2015-07-07 10:08:46 +08:00
|
|
|
/// A wrapper struct around the 'MachineOperand' struct that includes a source
|
2015-08-20 03:19:16 +08:00
|
|
|
/// range and other attributes.
|
|
|
|
struct ParsedMachineOperand {
|
2015-07-07 10:08:46 +08:00
|
|
|
MachineOperand Operand;
|
|
|
|
StringRef::iterator Begin;
|
|
|
|
StringRef::iterator End;
|
2015-08-20 03:05:34 +08:00
|
|
|
Optional<unsigned> TiedDefIdx;
|
2015-07-07 10:08:46 +08:00
|
|
|
|
2015-08-20 03:19:16 +08:00
|
|
|
ParsedMachineOperand(const MachineOperand &Operand, StringRef::iterator Begin,
|
|
|
|
StringRef::iterator End, Optional<unsigned> &TiedDefIdx)
|
2015-08-20 03:05:34 +08:00
|
|
|
: Operand(Operand), Begin(Begin), End(End), TiedDefIdx(TiedDefIdx) {
|
|
|
|
if (TiedDefIdx)
|
|
|
|
assert(Operand.isReg() && Operand.isUse() &&
|
|
|
|
"Only used register operands can be tied");
|
|
|
|
}
|
2015-07-07 10:08:46 +08:00
|
|
|
};
|
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
class MIParser {
|
|
|
|
MachineFunction &MF;
|
|
|
|
SMDiagnostic &Error;
|
2015-06-23 04:37:46 +08:00
|
|
|
StringRef Source, CurrentSource;
|
|
|
|
MIToken Token;
|
2016-10-11 11:13:01 +08:00
|
|
|
PerFunctionMIParsingState &PFS;
|
2015-06-23 01:02:30 +08:00
|
|
|
/// Maps from instruction names to op codes.
|
|
|
|
StringMap<unsigned> Names2InstrOpCodes;
|
2015-06-24 00:35:26 +08:00
|
|
|
/// Maps from register names to registers.
|
|
|
|
StringMap<unsigned> Names2Regs;
|
2015-06-30 00:57:06 +08:00
|
|
|
/// Maps from register mask names to register masks.
|
|
|
|
StringMap<const uint32_t *> Names2RegMasks;
|
2015-07-14 07:24:34 +08:00
|
|
|
/// Maps from subregister names to subregister indices.
|
|
|
|
StringMap<unsigned> Names2SubRegIndices;
|
2015-07-28 06:42:41 +08:00
|
|
|
/// Maps from slot numbers to function's unnamed basic blocks.
|
|
|
|
DenseMap<unsigned, const BasicBlock *> Slots2BasicBlocks;
|
2015-08-20 07:31:05 +08:00
|
|
|
/// Maps from slot numbers to function's unnamed values.
|
|
|
|
DenseMap<unsigned, const Value *> Slots2Values;
|
2015-07-29 07:02:45 +08:00
|
|
|
/// Maps from target index names to target indices.
|
|
|
|
StringMap<int> Names2TargetIndices;
|
2015-08-06 08:44:07 +08:00
|
|
|
/// Maps from direct target flag names to the direct target flag values.
|
|
|
|
StringMap<unsigned> Names2DirectTargetFlags;
|
2015-08-19 06:52:15 +08:00
|
|
|
/// Maps from direct target flag names to the bitmask target flag values.
|
|
|
|
StringMap<unsigned> Names2BitmaskTargetFlags;
|
2015-06-23 01:02:30 +08:00
|
|
|
|
|
|
|
public:
|
2016-10-11 11:13:01 +08:00
|
|
|
MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
|
2016-07-14 07:27:50 +08:00
|
|
|
StringRef Source);
|
2015-06-23 01:02:30 +08:00
|
|
|
|
2016-03-08 08:57:31 +08:00
|
|
|
/// \p SkipChar gives the number of characters to skip before looking
|
|
|
|
/// for the next token.
|
|
|
|
void lex(unsigned SkipChar = 0);
|
2015-06-23 04:37:46 +08:00
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
/// Report an error at the current location with the given message.
|
|
|
|
///
|
|
|
|
/// This function always return true.
|
|
|
|
bool error(const Twine &Msg);
|
|
|
|
|
2015-06-23 04:37:46 +08:00
|
|
|
/// Report an error at the given location with the given message.
|
|
|
|
///
|
|
|
|
/// This function always return true.
|
|
|
|
bool error(StringRef::iterator Loc, const Twine &Msg);
|
|
|
|
|
2015-08-14 07:10:16 +08:00
|
|
|
bool
|
|
|
|
parseBasicBlockDefinitions(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
|
|
|
|
bool parseBasicBlocks();
|
2015-07-01 01:47:50 +08:00
|
|
|
bool parse(MachineInstr *&MI);
|
2015-07-28 04:29:27 +08:00
|
|
|
bool parseStandaloneMBB(MachineBasicBlock *&MBB);
|
|
|
|
bool parseStandaloneNamedRegister(unsigned &Reg);
|
2016-10-11 11:13:01 +08:00
|
|
|
bool parseStandaloneVirtualRegister(VRegInfo *&Info);
|
2016-11-15 08:03:14 +08:00
|
|
|
bool parseStandaloneRegister(unsigned &Reg);
|
2015-08-19 06:26:26 +08:00
|
|
|
bool parseStandaloneStackObject(int &FI);
|
2015-08-19 08:13:25 +08:00
|
|
|
bool parseStandaloneMDNode(MDNode *&Node);
|
2015-08-14 07:10:16 +08:00
|
|
|
|
|
|
|
bool
|
|
|
|
parseBasicBlockDefinition(DenseMap<unsigned, MachineBasicBlock *> &MBBSlots);
|
|
|
|
bool parseBasicBlock(MachineBasicBlock &MBB);
|
|
|
|
bool parseBasicBlockLiveins(MachineBasicBlock &MBB);
|
|
|
|
bool parseBasicBlockSuccessors(MachineBasicBlock &MBB);
|
2015-06-23 01:02:30 +08:00
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool parseNamedRegister(unsigned &Reg);
|
|
|
|
bool parseVirtualRegister(VRegInfo *&Info);
|
|
|
|
bool parseRegister(unsigned &Reg, VRegInfo *&VRegInfo);
|
2015-07-07 07:07:26 +08:00
|
|
|
bool parseRegisterFlag(unsigned &Flags);
|
2015-07-14 07:24:34 +08:00
|
|
|
bool parseSubRegisterIndex(unsigned &SubReg);
|
2015-08-20 03:05:34 +08:00
|
|
|
bool parseRegisterTiedDefIndex(unsigned &TiedDefIdx);
|
|
|
|
bool parseRegisterOperand(MachineOperand &Dest,
|
|
|
|
Optional<unsigned> &TiedDefIdx, bool IsDef = false);
|
2015-06-24 07:42:28 +08:00
|
|
|
bool parseImmediateOperand(MachineOperand &Dest);
|
2015-08-22 05:48:22 +08:00
|
|
|
bool parseIRConstant(StringRef::iterator Loc, StringRef Source,
|
|
|
|
const Constant *&C);
|
2015-08-06 02:44:00 +08:00
|
|
|
bool parseIRConstant(StringRef::iterator Loc, const Constant *&C);
|
2016-07-29 01:15:12 +08:00
|
|
|
bool parseLowLevelType(StringRef::iterator Loc, LLT &Ty);
|
2015-08-06 02:52:21 +08:00
|
|
|
bool parseTypedImmediateOperand(MachineOperand &Dest);
|
2015-08-01 04:49:21 +08:00
|
|
|
bool parseFPImmediateOperand(MachineOperand &Dest);
|
2015-07-01 02:16:42 +08:00
|
|
|
bool parseMBBReference(MachineBasicBlock *&MBB);
|
2015-06-27 00:46:11 +08:00
|
|
|
bool parseMBBOperand(MachineOperand &Dest);
|
2015-08-19 06:18:52 +08:00
|
|
|
bool parseStackFrameIndex(int &FI);
|
2015-07-17 07:37:45 +08:00
|
|
|
bool parseStackObjectOperand(MachineOperand &Dest);
|
2015-08-13 05:17:02 +08:00
|
|
|
bool parseFixedStackFrameIndex(int &FI);
|
2015-07-17 07:37:45 +08:00
|
|
|
bool parseFixedStackObjectOperand(MachineOperand &Dest);
|
2015-07-29 01:09:52 +08:00
|
|
|
bool parseGlobalValue(GlobalValue *&GV);
|
2015-06-27 06:56:48 +08:00
|
|
|
bool parseGlobalAddressOperand(MachineOperand &Dest);
|
2015-07-21 04:51:18 +08:00
|
|
|
bool parseConstantPoolIndexOperand(MachineOperand &Dest);
|
2016-03-29 02:18:46 +08:00
|
|
|
bool parseSubRegisterIndexOperand(MachineOperand &Dest);
|
2015-07-16 07:38:35 +08:00
|
|
|
bool parseJumpTableIndexOperand(MachineOperand &Dest);
|
2015-07-22 00:59:53 +08:00
|
|
|
bool parseExternalSymbolOperand(MachineOperand &Dest);
|
2015-07-23 05:07:04 +08:00
|
|
|
bool parseMDNode(MDNode *&Node);
|
2015-07-23 01:58:46 +08:00
|
|
|
bool parseMetadataOperand(MachineOperand &Dest);
|
2015-07-22 06:28:27 +08:00
|
|
|
bool parseCFIOffset(int &Offset);
|
2015-07-24 07:09:07 +08:00
|
|
|
bool parseCFIRegister(unsigned &Reg);
|
2015-07-22 06:28:27 +08:00
|
|
|
bool parseCFIOperand(MachineOperand &Dest);
|
2015-07-29 01:28:03 +08:00
|
|
|
bool parseIRBlock(BasicBlock *&BB, const Function &F);
|
|
|
|
bool parseBlockAddressOperand(MachineOperand &Dest);
|
2016-07-30 04:32:59 +08:00
|
|
|
bool parseIntrinsicOperand(MachineOperand &Dest);
|
2016-08-18 04:25:25 +08:00
|
|
|
bool parsePredicateOperand(MachineOperand &Dest);
|
2015-07-29 07:02:45 +08:00
|
|
|
bool parseTargetIndexOperand(MachineOperand &Dest);
|
2015-08-11 07:24:42 +08:00
|
|
|
bool parseLiveoutRegisterMaskOperand(MachineOperand &Dest);
|
2015-08-20 03:05:34 +08:00
|
|
|
bool parseMachineOperand(MachineOperand &Dest,
|
|
|
|
Optional<unsigned> &TiedDefIdx);
|
|
|
|
bool parseMachineOperandAndTargetFlags(MachineOperand &Dest,
|
|
|
|
Optional<unsigned> &TiedDefIdx);
|
2015-08-08 04:21:00 +08:00
|
|
|
bool parseOffset(int64_t &Offset);
|
2015-08-14 04:33:33 +08:00
|
|
|
bool parseAlignment(unsigned &Alignment);
|
2015-08-06 06:26:15 +08:00
|
|
|
bool parseOperandsOffset(MachineOperand &Op);
|
2015-08-20 07:27:07 +08:00
|
|
|
bool parseIRValue(const Value *&V);
|
2016-07-16 02:26:59 +08:00
|
|
|
bool parseMemoryOperandFlag(MachineMemOperand::Flags &Flags);
|
2015-08-13 04:33:26 +08:00
|
|
|
bool parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV);
|
|
|
|
bool parseMachinePointerInfo(MachinePointerInfo &Dest);
|
2015-08-04 07:08:19 +08:00
|
|
|
bool parseMachineMemoryOperand(MachineMemOperand *&Dest);
|
2015-06-24 00:35:26 +08:00
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
private:
|
2015-06-27 00:46:11 +08:00
|
|
|
/// Convert the integer literal in the current token into an unsigned integer.
|
|
|
|
///
|
|
|
|
/// Return true if an error occurred.
|
|
|
|
bool getUnsigned(unsigned &Result);
|
|
|
|
|
2015-08-04 07:08:19 +08:00
|
|
|
/// Convert the integer literal in the current token into an uint64.
|
|
|
|
///
|
|
|
|
/// Return true if an error occurred.
|
|
|
|
bool getUint64(uint64_t &Result);
|
|
|
|
|
2016-12-16 21:58:01 +08:00
|
|
|
/// Convert the hexadecimal literal in the current token into an unsigned
|
|
|
|
/// APInt with a minimum bitwidth required to represent the value.
|
|
|
|
///
|
|
|
|
/// Return true if the literal does not represent an integer value.
|
|
|
|
bool getHexUint(APInt &Result);
|
|
|
|
|
2015-07-24 07:09:07 +08:00
|
|
|
/// If the current token is of the given kind, consume it and return false.
|
|
|
|
/// Otherwise report an error and return true.
|
|
|
|
bool expectAndConsume(MIToken::TokenKind TokenKind);
|
|
|
|
|
2015-08-14 07:10:16 +08:00
|
|
|
/// If the current token is of the given kind, consume it and return true.
|
|
|
|
/// Otherwise return false.
|
|
|
|
bool consumeIfPresent(MIToken::TokenKind TokenKind);
|
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
void initNames2InstrOpCodes();
|
|
|
|
|
|
|
|
/// Try to convert an instruction name to an opcode. Return true if the
|
|
|
|
/// instruction name is invalid.
|
|
|
|
bool parseInstrName(StringRef InstrName, unsigned &OpCode);
|
2015-06-23 04:37:46 +08:00
|
|
|
|
2015-07-17 08:24:15 +08:00
|
|
|
bool parseInstruction(unsigned &OpCode, unsigned &Flags);
|
2015-06-24 00:35:26 +08:00
|
|
|
|
2015-08-20 03:05:34 +08:00
|
|
|
bool assignRegisterTies(MachineInstr &MI,
|
2015-08-20 03:19:16 +08:00
|
|
|
ArrayRef<ParsedMachineOperand> Operands);
|
2015-08-20 03:05:34 +08:00
|
|
|
|
2015-08-20 03:19:16 +08:00
|
|
|
bool verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
|
2015-07-07 10:08:46 +08:00
|
|
|
const MCInstrDesc &MCID);
|
|
|
|
|
2015-06-24 00:35:26 +08:00
|
|
|
void initNames2Regs();
|
|
|
|
|
|
|
|
/// Try to convert a register name to a register number. Return true if the
|
|
|
|
/// register name is invalid.
|
|
|
|
bool getRegisterByName(StringRef RegName, unsigned &Reg);
|
2015-06-30 00:57:06 +08:00
|
|
|
|
|
|
|
void initNames2RegMasks();
|
|
|
|
|
|
|
|
/// Check if the given identifier is a name of a register mask.
|
|
|
|
///
|
|
|
|
/// Return null if the identifier isn't a register mask.
|
|
|
|
const uint32_t *getRegMask(StringRef Identifier);
|
2015-07-14 07:24:34 +08:00
|
|
|
|
|
|
|
void initNames2SubRegIndices();
|
|
|
|
|
|
|
|
/// Check if the given identifier is a name of a subregister index.
|
|
|
|
///
|
|
|
|
/// Return 0 if the name isn't a subregister index class.
|
|
|
|
unsigned getSubRegIndex(StringRef Name);
|
2015-07-28 06:42:41 +08:00
|
|
|
|
|
|
|
const BasicBlock *getIRBlock(unsigned Slot);
|
2015-08-07 07:57:04 +08:00
|
|
|
const BasicBlock *getIRBlock(unsigned Slot, const Function &F);
|
2015-07-29 07:02:45 +08:00
|
|
|
|
2015-08-20 07:31:05 +08:00
|
|
|
const Value *getIRValue(unsigned Slot);
|
|
|
|
|
2015-07-29 07:02:45 +08:00
|
|
|
void initNames2TargetIndices();
|
|
|
|
|
|
|
|
/// Try to convert a name of target index to the corresponding target index.
|
|
|
|
///
|
|
|
|
/// Return true if the name isn't a name of a target index.
|
|
|
|
bool getTargetIndex(StringRef Name, int &Index);
|
2015-08-06 08:44:07 +08:00
|
|
|
|
|
|
|
void initNames2DirectTargetFlags();
|
|
|
|
|
|
|
|
/// Try to convert a name of a direct target flag to the corresponding
|
|
|
|
/// target flag.
|
|
|
|
///
|
|
|
|
/// Return true if the name isn't a name of a direct flag.
|
|
|
|
bool getDirectTargetFlag(StringRef Name, unsigned &Flag);
|
2015-08-19 06:52:15 +08:00
|
|
|
|
|
|
|
void initNames2BitmaskTargetFlags();
|
|
|
|
|
|
|
|
/// Try to convert a name of a bitmask target flag to the corresponding
|
|
|
|
/// target flag.
|
|
|
|
///
|
|
|
|
/// Return true if the name isn't a name of a bitmask target flag.
|
|
|
|
bool getBitmaskTargetFlag(StringRef Name, unsigned &Flag);
|
2015-06-23 01:02:30 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
} // end anonymous namespace
|
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
MIParser::MIParser(PerFunctionMIParsingState &PFS, SMDiagnostic &Error,
|
2016-07-14 07:27:50 +08:00
|
|
|
StringRef Source)
|
|
|
|
: MF(PFS.MF), Error(Error), Source(Source), CurrentSource(Source), PFS(PFS)
|
|
|
|
{}
|
2015-06-23 04:37:46 +08:00
|
|
|
|
2016-03-08 08:57:31 +08:00
|
|
|
void MIParser::lex(unsigned SkipChar) {
|
2015-06-23 04:37:46 +08:00
|
|
|
CurrentSource = lexMIToken(
|
2016-03-08 08:57:31 +08:00
|
|
|
CurrentSource.data() + SkipChar, Token,
|
2015-06-23 04:37:46 +08:00
|
|
|
[this](StringRef::iterator Loc, const Twine &Msg) { error(Loc, Msg); });
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::error(const Twine &Msg) { return error(Token.location(), Msg); }
|
2015-06-23 01:02:30 +08:00
|
|
|
|
2015-06-23 04:37:46 +08:00
|
|
|
bool MIParser::error(StringRef::iterator Loc, const Twine &Msg) {
|
2016-07-14 07:27:50 +08:00
|
|
|
const SourceMgr &SM = *PFS.SM;
|
2015-06-23 04:37:46 +08:00
|
|
|
assert(Loc >= Source.data() && Loc <= (Source.data() + Source.size()));
|
2015-08-14 07:10:16 +08:00
|
|
|
const MemoryBuffer &Buffer = *SM.getMemoryBuffer(SM.getMainFileID());
|
|
|
|
if (Loc >= Buffer.getBufferStart() && Loc <= Buffer.getBufferEnd()) {
|
|
|
|
// Create an ordinary diagnostic when the source manager's buffer is the
|
|
|
|
// source string.
|
|
|
|
Error = SM.GetMessage(SMLoc::getFromPointer(Loc), SourceMgr::DK_Error, Msg);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
// Create a diagnostic for a YAML string literal.
|
|
|
|
Error = SMDiagnostic(SM, SMLoc(), Buffer.getBufferIdentifier(), 1,
|
|
|
|
Loc - Source.data(), SourceMgr::DK_Error, Msg.str(),
|
|
|
|
Source, None, None);
|
2015-06-23 01:02:30 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2015-07-24 07:09:07 +08:00
|
|
|
static const char *toString(MIToken::TokenKind TokenKind) {
|
|
|
|
switch (TokenKind) {
|
|
|
|
case MIToken::comma:
|
|
|
|
return "','";
|
2015-07-30 02:51:21 +08:00
|
|
|
case MIToken::equal:
|
|
|
|
return "'='";
|
2015-08-14 07:10:16 +08:00
|
|
|
case MIToken::colon:
|
|
|
|
return "':'";
|
2015-07-29 01:28:03 +08:00
|
|
|
case MIToken::lparen:
|
|
|
|
return "'('";
|
|
|
|
case MIToken::rparen:
|
|
|
|
return "')'";
|
2015-07-24 07:09:07 +08:00
|
|
|
default:
|
|
|
|
return "<unknown token>";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::expectAndConsume(MIToken::TokenKind TokenKind) {
|
|
|
|
if (Token.isNot(TokenKind))
|
|
|
|
return error(Twine("expected ") + toString(TokenKind));
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-14 07:10:16 +08:00
|
|
|
bool MIParser::consumeIfPresent(MIToken::TokenKind TokenKind) {
|
|
|
|
if (Token.isNot(TokenKind))
|
|
|
|
return false;
|
|
|
|
lex();
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBasicBlockDefinition(
|
|
|
|
DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
|
|
|
|
assert(Token.is(MIToken::MachineBasicBlockLabel));
|
|
|
|
unsigned ID = 0;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
|
|
|
auto Loc = Token.location();
|
|
|
|
auto Name = Token.stringValue();
|
|
|
|
lex();
|
|
|
|
bool HasAddressTaken = false;
|
|
|
|
bool IsLandingPad = false;
|
|
|
|
unsigned Alignment = 0;
|
|
|
|
BasicBlock *BB = nullptr;
|
|
|
|
if (consumeIfPresent(MIToken::lparen)) {
|
|
|
|
do {
|
|
|
|
// TODO: Report an error when multiple same attributes are specified.
|
|
|
|
switch (Token.kind()) {
|
|
|
|
case MIToken::kw_address_taken:
|
|
|
|
HasAddressTaken = true;
|
|
|
|
lex();
|
|
|
|
break;
|
|
|
|
case MIToken::kw_landing_pad:
|
|
|
|
IsLandingPad = true;
|
|
|
|
lex();
|
|
|
|
break;
|
|
|
|
case MIToken::kw_align:
|
|
|
|
if (parseAlignment(Alignment))
|
|
|
|
return true;
|
|
|
|
break;
|
|
|
|
case MIToken::IRBlock:
|
|
|
|
// TODO: Report an error when both name and ir block are specified.
|
|
|
|
if (parseIRBlock(BB, *MF.getFunction()))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
} while (consumeIfPresent(MIToken::comma));
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
if (expectAndConsume(MIToken::colon))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (!Name.empty()) {
|
|
|
|
BB = dyn_cast_or_null<BasicBlock>(
|
2016-09-17 14:00:02 +08:00
|
|
|
MF.getFunction()->getValueSymbolTable()->lookup(Name));
|
2015-08-14 07:10:16 +08:00
|
|
|
if (!BB)
|
|
|
|
return error(Loc, Twine("basic block '") + Name +
|
|
|
|
"' is not defined in the function '" +
|
|
|
|
MF.getName() + "'");
|
|
|
|
}
|
|
|
|
auto *MBB = MF.CreateMachineBasicBlock(BB);
|
|
|
|
MF.insert(MF.end(), MBB);
|
|
|
|
bool WasInserted = MBBSlots.insert(std::make_pair(ID, MBB)).second;
|
|
|
|
if (!WasInserted)
|
|
|
|
return error(Loc, Twine("redefinition of machine basic block with id #") +
|
|
|
|
Twine(ID));
|
|
|
|
if (Alignment)
|
|
|
|
MBB->setAlignment(Alignment);
|
|
|
|
if (HasAddressTaken)
|
|
|
|
MBB->setHasAddressTaken();
|
2015-08-28 07:27:47 +08:00
|
|
|
MBB->setIsEHPad(IsLandingPad);
|
2015-08-14 07:10:16 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBasicBlockDefinitions(
|
|
|
|
DenseMap<unsigned, MachineBasicBlock *> &MBBSlots) {
|
|
|
|
lex();
|
|
|
|
// Skip until the first machine basic block.
|
|
|
|
while (Token.is(MIToken::Newline))
|
|
|
|
lex();
|
|
|
|
if (Token.isErrorOrEOF())
|
|
|
|
return Token.isError();
|
|
|
|
if (Token.isNot(MIToken::MachineBasicBlockLabel))
|
|
|
|
return error("expected a basic block definition before instructions");
|
2015-08-15 02:57:24 +08:00
|
|
|
unsigned BraceDepth = 0;
|
2015-08-14 07:10:16 +08:00
|
|
|
do {
|
|
|
|
if (parseBasicBlockDefinition(MBBSlots))
|
|
|
|
return true;
|
|
|
|
bool IsAfterNewline = false;
|
|
|
|
// Skip until the next machine basic block.
|
|
|
|
while (true) {
|
|
|
|
if ((Token.is(MIToken::MachineBasicBlockLabel) && IsAfterNewline) ||
|
|
|
|
Token.isErrorOrEOF())
|
|
|
|
break;
|
|
|
|
else if (Token.is(MIToken::MachineBasicBlockLabel))
|
|
|
|
return error("basic block definition should be located at the start of "
|
|
|
|
"the line");
|
2015-08-15 02:57:24 +08:00
|
|
|
else if (consumeIfPresent(MIToken::Newline)) {
|
2015-08-14 07:10:16 +08:00
|
|
|
IsAfterNewline = true;
|
2015-08-15 02:57:24 +08:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
IsAfterNewline = false;
|
|
|
|
if (Token.is(MIToken::lbrace))
|
|
|
|
++BraceDepth;
|
|
|
|
if (Token.is(MIToken::rbrace)) {
|
|
|
|
if (!BraceDepth)
|
|
|
|
return error("extraneous closing brace ('}')");
|
|
|
|
--BraceDepth;
|
|
|
|
}
|
2015-08-14 07:10:16 +08:00
|
|
|
lex();
|
|
|
|
}
|
2015-08-15 02:57:24 +08:00
|
|
|
// Verify that we closed all of the '{' at the end of a file or a block.
|
|
|
|
if (!Token.isError() && BraceDepth)
|
|
|
|
return error("expected '}'"); // FIXME: Report a note that shows '{'.
|
2015-08-14 07:10:16 +08:00
|
|
|
} while (!Token.isErrorOrEOF());
|
|
|
|
return Token.isError();
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBasicBlockLiveins(MachineBasicBlock &MBB) {
|
|
|
|
assert(Token.is(MIToken::kw_liveins));
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::colon))
|
|
|
|
return true;
|
|
|
|
if (Token.isNewlineOrEOF()) // Allow an empty list of liveins.
|
|
|
|
return false;
|
|
|
|
do {
|
|
|
|
if (Token.isNot(MIToken::NamedRegister))
|
|
|
|
return error("expected a named register");
|
|
|
|
unsigned Reg = 0;
|
2016-10-11 11:13:01 +08:00
|
|
|
if (parseNamedRegister(Reg))
|
2015-08-14 07:10:16 +08:00
|
|
|
return true;
|
|
|
|
lex();
|
2016-12-15 22:36:06 +08:00
|
|
|
LaneBitmask Mask = LaneBitmask::getAll();
|
2016-10-13 05:06:45 +08:00
|
|
|
if (consumeIfPresent(MIToken::colon)) {
|
|
|
|
// Parse lane mask.
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral) &&
|
|
|
|
Token.isNot(MIToken::HexLiteral))
|
|
|
|
return error("expected a lane mask");
|
2016-12-15 22:36:06 +08:00
|
|
|
static_assert(sizeof(LaneBitmask::Type) == sizeof(unsigned),
|
|
|
|
"Use correct get-function for lane mask");
|
|
|
|
LaneBitmask::Type V;
|
|
|
|
if (getUnsigned(V))
|
2016-10-13 05:06:45 +08:00
|
|
|
return error("invalid lane mask value");
|
2016-12-15 22:36:06 +08:00
|
|
|
Mask = LaneBitmask(V);
|
2016-10-13 05:06:45 +08:00
|
|
|
lex();
|
|
|
|
}
|
|
|
|
MBB.addLiveIn(Reg, Mask);
|
2015-08-14 07:10:16 +08:00
|
|
|
} while (consumeIfPresent(MIToken::comma));
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBasicBlockSuccessors(MachineBasicBlock &MBB) {
|
|
|
|
assert(Token.is(MIToken::kw_successors));
|
2015-06-23 04:37:46 +08:00
|
|
|
lex();
|
2015-08-14 07:10:16 +08:00
|
|
|
if (expectAndConsume(MIToken::colon))
|
|
|
|
return true;
|
|
|
|
if (Token.isNewlineOrEOF()) // Allow an empty list of successors.
|
|
|
|
return false;
|
|
|
|
do {
|
|
|
|
if (Token.isNot(MIToken::MachineBasicBlock))
|
|
|
|
return error("expected a machine basic block reference");
|
|
|
|
MachineBasicBlock *SuccMBB = nullptr;
|
|
|
|
if (parseMBBReference(SuccMBB))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
unsigned Weight = 0;
|
|
|
|
if (consumeIfPresent(MIToken::lparen)) {
|
2016-11-19 03:37:24 +08:00
|
|
|
if (Token.isNot(MIToken::IntegerLiteral) &&
|
|
|
|
Token.isNot(MIToken::HexLiteral))
|
2015-08-14 07:10:16 +08:00
|
|
|
return error("expected an integer literal after '('");
|
|
|
|
if (getUnsigned(Weight))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
}
|
2015-12-01 13:29:22 +08:00
|
|
|
MBB.addSuccessor(SuccMBB, BranchProbability::getRaw(Weight));
|
2015-08-14 07:10:16 +08:00
|
|
|
} while (consumeIfPresent(MIToken::comma));
|
2015-12-01 13:29:22 +08:00
|
|
|
MBB.normalizeSuccProbs();
|
2015-08-14 07:10:16 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBasicBlock(MachineBasicBlock &MBB) {
|
|
|
|
// Skip the definition.
|
|
|
|
assert(Token.is(MIToken::MachineBasicBlockLabel));
|
|
|
|
lex();
|
|
|
|
if (consumeIfPresent(MIToken::lparen)) {
|
|
|
|
while (Token.isNot(MIToken::rparen) && !Token.isErrorOrEOF())
|
|
|
|
lex();
|
|
|
|
consumeIfPresent(MIToken::rparen);
|
|
|
|
}
|
|
|
|
consumeIfPresent(MIToken::colon);
|
|
|
|
|
|
|
|
// Parse the liveins and successors.
|
|
|
|
// N.B: Multiple lists of successors and liveins are allowed and they're
|
|
|
|
// merged into one.
|
|
|
|
// Example:
|
|
|
|
// liveins: %edi
|
|
|
|
// liveins: %esi
|
|
|
|
//
|
|
|
|
// is equivalent to
|
|
|
|
// liveins: %edi, %esi
|
|
|
|
while (true) {
|
|
|
|
if (Token.is(MIToken::kw_successors)) {
|
|
|
|
if (parseBasicBlockSuccessors(MBB))
|
|
|
|
return true;
|
|
|
|
} else if (Token.is(MIToken::kw_liveins)) {
|
|
|
|
if (parseBasicBlockLiveins(MBB))
|
|
|
|
return true;
|
|
|
|
} else if (consumeIfPresent(MIToken::Newline)) {
|
|
|
|
continue;
|
|
|
|
} else
|
|
|
|
break;
|
|
|
|
if (!Token.isNewlineOrEOF())
|
|
|
|
return error("expected line break at the end of a list");
|
|
|
|
lex();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Parse the instructions.
|
2015-08-15 02:57:24 +08:00
|
|
|
bool IsInBundle = false;
|
|
|
|
MachineInstr *PrevMI = nullptr;
|
2015-08-14 07:10:16 +08:00
|
|
|
while (true) {
|
|
|
|
if (Token.is(MIToken::MachineBasicBlockLabel) || Token.is(MIToken::Eof))
|
|
|
|
return false;
|
|
|
|
else if (consumeIfPresent(MIToken::Newline))
|
|
|
|
continue;
|
2015-08-15 02:57:24 +08:00
|
|
|
if (consumeIfPresent(MIToken::rbrace)) {
|
|
|
|
// The first parsing pass should verify that all closing '}' have an
|
|
|
|
// opening '{'.
|
|
|
|
assert(IsInBundle);
|
|
|
|
IsInBundle = false;
|
|
|
|
continue;
|
|
|
|
}
|
2015-08-14 07:10:16 +08:00
|
|
|
MachineInstr *MI = nullptr;
|
|
|
|
if (parse(MI))
|
|
|
|
return true;
|
|
|
|
MBB.insert(MBB.end(), MI);
|
2015-08-15 02:57:24 +08:00
|
|
|
if (IsInBundle) {
|
|
|
|
PrevMI->setFlag(MachineInstr::BundledSucc);
|
|
|
|
MI->setFlag(MachineInstr::BundledPred);
|
|
|
|
}
|
|
|
|
PrevMI = MI;
|
|
|
|
if (Token.is(MIToken::lbrace)) {
|
|
|
|
if (IsInBundle)
|
|
|
|
return error("nested instruction bundles are not allowed");
|
|
|
|
lex();
|
|
|
|
// This instruction is the start of the bundle.
|
|
|
|
MI->setFlag(MachineInstr::BundledSucc);
|
|
|
|
IsInBundle = true;
|
|
|
|
if (!Token.is(MIToken::Newline))
|
|
|
|
// The next instruction can be on the same line.
|
|
|
|
continue;
|
|
|
|
}
|
2015-08-14 07:10:16 +08:00
|
|
|
assert(Token.isNewlineOrEOF() && "MI is not fully parsed");
|
|
|
|
lex();
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBasicBlocks() {
|
|
|
|
lex();
|
|
|
|
// Skip until the first machine basic block.
|
|
|
|
while (Token.is(MIToken::Newline))
|
|
|
|
lex();
|
|
|
|
if (Token.isErrorOrEOF())
|
|
|
|
return Token.isError();
|
|
|
|
// The first parsing pass should have verified that this token is a MBB label
|
|
|
|
// in the 'parseBasicBlockDefinitions' method.
|
|
|
|
assert(Token.is(MIToken::MachineBasicBlockLabel));
|
|
|
|
do {
|
|
|
|
MachineBasicBlock *MBB = nullptr;
|
|
|
|
if (parseMBBReference(MBB))
|
|
|
|
return true;
|
|
|
|
if (parseBasicBlock(*MBB))
|
|
|
|
return true;
|
|
|
|
// The method 'parseBasicBlock' should parse the whole block until the next
|
|
|
|
// block or the end of file.
|
|
|
|
assert(Token.is(MIToken::MachineBasicBlockLabel) || Token.is(MIToken::Eof));
|
|
|
|
} while (Token.isNot(MIToken::Eof));
|
|
|
|
return false;
|
|
|
|
}
|
2015-06-23 04:37:46 +08:00
|
|
|
|
2015-08-14 07:10:16 +08:00
|
|
|
bool MIParser::parse(MachineInstr *&MI) {
|
2015-06-24 00:35:26 +08:00
|
|
|
// Parse any register operands before '='
|
|
|
|
MachineOperand MO = MachineOperand::CreateImm(0);
|
2015-08-20 03:19:16 +08:00
|
|
|
SmallVector<ParsedMachineOperand, 8> Operands;
|
2015-07-30 02:51:21 +08:00
|
|
|
while (Token.isRegister() || Token.isRegisterFlag()) {
|
2015-07-07 10:08:46 +08:00
|
|
|
auto Loc = Token.location();
|
2015-08-20 03:05:34 +08:00
|
|
|
Optional<unsigned> TiedDefIdx;
|
|
|
|
if (parseRegisterOperand(MO, TiedDefIdx, /*IsDef=*/true))
|
2015-07-01 01:47:50 +08:00
|
|
|
return true;
|
2015-08-20 03:05:34 +08:00
|
|
|
Operands.push_back(
|
2015-08-20 03:19:16 +08:00
|
|
|
ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
|
2015-07-30 02:51:21 +08:00
|
|
|
if (Token.isNot(MIToken::comma))
|
|
|
|
break;
|
2015-06-24 00:35:26 +08:00
|
|
|
lex();
|
|
|
|
}
|
2015-07-30 02:51:21 +08:00
|
|
|
if (!Operands.empty() && expectAndConsume(MIToken::equal))
|
|
|
|
return true;
|
2015-06-24 00:35:26 +08:00
|
|
|
|
2015-07-17 08:24:15 +08:00
|
|
|
unsigned OpCode, Flags = 0;
|
|
|
|
if (Token.isError() || parseInstruction(OpCode, Flags))
|
2015-07-01 01:47:50 +08:00
|
|
|
return true;
|
2015-06-23 01:02:30 +08:00
|
|
|
|
2015-06-24 00:35:26 +08:00
|
|
|
// Parse the remaining machine operands.
|
2015-08-14 07:10:16 +08:00
|
|
|
while (!Token.isNewlineOrEOF() && Token.isNot(MIToken::kw_debug_location) &&
|
2015-08-15 02:57:24 +08:00
|
|
|
Token.isNot(MIToken::coloncolon) && Token.isNot(MIToken::lbrace)) {
|
2015-07-07 10:08:46 +08:00
|
|
|
auto Loc = Token.location();
|
2015-08-20 03:05:34 +08:00
|
|
|
Optional<unsigned> TiedDefIdx;
|
|
|
|
if (parseMachineOperandAndTargetFlags(MO, TiedDefIdx))
|
2015-07-01 01:47:50 +08:00
|
|
|
return true;
|
2015-08-20 03:05:34 +08:00
|
|
|
Operands.push_back(
|
2015-08-20 03:19:16 +08:00
|
|
|
ParsedMachineOperand(MO, Loc, Token.location(), TiedDefIdx));
|
2015-08-15 02:57:24 +08:00
|
|
|
if (Token.isNewlineOrEOF() || Token.is(MIToken::coloncolon) ||
|
|
|
|
Token.is(MIToken::lbrace))
|
2015-06-24 00:35:26 +08:00
|
|
|
break;
|
2015-07-01 01:47:50 +08:00
|
|
|
if (Token.isNot(MIToken::comma))
|
|
|
|
return error("expected ',' before the next machine operand");
|
2015-06-24 00:35:26 +08:00
|
|
|
lex();
|
|
|
|
}
|
|
|
|
|
2015-07-23 05:15:11 +08:00
|
|
|
DebugLoc DebugLocation;
|
|
|
|
if (Token.is(MIToken::kw_debug_location)) {
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::exclaim))
|
|
|
|
return error("expected a metadata node after 'debug-location'");
|
|
|
|
MDNode *Node = nullptr;
|
|
|
|
if (parseMDNode(Node))
|
|
|
|
return true;
|
|
|
|
DebugLocation = DebugLoc(Node);
|
|
|
|
}
|
|
|
|
|
2015-08-04 07:08:19 +08:00
|
|
|
// Parse the machine memory operands.
|
|
|
|
SmallVector<MachineMemOperand *, 2> MemOperands;
|
|
|
|
if (Token.is(MIToken::coloncolon)) {
|
|
|
|
lex();
|
2015-08-14 07:10:16 +08:00
|
|
|
while (!Token.isNewlineOrEOF()) {
|
2015-08-04 07:08:19 +08:00
|
|
|
MachineMemOperand *MemOp = nullptr;
|
|
|
|
if (parseMachineMemoryOperand(MemOp))
|
|
|
|
return true;
|
|
|
|
MemOperands.push_back(MemOp);
|
2015-08-14 07:10:16 +08:00
|
|
|
if (Token.isNewlineOrEOF())
|
2015-08-04 07:08:19 +08:00
|
|
|
break;
|
|
|
|
if (Token.isNot(MIToken::comma))
|
|
|
|
return error("expected ',' before the next machine memory operand");
|
|
|
|
lex();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
const auto &MCID = MF.getSubtarget().getInstrInfo()->get(OpCode);
|
2015-07-07 10:08:46 +08:00
|
|
|
if (!MCID.isVariadic()) {
|
|
|
|
// FIXME: Move the implicit operand verification to the machine verifier.
|
|
|
|
if (verifyImplicitOperands(Operands, MCID))
|
|
|
|
return true;
|
|
|
|
}
|
2015-06-24 00:35:26 +08:00
|
|
|
|
2015-07-07 07:07:26 +08:00
|
|
|
// TODO: Check for extraneous machine operands.
|
2015-07-23 05:15:11 +08:00
|
|
|
MI = MF.CreateMachineInstr(MCID, DebugLocation, /*NoImplicit=*/true);
|
2015-07-17 08:24:15 +08:00
|
|
|
MI->setFlags(Flags);
|
2015-06-24 00:35:26 +08:00
|
|
|
for (const auto &Operand : Operands)
|
2015-07-07 10:08:46 +08:00
|
|
|
MI->addOperand(MF, Operand.Operand);
|
2015-08-20 03:05:34 +08:00
|
|
|
if (assignRegisterTies(*MI, Operands))
|
|
|
|
return true;
|
2015-08-04 07:08:19 +08:00
|
|
|
if (MemOperands.empty())
|
|
|
|
return false;
|
|
|
|
MachineInstr::mmo_iterator MemRefs =
|
|
|
|
MF.allocateMemRefsArray(MemOperands.size());
|
|
|
|
std::copy(MemOperands.begin(), MemOperands.end(), MemRefs);
|
|
|
|
MI->setMemRefs(MemRefs, MemRefs + MemOperands.size());
|
2015-07-01 01:47:50 +08:00
|
|
|
return false;
|
2015-06-23 01:02:30 +08:00
|
|
|
}
|
|
|
|
|
2015-07-28 04:29:27 +08:00
|
|
|
bool MIParser::parseStandaloneMBB(MachineBasicBlock *&MBB) {
|
2015-07-01 02:16:42 +08:00
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::MachineBasicBlock))
|
|
|
|
return error("expected a machine basic block reference");
|
|
|
|
if (parseMBBReference(MBB))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::Eof))
|
|
|
|
return error(
|
|
|
|
"expected end of string after the machine basic block reference");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-28 04:29:27 +08:00
|
|
|
bool MIParser::parseStandaloneNamedRegister(unsigned &Reg) {
|
2015-07-15 05:24:41 +08:00
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::NamedRegister))
|
|
|
|
return error("expected a named register");
|
2016-10-11 11:13:01 +08:00
|
|
|
if (parseNamedRegister(Reg))
|
2015-08-19 06:57:36 +08:00
|
|
|
return true;
|
2015-07-15 05:24:41 +08:00
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::Eof))
|
|
|
|
return error("expected end of string after the register reference");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool MIParser::parseStandaloneVirtualRegister(VRegInfo *&Info) {
|
2015-07-28 01:42:45 +08:00
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::VirtualRegister))
|
|
|
|
return error("expected a virtual register");
|
2016-10-11 11:13:01 +08:00
|
|
|
if (parseVirtualRegister(Info))
|
2015-08-19 06:57:36 +08:00
|
|
|
return true;
|
2015-07-28 01:42:45 +08:00
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::Eof))
|
|
|
|
return error("expected end of string after the register reference");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-11-15 08:03:14 +08:00
|
|
|
bool MIParser::parseStandaloneRegister(unsigned &Reg) {
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::NamedRegister) &&
|
|
|
|
Token.isNot(MIToken::VirtualRegister))
|
|
|
|
return error("expected either a named or virtual register");
|
|
|
|
|
|
|
|
VRegInfo *Info;
|
|
|
|
if (parseRegister(Reg, Info))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::Eof))
|
|
|
|
return error("expected end of string after the register reference");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-19 06:26:26 +08:00
|
|
|
bool MIParser::parseStandaloneStackObject(int &FI) {
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::StackObject))
|
|
|
|
return error("expected a stack object");
|
|
|
|
if (parseStackFrameIndex(FI))
|
|
|
|
return true;
|
|
|
|
if (Token.isNot(MIToken::Eof))
|
|
|
|
return error("expected end of string after the stack object reference");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-19 08:13:25 +08:00
|
|
|
bool MIParser::parseStandaloneMDNode(MDNode *&Node) {
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::exclaim))
|
|
|
|
return error("expected a metadata node");
|
|
|
|
if (parseMDNode(Node))
|
|
|
|
return true;
|
|
|
|
if (Token.isNot(MIToken::Eof))
|
|
|
|
return error("expected end of string after the metadata node");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-07 10:08:46 +08:00
|
|
|
static const char *printImplicitRegisterFlag(const MachineOperand &MO) {
|
|
|
|
assert(MO.isImplicit());
|
|
|
|
return MO.isDef() ? "implicit-def" : "implicit";
|
|
|
|
}
|
|
|
|
|
|
|
|
static std::string getRegisterName(const TargetRegisterInfo *TRI,
|
|
|
|
unsigned Reg) {
|
|
|
|
assert(TargetRegisterInfo::isPhysicalRegister(Reg) && "expected phys reg");
|
|
|
|
return StringRef(TRI->getName(Reg)).lower();
|
|
|
|
}
|
|
|
|
|
2015-09-10 22:04:34 +08:00
|
|
|
/// Return true if the parsed machine operands contain a given machine operand.
|
|
|
|
static bool isImplicitOperandIn(const MachineOperand &ImplicitOperand,
|
|
|
|
ArrayRef<ParsedMachineOperand> Operands) {
|
|
|
|
for (const auto &I : Operands) {
|
|
|
|
if (ImplicitOperand.isIdenticalTo(I.Operand))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-20 03:19:16 +08:00
|
|
|
bool MIParser::verifyImplicitOperands(ArrayRef<ParsedMachineOperand> Operands,
|
|
|
|
const MCInstrDesc &MCID) {
|
2015-07-07 10:08:46 +08:00
|
|
|
if (MCID.isCall())
|
|
|
|
// We can't verify call instructions as they can contain arbitrary implicit
|
|
|
|
// register and register mask operands.
|
|
|
|
return false;
|
|
|
|
|
|
|
|
// Gather all the expected implicit operands.
|
|
|
|
SmallVector<MachineOperand, 4> ImplicitOperands;
|
|
|
|
if (MCID.ImplicitDefs)
|
2015-12-05 15:13:35 +08:00
|
|
|
for (const MCPhysReg *ImpDefs = MCID.getImplicitDefs(); *ImpDefs; ++ImpDefs)
|
2015-07-07 10:08:46 +08:00
|
|
|
ImplicitOperands.push_back(
|
|
|
|
MachineOperand::CreateReg(*ImpDefs, true, true));
|
|
|
|
if (MCID.ImplicitUses)
|
2015-12-05 15:13:35 +08:00
|
|
|
for (const MCPhysReg *ImpUses = MCID.getImplicitUses(); *ImpUses; ++ImpUses)
|
2015-07-07 10:08:46 +08:00
|
|
|
ImplicitOperands.push_back(
|
|
|
|
MachineOperand::CreateReg(*ImpUses, false, true));
|
|
|
|
|
|
|
|
const auto *TRI = MF.getSubtarget().getRegisterInfo();
|
|
|
|
assert(TRI && "Expected target register info");
|
2015-09-10 22:04:34 +08:00
|
|
|
for (const auto &I : ImplicitOperands) {
|
|
|
|
if (isImplicitOperandIn(I, Operands))
|
|
|
|
continue;
|
|
|
|
return error(Operands.empty() ? Token.location() : Operands.back().End,
|
2015-07-07 10:08:46 +08:00
|
|
|
Twine("missing implicit register operand '") +
|
2015-09-10 22:04:34 +08:00
|
|
|
printImplicitRegisterFlag(I) + " %" +
|
|
|
|
getRegisterName(TRI, I.getReg()) + "'");
|
2015-07-07 10:08:46 +08:00
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-17 08:24:15 +08:00
|
|
|
bool MIParser::parseInstruction(unsigned &OpCode, unsigned &Flags) {
|
|
|
|
if (Token.is(MIToken::kw_frame_setup)) {
|
|
|
|
Flags |= MachineInstr::FrameSetup;
|
|
|
|
lex();
|
|
|
|
}
|
2015-06-23 04:37:46 +08:00
|
|
|
if (Token.isNot(MIToken::Identifier))
|
|
|
|
return error("expected a machine instruction");
|
|
|
|
StringRef InstrName = Token.stringValue();
|
|
|
|
if (parseInstrName(InstrName, OpCode))
|
|
|
|
return error(Twine("unknown machine instruction name '") + InstrName + "'");
|
2015-06-24 00:35:26 +08:00
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool MIParser::parseNamedRegister(unsigned &Reg) {
|
|
|
|
assert(Token.is(MIToken::NamedRegister) && "Needs NamedRegister token");
|
|
|
|
StringRef Name = Token.stringValue();
|
|
|
|
if (getRegisterByName(Name, Reg))
|
|
|
|
return error(Twine("unknown register name '") + Name + "'");
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseVirtualRegister(VRegInfo *&Info) {
|
|
|
|
assert(Token.is(MIToken::VirtualRegister) && "Needs VirtualRegister token");
|
|
|
|
unsigned ID;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
|
|
|
Info = &PFS.getVRegInfo(ID);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseRegister(unsigned &Reg, VRegInfo *&Info) {
|
2015-06-24 00:35:26 +08:00
|
|
|
switch (Token.kind()) {
|
2015-06-25 01:34:58 +08:00
|
|
|
case MIToken::underscore:
|
|
|
|
Reg = 0;
|
2016-10-11 11:13:01 +08:00
|
|
|
return false;
|
|
|
|
case MIToken::NamedRegister:
|
|
|
|
return parseNamedRegister(Reg);
|
|
|
|
case MIToken::VirtualRegister:
|
|
|
|
if (parseVirtualRegister(Info))
|
2015-07-11 06:51:20 +08:00
|
|
|
return true;
|
2016-10-11 11:13:01 +08:00
|
|
|
Reg = Info->VReg;
|
|
|
|
return false;
|
2015-06-24 00:35:26 +08:00
|
|
|
// TODO: Parse other register kinds.
|
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be a register");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-07 07:07:26 +08:00
|
|
|
bool MIParser::parseRegisterFlag(unsigned &Flags) {
|
2015-08-06 02:09:03 +08:00
|
|
|
const unsigned OldFlags = Flags;
|
2015-07-07 07:07:26 +08:00
|
|
|
switch (Token.kind()) {
|
|
|
|
case MIToken::kw_implicit:
|
|
|
|
Flags |= RegState::Implicit;
|
|
|
|
break;
|
|
|
|
case MIToken::kw_implicit_define:
|
|
|
|
Flags |= RegState::ImplicitDefine;
|
|
|
|
break;
|
2015-08-20 02:55:47 +08:00
|
|
|
case MIToken::kw_def:
|
|
|
|
Flags |= RegState::Define;
|
|
|
|
break;
|
2015-07-08 04:34:53 +08:00
|
|
|
case MIToken::kw_dead:
|
|
|
|
Flags |= RegState::Dead;
|
|
|
|
break;
|
2015-07-09 05:23:34 +08:00
|
|
|
case MIToken::kw_killed:
|
|
|
|
Flags |= RegState::Kill;
|
|
|
|
break;
|
2015-07-09 07:58:31 +08:00
|
|
|
case MIToken::kw_undef:
|
|
|
|
Flags |= RegState::Undef;
|
|
|
|
break;
|
2015-08-15 03:07:07 +08:00
|
|
|
case MIToken::kw_internal:
|
|
|
|
Flags |= RegState::InternalRead;
|
|
|
|
break;
|
2015-08-06 01:49:03 +08:00
|
|
|
case MIToken::kw_early_clobber:
|
|
|
|
Flags |= RegState::EarlyClobber;
|
|
|
|
break;
|
2015-08-06 01:41:17 +08:00
|
|
|
case MIToken::kw_debug_use:
|
|
|
|
Flags |= RegState::Debug;
|
|
|
|
break;
|
2015-07-07 07:07:26 +08:00
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be a register flag");
|
|
|
|
}
|
2015-08-06 02:09:03 +08:00
|
|
|
if (OldFlags == Flags)
|
|
|
|
// We know that the same flag is specified more than once when the flags
|
|
|
|
// weren't modified.
|
|
|
|
return error("duplicate '" + Token.stringValue() + "' register flag");
|
2015-07-07 07:07:26 +08:00
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-14 07:24:34 +08:00
|
|
|
bool MIParser::parseSubRegisterIndex(unsigned &SubReg) {
|
2016-07-27 05:49:34 +08:00
|
|
|
assert(Token.is(MIToken::dot));
|
2015-07-14 07:24:34 +08:00
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::Identifier))
|
2016-07-27 05:49:34 +08:00
|
|
|
return error("expected a subregister index after '.'");
|
2015-07-14 07:24:34 +08:00
|
|
|
auto Name = Token.stringValue();
|
|
|
|
SubReg = getSubRegIndex(Name);
|
|
|
|
if (!SubReg)
|
|
|
|
return error(Twine("use of unknown subregister index '") + Name + "'");
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-20 03:05:34 +08:00
|
|
|
bool MIParser::parseRegisterTiedDefIndex(unsigned &TiedDefIdx) {
|
|
|
|
if (!consumeIfPresent(MIToken::kw_tied_def))
|
2016-09-12 19:20:10 +08:00
|
|
|
return true;
|
2015-08-20 03:05:34 +08:00
|
|
|
if (Token.isNot(MIToken::IntegerLiteral))
|
|
|
|
return error("expected an integer literal after 'tied-def'");
|
|
|
|
if (getUnsigned(TiedDefIdx))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-20 03:19:16 +08:00
|
|
|
bool MIParser::assignRegisterTies(MachineInstr &MI,
|
|
|
|
ArrayRef<ParsedMachineOperand> Operands) {
|
2015-08-20 03:05:34 +08:00
|
|
|
SmallVector<std::pair<unsigned, unsigned>, 4> TiedRegisterPairs;
|
|
|
|
for (unsigned I = 0, E = Operands.size(); I != E; ++I) {
|
|
|
|
if (!Operands[I].TiedDefIdx)
|
|
|
|
continue;
|
|
|
|
// The parser ensures that this operand is a register use, so we just have
|
|
|
|
// to check the tied-def operand.
|
|
|
|
unsigned DefIdx = Operands[I].TiedDefIdx.getValue();
|
|
|
|
if (DefIdx >= E)
|
|
|
|
return error(Operands[I].Begin,
|
|
|
|
Twine("use of invalid tied-def operand index '" +
|
|
|
|
Twine(DefIdx) + "'; instruction has only ") +
|
|
|
|
Twine(E) + " operands");
|
|
|
|
const auto &DefOperand = Operands[DefIdx].Operand;
|
|
|
|
if (!DefOperand.isReg() || !DefOperand.isDef())
|
|
|
|
// FIXME: add note with the def operand.
|
|
|
|
return error(Operands[I].Begin,
|
|
|
|
Twine("use of invalid tied-def operand index '") +
|
|
|
|
Twine(DefIdx) + "'; the operand #" + Twine(DefIdx) +
|
|
|
|
" isn't a defined register");
|
|
|
|
// Check that the tied-def operand wasn't tied elsewhere.
|
|
|
|
for (const auto &TiedPair : TiedRegisterPairs) {
|
|
|
|
if (TiedPair.first == DefIdx)
|
|
|
|
return error(Operands[I].Begin,
|
|
|
|
Twine("the tied-def operand #") + Twine(DefIdx) +
|
|
|
|
" is already tied with another register operand");
|
|
|
|
}
|
|
|
|
TiedRegisterPairs.push_back(std::make_pair(DefIdx, I));
|
|
|
|
}
|
|
|
|
// FIXME: Verify that for non INLINEASM instructions, the def and use tied
|
|
|
|
// indices must be less than tied max.
|
|
|
|
for (const auto &TiedPair : TiedRegisterPairs)
|
|
|
|
MI.tieOperands(TiedPair.first, TiedPair.second);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseRegisterOperand(MachineOperand &Dest,
|
|
|
|
Optional<unsigned> &TiedDefIdx,
|
|
|
|
bool IsDef) {
|
2015-07-07 07:07:26 +08:00
|
|
|
unsigned Flags = IsDef ? RegState::Define : 0;
|
|
|
|
while (Token.isRegisterFlag()) {
|
|
|
|
if (parseRegisterFlag(Flags))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
if (!Token.isRegister())
|
|
|
|
return error("expected a register after register flags");
|
2016-10-11 11:13:01 +08:00
|
|
|
unsigned Reg;
|
|
|
|
VRegInfo *RegInfo;
|
|
|
|
if (parseRegister(Reg, RegInfo))
|
2015-06-24 00:35:26 +08:00
|
|
|
return true;
|
|
|
|
lex();
|
2015-07-14 07:24:34 +08:00
|
|
|
unsigned SubReg = 0;
|
2016-07-27 05:49:34 +08:00
|
|
|
if (Token.is(MIToken::dot)) {
|
2015-07-14 07:24:34 +08:00
|
|
|
if (parseSubRegisterIndex(SubReg))
|
|
|
|
return true;
|
2016-07-16 09:36:18 +08:00
|
|
|
if (!TargetRegisterInfo::isVirtualRegister(Reg))
|
|
|
|
return error("subregister index expects a virtual register");
|
2015-07-14 07:24:34 +08:00
|
|
|
}
|
2016-09-12 19:20:10 +08:00
|
|
|
MachineRegisterInfo &MRI = MF.getRegInfo();
|
2016-03-08 05:48:43 +08:00
|
|
|
if ((Flags & RegState::Define) == 0) {
|
|
|
|
if (consumeIfPresent(MIToken::lparen)) {
|
|
|
|
unsigned Idx;
|
2016-09-12 19:20:10 +08:00
|
|
|
if (!parseRegisterTiedDefIndex(Idx))
|
|
|
|
TiedDefIdx = Idx;
|
|
|
|
else {
|
|
|
|
// Try a redundant low-level type.
|
|
|
|
LLT Ty;
|
|
|
|
if (parseLowLevelType(Token.location(), Ty))
|
|
|
|
return error("expected tied-def or low-level type after '('");
|
|
|
|
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
|
|
|
|
return error("inconsistent type for generic virtual register");
|
|
|
|
|
|
|
|
MRI.setType(Reg, Ty);
|
|
|
|
}
|
2016-03-08 05:48:43 +08:00
|
|
|
}
|
|
|
|
} else if (consumeIfPresent(MIToken::lparen)) {
|
2016-12-23 05:56:35 +08:00
|
|
|
// Virtual registers may have a tpe with GlobalISel.
|
2016-03-08 05:48:43 +08:00
|
|
|
if (!TargetRegisterInfo::isVirtualRegister(Reg))
|
2016-12-23 05:56:35 +08:00
|
|
|
return error("unexpected type on physical register");
|
2016-07-20 03:48:36 +08:00
|
|
|
|
2016-09-09 19:46:34 +08:00
|
|
|
LLT Ty;
|
|
|
|
if (parseLowLevelType(Token.location(), Ty))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
2015-08-20 03:05:34 +08:00
|
|
|
return true;
|
2016-03-08 05:48:43 +08:00
|
|
|
|
2016-09-12 19:20:10 +08:00
|
|
|
if (MRI.getType(Reg).isValid() && MRI.getType(Reg) != Ty)
|
|
|
|
return error("inconsistent type for generic virtual register");
|
|
|
|
|
2016-09-09 19:46:34 +08:00
|
|
|
MRI.setType(Reg, Ty);
|
2016-10-11 11:13:01 +08:00
|
|
|
} else if (TargetRegisterInfo::isVirtualRegister(Reg)) {
|
2016-06-09 07:27:46 +08:00
|
|
|
// Generic virtual registers must have a size.
|
|
|
|
// If we end up here this means the size hasn't been specified and
|
|
|
|
// this is bad!
|
2016-10-11 11:13:01 +08:00
|
|
|
if (RegInfo->Kind == VRegInfo::GENERIC ||
|
|
|
|
RegInfo->Kind == VRegInfo::REGBANK)
|
|
|
|
return error("generic virtual registers must have a size");
|
2015-08-20 03:05:34 +08:00
|
|
|
}
|
2015-07-09 05:23:34 +08:00
|
|
|
Dest = MachineOperand::CreateReg(
|
|
|
|
Reg, Flags & RegState::Define, Flags & RegState::Implicit,
|
2015-07-14 07:24:34 +08:00
|
|
|
Flags & RegState::Kill, Flags & RegState::Dead, Flags & RegState::Undef,
|
2015-08-15 03:07:07 +08:00
|
|
|
Flags & RegState::EarlyClobber, SubReg, Flags & RegState::Debug,
|
|
|
|
Flags & RegState::InternalRead);
|
2015-06-24 00:35:26 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-06-24 07:42:28 +08:00
|
|
|
bool MIParser::parseImmediateOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::IntegerLiteral));
|
|
|
|
const APSInt &Int = Token.integerValue();
|
|
|
|
if (Int.getMinSignedBits() > 64)
|
2015-08-06 03:03:42 +08:00
|
|
|
return error("integer literal is too large to be an immediate operand");
|
2015-06-24 07:42:28 +08:00
|
|
|
Dest = MachineOperand::CreateImm(Int.getExtValue());
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-22 05:48:22 +08:00
|
|
|
bool MIParser::parseIRConstant(StringRef::iterator Loc, StringRef StringValue,
|
|
|
|
const Constant *&C) {
|
|
|
|
auto Source = StringValue.str(); // The source has to be null terminated.
|
2015-08-01 04:49:21 +08:00
|
|
|
SMDiagnostic Err;
|
2016-11-03 00:43:50 +08:00
|
|
|
C = parseConstantValue(Source, Err, *MF.getFunction()->getParent(),
|
2016-07-14 07:27:50 +08:00
|
|
|
&PFS.IRSlots);
|
2015-08-01 04:49:21 +08:00
|
|
|
if (!C)
|
|
|
|
return error(Loc + Err.getColumnNo(), Err.getMessage());
|
2015-08-06 02:44:00 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-22 05:48:22 +08:00
|
|
|
bool MIParser::parseIRConstant(StringRef::iterator Loc, const Constant *&C) {
|
|
|
|
if (parseIRConstant(Loc, StringRef(Loc, Token.range().end() - Loc), C))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-07-29 01:15:12 +08:00
|
|
|
bool MIParser::parseLowLevelType(StringRef::iterator Loc, LLT &Ty) {
|
2016-09-15 18:09:59 +08:00
|
|
|
if (Token.is(MIToken::ScalarType)) {
|
2016-07-21 03:09:30 +08:00
|
|
|
Ty = LLT::scalar(APSInt(Token.range().drop_front()).getZExtValue());
|
|
|
|
lex();
|
|
|
|
return false;
|
2016-07-23 00:59:52 +08:00
|
|
|
} else if (Token.is(MIToken::PointerType)) {
|
2016-09-15 17:20:34 +08:00
|
|
|
const DataLayout &DL = MF.getFunction()->getParent()->getDataLayout();
|
|
|
|
unsigned AS = APSInt(Token.range().drop_front()).getZExtValue();
|
|
|
|
Ty = LLT::pointer(AS, DL.getPointerSizeInBits(AS));
|
2016-07-23 00:59:52 +08:00
|
|
|
lex();
|
|
|
|
return false;
|
2016-07-21 03:09:30 +08:00
|
|
|
}
|
2016-03-08 08:20:48 +08:00
|
|
|
|
2016-07-21 03:09:30 +08:00
|
|
|
// Now we're looking for a vector.
|
|
|
|
if (Token.isNot(MIToken::less))
|
2016-07-23 00:59:52 +08:00
|
|
|
return error(Loc,
|
|
|
|
"expected unsized, pN, sN or <N x sM> for GlobalISel type");
|
|
|
|
|
2016-07-21 03:09:30 +08:00
|
|
|
lex();
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral))
|
|
|
|
return error(Loc, "expected <N x sM> for vctor type");
|
|
|
|
uint64_t NumElements = Token.integerValue().getZExtValue();
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::Identifier) || Token.stringValue() != "x")
|
|
|
|
return error(Loc, "expected '<N x sM>' for vector type");
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::ScalarType))
|
|
|
|
return error(Loc, "expected '<N x sM>' for vector type");
|
|
|
|
uint64_t ScalarSize = APSInt(Token.range().drop_front()).getZExtValue();
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::greater))
|
|
|
|
return error(Loc, "expected '<N x sM>' for vector type");
|
|
|
|
lex();
|
|
|
|
|
|
|
|
Ty = LLT::vector(NumElements, ScalarSize);
|
2016-03-08 08:20:48 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-06 02:52:21 +08:00
|
|
|
bool MIParser::parseTypedImmediateOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::IntegerType));
|
|
|
|
auto Loc = Token.location();
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral))
|
|
|
|
return error("expected an integer literal");
|
|
|
|
const Constant *C = nullptr;
|
|
|
|
if (parseIRConstant(Loc, C))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateCImm(cast<ConstantInt>(C));
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-06 02:44:00 +08:00
|
|
|
bool MIParser::parseFPImmediateOperand(MachineOperand &Dest) {
|
|
|
|
auto Loc = Token.location();
|
|
|
|
lex();
|
2016-10-13 05:06:45 +08:00
|
|
|
if (Token.isNot(MIToken::FloatingPointLiteral) &&
|
|
|
|
Token.isNot(MIToken::HexLiteral))
|
2015-08-06 02:44:00 +08:00
|
|
|
return error("expected a floating point literal");
|
|
|
|
const Constant *C = nullptr;
|
|
|
|
if (parseIRConstant(Loc, C))
|
|
|
|
return true;
|
2015-08-01 04:49:21 +08:00
|
|
|
Dest = MachineOperand::CreateFPImm(cast<ConstantFP>(C));
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-06-27 00:46:11 +08:00
|
|
|
bool MIParser::getUnsigned(unsigned &Result) {
|
2016-10-13 05:06:45 +08:00
|
|
|
if (Token.hasIntegerValue()) {
|
|
|
|
const uint64_t Limit = uint64_t(std::numeric_limits<unsigned>::max()) + 1;
|
|
|
|
uint64_t Val64 = Token.integerValue().getLimitedValue(Limit);
|
|
|
|
if (Val64 == Limit)
|
|
|
|
return error("expected 32-bit integer (too large)");
|
|
|
|
Result = Val64;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
if (Token.is(MIToken::HexLiteral)) {
|
2016-12-16 21:58:01 +08:00
|
|
|
APInt A;
|
|
|
|
if (getHexUint(A))
|
2016-10-13 05:06:45 +08:00
|
|
|
return true;
|
2016-12-16 21:58:01 +08:00
|
|
|
if (A.getBitWidth() > 32)
|
2016-10-13 05:06:45 +08:00
|
|
|
return error("expected 32-bit integer (too large)");
|
|
|
|
Result = A.getZExtValue();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
2015-06-27 00:46:11 +08:00
|
|
|
}
|
|
|
|
|
2015-07-01 02:16:42 +08:00
|
|
|
bool MIParser::parseMBBReference(MachineBasicBlock *&MBB) {
|
2015-08-14 07:10:16 +08:00
|
|
|
assert(Token.is(MIToken::MachineBasicBlock) ||
|
|
|
|
Token.is(MIToken::MachineBasicBlockLabel));
|
2015-06-27 00:46:11 +08:00
|
|
|
unsigned Number;
|
|
|
|
if (getUnsigned(Number))
|
|
|
|
return true;
|
2015-07-08 01:46:43 +08:00
|
|
|
auto MBBInfo = PFS.MBBSlots.find(Number);
|
|
|
|
if (MBBInfo == PFS.MBBSlots.end())
|
2015-06-27 00:46:11 +08:00
|
|
|
return error(Twine("use of undefined machine basic block #") +
|
|
|
|
Twine(Number));
|
2015-07-01 02:16:42 +08:00
|
|
|
MBB = MBBInfo->second;
|
2015-06-27 00:46:11 +08:00
|
|
|
if (!Token.stringValue().empty() && Token.stringValue() != MBB->getName())
|
|
|
|
return error(Twine("the name of machine basic block #") + Twine(Number) +
|
|
|
|
" isn't '" + Token.stringValue() + "'");
|
2015-07-01 02:16:42 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseMBBOperand(MachineOperand &Dest) {
|
|
|
|
MachineBasicBlock *MBB;
|
|
|
|
if (parseMBBReference(MBB))
|
|
|
|
return true;
|
2015-06-27 00:46:11 +08:00
|
|
|
Dest = MachineOperand::CreateMBB(MBB);
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-19 06:18:52 +08:00
|
|
|
bool MIParser::parseStackFrameIndex(int &FI) {
|
2015-07-17 07:37:45 +08:00
|
|
|
assert(Token.is(MIToken::StackObject));
|
|
|
|
unsigned ID;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
|
|
|
auto ObjectInfo = PFS.StackObjectSlots.find(ID);
|
|
|
|
if (ObjectInfo == PFS.StackObjectSlots.end())
|
|
|
|
return error(Twine("use of undefined stack object '%stack.") + Twine(ID) +
|
|
|
|
"'");
|
|
|
|
StringRef Name;
|
|
|
|
if (const auto *Alloca =
|
2016-07-29 02:40:00 +08:00
|
|
|
MF.getFrameInfo().getObjectAllocation(ObjectInfo->second))
|
2015-07-17 07:37:45 +08:00
|
|
|
Name = Alloca->getName();
|
|
|
|
if (!Token.stringValue().empty() && Token.stringValue() != Name)
|
|
|
|
return error(Twine("the name of the stack object '%stack.") + Twine(ID) +
|
|
|
|
"' isn't '" + Token.stringValue() + "'");
|
|
|
|
lex();
|
2015-08-19 06:18:52 +08:00
|
|
|
FI = ObjectInfo->second;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseStackObjectOperand(MachineOperand &Dest) {
|
|
|
|
int FI;
|
|
|
|
if (parseStackFrameIndex(FI))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateFI(FI);
|
2015-07-17 07:37:45 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-13 05:17:02 +08:00
|
|
|
bool MIParser::parseFixedStackFrameIndex(int &FI) {
|
2015-07-17 07:37:45 +08:00
|
|
|
assert(Token.is(MIToken::FixedStackObject));
|
|
|
|
unsigned ID;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
|
|
|
auto ObjectInfo = PFS.FixedStackObjectSlots.find(ID);
|
|
|
|
if (ObjectInfo == PFS.FixedStackObjectSlots.end())
|
|
|
|
return error(Twine("use of undefined fixed stack object '%fixed-stack.") +
|
|
|
|
Twine(ID) + "'");
|
|
|
|
lex();
|
2015-08-13 05:17:02 +08:00
|
|
|
FI = ObjectInfo->second;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseFixedStackObjectOperand(MachineOperand &Dest) {
|
|
|
|
int FI;
|
|
|
|
if (parseFixedStackFrameIndex(FI))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateFI(FI);
|
2015-07-17 07:37:45 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-29 01:09:52 +08:00
|
|
|
bool MIParser::parseGlobalValue(GlobalValue *&GV) {
|
2015-06-27 06:56:48 +08:00
|
|
|
switch (Token.kind()) {
|
2015-08-06 01:35:55 +08:00
|
|
|
case MIToken::NamedGlobalValue: {
|
2015-06-27 06:56:48 +08:00
|
|
|
const Module *M = MF.getFunction()->getParent();
|
2015-08-06 01:35:55 +08:00
|
|
|
GV = M->getNamedValue(Token.stringValue());
|
2015-07-29 01:09:52 +08:00
|
|
|
if (!GV)
|
2015-08-07 07:17:42 +08:00
|
|
|
return error(Twine("use of undefined global value '") + Token.range() +
|
|
|
|
"'");
|
2015-07-29 01:09:52 +08:00
|
|
|
break;
|
2015-06-27 06:56:48 +08:00
|
|
|
}
|
|
|
|
case MIToken::GlobalValue: {
|
|
|
|
unsigned GVIdx;
|
|
|
|
if (getUnsigned(GVIdx))
|
|
|
|
return true;
|
2016-07-14 07:27:50 +08:00
|
|
|
if (GVIdx >= PFS.IRSlots.GlobalValues.size())
|
2015-06-27 06:56:48 +08:00
|
|
|
return error(Twine("use of undefined global value '@") + Twine(GVIdx) +
|
|
|
|
"'");
|
2016-07-14 07:27:50 +08:00
|
|
|
GV = PFS.IRSlots.GlobalValues[GVIdx];
|
2015-06-27 06:56:48 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be a global value");
|
|
|
|
}
|
2015-07-29 01:09:52 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseGlobalAddressOperand(MachineOperand &Dest) {
|
|
|
|
GlobalValue *GV = nullptr;
|
|
|
|
if (parseGlobalValue(GV))
|
|
|
|
return true;
|
2015-06-27 06:56:48 +08:00
|
|
|
lex();
|
2015-08-06 06:26:15 +08:00
|
|
|
Dest = MachineOperand::CreateGA(GV, /*Offset=*/0);
|
|
|
|
if (parseOperandsOffset(Dest))
|
|
|
|
return true;
|
2015-06-27 06:56:48 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-21 04:51:18 +08:00
|
|
|
bool MIParser::parseConstantPoolIndexOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::ConstantPoolItem));
|
|
|
|
unsigned ID;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
|
|
|
auto ConstantInfo = PFS.ConstantPoolSlots.find(ID);
|
|
|
|
if (ConstantInfo == PFS.ConstantPoolSlots.end())
|
|
|
|
return error("use of undefined constant '%const." + Twine(ID) + "'");
|
|
|
|
lex();
|
|
|
|
Dest = MachineOperand::CreateCPI(ID, /*Offset=*/0);
|
2015-08-06 06:26:15 +08:00
|
|
|
if (parseOperandsOffset(Dest))
|
|
|
|
return true;
|
2015-07-21 04:51:18 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-16 07:38:35 +08:00
|
|
|
bool MIParser::parseJumpTableIndexOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::JumpTableIndex));
|
|
|
|
unsigned ID;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
|
|
|
auto JumpTableEntryInfo = PFS.JumpTableSlots.find(ID);
|
|
|
|
if (JumpTableEntryInfo == PFS.JumpTableSlots.end())
|
|
|
|
return error("use of undefined jump table '%jump-table." + Twine(ID) + "'");
|
|
|
|
lex();
|
|
|
|
Dest = MachineOperand::CreateJTI(JumpTableEntryInfo->second);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-22 00:59:53 +08:00
|
|
|
bool MIParser::parseExternalSymbolOperand(MachineOperand &Dest) {
|
2015-08-06 01:35:55 +08:00
|
|
|
assert(Token.is(MIToken::ExternalSymbol));
|
|
|
|
const char *Symbol = MF.createExternalSymbolName(Token.stringValue());
|
2015-07-22 00:59:53 +08:00
|
|
|
lex();
|
|
|
|
Dest = MachineOperand::CreateES(Symbol);
|
2015-08-06 06:26:15 +08:00
|
|
|
if (parseOperandsOffset(Dest))
|
|
|
|
return true;
|
2015-07-22 00:59:53 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-03-29 02:18:46 +08:00
|
|
|
bool MIParser::parseSubRegisterIndexOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::SubRegisterIndex));
|
|
|
|
StringRef Name = Token.stringValue();
|
|
|
|
unsigned SubRegIndex = getSubRegIndex(Token.stringValue());
|
|
|
|
if (SubRegIndex == 0)
|
|
|
|
return error(Twine("unknown subregister index '") + Name + "'");
|
|
|
|
lex();
|
|
|
|
Dest = MachineOperand::CreateImm(SubRegIndex);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-23 05:07:04 +08:00
|
|
|
bool MIParser::parseMDNode(MDNode *&Node) {
|
2015-07-23 01:58:46 +08:00
|
|
|
assert(Token.is(MIToken::exclaim));
|
|
|
|
auto Loc = Token.location();
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
|
|
|
|
return error("expected metadata id after '!'");
|
|
|
|
unsigned ID;
|
|
|
|
if (getUnsigned(ID))
|
|
|
|
return true;
|
2016-07-14 07:27:50 +08:00
|
|
|
auto NodeInfo = PFS.IRSlots.MetadataNodes.find(ID);
|
|
|
|
if (NodeInfo == PFS.IRSlots.MetadataNodes.end())
|
2015-07-23 01:58:46 +08:00
|
|
|
return error(Loc, "use of undefined metadata '!" + Twine(ID) + "'");
|
|
|
|
lex();
|
2015-07-23 05:07:04 +08:00
|
|
|
Node = NodeInfo->second.get();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseMetadataOperand(MachineOperand &Dest) {
|
|
|
|
MDNode *Node = nullptr;
|
|
|
|
if (parseMDNode(Node))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateMetadata(Node);
|
2015-07-23 01:58:46 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-22 06:28:27 +08:00
|
|
|
bool MIParser::parseCFIOffset(int &Offset) {
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral))
|
|
|
|
return error("expected a cfi offset");
|
|
|
|
if (Token.integerValue().getMinSignedBits() > 32)
|
|
|
|
return error("expected a 32 bit integer (the cfi offset is too large)");
|
|
|
|
Offset = (int)Token.integerValue().getExtValue();
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-24 07:09:07 +08:00
|
|
|
bool MIParser::parseCFIRegister(unsigned &Reg) {
|
|
|
|
if (Token.isNot(MIToken::NamedRegister))
|
|
|
|
return error("expected a cfi register");
|
|
|
|
unsigned LLVMReg;
|
2016-10-11 11:13:01 +08:00
|
|
|
if (parseNamedRegister(LLVMReg))
|
2015-07-24 07:09:07 +08:00
|
|
|
return true;
|
|
|
|
const auto *TRI = MF.getSubtarget().getRegisterInfo();
|
|
|
|
assert(TRI && "Expected target register info");
|
|
|
|
int DwarfReg = TRI->getDwarfRegNum(LLVMReg, true);
|
|
|
|
if (DwarfReg < 0)
|
|
|
|
return error("invalid DWARF register");
|
|
|
|
Reg = (unsigned)DwarfReg;
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-22 06:28:27 +08:00
|
|
|
bool MIParser::parseCFIOperand(MachineOperand &Dest) {
|
2015-07-24 07:09:07 +08:00
|
|
|
auto Kind = Token.kind();
|
2015-07-22 06:28:27 +08:00
|
|
|
lex();
|
|
|
|
int Offset;
|
2015-07-24 07:09:07 +08:00
|
|
|
unsigned Reg;
|
|
|
|
unsigned CFIIndex;
|
|
|
|
switch (Kind) {
|
2015-08-15 05:55:58 +08:00
|
|
|
case MIToken::kw_cfi_same_value:
|
|
|
|
if (parseCFIRegister(Reg))
|
|
|
|
return true;
|
2016-12-01 07:48:42 +08:00
|
|
|
CFIIndex = MF.addFrameInst(MCCFIInstruction::createSameValue(nullptr, Reg));
|
2015-08-15 05:55:58 +08:00
|
|
|
break;
|
2015-07-24 07:09:07 +08:00
|
|
|
case MIToken::kw_cfi_offset:
|
|
|
|
if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
|
|
|
|
parseCFIOffset(Offset))
|
|
|
|
return true;
|
|
|
|
CFIIndex =
|
2016-12-01 07:48:42 +08:00
|
|
|
MF.addFrameInst(MCCFIInstruction::createOffset(nullptr, Reg, Offset));
|
2015-07-24 07:09:07 +08:00
|
|
|
break;
|
2015-07-28 04:39:03 +08:00
|
|
|
case MIToken::kw_cfi_def_cfa_register:
|
|
|
|
if (parseCFIRegister(Reg))
|
|
|
|
return true;
|
|
|
|
CFIIndex =
|
2016-12-01 07:48:42 +08:00
|
|
|
MF.addFrameInst(MCCFIInstruction::createDefCfaRegister(nullptr, Reg));
|
2015-07-28 04:39:03 +08:00
|
|
|
break;
|
2015-07-24 07:09:07 +08:00
|
|
|
case MIToken::kw_cfi_def_cfa_offset:
|
|
|
|
if (parseCFIOffset(Offset))
|
|
|
|
return true;
|
|
|
|
// NB: MCCFIInstruction::createDefCfaOffset negates the offset.
|
2016-12-01 07:48:42 +08:00
|
|
|
CFIIndex = MF.addFrameInst(
|
2015-07-24 07:09:07 +08:00
|
|
|
MCCFIInstruction::createDefCfaOffset(nullptr, -Offset));
|
|
|
|
break;
|
2015-07-30 02:57:23 +08:00
|
|
|
case MIToken::kw_cfi_def_cfa:
|
|
|
|
if (parseCFIRegister(Reg) || expectAndConsume(MIToken::comma) ||
|
|
|
|
parseCFIOffset(Offset))
|
|
|
|
return true;
|
|
|
|
// NB: MCCFIInstruction::createDefCfa negates the offset.
|
|
|
|
CFIIndex =
|
2016-12-01 07:48:42 +08:00
|
|
|
MF.addFrameInst(MCCFIInstruction::createDefCfa(nullptr, Reg, -Offset));
|
2015-07-30 02:57:23 +08:00
|
|
|
break;
|
2015-07-24 07:09:07 +08:00
|
|
|
default:
|
|
|
|
// TODO: Parse the other CFI operands.
|
|
|
|
llvm_unreachable("The current token should be a cfi operand");
|
|
|
|
}
|
|
|
|
Dest = MachineOperand::CreateCFIIndex(CFIIndex);
|
2015-07-22 06:28:27 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-29 01:28:03 +08:00
|
|
|
bool MIParser::parseIRBlock(BasicBlock *&BB, const Function &F) {
|
|
|
|
switch (Token.kind()) {
|
2015-08-06 01:35:55 +08:00
|
|
|
case MIToken::NamedIRBlock: {
|
|
|
|
BB = dyn_cast_or_null<BasicBlock>(
|
2016-09-17 14:00:02 +08:00
|
|
|
F.getValueSymbolTable()->lookup(Token.stringValue()));
|
2015-07-29 01:28:03 +08:00
|
|
|
if (!BB)
|
2015-08-07 07:17:42 +08:00
|
|
|
return error(Twine("use of undefined IR block '") + Token.range() + "'");
|
2015-07-29 01:28:03 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MIToken::IRBlock: {
|
|
|
|
unsigned SlotNumber = 0;
|
|
|
|
if (getUnsigned(SlotNumber))
|
|
|
|
return true;
|
2015-08-07 07:57:04 +08:00
|
|
|
BB = const_cast<BasicBlock *>(getIRBlock(SlotNumber, F));
|
2015-07-29 01:28:03 +08:00
|
|
|
if (!BB)
|
|
|
|
return error(Twine("use of undefined IR block '%ir-block.") +
|
|
|
|
Twine(SlotNumber) + "'");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be an IR block reference");
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseBlockAddressOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::kw_blockaddress));
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return true;
|
|
|
|
if (Token.isNot(MIToken::GlobalValue) &&
|
2015-08-06 01:35:55 +08:00
|
|
|
Token.isNot(MIToken::NamedGlobalValue))
|
2015-07-29 01:28:03 +08:00
|
|
|
return error("expected a global value");
|
|
|
|
GlobalValue *GV = nullptr;
|
|
|
|
if (parseGlobalValue(GV))
|
|
|
|
return true;
|
|
|
|
auto *F = dyn_cast<Function>(GV);
|
|
|
|
if (!F)
|
|
|
|
return error("expected an IR function reference");
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::comma))
|
|
|
|
return true;
|
|
|
|
BasicBlock *BB = nullptr;
|
2015-08-06 01:35:55 +08:00
|
|
|
if (Token.isNot(MIToken::IRBlock) && Token.isNot(MIToken::NamedIRBlock))
|
2015-07-29 01:28:03 +08:00
|
|
|
return error("expected an IR block reference");
|
|
|
|
if (parseIRBlock(BB, *F))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateBA(BlockAddress::get(F, BB), /*Offset=*/0);
|
2015-08-06 06:26:15 +08:00
|
|
|
if (parseOperandsOffset(Dest))
|
|
|
|
return true;
|
2015-07-29 01:28:03 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-07-30 04:32:59 +08:00
|
|
|
bool MIParser::parseIntrinsicOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::kw_intrinsic));
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return error("expected syntax intrinsic(@llvm.whatever)");
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::NamedGlobalValue))
|
|
|
|
return error("expected syntax intrinsic(@llvm.whatever)");
|
|
|
|
|
|
|
|
std::string Name = Token.stringValue();
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return error("expected ')' to terminate intrinsic name");
|
|
|
|
|
|
|
|
// Find out what intrinsic we're dealing with, first try the global namespace
|
|
|
|
// and then the target's private intrinsics if that fails.
|
|
|
|
const TargetIntrinsicInfo *TII = MF.getTarget().getIntrinsicInfo();
|
|
|
|
Intrinsic::ID ID = Function::lookupIntrinsicID(Name);
|
|
|
|
if (ID == Intrinsic::not_intrinsic && TII)
|
|
|
|
ID = static_cast<Intrinsic::ID>(TII->lookupName(Name));
|
|
|
|
|
|
|
|
if (ID == Intrinsic::not_intrinsic)
|
|
|
|
return error("unknown intrinsic name");
|
|
|
|
Dest = MachineOperand::CreateIntrinsicID(ID);
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-08-18 04:25:25 +08:00
|
|
|
bool MIParser::parsePredicateOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::kw_intpred) || Token.is(MIToken::kw_floatpred));
|
|
|
|
bool IsFloat = Token.is(MIToken::kw_floatpred);
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return error("expected syntax intpred(whatever) or floatpred(whatever");
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::Identifier))
|
|
|
|
return error("whatever");
|
|
|
|
|
|
|
|
CmpInst::Predicate Pred;
|
|
|
|
if (IsFloat) {
|
|
|
|
Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
|
|
|
|
.Case("false", CmpInst::FCMP_FALSE)
|
|
|
|
.Case("oeq", CmpInst::FCMP_OEQ)
|
|
|
|
.Case("ogt", CmpInst::FCMP_OGT)
|
|
|
|
.Case("oge", CmpInst::FCMP_OGE)
|
|
|
|
.Case("olt", CmpInst::FCMP_OLT)
|
|
|
|
.Case("ole", CmpInst::FCMP_OLE)
|
|
|
|
.Case("one", CmpInst::FCMP_ONE)
|
|
|
|
.Case("ord", CmpInst::FCMP_ORD)
|
|
|
|
.Case("uno", CmpInst::FCMP_UNO)
|
|
|
|
.Case("ueq", CmpInst::FCMP_UEQ)
|
|
|
|
.Case("ugt", CmpInst::FCMP_UGT)
|
|
|
|
.Case("uge", CmpInst::FCMP_UGE)
|
|
|
|
.Case("ult", CmpInst::FCMP_ULT)
|
|
|
|
.Case("ule", CmpInst::FCMP_ULE)
|
|
|
|
.Case("une", CmpInst::FCMP_UNE)
|
|
|
|
.Case("true", CmpInst::FCMP_TRUE)
|
|
|
|
.Default(CmpInst::BAD_FCMP_PREDICATE);
|
|
|
|
if (!CmpInst::isFPPredicate(Pred))
|
|
|
|
return error("invalid floating-point predicate");
|
|
|
|
} else {
|
|
|
|
Pred = StringSwitch<CmpInst::Predicate>(Token.stringValue())
|
|
|
|
.Case("eq", CmpInst::ICMP_EQ)
|
|
|
|
.Case("ne", CmpInst::ICMP_NE)
|
|
|
|
.Case("sgt", CmpInst::ICMP_SGT)
|
|
|
|
.Case("sge", CmpInst::ICMP_SGE)
|
|
|
|
.Case("slt", CmpInst::ICMP_SLT)
|
|
|
|
.Case("sle", CmpInst::ICMP_SLE)
|
|
|
|
.Case("ugt", CmpInst::ICMP_UGT)
|
|
|
|
.Case("uge", CmpInst::ICMP_UGE)
|
|
|
|
.Case("ult", CmpInst::ICMP_ULT)
|
|
|
|
.Case("ule", CmpInst::ICMP_ULE)
|
|
|
|
.Default(CmpInst::BAD_ICMP_PREDICATE);
|
|
|
|
if (!CmpInst::isIntPredicate(Pred))
|
|
|
|
return error("invalid integer predicate");
|
|
|
|
}
|
|
|
|
|
|
|
|
lex();
|
|
|
|
Dest = MachineOperand::CreatePredicate(Pred);
|
2016-08-24 05:01:26 +08:00
|
|
|
if (expectAndConsume(MIToken::rparen))
|
2016-08-18 04:25:25 +08:00
|
|
|
return error("predicate should be terminated by ')'.");
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-29 07:02:45 +08:00
|
|
|
bool MIParser::parseTargetIndexOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::kw_target_index));
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return true;
|
|
|
|
if (Token.isNot(MIToken::Identifier))
|
|
|
|
return error("expected the name of the target index");
|
|
|
|
int Index = 0;
|
|
|
|
if (getTargetIndex(Token.stringValue(), Index))
|
|
|
|
return error("use of undefined target index '" + Token.stringValue() + "'");
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateTargetIndex(unsigned(Index), /*Offset=*/0);
|
2015-08-06 06:26:15 +08:00
|
|
|
if (parseOperandsOffset(Dest))
|
|
|
|
return true;
|
2015-07-29 07:02:45 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-11 07:24:42 +08:00
|
|
|
bool MIParser::parseLiveoutRegisterMaskOperand(MachineOperand &Dest) {
|
|
|
|
assert(Token.is(MIToken::kw_liveout));
|
|
|
|
const auto *TRI = MF.getSubtarget().getRegisterInfo();
|
|
|
|
assert(TRI && "Expected target register info");
|
|
|
|
uint32_t *Mask = MF.allocateRegisterMask(TRI->getNumRegs());
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return true;
|
|
|
|
while (true) {
|
|
|
|
if (Token.isNot(MIToken::NamedRegister))
|
|
|
|
return error("expected a named register");
|
2016-10-11 11:13:01 +08:00
|
|
|
unsigned Reg;
|
|
|
|
if (parseNamedRegister(Reg))
|
2015-08-11 07:24:42 +08:00
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
Mask[Reg / 32] |= 1U << (Reg % 32);
|
|
|
|
// TODO: Report an error if the same register is used more than once.
|
|
|
|
if (Token.isNot(MIToken::comma))
|
|
|
|
break;
|
|
|
|
lex();
|
|
|
|
}
|
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
Dest = MachineOperand::CreateRegLiveOut(Mask);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-20 03:05:34 +08:00
|
|
|
bool MIParser::parseMachineOperand(MachineOperand &Dest,
|
|
|
|
Optional<unsigned> &TiedDefIdx) {
|
2015-06-24 00:35:26 +08:00
|
|
|
switch (Token.kind()) {
|
2015-07-07 07:07:26 +08:00
|
|
|
case MIToken::kw_implicit:
|
|
|
|
case MIToken::kw_implicit_define:
|
2015-08-20 02:55:47 +08:00
|
|
|
case MIToken::kw_def:
|
2015-07-08 04:34:53 +08:00
|
|
|
case MIToken::kw_dead:
|
2015-07-09 05:23:34 +08:00
|
|
|
case MIToken::kw_killed:
|
2015-07-09 07:58:31 +08:00
|
|
|
case MIToken::kw_undef:
|
2015-08-15 03:07:07 +08:00
|
|
|
case MIToken::kw_internal:
|
2015-08-06 01:49:03 +08:00
|
|
|
case MIToken::kw_early_clobber:
|
2015-08-06 01:41:17 +08:00
|
|
|
case MIToken::kw_debug_use:
|
2015-06-25 01:34:58 +08:00
|
|
|
case MIToken::underscore:
|
2015-06-24 00:35:26 +08:00
|
|
|
case MIToken::NamedRegister:
|
2015-07-11 06:51:20 +08:00
|
|
|
case MIToken::VirtualRegister:
|
2015-08-20 03:05:34 +08:00
|
|
|
return parseRegisterOperand(Dest, TiedDefIdx);
|
2015-06-24 07:42:28 +08:00
|
|
|
case MIToken::IntegerLiteral:
|
|
|
|
return parseImmediateOperand(Dest);
|
2015-08-06 02:52:21 +08:00
|
|
|
case MIToken::IntegerType:
|
|
|
|
return parseTypedImmediateOperand(Dest);
|
2015-08-01 04:49:21 +08:00
|
|
|
case MIToken::kw_half:
|
|
|
|
case MIToken::kw_float:
|
|
|
|
case MIToken::kw_double:
|
|
|
|
case MIToken::kw_x86_fp80:
|
|
|
|
case MIToken::kw_fp128:
|
|
|
|
case MIToken::kw_ppc_fp128:
|
|
|
|
return parseFPImmediateOperand(Dest);
|
2015-06-27 00:46:11 +08:00
|
|
|
case MIToken::MachineBasicBlock:
|
|
|
|
return parseMBBOperand(Dest);
|
2015-07-17 07:37:45 +08:00
|
|
|
case MIToken::StackObject:
|
|
|
|
return parseStackObjectOperand(Dest);
|
|
|
|
case MIToken::FixedStackObject:
|
|
|
|
return parseFixedStackObjectOperand(Dest);
|
2015-06-27 06:56:48 +08:00
|
|
|
case MIToken::GlobalValue:
|
|
|
|
case MIToken::NamedGlobalValue:
|
|
|
|
return parseGlobalAddressOperand(Dest);
|
2015-07-21 04:51:18 +08:00
|
|
|
case MIToken::ConstantPoolItem:
|
|
|
|
return parseConstantPoolIndexOperand(Dest);
|
2015-07-16 07:38:35 +08:00
|
|
|
case MIToken::JumpTableIndex:
|
|
|
|
return parseJumpTableIndexOperand(Dest);
|
2015-07-22 00:59:53 +08:00
|
|
|
case MIToken::ExternalSymbol:
|
|
|
|
return parseExternalSymbolOperand(Dest);
|
2016-03-29 02:18:46 +08:00
|
|
|
case MIToken::SubRegisterIndex:
|
|
|
|
return parseSubRegisterIndexOperand(Dest);
|
2015-07-23 01:58:46 +08:00
|
|
|
case MIToken::exclaim:
|
|
|
|
return parseMetadataOperand(Dest);
|
2015-08-15 05:55:58 +08:00
|
|
|
case MIToken::kw_cfi_same_value:
|
2015-07-24 07:09:07 +08:00
|
|
|
case MIToken::kw_cfi_offset:
|
2015-07-28 04:39:03 +08:00
|
|
|
case MIToken::kw_cfi_def_cfa_register:
|
2015-07-22 06:28:27 +08:00
|
|
|
case MIToken::kw_cfi_def_cfa_offset:
|
2015-07-30 02:57:23 +08:00
|
|
|
case MIToken::kw_cfi_def_cfa:
|
2015-07-22 06:28:27 +08:00
|
|
|
return parseCFIOperand(Dest);
|
2015-07-29 01:28:03 +08:00
|
|
|
case MIToken::kw_blockaddress:
|
|
|
|
return parseBlockAddressOperand(Dest);
|
2016-07-30 04:32:59 +08:00
|
|
|
case MIToken::kw_intrinsic:
|
|
|
|
return parseIntrinsicOperand(Dest);
|
2015-07-29 07:02:45 +08:00
|
|
|
case MIToken::kw_target_index:
|
|
|
|
return parseTargetIndexOperand(Dest);
|
2015-08-11 07:24:42 +08:00
|
|
|
case MIToken::kw_liveout:
|
|
|
|
return parseLiveoutRegisterMaskOperand(Dest);
|
2016-08-18 04:25:25 +08:00
|
|
|
case MIToken::kw_floatpred:
|
|
|
|
case MIToken::kw_intpred:
|
|
|
|
return parsePredicateOperand(Dest);
|
2015-06-24 00:35:26 +08:00
|
|
|
case MIToken::Error:
|
|
|
|
return true;
|
2015-06-30 00:57:06 +08:00
|
|
|
case MIToken::Identifier:
|
|
|
|
if (const auto *RegMask = getRegMask(Token.stringValue())) {
|
|
|
|
Dest = MachineOperand::CreateRegMask(RegMask);
|
|
|
|
lex();
|
|
|
|
break;
|
|
|
|
}
|
2016-08-17 13:10:15 +08:00
|
|
|
LLVM_FALLTHROUGH;
|
2015-06-24 00:35:26 +08:00
|
|
|
default:
|
2015-08-22 05:12:44 +08:00
|
|
|
// FIXME: Parse the MCSymbol machine operand.
|
2015-06-24 00:35:26 +08:00
|
|
|
return error("expected a machine operand");
|
|
|
|
}
|
2015-06-23 04:37:46 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-20 03:05:34 +08:00
|
|
|
bool MIParser::parseMachineOperandAndTargetFlags(
|
|
|
|
MachineOperand &Dest, Optional<unsigned> &TiedDefIdx) {
|
2015-08-06 08:44:07 +08:00
|
|
|
unsigned TF = 0;
|
|
|
|
bool HasTargetFlags = false;
|
|
|
|
if (Token.is(MIToken::kw_target_flags)) {
|
|
|
|
HasTargetFlags = true;
|
|
|
|
lex();
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return true;
|
|
|
|
if (Token.isNot(MIToken::Identifier))
|
|
|
|
return error("expected the name of the target flag");
|
2015-08-19 06:52:15 +08:00
|
|
|
if (getDirectTargetFlag(Token.stringValue(), TF)) {
|
|
|
|
if (getBitmaskTargetFlag(Token.stringValue(), TF))
|
|
|
|
return error("use of undefined target flag '" + Token.stringValue() +
|
|
|
|
"'");
|
|
|
|
}
|
2015-08-06 08:44:07 +08:00
|
|
|
lex();
|
2015-08-19 06:52:15 +08:00
|
|
|
while (Token.is(MIToken::comma)) {
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::Identifier))
|
|
|
|
return error("expected the name of the target flag");
|
|
|
|
unsigned BitFlag = 0;
|
|
|
|
if (getBitmaskTargetFlag(Token.stringValue(), BitFlag))
|
|
|
|
return error("use of undefined target flag '" + Token.stringValue() +
|
|
|
|
"'");
|
|
|
|
// TODO: Report an error when using a duplicate bit target flag.
|
|
|
|
TF |= BitFlag;
|
|
|
|
lex();
|
|
|
|
}
|
2015-08-06 08:44:07 +08:00
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
auto Loc = Token.location();
|
2015-08-20 03:05:34 +08:00
|
|
|
if (parseMachineOperand(Dest, TiedDefIdx))
|
2015-08-06 08:44:07 +08:00
|
|
|
return true;
|
|
|
|
if (!HasTargetFlags)
|
|
|
|
return false;
|
|
|
|
if (Dest.isReg())
|
|
|
|
return error(Loc, "register operands can't have target flags");
|
|
|
|
Dest.setTargetFlags(TF);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-08 04:21:00 +08:00
|
|
|
bool MIParser::parseOffset(int64_t &Offset) {
|
2015-08-06 06:26:15 +08:00
|
|
|
if (Token.isNot(MIToken::plus) && Token.isNot(MIToken::minus))
|
|
|
|
return false;
|
2015-08-07 07:17:42 +08:00
|
|
|
StringRef Sign = Token.range();
|
2015-08-06 06:26:15 +08:00
|
|
|
bool IsNegative = Token.is(MIToken::minus);
|
|
|
|
lex();
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral))
|
|
|
|
return error("expected an integer literal after '" + Sign + "'");
|
|
|
|
if (Token.integerValue().getMinSignedBits() > 64)
|
|
|
|
return error("expected 64-bit integer (too large)");
|
2015-08-08 04:21:00 +08:00
|
|
|
Offset = Token.integerValue().getExtValue();
|
2015-08-06 06:26:15 +08:00
|
|
|
if (IsNegative)
|
|
|
|
Offset = -Offset;
|
|
|
|
lex();
|
2015-08-08 04:21:00 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-14 04:33:33 +08:00
|
|
|
bool MIParser::parseAlignment(unsigned &Alignment) {
|
|
|
|
assert(Token.is(MIToken::kw_align));
|
|
|
|
lex();
|
2015-08-14 04:55:01 +08:00
|
|
|
if (Token.isNot(MIToken::IntegerLiteral) || Token.integerValue().isSigned())
|
2015-08-14 04:33:33 +08:00
|
|
|
return error("expected an integer literal after 'align'");
|
|
|
|
if (getUnsigned(Alignment))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-08 04:21:00 +08:00
|
|
|
bool MIParser::parseOperandsOffset(MachineOperand &Op) {
|
|
|
|
int64_t Offset = 0;
|
|
|
|
if (parseOffset(Offset))
|
|
|
|
return true;
|
2015-08-06 06:26:15 +08:00
|
|
|
Op.setOffset(Offset);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-20 07:27:07 +08:00
|
|
|
bool MIParser::parseIRValue(const Value *&V) {
|
2015-08-04 07:08:19 +08:00
|
|
|
switch (Token.kind()) {
|
2015-08-06 01:35:55 +08:00
|
|
|
case MIToken::NamedIRValue: {
|
2016-09-17 14:00:02 +08:00
|
|
|
V = MF.getFunction()->getValueSymbolTable()->lookup(Token.stringValue());
|
2015-08-04 07:08:19 +08:00
|
|
|
break;
|
|
|
|
}
|
2015-08-20 07:31:05 +08:00
|
|
|
case MIToken::IRValue: {
|
|
|
|
unsigned SlotNumber = 0;
|
|
|
|
if (getUnsigned(SlotNumber))
|
|
|
|
return true;
|
|
|
|
V = getIRValue(SlotNumber);
|
|
|
|
break;
|
|
|
|
}
|
2015-08-20 08:20:03 +08:00
|
|
|
case MIToken::NamedGlobalValue:
|
|
|
|
case MIToken::GlobalValue: {
|
|
|
|
GlobalValue *GV = nullptr;
|
|
|
|
if (parseGlobalValue(GV))
|
|
|
|
return true;
|
|
|
|
V = GV;
|
|
|
|
break;
|
|
|
|
}
|
2015-08-22 05:54:12 +08:00
|
|
|
case MIToken::QuotedIRValue: {
|
|
|
|
const Constant *C = nullptr;
|
|
|
|
if (parseIRConstant(Token.location(), Token.stringValue(), C))
|
|
|
|
return true;
|
|
|
|
V = C;
|
|
|
|
break;
|
|
|
|
}
|
2015-08-04 07:08:19 +08:00
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be an IR block reference");
|
|
|
|
}
|
2015-08-20 07:31:05 +08:00
|
|
|
if (!V)
|
|
|
|
return error(Twine("use of undefined IR value '") + Token.range() + "'");
|
2015-08-04 07:08:19 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::getUint64(uint64_t &Result) {
|
2016-12-16 21:58:01 +08:00
|
|
|
if (Token.hasIntegerValue()) {
|
|
|
|
if (Token.integerValue().getActiveBits() > 64)
|
|
|
|
return error("expected 64-bit integer (too large)");
|
|
|
|
Result = Token.integerValue().getZExtValue();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
if (Token.is(MIToken::HexLiteral)) {
|
|
|
|
APInt A;
|
|
|
|
if (getHexUint(A))
|
|
|
|
return true;
|
|
|
|
if (A.getBitWidth() > 64)
|
|
|
|
return error("expected 64-bit integer (too large)");
|
|
|
|
Result = A.getZExtValue();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::getHexUint(APInt &Result) {
|
|
|
|
assert(Token.is(MIToken::HexLiteral));
|
|
|
|
StringRef S = Token.range();
|
|
|
|
assert(S[0] == '0' && tolower(S[1]) == 'x');
|
|
|
|
// This could be a floating point literal with a special prefix.
|
|
|
|
if (!isxdigit(S[2]))
|
|
|
|
return true;
|
|
|
|
StringRef V = S.substr(2);
|
|
|
|
APInt A(V.size()*4, V, 16);
|
|
|
|
Result = APInt(A.getActiveBits(),
|
|
|
|
ArrayRef<uint64_t>(A.getRawData(), A.getNumWords()));
|
2015-08-04 07:08:19 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-07-16 02:26:59 +08:00
|
|
|
bool MIParser::parseMemoryOperandFlag(MachineMemOperand::Flags &Flags) {
|
|
|
|
const auto OldFlags = Flags;
|
2015-08-04 08:24:45 +08:00
|
|
|
switch (Token.kind()) {
|
|
|
|
case MIToken::kw_volatile:
|
|
|
|
Flags |= MachineMemOperand::MOVolatile;
|
|
|
|
break;
|
2015-08-07 00:49:30 +08:00
|
|
|
case MIToken::kw_non_temporal:
|
|
|
|
Flags |= MachineMemOperand::MONonTemporal;
|
|
|
|
break;
|
[CodeGen] Split out the notions of MI invariance and MI dereferenceability.
Summary:
An IR load can be invariant, dereferenceable, neither, or both. But
currently, MI's notion of invariance is IR-invariant &&
IR-dereferenceable.
This patch splits up the notions of invariance and dereferenceability at
the MI level. It's NFC, so adds some probably-unnecessary
"is-dereferenceable" checks, which we can remove later if desired.
Reviewers: chandlerc, tstellarAMD
Subscribers: jholewinski, arsenm, nemanjai, llvm-commits
Differential Revision: https://reviews.llvm.org/D23371
llvm-svn: 281151
2016-09-11 09:38:58 +08:00
|
|
|
case MIToken::kw_dereferenceable:
|
|
|
|
Flags |= MachineMemOperand::MODereferenceable;
|
|
|
|
break;
|
2015-08-07 00:55:53 +08:00
|
|
|
case MIToken::kw_invariant:
|
|
|
|
Flags |= MachineMemOperand::MOInvariant;
|
|
|
|
break;
|
|
|
|
// TODO: parse the target specific memory operand flags.
|
2015-08-04 08:24:45 +08:00
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be a memory operand flag");
|
|
|
|
}
|
2015-08-07 02:26:36 +08:00
|
|
|
if (OldFlags == Flags)
|
|
|
|
// We know that the same flag is specified more than once when the flags
|
|
|
|
// weren't modified.
|
|
|
|
return error("duplicate '" + Token.stringValue() + "' memory operand flag");
|
2015-08-04 08:24:45 +08:00
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-13 04:33:26 +08:00
|
|
|
bool MIParser::parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV) {
|
|
|
|
switch (Token.kind()) {
|
2015-08-13 04:44:16 +08:00
|
|
|
case MIToken::kw_stack:
|
|
|
|
PSV = MF.getPSVManager().getStack();
|
|
|
|
break;
|
2015-08-13 05:00:22 +08:00
|
|
|
case MIToken::kw_got:
|
|
|
|
PSV = MF.getPSVManager().getGOT();
|
|
|
|
break;
|
2015-08-13 05:11:08 +08:00
|
|
|
case MIToken::kw_jump_table:
|
|
|
|
PSV = MF.getPSVManager().getJumpTable();
|
|
|
|
break;
|
2015-08-13 04:33:26 +08:00
|
|
|
case MIToken::kw_constant_pool:
|
|
|
|
PSV = MF.getPSVManager().getConstantPool();
|
|
|
|
break;
|
2015-08-13 05:23:17 +08:00
|
|
|
case MIToken::FixedStackObject: {
|
|
|
|
int FI;
|
|
|
|
if (parseFixedStackFrameIndex(FI))
|
|
|
|
return true;
|
|
|
|
PSV = MF.getPSVManager().getFixedStack(FI);
|
|
|
|
// The token was already consumed, so use return here instead of break.
|
|
|
|
return false;
|
|
|
|
}
|
2016-06-08 08:47:07 +08:00
|
|
|
case MIToken::StackObject: {
|
|
|
|
int FI;
|
|
|
|
if (parseStackFrameIndex(FI))
|
|
|
|
return true;
|
|
|
|
PSV = MF.getPSVManager().getFixedStack(FI);
|
|
|
|
// The token was already consumed, so use return here instead of break.
|
|
|
|
return false;
|
|
|
|
}
|
2015-08-20 08:12:57 +08:00
|
|
|
case MIToken::kw_call_entry: {
|
|
|
|
lex();
|
|
|
|
switch (Token.kind()) {
|
|
|
|
case MIToken::GlobalValue:
|
|
|
|
case MIToken::NamedGlobalValue: {
|
|
|
|
GlobalValue *GV = nullptr;
|
|
|
|
if (parseGlobalValue(GV))
|
|
|
|
return true;
|
|
|
|
PSV = MF.getPSVManager().getGlobalValueCallEntry(GV);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MIToken::ExternalSymbol:
|
|
|
|
PSV = MF.getPSVManager().getExternalSymbolCallEntry(
|
|
|
|
MF.createExternalSymbolName(Token.stringValue()));
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
return error(
|
|
|
|
"expected a global value or an external symbol after 'call-entry'");
|
|
|
|
}
|
2015-08-15 05:08:30 +08:00
|
|
|
break;
|
|
|
|
}
|
2015-08-13 04:33:26 +08:00
|
|
|
default:
|
|
|
|
llvm_unreachable("The current token should be pseudo source value");
|
|
|
|
}
|
|
|
|
lex();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseMachinePointerInfo(MachinePointerInfo &Dest) {
|
2015-08-13 05:00:22 +08:00
|
|
|
if (Token.is(MIToken::kw_constant_pool) || Token.is(MIToken::kw_stack) ||
|
2015-08-13 05:23:17 +08:00
|
|
|
Token.is(MIToken::kw_got) || Token.is(MIToken::kw_jump_table) ||
|
2016-06-08 08:47:07 +08:00
|
|
|
Token.is(MIToken::FixedStackObject) || Token.is(MIToken::StackObject) ||
|
|
|
|
Token.is(MIToken::kw_call_entry)) {
|
2015-08-13 04:33:26 +08:00
|
|
|
const PseudoSourceValue *PSV = nullptr;
|
|
|
|
if (parseMemoryPseudoSourceValue(PSV))
|
|
|
|
return true;
|
|
|
|
int64_t Offset = 0;
|
|
|
|
if (parseOffset(Offset))
|
|
|
|
return true;
|
|
|
|
Dest = MachinePointerInfo(PSV, Offset);
|
|
|
|
return false;
|
|
|
|
}
|
2015-08-20 08:20:03 +08:00
|
|
|
if (Token.isNot(MIToken::NamedIRValue) && Token.isNot(MIToken::IRValue) &&
|
|
|
|
Token.isNot(MIToken::GlobalValue) &&
|
2015-08-22 05:54:12 +08:00
|
|
|
Token.isNot(MIToken::NamedGlobalValue) &&
|
|
|
|
Token.isNot(MIToken::QuotedIRValue))
|
2015-08-13 04:33:26 +08:00
|
|
|
return error("expected an IR value reference");
|
2015-08-20 07:27:07 +08:00
|
|
|
const Value *V = nullptr;
|
2015-08-13 04:33:26 +08:00
|
|
|
if (parseIRValue(V))
|
|
|
|
return true;
|
|
|
|
if (!V->getType()->isPointerTy())
|
|
|
|
return error("expected a pointer IR value");
|
|
|
|
lex();
|
|
|
|
int64_t Offset = 0;
|
|
|
|
if (parseOffset(Offset))
|
|
|
|
return true;
|
|
|
|
Dest = MachinePointerInfo(V, Offset);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-04 07:08:19 +08:00
|
|
|
bool MIParser::parseMachineMemoryOperand(MachineMemOperand *&Dest) {
|
|
|
|
if (expectAndConsume(MIToken::lparen))
|
|
|
|
return true;
|
2016-07-16 02:26:59 +08:00
|
|
|
MachineMemOperand::Flags Flags = MachineMemOperand::MONone;
|
2015-08-04 08:24:45 +08:00
|
|
|
while (Token.isMemoryOperandFlag()) {
|
|
|
|
if (parseMemoryOperandFlag(Flags))
|
|
|
|
return true;
|
|
|
|
}
|
2015-08-04 07:08:19 +08:00
|
|
|
if (Token.isNot(MIToken::Identifier) ||
|
|
|
|
(Token.stringValue() != "load" && Token.stringValue() != "store"))
|
|
|
|
return error("expected 'load' or 'store' memory operation");
|
|
|
|
if (Token.stringValue() == "load")
|
|
|
|
Flags |= MachineMemOperand::MOLoad;
|
|
|
|
else
|
|
|
|
Flags |= MachineMemOperand::MOStore;
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (Token.isNot(MIToken::IntegerLiteral))
|
|
|
|
return error("expected the size integer literal after memory operation");
|
|
|
|
uint64_t Size;
|
|
|
|
if (getUint64(Size))
|
|
|
|
return true;
|
|
|
|
lex();
|
|
|
|
|
2015-08-13 04:33:26 +08:00
|
|
|
MachinePointerInfo Ptr = MachinePointerInfo();
|
2016-06-04 08:06:31 +08:00
|
|
|
if (Token.is(MIToken::Identifier)) {
|
|
|
|
const char *Word = Flags & MachineMemOperand::MOLoad ? "from" : "into";
|
|
|
|
if (Token.stringValue() != Word)
|
|
|
|
return error(Twine("expected '") + Word + "'");
|
|
|
|
lex();
|
|
|
|
|
|
|
|
if (parseMachinePointerInfo(Ptr))
|
|
|
|
return true;
|
|
|
|
}
|
2015-08-08 04:48:30 +08:00
|
|
|
unsigned BaseAlignment = Size;
|
2015-08-18 06:05:15 +08:00
|
|
|
AAMDNodes AAInfo;
|
2015-08-18 06:09:52 +08:00
|
|
|
MDNode *Range = nullptr;
|
2015-08-18 06:05:15 +08:00
|
|
|
while (consumeIfPresent(MIToken::comma)) {
|
|
|
|
switch (Token.kind()) {
|
|
|
|
case MIToken::kw_align:
|
|
|
|
if (parseAlignment(BaseAlignment))
|
|
|
|
return true;
|
|
|
|
break;
|
|
|
|
case MIToken::md_tbaa:
|
|
|
|
lex();
|
|
|
|
if (parseMDNode(AAInfo.TBAA))
|
|
|
|
return true;
|
|
|
|
break;
|
2015-08-18 06:06:40 +08:00
|
|
|
case MIToken::md_alias_scope:
|
|
|
|
lex();
|
|
|
|
if (parseMDNode(AAInfo.Scope))
|
|
|
|
return true;
|
|
|
|
break;
|
2015-08-18 06:08:02 +08:00
|
|
|
case MIToken::md_noalias:
|
|
|
|
lex();
|
|
|
|
if (parseMDNode(AAInfo.NoAlias))
|
|
|
|
return true;
|
|
|
|
break;
|
2015-08-18 06:09:52 +08:00
|
|
|
case MIToken::md_range:
|
|
|
|
lex();
|
|
|
|
if (parseMDNode(Range))
|
|
|
|
return true;
|
|
|
|
break;
|
2015-08-18 06:05:15 +08:00
|
|
|
// TODO: Report an error on duplicate metadata nodes.
|
|
|
|
default:
|
2015-08-18 06:09:52 +08:00
|
|
|
return error("expected 'align' or '!tbaa' or '!alias.scope' or "
|
|
|
|
"'!noalias' or '!range'");
|
2015-08-18 06:05:15 +08:00
|
|
|
}
|
2015-08-08 04:48:30 +08:00
|
|
|
}
|
2015-08-04 07:08:19 +08:00
|
|
|
if (expectAndConsume(MIToken::rparen))
|
|
|
|
return true;
|
2015-08-18 06:09:52 +08:00
|
|
|
Dest =
|
|
|
|
MF.getMachineMemOperand(Ptr, Flags, Size, BaseAlignment, AAInfo, Range);
|
2015-08-04 07:08:19 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-06-23 01:02:30 +08:00
|
|
|
void MIParser::initNames2InstrOpCodes() {
|
|
|
|
if (!Names2InstrOpCodes.empty())
|
|
|
|
return;
|
|
|
|
const auto *TII = MF.getSubtarget().getInstrInfo();
|
|
|
|
assert(TII && "Expected target instruction info");
|
|
|
|
for (unsigned I = 0, E = TII->getNumOpcodes(); I < E; ++I)
|
|
|
|
Names2InstrOpCodes.insert(std::make_pair(StringRef(TII->getName(I)), I));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::parseInstrName(StringRef InstrName, unsigned &OpCode) {
|
|
|
|
initNames2InstrOpCodes();
|
|
|
|
auto InstrInfo = Names2InstrOpCodes.find(InstrName);
|
|
|
|
if (InstrInfo == Names2InstrOpCodes.end())
|
|
|
|
return true;
|
|
|
|
OpCode = InstrInfo->getValue();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-06-24 00:35:26 +08:00
|
|
|
void MIParser::initNames2Regs() {
|
|
|
|
if (!Names2Regs.empty())
|
|
|
|
return;
|
2015-06-25 01:34:58 +08:00
|
|
|
// The '%noreg' register is the register 0.
|
|
|
|
Names2Regs.insert(std::make_pair("noreg", 0));
|
2015-06-24 00:35:26 +08:00
|
|
|
const auto *TRI = MF.getSubtarget().getRegisterInfo();
|
|
|
|
assert(TRI && "Expected target register info");
|
|
|
|
for (unsigned I = 0, E = TRI->getNumRegs(); I < E; ++I) {
|
|
|
|
bool WasInserted =
|
|
|
|
Names2Regs.insert(std::make_pair(StringRef(TRI->getName(I)).lower(), I))
|
|
|
|
.second;
|
|
|
|
(void)WasInserted;
|
|
|
|
assert(WasInserted && "Expected registers to be unique case-insensitively");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::getRegisterByName(StringRef RegName, unsigned &Reg) {
|
|
|
|
initNames2Regs();
|
|
|
|
auto RegInfo = Names2Regs.find(RegName);
|
|
|
|
if (RegInfo == Names2Regs.end())
|
|
|
|
return true;
|
|
|
|
Reg = RegInfo->getValue();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-06-30 00:57:06 +08:00
|
|
|
void MIParser::initNames2RegMasks() {
|
|
|
|
if (!Names2RegMasks.empty())
|
|
|
|
return;
|
|
|
|
const auto *TRI = MF.getSubtarget().getRegisterInfo();
|
|
|
|
assert(TRI && "Expected target register info");
|
|
|
|
ArrayRef<const uint32_t *> RegMasks = TRI->getRegMasks();
|
|
|
|
ArrayRef<const char *> RegMaskNames = TRI->getRegMaskNames();
|
|
|
|
assert(RegMasks.size() == RegMaskNames.size());
|
|
|
|
for (size_t I = 0, E = RegMasks.size(); I < E; ++I)
|
|
|
|
Names2RegMasks.insert(
|
|
|
|
std::make_pair(StringRef(RegMaskNames[I]).lower(), RegMasks[I]));
|
|
|
|
}
|
|
|
|
|
|
|
|
const uint32_t *MIParser::getRegMask(StringRef Identifier) {
|
|
|
|
initNames2RegMasks();
|
|
|
|
auto RegMaskInfo = Names2RegMasks.find(Identifier);
|
|
|
|
if (RegMaskInfo == Names2RegMasks.end())
|
|
|
|
return nullptr;
|
|
|
|
return RegMaskInfo->getValue();
|
|
|
|
}
|
|
|
|
|
2015-07-14 07:24:34 +08:00
|
|
|
void MIParser::initNames2SubRegIndices() {
|
|
|
|
if (!Names2SubRegIndices.empty())
|
|
|
|
return;
|
|
|
|
const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
|
|
|
|
for (unsigned I = 1, E = TRI->getNumSubRegIndices(); I < E; ++I)
|
|
|
|
Names2SubRegIndices.insert(
|
|
|
|
std::make_pair(StringRef(TRI->getSubRegIndexName(I)).lower(), I));
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned MIParser::getSubRegIndex(StringRef Name) {
|
|
|
|
initNames2SubRegIndices();
|
|
|
|
auto SubRegInfo = Names2SubRegIndices.find(Name);
|
|
|
|
if (SubRegInfo == Names2SubRegIndices.end())
|
|
|
|
return 0;
|
|
|
|
return SubRegInfo->getValue();
|
|
|
|
}
|
|
|
|
|
2015-08-07 07:57:04 +08:00
|
|
|
static void initSlots2BasicBlocks(
|
|
|
|
const Function &F,
|
|
|
|
DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
|
|
|
|
ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
|
2015-07-28 06:42:41 +08:00
|
|
|
MST.incorporateFunction(F);
|
|
|
|
for (auto &BB : F) {
|
|
|
|
if (BB.hasName())
|
|
|
|
continue;
|
|
|
|
int Slot = MST.getLocalSlot(&BB);
|
|
|
|
if (Slot == -1)
|
|
|
|
continue;
|
|
|
|
Slots2BasicBlocks.insert(std::make_pair(unsigned(Slot), &BB));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-08-07 07:57:04 +08:00
|
|
|
static const BasicBlock *getIRBlockFromSlot(
|
|
|
|
unsigned Slot,
|
|
|
|
const DenseMap<unsigned, const BasicBlock *> &Slots2BasicBlocks) {
|
2015-07-28 06:42:41 +08:00
|
|
|
auto BlockInfo = Slots2BasicBlocks.find(Slot);
|
|
|
|
if (BlockInfo == Slots2BasicBlocks.end())
|
|
|
|
return nullptr;
|
|
|
|
return BlockInfo->second;
|
|
|
|
}
|
|
|
|
|
2015-08-07 07:57:04 +08:00
|
|
|
const BasicBlock *MIParser::getIRBlock(unsigned Slot) {
|
|
|
|
if (Slots2BasicBlocks.empty())
|
|
|
|
initSlots2BasicBlocks(*MF.getFunction(), Slots2BasicBlocks);
|
|
|
|
return getIRBlockFromSlot(Slot, Slots2BasicBlocks);
|
|
|
|
}
|
|
|
|
|
|
|
|
const BasicBlock *MIParser::getIRBlock(unsigned Slot, const Function &F) {
|
|
|
|
if (&F == MF.getFunction())
|
|
|
|
return getIRBlock(Slot);
|
|
|
|
DenseMap<unsigned, const BasicBlock *> CustomSlots2BasicBlocks;
|
|
|
|
initSlots2BasicBlocks(F, CustomSlots2BasicBlocks);
|
|
|
|
return getIRBlockFromSlot(Slot, CustomSlots2BasicBlocks);
|
|
|
|
}
|
|
|
|
|
2015-08-20 07:31:05 +08:00
|
|
|
static void mapValueToSlot(const Value *V, ModuleSlotTracker &MST,
|
|
|
|
DenseMap<unsigned, const Value *> &Slots2Values) {
|
|
|
|
int Slot = MST.getLocalSlot(V);
|
|
|
|
if (Slot == -1)
|
|
|
|
return;
|
|
|
|
Slots2Values.insert(std::make_pair(unsigned(Slot), V));
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Creates the mapping from slot numbers to function's unnamed IR values.
|
|
|
|
static void initSlots2Values(const Function &F,
|
|
|
|
DenseMap<unsigned, const Value *> &Slots2Values) {
|
|
|
|
ModuleSlotTracker MST(F.getParent(), /*ShouldInitializeAllMetadata=*/false);
|
|
|
|
MST.incorporateFunction(F);
|
|
|
|
for (const auto &Arg : F.args())
|
|
|
|
mapValueToSlot(&Arg, MST, Slots2Values);
|
|
|
|
for (const auto &BB : F) {
|
|
|
|
mapValueToSlot(&BB, MST, Slots2Values);
|
|
|
|
for (const auto &I : BB)
|
|
|
|
mapValueToSlot(&I, MST, Slots2Values);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
const Value *MIParser::getIRValue(unsigned Slot) {
|
|
|
|
if (Slots2Values.empty())
|
|
|
|
initSlots2Values(*MF.getFunction(), Slots2Values);
|
|
|
|
auto ValueInfo = Slots2Values.find(Slot);
|
|
|
|
if (ValueInfo == Slots2Values.end())
|
|
|
|
return nullptr;
|
|
|
|
return ValueInfo->second;
|
|
|
|
}
|
|
|
|
|
2015-07-29 07:02:45 +08:00
|
|
|
void MIParser::initNames2TargetIndices() {
|
|
|
|
if (!Names2TargetIndices.empty())
|
|
|
|
return;
|
|
|
|
const auto *TII = MF.getSubtarget().getInstrInfo();
|
|
|
|
assert(TII && "Expected target instruction info");
|
|
|
|
auto Indices = TII->getSerializableTargetIndices();
|
|
|
|
for (const auto &I : Indices)
|
|
|
|
Names2TargetIndices.insert(std::make_pair(StringRef(I.second), I.first));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::getTargetIndex(StringRef Name, int &Index) {
|
|
|
|
initNames2TargetIndices();
|
|
|
|
auto IndexInfo = Names2TargetIndices.find(Name);
|
|
|
|
if (IndexInfo == Names2TargetIndices.end())
|
|
|
|
return true;
|
|
|
|
Index = IndexInfo->second;
|
|
|
|
return false;
|
2015-08-06 08:44:07 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void MIParser::initNames2DirectTargetFlags() {
|
|
|
|
if (!Names2DirectTargetFlags.empty())
|
|
|
|
return;
|
|
|
|
const auto *TII = MF.getSubtarget().getInstrInfo();
|
|
|
|
assert(TII && "Expected target instruction info");
|
|
|
|
auto Flags = TII->getSerializableDirectMachineOperandTargetFlags();
|
|
|
|
for (const auto &I : Flags)
|
|
|
|
Names2DirectTargetFlags.insert(
|
|
|
|
std::make_pair(StringRef(I.second), I.first));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::getDirectTargetFlag(StringRef Name, unsigned &Flag) {
|
|
|
|
initNames2DirectTargetFlags();
|
|
|
|
auto FlagInfo = Names2DirectTargetFlags.find(Name);
|
|
|
|
if (FlagInfo == Names2DirectTargetFlags.end())
|
|
|
|
return true;
|
|
|
|
Flag = FlagInfo->second;
|
|
|
|
return false;
|
2015-07-29 07:02:45 +08:00
|
|
|
}
|
|
|
|
|
2015-08-19 06:52:15 +08:00
|
|
|
void MIParser::initNames2BitmaskTargetFlags() {
|
|
|
|
if (!Names2BitmaskTargetFlags.empty())
|
|
|
|
return;
|
|
|
|
const auto *TII = MF.getSubtarget().getInstrInfo();
|
|
|
|
assert(TII && "Expected target instruction info");
|
|
|
|
auto Flags = TII->getSerializableBitmaskMachineOperandTargetFlags();
|
|
|
|
for (const auto &I : Flags)
|
|
|
|
Names2BitmaskTargetFlags.insert(
|
|
|
|
std::make_pair(StringRef(I.second), I.first));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIParser::getBitmaskTargetFlag(StringRef Name, unsigned &Flag) {
|
|
|
|
initNames2BitmaskTargetFlags();
|
|
|
|
auto FlagInfo = Names2BitmaskTargetFlags.find(Name);
|
|
|
|
if (FlagInfo == Names2BitmaskTargetFlags.end())
|
|
|
|
return true;
|
|
|
|
Flag = FlagInfo->second;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-07-14 06:23:23 +08:00
|
|
|
bool llvm::parseMachineBasicBlockDefinitions(PerFunctionMIParsingState &PFS,
|
|
|
|
StringRef Src,
|
2015-08-14 07:10:16 +08:00
|
|
|
SMDiagnostic &Error) {
|
2016-07-14 07:27:50 +08:00
|
|
|
return MIParser(PFS, Error, Src).parseBasicBlockDefinitions(PFS.MBBSlots);
|
2015-08-14 07:10:16 +08:00
|
|
|
}
|
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool llvm::parseMachineInstructions(PerFunctionMIParsingState &PFS,
|
2016-07-14 07:27:50 +08:00
|
|
|
StringRef Src, SMDiagnostic &Error) {
|
|
|
|
return MIParser(PFS, Error, Src).parseBasicBlocks();
|
2015-06-23 01:02:30 +08:00
|
|
|
}
|
2015-07-01 02:16:42 +08:00
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool llvm::parseMBBReference(PerFunctionMIParsingState &PFS,
|
2016-07-14 07:27:50 +08:00
|
|
|
MachineBasicBlock *&MBB, StringRef Src,
|
2016-07-14 06:23:23 +08:00
|
|
|
SMDiagnostic &Error) {
|
2016-07-14 07:27:50 +08:00
|
|
|
return MIParser(PFS, Error, Src).parseStandaloneMBB(MBB);
|
2016-11-15 08:03:14 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
bool llvm::parseRegisterReference(PerFunctionMIParsingState &PFS,
|
|
|
|
unsigned &Reg, StringRef Src,
|
|
|
|
SMDiagnostic &Error) {
|
|
|
|
return MIParser(PFS, Error, Src).parseStandaloneRegister(Reg);
|
2015-07-01 02:16:42 +08:00
|
|
|
}
|
2015-07-15 05:24:41 +08:00
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool llvm::parseNamedRegisterReference(PerFunctionMIParsingState &PFS,
|
2016-07-14 07:27:50 +08:00
|
|
|
unsigned &Reg, StringRef Src,
|
2015-07-15 05:24:41 +08:00
|
|
|
SMDiagnostic &Error) {
|
2016-07-14 07:27:50 +08:00
|
|
|
return MIParser(PFS, Error, Src).parseStandaloneNamedRegister(Reg);
|
2015-07-15 05:24:41 +08:00
|
|
|
}
|
2015-07-28 01:42:45 +08:00
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool llvm::parseVirtualRegisterReference(PerFunctionMIParsingState &PFS,
|
|
|
|
VRegInfo *&Info, StringRef Src,
|
2015-07-28 01:42:45 +08:00
|
|
|
SMDiagnostic &Error) {
|
2016-10-11 11:13:01 +08:00
|
|
|
return MIParser(PFS, Error, Src).parseStandaloneVirtualRegister(Info);
|
2015-07-28 01:42:45 +08:00
|
|
|
}
|
2015-08-19 06:26:26 +08:00
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool llvm::parseStackObjectReference(PerFunctionMIParsingState &PFS,
|
2016-07-14 07:27:50 +08:00
|
|
|
int &FI, StringRef Src,
|
2015-08-19 06:26:26 +08:00
|
|
|
SMDiagnostic &Error) {
|
2016-07-14 07:27:50 +08:00
|
|
|
return MIParser(PFS, Error, Src).parseStandaloneStackObject(FI);
|
2015-08-19 06:26:26 +08:00
|
|
|
}
|
2015-08-19 08:13:25 +08:00
|
|
|
|
2016-10-11 11:13:01 +08:00
|
|
|
bool llvm::parseMDNode(PerFunctionMIParsingState &PFS,
|
2016-07-14 07:27:50 +08:00
|
|
|
MDNode *&Node, StringRef Src, SMDiagnostic &Error) {
|
|
|
|
return MIParser(PFS, Error, Src).parseStandaloneMDNode(Node);
|
2015-08-19 08:13:25 +08:00
|
|
|
}
|