blob: 73dfa11e5dd0477d129a48a9cbed7d471ed9c4c4 [file] [log] [blame]
Chris Lattnerfe11a972002-12-23 23:59:41 +00001//===- lli.cpp - LLVM Interpreter / Dynamic compiler ----------------------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell7c0e0222003-10-20 17:47: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 Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell7c0e0222003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +00009//
Chris Lattner7efea1d2003-12-26 05:07:35 +000010// This utility provides a simple wrapper around the LLVM Execution Engines,
11// which allow the direct execution of LLVM programs through a Just-In-Time
12// compiler, or through an intepreter if no JIT is available for this platform.
Chris Lattner92101ac2001-08-23 17:05:04 +000013//
14//===----------------------------------------------------------------------===//
15
Chris Lattnerfd131292003-09-05 20:08:15 +000016#include "llvm/Module.h"
Misha Brukmanc4fb6fd2003-10-14 21:39:53 +000017#include "llvm/ModuleProvider.h"
Chris Lattner269a4282003-12-26 06:49:53 +000018#include "llvm/Type.h"
Chris Lattnerfd131292003-09-05 20:08:15 +000019#include "llvm/Bytecode/Reader.h"
Brian Gaeked1cab3e2003-09-05 19:42:34 +000020#include "llvm/ExecutionEngine/ExecutionEngine.h"
21#include "llvm/ExecutionEngine/GenericValue.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000022#include "llvm/Support/CommandLine.h"
23#include "llvm/Support/PluginLoader.h"
Chris Lattnerbed85ff2004-05-27 05:41:36 +000024#include "llvm/System/Signals.h"
Reid Spencer86f42bd2004-07-04 12:20:55 +000025#include <iostream>
Chris Lattner92101ac2001-08-23 17:05:04 +000026
Brian Gaeked0fde302003-11-11 22:41:34 +000027using namespace llvm;
28
Chris Lattnerfe11a972002-12-23 23:59:41 +000029namespace {
30 cl::opt<std::string>
31 InputFile(cl::desc("<input bytecode>"), cl::Positional, cl::init("-"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000032
Chris Lattnerfe11a972002-12-23 23:59:41 +000033 cl::list<std::string>
34 InputArgv(cl::ConsumeAfter, cl::desc("<program arguments>..."));
Chris Lattner5ff62e92002-07-22 02:10:13 +000035
Chris Lattnerfe11a972002-12-23 23:59:41 +000036 cl::opt<bool> ForceInterpreter("force-interpreter",
Misha Brukman3d8a54d2003-09-25 18:10:34 +000037 cl::desc("Force interpretation: disable JIT"),
38 cl::init(false));
Chris Lattner3015e602005-12-16 05:00:21 +000039 cl::opt<std::string>
Chris Lattner60844d42005-12-16 05:19:18 +000040 TargetTriple("mtriple", cl::desc("Override target triple for module"));
Chris Lattner3015e602005-12-16 05:00:21 +000041
Chris Lattnere69671d2003-10-28 22:51:44 +000042 cl::opt<std::string>
43 FakeArgv0("fake-argv0",
44 cl::desc("Override the 'argv[0]' value passed into the executing"
45 " program"), cl::value_desc("executable"));
Chris Lattnerfe11a972002-12-23 23:59:41 +000046}
Chris Lattner43e3f7c2001-10-27 08:43:52 +000047
Chris Lattner92101ac2001-08-23 17:05:04 +000048//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +000049// main Driver function
50//
Misha Brukmanc4fb6fd2003-10-14 21:39:53 +000051int main(int argc, char **argv, char * const *envp) {
Misha Brukmanc4fb6fd2003-10-14 21:39:53 +000052 try {
Reid Spencer1ef8bda2004-12-30 05:36:08 +000053 cl::ParseCommandLineOptions(argc, argv,
54 " llvm interpreter & dynamic compiler\n");
55 sys::PrintStackTraceOnErrorSignal();
56
57 // Load the bytecode...
58 std::string ErrorMsg;
59 ModuleProvider *MP = 0;
60 try {
61 MP = getBytecodeModuleProvider(InputFile);
62 } catch (std::string &err) {
63 std::cerr << "Error loading program '" << InputFile << "': " << err << "\n";
64 exit(1);
65 }
66
Chris Lattner3015e602005-12-16 05:00:21 +000067 // If we are supposed to override the target triple, do so now.
68 if (!TargetTriple.empty())
69 MP->getModule()->setTargetTriple(TargetTriple);
70
Reid Spencer1ef8bda2004-12-30 05:36:08 +000071 ExecutionEngine *EE = ExecutionEngine::create(MP, ForceInterpreter);
72 assert(EE && "Couldn't create an ExecutionEngine, not even an interpreter?");
73
74 // If the user specifically requested an argv[0] to pass into the program, do
75 // it now.
76 if (!FakeArgv0.empty()) {
77 InputFile = FakeArgv0;
78 } else {
79 // Otherwise, if there is a .bc suffix on the executable strip it off, it
80 // might confuse the program.
81 if (InputFile.rfind(".bc") == InputFile.length() - 3)
82 InputFile.erase(InputFile.length() - 3);
83 }
84
85 // Add the module's name to the start of the vector of arguments to main().
86 InputArgv.insert(InputArgv.begin(), InputFile);
87
88 // Call the main function from M as if its signature were:
89 // int main (int argc, char **argv, const char **envp)
90 // using the contents of Args to determine argc & argv, and the contents of
91 // EnvVars to determine envp.
92 //
93 Function *Fn = MP->getModule()->getMainFunction();
Chris Lattner52098892005-12-02 19:00:22 +000094 if (!Fn) {
Reid Spencer1ef8bda2004-12-30 05:36:08 +000095 std::cerr << "'main' function not found in module.\n";
96 return -1;
97 }
98
99 // Run main...
100 int Result = EE->runFunctionAsMain(Fn, InputArgv, envp);
101
102 // If the program didn't explicitly call exit, call exit now, for the program.
103 // This ensures that any atexit handlers get called correctly.
104 Function *Exit = MP->getModule()->getOrInsertFunction("exit", Type::VoidTy,
Jeff Cohen66c5fd62005-10-23 04:37:20 +0000105 Type::IntTy,
106 (Type *)0);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000107
108 std::vector<GenericValue> Args;
109 GenericValue ResultGV;
110 ResultGV.IntVal = Result;
111 Args.push_back(ResultGV);
112 EE->runFunction(Exit, Args);
113
114 std::cerr << "ERROR: exit(" << Result << ") returned!\n";
115 abort();
116 } catch (const std::string& msg) {
117 std::cerr << argv[0] << ": " << msg << "\n";
118 } catch (...) {
119 std::cerr << argv[0] << ": Unexpected unknown exception occurred.\n";
Chris Lattner92101ac2001-08-23 17:05:04 +0000120 }
Chris Lattnerefec9662003-12-26 06:14:47 +0000121 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000122}