Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 1 | //===- Interpreter.cpp - Top-Level LLVM Interpreter Implementation --------===// |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file implements the top-level functionality for the LLVM interpreter. |
| 11 | // This interpreter is designed to be a very simple, portable, inefficient |
| 12 | // interpreter. |
| 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| 16 | #include "Interpreter.h" |
Chris Lattner | 3048373 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/IntrinsicLowering.h" |
Brian Gaeke | 413ab66 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 18 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 7301178 | 2003-12-28 09:44:37 +0000 | [diff] [blame] | 19 | #include "llvm/Module.h" |
Chris Lattner | 2fe4bb0 | 2006-03-22 06:07:50 +0000 | [diff] [blame] | 20 | #include "llvm/ModuleProvider.h" |
Chris Lattner | f7a743d | 2003-12-14 23:25:48 +0000 | [diff] [blame] | 21 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 22 | |
Chris Lattner | 2fe4bb0 | 2006-03-22 06:07:50 +0000 | [diff] [blame] | 23 | static struct RegisterInterp { |
| 24 | RegisterInterp() { Interpreter::Register(); } |
| 25 | } InterpRegistrator; |
| 26 | |
Jeff Cohen | 2f51914 | 2006-03-24 02:53:49 +0000 | [diff] [blame] | 27 | namespace llvm { |
| 28 | void LinkInInterpreter() { |
| 29 | } |
| 30 | } |
| 31 | |
Brian Gaeke | 82d8277 | 2003-09-03 20:34:19 +0000 | [diff] [blame] | 32 | /// create - Create a new interpreter object. This can never fail. |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 33 | /// |
Chris Lattner | 726c1ef | 2006-03-23 05:22:51 +0000 | [diff] [blame] | 34 | ExecutionEngine *Interpreter::create(ModuleProvider *MP) { |
Chris Lattner | 2fe4bb0 | 2006-03-22 06:07:50 +0000 | [diff] [blame] | 35 | Module *M; |
| 36 | try { |
| 37 | M = MP->materializeModule(); |
| 38 | } catch (...) { |
| 39 | return 0; // error materializing the module. |
| 40 | } |
| 41 | |
Chris Lattner | 276f4b5 | 2006-06-16 18:08:38 +0000 | [diff] [blame] | 42 | if (M->getEndianness() == Module::AnyEndianness) { |
Chris Lattner | 39c0726 | 2003-08-24 19:50:53 +0000 | [diff] [blame] | 43 | int Test = 0; |
| 44 | *(char*)&Test = 1; // Return true if the host is little endian |
Chris Lattner | 276f4b5 | 2006-06-16 18:08:38 +0000 | [diff] [blame] | 45 | bool isLittleEndian = (Test == 1); |
| 46 | M->setEndianness(isLittleEndian ? Module::LittleEndian : Module::BigEndian); |
Chris Lattner | 39c0726 | 2003-08-24 19:50:53 +0000 | [diff] [blame] | 47 | } |
| 48 | |
Chris Lattner | 276f4b5 | 2006-06-16 18:08:38 +0000 | [diff] [blame] | 49 | if (M->getPointerSize() == Module::AnyPointerSize) { |
| 50 | // Follow host. |
| 51 | bool Ptr64 = sizeof(void*) == 8; |
| 52 | M->setPointerSize(Ptr64 ? Module::Pointer64 : Module::Pointer32); |
Chris Lattner | 39c0726 | 2003-08-24 19:50:53 +0000 | [diff] [blame] | 53 | } |
| 54 | |
Chris Lattner | 276f4b5 | 2006-06-16 18:08:38 +0000 | [diff] [blame] | 55 | return new Interpreter(M); |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 56 | } |
| 57 | |
| 58 | //===----------------------------------------------------------------------===// |
| 59 | // Interpreter ctor - Initialize stuff |
| 60 | // |
Chris Lattner | 426b782 | 2006-06-16 18:24:38 +0000 | [diff] [blame] | 61 | Interpreter::Interpreter(Module *M) : ExecutionEngine(M), TD(M) { |
Chris Lattner | 276f4b5 | 2006-06-16 18:08:38 +0000 | [diff] [blame] | 62 | |
Jeff Cohen | 8c9191c | 2006-02-07 05:29:44 +0000 | [diff] [blame] | 63 | memset(&ExitValue, 0, sizeof(ExitValue)); |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 64 | setTargetData(&TD); |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 65 | // Initialize the "backend" |
| 66 | initializeExecutionEngine(); |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 67 | initializeExternalFunctions(); |
Chris Lattner | 56adf15 | 2003-05-12 02:14:34 +0000 | [diff] [blame] | 68 | emitGlobals(); |
Chris Lattner | 7301178 | 2003-12-28 09:44:37 +0000 | [diff] [blame] | 69 | |
Chris Lattner | b71fd78 | 2006-11-15 18:00:10 +0000 | [diff] [blame] | 70 | IL = new IntrinsicLowering(); |
Chris Lattner | 7301178 | 2003-12-28 09:44:37 +0000 | [diff] [blame] | 71 | } |
| 72 | |
| 73 | Interpreter::~Interpreter() { |
| 74 | delete IL; |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 75 | } |
| 76 | |
Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 77 | void Interpreter::runAtExitHandlers () { |
| 78 | while (!AtExitHandlers.empty()) { |
| 79 | callFunction(AtExitHandlers.back(), std::vector<GenericValue>()); |
| 80 | AtExitHandlers.pop_back(); |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 81 | run(); |
| 82 | } |
Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 83 | } |
| 84 | |
Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 85 | /// run - Start execution with the specified function and arguments. |
| 86 | /// |
Jeff Cohen | 00b16889 | 2005-07-27 06:12:32 +0000 | [diff] [blame] | 87 | GenericValue |
Misha Brukman | 3c94497 | 2005-04-22 04:08:30 +0000 | [diff] [blame] | 88 | Interpreter::runFunction(Function *F, |
| 89 | const std::vector<GenericValue> &ArgValues) { |
Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 90 | assert (F && "Function *F was null at entry to run()"); |
Brian Gaeke | 413ab66 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 91 | |
Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 92 | // Try extra hard not to pass extra args to a function that isn't |
| 93 | // expecting them. C programmers frequently bend the rules and |
| 94 | // declare main() with fewer parameters than it actually gets |
| 95 | // passed, and the interpreter barfs if you pass a function more |
| 96 | // parameters than it is declared to take. This does not attempt to |
| 97 | // take into account gratuitous differences in declared types, |
| 98 | // though. |
| 99 | std::vector<GenericValue> ActualArgs; |
Chris Lattner | d5d8996 | 2004-02-09 04:14:01 +0000 | [diff] [blame] | 100 | const unsigned ArgCount = F->getFunctionType()->getNumParams(); |
Brian Gaeke | a824f42 | 2003-10-24 19:59:28 +0000 | [diff] [blame] | 101 | for (unsigned i = 0; i < ArgCount; ++i) |
Chris Lattner | d5d8996 | 2004-02-09 04:14:01 +0000 | [diff] [blame] | 102 | ActualArgs.push_back(ArgValues[i]); |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 103 | |
Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 104 | // Set up the function call. |
| 105 | callFunction(F, ActualArgs); |
Brian Gaeke | 413ab66 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 106 | |
Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 107 | // Start executing the function. |
| 108 | run(); |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 109 | |
Jeff Cohen | 8c9191c | 2006-02-07 05:29:44 +0000 | [diff] [blame] | 110 | return ExitValue; |
Brian Gaeke | 413ab66 | 2003-09-05 04:46:26 +0000 | [diff] [blame] | 111 | } |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 112 | |