| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 1 | //===-- JIT.cpp - LLVM Just in Time Compiler ------------------------------===// | 
| Misha Brukman | f976c85 | 2005-04-21 22:55:34 +0000 | [diff] [blame] | 2 | // | 
| John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
| Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source | 
|  | 6 | // License. See LICENSE.TXT for details. | 
| Misha Brukman | f976c85 | 2005-04-21 22:55:34 +0000 | [diff] [blame] | 7 | // | 
| John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 9 | // | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 10 | // This tool implements a just-in-time compiler for LLVM, allowing direct | 
| Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 11 | // execution of LLVM bitcode in an efficient manner. | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 12 | // | 
|  | 13 | //===----------------------------------------------------------------------===// | 
|  | 14 |  | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 15 | #include "JIT.h" | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 16 | #include "llvm/Constants.h" | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 17 | #include "llvm/DerivedTypes.h" | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 18 | #include "llvm/Function.h" | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 19 | #include "llvm/GlobalVariable.h" | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 20 | #include "llvm/Instructions.h" | 
| Misha Brukman | 0f4f7d9 | 2003-10-16 21:19:34 +0000 | [diff] [blame] | 21 | #include "llvm/ModuleProvider.h" | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineCodeEmitter.h" | 
| Brian Gaeke | 9722294 | 2003-09-05 19:39:22 +0000 | [diff] [blame] | 23 | #include "llvm/ExecutionEngine/GenericValue.h" | 
| Chris Lattner | e7fd553 | 2006-05-08 22:00:52 +0000 | [diff] [blame] | 24 | #include "llvm/Support/MutexGuard.h" | 
| Reid Spencer | df5a37e | 2004-11-29 14:11:29 +0000 | [diff] [blame] | 25 | #include "llvm/System/DynamicLibrary.h" | 
| Owen Anderson | 07000c6 | 2006-05-12 06:33:49 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetData.h" | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 27 | #include "llvm/Target/TargetMachine.h" | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 28 | #include "llvm/Target/TargetJITInfo.h" | 
| Anton Korobeynikov | 3b30a6e | 2007-07-30 20:02:02 +0000 | [diff] [blame] | 29 |  | 
|  | 30 | #include "llvm/Config/config.h" | 
|  | 31 |  | 
| Chris Lattner | c19aade | 2003-12-08 08:06:28 +0000 | [diff] [blame] | 32 | using namespace llvm; | 
| Misha Brukman | abb027c | 2003-05-27 21:40:39 +0000 | [diff] [blame] | 33 |  | 
| Nate Begeman | b76ea74 | 2006-07-22 16:59:38 +0000 | [diff] [blame] | 34 | #ifdef __APPLE__ | 
| Anton Korobeynikov | 3b30a6e | 2007-07-30 20:02:02 +0000 | [diff] [blame] | 35 | // Apple gcc defaults to -fuse-cxa-atexit (i.e. calls __cxa_atexit instead | 
|  | 36 | // of atexit). It passes the address of linker generated symbol __dso_handle | 
|  | 37 | // to the function. | 
|  | 38 | // This configuration change happened at version 5330. | 
|  | 39 | # include <AvailabilityMacros.h> | 
|  | 40 | # if defined(MAC_OS_X_VERSION_10_4) && \ | 
|  | 41 | ((MAC_OS_X_VERSION_MIN_REQUIRED > MAC_OS_X_VERSION_10_4) || \ | 
|  | 42 | (MAC_OS_X_VERSION_MIN_REQUIRED == MAC_OS_X_VERSION_10_4 && \ | 
|  | 43 | __APPLE_CC__ >= 5330)) | 
|  | 44 | #  ifndef HAVE___DSO_HANDLE | 
|  | 45 | #   define HAVE___DSO_HANDLE 1 | 
|  | 46 | #  endif | 
|  | 47 | # endif | 
| Evan Cheng | 5f42c55 | 2006-07-21 23:06:20 +0000 | [diff] [blame] | 48 | #endif | 
| Anton Korobeynikov | 3b30a6e | 2007-07-30 20:02:02 +0000 | [diff] [blame] | 49 |  | 
|  | 50 | #if HAVE___DSO_HANDLE | 
|  | 51 | extern void *__dso_handle __attribute__ ((__visibility__ ("hidden"))); | 
| Nate Begeman | b76ea74 | 2006-07-22 16:59:38 +0000 | [diff] [blame] | 52 | #endif | 
| Evan Cheng | 5f42c55 | 2006-07-21 23:06:20 +0000 | [diff] [blame] | 53 |  | 
| Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 54 | namespace { | 
|  | 55 |  | 
| Chris Lattner | 2fe4bb0 | 2006-03-22 06:07:50 +0000 | [diff] [blame] | 56 | static struct RegisterJIT { | 
|  | 57 | RegisterJIT() { JIT::Register(); } | 
|  | 58 | } JITRegistrator; | 
|  | 59 |  | 
| Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 60 | } | 
|  | 61 |  | 
| Jeff Cohen | 2f51914 | 2006-03-24 02:53:49 +0000 | [diff] [blame] | 62 | namespace llvm { | 
|  | 63 | void LinkInJIT() { | 
|  | 64 | } | 
|  | 65 | } | 
|  | 66 |  | 
| Anton Korobeynikov | 299d9d7 | 2008-03-22 08:53:09 +0000 | [diff] [blame] | 67 | #if defined (__GNUC__) | 
|  | 68 | extern "C" void __register_frame(void*); | 
|  | 69 | #endif | 
|  | 70 |  | 
| Chris Lattner | 34c9433 | 2007-12-06 01:34:04 +0000 | [diff] [blame] | 71 | /// createJIT - This is the factory method for creating a JIT for the current | 
|  | 72 | /// machine, it does not fall back to the interpreter.  This takes ownership | 
|  | 73 | /// of the module provider. | 
|  | 74 | ExecutionEngine *ExecutionEngine::createJIT(ModuleProvider *MP, | 
|  | 75 | std::string *ErrorStr, | 
| Evan Cheng | 502f20b | 2008-08-08 08:11:34 +0000 | [diff] [blame^] | 76 | JITMemoryManager *JMM, | 
|  | 77 | bool Fast) { | 
|  | 78 | ExecutionEngine *EE = JIT::createJIT(MP, ErrorStr, JMM, Fast); | 
| Chris Lattner | 34c9433 | 2007-12-06 01:34:04 +0000 | [diff] [blame] | 79 | if (!EE) return 0; | 
|  | 80 |  | 
| Anton Korobeynikov | 299d9d7 | 2008-03-22 08:53:09 +0000 | [diff] [blame] | 81 | // Register routine for informing unwinding runtime about new EH frames | 
|  | 82 | #if defined(__GNUC__) | 
|  | 83 | EE->InstallExceptionTableRegister(__register_frame); | 
|  | 84 | #endif | 
|  | 85 |  | 
| Chris Lattner | 34c9433 | 2007-12-06 01:34:04 +0000 | [diff] [blame] | 86 | // Make sure we can resolve symbols in the program as well. The zero arg | 
|  | 87 | // to the function tells DynamicLibrary to load the program, not a library. | 
|  | 88 | sys::DynamicLibrary::LoadLibraryPermanently(0, ErrorStr); | 
|  | 89 | return EE; | 
|  | 90 | } | 
|  | 91 |  | 
|  | 92 | JIT::JIT(ModuleProvider *MP, TargetMachine &tm, TargetJITInfo &tji, | 
| Evan Cheng | 502f20b | 2008-08-08 08:11:34 +0000 | [diff] [blame^] | 93 | JITMemoryManager *JMM, bool Fast) | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 94 | : ExecutionEngine(MP), TM(tm), TJI(tji) { | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 95 | setTargetData(TM.getTargetData()); | 
| Misha Brukman | abb027c | 2003-05-27 21:40:39 +0000 | [diff] [blame] | 96 |  | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 97 | jitstate = new JITState(MP); | 
|  | 98 |  | 
| Misha Brukman | abb027c | 2003-05-27 21:40:39 +0000 | [diff] [blame] | 99 | // Initialize MCE | 
| Chris Lattner | 34c9433 | 2007-12-06 01:34:04 +0000 | [diff] [blame] | 100 | MCE = createEmitter(*this, JMM); | 
| Misha Brukman | f976c85 | 2005-04-21 22:55:34 +0000 | [diff] [blame] | 101 |  | 
| Brian Gaeke | 50872d5 | 2004-04-14 17:45:52 +0000 | [diff] [blame] | 102 | // Add target data | 
| Reid Spencer | ee44863 | 2005-07-12 15:51:55 +0000 | [diff] [blame] | 103 | MutexGuard locked(lock); | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 104 | FunctionPassManager &PM = jitstate->getPM(locked); | 
| Chris Lattner | b93b034 | 2006-05-04 21:18:40 +0000 | [diff] [blame] | 105 | PM.add(new TargetData(*TM.getTargetData())); | 
| Brian Gaeke | 50872d5 | 2004-04-14 17:45:52 +0000 | [diff] [blame] | 106 |  | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 107 | // Turn the machine code intermediate representation into bytes in memory that | 
|  | 108 | // may be executed. | 
| Evan Cheng | 502f20b | 2008-08-08 08:11:34 +0000 | [diff] [blame^] | 109 | if (TM.addPassesToEmitMachineCode(PM, *MCE, Fast)) { | 
| Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 110 | cerr << "Target does not support machine code emission!\n"; | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 111 | abort(); | 
|  | 112 | } | 
| Chris Lattner | 1911fd4 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 113 |  | 
|  | 114 | // Initialize passes. | 
|  | 115 | PM.doInitialization(); | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 116 | } | 
|  | 117 |  | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 118 | JIT::~JIT() { | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 119 | delete jitstate; | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 120 | delete MCE; | 
|  | 121 | delete &TM; | 
|  | 122 | } | 
|  | 123 |  | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 124 | /// addModuleProvider - Add a new ModuleProvider to the JIT.  If we previously | 
|  | 125 | /// removed the last ModuleProvider, we need re-initialize jitstate with a valid | 
|  | 126 | /// ModuleProvider. | 
|  | 127 | void JIT::addModuleProvider(ModuleProvider *MP) { | 
|  | 128 | MutexGuard locked(lock); | 
|  | 129 |  | 
|  | 130 | if (Modules.empty()) { | 
|  | 131 | assert(!jitstate && "jitstate should be NULL if Modules vector is empty!"); | 
|  | 132 |  | 
|  | 133 | jitstate = new JITState(MP); | 
|  | 134 |  | 
|  | 135 | FunctionPassManager &PM = jitstate->getPM(locked); | 
|  | 136 | PM.add(new TargetData(*TM.getTargetData())); | 
|  | 137 |  | 
|  | 138 | // Turn the machine code intermediate representation into bytes in memory | 
|  | 139 | // that may be executed. | 
|  | 140 | if (TM.addPassesToEmitMachineCode(PM, *MCE, false /*fast*/)) { | 
|  | 141 | cerr << "Target does not support machine code emission!\n"; | 
|  | 142 | abort(); | 
|  | 143 | } | 
|  | 144 |  | 
|  | 145 | // Initialize passes. | 
|  | 146 | PM.doInitialization(); | 
|  | 147 | } | 
|  | 148 |  | 
|  | 149 | ExecutionEngine::addModuleProvider(MP); | 
|  | 150 | } | 
|  | 151 |  | 
|  | 152 | /// removeModuleProvider - If we are removing the last ModuleProvider, | 
|  | 153 | /// invalidate the jitstate since the PassManager it contains references a | 
|  | 154 | /// released ModuleProvider. | 
|  | 155 | Module *JIT::removeModuleProvider(ModuleProvider *MP, std::string *E) { | 
|  | 156 | Module *result = ExecutionEngine::removeModuleProvider(MP, E); | 
|  | 157 |  | 
|  | 158 | MutexGuard locked(lock); | 
|  | 159 | if (Modules.empty()) { | 
|  | 160 | delete jitstate; | 
|  | 161 | jitstate = 0; | 
|  | 162 | } | 
|  | 163 |  | 
|  | 164 | return result; | 
|  | 165 | } | 
|  | 166 |  | 
| Brian Gaeke | 70975ee | 2003-09-05 18:42:01 +0000 | [diff] [blame] | 167 | /// run - Start execution with the specified function and arguments. | 
| Chris Lattner | 05a1a30 | 2003-08-21 21:32:12 +0000 | [diff] [blame] | 168 | /// | 
| Chris Lattner | ff0f1bb | 2003-12-26 06:13:47 +0000 | [diff] [blame] | 169 | GenericValue JIT::runFunction(Function *F, | 
|  | 170 | const std::vector<GenericValue> &ArgValues) { | 
| Chris Lattner | b47130c | 2004-08-15 23:29:50 +0000 | [diff] [blame] | 171 | assert(F && "Function *F was null at entry to run()"); | 
| Chris Lattner | b47130c | 2004-08-15 23:29:50 +0000 | [diff] [blame] | 172 |  | 
|  | 173 | void *FPtr = getPointerToFunction(F); | 
| Chris Lattner | 7c45d78 | 2004-08-15 23:31:43 +0000 | [diff] [blame] | 174 | assert(FPtr && "Pointer to fn's code was null after getPointerToFunction"); | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 175 | const FunctionType *FTy = F->getFunctionType(); | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 176 | const Type *RetTy = FTy->getReturnType(); | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 177 |  | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 178 | assert((FTy->getNumParams() <= ArgValues.size() || FTy->isVarArg()) && | 
|  | 179 | "Too many arguments passed into function!"); | 
|  | 180 | assert(FTy->getNumParams() == ArgValues.size() && | 
|  | 181 | "This doesn't support passing arguments through varargs (yet)!"); | 
|  | 182 |  | 
| Misha Brukman | ec84302 | 2004-10-22 23:35:57 +0000 | [diff] [blame] | 183 | // Handle some common cases first.  These cases correspond to common `main' | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 184 | // prototypes. | 
| Chris Lattner | 79e038a | 2007-08-08 16:19:57 +0000 | [diff] [blame] | 185 | if (RetTy == Type::Int32Ty || RetTy == Type::VoidTy) { | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 186 | switch (ArgValues.size()) { | 
|  | 187 | case 3: | 
| Chris Lattner | 79e038a | 2007-08-08 16:19:57 +0000 | [diff] [blame] | 188 | if (FTy->getParamType(0) == Type::Int32Ty && | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 189 | isa<PointerType>(FTy->getParamType(1)) && | 
|  | 190 | isa<PointerType>(FTy->getParamType(2))) { | 
|  | 191 | int (*PF)(int, char **, const char **) = | 
| Chris Lattner | 870286a | 2006-06-01 17:29:22 +0000 | [diff] [blame] | 192 | (int(*)(int, char **, const char **))(intptr_t)FPtr; | 
| Misha Brukman | ec84302 | 2004-10-22 23:35:57 +0000 | [diff] [blame] | 193 |  | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 194 | // Call the function. | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 195 | GenericValue rv; | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 196 | rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(), | 
|  | 197 | (char **)GVTOP(ArgValues[1]), | 
|  | 198 | (const char **)GVTOP(ArgValues[2]))); | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 199 | return rv; | 
|  | 200 | } | 
|  | 201 | break; | 
| Chris Lattner | 174f226 | 2004-08-16 01:07:04 +0000 | [diff] [blame] | 202 | case 2: | 
| Chris Lattner | 79e038a | 2007-08-08 16:19:57 +0000 | [diff] [blame] | 203 | if (FTy->getParamType(0) == Type::Int32Ty && | 
| Chris Lattner | 174f226 | 2004-08-16 01:07:04 +0000 | [diff] [blame] | 204 | isa<PointerType>(FTy->getParamType(1))) { | 
| Chris Lattner | 870286a | 2006-06-01 17:29:22 +0000 | [diff] [blame] | 205 | int (*PF)(int, char **) = (int(*)(int, char **))(intptr_t)FPtr; | 
| Misha Brukman | ec84302 | 2004-10-22 23:35:57 +0000 | [diff] [blame] | 206 |  | 
| Chris Lattner | 174f226 | 2004-08-16 01:07:04 +0000 | [diff] [blame] | 207 | // Call the function. | 
|  | 208 | GenericValue rv; | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 209 | rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(), | 
|  | 210 | (char **)GVTOP(ArgValues[1]))); | 
| Chris Lattner | 174f226 | 2004-08-16 01:07:04 +0000 | [diff] [blame] | 211 | return rv; | 
|  | 212 | } | 
|  | 213 | break; | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 214 | case 1: | 
|  | 215 | if (FTy->getNumParams() == 1 && | 
| Chris Lattner | 79e038a | 2007-08-08 16:19:57 +0000 | [diff] [blame] | 216 | FTy->getParamType(0) == Type::Int32Ty) { | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 217 | GenericValue rv; | 
| Chris Lattner | 870286a | 2006-06-01 17:29:22 +0000 | [diff] [blame] | 218 | int (*PF)(int) = (int(*)(int))(intptr_t)FPtr; | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 219 | rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue())); | 
| Chris Lattner | f7bedf4 | 2004-08-15 23:39:59 +0000 | [diff] [blame] | 220 | return rv; | 
|  | 221 | } | 
|  | 222 | break; | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 223 | } | 
|  | 224 | } | 
|  | 225 |  | 
|  | 226 | // Handle cases where no arguments are passed first. | 
|  | 227 | if (ArgValues.empty()) { | 
|  | 228 | GenericValue rv; | 
|  | 229 | switch (RetTy->getTypeID()) { | 
|  | 230 | default: assert(0 && "Unknown return type for function call!"); | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 231 | case Type::IntegerTyID: { | 
|  | 232 | unsigned BitWidth = cast<IntegerType>(RetTy)->getBitWidth(); | 
|  | 233 | if (BitWidth == 1) | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 234 | rv.IntVal = APInt(BitWidth, ((bool(*)())(intptr_t)FPtr)()); | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 235 | else if (BitWidth <= 8) | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 236 | rv.IntVal = APInt(BitWidth, ((char(*)())(intptr_t)FPtr)()); | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 237 | else if (BitWidth <= 16) | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 238 | rv.IntVal = APInt(BitWidth, ((short(*)())(intptr_t)FPtr)()); | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 239 | else if (BitWidth <= 32) | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 240 | rv.IntVal = APInt(BitWidth, ((int(*)())(intptr_t)FPtr)()); | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 241 | else if (BitWidth <= 64) | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 242 | rv.IntVal = APInt(BitWidth, ((int64_t(*)())(intptr_t)FPtr)()); | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 243 | else | 
|  | 244 | assert(0 && "Integer types > 64 bits not supported"); | 
| Chris Lattner | d297aea | 2004-08-15 23:34:48 +0000 | [diff] [blame] | 245 | return rv; | 
| Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 246 | } | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 247 | case Type::VoidTyID: | 
| Reid Spencer | 38f6a15 | 2007-03-06 03:11:31 +0000 | [diff] [blame] | 248 | rv.IntVal = APInt(32, ((int(*)())(intptr_t)FPtr)()); | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 249 | return rv; | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 250 | case Type::FloatTyID: | 
| Chris Lattner | 870286a | 2006-06-01 17:29:22 +0000 | [diff] [blame] | 251 | rv.FloatVal = ((float(*)())(intptr_t)FPtr)(); | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 252 | return rv; | 
|  | 253 | case Type::DoubleTyID: | 
| Chris Lattner | 870286a | 2006-06-01 17:29:22 +0000 | [diff] [blame] | 254 | rv.DoubleVal = ((double(*)())(intptr_t)FPtr)(); | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 255 | return rv; | 
| Dale Johannesen | 1abac0d | 2007-09-17 18:44:13 +0000 | [diff] [blame] | 256 | case Type::X86_FP80TyID: | 
|  | 257 | case Type::FP128TyID: | 
|  | 258 | case Type::PPC_FP128TyID: | 
|  | 259 | assert(0 && "long double not supported yet"); | 
|  | 260 | return rv; | 
| Chris Lattner | e5eab14 | 2004-08-15 23:53:06 +0000 | [diff] [blame] | 261 | case Type::PointerTyID: | 
| Chris Lattner | 870286a | 2006-06-01 17:29:22 +0000 | [diff] [blame] | 262 | return PTOGV(((void*(*)())(intptr_t)FPtr)()); | 
| Chris Lattner | d297aea | 2004-08-15 23:34:48 +0000 | [diff] [blame] | 263 | } | 
| Chris Lattner | ff0f1bb | 2003-12-26 06:13:47 +0000 | [diff] [blame] | 264 | } | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 265 |  | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 266 | // Okay, this is not one of our quick and easy cases.  Because we don't have a | 
|  | 267 | // full FFI, we have to codegen a nullary stub function that just calls the | 
|  | 268 | // function we are interested in, passing in constants for all of the | 
|  | 269 | // arguments.  Make this function and return. | 
|  | 270 |  | 
|  | 271 | // First, create the function. | 
|  | 272 | FunctionType *STy=FunctionType::get(RetTy, std::vector<const Type*>(), false); | 
| Gabor Greif | 051a950 | 2008-04-06 20:25:17 +0000 | [diff] [blame] | 273 | Function *Stub = Function::Create(STy, Function::InternalLinkage, "", | 
|  | 274 | F->getParent()); | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 275 |  | 
|  | 276 | // Insert a basic block. | 
| Gabor Greif | 051a950 | 2008-04-06 20:25:17 +0000 | [diff] [blame] | 277 | BasicBlock *StubBB = BasicBlock::Create("", Stub); | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 278 |  | 
|  | 279 | // Convert all of the GenericValue arguments over to constants.  Note that we | 
|  | 280 | // currently don't support varargs. | 
| Chris Lattner | 990b849 | 2007-02-13 06:01:22 +0000 | [diff] [blame] | 281 | SmallVector<Value*, 8> Args; | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 282 | for (unsigned i = 0, e = ArgValues.size(); i != e; ++i) { | 
|  | 283 | Constant *C = 0; | 
|  | 284 | const Type *ArgTy = FTy->getParamType(i); | 
|  | 285 | const GenericValue &AV = ArgValues[i]; | 
|  | 286 | switch (ArgTy->getTypeID()) { | 
|  | 287 | default: assert(0 && "Unknown argument type for function call!"); | 
| Chris Lattner | 02a260a | 2008-04-20 00:41:09 +0000 | [diff] [blame] | 288 | case Type::IntegerTyID: | 
|  | 289 | C = ConstantInt::get(AV.IntVal); | 
|  | 290 | break; | 
|  | 291 | case Type::FloatTyID: | 
|  | 292 | C = ConstantFP::get(APFloat(AV.FloatVal)); | 
|  | 293 | break; | 
|  | 294 | case Type::DoubleTyID: | 
|  | 295 | C = ConstantFP::get(APFloat(AV.DoubleVal)); | 
|  | 296 | break; | 
| Dale Johannesen | 1abac0d | 2007-09-17 18:44:13 +0000 | [diff] [blame] | 297 | case Type::PPC_FP128TyID: | 
|  | 298 | case Type::X86_FP80TyID: | 
| Chris Lattner | 02a260a | 2008-04-20 00:41:09 +0000 | [diff] [blame] | 299 | case Type::FP128TyID: | 
|  | 300 | C = ConstantFP::get(APFloat(AV.IntVal)); | 
|  | 301 | break; | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 302 | case Type::PointerTyID: | 
|  | 303 | void *ArgPtr = GVTOP(AV); | 
| Chris Lattner | 02a260a | 2008-04-20 00:41:09 +0000 | [diff] [blame] | 304 | if (sizeof(void*) == 4) | 
| Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 305 | C = ConstantInt::get(Type::Int32Ty, (int)(intptr_t)ArgPtr); | 
| Chris Lattner | 02a260a | 2008-04-20 00:41:09 +0000 | [diff] [blame] | 306 | else | 
| Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 307 | C = ConstantInt::get(Type::Int64Ty, (intptr_t)ArgPtr); | 
| Reid Spencer | 15f46d6 | 2006-12-12 01:17:41 +0000 | [diff] [blame] | 308 | C = ConstantExpr::getIntToPtr(C, ArgTy);  // Cast the integer to pointer | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 309 | break; | 
|  | 310 | } | 
|  | 311 | Args.push_back(C); | 
|  | 312 | } | 
|  | 313 |  | 
| Gabor Greif | b1dbcd8 | 2008-05-15 10:04:30 +0000 | [diff] [blame] | 314 | CallInst *TheCall = CallInst::Create(F, Args.begin(), Args.end(), | 
|  | 315 | "", StubBB); | 
| Chris Lattner | a471e04 | 2005-05-06 06:48:54 +0000 | [diff] [blame] | 316 | TheCall->setTailCall(); | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 317 | if (TheCall->getType() != Type::VoidTy) | 
| Gabor Greif | b1dbcd8 | 2008-05-15 10:04:30 +0000 | [diff] [blame] | 318 | ReturnInst::Create(TheCall, StubBB);    // Return result of the call. | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 319 | else | 
| Gabor Greif | b1dbcd8 | 2008-05-15 10:04:30 +0000 | [diff] [blame] | 320 | ReturnInst::Create(StubBB);             // Just return void. | 
| Chris Lattner | cc22e9f | 2004-08-16 00:14:18 +0000 | [diff] [blame] | 321 |  | 
|  | 322 | // Finally, return the value returned by our nullary stub function. | 
|  | 323 | return runFunction(Stub, std::vector<GenericValue>()); | 
| Chris Lattner | bd199fb | 2002-12-24 00:01:05 +0000 | [diff] [blame] | 324 | } | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 325 |  | 
|  | 326 | /// runJITOnFunction - Run the FunctionPassManager full of | 
|  | 327 | /// just-in-time compilation passes on F, hopefully filling in | 
|  | 328 | /// GlobalAddress[F] with the address of F's machine code. | 
|  | 329 | /// | 
|  | 330 | void JIT::runJITOnFunction(Function *F) { | 
|  | 331 | static bool isAlreadyCodeGenerating = false; | 
| Jeff Cohen | 00b16889 | 2005-07-27 06:12:32 +0000 | [diff] [blame] | 332 |  | 
| Reid Spencer | ee44863 | 2005-07-12 15:51:55 +0000 | [diff] [blame] | 333 | MutexGuard locked(lock); | 
| Chris Lattner | 17f218e | 2007-08-13 20:08:16 +0000 | [diff] [blame] | 334 | assert(!isAlreadyCodeGenerating && "Error: Recursive compilation detected!"); | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 335 |  | 
|  | 336 | // JIT the function | 
|  | 337 | isAlreadyCodeGenerating = true; | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 338 | jitstate->getPM(locked).run(*F); | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 339 | isAlreadyCodeGenerating = false; | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 340 |  | 
|  | 341 | // If the function referred to a global variable that had not yet been | 
|  | 342 | // emitted, it allocates memory for the global, but doesn't emit it yet.  Emit | 
|  | 343 | // all of these globals now. | 
| Nate Begeman | f049e07 | 2008-05-21 16:34:48 +0000 | [diff] [blame] | 344 | while (!jitstate->getPendingGlobals(locked).empty()) { | 
|  | 345 | const GlobalVariable *GV = jitstate->getPendingGlobals(locked).back(); | 
|  | 346 | jitstate->getPendingGlobals(locked).pop_back(); | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 347 | EmitGlobalVariable(GV); | 
|  | 348 | } | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 349 | } | 
|  | 350 |  | 
|  | 351 | /// getPointerToFunction - This method is used to get the address of the | 
|  | 352 | /// specified function, compiling it if neccesary. | 
|  | 353 | /// | 
|  | 354 | void *JIT::getPointerToFunction(Function *F) { | 
| Reid Spencer | ee44863 | 2005-07-12 15:51:55 +0000 | [diff] [blame] | 355 |  | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 356 | if (void *Addr = getPointerToGlobalIfAvailable(F)) | 
|  | 357 | return Addr;   // Check if function already code gen'd | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 358 |  | 
| Chris Lattner | fe85403 | 2006-08-16 01:24:12 +0000 | [diff] [blame] | 359 | // Make sure we read in the function if it exists in this Module. | 
| Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 360 | if (F->hasNotBeenReadFromBitcode()) { | 
| Chris Lattner | fe85403 | 2006-08-16 01:24:12 +0000 | [diff] [blame] | 361 | // Determine the module provider this function is provided by. | 
|  | 362 | Module *M = F->getParent(); | 
|  | 363 | ModuleProvider *MP = 0; | 
|  | 364 | for (unsigned i = 0, e = Modules.size(); i != e; ++i) { | 
|  | 365 | if (Modules[i]->getModule() == M) { | 
|  | 366 | MP = Modules[i]; | 
|  | 367 | break; | 
|  | 368 | } | 
|  | 369 | } | 
|  | 370 | assert(MP && "Function isn't in a module we know about!"); | 
|  | 371 |  | 
| Chris Lattner | 5c72a3a | 2006-07-07 17:18:09 +0000 | [diff] [blame] | 372 | std::string ErrorMsg; | 
|  | 373 | if (MP->materializeFunction(F, &ErrorMsg)) { | 
| Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 374 | cerr << "Error reading function '" << F->getName() | 
| Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 375 | << "' from bitcode file: " << ErrorMsg << "\n"; | 
| Chris Lattner | 0050ef8 | 2004-11-15 23:18:09 +0000 | [diff] [blame] | 376 | abort(); | 
|  | 377 | } | 
| Chris Lattner | 5c72a3a | 2006-07-07 17:18:09 +0000 | [diff] [blame] | 378 | } | 
| Nicolas Geoffray | fd7d991 | 2008-04-20 08:33:02 +0000 | [diff] [blame] | 379 |  | 
|  | 380 | if (void *Addr = getPointerToGlobalIfAvailable(F)) { | 
|  | 381 | return Addr; | 
|  | 382 | } | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 383 |  | 
| Nicolas Geoffray | fd7d991 | 2008-04-20 08:33:02 +0000 | [diff] [blame] | 384 | MutexGuard locked(lock); | 
|  | 385 |  | 
| Reid Spencer | 5cbf985 | 2007-01-30 20:08:39 +0000 | [diff] [blame] | 386 | if (F->isDeclaration()) { | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 387 | void *Addr = getPointerToNamedFunction(F->getName()); | 
|  | 388 | addGlobalMapping(F, Addr); | 
|  | 389 | return Addr; | 
|  | 390 | } | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 391 |  | 
|  | 392 | runJITOnFunction(F); | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 393 |  | 
|  | 394 | void *Addr = getPointerToGlobalIfAvailable(F); | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 395 | assert(Addr && "Code generation didn't add function to GlobalAddress table!"); | 
|  | 396 | return Addr; | 
|  | 397 | } | 
|  | 398 |  | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 399 | /// getOrEmitGlobalVariable - Return the address of the specified global | 
|  | 400 | /// variable, possibly emitting it to memory if needed.  This is used by the | 
|  | 401 | /// Emitter. | 
|  | 402 | void *JIT::getOrEmitGlobalVariable(const GlobalVariable *GV) { | 
| Reid Spencer | ee44863 | 2005-07-12 15:51:55 +0000 | [diff] [blame] | 403 | MutexGuard locked(lock); | 
|  | 404 |  | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 405 | void *Ptr = getPointerToGlobalIfAvailable(GV); | 
|  | 406 | if (Ptr) return Ptr; | 
|  | 407 |  | 
|  | 408 | // If the global is external, just remember the address. | 
| Reid Spencer | 5cbf985 | 2007-01-30 20:08:39 +0000 | [diff] [blame] | 409 | if (GV->isDeclaration()) { | 
| Anton Korobeynikov | 3b30a6e | 2007-07-30 20:02:02 +0000 | [diff] [blame] | 410 | #if HAVE___DSO_HANDLE | 
| Evan Cheng | 5f42c55 | 2006-07-21 23:06:20 +0000 | [diff] [blame] | 411 | if (GV->getName() == "__dso_handle") | 
|  | 412 | return (void*)&__dso_handle; | 
| Evan Cheng | b82ab94 | 2006-07-22 00:42:03 +0000 | [diff] [blame] | 413 | #endif | 
| Reid Spencer | df5a37e | 2004-11-29 14:11:29 +0000 | [diff] [blame] | 414 | Ptr = sys::DynamicLibrary::SearchForAddressOfSymbol(GV->getName().c_str()); | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 415 | if (Ptr == 0) { | 
| Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 416 | cerr << "Could not resolve external global address: " | 
|  | 417 | << GV->getName() << "\n"; | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 418 | abort(); | 
| Dale Johannesen | dd947ea | 2008-08-07 01:30:15 +0000 | [diff] [blame] | 419 | addGlobalMapping(GV, Ptr); | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 420 | } | 
|  | 421 | } else { | 
| Dale Johannesen | dd947ea | 2008-08-07 01:30:15 +0000 | [diff] [blame] | 422 | // If the global hasn't been emitted to memory yet, allocate space and | 
|  | 423 | // emit it into memory.  It goes in the same array as the generated | 
|  | 424 | // code, jump tables, etc. | 
| Chris Lattner | f5d438c | 2006-05-02 21:57:51 +0000 | [diff] [blame] | 425 | const Type *GlobalType = GV->getType()->getElementType(); | 
| Duncan Sands | 514ab34 | 2007-11-01 20:53:16 +0000 | [diff] [blame] | 426 | size_t S = getTargetData()->getABITypeSize(GlobalType); | 
| Duncan Sands | d102593 | 2008-01-29 06:23:44 +0000 | [diff] [blame] | 427 | size_t A = getTargetData()->getPreferredAlignment(GV); | 
| Dale Johannesen | dd947ea | 2008-08-07 01:30:15 +0000 | [diff] [blame] | 428 | Ptr = MCE->allocateSpace(S, A); | 
|  | 429 | addGlobalMapping(GV, Ptr); | 
|  | 430 | EmitGlobalVariable(GV); | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 431 | } | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 432 | return Ptr; | 
|  | 433 | } | 
|  | 434 |  | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 435 | /// recompileAndRelinkFunction - This method is used to force a function | 
|  | 436 | /// which has already been compiled, to be compiled again, possibly | 
|  | 437 | /// after it has been modified. Then the entry to the old copy is overwritten | 
|  | 438 | /// with a branch to the new copy. If there was no old copy, this acts | 
|  | 439 | /// just like JIT::getPointerToFunction(). | 
|  | 440 | /// | 
|  | 441 | void *JIT::recompileAndRelinkFunction(Function *F) { | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 442 | void *OldAddr = getPointerToGlobalIfAvailable(F); | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 443 |  | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 444 | // If it's not already compiled there is no reason to patch it up. | 
|  | 445 | if (OldAddr == 0) { return getPointerToFunction(F); } | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 446 |  | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 447 | // Delete the old function mapping. | 
|  | 448 | addGlobalMapping(F, 0); | 
|  | 449 |  | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 450 | // Recodegen the function | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 451 | runJITOnFunction(F); | 
| Chris Lattner | c07ed13 | 2003-12-20 03:36:47 +0000 | [diff] [blame] | 452 |  | 
|  | 453 | // Update state, forward the old function to the new function. | 
|  | 454 | void *Addr = getPointerToGlobalIfAvailable(F); | 
| Chris Lattner | 4d326fa | 2003-12-20 01:46:27 +0000 | [diff] [blame] | 455 | assert(Addr && "Code generation didn't add function to GlobalAddress table!"); | 
|  | 456 | TJI.replaceMachineCodeForFunction(OldAddr, Addr); | 
|  | 457 | return Addr; | 
|  | 458 | } | 
| Misha Brukman | 895eddf | 2004-11-07 23:58:46 +0000 | [diff] [blame] | 459 |  |