Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 1 | //===- Interpreter.cpp - Top-Level LLVM Interpreter Implementation --------===// |
Misha Brukman | 91fb9ab | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // 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 |
Misha Brukman | 91fb9ab | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 6 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 8 | // |
| 9 | // This file implements the top-level functionality for the LLVM interpreter. |
| 10 | // This interpreter is designed to be a very simple, portable, inefficient |
| 11 | // interpreter. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "Interpreter.h" |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/IntrinsicLowering.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 17 | #include "llvm/IR/DerivedTypes.h" |
| 18 | #include "llvm/IR/Module.h" |
Anton Korobeynikov | 579f071 | 2008-02-20 11:08:44 +0000 | [diff] [blame] | 19 | #include <cstring> |
Chris Lattner | 1809966 | 2003-12-14 23:25:48 +0000 | [diff] [blame] | 20 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 21 | |
Dan Gohman | d78c400 | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 22 | namespace { |
| 23 | |
Chris Lattner | 2d52c1b | 2006-03-22 06:07:50 +0000 | [diff] [blame] | 24 | static struct RegisterInterp { |
| 25 | RegisterInterp() { Interpreter::Register(); } |
| 26 | } InterpRegistrator; |
| 27 | |
Dan Gohman | d78c400 | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 28 | } |
| 29 | |
Bob Wilson | a1d3e66 | 2009-06-24 21:09:18 +0000 | [diff] [blame] | 30 | extern "C" void LLVMLinkInInterpreter() { } |
Jeff Cohen | 0eafbc3 | 2006-03-24 02:53:49 +0000 | [diff] [blame] | 31 | |
Rafael Espindola | 2a8a279 | 2014-08-19 04:04:25 +0000 | [diff] [blame] | 32 | /// Create a new interpreter object. |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 33 | /// |
Rafael Espindola | 2a8a279 | 2014-08-19 04:04:25 +0000 | [diff] [blame] | 34 | ExecutionEngine *Interpreter::create(std::unique_ptr<Module> M, |
| 35 | std::string *ErrStr) { |
Jeffrey Yasskin | 091217b | 2010-01-27 20:34:15 +0000 | [diff] [blame] | 36 | // Tell this Module to materialize everything and release the GVMaterializer. |
Peter Collingbourne | 7f00d0a | 2016-11-09 17:49:19 +0000 | [diff] [blame] | 37 | if (Error Err = M->materializeAll()) { |
| 38 | std::string Msg; |
| 39 | handleAllErrors(std::move(Err), [&](ErrorInfoBase &EIB) { |
| 40 | Msg = EIB.message(); |
| 41 | }); |
Rafael Espindola | e9fab9b | 2014-01-14 23:51:27 +0000 | [diff] [blame] | 42 | if (ErrStr) |
Peter Collingbourne | 7f00d0a | 2016-11-09 17:49:19 +0000 | [diff] [blame] | 43 | *ErrStr = Msg; |
Reid Spencer | 603682a | 2007-03-03 18:19:18 +0000 | [diff] [blame] | 44 | // We got an error, just return 0 |
Craig Topper | 353eda4 | 2014-04-24 06:44:33 +0000 | [diff] [blame] | 45 | return nullptr; |
Rafael Espindola | e9fab9b | 2014-01-14 23:51:27 +0000 | [diff] [blame] | 46 | } |
Reid Spencer | 603682a | 2007-03-03 18:19:18 +0000 | [diff] [blame] | 47 | |
Rafael Espindola | 2a8a279 | 2014-08-19 04:04:25 +0000 | [diff] [blame] | 48 | return new Interpreter(std::move(M)); |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 49 | } |
| 50 | |
| 51 | //===----------------------------------------------------------------------===// |
| 52 | // Interpreter ctor - Initialize stuff |
| 53 | // |
Rafael Espindola | 2a8a279 | 2014-08-19 04:04:25 +0000 | [diff] [blame] | 54 | Interpreter::Interpreter(std::unique_ptr<Module> M) |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 55 | : ExecutionEngine(std::move(M)) { |
Rafael Espindola | 2a8a279 | 2014-08-19 04:04:25 +0000 | [diff] [blame] | 56 | |
Reid Spencer | ff38cf8 | 2007-06-01 22:23:29 +0000 | [diff] [blame] | 57 | memset(&ExitValue.Untyped, 0, sizeof(ExitValue.Untyped)); |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 58 | // Initialize the "backend" |
| 59 | initializeExecutionEngine(); |
Chris Lattner | 470754e | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 60 | initializeExternalFunctions(); |
Chris Lattner | b78244f | 2003-05-12 02:14:34 +0000 | [diff] [blame] | 61 | emitGlobals(); |
Chris Lattner | c8c6c03 | 2003-12-28 09:44:37 +0000 | [diff] [blame] | 62 | |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 63 | IL = new IntrinsicLowering(getDataLayout()); |
Chris Lattner | c8c6c03 | 2003-12-28 09:44:37 +0000 | [diff] [blame] | 64 | } |
| 65 | |
| 66 | Interpreter::~Interpreter() { |
| 67 | delete IL; |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 68 | } |
| 69 | |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 70 | void Interpreter::runAtExitHandlers () { |
| 71 | while (!AtExitHandlers.empty()) { |
Benjamin Kramer | bd7b1c8 | 2015-06-13 19:50:29 +0000 | [diff] [blame] | 72 | callFunction(AtExitHandlers.back(), None); |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 73 | AtExitHandlers.pop_back(); |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 74 | run(); |
| 75 | } |
Chris Lattner | 996fe01 | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 76 | } |
| 77 | |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 78 | /// run - Start execution with the specified function and arguments. |
| 79 | /// |
Benjamin Kramer | bd7b1c8 | 2015-06-13 19:50:29 +0000 | [diff] [blame] | 80 | GenericValue Interpreter::runFunction(Function *F, |
| 81 | ArrayRef<GenericValue> ArgValues) { |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 82 | assert (F && "Function *F was null at entry to run()"); |
Brian Gaeke | 8421765 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 83 | |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 84 | // Try extra hard not to pass extra args to a function that isn't |
| 85 | // expecting them. C programmers frequently bend the rules and |
| 86 | // declare main() with fewer parameters than it actually gets |
| 87 | // passed, and the interpreter barfs if you pass a function more |
| 88 | // parameters than it is declared to take. This does not attempt to |
| 89 | // take into account gratuitous differences in declared types, |
| 90 | // though. |
Benjamin Kramer | bd7b1c8 | 2015-06-13 19:50:29 +0000 | [diff] [blame] | 91 | const size_t ArgCount = F->getFunctionType()->getNumParams(); |
| 92 | ArrayRef<GenericValue> ActualArgs = |
| 93 | ArgValues.slice(0, std::min(ArgValues.size(), ArgCount)); |
Misha Brukman | 91fb9ab | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 94 | |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 95 | // Set up the function call. |
| 96 | callFunction(F, ActualArgs); |
Brian Gaeke | 8421765 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 97 | |
Brian Gaeke | a766903 | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 98 | // Start executing the function. |
| 99 | run(); |
Misha Brukman | 91fb9ab | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 100 | |
Jeff Cohen | 2439669 | 2006-02-07 05:29:44 +0000 | [diff] [blame] | 101 | return ExitValue; |
Brian Gaeke | 8421765 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 102 | } |