blob: 3a293c0cda43a0b89c571a8ce4eda7b653a14aa3 [file] [log] [blame]
Lang Hamese1c11382014-06-27 20:20:57 +00001//===--- RuntimeDyldChecker.cpp - RuntimeDyld tester framework --*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Lang Hamese1c11382014-06-27 20:20:57 +00006//
7//===----------------------------------------------------------------------===//
8
Benjamin Kramer82de7d32016-05-27 14:27:24 +00009#include "llvm/ExecutionEngine/RuntimeDyldChecker.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000010#include "RuntimeDyldCheckerImpl.h"
Benjamin Kramer82de7d32016-05-27 14:27:24 +000011#include "llvm/ADT/STLExtras.h"
Lang Hamese1c11382014-06-27 20:20:57 +000012#include "llvm/MC/MCContext.h"
Benjamin Kramerf57c1972016-01-26 16:44:37 +000013#include "llvm/MC/MCDisassembler/MCDisassembler.h"
Lang Hamese1c11382014-06-27 20:20:57 +000014#include "llvm/MC/MCInst.h"
Lang Hames941f2472019-04-08 21:50:48 +000015#include "llvm/Support/Endian.h"
Lang Hamesffa72ef2018-09-25 20:16:06 +000016#include "llvm/Support/MSVCErrorWorkarounds.h"
Lang Hames480763f2014-07-29 20:40:37 +000017#include "llvm/Support/Path.h"
Lang Hames3b7ffd62014-06-27 20:37:39 +000018#include <cctype>
Lang Hamese1c11382014-06-27 20:20:57 +000019#include <memory>
Benjamin Kramer82de7d32016-05-27 14:27:24 +000020#include <utility>
Lang Hamese1c11382014-06-27 20:20:57 +000021
22#define DEBUG_TYPE "rtdyld"
23
24using namespace llvm;
25
26namespace llvm {
27
Lang Hamesf7acddd2014-07-22 22:47:39 +000028// Helper class that implements the language evaluated by RuntimeDyldChecker.
29class RuntimeDyldCheckerExprEval {
30public:
31 RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker,
32 raw_ostream &ErrStream)
33 : Checker(Checker) {}
Lang Hamese1c11382014-06-27 20:20:57 +000034
Lang Hamesf7acddd2014-07-22 22:47:39 +000035 bool evaluate(StringRef Expr) const {
36 // Expect equality expression of the form 'LHS = RHS'.
37 Expr = Expr.trim();
38 size_t EQIdx = Expr.find('=');
Lang Hamese1c11382014-06-27 20:20:57 +000039
Lang Hamesf7acddd2014-07-22 22:47:39 +000040 ParseContext OutsideLoad(false);
Lang Hamese1c11382014-06-27 20:20:57 +000041
Lang Hamesf7acddd2014-07-22 22:47:39 +000042 // Evaluate LHS.
43 StringRef LHSExpr = Expr.substr(0, EQIdx).rtrim();
44 StringRef RemainingExpr;
45 EvalResult LHSResult;
46 std::tie(LHSResult, RemainingExpr) =
47 evalComplexExpr(evalSimpleExpr(LHSExpr, OutsideLoad), OutsideLoad);
48 if (LHSResult.hasError())
49 return handleError(Expr, LHSResult);
50 if (RemainingExpr != "")
51 return handleError(Expr, unexpectedToken(RemainingExpr, LHSExpr, ""));
Lang Hamese1c11382014-06-27 20:20:57 +000052
Lang Hamesf7acddd2014-07-22 22:47:39 +000053 // Evaluate RHS.
54 StringRef RHSExpr = Expr.substr(EQIdx + 1).ltrim();
55 EvalResult RHSResult;
56 std::tie(RHSResult, RemainingExpr) =
57 evalComplexExpr(evalSimpleExpr(RHSExpr, OutsideLoad), OutsideLoad);
58 if (RHSResult.hasError())
59 return handleError(Expr, RHSResult);
60 if (RemainingExpr != "")
61 return handleError(Expr, unexpectedToken(RemainingExpr, RHSExpr, ""));
Lang Hamese1c11382014-06-27 20:20:57 +000062
Lang Hamesf7acddd2014-07-22 22:47:39 +000063 if (LHSResult.getValue() != RHSResult.getValue()) {
64 Checker.ErrStream << "Expression '" << Expr << "' is false: "
Lang Hamesb2eb4922014-07-29 21:38:20 +000065 << format("0x%" PRIx64, LHSResult.getValue())
66 << " != " << format("0x%" PRIx64, RHSResult.getValue())
Lang Hamesf7acddd2014-07-22 22:47:39 +000067 << "\n";
Lang Hamese1c11382014-06-27 20:20:57 +000068 return false;
69 }
Lang Hamesf7acddd2014-07-22 22:47:39 +000070 return true;
71 }
Lang Hamese1c11382014-06-27 20:20:57 +000072
Lang Hamesf7acddd2014-07-22 22:47:39 +000073private:
74 // RuntimeDyldCheckerExprEval requires some context when parsing exprs. In
75 // particular, it needs to know whether a symbol is being evaluated in the
76 // context of a load, in which case we want the linker's local address for
77 // the symbol, or outside of a load, in which case we want the symbol's
78 // address in the remote target.
Lang Hamese1c11382014-06-27 20:20:57 +000079
Lang Hamesf7acddd2014-07-22 22:47:39 +000080 struct ParseContext {
81 bool IsInsideLoad;
82 ParseContext(bool IsInsideLoad) : IsInsideLoad(IsInsideLoad) {}
Lang Hamese1c11382014-06-27 20:20:57 +000083 };
84
Lang Hamesf7acddd2014-07-22 22:47:39 +000085 const RuntimeDyldCheckerImpl &Checker;
86
87 enum class BinOpToken : unsigned {
88 Invalid,
89 Add,
90 Sub,
91 BitwiseAnd,
92 BitwiseOr,
93 ShiftLeft,
94 ShiftRight
95 };
96
97 class EvalResult {
98 public:
99 EvalResult() : Value(0), ErrorMsg("") {}
100 EvalResult(uint64_t Value) : Value(Value), ErrorMsg("") {}
Benjamin Kramer82de7d32016-05-27 14:27:24 +0000101 EvalResult(std::string ErrorMsg)
102 : Value(0), ErrorMsg(std::move(ErrorMsg)) {}
Lang Hamesf7acddd2014-07-22 22:47:39 +0000103 uint64_t getValue() const { return Value; }
104 bool hasError() const { return ErrorMsg != ""; }
105 const std::string &getErrorMsg() const { return ErrorMsg; }
106
107 private:
108 uint64_t Value;
109 std::string ErrorMsg;
110 };
111
112 StringRef getTokenForError(StringRef Expr) const {
113 if (Expr.empty())
114 return "";
115
116 StringRef Token, Remaining;
117 if (isalpha(Expr[0]))
118 std::tie(Token, Remaining) = parseSymbol(Expr);
119 else if (isdigit(Expr[0]))
120 std::tie(Token, Remaining) = parseNumberString(Expr);
121 else {
122 unsigned TokLen = 1;
123 if (Expr.startswith("<<") || Expr.startswith(">>"))
124 TokLen = 2;
125 Token = Expr.substr(0, TokLen);
126 }
127 return Token;
128 }
129
130 EvalResult unexpectedToken(StringRef TokenStart, StringRef SubExpr,
131 StringRef ErrText) const {
132 std::string ErrorMsg("Encountered unexpected token '");
133 ErrorMsg += getTokenForError(TokenStart);
134 if (SubExpr != "") {
135 ErrorMsg += "' while parsing subexpression '";
136 ErrorMsg += SubExpr;
137 }
138 ErrorMsg += "'";
139 if (ErrText != "") {
140 ErrorMsg += " ";
141 ErrorMsg += ErrText;
142 }
143 return EvalResult(std::move(ErrorMsg));
144 }
145
146 bool handleError(StringRef Expr, const EvalResult &R) const {
147 assert(R.hasError() && "Not an error result.");
148 Checker.ErrStream << "Error evaluating expression '" << Expr
149 << "': " << R.getErrorMsg() << "\n";
150 return false;
151 }
152
153 std::pair<BinOpToken, StringRef> parseBinOpToken(StringRef Expr) const {
154 if (Expr.empty())
155 return std::make_pair(BinOpToken::Invalid, "");
156
157 // Handle the two 2-character tokens.
158 if (Expr.startswith("<<"))
159 return std::make_pair(BinOpToken::ShiftLeft, Expr.substr(2).ltrim());
160 if (Expr.startswith(">>"))
161 return std::make_pair(BinOpToken::ShiftRight, Expr.substr(2).ltrim());
162
163 // Handle one-character tokens.
164 BinOpToken Op;
165 switch (Expr[0]) {
166 default:
167 return std::make_pair(BinOpToken::Invalid, Expr);
168 case '+':
169 Op = BinOpToken::Add;
170 break;
171 case '-':
172 Op = BinOpToken::Sub;
173 break;
174 case '&':
175 Op = BinOpToken::BitwiseAnd;
176 break;
177 case '|':
178 Op = BinOpToken::BitwiseOr;
179 break;
180 }
181
182 return std::make_pair(Op, Expr.substr(1).ltrim());
183 }
184
185 EvalResult computeBinOpResult(BinOpToken Op, const EvalResult &LHSResult,
186 const EvalResult &RHSResult) const {
187 switch (Op) {
188 default:
189 llvm_unreachable("Tried to evaluate unrecognized operation.");
190 case BinOpToken::Add:
191 return EvalResult(LHSResult.getValue() + RHSResult.getValue());
192 case BinOpToken::Sub:
193 return EvalResult(LHSResult.getValue() - RHSResult.getValue());
194 case BinOpToken::BitwiseAnd:
195 return EvalResult(LHSResult.getValue() & RHSResult.getValue());
196 case BinOpToken::BitwiseOr:
197 return EvalResult(LHSResult.getValue() | RHSResult.getValue());
198 case BinOpToken::ShiftLeft:
199 return EvalResult(LHSResult.getValue() << RHSResult.getValue());
200 case BinOpToken::ShiftRight:
201 return EvalResult(LHSResult.getValue() >> RHSResult.getValue());
202 }
203 }
204
205 // Parse a symbol and return a (string, string) pair representing the symbol
206 // name and expression remaining to be parsed.
207 std::pair<StringRef, StringRef> parseSymbol(StringRef Expr) const {
208 size_t FirstNonSymbol = Expr.find_first_not_of("0123456789"
209 "abcdefghijklmnopqrstuvwxyz"
210 "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
Lang Hameseb99df82014-08-19 20:04:45 +0000211 ":_.$");
Lang Hamesf7acddd2014-07-22 22:47:39 +0000212 return std::make_pair(Expr.substr(0, FirstNonSymbol),
213 Expr.substr(FirstNonSymbol).ltrim());
214 }
215
216 // Evaluate a call to decode_operand. Decode the instruction operand at the
217 // given symbol and get the value of the requested operand.
218 // Returns an error if the instruction cannot be decoded, or the requested
219 // operand is not an immediate.
Simon Pilgrimf2fbf432016-11-20 13:47:59 +0000220 // On success, returns a pair containing the value of the operand, plus
Lang Hamesf7acddd2014-07-22 22:47:39 +0000221 // the expression remaining to be evaluated.
222 std::pair<EvalResult, StringRef> evalDecodeOperand(StringRef Expr) const {
223 if (!Expr.startswith("("))
224 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
225 StringRef RemainingExpr = Expr.substr(1).ltrim();
226 StringRef Symbol;
227 std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
228
229 if (!Checker.isSymbolValid(Symbol))
230 return std::make_pair(
231 EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()),
232 "");
233
234 if (!RemainingExpr.startswith(","))
235 return std::make_pair(
236 unexpectedToken(RemainingExpr, RemainingExpr, "expected ','"), "");
237 RemainingExpr = RemainingExpr.substr(1).ltrim();
238
239 EvalResult OpIdxExpr;
240 std::tie(OpIdxExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
241 if (OpIdxExpr.hasError())
242 return std::make_pair(OpIdxExpr, "");
243
244 if (!RemainingExpr.startswith(")"))
245 return std::make_pair(
246 unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), "");
247 RemainingExpr = RemainingExpr.substr(1).ltrim();
248
249 MCInst Inst;
250 uint64_t Size;
251 if (!decodeInst(Symbol, Inst, Size))
252 return std::make_pair(
253 EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()),
254 "");
255
256 unsigned OpIdx = OpIdxExpr.getValue();
257 if (OpIdx >= Inst.getNumOperands()) {
258 std::string ErrMsg;
259 raw_string_ostream ErrMsgStream(ErrMsg);
260 ErrMsgStream << "Invalid operand index '" << format("%i", OpIdx)
261 << "' for instruction '" << Symbol
262 << "'. Instruction has only "
263 << format("%i", Inst.getNumOperands())
264 << " operands.\nInstruction is:\n ";
Sean Silva0e1fe182015-02-05 00:58:51 +0000265 Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000266 return std::make_pair(EvalResult(ErrMsgStream.str()), "");
267 }
268
269 const MCOperand &Op = Inst.getOperand(OpIdx);
270 if (!Op.isImm()) {
271 std::string ErrMsg;
272 raw_string_ostream ErrMsgStream(ErrMsg);
273 ErrMsgStream << "Operand '" << format("%i", OpIdx) << "' of instruction '"
274 << Symbol << "' is not an immediate.\nInstruction is:\n ";
Sean Silva0e1fe182015-02-05 00:58:51 +0000275 Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000276
277 return std::make_pair(EvalResult(ErrMsgStream.str()), "");
278 }
279
280 return std::make_pair(EvalResult(Op.getImm()), RemainingExpr);
281 }
282
283 // Evaluate a call to next_pc.
284 // Decode the instruction at the given symbol and return the following program
285 // counter.
286 // Returns an error if the instruction cannot be decoded.
287 // On success, returns a pair containing the next PC, plus of the
288 // expression remaining to be evaluated.
289 std::pair<EvalResult, StringRef> evalNextPC(StringRef Expr,
290 ParseContext PCtx) const {
291 if (!Expr.startswith("("))
292 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
293 StringRef RemainingExpr = Expr.substr(1).ltrim();
294 StringRef Symbol;
295 std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
296
297 if (!Checker.isSymbolValid(Symbol))
298 return std::make_pair(
299 EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()),
300 "");
301
302 if (!RemainingExpr.startswith(")"))
303 return std::make_pair(
304 unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), "");
305 RemainingExpr = RemainingExpr.substr(1).ltrim();
306
307 MCInst Inst;
308 uint64_t InstSize;
309 if (!decodeInst(Symbol, Inst, InstSize))
310 return std::make_pair(
311 EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()),
312 "");
313
314 uint64_t SymbolAddr = PCtx.IsInsideLoad
Lang Hamesb1186032015-03-11 00:43:26 +0000315 ? Checker.getSymbolLocalAddr(Symbol)
Lang Hamesf7acddd2014-07-22 22:47:39 +0000316 : Checker.getSymbolRemoteAddr(Symbol);
317 uint64_t NextPC = SymbolAddr + InstSize;
318
319 return std::make_pair(EvalResult(NextPC), RemainingExpr);
320 }
321
322 // Evaluate a call to stub_addr.
323 // Look up and return the address of the stub for the given
324 // (<file name>, <section name>, <symbol name>) tuple.
325 // On success, returns a pair containing the stub address, plus the expression
326 // remaining to be evaluated.
327 std::pair<EvalResult, StringRef> evalStubAddr(StringRef Expr,
328 ParseContext PCtx) const {
329 if (!Expr.startswith("("))
330 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
331 StringRef RemainingExpr = Expr.substr(1).ltrim();
332
333 // Handle file-name specially, as it may contain characters that aren't
334 // legal for symbols.
335 StringRef FileName;
336 size_t ComaIdx = RemainingExpr.find(',');
337 FileName = RemainingExpr.substr(0, ComaIdx).rtrim();
338 RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim();
339
340 if (!RemainingExpr.startswith(","))
341 return std::make_pair(
342 unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
343 RemainingExpr = RemainingExpr.substr(1).ltrim();
344
345 StringRef SectionName;
346 std::tie(SectionName, RemainingExpr) = parseSymbol(RemainingExpr);
347
348 if (!RemainingExpr.startswith(","))
349 return std::make_pair(
350 unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
351 RemainingExpr = RemainingExpr.substr(1).ltrim();
352
353 StringRef Symbol;
354 std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
355
356 if (!RemainingExpr.startswith(")"))
357 return std::make_pair(
358 unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
359 RemainingExpr = RemainingExpr.substr(1).ltrim();
360
361 uint64_t StubAddr;
362 std::string ErrorMsg = "";
363 std::tie(StubAddr, ErrorMsg) = Checker.getStubAddrFor(
364 FileName, SectionName, Symbol, PCtx.IsInsideLoad);
365
366 if (ErrorMsg != "")
367 return std::make_pair(EvalResult(ErrorMsg), "");
368
369 return std::make_pair(EvalResult(StubAddr), RemainingExpr);
370 }
371
Lang Hames587ee6a2014-09-03 05:01:46 +0000372 std::pair<EvalResult, StringRef> evalSectionAddr(StringRef Expr,
373 ParseContext PCtx) const {
374 if (!Expr.startswith("("))
375 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
376 StringRef RemainingExpr = Expr.substr(1).ltrim();
377
378 // Handle file-name specially, as it may contain characters that aren't
379 // legal for symbols.
380 StringRef FileName;
381 size_t ComaIdx = RemainingExpr.find(',');
382 FileName = RemainingExpr.substr(0, ComaIdx).rtrim();
383 RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim();
384
385 if (!RemainingExpr.startswith(","))
386 return std::make_pair(
387 unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
388 RemainingExpr = RemainingExpr.substr(1).ltrim();
389
390 StringRef SectionName;
391 std::tie(SectionName, RemainingExpr) = parseSymbol(RemainingExpr);
392
393 if (!RemainingExpr.startswith(")"))
394 return std::make_pair(
395 unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
396 RemainingExpr = RemainingExpr.substr(1).ltrim();
397
398 uint64_t StubAddr;
399 std::string ErrorMsg = "";
400 std::tie(StubAddr, ErrorMsg) = Checker.getSectionAddr(
401 FileName, SectionName, PCtx.IsInsideLoad);
402
403 if (ErrorMsg != "")
404 return std::make_pair(EvalResult(ErrorMsg), "");
405
406 return std::make_pair(EvalResult(StubAddr), RemainingExpr);
407 }
408
Lang Hamesf7acddd2014-07-22 22:47:39 +0000409 // Evaluate an identiefer expr, which may be a symbol, or a call to
410 // one of the builtin functions: get_insn_opcode or get_insn_length.
411 // Return the result, plus the expression remaining to be parsed.
412 std::pair<EvalResult, StringRef> evalIdentifierExpr(StringRef Expr,
413 ParseContext PCtx) const {
414 StringRef Symbol;
415 StringRef RemainingExpr;
416 std::tie(Symbol, RemainingExpr) = parseSymbol(Expr);
417
418 // Check for builtin function calls.
419 if (Symbol == "decode_operand")
420 return evalDecodeOperand(RemainingExpr);
421 else if (Symbol == "next_pc")
422 return evalNextPC(RemainingExpr, PCtx);
423 else if (Symbol == "stub_addr")
424 return evalStubAddr(RemainingExpr, PCtx);
Lang Hames587ee6a2014-09-03 05:01:46 +0000425 else if (Symbol == "section_addr")
426 return evalSectionAddr(RemainingExpr, PCtx);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000427
428 if (!Checker.isSymbolValid(Symbol)) {
429 std::string ErrMsg("No known address for symbol '");
430 ErrMsg += Symbol;
431 ErrMsg += "'";
432 if (Symbol.startswith("L"))
433 ErrMsg += " (this appears to be an assembler local label - "
434 " perhaps drop the 'L'?)";
435
436 return std::make_pair(EvalResult(ErrMsg), "");
437 }
438
439 // The value for the symbol depends on the context we're evaluating in:
440 // Inside a load this is the address in the linker's memory, outside a
441 // load it's the address in the target processes memory.
Lang Hamesb1186032015-03-11 00:43:26 +0000442 uint64_t Value = PCtx.IsInsideLoad ? Checker.getSymbolLocalAddr(Symbol)
Lang Hamesf7acddd2014-07-22 22:47:39 +0000443 : Checker.getSymbolRemoteAddr(Symbol);
444
445 // Looks like a plain symbol reference.
446 return std::make_pair(EvalResult(Value), RemainingExpr);
447 }
448
449 // Parse a number (hexadecimal or decimal) and return a (string, string)
450 // pair representing the number and the expression remaining to be parsed.
451 std::pair<StringRef, StringRef> parseNumberString(StringRef Expr) const {
452 size_t FirstNonDigit = StringRef::npos;
453 if (Expr.startswith("0x")) {
454 FirstNonDigit = Expr.find_first_not_of("0123456789abcdefABCDEF", 2);
455 if (FirstNonDigit == StringRef::npos)
456 FirstNonDigit = Expr.size();
457 } else {
458 FirstNonDigit = Expr.find_first_not_of("0123456789");
459 if (FirstNonDigit == StringRef::npos)
460 FirstNonDigit = Expr.size();
461 }
462 return std::make_pair(Expr.substr(0, FirstNonDigit),
463 Expr.substr(FirstNonDigit));
464 }
465
Simon Pilgrimf2fbf432016-11-20 13:47:59 +0000466 // Evaluate a constant numeric expression (hexadecimal or decimal) and
Lang Hamesf7acddd2014-07-22 22:47:39 +0000467 // return a pair containing the result, and the expression remaining to be
468 // evaluated.
469 std::pair<EvalResult, StringRef> evalNumberExpr(StringRef Expr) const {
470 StringRef ValueStr;
471 StringRef RemainingExpr;
472 std::tie(ValueStr, RemainingExpr) = parseNumberString(Expr);
473
474 if (ValueStr.empty() || !isdigit(ValueStr[0]))
475 return std::make_pair(
476 unexpectedToken(RemainingExpr, RemainingExpr, "expected number"), "");
477 uint64_t Value;
478 ValueStr.getAsInteger(0, Value);
479 return std::make_pair(EvalResult(Value), RemainingExpr);
480 }
481
482 // Evaluate an expression of the form "(<expr>)" and return a pair
483 // containing the result of evaluating <expr>, plus the expression
484 // remaining to be parsed.
485 std::pair<EvalResult, StringRef> evalParensExpr(StringRef Expr,
486 ParseContext PCtx) const {
487 assert(Expr.startswith("(") && "Not a parenthesized expression");
488 EvalResult SubExprResult;
489 StringRef RemainingExpr;
490 std::tie(SubExprResult, RemainingExpr) =
491 evalComplexExpr(evalSimpleExpr(Expr.substr(1).ltrim(), PCtx), PCtx);
492 if (SubExprResult.hasError())
493 return std::make_pair(SubExprResult, "");
494 if (!RemainingExpr.startswith(")"))
495 return std::make_pair(
496 unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
497 RemainingExpr = RemainingExpr.substr(1).ltrim();
498 return std::make_pair(SubExprResult, RemainingExpr);
499 }
500
501 // Evaluate an expression in one of the following forms:
502 // *{<number>}<expr>
503 // Return a pair containing the result, plus the expression remaining to be
504 // parsed.
505 std::pair<EvalResult, StringRef> evalLoadExpr(StringRef Expr) const {
506 assert(Expr.startswith("*") && "Not a load expression");
507 StringRef RemainingExpr = Expr.substr(1).ltrim();
508
509 // Parse read size.
510 if (!RemainingExpr.startswith("{"))
511 return std::make_pair(EvalResult("Expected '{' following '*'."), "");
512 RemainingExpr = RemainingExpr.substr(1).ltrim();
513 EvalResult ReadSizeExpr;
514 std::tie(ReadSizeExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
515 if (ReadSizeExpr.hasError())
516 return std::make_pair(ReadSizeExpr, RemainingExpr);
517 uint64_t ReadSize = ReadSizeExpr.getValue();
518 if (ReadSize < 1 || ReadSize > 8)
519 return std::make_pair(EvalResult("Invalid size for dereference."), "");
520 if (!RemainingExpr.startswith("}"))
521 return std::make_pair(EvalResult("Missing '}' for dereference."), "");
522 RemainingExpr = RemainingExpr.substr(1).ltrim();
523
524 // Evaluate the expression representing the load address.
525 ParseContext LoadCtx(true);
526 EvalResult LoadAddrExprResult;
527 std::tie(LoadAddrExprResult, RemainingExpr) =
528 evalComplexExpr(evalSimpleExpr(RemainingExpr, LoadCtx), LoadCtx);
529
530 if (LoadAddrExprResult.hasError())
531 return std::make_pair(LoadAddrExprResult, "");
532
533 uint64_t LoadAddr = LoadAddrExprResult.getValue();
534
535 return std::make_pair(
536 EvalResult(Checker.readMemoryAtAddr(LoadAddr, ReadSize)),
537 RemainingExpr);
538 }
539
540 // Evaluate a "simple" expression. This is any expression that _isn't_ an
541 // un-parenthesized binary expression.
542 //
543 // "Simple" expressions can be optionally bit-sliced. See evalSlicedExpr.
544 //
545 // Returns a pair containing the result of the evaluation, plus the
546 // expression remaining to be parsed.
547 std::pair<EvalResult, StringRef> evalSimpleExpr(StringRef Expr,
548 ParseContext PCtx) const {
549 EvalResult SubExprResult;
550 StringRef RemainingExpr;
551
552 if (Expr.empty())
553 return std::make_pair(EvalResult("Unexpected end of expression"), "");
554
555 if (Expr[0] == '(')
556 std::tie(SubExprResult, RemainingExpr) = evalParensExpr(Expr, PCtx);
557 else if (Expr[0] == '*')
558 std::tie(SubExprResult, RemainingExpr) = evalLoadExpr(Expr);
Lang Hamesc90a85ff2014-07-22 23:17:21 +0000559 else if (isalpha(Expr[0]) || Expr[0] == '_')
Lang Hamesf7acddd2014-07-22 22:47:39 +0000560 std::tie(SubExprResult, RemainingExpr) = evalIdentifierExpr(Expr, PCtx);
561 else if (isdigit(Expr[0]))
562 std::tie(SubExprResult, RemainingExpr) = evalNumberExpr(Expr);
Lang Hames587ee6a2014-09-03 05:01:46 +0000563 else
564 return std::make_pair(
565 unexpectedToken(Expr, Expr,
566 "expected '(', '*', identifier, or number"), "");
Lang Hamesf7acddd2014-07-22 22:47:39 +0000567
568 if (SubExprResult.hasError())
569 return std::make_pair(SubExprResult, RemainingExpr);
570
571 // Evaluate bit-slice if present.
572 if (RemainingExpr.startswith("["))
573 std::tie(SubExprResult, RemainingExpr) =
574 evalSliceExpr(std::make_pair(SubExprResult, RemainingExpr));
575
576 return std::make_pair(SubExprResult, RemainingExpr);
577 }
578
579 // Evaluate a bit-slice of an expression.
580 // A bit-slice has the form "<expr>[high:low]". The result of evaluating a
581 // slice is the bits between high and low (inclusive) in the original
582 // expression, right shifted so that the "low" bit is in position 0 in the
583 // result.
584 // Returns a pair containing the result of the slice operation, plus the
585 // expression remaining to be parsed.
586 std::pair<EvalResult, StringRef>
Benjamin Kramer1afc1de2016-06-17 20:41:14 +0000587 evalSliceExpr(const std::pair<EvalResult, StringRef> &Ctx) const {
Lang Hamesf7acddd2014-07-22 22:47:39 +0000588 EvalResult SubExprResult;
589 StringRef RemainingExpr;
590 std::tie(SubExprResult, RemainingExpr) = Ctx;
591
592 assert(RemainingExpr.startswith("[") && "Not a slice expr.");
593 RemainingExpr = RemainingExpr.substr(1).ltrim();
594
595 EvalResult HighBitExpr;
596 std::tie(HighBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
597
598 if (HighBitExpr.hasError())
599 return std::make_pair(HighBitExpr, RemainingExpr);
600
601 if (!RemainingExpr.startswith(":"))
602 return std::make_pair(
603 unexpectedToken(RemainingExpr, RemainingExpr, "expected ':'"), "");
604 RemainingExpr = RemainingExpr.substr(1).ltrim();
605
606 EvalResult LowBitExpr;
607 std::tie(LowBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
608
609 if (LowBitExpr.hasError())
610 return std::make_pair(LowBitExpr, RemainingExpr);
611
612 if (!RemainingExpr.startswith("]"))
613 return std::make_pair(
614 unexpectedToken(RemainingExpr, RemainingExpr, "expected ']'"), "");
615 RemainingExpr = RemainingExpr.substr(1).ltrim();
616
617 unsigned HighBit = HighBitExpr.getValue();
618 unsigned LowBit = LowBitExpr.getValue();
619 uint64_t Mask = ((uint64_t)1 << (HighBit - LowBit + 1)) - 1;
620 uint64_t SlicedValue = (SubExprResult.getValue() >> LowBit) & Mask;
621 return std::make_pair(EvalResult(SlicedValue), RemainingExpr);
622 }
623
624 // Evaluate a "complex" expression.
625 // Takes an already evaluated subexpression and checks for the presence of a
626 // binary operator, computing the result of the binary operation if one is
627 // found. Used to make arithmetic expressions left-associative.
628 // Returns a pair containing the ultimate result of evaluating the
629 // expression, plus the expression remaining to be evaluated.
630 std::pair<EvalResult, StringRef>
Benjamin Kramer1afc1de2016-06-17 20:41:14 +0000631 evalComplexExpr(const std::pair<EvalResult, StringRef> &LHSAndRemaining,
Lang Hamesf7acddd2014-07-22 22:47:39 +0000632 ParseContext PCtx) const {
633 EvalResult LHSResult;
634 StringRef RemainingExpr;
635 std::tie(LHSResult, RemainingExpr) = LHSAndRemaining;
636
637 // If there was an error, or there's nothing left to evaluate, return the
638 // result.
639 if (LHSResult.hasError() || RemainingExpr == "")
640 return std::make_pair(LHSResult, RemainingExpr);
641
642 // Otherwise check if this is a binary expressioan.
643 BinOpToken BinOp;
644 std::tie(BinOp, RemainingExpr) = parseBinOpToken(RemainingExpr);
645
646 // If this isn't a recognized expression just return.
647 if (BinOp == BinOpToken::Invalid)
648 return std::make_pair(LHSResult, RemainingExpr);
649
650 // This is a recognized bin-op. Evaluate the RHS, then evaluate the binop.
651 EvalResult RHSResult;
652 std::tie(RHSResult, RemainingExpr) = evalSimpleExpr(RemainingExpr, PCtx);
653
654 // If there was an error evaluating the RHS, return it.
655 if (RHSResult.hasError())
656 return std::make_pair(RHSResult, RemainingExpr);
657
658 // This is a binary expression - evaluate and try to continue as a
659 // complex expr.
660 EvalResult ThisResult(computeBinOpResult(BinOp, LHSResult, RHSResult));
661
662 return evalComplexExpr(std::make_pair(ThisResult, RemainingExpr), PCtx);
663 }
664
665 bool decodeInst(StringRef Symbol, MCInst &Inst, uint64_t &Size) const {
666 MCDisassembler *Dis = Checker.Disassembler;
Lang Hames941f2472019-04-08 21:50:48 +0000667 StringRef SymbolMem = Checker.getSymbolContent(Symbol);
668 ArrayRef<uint8_t> SymbolBytes(SymbolMem.bytes_begin(), SymbolMem.size());
Lang Hamesf7acddd2014-07-22 22:47:39 +0000669
670 MCDisassembler::DecodeStatus S =
Lang Hames941f2472019-04-08 21:50:48 +0000671 Dis->getInstruction(Inst, Size, SymbolBytes, 0, nulls(), nulls());
Lang Hamesf7acddd2014-07-22 22:47:39 +0000672
673 return (S == MCDisassembler::Success);
674 }
675};
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000676}
Lang Hamese1c11382014-06-27 20:20:57 +0000677
Lang Hames941f2472019-04-08 21:50:48 +0000678RuntimeDyldCheckerImpl::RuntimeDyldCheckerImpl(
679 IsSymbolValidFunction IsSymbolValid,
680 GetSymbolAddressFunction GetSymbolAddress,
681 GetSymbolContentFunction GetSymbolContent,
682 GetSectionLoadAddressFunction GetSectionLoadAddress,
683 GetSectionContentFunction GetSectionContent,
684 GetStubOffsetInSectionFunction GetStubOffsetInSection,
685 support::endianness Endianness,
686 MCDisassembler *Disassembler,
687 MCInstPrinter *InstPrinter,
688 raw_ostream &ErrStream)
689 : IsSymbolValid(std::move(IsSymbolValid)),
690 GetSymbolAddress(std::move(GetSymbolAddress)),
691 GetSymbolContent(std::move(GetSymbolContent)),
692 GetSectionLoadAddress(std::move(GetSectionLoadAddress)),
693 GetSectionContent(std::move(GetSectionContent)),
694 GetStubOffsetInSection(std::move(GetStubOffsetInSection)),
695 Endianness(Endianness), Disassembler(Disassembler),
696 InstPrinter(InstPrinter), ErrStream(ErrStream) {}
Lang Hamesf7acddd2014-07-22 22:47:39 +0000697
698bool RuntimeDyldCheckerImpl::check(StringRef CheckExpr) const {
Lang Hamese1c11382014-06-27 20:20:57 +0000699 CheckExpr = CheckExpr.trim();
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000700 LLVM_DEBUG(dbgs() << "RuntimeDyldChecker: Checking '" << CheckExpr
701 << "'...\n");
Lang Hamese1c11382014-06-27 20:20:57 +0000702 RuntimeDyldCheckerExprEval P(*this, ErrStream);
703 bool Result = P.evaluate(CheckExpr);
704 (void)Result;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000705 LLVM_DEBUG(dbgs() << "RuntimeDyldChecker: '" << CheckExpr << "' "
706 << (Result ? "passed" : "FAILED") << ".\n");
Lang Hamese1c11382014-06-27 20:20:57 +0000707 return Result;
708}
709
Lang Hamesf7acddd2014-07-22 22:47:39 +0000710bool RuntimeDyldCheckerImpl::checkAllRulesInBuffer(StringRef RulePrefix,
711 MemoryBuffer *MemBuf) const {
Lang Hamese1c11382014-06-27 20:20:57 +0000712 bool DidAllTestsPass = true;
713 unsigned NumRules = 0;
714
715 const char *LineStart = MemBuf->getBufferStart();
716
717 // Eat whitespace.
Lang Hamesf7acddd2014-07-22 22:47:39 +0000718 while (LineStart != MemBuf->getBufferEnd() && std::isspace(*LineStart))
Lang Hamese1c11382014-06-27 20:20:57 +0000719 ++LineStart;
720
721 while (LineStart != MemBuf->getBufferEnd() && *LineStart != '\0') {
722 const char *LineEnd = LineStart;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000723 while (LineEnd != MemBuf->getBufferEnd() && *LineEnd != '\r' &&
724 *LineEnd != '\n')
Lang Hamese1c11382014-06-27 20:20:57 +0000725 ++LineEnd;
726
727 StringRef Line(LineStart, LineEnd - LineStart);
728 if (Line.startswith(RulePrefix)) {
729 DidAllTestsPass &= check(Line.substr(RulePrefix.size()));
730 ++NumRules;
731 }
732
733 // Eat whitespace.
734 LineStart = LineEnd;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000735 while (LineStart != MemBuf->getBufferEnd() && std::isspace(*LineStart))
Lang Hamese1c11382014-06-27 20:20:57 +0000736 ++LineStart;
737 }
738 return DidAllTestsPass && (NumRules != 0);
739}
740
Lang Hamesf7acddd2014-07-22 22:47:39 +0000741bool RuntimeDyldCheckerImpl::isSymbolValid(StringRef Symbol) const {
Lang Hames941f2472019-04-08 21:50:48 +0000742 return IsSymbolValid(Symbol);
Lang Hamese1c11382014-06-27 20:20:57 +0000743}
744
Lang Hamesb1186032015-03-11 00:43:26 +0000745uint64_t RuntimeDyldCheckerImpl::getSymbolLocalAddr(StringRef Symbol) const {
Lang Hames941f2472019-04-08 21:50:48 +0000746 auto Contents = GetSymbolContent(Symbol);
747 if (!Contents) {
748 logAllUnhandledErrors(Contents.takeError(), errs(), "RTDyldChecker: ");
749 return 0;
750 }
751 return static_cast<uint64_t>(reinterpret_cast<uintptr_t>(Contents->data()));
Lang Hamese1c11382014-06-27 20:20:57 +0000752}
753
Lang Hamesf7acddd2014-07-22 22:47:39 +0000754uint64_t RuntimeDyldCheckerImpl::getSymbolRemoteAddr(StringRef Symbol) const {
Lang Hames941f2472019-04-08 21:50:48 +0000755 auto Addr = GetSymbolAddress(Symbol);
756 if (!Addr) {
757 logAllUnhandledErrors(Addr.takeError(), errs(), "RTDyldChecker: ");
Lang Hamesb72f4842018-01-19 22:24:13 +0000758 return 0;
759 }
Lang Hames941f2472019-04-08 21:50:48 +0000760
761 return *Addr;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000762}
763
764uint64_t RuntimeDyldCheckerImpl::readMemoryAtAddr(uint64_t SrcAddr,
765 unsigned Size) const {
766 uintptr_t PtrSizedAddr = static_cast<uintptr_t>(SrcAddr);
767 assert(PtrSizedAddr == SrcAddr && "Linker memory pointer out-of-range.");
Lang Hames941f2472019-04-08 21:50:48 +0000768 void *Ptr = reinterpret_cast<void*>(PtrSizedAddr);
769
770 switch (Size) {
771 case 1:
772 return support::endian::read<uint8_t>(Ptr, Endianness);
773 case 2:
774 return support::endian::read<uint16_t>(Ptr, Endianness);
775 case 4:
776 return support::endian::read<uint32_t>(Ptr, Endianness);
777 case 8:
778 return support::endian::read<uint64_t>(Ptr, Endianness);
779 }
780 llvm_unreachable("Unsupported read size");
Lang Hamese1c11382014-06-27 20:20:57 +0000781}
782
Lang Hames941f2472019-04-08 21:50:48 +0000783StringRef RuntimeDyldCheckerImpl::getSymbolContent(StringRef Symbol) const {
784 auto Content = GetSymbolContent(Symbol);
785 if (!Content) {
786 logAllUnhandledErrors(Content.takeError(), errs(), "RTDyldChecker: ");
787 return StringRef();
Lang Hamescce313b2014-07-22 23:07:52 +0000788 }
Lang Hames941f2472019-04-08 21:50:48 +0000789 return *Content;
Lang Hames587ee6a2014-09-03 05:01:46 +0000790}
791
792std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getSectionAddr(
793 StringRef FileName, StringRef SectionName, bool IsInsideLoad) const {
794
Lang Hames941f2472019-04-08 21:50:48 +0000795 uint64_t Addr = 0;
796 std::string ErrMsg;
797
798 // If this address is being looked up in "load" mode, return the content
799 // pointer.
800 if (IsInsideLoad) {
801 if (auto Content = GetSectionContent(FileName, SectionName))
802 Addr = pointerToJITTargetAddress(Content->data());
803 else {
804 raw_string_ostream ErrMsgStream(ErrMsg);
805 logAllUnhandledErrors(Content.takeError(), ErrMsgStream,
806 "RTDyldChecker: ");
807 }
808 return std::make_pair(Addr, std::move(ErrMsg));
Lang Hames587ee6a2014-09-03 05:01:46 +0000809 }
810
Lang Hames941f2472019-04-08 21:50:48 +0000811 // ... otherwise return the target pointer.
812 if (auto LoadAddr = GetSectionLoadAddress(FileName, SectionName))
813 Addr = *LoadAddr;
Lang Hames587ee6a2014-09-03 05:01:46 +0000814 else
Lang Hames941f2472019-04-08 21:50:48 +0000815 return std::make_pair(Addr, ("Section (" + FileName + ", " +
816 SectionName + ") does not exist").str());
Lang Hames587ee6a2014-09-03 05:01:46 +0000817
Lang Hames941f2472019-04-08 21:50:48 +0000818 return std::make_pair(Addr, std::move(ErrMsg));
Lang Hames587ee6a2014-09-03 05:01:46 +0000819}
820
821std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getStubAddrFor(
822 StringRef FileName, StringRef SectionName, StringRef SymbolName,
823 bool IsInsideLoad) const {
824
Lang Hames941f2472019-04-08 21:50:48 +0000825 auto SectionAddr = getSectionAddr(FileName, SectionName, IsInsideLoad);
Lang Hames587ee6a2014-09-03 05:01:46 +0000826
Lang Hames941f2472019-04-08 21:50:48 +0000827 if (!SectionAddr.second.empty())
828 return SectionAddr;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000829
Lang Hames941f2472019-04-08 21:50:48 +0000830 auto StubOffset = GetStubOffsetInSection(FileName, SectionName, SymbolName);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000831
Lang Hames941f2472019-04-08 21:50:48 +0000832 if (!StubOffset) {
833 std::string ErrMsg;
834 {
835 raw_string_ostream ErrMsgStream(ErrMsg);
836 logAllUnhandledErrors(StubOffset.takeError(), ErrMsgStream,
837 "RTDyldChecker: ");
Lang Hamesf7acddd2014-07-22 22:47:39 +0000838 }
Lang Hames941f2472019-04-08 21:50:48 +0000839 return std::make_pair((uint64_t)0, std::move(ErrMsg));
Lang Hamesf7acddd2014-07-22 22:47:39 +0000840 }
Lang Hames941f2472019-04-08 21:50:48 +0000841
842 return std::make_pair(SectionAddr.first + *StubOffset, "");
Lang Hamesf7acddd2014-07-22 22:47:39 +0000843}
844
Lang Hames941f2472019-04-08 21:50:48 +0000845RuntimeDyldChecker::RuntimeDyldChecker(
846 IsSymbolValidFunction IsSymbolValid,
847 GetSymbolAddressFunction GetSymbolAddress,
848 GetSymbolContentFunction GetSymbolContent,
849 GetSectionLoadAddressFunction GetSectionLoadAddress,
850 GetSectionContentFunction GetSectionContent,
851 GetStubOffsetInSectionFunction GetStubOffsetInSection,
852 support::endianness Endianness,
853 MCDisassembler *Disassembler,
854 MCInstPrinter *InstPrinter,
855 raw_ostream &ErrStream)
Nico Weberaf583452019-04-09 14:02:02 +0000856 : Impl(::llvm::make_unique<RuntimeDyldCheckerImpl>(
Lang Hames941f2472019-04-08 21:50:48 +0000857 std::move(IsSymbolValid),
858 std::move(GetSymbolAddress),
859 std::move(GetSymbolContent),
860 std::move(GetSectionLoadAddress),
861 std::move(GetSectionContent),
862 std::move(GetStubOffsetInSection),
863 Endianness, Disassembler,
864 InstPrinter, ErrStream)) {}
Lang Hamesf7acddd2014-07-22 22:47:39 +0000865
866RuntimeDyldChecker::~RuntimeDyldChecker() {}
867
868bool RuntimeDyldChecker::check(StringRef CheckExpr) const {
869 return Impl->check(CheckExpr);
870}
871
872bool RuntimeDyldChecker::checkAllRulesInBuffer(StringRef RulePrefix,
873 MemoryBuffer *MemBuf) const {
874 return Impl->checkAllRulesInBuffer(RulePrefix, MemBuf);
Lang Hamese1c11382014-06-27 20:20:57 +0000875}
Lang Hames778ef5b2014-09-04 04:19:54 +0000876
877std::pair<uint64_t, std::string>
878RuntimeDyldChecker::getSectionAddr(StringRef FileName, StringRef SectionName,
Lang Hamesb1186032015-03-11 00:43:26 +0000879 bool LocalAddress) {
880 return Impl->getSectionAddr(FileName, SectionName, LocalAddress);
Lang Hames778ef5b2014-09-04 04:19:54 +0000881}