blob: 957571b092dab131af4c53c0f384d99a30469b5b [file] [log] [blame]
Lang Hamese1c11382014-06-27 20:20:57 +00001//===--- RuntimeDyldChecker.cpp - RuntimeDyld tester framework --*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Lang Hamesf7acddd2014-07-22 22:47:39 +000010#include "llvm/ADT/STLExtras.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000011#include "RuntimeDyldCheckerImpl.h"
12#include "RuntimeDyldImpl.h"
Lang Hamese1c11382014-06-27 20:20:57 +000013#include "llvm/ExecutionEngine/RuntimeDyldChecker.h"
14#include "llvm/MC/MCContext.h"
15#include "llvm/MC/MCDisassembler.h"
16#include "llvm/MC/MCInst.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>
20
21#define DEBUG_TYPE "rtdyld"
22
23using namespace llvm;
24
25namespace llvm {
26
Lang Hamesf7acddd2014-07-22 22:47:39 +000027// Helper class that implements the language evaluated by RuntimeDyldChecker.
28class RuntimeDyldCheckerExprEval {
29public:
30 RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker,
31 raw_ostream &ErrStream)
32 : Checker(Checker) {}
Lang Hamese1c11382014-06-27 20:20:57 +000033
Lang Hamesf7acddd2014-07-22 22:47:39 +000034 bool evaluate(StringRef Expr) const {
35 // Expect equality expression of the form 'LHS = RHS'.
36 Expr = Expr.trim();
37 size_t EQIdx = Expr.find('=');
Lang Hamese1c11382014-06-27 20:20:57 +000038
Lang Hamesf7acddd2014-07-22 22:47:39 +000039 ParseContext OutsideLoad(false);
Lang Hamese1c11382014-06-27 20:20:57 +000040
Lang Hamesf7acddd2014-07-22 22:47:39 +000041 // Evaluate LHS.
42 StringRef LHSExpr = Expr.substr(0, EQIdx).rtrim();
43 StringRef RemainingExpr;
44 EvalResult LHSResult;
45 std::tie(LHSResult, RemainingExpr) =
46 evalComplexExpr(evalSimpleExpr(LHSExpr, OutsideLoad), OutsideLoad);
47 if (LHSResult.hasError())
48 return handleError(Expr, LHSResult);
49 if (RemainingExpr != "")
50 return handleError(Expr, unexpectedToken(RemainingExpr, LHSExpr, ""));
Lang Hamese1c11382014-06-27 20:20:57 +000051
Lang Hamesf7acddd2014-07-22 22:47:39 +000052 // Evaluate RHS.
53 StringRef RHSExpr = Expr.substr(EQIdx + 1).ltrim();
54 EvalResult RHSResult;
55 std::tie(RHSResult, RemainingExpr) =
56 evalComplexExpr(evalSimpleExpr(RHSExpr, OutsideLoad), OutsideLoad);
57 if (RHSResult.hasError())
58 return handleError(Expr, RHSResult);
59 if (RemainingExpr != "")
60 return handleError(Expr, unexpectedToken(RemainingExpr, RHSExpr, ""));
Lang Hamese1c11382014-06-27 20:20:57 +000061
Lang Hamesf7acddd2014-07-22 22:47:39 +000062 if (LHSResult.getValue() != RHSResult.getValue()) {
63 Checker.ErrStream << "Expression '" << Expr << "' is false: "
Lang Hamesb2eb4922014-07-29 21:38:20 +000064 << format("0x%" PRIx64, LHSResult.getValue())
65 << " != " << format("0x%" PRIx64, RHSResult.getValue())
Lang Hamesf7acddd2014-07-22 22:47:39 +000066 << "\n";
Lang Hamese1c11382014-06-27 20:20:57 +000067 return false;
68 }
Lang Hamesf7acddd2014-07-22 22:47:39 +000069 return true;
70 }
Lang Hamese1c11382014-06-27 20:20:57 +000071
Lang Hamesf7acddd2014-07-22 22:47:39 +000072private:
73 // RuntimeDyldCheckerExprEval requires some context when parsing exprs. In
74 // particular, it needs to know whether a symbol is being evaluated in the
75 // context of a load, in which case we want the linker's local address for
76 // the symbol, or outside of a load, in which case we want the symbol's
77 // address in the remote target.
Lang Hamese1c11382014-06-27 20:20:57 +000078
Lang Hamesf7acddd2014-07-22 22:47:39 +000079 struct ParseContext {
80 bool IsInsideLoad;
81 ParseContext(bool IsInsideLoad) : IsInsideLoad(IsInsideLoad) {}
Lang Hamese1c11382014-06-27 20:20:57 +000082 };
83
Lang Hamesf7acddd2014-07-22 22:47:39 +000084 const RuntimeDyldCheckerImpl &Checker;
85
86 enum class BinOpToken : unsigned {
87 Invalid,
88 Add,
89 Sub,
90 BitwiseAnd,
91 BitwiseOr,
92 ShiftLeft,
93 ShiftRight
94 };
95
96 class EvalResult {
97 public:
98 EvalResult() : Value(0), ErrorMsg("") {}
99 EvalResult(uint64_t Value) : Value(Value), ErrorMsg("") {}
100 EvalResult(std::string ErrorMsg) : Value(0), ErrorMsg(ErrorMsg) {}
101 uint64_t getValue() const { return Value; }
102 bool hasError() const { return ErrorMsg != ""; }
103 const std::string &getErrorMsg() const { return ErrorMsg; }
104
105 private:
106 uint64_t Value;
107 std::string ErrorMsg;
108 };
109
110 StringRef getTokenForError(StringRef Expr) const {
111 if (Expr.empty())
112 return "";
113
114 StringRef Token, Remaining;
115 if (isalpha(Expr[0]))
116 std::tie(Token, Remaining) = parseSymbol(Expr);
117 else if (isdigit(Expr[0]))
118 std::tie(Token, Remaining) = parseNumberString(Expr);
119 else {
120 unsigned TokLen = 1;
121 if (Expr.startswith("<<") || Expr.startswith(">>"))
122 TokLen = 2;
123 Token = Expr.substr(0, TokLen);
124 }
125 return Token;
126 }
127
128 EvalResult unexpectedToken(StringRef TokenStart, StringRef SubExpr,
129 StringRef ErrText) const {
130 std::string ErrorMsg("Encountered unexpected token '");
131 ErrorMsg += getTokenForError(TokenStart);
132 if (SubExpr != "") {
133 ErrorMsg += "' while parsing subexpression '";
134 ErrorMsg += SubExpr;
135 }
136 ErrorMsg += "'";
137 if (ErrText != "") {
138 ErrorMsg += " ";
139 ErrorMsg += ErrText;
140 }
141 return EvalResult(std::move(ErrorMsg));
142 }
143
144 bool handleError(StringRef Expr, const EvalResult &R) const {
145 assert(R.hasError() && "Not an error result.");
146 Checker.ErrStream << "Error evaluating expression '" << Expr
147 << "': " << R.getErrorMsg() << "\n";
148 return false;
149 }
150
151 std::pair<BinOpToken, StringRef> parseBinOpToken(StringRef Expr) const {
152 if (Expr.empty())
153 return std::make_pair(BinOpToken::Invalid, "");
154
155 // Handle the two 2-character tokens.
156 if (Expr.startswith("<<"))
157 return std::make_pair(BinOpToken::ShiftLeft, Expr.substr(2).ltrim());
158 if (Expr.startswith(">>"))
159 return std::make_pair(BinOpToken::ShiftRight, Expr.substr(2).ltrim());
160
161 // Handle one-character tokens.
162 BinOpToken Op;
163 switch (Expr[0]) {
164 default:
165 return std::make_pair(BinOpToken::Invalid, Expr);
166 case '+':
167 Op = BinOpToken::Add;
168 break;
169 case '-':
170 Op = BinOpToken::Sub;
171 break;
172 case '&':
173 Op = BinOpToken::BitwiseAnd;
174 break;
175 case '|':
176 Op = BinOpToken::BitwiseOr;
177 break;
178 }
179
180 return std::make_pair(Op, Expr.substr(1).ltrim());
181 }
182
183 EvalResult computeBinOpResult(BinOpToken Op, const EvalResult &LHSResult,
184 const EvalResult &RHSResult) const {
185 switch (Op) {
186 default:
187 llvm_unreachable("Tried to evaluate unrecognized operation.");
188 case BinOpToken::Add:
189 return EvalResult(LHSResult.getValue() + RHSResult.getValue());
190 case BinOpToken::Sub:
191 return EvalResult(LHSResult.getValue() - RHSResult.getValue());
192 case BinOpToken::BitwiseAnd:
193 return EvalResult(LHSResult.getValue() & RHSResult.getValue());
194 case BinOpToken::BitwiseOr:
195 return EvalResult(LHSResult.getValue() | RHSResult.getValue());
196 case BinOpToken::ShiftLeft:
197 return EvalResult(LHSResult.getValue() << RHSResult.getValue());
198 case BinOpToken::ShiftRight:
199 return EvalResult(LHSResult.getValue() >> RHSResult.getValue());
200 }
201 }
202
203 // Parse a symbol and return a (string, string) pair representing the symbol
204 // name and expression remaining to be parsed.
205 std::pair<StringRef, StringRef> parseSymbol(StringRef Expr) const {
206 size_t FirstNonSymbol = Expr.find_first_not_of("0123456789"
207 "abcdefghijklmnopqrstuvwxyz"
208 "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
Lang Hameseb99df82014-08-19 20:04:45 +0000209 ":_.$");
Lang Hamesf7acddd2014-07-22 22:47:39 +0000210 return std::make_pair(Expr.substr(0, FirstNonSymbol),
211 Expr.substr(FirstNonSymbol).ltrim());
212 }
213
214 // Evaluate a call to decode_operand. Decode the instruction operand at the
215 // given symbol and get the value of the requested operand.
216 // Returns an error if the instruction cannot be decoded, or the requested
217 // operand is not an immediate.
218 // On success, retuns a pair containing the value of the operand, plus
219 // the expression remaining to be evaluated.
220 std::pair<EvalResult, StringRef> evalDecodeOperand(StringRef Expr) const {
221 if (!Expr.startswith("("))
222 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
223 StringRef RemainingExpr = Expr.substr(1).ltrim();
224 StringRef Symbol;
225 std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
226
227 if (!Checker.isSymbolValid(Symbol))
228 return std::make_pair(
229 EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()),
230 "");
231
232 if (!RemainingExpr.startswith(","))
233 return std::make_pair(
234 unexpectedToken(RemainingExpr, RemainingExpr, "expected ','"), "");
235 RemainingExpr = RemainingExpr.substr(1).ltrim();
236
237 EvalResult OpIdxExpr;
238 std::tie(OpIdxExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
239 if (OpIdxExpr.hasError())
240 return std::make_pair(OpIdxExpr, "");
241
242 if (!RemainingExpr.startswith(")"))
243 return std::make_pair(
244 unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), "");
245 RemainingExpr = RemainingExpr.substr(1).ltrim();
246
247 MCInst Inst;
248 uint64_t Size;
249 if (!decodeInst(Symbol, Inst, Size))
250 return std::make_pair(
251 EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()),
252 "");
253
254 unsigned OpIdx = OpIdxExpr.getValue();
255 if (OpIdx >= Inst.getNumOperands()) {
256 std::string ErrMsg;
257 raw_string_ostream ErrMsgStream(ErrMsg);
258 ErrMsgStream << "Invalid operand index '" << format("%i", OpIdx)
259 << "' for instruction '" << Symbol
260 << "'. Instruction has only "
261 << format("%i", Inst.getNumOperands())
262 << " operands.\nInstruction is:\n ";
Sean Silva0e1fe182015-02-05 00:58:51 +0000263 Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000264 return std::make_pair(EvalResult(ErrMsgStream.str()), "");
265 }
266
267 const MCOperand &Op = Inst.getOperand(OpIdx);
268 if (!Op.isImm()) {
269 std::string ErrMsg;
270 raw_string_ostream ErrMsgStream(ErrMsg);
271 ErrMsgStream << "Operand '" << format("%i", OpIdx) << "' of instruction '"
272 << Symbol << "' is not an immediate.\nInstruction is:\n ";
Sean Silva0e1fe182015-02-05 00:58:51 +0000273 Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000274
275 return std::make_pair(EvalResult(ErrMsgStream.str()), "");
276 }
277
278 return std::make_pair(EvalResult(Op.getImm()), RemainingExpr);
279 }
280
281 // Evaluate a call to next_pc.
282 // Decode the instruction at the given symbol and return the following program
283 // counter.
284 // Returns an error if the instruction cannot be decoded.
285 // On success, returns a pair containing the next PC, plus of the
286 // expression remaining to be evaluated.
287 std::pair<EvalResult, StringRef> evalNextPC(StringRef Expr,
288 ParseContext PCtx) const {
289 if (!Expr.startswith("("))
290 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
291 StringRef RemainingExpr = Expr.substr(1).ltrim();
292 StringRef Symbol;
293 std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
294
295 if (!Checker.isSymbolValid(Symbol))
296 return std::make_pair(
297 EvalResult(("Cannot decode unknown symbol '" + Symbol + "'").str()),
298 "");
299
300 if (!RemainingExpr.startswith(")"))
301 return std::make_pair(
302 unexpectedToken(RemainingExpr, RemainingExpr, "expected ')'"), "");
303 RemainingExpr = RemainingExpr.substr(1).ltrim();
304
305 MCInst Inst;
306 uint64_t InstSize;
307 if (!decodeInst(Symbol, Inst, InstSize))
308 return std::make_pair(
309 EvalResult(("Couldn't decode instruction at '" + Symbol + "'").str()),
310 "");
311
312 uint64_t SymbolAddr = PCtx.IsInsideLoad
Lang Hamesb1186032015-03-11 00:43:26 +0000313 ? Checker.getSymbolLocalAddr(Symbol)
Lang Hamesf7acddd2014-07-22 22:47:39 +0000314 : Checker.getSymbolRemoteAddr(Symbol);
315 uint64_t NextPC = SymbolAddr + InstSize;
316
317 return std::make_pair(EvalResult(NextPC), RemainingExpr);
318 }
319
320 // Evaluate a call to stub_addr.
321 // Look up and return the address of the stub for the given
322 // (<file name>, <section name>, <symbol name>) tuple.
323 // On success, returns a pair containing the stub address, plus the expression
324 // remaining to be evaluated.
325 std::pair<EvalResult, StringRef> evalStubAddr(StringRef Expr,
326 ParseContext PCtx) const {
327 if (!Expr.startswith("("))
328 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
329 StringRef RemainingExpr = Expr.substr(1).ltrim();
330
331 // Handle file-name specially, as it may contain characters that aren't
332 // legal for symbols.
333 StringRef FileName;
334 size_t ComaIdx = RemainingExpr.find(',');
335 FileName = RemainingExpr.substr(0, ComaIdx).rtrim();
336 RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim();
337
338 if (!RemainingExpr.startswith(","))
339 return std::make_pair(
340 unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
341 RemainingExpr = RemainingExpr.substr(1).ltrim();
342
343 StringRef SectionName;
344 std::tie(SectionName, RemainingExpr) = parseSymbol(RemainingExpr);
345
346 if (!RemainingExpr.startswith(","))
347 return std::make_pair(
348 unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
349 RemainingExpr = RemainingExpr.substr(1).ltrim();
350
351 StringRef Symbol;
352 std::tie(Symbol, RemainingExpr) = parseSymbol(RemainingExpr);
353
354 if (!RemainingExpr.startswith(")"))
355 return std::make_pair(
356 unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
357 RemainingExpr = RemainingExpr.substr(1).ltrim();
358
359 uint64_t StubAddr;
360 std::string ErrorMsg = "";
361 std::tie(StubAddr, ErrorMsg) = Checker.getStubAddrFor(
362 FileName, SectionName, Symbol, PCtx.IsInsideLoad);
363
364 if (ErrorMsg != "")
365 return std::make_pair(EvalResult(ErrorMsg), "");
366
367 return std::make_pair(EvalResult(StubAddr), RemainingExpr);
368 }
369
Lang Hames587ee6a2014-09-03 05:01:46 +0000370 std::pair<EvalResult, StringRef> evalSectionAddr(StringRef Expr,
371 ParseContext PCtx) const {
372 if (!Expr.startswith("("))
373 return std::make_pair(unexpectedToken(Expr, Expr, "expected '('"), "");
374 StringRef RemainingExpr = Expr.substr(1).ltrim();
375
376 // Handle file-name specially, as it may contain characters that aren't
377 // legal for symbols.
378 StringRef FileName;
379 size_t ComaIdx = RemainingExpr.find(',');
380 FileName = RemainingExpr.substr(0, ComaIdx).rtrim();
381 RemainingExpr = RemainingExpr.substr(ComaIdx).ltrim();
382
383 if (!RemainingExpr.startswith(","))
384 return std::make_pair(
385 unexpectedToken(RemainingExpr, Expr, "expected ','"), "");
386 RemainingExpr = RemainingExpr.substr(1).ltrim();
387
388 StringRef SectionName;
389 std::tie(SectionName, RemainingExpr) = parseSymbol(RemainingExpr);
390
391 if (!RemainingExpr.startswith(")"))
392 return std::make_pair(
393 unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
394 RemainingExpr = RemainingExpr.substr(1).ltrim();
395
396 uint64_t StubAddr;
397 std::string ErrorMsg = "";
398 std::tie(StubAddr, ErrorMsg) = Checker.getSectionAddr(
399 FileName, SectionName, PCtx.IsInsideLoad);
400
401 if (ErrorMsg != "")
402 return std::make_pair(EvalResult(ErrorMsg), "");
403
404 return std::make_pair(EvalResult(StubAddr), RemainingExpr);
405 }
406
Lang Hamesf7acddd2014-07-22 22:47:39 +0000407 // Evaluate an identiefer expr, which may be a symbol, or a call to
408 // one of the builtin functions: get_insn_opcode or get_insn_length.
409 // Return the result, plus the expression remaining to be parsed.
410 std::pair<EvalResult, StringRef> evalIdentifierExpr(StringRef Expr,
411 ParseContext PCtx) const {
412 StringRef Symbol;
413 StringRef RemainingExpr;
414 std::tie(Symbol, RemainingExpr) = parseSymbol(Expr);
415
416 // Check for builtin function calls.
417 if (Symbol == "decode_operand")
418 return evalDecodeOperand(RemainingExpr);
419 else if (Symbol == "next_pc")
420 return evalNextPC(RemainingExpr, PCtx);
421 else if (Symbol == "stub_addr")
422 return evalStubAddr(RemainingExpr, PCtx);
Lang Hames587ee6a2014-09-03 05:01:46 +0000423 else if (Symbol == "section_addr")
424 return evalSectionAddr(RemainingExpr, PCtx);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000425
426 if (!Checker.isSymbolValid(Symbol)) {
427 std::string ErrMsg("No known address for symbol '");
428 ErrMsg += Symbol;
429 ErrMsg += "'";
430 if (Symbol.startswith("L"))
431 ErrMsg += " (this appears to be an assembler local label - "
432 " perhaps drop the 'L'?)";
433
434 return std::make_pair(EvalResult(ErrMsg), "");
435 }
436
437 // The value for the symbol depends on the context we're evaluating in:
438 // Inside a load this is the address in the linker's memory, outside a
439 // load it's the address in the target processes memory.
Lang Hamesb1186032015-03-11 00:43:26 +0000440 uint64_t Value = PCtx.IsInsideLoad ? Checker.getSymbolLocalAddr(Symbol)
Lang Hamesf7acddd2014-07-22 22:47:39 +0000441 : Checker.getSymbolRemoteAddr(Symbol);
442
443 // Looks like a plain symbol reference.
444 return std::make_pair(EvalResult(Value), RemainingExpr);
445 }
446
447 // Parse a number (hexadecimal or decimal) and return a (string, string)
448 // pair representing the number and the expression remaining to be parsed.
449 std::pair<StringRef, StringRef> parseNumberString(StringRef Expr) const {
450 size_t FirstNonDigit = StringRef::npos;
451 if (Expr.startswith("0x")) {
452 FirstNonDigit = Expr.find_first_not_of("0123456789abcdefABCDEF", 2);
453 if (FirstNonDigit == StringRef::npos)
454 FirstNonDigit = Expr.size();
455 } else {
456 FirstNonDigit = Expr.find_first_not_of("0123456789");
457 if (FirstNonDigit == StringRef::npos)
458 FirstNonDigit = Expr.size();
459 }
460 return std::make_pair(Expr.substr(0, FirstNonDigit),
461 Expr.substr(FirstNonDigit));
462 }
463
464 // Evaluate a constant numeric expression (hexidecimal or decimal) and
465 // return a pair containing the result, and the expression remaining to be
466 // evaluated.
467 std::pair<EvalResult, StringRef> evalNumberExpr(StringRef Expr) const {
468 StringRef ValueStr;
469 StringRef RemainingExpr;
470 std::tie(ValueStr, RemainingExpr) = parseNumberString(Expr);
471
472 if (ValueStr.empty() || !isdigit(ValueStr[0]))
473 return std::make_pair(
474 unexpectedToken(RemainingExpr, RemainingExpr, "expected number"), "");
475 uint64_t Value;
476 ValueStr.getAsInteger(0, Value);
477 return std::make_pair(EvalResult(Value), RemainingExpr);
478 }
479
480 // Evaluate an expression of the form "(<expr>)" and return a pair
481 // containing the result of evaluating <expr>, plus the expression
482 // remaining to be parsed.
483 std::pair<EvalResult, StringRef> evalParensExpr(StringRef Expr,
484 ParseContext PCtx) const {
485 assert(Expr.startswith("(") && "Not a parenthesized expression");
486 EvalResult SubExprResult;
487 StringRef RemainingExpr;
488 std::tie(SubExprResult, RemainingExpr) =
489 evalComplexExpr(evalSimpleExpr(Expr.substr(1).ltrim(), PCtx), PCtx);
490 if (SubExprResult.hasError())
491 return std::make_pair(SubExprResult, "");
492 if (!RemainingExpr.startswith(")"))
493 return std::make_pair(
494 unexpectedToken(RemainingExpr, Expr, "expected ')'"), "");
495 RemainingExpr = RemainingExpr.substr(1).ltrim();
496 return std::make_pair(SubExprResult, RemainingExpr);
497 }
498
499 // Evaluate an expression in one of the following forms:
500 // *{<number>}<expr>
501 // Return a pair containing the result, plus the expression remaining to be
502 // parsed.
503 std::pair<EvalResult, StringRef> evalLoadExpr(StringRef Expr) const {
504 assert(Expr.startswith("*") && "Not a load expression");
505 StringRef RemainingExpr = Expr.substr(1).ltrim();
506
507 // Parse read size.
508 if (!RemainingExpr.startswith("{"))
509 return std::make_pair(EvalResult("Expected '{' following '*'."), "");
510 RemainingExpr = RemainingExpr.substr(1).ltrim();
511 EvalResult ReadSizeExpr;
512 std::tie(ReadSizeExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
513 if (ReadSizeExpr.hasError())
514 return std::make_pair(ReadSizeExpr, RemainingExpr);
515 uint64_t ReadSize = ReadSizeExpr.getValue();
516 if (ReadSize < 1 || ReadSize > 8)
517 return std::make_pair(EvalResult("Invalid size for dereference."), "");
518 if (!RemainingExpr.startswith("}"))
519 return std::make_pair(EvalResult("Missing '}' for dereference."), "");
520 RemainingExpr = RemainingExpr.substr(1).ltrim();
521
522 // Evaluate the expression representing the load address.
523 ParseContext LoadCtx(true);
524 EvalResult LoadAddrExprResult;
525 std::tie(LoadAddrExprResult, RemainingExpr) =
526 evalComplexExpr(evalSimpleExpr(RemainingExpr, LoadCtx), LoadCtx);
527
528 if (LoadAddrExprResult.hasError())
529 return std::make_pair(LoadAddrExprResult, "");
530
531 uint64_t LoadAddr = LoadAddrExprResult.getValue();
532
533 return std::make_pair(
534 EvalResult(Checker.readMemoryAtAddr(LoadAddr, ReadSize)),
535 RemainingExpr);
536 }
537
538 // Evaluate a "simple" expression. This is any expression that _isn't_ an
539 // un-parenthesized binary expression.
540 //
541 // "Simple" expressions can be optionally bit-sliced. See evalSlicedExpr.
542 //
543 // Returns a pair containing the result of the evaluation, plus the
544 // expression remaining to be parsed.
545 std::pair<EvalResult, StringRef> evalSimpleExpr(StringRef Expr,
546 ParseContext PCtx) const {
547 EvalResult SubExprResult;
548 StringRef RemainingExpr;
549
550 if (Expr.empty())
551 return std::make_pair(EvalResult("Unexpected end of expression"), "");
552
553 if (Expr[0] == '(')
554 std::tie(SubExprResult, RemainingExpr) = evalParensExpr(Expr, PCtx);
555 else if (Expr[0] == '*')
556 std::tie(SubExprResult, RemainingExpr) = evalLoadExpr(Expr);
Lang Hamesc90a85ff2014-07-22 23:17:21 +0000557 else if (isalpha(Expr[0]) || Expr[0] == '_')
Lang Hamesf7acddd2014-07-22 22:47:39 +0000558 std::tie(SubExprResult, RemainingExpr) = evalIdentifierExpr(Expr, PCtx);
559 else if (isdigit(Expr[0]))
560 std::tie(SubExprResult, RemainingExpr) = evalNumberExpr(Expr);
Lang Hames587ee6a2014-09-03 05:01:46 +0000561 else
562 return std::make_pair(
563 unexpectedToken(Expr, Expr,
564 "expected '(', '*', identifier, or number"), "");
Lang Hamesf7acddd2014-07-22 22:47:39 +0000565
566 if (SubExprResult.hasError())
567 return std::make_pair(SubExprResult, RemainingExpr);
568
569 // Evaluate bit-slice if present.
570 if (RemainingExpr.startswith("["))
571 std::tie(SubExprResult, RemainingExpr) =
572 evalSliceExpr(std::make_pair(SubExprResult, RemainingExpr));
573
574 return std::make_pair(SubExprResult, RemainingExpr);
575 }
576
577 // Evaluate a bit-slice of an expression.
578 // A bit-slice has the form "<expr>[high:low]". The result of evaluating a
579 // slice is the bits between high and low (inclusive) in the original
580 // expression, right shifted so that the "low" bit is in position 0 in the
581 // result.
582 // Returns a pair containing the result of the slice operation, plus the
583 // expression remaining to be parsed.
584 std::pair<EvalResult, StringRef>
585 evalSliceExpr(std::pair<EvalResult, StringRef> Ctx) const {
586 EvalResult SubExprResult;
587 StringRef RemainingExpr;
588 std::tie(SubExprResult, RemainingExpr) = Ctx;
589
590 assert(RemainingExpr.startswith("[") && "Not a slice expr.");
591 RemainingExpr = RemainingExpr.substr(1).ltrim();
592
593 EvalResult HighBitExpr;
594 std::tie(HighBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
595
596 if (HighBitExpr.hasError())
597 return std::make_pair(HighBitExpr, RemainingExpr);
598
599 if (!RemainingExpr.startswith(":"))
600 return std::make_pair(
601 unexpectedToken(RemainingExpr, RemainingExpr, "expected ':'"), "");
602 RemainingExpr = RemainingExpr.substr(1).ltrim();
603
604 EvalResult LowBitExpr;
605 std::tie(LowBitExpr, RemainingExpr) = evalNumberExpr(RemainingExpr);
606
607 if (LowBitExpr.hasError())
608 return std::make_pair(LowBitExpr, RemainingExpr);
609
610 if (!RemainingExpr.startswith("]"))
611 return std::make_pair(
612 unexpectedToken(RemainingExpr, RemainingExpr, "expected ']'"), "");
613 RemainingExpr = RemainingExpr.substr(1).ltrim();
614
615 unsigned HighBit = HighBitExpr.getValue();
616 unsigned LowBit = LowBitExpr.getValue();
617 uint64_t Mask = ((uint64_t)1 << (HighBit - LowBit + 1)) - 1;
618 uint64_t SlicedValue = (SubExprResult.getValue() >> LowBit) & Mask;
619 return std::make_pair(EvalResult(SlicedValue), RemainingExpr);
620 }
621
622 // Evaluate a "complex" expression.
623 // Takes an already evaluated subexpression and checks for the presence of a
624 // binary operator, computing the result of the binary operation if one is
625 // found. Used to make arithmetic expressions left-associative.
626 // Returns a pair containing the ultimate result of evaluating the
627 // expression, plus the expression remaining to be evaluated.
628 std::pair<EvalResult, StringRef>
629 evalComplexExpr(std::pair<EvalResult, StringRef> LHSAndRemaining,
630 ParseContext PCtx) const {
631 EvalResult LHSResult;
632 StringRef RemainingExpr;
633 std::tie(LHSResult, RemainingExpr) = LHSAndRemaining;
634
635 // If there was an error, or there's nothing left to evaluate, return the
636 // result.
637 if (LHSResult.hasError() || RemainingExpr == "")
638 return std::make_pair(LHSResult, RemainingExpr);
639
640 // Otherwise check if this is a binary expressioan.
641 BinOpToken BinOp;
642 std::tie(BinOp, RemainingExpr) = parseBinOpToken(RemainingExpr);
643
644 // If this isn't a recognized expression just return.
645 if (BinOp == BinOpToken::Invalid)
646 return std::make_pair(LHSResult, RemainingExpr);
647
648 // This is a recognized bin-op. Evaluate the RHS, then evaluate the binop.
649 EvalResult RHSResult;
650 std::tie(RHSResult, RemainingExpr) = evalSimpleExpr(RemainingExpr, PCtx);
651
652 // If there was an error evaluating the RHS, return it.
653 if (RHSResult.hasError())
654 return std::make_pair(RHSResult, RemainingExpr);
655
656 // This is a binary expression - evaluate and try to continue as a
657 // complex expr.
658 EvalResult ThisResult(computeBinOpResult(BinOp, LHSResult, RHSResult));
659
660 return evalComplexExpr(std::make_pair(ThisResult, RemainingExpr), PCtx);
661 }
662
663 bool decodeInst(StringRef Symbol, MCInst &Inst, uint64_t &Size) const {
664 MCDisassembler *Dis = Checker.Disassembler;
665 StringRef SectionMem = Checker.getSubsectionStartingAt(Symbol);
Aaron Ballman7a7b1442014-11-12 13:55:27 +0000666 ArrayRef<uint8_t> SectionBytes(
Aaron Ballman9f8d2b092014-11-12 19:43:13 +0000667 reinterpret_cast<const uint8_t *>(SectionMem.data()),
Aaron Ballman7a7b1442014-11-12 13:55:27 +0000668 SectionMem.size());
Lang Hamesf7acddd2014-07-22 22:47:39 +0000669
670 MCDisassembler::DecodeStatus S =
671 Dis->getInstruction(Inst, Size, SectionBytes, 0, nulls(), nulls());
672
673 return (S == MCDisassembler::Success);
674 }
675};
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000676}
Lang Hamese1c11382014-06-27 20:20:57 +0000677
Lang Hamesf7acddd2014-07-22 22:47:39 +0000678RuntimeDyldCheckerImpl::RuntimeDyldCheckerImpl(RuntimeDyld &RTDyld,
679 MCDisassembler *Disassembler,
680 MCInstPrinter *InstPrinter,
681 raw_ostream &ErrStream)
682 : RTDyld(RTDyld), Disassembler(Disassembler), InstPrinter(InstPrinter),
683 ErrStream(ErrStream) {
684 RTDyld.Checker = this;
685}
686
687bool RuntimeDyldCheckerImpl::check(StringRef CheckExpr) const {
Lang Hamese1c11382014-06-27 20:20:57 +0000688 CheckExpr = CheckExpr.trim();
Lang Hamesf7acddd2014-07-22 22:47:39 +0000689 DEBUG(dbgs() << "RuntimeDyldChecker: Checking '" << CheckExpr << "'...\n");
Lang Hamese1c11382014-06-27 20:20:57 +0000690 RuntimeDyldCheckerExprEval P(*this, ErrStream);
691 bool Result = P.evaluate(CheckExpr);
692 (void)Result;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000693 DEBUG(dbgs() << "RuntimeDyldChecker: '" << CheckExpr << "' "
694 << (Result ? "passed" : "FAILED") << ".\n");
Lang Hamese1c11382014-06-27 20:20:57 +0000695 return Result;
696}
697
Lang Hamesf7acddd2014-07-22 22:47:39 +0000698bool RuntimeDyldCheckerImpl::checkAllRulesInBuffer(StringRef RulePrefix,
699 MemoryBuffer *MemBuf) const {
Lang Hamese1c11382014-06-27 20:20:57 +0000700 bool DidAllTestsPass = true;
701 unsigned NumRules = 0;
702
703 const char *LineStart = MemBuf->getBufferStart();
704
705 // Eat whitespace.
Lang Hamesf7acddd2014-07-22 22:47:39 +0000706 while (LineStart != MemBuf->getBufferEnd() && std::isspace(*LineStart))
Lang Hamese1c11382014-06-27 20:20:57 +0000707 ++LineStart;
708
709 while (LineStart != MemBuf->getBufferEnd() && *LineStart != '\0') {
710 const char *LineEnd = LineStart;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000711 while (LineEnd != MemBuf->getBufferEnd() && *LineEnd != '\r' &&
712 *LineEnd != '\n')
Lang Hamese1c11382014-06-27 20:20:57 +0000713 ++LineEnd;
714
715 StringRef Line(LineStart, LineEnd - LineStart);
716 if (Line.startswith(RulePrefix)) {
717 DidAllTestsPass &= check(Line.substr(RulePrefix.size()));
718 ++NumRules;
719 }
720
721 // Eat whitespace.
722 LineStart = LineEnd;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000723 while (LineStart != MemBuf->getBufferEnd() && std::isspace(*LineStart))
Lang Hamese1c11382014-06-27 20:20:57 +0000724 ++LineStart;
725 }
726 return DidAllTestsPass && (NumRules != 0);
727}
728
Lang Hamesf7acddd2014-07-22 22:47:39 +0000729bool RuntimeDyldCheckerImpl::isSymbolValid(StringRef Symbol) const {
Lang Hamesb1186032015-03-11 00:43:26 +0000730 return getRTDyld().getSymbolLocalAddress(Symbol) != nullptr;
Lang Hamese1c11382014-06-27 20:20:57 +0000731}
732
Lang Hamesb1186032015-03-11 00:43:26 +0000733uint64_t RuntimeDyldCheckerImpl::getSymbolLocalAddr(StringRef Symbol) const {
Lang Hamesf7acddd2014-07-22 22:47:39 +0000734 return static_cast<uint64_t>(
Lang Hamesb1186032015-03-11 00:43:26 +0000735 reinterpret_cast<uintptr_t>(getRTDyld().getSymbolLocalAddress(Symbol)));
Lang Hamese1c11382014-06-27 20:20:57 +0000736}
737
Lang Hamesf7acddd2014-07-22 22:47:39 +0000738uint64_t RuntimeDyldCheckerImpl::getSymbolRemoteAddr(StringRef Symbol) const {
Lang Hamesb1186032015-03-11 00:43:26 +0000739 if (auto InternalSymbol = getRTDyld().getSymbol(Symbol))
740 return InternalSymbol.getAddress();
Lang Hames633fe142015-03-30 03:37:06 +0000741 return getRTDyld().Resolver.findSymbol(Symbol).getAddress();
Lang Hamesf7acddd2014-07-22 22:47:39 +0000742}
743
744uint64_t RuntimeDyldCheckerImpl::readMemoryAtAddr(uint64_t SrcAddr,
745 unsigned Size) const {
746 uintptr_t PtrSizedAddr = static_cast<uintptr_t>(SrcAddr);
747 assert(PtrSizedAddr == SrcAddr && "Linker memory pointer out-of-range.");
Lang Hamesdc77feb2014-08-27 17:41:06 +0000748 uint8_t *Src = reinterpret_cast<uint8_t*>(PtrSizedAddr);
Lang Hamese1287c02014-08-29 23:17:47 +0000749 return getRTDyld().readBytesUnaligned(Src, Size);
Lang Hamese1c11382014-06-27 20:20:57 +0000750}
751
Lang Hamesf7acddd2014-07-22 22:47:39 +0000752
Lang Hames587ee6a2014-09-03 05:01:46 +0000753std::pair<const RuntimeDyldCheckerImpl::SectionAddressInfo*, std::string>
754RuntimeDyldCheckerImpl::findSectionAddrInfo(StringRef FileName,
755 StringRef SectionName) const {
756
757 auto SectionMapItr = Stubs.find(FileName);
758 if (SectionMapItr == Stubs.end()) {
Lang Hamescce313b2014-07-22 23:07:52 +0000759 std::string ErrorMsg = "File '";
760 ErrorMsg += FileName;
761 ErrorMsg += "' not found. ";
762 if (Stubs.empty())
763 ErrorMsg += "No stubs registered.";
764 else {
765 ErrorMsg += "Available files are:";
766 for (const auto& StubEntry : Stubs) {
767 ErrorMsg += " '";
768 ErrorMsg += StubEntry.first;
769 ErrorMsg += "'";
770 }
771 }
772 ErrorMsg += "\n";
Lang Hames587ee6a2014-09-03 05:01:46 +0000773 return std::make_pair(nullptr, ErrorMsg);
Lang Hamescce313b2014-07-22 23:07:52 +0000774 }
Lang Hamesf7acddd2014-07-22 22:47:39 +0000775
Lang Hames587ee6a2014-09-03 05:01:46 +0000776 auto SectionInfoItr = SectionMapItr->second.find(SectionName);
777 if (SectionInfoItr == SectionMapItr->second.end())
778 return std::make_pair(nullptr,
779 ("Section '" + SectionName + "' not found in file '" +
780 FileName + "'\n").str());
Lang Hamesf7acddd2014-07-22 22:47:39 +0000781
Lang Hames587ee6a2014-09-03 05:01:46 +0000782 return std::make_pair(&SectionInfoItr->second, std::string(""));
783}
784
785std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getSectionAddr(
786 StringRef FileName, StringRef SectionName, bool IsInsideLoad) const {
787
788 const SectionAddressInfo *SectionInfo = nullptr;
789 {
790 std::string ErrorMsg;
791 std::tie(SectionInfo, ErrorMsg) =
792 findSectionAddrInfo(FileName, SectionName);
793 if (ErrorMsg != "")
794 return std::make_pair(0, ErrorMsg);
795 }
796
797 unsigned SectionID = SectionInfo->SectionID;
798 uint64_t Addr;
799 if (IsInsideLoad)
800 Addr =
801 static_cast<uint64_t>(
802 reinterpret_cast<uintptr_t>(getRTDyld().Sections[SectionID].Address));
803 else
804 Addr = getRTDyld().Sections[SectionID].LoadAddress;
805
806 return std::make_pair(Addr, std::string(""));
807}
808
809std::pair<uint64_t, std::string> RuntimeDyldCheckerImpl::getStubAddrFor(
810 StringRef FileName, StringRef SectionName, StringRef SymbolName,
811 bool IsInsideLoad) const {
812
813 const SectionAddressInfo *SectionInfo = nullptr;
814 {
815 std::string ErrorMsg;
816 std::tie(SectionInfo, ErrorMsg) =
817 findSectionAddrInfo(FileName, SectionName);
818 if (ErrorMsg != "")
819 return std::make_pair(0, ErrorMsg);
820 }
821
822 unsigned SectionID = SectionInfo->SectionID;
823 const StubOffsetsMap &SymbolStubs = SectionInfo->StubOffsets;
824 auto StubOffsetItr = SymbolStubs.find(SymbolName);
825 if (StubOffsetItr == SymbolStubs.end())
Lang Hamesf7acddd2014-07-22 22:47:39 +0000826 return std::make_pair(0,
Lang Hames6f8525d2014-09-11 23:09:22 +0000827 ("Stub for symbol '" + SymbolName + "' not found. "
828 "If '" + SymbolName + "' is an internal symbol this "
829 "may indicate that the stub target offset is being "
830 "computed incorrectly.\n").str());
Lang Hamesf7acddd2014-07-22 22:47:39 +0000831
Lang Hames587ee6a2014-09-03 05:01:46 +0000832 uint64_t StubOffset = StubOffsetItr->second;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000833
834 uint64_t Addr;
835 if (IsInsideLoad) {
Lang Hamesf7acddd2014-07-22 22:47:39 +0000836 uintptr_t SectionBase =
837 reinterpret_cast<uintptr_t>(getRTDyld().Sections[SectionID].Address);
838 Addr = static_cast<uint64_t>(SectionBase) + StubOffset;
Lang Hames9cb73532014-07-29 23:43:13 +0000839 } else {
840 uint64_t SectionBase = getRTDyld().Sections[SectionID].LoadAddress;
841 Addr = SectionBase + StubOffset;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000842 }
843
844 return std::make_pair(Addr, std::string(""));
845}
846
847StringRef
848RuntimeDyldCheckerImpl::getSubsectionStartingAt(StringRef Name) const {
Lang Hames6bfd3982015-01-16 23:13:56 +0000849 RTDyldSymbolTable::const_iterator pos =
Lang Hamesf7acddd2014-07-22 22:47:39 +0000850 getRTDyld().GlobalSymbolTable.find(Name);
851 if (pos == getRTDyld().GlobalSymbolTable.end())
Lang Hamese1c11382014-06-27 20:20:57 +0000852 return StringRef();
Lang Hames6bfd3982015-01-16 23:13:56 +0000853 const auto &SymInfo = pos->second;
854 uint8_t *SectionAddr = getRTDyld().getSectionAddress(SymInfo.getSectionID());
855 return StringRef(reinterpret_cast<const char *>(SectionAddr) +
856 SymInfo.getOffset(),
857 getRTDyld().Sections[SymInfo.getSectionID()].Size -
858 SymInfo.getOffset());
Lang Hamesf7acddd2014-07-22 22:47:39 +0000859}
860
Lang Hames587ee6a2014-09-03 05:01:46 +0000861void RuntimeDyldCheckerImpl::registerSection(
862 StringRef FilePath, unsigned SectionID) {
863 StringRef FileName = sys::path::filename(FilePath);
864 const SectionEntry &Section = getRTDyld().Sections[SectionID];
865 StringRef SectionName = Section.Name;
866
Lang Hames587ee6a2014-09-03 05:01:46 +0000867 Stubs[FileName][SectionName].SectionID = SectionID;
868}
869
Lang Hamesf7acddd2014-07-22 22:47:39 +0000870void RuntimeDyldCheckerImpl::registerStubMap(
Lang Hames480763f2014-07-29 20:40:37 +0000871 StringRef FilePath, unsigned SectionID,
Lang Hamesf7acddd2014-07-22 22:47:39 +0000872 const RuntimeDyldImpl::StubMap &RTDyldStubs) {
Lang Hames480763f2014-07-29 20:40:37 +0000873 StringRef FileName = sys::path::filename(FilePath);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000874 const SectionEntry &Section = getRTDyld().Sections[SectionID];
875 StringRef SectionName = Section.Name;
Lang Hames587ee6a2014-09-03 05:01:46 +0000876
877 Stubs[FileName][SectionName].SectionID = SectionID;
878
Lang Hamesf7acddd2014-07-22 22:47:39 +0000879 for (auto &StubMapEntry : RTDyldStubs) {
880 std::string SymbolName = "";
881
882 if (StubMapEntry.first.SymbolName)
883 SymbolName = StubMapEntry.first.SymbolName;
884 else {
885 // If this is a (Section, Offset) pair, do a reverse lookup in the
886 // global symbol table to find the name.
887 for (auto &GSTEntry : getRTDyld().GlobalSymbolTable) {
Lang Hames6bfd3982015-01-16 23:13:56 +0000888 const auto &SymInfo = GSTEntry.second;
889 if (SymInfo.getSectionID() == StubMapEntry.first.SectionID &&
890 SymInfo.getOffset() ==
891 static_cast<uint64_t>(StubMapEntry.first.Offset)) {
Lang Hamesf7acddd2014-07-22 22:47:39 +0000892 SymbolName = GSTEntry.first();
893 break;
894 }
895 }
896 }
897
898 if (SymbolName != "")
Lang Hames587ee6a2014-09-03 05:01:46 +0000899 Stubs[FileName][SectionName].StubOffsets[SymbolName] =
900 StubMapEntry.second;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000901 }
902}
903
904RuntimeDyldChecker::RuntimeDyldChecker(RuntimeDyld &RTDyld,
905 MCDisassembler *Disassembler,
906 MCInstPrinter *InstPrinter,
907 raw_ostream &ErrStream)
908 : Impl(make_unique<RuntimeDyldCheckerImpl>(RTDyld, Disassembler,
909 InstPrinter, ErrStream)) {}
910
911RuntimeDyldChecker::~RuntimeDyldChecker() {}
912
Lang Hames778ef5b2014-09-04 04:19:54 +0000913RuntimeDyld& RuntimeDyldChecker::getRTDyld() {
914 return Impl->RTDyld;
915}
916
917const RuntimeDyld& RuntimeDyldChecker::getRTDyld() const {
918 return Impl->RTDyld;
919}
920
Lang Hamesf7acddd2014-07-22 22:47:39 +0000921bool RuntimeDyldChecker::check(StringRef CheckExpr) const {
922 return Impl->check(CheckExpr);
923}
924
925bool RuntimeDyldChecker::checkAllRulesInBuffer(StringRef RulePrefix,
926 MemoryBuffer *MemBuf) const {
927 return Impl->checkAllRulesInBuffer(RulePrefix, MemBuf);
Lang Hamese1c11382014-06-27 20:20:57 +0000928}
Lang Hames778ef5b2014-09-04 04:19:54 +0000929
930std::pair<uint64_t, std::string>
931RuntimeDyldChecker::getSectionAddr(StringRef FileName, StringRef SectionName,
Lang Hamesb1186032015-03-11 00:43:26 +0000932 bool LocalAddress) {
933 return Impl->getSectionAddr(FileName, SectionName, LocalAddress);
Lang Hames778ef5b2014-09-04 04:19:54 +0000934}