summaryrefslogtreecommitdiffstats
path: root/gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp
diff options
context:
space:
mode:
authorpatrick <patrick@openbsd.org>2020-08-03 15:06:44 +0000
committerpatrick <patrick@openbsd.org>2020-08-03 15:06:44 +0000
commitb64793999546ed8adebaeebd9d8345d18db8927d (patch)
tree4357c27b561d73b0e089727c6ed659f2ceff5f47 /gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp
parentAdd support for UTF-8 DISPLAY-HINTs with octet length. For now only (diff)
downloadwireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.tar.xz
wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.zip
Remove LLVM 8.0.1 files.
Diffstat (limited to 'gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp')
-rw-r--r--gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp1478
1 files changed, 0 insertions, 1478 deletions
diff --git a/gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp b/gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp
deleted file mode 100644
index 1d1112cc512..00000000000
--- a/gnu/llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp
+++ /dev/null
@@ -1,1478 +0,0 @@
-//===-- RISCVAsmParser.cpp - Parse RISCV assembly to MCInst instructions --===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-
-#include "MCTargetDesc/RISCVAsmBackend.h"
-#include "MCTargetDesc/RISCVMCExpr.h"
-#include "MCTargetDesc/RISCVMCTargetDesc.h"
-#include "MCTargetDesc/RISCVTargetStreamer.h"
-#include "Utils/RISCVBaseInfo.h"
-#include "Utils/RISCVMatInt.h"
-#include "llvm/ADT/STLExtras.h"
-#include "llvm/ADT/SmallVector.h"
-#include "llvm/ADT/StringSwitch.h"
-#include "llvm/MC/MCAssembler.h"
-#include "llvm/MC/MCContext.h"
-#include "llvm/MC/MCExpr.h"
-#include "llvm/MC/MCInst.h"
-#include "llvm/MC/MCInstBuilder.h"
-#include "llvm/MC/MCParser/MCAsmLexer.h"
-#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
-#include "llvm/MC/MCParser/MCTargetAsmParser.h"
-#include "llvm/MC/MCRegisterInfo.h"
-#include "llvm/MC/MCStreamer.h"
-#include "llvm/MC/MCSubtargetInfo.h"
-#include "llvm/Support/Casting.h"
-#include "llvm/Support/MathExtras.h"
-#include "llvm/Support/TargetRegistry.h"
-
-#include <limits>
-
-using namespace llvm;
-
-// Include the auto-generated portion of the compress emitter.
-#define GEN_COMPRESS_INSTR
-#include "RISCVGenCompressInstEmitter.inc"
-
-namespace {
-struct RISCVOperand;
-
-class RISCVAsmParser : public MCTargetAsmParser {
- SmallVector<FeatureBitset, 4> FeatureBitStack;
-
- SMLoc getLoc() const { return getParser().getTok().getLoc(); }
- bool isRV64() const { return getSTI().hasFeature(RISCV::Feature64Bit); }
-
- RISCVTargetStreamer &getTargetStreamer() {
- MCTargetStreamer &TS = *getParser().getStreamer().getTargetStreamer();
- return static_cast<RISCVTargetStreamer &>(TS);
- }
-
- unsigned validateTargetOperandClass(MCParsedAsmOperand &Op,
- unsigned Kind) override;
-
- bool generateImmOutOfRangeError(OperandVector &Operands, uint64_t ErrorInfo,
- int64_t Lower, int64_t Upper, Twine Msg);
-
- bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
- OperandVector &Operands, MCStreamer &Out,
- uint64_t &ErrorInfo,
- bool MatchingInlineAsm) override;
-
- bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) override;
-
- bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
- SMLoc NameLoc, OperandVector &Operands) override;
-
- bool ParseDirective(AsmToken DirectiveID) override;
-
- // Helper to actually emit an instruction to the MCStreamer. Also, when
- // possible, compression of the instruction is performed.
- void emitToStreamer(MCStreamer &S, const MCInst &Inst);
-
- // Helper to emit a combination of LUI, ADDI(W), and SLLI instructions that
- // synthesize the desired immedate value into the destination register.
- void emitLoadImm(unsigned DestReg, int64_t Value, MCStreamer &Out);
-
- // Helper to emit pseudo instruction "lla" used in PC-rel addressing.
- void emitLoadLocalAddress(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
-
- /// Helper for processing MC instructions that have been successfully matched
- /// by MatchAndEmitInstruction. Modifications to the emitted instructions,
- /// like the expansion of pseudo instructions (e.g., "li"), can be performed
- /// in this method.
- bool processInstruction(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
-
-// Auto-generated instruction matching functions
-#define GET_ASSEMBLER_HEADER
-#include "RISCVGenAsmMatcher.inc"
-
- OperandMatchResultTy parseCSRSystemRegister(OperandVector &Operands);
- OperandMatchResultTy parseImmediate(OperandVector &Operands);
- OperandMatchResultTy parseRegister(OperandVector &Operands,
- bool AllowParens = false);
- OperandMatchResultTy parseMemOpBaseReg(OperandVector &Operands);
- OperandMatchResultTy parseOperandWithModifier(OperandVector &Operands);
- OperandMatchResultTy parseBareSymbol(OperandVector &Operands);
- OperandMatchResultTy parseJALOffset(OperandVector &Operands);
-
- bool parseOperand(OperandVector &Operands, StringRef Mnemonic);
-
- bool parseDirectiveOption();
-
- void setFeatureBits(uint64_t Feature, StringRef FeatureString) {
- if (!(getSTI().getFeatureBits()[Feature])) {
- MCSubtargetInfo &STI = copySTI();
- setAvailableFeatures(
- ComputeAvailableFeatures(STI.ToggleFeature(FeatureString)));
- }
- }
-
- void clearFeatureBits(uint64_t Feature, StringRef FeatureString) {
- if (getSTI().getFeatureBits()[Feature]) {
- MCSubtargetInfo &STI = copySTI();
- setAvailableFeatures(
- ComputeAvailableFeatures(STI.ToggleFeature(FeatureString)));
- }
- }
-
- void pushFeatureBits() {
- FeatureBitStack.push_back(getSTI().getFeatureBits());
- }
-
- bool popFeatureBits() {
- if (FeatureBitStack.empty())
- return true;
-
- FeatureBitset FeatureBits = FeatureBitStack.pop_back_val();
- copySTI().setFeatureBits(FeatureBits);
- setAvailableFeatures(ComputeAvailableFeatures(FeatureBits));
-
- return false;
- }
-public:
- enum RISCVMatchResultTy {
- Match_Dummy = FIRST_TARGET_MATCH_RESULT_TY,
-#define GET_OPERAND_DIAGNOSTIC_TYPES
-#include "RISCVGenAsmMatcher.inc"
-#undef GET_OPERAND_DIAGNOSTIC_TYPES
- };
-
- static bool classifySymbolRef(const MCExpr *Expr,
- RISCVMCExpr::VariantKind &Kind,
- int64_t &Addend);
-
- RISCVAsmParser(const MCSubtargetInfo &STI, MCAsmParser &Parser,
- const MCInstrInfo &MII, const MCTargetOptions &Options)
- : MCTargetAsmParser(Options, STI, MII) {
- Parser.addAliasForDirective(".half", ".2byte");
- Parser.addAliasForDirective(".hword", ".2byte");
- Parser.addAliasForDirective(".word", ".4byte");
- Parser.addAliasForDirective(".dword", ".8byte");
- setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
- }
-};
-
-/// RISCVOperand - Instances of this class represent a parsed machine
-/// instruction
-struct RISCVOperand : public MCParsedAsmOperand {
-
- enum KindTy {
- Token,
- Register,
- Immediate,
- SystemRegister
- } Kind;
-
- bool IsRV64;
-
- struct RegOp {
- unsigned RegNum;
- };
-
- struct ImmOp {
- const MCExpr *Val;
- };
-
- struct SysRegOp {
- const char *Data;
- unsigned Length;
- unsigned Encoding;
- // FIXME: Add the Encoding parsed fields as needed for checks,
- // e.g.: read/write or user/supervisor/machine privileges.
- };
-
- SMLoc StartLoc, EndLoc;
- union {
- StringRef Tok;
- RegOp Reg;
- ImmOp Imm;
- struct SysRegOp SysReg;
- };
-
- RISCVOperand(KindTy K) : MCParsedAsmOperand(), Kind(K) {}
-
-public:
- RISCVOperand(const RISCVOperand &o) : MCParsedAsmOperand() {
- Kind = o.Kind;
- IsRV64 = o.IsRV64;
- StartLoc = o.StartLoc;
- EndLoc = o.EndLoc;
- switch (Kind) {
- case Register:
- Reg = o.Reg;
- break;
- case Immediate:
- Imm = o.Imm;
- break;
- case Token:
- Tok = o.Tok;
- break;
- case SystemRegister:
- SysReg = o.SysReg;
- break;
- }
- }
-
- bool isToken() const override { return Kind == Token; }
- bool isReg() const override { return Kind == Register; }
- bool isImm() const override { return Kind == Immediate; }
- bool isMem() const override { return false; }
- bool isSystemRegister() const { return Kind == SystemRegister; }
-
- static bool evaluateConstantImm(const MCExpr *Expr, int64_t &Imm,
- RISCVMCExpr::VariantKind &VK) {
- if (auto *RE = dyn_cast<RISCVMCExpr>(Expr)) {
- VK = RE->getKind();
- return RE->evaluateAsConstant(Imm);
- }
-
- if (auto CE = dyn_cast<MCConstantExpr>(Expr)) {
- VK = RISCVMCExpr::VK_RISCV_None;
- Imm = CE->getValue();
- return true;
- }
-
- return false;
- }
-
- // True if operand is a symbol with no modifiers, or a constant with no
- // modifiers and isShiftedInt<N-1, 1>(Op).
- template <int N> bool isBareSimmNLsb0() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- bool IsValid;
- if (!IsConstantImm)
- IsValid = RISCVAsmParser::classifySymbolRef(getImm(), VK, Imm);
- else
- IsValid = isShiftedInt<N - 1, 1>(Imm);
- return IsValid && VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- // Predicate methods for AsmOperands defined in RISCVInstrInfo.td
-
- bool isBareSymbol() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- // Must be of 'immediate' type but not a constant.
- if (!isImm() || evaluateConstantImm(getImm(), Imm, VK))
- return false;
- return RISCVAsmParser::classifySymbolRef(getImm(), VK, Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isCSRSystemRegister() const { return isSystemRegister(); }
-
- /// Return true if the operand is a valid for the fence instruction e.g.
- /// ('iorw').
- bool isFenceArg() const {
- if (!isImm())
- return false;
- const MCExpr *Val = getImm();
- auto *SVal = dyn_cast<MCSymbolRefExpr>(Val);
- if (!SVal || SVal->getKind() != MCSymbolRefExpr::VK_None)
- return false;
-
- StringRef Str = SVal->getSymbol().getName();
- // Letters must be unique, taken from 'iorw', and in ascending order. This
- // holds as long as each individual character is one of 'iorw' and is
- // greater than the previous character.
- char Prev = '\0';
- for (char c : Str) {
- if (c != 'i' && c != 'o' && c != 'r' && c != 'w')
- return false;
- if (c <= Prev)
- return false;
- Prev = c;
- }
- return true;
- }
-
- /// Return true if the operand is a valid floating point rounding mode.
- bool isFRMArg() const {
- if (!isImm())
- return false;
- const MCExpr *Val = getImm();
- auto *SVal = dyn_cast<MCSymbolRefExpr>(Val);
- if (!SVal || SVal->getKind() != MCSymbolRefExpr::VK_None)
- return false;
-
- StringRef Str = SVal->getSymbol().getName();
-
- return RISCVFPRndMode::stringToRoundingMode(Str) != RISCVFPRndMode::Invalid;
- }
-
- bool isImmXLenLI() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- if (VK == RISCVMCExpr::VK_RISCV_LO || VK == RISCVMCExpr::VK_RISCV_PCREL_LO)
- return true;
- // Given only Imm, ensuring that the actually specified constant is either
- // a signed or unsigned 64-bit number is unfortunately impossible.
- bool IsInRange = isRV64() ? true : isInt<32>(Imm) || isUInt<32>(Imm);
- return IsConstantImm && IsInRange && VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImmLog2XLen() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- if (!isImm())
- return false;
- if (!evaluateConstantImm(getImm(), Imm, VK) ||
- VK != RISCVMCExpr::VK_RISCV_None)
- return false;
- return (isRV64() && isUInt<6>(Imm)) || isUInt<5>(Imm);
- }
-
- bool isUImmLog2XLenNonZero() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- if (!isImm())
- return false;
- if (!evaluateConstantImm(getImm(), Imm, VK) ||
- VK != RISCVMCExpr::VK_RISCV_None)
- return false;
- if (Imm == 0)
- return false;
- return (isRV64() && isUInt<6>(Imm)) || isUInt<5>(Imm);
- }
-
- bool isUImm5() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isUInt<5>(Imm) && VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImm5NonZero() const {
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isUInt<5>(Imm) && (Imm != 0) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isSImm6() const {
- if (!isImm())
- return false;
- RISCVMCExpr::VariantKind VK;
- int64_t Imm;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isInt<6>(Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isSImm6NonZero() const {
- if (!isImm())
- return false;
- RISCVMCExpr::VariantKind VK;
- int64_t Imm;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isInt<6>(Imm) && (Imm != 0) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isCLUIImm() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && (Imm != 0) &&
- (isUInt<5>(Imm) || (Imm >= 0xfffe0 && Imm <= 0xfffff)) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImm7Lsb00() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isShiftedUInt<5, 2>(Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImm8Lsb00() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isShiftedUInt<6, 2>(Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImm8Lsb000() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isShiftedUInt<5, 3>(Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isSImm9Lsb0() const { return isBareSimmNLsb0<9>(); }
-
- bool isUImm9Lsb000() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isShiftedUInt<6, 3>(Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImm10Lsb00NonZero() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && isShiftedUInt<8, 2>(Imm) && (Imm != 0) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isSImm12() const {
- RISCVMCExpr::VariantKind VK;
- int64_t Imm;
- bool IsValid;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- if (!IsConstantImm)
- IsValid = RISCVAsmParser::classifySymbolRef(getImm(), VK, Imm);
- else
- IsValid = isInt<12>(Imm);
- return IsValid && ((IsConstantImm && VK == RISCVMCExpr::VK_RISCV_None) ||
- VK == RISCVMCExpr::VK_RISCV_LO ||
- VK == RISCVMCExpr::VK_RISCV_PCREL_LO);
- }
-
- bool isSImm12Lsb0() const { return isBareSimmNLsb0<12>(); }
-
- bool isSImm13Lsb0() const { return isBareSimmNLsb0<13>(); }
-
- bool isSImm10Lsb0000NonZero() const {
- if (!isImm())
- return false;
- int64_t Imm;
- RISCVMCExpr::VariantKind VK;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- return IsConstantImm && (Imm != 0) && isShiftedInt<6, 4>(Imm) &&
- VK == RISCVMCExpr::VK_RISCV_None;
- }
-
- bool isUImm20LUI() const {
- RISCVMCExpr::VariantKind VK;
- int64_t Imm;
- bool IsValid;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- if (!IsConstantImm) {
- IsValid = RISCVAsmParser::classifySymbolRef(getImm(), VK, Imm);
- return IsValid && VK == RISCVMCExpr::VK_RISCV_HI;
- } else {
- return isUInt<20>(Imm) && (VK == RISCVMCExpr::VK_RISCV_None ||
- VK == RISCVMCExpr::VK_RISCV_HI);
- }
- }
-
- bool isUImm20AUIPC() const {
- RISCVMCExpr::VariantKind VK;
- int64_t Imm;
- bool IsValid;
- if (!isImm())
- return false;
- bool IsConstantImm = evaluateConstantImm(getImm(), Imm, VK);
- if (!IsConstantImm) {
- IsValid = RISCVAsmParser::classifySymbolRef(getImm(), VK, Imm);
- return IsValid && VK == RISCVMCExpr::VK_RISCV_PCREL_HI;
- } else {
- return isUInt<20>(Imm) && (VK == RISCVMCExpr::VK_RISCV_None ||
- VK == RISCVMCExpr::VK_RISCV_PCREL_HI);
- }
- }
-
- bool isSImm21Lsb0JAL() const { return isBareSimmNLsb0<21>(); }
-
- /// getStartLoc - Gets location of the first token of this operand
- SMLoc getStartLoc() const override { return StartLoc; }
- /// getEndLoc - Gets location of the last token of this operand
- SMLoc getEndLoc() const override { return EndLoc; }
- /// True if this operand is for an RV64 instruction
- bool isRV64() const { return IsRV64; }
-
- unsigned getReg() const override {
- assert(Kind == Register && "Invalid type access!");
- return Reg.RegNum;
- }
-
- StringRef getSysReg() const {
- assert(Kind == SystemRegister && "Invalid access!");
- return StringRef(SysReg.Data, SysReg.Length);
- }
-
- const MCExpr *getImm() const {
- assert(Kind == Immediate && "Invalid type access!");
- return Imm.Val;
- }
-
- StringRef getToken() const {
- assert(Kind == Token && "Invalid type access!");
- return Tok;
- }
-
- void print(raw_ostream &OS) const override {
- switch (Kind) {
- case Immediate:
- OS << *getImm();
- break;
- case Register:
- OS << "<register x";
- OS << getReg() << ">";
- break;
- case Token:
- OS << "'" << getToken() << "'";
- break;
- case SystemRegister:
- OS << "<sysreg: " << getSysReg() << '>';
- break;
- }
- }
-
- static std::unique_ptr<RISCVOperand> createToken(StringRef Str, SMLoc S,
- bool IsRV64) {
- auto Op = make_unique<RISCVOperand>(Token);
- Op->Tok = Str;
- Op->StartLoc = S;
- Op->EndLoc = S;
- Op->IsRV64 = IsRV64;
- return Op;
- }
-
- static std::unique_ptr<RISCVOperand> createReg(unsigned RegNo, SMLoc S,
- SMLoc E, bool IsRV64) {
- auto Op = make_unique<RISCVOperand>(Register);
- Op->Reg.RegNum = RegNo;
- Op->StartLoc = S;
- Op->EndLoc = E;
- Op->IsRV64 = IsRV64;
- return Op;
- }
-
- static std::unique_ptr<RISCVOperand> createImm(const MCExpr *Val, SMLoc S,
- SMLoc E, bool IsRV64) {
- auto Op = make_unique<RISCVOperand>(Immediate);
- Op->Imm.Val = Val;
- Op->StartLoc = S;
- Op->EndLoc = E;
- Op->IsRV64 = IsRV64;
- return Op;
- }
-
- static std::unique_ptr<RISCVOperand>
- createSysReg(StringRef Str, SMLoc S, unsigned Encoding, bool IsRV64) {
- auto Op = make_unique<RISCVOperand>(SystemRegister);
- Op->SysReg.Data = Str.data();
- Op->SysReg.Length = Str.size();
- Op->SysReg.Encoding = Encoding;
- Op->StartLoc = S;
- Op->IsRV64 = IsRV64;
- return Op;
- }
-
- void addExpr(MCInst &Inst, const MCExpr *Expr) const {
- assert(Expr && "Expr shouldn't be null!");
- int64_t Imm = 0;
- RISCVMCExpr::VariantKind VK;
- bool IsConstant = evaluateConstantImm(Expr, Imm, VK);
-
- if (IsConstant)
- Inst.addOperand(MCOperand::createImm(Imm));
- else
- Inst.addOperand(MCOperand::createExpr(Expr));
- }
-
- // Used by the TableGen Code
- void addRegOperands(MCInst &Inst, unsigned N) const {
- assert(N == 1 && "Invalid number of operands!");
- Inst.addOperand(MCOperand::createReg(getReg()));
- }
-
- void addImmOperands(MCInst &Inst, unsigned N) const {
- assert(N == 1 && "Invalid number of operands!");
- addExpr(Inst, getImm());
- }
-
- void addFenceArgOperands(MCInst &Inst, unsigned N) const {
- assert(N == 1 && "Invalid number of operands!");
- // isFenceArg has validated the operand, meaning this cast is safe
- auto SE = cast<MCSymbolRefExpr>(getImm());
-
- unsigned Imm = 0;
- for (char c : SE->getSymbol().getName()) {
- switch (c) {
- default:
- llvm_unreachable("FenceArg must contain only [iorw]");
- case 'i': Imm |= RISCVFenceField::I; break;
- case 'o': Imm |= RISCVFenceField::O; break;
- case 'r': Imm |= RISCVFenceField::R; break;
- case 'w': Imm |= RISCVFenceField::W; break;
- }
- }
- Inst.addOperand(MCOperand::createImm(Imm));
- }
-
- void addCSRSystemRegisterOperands(MCInst &Inst, unsigned N) const {
- assert(N == 1 && "Invalid number of operands!");
- Inst.addOperand(MCOperand::createImm(SysReg.Encoding));
- }
-
- // Returns the rounding mode represented by this RISCVOperand. Should only
- // be called after checking isFRMArg.
- RISCVFPRndMode::RoundingMode getRoundingMode() const {
- // isFRMArg has validated the operand, meaning this cast is safe.
- auto SE = cast<MCSymbolRefExpr>(getImm());
- RISCVFPRndMode::RoundingMode FRM =
- RISCVFPRndMode::stringToRoundingMode(SE->getSymbol().getName());
- assert(FRM != RISCVFPRndMode::Invalid && "Invalid rounding mode");
- return FRM;
- }
-
- void addFRMArgOperands(MCInst &Inst, unsigned N) const {
- assert(N == 1 && "Invalid number of operands!");
- Inst.addOperand(MCOperand::createImm(getRoundingMode()));
- }
-};
-} // end anonymous namespace.
-
-#define GET_REGISTER_MATCHER
-#define GET_MATCHER_IMPLEMENTATION
-#include "RISCVGenAsmMatcher.inc"
-
-// Return the matching FPR64 register for the given FPR32.
-// FIXME: Ideally this function could be removed in favour of using
-// information from TableGen.
-unsigned convertFPR32ToFPR64(unsigned Reg) {
- switch (Reg) {
- default:
- llvm_unreachable("Not a recognised FPR32 register");
- case RISCV::F0_32: return RISCV::F0_64;
- case RISCV::F1_32: return RISCV::F1_64;
- case RISCV::F2_32: return RISCV::F2_64;
- case RISCV::F3_32: return RISCV::F3_64;
- case RISCV::F4_32: return RISCV::F4_64;
- case RISCV::F5_32: return RISCV::F5_64;
- case RISCV::F6_32: return RISCV::F6_64;
- case RISCV::F7_32: return RISCV::F7_64;
- case RISCV::F8_32: return RISCV::F8_64;
- case RISCV::F9_32: return RISCV::F9_64;
- case RISCV::F10_32: return RISCV::F10_64;
- case RISCV::F11_32: return RISCV::F11_64;
- case RISCV::F12_32: return RISCV::F12_64;
- case RISCV::F13_32: return RISCV::F13_64;
- case RISCV::F14_32: return RISCV::F14_64;
- case RISCV::F15_32: return RISCV::F15_64;
- case RISCV::F16_32: return RISCV::F16_64;
- case RISCV::F17_32: return RISCV::F17_64;
- case RISCV::F18_32: return RISCV::F18_64;
- case RISCV::F19_32: return RISCV::F19_64;
- case RISCV::F20_32: return RISCV::F20_64;
- case RISCV::F21_32: return RISCV::F21_64;
- case RISCV::F22_32: return RISCV::F22_64;
- case RISCV::F23_32: return RISCV::F23_64;
- case RISCV::F24_32: return RISCV::F24_64;
- case RISCV::F25_32: return RISCV::F25_64;
- case RISCV::F26_32: return RISCV::F26_64;
- case RISCV::F27_32: return RISCV::F27_64;
- case RISCV::F28_32: return RISCV::F28_64;
- case RISCV::F29_32: return RISCV::F29_64;
- case RISCV::F30_32: return RISCV::F30_64;
- case RISCV::F31_32: return RISCV::F31_64;
- }
-}
-
-unsigned RISCVAsmParser::validateTargetOperandClass(MCParsedAsmOperand &AsmOp,
- unsigned Kind) {
- RISCVOperand &Op = static_cast<RISCVOperand &>(AsmOp);
- if (!Op.isReg())
- return Match_InvalidOperand;
-
- unsigned Reg = Op.getReg();
- bool IsRegFPR32 =
- RISCVMCRegisterClasses[RISCV::FPR32RegClassID].contains(Reg);
- bool IsRegFPR32C =
- RISCVMCRegisterClasses[RISCV::FPR32CRegClassID].contains(Reg);
-
- // As the parser couldn't differentiate an FPR32 from an FPR64, coerce the
- // register from FPR32 to FPR64 or FPR32C to FPR64C if necessary.
- if ((IsRegFPR32 && Kind == MCK_FPR64) ||
- (IsRegFPR32C && Kind == MCK_FPR64C)) {
- Op.Reg.RegNum = convertFPR32ToFPR64(Reg);
- return Match_Success;
- }
- return Match_InvalidOperand;
-}
-
-bool RISCVAsmParser::generateImmOutOfRangeError(
- OperandVector &Operands, uint64_t ErrorInfo, int64_t Lower, int64_t Upper,
- Twine Msg = "immediate must be an integer in the range") {
- SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
- return Error(ErrorLoc, Msg + " [" + Twine(Lower) + ", " + Twine(Upper) + "]");
-}
-
-bool RISCVAsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
- OperandVector &Operands,
- MCStreamer &Out,
- uint64_t &ErrorInfo,
- bool MatchingInlineAsm) {
- MCInst Inst;
-
- auto Result =
- MatchInstructionImpl(Operands, Inst, ErrorInfo, MatchingInlineAsm);
- switch (Result) {
- default:
- break;
- case Match_Success:
- return processInstruction(Inst, IDLoc, Out);
- case Match_MissingFeature:
- return Error(IDLoc, "instruction use requires an option to be enabled");
- case Match_MnemonicFail:
- return Error(IDLoc, "unrecognized instruction mnemonic");
- case Match_InvalidOperand: {
- SMLoc ErrorLoc = IDLoc;
- if (ErrorInfo != ~0U) {
- if (ErrorInfo >= Operands.size())
- return Error(ErrorLoc, "too few operands for instruction");
-
- ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
- if (ErrorLoc == SMLoc())
- ErrorLoc = IDLoc;
- }
- return Error(ErrorLoc, "invalid operand for instruction");
- }
- }
-
- // Handle the case when the error message is of specific type
- // other than the generic Match_InvalidOperand, and the
- // corresponding operand is missing.
- if (Result > FIRST_TARGET_MATCH_RESULT_TY) {
- SMLoc ErrorLoc = IDLoc;
- if (ErrorInfo != ~0U && ErrorInfo >= Operands.size())
- return Error(ErrorLoc, "too few operands for instruction");
- }
-
- switch(Result) {
- default:
- break;
- case Match_InvalidImmXLenLI:
- if (isRV64()) {
- SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
- return Error(ErrorLoc, "operand must be a constant 64-bit integer");
- }
- return generateImmOutOfRangeError(Operands, ErrorInfo,
- std::numeric_limits<int32_t>::min(),
- std::numeric_limits<uint32_t>::max());
- case Match_InvalidUImmLog2XLen:
- if (isRV64())
- return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 6) - 1);
- return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 5) - 1);
- case Match_InvalidUImmLog2XLenNonZero:
- if (isRV64())
- return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 6) - 1);
- return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 5) - 1);
- case Match_InvalidUImm5:
- return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 5) - 1);
- case Match_InvalidSImm6:
- return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 5),
- (1 << 5) - 1);
- case Match_InvalidSImm6NonZero:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 5), (1 << 5) - 1,
- "immediate must be non-zero in the range");
- case Match_InvalidCLUIImm:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 1, (1 << 5) - 1,
- "immediate must be in [0xfffe0, 0xfffff] or");
- case Match_InvalidUImm7Lsb00:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 0, (1 << 7) - 4,
- "immediate must be a multiple of 4 bytes in the range");
- case Match_InvalidUImm8Lsb00:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 0, (1 << 8) - 4,
- "immediate must be a multiple of 4 bytes in the range");
- case Match_InvalidUImm8Lsb000:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 0, (1 << 8) - 8,
- "immediate must be a multiple of 8 bytes in the range");
- case Match_InvalidSImm9Lsb0:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 8), (1 << 8) - 2,
- "immediate must be a multiple of 2 bytes in the range");
- case Match_InvalidUImm9Lsb000:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 0, (1 << 9) - 8,
- "immediate must be a multiple of 8 bytes in the range");
- case Match_InvalidUImm10Lsb00NonZero:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 4, (1 << 10) - 4,
- "immediate must be a multiple of 4 bytes in the range");
- case Match_InvalidSImm10Lsb0000NonZero:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 9), (1 << 9) - 16,
- "immediate must be a multiple of 16 bytes and non-zero in the range");
- case Match_InvalidSImm12:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 11), (1 << 11) - 1,
- "operand must be a symbol with %lo/%pcrel_lo modifier or an integer in "
- "the range");
- case Match_InvalidSImm12Lsb0:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 11), (1 << 11) - 2,
- "immediate must be a multiple of 2 bytes in the range");
- case Match_InvalidSImm13Lsb0:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 12), (1 << 12) - 2,
- "immediate must be a multiple of 2 bytes in the range");
- case Match_InvalidUImm20LUI:
- return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 20) - 1,
- "operand must be a symbol with %hi() "
- "modifier or an integer in the range");
- case Match_InvalidUImm20AUIPC:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, 0, (1 << 20) - 1,
- "operand must be a symbol with %pcrel_hi() modifier or an integer in "
- "the range");
- case Match_InvalidSImm21Lsb0JAL:
- return generateImmOutOfRangeError(
- Operands, ErrorInfo, -(1 << 20), (1 << 20) - 2,
- "immediate must be a multiple of 2 bytes in the range");
- case Match_InvalidCSRSystemRegister: {
- return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 12) - 1,
- "operand must be a valid system register "
- "name or an integer in the range");
- }
- case Match_InvalidFenceArg: {
- SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
- return Error(
- ErrorLoc,
- "operand must be formed of letters selected in-order from 'iorw'");
- }
- case Match_InvalidFRMArg: {
- SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
- return Error(
- ErrorLoc,
- "operand must be a valid floating point rounding mode mnemonic");
- }
- case Match_InvalidBareSymbol: {
- SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
- return Error(ErrorLoc, "operand must be a bare symbol name");
- }
- }
-
- llvm_unreachable("Unknown match type detected!");
-}
-
-bool RISCVAsmParser::ParseRegister(unsigned &RegNo, SMLoc &StartLoc,
- SMLoc &EndLoc) {
- const AsmToken &Tok = getParser().getTok();
- StartLoc = Tok.getLoc();
- EndLoc = Tok.getEndLoc();
- RegNo = 0;
- StringRef Name = getLexer().getTok().getIdentifier();
-
- if (!MatchRegisterName(Name) || !MatchRegisterAltName(Name)) {
- getParser().Lex(); // Eat identifier token.
- return false;
- }
-
- return Error(StartLoc, "invalid register name");
-}
-
-OperandMatchResultTy RISCVAsmParser::parseRegister(OperandVector &Operands,
- bool AllowParens) {
- SMLoc FirstS = getLoc();
- bool HadParens = false;
- AsmToken Buf[2];
-
- // If this a parenthesised register name is allowed, parse it atomically
- if (AllowParens && getLexer().is(AsmToken::LParen)) {
- size_t ReadCount = getLexer().peekTokens(Buf);
- if (ReadCount == 2 && Buf[1].getKind() == AsmToken::RParen) {
- HadParens = true;
- getParser().Lex(); // Eat '('
- }
- }
-
- switch (getLexer().getKind()) {
- default:
- return MatchOperand_NoMatch;
- case AsmToken::Identifier:
- StringRef Name = getLexer().getTok().getIdentifier();
- unsigned RegNo = MatchRegisterName(Name);
- if (RegNo == 0) {
- RegNo = MatchRegisterAltName(Name);
- if (RegNo == 0) {
- if (HadParens)
- getLexer().UnLex(Buf[0]);
- return MatchOperand_NoMatch;
- }
- }
- if (HadParens)
- Operands.push_back(RISCVOperand::createToken("(", FirstS, isRV64()));
- SMLoc S = getLoc();
- SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1);
- getLexer().Lex();
- Operands.push_back(RISCVOperand::createReg(RegNo, S, E, isRV64()));
- }
-
- if (HadParens) {
- getParser().Lex(); // Eat ')'
- Operands.push_back(RISCVOperand::createToken(")", getLoc(), isRV64()));
- }
-
- return MatchOperand_Success;
-}
-
-OperandMatchResultTy
-RISCVAsmParser::parseCSRSystemRegister(OperandVector &Operands) {
- SMLoc S = getLoc();
- const MCExpr *Res;
-
- switch (getLexer().getKind()) {
- default:
- return MatchOperand_NoMatch;
- case AsmToken::LParen:
- case AsmToken::Minus:
- case AsmToken::Plus:
- case AsmToken::Integer:
- case AsmToken::String: {
- if (getParser().parseExpression(Res))
- return MatchOperand_ParseFail;
-
- auto *CE = dyn_cast<MCConstantExpr>(Res);
- if (CE) {
- int64_t Imm = CE->getValue();
- if (isUInt<12>(Imm)) {
- auto SysReg = RISCVSysReg::lookupSysRegByEncoding(Imm);
- // Accept an immediate representing a named or un-named Sys Reg
- // if the range is valid, regardless of the required features.
- Operands.push_back(RISCVOperand::createSysReg(
- SysReg ? SysReg->Name : "", S, Imm, isRV64()));
- return MatchOperand_Success;
- }
- }
-
- Twine Msg = "immediate must be an integer in the range";
- Error(S, Msg + " [" + Twine(0) + ", " + Twine((1 << 12) - 1) + "]");
- return MatchOperand_ParseFail;
- }
- case AsmToken::Identifier: {
- StringRef Identifier;
- if (getParser().parseIdentifier(Identifier))
- return MatchOperand_ParseFail;
-
- auto SysReg = RISCVSysReg::lookupSysRegByName(Identifier);
- // Accept a named Sys Reg if the required features are present.
- if (SysReg) {
- if (!SysReg->haveRequiredFeatures(getSTI().getFeatureBits())) {
- Error(S, "system register use requires an option to be enabled");
- return MatchOperand_ParseFail;
- }
- Operands.push_back(RISCVOperand::createSysReg(
- Identifier, S, SysReg->Encoding, isRV64()));
- return MatchOperand_Success;
- }
-
- Twine Msg = "operand must be a valid system register name "
- "or an integer in the range";
- Error(S, Msg + " [" + Twine(0) + ", " + Twine((1 << 12) - 1) + "]");
- return MatchOperand_ParseFail;
- }
- case AsmToken::Percent: {
- // Discard operand with modifier.
- Twine Msg = "immediate must be an integer in the range";
- Error(S, Msg + " [" + Twine(0) + ", " + Twine((1 << 12) - 1) + "]");
- return MatchOperand_ParseFail;
- }
- }
-
- return MatchOperand_NoMatch;
-}
-
-OperandMatchResultTy RISCVAsmParser::parseImmediate(OperandVector &Operands) {
- SMLoc S = getLoc();
- SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1);
- const MCExpr *Res;
-
- switch (getLexer().getKind()) {
- default:
- return MatchOperand_NoMatch;
- case AsmToken::LParen:
- case AsmToken::Minus:
- case AsmToken::Plus:
- case AsmToken::Integer:
- case AsmToken::String:
- case AsmToken::Identifier:
- if (getParser().parseExpression(Res))
- return MatchOperand_ParseFail;
- break;
- case AsmToken::Percent:
- return parseOperandWithModifier(Operands);
- }
-
- Operands.push_back(RISCVOperand::createImm(Res, S, E, isRV64()));
- return MatchOperand_Success;
-}
-
-OperandMatchResultTy
-RISCVAsmParser::parseOperandWithModifier(OperandVector &Operands) {
- SMLoc S = getLoc();
- SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1);
-
- if (getLexer().getKind() != AsmToken::Percent) {
- Error(getLoc(), "expected '%' for operand modifier");
- return MatchOperand_ParseFail;
- }
-
- getParser().Lex(); // Eat '%'
-
- if (getLexer().getKind() != AsmToken::Identifier) {
- Error(getLoc(), "expected valid identifier for operand modifier");
- return MatchOperand_ParseFail;
- }
- StringRef Identifier = getParser().getTok().getIdentifier();
- RISCVMCExpr::VariantKind VK = RISCVMCExpr::getVariantKindForName(Identifier);
- if (VK == RISCVMCExpr::VK_RISCV_Invalid) {
- Error(getLoc(), "unrecognized operand modifier");
- return MatchOperand_ParseFail;
- }
-
- getParser().Lex(); // Eat the identifier
- if (getLexer().getKind() != AsmToken::LParen) {
- Error(getLoc(), "expected '('");
- return MatchOperand_ParseFail;
- }
- getParser().Lex(); // Eat '('
-
- const MCExpr *SubExpr;
- if (getParser().parseParenExpression(SubExpr, E)) {
- return MatchOperand_ParseFail;
- }
-
- const MCExpr *ModExpr = RISCVMCExpr::create(SubExpr, VK, getContext());
- Operands.push_back(RISCVOperand::createImm(ModExpr, S, E, isRV64()));
- return MatchOperand_Success;
-}
-
-OperandMatchResultTy RISCVAsmParser::parseBareSymbol(OperandVector &Operands) {
- SMLoc S = getLoc();
- SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1);
- const MCExpr *Res;
-
- if (getLexer().getKind() != AsmToken::Identifier)
- return MatchOperand_NoMatch;
-
- StringRef Identifier;
- if (getParser().parseIdentifier(Identifier))
- return MatchOperand_ParseFail;
-
- MCSymbol *Sym = getContext().getOrCreateSymbol(Identifier);
- Res = MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, getContext());
- Operands.push_back(RISCVOperand::createImm(Res, S, E, isRV64()));
- return MatchOperand_Success;
-}
-
-OperandMatchResultTy RISCVAsmParser::parseJALOffset(OperandVector &Operands) {
- // Parsing jal operands is fiddly due to the `jal foo` and `jal ra, foo`
- // both being acceptable forms. When parsing `jal ra, foo` this function
- // will be called for the `ra` register operand in an attempt to match the
- // single-operand alias. parseJALOffset must fail for this case. It would
- // seem logical to try parse the operand using parseImmediate and return
- // NoMatch if the next token is a comma (meaning we must be parsing a jal in
- // the second form rather than the first). We can't do this as there's no
- // way of rewinding the lexer state. Instead, return NoMatch if this operand
- // is an identifier and is followed by a comma.
- if (getLexer().is(AsmToken::Identifier) &&
- getLexer().peekTok().is(AsmToken::Comma))
- return MatchOperand_NoMatch;
-
- return parseImmediate(Operands);
-}
-
-OperandMatchResultTy
-RISCVAsmParser::parseMemOpBaseReg(OperandVector &Operands) {
- if (getLexer().isNot(AsmToken::LParen)) {
- Error(getLoc(), "expected '('");
- return MatchOperand_ParseFail;
- }
-
- getParser().Lex(); // Eat '('
- Operands.push_back(RISCVOperand::createToken("(", getLoc(), isRV64()));
-
- if (parseRegister(Operands) != MatchOperand_Success) {
- Error(getLoc(), "expected register");
- return MatchOperand_ParseFail;
- }
-
- if (getLexer().isNot(AsmToken::RParen)) {
- Error(getLoc(), "expected ')'");
- return MatchOperand_ParseFail;
- }
-
- getParser().Lex(); // Eat ')'
- Operands.push_back(RISCVOperand::createToken(")", getLoc(), isRV64()));
-
- return MatchOperand_Success;
-}
-
-/// Looks at a token type and creates the relevant operand from this
-/// information, adding to Operands. If operand was parsed, returns false, else
-/// true.
-bool RISCVAsmParser::parseOperand(OperandVector &Operands, StringRef Mnemonic) {
- // Check if the current operand has a custom associated parser, if so, try to
- // custom parse the operand, or fallback to the general approach.
- OperandMatchResultTy Result =
- MatchOperandParserImpl(Operands, Mnemonic, /*ParseForAllFeatures=*/true);
- if (Result == MatchOperand_Success)
- return false;
- if (Result == MatchOperand_ParseFail)
- return true;
-
- // Attempt to parse token as a register.
- if (parseRegister(Operands, true) == MatchOperand_Success)
- return false;
-
- // Attempt to parse token as an immediate
- if (parseImmediate(Operands) == MatchOperand_Success) {
- // Parse memory base register if present
- if (getLexer().is(AsmToken::LParen))
- return parseMemOpBaseReg(Operands) != MatchOperand_Success;
- return false;
- }
-
- // Finally we have exhausted all options and must declare defeat.
- Error(getLoc(), "unknown operand");
- return true;
-}
-
-bool RISCVAsmParser::ParseInstruction(ParseInstructionInfo &Info,
- StringRef Name, SMLoc NameLoc,
- OperandVector &Operands) {
- // Ensure that if the instruction occurs when relaxation is enabled,
- // relocations are forced for the file. Ideally this would be done when there
- // is enough information to reliably determine if the instruction itself may
- // cause relaxations. Unfortunately instruction processing stage occurs in the
- // same pass as relocation emission, so it's too late to set a 'sticky bit'
- // for the entire file.
- if (getSTI().getFeatureBits()[RISCV::FeatureRelax]) {
- auto *Assembler = getTargetStreamer().getStreamer().getAssemblerPtr();
- if (Assembler != nullptr) {
- RISCVAsmBackend &MAB =
- static_cast<RISCVAsmBackend &>(Assembler->getBackend());
- MAB.setForceRelocs();
- }
- }
-
- // First operand is token for instruction
- Operands.push_back(RISCVOperand::createToken(Name, NameLoc, isRV64()));
-
- // If there are no more operands, then finish
- if (getLexer().is(AsmToken::EndOfStatement))
- return false;
-
- // Parse first operand
- if (parseOperand(Operands, Name))
- return true;
-
- // Parse until end of statement, consuming commas between operands
- unsigned OperandIdx = 1;
- while (getLexer().is(AsmToken::Comma)) {
- // Consume comma token
- getLexer().Lex();
-
- // Parse next operand
- if (parseOperand(Operands, Name))
- return true;
-
- ++OperandIdx;
- }
-
- if (getLexer().isNot(AsmToken::EndOfStatement)) {
- SMLoc Loc = getLexer().getLoc();
- getParser().eatToEndOfStatement();
- return Error(Loc, "unexpected token");
- }
-
- getParser().Lex(); // Consume the EndOfStatement.
- return false;
-}
-
-bool RISCVAsmParser::classifySymbolRef(const MCExpr *Expr,
- RISCVMCExpr::VariantKind &Kind,
- int64_t &Addend) {
- Kind = RISCVMCExpr::VK_RISCV_None;
- Addend = 0;
-
- if (const RISCVMCExpr *RE = dyn_cast<RISCVMCExpr>(Expr)) {
- Kind = RE->getKind();
- Expr = RE->getSubExpr();
- }
-
- // It's a simple symbol reference or constant with no addend.
- if (isa<MCConstantExpr>(Expr) || isa<MCSymbolRefExpr>(Expr))
- return true;
-
- const MCBinaryExpr *BE = dyn_cast<MCBinaryExpr>(Expr);
- if (!BE)
- return false;
-
- if (!isa<MCSymbolRefExpr>(BE->getLHS()))
- return false;
-
- if (BE->getOpcode() != MCBinaryExpr::Add &&
- BE->getOpcode() != MCBinaryExpr::Sub)
- return false;
-
- // We are able to support the subtraction of two symbol references
- if (BE->getOpcode() == MCBinaryExpr::Sub &&
- isa<MCSymbolRefExpr>(BE->getRHS()))
- return true;
-
- // See if the addend is a constant, otherwise there's more going
- // on here than we can deal with.
- auto AddendExpr = dyn_cast<MCConstantExpr>(BE->getRHS());
- if (!AddendExpr)
- return false;
-
- Addend = AddendExpr->getValue();
- if (BE->getOpcode() == MCBinaryExpr::Sub)
- Addend = -Addend;
-
- // It's some symbol reference + a constant addend
- return Kind != RISCVMCExpr::VK_RISCV_Invalid;
-}
-
-bool RISCVAsmParser::ParseDirective(AsmToken DirectiveID) {
- // This returns false if this function recognizes the directive
- // regardless of whether it is successfully handles or reports an
- // error. Otherwise it returns true to give the generic parser a
- // chance at recognizing it.
- StringRef IDVal = DirectiveID.getString();
-
- if (IDVal == ".option")
- return parseDirectiveOption();
-
- return true;
-}
-
-bool RISCVAsmParser::parseDirectiveOption() {
- MCAsmParser &Parser = getParser();
- // Get the option token.
- AsmToken Tok = Parser.getTok();
- // At the moment only identifiers are supported.
- if (Tok.isNot(AsmToken::Identifier))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected identifier");
-
- StringRef Option = Tok.getIdentifier();
-
- if (Option == "push") {
- getTargetStreamer().emitDirectiveOptionPush();
-
- Parser.Lex();
- if (Parser.getTok().isNot(AsmToken::EndOfStatement))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected end of statement");
-
- pushFeatureBits();
- return false;
- }
-
- if (Option == "pop") {
- SMLoc StartLoc = Parser.getTok().getLoc();
- getTargetStreamer().emitDirectiveOptionPop();
-
- Parser.Lex();
- if (Parser.getTok().isNot(AsmToken::EndOfStatement))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected end of statement");
-
- if (popFeatureBits())
- return Error(StartLoc, ".option pop with no .option push");
-
- return false;
- }
-
- if (Option == "rvc") {
- getTargetStreamer().emitDirectiveOptionRVC();
-
- Parser.Lex();
- if (Parser.getTok().isNot(AsmToken::EndOfStatement))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected end of statement");
-
- setFeatureBits(RISCV::FeatureStdExtC, "c");
- return false;
- }
-
- if (Option == "norvc") {
- getTargetStreamer().emitDirectiveOptionNoRVC();
-
- Parser.Lex();
- if (Parser.getTok().isNot(AsmToken::EndOfStatement))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected end of statement");
-
- clearFeatureBits(RISCV::FeatureStdExtC, "c");
- return false;
- }
-
- if (Option == "relax") {
- getTargetStreamer().emitDirectiveOptionRelax();
-
- Parser.Lex();
- if (Parser.getTok().isNot(AsmToken::EndOfStatement))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected end of statement");
-
- setFeatureBits(RISCV::FeatureRelax, "relax");
- return false;
- }
-
- if (Option == "norelax") {
- getTargetStreamer().emitDirectiveOptionNoRelax();
-
- Parser.Lex();
- if (Parser.getTok().isNot(AsmToken::EndOfStatement))
- return Error(Parser.getTok().getLoc(),
- "unexpected token, expected end of statement");
-
- clearFeatureBits(RISCV::FeatureRelax, "relax");
- return false;
- }
-
- // Unknown option.
- Warning(Parser.getTok().getLoc(),
- "unknown option, expected 'push', 'pop', 'rvc', 'norvc', 'relax' or "
- "'norelax'");
- Parser.eatToEndOfStatement();
- return false;
-}
-
-void RISCVAsmParser::emitToStreamer(MCStreamer &S, const MCInst &Inst) {
- MCInst CInst;
- bool Res = compressInst(CInst, Inst, getSTI(), S.getContext());
- CInst.setLoc(Inst.getLoc());
- S.EmitInstruction((Res ? CInst : Inst), getSTI());
-}
-
-void RISCVAsmParser::emitLoadImm(unsigned DestReg, int64_t Value,
- MCStreamer &Out) {
- RISCVMatInt::InstSeq Seq;
- RISCVMatInt::generateInstSeq(Value, isRV64(), Seq);
-
- unsigned SrcReg = RISCV::X0;
- for (RISCVMatInt::Inst &Inst : Seq) {
- if (Inst.Opc == RISCV::LUI) {
- emitToStreamer(
- Out, MCInstBuilder(RISCV::LUI).addReg(DestReg).addImm(Inst.Imm));
- } else {
- emitToStreamer(
- Out, MCInstBuilder(Inst.Opc).addReg(DestReg).addReg(SrcReg).addImm(
- Inst.Imm));
- }
-
- // Only the first instruction has X0 as its source.
- SrcReg = DestReg;
- }
-}
-
-void RISCVAsmParser::emitLoadLocalAddress(MCInst &Inst, SMLoc IDLoc,
- MCStreamer &Out) {
- // The local load address pseudo-instruction "lla" is used in PC-relative
- // addressing of symbols:
- // lla rdest, symbol
- // expands to
- // TmpLabel: AUIPC rdest, %pcrel_hi(symbol)
- // ADDI rdest, %pcrel_lo(TmpLabel)
- MCContext &Ctx = getContext();
-
- MCSymbol *TmpLabel = Ctx.createTempSymbol(
- "pcrel_hi", /* AlwaysAddSuffix */ true, /* CanBeUnnamed */ false);
- Out.EmitLabel(TmpLabel);
-
- MCOperand DestReg = Inst.getOperand(0);
- const RISCVMCExpr *Symbol = RISCVMCExpr::create(
- Inst.getOperand(1).getExpr(), RISCVMCExpr::VK_RISCV_PCREL_HI, Ctx);
-
- emitToStreamer(
- Out, MCInstBuilder(RISCV::AUIPC).addOperand(DestReg).addExpr(Symbol));
-
- const MCExpr *RefToLinkTmpLabel =
- RISCVMCExpr::create(MCSymbolRefExpr::create(TmpLabel, Ctx),
- RISCVMCExpr::VK_RISCV_PCREL_LO, Ctx);
-
- emitToStreamer(Out, MCInstBuilder(RISCV::ADDI)
- .addOperand(DestReg)
- .addOperand(DestReg)
- .addExpr(RefToLinkTmpLabel));
-}
-
-bool RISCVAsmParser::processInstruction(MCInst &Inst, SMLoc IDLoc,
- MCStreamer &Out) {
- Inst.setLoc(IDLoc);
-
- if (Inst.getOpcode() == RISCV::PseudoLI) {
- unsigned Reg = Inst.getOperand(0).getReg();
- const MCOperand &Op1 = Inst.getOperand(1);
- if (Op1.isExpr()) {
- // We must have li reg, %lo(sym) or li reg, %pcrel_lo(sym) or similar.
- // Just convert to an addi. This allows compatibility with gas.
- emitToStreamer(Out, MCInstBuilder(RISCV::ADDI)
- .addReg(Reg)
- .addReg(RISCV::X0)
- .addExpr(Op1.getExpr()));
- return false;
- }
- int64_t Imm = Inst.getOperand(1).getImm();
- // On RV32 the immediate here can either be a signed or an unsigned
- // 32-bit number. Sign extension has to be performed to ensure that Imm
- // represents the expected signed 64-bit number.
- if (!isRV64())
- Imm = SignExtend64<32>(Imm);
- emitLoadImm(Reg, Imm, Out);
- return false;
- } else if (Inst.getOpcode() == RISCV::PseudoLLA) {
- emitLoadLocalAddress(Inst, IDLoc, Out);
- return false;
- }
-
- emitToStreamer(Out, Inst);
- return false;
-}
-
-extern "C" void LLVMInitializeRISCVAsmParser() {
- RegisterMCAsmParser<RISCVAsmParser> X(getTheRISCV32Target());
- RegisterMCAsmParser<RISCVAsmParser> Y(getTheRISCV64Target());
-}