Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 1 | //===- lli.cpp - LLVM Interpreter / Dynamic compiler ----------------------===// |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 7c0e022 | 2003-10-20 17:47: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 | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 7c0e022 | 2003-10-20 17:47:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 7efea1d | 2003-12-26 05:07:35 +0000 | [diff] [blame] | 10 | // 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 Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Chris Lattner | fd13129 | 2003-09-05 20:08:15 +0000 | [diff] [blame] | 16 | #include "llvm/Module.h" |
Misha Brukman | c4fb6fd | 2003-10-14 21:39:53 +0000 | [diff] [blame] | 17 | #include "llvm/ModuleProvider.h" |
Chris Lattner | 269a428 | 2003-12-26 06:49:53 +0000 | [diff] [blame] | 18 | #include "llvm/Type.h" |
Chris Lattner | fd13129 | 2003-09-05 20:08:15 +0000 | [diff] [blame] | 19 | #include "llvm/Bytecode/Reader.h" |
Chris Lattner | d3a680a | 2006-08-01 22:34:35 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/LinkAllCodegenComponents.h" |
Jeff Cohen | 2f51914 | 2006-03-24 02:53:49 +0000 | [diff] [blame] | 21 | #include "llvm/ExecutionEngine/JIT.h" |
| 22 | #include "llvm/ExecutionEngine/Interpreter.h" |
Brian Gaeke | d1cab3e | 2003-09-05 19:42:34 +0000 | [diff] [blame] | 23 | #include "llvm/ExecutionEngine/GenericValue.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 24 | #include "llvm/Support/CommandLine.h" |
Chris Lattner | f2e292c | 2007-02-07 21:41:02 +0000 | [diff] [blame] | 25 | #include "llvm/Support/Compressor.h" |
Chris Lattner | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 26 | #include "llvm/Support/ManagedStatic.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 27 | #include "llvm/Support/PluginLoader.h" |
Chris Lattner | 43f249a | 2006-09-14 06:17:09 +0000 | [diff] [blame] | 28 | #include "llvm/System/Process.h" |
Chris Lattner | bed85ff | 2004-05-27 05:41:36 +0000 | [diff] [blame] | 29 | #include "llvm/System/Signals.h" |
Reid Spencer | 86f42bd | 2004-07-04 12:20:55 +0000 | [diff] [blame] | 30 | #include <iostream> |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 31 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 32 | using namespace llvm; |
| 33 | |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 34 | namespace { |
| 35 | cl::opt<std::string> |
| 36 | InputFile(cl::desc("<input bytecode>"), cl::Positional, cl::init("-")); |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 37 | |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 38 | cl::list<std::string> |
| 39 | InputArgv(cl::ConsumeAfter, cl::desc("<program arguments>...")); |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 40 | |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 41 | cl::opt<bool> ForceInterpreter("force-interpreter", |
Misha Brukman | 3d8a54d | 2003-09-25 18:10:34 +0000 | [diff] [blame] | 42 | cl::desc("Force interpretation: disable JIT"), |
| 43 | cl::init(false)); |
Chris Lattner | 3015e60 | 2005-12-16 05:00:21 +0000 | [diff] [blame] | 44 | cl::opt<std::string> |
Chris Lattner | 60844d4 | 2005-12-16 05:19:18 +0000 | [diff] [blame] | 45 | TargetTriple("mtriple", cl::desc("Override target triple for module")); |
Chris Lattner | 3015e60 | 2005-12-16 05:00:21 +0000 | [diff] [blame] | 46 | |
Chris Lattner | e69671d | 2003-10-28 22:51:44 +0000 | [diff] [blame] | 47 | cl::opt<std::string> |
| 48 | FakeArgv0("fake-argv0", |
| 49 | cl::desc("Override the 'argv[0]' value passed into the executing" |
| 50 | " program"), cl::value_desc("executable")); |
Chris Lattner | 43f249a | 2006-09-14 06:17:09 +0000 | [diff] [blame] | 51 | |
| 52 | cl::opt<bool> |
| 53 | DisableCoreFiles("disable-core-files", cl::Hidden, |
| 54 | cl::desc("Disable emission of core files if possible")); |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 55 | } |
Chris Lattner | 43e3f7c | 2001-10-27 08:43:52 +0000 | [diff] [blame] | 56 | |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 57 | static ExecutionEngine *EE = 0; |
| 58 | |
| 59 | static void do_shutdown() { |
| 60 | delete EE; |
| 61 | llvm_shutdown(); |
| 62 | } |
| 63 | |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 64 | //===----------------------------------------------------------------------===// |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 65 | // main Driver function |
| 66 | // |
Misha Brukman | c4fb6fd | 2003-10-14 21:39:53 +0000 | [diff] [blame] | 67 | int main(int argc, char **argv, char * const *envp) { |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 68 | atexit(do_shutdown); // Call llvm_shutdown() on exit. |
Misha Brukman | c4fb6fd | 2003-10-14 21:39:53 +0000 | [diff] [blame] | 69 | try { |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 70 | cl::ParseCommandLineOptions(argc, argv, |
| 71 | " llvm interpreter & dynamic compiler\n"); |
| 72 | sys::PrintStackTraceOnErrorSignal(); |
| 73 | |
Chris Lattner | 43f249a | 2006-09-14 06:17:09 +0000 | [diff] [blame] | 74 | // If the user doesn't want core files, disable them. |
| 75 | if (DisableCoreFiles) |
| 76 | sys::Process::PreventCoreFiles(); |
| 77 | |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 78 | // Load the bytecode... |
| 79 | std::string ErrorMsg; |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 80 | ModuleProvider *MP = getBytecodeModuleProvider(InputFile, |
| 81 | Compressor::decompressToNewBuffer, |
| 82 | &ErrorMsg); |
Reid Spencer | 0b5a504 | 2006-08-25 17:43:11 +0000 | [diff] [blame] | 83 | if (!MP) { |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 84 | std::cerr << argv[0] << ": error loading program '" << InputFile << "': " |
Reid Spencer | 0b5a504 | 2006-08-25 17:43:11 +0000 | [diff] [blame] | 85 | << ErrorMsg << "\n"; |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 86 | exit(1); |
| 87 | } |
| 88 | |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 89 | // Get the module as the MP could go away once EE takes over. |
| 90 | Module *Mod = MP->getModule(); |
| 91 | |
Chris Lattner | 3015e60 | 2005-12-16 05:00:21 +0000 | [diff] [blame] | 92 | // If we are supposed to override the target triple, do so now. |
| 93 | if (!TargetTriple.empty()) |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 94 | Mod->setTargetTriple(TargetTriple); |
Chris Lattner | 3015e60 | 2005-12-16 05:00:21 +0000 | [diff] [blame] | 95 | |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 96 | EE = ExecutionEngine::create(MP, ForceInterpreter, &ErrorMsg); |
| 97 | if (!EE && !ErrorMsg.empty()) { |
| 98 | std::cerr << argv[0] << ":error creating EE: " << ErrorMsg << "\n"; |
| 99 | exit(1); |
| 100 | } |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 101 | |
Chris Lattner | 42d0b45 | 2006-03-08 18:43:36 +0000 | [diff] [blame] | 102 | // If the user specifically requested an argv[0] to pass into the program, |
| 103 | // do it now. |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 104 | if (!FakeArgv0.empty()) { |
| 105 | InputFile = FakeArgv0; |
| 106 | } else { |
| 107 | // Otherwise, if there is a .bc suffix on the executable strip it off, it |
| 108 | // might confuse the program. |
| 109 | if (InputFile.rfind(".bc") == InputFile.length() - 3) |
| 110 | InputFile.erase(InputFile.length() - 3); |
| 111 | } |
| 112 | |
| 113 | // Add the module's name to the start of the vector of arguments to main(). |
| 114 | InputArgv.insert(InputArgv.begin(), InputFile); |
| 115 | |
| 116 | // Call the main function from M as if its signature were: |
| 117 | // int main (int argc, char **argv, const char **envp) |
| 118 | // using the contents of Args to determine argc & argv, and the contents of |
| 119 | // EnvVars to determine envp. |
| 120 | // |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 121 | Function *Fn = Mod->getFunction("main"); |
Chris Lattner | 5209889 | 2005-12-02 19:00:22 +0000 | [diff] [blame] | 122 | if (!Fn) { |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 123 | std::cerr << "'main' function not found in module.\n"; |
| 124 | return -1; |
| 125 | } |
| 126 | |
Chris Lattner | 42d0b45 | 2006-03-08 18:43:36 +0000 | [diff] [blame] | 127 | // Run static constructors. |
| 128 | EE->runStaticConstructorsDestructors(false); |
| 129 | |
| 130 | // Run main. |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 131 | int Result = EE->runFunctionAsMain(Fn, InputArgv, envp); |
| 132 | |
Chris Lattner | 42d0b45 | 2006-03-08 18:43:36 +0000 | [diff] [blame] | 133 | // Run static destructors. |
| 134 | EE->runStaticConstructorsDestructors(true); |
| 135 | |
Chris Lattner | c0974a1 | 2007-01-08 07:36:34 +0000 | [diff] [blame] | 136 | // If the program didn't explicitly call exit, call exit now, for the |
| 137 | // program. This ensures that any atexit handlers get called correctly. |
Reid Spencer | f70d677 | 2007-03-03 18:21:44 +0000 | [diff] [blame^] | 138 | Constant *Exit = Mod->getOrInsertFunction("exit", Type::VoidTy, |
Chris Lattner | c0974a1 | 2007-01-08 07:36:34 +0000 | [diff] [blame] | 139 | Type::Int32Ty, NULL); |
| 140 | if (Function *ExitF = dyn_cast<Function>(Exit)) { |
| 141 | std::vector<GenericValue> Args; |
| 142 | GenericValue ResultGV; |
| 143 | ResultGV.Int32Val = Result; |
| 144 | Args.push_back(ResultGV); |
| 145 | EE->runFunction(ExitF, Args); |
| 146 | std::cerr << "ERROR: exit(" << Result << ") returned!\n"; |
| 147 | abort(); |
| 148 | } else { |
| 149 | std::cerr << "ERROR: exit defined with wrong prototype!\n"; |
| 150 | abort(); |
| 151 | } |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 152 | } catch (const std::string& msg) { |
| 153 | std::cerr << argv[0] << ": " << msg << "\n"; |
| 154 | } catch (...) { |
| 155 | std::cerr << argv[0] << ": Unexpected unknown exception occurred.\n"; |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 156 | } |
Chris Lattner | efec966 | 2003-12-26 06:14:47 +0000 | [diff] [blame] | 157 | abort(); |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 158 | } |