blob: 663d9a6b36b08b78f3a5138683164e90c16ab64e [file] [log] [blame]
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001//===- Interpreter.cpp - Top-Level LLVM Interpreter Implementation --------===//
John Criswellb576c942003-10-20 19:43:21 +00002//
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.
7//
8//===----------------------------------------------------------------------===//
Chris Lattnerbd199fb2002-12-24 00:01:05 +00009//
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 Lattner39c07262003-08-24 19:50:53 +000017#include "llvm/Module.h"
Brian Gaeke413ab662003-09-05 04:46:26 +000018#include "llvm/DerivedTypes.h"
Chris Lattnerf7a743d2003-12-14 23:25:48 +000019using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000020
Brian Gaeke82d82772003-09-03 20:34:19 +000021/// create - Create a new interpreter object. This can never fail.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000022///
Brian Gaekea824f422003-10-24 19:59:28 +000023ExecutionEngine *Interpreter::create(Module *M){
Chris Lattner021c1902003-09-22 20:33:34 +000024 bool isLittleEndian = false;
Chris Lattner39c07262003-08-24 19:50:53 +000025 switch (M->getEndianness()) {
26 case Module::LittleEndian: isLittleEndian = true; break;
27 case Module::BigEndian: isLittleEndian = false; break;
28 case Module::AnyPointerSize:
29 int Test = 0;
30 *(char*)&Test = 1; // Return true if the host is little endian
31 isLittleEndian = (Test == 1);
32 break;
33 }
34
Chris Lattner021c1902003-09-22 20:33:34 +000035 bool isLongPointer = false;
Chris Lattner39c07262003-08-24 19:50:53 +000036 switch (M->getPointerSize()) {
37 case Module::Pointer32: isLongPointer = false; break;
38 case Module::Pointer64: isLongPointer = true; break;
39 case Module::AnyPointerSize:
40 isLongPointer = (sizeof(void*) == 8); // Follow host
41 break;
42 }
43
Brian Gaekea824f422003-10-24 19:59:28 +000044 return new Interpreter(M, isLittleEndian, isLongPointer);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000045}
46
47//===----------------------------------------------------------------------===//
48// Interpreter ctor - Initialize stuff
49//
Brian Gaekea824f422003-10-24 19:59:28 +000050Interpreter::Interpreter(Module *M, bool isLittleEndian, bool isLongPointer)
51 : ExecutionEngine(M), ExitCode(0),
52 TD("lli", isLittleEndian, isLongPointer ? 8 : 4, isLongPointer ? 8 : 4,
53 isLongPointer ? 8 : 4) {
Chris Lattnerbd199fb2002-12-24 00:01:05 +000054
55 setTargetData(TD);
56 // Initialize the "backend"
57 initializeExecutionEngine();
Chris Lattnerda82ed52003-05-08 16:18:31 +000058 initializeExternalFunctions();
Chris Lattner56adf152003-05-12 02:14:34 +000059 emitGlobals();
Chris Lattnerbd199fb2002-12-24 00:01:05 +000060}
61
Brian Gaeke70975ee2003-09-05 18:42:01 +000062void Interpreter::runAtExitHandlers () {
63 while (!AtExitHandlers.empty()) {
64 callFunction(AtExitHandlers.back(), std::vector<GenericValue>());
65 AtExitHandlers.pop_back();
Chris Lattnerbd199fb2002-12-24 00:01:05 +000066 run();
67 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +000068}
69
Brian Gaeke70975ee2003-09-05 18:42:01 +000070/// run - Start execution with the specified function and arguments.
71///
72GenericValue Interpreter::run(Function *F,
73 const std::vector<GenericValue> &ArgValues) {
74 assert (F && "Function *F was null at entry to run()");
Brian Gaeke413ab662003-09-05 04:46:26 +000075
Brian Gaeke70975ee2003-09-05 18:42:01 +000076 // Try extra hard not to pass extra args to a function that isn't
77 // expecting them. C programmers frequently bend the rules and
78 // declare main() with fewer parameters than it actually gets
79 // passed, and the interpreter barfs if you pass a function more
80 // parameters than it is declared to take. This does not attempt to
81 // take into account gratuitous differences in declared types,
82 // though.
83 std::vector<GenericValue> ActualArgs;
84 const unsigned ArgCount = F->getFunctionType()->getParamTypes().size();
Brian Gaekea824f422003-10-24 19:59:28 +000085 for (unsigned i = 0; i < ArgCount; ++i)
Brian Gaeke70975ee2003-09-05 18:42:01 +000086 ActualArgs.push_back (ArgValues[i]);
Brian Gaeke70975ee2003-09-05 18:42:01 +000087
88 // Set up the function call.
89 callFunction(F, ActualArgs);
Brian Gaeke413ab662003-09-05 04:46:26 +000090
Brian Gaeke70975ee2003-09-05 18:42:01 +000091 // Start executing the function.
92 run();
93
94 // Run any atexit handlers now!
95 runAtExitHandlers();
96
97 GenericValue rv;
98 rv.IntVal = ExitCode;
99 return rv;
Brian Gaeke413ab662003-09-05 04:46:26 +0000100}
Brian Gaeked0fde302003-11-11 22:41:34 +0000101