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"
135f757f3fSDimitry Andric #include "llvm/MC/MCAsmInfo.h"
140b57cec5SDimitry Andric #include "llvm/MC/MCContext.h"
150b57cec5SDimitry Andric #include "llvm/MC/MCDisassembler/MCDisassembler.h"
160b57cec5SDimitry Andric #include "llvm/MC/MCInst.h"
175f757f3fSDimitry Andric #include "llvm/MC/MCInstPrinter.h"
185f757f3fSDimitry Andric #include "llvm/MC/MCInstrInfo.h"
195f757f3fSDimitry Andric #include "llvm/MC/MCRegisterInfo.h"
205f757f3fSDimitry Andric #include "llvm/MC/MCSubtargetInfo.h"
215f757f3fSDimitry Andric #include "llvm/MC/MCTargetOptions.h"
225f757f3fSDimitry Andric #include "llvm/MC/TargetRegistry.h"
230b57cec5SDimitry Andric #include "llvm/Support/Endian.h"
240b57cec5SDimitry Andric #include "llvm/Support/MSVCErrorWorkarounds.h"
2581ad6265SDimitry Andric #include "llvm/Support/MemoryBuffer.h"
260b57cec5SDimitry Andric #include "llvm/Support/Path.h"
270b57cec5SDimitry Andric #include <cctype>
280b57cec5SDimitry Andric #include <memory>
290b57cec5SDimitry Andric #include <utility>
300b57cec5SDimitry Andric
310b57cec5SDimitry Andric #define DEBUG_TYPE "rtdyld"
320b57cec5SDimitry Andric
330b57cec5SDimitry Andric using namespace llvm;
340b57cec5SDimitry Andric
355f757f3fSDimitry Andric namespace {
365f757f3fSDimitry Andric struct TargetInfo {
375f757f3fSDimitry Andric const Target *TheTarget;
385f757f3fSDimitry Andric std::unique_ptr<MCSubtargetInfo> STI;
395f757f3fSDimitry Andric std::unique_ptr<MCRegisterInfo> MRI;
405f757f3fSDimitry Andric std::unique_ptr<MCAsmInfo> MAI;
415f757f3fSDimitry Andric std::unique_ptr<MCContext> Ctx;
425f757f3fSDimitry Andric std::unique_ptr<MCDisassembler> Disassembler;
435f757f3fSDimitry Andric std::unique_ptr<MCInstrInfo> MII;
445f757f3fSDimitry Andric std::unique_ptr<MCInstPrinter> InstPrinter;
455f757f3fSDimitry Andric };
465f757f3fSDimitry Andric } // anonymous namespace
475f757f3fSDimitry Andric
480b57cec5SDimitry Andric namespace llvm {
490b57cec5SDimitry Andric
500b57cec5SDimitry Andric // Helper class that implements the language evaluated by RuntimeDyldChecker.
510b57cec5SDimitry Andric class RuntimeDyldCheckerExprEval {
520b57cec5SDimitry Andric public:
RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl & Checker,raw_ostream & ErrStream)530b57cec5SDimitry Andric RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker,
540b57cec5SDimitry Andric raw_ostream &ErrStream)
550b57cec5SDimitry Andric : Checker(Checker) {}
560b57cec5SDimitry Andric
evaluate(StringRef Expr) const570b57cec5SDimitry Andric bool evaluate(StringRef Expr) const {
580b57cec5SDimitry Andric // Expect equality expression of the form 'LHS = RHS'.
590b57cec5SDimitry Andric Expr = Expr.trim();
600b57cec5SDimitry Andric size_t EQIdx = Expr.find('=');
610b57cec5SDimitry Andric
620b57cec5SDimitry Andric ParseContext OutsideLoad(false);
630b57cec5SDimitry Andric
640b57cec5SDimitry Andric // Evaluate LHS.
650b57cec5SDimitry Andric StringRef LHSExpr = Expr.substr(0, EQIdx).rtrim();
660b57cec5SDimitry Andric StringRef RemainingExpr;
670b57cec5SDimitry Andric EvalResult LHSResult;
680b57cec5SDimitry Andric std::tie(LHSResult, RemainingExpr) =
690b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(LHSExpr, OutsideLoad), OutsideLoad);
700b57cec5SDimitry Andric if (LHSResult.hasError())
710b57cec5SDimitry Andric return handleError(Expr, LHSResult);
720b57cec5SDimitry Andric if (RemainingExpr != "")
730b57cec5SDimitry Andric return handleError(Expr, unexpectedToken(RemainingExpr, LHSExpr, ""));
740b57cec5SDimitry Andric
750b57cec5SDimitry Andric // Evaluate RHS.
760b57cec5SDimitry Andric StringRef RHSExpr = Expr.substr(EQIdx + 1).ltrim();
770b57cec5SDimitry Andric EvalResult RHSResult;
780b57cec5SDimitry Andric std::tie(RHSResult, RemainingExpr) =
790b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(RHSExpr, OutsideLoad), OutsideLoad);
800b57cec5SDimitry Andric if (RHSResult.hasError())
810b57cec5SDimitry Andric return handleError(Expr, RHSResult);
820b57cec5SDimitry Andric if (RemainingExpr != "")
830b57cec5SDimitry Andric return handleError(Expr, unexpectedToken(RemainingExpr, RHSExpr, ""));
840b57cec5SDimitry Andric
850b57cec5SDimitry Andric if (LHSResult.getValue() != RHSResult.getValue()) {
860b57cec5SDimitry Andric Checker.ErrStream << "Expression '" << Expr << "' is false: "
870b57cec5SDimitry Andric << format("0x%" PRIx64, LHSResult.getValue())
880b57cec5SDimitry Andric << " != " << format("0x%" PRIx64, RHSResult.getValue())
890b57cec5SDimitry Andric << "\n";
900b57cec5SDimitry Andric return false;
910b57cec5SDimitry Andric }
920b57cec5SDimitry Andric return true;
930b57cec5SDimitry Andric }
940b57cec5SDimitry Andric
950b57cec5SDimitry Andric private:
960b57cec5SDimitry Andric // RuntimeDyldCheckerExprEval requires some context when parsing exprs. In
970b57cec5SDimitry Andric // particular, it needs to know whether a symbol is being evaluated in the
980b57cec5SDimitry Andric // context of a load, in which case we want the linker's local address for
990b57cec5SDimitry Andric // the symbol, or outside of a load, in which case we want the symbol's
1000b57cec5SDimitry Andric // address in the remote target.
1010b57cec5SDimitry Andric
1020b57cec5SDimitry Andric struct ParseContext {
1030b57cec5SDimitry Andric bool IsInsideLoad;
ParseContextllvm::RuntimeDyldCheckerExprEval::ParseContext1040b57cec5SDimitry Andric ParseContext(bool IsInsideLoad) : IsInsideLoad(IsInsideLoad) {}
1050b57cec5SDimitry Andric };
1060b57cec5SDimitry Andric
1070b57cec5SDimitry Andric const RuntimeDyldCheckerImpl &Checker;
1080b57cec5SDimitry Andric
1090b57cec5SDimitry Andric enum class BinOpToken : unsigned {
1100b57cec5SDimitry Andric Invalid,
1110b57cec5SDimitry Andric Add,
1120b57cec5SDimitry Andric Sub,
1130b57cec5SDimitry Andric BitwiseAnd,
1140b57cec5SDimitry Andric BitwiseOr,
1150b57cec5SDimitry Andric ShiftLeft,
1160b57cec5SDimitry Andric ShiftRight
1170b57cec5SDimitry Andric };
1180b57cec5SDimitry Andric
1190b57cec5SDimitry Andric class EvalResult {
1200b57cec5SDimitry Andric public:
EvalResult()12104eeddc0SDimitry Andric EvalResult() : Value(0) {}
EvalResult(uint64_t Value)12204eeddc0SDimitry Andric EvalResult(uint64_t Value) : Value(Value) {}
EvalResult(std::string ErrorMsg)1230b57cec5SDimitry Andric EvalResult(std::string ErrorMsg)
1240b57cec5SDimitry Andric : Value(0), ErrorMsg(std::move(ErrorMsg)) {}
getValue() const1250b57cec5SDimitry Andric uint64_t getValue() const { return Value; }
hasError() const1260b57cec5SDimitry Andric bool hasError() const { return ErrorMsg != ""; }
getErrorMsg() const1270b57cec5SDimitry Andric const std::string &getErrorMsg() const { return ErrorMsg; }
1280b57cec5SDimitry Andric
1290b57cec5SDimitry Andric private:
1300b57cec5SDimitry Andric uint64_t Value;
1310b57cec5SDimitry Andric std::string ErrorMsg;
1320b57cec5SDimitry Andric };
1330b57cec5SDimitry Andric
getTokenForError(StringRef Expr) const1340b57cec5SDimitry Andric StringRef getTokenForError(StringRef Expr) const {
1350b57cec5SDimitry Andric if (Expr.empty())
1360b57cec5SDimitry Andric return "";
1370b57cec5SDimitry Andric
1380b57cec5SDimitry Andric StringRef Token, Remaining;
1390b57cec5SDimitry Andric if (isalpha(Expr[0]))
1400b57cec5SDimitry Andric std::tie(Token, Remaining) = parseSymbol(Expr);
1410b57cec5SDimitry Andric else if (isdigit(Expr[0]))
1420b57cec5SDimitry Andric std::tie(Token, Remaining) = parseNumberString(Expr);
1430b57cec5SDimitry Andric else {
1440b57cec5SDimitry Andric unsigned TokLen = 1;
1455f757f3fSDimitry Andric if (Expr.starts_with("<<") || Expr.starts_with(">>"))
1460b57cec5SDimitry Andric TokLen = 2;
1470b57cec5SDimitry Andric Token = Expr.substr(0, TokLen);
1480b57cec5SDimitry Andric }
1490b57cec5SDimitry Andric return Token;
1500b57cec5SDimitry Andric }
1510b57cec5SDimitry Andric
unexpectedToken(StringRef TokenStart,StringRef SubExpr,StringRef ErrText) const1520b57cec5SDimitry Andric EvalResult unexpectedToken(StringRef TokenStart, StringRef SubExpr,
1530b57cec5SDimitry Andric StringRef ErrText) const {
1540b57cec5SDimitry Andric std::string ErrorMsg("Encountered unexpected token '");
1550b57cec5SDimitry Andric ErrorMsg += getTokenForError(TokenStart);
1560b57cec5SDimitry Andric if (SubExpr != "") {
1570b57cec5SDimitry Andric ErrorMsg += "' while parsing subexpression '";
1580b57cec5SDimitry Andric ErrorMsg += SubExpr;
1590b57cec5SDimitry Andric }
1600b57cec5SDimitry Andric ErrorMsg += "'";
1610b57cec5SDimitry Andric if (ErrText != "") {
1620b57cec5SDimitry Andric ErrorMsg += " ";
1630b57cec5SDimitry Andric ErrorMsg += ErrText;
1640b57cec5SDimitry Andric }
1650b57cec5SDimitry Andric return EvalResult(std::move(ErrorMsg));
1660b57cec5SDimitry Andric }
1670b57cec5SDimitry Andric
handleError(StringRef Expr,const EvalResult & R) const1680b57cec5SDimitry Andric bool handleError(StringRef Expr, const EvalResult &R) const {
1690b57cec5SDimitry Andric assert(R.hasError() && "Not an error result.");
1700b57cec5SDimitry Andric Checker.ErrStream << "Error evaluating expression '" << Expr
1710b57cec5SDimitry Andric << "': " << R.getErrorMsg() << "\n";
1720b57cec5SDimitry Andric return false;
1730b57cec5SDimitry Andric }
1740b57cec5SDimitry Andric
parseBinOpToken(StringRef Expr) const1750b57cec5SDimitry Andric std::pair<BinOpToken, StringRef> parseBinOpToken(StringRef Expr) const {
1760b57cec5SDimitry Andric if (Expr.empty())
1770b57cec5SDimitry Andric return std::make_pair(BinOpToken::Invalid, "");
1780b57cec5SDimitry Andric
1790b57cec5SDimitry Andric // Handle the two 2-character tokens.
1805f757f3fSDimitry Andric if (Expr.starts_with("<<"))
1810b57cec5SDimitry Andric return std::make_pair(BinOpToken::ShiftLeft, Expr.substr(2).ltrim());
1825f757f3fSDimitry Andric if (Expr.starts_with(">>"))
1830b57cec5SDimitry Andric return std::make_pair(BinOpToken::ShiftRight, Expr.substr(2).ltrim());
1840b57cec5SDimitry Andric
1850b57cec5SDimitry Andric // Handle one-character tokens.
1860b57cec5SDimitry Andric BinOpToken Op;
1870b57cec5SDimitry Andric switch (Expr[0]) {
1880b57cec5SDimitry Andric default:
1890b57cec5SDimitry Andric return std::make_pair(BinOpToken::Invalid, Expr);
1900b57cec5SDimitry Andric case '+':
1910b57cec5SDimitry Andric Op = BinOpToken::Add;
1920b57cec5SDimitry Andric break;
1930b57cec5SDimitry Andric case '-':
1940b57cec5SDimitry Andric Op = BinOpToken::Sub;
1950b57cec5SDimitry Andric break;
1960b57cec5SDimitry Andric case '&':
1970b57cec5SDimitry Andric Op = BinOpToken::BitwiseAnd;
1980b57cec5SDimitry Andric break;
1990b57cec5SDimitry Andric case '|':
2000b57cec5SDimitry Andric Op = BinOpToken::BitwiseOr;
2010b57cec5SDimitry Andric break;
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric
2040b57cec5SDimitry Andric return std::make_pair(Op, Expr.substr(1).ltrim());
2050b57cec5SDimitry Andric }
2060b57cec5SDimitry Andric
computeBinOpResult(BinOpToken Op,const EvalResult & LHSResult,const EvalResult & RHSResult) const2070b57cec5SDimitry Andric EvalResult computeBinOpResult(BinOpToken Op, const EvalResult &LHSResult,
2080b57cec5SDimitry Andric const EvalResult &RHSResult) const {
2090b57cec5SDimitry Andric switch (Op) {
2100b57cec5SDimitry Andric default:
2110b57cec5SDimitry Andric llvm_unreachable("Tried to evaluate unrecognized operation.");
2120b57cec5SDimitry Andric case BinOpToken::Add:
2130b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() + RHSResult.getValue());
2140b57cec5SDimitry Andric case BinOpToken::Sub:
2150b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() - RHSResult.getValue());
2160b57cec5SDimitry Andric case BinOpToken::BitwiseAnd:
2170b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() & RHSResult.getValue());
2180b57cec5SDimitry Andric case BinOpToken::BitwiseOr:
2190b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() | RHSResult.getValue());
2200b57cec5SDimitry Andric case BinOpToken::ShiftLeft:
2210b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() << RHSResult.getValue());
2220b57cec5SDimitry Andric case BinOpToken::ShiftRight:
2230b57cec5SDimitry Andric return EvalResult(LHSResult.getValue() >> RHSResult.getValue());
2240b57cec5SDimitry Andric }
2250b57cec5SDimitry Andric }
2260b57cec5SDimitry Andric
2270b57cec5SDimitry Andric // Parse a symbol and return a (string, string) pair representing the symbol
2280b57cec5SDimitry Andric // name and expression remaining to be parsed.
parseSymbol(StringRef Expr) const2290b57cec5SDimitry Andric std::pair<StringRef, StringRef> parseSymbol(StringRef Expr) const {
2300b57cec5SDimitry Andric size_t FirstNonSymbol = Expr.find_first_not_of("0123456789"
2310b57cec5SDimitry Andric "abcdefghijklmnopqrstuvwxyz"
2320b57cec5SDimitry Andric "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
2330b57cec5SDimitry Andric ":_.$");
2340b57cec5SDimitry Andric return std::make_pair(Expr.substr(0, FirstNonSymbol),
2350b57cec5SDimitry Andric Expr.substr(FirstNonSymbol).ltrim());
2360b57cec5SDimitry Andric }
2370b57cec5SDimitry Andric
2380b57cec5SDimitry Andric // Evaluate a call to decode_operand. Decode the instruction operand at the
2390b57cec5SDimitry Andric // given symbol and get the value of the requested operand.
2400b57cec5SDimitry Andric // Returns an error if the instruction cannot be decoded, or the requested
2410b57cec5SDimitry Andric // operand is not an immediate.
2420b57cec5SDimitry Andric // On success, returns a pair containing the value of the operand, plus
2430b57cec5SDimitry Andric // the expression remaining to be evaluated.
evalDecodeOperand(StringRef Expr) const2440b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalDecodeOperand(StringRef Expr) const {
2455f757f3fSDimitry Andric if (!Expr.starts_with("("))
2460b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
2470b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim();
2480b57cec5SDimitry Andric StringRef Symbol;
2490b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
2500b57cec5SDimitry Andric
2510b57cec5SDimitry Andric if (!Checker.isSymbolValid(Symbol))
2520b57cec5SDimitry Andric return std::make_pair(
2530b57cec5SDimitry Andric EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()),
2540b57cec5SDimitry Andric "");
2550b57cec5SDimitry Andric
256349cc55cSDimitry Andric // if there is an offset number expr
257349cc55cSDimitry Andric int64_t Offset = 0;
258349cc55cSDimitry Andric BinOpToken BinOp;
259349cc55cSDimitry Andric std::tie(BinOp, RemainingExpr) = parseBinOpToken(RemainingExpr);
260349cc55cSDimitry Andric switch (BinOp) {
261349cc55cSDimitry Andric case BinOpToken::Add: {
262349cc55cSDimitry Andric EvalResult Number;
263349cc55cSDimitry Andric std::tie(Number, RemainingExpr) = evalNumberExpr(RemainingExpr);
264349cc55cSDimitry Andric Offset = Number.getValue();
265349cc55cSDimitry Andric break;
266349cc55cSDimitry Andric }
267349cc55cSDimitry Andric case BinOpToken::Invalid:
268349cc55cSDimitry Andric break;
269349cc55cSDimitry Andric default:
270349cc55cSDimitry Andric return std::make_pair(
271349cc55cSDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr,
272349cc55cSDimitry Andric "expected '+' for offset or ',' if no offset"),
273349cc55cSDimitry Andric "");
274349cc55cSDimitry Andric }
275349cc55cSDimitry Andric
2765f757f3fSDimitry Andric if (!RemainingExpr.starts_with(","))
2770b57cec5SDimitry Andric return std::make_pair(
2780b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ','"), "");
2790b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
2800b57cec5SDimitry Andric
2810b57cec5SDimitry Andric EvalResult OpIdxExpr;
2820b57cec5SDimitry Andric std::tie(OpIdxExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
2830b57cec5SDimitry Andric if (OpIdxExpr.hasError())
2840b57cec5SDimitry Andric return std::make_pair(OpIdxExpr, "");
2850b57cec5SDimitry Andric
2865f757f3fSDimitry Andric if (!RemainingExpr.starts_with(")"))
2870b57cec5SDimitry Andric return std::make_pair(
2880b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), "");
2890b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
2900b57cec5SDimitry Andric
2910b57cec5SDimitry Andric MCInst Inst;
2920b57cec5SDimitry Andric uint64_t Size;
293349cc55cSDimitry Andric if (!decodeInst(Symbol, Inst, Size, Offset))
2940b57cec5SDimitry Andric return std::make_pair(
2950b57cec5SDimitry Andric EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()),
2960b57cec5SDimitry Andric "");
2970b57cec5SDimitry Andric
2980b57cec5SDimitry Andric unsigned OpIdx = OpIdxExpr.getValue();
2995f757f3fSDimitry Andric
3005f757f3fSDimitry Andric auto printInst = [this](StringRef Symbol, MCInst Inst,
3015f757f3fSDimitry Andric raw_string_ostream &ErrMsgStream) {
3025f757f3fSDimitry Andric auto TT = Checker.getTripleForSymbol(Checker.getTargetFlag(Symbol));
3035f757f3fSDimitry Andric auto TI = getTargetInfo(TT, Checker.getCPU(), Checker.getFeatures());
3045f757f3fSDimitry Andric if (auto E = TI.takeError()) {
3055f757f3fSDimitry Andric errs() << "Error obtaining instruction printer: "
3065f757f3fSDimitry Andric << toString(std::move(E)) << "\n";
3075f757f3fSDimitry Andric return std::make_pair(EvalResult(ErrMsgStream.str()), "");
3085f757f3fSDimitry Andric }
3095f757f3fSDimitry Andric Inst.dump_pretty(ErrMsgStream, TI->InstPrinter.get());
3105f757f3fSDimitry Andric return std::make_pair(EvalResult(ErrMsgStream.str()), "");
3115f757f3fSDimitry Andric };
3125f757f3fSDimitry Andric
3130b57cec5SDimitry Andric if (OpIdx >= Inst.getNumOperands()) {
3140b57cec5SDimitry Andric std::string ErrMsg;
3150b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg);
3160b57cec5SDimitry Andric ErrMsgStream << "Invalid operand index '" << format("%i", OpIdx)
3170b57cec5SDimitry Andric << "' for instruction '" << Symbol
3180b57cec5SDimitry Andric << "'. Instruction has only "
3190b57cec5SDimitry Andric << format("%i", Inst.getNumOperands())
3200b57cec5SDimitry Andric << " operands.\nInstruction is:\n ";
3215f757f3fSDimitry Andric
3225f757f3fSDimitry Andric return printInst(Symbol, Inst, ErrMsgStream);
3230b57cec5SDimitry Andric }
3240b57cec5SDimitry Andric
3250b57cec5SDimitry Andric const MCOperand &Op = Inst.getOperand(OpIdx);
3260b57cec5SDimitry Andric if (!Op.isImm()) {
3270b57cec5SDimitry Andric std::string ErrMsg;
3280b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg);
3290b57cec5SDimitry Andric ErrMsgStream << "Operand '" << format("%i", OpIdx) << "' of instruction '"
3300b57cec5SDimitry Andric << Symbol << "' is not an immediate.\nInstruction is:\n ";
3310b57cec5SDimitry Andric
3325f757f3fSDimitry Andric return printInst(Symbol, Inst, ErrMsgStream);
3330b57cec5SDimitry Andric }
3340b57cec5SDimitry Andric
3350b57cec5SDimitry Andric return std::make_pair(EvalResult(Op.getImm()), RemainingExpr);
3360b57cec5SDimitry Andric }
3370b57cec5SDimitry Andric
3380b57cec5SDimitry Andric // Evaluate a call to next_pc.
3390b57cec5SDimitry Andric // Decode the instruction at the given symbol and return the following program
3400b57cec5SDimitry Andric // counter.
3410b57cec5SDimitry Andric // Returns an error if the instruction cannot be decoded.
3420b57cec5SDimitry Andric // On success, returns a pair containing the next PC, plus of the
3430b57cec5SDimitry Andric // expression remaining to be evaluated.
evalNextPC(StringRef Expr,ParseContext PCtx) const3440b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalNextPC(StringRef Expr,
3450b57cec5SDimitry Andric ParseContext PCtx) const {
3465f757f3fSDimitry Andric if (!Expr.starts_with("("))
3470b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
3480b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim();
3490b57cec5SDimitry Andric StringRef Symbol;
3500b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
3510b57cec5SDimitry Andric
3520b57cec5SDimitry Andric if (!Checker.isSymbolValid(Symbol))
3530b57cec5SDimitry Andric return std::make_pair(
3540b57cec5SDimitry Andric EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()),
3550b57cec5SDimitry Andric "");
3560b57cec5SDimitry Andric
3575f757f3fSDimitry Andric if (!RemainingExpr.starts_with(")"))
3580b57cec5SDimitry Andric return std::make_pair(
3590b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), "");
3600b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
3610b57cec5SDimitry Andric
3620b57cec5SDimitry Andric MCInst Inst;
3630b57cec5SDimitry Andric uint64_t InstSize;
364349cc55cSDimitry Andric if (!decodeInst(Symbol, Inst, InstSize, 0))
3650b57cec5SDimitry Andric return std::make_pair(
3660b57cec5SDimitry Andric EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()),
3670b57cec5SDimitry Andric "");
3680b57cec5SDimitry Andric
3690b57cec5SDimitry Andric uint64_t SymbolAddr = PCtx.IsInsideLoad
3700b57cec5SDimitry Andric ? Checker.getSymbolLocalAddr(Symbol)
3710b57cec5SDimitry Andric : Checker.getSymbolRemoteAddr(Symbol);
372*0fca6ea1SDimitry Andric
373*0fca6ea1SDimitry Andric // ARM PC offset is 8 instead of 4, because it accounts for an additional
374*0fca6ea1SDimitry Andric // prefetch instruction that increments PC even though it is implicit.
375*0fca6ea1SDimitry Andric auto TT = Checker.getTripleForSymbol(Checker.getTargetFlag(Symbol));
376*0fca6ea1SDimitry Andric uint64_t PCOffset = TT.getArch() == Triple::ArchType::arm ? 4 : 0;
377*0fca6ea1SDimitry Andric
378*0fca6ea1SDimitry Andric uint64_t NextPC = SymbolAddr + InstSize + PCOffset;
3790b57cec5SDimitry Andric
3800b57cec5SDimitry Andric return std::make_pair(EvalResult(NextPC), RemainingExpr);
3810b57cec5SDimitry Andric }
3820b57cec5SDimitry Andric
3830b57cec5SDimitry Andric // Evaluate a call to stub_addr/got_addr.
3840b57cec5SDimitry Andric // Look up and return the address of the stub for the given
3850b57cec5SDimitry Andric // (<file name>, <section name>, <symbol name>) tuple.
3860b57cec5SDimitry Andric // On success, returns a pair containing the stub address, plus the expression
3870b57cec5SDimitry Andric // remaining to be evaluated.
3880b57cec5SDimitry Andric std::pair<EvalResult, StringRef>
evalStubOrGOTAddr(StringRef Expr,ParseContext PCtx,bool IsStubAddr) const3890b57cec5SDimitry Andric evalStubOrGOTAddr(StringRef Expr, ParseContext PCtx, bool IsStubAddr) const {
3905f757f3fSDimitry Andric if (!Expr.starts_with("("))
3910b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
3920b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim();
3930b57cec5SDimitry Andric
3940b57cec5SDimitry Andric // Handle file-name specially, as it may contain characters that aren't
3950b57cec5SDimitry Andric // legal for symbols.
3960b57cec5SDimitry Andric StringRef StubContainerName;
3970b57cec5SDimitry Andric size_t ComaIdx = RemainingExpr.find(',');
3980b57cec5SDimitry Andric StubContainerName = RemainingExpr.substr(0, ComaIdx).rtrim();
3990b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim();
4000b57cec5SDimitry Andric
4015f757f3fSDimitry Andric if (!RemainingExpr.starts_with(","))
4020b57cec5SDimitry Andric return std::make_pair(
4030b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
4040b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
4050b57cec5SDimitry Andric
4060b57cec5SDimitry Andric StringRef Symbol;
4070b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
4080b57cec5SDimitry Andric
4097a6dacacSDimitry Andric // Parse optional parameter to filter by stub kind
4107a6dacacSDimitry Andric StringRef KindNameFilter;
4117a6dacacSDimitry Andric if (RemainingExpr.starts_with(",")) {
4127a6dacacSDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
4137a6dacacSDimitry Andric size_t ClosingBracket = RemainingExpr.find(")");
4147a6dacacSDimitry Andric KindNameFilter = RemainingExpr.substr(0, ClosingBracket);
4157a6dacacSDimitry Andric RemainingExpr = RemainingExpr.substr(ClosingBracket);
4167a6dacacSDimitry Andric }
4177a6dacacSDimitry Andric
4185f757f3fSDimitry Andric if (!RemainingExpr.starts_with(")"))
4190b57cec5SDimitry Andric return std::make_pair(
4200b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
4210b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
4220b57cec5SDimitry Andric
4230b57cec5SDimitry Andric uint64_t StubAddr;
424e8d8bef9SDimitry Andric std::string ErrorMsg;
4257a6dacacSDimitry Andric std::tie(StubAddr, ErrorMsg) =
4267a6dacacSDimitry Andric Checker.getStubOrGOTAddrFor(StubContainerName, Symbol, KindNameFilter,
4277a6dacacSDimitry Andric PCtx.IsInsideLoad, IsStubAddr);
4280b57cec5SDimitry Andric
4290b57cec5SDimitry Andric if (ErrorMsg != "")
4300b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrorMsg), "");
4310b57cec5SDimitry Andric
4320b57cec5SDimitry Andric return std::make_pair(EvalResult(StubAddr), RemainingExpr);
4330b57cec5SDimitry Andric }
4340b57cec5SDimitry Andric
evalSectionAddr(StringRef Expr,ParseContext PCtx) const4350b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalSectionAddr(StringRef Expr,
4360b57cec5SDimitry Andric ParseContext PCtx) const {
4375f757f3fSDimitry Andric if (!Expr.starts_with("("))
4380b57cec5SDimitry Andric return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
4390b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim();
4400b57cec5SDimitry Andric
4410b57cec5SDimitry Andric // Handle file-name specially, as it may contain characters that aren't
4420b57cec5SDimitry Andric // legal for symbols.
4430b57cec5SDimitry Andric StringRef FileName;
4440b57cec5SDimitry Andric size_t ComaIdx = RemainingExpr.find(',');
4450b57cec5SDimitry Andric FileName = RemainingExpr.substr(0, ComaIdx).rtrim();
4460b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim();
4470b57cec5SDimitry Andric
4485f757f3fSDimitry Andric if (!RemainingExpr.starts_with(","))
4490b57cec5SDimitry Andric return std::make_pair(
4500b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
4510b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
4520b57cec5SDimitry Andric
4530b57cec5SDimitry Andric StringRef SectionName;
454fe6060f1SDimitry Andric size_t CloseParensIdx = RemainingExpr.find(')');
455fe6060f1SDimitry Andric SectionName = RemainingExpr.substr(0, CloseParensIdx).rtrim();
456fe6060f1SDimitry Andric RemainingExpr = RemainingExpr.substr(CloseParensIdx).ltrim();
4570b57cec5SDimitry Andric
4585f757f3fSDimitry Andric if (!RemainingExpr.starts_with(")"))
4590b57cec5SDimitry Andric return std::make_pair(
4600b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
4610b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
4620b57cec5SDimitry Andric
4630b57cec5SDimitry Andric uint64_t StubAddr;
464e8d8bef9SDimitry Andric std::string ErrorMsg;
4650b57cec5SDimitry Andric std::tie(StubAddr, ErrorMsg) = Checker.getSectionAddr(
4660b57cec5SDimitry Andric FileName, SectionName, PCtx.IsInsideLoad);
4670b57cec5SDimitry Andric
4680b57cec5SDimitry Andric if (ErrorMsg != "")
4690b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrorMsg), "");
4700b57cec5SDimitry Andric
4710b57cec5SDimitry Andric return std::make_pair(EvalResult(StubAddr), RemainingExpr);
4720b57cec5SDimitry Andric }
4730b57cec5SDimitry Andric
4745f757f3fSDimitry Andric // Evaluate an identifier expr, which may be a symbol, or a call to
4750b57cec5SDimitry Andric // one of the builtin functions: get_insn_opcode or get_insn_length.
4760b57cec5SDimitry Andric // Return the result, plus the expression remaining to be parsed.
evalIdentifierExpr(StringRef Expr,ParseContext PCtx) const4770b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalIdentifierExpr(StringRef Expr,
4780b57cec5SDimitry Andric ParseContext PCtx) const {
4790b57cec5SDimitry Andric StringRef Symbol;
4800b57cec5SDimitry Andric StringRef RemainingExpr;
4810b57cec5SDimitry Andric std::tie(Symbol, RemainingExpr) = parseSymbol(Expr);
4820b57cec5SDimitry Andric
4830b57cec5SDimitry Andric // Check for builtin function calls.
4840b57cec5SDimitry Andric if (Symbol == "decode_operand")
4850b57cec5SDimitry Andric return evalDecodeOperand(RemainingExpr);
4860b57cec5SDimitry Andric else if (Symbol == "next_pc")
4870b57cec5SDimitry Andric return evalNextPC(RemainingExpr, PCtx);
4880b57cec5SDimitry Andric else if (Symbol == "stub_addr")
4890b57cec5SDimitry Andric return evalStubOrGOTAddr(RemainingExpr, PCtx, true);
4900b57cec5SDimitry Andric else if (Symbol == "got_addr")
4910b57cec5SDimitry Andric return evalStubOrGOTAddr(RemainingExpr, PCtx, false);
4920b57cec5SDimitry Andric else if (Symbol == "section_addr")
4930b57cec5SDimitry Andric return evalSectionAddr(RemainingExpr, PCtx);
4940b57cec5SDimitry Andric
4950b57cec5SDimitry Andric if (!Checker.isSymbolValid(Symbol)) {
4960b57cec5SDimitry Andric std::string ErrMsg("No known address for symbol '");
4970b57cec5SDimitry Andric ErrMsg += Symbol;
4980b57cec5SDimitry Andric ErrMsg += "'";
4995f757f3fSDimitry Andric if (Symbol.starts_with("L"))
5000b57cec5SDimitry Andric ErrMsg += " (this appears to be an assembler local label - "
5010b57cec5SDimitry Andric " perhaps drop the 'L'?)";
5020b57cec5SDimitry Andric
5030b57cec5SDimitry Andric return std::make_pair(EvalResult(ErrMsg), "");
5040b57cec5SDimitry Andric }
5050b57cec5SDimitry Andric
5060b57cec5SDimitry Andric // The value for the symbol depends on the context we're evaluating in:
5070b57cec5SDimitry Andric // Inside a load this is the address in the linker's memory, outside a
5080b57cec5SDimitry Andric // load it's the address in the target processes memory.
5090b57cec5SDimitry Andric uint64_t Value = PCtx.IsInsideLoad ? Checker.getSymbolLocalAddr(Symbol)
5100b57cec5SDimitry Andric : Checker.getSymbolRemoteAddr(Symbol);
5110b57cec5SDimitry Andric
5120b57cec5SDimitry Andric // Looks like a plain symbol reference.
5130b57cec5SDimitry Andric return std::make_pair(EvalResult(Value), RemainingExpr);
5140b57cec5SDimitry Andric }
5150b57cec5SDimitry Andric
5160b57cec5SDimitry Andric // Parse a number (hexadecimal or decimal) and return a (string, string)
5170b57cec5SDimitry Andric // pair representing the number and the expression remaining to be parsed.
parseNumberString(StringRef Expr) const5180b57cec5SDimitry Andric std::pair<StringRef, StringRef> parseNumberString(StringRef Expr) const {
5190b57cec5SDimitry Andric size_t FirstNonDigit = StringRef::npos;
5205f757f3fSDimitry Andric if (Expr.starts_with("0x")) {
5210b57cec5SDimitry Andric FirstNonDigit = Expr.find_first_not_of("0123456789abcdefABCDEF", 2);
5220b57cec5SDimitry Andric if (FirstNonDigit == StringRef::npos)
5230b57cec5SDimitry Andric FirstNonDigit = Expr.size();
5240b57cec5SDimitry Andric } else {
5250b57cec5SDimitry Andric FirstNonDigit = Expr.find_first_not_of("0123456789");
5260b57cec5SDimitry Andric if (FirstNonDigit == StringRef::npos)
5270b57cec5SDimitry Andric FirstNonDigit = Expr.size();
5280b57cec5SDimitry Andric }
5290b57cec5SDimitry Andric return std::make_pair(Expr.substr(0, FirstNonDigit),
5300b57cec5SDimitry Andric Expr.substr(FirstNonDigit));
5310b57cec5SDimitry Andric }
5320b57cec5SDimitry Andric
5330b57cec5SDimitry Andric // Evaluate a constant numeric expression (hexadecimal or decimal) and
5340b57cec5SDimitry Andric // return a pair containing the result, and the expression remaining to be
5350b57cec5SDimitry Andric // evaluated.
evalNumberExpr(StringRef Expr) const5360b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalNumberExpr(StringRef Expr) const {
5370b57cec5SDimitry Andric StringRef ValueStr;
5380b57cec5SDimitry Andric StringRef RemainingExpr;
5390b57cec5SDimitry Andric std::tie(ValueStr, RemainingExpr) = parseNumberString(Expr);
5400b57cec5SDimitry Andric
5410b57cec5SDimitry Andric if (ValueStr.empty() || !isdigit(ValueStr[0]))
5420b57cec5SDimitry Andric return std::make_pair(
5430b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected number"), "");
5440b57cec5SDimitry Andric uint64_t Value;
5450b57cec5SDimitry Andric ValueStr.getAsInteger(0, Value);
5460b57cec5SDimitry Andric return std::make_pair(EvalResult(Value), RemainingExpr);
5470b57cec5SDimitry Andric }
5480b57cec5SDimitry Andric
5490b57cec5SDimitry Andric // Evaluate an expression of the form "(<expr>)" and return a pair
5500b57cec5SDimitry Andric // containing the result of evaluating <expr>, plus the expression
5510b57cec5SDimitry Andric // remaining to be parsed.
evalParensExpr(StringRef Expr,ParseContext PCtx) const5520b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalParensExpr(StringRef Expr,
5530b57cec5SDimitry Andric ParseContext PCtx) const {
5545f757f3fSDimitry Andric assert(Expr.starts_with("(") && "Not a parenthesized expression");
5550b57cec5SDimitry Andric EvalResult SubExprResult;
5560b57cec5SDimitry Andric StringRef RemainingExpr;
5570b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) =
5580b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(Expr.substr(1).ltrim(), PCtx), PCtx);
5590b57cec5SDimitry Andric if (SubExprResult.hasError())
5600b57cec5SDimitry Andric return std::make_pair(SubExprResult, "");
5615f757f3fSDimitry Andric if (!RemainingExpr.starts_with(")"))
5620b57cec5SDimitry Andric return std::make_pair(
5630b57cec5SDimitry Andric unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
5640b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
5650b57cec5SDimitry Andric return std::make_pair(SubExprResult, RemainingExpr);
5660b57cec5SDimitry Andric }
5670b57cec5SDimitry Andric
5680b57cec5SDimitry Andric // Evaluate an expression in one of the following forms:
5690b57cec5SDimitry Andric // *{<number>}<expr>
5700b57cec5SDimitry Andric // Return a pair containing the result, plus the expression remaining to be
5710b57cec5SDimitry Andric // parsed.
evalLoadExpr(StringRef Expr) const5720b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalLoadExpr(StringRef Expr) const {
5735f757f3fSDimitry Andric assert(Expr.starts_with("*") && "Not a load expression");
5740b57cec5SDimitry Andric StringRef RemainingExpr = Expr.substr(1).ltrim();
5750b57cec5SDimitry Andric
5760b57cec5SDimitry Andric // Parse read size.
5775f757f3fSDimitry Andric if (!RemainingExpr.starts_with("{"))
5780b57cec5SDimitry Andric return std::make_pair(EvalResult("Expected '{' following '*'."), "");
5790b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
5800b57cec5SDimitry Andric EvalResult ReadSizeExpr;
5810b57cec5SDimitry Andric std::tie(ReadSizeExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
5820b57cec5SDimitry Andric if (ReadSizeExpr.hasError())
5830b57cec5SDimitry Andric return std::make_pair(ReadSizeExpr, RemainingExpr);
5840b57cec5SDimitry Andric uint64_t ReadSize = ReadSizeExpr.getValue();
5850b57cec5SDimitry Andric if (ReadSize < 1 || ReadSize > 8)
5860b57cec5SDimitry Andric return std::make_pair(EvalResult("Invalid size for dereference."), "");
5875f757f3fSDimitry Andric if (!RemainingExpr.starts_with("}"))
5880b57cec5SDimitry Andric return std::make_pair(EvalResult("Missing '}' for dereference."), "");
5890b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
5900b57cec5SDimitry Andric
5910b57cec5SDimitry Andric // Evaluate the expression representing the load address.
5920b57cec5SDimitry Andric ParseContext LoadCtx(true);
5930b57cec5SDimitry Andric EvalResult LoadAddrExprResult;
5940b57cec5SDimitry Andric std::tie(LoadAddrExprResult, RemainingExpr) =
5950b57cec5SDimitry Andric evalComplexExpr(evalSimpleExpr(RemainingExpr, LoadCtx), LoadCtx);
5960b57cec5SDimitry Andric
5970b57cec5SDimitry Andric if (LoadAddrExprResult.hasError())
5980b57cec5SDimitry Andric return std::make_pair(LoadAddrExprResult, "");
5990b57cec5SDimitry Andric
6000b57cec5SDimitry Andric uint64_t LoadAddr = LoadAddrExprResult.getValue();
6010b57cec5SDimitry Andric
6020b57cec5SDimitry Andric // If there is no error but the content pointer is null then this is a
6030b57cec5SDimitry Andric // zero-fill symbol/section.
6040b57cec5SDimitry Andric if (LoadAddr == 0)
6050b57cec5SDimitry Andric return std::make_pair(0, RemainingExpr);
6060b57cec5SDimitry Andric
6070b57cec5SDimitry Andric return std::make_pair(
6080b57cec5SDimitry Andric EvalResult(Checker.readMemoryAtAddr(LoadAddr, ReadSize)),
6090b57cec5SDimitry Andric RemainingExpr);
6100b57cec5SDimitry Andric }
6110b57cec5SDimitry Andric
6120b57cec5SDimitry Andric // Evaluate a "simple" expression. This is any expression that _isn't_ an
6130b57cec5SDimitry Andric // un-parenthesized binary expression.
6140b57cec5SDimitry Andric //
6150b57cec5SDimitry Andric // "Simple" expressions can be optionally bit-sliced. See evalSlicedExpr.
6160b57cec5SDimitry Andric //
6170b57cec5SDimitry Andric // Returns a pair containing the result of the evaluation, plus the
6180b57cec5SDimitry Andric // expression remaining to be parsed.
evalSimpleExpr(StringRef Expr,ParseContext PCtx) const6190b57cec5SDimitry Andric std::pair<EvalResult, StringRef> evalSimpleExpr(StringRef Expr,
6200b57cec5SDimitry Andric ParseContext PCtx) const {
6210b57cec5SDimitry Andric EvalResult SubExprResult;
6220b57cec5SDimitry Andric StringRef RemainingExpr;
6230b57cec5SDimitry Andric
6240b57cec5SDimitry Andric if (Expr.empty())
6250b57cec5SDimitry Andric return std::make_pair(EvalResult("Unexpected end of expression"), "");
6260b57cec5SDimitry Andric
6270b57cec5SDimitry Andric if (Expr[0] == '(')
6280b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalParensExpr(Expr, PCtx);
6290b57cec5SDimitry Andric else if (Expr[0] == '*')
6300b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalLoadExpr(Expr);
6310b57cec5SDimitry Andric else if (isalpha(Expr[0]) || Expr[0] == '_')
6320b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalIdentifierExpr(Expr, PCtx);
6330b57cec5SDimitry Andric else if (isdigit(Expr[0]))
6340b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = evalNumberExpr(Expr);
6350b57cec5SDimitry Andric else
6360b57cec5SDimitry Andric return std::make_pair(
6370b57cec5SDimitry Andric unexpectedToken(Expr, Expr,
6380b57cec5SDimitry Andric "expected '(', '*', identifier, or number"), "");
6390b57cec5SDimitry Andric
6400b57cec5SDimitry Andric if (SubExprResult.hasError())
6410b57cec5SDimitry Andric return std::make_pair(SubExprResult, RemainingExpr);
6420b57cec5SDimitry Andric
6430b57cec5SDimitry Andric // Evaluate bit-slice if present.
6445f757f3fSDimitry Andric if (RemainingExpr.starts_with("["))
6450b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) =
6460b57cec5SDimitry Andric evalSliceExpr(std::make_pair(SubExprResult, RemainingExpr));
6470b57cec5SDimitry Andric
6480b57cec5SDimitry Andric return std::make_pair(SubExprResult, RemainingExpr);
6490b57cec5SDimitry Andric }
6500b57cec5SDimitry Andric
6510b57cec5SDimitry Andric // Evaluate a bit-slice of an expression.
6520b57cec5SDimitry Andric // A bit-slice has the form "<expr>[high:low]". The result of evaluating a
6530b57cec5SDimitry Andric // slice is the bits between high and low (inclusive) in the original
6540b57cec5SDimitry Andric // expression, right shifted so that the "low" bit is in position 0 in the
6550b57cec5SDimitry Andric // result.
6560b57cec5SDimitry Andric // Returns a pair containing the result of the slice operation, plus the
6570b57cec5SDimitry Andric // expression remaining to be parsed.
6580b57cec5SDimitry Andric std::pair<EvalResult, StringRef>
evalSliceExpr(const std::pair<EvalResult,StringRef> & Ctx) const6590b57cec5SDimitry Andric evalSliceExpr(const std::pair<EvalResult, StringRef> &Ctx) const {
6600b57cec5SDimitry Andric EvalResult SubExprResult;
6610b57cec5SDimitry Andric StringRef RemainingExpr;
6620b57cec5SDimitry Andric std::tie(SubExprResult, RemainingExpr) = Ctx;
6630b57cec5SDimitry Andric
6645f757f3fSDimitry Andric assert(RemainingExpr.starts_with("[") && "Not a slice expr.");
6650b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
6660b57cec5SDimitry Andric
6670b57cec5SDimitry Andric EvalResult HighBitExpr;
6680b57cec5SDimitry Andric std::tie(HighBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
6690b57cec5SDimitry Andric
6700b57cec5SDimitry Andric if (HighBitExpr.hasError())
6710b57cec5SDimitry Andric return std::make_pair(HighBitExpr, RemainingExpr);
6720b57cec5SDimitry Andric
6735f757f3fSDimitry Andric if (!RemainingExpr.starts_with(":"))
6740b57cec5SDimitry Andric return std::make_pair(
6750b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ':'"), "");
6760b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
6770b57cec5SDimitry Andric
6780b57cec5SDimitry Andric EvalResult LowBitExpr;
6790b57cec5SDimitry Andric std::tie(LowBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
6800b57cec5SDimitry Andric
6810b57cec5SDimitry Andric if (LowBitExpr.hasError())
6820b57cec5SDimitry Andric return std::make_pair(LowBitExpr, RemainingExpr);
6830b57cec5SDimitry Andric
6845f757f3fSDimitry Andric if (!RemainingExpr.starts_with("]"))
6850b57cec5SDimitry Andric return std::make_pair(
6860b57cec5SDimitry Andric unexpectedToken(RemainingExpr, RemainingExpr, "expected ']'"), "");
6870b57cec5SDimitry Andric RemainingExpr = RemainingExpr.substr(1).ltrim();
6880b57cec5SDimitry Andric
6890b57cec5SDimitry Andric unsigned HighBit = HighBitExpr.getValue();
6900b57cec5SDimitry Andric unsigned LowBit = LowBitExpr.getValue();
6910b57cec5SDimitry Andric uint64_t Mask = ((uint64_t)1 << (HighBit - LowBit + 1)) - 1;
6920b57cec5SDimitry Andric uint64_t SlicedValue = (SubExprResult.getValue() >> LowBit) & Mask;
6930b57cec5SDimitry Andric return std::make_pair(EvalResult(SlicedValue), RemainingExpr);
6940b57cec5SDimitry Andric }
6950b57cec5SDimitry Andric
6960b57cec5SDimitry Andric // Evaluate a "complex" expression.
6970b57cec5SDimitry Andric // Takes an already evaluated subexpression and checks for the presence of a
6980b57cec5SDimitry Andric // binary operator, computing the result of the binary operation if one is
6990b57cec5SDimitry Andric // found. Used to make arithmetic expressions left-associative.
7000b57cec5SDimitry Andric // Returns a pair containing the ultimate result of evaluating the
7010b57cec5SDimitry Andric // expression, plus the expression remaining to be evaluated.
7020b57cec5SDimitry Andric std::pair<EvalResult, StringRef>
evalComplexExpr(const std::pair<EvalResult,StringRef> & LHSAndRemaining,ParseContext PCtx) const7030b57cec5SDimitry Andric evalComplexExpr(const std::pair<EvalResult, StringRef> &LHSAndRemaining,
7040b57cec5SDimitry Andric ParseContext PCtx) const {
7050b57cec5SDimitry Andric EvalResult LHSResult;
7060b57cec5SDimitry Andric StringRef RemainingExpr;
7070b57cec5SDimitry Andric std::tie(LHSResult, RemainingExpr) = LHSAndRemaining;
7080b57cec5SDimitry Andric
7090b57cec5SDimitry Andric // If there was an error, or there's nothing left to evaluate, return the
7100b57cec5SDimitry Andric // result.
7110b57cec5SDimitry Andric if (LHSResult.hasError() || RemainingExpr == "")
7120b57cec5SDimitry Andric return std::make_pair(LHSResult, RemainingExpr);
7130b57cec5SDimitry Andric
7145f757f3fSDimitry Andric // Otherwise check if this is a binary expression.
7150b57cec5SDimitry Andric BinOpToken BinOp;
7160b57cec5SDimitry Andric std::tie(BinOp, RemainingExpr) = parseBinOpToken(RemainingExpr);
7170b57cec5SDimitry Andric
7180b57cec5SDimitry Andric // If this isn't a recognized expression just return.
7190b57cec5SDimitry Andric if (BinOp == BinOpToken::Invalid)
7200b57cec5SDimitry Andric return std::make_pair(LHSResult, RemainingExpr);
7210b57cec5SDimitry Andric
7220b57cec5SDimitry Andric // This is a recognized bin-op. Evaluate the RHS, then evaluate the binop.
7230b57cec5SDimitry Andric EvalResult RHSResult;
7240b57cec5SDimitry Andric std::tie(RHSResult, RemainingExpr) = evalSimpleExpr(RemainingExpr, PCtx);
7250b57cec5SDimitry Andric
7260b57cec5SDimitry Andric // If there was an error evaluating the RHS, return it.
7270b57cec5SDimitry Andric if (RHSResult.hasError())
7280b57cec5SDimitry Andric return std::make_pair(RHSResult, RemainingExpr);
7290b57cec5SDimitry Andric
7300b57cec5SDimitry Andric // This is a binary expression - evaluate and try to continue as a
7310b57cec5SDimitry Andric // complex expr.
7320b57cec5SDimitry Andric EvalResult ThisResult(computeBinOpResult(BinOp, LHSResult, RHSResult));
7330b57cec5SDimitry Andric
7340b57cec5SDimitry Andric return evalComplexExpr(std::make_pair(ThisResult, RemainingExpr), PCtx);
7350b57cec5SDimitry Andric }
7360b57cec5SDimitry Andric
decodeInst(StringRef Symbol,MCInst & Inst,uint64_t & Size,int64_t Offset) const737349cc55cSDimitry Andric bool decodeInst(StringRef Symbol, MCInst &Inst, uint64_t &Size,
738349cc55cSDimitry Andric int64_t Offset) const {
7395f757f3fSDimitry Andric auto TT = Checker.getTripleForSymbol(Checker.getTargetFlag(Symbol));
7405f757f3fSDimitry Andric auto TI = getTargetInfo(TT, Checker.getCPU(), Checker.getFeatures());
7415f757f3fSDimitry Andric
7425f757f3fSDimitry Andric if (auto E = TI.takeError()) {
7435f757f3fSDimitry Andric errs() << "Error obtaining disassembler: " << toString(std::move(E))
7445f757f3fSDimitry Andric << "\n";
7455f757f3fSDimitry Andric return false;
7465f757f3fSDimitry Andric }
7475f757f3fSDimitry Andric
7480b57cec5SDimitry Andric StringRef SymbolMem = Checker.getSymbolContent(Symbol);
749349cc55cSDimitry Andric ArrayRef<uint8_t> SymbolBytes(SymbolMem.bytes_begin() + Offset,
750349cc55cSDimitry Andric SymbolMem.size() - Offset);
7510b57cec5SDimitry Andric
7520b57cec5SDimitry Andric MCDisassembler::DecodeStatus S =
7535f757f3fSDimitry Andric TI->Disassembler->getInstruction(Inst, Size, SymbolBytes, 0, nulls());
7540b57cec5SDimitry Andric
7550b57cec5SDimitry Andric return (S == MCDisassembler::Success);
7560b57cec5SDimitry Andric }
7575f757f3fSDimitry Andric
getTargetInfo(const Triple & TT,const StringRef & CPU,const SubtargetFeatures & TF) const7585f757f3fSDimitry Andric Expected<TargetInfo> getTargetInfo(const Triple &TT, const StringRef &CPU,
7595f757f3fSDimitry Andric const SubtargetFeatures &TF) const {
7605f757f3fSDimitry Andric
7615f757f3fSDimitry Andric auto TripleName = TT.str();
7625f757f3fSDimitry Andric std::string ErrorStr;
7635f757f3fSDimitry Andric const Target *TheTarget =
7645f757f3fSDimitry Andric TargetRegistry::lookupTarget(TripleName, ErrorStr);
7655f757f3fSDimitry Andric if (!TheTarget)
7665f757f3fSDimitry Andric return make_error<StringError>("Error accessing target '" + TripleName +
7675f757f3fSDimitry Andric "': " + ErrorStr,
7685f757f3fSDimitry Andric inconvertibleErrorCode());
7695f757f3fSDimitry Andric
7705f757f3fSDimitry Andric std::unique_ptr<MCSubtargetInfo> STI(
7715f757f3fSDimitry Andric TheTarget->createMCSubtargetInfo(TripleName, CPU, TF.getString()));
7725f757f3fSDimitry Andric if (!STI)
7735f757f3fSDimitry Andric return make_error<StringError>("Unable to create subtarget for " +
7745f757f3fSDimitry Andric TripleName,
7755f757f3fSDimitry Andric inconvertibleErrorCode());
7765f757f3fSDimitry Andric
7775f757f3fSDimitry Andric std::unique_ptr<MCRegisterInfo> MRI(TheTarget->createMCRegInfo(TripleName));
7785f757f3fSDimitry Andric if (!MRI)
7795f757f3fSDimitry Andric return make_error<StringError>("Unable to create target register info "
7805f757f3fSDimitry Andric "for " +
7815f757f3fSDimitry Andric TripleName,
7825f757f3fSDimitry Andric inconvertibleErrorCode());
7835f757f3fSDimitry Andric
7845f757f3fSDimitry Andric MCTargetOptions MCOptions;
7855f757f3fSDimitry Andric std::unique_ptr<MCAsmInfo> MAI(
7865f757f3fSDimitry Andric TheTarget->createMCAsmInfo(*MRI, TripleName, MCOptions));
7875f757f3fSDimitry Andric if (!MAI)
7885f757f3fSDimitry Andric return make_error<StringError>("Unable to create target asm info " +
7895f757f3fSDimitry Andric TripleName,
7905f757f3fSDimitry Andric inconvertibleErrorCode());
7915f757f3fSDimitry Andric
7925f757f3fSDimitry Andric auto Ctx = std::make_unique<MCContext>(Triple(TripleName), MAI.get(),
7935f757f3fSDimitry Andric MRI.get(), STI.get());
7945f757f3fSDimitry Andric
7955f757f3fSDimitry Andric std::unique_ptr<MCDisassembler> Disassembler(
7965f757f3fSDimitry Andric TheTarget->createMCDisassembler(*STI, *Ctx));
7975f757f3fSDimitry Andric if (!Disassembler)
7985f757f3fSDimitry Andric return make_error<StringError>("Unable to create disassembler for " +
7995f757f3fSDimitry Andric TripleName,
8005f757f3fSDimitry Andric inconvertibleErrorCode());
8015f757f3fSDimitry Andric
8025f757f3fSDimitry Andric std::unique_ptr<MCInstrInfo> MII(TheTarget->createMCInstrInfo());
8035f757f3fSDimitry Andric if (!MII)
8045f757f3fSDimitry Andric return make_error<StringError>("Unable to create instruction info for" +
8055f757f3fSDimitry Andric TripleName,
8065f757f3fSDimitry Andric inconvertibleErrorCode());
8075f757f3fSDimitry Andric
8085f757f3fSDimitry Andric std::unique_ptr<MCInstPrinter> InstPrinter(TheTarget->createMCInstPrinter(
8095f757f3fSDimitry Andric Triple(TripleName), 0, *MAI, *MII, *MRI));
8105f757f3fSDimitry Andric if (!InstPrinter)
8115f757f3fSDimitry Andric return make_error<StringError>(
8125f757f3fSDimitry Andric "Unable to create instruction printer for" + TripleName,
8135f757f3fSDimitry Andric inconvertibleErrorCode());
8145f757f3fSDimitry Andric
8155f757f3fSDimitry Andric return TargetInfo({TheTarget, std::move(STI), std::move(MRI),
8165f757f3fSDimitry Andric std::move(MAI), std::move(Ctx), std::move(Disassembler),
8175f757f3fSDimitry Andric std::move(MII), std::move(InstPrinter)});
8185f757f3fSDimitry Andric }
8190b57cec5SDimitry Andric };
820349cc55cSDimitry Andric } // namespace llvm
8210b57cec5SDimitry Andric
RuntimeDyldCheckerImpl(IsSymbolValidFunction IsSymbolValid,GetSymbolInfoFunction GetSymbolInfo,GetSectionInfoFunction GetSectionInfo,GetStubInfoFunction GetStubInfo,GetGOTInfoFunction GetGOTInfo,llvm::endianness Endianness,Triple TT,StringRef CPU,SubtargetFeatures TF,raw_ostream & ErrStream)8220b57cec5SDimitry Andric RuntimeDyldCheckerImpl::RuntimeDyldCheckerImpl(
8230b57cec5SDimitry Andric IsSymbolValidFunction IsSymbolValid, GetSymbolInfoFunction GetSymbolInfo,
8240b57cec5SDimitry Andric GetSectionInfoFunction GetSectionInfo, GetStubInfoFunction GetStubInfo,
8255f757f3fSDimitry Andric GetGOTInfoFunction GetGOTInfo, llvm::endianness Endianness, Triple TT,
8265f757f3fSDimitry Andric StringRef CPU, SubtargetFeatures TF, raw_ostream &ErrStream)
8270b57cec5SDimitry Andric : IsSymbolValid(std::move(IsSymbolValid)),
8280b57cec5SDimitry Andric GetSymbolInfo(std::move(GetSymbolInfo)),
8290b57cec5SDimitry Andric GetSectionInfo(std::move(GetSectionInfo)),
8300b57cec5SDimitry Andric GetStubInfo(std::move(GetStubInfo)), GetGOTInfo(std::move(GetGOTInfo)),
8315f757f3fSDimitry Andric Endianness(Endianness), TT(std::move(TT)), CPU(std::move(CPU)),
8325f757f3fSDimitry Andric TF(std::move(TF)), ErrStream(ErrStream) {}
8330b57cec5SDimitry Andric
check(StringRef CheckExpr) const8340b57cec5SDimitry Andric bool RuntimeDyldCheckerImpl::check(StringRef CheckExpr) const {
8350b57cec5SDimitry Andric CheckExpr = CheckExpr.trim();
8360b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "RuntimeDyldChecker: Checking '" << CheckExpr
8370b57cec5SDimitry Andric << "'...\n");
8380b57cec5SDimitry Andric RuntimeDyldCheckerExprEval P(*this, ErrStream);
8390b57cec5SDimitry Andric bool Result = P.evaluate(CheckExpr);
8400b57cec5SDimitry Andric (void)Result;
8410b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "RuntimeDyldChecker: '" << CheckExpr << "' "
8420b57cec5SDimitry Andric << (Result ? "passed" : "FAILED") << ".\n");
8430b57cec5SDimitry Andric return Result;
8440b57cec5SDimitry Andric }
8450b57cec5SDimitry Andric
checkAllRulesInBuffer(StringRef RulePrefix,MemoryBuffer * MemBuf) const8460b57cec5SDimitry Andric bool RuntimeDyldCheckerImpl::checkAllRulesInBuffer(StringRef RulePrefix,
8470b57cec5SDimitry Andric MemoryBuffer *MemBuf) const {
8480b57cec5SDimitry Andric bool DidAllTestsPass = true;
8490b57cec5SDimitry Andric unsigned NumRules = 0;
8500b57cec5SDimitry Andric
8515ffd83dbSDimitry Andric std::string CheckExpr;
8520b57cec5SDimitry Andric const char *LineStart = MemBuf->getBufferStart();
8530b57cec5SDimitry Andric
8540b57cec5SDimitry Andric // Eat whitespace.
8555ffd83dbSDimitry Andric while (LineStart != MemBuf->getBufferEnd() && isSpace(*LineStart))
8560b57cec5SDimitry Andric ++LineStart;
8570b57cec5SDimitry Andric
8580b57cec5SDimitry Andric while (LineStart != MemBuf->getBufferEnd() && *LineStart != '\0') {
8590b57cec5SDimitry Andric const char *LineEnd = LineStart;
8600b57cec5SDimitry Andric while (LineEnd != MemBuf->getBufferEnd() && *LineEnd != '\r' &&
8610b57cec5SDimitry Andric *LineEnd != '\n')
8620b57cec5SDimitry Andric ++LineEnd;
8630b57cec5SDimitry Andric
8640b57cec5SDimitry Andric StringRef Line(LineStart, LineEnd - LineStart);
8655f757f3fSDimitry Andric if (Line.starts_with(RulePrefix))
8665ffd83dbSDimitry Andric CheckExpr += Line.substr(RulePrefix.size()).str();
8675ffd83dbSDimitry Andric
8685ffd83dbSDimitry Andric // If there's a check expr string...
8695ffd83dbSDimitry Andric if (!CheckExpr.empty()) {
8705ffd83dbSDimitry Andric // ... and it's complete then run it, otherwise remove the trailer '\'.
8715ffd83dbSDimitry Andric if (CheckExpr.back() != '\\') {
8725ffd83dbSDimitry Andric DidAllTestsPass &= check(CheckExpr);
8735ffd83dbSDimitry Andric CheckExpr.clear();
8740b57cec5SDimitry Andric ++NumRules;
8755ffd83dbSDimitry Andric } else
8765ffd83dbSDimitry Andric CheckExpr.pop_back();
8770b57cec5SDimitry Andric }
8780b57cec5SDimitry Andric
8790b57cec5SDimitry Andric // Eat whitespace.
8800b57cec5SDimitry Andric LineStart = LineEnd;
8815ffd83dbSDimitry Andric while (LineStart != MemBuf->getBufferEnd() && isSpace(*LineStart))
8820b57cec5SDimitry Andric ++LineStart;
8830b57cec5SDimitry Andric }
8840b57cec5SDimitry Andric return DidAllTestsPass && (NumRules != 0);
8850b57cec5SDimitry Andric }
8860b57cec5SDimitry Andric
isSymbolValid(StringRef Symbol) const8870b57cec5SDimitry Andric bool RuntimeDyldCheckerImpl::isSymbolValid(StringRef Symbol) const {
8880b57cec5SDimitry Andric return IsSymbolValid(Symbol);
8890b57cec5SDimitry Andric }
8900b57cec5SDimitry Andric
getSymbolLocalAddr(StringRef Symbol) const8910b57cec5SDimitry Andric uint64_t RuntimeDyldCheckerImpl::getSymbolLocalAddr(StringRef Symbol) const {
8920b57cec5SDimitry Andric auto SymInfo = GetSymbolInfo(Symbol);
8930b57cec5SDimitry Andric if (!SymInfo) {
8940b57cec5SDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: ");
8950b57cec5SDimitry Andric return 0;
8960b57cec5SDimitry Andric }
8970b57cec5SDimitry Andric
8980b57cec5SDimitry Andric if (SymInfo->isZeroFill())
8990b57cec5SDimitry Andric return 0;
9000b57cec5SDimitry Andric
9010b57cec5SDimitry Andric return static_cast<uint64_t>(
9020b57cec5SDimitry Andric reinterpret_cast<uintptr_t>(SymInfo->getContent().data()));
9030b57cec5SDimitry Andric }
9040b57cec5SDimitry Andric
getSymbolRemoteAddr(StringRef Symbol) const9050b57cec5SDimitry Andric uint64_t RuntimeDyldCheckerImpl::getSymbolRemoteAddr(StringRef Symbol) const {
9060b57cec5SDimitry Andric auto SymInfo = GetSymbolInfo(Symbol);
9070b57cec5SDimitry Andric if (!SymInfo) {
9080b57cec5SDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: ");
9090b57cec5SDimitry Andric return 0;
9100b57cec5SDimitry Andric }
9110b57cec5SDimitry Andric
9120b57cec5SDimitry Andric return SymInfo->getTargetAddress();
9130b57cec5SDimitry Andric }
9140b57cec5SDimitry Andric
readMemoryAtAddr(uint64_t SrcAddr,unsigned Size) const9150b57cec5SDimitry Andric uint64_t RuntimeDyldCheckerImpl::readMemoryAtAddr(uint64_t SrcAddr,
9160b57cec5SDimitry Andric unsigned Size) const {
9170b57cec5SDimitry Andric uintptr_t PtrSizedAddr = static_cast<uintptr_t>(SrcAddr);
9180b57cec5SDimitry Andric assert(PtrSizedAddr == SrcAddr && "Linker memory pointer out-of-range.");
9190b57cec5SDimitry Andric void *Ptr = reinterpret_cast<void*>(PtrSizedAddr);
9200b57cec5SDimitry Andric
9210b57cec5SDimitry Andric switch (Size) {
9220b57cec5SDimitry Andric case 1:
9230b57cec5SDimitry Andric return support::endian::read<uint8_t>(Ptr, Endianness);
9240b57cec5SDimitry Andric case 2:
9250b57cec5SDimitry Andric return support::endian::read<uint16_t>(Ptr, Endianness);
9260b57cec5SDimitry Andric case 4:
9270b57cec5SDimitry Andric return support::endian::read<uint32_t>(Ptr, Endianness);
9280b57cec5SDimitry Andric case 8:
9290b57cec5SDimitry Andric return support::endian::read<uint64_t>(Ptr, Endianness);
9300b57cec5SDimitry Andric }
9310b57cec5SDimitry Andric llvm_unreachable("Unsupported read size");
9320b57cec5SDimitry Andric }
9330b57cec5SDimitry Andric
getSymbolContent(StringRef Symbol) const9340b57cec5SDimitry Andric StringRef RuntimeDyldCheckerImpl::getSymbolContent(StringRef Symbol) const {
9350b57cec5SDimitry Andric auto SymInfo = GetSymbolInfo(Symbol);
9360b57cec5SDimitry Andric if (!SymInfo) {
9370b57cec5SDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: ");
9380b57cec5SDimitry Andric return StringRef();
9390b57cec5SDimitry Andric }
940fe6060f1SDimitry Andric return {SymInfo->getContent().data(), SymInfo->getContent().size()};
9410b57cec5SDimitry Andric }
9420b57cec5SDimitry Andric
getTargetFlag(StringRef Symbol) const9435f757f3fSDimitry Andric TargetFlagsType RuntimeDyldCheckerImpl::getTargetFlag(StringRef Symbol) const {
9445f757f3fSDimitry Andric auto SymInfo = GetSymbolInfo(Symbol);
9455f757f3fSDimitry Andric if (!SymInfo) {
9465f757f3fSDimitry Andric logAllUnhandledErrors(SymInfo.takeError(), errs(), "RTDyldChecker: ");
9475f757f3fSDimitry Andric return TargetFlagsType{};
9485f757f3fSDimitry Andric }
9495f757f3fSDimitry Andric return SymInfo->getTargetFlags();
9505f757f3fSDimitry Andric }
9515f757f3fSDimitry Andric
9525f757f3fSDimitry Andric Triple
getTripleForSymbol(TargetFlagsType Flag) const9535f757f3fSDimitry Andric RuntimeDyldCheckerImpl::getTripleForSymbol(TargetFlagsType Flag) const {
9545f757f3fSDimitry Andric Triple TheTriple = TT;
9555f757f3fSDimitry Andric
9565f757f3fSDimitry Andric switch (TT.getArch()) {
9575f757f3fSDimitry Andric case Triple::ArchType::arm:
9585f757f3fSDimitry Andric if (~Flag & 0x1)
9595f757f3fSDimitry Andric return TT;
9605f757f3fSDimitry Andric TheTriple.setArchName((Twine("thumb") + TT.getArchName().substr(3)).str());
9615f757f3fSDimitry Andric return TheTriple;
9625f757f3fSDimitry Andric case Triple::ArchType::thumb:
9635f757f3fSDimitry Andric if (Flag & 0x1)
9645f757f3fSDimitry Andric return TT;
9655f757f3fSDimitry Andric TheTriple.setArchName((Twine("arm") + TT.getArchName().substr(5)).str());
9665f757f3fSDimitry Andric return TheTriple;
9675f757f3fSDimitry Andric
9685f757f3fSDimitry Andric default:
9695f757f3fSDimitry Andric return TT;
9705f757f3fSDimitry Andric }
9715f757f3fSDimitry Andric }
9725f757f3fSDimitry Andric
getSectionAddr(StringRef FileName,StringRef SectionName,bool IsInsideLoad) const9730b57cec5SDimitry Andric std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getSectionAddr(
9740b57cec5SDimitry Andric StringRef FileName, StringRef SectionName, bool IsInsideLoad) const {
9750b57cec5SDimitry Andric
9760b57cec5SDimitry Andric auto SecInfo = GetSectionInfo(FileName, SectionName);
9770b57cec5SDimitry Andric if (!SecInfo) {
9780b57cec5SDimitry Andric std::string ErrMsg;
9790b57cec5SDimitry Andric {
9800b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg);
9810b57cec5SDimitry Andric logAllUnhandledErrors(SecInfo.takeError(), ErrMsgStream,
9820b57cec5SDimitry Andric "RTDyldChecker: ");
9830b57cec5SDimitry Andric }
9840b57cec5SDimitry Andric return std::make_pair(0, std::move(ErrMsg));
9850b57cec5SDimitry Andric }
9860b57cec5SDimitry Andric
9870b57cec5SDimitry Andric // If this address is being looked up in "load" mode, return the content
9880b57cec5SDimitry Andric // pointer, otherwise return the target address.
9890b57cec5SDimitry Andric
9900b57cec5SDimitry Andric uint64_t Addr = 0;
9910b57cec5SDimitry Andric
9920b57cec5SDimitry Andric if (IsInsideLoad) {
9930b57cec5SDimitry Andric if (SecInfo->isZeroFill())
9940b57cec5SDimitry Andric Addr = 0;
9950b57cec5SDimitry Andric else
9960b57cec5SDimitry Andric Addr = pointerToJITTargetAddress(SecInfo->getContent().data());
9970b57cec5SDimitry Andric } else
9980b57cec5SDimitry Andric Addr = SecInfo->getTargetAddress();
9990b57cec5SDimitry Andric
10000b57cec5SDimitry Andric return std::make_pair(Addr, "");
10010b57cec5SDimitry Andric }
10020b57cec5SDimitry Andric
getStubOrGOTAddrFor(StringRef StubContainerName,StringRef SymbolName,StringRef StubKindFilter,bool IsInsideLoad,bool IsStubAddr) const10030b57cec5SDimitry Andric std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getStubOrGOTAddrFor(
10047a6dacacSDimitry Andric StringRef StubContainerName, StringRef SymbolName, StringRef StubKindFilter,
10057a6dacacSDimitry Andric bool IsInsideLoad, bool IsStubAddr) const {
10060b57cec5SDimitry Andric
10077a6dacacSDimitry Andric assert((StubKindFilter.empty() || IsStubAddr) &&
10087a6dacacSDimitry Andric "Kind name filter only supported for stubs");
10097a6dacacSDimitry Andric auto StubInfo =
10107a6dacacSDimitry Andric IsStubAddr ? GetStubInfo(StubContainerName, SymbolName, StubKindFilter)
10110b57cec5SDimitry Andric : GetGOTInfo(StubContainerName, SymbolName);
10120b57cec5SDimitry Andric
10130b57cec5SDimitry Andric if (!StubInfo) {
10140b57cec5SDimitry Andric std::string ErrMsg;
10150b57cec5SDimitry Andric {
10160b57cec5SDimitry Andric raw_string_ostream ErrMsgStream(ErrMsg);
10170b57cec5SDimitry Andric logAllUnhandledErrors(StubInfo.takeError(), ErrMsgStream,
10180b57cec5SDimitry Andric "RTDyldChecker: ");
10190b57cec5SDimitry Andric }
10200b57cec5SDimitry Andric return std::make_pair((uint64_t)0, std::move(ErrMsg));
10210b57cec5SDimitry Andric }
10220b57cec5SDimitry Andric
10230b57cec5SDimitry Andric uint64_t Addr = 0;
10240b57cec5SDimitry Andric
10250b57cec5SDimitry Andric if (IsInsideLoad) {
10260b57cec5SDimitry Andric if (StubInfo->isZeroFill())
10270b57cec5SDimitry Andric return std::make_pair((uint64_t)0, "Detected zero-filled stub/GOT entry");
10280b57cec5SDimitry Andric Addr = pointerToJITTargetAddress(StubInfo->getContent().data());
10290b57cec5SDimitry Andric } else
10300b57cec5SDimitry Andric Addr = StubInfo->getTargetAddress();
10310b57cec5SDimitry Andric
10320b57cec5SDimitry Andric return std::make_pair(Addr, "");
10330b57cec5SDimitry Andric }
10340b57cec5SDimitry Andric
RuntimeDyldChecker(IsSymbolValidFunction IsSymbolValid,GetSymbolInfoFunction GetSymbolInfo,GetSectionInfoFunction GetSectionInfo,GetStubInfoFunction GetStubInfo,GetGOTInfoFunction GetGOTInfo,llvm::endianness Endianness,Triple TT,StringRef CPU,SubtargetFeatures TF,raw_ostream & ErrStream)10350b57cec5SDimitry Andric RuntimeDyldChecker::RuntimeDyldChecker(
10360b57cec5SDimitry Andric IsSymbolValidFunction IsSymbolValid, GetSymbolInfoFunction GetSymbolInfo,
10370b57cec5SDimitry Andric GetSectionInfoFunction GetSectionInfo, GetStubInfoFunction GetStubInfo,
10385f757f3fSDimitry Andric GetGOTInfoFunction GetGOTInfo, llvm::endianness Endianness, Triple TT,
10395f757f3fSDimitry Andric StringRef CPU, SubtargetFeatures TF, raw_ostream &ErrStream)
10408bcb0991SDimitry Andric : Impl(::std::make_unique<RuntimeDyldCheckerImpl>(
10410b57cec5SDimitry Andric std::move(IsSymbolValid), std::move(GetSymbolInfo),
10420b57cec5SDimitry Andric std::move(GetSectionInfo), std::move(GetStubInfo),
10435f757f3fSDimitry Andric std::move(GetGOTInfo), Endianness, std::move(TT), std::move(CPU),
10445f757f3fSDimitry Andric std::move(TF), ErrStream)) {}
10450b57cec5SDimitry Andric
104681ad6265SDimitry Andric RuntimeDyldChecker::~RuntimeDyldChecker() = default;
10470b57cec5SDimitry Andric
check(StringRef CheckExpr) const10480b57cec5SDimitry Andric bool RuntimeDyldChecker::check(StringRef CheckExpr) const {
10490b57cec5SDimitry Andric return Impl->check(CheckExpr);
10500b57cec5SDimitry Andric }
10510b57cec5SDimitry Andric
checkAllRulesInBuffer(StringRef RulePrefix,MemoryBuffer * MemBuf) const10520b57cec5SDimitry Andric bool RuntimeDyldChecker::checkAllRulesInBuffer(StringRef RulePrefix,
10530b57cec5SDimitry Andric MemoryBuffer *MemBuf) const {
10540b57cec5SDimitry Andric return Impl->checkAllRulesInBuffer(RulePrefix, MemBuf);
10550b57cec5SDimitry Andric }
10560b57cec5SDimitry Andric
10570b57cec5SDimitry Andric std::pair<uint64_t, std::string>
getSectionAddr(StringRef FileName,StringRef SectionName,bool LocalAddress)10580b57cec5SDimitry Andric RuntimeDyldChecker::getSectionAddr(StringRef FileName, StringRef SectionName,
10590b57cec5SDimitry Andric bool LocalAddress) {
10600b57cec5SDimitry Andric return Impl->getSectionAddr(FileName, SectionName, LocalAddress);
10610b57cec5SDimitry Andric }
1062