10b57cec5SDimitry Andric //===--- RuntimeDyldChecker.cpp - RuntimeDyld tester framework --*- C++ -*-===// 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 "llvm/ExecutionEngine/RuntimeDyldChecker.h" 100b57cec5SDimitry Andric #include "RuntimeDyldCheckerImpl.h" 110b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 125ffd83dbSDimitry Andric #include "llvm/ADT/StringExtras.h" 130b57cec5SDimitry Andric #include "llvm/MC/MCContext.h" 140b57cec5SDimitry Andric #include "llvm/MC/MCDisassembler/MCDisassembler.h" 150b57cec5SDimitry Andric #include "llvm/MC/MCInst.h" 160b57cec5SDimitry Andric #include "llvm/Support/Endian.h" 170b57cec5SDimitry Andric #include "llvm/Support/MSVCErrorWorkarounds.h" 18*81ad6265SDimitry Andric #include "llvm/Support/MemoryBuffer.h" 190b57cec5SDimitry Andric #include "llvm/Support/Path.h" 200b57cec5SDimitry Andric #include <cctype> 210b57cec5SDimitry Andric #include <memory> 220b57cec5SDimitry Andric #include <utility> 230b57cec5SDimitry Andric 240b57cec5SDimitry Andric #define DEBUG_TYPE "rtdyld" 250b57cec5SDimitry Andric 260b57cec5SDimitry Andric using namespace llvm; 270b57cec5SDimitry Andric 280b57cec5SDimitry Andric namespace llvm { 290b57cec5SDimitry Andric 300b57cec5SDimitry Andric // Helper class that implements the language evaluated by RuntimeDyldChecker. 310b57cec5SDimitry Andric class RuntimeDyldCheckerExprEval { 320b57cec5SDimitry Andric public: 330b57cec5SDimitry Andric RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker, 340b57cec5SDimitry Andric raw_ostream &ErrStream) 350b57cec5SDimitry Andric : Checker(Checker) {} 360b57cec5SDimitry Andric 370b57cec5SDimitry Andric bool evaluate(StringRef Expr) const { 380b57cec5SDimitry Andric // Expect equality expression of the form 'LHS = RHS'. 390b57cec5SDimitry Andric Expr = Expr.trim(); 400b57cec5SDimitry Andric size_t EQIdx = Expr.find('='); 410b57cec5SDimitry Andric 420b57cec5SDimitry Andric ParseContext OutsideLoad(false); 430b57cec5SDimitry Andric 440b57cec5SDimitry Andric // Evaluate LHS. 450b57cec5SDimitry Andric StringRef LHSExpr = Expr.substr(0, EQIdx).rtrim(); 460b57cec5SDimitry Andric StringRef RemainingExpr; 470b57cec5SDimitry Andric EvalResult LHSResult; 480b57cec5SDimitry Andric std::tie(LHSResult, RemainingExpr) = 490b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(LHSExpr, OutsideLoad), OutsideLoad); 500b57cec5SDimitry Andric if (LHSResult.hasError()) 510b57cec5SDimitry Andric return handleError(Expr, LHSResult); 520b57cec5SDimitry Andric if (RemainingExpr != "") 530b57cec5SDimitry Andric return handleError(Expr, unexpectedToken(RemainingExpr, LHSExpr, "")); 540b57cec5SDimitry Andric 550b57cec5SDimitry Andric // Evaluate RHS. 560b57cec5SDimitry Andric StringRef RHSExpr = Expr.substr(EQIdx + 1).ltrim(); 570b57cec5SDimitry Andric EvalResult RHSResult; 580b57cec5SDimitry Andric std::tie(RHSResult, RemainingExpr) = 590b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(RHSExpr, OutsideLoad), OutsideLoad); 600b57cec5SDimitry Andric if (RHSResult.hasError()) 610b57cec5SDimitry Andric return handleError(Expr, RHSResult); 620b57cec5SDimitry Andric if (RemainingExpr != "") 630b57cec5SDimitry Andric return handleError(Expr, unexpectedToken(RemainingExpr, RHSExpr, "")); 640b57cec5SDimitry Andric 650b57cec5SDimitry Andric if (LHSResult.getValue() != RHSResult.getValue()) { 660b57cec5SDimitry Andric Checker.ErrStream << "Expression '" << Expr << "' is false: " 670b57cec5SDimitry Andric << format("0x%" PRIx64, LHSResult.getValue()) 680b57cec5SDimitry Andric << " != " << format("0x%" PRIx64, RHSResult.getValue()) 690b57cec5SDimitry Andric << "\n"; 700b57cec5SDimitry Andric return false; 710b57cec5SDimitry Andric } 720b57cec5SDimitry Andric return true; 730b57cec5SDimitry Andric } 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric private: 760b57cec5SDimitry Andric // RuntimeDyldCheckerExprEval requires some context when parsing exprs. In 770b57cec5SDimitry Andric // particular, it needs to know whether a symbol is being evaluated in the 780b57cec5SDimitry Andric // context of a load, in which case we want the linker's local address for 790b57cec5SDimitry Andric // the symbol, or outside of a load, in which case we want the symbol's 800b57cec5SDimitry Andric // address in the remote target. 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric struct ParseContext { 830b57cec5SDimitry Andric bool IsInsideLoad; 840b57cec5SDimitry Andric ParseContext(bool IsInsideLoad) : IsInsideLoad(IsInsideLoad) {} 850b57cec5SDimitry Andric }; 860b57cec5SDimitry Andric 870b57cec5SDimitry Andric const RuntimeDyldCheckerImpl &Checker; 880b57cec5SDimitry Andric 890b57cec5SDimitry Andric enum class BinOpToken : unsigned { 900b57cec5SDimitry Andric Invalid, 910b57cec5SDimitry Andric Add, 920b57cec5SDimitry Andric Sub, 930b57cec5SDimitry Andric BitwiseAnd, 940b57cec5SDimitry Andric BitwiseOr, 950b57cec5SDimitry Andric ShiftLeft, 960b57cec5SDimitry Andric ShiftRight 970b57cec5SDimitry Andric }; 980b57cec5SDimitry Andric 990b57cec5SDimitry Andric class EvalResult { 1000b57cec5SDimitry Andric public: 10104eeddc0SDimitry Andric EvalResult() : Value(0) {} 10204eeddc0SDimitry Andric EvalResult(uint64_t Value) : Value(Value) {} 1030b57cec5SDimitry Andric EvalResult(std::string ErrorMsg) 1040b57cec5SDimitry Andric : Value(0), ErrorMsg(std::move(ErrorMsg)) {} 1050b57cec5SDimitry Andric uint64_t getValue() const { return Value; } 1060b57cec5SDimitry Andric bool hasError() const { return ErrorMsg != ""; } 1070b57cec5SDimitry Andric const std::string &getErrorMsg() const { return ErrorMsg; } 1080b57cec5SDimitry Andric 1090b57cec5SDimitry Andric private: 1100b57cec5SDimitry Andric uint64_t Value; 1110b57cec5SDimitry Andric std::string ErrorMsg; 1120b57cec5SDimitry Andric }; 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric StringRef getTokenForError(StringRef Expr) const { 1150b57cec5SDimitry Andric if (Expr.empty()) 1160b57cec5SDimitry Andric return ""; 1170b57cec5SDimitry Andric 1180b57cec5SDimitry Andric StringRef Token, Remaining; 1190b57cec5SDimitry Andric if (isalpha(Expr[0])) 1200b57cec5SDimitry Andric std::tie(Token, Remaining) = parseSymbol(Expr); 1210b57cec5SDimitry Andric else if (isdigit(Expr[0])) 1220b57cec5SDimitry Andric std::tie(Token, Remaining) = parseNumberString(Expr); 1230b57cec5SDimitry Andric else { 1240b57cec5SDimitry Andric unsigned TokLen = 1; 1250b57cec5SDimitry Andric if (Expr.startswith("<<") || Expr.startswith(">>")) 1260b57cec5SDimitry Andric TokLen = 2; 1270b57cec5SDimitry Andric Token = Expr.substr(0, TokLen); 1280b57cec5SDimitry Andric } 1290b57cec5SDimitry Andric return Token; 1300b57cec5SDimitry Andric } 1310b57cec5SDimitry Andric 1320b57cec5SDimitry Andric EvalResult unexpectedToken(StringRef TokenStart, StringRef SubExpr, 1330b57cec5SDimitry Andric StringRef ErrText) const { 1340b57cec5SDimitry Andric std::string ErrorMsg("Encountered unexpected token '"); 1350b57cec5SDimitry Andric ErrorMsg += getTokenForError(TokenStart); 1360b57cec5SDimitry Andric if (SubExpr != "") { 1370b57cec5SDimitry Andric ErrorMsg += "' while parsing subexpression '"; 1380b57cec5SDimitry Andric ErrorMsg += SubExpr; 1390b57cec5SDimitry Andric } 1400b57cec5SDimitry Andric ErrorMsg += "'"; 1410b57cec5SDimitry Andric if (ErrText != "") { 1420b57cec5SDimitry Andric ErrorMsg += " "; 1430b57cec5SDimitry Andric ErrorMsg += ErrText; 1440b57cec5SDimitry Andric } 1450b57cec5SDimitry Andric return EvalResult(std::move(ErrorMsg)); 1460b57cec5SDimitry Andric } 1470b57cec5SDimitry Andric 1480b57cec5SDimitry Andric bool handleError(StringRef Expr, const EvalResult &R) const { 1490b57cec5SDimitry Andric assert(R.hasError() && "Not an error result."); 1500b57cec5SDimitry Andric Checker.ErrStream << "Error evaluating expression '" << Expr 1510b57cec5SDimitry Andric << "': " << R.getErrorMsg() << "\n"; 1520b57cec5SDimitry Andric return false; 1530b57cec5SDimitry Andric } 1540b57cec5SDimitry Andric 1550b57cec5SDimitry Andric std::pair<BinOpToken, StringRef> parseBinOpToken(StringRef Expr) const { 1560b57cec5SDimitry Andric if (Expr.empty()) 1570b57cec5SDimitry Andric return std::make_pair(BinOpToken::Invalid, ""); 1580b57cec5SDimitry Andric 1590b57cec5SDimitry Andric // Handle the two 2-character tokens. 1600b57cec5SDimitry Andric if (Expr.startswith("<<")) 1610b57cec5SDimitry Andric return std::make_pair(BinOpToken::ShiftLeft, Expr.substr(2).ltrim()); 1620b57cec5SDimitry Andric if (Expr.startswith(">>")) 1630b57cec5SDimitry Andric return std::make_pair(BinOpToken::ShiftRight, Expr.substr(2).ltrim()); 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric // Handle one-character tokens. 1660b57cec5SDimitry Andric BinOpToken Op; 1670b57cec5SDimitry Andric switch (Expr[0]) { 1680b57cec5SDimitry Andric default: 1690b57cec5SDimitry Andric return std::make_pair(BinOpToken::Invalid, Expr); 1700b57cec5SDimitry Andric case '+': 1710b57cec5SDimitry Andric Op = BinOpToken::Add; 1720b57cec5SDimitry Andric break; 1730b57cec5SDimitry Andric case '-': 1740b57cec5SDimitry Andric Op = BinOpToken::Sub; 1750b57cec5SDimitry Andric break; 1760b57cec5SDimitry Andric case '&': 1770b57cec5SDimitry Andric Op = BinOpToken::BitwiseAnd; 1780b57cec5SDimitry Andric break; 1790b57cec5SDimitry Andric case '|': 1800b57cec5SDimitry Andric Op = BinOpToken::BitwiseOr; 1810b57cec5SDimitry Andric break; 1820b57cec5SDimitry Andric } 1830b57cec5SDimitry Andric 1840b57cec5SDimitry Andric return std::make_pair(Op, Expr.substr(1).ltrim()); 1850b57cec5SDimitry Andric } 1860b57cec5SDimitry Andric 1870b57cec5SDimitry Andric EvalResult computeBinOpResult(BinOpToken Op, const EvalResult &LHSResult, 1880b57cec5SDimitry Andric const EvalResult &RHSResult) const { 1890b57cec5SDimitry Andric switch (Op) { 1900b57cec5SDimitry Andric default: 1910b57cec5SDimitry Andric llvm_unreachable("Tried to evaluate unrecognized operation."); 1920b57cec5SDimitry Andric case BinOpToken::Add: 1930b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() + RHSResult.getValue()); 1940b57cec5SDimitry Andric case BinOpToken::Sub: 1950b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() - RHSResult.getValue()); 1960b57cec5SDimitry Andric case BinOpToken::BitwiseAnd: 1970b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() & RHSResult.getValue()); 1980b57cec5SDimitry Andric case BinOpToken::BitwiseOr: 1990b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() | RHSResult.getValue()); 2000b57cec5SDimitry Andric case BinOpToken::ShiftLeft: 2010b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() << RHSResult.getValue()); 2020b57cec5SDimitry Andric case BinOpToken::ShiftRight: 2030b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() >> RHSResult.getValue()); 2040b57cec5SDimitry Andric } 2050b57cec5SDimitry Andric } 2060b57cec5SDimitry Andric 2070b57cec5SDimitry Andric // Parse a symbol and return a (string, string) pair representing the symbol 2080b57cec5SDimitry Andric // name and expression remaining to be parsed. 2090b57cec5SDimitry Andric std::pair<StringRef, StringRef> parseSymbol(StringRef Expr) const { 2100b57cec5SDimitry Andric size_t FirstNonSymbol = Expr.find_first_not_of("0123456789" 2110b57cec5SDimitry Andric "abcdefghijklmnopqrstuvwxyz" 2120b57cec5SDimitry Andric "ABCDEFGHIJKLMNOPQRSTUVWXYZ" 2130b57cec5SDimitry Andric ":_.$"); 2140b57cec5SDimitry Andric return std::make_pair(Expr.substr(0, FirstNonSymbol), 2150b57cec5SDimitry Andric Expr.substr(FirstNonSymbol).ltrim()); 2160b57cec5SDimitry Andric } 2170b57cec5SDimitry Andric 2180b57cec5SDimitry Andric // Evaluate a call to decode_operand. Decode the instruction operand at the 2190b57cec5SDimitry Andric // given symbol and get the value of the requested operand. 2200b57cec5SDimitry Andric // Returns an error if the instruction cannot be decoded, or the requested 2210b57cec5SDimitry Andric // operand is not an immediate. 2220b57cec5SDimitry Andric // On success, returns a pair containing the value of the operand, plus 2230b57cec5SDimitry Andric // the expression remaining to be evaluated. 2240b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalDecodeOperand(StringRef Expr) const { 2250b57cec5SDimitry Andric if (!Expr.startswith("(")) 2260b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), ""); 2270b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim(); 2280b57cec5SDimitry Andric StringRef Symbol; 2290b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr); 2300b57cec5SDimitry Andric 2310b57cec5SDimitry Andric if (!Checker.isSymbolValid(Symbol)) 2320b57cec5SDimitry Andric return std::make_pair( 2330b57cec5SDimitry Andric EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()), 2340b57cec5SDimitry Andric ""); 2350b57cec5SDimitry Andric 236349cc55cSDimitry Andric // if there is an offset number expr 237349cc55cSDimitry Andric int64_t Offset = 0; 238349cc55cSDimitry Andric BinOpToken BinOp; 239349cc55cSDimitry Andric std::tie(BinOp, RemainingExpr) = parseBinOpToken(RemainingExpr); 240349cc55cSDimitry Andric switch (BinOp) { 241349cc55cSDimitry Andric case BinOpToken::Add: { 242349cc55cSDimitry Andric EvalResult Number; 243349cc55cSDimitry Andric std::tie(Number, RemainingExpr) = evalNumberExpr(RemainingExpr); 244349cc55cSDimitry Andric Offset = Number.getValue(); 245349cc55cSDimitry Andric break; 246349cc55cSDimitry Andric } 247349cc55cSDimitry Andric case BinOpToken::Invalid: 248349cc55cSDimitry Andric break; 249349cc55cSDimitry Andric default: 250349cc55cSDimitry Andric return std::make_pair( 251349cc55cSDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, 252349cc55cSDimitry Andric "expected '+' for offset or ',' if no offset"), 253349cc55cSDimitry Andric ""); 254349cc55cSDimitry Andric } 255349cc55cSDimitry Andric 2560b57cec5SDimitry Andric if (!RemainingExpr.startswith(",")) 2570b57cec5SDimitry Andric return std::make_pair( 2580b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ','"), ""); 2590b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 2600b57cec5SDimitry Andric 2610b57cec5SDimitry Andric EvalResult OpIdxExpr; 2620b57cec5SDimitry Andric std::tie(OpIdxExpr, RemainingExpr) = evalNumberExpr(RemainingExpr); 2630b57cec5SDimitry Andric if (OpIdxExpr.hasError()) 2640b57cec5SDimitry Andric return std::make_pair(OpIdxExpr, ""); 2650b57cec5SDimitry Andric 2660b57cec5SDimitry Andric if (!RemainingExpr.startswith(")")) 2670b57cec5SDimitry Andric return std::make_pair( 2680b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), ""); 2690b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 2700b57cec5SDimitry Andric 2710b57cec5SDimitry Andric MCInst Inst; 2720b57cec5SDimitry Andric uint64_t Size; 273349cc55cSDimitry Andric if (!decodeInst(Symbol, Inst, Size, Offset)) 2740b57cec5SDimitry Andric return std::make_pair( 2750b57cec5SDimitry Andric EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()), 2760b57cec5SDimitry Andric ""); 2770b57cec5SDimitry Andric 2780b57cec5SDimitry Andric unsigned OpIdx = OpIdxExpr.getValue(); 2790b57cec5SDimitry Andric if (OpIdx >= Inst.getNumOperands()) { 2800b57cec5SDimitry Andric std::string ErrMsg; 2810b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg); 2820b57cec5SDimitry Andric ErrMsgStream << "Invalid operand index '" << format("%i", OpIdx) 2830b57cec5SDimitry Andric << "' for instruction '" << Symbol 2840b57cec5SDimitry Andric << "'. Instruction has only " 2850b57cec5SDimitry Andric << format("%i", Inst.getNumOperands()) 2860b57cec5SDimitry Andric << " operands.\nInstruction is:\n "; 2870b57cec5SDimitry Andric Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter); 2880b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrMsgStream.str()), ""); 2890b57cec5SDimitry Andric } 2900b57cec5SDimitry Andric 2910b57cec5SDimitry Andric const MCOperand &Op = Inst.getOperand(OpIdx); 2920b57cec5SDimitry Andric if (!Op.isImm()) { 2930b57cec5SDimitry Andric std::string ErrMsg; 2940b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg); 2950b57cec5SDimitry Andric ErrMsgStream << "Operand '" << format("%i", OpIdx) << "' of instruction '" 2960b57cec5SDimitry Andric << Symbol << "' is not an immediate.\nInstruction is:\n "; 2970b57cec5SDimitry Andric Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter); 2980b57cec5SDimitry Andric 2990b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrMsgStream.str()), ""); 3000b57cec5SDimitry Andric } 3010b57cec5SDimitry Andric 3020b57cec5SDimitry Andric return std::make_pair(EvalResult(Op.getImm()), RemainingExpr); 3030b57cec5SDimitry Andric } 3040b57cec5SDimitry Andric 3050b57cec5SDimitry Andric // Evaluate a call to next_pc. 3060b57cec5SDimitry Andric // Decode the instruction at the given symbol and return the following program 3070b57cec5SDimitry Andric // counter. 3080b57cec5SDimitry Andric // Returns an error if the instruction cannot be decoded. 3090b57cec5SDimitry Andric // On success, returns a pair containing the next PC, plus of the 3100b57cec5SDimitry Andric // expression remaining to be evaluated. 3110b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalNextPC(StringRef Expr, 3120b57cec5SDimitry Andric ParseContext PCtx) const { 3130b57cec5SDimitry Andric if (!Expr.startswith("(")) 3140b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), ""); 3150b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim(); 3160b57cec5SDimitry Andric StringRef Symbol; 3170b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr); 3180b57cec5SDimitry Andric 3190b57cec5SDimitry Andric if (!Checker.isSymbolValid(Symbol)) 3200b57cec5SDimitry Andric return std::make_pair( 3210b57cec5SDimitry Andric EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()), 3220b57cec5SDimitry Andric ""); 3230b57cec5SDimitry Andric 3240b57cec5SDimitry Andric if (!RemainingExpr.startswith(")")) 3250b57cec5SDimitry Andric return std::make_pair( 3260b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), ""); 3270b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 3280b57cec5SDimitry Andric 3290b57cec5SDimitry Andric MCInst Inst; 3300b57cec5SDimitry Andric uint64_t InstSize; 331349cc55cSDimitry Andric if (!decodeInst(Symbol, Inst, InstSize, 0)) 3320b57cec5SDimitry Andric return std::make_pair( 3330b57cec5SDimitry Andric EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()), 3340b57cec5SDimitry Andric ""); 3350b57cec5SDimitry Andric 3360b57cec5SDimitry Andric uint64_t SymbolAddr = PCtx.IsInsideLoad 3370b57cec5SDimitry Andric ? Checker.getSymbolLocalAddr(Symbol) 3380b57cec5SDimitry Andric : Checker.getSymbolRemoteAddr(Symbol); 3390b57cec5SDimitry Andric uint64_t NextPC = SymbolAddr + InstSize; 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric return std::make_pair(EvalResult(NextPC), RemainingExpr); 3420b57cec5SDimitry Andric } 3430b57cec5SDimitry Andric 3440b57cec5SDimitry Andric // Evaluate a call to stub_addr/got_addr. 3450b57cec5SDimitry Andric // Look up and return the address of the stub for the given 3460b57cec5SDimitry Andric // (<file name>, <section name>, <symbol name>) tuple. 3470b57cec5SDimitry Andric // On success, returns a pair containing the stub address, plus the expression 3480b57cec5SDimitry Andric // remaining to be evaluated. 3490b57cec5SDimitry Andric std::pair<EvalResult, StringRef> 3500b57cec5SDimitry Andric evalStubOrGOTAddr(StringRef Expr, ParseContext PCtx, bool IsStubAddr) const { 3510b57cec5SDimitry Andric if (!Expr.startswith("(")) 3520b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), ""); 3530b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim(); 3540b57cec5SDimitry Andric 3550b57cec5SDimitry Andric // Handle file-name specially, as it may contain characters that aren't 3560b57cec5SDimitry Andric // legal for symbols. 3570b57cec5SDimitry Andric StringRef StubContainerName; 3580b57cec5SDimitry Andric size_t ComaIdx = RemainingExpr.find(','); 3590b57cec5SDimitry Andric StubContainerName = RemainingExpr.substr(0, ComaIdx).rtrim(); 3600b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim(); 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric if (!RemainingExpr.startswith(",")) 3630b57cec5SDimitry Andric return std::make_pair( 3640b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ','"), ""); 3650b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 3660b57cec5SDimitry Andric 3670b57cec5SDimitry Andric StringRef Symbol; 3680b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr); 3690b57cec5SDimitry Andric 3700b57cec5SDimitry Andric if (!RemainingExpr.startswith(")")) 3710b57cec5SDimitry Andric return std::make_pair( 3720b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ')'"), ""); 3730b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 3740b57cec5SDimitry Andric 3750b57cec5SDimitry Andric uint64_t StubAddr; 376e8d8bef9SDimitry Andric std::string ErrorMsg; 3770b57cec5SDimitry Andric std::tie(StubAddr, ErrorMsg) = Checker.getStubOrGOTAddrFor( 3780b57cec5SDimitry Andric StubContainerName, Symbol, PCtx.IsInsideLoad, IsStubAddr); 3790b57cec5SDimitry Andric 3800b57cec5SDimitry Andric if (ErrorMsg != "") 3810b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrorMsg), ""); 3820b57cec5SDimitry Andric 3830b57cec5SDimitry Andric return std::make_pair(EvalResult(StubAddr), RemainingExpr); 3840b57cec5SDimitry Andric } 3850b57cec5SDimitry Andric 3860b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalSectionAddr(StringRef Expr, 3870b57cec5SDimitry Andric ParseContext PCtx) const { 3880b57cec5SDimitry Andric if (!Expr.startswith("(")) 3890b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), ""); 3900b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim(); 3910b57cec5SDimitry Andric 3920b57cec5SDimitry Andric // Handle file-name specially, as it may contain characters that aren't 3930b57cec5SDimitry Andric // legal for symbols. 3940b57cec5SDimitry Andric StringRef FileName; 3950b57cec5SDimitry Andric size_t ComaIdx = RemainingExpr.find(','); 3960b57cec5SDimitry Andric FileName = RemainingExpr.substr(0, ComaIdx).rtrim(); 3970b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim(); 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric if (!RemainingExpr.startswith(",")) 4000b57cec5SDimitry Andric return std::make_pair( 4010b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ','"), ""); 4020b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 4030b57cec5SDimitry Andric 4040b57cec5SDimitry Andric StringRef SectionName; 405fe6060f1SDimitry Andric size_t CloseParensIdx = RemainingExpr.find(')'); 406fe6060f1SDimitry Andric SectionName = RemainingExpr.substr(0, CloseParensIdx).rtrim(); 407fe6060f1SDimitry Andric RemainingExpr = RemainingExpr.substr(CloseParensIdx).ltrim(); 4080b57cec5SDimitry Andric 4090b57cec5SDimitry Andric if (!RemainingExpr.startswith(")")) 4100b57cec5SDimitry Andric return std::make_pair( 4110b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ')'"), ""); 4120b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 4130b57cec5SDimitry Andric 4140b57cec5SDimitry Andric uint64_t StubAddr; 415e8d8bef9SDimitry Andric std::string ErrorMsg; 4160b57cec5SDimitry Andric std::tie(StubAddr, ErrorMsg) = Checker.getSectionAddr( 4170b57cec5SDimitry Andric FileName, SectionName, PCtx.IsInsideLoad); 4180b57cec5SDimitry Andric 4190b57cec5SDimitry Andric if (ErrorMsg != "") 4200b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrorMsg), ""); 4210b57cec5SDimitry Andric 4220b57cec5SDimitry Andric return std::make_pair(EvalResult(StubAddr), RemainingExpr); 4230b57cec5SDimitry Andric } 4240b57cec5SDimitry Andric 4250b57cec5SDimitry Andric // Evaluate an identiefer expr, which may be a symbol, or a call to 4260b57cec5SDimitry Andric // one of the builtin functions: get_insn_opcode or get_insn_length. 4270b57cec5SDimitry Andric // Return the result, plus the expression remaining to be parsed. 4280b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalIdentifierExpr(StringRef Expr, 4290b57cec5SDimitry Andric ParseContext PCtx) const { 4300b57cec5SDimitry Andric StringRef Symbol; 4310b57cec5SDimitry Andric StringRef RemainingExpr; 4320b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(Expr); 4330b57cec5SDimitry Andric 4340b57cec5SDimitry Andric // Check for builtin function calls. 4350b57cec5SDimitry Andric if (Symbol == "decode_operand") 4360b57cec5SDimitry Andric return evalDecodeOperand(RemainingExpr); 4370b57cec5SDimitry Andric else if (Symbol == "next_pc") 4380b57cec5SDimitry Andric return evalNextPC(RemainingExpr, PCtx); 4390b57cec5SDimitry Andric else if (Symbol == "stub_addr") 4400b57cec5SDimitry Andric return evalStubOrGOTAddr(RemainingExpr, PCtx, true); 4410b57cec5SDimitry Andric else if (Symbol == "got_addr") 4420b57cec5SDimitry Andric return evalStubOrGOTAddr(RemainingExpr, PCtx, false); 4430b57cec5SDimitry Andric else if (Symbol == "section_addr") 4440b57cec5SDimitry Andric return evalSectionAddr(RemainingExpr, PCtx); 4450b57cec5SDimitry Andric 4460b57cec5SDimitry Andric if (!Checker.isSymbolValid(Symbol)) { 4470b57cec5SDimitry Andric std::string ErrMsg("No known address for symbol '"); 4480b57cec5SDimitry Andric ErrMsg += Symbol; 4490b57cec5SDimitry Andric ErrMsg += "'"; 4500b57cec5SDimitry Andric if (Symbol.startswith("L")) 4510b57cec5SDimitry Andric ErrMsg += " (this appears to be an assembler local label - " 4520b57cec5SDimitry Andric " perhaps drop the 'L'?)"; 4530b57cec5SDimitry Andric 4540b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrMsg), ""); 4550b57cec5SDimitry Andric } 4560b57cec5SDimitry Andric 4570b57cec5SDimitry Andric // The value for the symbol depends on the context we're evaluating in: 4580b57cec5SDimitry Andric // Inside a load this is the address in the linker's memory, outside a 4590b57cec5SDimitry Andric // load it's the address in the target processes memory. 4600b57cec5SDimitry Andric uint64_t Value = PCtx.IsInsideLoad ? Checker.getSymbolLocalAddr(Symbol) 4610b57cec5SDimitry Andric : Checker.getSymbolRemoteAddr(Symbol); 4620b57cec5SDimitry Andric 4630b57cec5SDimitry Andric // Looks like a plain symbol reference. 4640b57cec5SDimitry Andric return std::make_pair(EvalResult(Value), RemainingExpr); 4650b57cec5SDimitry Andric } 4660b57cec5SDimitry Andric 4670b57cec5SDimitry Andric // Parse a number (hexadecimal or decimal) and return a (string, string) 4680b57cec5SDimitry Andric // pair representing the number and the expression remaining to be parsed. 4690b57cec5SDimitry Andric std::pair<StringRef, StringRef> parseNumberString(StringRef Expr) const { 4700b57cec5SDimitry Andric size_t FirstNonDigit = StringRef::npos; 4710b57cec5SDimitry Andric if (Expr.startswith("0x")) { 4720b57cec5SDimitry Andric FirstNonDigit = Expr.find_first_not_of("0123456789abcdefABCDEF", 2); 4730b57cec5SDimitry Andric if (FirstNonDigit == StringRef::npos) 4740b57cec5SDimitry Andric FirstNonDigit = Expr.size(); 4750b57cec5SDimitry Andric } else { 4760b57cec5SDimitry Andric FirstNonDigit = Expr.find_first_not_of("0123456789"); 4770b57cec5SDimitry Andric if (FirstNonDigit == StringRef::npos) 4780b57cec5SDimitry Andric FirstNonDigit = Expr.size(); 4790b57cec5SDimitry Andric } 4800b57cec5SDimitry Andric return std::make_pair(Expr.substr(0, FirstNonDigit), 4810b57cec5SDimitry Andric Expr.substr(FirstNonDigit)); 4820b57cec5SDimitry Andric } 4830b57cec5SDimitry Andric 4840b57cec5SDimitry Andric // Evaluate a constant numeric expression (hexadecimal or decimal) and 4850b57cec5SDimitry Andric // return a pair containing the result, and the expression remaining to be 4860b57cec5SDimitry Andric // evaluated. 4870b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalNumberExpr(StringRef Expr) const { 4880b57cec5SDimitry Andric StringRef ValueStr; 4890b57cec5SDimitry Andric StringRef RemainingExpr; 4900b57cec5SDimitry Andric std::tie(ValueStr, RemainingExpr) = parseNumberString(Expr); 4910b57cec5SDimitry Andric 4920b57cec5SDimitry Andric if (ValueStr.empty() || !isdigit(ValueStr[0])) 4930b57cec5SDimitry Andric return std::make_pair( 4940b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected number"), ""); 4950b57cec5SDimitry Andric uint64_t Value; 4960b57cec5SDimitry Andric ValueStr.getAsInteger(0, Value); 4970b57cec5SDimitry Andric return std::make_pair(EvalResult(Value), RemainingExpr); 4980b57cec5SDimitry Andric } 4990b57cec5SDimitry Andric 5000b57cec5SDimitry Andric // Evaluate an expression of the form "(<expr>)" and return a pair 5010b57cec5SDimitry Andric // containing the result of evaluating <expr>, plus the expression 5020b57cec5SDimitry Andric // remaining to be parsed. 5030b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalParensExpr(StringRef Expr, 5040b57cec5SDimitry Andric ParseContext PCtx) const { 5050b57cec5SDimitry Andric assert(Expr.startswith("(") && "Not a parenthesized expression"); 5060b57cec5SDimitry Andric EvalResult SubExprResult; 5070b57cec5SDimitry Andric StringRef RemainingExpr; 5080b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = 5090b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(Expr.substr(1).ltrim(), PCtx), PCtx); 5100b57cec5SDimitry Andric if (SubExprResult.hasError()) 5110b57cec5SDimitry Andric return std::make_pair(SubExprResult, ""); 5120b57cec5SDimitry Andric if (!RemainingExpr.startswith(")")) 5130b57cec5SDimitry Andric return std::make_pair( 5140b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ')'"), ""); 5150b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 5160b57cec5SDimitry Andric return std::make_pair(SubExprResult, RemainingExpr); 5170b57cec5SDimitry Andric } 5180b57cec5SDimitry Andric 5190b57cec5SDimitry Andric // Evaluate an expression in one of the following forms: 5200b57cec5SDimitry Andric // *{<number>}<expr> 5210b57cec5SDimitry Andric // Return a pair containing the result, plus the expression remaining to be 5220b57cec5SDimitry Andric // parsed. 5230b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalLoadExpr(StringRef Expr) const { 5240b57cec5SDimitry Andric assert(Expr.startswith("*") && "Not a load expression"); 5250b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim(); 5260b57cec5SDimitry Andric 5270b57cec5SDimitry Andric // Parse read size. 5280b57cec5SDimitry Andric if (!RemainingExpr.startswith("{")) 5290b57cec5SDimitry Andric return std::make_pair(EvalResult("Expected '{' following '*'."), ""); 5300b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 5310b57cec5SDimitry Andric EvalResult ReadSizeExpr; 5320b57cec5SDimitry Andric std::tie(ReadSizeExpr, RemainingExpr) = evalNumberExpr(RemainingExpr); 5330b57cec5SDimitry Andric if (ReadSizeExpr.hasError()) 5340b57cec5SDimitry Andric return std::make_pair(ReadSizeExpr, RemainingExpr); 5350b57cec5SDimitry Andric uint64_t ReadSize = ReadSizeExpr.getValue(); 5360b57cec5SDimitry Andric if (ReadSize < 1 || ReadSize > 8) 5370b57cec5SDimitry Andric return std::make_pair(EvalResult("Invalid size for dereference."), ""); 5380b57cec5SDimitry Andric if (!RemainingExpr.startswith("}")) 5390b57cec5SDimitry Andric return std::make_pair(EvalResult("Missing '}' for dereference."), ""); 5400b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 5410b57cec5SDimitry Andric 5420b57cec5SDimitry Andric // Evaluate the expression representing the load address. 5430b57cec5SDimitry Andric ParseContext LoadCtx(true); 5440b57cec5SDimitry Andric EvalResult LoadAddrExprResult; 5450b57cec5SDimitry Andric std::tie(LoadAddrExprResult, RemainingExpr) = 5460b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(RemainingExpr, LoadCtx), LoadCtx); 5470b57cec5SDimitry Andric 5480b57cec5SDimitry Andric if (LoadAddrExprResult.hasError()) 5490b57cec5SDimitry Andric return std::make_pair(LoadAddrExprResult, ""); 5500b57cec5SDimitry Andric 5510b57cec5SDimitry Andric uint64_t LoadAddr = LoadAddrExprResult.getValue(); 5520b57cec5SDimitry Andric 5530b57cec5SDimitry Andric // If there is no error but the content pointer is null then this is a 5540b57cec5SDimitry Andric // zero-fill symbol/section. 5550b57cec5SDimitry Andric if (LoadAddr == 0) 5560b57cec5SDimitry Andric return std::make_pair(0, RemainingExpr); 5570b57cec5SDimitry Andric 5580b57cec5SDimitry Andric return std::make_pair( 5590b57cec5SDimitry Andric EvalResult(Checker.readMemoryAtAddr(LoadAddr, ReadSize)), 5600b57cec5SDimitry Andric RemainingExpr); 5610b57cec5SDimitry Andric } 5620b57cec5SDimitry Andric 5630b57cec5SDimitry Andric // Evaluate a "simple" expression. This is any expression that _isn't_ an 5640b57cec5SDimitry Andric // un-parenthesized binary expression. 5650b57cec5SDimitry Andric // 5660b57cec5SDimitry Andric // "Simple" expressions can be optionally bit-sliced. See evalSlicedExpr. 5670b57cec5SDimitry Andric // 5680b57cec5SDimitry Andric // Returns a pair containing the result of the evaluation, plus the 5690b57cec5SDimitry Andric // expression remaining to be parsed. 5700b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalSimpleExpr(StringRef Expr, 5710b57cec5SDimitry Andric ParseContext PCtx) const { 5720b57cec5SDimitry Andric EvalResult SubExprResult; 5730b57cec5SDimitry Andric StringRef RemainingExpr; 5740b57cec5SDimitry Andric 5750b57cec5SDimitry Andric if (Expr.empty()) 5760b57cec5SDimitry Andric return std::make_pair(EvalResult("Unexpected end of expression"), ""); 5770b57cec5SDimitry Andric 5780b57cec5SDimitry Andric if (Expr[0] == '(') 5790b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalParensExpr(Expr, PCtx); 5800b57cec5SDimitry Andric else if (Expr[0] == '*') 5810b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalLoadExpr(Expr); 5820b57cec5SDimitry Andric else if (isalpha(Expr[0]) || Expr[0] == '_') 5830b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalIdentifierExpr(Expr, PCtx); 5840b57cec5SDimitry Andric else if (isdigit(Expr[0])) 5850b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalNumberExpr(Expr); 5860b57cec5SDimitry Andric else 5870b57cec5SDimitry Andric return std::make_pair( 5880b57cec5SDimitry Andric unexpectedToken(Expr, Expr, 5890b57cec5SDimitry Andric "expected '(', '*', identifier, or number"), ""); 5900b57cec5SDimitry Andric 5910b57cec5SDimitry Andric if (SubExprResult.hasError()) 5920b57cec5SDimitry Andric return std::make_pair(SubExprResult, RemainingExpr); 5930b57cec5SDimitry Andric 5940b57cec5SDimitry Andric // Evaluate bit-slice if present. 5950b57cec5SDimitry Andric if (RemainingExpr.startswith("[")) 5960b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = 5970b57cec5SDimitry Andric evalSliceExpr(std::make_pair(SubExprResult, RemainingExpr)); 5980b57cec5SDimitry Andric 5990b57cec5SDimitry Andric return std::make_pair(SubExprResult, RemainingExpr); 6000b57cec5SDimitry Andric } 6010b57cec5SDimitry Andric 6020b57cec5SDimitry Andric // Evaluate a bit-slice of an expression. 6030b57cec5SDimitry Andric // A bit-slice has the form "<expr>[high:low]". The result of evaluating a 6040b57cec5SDimitry Andric // slice is the bits between high and low (inclusive) in the original 6050b57cec5SDimitry Andric // expression, right shifted so that the "low" bit is in position 0 in the 6060b57cec5SDimitry Andric // result. 6070b57cec5SDimitry Andric // Returns a pair containing the result of the slice operation, plus the 6080b57cec5SDimitry Andric // expression remaining to be parsed. 6090b57cec5SDimitry Andric std::pair<EvalResult, StringRef> 6100b57cec5SDimitry Andric evalSliceExpr(const std::pair<EvalResult, StringRef> &Ctx) const { 6110b57cec5SDimitry Andric EvalResult SubExprResult; 6120b57cec5SDimitry Andric StringRef RemainingExpr; 6130b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = Ctx; 6140b57cec5SDimitry Andric 6150b57cec5SDimitry Andric assert(RemainingExpr.startswith("[") && "Not a slice expr."); 6160b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 6170b57cec5SDimitry Andric 6180b57cec5SDimitry Andric EvalResult HighBitExpr; 6190b57cec5SDimitry Andric std::tie(HighBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr); 6200b57cec5SDimitry Andric 6210b57cec5SDimitry Andric if (HighBitExpr.hasError()) 6220b57cec5SDimitry Andric return std::make_pair(HighBitExpr, RemainingExpr); 6230b57cec5SDimitry Andric 6240b57cec5SDimitry Andric if (!RemainingExpr.startswith(":")) 6250b57cec5SDimitry Andric return std::make_pair( 6260b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ':'"), ""); 6270b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 6280b57cec5SDimitry Andric 6290b57cec5SDimitry Andric EvalResult LowBitExpr; 6300b57cec5SDimitry Andric std::tie(LowBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr); 6310b57cec5SDimitry Andric 6320b57cec5SDimitry Andric if (LowBitExpr.hasError()) 6330b57cec5SDimitry Andric return std::make_pair(LowBitExpr, RemainingExpr); 6340b57cec5SDimitry Andric 6350b57cec5SDimitry Andric if (!RemainingExpr.startswith("]")) 6360b57cec5SDimitry Andric return std::make_pair( 6370b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ']'"), ""); 6380b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim(); 6390b57cec5SDimitry Andric 6400b57cec5SDimitry Andric unsigned HighBit = HighBitExpr.getValue(); 6410b57cec5SDimitry Andric unsigned LowBit = LowBitExpr.getValue(); 6420b57cec5SDimitry Andric uint64_t Mask = ((uint64_t)1 << (HighBit - LowBit + 1)) - 1; 6430b57cec5SDimitry Andric uint64_t SlicedValue = (SubExprResult.getValue() >> LowBit) & Mask; 6440b57cec5SDimitry Andric return std::make_pair(EvalResult(SlicedValue), RemainingExpr); 6450b57cec5SDimitry Andric } 6460b57cec5SDimitry Andric 6470b57cec5SDimitry Andric // Evaluate a "complex" expression. 6480b57cec5SDimitry Andric // Takes an already evaluated subexpression and checks for the presence of a 6490b57cec5SDimitry Andric // binary operator, computing the result of the binary operation if one is 6500b57cec5SDimitry Andric // found. Used to make arithmetic expressions left-associative. 6510b57cec5SDimitry Andric // Returns a pair containing the ultimate result of evaluating the 6520b57cec5SDimitry Andric // expression, plus the expression remaining to be evaluated. 6530b57cec5SDimitry Andric std::pair<EvalResult, StringRef> 6540b57cec5SDimitry Andric evalComplexExpr(const std::pair<EvalResult, StringRef> &LHSAndRemaining, 6550b57cec5SDimitry Andric ParseContext PCtx) const { 6560b57cec5SDimitry Andric EvalResult LHSResult; 6570b57cec5SDimitry Andric StringRef RemainingExpr; 6580b57cec5SDimitry Andric std::tie(LHSResult, RemainingExpr) = LHSAndRemaining; 6590b57cec5SDimitry Andric 6600b57cec5SDimitry Andric // If there was an error, or there's nothing left to evaluate, return the 6610b57cec5SDimitry Andric // result. 6620b57cec5SDimitry Andric if (LHSResult.hasError() || RemainingExpr == "") 6630b57cec5SDimitry Andric return std::make_pair(LHSResult, RemainingExpr); 6640b57cec5SDimitry Andric 6650b57cec5SDimitry Andric // Otherwise check if this is a binary expressioan. 6660b57cec5SDimitry Andric BinOpToken BinOp; 6670b57cec5SDimitry Andric std::tie(BinOp, RemainingExpr) = parseBinOpToken(RemainingExpr); 6680b57cec5SDimitry Andric 6690b57cec5SDimitry Andric // If this isn't a recognized expression just return. 6700b57cec5SDimitry Andric if (BinOp == BinOpToken::Invalid) 6710b57cec5SDimitry Andric return std::make_pair(LHSResult, RemainingExpr); 6720b57cec5SDimitry Andric 6730b57cec5SDimitry Andric // This is a recognized bin-op. Evaluate the RHS, then evaluate the binop. 6740b57cec5SDimitry Andric EvalResult RHSResult; 6750b57cec5SDimitry Andric std::tie(RHSResult, RemainingExpr) = evalSimpleExpr(RemainingExpr, PCtx); 6760b57cec5SDimitry Andric 6770b57cec5SDimitry Andric // If there was an error evaluating the RHS, return it. 6780b57cec5SDimitry Andric if (RHSResult.hasError()) 6790b57cec5SDimitry Andric return std::make_pair(RHSResult, RemainingExpr); 6800b57cec5SDimitry Andric 6810b57cec5SDimitry Andric // This is a binary expression - evaluate and try to continue as a 6820b57cec5SDimitry Andric // complex expr. 6830b57cec5SDimitry Andric EvalResult ThisResult(computeBinOpResult(BinOp, LHSResult, RHSResult)); 6840b57cec5SDimitry Andric 6850b57cec5SDimitry Andric return evalComplexExpr(std::make_pair(ThisResult, RemainingExpr), PCtx); 6860b57cec5SDimitry Andric } 6870b57cec5SDimitry Andric 688349cc55cSDimitry Andric bool decodeInst(StringRef Symbol, MCInst &Inst, uint64_t &Size, 689349cc55cSDimitry Andric int64_t Offset) const { 6900b57cec5SDimitry Andric MCDisassembler *Dis = Checker.Disassembler; 6910b57cec5SDimitry Andric StringRef SymbolMem = Checker.getSymbolContent(Symbol); 692349cc55cSDimitry Andric ArrayRef<uint8_t> SymbolBytes(SymbolMem.bytes_begin() + Offset, 693349cc55cSDimitry Andric SymbolMem.size() - Offset); 6940b57cec5SDimitry Andric 6950b57cec5SDimitry Andric MCDisassembler::DecodeStatus S = 696480093f4SDimitry Andric Dis->getInstruction(Inst, Size, SymbolBytes, 0, nulls()); 6970b57cec5SDimitry Andric 6980b57cec5SDimitry Andric return (S == MCDisassembler::Success); 6990b57cec5SDimitry Andric } 7000b57cec5SDimitry Andric }; 701349cc55cSDimitry Andric } // namespace llvm 7020b57cec5SDimitry Andric 7030b57cec5SDimitry Andric RuntimeDyldCheckerImpl::RuntimeDyldCheckerImpl( 7040b57cec5SDimitry Andric IsSymbolValidFunction IsSymbolValid, GetSymbolInfoFunction GetSymbolInfo, 7050b57cec5SDimitry Andric GetSectionInfoFunction GetSectionInfo, GetStubInfoFunction GetStubInfo, 7060b57cec5SDimitry Andric GetGOTInfoFunction GetGOTInfo, support::endianness Endianness, 7070b57cec5SDimitry Andric MCDisassembler *Disassembler, MCInstPrinter *InstPrinter, 7080b57cec5SDimitry Andric raw_ostream &ErrStream) 7090b57cec5SDimitry Andric : IsSymbolValid(std::move(IsSymbolValid)), 7100b57cec5SDimitry Andric GetSymbolInfo(std::move(GetSymbolInfo)), 7110b57cec5SDimitry Andric GetSectionInfo(std::move(GetSectionInfo)), 7120b57cec5SDimitry Andric GetStubInfo(std::move(GetStubInfo)), GetGOTInfo(std::move(GetGOTInfo)), 7130b57cec5SDimitry Andric Endianness(Endianness), Disassembler(Disassembler), 7140b57cec5SDimitry Andric InstPrinter(InstPrinter), ErrStream(ErrStream) {} 7150b57cec5SDimitry Andric 7160b57cec5SDimitry Andric bool RuntimeDyldCheckerImpl::check(StringRef CheckExpr) const { 7170b57cec5SDimitry Andric CheckExpr = CheckExpr.trim(); 7180b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "RuntimeDyldChecker: Checking '" << CheckExpr 7190b57cec5SDimitry Andric << "'...\n"); 7200b57cec5SDimitry Andric RuntimeDyldCheckerExprEval P(*this, ErrStream); 7210b57cec5SDimitry Andric bool Result = P.evaluate(CheckExpr); 7220b57cec5SDimitry Andric (void)Result; 7230b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "RuntimeDyldChecker: '" << CheckExpr << "' " 7240b57cec5SDimitry Andric << (Result ? "passed" : "FAILED") << ".\n"); 7250b57cec5SDimitry Andric return Result; 7260b57cec5SDimitry Andric } 7270b57cec5SDimitry Andric 7280b57cec5SDimitry Andric bool RuntimeDyldCheckerImpl::checkAllRulesInBuffer(StringRef RulePrefix, 7290b57cec5SDimitry Andric MemoryBuffer *MemBuf) const { 7300b57cec5SDimitry Andric bool DidAllTestsPass = true; 7310b57cec5SDimitry Andric unsigned NumRules = 0; 7320b57cec5SDimitry Andric 7335ffd83dbSDimitry Andric std::string CheckExpr; 7340b57cec5SDimitry Andric const char *LineStart = MemBuf->getBufferStart(); 7350b57cec5SDimitry Andric 7360b57cec5SDimitry Andric // Eat whitespace. 7375ffd83dbSDimitry Andric while (LineStart != MemBuf->getBufferEnd() && isSpace(*LineStart)) 7380b57cec5SDimitry Andric ++LineStart; 7390b57cec5SDimitry Andric 7400b57cec5SDimitry Andric while (LineStart != MemBuf->getBufferEnd() && *LineStart != '\0') { 7410b57cec5SDimitry Andric const char *LineEnd = LineStart; 7420b57cec5SDimitry Andric while (LineEnd != MemBuf->getBufferEnd() && *LineEnd != '\r' && 7430b57cec5SDimitry Andric *LineEnd != '\n') 7440b57cec5SDimitry Andric ++LineEnd; 7450b57cec5SDimitry Andric 7460b57cec5SDimitry Andric StringRef Line(LineStart, LineEnd - LineStart); 7475ffd83dbSDimitry Andric if (Line.startswith(RulePrefix)) 7485ffd83dbSDimitry Andric CheckExpr += Line.substr(RulePrefix.size()).str(); 7495ffd83dbSDimitry Andric 7505ffd83dbSDimitry Andric // If there's a check expr string... 7515ffd83dbSDimitry Andric if (!CheckExpr.empty()) { 7525ffd83dbSDimitry Andric // ... and it's complete then run it, otherwise remove the trailer '\'. 7535ffd83dbSDimitry Andric if (CheckExpr.back() != '\\') { 7545ffd83dbSDimitry Andric DidAllTestsPass &= check(CheckExpr); 7555ffd83dbSDimitry Andric CheckExpr.clear(); 7560b57cec5SDimitry Andric ++NumRules; 7575ffd83dbSDimitry Andric } else 7585ffd83dbSDimitry Andric CheckExpr.pop_back(); 7590b57cec5SDimitry Andric } 7600b57cec5SDimitry Andric 7610b57cec5SDimitry Andric // Eat whitespace. 7620b57cec5SDimitry Andric LineStart = LineEnd; 7635ffd83dbSDimitry Andric while (LineStart != MemBuf->getBufferEnd() && isSpace(*LineStart)) 7640b57cec5SDimitry Andric ++LineStart; 7650b57cec5SDimitry Andric } 7660b57cec5SDimitry Andric return DidAllTestsPass && (NumRules != 0); 7670b57cec5SDimitry Andric } 7680b57cec5SDimitry Andric 7690b57cec5SDimitry Andric bool RuntimeDyldCheckerImpl::isSymbolValid(StringRef Symbol) const { 7700b57cec5SDimitry Andric return IsSymbolValid(Symbol); 7710b57cec5SDimitry Andric } 7720b57cec5SDimitry Andric 7730b57cec5SDimitry Andric uint64_t RuntimeDyldCheckerImpl::getSymbolLocalAddr(StringRef Symbol) const { 7740b57cec5SDimitry Andric auto SymInfo = GetSymbolInfo(Symbol); 7750b57cec5SDimitry Andric if (!SymInfo) { 7760b57cec5SDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: "); 7770b57cec5SDimitry Andric return 0; 7780b57cec5SDimitry Andric } 7790b57cec5SDimitry Andric 7800b57cec5SDimitry Andric if (SymInfo->isZeroFill()) 7810b57cec5SDimitry Andric return 0; 7820b57cec5SDimitry Andric 7830b57cec5SDimitry Andric return static_cast<uint64_t>( 7840b57cec5SDimitry Andric reinterpret_cast<uintptr_t>(SymInfo->getContent().data())); 7850b57cec5SDimitry Andric } 7860b57cec5SDimitry Andric 7870b57cec5SDimitry Andric uint64_t RuntimeDyldCheckerImpl::getSymbolRemoteAddr(StringRef Symbol) const { 7880b57cec5SDimitry Andric auto SymInfo = GetSymbolInfo(Symbol); 7890b57cec5SDimitry Andric if (!SymInfo) { 7900b57cec5SDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: "); 7910b57cec5SDimitry Andric return 0; 7920b57cec5SDimitry Andric } 7930b57cec5SDimitry Andric 7940b57cec5SDimitry Andric return SymInfo->getTargetAddress(); 7950b57cec5SDimitry Andric } 7960b57cec5SDimitry Andric 7970b57cec5SDimitry Andric uint64_t RuntimeDyldCheckerImpl::readMemoryAtAddr(uint64_t SrcAddr, 7980b57cec5SDimitry Andric unsigned Size) const { 7990b57cec5SDimitry Andric uintptr_t PtrSizedAddr = static_cast<uintptr_t>(SrcAddr); 8000b57cec5SDimitry Andric assert(PtrSizedAddr == SrcAddr && "Linker memory pointer out-of-range."); 8010b57cec5SDimitry Andric void *Ptr = reinterpret_cast<void*>(PtrSizedAddr); 8020b57cec5SDimitry Andric 8030b57cec5SDimitry Andric switch (Size) { 8040b57cec5SDimitry Andric case 1: 8050b57cec5SDimitry Andric return support::endian::read<uint8_t>(Ptr, Endianness); 8060b57cec5SDimitry Andric case 2: 8070b57cec5SDimitry Andric return support::endian::read<uint16_t>(Ptr, Endianness); 8080b57cec5SDimitry Andric case 4: 8090b57cec5SDimitry Andric return support::endian::read<uint32_t>(Ptr, Endianness); 8100b57cec5SDimitry Andric case 8: 8110b57cec5SDimitry Andric return support::endian::read<uint64_t>(Ptr, Endianness); 8120b57cec5SDimitry Andric } 8130b57cec5SDimitry Andric llvm_unreachable("Unsupported read size"); 8140b57cec5SDimitry Andric } 8150b57cec5SDimitry Andric 8160b57cec5SDimitry Andric StringRef RuntimeDyldCheckerImpl::getSymbolContent(StringRef Symbol) const { 8170b57cec5SDimitry Andric auto SymInfo = GetSymbolInfo(Symbol); 8180b57cec5SDimitry Andric if (!SymInfo) { 8190b57cec5SDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: "); 8200b57cec5SDimitry Andric return StringRef(); 8210b57cec5SDimitry Andric } 822fe6060f1SDimitry Andric return {SymInfo->getContent().data(), SymInfo->getContent().size()}; 8230b57cec5SDimitry Andric } 8240b57cec5SDimitry Andric 8250b57cec5SDimitry Andric std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getSectionAddr( 8260b57cec5SDimitry Andric StringRef FileName, StringRef SectionName, bool IsInsideLoad) const { 8270b57cec5SDimitry Andric 8280b57cec5SDimitry Andric auto SecInfo = GetSectionInfo(FileName, SectionName); 8290b57cec5SDimitry Andric if (!SecInfo) { 8300b57cec5SDimitry Andric std::string ErrMsg; 8310b57cec5SDimitry Andric { 8320b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg); 8330b57cec5SDimitry Andric logAllUnhandledErrors(SecInfo.takeError(), ErrMsgStream, 8340b57cec5SDimitry Andric "RTDyldChecker: "); 8350b57cec5SDimitry Andric } 8360b57cec5SDimitry Andric return std::make_pair(0, std::move(ErrMsg)); 8370b57cec5SDimitry Andric } 8380b57cec5SDimitry Andric 8390b57cec5SDimitry Andric // If this address is being looked up in "load" mode, return the content 8400b57cec5SDimitry Andric // pointer, otherwise return the target address. 8410b57cec5SDimitry Andric 8420b57cec5SDimitry Andric uint64_t Addr = 0; 8430b57cec5SDimitry Andric 8440b57cec5SDimitry Andric if (IsInsideLoad) { 8450b57cec5SDimitry Andric if (SecInfo->isZeroFill()) 8460b57cec5SDimitry Andric Addr = 0; 8470b57cec5SDimitry Andric else 8480b57cec5SDimitry Andric Addr = pointerToJITTargetAddress(SecInfo->getContent().data()); 8490b57cec5SDimitry Andric } else 8500b57cec5SDimitry Andric Addr = SecInfo->getTargetAddress(); 8510b57cec5SDimitry Andric 8520b57cec5SDimitry Andric return std::make_pair(Addr, ""); 8530b57cec5SDimitry Andric } 8540b57cec5SDimitry Andric 8550b57cec5SDimitry Andric std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getStubOrGOTAddrFor( 8560b57cec5SDimitry Andric StringRef StubContainerName, StringRef SymbolName, bool IsInsideLoad, 8570b57cec5SDimitry Andric bool IsStubAddr) const { 8580b57cec5SDimitry Andric 8590b57cec5SDimitry Andric auto StubInfo = IsStubAddr ? GetStubInfo(StubContainerName, SymbolName) 8600b57cec5SDimitry Andric : GetGOTInfo(StubContainerName, SymbolName); 8610b57cec5SDimitry Andric 8620b57cec5SDimitry Andric if (!StubInfo) { 8630b57cec5SDimitry Andric std::string ErrMsg; 8640b57cec5SDimitry Andric { 8650b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg); 8660b57cec5SDimitry Andric logAllUnhandledErrors(StubInfo.takeError(), ErrMsgStream, 8670b57cec5SDimitry Andric "RTDyldChecker: "); 8680b57cec5SDimitry Andric } 8690b57cec5SDimitry Andric return std::make_pair((uint64_t)0, std::move(ErrMsg)); 8700b57cec5SDimitry Andric } 8710b57cec5SDimitry Andric 8720b57cec5SDimitry Andric uint64_t Addr = 0; 8730b57cec5SDimitry Andric 8740b57cec5SDimitry Andric if (IsInsideLoad) { 8750b57cec5SDimitry Andric if (StubInfo->isZeroFill()) 8760b57cec5SDimitry Andric return std::make_pair((uint64_t)0, "Detected zero-filled stub/GOT entry"); 8770b57cec5SDimitry Andric Addr = pointerToJITTargetAddress(StubInfo->getContent().data()); 8780b57cec5SDimitry Andric } else 8790b57cec5SDimitry Andric Addr = StubInfo->getTargetAddress(); 8800b57cec5SDimitry Andric 8810b57cec5SDimitry Andric return std::make_pair(Addr, ""); 8820b57cec5SDimitry Andric } 8830b57cec5SDimitry Andric 8840b57cec5SDimitry Andric RuntimeDyldChecker::RuntimeDyldChecker( 8850b57cec5SDimitry Andric IsSymbolValidFunction IsSymbolValid, GetSymbolInfoFunction GetSymbolInfo, 8860b57cec5SDimitry Andric GetSectionInfoFunction GetSectionInfo, GetStubInfoFunction GetStubInfo, 8870b57cec5SDimitry Andric GetGOTInfoFunction GetGOTInfo, support::endianness Endianness, 8880b57cec5SDimitry Andric MCDisassembler *Disassembler, MCInstPrinter *InstPrinter, 8890b57cec5SDimitry Andric raw_ostream &ErrStream) 8908bcb0991SDimitry Andric : Impl(::std::make_unique<RuntimeDyldCheckerImpl>( 8910b57cec5SDimitry Andric std::move(IsSymbolValid), std::move(GetSymbolInfo), 8920b57cec5SDimitry Andric std::move(GetSectionInfo), std::move(GetStubInfo), 8930b57cec5SDimitry Andric std::move(GetGOTInfo), Endianness, Disassembler, InstPrinter, 8940b57cec5SDimitry Andric ErrStream)) {} 8950b57cec5SDimitry Andric 896*81ad6265SDimitry Andric RuntimeDyldChecker::~RuntimeDyldChecker() = default; 8970b57cec5SDimitry Andric 8980b57cec5SDimitry Andric bool RuntimeDyldChecker::check(StringRef CheckExpr) const { 8990b57cec5SDimitry Andric return Impl->check(CheckExpr); 9000b57cec5SDimitry Andric } 9010b57cec5SDimitry Andric 9020b57cec5SDimitry Andric bool RuntimeDyldChecker::checkAllRulesInBuffer(StringRef RulePrefix, 9030b57cec5SDimitry Andric MemoryBuffer *MemBuf) const { 9040b57cec5SDimitry Andric return Impl->checkAllRulesInBuffer(RulePrefix, MemBuf); 9050b57cec5SDimitry Andric } 9060b57cec5SDimitry Andric 9070b57cec5SDimitry Andric std::pair<uint64_t, std::string> 9080b57cec5SDimitry Andric RuntimeDyldChecker::getSectionAddr(StringRef FileName, StringRef SectionName, 9090b57cec5SDimitry Andric bool LocalAddress) { 9100b57cec5SDimitry Andric return Impl->getSectionAddr(FileName, SectionName, LocalAddress); 9110b57cec5SDimitry Andric } 912