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 | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 19 | #include "llvm/Bitcode/ReaderWriter.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 | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 25 | #include "llvm/Support/ManagedStatic.h" |
Chris Lattner | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 26 | #include "llvm/Support/MemoryBuffer.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 | 0204032 | 2007-04-27 17:02:33 +0000 | [diff] [blame] | 31 | #include <cerrno> |
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> |
Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 36 | InputFile(cl::desc("<input bitcode>"), 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. |
Chris Lattner | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 69 | cl::ParseCommandLineOptions(argc, argv, |
Dan Gohman | 82a13c9 | 2007-10-08 15:45:12 +0000 | [diff] [blame] | 70 | "llvm interpreter & dynamic compiler\n"); |
Chris Lattner | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 71 | sys::PrintStackTraceOnErrorSignal(); |
Reid Spencer | 1ef8bda | 2004-12-30 05:36:08 +0000 | [diff] [blame] | 72 | |
Chris Lattner | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 73 | // If the user doesn't want core files, disable them. |
| 74 | if (DisableCoreFiles) |
| 75 | sys::Process::PreventCoreFiles(); |
| 76 | |
Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 77 | // Load the bitcode... |
Chris Lattner | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 78 | std::string ErrorMsg; |
| 79 | ModuleProvider *MP = 0; |
Chris Lattner | 065344d | 2007-05-06 23:45:49 +0000 | [diff] [blame] | 80 | if (MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFile,&ErrorMsg)){ |
Chris Lattner | 744879e | 2007-05-06 09:32:02 +0000 | [diff] [blame] | 81 | MP = getBitcodeModuleProvider(Buffer, &ErrorMsg); |
| 82 | if (!MP) delete Buffer; |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 83 | } |
Chris Lattner | c1e6d68 | 2007-05-06 04:58:26 +0000 | [diff] [blame] | 84 | |
| 85 | if (!MP) { |
| 86 | std::cerr << argv[0] << ": error loading program '" << InputFile << "': " |
| 87 | << ErrorMsg << "\n"; |
| 88 | exit(1); |
| 89 | } |
| 90 | |
| 91 | // Get the module as the MP could go away once EE takes over. |
| 92 | Module *Mod = MP->getModule(); |
| 93 | |
| 94 | // If we are supposed to override the target triple, do so now. |
| 95 | if (!TargetTriple.empty()) |
| 96 | Mod->setTargetTriple(TargetTriple); |
| 97 | |
| 98 | EE = ExecutionEngine::create(MP, ForceInterpreter, &ErrorMsg); |
| 99 | if (!EE && !ErrorMsg.empty()) { |
| 100 | std::cerr << argv[0] << ":error creating EE: " << ErrorMsg << "\n"; |
| 101 | exit(1); |
| 102 | } |
| 103 | |
| 104 | // If the user specifically requested an argv[0] to pass into the program, |
| 105 | // do it now. |
| 106 | if (!FakeArgv0.empty()) { |
| 107 | InputFile = FakeArgv0; |
| 108 | } else { |
| 109 | // Otherwise, if there is a .bc suffix on the executable strip it off, it |
| 110 | // might confuse the program. |
| 111 | if (InputFile.rfind(".bc") == InputFile.length() - 3) |
| 112 | InputFile.erase(InputFile.length() - 3); |
| 113 | } |
| 114 | |
| 115 | // Add the module's name to the start of the vector of arguments to main(). |
| 116 | InputArgv.insert(InputArgv.begin(), InputFile); |
| 117 | |
| 118 | // Call the main function from M as if its signature were: |
| 119 | // int main (int argc, char **argv, const char **envp) |
| 120 | // using the contents of Args to determine argc & argv, and the contents of |
| 121 | // EnvVars to determine envp. |
| 122 | // |
| 123 | Function *Fn = Mod->getFunction("main"); |
| 124 | if (!Fn) { |
| 125 | std::cerr << "'main' function not found in module.\n"; |
| 126 | return -1; |
| 127 | } |
| 128 | |
| 129 | // If the program doesn't explicitly call exit, we will need the Exit |
| 130 | // function later on to make an explicit call, so get the function now. |
| 131 | Constant *Exit = Mod->getOrInsertFunction("exit", Type::VoidTy, |
| 132 | Type::Int32Ty, NULL); |
| 133 | |
| 134 | // Reset errno to zero on entry to main. |
| 135 | errno = 0; |
| 136 | |
| 137 | // Run static constructors. |
| 138 | EE->runStaticConstructorsDestructors(false); |
| 139 | |
| 140 | // Run main. |
| 141 | int Result = EE->runFunctionAsMain(Fn, InputArgv, envp); |
| 142 | |
| 143 | // Run static destructors. |
| 144 | EE->runStaticConstructorsDestructors(true); |
| 145 | |
| 146 | // If the program didn't call exit explicitly, we should call it now. |
| 147 | // This ensures that any atexit handlers get called correctly. |
| 148 | if (Function *ExitF = dyn_cast<Function>(Exit)) { |
| 149 | std::vector<GenericValue> Args; |
| 150 | GenericValue ResultGV; |
| 151 | ResultGV.IntVal = APInt(32, Result); |
| 152 | Args.push_back(ResultGV); |
| 153 | EE->runFunction(ExitF, Args); |
| 154 | std::cerr << "ERROR: exit(" << Result << ") returned!\n"; |
| 155 | abort(); |
| 156 | } else { |
| 157 | std::cerr << "ERROR: exit defined with wrong prototype!\n"; |
| 158 | abort(); |
| 159 | } |
Chris Lattner | 92101ac | 2001-08-23 17:05:04 +0000 | [diff] [blame] | 160 | } |