10b57cec5SDimitry Andric //===-- BPFAsmParser.cpp - Parse BPF assembly to MCInst instructions --===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric 90b57cec5SDimitry Andric #include "MCTargetDesc/BPFMCTargetDesc.h" 100b57cec5SDimitry Andric #include "TargetInfo/BPFTargetInfo.h" 110b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 120b57cec5SDimitry Andric #include "llvm/ADT/StringSwitch.h" 130b57cec5SDimitry Andric #include "llvm/MC/MCContext.h" 140b57cec5SDimitry Andric #include "llvm/MC/MCExpr.h" 150b57cec5SDimitry Andric #include "llvm/MC/MCInst.h" 1681ad6265SDimitry Andric #include "llvm/MC/MCInstrInfo.h" 170b57cec5SDimitry Andric #include "llvm/MC/MCParser/MCAsmLexer.h" 180b57cec5SDimitry Andric #include "llvm/MC/MCParser/MCParsedAsmOperand.h" 190b57cec5SDimitry Andric #include "llvm/MC/MCParser/MCTargetAsmParser.h" 200b57cec5SDimitry Andric #include "llvm/MC/MCRegisterInfo.h" 210b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h" 220b57cec5SDimitry Andric #include "llvm/MC/MCSubtargetInfo.h" 23349cc55cSDimitry Andric #include "llvm/MC/TargetRegistry.h" 240b57cec5SDimitry Andric #include "llvm/Support/Casting.h" 250b57cec5SDimitry Andric 260b57cec5SDimitry Andric using namespace llvm; 270b57cec5SDimitry Andric 280b57cec5SDimitry Andric namespace { 290b57cec5SDimitry Andric struct BPFOperand; 300b57cec5SDimitry Andric 310b57cec5SDimitry Andric class BPFAsmParser : public MCTargetAsmParser { 320b57cec5SDimitry Andric 330b57cec5SDimitry Andric SMLoc getLoc() const { return getParser().getTok().getLoc(); } 340b57cec5SDimitry Andric 350b57cec5SDimitry Andric bool PreMatchCheck(OperandVector &Operands); 360b57cec5SDimitry Andric 370b57cec5SDimitry Andric bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode, 380b57cec5SDimitry Andric OperandVector &Operands, MCStreamer &Out, 390b57cec5SDimitry Andric uint64_t &ErrorInfo, 400b57cec5SDimitry Andric bool MatchingInlineAsm) override; 410b57cec5SDimitry Andric 425f757f3fSDimitry Andric bool parseRegister(MCRegister &Reo, SMLoc &StartLoc, SMLoc &EndLoc) override; 435f757f3fSDimitry Andric ParseStatus tryParseRegister(MCRegister &Reg, SMLoc &StartLoc, 445ffd83dbSDimitry Andric SMLoc &EndLoc) override; 450b57cec5SDimitry Andric 460b57cec5SDimitry Andric bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name, 470b57cec5SDimitry Andric SMLoc NameLoc, OperandVector &Operands) override; 480b57cec5SDimitry Andric 490b57cec5SDimitry Andric // "=" is used as assignment operator for assembly statment, so can't be used 500b57cec5SDimitry Andric // for symbol assignment. 510b57cec5SDimitry Andric bool equalIsAsmAssignment() override { return false; } 520b57cec5SDimitry Andric // "*" is used for dereferencing memory that it will be the start of 530b57cec5SDimitry Andric // statement. 540b57cec5SDimitry Andric bool starIsStartOfStatement() override { return true; } 550b57cec5SDimitry Andric 560b57cec5SDimitry Andric #define GET_ASSEMBLER_HEADER 570b57cec5SDimitry Andric #include "BPFGenAsmMatcher.inc" 580b57cec5SDimitry Andric 595f757f3fSDimitry Andric ParseStatus parseImmediate(OperandVector &Operands); 605f757f3fSDimitry Andric ParseStatus parseRegister(OperandVector &Operands); 615f757f3fSDimitry Andric ParseStatus parseOperandAsOperator(OperandVector &Operands); 620b57cec5SDimitry Andric 630b57cec5SDimitry Andric public: 640b57cec5SDimitry Andric enum BPFMatchResultTy { 650b57cec5SDimitry Andric Match_Dummy = FIRST_TARGET_MATCH_RESULT_TY, 660b57cec5SDimitry Andric #define GET_OPERAND_DIAGNOSTIC_TYPES 670b57cec5SDimitry Andric #include "BPFGenAsmMatcher.inc" 680b57cec5SDimitry Andric #undef GET_OPERAND_DIAGNOSTIC_TYPES 690b57cec5SDimitry Andric }; 700b57cec5SDimitry Andric 710b57cec5SDimitry Andric BPFAsmParser(const MCSubtargetInfo &STI, MCAsmParser &Parser, 720b57cec5SDimitry Andric const MCInstrInfo &MII, const MCTargetOptions &Options) 730b57cec5SDimitry Andric : MCTargetAsmParser(Options, STI, MII) { 740b57cec5SDimitry Andric setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits())); 750b57cec5SDimitry Andric } 760b57cec5SDimitry Andric }; 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric /// BPFOperand - Instances of this class represent a parsed machine 790b57cec5SDimitry Andric /// instruction 800b57cec5SDimitry Andric struct BPFOperand : public MCParsedAsmOperand { 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric enum KindTy { 830b57cec5SDimitry Andric Token, 840b57cec5SDimitry Andric Register, 850b57cec5SDimitry Andric Immediate, 860b57cec5SDimitry Andric } Kind; 870b57cec5SDimitry Andric 880b57cec5SDimitry Andric struct RegOp { 890b57cec5SDimitry Andric unsigned RegNum; 900b57cec5SDimitry Andric }; 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric struct ImmOp { 930b57cec5SDimitry Andric const MCExpr *Val; 940b57cec5SDimitry Andric }; 950b57cec5SDimitry Andric 960b57cec5SDimitry Andric SMLoc StartLoc, EndLoc; 970b57cec5SDimitry Andric union { 980b57cec5SDimitry Andric StringRef Tok; 990b57cec5SDimitry Andric RegOp Reg; 1000b57cec5SDimitry Andric ImmOp Imm; 1010b57cec5SDimitry Andric }; 1020b57cec5SDimitry Andric 10304eeddc0SDimitry Andric BPFOperand(KindTy K) : Kind(K) {} 1040b57cec5SDimitry Andric 1050b57cec5SDimitry Andric public: 1060b57cec5SDimitry Andric BPFOperand(const BPFOperand &o) : MCParsedAsmOperand() { 1070b57cec5SDimitry Andric Kind = o.Kind; 1080b57cec5SDimitry Andric StartLoc = o.StartLoc; 1090b57cec5SDimitry Andric EndLoc = o.EndLoc; 1100b57cec5SDimitry Andric 1110b57cec5SDimitry Andric switch (Kind) { 1120b57cec5SDimitry Andric case Register: 1130b57cec5SDimitry Andric Reg = o.Reg; 1140b57cec5SDimitry Andric break; 1150b57cec5SDimitry Andric case Immediate: 1160b57cec5SDimitry Andric Imm = o.Imm; 1170b57cec5SDimitry Andric break; 1180b57cec5SDimitry Andric case Token: 1190b57cec5SDimitry Andric Tok = o.Tok; 1200b57cec5SDimitry Andric break; 1210b57cec5SDimitry Andric } 1220b57cec5SDimitry Andric } 1230b57cec5SDimitry Andric 1240b57cec5SDimitry Andric bool isToken() const override { return Kind == Token; } 1250b57cec5SDimitry Andric bool isReg() const override { return Kind == Register; } 1260b57cec5SDimitry Andric bool isImm() const override { return Kind == Immediate; } 1270b57cec5SDimitry Andric bool isMem() const override { return false; } 1280b57cec5SDimitry Andric 1290b57cec5SDimitry Andric bool isConstantImm() const { 1300b57cec5SDimitry Andric return isImm() && isa<MCConstantExpr>(getImm()); 1310b57cec5SDimitry Andric } 1320b57cec5SDimitry Andric 1330b57cec5SDimitry Andric int64_t getConstantImm() const { 1340b57cec5SDimitry Andric const MCExpr *Val = getImm(); 1350b57cec5SDimitry Andric return static_cast<const MCConstantExpr *>(Val)->getValue(); 1360b57cec5SDimitry Andric } 1370b57cec5SDimitry Andric 1385f757f3fSDimitry Andric bool isSImm16() const { 1395f757f3fSDimitry Andric return (isConstantImm() && isInt<16>(getConstantImm())); 1400b57cec5SDimitry Andric } 1410b57cec5SDimitry Andric 1425f757f3fSDimitry Andric bool isSymbolRef() const { return isImm() && isa<MCSymbolRefExpr>(getImm()); } 1435f757f3fSDimitry Andric 1445f757f3fSDimitry Andric bool isBrTarget() const { return isSymbolRef() || isSImm16(); } 1455f757f3fSDimitry Andric 1460b57cec5SDimitry Andric /// getStartLoc - Gets location of the first token of this operand 1470b57cec5SDimitry Andric SMLoc getStartLoc() const override { return StartLoc; } 1480b57cec5SDimitry Andric /// getEndLoc - Gets location of the last token of this operand 1490b57cec5SDimitry Andric SMLoc getEndLoc() const override { return EndLoc; } 1500b57cec5SDimitry Andric 151*0fca6ea1SDimitry Andric MCRegister getReg() const override { 1520b57cec5SDimitry Andric assert(Kind == Register && "Invalid type access!"); 1530b57cec5SDimitry Andric return Reg.RegNum; 1540b57cec5SDimitry Andric } 1550b57cec5SDimitry Andric 1560b57cec5SDimitry Andric const MCExpr *getImm() const { 1570b57cec5SDimitry Andric assert(Kind == Immediate && "Invalid type access!"); 1580b57cec5SDimitry Andric return Imm.Val; 1590b57cec5SDimitry Andric } 1600b57cec5SDimitry Andric 1610b57cec5SDimitry Andric StringRef getToken() const { 1620b57cec5SDimitry Andric assert(Kind == Token && "Invalid type access!"); 1630b57cec5SDimitry Andric return Tok; 1640b57cec5SDimitry Andric } 1650b57cec5SDimitry Andric 1660b57cec5SDimitry Andric void print(raw_ostream &OS) const override { 1670b57cec5SDimitry Andric switch (Kind) { 1680b57cec5SDimitry Andric case Immediate: 1690b57cec5SDimitry Andric OS << *getImm(); 1700b57cec5SDimitry Andric break; 1710b57cec5SDimitry Andric case Register: 1720b57cec5SDimitry Andric OS << "<register x"; 1730b57cec5SDimitry Andric OS << getReg() << ">"; 1740b57cec5SDimitry Andric break; 1750b57cec5SDimitry Andric case Token: 1760b57cec5SDimitry Andric OS << "'" << getToken() << "'"; 1770b57cec5SDimitry Andric break; 1780b57cec5SDimitry Andric } 1790b57cec5SDimitry Andric } 1800b57cec5SDimitry Andric 1810b57cec5SDimitry Andric void addExpr(MCInst &Inst, const MCExpr *Expr) const { 1820b57cec5SDimitry Andric assert(Expr && "Expr shouldn't be null!"); 1830b57cec5SDimitry Andric 1840b57cec5SDimitry Andric if (auto *CE = dyn_cast<MCConstantExpr>(Expr)) 1850b57cec5SDimitry Andric Inst.addOperand(MCOperand::createImm(CE->getValue())); 1860b57cec5SDimitry Andric else 1870b57cec5SDimitry Andric Inst.addOperand(MCOperand::createExpr(Expr)); 1880b57cec5SDimitry Andric } 1890b57cec5SDimitry Andric 1900b57cec5SDimitry Andric // Used by the TableGen Code 1910b57cec5SDimitry Andric void addRegOperands(MCInst &Inst, unsigned N) const { 1920b57cec5SDimitry Andric assert(N == 1 && "Invalid number of operands!"); 1930b57cec5SDimitry Andric Inst.addOperand(MCOperand::createReg(getReg())); 1940b57cec5SDimitry Andric } 1950b57cec5SDimitry Andric 1960b57cec5SDimitry Andric void addImmOperands(MCInst &Inst, unsigned N) const { 1970b57cec5SDimitry Andric assert(N == 1 && "Invalid number of operands!"); 1980b57cec5SDimitry Andric addExpr(Inst, getImm()); 1990b57cec5SDimitry Andric } 2000b57cec5SDimitry Andric 2010b57cec5SDimitry Andric static std::unique_ptr<BPFOperand> createToken(StringRef Str, SMLoc S) { 2028bcb0991SDimitry Andric auto Op = std::make_unique<BPFOperand>(Token); 2030b57cec5SDimitry Andric Op->Tok = Str; 2040b57cec5SDimitry Andric Op->StartLoc = S; 2050b57cec5SDimitry Andric Op->EndLoc = S; 2060b57cec5SDimitry Andric return Op; 2070b57cec5SDimitry Andric } 2080b57cec5SDimitry Andric 2090b57cec5SDimitry Andric static std::unique_ptr<BPFOperand> createReg(unsigned RegNo, SMLoc S, 2100b57cec5SDimitry Andric SMLoc E) { 2118bcb0991SDimitry Andric auto Op = std::make_unique<BPFOperand>(Register); 2120b57cec5SDimitry Andric Op->Reg.RegNum = RegNo; 2130b57cec5SDimitry Andric Op->StartLoc = S; 2140b57cec5SDimitry Andric Op->EndLoc = E; 2150b57cec5SDimitry Andric return Op; 2160b57cec5SDimitry Andric } 2170b57cec5SDimitry Andric 2180b57cec5SDimitry Andric static std::unique_ptr<BPFOperand> createImm(const MCExpr *Val, SMLoc S, 2190b57cec5SDimitry Andric SMLoc E) { 2208bcb0991SDimitry Andric auto Op = std::make_unique<BPFOperand>(Immediate); 2210b57cec5SDimitry Andric Op->Imm.Val = Val; 2220b57cec5SDimitry Andric Op->StartLoc = S; 2230b57cec5SDimitry Andric Op->EndLoc = E; 2240b57cec5SDimitry Andric return Op; 2250b57cec5SDimitry Andric } 2260b57cec5SDimitry Andric 2270b57cec5SDimitry Andric // Identifiers that can be used at the start of a statment. 2280b57cec5SDimitry Andric static bool isValidIdAtStart(StringRef Name) { 2290b57cec5SDimitry Andric return StringSwitch<bool>(Name.lower()) 2300b57cec5SDimitry Andric .Case("if", true) 2310b57cec5SDimitry Andric .Case("call", true) 232*0fca6ea1SDimitry Andric .Case("callx", true) 2330b57cec5SDimitry Andric .Case("goto", true) 2345f757f3fSDimitry Andric .Case("gotol", true) 235*0fca6ea1SDimitry Andric .Case("may_goto", true) 2360b57cec5SDimitry Andric .Case("*", true) 2370b57cec5SDimitry Andric .Case("exit", true) 2380b57cec5SDimitry Andric .Case("lock", true) 2390b57cec5SDimitry Andric .Case("ld_pseudo", true) 2400b57cec5SDimitry Andric .Default(false); 2410b57cec5SDimitry Andric } 2420b57cec5SDimitry Andric 2430b57cec5SDimitry Andric // Identifiers that can be used in the middle of a statment. 2440b57cec5SDimitry Andric static bool isValidIdInMiddle(StringRef Name) { 2450b57cec5SDimitry Andric return StringSwitch<bool>(Name.lower()) 2460b57cec5SDimitry Andric .Case("u64", true) 2470b57cec5SDimitry Andric .Case("u32", true) 2480b57cec5SDimitry Andric .Case("u16", true) 2490b57cec5SDimitry Andric .Case("u8", true) 2505f757f3fSDimitry Andric .Case("s32", true) 2515f757f3fSDimitry Andric .Case("s16", true) 2525f757f3fSDimitry Andric .Case("s8", true) 2530b57cec5SDimitry Andric .Case("be64", true) 2540b57cec5SDimitry Andric .Case("be32", true) 2550b57cec5SDimitry Andric .Case("be16", true) 2560b57cec5SDimitry Andric .Case("le64", true) 2570b57cec5SDimitry Andric .Case("le32", true) 2580b57cec5SDimitry Andric .Case("le16", true) 2595f757f3fSDimitry Andric .Case("bswap16", true) 2605f757f3fSDimitry Andric .Case("bswap32", true) 2615f757f3fSDimitry Andric .Case("bswap64", true) 2620b57cec5SDimitry Andric .Case("goto", true) 2635f757f3fSDimitry Andric .Case("gotol", true) 2640b57cec5SDimitry Andric .Case("ll", true) 2650b57cec5SDimitry Andric .Case("skb", true) 2660b57cec5SDimitry Andric .Case("s", true) 26706c3fb27SDimitry Andric .Case("atomic_fetch_add", true) 26806c3fb27SDimitry Andric .Case("atomic_fetch_and", true) 26906c3fb27SDimitry Andric .Case("atomic_fetch_or", true) 27006c3fb27SDimitry Andric .Case("atomic_fetch_xor", true) 27106c3fb27SDimitry Andric .Case("xchg_64", true) 27206c3fb27SDimitry Andric .Case("xchg32_32", true) 27306c3fb27SDimitry Andric .Case("cmpxchg_64", true) 27406c3fb27SDimitry Andric .Case("cmpxchg32_32", true) 275*0fca6ea1SDimitry Andric .Case("addr_space_cast", true) 2760b57cec5SDimitry Andric .Default(false); 2770b57cec5SDimitry Andric } 2780b57cec5SDimitry Andric }; 2790b57cec5SDimitry Andric } // end anonymous namespace. 2800b57cec5SDimitry Andric 2810b57cec5SDimitry Andric #define GET_REGISTER_MATCHER 2820b57cec5SDimitry Andric #define GET_MATCHER_IMPLEMENTATION 2830b57cec5SDimitry Andric #include "BPFGenAsmMatcher.inc" 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric bool BPFAsmParser::PreMatchCheck(OperandVector &Operands) { 2860b57cec5SDimitry Andric 2870b57cec5SDimitry Andric if (Operands.size() == 4) { 2880b57cec5SDimitry Andric // check "reg1 = -reg2" and "reg1 = be16/be32/be64/le16/le32/le64 reg2", 2890b57cec5SDimitry Andric // reg1 must be the same as reg2 2900b57cec5SDimitry Andric BPFOperand &Op0 = (BPFOperand &)*Operands[0]; 2910b57cec5SDimitry Andric BPFOperand &Op1 = (BPFOperand &)*Operands[1]; 2920b57cec5SDimitry Andric BPFOperand &Op2 = (BPFOperand &)*Operands[2]; 2930b57cec5SDimitry Andric BPFOperand &Op3 = (BPFOperand &)*Operands[3]; 2940b57cec5SDimitry Andric if (Op0.isReg() && Op1.isToken() && Op2.isToken() && Op3.isReg() 2950b57cec5SDimitry Andric && Op1.getToken() == "=" 2960b57cec5SDimitry Andric && (Op2.getToken() == "-" || Op2.getToken() == "be16" 2970b57cec5SDimitry Andric || Op2.getToken() == "be32" || Op2.getToken() == "be64" 2980b57cec5SDimitry Andric || Op2.getToken() == "le16" || Op2.getToken() == "le32" 2990b57cec5SDimitry Andric || Op2.getToken() == "le64") 3000b57cec5SDimitry Andric && Op0.getReg() != Op3.getReg()) 3010b57cec5SDimitry Andric return true; 3020b57cec5SDimitry Andric } 3030b57cec5SDimitry Andric 3040b57cec5SDimitry Andric return false; 3050b57cec5SDimitry Andric } 3060b57cec5SDimitry Andric 3070b57cec5SDimitry Andric bool BPFAsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode, 3080b57cec5SDimitry Andric OperandVector &Operands, 3090b57cec5SDimitry Andric MCStreamer &Out, uint64_t &ErrorInfo, 3100b57cec5SDimitry Andric bool MatchingInlineAsm) { 3110b57cec5SDimitry Andric MCInst Inst; 3120b57cec5SDimitry Andric SMLoc ErrorLoc; 3130b57cec5SDimitry Andric 3140b57cec5SDimitry Andric if (PreMatchCheck(Operands)) 3150b57cec5SDimitry Andric return Error(IDLoc, "additional inst constraint not met"); 3160b57cec5SDimitry Andric 3170b57cec5SDimitry Andric switch (MatchInstructionImpl(Operands, Inst, ErrorInfo, MatchingInlineAsm)) { 3180b57cec5SDimitry Andric default: 3190b57cec5SDimitry Andric break; 3200b57cec5SDimitry Andric case Match_Success: 3210b57cec5SDimitry Andric Inst.setLoc(IDLoc); 3225ffd83dbSDimitry Andric Out.emitInstruction(Inst, getSTI()); 3230b57cec5SDimitry Andric return false; 3240b57cec5SDimitry Andric case Match_MissingFeature: 3250b57cec5SDimitry Andric return Error(IDLoc, "instruction use requires an option to be enabled"); 3260b57cec5SDimitry Andric case Match_MnemonicFail: 3270b57cec5SDimitry Andric return Error(IDLoc, "unrecognized instruction mnemonic"); 3280b57cec5SDimitry Andric case Match_InvalidOperand: 3290b57cec5SDimitry Andric ErrorLoc = IDLoc; 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric if (ErrorInfo != ~0U) { 3320b57cec5SDimitry Andric if (ErrorInfo >= Operands.size()) 3330b57cec5SDimitry Andric return Error(ErrorLoc, "too few operands for instruction"); 3340b57cec5SDimitry Andric 3350b57cec5SDimitry Andric ErrorLoc = ((BPFOperand &)*Operands[ErrorInfo]).getStartLoc(); 3360b57cec5SDimitry Andric 3370b57cec5SDimitry Andric if (ErrorLoc == SMLoc()) 3380b57cec5SDimitry Andric ErrorLoc = IDLoc; 3390b57cec5SDimitry Andric } 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric return Error(ErrorLoc, "invalid operand for instruction"); 3425f757f3fSDimitry Andric case Match_InvalidBrTarget: 3435f757f3fSDimitry Andric return Error(Operands[ErrorInfo]->getStartLoc(), 3445f757f3fSDimitry Andric "operand is not an identifier or 16-bit signed integer"); 3455f757f3fSDimitry Andric case Match_InvalidSImm16: 3465f757f3fSDimitry Andric return Error(Operands[ErrorInfo]->getStartLoc(), 3475f757f3fSDimitry Andric "operand is not a 16-bit signed integer"); 3480b57cec5SDimitry Andric } 3490b57cec5SDimitry Andric 3500b57cec5SDimitry Andric llvm_unreachable("Unknown match type detected!"); 3510b57cec5SDimitry Andric } 3520b57cec5SDimitry Andric 3535f757f3fSDimitry Andric bool BPFAsmParser::parseRegister(MCRegister &Reg, SMLoc &StartLoc, 3540b57cec5SDimitry Andric SMLoc &EndLoc) { 3555f757f3fSDimitry Andric if (!tryParseRegister(Reg, StartLoc, EndLoc).isSuccess()) 3565ffd83dbSDimitry Andric return Error(StartLoc, "invalid register name"); 3575ffd83dbSDimitry Andric return false; 3585ffd83dbSDimitry Andric } 3595ffd83dbSDimitry Andric 3605f757f3fSDimitry Andric ParseStatus BPFAsmParser::tryParseRegister(MCRegister &Reg, SMLoc &StartLoc, 3615ffd83dbSDimitry Andric SMLoc &EndLoc) { 3620b57cec5SDimitry Andric const AsmToken &Tok = getParser().getTok(); 3630b57cec5SDimitry Andric StartLoc = Tok.getLoc(); 3640b57cec5SDimitry Andric EndLoc = Tok.getEndLoc(); 3655f757f3fSDimitry Andric Reg = BPF::NoRegister; 3660b57cec5SDimitry Andric StringRef Name = getLexer().getTok().getIdentifier(); 3670b57cec5SDimitry Andric 3680b57cec5SDimitry Andric if (!MatchRegisterName(Name)) { 3690b57cec5SDimitry Andric getParser().Lex(); // Eat identifier token. 3705f757f3fSDimitry Andric return ParseStatus::Success; 3710b57cec5SDimitry Andric } 3720b57cec5SDimitry Andric 3735f757f3fSDimitry Andric return ParseStatus::NoMatch; 3740b57cec5SDimitry Andric } 3750b57cec5SDimitry Andric 3765f757f3fSDimitry Andric ParseStatus BPFAsmParser::parseOperandAsOperator(OperandVector &Operands) { 3770b57cec5SDimitry Andric SMLoc S = getLoc(); 3780b57cec5SDimitry Andric 3790b57cec5SDimitry Andric if (getLexer().getKind() == AsmToken::Identifier) { 3800b57cec5SDimitry Andric StringRef Name = getLexer().getTok().getIdentifier(); 3810b57cec5SDimitry Andric 3820b57cec5SDimitry Andric if (BPFOperand::isValidIdInMiddle(Name)) { 3830b57cec5SDimitry Andric getLexer().Lex(); 3840b57cec5SDimitry Andric Operands.push_back(BPFOperand::createToken(Name, S)); 3855f757f3fSDimitry Andric return ParseStatus::Success; 3860b57cec5SDimitry Andric } 3870b57cec5SDimitry Andric 3885f757f3fSDimitry Andric return ParseStatus::NoMatch; 3890b57cec5SDimitry Andric } 3900b57cec5SDimitry Andric 3910b57cec5SDimitry Andric switch (getLexer().getKind()) { 3920b57cec5SDimitry Andric case AsmToken::Minus: 3930b57cec5SDimitry Andric case AsmToken::Plus: { 3940b57cec5SDimitry Andric if (getLexer().peekTok().is(AsmToken::Integer)) 3955f757f3fSDimitry Andric return ParseStatus::NoMatch; 396bdd1243dSDimitry Andric [[fallthrough]]; 3970b57cec5SDimitry Andric } 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric case AsmToken::Equal: 4000b57cec5SDimitry Andric case AsmToken::Greater: 4010b57cec5SDimitry Andric case AsmToken::Less: 4020b57cec5SDimitry Andric case AsmToken::Pipe: 4030b57cec5SDimitry Andric case AsmToken::Star: 4040b57cec5SDimitry Andric case AsmToken::LParen: 4050b57cec5SDimitry Andric case AsmToken::RParen: 4060b57cec5SDimitry Andric case AsmToken::LBrac: 4070b57cec5SDimitry Andric case AsmToken::RBrac: 4080b57cec5SDimitry Andric case AsmToken::Slash: 4090b57cec5SDimitry Andric case AsmToken::Amp: 4100b57cec5SDimitry Andric case AsmToken::Percent: 4110b57cec5SDimitry Andric case AsmToken::Caret: { 4120b57cec5SDimitry Andric StringRef Name = getLexer().getTok().getString(); 4130b57cec5SDimitry Andric getLexer().Lex(); 4140b57cec5SDimitry Andric Operands.push_back(BPFOperand::createToken(Name, S)); 4150b57cec5SDimitry Andric 4165f757f3fSDimitry Andric return ParseStatus::Success; 4170b57cec5SDimitry Andric } 4180b57cec5SDimitry Andric 4190b57cec5SDimitry Andric case AsmToken::EqualEqual: 4200b57cec5SDimitry Andric case AsmToken::ExclaimEqual: 4210b57cec5SDimitry Andric case AsmToken::GreaterEqual: 4220b57cec5SDimitry Andric case AsmToken::GreaterGreater: 4230b57cec5SDimitry Andric case AsmToken::LessEqual: 4240b57cec5SDimitry Andric case AsmToken::LessLess: { 4250b57cec5SDimitry Andric Operands.push_back(BPFOperand::createToken( 4260b57cec5SDimitry Andric getLexer().getTok().getString().substr(0, 1), S)); 4270b57cec5SDimitry Andric Operands.push_back(BPFOperand::createToken( 4280b57cec5SDimitry Andric getLexer().getTok().getString().substr(1, 1), S)); 4290b57cec5SDimitry Andric getLexer().Lex(); 4300b57cec5SDimitry Andric 4315f757f3fSDimitry Andric return ParseStatus::Success; 4320b57cec5SDimitry Andric } 4330b57cec5SDimitry Andric 4340b57cec5SDimitry Andric default: 4350b57cec5SDimitry Andric break; 4360b57cec5SDimitry Andric } 4370b57cec5SDimitry Andric 4385f757f3fSDimitry Andric return ParseStatus::NoMatch; 4390b57cec5SDimitry Andric } 4400b57cec5SDimitry Andric 4415f757f3fSDimitry Andric ParseStatus BPFAsmParser::parseRegister(OperandVector &Operands) { 4420b57cec5SDimitry Andric SMLoc S = getLoc(); 4430b57cec5SDimitry Andric SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); 4440b57cec5SDimitry Andric 4450b57cec5SDimitry Andric switch (getLexer().getKind()) { 4460b57cec5SDimitry Andric default: 4475f757f3fSDimitry Andric return ParseStatus::NoMatch; 4480b57cec5SDimitry Andric case AsmToken::Identifier: 4490b57cec5SDimitry Andric StringRef Name = getLexer().getTok().getIdentifier(); 4500b57cec5SDimitry Andric unsigned RegNo = MatchRegisterName(Name); 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric if (RegNo == 0) 4535f757f3fSDimitry Andric return ParseStatus::NoMatch; 4540b57cec5SDimitry Andric 4550b57cec5SDimitry Andric getLexer().Lex(); 4560b57cec5SDimitry Andric Operands.push_back(BPFOperand::createReg(RegNo, S, E)); 4570b57cec5SDimitry Andric } 4585f757f3fSDimitry Andric return ParseStatus::Success; 4590b57cec5SDimitry Andric } 4600b57cec5SDimitry Andric 4615f757f3fSDimitry Andric ParseStatus BPFAsmParser::parseImmediate(OperandVector &Operands) { 4620b57cec5SDimitry Andric switch (getLexer().getKind()) { 4630b57cec5SDimitry Andric default: 4645f757f3fSDimitry Andric return ParseStatus::NoMatch; 4650b57cec5SDimitry Andric case AsmToken::LParen: 4660b57cec5SDimitry Andric case AsmToken::Minus: 4670b57cec5SDimitry Andric case AsmToken::Plus: 4680b57cec5SDimitry Andric case AsmToken::Integer: 4690b57cec5SDimitry Andric case AsmToken::String: 4700b57cec5SDimitry Andric case AsmToken::Identifier: 4710b57cec5SDimitry Andric break; 4720b57cec5SDimitry Andric } 4730b57cec5SDimitry Andric 4740b57cec5SDimitry Andric const MCExpr *IdVal; 4750b57cec5SDimitry Andric SMLoc S = getLoc(); 4760b57cec5SDimitry Andric 4770b57cec5SDimitry Andric if (getParser().parseExpression(IdVal)) 4785f757f3fSDimitry Andric return ParseStatus::Failure; 4790b57cec5SDimitry Andric 4800b57cec5SDimitry Andric SMLoc E = SMLoc::getFromPointer(S.getPointer() - 1); 4810b57cec5SDimitry Andric Operands.push_back(BPFOperand::createImm(IdVal, S, E)); 4820b57cec5SDimitry Andric 4835f757f3fSDimitry Andric return ParseStatus::Success; 4840b57cec5SDimitry Andric } 4850b57cec5SDimitry Andric 4860b57cec5SDimitry Andric /// ParseInstruction - Parse an BPF instruction which is in BPF verifier 4870b57cec5SDimitry Andric /// format. 4880b57cec5SDimitry Andric bool BPFAsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name, 4890b57cec5SDimitry Andric SMLoc NameLoc, OperandVector &Operands) { 4900b57cec5SDimitry Andric // The first operand could be either register or actually an operator. 4910b57cec5SDimitry Andric unsigned RegNo = MatchRegisterName(Name); 4920b57cec5SDimitry Andric 4930b57cec5SDimitry Andric if (RegNo != 0) { 4940b57cec5SDimitry Andric SMLoc E = SMLoc::getFromPointer(NameLoc.getPointer() - 1); 4950b57cec5SDimitry Andric Operands.push_back(BPFOperand::createReg(RegNo, NameLoc, E)); 4960b57cec5SDimitry Andric } else if (BPFOperand::isValidIdAtStart (Name)) 4970b57cec5SDimitry Andric Operands.push_back(BPFOperand::createToken(Name, NameLoc)); 4980b57cec5SDimitry Andric else 4990b57cec5SDimitry Andric return Error(NameLoc, "invalid register/token name"); 5000b57cec5SDimitry Andric 5010b57cec5SDimitry Andric while (!getLexer().is(AsmToken::EndOfStatement)) { 5020b57cec5SDimitry Andric // Attempt to parse token as operator 5035f757f3fSDimitry Andric if (parseOperandAsOperator(Operands).isSuccess()) 5040b57cec5SDimitry Andric continue; 5050b57cec5SDimitry Andric 5060b57cec5SDimitry Andric // Attempt to parse token as register 5075f757f3fSDimitry Andric if (parseRegister(Operands).isSuccess()) 5080b57cec5SDimitry Andric continue; 5090b57cec5SDimitry Andric 51006c3fb27SDimitry Andric if (getLexer().is(AsmToken::Comma)) { 51106c3fb27SDimitry Andric getLexer().Lex(); 51206c3fb27SDimitry Andric continue; 51306c3fb27SDimitry Andric } 51406c3fb27SDimitry Andric 5150b57cec5SDimitry Andric // Attempt to parse token as an immediate 5165f757f3fSDimitry Andric if (!parseImmediate(Operands).isSuccess()) { 5170b57cec5SDimitry Andric SMLoc Loc = getLexer().getLoc(); 5180b57cec5SDimitry Andric return Error(Loc, "unexpected token"); 5190b57cec5SDimitry Andric } 5200b57cec5SDimitry Andric } 5210b57cec5SDimitry Andric 5220b57cec5SDimitry Andric if (getLexer().isNot(AsmToken::EndOfStatement)) { 5230b57cec5SDimitry Andric SMLoc Loc = getLexer().getLoc(); 5240b57cec5SDimitry Andric 5250b57cec5SDimitry Andric getParser().eatToEndOfStatement(); 5260b57cec5SDimitry Andric 5270b57cec5SDimitry Andric return Error(Loc, "unexpected token"); 5280b57cec5SDimitry Andric } 5290b57cec5SDimitry Andric 5300b57cec5SDimitry Andric // Consume the EndOfStatement. 5310b57cec5SDimitry Andric getParser().Lex(); 5320b57cec5SDimitry Andric return false; 5330b57cec5SDimitry Andric } 5340b57cec5SDimitry Andric 535480093f4SDimitry Andric extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeBPFAsmParser() { 5360b57cec5SDimitry Andric RegisterMCAsmParser<BPFAsmParser> X(getTheBPFTarget()); 5370b57cec5SDimitry Andric RegisterMCAsmParser<BPFAsmParser> Y(getTheBPFleTarget()); 5380b57cec5SDimitry Andric RegisterMCAsmParser<BPFAsmParser> Z(getTheBPFbeTarget()); 5390b57cec5SDimitry Andric } 540