| //===---- CSKYAsmParser.cpp - Parse CSKY assembly to MCInst instructions --===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "MCTargetDesc/CSKYInstPrinter.h" |
| #include "MCTargetDesc/CSKYMCExpr.h" |
| #include "MCTargetDesc/CSKYMCTargetDesc.h" |
| #include "TargetInfo/CSKYTargetInfo.h" |
| #include "llvm/ADT/STLExtras.h" |
| #include "llvm/ADT/StringSwitch.h" |
| #include "llvm/CodeGen/Register.h" |
| #include "llvm/MC/MCContext.h" |
| #include "llvm/MC/MCExpr.h" |
| #include "llvm/MC/MCInst.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/MCSectionELF.h" |
| #include "llvm/MC/MCStreamer.h" |
| #include "llvm/MC/MCSubtargetInfo.h" |
| #include "llvm/MC/TargetRegistry.h" |
| #include "llvm/Support/Casting.h" |
| #include "llvm/Support/Debug.h" |
| |
| #define DEBUG_TYPE "csky-asm-parser" |
| |
| using namespace llvm; |
| |
| namespace { |
| struct CSKYOperand; |
| |
| class CSKYAsmParser : public MCTargetAsmParser { |
| |
| const MCRegisterInfo *MRI; |
| |
| bool generateImmOutOfRangeError(OperandVector &Operands, uint64_t ErrorInfo, |
| int64_t Lower, int64_t Upper, Twine Msg); |
| |
| SMLoc getLoc() const { return getParser().getTok().getLoc(); } |
| |
| 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; |
| |
| OperandMatchResultTy tryParseRegister(unsigned &RegNo, SMLoc &StartLoc, |
| SMLoc &EndLoc) override; |
| |
| bool processInstruction(MCInst &Inst, SMLoc IDLoc, OperandVector &Operands, |
| MCStreamer &Out); |
| |
| // Auto-generated instruction matching functions |
| #define GET_ASSEMBLER_HEADER |
| #include "CSKYGenAsmMatcher.inc" |
| |
| OperandMatchResultTy parseImmediate(OperandVector &Operands); |
| OperandMatchResultTy parseRegister(OperandVector &Operands); |
| OperandMatchResultTy parseBaseRegImm(OperandVector &Operands); |
| OperandMatchResultTy parseCSKYSymbol(OperandVector &Operands); |
| OperandMatchResultTy parseConstpoolSymbol(OperandVector &Operands); |
| OperandMatchResultTy parseDataSymbol(OperandVector &Operands); |
| OperandMatchResultTy parsePSRFlag(OperandVector &Operands); |
| OperandMatchResultTy parseRegSeq(OperandVector &Operands); |
| OperandMatchResultTy parseRegList(OperandVector &Operands); |
| |
| bool parseOperand(OperandVector &Operands, StringRef Mnemonic); |
| |
| public: |
| enum CSKYMatchResultTy { |
| Match_Dummy = FIRST_TARGET_MATCH_RESULT_TY, |
| Match_RequiresSameSrcAndDst, |
| Match_InvalidRegOutOfRange, |
| #define GET_OPERAND_DIAGNOSTIC_TYPES |
| #include "CSKYGenAsmMatcher.inc" |
| #undef GET_OPERAND_DIAGNOSTIC_TYPES |
| }; |
| |
| CSKYAsmParser(const MCSubtargetInfo &STI, MCAsmParser &Parser, |
| const MCInstrInfo &MII, const MCTargetOptions &Options) |
| : MCTargetAsmParser(Options, STI, MII) { |
| setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits())); |
| } |
| }; |
| |
| /// Instances of this class represent a parsed machine instruction. |
| struct CSKYOperand : public MCParsedAsmOperand { |
| |
| enum KindTy { |
| Token, |
| Register, |
| Immediate, |
| RegisterSeq, |
| CPOP, |
| RegisterList |
| } Kind; |
| |
| struct RegOp { |
| unsigned RegNum; |
| }; |
| |
| struct ImmOp { |
| const MCExpr *Val; |
| }; |
| |
| struct ConstpoolOp { |
| const MCExpr *Val; |
| }; |
| |
| struct RegSeqOp { |
| unsigned RegNumFrom; |
| unsigned RegNumTo; |
| }; |
| |
| struct RegListOp { |
| unsigned List1From = 0; |
| unsigned List1To = 0; |
| unsigned List2From = 0; |
| unsigned List2To = 0; |
| unsigned List3From = 0; |
| unsigned List3To = 0; |
| unsigned List4From = 0; |
| unsigned List4To = 0; |
| }; |
| |
| SMLoc StartLoc, EndLoc; |
| union { |
| StringRef Tok; |
| RegOp Reg; |
| ImmOp Imm; |
| ConstpoolOp CPool; |
| RegSeqOp RegSeq; |
| RegListOp RegList; |
| }; |
| |
| CSKYOperand(KindTy K) : MCParsedAsmOperand(), Kind(K) {} |
| |
| public: |
| CSKYOperand(const CSKYOperand &o) : MCParsedAsmOperand() { |
| Kind = o.Kind; |
| StartLoc = o.StartLoc; |
| EndLoc = o.EndLoc; |
| switch (Kind) { |
| case Register: |
| Reg = o.Reg; |
| break; |
| case RegisterSeq: |
| RegSeq = o.RegSeq; |
| break; |
| case CPOP: |
| CPool = o.CPool; |
| break; |
| case Immediate: |
| Imm = o.Imm; |
| break; |
| case Token: |
| Tok = o.Tok; |
| break; |
| case RegisterList: |
| RegList = o.RegList; |
| break; |
| } |
| } |
| |
| bool isToken() const override { return Kind == Token; } |
| bool isReg() const override { return Kind == Register; } |
| bool isImm() const override { return Kind == Immediate; } |
| bool isRegisterSeq() const { return Kind == RegisterSeq; } |
| bool isRegisterList() const { return Kind == RegisterList; } |
| bool isConstPoolOp() const { return Kind == CPOP; } |
| |
| bool isMem() const override { return false; } |
| |
| static bool evaluateConstantImm(const MCExpr *Expr, int64_t &Imm) { |
| if (auto CE = dyn_cast<MCConstantExpr>(Expr)) { |
| Imm = CE->getValue(); |
| return true; |
| } |
| |
| return false; |
| } |
| |
| template <unsigned num, unsigned shift = 0> bool isUImm() const { |
| if (!isImm()) |
| return false; |
| |
| int64_t Imm; |
| bool IsConstantImm = evaluateConstantImm(getImm(), Imm); |
| return IsConstantImm && isShiftedUInt<num, shift>(Imm); |
| } |
| |
| template <unsigned num> bool isOImm() const { |
| if (!isImm()) |
| return false; |
| |
| int64_t Imm; |
| bool IsConstantImm = evaluateConstantImm(getImm(), Imm); |
| return IsConstantImm && isUInt<num>(Imm - 1); |
| } |
| |
| template <unsigned num, unsigned shift = 0> bool isSImm() const { |
| if (!isImm()) |
| return false; |
| |
| int64_t Imm; |
| bool IsConstantImm = evaluateConstantImm(getImm(), Imm); |
| return IsConstantImm && isShiftedInt<num, shift>(Imm); |
| } |
| |
| bool isUImm1() const { return isUImm<1>(); } |
| bool isUImm2() const { return isUImm<2>(); } |
| bool isUImm3() const { return isUImm<3>(); } |
| bool isUImm4() const { return isUImm<4>(); } |
| bool isUImm5() const { return isUImm<5>(); } |
| bool isUImm6() const { return isUImm<6>(); } |
| bool isUImm7() const { return isUImm<7>(); } |
| bool isUImm8() const { return isUImm<8>(); } |
| bool isUImm12() const { return isUImm<12>(); } |
| bool isUImm16() const { return isUImm<16>(); } |
| bool isUImm20() const { return isUImm<20>(); } |
| bool isUImm24() const { return isUImm<24>(); } |
| |
| bool isOImm3() const { return isOImm<3>(); } |
| bool isOImm4() const { return isOImm<4>(); } |
| bool isOImm5() const { return isOImm<5>(); } |
| bool isOImm6() const { return isOImm<6>(); } |
| bool isOImm8() const { return isOImm<8>(); } |
| bool isOImm12() const { return isOImm<12>(); } |
| bool isOImm16() const { return isOImm<16>(); } |
| |
| bool isSImm8() const { return isSImm<8>(); } |
| |
| bool isUImm5Shift1() { return isUImm<5, 1>(); } |
| bool isUImm5Shift2() { return isUImm<5, 2>(); } |
| bool isUImm7Shift1() { return isUImm<7, 1>(); } |
| bool isUImm7Shift2() { return isUImm<7, 2>(); } |
| bool isUImm7Shift3() { return isUImm<7, 3>(); } |
| bool isUImm8Shift2() { return isUImm<8, 2>(); } |
| bool isUImm8Shift3() { return isUImm<8, 3>(); } |
| bool isUImm8Shift8() { return isUImm<8, 8>(); } |
| bool isUImm8Shift16() { return isUImm<8, 16>(); } |
| bool isUImm8Shift24() { return isUImm<8, 24>(); } |
| bool isUImm12Shift1() { return isUImm<12, 1>(); } |
| bool isUImm12Shift2() { return isUImm<12, 2>(); } |
| bool isUImm16Shift8() { return isUImm<16, 8>(); } |
| bool isUImm16Shift16() { return isUImm<16, 16>(); } |
| bool isUImm24Shift8() { return isUImm<24, 8>(); } |
| |
| bool isSImm16Shift1() { return isSImm<16, 1>(); } |
| |
| bool isCSKYSymbol() const { return isImm(); } |
| |
| bool isConstpool() const { return isConstPoolOp(); } |
| bool isDataSymbol() const { return isConstPoolOp(); } |
| |
| bool isSPOperand() const { |
| if (!isReg()) |
| return false; |
| return getReg() == CSKY::R14; |
| } |
| |
| bool isPSRFlag() const { |
| int64_t Imm; |
| // Must be of 'immediate' type and a constant. |
| if (!isImm() || !evaluateConstantImm(getImm(), Imm)) |
| return false; |
| |
| return isUInt<5>(Imm); |
| } |
| |
| template <unsigned MIN, unsigned MAX> bool isRegSeqTemplate() const { |
| if (!isRegisterSeq()) |
| return false; |
| |
| std::pair<unsigned, unsigned> regSeq = getRegSeq(); |
| |
| return MIN <= regSeq.first && regSeq.first <= regSeq.second && |
| regSeq.second <= MAX; |
| } |
| |
| bool isRegSeq() const { return isRegSeqTemplate<CSKY::R0, CSKY::R31>(); } |
| |
| static bool isLegalRegList(unsigned from, unsigned to) { |
| if (from == 0 && to == 0) |
| return true; |
| |
| if (from == to) { |
| if (from != CSKY::R4 && from != CSKY::R15 && from != CSKY::R16 && |
| from != CSKY::R28) |
| return false; |
| |
| return true; |
| } else { |
| if (from != CSKY::R4 && from != CSKY::R16) |
| return false; |
| |
| if (from == CSKY::R4 && to > CSKY::R4 && to < CSKY::R12) |
| return true; |
| else if (from == CSKY::R16 && to > CSKY::R16 && to < CSKY::R18) |
| return true; |
| else |
| return false; |
| } |
| } |
| |
| bool isRegList() const { |
| if (!isRegisterList()) |
| return false; |
| |
| auto regList = getRegList(); |
| |
| if (!isLegalRegList(regList.List1From, regList.List1To)) |
| return false; |
| if (!isLegalRegList(regList.List2From, regList.List2To)) |
| return false; |
| if (!isLegalRegList(regList.List3From, regList.List3To)) |
| return false; |
| if (!isLegalRegList(regList.List4From, regList.List4To)) |
| return false; |
| |
| return true; |
| } |
| |
| bool isExtImm6() { |
| if (!isImm()) |
| return false; |
| |
| int64_t Imm; |
| bool IsConstantImm = evaluateConstantImm(getImm(), Imm); |
| if (!IsConstantImm) |
| return false; |
| |
| int uimm4 = Imm & 0xf; |
| |
| return isShiftedUInt<6, 0>(Imm) && uimm4 >= 0 && uimm4 <= 14; |
| } |
| |
| /// Gets location of the first token of this operand. |
| SMLoc getStartLoc() const override { return StartLoc; } |
| /// Gets location of the last token of this operand. |
| SMLoc getEndLoc() const override { return EndLoc; } |
| |
| unsigned getReg() const override { |
| assert(Kind == Register && "Invalid type access!"); |
| return Reg.RegNum; |
| } |
| |
| std::pair<unsigned, unsigned> getRegSeq() const { |
| assert(Kind == RegisterSeq && "Invalid type access!"); |
| return std::pair<unsigned, unsigned>(RegSeq.RegNumFrom, RegSeq.RegNumTo); |
| } |
| |
| RegListOp getRegList() const { |
| assert(Kind == RegisterList && "Invalid type access!"); |
| return RegList; |
| } |
| |
| const MCExpr *getImm() const { |
| assert(Kind == Immediate && "Invalid type access!"); |
| return Imm.Val; |
| } |
| |
| const MCExpr *getConstpoolOp() const { |
| assert(Kind == CPOP && "Invalid type access!"); |
| return CPool.Val; |
| } |
| |
| StringRef getToken() const { |
| assert(Kind == Token && "Invalid type access!"); |
| return Tok; |
| } |
| |
| void print(raw_ostream &OS) const override { |
| auto RegName = [](unsigned Reg) { |
| if (Reg) |
| return CSKYInstPrinter::getRegisterName(Reg); |
| else |
| return "noreg"; |
| }; |
| |
| switch (Kind) { |
| case CPOP: |
| OS << *getConstpoolOp(); |
| break; |
| case Immediate: |
| OS << *getImm(); |
| break; |
| case KindTy::Register: |
| OS << "<register " << RegName(getReg()) << ">"; |
| break; |
| case RegisterSeq: |
| OS << "<register-seq "; |
| OS << RegName(getRegSeq().first) << "-" << RegName(getRegSeq().second) |
| << ">"; |
| break; |
| case RegisterList: |
| OS << "<register-list "; |
| OS << RegName(getRegList().List1From) << "-" |
| << RegName(getRegList().List1To) << ","; |
| OS << RegName(getRegList().List2From) << "-" |
| << RegName(getRegList().List2To) << ","; |
| OS << RegName(getRegList().List3From) << "-" |
| << RegName(getRegList().List3To) << ","; |
| OS << RegName(getRegList().List4From) << "-" |
| << RegName(getRegList().List4To); |
| break; |
| case Token: |
| OS << "'" << getToken() << "'"; |
| break; |
| } |
| } |
| |
| static std::unique_ptr<CSKYOperand> createToken(StringRef Str, SMLoc S) { |
| auto Op = std::make_unique<CSKYOperand>(Token); |
| Op->Tok = Str; |
| Op->StartLoc = S; |
| Op->EndLoc = S; |
| return Op; |
| } |
| |
| static std::unique_ptr<CSKYOperand> createReg(unsigned RegNo, SMLoc S, |
| SMLoc E) { |
| auto Op = std::make_unique<CSKYOperand>(Register); |
| Op->Reg.RegNum = RegNo; |
| Op->StartLoc = S; |
| Op->EndLoc = E; |
| return Op; |
| } |
| |
| static std::unique_ptr<CSKYOperand> createRegSeq(unsigned RegNoFrom, |
| unsigned RegNoTo, SMLoc S) { |
| auto Op = std::make_unique<CSKYOperand>(RegisterSeq); |
| Op->RegSeq.RegNumFrom = RegNoFrom; |
| Op->RegSeq.RegNumTo = RegNoTo; |
| Op->StartLoc = S; |
| Op->EndLoc = S; |
| return Op; |
| } |
| |
| static std::unique_ptr<CSKYOperand> |
| createRegList(SmallVector<unsigned, 4> reglist, SMLoc S) { |
| auto Op = std::make_unique<CSKYOperand>(RegisterList); |
| Op->RegList.List1From = 0; |
| Op->RegList.List1To = 0; |
| Op->RegList.List2From = 0; |
| Op->RegList.List2To = 0; |
| Op->RegList.List3From = 0; |
| Op->RegList.List3To = 0; |
| Op->RegList.List4From = 0; |
| Op->RegList.List4To = 0; |
| |
| for (unsigned i = 0; i < reglist.size(); i += 2) { |
| if (Op->RegList.List1From == 0) { |
| Op->RegList.List1From = reglist[i]; |
| Op->RegList.List1To = reglist[i + 1]; |
| } else if (Op->RegList.List2From == 0) { |
| Op->RegList.List2From = reglist[i]; |
| Op->RegList.List2To = reglist[i + 1]; |
| } else if (Op->RegList.List3From == 0) { |
| Op->RegList.List3From = reglist[i]; |
| Op->RegList.List3To = reglist[i + 1]; |
| } else if (Op->RegList.List4From == 0) { |
| Op->RegList.List4From = reglist[i]; |
| Op->RegList.List4To = reglist[i + 1]; |
| } else { |
| assert(0); |
| } |
| } |
| |
| Op->StartLoc = S; |
| Op->EndLoc = S; |
| return Op; |
| } |
| |
| static std::unique_ptr<CSKYOperand> createImm(const MCExpr *Val, SMLoc S, |
| SMLoc E) { |
| auto Op = std::make_unique<CSKYOperand>(Immediate); |
| Op->Imm.Val = Val; |
| Op->StartLoc = S; |
| Op->EndLoc = E; |
| return Op; |
| } |
| |
| static std::unique_ptr<CSKYOperand> createConstpoolOp(const MCExpr *Val, |
| SMLoc S, SMLoc E) { |
| auto Op = std::make_unique<CSKYOperand>(CPOP); |
| Op->CPool.Val = Val; |
| Op->StartLoc = S; |
| Op->EndLoc = E; |
| return Op; |
| } |
| |
| void addExpr(MCInst &Inst, const MCExpr *Expr) const { |
| assert(Expr && "Expr shouldn't be null!"); |
| if (auto *CE = dyn_cast<MCConstantExpr>(Expr)) |
| Inst.addOperand(MCOperand::createImm(CE->getValue())); |
| 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 addConstpoolOperands(MCInst &Inst, unsigned N) const { |
| assert(N == 1 && "Invalid number of operands!"); |
| Inst.addOperand(MCOperand::createExpr(getConstpoolOp())); |
| } |
| |
| void addRegSeqOperands(MCInst &Inst, unsigned N) const { |
| assert(N == 2 && "Invalid number of operands!"); |
| auto regSeq = getRegSeq(); |
| |
| Inst.addOperand(MCOperand::createReg(regSeq.first)); |
| Inst.addOperand(MCOperand::createReg(regSeq.second)); |
| } |
| |
| static unsigned getListValue(unsigned ListFrom, unsigned ListTo) { |
| if (ListFrom == ListTo && ListFrom == CSKY::R15) |
| return (1 << 4); |
| else if (ListFrom == ListTo && ListFrom == CSKY::R28) |
| return (1 << 8); |
| else if (ListFrom == CSKY::R4) |
| return ListTo - ListFrom + 1; |
| else if (ListFrom == CSKY::R16) |
| return ((ListTo - ListFrom + 1) << 5); |
| else |
| return 0; |
| } |
| |
| void addRegListOperands(MCInst &Inst, unsigned N) const { |
| assert(N == 1 && "Invalid number of operands!"); |
| auto regList = getRegList(); |
| |
| unsigned V = 0; |
| |
| unsigned T = getListValue(regList.List1From, regList.List1To); |
| if (T != 0) |
| V = V | T; |
| |
| T = getListValue(regList.List2From, regList.List2To); |
| if (T != 0) |
| V = V | T; |
| |
| T = getListValue(regList.List3From, regList.List3To); |
| if (T != 0) |
| V = V | T; |
| |
| T = getListValue(regList.List4From, regList.List4To); |
| if (T != 0) |
| V = V | T; |
| |
| Inst.addOperand(MCOperand::createImm(V)); |
| } |
| |
| bool isValidForTie(const CSKYOperand &Other) const { |
| if (Kind != Other.Kind) |
| return false; |
| |
| switch (Kind) { |
| default: |
| llvm_unreachable("Unexpected kind"); |
| return false; |
| case Register: |
| return Reg.RegNum == Other.Reg.RegNum; |
| } |
| } |
| }; |
| } // end anonymous namespace. |
| |
| #define GET_REGISTER_MATCHER |
| #define GET_SUBTARGET_FEATURE_NAME |
| #define GET_MATCHER_IMPLEMENTATION |
| #define GET_MNEMONIC_SPELL_CHECKER |
| #include "CSKYGenAsmMatcher.inc" |
| |
| static std::string CSKYMnemonicSpellCheck(StringRef S, const FeatureBitset &FBS, |
| unsigned VariantID = 0); |
| |
| bool CSKYAsmParser::generateImmOutOfRangeError( |
| OperandVector &Operands, uint64_t ErrorInfo, int64_t Lower, int64_t Upper, |
| Twine Msg = "immediate must be an integer in the range") { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, Msg + " [" + Twine(Lower) + ", " + Twine(Upper) + "]"); |
| } |
| |
| bool CSKYAsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode, |
| OperandVector &Operands, |
| MCStreamer &Out, |
| uint64_t &ErrorInfo, |
| bool MatchingInlineAsm) { |
| MCInst Inst; |
| FeatureBitset MissingFeatures; |
| |
| auto Result = MatchInstructionImpl(Operands, Inst, ErrorInfo, MissingFeatures, |
| MatchingInlineAsm); |
| switch (Result) { |
| default: |
| break; |
| case Match_Success: |
| return processInstruction(Inst, IDLoc, Operands, Out); |
| case Match_MissingFeature: { |
| assert(MissingFeatures.any() && "Unknown missing features!"); |
| ListSeparator LS; |
| std::string Msg = "instruction requires the following: "; |
| for (unsigned i = 0, e = MissingFeatures.size(); i != e; ++i) { |
| if (MissingFeatures[i]) { |
| Msg += LS; |
| Msg += getSubtargetFeatureName(i); |
| } |
| } |
| return Error(IDLoc, Msg); |
| } |
| case Match_MnemonicFail: { |
| FeatureBitset FBS = ComputeAvailableFeatures(getSTI().getFeatureBits()); |
| std::string Suggestion = |
| CSKYMnemonicSpellCheck(((CSKYOperand &)*Operands[0]).getToken(), FBS); |
| return Error(IDLoc, "unrecognized instruction mnemonic" + Suggestion); |
| } |
| case Match_InvalidTiedOperand: |
| case Match_InvalidOperand: { |
| SMLoc ErrorLoc = IDLoc; |
| if (ErrorInfo != ~0U) { |
| if (ErrorInfo >= Operands.size()) |
| return Error(ErrorLoc, "too few operands for instruction"); |
| |
| ErrorLoc = ((CSKYOperand &)*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_InvalidSImm8: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, -(1 << 7), |
| (1 << 7) - 1); |
| case Match_InvalidOImm3: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 3)); |
| case Match_InvalidOImm4: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 4)); |
| case Match_InvalidOImm5: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 5)); |
| case Match_InvalidOImm6: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 6)); |
| case Match_InvalidOImm8: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 8)); |
| case Match_InvalidOImm12: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 12)); |
| case Match_InvalidOImm16: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 1, (1 << 16)); |
| case Match_InvalidUImm1: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 1) - 1); |
| case Match_InvalidUImm2: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 2) - 1); |
| case Match_InvalidUImm3: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 3) - 1); |
| case Match_InvalidUImm4: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 4) - 1); |
| case Match_InvalidUImm5: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 5) - 1); |
| case Match_InvalidUImm6: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 6) - 1); |
| case Match_InvalidUImm7: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 7) - 1); |
| case Match_InvalidUImm8: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 8) - 1); |
| case Match_InvalidUImm12: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 12) - 1); |
| case Match_InvalidUImm16: |
| return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 16) - 1); |
| case Match_InvalidUImm5Shift1: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 5) - 2, |
| "immediate must be a multiple of 2 bytes in the range"); |
| case Match_InvalidUImm12Shift1: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 12) - 2, |
| "immediate must be a multiple of 2 bytes in the range"); |
| case Match_InvalidUImm5Shift2: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 5) - 4, |
| "immediate must be a multiple of 4 bytes in the range"); |
| case Match_InvalidUImm7Shift1: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 7) - 2, |
| "immediate must be a multiple of 2 bytes in the range"); |
| case Match_InvalidUImm7Shift2: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 7) - 4, |
| "immediate must be a multiple of 4 bytes in the range"); |
| case Match_InvalidUImm8Shift2: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 8) - 4, |
| "immediate must be a multiple of 4 bytes in the range"); |
| case Match_InvalidUImm8Shift3: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 8) - 8, |
| "immediate must be a multiple of 8 bytes in the range"); |
| case Match_InvalidUImm8Shift8: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 8) - 256, |
| "immediate must be a multiple of 256 bytes in the range"); |
| case Match_InvalidUImm12Shift2: |
| return generateImmOutOfRangeError( |
| Operands, ErrorInfo, 0, (1 << 12) - 4, |
| "immediate must be a multiple of 4 bytes in the range"); |
| case Match_InvalidCSKYSymbol: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "operand must be a symbol name"); |
| } |
| case Match_InvalidConstpool: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "operand must be a constpool symbol name"); |
| } |
| case Match_InvalidPSRFlag: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "psrset operand is not valid"); |
| } |
| case Match_InvalidRegSeq: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "Register sequence is not valid"); |
| } |
| case Match_InvalidRegOutOfRange: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "register is out of range"); |
| } |
| case Match_InvalidSPOperand: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "operand must be sp register"); |
| } |
| case Match_RequiresSameSrcAndDst: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "src and dst operand must be same"); |
| } |
| case Match_InvalidRegList: { |
| SMLoc ErrorLoc = ((CSKYOperand &)*Operands[ErrorInfo]).getStartLoc(); |
| return Error(ErrorLoc, "invalid register list"); |
| } |
| } |
| LLVM_DEBUG(dbgs() << "Result = " << Result); |
| llvm_unreachable("Unknown match type detected!"); |
| } |
| |
| bool CSKYAsmParser::processInstruction(MCInst &Inst, SMLoc IDLoc, |
| OperandVector &Operands, |
| MCStreamer &Out) { |
| |
| if (Inst.getOpcode() == CSKY::LDQ32 || Inst.getOpcode() == CSKY::STQ32) { |
| if (Inst.getOperand(1).getReg() != CSKY::R4 || |
| Inst.getOperand(2).getReg() != CSKY::R7) { |
| return Error(IDLoc, "Register sequence is not valid. 'r4-r7' expected"); |
| } |
| Inst.setOpcode(Inst.getOpcode() == CSKY::LDQ32 ? CSKY::LDM32 : CSKY::STM32); |
| Out.emitInstruction(Inst, getSTI()); |
| return false; |
| } else if (Inst.getOpcode() == CSKY::SEXT32 || |
| Inst.getOpcode() == CSKY::ZEXT32) { |
| if (Inst.getOperand(2).getImm() < Inst.getOperand(3).getImm()) |
| return Error(IDLoc, "msb must be greater or equal to lsb"); |
| } else if (Inst.getOpcode() == CSKY::INS32) { |
| if (Inst.getOperand(3).getImm() < Inst.getOperand(4).getImm()) |
| return Error(IDLoc, "msb must be greater or equal to lsb"); |
| } else if (Inst.getOpcode() == CSKY::IDLY32) { |
| if (Inst.getOperand(0).getImm() > 32 || Inst.getOperand(0).getImm() < 0) |
| return Error(IDLoc, "n must be in range [0,32]"); |
| } |
| |
| Out.emitInstruction(Inst, getSTI()); |
| return false; |
| } |
| |
| // Attempts to match Name as a register (either using the default name or |
| // alternative ABI names), setting RegNo to the matching register. Upon |
| // failure, returns true and sets RegNo to 0. |
| static bool matchRegisterNameHelper(const MCSubtargetInfo &STI, |
| MCRegister &RegNo, StringRef Name) { |
| RegNo = MatchRegisterName(Name); |
| |
| if (RegNo == CSKY::NoRegister) |
| RegNo = MatchRegisterAltName(Name); |
| |
| return RegNo == CSKY::NoRegister; |
| } |
| |
| bool CSKYAsmParser::ParseRegister(unsigned &RegNo, SMLoc &StartLoc, |
| SMLoc &EndLoc) { |
| const AsmToken &Tok = getParser().getTok(); |
| StartLoc = Tok.getLoc(); |
| EndLoc = Tok.getEndLoc(); |
| StringRef Name = getLexer().getTok().getIdentifier(); |
| |
| if (!matchRegisterNameHelper(getSTI(), (MCRegister &)RegNo, Name)) { |
| getParser().Lex(); // Eat identifier token. |
| return false; |
| } |
| |
| return MatchOperand_NoMatch; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseRegister(OperandVector &Operands) { |
| SMLoc S = getLoc(); |
| SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); |
| |
| switch (getLexer().getKind()) { |
| default: |
| return MatchOperand_NoMatch; |
| case AsmToken::Identifier: { |
| StringRef Name = getLexer().getTok().getIdentifier(); |
| MCRegister RegNo; |
| |
| if (matchRegisterNameHelper(getSTI(), (MCRegister &)RegNo, Name)) |
| return MatchOperand_NoMatch; |
| |
| getLexer().Lex(); |
| Operands.push_back(CSKYOperand::createReg(RegNo, S, E)); |
| |
| return MatchOperand_Success; |
| } |
| } |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseBaseRegImm(OperandVector &Operands) { |
| assert(getLexer().is(AsmToken::LParen)); |
| |
| Operands.push_back(CSKYOperand::createToken("(", getLoc())); |
| |
| auto Tok = getParser().Lex(); // Eat '(' |
| |
| if (parseRegister(Operands) != MatchOperand_Success) { |
| getLexer().UnLex(Tok); |
| Operands.pop_back(); |
| return MatchOperand_NoMatch; |
| } |
| |
| if (getLexer().is(AsmToken::RParen)) { |
| Operands.push_back(CSKYOperand::createToken(")", getLoc())); |
| getParser().Lex(); // Eat ')' |
| return MatchOperand_Success; |
| } |
| |
| if (getLexer().isNot(AsmToken::Comma)) { |
| Error(getLoc(), "expected ','"); |
| return MatchOperand_ParseFail; |
| } |
| |
| getParser().Lex(); // Eat ',' |
| |
| if (parseRegister(Operands) == MatchOperand_Success) { |
| if (getLexer().isNot(AsmToken::LessLess)) { |
| Error(getLoc(), "expected '<<'"); |
| return MatchOperand_ParseFail; |
| } |
| |
| Operands.push_back(CSKYOperand::createToken("<<", getLoc())); |
| |
| getParser().Lex(); // Eat '<<' |
| |
| if (parseImmediate(Operands) != MatchOperand_Success) { |
| Error(getLoc(), "expected imm"); |
| return MatchOperand_ParseFail; |
| } |
| |
| } else if (parseImmediate(Operands) != MatchOperand_Success) { |
| Error(getLoc(), "expected imm"); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (getLexer().isNot(AsmToken::RParen)) { |
| Error(getLoc(), "expected ')'"); |
| return MatchOperand_ParseFail; |
| } |
| |
| Operands.push_back(CSKYOperand::createToken(")", getLoc())); |
| |
| getParser().Lex(); // Eat ')' |
| |
| return MatchOperand_Success; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseImmediate(OperandVector &Operands) { |
| switch (getLexer().getKind()) { |
| default: |
| return MatchOperand_NoMatch; |
| case AsmToken::LParen: |
| case AsmToken::Minus: |
| case AsmToken::Plus: |
| case AsmToken::Integer: |
| case AsmToken::String: |
| break; |
| } |
| |
| const MCExpr *IdVal; |
| SMLoc S = getLoc(); |
| if (getParser().parseExpression(IdVal)) { |
| Error(getLoc(), "unknown expression"); |
| return MatchOperand_ParseFail; |
| } |
| |
| SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); |
| Operands.push_back(CSKYOperand::createImm(IdVal, S, E)); |
| 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 CSKYAsmParser::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 register |
| auto Res = parseRegister(Operands); |
| if (Res == MatchOperand_Success) |
| return false; |
| else if (Res == MatchOperand_ParseFail) |
| return true; |
| |
| // Attempt to parse token as (register, imm) |
| if (getLexer().is(AsmToken::LParen)) { |
| Res = parseBaseRegImm(Operands); |
| if (Res == MatchOperand_Success) |
| return false; |
| else if (Res == MatchOperand_ParseFail) |
| return true; |
| } |
| |
| Res = parseImmediate(Operands); |
| if (Res == MatchOperand_Success) |
| return false; |
| else if (Res == MatchOperand_ParseFail) |
| return true; |
| |
| // Finally we have exhausted all options and must declare defeat. |
| Error(getLoc(), "unknown operand"); |
| return true; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseCSKYSymbol(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; |
| AsmToken Tok = getLexer().getTok(); |
| |
| if (getParser().parseIdentifier(Identifier)) { |
| Error(getLoc(), "unknown identifier"); |
| return MatchOperand_ParseFail; |
| } |
| |
| CSKYMCExpr::VariantKind Kind = CSKYMCExpr::VK_CSKY_None; |
| if (Identifier.consume_back("@GOT")) |
| Kind = CSKYMCExpr::VK_CSKY_GOT; |
| else if (Identifier.consume_back("@GOTOFF")) |
| Kind = CSKYMCExpr::VK_CSKY_GOTOFF; |
| else if (Identifier.consume_back("@PLT")) |
| Kind = CSKYMCExpr::VK_CSKY_PLT; |
| else if (Identifier.consume_back("@GOTPC")) |
| Kind = CSKYMCExpr::VK_CSKY_GOTPC; |
| else if (Identifier.consume_back("@TLSGD32")) |
| Kind = CSKYMCExpr::VK_CSKY_TLSGD; |
| else if (Identifier.consume_back("@GOTTPOFF")) |
| Kind = CSKYMCExpr::VK_CSKY_TLSIE; |
| else if (Identifier.consume_back("@TPOFF")) |
| Kind = CSKYMCExpr::VK_CSKY_TLSLE; |
| else if (Identifier.consume_back("@TLSLDM32")) |
| Kind = CSKYMCExpr::VK_CSKY_TLSLDM; |
| else if (Identifier.consume_back("@TLSLDO32")) |
| Kind = CSKYMCExpr::VK_CSKY_TLSLDO; |
| |
| MCSymbol *Sym = getContext().getInlineAsmLabel(Identifier); |
| |
| if (!Sym) |
| Sym = getContext().getOrCreateSymbol(Identifier); |
| |
| if (Sym->isVariable()) { |
| const MCExpr *V = Sym->getVariableValue(/*SetUsed=*/false); |
| if (!isa<MCSymbolRefExpr>(V)) { |
| getLexer().UnLex(Tok); // Put back if it's not a bare symbol. |
| Error(getLoc(), "unknown symbol"); |
| return MatchOperand_ParseFail; |
| } |
| Res = V; |
| } else |
| Res = MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, getContext()); |
| |
| MCBinaryExpr::Opcode Opcode; |
| switch (getLexer().getKind()) { |
| default: |
| if (Kind != CSKYMCExpr::VK_CSKY_None) |
| Res = CSKYMCExpr::create(Res, Kind, getContext()); |
| |
| Operands.push_back(CSKYOperand::createImm(Res, S, E)); |
| return MatchOperand_Success; |
| case AsmToken::Plus: |
| Opcode = MCBinaryExpr::Add; |
| break; |
| case AsmToken::Minus: |
| Opcode = MCBinaryExpr::Sub; |
| break; |
| } |
| |
| getLexer().Lex(); // eat + or - |
| |
| const MCExpr *Expr; |
| if (getParser().parseExpression(Expr)) { |
| Error(getLoc(), "unknown expression"); |
| return MatchOperand_ParseFail; |
| } |
| Res = MCBinaryExpr::create(Opcode, Res, Expr, getContext()); |
| Operands.push_back(CSKYOperand::createImm(Res, S, E)); |
| return MatchOperand_Success; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseDataSymbol(OperandVector &Operands) { |
| SMLoc S = getLoc(); |
| SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); |
| const MCExpr *Res; |
| |
| if (getLexer().getKind() != AsmToken::LBrac) |
| return MatchOperand_NoMatch; |
| |
| getLexer().Lex(); // Eat '['. |
| |
| if (getLexer().getKind() != AsmToken::Identifier) { |
| const MCExpr *Expr; |
| if (getParser().parseExpression(Expr)) { |
| Error(getLoc(), "unknown expression"); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (getLexer().getKind() != AsmToken::RBrac) { |
| Error(getLoc(), "expected ]"); |
| return MatchOperand_ParseFail; |
| } |
| |
| getLexer().Lex(); // Eat ']'. |
| |
| Operands.push_back(CSKYOperand::createConstpoolOp(Expr, S, E)); |
| return MatchOperand_Success; |
| } |
| |
| AsmToken Tok = getLexer().getTok(); |
| StringRef Identifier; |
| |
| if (getParser().parseIdentifier(Identifier)) { |
| Error(getLoc(), "unknown identifier " + Identifier); |
| return MatchOperand_ParseFail; |
| } |
| |
| CSKYMCExpr::VariantKind Kind = CSKYMCExpr::VK_CSKY_None; |
| if (Identifier.consume_back("@GOT")) |
| Kind = CSKYMCExpr::VK_CSKY_GOT_IMM18_BY4; |
| else if (Identifier.consume_back("@PLT")) |
| Kind = CSKYMCExpr::VK_CSKY_PLT_IMM18_BY4; |
| |
| MCSymbol *Sym = getContext().getInlineAsmLabel(Identifier); |
| |
| if (!Sym) |
| Sym = getContext().getOrCreateSymbol(Identifier); |
| |
| if (Sym->isVariable()) { |
| const MCExpr *V = Sym->getVariableValue(/*SetUsed=*/false); |
| if (!isa<MCSymbolRefExpr>(V)) { |
| getLexer().UnLex(Tok); // Put back if it's not a bare symbol. |
| Error(getLoc(), "unknown symbol"); |
| return MatchOperand_ParseFail; |
| } |
| Res = V; |
| } else { |
| Res = MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, getContext()); |
| } |
| |
| MCBinaryExpr::Opcode Opcode; |
| switch (getLexer().getKind()) { |
| default: |
| Error(getLoc(), "unknown symbol"); |
| return MatchOperand_ParseFail; |
| case AsmToken::RBrac: |
| |
| getLexer().Lex(); // Eat ']'. |
| |
| if (Kind != CSKYMCExpr::VK_CSKY_None) |
| Res = CSKYMCExpr::create(Res, Kind, getContext()); |
| |
| Operands.push_back(CSKYOperand::createConstpoolOp(Res, S, E)); |
| return MatchOperand_Success; |
| case AsmToken::Plus: |
| Opcode = MCBinaryExpr::Add; |
| break; |
| case AsmToken::Minus: |
| Opcode = MCBinaryExpr::Sub; |
| break; |
| } |
| |
| getLexer().Lex(); // eat + or - |
| |
| const MCExpr *Expr; |
| if (getParser().parseExpression(Expr)) { |
| Error(getLoc(), "unknown expression"); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (getLexer().getKind() != AsmToken::RBrac) { |
| Error(getLoc(), "expected ']'"); |
| return MatchOperand_ParseFail; |
| } |
| |
| getLexer().Lex(); // Eat ']'. |
| |
| Res = MCBinaryExpr::create(Opcode, Res, Expr, getContext()); |
| Operands.push_back(CSKYOperand::createConstpoolOp(Res, S, E)); |
| return MatchOperand_Success; |
| } |
| |
| OperandMatchResultTy |
| CSKYAsmParser::parseConstpoolSymbol(OperandVector &Operands) { |
| SMLoc S = getLoc(); |
| SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); |
| const MCExpr *Res; |
| |
| if (getLexer().getKind() != AsmToken::LBrac) |
| return MatchOperand_NoMatch; |
| |
| getLexer().Lex(); // Eat '['. |
| |
| if (getLexer().getKind() != AsmToken::Identifier) { |
| const MCExpr *Expr; |
| if (getParser().parseExpression(Expr)) { |
| Error(getLoc(), "unknown expression"); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (getLexer().getKind() != AsmToken::RBrac) { |
| Error(getLoc(), "expected ']'"); |
| return MatchOperand_ParseFail; |
| } |
| |
| getLexer().Lex(); // Eat ']'. |
| |
| Operands.push_back(CSKYOperand::createConstpoolOp(Expr, S, E)); |
| return MatchOperand_Success; |
| } |
| |
| AsmToken Tok = getLexer().getTok(); |
| StringRef Identifier; |
| |
| if (getParser().parseIdentifier(Identifier)) { |
| Error(getLoc(), "unknown identifier"); |
| return MatchOperand_ParseFail; |
| } |
| |
| MCSymbol *Sym = getContext().getInlineAsmLabel(Identifier); |
| |
| if (!Sym) |
| Sym = getContext().getOrCreateSymbol(Identifier); |
| |
| if (Sym->isVariable()) { |
| const MCExpr *V = Sym->getVariableValue(/*SetUsed=*/false); |
| if (!isa<MCSymbolRefExpr>(V)) { |
| getLexer().UnLex(Tok); // Put back if it's not a bare symbol. |
| Error(getLoc(), "unknown symbol"); |
| return MatchOperand_ParseFail; |
| } |
| Res = V; |
| } else { |
| Res = MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, getContext()); |
| } |
| |
| MCBinaryExpr::Opcode Opcode; |
| switch (getLexer().getKind()) { |
| default: |
| Error(getLoc(), "unknown symbol"); |
| return MatchOperand_ParseFail; |
| case AsmToken::RBrac: |
| |
| getLexer().Lex(); // Eat ']'. |
| |
| Operands.push_back(CSKYOperand::createConstpoolOp(Res, S, E)); |
| return MatchOperand_Success; |
| case AsmToken::Plus: |
| Opcode = MCBinaryExpr::Add; |
| break; |
| case AsmToken::Minus: |
| Opcode = MCBinaryExpr::Sub; |
| break; |
| } |
| |
| getLexer().Lex(); // eat + or - |
| |
| const MCExpr *Expr; |
| if (getParser().parseExpression(Expr)) { |
| Error(getLoc(), "unknown expression"); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (getLexer().getKind() != AsmToken::RBrac) { |
| Error(getLoc(), "expected ']'"); |
| return MatchOperand_ParseFail; |
| } |
| |
| getLexer().Lex(); // Eat ']'. |
| |
| Res = MCBinaryExpr::create(Opcode, Res, Expr, getContext()); |
| Operands.push_back(CSKYOperand::createConstpoolOp(Res, S, E)); |
| return MatchOperand_Success; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parsePSRFlag(OperandVector &Operands) { |
| SMLoc S = getLoc(); |
| SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); |
| |
| unsigned Flag = 0; |
| |
| while (getLexer().isNot(AsmToken::EndOfStatement)) { |
| StringRef Identifier; |
| if (getParser().parseIdentifier(Identifier)) { |
| Error(getLoc(), "unknown identifier " + Identifier); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (Identifier == "sie") |
| Flag = (1 << 4) | Flag; |
| else if (Identifier == "ee") |
| Flag = (1 << 3) | Flag; |
| else if (Identifier == "ie") |
| Flag = (1 << 2) | Flag; |
| else if (Identifier == "fe") |
| Flag = (1 << 1) | Flag; |
| else if (Identifier == "af") |
| Flag = (1 << 0) | Flag; |
| else { |
| Error(getLoc(), "expected " + Identifier); |
| return MatchOperand_ParseFail; |
| } |
| |
| if (getLexer().is(AsmToken::EndOfStatement)) |
| break; |
| |
| if (getLexer().is(AsmToken::Comma)) { |
| getLexer().Lex(); // eat ',' |
| } else { |
| Error(getLoc(), "expected ,"); |
| return MatchOperand_ParseFail; |
| } |
| } |
| |
| Operands.push_back( |
| CSKYOperand::createImm(MCConstantExpr::create(Flag, getContext()), S, E)); |
| return MatchOperand_Success; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseRegSeq(OperandVector &Operands) { |
| SMLoc S = getLoc(); |
| |
| if (parseRegister(Operands) != MatchOperand_Success) |
| return MatchOperand_NoMatch; |
| |
| auto Ry = Operands.back()->getReg(); |
| Operands.pop_back(); |
| |
| if (getLexer().isNot(AsmToken::Minus)) { |
| Error(getLoc(), "expected '-'"); |
| return MatchOperand_ParseFail; |
| } |
| |
| getLexer().Lex(); // eat '-' |
| |
| if (parseRegister(Operands) != MatchOperand_Success) { |
| Error(getLoc(), "invalid register"); |
| return MatchOperand_ParseFail; |
| } |
| |
| auto Rz = Operands.back()->getReg(); |
| Operands.pop_back(); |
| |
| Operands.push_back(CSKYOperand::createRegSeq(Ry, Rz, S)); |
| return MatchOperand_Success; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::parseRegList(OperandVector &Operands) { |
| SMLoc S = getLoc(); |
| |
| SmallVector<unsigned, 4> reglist; |
| |
| while (true) { |
| |
| if (parseRegister(Operands) != MatchOperand_Success) { |
| Error(getLoc(), "invalid register"); |
| return MatchOperand_ParseFail; |
| } |
| |
| auto Ry = Operands.back()->getReg(); |
| Operands.pop_back(); |
| |
| if (getLexer().is(AsmToken::Minus)) { |
| getLexer().Lex(); // eat '-' |
| |
| if (parseRegister(Operands) != MatchOperand_Success) { |
| Error(getLoc(), "invalid register"); |
| return MatchOperand_ParseFail; |
| } |
| |
| auto Rz = Operands.back()->getReg(); |
| Operands.pop_back(); |
| |
| reglist.push_back(Ry); |
| reglist.push_back(Rz); |
| |
| if (getLexer().is(AsmToken::Comma)) |
| getLexer().Lex(); // eat ',' |
| else if (getLexer().is(AsmToken::EndOfStatement)) |
| break; |
| |
| } else if (getLexer().is(AsmToken::Comma)) { |
| reglist.push_back(Ry); |
| reglist.push_back(Ry); |
| |
| getLexer().Lex(); // eat ',' |
| } else if (getLexer().is(AsmToken::EndOfStatement)) { |
| reglist.push_back(Ry); |
| reglist.push_back(Ry); |
| break; |
| } else { |
| Error(getLoc(), "invalid register list"); |
| return MatchOperand_ParseFail; |
| } |
| } |
| |
| Operands.push_back(CSKYOperand::createRegList(reglist, S)); |
| return MatchOperand_Success; |
| } |
| |
| bool CSKYAsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name, |
| SMLoc NameLoc, OperandVector &Operands) { |
| // First operand is token for instruction. |
| Operands.push_back(CSKYOperand::createToken(Name, NameLoc)); |
| |
| // 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. |
| while (getLexer().is(AsmToken::Comma)) { |
| // Consume comma token. |
| getLexer().Lex(); |
| |
| // Parse next operand. |
| if (parseOperand(Operands, Name)) |
| return true; |
| } |
| |
| if (getLexer().isNot(AsmToken::EndOfStatement)) { |
| SMLoc Loc = getLexer().getLoc(); |
| getParser().eatToEndOfStatement(); |
| return Error(Loc, "unexpected token"); |
| } |
| |
| getParser().Lex(); // Consume the EndOfStatement. |
| return false; |
| } |
| |
| OperandMatchResultTy CSKYAsmParser::tryParseRegister(unsigned &RegNo, |
| SMLoc &StartLoc, |
| SMLoc &EndLoc) { |
| const AsmToken &Tok = getParser().getTok(); |
| StartLoc = Tok.getLoc(); |
| EndLoc = Tok.getEndLoc(); |
| |
| StringRef Name = getLexer().getTok().getIdentifier(); |
| |
| if (matchRegisterNameHelper(getSTI(), (MCRegister &)RegNo, Name)) |
| return MatchOperand_NoMatch; |
| |
| getParser().Lex(); // Eat identifier token. |
| return MatchOperand_Success; |
| } |
| |
| bool CSKYAsmParser::ParseDirective(AsmToken DirectiveID) { return true; } |
| |
| extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeCSKYAsmParser() { |
| RegisterMCAsmParser<CSKYAsmParser> X(getTheCSKYTarget()); |
| } |