blob: 60e2897b819c03c35b40d55331ef511f251ac819 [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//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// 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///
Reid Spencerd4c0e622007-03-03 18:19:18 +000034ExecutionEngine *Interpreter::create(ModuleProvider *MP, std::string* ErrStr) {
35 // Tell this ModuleProvide to materialize and release the module
Chris Lattner9f2f1422007-12-06 01:08:09 +000036 if (!MP->materializeModule(ErrStr))
Reid Spencerd4c0e622007-03-03 18:19:18 +000037 // We got an error, just return 0
38 return 0;
39
Chris Lattner9f2f1422007-12-06 01:08:09 +000040 return new Interpreter(MP);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000041}
42
43//===----------------------------------------------------------------------===//
44// Interpreter ctor - Initialize stuff
45//
Chris Lattner9f2f1422007-12-06 01:08:09 +000046Interpreter::Interpreter(ModuleProvider *M)
47 : ExecutionEngine(M), TD(M->getModule()) {
Chris Lattner276f4b52006-06-16 18:08:38 +000048
Reid Spencere7707872007-06-01 22:23:29 +000049 memset(&ExitValue.Untyped, 0, sizeof(ExitValue.Untyped));
Owen Andersona69571c2006-05-03 01:29:57 +000050 setTargetData(&TD);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000051 // Initialize the "backend"
52 initializeExecutionEngine();
Chris Lattnerda82ed52003-05-08 16:18:31 +000053 initializeExternalFunctions();
Chris Lattner56adf152003-05-12 02:14:34 +000054 emitGlobals();
Chris Lattner73011782003-12-28 09:44:37 +000055
Reid Spencer519e2392007-01-29 17:51:02 +000056 IL = new IntrinsicLowering(TD);
Chris Lattner73011782003-12-28 09:44:37 +000057}
58
59Interpreter::~Interpreter() {
60 delete IL;
Chris Lattnerbd199fb2002-12-24 00:01:05 +000061}
62
Brian Gaeke70975ee2003-09-05 18:42:01 +000063void Interpreter::runAtExitHandlers () {
64 while (!AtExitHandlers.empty()) {
65 callFunction(AtExitHandlers.back(), std::vector<GenericValue>());
66 AtExitHandlers.pop_back();
Chris Lattnerbd199fb2002-12-24 00:01:05 +000067 run();
68 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +000069}
70
Brian Gaeke70975ee2003-09-05 18:42:01 +000071/// run - Start execution with the specified function and arguments.
72///
Jeff Cohen00b168892005-07-27 06:12:32 +000073GenericValue
Misha Brukman3c944972005-04-22 04:08:30 +000074Interpreter::runFunction(Function *F,
75 const std::vector<GenericValue> &ArgValues) {
Brian Gaeke70975ee2003-09-05 18:42:01 +000076 assert (F && "Function *F was null at entry to run()");
Brian Gaeke413ab662003-09-05 04:46:26 +000077
Brian Gaeke70975ee2003-09-05 18:42:01 +000078 // Try extra hard not to pass extra args to a function that isn't
79 // expecting them. C programmers frequently bend the rules and
80 // declare main() with fewer parameters than it actually gets
81 // passed, and the interpreter barfs if you pass a function more
82 // parameters than it is declared to take. This does not attempt to
83 // take into account gratuitous differences in declared types,
84 // though.
85 std::vector<GenericValue> ActualArgs;
Chris Lattnerd5d89962004-02-09 04:14:01 +000086 const unsigned ArgCount = F->getFunctionType()->getNumParams();
Brian Gaekea824f422003-10-24 19:59:28 +000087 for (unsigned i = 0; i < ArgCount; ++i)
Chris Lattnerd5d89962004-02-09 04:14:01 +000088 ActualArgs.push_back(ArgValues[i]);
Misha Brukmand1c881a2005-04-21 22:43:08 +000089
Brian Gaeke70975ee2003-09-05 18:42:01 +000090 // Set up the function call.
91 callFunction(F, ActualArgs);
Brian Gaeke413ab662003-09-05 04:46:26 +000092
Brian Gaeke70975ee2003-09-05 18:42:01 +000093 // Start executing the function.
94 run();
Misha Brukmand1c881a2005-04-21 22:43:08 +000095
Jeff Cohen8c9191c2006-02-07 05:29:44 +000096 return ExitValue;
Brian Gaeke413ab662003-09-05 04:46:26 +000097}
Brian Gaeked0fde302003-11-11 22:41:34 +000098