49#define DEBUG_TYPE "riscv-asm-parser"
52 "Number of RISC-V Compressed instructions emitted");
64struct ParserOptionsSet {
71 enum class VTypeState {
82 ParserOptionsSet ParserOptions;
84 SMLoc getLoc()
const {
return getParser().
getTok().
getLoc(); }
85 bool isRV64()
const {
return getSTI().hasFeature(RISCV::Feature64Bit); }
86 bool isRVE()
const {
return getSTI().hasFeature(RISCV::FeatureStdExtE); }
87 bool enableExperimentalExtension()
const {
88 return getSTI().hasFeature(RISCV::Experimental);
91 RISCVTargetStreamer &getTargetStreamer() {
92 assert(getParser().getStreamer().getTargetStreamer() &&
93 "do not have a target streamer");
94 MCTargetStreamer &TS = *getParser().getStreamer().getTargetStreamer();
95 return static_cast<RISCVTargetStreamer &
>(TS);
98 unsigned validateTargetOperandClass(MCParsedAsmOperand &
Op,
99 unsigned Kind)
override;
101 bool generateImmOutOfRangeError(
OperandVector &Operands, uint64_t ErrorInfo,
104 bool generateImmOutOfRangeError(SMLoc ErrorLoc, int64_t
Lower, int64_t
Upper,
107 bool matchAndEmitInstruction(SMLoc IDLoc,
unsigned &Opcode,
110 bool MatchingInlineAsm)
override;
113 bool parseRegister(MCRegister &
Reg, SMLoc &StartLoc, SMLoc &EndLoc)
override;
114 ParseStatus tryParseRegister(MCRegister &
Reg, SMLoc &StartLoc,
115 SMLoc &EndLoc)
override;
117 bool parseInstruction(ParseInstructionInfo &
Info, StringRef Name,
120 ParseStatus parseDirective(AsmToken DirectiveID)
override;
122 bool parseVTypeToken(
const AsmToken &Tok, VTypeState &State,
unsigned &Sew,
123 unsigned &Lmul,
bool &Fractional,
bool &TailAgnostic,
124 bool &MaskAgnostic,
bool &AltFmt);
125 bool generateVTypeError(SMLoc ErrorLoc);
127 bool generateXSfmmVTypeError(SMLoc ErrorLoc);
130 void emitToStreamer(MCStreamer &S,
const MCInst &Inst);
134 void emitLoadImm(MCRegister DestReg, int64_t
Value, MCStreamer &Out);
138 void emitAuipcInstPair(MCRegister DestReg, MCRegister TmpReg,
140 unsigned SecondOpcode, SMLoc IDLoc, MCStreamer &Out);
143 void emitLoadLocalAddress(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
146 void emitLoadGlobalAddress(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
149 void emitLoadAddress(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
153 void emitLoadTLSIEAddress(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
157 void emitLoadTLSGDAddress(MCInst &Inst, SMLoc IDLoc, MCStreamer &Out);
160 void emitLoadStoreSymbol(MCInst &Inst,
unsigned Opcode, SMLoc IDLoc,
161 MCStreamer &Out,
bool HasTmpReg);
164 void emitPseudoExtend(MCInst &Inst,
bool SignExtend, int64_t Width,
165 SMLoc IDLoc, MCStreamer &Out);
168 void emitVMSGE(MCInst &Inst,
unsigned Opcode, SMLoc IDLoc, MCStreamer &Out);
174 bool checkPseudoAddTPRel(MCInst &Inst,
OperandVector &Operands);
180 bool checkPseudoTLSDESCCall(MCInst &Inst,
OperandVector &Operands);
183 bool validateInstruction(MCInst &Inst,
OperandVector &Operands);
189 bool processInstruction(MCInst &Inst, SMLoc IDLoc,
OperandVector &Operands,
193#define GET_ASSEMBLER_HEADER
194#include "RISCVGenAsmMatcher.inc"
220 return parseRegList(Operands,
true);
226 bool ExpectNegative =
false);
228 return parseZcmpStackAdj(Operands,
true);
231 bool parseOperand(
OperandVector &Operands, StringRef Mnemonic);
232 bool parseExprWithSpecifier(
const MCExpr *&Res, SMLoc &
E);
233 bool parseDataExpr(
const MCExpr *&Res)
override;
235 bool parseDirectiveOption();
236 bool parseDirectiveAttribute();
237 bool parseDirectiveInsn(SMLoc L);
238 bool parseDirectiveVariantCC();
243 bool resetToArch(StringRef Arch, SMLoc Loc, std::string &Result,
244 bool FromOptionDirective);
246 void setFeatureBits(uint64_t Feature, StringRef FeatureString) {
247 if (!(getSTI().hasFeature(Feature))) {
248 MCSubtargetInfo &STI = copySTI();
249 setAvailableFeatures(
254 void clearFeatureBits(uint64_t Feature, StringRef FeatureString) {
255 if (getSTI().hasFeature(Feature)) {
256 MCSubtargetInfo &STI = copySTI();
257 setAvailableFeatures(
262 void pushFeatureBits() {
263 assert(FeatureBitStack.size() == ParserOptionsStack.size() &&
264 "These two stacks must be kept synchronized");
265 FeatureBitStack.push_back(getSTI().getFeatureBits());
266 ParserOptionsStack.push_back(ParserOptions);
269 bool popFeatureBits() {
270 assert(FeatureBitStack.size() == ParserOptionsStack.size() &&
271 "These two stacks must be kept synchronized");
272 if (FeatureBitStack.empty())
275 FeatureBitset FeatureBits = FeatureBitStack.pop_back_val();
276 copySTI().setFeatureBits(FeatureBits);
277 setAvailableFeatures(ComputeAvailableFeatures(FeatureBits));
279 ParserOptions = ParserOptionsStack.pop_back_val();
284 std::unique_ptr<RISCVOperand> defaultMaskRegOp()
const;
285 std::unique_ptr<RISCVOperand> defaultFRMArgOp()
const;
286 std::unique_ptr<RISCVOperand> defaultFRMArgLegacyOp()
const;
289 enum RISCVMatchResultTy :
unsigned {
290 Match_Dummy = FIRST_TARGET_MATCH_RESULT_TY,
291#define GET_OPERAND_DIAGNOSTIC_TYPES
292#include "RISCVGenAsmMatcher.inc"
293#undef GET_OPERAND_DIAGNOSTIC_TYPES
297 static bool isSymbolDiff(
const MCExpr *Expr);
299 RISCVAsmParser(
const MCSubtargetInfo &STI, MCAsmParser &Parser,
300 const MCInstrInfo &MII,
const MCTargetOptions &
Options)
301 : MCTargetAsmParser(
Options, STI, MII) {
308 setAvailableFeatures(ComputeAvailableFeatures(STI.
getFeatureBits()));
310 auto ABIName = StringRef(
Options.ABIName);
311 if (ABIName.ends_with(
"f") && !getSTI().hasFeature(RISCV::FeatureStdExtF)) {
312 errs() <<
"Hard-float 'f' ABI can't be used for a target that "
313 "doesn't support the F instruction set extension (ignoring "
315 }
else if (ABIName.ends_with(
"d") &&
316 !getSTI().hasFeature(RISCV::FeatureStdExtD)) {
317 errs() <<
"Hard-float 'd' ABI can't be used for a target that "
318 "doesn't support the D instruction set extension (ignoring "
331 getTargetStreamer().emitTargetAttributes(STI,
false);
397 MCRegister OffsetReg;
400 SMLoc StartLoc, EndLoc;
415 RISCVOperand(KindTy K) : Kind(
K) {}
418 RISCVOperand(
const RISCVOperand &o) : MCParsedAsmOperand() {
420 StartLoc =
o.StartLoc;
423 case KindTy::Register:
426 case KindTy::Expression:
429 case KindTy::FPImmediate:
435 case KindTy::SystemRegister:
447 case KindTy::RegList:
450 case KindTy::StackAdj:
451 StackAdj =
o.StackAdj;
459 bool isToken()
const override {
return Kind == KindTy::Token; }
460 bool isReg()
const override {
return Kind == KindTy::Register; }
461 bool isExpr()
const {
return Kind == KindTy::Expression; }
462 bool isV0Reg()
const {
463 return Kind == KindTy::Register &&
Reg.Reg == RISCV::V0;
465 bool isAnyReg()
const {
466 return Kind == KindTy::Register &&
467 (RISCVMCRegisterClasses[RISCV::GPRRegClassID].contains(
Reg.Reg) ||
468 RISCVMCRegisterClasses[RISCV::FPR64RegClassID].contains(
Reg.Reg) ||
469 RISCVMCRegisterClasses[RISCV::VRRegClassID].contains(
Reg.Reg));
471 bool isAnyRegC()
const {
472 return Kind == KindTy::Register &&
473 (RISCVMCRegisterClasses[RISCV::GPRCRegClassID].contains(
Reg.Reg) ||
474 RISCVMCRegisterClasses[RISCV::FPR64CRegClassID].contains(
Reg.Reg));
476 bool isImm()
const override {
return isExpr(); }
477 bool isMem()
const override {
return false; }
478 bool isSystemRegister()
const {
return Kind == KindTy::SystemRegister; }
479 bool isRegReg()
const {
return Kind == KindTy::RegReg; }
480 bool isRegList()
const {
return Kind == KindTy::RegList; }
481 bool isRegListS0()
const {
482 return Kind == KindTy::RegList && RegList.Encoding !=
RISCVZC::RA;
484 bool isStackAdj()
const {
return Kind == KindTy::StackAdj; }
487 return Kind == KindTy::Register &&
488 RISCVMCRegisterClasses[RISCV::GPRRegClassID].contains(
Reg.Reg);
491 bool isGPRPair()
const {
492 return Kind == KindTy::Register &&
493 RISCVMCRegisterClasses[RISCV::GPRPairRegClassID].contains(
Reg.Reg);
496 bool isGPRPairC()
const {
497 return Kind == KindTy::Register &&
498 RISCVMCRegisterClasses[RISCV::GPRPairCRegClassID].contains(
Reg.Reg);
501 bool isGPRPairNoX0()
const {
502 return Kind == KindTy::Register &&
503 RISCVMCRegisterClasses[RISCV::GPRPairNoX0RegClassID].contains(
507 bool isGPRF16()
const {
508 return Kind == KindTy::Register &&
509 RISCVMCRegisterClasses[RISCV::GPRF16RegClassID].contains(
Reg.Reg);
512 bool isGPRF32()
const {
513 return Kind == KindTy::Register &&
514 RISCVMCRegisterClasses[RISCV::GPRF32RegClassID].contains(
Reg.Reg);
517 bool isGPRAsFPR()
const {
return isGPR() &&
Reg.IsGPRAsFPR; }
518 bool isGPRAsFPR16()
const {
return isGPRF16() &&
Reg.IsGPRAsFPR; }
519 bool isGPRAsFPR32()
const {
return isGPRF32() &&
Reg.IsGPRAsFPR; }
520 bool isGPRPairAsFPR64()
const {
return isGPRPair() &&
Reg.IsGPRAsFPR; }
522 static bool evaluateConstantExpr(
const MCExpr *Expr, int64_t &Imm) {
524 Imm =
CE->getValue();
533 template <
int N>
bool isBareSimmNLsb0()
const {
538 if (evaluateConstantExpr(
getExpr(), Imm))
539 return isShiftedInt<
N - 1, 1>(fixImmediateForRV32(Imm, isRV64Expr()));
542 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
548 template <
int N>
bool isBareSimmN()
const {
553 if (evaluateConstantExpr(
getExpr(), Imm))
554 return isInt<N>(fixImmediateForRV32(Imm, isRV64Expr()));
557 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
563 bool isBareSymbol()
const {
566 if (!isExpr() || evaluateConstantExpr(
getExpr(), Imm))
570 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
574 bool isCallSymbol()
const {
577 if (!isExpr() || evaluateConstantExpr(
getExpr(), Imm))
581 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
582 VK == ELF::R_RISCV_CALL_PLT;
585 bool isPseudoJumpSymbol()
const {
588 if (!isExpr() || evaluateConstantExpr(
getExpr(), Imm))
592 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
593 VK == ELF::R_RISCV_CALL_PLT;
596 bool isTPRelAddSymbol()
const {
599 if (!isExpr() || evaluateConstantExpr(
getExpr(), Imm))
603 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
604 VK == ELF::R_RISCV_TPREL_ADD;
607 bool isTLSDESCCallSymbol()
const {
610 if (!isExpr() || evaluateConstantExpr(
getExpr(), Imm))
614 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
615 VK == ELF::R_RISCV_TLSDESC_CALL;
618 bool isCSRSystemRegister()
const {
return isSystemRegister(); }
622 bool isVTypeI10()
const {
623 if (Kind == KindTy::VType)
627 bool isVTypeI11()
const {
628 if (Kind == KindTy::VType)
633 bool isXSfmmVType()
const {
639 bool isFenceArg()
const {
return Kind == KindTy::Fence; }
642 bool isFRMArg()
const {
return Kind == KindTy::FRM; }
643 bool isFRMArgLegacy()
const {
return Kind == KindTy::FRM; }
647 bool isLoadFPImm()
const {
650 if (Kind != KindTy::FPImmediate)
653 APFloat(APFloat::IEEEdouble(), APInt(64, getFPConst())));
656 return Idx >= 0 && Idx != 1;
659 bool isImmXLenLI()
const {
665 if (evaluateConstantExpr(
getExpr(), Imm))
668 return RISCVAsmParser::isSymbolDiff(
getExpr());
671 bool isImmXLenLI_Restricted()
const {
675 bool IsConstantImm = evaluateConstantExpr(
getExpr(), Imm);
677 return IsConstantImm &&
681 template <
unsigned N>
bool isUImm()
const {
685 bool IsConstantImm = evaluateConstantExpr(
getExpr(), Imm);
689 template <
unsigned N,
unsigned S>
bool isUImmShifted()
const {
693 bool IsConstantImm = evaluateConstantExpr(
getExpr(), Imm);
697 template <
class Pred>
bool isUImmPred(Pred p)
const {
701 bool IsConstantImm = evaluateConstantExpr(
getExpr(), Imm);
702 return IsConstantImm &&
p(Imm);
705 bool isUImmLog2XLen()
const {
706 if (isExpr() && isRV64Expr())
711 bool isUImmLog2XLenNonZero()
const {
712 if (isExpr() && isRV64Expr())
713 return isUImmPred([](int64_t Imm) {
return Imm != 0 &&
isUInt<6>(Imm); });
714 return isUImmPred([](int64_t Imm) {
return Imm != 0 &&
isUInt<5>(Imm); });
717 bool isUImmLog2XLenHalf()
const {
718 if (isExpr() && isRV64Expr())
723 bool isUImm1()
const {
return isUImm<1>(); }
724 bool isUImm2()
const {
return isUImm<2>(); }
725 bool isUImm3()
const {
return isUImm<3>(); }
726 bool isUImm4()
const {
return isUImm<4>(); }
727 bool isUImm5()
const {
return isUImm<5>(); }
728 bool isUImm6()
const {
return isUImm<6>(); }
729 bool isUImm7()
const {
return isUImm<7>(); }
730 bool isUImm8()
const {
return isUImm<8>(); }
731 bool isUImm9()
const {
return isUImm<9>(); }
732 bool isUImm10()
const {
return isUImm<10>(); }
733 bool isUImm11()
const {
return isUImm<11>(); }
734 bool isUImm16()
const {
return isUImm<16>(); }
735 bool isUImm20()
const {
return isUImm<20>(); }
736 bool isUImm32()
const {
return isUImm<32>(); }
737 bool isUImm48()
const {
return isUImm<48>(); }
738 bool isUImm64()
const {
return isUImm<64>(); }
740 bool isUImm5NonZero()
const {
741 return isUImmPred([](int64_t Imm) {
return Imm != 0 &&
isUInt<5>(Imm); });
744 bool isUImm5GT3()
const {
745 return isUImmPred([](int64_t Imm) {
return isUInt<5>(Imm) &&
Imm > 3; });
748 bool isUImm5Plus1()
const {
750 [](int64_t Imm) {
return Imm > 0 &&
isUInt<5>(Imm - 1); });
753 bool isUImm5GE6Plus1()
const {
755 [](int64_t Imm) {
return Imm >= 6 &&
isUInt<5>(Imm - 1); });
758 bool isUImm5Slist()
const {
759 return isUImmPred([](int64_t Imm) {
760 return (Imm == 0) || (
Imm == 1) || (Imm == 2) || (
Imm == 4) ||
761 (Imm == 8) || (
Imm == 16) || (Imm == 15) || (
Imm == 31);
765 bool isUImm8GE32()
const {
766 return isUImmPred([](int64_t Imm) {
return isUInt<8>(Imm) &&
Imm >= 32; });
769 bool isRnumArg()
const {
771 [](int64_t Imm) {
return Imm >= INT64_C(0) &&
Imm <= INT64_C(10); });
774 bool isRnumArg_0_7()
const {
776 [](int64_t Imm) {
return Imm >= INT64_C(0) &&
Imm <= INT64_C(7); });
779 bool isRnumArg_1_10()
const {
781 [](int64_t Imm) {
return Imm >= INT64_C(1) &&
Imm <= INT64_C(10); });
784 bool isRnumArg_2_14()
const {
786 [](int64_t Imm) {
return Imm >= INT64_C(2) &&
Imm <= INT64_C(14); });
789 template <
unsigned N>
bool isSImm()
const {
793 bool IsConstantImm = evaluateConstantExpr(
getExpr(), Imm);
794 return IsConstantImm &&
isInt<N>(fixImmediateForRV32(Imm, isRV64Expr()));
797 template <
class Pred>
bool isSImmPred(Pred p)
const {
801 bool IsConstantImm = evaluateConstantExpr(
getExpr(), Imm);
802 return IsConstantImm &&
p(fixImmediateForRV32(Imm, isRV64Expr()));
805 bool isSImm5()
const {
return isSImm<5>(); }
806 bool isSImm6()
const {
return isSImm<6>(); }
807 bool isSImm10()
const {
return isSImm<10>(); }
808 bool isSImm11()
const {
return isSImm<11>(); }
809 bool isSImm12()
const {
return isSImm<12>(); }
810 bool isSImm16()
const {
return isSImm<16>(); }
811 bool isSImm26()
const {
return isSImm<26>(); }
813 bool isSImm5NonZero()
const {
814 return isSImmPred([](int64_t Imm) {
return Imm != 0 &&
isInt<5>(Imm); });
817 bool isSImm6NonZero()
const {
818 return isSImmPred([](int64_t Imm) {
return Imm != 0 &&
isInt<6>(Imm); });
821 bool isCLUIImm()
const {
822 return isUImmPred([](int64_t Imm) {
823 return (
isUInt<5>(Imm) && Imm != 0) || (
Imm >= 0xfffe0 &&
Imm <= 0xfffff);
827 bool isUImm2Lsb0()
const {
return isUImmShifted<1, 1>(); }
829 bool isUImm5Lsb0()
const {
return isUImmShifted<4, 1>(); }
831 bool isUImm6Lsb0()
const {
return isUImmShifted<5, 1>(); }
833 bool isUImm7Lsb00()
const {
return isUImmShifted<5, 2>(); }
835 bool isUImm7Lsb000()
const {
return isUImmShifted<4, 3>(); }
837 bool isUImm8Lsb00()
const {
return isUImmShifted<6, 2>(); }
839 bool isUImm8Lsb000()
const {
return isUImmShifted<5, 3>(); }
841 bool isUImm9Lsb000()
const {
return isUImmShifted<6, 3>(); }
843 bool isUImm14Lsb00()
const {
return isUImmShifted<12, 2>(); }
845 bool isUImm10Lsb00NonZero()
const {
852 static int64_t fixImmediateForRV32(int64_t Imm,
bool IsRV64Imm) {
858 bool isSImm12LO()
const {
863 if (evaluateConstantExpr(
getExpr(), Imm))
864 return isInt<12>(fixImmediateForRV32(Imm, isRV64Expr()));
867 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
870 VK == ELF::R_RISCV_TLSDESC_ADD_LO12);
873 bool isSImm12Lsb00000()
const {
877 bool isSImm10Lsb0000NonZero()
const {
882 bool isSImm16NonZero()
const {
883 return isSImmPred([](int64_t Imm) {
return Imm != 0 &&
isInt<16>(Imm); });
886 bool isUImm16NonZero()
const {
887 return isUImmPred([](int64_t Imm) {
return isUInt<16>(Imm) &&
Imm != 0; });
890 bool isSImm20LI()
const {
895 if (evaluateConstantExpr(
getExpr(), Imm))
896 return isInt<20>(fixImmediateForRV32(Imm, isRV64Expr()));
899 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
903 bool isSImm8Unsigned()
const {
return isSImm<8>() || isUImm<8>(); }
904 bool isSImm10Unsigned()
const {
return isSImm<10>() || isUImm<10>(); }
906 bool isUImm20LUI()
const {
911 if (evaluateConstantExpr(
getExpr(), Imm))
915 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
916 (VK == ELF::R_RISCV_HI20 || VK == ELF::R_RISCV_TPREL_HI20);
919 bool isUImm20AUIPC()
const {
924 if (evaluateConstantExpr(
getExpr(), Imm))
928 return RISCVAsmParser::classifySymbolRef(
getExpr(), VK) &&
929 (VK == ELF::R_RISCV_PCREL_HI20 || VK == ELF::R_RISCV_GOT_HI20 ||
930 VK == ELF::R_RISCV_TLS_GOT_HI20 || VK == ELF::R_RISCV_TLS_GD_HI20 ||
931 VK == ELF::R_RISCV_TLSDESC_HI20);
934 bool isImmZero()
const {
935 return isUImmPred([](int64_t Imm) {
return 0 ==
Imm; });
938 bool isImmThree()
const {
939 return isUImmPred([](int64_t Imm) {
return 3 ==
Imm; });
942 bool isImmFour()
const {
943 return isUImmPred([](int64_t Imm) {
return 4 ==
Imm; });
946 bool isImm5Zibi()
const {
948 [](int64_t Imm) {
return (Imm != 0 &&
isUInt<5>(Imm)) ||
Imm == -1; });
951 bool isSImm5Plus1()
const {
956 bool isSImm18()
const {
957 return isSImmPred([](int64_t Imm) {
return isInt<18>(Imm); });
960 bool isSImm18Lsb0()
const {
964 bool isSImm19Lsb00()
const {
968 bool isSImm20Lsb000()
const {
972 bool isSImm32Lsb0()
const {
977 SMLoc getStartLoc()
const override {
return StartLoc; }
979 SMLoc getEndLoc()
const override {
return EndLoc; }
982 bool isRV64Expr()
const {
983 assert(Kind == KindTy::Expression &&
"Invalid type access!");
987 MCRegister
getReg()
const override {
988 assert(Kind == KindTy::Register &&
"Invalid type access!");
992 StringRef getSysReg()
const {
993 assert(Kind == KindTy::SystemRegister &&
"Invalid type access!");
994 return StringRef(SysReg.Data, SysReg.Length);
997 const MCExpr *
getExpr()
const {
998 assert(Kind == KindTy::Expression &&
"Invalid type access!");
1002 uint64_t getFPConst()
const {
1003 assert(Kind == KindTy::FPImmediate &&
"Invalid type access!");
1008 assert(Kind == KindTy::Token &&
"Invalid type access!");
1012 unsigned getVType()
const {
1013 assert(Kind == KindTy::VType &&
"Invalid type access!");
1018 assert(Kind == KindTy::FRM &&
"Invalid type access!");
1022 unsigned getFence()
const {
1023 assert(Kind == KindTy::Fence &&
"Invalid type access!");
1027 void print(raw_ostream &OS,
const MCAsmInfo &MAI)
const override {
1036 case KindTy::Expression:
1039 OS <<
' ' << (Expr.IsRV64 ?
"rv64" :
"rv32") <<
'>';
1041 case KindTy::FPImmediate:
1042 OS <<
"<fpimm: " << FPImm.Val <<
">";
1044 case KindTy::Register:
1046 << (
Reg.IsGPRAsFPR ?
") GPRasFPR>" :
")>");
1051 case KindTy::SystemRegister:
1052 OS <<
"<sysreg: " << getSysReg() <<
" (" << SysReg.Encoding <<
")>";
1061 roundingModeToString(getFRM());
1069 case KindTy::RegList:
1074 case KindTy::StackAdj:
1075 OS <<
"<stackadj: ";
1079 case KindTy::RegReg:
1080 OS <<
"<RegReg: BaseReg " <<
RegName(
RegReg.BaseReg) <<
" OffsetReg "
1086 static std::unique_ptr<RISCVOperand> createToken(StringRef Str, SMLoc S) {
1087 auto Op = std::make_unique<RISCVOperand>(KindTy::Token);
1094 static std::unique_ptr<RISCVOperand>
1095 createReg(MCRegister
Reg, SMLoc S, SMLoc
E,
bool IsGPRAsFPR =
false) {
1096 auto Op = std::make_unique<RISCVOperand>(KindTy::Register);
1098 Op->Reg.IsGPRAsFPR = IsGPRAsFPR;
1104 static std::unique_ptr<RISCVOperand> createExpr(
const MCExpr *Val, SMLoc S,
1105 SMLoc
E,
bool IsRV64) {
1106 auto Op = std::make_unique<RISCVOperand>(KindTy::Expression);
1107 Op->Expr.Expr = Val;
1108 Op->Expr.IsRV64 = IsRV64;
1114 static std::unique_ptr<RISCVOperand> createFPImm(uint64_t Val, SMLoc S) {
1115 auto Op = std::make_unique<RISCVOperand>(KindTy::FPImmediate);
1116 Op->FPImm.Val = Val;
1122 static std::unique_ptr<RISCVOperand> createSysReg(StringRef Str, SMLoc S,
1123 unsigned Encoding) {
1124 auto Op = std::make_unique<RISCVOperand>(KindTy::SystemRegister);
1125 Op->SysReg.Data = Str.data();
1126 Op->SysReg.Length = Str.size();
1133 static std::unique_ptr<RISCVOperand>
1135 auto Op = std::make_unique<RISCVOperand>(KindTy::FRM);
1142 static std::unique_ptr<RISCVOperand> createFenceArg(
unsigned Val, SMLoc S) {
1143 auto Op = std::make_unique<RISCVOperand>(KindTy::Fence);
1144 Op->Fence.Val = Val;
1150 static std::unique_ptr<RISCVOperand> createVType(
unsigned VTypeI, SMLoc S) {
1151 auto Op = std::make_unique<RISCVOperand>(KindTy::VType);
1152 Op->VType.Val = VTypeI;
1158 static std::unique_ptr<RISCVOperand> createRegList(
unsigned RlistEncode,
1160 auto Op = std::make_unique<RISCVOperand>(KindTy::RegList);
1166 static std::unique_ptr<RISCVOperand>
1167 createRegReg(MCRegister BaseReg, MCRegister OffsetReg, SMLoc S) {
1168 auto Op = std::make_unique<RISCVOperand>(KindTy::RegReg);
1170 Op->RegReg.OffsetReg = OffsetReg;
1176 static std::unique_ptr<RISCVOperand> createStackAdj(
unsigned StackAdj, SMLoc S) {
1177 auto Op = std::make_unique<RISCVOperand>(KindTy::StackAdj);
1178 Op->StackAdj.Val = StackAdj;
1183 static void addExpr(MCInst &Inst,
const MCExpr *Expr,
bool IsRV64Imm) {
1184 assert(Expr &&
"Expr shouldn't be null!");
1186 bool IsConstant = evaluateConstantExpr(Expr, Imm);
1196 void addRegOperands(MCInst &Inst,
unsigned N)
const {
1197 assert(
N == 1 &&
"Invalid number of operands!");
1201 void addImmOperands(MCInst &Inst,
unsigned N)
const {
1202 assert(
N == 1 &&
"Invalid number of operands!");
1203 addExpr(Inst,
getExpr(), isRV64Expr());
1206 void addSImm8UnsignedOperands(MCInst &Inst,
unsigned N)
const {
1207 assert(
N == 1 &&
"Invalid number of operands!");
1214 void addSImm10UnsignedOperands(MCInst &Inst,
unsigned N)
const {
1215 assert(
N == 1 &&
"Invalid number of operands!");
1222 void addFPImmOperands(MCInst &Inst,
unsigned N)
const {
1223 assert(
N == 1 &&
"Invalid number of operands!");
1225 addExpr(Inst,
getExpr(), isRV64Expr());
1230 APFloat(APFloat::IEEEdouble(), APInt(64, getFPConst())));
1234 void addFenceArgOperands(MCInst &Inst,
unsigned N)
const {
1235 assert(
N == 1 &&
"Invalid number of operands!");
1239 void addCSRSystemRegisterOperands(MCInst &Inst,
unsigned N)
const {
1240 assert(
N == 1 &&
"Invalid number of operands!");
1247 void addVTypeIOperands(MCInst &Inst,
unsigned N)
const {
1248 assert(
N == 1 &&
"Invalid number of operands!");
1250 if (Kind == KindTy::Expression) {
1251 [[maybe_unused]]
bool IsConstantImm =
1252 evaluateConstantExpr(
getExpr(), Imm);
1253 assert(IsConstantImm &&
"Invalid VTypeI Operand!");
1260 void addRegListOperands(MCInst &Inst,
unsigned N)
const {
1261 assert(
N == 1 &&
"Invalid number of operands!");
1265 void addRegRegOperands(MCInst &Inst,
unsigned N)
const {
1266 assert(
N == 2 &&
"Invalid number of operands!");
1271 void addStackAdjOperands(MCInst &Inst,
unsigned N)
const {
1272 assert(
N == 1 &&
"Invalid number of operands!");
1276 void addFRMArgOperands(MCInst &Inst,
unsigned N)
const {
1277 assert(
N == 1 &&
"Invalid number of operands!");
1283#define GET_REGISTER_MATCHER
1284#define GET_SUBTARGET_FEATURE_NAME
1285#define GET_MATCHER_IMPLEMENTATION
1286#define GET_MNEMONIC_SPELL_CHECKER
1287#include "RISCVGenAsmMatcher.inc"
1290 assert(
Reg >= RISCV::F0_D &&
Reg <= RISCV::F31_D &&
"Invalid register");
1291 return Reg - RISCV::F0_D + RISCV::F0_H;
1295 assert(
Reg >= RISCV::F0_D &&
Reg <= RISCV::F31_D &&
"Invalid register");
1296 return Reg - RISCV::F0_D + RISCV::F0_F;
1300 assert(
Reg >= RISCV::F0_D &&
Reg <= RISCV::F31_D &&
"Invalid register");
1301 return Reg - RISCV::F0_D + RISCV::F0_Q;
1306 unsigned RegClassID;
1307 if (Kind == MCK_VRM2)
1308 RegClassID = RISCV::VRM2RegClassID;
1309 else if (Kind == MCK_VRM4)
1310 RegClassID = RISCV::VRM4RegClassID;
1311 else if (Kind == MCK_VRM8)
1312 RegClassID = RISCV::VRM8RegClassID;
1316 &RISCVMCRegisterClasses[RegClassID]);
1321 RISCVOperand &
Op =
static_cast<RISCVOperand &
>(AsmOp);
1323 return Match_InvalidOperand;
1325 MCRegister
Reg =
Op.getReg();
1327 RISCVMCRegisterClasses[RISCV::FPR64RegClassID].contains(
Reg);
1329 RISCVMCRegisterClasses[RISCV::FPR64CRegClassID].contains(
Reg);
1330 bool IsRegVR = RISCVMCRegisterClasses[RISCV::VRRegClassID].contains(
Reg);
1332 if (IsRegFPR64 && Kind == MCK_FPR128) {
1334 return Match_Success;
1338 if ((IsRegFPR64 && Kind == MCK_FPR32) ||
1339 (IsRegFPR64C && Kind == MCK_FPR32C)) {
1341 return Match_Success;
1345 if (IsRegFPR64 && Kind == MCK_FPR16) {
1347 return Match_Success;
1349 if (Kind == MCK_GPRAsFPR16 &&
Op.isGPRAsFPR()) {
1350 Op.Reg.Reg =
Reg - RISCV::X0 + RISCV::X0_H;
1351 return Match_Success;
1353 if (Kind == MCK_GPRAsFPR32 &&
Op.isGPRAsFPR()) {
1354 Op.Reg.Reg =
Reg - RISCV::X0 + RISCV::X0_W;
1355 return Match_Success;
1362 if (RISCVMCRegisterClasses[RISCV::GPRRegClassID].
contains(
Reg) &&
1363 Kind == MCK_GPRF64AsFPR && STI->
hasFeature(RISCV::FeatureStdExtZdinx) &&
1365 return Match_Success;
1369 if (IsRegVR && (Kind == MCK_VRM2 || Kind == MCK_VRM4 || Kind == MCK_VRM8)) {
1372 return Match_InvalidOperand;
1373 return Match_Success;
1375 return Match_InvalidOperand;
1378bool RISCVAsmParser::generateImmOutOfRangeError(
1379 SMLoc ErrorLoc, int64_t
Lower, int64_t
Upper,
1380 const Twine &Msg =
"immediate must be an integer in the range") {
1381 return Error(ErrorLoc, Msg +
" [" + Twine(
Lower) +
", " + Twine(
Upper) +
"]");
1384bool RISCVAsmParser::generateImmOutOfRangeError(
1386 const Twine &Msg =
"immediate must be an integer in the range") {
1387 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1388 return generateImmOutOfRangeError(ErrorLoc,
Lower,
Upper, Msg);
1391bool RISCVAsmParser::matchAndEmitInstruction(SMLoc IDLoc,
unsigned &Opcode,
1394 uint64_t &ErrorInfo,
1395 bool MatchingInlineAsm) {
1397 FeatureBitset MissingFeatures;
1399 auto Result = MatchInstructionImpl(Operands, Inst, ErrorInfo, MissingFeatures,
1405 if (validateInstruction(Inst, Operands))
1407 return processInstruction(Inst, IDLoc, Operands, Out);
1408 case Match_MissingFeature: {
1409 assert(MissingFeatures.
any() &&
"Unknown missing features!");
1410 bool FirstFeature =
true;
1411 std::string Msg =
"instruction requires the following:";
1412 for (
unsigned i = 0, e = MissingFeatures.
size(); i != e; ++i) {
1413 if (MissingFeatures[i]) {
1414 Msg += FirstFeature ?
" " :
", ";
1416 FirstFeature =
false;
1419 return Error(IDLoc, Msg);
1421 case Match_MnemonicFail: {
1422 FeatureBitset FBS = ComputeAvailableFeatures(getSTI().getFeatureBits());
1423 std::string Suggestion = RISCVMnemonicSpellCheck(
1424 ((RISCVOperand &)*Operands[0]).
getToken(), FBS, 0);
1425 return Error(IDLoc,
"unrecognized instruction mnemonic" + Suggestion);
1427 case Match_InvalidOperand: {
1428 SMLoc ErrorLoc = IDLoc;
1429 if (ErrorInfo != ~0ULL) {
1430 if (ErrorInfo >= Operands.
size())
1431 return Error(ErrorLoc,
"too few operands for instruction");
1433 ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1434 if (ErrorLoc == SMLoc())
1437 return Error(ErrorLoc,
"invalid operand for instruction");
1444 if (Result > FIRST_TARGET_MATCH_RESULT_TY) {
1445 SMLoc ErrorLoc = IDLoc;
1446 if (ErrorInfo != ~0ULL && ErrorInfo >= Operands.
size())
1447 return Error(ErrorLoc,
"too few operands for instruction");
1453 case Match_InvalidImmXLenLI:
1455 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1456 return Error(ErrorLoc,
"operand must be a constant 64-bit integer");
1458 return generateImmOutOfRangeError(Operands, ErrorInfo,
1459 std::numeric_limits<int32_t>::min(),
1460 std::numeric_limits<uint32_t>::max());
1461 case Match_InvalidImmXLenLI_Restricted:
1463 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1464 return Error(ErrorLoc,
"operand either must be a constant 64-bit integer "
1465 "or a bare symbol name");
1467 return generateImmOutOfRangeError(
1468 Operands, ErrorInfo, std::numeric_limits<int32_t>::min(),
1469 std::numeric_limits<uint32_t>::max(),
1470 "operand either must be a bare symbol name or an immediate integer in "
1472 case Match_InvalidUImmLog2XLen:
1474 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 6) - 1);
1475 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 5) - 1);
1476 case Match_InvalidUImmLog2XLenNonZero:
1478 return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 6) - 1);
1479 return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 5) - 1);
1480 case Match_InvalidUImm1:
1481 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 1) - 1);
1482 case Match_InvalidUImm2:
1483 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 2) - 1);
1484 case Match_InvalidUImm2Lsb0:
1485 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, 2,
1486 "immediate must be one of");
1487 case Match_InvalidUImm3:
1488 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 3) - 1);
1489 case Match_InvalidUImm4:
1490 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 4) - 1);
1491 case Match_InvalidUImm5:
1492 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 5) - 1);
1493 case Match_InvalidUImm5NonZero:
1494 return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 5) - 1);
1495 case Match_InvalidUImm5GT3:
1496 return generateImmOutOfRangeError(Operands, ErrorInfo, 4, (1 << 5) - 1);
1497 case Match_InvalidUImm5Plus1:
1498 return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 5));
1499 case Match_InvalidUImm5GE6Plus1:
1500 return generateImmOutOfRangeError(Operands, ErrorInfo, 6, (1 << 5));
1501 case Match_InvalidUImm5Slist: {
1502 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1503 return Error(ErrorLoc,
1504 "immediate must be one of: 0, 1, 2, 4, 8, 15, 16, 31");
1506 case Match_InvalidUImm6:
1507 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 6) - 1);
1508 case Match_InvalidUImm7:
1509 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 7) - 1);
1510 case Match_InvalidUImm8:
1511 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 8) - 1);
1512 case Match_InvalidUImm8GE32:
1513 return generateImmOutOfRangeError(Operands, ErrorInfo, 32, (1 << 8) - 1);
1514 case Match_InvalidSImm5:
1515 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 4),
1517 case Match_InvalidSImm5NonZero:
1518 return generateImmOutOfRangeError(
1519 Operands, ErrorInfo, -(1 << 4), (1 << 4) - 1,
1520 "immediate must be non-zero in the range");
1521 case Match_InvalidSImm6:
1522 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 5),
1524 case Match_InvalidSImm6NonZero:
1525 return generateImmOutOfRangeError(
1526 Operands, ErrorInfo, -(1 << 5), (1 << 5) - 1,
1527 "immediate must be non-zero in the range");
1528 case Match_InvalidCLUIImm:
1529 return generateImmOutOfRangeError(
1530 Operands, ErrorInfo, 1, (1 << 5) - 1,
1531 "immediate must be in [0xfffe0, 0xfffff] or");
1532 case Match_InvalidUImm5Lsb0:
1533 return generateImmOutOfRangeError(
1534 Operands, ErrorInfo, 0, (1 << 5) - 2,
1535 "immediate must be a multiple of 2 bytes in the range");
1536 case Match_InvalidUImm6Lsb0:
1537 return generateImmOutOfRangeError(
1538 Operands, ErrorInfo, 0, (1 << 6) - 2,
1539 "immediate must be a multiple of 2 bytes in the range");
1540 case Match_InvalidUImm7Lsb00:
1541 return generateImmOutOfRangeError(
1542 Operands, ErrorInfo, 0, (1 << 7) - 4,
1543 "immediate must be a multiple of 4 bytes in the range");
1544 case Match_InvalidUImm8Lsb00:
1545 return generateImmOutOfRangeError(
1546 Operands, ErrorInfo, 0, (1 << 8) - 4,
1547 "immediate must be a multiple of 4 bytes in the range");
1548 case Match_InvalidUImm8Lsb000:
1549 return generateImmOutOfRangeError(
1550 Operands, ErrorInfo, 0, (1 << 8) - 8,
1551 "immediate must be a multiple of 8 bytes in the range");
1552 case Match_InvalidUImm9:
1553 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 9) - 1,
1554 "immediate offset must be in the range");
1555 case Match_InvalidBareSImm9Lsb0:
1556 return generateImmOutOfRangeError(
1557 Operands, ErrorInfo, -(1 << 8), (1 << 8) - 2,
1558 "immediate must be a multiple of 2 bytes in the range");
1559 case Match_InvalidUImm9Lsb000:
1560 return generateImmOutOfRangeError(
1561 Operands, ErrorInfo, 0, (1 << 9) - 8,
1562 "immediate must be a multiple of 8 bytes in the range");
1563 case Match_InvalidSImm8Unsigned:
1564 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 7),
1566 case Match_InvalidSImm10:
1567 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 9),
1569 case Match_InvalidSImm10Unsigned:
1570 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 9),
1572 case Match_InvalidUImm10Lsb00NonZero:
1573 return generateImmOutOfRangeError(
1574 Operands, ErrorInfo, 4, (1 << 10) - 4,
1575 "immediate must be a multiple of 4 bytes in the range");
1576 case Match_InvalidSImm10Lsb0000NonZero:
1577 return generateImmOutOfRangeError(
1578 Operands, ErrorInfo, -(1 << 9), (1 << 9) - 16,
1579 "immediate must be a multiple of 16 bytes and non-zero in the range");
1580 case Match_InvalidSImm11:
1581 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 10),
1583 case Match_InvalidBareSImm11Lsb0:
1584 return generateImmOutOfRangeError(
1585 Operands, ErrorInfo, -(1 << 10), (1 << 10) - 2,
1586 "immediate must be a multiple of 2 bytes in the range");
1587 case Match_InvalidUImm10:
1588 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 10) - 1);
1589 case Match_InvalidUImm11:
1590 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 11) - 1);
1591 case Match_InvalidUImm14Lsb00:
1592 return generateImmOutOfRangeError(
1593 Operands, ErrorInfo, 0, (1 << 14) - 4,
1594 "immediate must be a multiple of 4 bytes in the range");
1595 case Match_InvalidUImm16NonZero:
1596 return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 16) - 1);
1597 case Match_InvalidSImm12:
1598 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 11),
1600 case Match_InvalidSImm12LO:
1601 return generateImmOutOfRangeError(
1602 Operands, ErrorInfo, -(1 << 11), (1 << 11) - 1,
1603 "operand must be a symbol with %lo/%pcrel_lo/%tprel_lo specifier or an "
1604 "integer in the range");
1605 case Match_InvalidBareSImm12Lsb0:
1606 return generateImmOutOfRangeError(
1607 Operands, ErrorInfo, -(1 << 11), (1 << 11) - 2,
1608 "immediate must be a multiple of 2 bytes in the range");
1609 case Match_InvalidSImm12Lsb00000:
1610 return generateImmOutOfRangeError(
1611 Operands, ErrorInfo, -(1 << 11), (1 << 11) - 32,
1612 "immediate must be a multiple of 32 bytes in the range");
1613 case Match_InvalidBareSImm13Lsb0:
1614 return generateImmOutOfRangeError(
1615 Operands, ErrorInfo, -(1 << 12), (1 << 12) - 2,
1616 "immediate must be a multiple of 2 bytes in the range");
1617 case Match_InvalidSImm16:
1618 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 15),
1620 case Match_InvalidSImm16NonZero:
1621 return generateImmOutOfRangeError(
1622 Operands, ErrorInfo, -(1 << 15), (1 << 15) - 1,
1623 "immediate must be non-zero in the range");
1624 case Match_InvalidSImm20LI:
1625 return generateImmOutOfRangeError(
1626 Operands, ErrorInfo, -(1 << 19), (1 << 19) - 1,
1627 "operand must be a symbol with a %qc.abs20 specifier or an integer "
1629 case Match_InvalidUImm20LUI:
1630 return generateImmOutOfRangeError(
1631 Operands, ErrorInfo, 0, (1 << 20) - 1,
1632 "operand must be a symbol with "
1633 "%hi/%tprel_hi specifier or an integer in "
1635 case Match_InvalidUImm20:
1636 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 20) - 1);
1637 case Match_InvalidUImm20AUIPC:
1638 return generateImmOutOfRangeError(
1639 Operands, ErrorInfo, 0, (1 << 20) - 1,
1640 "operand must be a symbol with a "
1641 "%pcrel_hi/%got_pcrel_hi/%tls_ie_pcrel_hi/%tls_gd_pcrel_hi specifier "
1643 "an integer in the range");
1644 case Match_InvalidBareSImm21Lsb0:
1645 return generateImmOutOfRangeError(
1646 Operands, ErrorInfo, -(1 << 20), (1 << 20) - 2,
1647 "immediate must be a multiple of 2 bytes in the range");
1648 case Match_InvalidCSRSystemRegister: {
1649 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 12) - 1,
1650 "operand must be a valid system register "
1651 "name or an integer in the range");
1653 case Match_InvalidImm5Zibi:
1654 return generateImmOutOfRangeError(
1655 Operands, ErrorInfo, -1, (1 << 5) - 1,
1656 "immediate must be non-zero in the range");
1657 case Match_InvalidVTypeI: {
1658 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1659 return generateVTypeError(ErrorLoc);
1661 case Match_InvalidSImm5Plus1: {
1662 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 4) + 1,
1664 "immediate must be in the range");
1666 case Match_InvalidSImm18:
1667 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 17),
1669 case Match_InvalidSImm18Lsb0:
1670 return generateImmOutOfRangeError(
1671 Operands, ErrorInfo, -(1 << 17), (1 << 17) - 2,
1672 "immediate must be a multiple of 2 bytes in the range");
1673 case Match_InvalidSImm19Lsb00:
1674 return generateImmOutOfRangeError(
1675 Operands, ErrorInfo, -(1 << 18), (1 << 18) - 4,
1676 "immediate must be a multiple of 4 bytes in the range");
1677 case Match_InvalidSImm20Lsb000:
1678 return generateImmOutOfRangeError(
1679 Operands, ErrorInfo, -(1 << 19), (1 << 19) - 8,
1680 "immediate must be a multiple of 8 bytes in the range");
1681 case Match_InvalidSImm26:
1682 return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 25),
1685 case Match_InvalidBareSymbolQC_E_LI:
1688 case Match_InvalidBareSImm32:
1689 return generateImmOutOfRangeError(Operands, ErrorInfo,
1690 std::numeric_limits<int32_t>::min(),
1691 std::numeric_limits<uint32_t>::max());
1692 case Match_InvalidBareSImm32Lsb0:
1693 return generateImmOutOfRangeError(
1694 Operands, ErrorInfo, std::numeric_limits<int32_t>::min(),
1695 std::numeric_limits<int32_t>::max() - 1,
1696 "operand must be a multiple of 2 bytes in the range");
1697 case Match_InvalidRnumArg: {
1698 return generateImmOutOfRangeError(Operands, ErrorInfo, 0, 10);
1700 case Match_InvalidStackAdj: {
1701 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1704 "stack adjustment is invalid for this instruction and register list");
1708 if (
const char *MatchDiag = getMatchKindDiag((RISCVMatchResultTy)Result)) {
1709 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[ErrorInfo]).getStartLoc();
1710 return Error(ErrorLoc, MatchDiag);
1720MCRegister RISCVAsmParser::matchRegisterNameHelper(StringRef Name)
const {
1729 static_assert(RISCV::F0_D < RISCV::F0_H,
"FPR matching must be updated");
1730 static_assert(RISCV::F0_D < RISCV::F0_F,
"FPR matching must be updated");
1731 static_assert(RISCV::F0_D < RISCV::F0_Q,
"FPR matching must be updated");
1734 if (isRVE() &&
Reg >= RISCV::X16 &&
Reg <= RISCV::X31)
1739bool RISCVAsmParser::parseRegister(MCRegister &
Reg, SMLoc &StartLoc,
1741 if (!tryParseRegister(
Reg, StartLoc, EndLoc).isSuccess())
1742 return Error(StartLoc,
"invalid register name");
1746ParseStatus RISCVAsmParser::tryParseRegister(MCRegister &
Reg, SMLoc &StartLoc,
1748 const AsmToken &Tok = getParser().getTok();
1751 StringRef
Name = getLexer().getTok().getIdentifier();
1761ParseStatus RISCVAsmParser::parseRegister(
OperandVector &Operands,
1763 SMLoc FirstS = getLoc();
1764 bool HadParens =
false;
1771 size_t ReadCount = getLexer().peekTokens(Buf);
1774 LParen = getParser().getTok();
1779 switch (getLexer().getKind()) {
1782 getLexer().UnLex(LParen);
1785 StringRef
Name = getLexer().getTok().getIdentifier();
1790 getLexer().UnLex(LParen);
1794 Operands.
push_back(RISCVOperand::createToken(
"(", FirstS));
1796 SMLoc
E = getTok().getEndLoc();
1803 Operands.
push_back(RISCVOperand::createToken(
")", getLoc()));
1809ParseStatus RISCVAsmParser::parseInsnDirectiveOpcode(
OperandVector &Operands) {
1814 switch (getLexer().getKind()) {
1824 if (getParser().parseExpression(Res,
E))
1829 int64_t
Imm =
CE->getValue();
1831 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
1840 if (getParser().parseIdentifier(Identifier))
1843 auto Opcode = RISCVInsnOpcode::lookupRISCVOpcodeByName(Identifier);
1846 "Unexpected opcode");
1849 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
1859 return generateImmOutOfRangeError(
1861 "opcode must be a valid opcode name or an immediate in the range");
1864ParseStatus RISCVAsmParser::parseInsnCDirectiveOpcode(
OperandVector &Operands) {
1869 switch (getLexer().getKind()) {
1879 if (getParser().parseExpression(Res,
E))
1884 int64_t
Imm =
CE->getValue();
1885 if (Imm >= 0 && Imm <= 2) {
1886 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
1895 if (getParser().parseIdentifier(Identifier))
1899 if (Identifier ==
"C0")
1901 else if (Identifier ==
"C1")
1903 else if (Identifier ==
"C2")
1910 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
1919 return generateImmOutOfRangeError(
1921 "opcode must be a valid opcode name or an immediate in the range");
1924ParseStatus RISCVAsmParser::parseCSRSystemRegister(
OperandVector &Operands) {
1928 auto SysRegFromConstantInt = [
this](
const MCExpr *
E, SMLoc S) {
1930 int64_t
Imm =
CE->getValue();
1932 auto Range = RISCVSysReg::lookupSysRegByEncoding(Imm);
1936 if (
Reg.IsAltName ||
Reg.IsDeprecatedName)
1939 return RISCVOperand::createSysReg(
Reg.Name, S, Imm);
1943 return RISCVOperand::createSysReg(
"", S, Imm);
1946 return std::unique_ptr<RISCVOperand>();
1949 switch (getLexer().getKind()) {
1959 if (getParser().parseExpression(Res))
1962 if (
auto SysOpnd = SysRegFromConstantInt(Res, S)) {
1967 return generateImmOutOfRangeError(S, 0, (1 << 12) - 1);
1971 if (getParser().parseIdentifier(Identifier))
1974 const auto *SysReg = RISCVSysReg::lookupSysRegByName(Identifier);
1977 if (SysReg->IsDeprecatedName) {
1979 auto Range = RISCVSysReg::lookupSysRegByEncoding(SysReg->Encoding);
1981 if (
Reg.IsAltName ||
Reg.IsDeprecatedName)
1983 Warning(S,
"'" + Identifier +
"' is a deprecated alias for '" +
1989 const auto &FeatureBits = getSTI().getFeatureBits();
1990 if (!SysReg->haveRequiredFeatures(FeatureBits)) {
1992 return SysReg->FeaturesRequired[Feature.Value];
1994 auto ErrorMsg = std::string(
"system register '") + SysReg->Name +
"' ";
1995 if (SysReg->IsRV32Only && FeatureBits[RISCV::Feature64Bit]) {
1996 ErrorMsg +=
"is RV32 only";
1998 ErrorMsg +=
" and ";
2002 "requires '" + std::string(Feature->Key) +
"' to be enabled";
2005 return Error(S, ErrorMsg);
2008 RISCVOperand::createSysReg(Identifier, S, SysReg->Encoding));
2023 return generateImmOutOfRangeError(S, 0, (1 << 12) - 1,
2024 "operand must be a valid system register "
2025 "name or an integer in the range");
2029 return generateImmOutOfRangeError(S, 0, (1 << 12) - 1);
2036ParseStatus RISCVAsmParser::parseFPImm(
OperandVector &Operands) {
2041 StringRef
Identifier = getTok().getIdentifier();
2042 if (
Identifier.compare_insensitive(
"inf") == 0) {
2045 getTok().getEndLoc(), isRV64()));
2046 }
else if (
Identifier.compare_insensitive(
"nan") == 0) {
2049 getTok().getEndLoc(), isRV64()));
2050 }
else if (
Identifier.compare_insensitive(
"min") == 0) {
2053 getTok().getEndLoc(), isRV64()));
2055 return TokError(
"invalid floating point literal");
2066 const AsmToken &Tok = getTok();
2068 return TokError(
"invalid floating point immediate");
2071 APFloat RealVal(APFloat::IEEEdouble());
2073 RealVal.convertFromString(Tok.
getString(), APFloat::rmTowardZero);
2075 return TokError(
"invalid floating point representation");
2078 RealVal.changeSign();
2080 Operands.
push_back(RISCVOperand::createFPImm(
2081 RealVal.bitcastToAPInt().getZExtValue(), S));
2088ParseStatus RISCVAsmParser::parseExpression(
OperandVector &Operands) {
2093 switch (getLexer().getKind()) {
2105 if (getParser().parseExpression(Res,
E))
2109 return parseOperandWithSpecifier(Operands);
2112 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
2116ParseStatus RISCVAsmParser::parseOperandWithSpecifier(
OperandVector &Operands) {
2122 const MCExpr *Expr =
nullptr;
2123 bool Failed = parseExprWithSpecifier(Expr,
E);
2125 Operands.
push_back(RISCVOperand::createExpr(Expr, S,
E, isRV64()));
2129bool RISCVAsmParser::parseExprWithSpecifier(
const MCExpr *&Res, SMLoc &
E) {
2130 SMLoc Loc = getLoc();
2132 return TokError(
"expected '%' relocation specifier");
2133 StringRef
Identifier = getParser().getTok().getIdentifier();
2136 return TokError(
"invalid relocation specifier");
2142 const MCExpr *SubExpr;
2143 if (getParser().parseParenExpression(SubExpr,
E))
2150bool RISCVAsmParser::parseDataExpr(
const MCExpr *&Res) {
2153 return parseExprWithSpecifier(Res,
E);
2154 return getParser().parseExpression(Res);
2157ParseStatus RISCVAsmParser::parseBareSymbol(
OperandVector &Operands) {
2165 AsmToken Tok = getLexer().getTok();
2167 if (getParser().parseIdentifier(Identifier))
2177 getLexer().UnLex(Tok);
2185 switch (getLexer().getKind()) {
2187 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
2200 if (getParser().parseExpression(Expr,
E))
2203 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
2207ParseStatus RISCVAsmParser::parseCallSymbol(
OperandVector &Operands) {
2213 std::string
Identifier(getTok().getIdentifier());
2219 SMLoc Loc = getLoc();
2220 if (getParser().parseIdentifier(PLT) || PLT !=
"plt")
2221 return Error(Loc,
"@ (except the deprecated/ignored @plt) is disallowed");
2235 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
2239ParseStatus RISCVAsmParser::parsePseudoJumpSymbol(
OperandVector &Operands) {
2244 if (getParser().parseExpression(Res,
E))
2247 if (Res->
getKind() != MCExpr::ExprKind::SymbolRef)
2248 return Error(S,
"operand must be a valid jump target");
2251 Operands.
push_back(RISCVOperand::createExpr(Res, S,
E, isRV64()));
2255ParseStatus RISCVAsmParser::parseJALOffset(
OperandVector &Operands) {
2269 return parseExpression(Operands);
2272bool RISCVAsmParser::parseVTypeToken(
const AsmToken &Tok, VTypeState &State,
2273 unsigned &Sew,
unsigned &Lmul,
2274 bool &Fractional,
bool &TailAgnostic,
2275 bool &MaskAgnostic,
bool &AltFmt) {
2280 if (State < VTypeState::SeenSew &&
Identifier.consume_front(
"e")) {
2282 if (Identifier ==
"16alt") {
2285 }
else if (Identifier ==
"8alt") {
2295 State = VTypeState::SeenSew;
2299 if (State < VTypeState::SeenLmul &&
Identifier.consume_front(
"m")) {
2302 if (Identifier ==
"a" || Identifier ==
"u") {
2304 State = VTypeState::SeenMaskPolicy;
2315 unsigned ELEN = STI->
hasFeature(RISCV::FeatureStdExtZve64x) ? 64 : 32;
2316 unsigned MinLMUL = ELEN / 8;
2319 "use of vtype encodings with LMUL < SEWMIN/ELEN == mf" +
2320 Twine(MinLMUL) +
" is reserved");
2323 State = VTypeState::SeenLmul;
2327 if (State < VTypeState::SeenTailPolicy &&
Identifier.starts_with(
"t")) {
2328 if (Identifier ==
"ta")
2329 TailAgnostic =
true;
2330 else if (Identifier ==
"tu")
2331 TailAgnostic =
false;
2335 State = VTypeState::SeenTailPolicy;
2339 if (State < VTypeState::SeenMaskPolicy &&
Identifier.starts_with(
"m")) {
2340 if (Identifier ==
"ma")
2341 MaskAgnostic =
true;
2342 else if (Identifier ==
"mu")
2343 MaskAgnostic =
false;
2347 State = VTypeState::SeenMaskPolicy;
2354ParseStatus RISCVAsmParser::parseVTypeI(
OperandVector &Operands) {
2360 bool Fractional =
false;
2361 bool TailAgnostic =
false;
2362 bool MaskAgnostic =
false;
2365 VTypeState State = VTypeState::SeenNothingYet;
2367 if (parseVTypeToken(getTok(), State, Sew, Lmul, Fractional, TailAgnostic,
2368 MaskAgnostic, AltFmt)) {
2370 if (State == VTypeState::SeenNothingYet)
2379 State == VTypeState::SeenNothingYet)
2380 return generateVTypeError(S);
2384 unsigned ELEN = STI->
hasFeature(RISCV::FeatureStdExtZve64x) ? 64 : 32;
2385 unsigned MaxSEW = ELEN / Lmul;
2387 if (MaxSEW >= 8 && Sew > MaxSEW)
2388 Warning(S,
"use of vtype encodings with SEW > " + Twine(MaxSEW) +
2389 " and LMUL == mf" + Twine(Lmul) +
2390 " may not be compatible with all RVV implementations");
2395 Operands.
push_back(RISCVOperand::createVType(VTypeI, S));
2399bool RISCVAsmParser::generateVTypeError(SMLoc ErrorLoc) {
2400 if (STI->
hasFeature(RISCV::FeatureStdExtZvfbfa) ||
2401 STI->
hasFeature(RISCV::FeatureVendorXSfvfbfexp16e))
2405 "e[8|8alt|16|16alt|32|64],m[1|2|4|8|f2|f4|f8],[ta|tu],[ma|mu]");
2409 "e[8|16|32|64],m[1|2|4|8|f2|f4|f8],[ta|tu],[ma|mu]");
2412ParseStatus RISCVAsmParser::parseXSfmmVType(
OperandVector &Operands) {
2429 if (Identifier !=
"16alt")
2458 Operands.
push_back(RISCVOperand::createVType(
2464 return generateXSfmmVTypeError(S);
2467bool RISCVAsmParser::generateXSfmmVTypeError(SMLoc ErrorLoc) {
2468 return Error(ErrorLoc,
"operand must be e[8|16|16alt|32|64],w[1|2|4]");
2471ParseStatus RISCVAsmParser::parseMaskReg(
OperandVector &Operands) {
2475 StringRef
Name = getLexer().getTok().getIdentifier();
2476 if (!
Name.consume_back(
".t"))
2477 return Error(getLoc(),
"expected '.t' suffix");
2482 if (
Reg != RISCV::V0)
2485 SMLoc
E = getTok().getEndLoc();
2491ParseStatus RISCVAsmParser::parseGPRAsFPR64(
OperandVector &Operands) {
2492 if (!isRV64() || getSTI().hasFeature(RISCV::FeatureStdExtF))
2495 return parseGPRAsFPR(Operands);
2498ParseStatus RISCVAsmParser::parseGPRAsFPR(
OperandVector &Operands) {
2502 StringRef
Name = getLexer().getTok().getIdentifier();
2508 SMLoc
E = getTok().getEndLoc();
2510 Operands.
push_back(RISCVOperand::createReg(
2511 Reg, S,
E, !getSTI().hasFeature(RISCV::FeatureStdExtF)));
2515ParseStatus RISCVAsmParser::parseGPRPairAsFPR64(
OperandVector &Operands) {
2516 if (isRV64() || getSTI().hasFeature(RISCV::FeatureStdExtF))
2522 StringRef
Name = getLexer().getTok().getIdentifier();
2528 if (!RISCVMCRegisterClasses[RISCV::GPRRegClassID].
contains(
Reg))
2531 if ((
Reg - RISCV::X0) & 1) {
2534 if (getSTI().hasFeature(RISCV::FeatureStdExtZfinx))
2535 return TokError(
"double precision floating point operands must use even "
2536 "numbered X register");
2541 SMLoc
E = getTok().getEndLoc();
2544 const MCRegisterInfo *RI =
getContext().getRegisterInfo();
2546 Reg, RISCV::sub_gpr_even,
2547 &RISCVMCRegisterClasses[RISCV::GPRPairRegClassID]);
2548 Operands.
push_back(RISCVOperand::createReg(Pair, S,
E,
true));
2552template <
bool IsRV64>
2553ParseStatus RISCVAsmParser::parseGPRPair(
OperandVector &Operands) {
2554 return parseGPRPair(Operands, IsRV64);
2557ParseStatus RISCVAsmParser::parseGPRPair(
OperandVector &Operands,
2564 if (!IsRV64Inst && isRV64())
2570 StringRef
Name = getLexer().getTok().getIdentifier();
2576 if (!RISCVMCRegisterClasses[RISCV::GPRRegClassID].
contains(
Reg))
2579 if ((
Reg - RISCV::X0) & 1)
2580 return TokError(
"register must be even");
2583 SMLoc
E = getTok().getEndLoc();
2586 const MCRegisterInfo *RI =
getContext().getRegisterInfo();
2588 Reg, RISCV::sub_gpr_even,
2589 &RISCVMCRegisterClasses[RISCV::GPRPairRegClassID]);
2590 Operands.
push_back(RISCVOperand::createReg(Pair, S,
E));
2594ParseStatus RISCVAsmParser::parseFRMArg(
OperandVector &Operands) {
2597 "operand must be a valid floating point rounding mode mnemonic");
2599 StringRef Str = getLexer().getTok().getIdentifier();
2604 "operand must be a valid floating point rounding mode mnemonic");
2606 Operands.
push_back(RISCVOperand::createFRMArg(FRM, getLoc()));
2611ParseStatus RISCVAsmParser::parseFenceArg(
OperandVector &Operands) {
2612 const AsmToken &Tok = getLexer().getTok();
2618 Operands.
push_back(RISCVOperand::createFenceArg(0, getLoc()));
2632 for (
char c : Str) {
2661 Operands.
push_back(RISCVOperand::createFenceArg(Imm, getLoc()));
2667 return TokError(
"operand must be formed of letters selected in-order from "
2671ParseStatus RISCVAsmParser::parseMemOpBaseReg(
OperandVector &Operands) {
2674 Operands.
push_back(RISCVOperand::createToken(
"(", getLoc()));
2676 if (!parseRegister(Operands).isSuccess())
2677 return Error(getLoc(),
"expected register");
2681 Operands.
push_back(RISCVOperand::createToken(
")", getLoc()));
2686ParseStatus RISCVAsmParser::parseZeroOffsetMemOp(
OperandVector &Operands) {
2705 std::unique_ptr<RISCVOperand> OptionalImmOp;
2712 SMLoc ImmStart = getLoc();
2713 if (getParser().parseIntToken(ImmVal,
2714 "expected '(' or optional integer offset"))
2719 SMLoc ImmEnd = getLoc();
2722 ImmStart, ImmEnd, isRV64());
2726 OptionalImmOp ?
"expected '(' after optional integer offset"
2727 :
"expected '(' or optional integer offset"))
2730 if (!parseRegister(Operands).isSuccess())
2731 return Error(getLoc(),
"expected register");
2737 if (OptionalImmOp && !OptionalImmOp->isImmZero())
2739 OptionalImmOp->getStartLoc(),
"optional integer offset must be 0",
2740 SMRange(OptionalImmOp->getStartLoc(), OptionalImmOp->getEndLoc()));
2745ParseStatus RISCVAsmParser::parseRegReg(
OperandVector &Operands) {
2751 StringRef OffsetRegName = getLexer().getTok().getIdentifier();
2754 !RISCVMCRegisterClasses[RISCV::GPRRegClassID].
contains(OffsetReg))
2755 return Error(getLoc(),
"expected GPR register");
2762 return Error(getLoc(),
"expected GPR register");
2764 StringRef BaseRegName = getLexer().getTok().getIdentifier();
2767 !RISCVMCRegisterClasses[RISCV::GPRRegClassID].
contains(BaseReg))
2768 return Error(getLoc(),
"expected GPR register");
2774 Operands.
push_back(RISCVOperand::createRegReg(BaseReg, OffsetReg, S));
2786ParseStatus RISCVAsmParser::parseRegList(
OperandVector &Operands,
2787 bool MustIncludeS0) {
2799 return Error(getLoc(),
"invalid register");
2801 StringRef
RegName = getTok().getIdentifier();
2804 return Error(getLoc(),
"invalid register");
2807 UsesXRegs =
RegName[0] ==
'x';
2808 if (
Reg != RISCV::X1)
2809 return Error(getLoc(),
"register list must start from 'ra' or 'x1'");
2810 }
else if (RegEnd == RISCV::X1) {
2811 if (
Reg != RISCV::X8 || (UsesXRegs != (
RegName[0] ==
'x')))
2812 return Error(getLoc(), Twine(
"register must be '") +
2813 (UsesXRegs ?
"x8" :
"s0") +
"'");
2814 }
else if (RegEnd == RISCV::X9 && UsesXRegs) {
2815 if (
Reg != RISCV::X18 || (
RegName[0] !=
'x'))
2816 return Error(getLoc(),
"register must be 'x18'");
2818 return Error(getLoc(),
"too many register ranges");
2825 SMLoc MinusLoc = getLoc();
2827 if (RegEnd == RISCV::X1)
2828 return Error(MinusLoc, Twine(
"register '") + (UsesXRegs ?
"x1" :
"ra") +
2829 "' cannot start a multiple register range");
2832 return Error(getLoc(),
"invalid register");
2834 StringRef
RegName = getTok().getIdentifier();
2837 return Error(getLoc(),
"invalid register");
2839 if (RegEnd == RISCV::X8) {
2840 if ((
Reg != RISCV::X9 &&
2842 (UsesXRegs != (
RegName[0] ==
'x'))) {
2844 return Error(getLoc(),
"register must be 'x9'");
2845 return Error(getLoc(),
"register must be in the range 's1' to 's11'");
2847 }
else if (RegEnd == RISCV::X18) {
2849 return Error(getLoc(),
2850 "register must be in the range 'x19' to 'x27'");
2863 if (RegEnd == RISCV::X26)
2864 return Error(S,
"invalid register list, '{ra, s0-s10}' or '{x1, x8-x9, "
2865 "x18-x26}' is not supported");
2871 return Error(S,
"register list must include 's0' or 'x8'");
2873 Operands.
push_back(RISCVOperand::createRegList(Encode, S));
2878ParseStatus RISCVAsmParser::parseZcmpStackAdj(
OperandVector &Operands,
2879 bool ExpectNegative) {
2888 auto *RegListOp =
static_cast<RISCVOperand *
>(Operands.
back().
get());
2889 if (!RegListOp->isRegList())
2892 unsigned RlistEncode = RegListOp->RegList.Encoding;
2896 if (Negative != ExpectNegative || StackAdjustment % 16 != 0 ||
2897 StackAdjustment < StackAdjBase || (StackAdjustment - StackAdjBase) > 48) {
2898 int64_t
Lower = StackAdjBase;
2899 int64_t
Upper = StackAdjBase + 48;
2900 if (ExpectNegative) {
2905 return generateImmOutOfRangeError(S,
Lower,
Upper,
2906 "stack adjustment for register list must "
2907 "be a multiple of 16 bytes in the range");
2911 Operands.
push_back(RISCVOperand::createStackAdj(StackAdj, S));
2919bool RISCVAsmParser::parseOperand(
OperandVector &Operands, StringRef Mnemonic) {
2923 MatchOperandParserImpl(Operands, Mnemonic,
true);
2930 if (parseRegister(Operands,
true).isSuccess())
2934 if (parseExpression(Operands).isSuccess()) {
2937 return !parseMemOpBaseReg(Operands).isSuccess();
2942 Error(getLoc(),
"unknown operand");
2946bool RISCVAsmParser::parseInstruction(ParseInstructionInfo &
Info,
2947 StringRef Name, SMLoc NameLoc,
2953 const FeatureBitset &AvailableFeatures = getAvailableFeatures();
2957 Operands.
push_back(RISCVOperand::createToken(Name, NameLoc));
2966 if (parseOperand(Operands, Name))
2972 if (parseOperand(Operands, Name))
2976 if (getParser().parseEOL(
"unexpected token")) {
2977 getParser().eatToEndOfStatement();
2983bool RISCVAsmParser::classifySymbolRef(
const MCExpr *Expr,
2987 Kind = RE->getSpecifier();
2988 Expr = RE->getSubExpr();
2997bool RISCVAsmParser::isSymbolDiff(
const MCExpr *Expr) {
3006ParseStatus RISCVAsmParser::parseDirective(AsmToken DirectiveID) {
3007 StringRef IDVal = DirectiveID.
getString();
3009 if (IDVal ==
".option")
3010 return parseDirectiveOption();
3011 if (IDVal ==
".attribute")
3012 return parseDirectiveAttribute();
3013 if (IDVal ==
".insn")
3014 return parseDirectiveInsn(DirectiveID.
getLoc());
3015 if (IDVal ==
".variant_cc")
3016 return parseDirectiveVariantCC();
3021bool RISCVAsmParser::resetToArch(StringRef Arch, SMLoc Loc, std::string &Result,
3022 bool FromOptionDirective) {
3025 clearFeatureBits(Feature.Value, Feature.Key);
3032 raw_string_ostream OutputErrMsg(Buffer);
3033 handleAllErrors(ParseResult.takeError(), [&](llvm::StringError &ErrMsg) {
3034 OutputErrMsg <<
"invalid arch name '" << Arch <<
"', "
3035 << ErrMsg.getMessage();
3038 return Error(Loc, OutputErrMsg.str());
3040 auto &ISAInfo = *ParseResult;
3043 if (ISAInfo->hasExtension(Feature.Key))
3044 setFeatureBits(Feature.Value, Feature.Key);
3046 if (FromOptionDirective) {
3047 if (ISAInfo->getXLen() == 32 && isRV64())
3048 return Error(Loc,
"bad arch string switching from rv64 to rv32");
3049 else if (ISAInfo->getXLen() == 64 && !isRV64())
3050 return Error(Loc,
"bad arch string switching from rv32 to rv64");
3053 if (ISAInfo->getXLen() == 32)
3054 clearFeatureBits(RISCV::Feature64Bit,
"64bit");
3055 else if (ISAInfo->getXLen() == 64)
3056 setFeatureBits(RISCV::Feature64Bit,
"64bit");
3058 return Error(Loc,
"bad arch string " + Arch);
3060 Result = ISAInfo->toString();
3064bool RISCVAsmParser::parseDirectiveOption() {
3065 MCAsmParser &Parser = getParser();
3067 AsmToken Tok = Parser.
getTok();
3075 if (Option ==
"push") {
3079 getTargetStreamer().emitDirectiveOptionPush();
3084 if (Option ==
"pop") {
3089 getTargetStreamer().emitDirectiveOptionPop();
3090 if (popFeatureBits())
3091 return Error(StartLoc,
".option pop with no .option push");
3096 if (Option ==
"arch") {
3104 Type = RISCVOptionArchArgType::Plus;
3106 Type = RISCVOptionArchArgType::Minus;
3107 else if (!
Args.empty())
3109 "unexpected token, expected + or -");
3111 Type = RISCVOptionArchArgType::Full;
3115 "unexpected token, expected identifier");
3121 if (
Type == RISCVOptionArchArgType::Full) {
3123 if (resetToArch(Arch, Loc, Result,
true))
3132 Loc,
"extension version number parsing not currently implemented");
3135 if (!enableExperimentalExtension() &&
3137 return Error(Loc,
"unexpected experimental extensions");
3140 return Error(Loc,
"unknown extension feature");
3144 if (
Type == RISCVOptionArchArgType::Plus) {
3147 setFeatureBits(
Ext->Value,
Ext->Key);
3150 copySTI().setFeatureBits(OldFeatureBits);
3151 setAvailableFeatures(ComputeAvailableFeatures(OldFeatureBits));
3154 raw_string_ostream OutputErrMsg(Buffer);
3155 handleAllErrors(ParseResult.takeError(), [&](llvm::StringError &ErrMsg) {
3156 OutputErrMsg << ErrMsg.getMessage();
3159 return Error(Loc, OutputErrMsg.str());
3162 assert(
Type == RISCVOptionArchArgType::Minus);
3167 if (getSTI().hasFeature(Feature.Value) &&
3168 Feature.Implies.test(
Ext->Value))
3169 return Error(Loc, Twine(
"can't disable ") +
Ext->Key +
3170 " extension; " + Feature.Key +
3171 " extension requires " +
Ext->Key +
3175 clearFeatureBits(
Ext->Value,
Ext->Key);
3182 getTargetStreamer().emitDirectiveOptionArch(Args);
3186 if (Option ==
"exact") {
3190 getTargetStreamer().emitDirectiveOptionExact();
3191 setFeatureBits(RISCV::FeatureExactAssembly,
"exact-asm");
3192 clearFeatureBits(RISCV::FeatureRelax,
"relax");
3196 if (Option ==
"noexact") {
3200 getTargetStreamer().emitDirectiveOptionNoExact();
3201 clearFeatureBits(RISCV::FeatureExactAssembly,
"exact-asm");
3202 setFeatureBits(RISCV::FeatureRelax,
"relax");
3206 if (Option ==
"rvc") {
3210 getTargetStreamer().emitDirectiveOptionRVC();
3211 setFeatureBits(RISCV::FeatureStdExtC,
"c");
3215 if (Option ==
"norvc") {
3219 getTargetStreamer().emitDirectiveOptionNoRVC();
3220 clearFeatureBits(RISCV::FeatureStdExtC,
"c");
3221 clearFeatureBits(RISCV::FeatureStdExtZca,
"zca");
3225 if (Option ==
"pic") {
3229 getTargetStreamer().emitDirectiveOptionPIC();
3230 ParserOptions.IsPicEnabled =
true;
3234 if (Option ==
"nopic") {
3238 getTargetStreamer().emitDirectiveOptionNoPIC();
3239 ParserOptions.IsPicEnabled =
false;
3243 if (Option ==
"relax") {
3247 getTargetStreamer().emitDirectiveOptionRelax();
3248 setFeatureBits(RISCV::FeatureRelax,
"relax");
3252 if (Option ==
"norelax") {
3256 getTargetStreamer().emitDirectiveOptionNoRelax();
3257 clearFeatureBits(RISCV::FeatureRelax,
"relax");
3263 "unknown option, expected 'push', 'pop', "
3264 "'rvc', 'norvc', 'arch', 'relax', 'norelax', "
3265 "'exact', or 'noexact'");
3273bool RISCVAsmParser::parseDirectiveAttribute() {
3274 MCAsmParser &Parser = getParser();
3280 std::optional<unsigned>
Ret =
3283 return Error(TagLoc,
"attribute name not recognised: " + Name);
3287 const MCExpr *AttrExpr;
3294 if (check(!CE, TagLoc,
"expected numeric constant"))
3297 Tag =
CE->getValue();
3303 StringRef StringValue;
3304 int64_t IntegerValue = 0;
3305 bool IsIntegerValue =
true;
3310 IsIntegerValue =
false;
3313 if (IsIntegerValue) {
3314 const MCExpr *ValueExpr;
3320 return Error(ValueExprLoc,
"expected numeric constant");
3321 IntegerValue =
CE->getValue();
3334 getTargetStreamer().emitAttribute(
Tag, IntegerValue);
3336 getTargetStreamer().emitTextAttribute(
Tag, StringValue);
3339 if (resetToArch(StringValue, ValueExprLoc, Result,
false))
3343 getTargetStreamer().emitTextAttribute(
Tag, Result);
3351 .
Cases({
"r",
"r4",
"i",
"b",
"sb",
"u",
"j",
"uj",
"s"},
true)
3352 .Cases({
"cr",
"ci",
"ciw",
"css",
"cl",
"cs",
"ca",
"cb",
"cj"},
3354 .
Cases({
"qc.eai",
"qc.ei",
"qc.eb",
"qc.ej",
"qc.es"},
3363bool RISCVAsmParser::parseDirectiveInsn(SMLoc L) {
3364 MCAsmParser &Parser = getParser();
3371 std::optional<int64_t>
Length;
3381 return Error(ErrorLoc,
3382 "instruction lengths must be a non-zero multiple of two");
3386 return Error(ErrorLoc,
3387 "instruction lengths over 64 bits are not supported");
3393 int64_t EncodingDerivedLength = ((
Value & 0b11) == 0b11) ? 4 : 2;
3398 if ((*
Length <= 4) && (*
Length != EncodingDerivedLength))
3399 return Error(ErrorLoc,
3400 "instruction length does not match the encoding");
3403 return Error(ErrorLoc,
"encoding value does not fit into instruction");
3406 return Error(ErrorLoc,
"encoding value does not fit into instruction");
3409 if (!getSTI().hasFeature(RISCV::FeatureStdExtZca) &&
3410 (EncodingDerivedLength == 2))
3411 return Error(ErrorLoc,
"compressed instructions are not allowed");
3413 if (getParser().parseEOL(
"invalid operand for instruction")) {
3414 getParser().eatToEndOfStatement();
3422 Opcode = RISCV::Insn16;
3425 Opcode = RISCV::Insn32;
3428 Opcode = RISCV::Insn48;
3431 Opcode = RISCV::Insn64;
3437 Opcode = (EncodingDerivedLength == 2) ? RISCV::Insn16 : RISCV::Insn32;
3439 emitToStreamer(getStreamer(), MCInstBuilder(Opcode).addImm(
Value));
3444 return Error(ErrorLoc,
"invalid instruction format");
3446 std::string FormatName = (
".insn_" +
Format).str();
3448 ParseInstructionInfo
Info;
3451 if (parseInstruction(
Info, FormatName, L, Operands))
3456 return matchAndEmitInstruction(L, Opcode, Operands, Parser.
getStreamer(),
3463bool RISCVAsmParser::parseDirectiveVariantCC() {
3465 if (getParser().parseIdentifier(Name))
3466 return TokError(
"expected symbol name");
3469 getTargetStreamer().emitDirectiveVariantCC(
3474void RISCVAsmParser::emitToStreamer(MCStreamer &S,
const MCInst &Inst) {
3477 const MCSubtargetInfo &STI = getSTI();
3478 if (!STI.
hasFeature(RISCV::FeatureExactAssembly))
3481 ++RISCVNumInstrsCompressed;
3485void RISCVAsmParser::emitLoadImm(MCRegister DestReg, int64_t
Value,
3490 for (MCInst &Inst : Seq) {
3491 emitToStreamer(Out, Inst);
3495void RISCVAsmParser::emitAuipcInstPair(MCRegister DestReg, MCRegister TmpReg,
3496 const MCExpr *Symbol,
3498 unsigned SecondOpcode, SMLoc IDLoc,
3510 MCInstBuilder(RISCV::AUIPC).addReg(TmpReg).addExpr(SymbolHi));
3515 emitToStreamer(Out, MCInstBuilder(SecondOpcode)
3518 .addExpr(RefToLinkTmpLabel));
3521void RISCVAsmParser::emitLoadLocalAddress(MCInst &Inst, SMLoc IDLoc,
3531 emitAuipcInstPair(DestReg, DestReg, Symbol, ELF::R_RISCV_PCREL_HI20,
3532 RISCV::ADDI, IDLoc, Out);
3535void RISCVAsmParser::emitLoadGlobalAddress(MCInst &Inst, SMLoc IDLoc,
3545 unsigned SecondOpcode = isRV64() ? RISCV::LD : RISCV::LW;
3546 emitAuipcInstPair(DestReg, DestReg, Symbol, ELF::R_RISCV_GOT_HI20,
3547 SecondOpcode, IDLoc, Out);
3550void RISCVAsmParser::emitLoadAddress(MCInst &Inst, SMLoc IDLoc,
3559 if (ParserOptions.IsPicEnabled)
3560 emitLoadGlobalAddress(Inst, IDLoc, Out);
3562 emitLoadLocalAddress(Inst, IDLoc, Out);
3565void RISCVAsmParser::emitLoadTLSIEAddress(MCInst &Inst, SMLoc IDLoc,
3575 unsigned SecondOpcode = isRV64() ? RISCV::LD : RISCV::LW;
3576 emitAuipcInstPair(DestReg, DestReg, Symbol, ELF::R_RISCV_TLS_GOT_HI20,
3577 SecondOpcode, IDLoc, Out);
3580void RISCVAsmParser::emitLoadTLSGDAddress(MCInst &Inst, SMLoc IDLoc,
3590 emitAuipcInstPair(DestReg, DestReg, Symbol, ELF::R_RISCV_TLS_GD_HI20,
3591 RISCV::ADDI, IDLoc, Out);
3594void RISCVAsmParser::emitLoadStoreSymbol(MCInst &Inst,
unsigned Opcode,
3595 SMLoc IDLoc, MCStreamer &Out,
3604 unsigned DestRegOpIdx = HasTmpReg ? 1 : 0;
3606 unsigned SymbolOpIdx = HasTmpReg ? 2 : 1;
3610 if (RISCVMCRegisterClasses[RISCV::GPRPairRegClassID].
contains(TmpReg)) {
3611 const MCRegisterInfo *RI =
getContext().getRegisterInfo();
3612 TmpReg = RI->
getSubReg(TmpReg, RISCV::sub_gpr_even);
3616 emitAuipcInstPair(DestReg, TmpReg, Symbol, ELF::R_RISCV_PCREL_HI20, Opcode,
3620void RISCVAsmParser::emitPseudoExtend(MCInst &Inst,
bool SignExtend,
3621 int64_t Width, SMLoc IDLoc,
3630 const MCOperand &DestReg = Inst.
getOperand(0);
3631 const MCOperand &SourceReg = Inst.
getOperand(1);
3633 unsigned SecondOpcode = SignExtend ? RISCV::SRAI : RISCV::SRLI;
3634 int64_t ShAmt = (isRV64() ? 64 : 32) - Width;
3636 assert(ShAmt > 0 &&
"Shift amount must be non-zero.");
3638 emitToStreamer(Out, MCInstBuilder(RISCV::SLLI)
3643 emitToStreamer(Out, MCInstBuilder(SecondOpcode)
3649void RISCVAsmParser::emitVMSGE(MCInst &Inst,
unsigned Opcode, SMLoc IDLoc,
3656 emitToStreamer(Out, MCInstBuilder(Opcode)
3660 .addReg(MCRegister())
3662 emitToStreamer(Out, MCInstBuilder(RISCV::VMNAND_MM)
3673 "The destination register should not be V0.");
3674 emitToStreamer(Out, MCInstBuilder(Opcode)
3680 emitToStreamer(Out, MCInstBuilder(RISCV::VMXOR_MM)
3692 "The destination register should be V0.");
3694 "The temporary vector register should not be V0.");
3695 emitToStreamer(Out, MCInstBuilder(Opcode)
3699 .addReg(MCRegister())
3701 emitToStreamer(Out, MCInstBuilder(RISCV::VMANDN_MM)
3713 "The temporary vector register should not be V0.");
3714 emitToStreamer(Out, MCInstBuilder(Opcode)
3718 .addReg(MCRegister())
3720 emitToStreamer(Out, MCInstBuilder(RISCV::VMANDN_MM)
3725 emitToStreamer(Out, MCInstBuilder(RISCV::VMANDN_MM)
3730 emitToStreamer(Out, MCInstBuilder(RISCV::VMOR_MM)
3738bool RISCVAsmParser::checkPseudoAddTPRel(MCInst &Inst,
3740 assert(Inst.
getOpcode() == RISCV::PseudoAddTPRel &&
"Invalid instruction");
3743 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[3]).getStartLoc();
3744 return Error(ErrorLoc,
"the second input operand must be tp/x4 when using "
3745 "%tprel_add specifier");
3751bool RISCVAsmParser::checkPseudoTLSDESCCall(MCInst &Inst,
3753 assert(Inst.
getOpcode() == RISCV::PseudoTLSDESCCall &&
"Invalid instruction");
3756 SMLoc ErrorLoc = ((RISCVOperand &)*Operands[3]).getStartLoc();
3757 return Error(ErrorLoc,
"the output operand must be t0/x5 when using "
3758 "%tlsdesc_call specifier");
3764std::unique_ptr<RISCVOperand> RISCVAsmParser::defaultMaskRegOp()
const {
3765 return RISCVOperand::createReg(MCRegister(), llvm::SMLoc(), llvm::SMLoc());
3768std::unique_ptr<RISCVOperand> RISCVAsmParser::defaultFRMArgOp()
const {
3769 return RISCVOperand::createFRMArg(RISCVFPRndMode::RoundingMode::DYN,
3773std::unique_ptr<RISCVOperand> RISCVAsmParser::defaultFRMArgLegacyOp()
const {
3774 return RISCVOperand::createFRMArg(RISCVFPRndMode::RoundingMode::RNE,
3778bool RISCVAsmParser::validateInstruction(MCInst &Inst,
3782 if (Opcode == RISCV::PseudoVMSGEU_VX_M_T ||
3783 Opcode == RISCV::PseudoVMSGE_VX_M_T) {
3786 if (DestReg == TempReg) {
3787 SMLoc Loc = Operands.
back()->getStartLoc();
3788 return Error(Loc,
"the temporary vector register cannot be the same as "
3789 "the destination register");
3793 if (Opcode == RISCV::TH_LDD || Opcode == RISCV::TH_LWUD ||
3794 Opcode == RISCV::TH_LWD) {
3799 if (Rs1 == Rd1 || Rs1 == Rd2 || Rd1 == Rd2) {
3800 SMLoc Loc = Operands[1]->getStartLoc();
3801 return Error(Loc,
"rs1, rd1, and rd2 cannot overlap");
3805 if (Opcode == RISCV::CM_MVSA01 || Opcode == RISCV::QC_CM_MVSA01) {
3809 SMLoc Loc = Operands[1]->getStartLoc();
3810 return Error(Loc,
"rs1 and rs2 must be different");
3814 const MCInstrDesc &MCID = MII.
get(Opcode);
3818 if (Opcode == RISCV::SF_VC_V_XVW || Opcode == RISCV::SF_VC_V_IVW ||
3819 Opcode == RISCV::SF_VC_V_FVW || Opcode == RISCV::SF_VC_V_VVW) {
3822 SMLoc VCIXDstLoc = Operands[2]->getStartLoc();
3825 if (VCIXDst == VCIXRs1)
3826 return Error(VCIXDstLoc,
"the destination vector register group cannot"
3827 " overlap the source vector register group");
3831 if (VCIXDst == VCIXRs2)
3832 return Error(VCIXDstLoc,
"the destination vector register group cannot"
3833 " overlap the source vector register group");
3845 SMLoc Loc = Operands[1]->getStartLoc();
3848 if (DestReg == CheckReg)
3849 return Error(Loc,
"the destination vector register group cannot overlap"
3850 " the source vector register group");
3854 if (DestReg == CheckReg)
3855 return Error(Loc,
"the destination vector register group cannot overlap"
3856 " the source vector register group");
3861 if (Opcode == RISCV::VADC_VVM || Opcode == RISCV::VADC_VXM ||
3862 Opcode == RISCV::VADC_VIM || Opcode == RISCV::VSBC_VVM ||
3863 Opcode == RISCV::VSBC_VXM || Opcode == RISCV::VFMERGE_VFM ||
3864 Opcode == RISCV::VMERGE_VIM || Opcode == RISCV::VMERGE_VVM ||
3865 Opcode == RISCV::VMERGE_VXM)
3866 return Error(Loc,
"the destination vector register group cannot be V0");
3873 assert((CheckReg == RISCV::V0 || !CheckReg) &&
3874 "Unexpected register for mask operand");
3876 if (DestReg == CheckReg)
3877 return Error(Loc,
"the destination vector register group cannot overlap"
3878 " the mask register");
3883bool RISCVAsmParser::processInstruction(MCInst &Inst, SMLoc IDLoc,
3891 case RISCV::PseudoC_ADDI_NOP: {
3893 emitToStreamer(Out, MCInstBuilder(RISCV::C_NOP));
3899 case RISCV::PseudoLLAImm:
3900 case RISCV::PseudoLAImm:
3901 case RISCV::PseudoLI: {
3907 emitToStreamer(Out, MCInstBuilder(RISCV::ADDI)
3919 emitLoadImm(
Reg, Imm, Out);
3922 case RISCV::PseudoLLA:
3923 emitLoadLocalAddress(Inst, IDLoc, Out);
3925 case RISCV::PseudoLGA:
3926 emitLoadGlobalAddress(Inst, IDLoc, Out);
3928 case RISCV::PseudoLA:
3929 emitLoadAddress(Inst, IDLoc, Out);
3931 case RISCV::PseudoLA_TLS_IE:
3932 emitLoadTLSIEAddress(Inst, IDLoc, Out);
3934 case RISCV::PseudoLA_TLS_GD:
3935 emitLoadTLSGDAddress(Inst, IDLoc, Out);
3937 case RISCV::PseudoLB:
3938 case RISCV::PseudoQC_E_LB:
3939 emitLoadStoreSymbol(Inst, RISCV::LB, IDLoc, Out,
false);
3941 case RISCV::PseudoLBU:
3942 case RISCV::PseudoQC_E_LBU:
3943 emitLoadStoreSymbol(Inst, RISCV::LBU, IDLoc, Out,
false);
3945 case RISCV::PseudoLH:
3946 case RISCV::PseudoQC_E_LH:
3947 emitLoadStoreSymbol(Inst, RISCV::LH, IDLoc, Out,
false);
3949 case RISCV::PseudoLHU:
3950 case RISCV::PseudoQC_E_LHU:
3951 emitLoadStoreSymbol(Inst, RISCV::LHU, IDLoc, Out,
false);
3953 case RISCV::PseudoLW:
3954 case RISCV::PseudoQC_E_LW:
3955 emitLoadStoreSymbol(Inst, RISCV::LW, IDLoc, Out,
false);
3957 case RISCV::PseudoLWU:
3958 emitLoadStoreSymbol(Inst, RISCV::LWU, IDLoc, Out,
false);
3960 case RISCV::PseudoLD:
3961 emitLoadStoreSymbol(Inst, RISCV::LD, IDLoc, Out,
false);
3963 case RISCV::PseudoLD_RV32:
3964 emitLoadStoreSymbol(Inst, RISCV::LD_RV32, IDLoc, Out,
false);
3966 case RISCV::PseudoFLH:
3967 emitLoadStoreSymbol(Inst, RISCV::FLH, IDLoc, Out,
true);
3969 case RISCV::PseudoFLW:
3970 emitLoadStoreSymbol(Inst, RISCV::FLW, IDLoc, Out,
true);
3972 case RISCV::PseudoFLD:
3973 emitLoadStoreSymbol(Inst, RISCV::FLD, IDLoc, Out,
true);
3975 case RISCV::PseudoFLQ:
3976 emitLoadStoreSymbol(Inst, RISCV::FLQ, IDLoc, Out,
true);
3978 case RISCV::PseudoSB:
3979 case RISCV::PseudoQC_E_SB:
3980 emitLoadStoreSymbol(Inst, RISCV::SB, IDLoc, Out,
true);
3982 case RISCV::PseudoSH:
3983 case RISCV::PseudoQC_E_SH:
3984 emitLoadStoreSymbol(Inst, RISCV::SH, IDLoc, Out,
true);
3986 case RISCV::PseudoSW:
3987 case RISCV::PseudoQC_E_SW:
3988 emitLoadStoreSymbol(Inst, RISCV::SW, IDLoc, Out,
true);
3990 case RISCV::PseudoSD:
3991 emitLoadStoreSymbol(Inst, RISCV::SD, IDLoc, Out,
true);
3993 case RISCV::PseudoSD_RV32:
3994 emitLoadStoreSymbol(Inst, RISCV::SD_RV32, IDLoc, Out,
true);
3996 case RISCV::PseudoFSH:
3997 emitLoadStoreSymbol(Inst, RISCV::FSH, IDLoc, Out,
true);
3999 case RISCV::PseudoFSW:
4000 emitLoadStoreSymbol(Inst, RISCV::FSW, IDLoc, Out,
true);
4002 case RISCV::PseudoFSD:
4003 emitLoadStoreSymbol(Inst, RISCV::FSD, IDLoc, Out,
true);
4005 case RISCV::PseudoFSQ:
4006 emitLoadStoreSymbol(Inst, RISCV::FSQ, IDLoc, Out,
true);
4008 case RISCV::PseudoAddTPRel:
4009 if (checkPseudoAddTPRel(Inst, Operands))
4012 case RISCV::PseudoTLSDESCCall:
4013 if (checkPseudoTLSDESCCall(Inst, Operands))
4016 case RISCV::PseudoSEXT_B:
4017 emitPseudoExtend(Inst,
true, 8, IDLoc, Out);
4019 case RISCV::PseudoSEXT_H:
4020 emitPseudoExtend(Inst,
true, 16, IDLoc, Out);
4022 case RISCV::PseudoZEXT_H:
4023 emitPseudoExtend(Inst,
false, 16, IDLoc, Out);
4025 case RISCV::PseudoZEXT_W:
4026 emitPseudoExtend(Inst,
false, 32, IDLoc, Out);
4028 case RISCV::PseudoVMSGEU_VX:
4029 case RISCV::PseudoVMSGEU_VX_M:
4030 case RISCV::PseudoVMSGEU_VX_M_T:
4031 emitVMSGE(Inst, RISCV::VMSLTU_VX, IDLoc, Out);
4033 case RISCV::PseudoVMSGE_VX:
4034 case RISCV::PseudoVMSGE_VX_M:
4035 case RISCV::PseudoVMSGE_VX_M_T:
4036 emitVMSGE(Inst, RISCV::VMSLT_VX, IDLoc, Out);
4038 case RISCV::PseudoVMSGE_VI:
4039 case RISCV::PseudoVMSLT_VI: {
4043 unsigned Opc = Inst.
getOpcode() == RISCV::PseudoVMSGE_VI ? RISCV::VMSGT_VI
4045 emitToStreamer(Out, MCInstBuilder(
Opc)
4053 case RISCV::PseudoVMSGEU_VI:
4054 case RISCV::PseudoVMSLTU_VI: {
4061 unsigned Opc = Inst.
getOpcode() == RISCV::PseudoVMSGEU_VI
4064 emitToStreamer(Out, MCInstBuilder(
Opc)
4072 unsigned Opc = Inst.
getOpcode() == RISCV::PseudoVMSGEU_VI
4075 emitToStreamer(Out, MCInstBuilder(
Opc)
4087 emitToStreamer(Out, Inst);
static MCRegister MatchRegisterName(StringRef Name)
static const char * getSubtargetFeatureName(uint64_t Val)
static SDValue Widen(SelectionDAG *CurDAG, SDValue N)
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static void applyMnemonicAliases(StringRef &Mnemonic, const FeatureBitset &Features, unsigned VariantID)
static MCDisassembler::DecodeStatus addOperand(MCInst &Inst, const MCOperand &Opnd)
static bool isNot(const MachineRegisterInfo &MRI, const MachineInstr &MI)
static MCRegister MatchRegisterAltName(StringRef Name)
Maps from the set of all alternative registernames to a register number.
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
Analysis containing CSE Info
static bool matchRegisterNameHelper(const MCSubtargetInfo &STI, MCRegister &Reg, StringRef Name)
#define LLVM_EXTERNAL_VISIBILITY
Promote Memory to Register
static MCRegister getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
static bool isReg(const MCInst &MI, unsigned OpNo)
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
bool isValidInsnFormat(StringRef Format, const MCSubtargetInfo &STI)
static MCRegister convertFPR64ToFPR128(MCRegister Reg)
static MCRegister convertFPR64ToFPR32(MCRegister Reg)
static cl::opt< bool > AddBuildAttributes("riscv-add-build-attributes", cl::init(false))
static MCRegister convertFPR64ToFPR16(MCRegister Reg)
LLVM_ABI LLVM_EXTERNAL_VISIBILITY void LLVMInitializeRISCVAsmParser()
static MCRegister convertVRToVRMx(const MCRegisterInfo &RI, MCRegister Reg, unsigned Kind)
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file implements the SmallBitVector class.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static TableGen::Emitter::OptClass< SkeletonEmitter > X("gen-skeleton-class", "Generate example skeleton class")
LLVM_ABI SMLoc getLoc() const
int64_t getIntVal() const
bool isNot(TokenKind K) const
StringRef getString() const
Get the string for the current token, this includes all characters (for example, the quotes on string...
StringRef getStringContents() const
Get the contents of a string token (without quotes).
bool is(TokenKind K) const
LLVM_ABI SMLoc getEndLoc() const
StringRef getIdentifier() const
Get the identifier string for the current token, which should be an identifier or a string.
Encoding
Size and signedness of expression operations' operands.
constexpr size_t size() const
void printExpr(raw_ostream &, const MCExpr &) const
const AsmToken & getTok()
virtual void Initialize(MCAsmParser &Parser)
Initialize the extension for parsing using the given Parser.
virtual void eatToEndOfStatement()=0
Skip to the end of the current statement, for error recovery.
virtual bool parseExpression(const MCExpr *&Res, SMLoc &EndLoc)=0
Parse an arbitrary expression.
const AsmToken & getTok() const
Get the current AsmToken from the stream.
virtual bool parseIdentifier(StringRef &Res)=0
Parse an identifier or string (as a quoted identifier) and set Res to the identifier contents.
bool parseOptionalToken(AsmToken::TokenKind T)
Attempt to parse and consume token, returning true on success.
virtual const AsmToken & Lex()=0
Get the next AsmToken in the stream, possibly handling file inclusion first.
virtual void addAliasForDirective(StringRef Directive, StringRef Alias)=0
virtual bool parseAbsoluteExpression(int64_t &Res)=0
Parse an expression which must evaluate to an absolute value.
MCStreamer & getStreamer()
static LLVM_ABI const MCBinaryExpr * create(Opcode Op, const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx, SMLoc Loc=SMLoc())
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
const MCObjectFileInfo * getObjectFileInfo() const
LLVM_ABI MCSymbol * createNamedTempSymbol()
Create a temporary symbol with a unique name whose name cannot be omitted in the symbol table.
LLVM_ABI bool evaluateAsRelocatable(MCValue &Res, const MCAssembler *Asm) const
Try to evaluate the expression to a relocatable value, i.e.
unsigned getNumOperands() const
unsigned getOpcode() const
void addOperand(const MCOperand Op)
const MCOperand & getOperand(unsigned i) const
int getOperandConstraint(unsigned OpNum, MCOI::OperandConstraint Constraint) const
Returns the value of the specified operand constraint if it is present.
const MCInstrDesc & get(unsigned Opcode) const
Return the machine instruction descriptor that corresponds to the specified instruction opcode.
bool isPositionIndependent() const
static MCOperand createExpr(const MCExpr *Val)
static MCOperand createReg(MCRegister Reg)
static MCOperand createImm(int64_t Val)
MCRegister getReg() const
Returns the register number.
const MCExpr * getExpr() const
MCParsedAsmOperand - This abstract class represents a source-level assembly instruction operand.
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
MCRegister getMatchingSuperReg(MCRegister Reg, unsigned SubIdx, const MCRegisterClass *RC) const
Return a super-register of the specified register Reg so its sub-register of index SubIdx is Reg.
MCRegister getSubReg(MCRegister Reg, unsigned Idx) const
Returns the physical register number of sub-register "Index" for physical register RegNo.
Wrapper class representing physical registers. Should be passed by value.
static const MCSpecifierExpr * create(const MCExpr *Expr, Spec S, MCContext &Ctx, SMLoc Loc=SMLoc())
virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI)
Emit the given Instruction into the current section.
virtual void emitLabel(MCSymbol *Symbol, SMLoc Loc=SMLoc())
Emit a label for Symbol into the current section.
Generic base class for all target subtargets.
bool hasFeature(unsigned Feature) const
const Triple & getTargetTriple() const
const FeatureBitset & getFeatureBits() const
FeatureBitset ToggleFeature(uint64_t FB)
Toggle a feature and return the re-computed feature bits.
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
bool isVariable() const
isVariable - Check if this is a variable symbol.
const MCExpr * getVariableValue() const
Get the expression of the variable symbol.
MCTargetAsmParser - Generic interface to target specific assembly parsers.
const MCSymbol * getAddSym() const
uint32_t getSpecifier() const
const MCSymbol * getSubSym() const
Ternary parse status returned by various parse* methods.
static constexpr StatusTy Failure
static constexpr StatusTy Success
static constexpr StatusTy NoMatch
static LLVM_ABI bool isSupportedExtensionFeature(StringRef Ext)
static LLVM_ABI std::string getTargetFeatureForExtension(StringRef Ext)
static LLVM_ABI llvm::Expected< std::unique_ptr< RISCVISAInfo > > parseArchString(StringRef Arch, bool EnableExperimentalExtension, bool ExperimentalExtensionVersionCheck=true)
Parse RISC-V ISA info from arch string.
static const char * getRegisterName(MCRegister Reg)
static SMLoc getFromPointer(const char *Ptr)
constexpr const char * getPointer() const
void push_back(const T &Elt)
StringRef - Represent a constant reference to a string, i.e.
std::string str() const
str - Get the contents as an std::string.
char back() const
back - Get the last character in the string.
A switch()-like statement whose cases are string literals.
StringSwitch & Cases(std::initializer_list< StringLiteral > CaseStrings, T Value)
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
uint16_t StackAdjustment(const RuntimeFunction &RF)
StackAdjustment - calculated stack adjustment in words.
LLVM_ABI std::optional< unsigned > attrTypeFromString(StringRef tag, TagNameMap tagNameMap)
MCExpr const & getExpr(MCExpr const &Expr)
ABI computeTargetABI(const Triple &TT, const FeatureBitset &FeatureBits, StringRef ABIName)
LLVM_ABI const TagNameMap & getRISCVAttributeTags()
static RoundingMode stringToRoundingMode(StringRef Str)
llvm::Expected< std::unique_ptr< RISCVISAInfo > > parseFeatureBits(bool IsRV64, const FeatureBitset &FeatureBits)
int getLoadFPImm(APFloat FPImm)
getLoadFPImm - Return a 5-bit binary encoding of the floating-point immediate value.
void generateMCInstSeq(int64_t Val, const MCSubtargetInfo &STI, MCRegister DestReg, SmallVectorImpl< MCInst > &Insts)
bool compress(MCInst &OutInst, const MCInst &MI, const MCSubtargetInfo &STI)
static VLMUL encodeLMUL(unsigned LMUL, bool Fractional)
LLVM_ABI unsigned encodeXSfmmVType(unsigned SEW, unsigned Widen, bool AltFmt)
static bool isValidLMUL(unsigned LMUL, bool Fractional)
static bool isValidSEW(unsigned SEW)
LLVM_ABI void printVType(unsigned VType, raw_ostream &OS)
static bool isValidXSfmmVType(unsigned VTypeI)
LLVM_ABI unsigned encodeVTYPE(VLMUL VLMUL, unsigned SEW, bool TailAgnostic, bool MaskAgnostic, bool AltFmt=false)
unsigned encodeRegList(MCRegister EndReg, bool IsRVE=false)
static unsigned getStackAdjBase(unsigned RlistVal, bool IsRV64)
void printRegList(unsigned RlistEncode, raw_ostream &OS)
Specifier parseSpecifierName(StringRef name)
@ CE
Windows NT (Windows on ARM)
@ Valid
The data is already valid.
initializer< Ty > init(const Ty &Val)
Context & getContext() const
BaseReg
Stack frame base register. Bit 0 of FREInfo.Info.
This is an optimization pass for GlobalISel generic memory operations.
bool errorToBool(Error Err)
Helper for converting an Error to a bool.
FunctionAddr VTableAddr Value
Printable print(const GCNRegPressure &RP, const GCNSubtarget *ST=nullptr, unsigned DynamicVGPRBlockSize=0)
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
static bool isMem(const MachineInstr &MI, unsigned Op)
LLVM_ABI std::pair< StringRef, StringRef > getToken(StringRef Source, StringRef Delimiters=" \t\n\v\f\r")
getToken - This function extracts one token from source, ignoring any leading characters that appear ...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
void handleAllErrors(Error E, HandlerTs &&... Handlers)
Behaves the same as handleErrors, except that by contract all errors must be handled by the given han...
testing::Matcher< const detail::ErrorHolder & > Failed()
Target & getTheRISCV32Target()
constexpr bool isUIntN(unsigned N, uint64_t x)
Checks if an unsigned integer fits into the given (dynamic) bit width.
Target & getTheRISCV64beTarget()
SmallVectorImpl< std::unique_ptr< MCParsedAsmOperand > > OperandVector
decltype(auto) get(const PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info > &Pair)
bool isDigit(char C)
Checks if character C is one of the 10 decimal digits.
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
auto lower_bound(R &&Range, T &&Value)
Provide wrappers to std::lower_bound which take ranges instead of having to pass begin/end explicitly...
DWARFExpression::Operation Op
Target & getTheRISCV64Target()
constexpr bool isShiftedInt(int64_t x)
Checks if a signed integer is an N bit number shifted left by S.
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
const SubtargetFeatureKV RISCVFeatureKV[RISCV::NumSubtargetFeatures]
constexpr bool isShiftedUInt(uint64_t x)
Checks if a unsigned integer is an N bit number shifted left by S.
Target & getTheRISCV32beTarget()
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
RegisterMCAsmParser - Helper template for registering a target specific assembly parser,...
Used to provide key value pairs for feature and CPU bit flags.