blob: c17e4d404116e122173fcd761e04857c99e5555e [file] [log] [blame]
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001//===- Interpreter.cpp - Top-Level LLVM Interpreter Implementation --------===//
Misha Brukmand1c881a2005-04-21 22:43:08 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// 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 Brukmand1c881a2005-04-21 22:43:08 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
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 Lattner30483732004-06-20 07:49:54 +000017#include "llvm/CodeGen/IntrinsicLowering.h"
Brian Gaeke413ab662003-09-05 04:46:26 +000018#include "llvm/DerivedTypes.h"
Chris Lattner73011782003-12-28 09:44:37 +000019#include "llvm/Module.h"
Chris Lattner2fe4bb02006-03-22 06:07:50 +000020#include "llvm/ModuleProvider.h"
Chris Lattnerf7a743d2003-12-14 23:25:48 +000021using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000022
Chris Lattner2fe4bb02006-03-22 06:07:50 +000023static struct RegisterInterp {
24 RegisterInterp() { Interpreter::Register(); }
25} InterpRegistrator;
26
Jeff Cohen2f519142006-03-24 02:53:49 +000027namespace llvm {
28 void LinkInInterpreter() {
29 }
30}
31
Brian Gaeke82d82772003-09-03 20:34:19 +000032/// create - Create a new interpreter object. This can never fail.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000033///
Chris Lattner726c1ef2006-03-23 05:22:51 +000034ExecutionEngine *Interpreter::create(ModuleProvider *MP) {
Chris Lattner2fe4bb02006-03-22 06:07:50 +000035 Module *M;
36 try {
37 M = MP->materializeModule();
38 } catch (...) {
39 return 0; // error materializing the module.
40 }
41
Chris Lattner021c1902003-09-22 20:33:34 +000042 bool isLittleEndian = false;
Chris Lattner39c07262003-08-24 19:50:53 +000043 switch (M->getEndianness()) {
44 case Module::LittleEndian: isLittleEndian = true; break;
45 case Module::BigEndian: isLittleEndian = false; break;
46 case Module::AnyPointerSize:
47 int Test = 0;
48 *(char*)&Test = 1; // Return true if the host is little endian
49 isLittleEndian = (Test == 1);
50 break;
51 }
52
Chris Lattner021c1902003-09-22 20:33:34 +000053 bool isLongPointer = false;
Chris Lattner39c07262003-08-24 19:50:53 +000054 switch (M->getPointerSize()) {
55 case Module::Pointer32: isLongPointer = false; break;
56 case Module::Pointer64: isLongPointer = true; break;
57 case Module::AnyPointerSize:
58 isLongPointer = (sizeof(void*) == 8); // Follow host
59 break;
60 }
61
Chris Lattner726c1ef2006-03-23 05:22:51 +000062 return new Interpreter(M, isLittleEndian, isLongPointer);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000063}
64
65//===----------------------------------------------------------------------===//
66// Interpreter ctor - Initialize stuff
67//
Chris Lattner726c1ef2006-03-23 05:22:51 +000068Interpreter::Interpreter(Module *M, bool isLittleEndian, bool isLongPointer)
Jeff Cohen8c9191c2006-02-07 05:29:44 +000069 : ExecutionEngine(M),
Brian Gaekea824f422003-10-24 19:59:28 +000070 TD("lli", isLittleEndian, isLongPointer ? 8 : 4, isLongPointer ? 8 : 4,
Chris Lattner726c1ef2006-03-23 05:22:51 +000071 isLongPointer ? 8 : 4) {
Chris Lattnerbd199fb2002-12-24 00:01:05 +000072
Jeff Cohen8c9191c2006-02-07 05:29:44 +000073 memset(&ExitValue, 0, sizeof(ExitValue));
Chris Lattnerbd199fb2002-12-24 00:01:05 +000074 setTargetData(TD);
75 // Initialize the "backend"
76 initializeExecutionEngine();
Chris Lattnerda82ed52003-05-08 16:18:31 +000077 initializeExternalFunctions();
Chris Lattner56adf152003-05-12 02:14:34 +000078 emitGlobals();
Chris Lattner73011782003-12-28 09:44:37 +000079
Chris Lattner726c1ef2006-03-23 05:22:51 +000080 IL = new DefaultIntrinsicLowering();
Chris Lattner73011782003-12-28 09:44:37 +000081}
82
83Interpreter::~Interpreter() {
84 delete IL;
Chris Lattnerbd199fb2002-12-24 00:01:05 +000085}
86
Brian Gaeke70975ee2003-09-05 18:42:01 +000087void Interpreter::runAtExitHandlers () {
88 while (!AtExitHandlers.empty()) {
89 callFunction(AtExitHandlers.back(), std::vector<GenericValue>());
90 AtExitHandlers.pop_back();
Chris Lattnerbd199fb2002-12-24 00:01:05 +000091 run();
92 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +000093}
94
Brian Gaeke70975ee2003-09-05 18:42:01 +000095/// run - Start execution with the specified function and arguments.
96///
Jeff Cohen00b168892005-07-27 06:12:32 +000097GenericValue
Misha Brukman3c944972005-04-22 04:08:30 +000098Interpreter::runFunction(Function *F,
99 const std::vector<GenericValue> &ArgValues) {
Brian Gaeke70975ee2003-09-05 18:42:01 +0000100 assert (F && "Function *F was null at entry to run()");
Brian Gaeke413ab662003-09-05 04:46:26 +0000101
Brian Gaeke70975ee2003-09-05 18:42:01 +0000102 // Try extra hard not to pass extra args to a function that isn't
103 // expecting them. C programmers frequently bend the rules and
104 // declare main() with fewer parameters than it actually gets
105 // passed, and the interpreter barfs if you pass a function more
106 // parameters than it is declared to take. This does not attempt to
107 // take into account gratuitous differences in declared types,
108 // though.
109 std::vector<GenericValue> ActualArgs;
Chris Lattnerd5d89962004-02-09 04:14:01 +0000110 const unsigned ArgCount = F->getFunctionType()->getNumParams();
Brian Gaekea824f422003-10-24 19:59:28 +0000111 for (unsigned i = 0; i < ArgCount; ++i)
Chris Lattnerd5d89962004-02-09 04:14:01 +0000112 ActualArgs.push_back(ArgValues[i]);
Misha Brukmand1c881a2005-04-21 22:43:08 +0000113
Brian Gaeke70975ee2003-09-05 18:42:01 +0000114 // Set up the function call.
115 callFunction(F, ActualArgs);
Brian Gaeke413ab662003-09-05 04:46:26 +0000116
Brian Gaeke70975ee2003-09-05 18:42:01 +0000117 // Start executing the function.
118 run();
Misha Brukmand1c881a2005-04-21 22:43:08 +0000119
Jeff Cohen8c9191c2006-02-07 05:29:44 +0000120 return ExitValue;
Brian Gaeke413ab662003-09-05 04:46:26 +0000121}
Brian Gaeked0fde302003-11-11 22:41:34 +0000122