blob: 6cd1c509785ecda8fd2c13b1be11625712783942 [file] [log] [blame]
Chris Lattner4d326fa2003-12-20 01:46:27 +00001//===-- JIT.cpp - LLVM Just in Time Compiler ------------------------------===//
Misha Brukmanf976c852005-04-21 22:55:34 +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 Brukmanf976c852005-04-21 22:55:34 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerbd199fb2002-12-24 00:01:05 +00009//
Chris Lattner4d326fa2003-12-20 01:46:27 +000010// This tool implements a just-in-time compiler for LLVM, allowing direct
Gabor Greifa99be512007-07-05 17:07:56 +000011// execution of LLVM bitcode in an efficient manner.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner4d326fa2003-12-20 01:46:27 +000015#include "JIT.h"
Chris Lattnercc22e9f2004-08-16 00:14:18 +000016#include "llvm/Constants.h"
Chris Lattnerc07ed132003-12-20 03:36:47 +000017#include "llvm/DerivedTypes.h"
Chris Lattner4d326fa2003-12-20 01:46:27 +000018#include "llvm/Function.h"
Chris Lattnerc07ed132003-12-20 03:36:47 +000019#include "llvm/GlobalVariable.h"
Chris Lattnercc22e9f2004-08-16 00:14:18 +000020#include "llvm/Instructions.h"
Misha Brukman0f4f7d92003-10-16 21:19:34 +000021#include "llvm/ModuleProvider.h"
Chris Lattner4d326fa2003-12-20 01:46:27 +000022#include "llvm/CodeGen/MachineCodeEmitter.h"
Brian Gaeke97222942003-09-05 19:39:22 +000023#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattnere7fd5532006-05-08 22:00:52 +000024#include "llvm/Support/MutexGuard.h"
Reid Spencerdf5a37e2004-11-29 14:11:29 +000025#include "llvm/System/DynamicLibrary.h"
Owen Anderson07000c62006-05-12 06:33:49 +000026#include "llvm/Target/TargetData.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000027#include "llvm/Target/TargetMachine.h"
Chris Lattner4d326fa2003-12-20 01:46:27 +000028#include "llvm/Target/TargetJITInfo.h"
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +000029
30#include "llvm/Config/config.h"
31
Chris Lattnerc19aade2003-12-08 08:06:28 +000032using namespace llvm;
Misha Brukmanabb027c2003-05-27 21:40:39 +000033
Nate Begemanb76ea742006-07-22 16:59:38 +000034#ifdef __APPLE__
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +000035// 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 Cheng5f42c552006-07-21 23:06:20 +000048#endif
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +000049
50#if HAVE___DSO_HANDLE
51extern void *__dso_handle __attribute__ ((__visibility__ ("hidden")));
Nate Begemanb76ea742006-07-22 16:59:38 +000052#endif
Evan Cheng5f42c552006-07-21 23:06:20 +000053
Dan Gohman844731a2008-05-13 00:00:25 +000054namespace {
55
Chris Lattner2fe4bb02006-03-22 06:07:50 +000056static struct RegisterJIT {
57 RegisterJIT() { JIT::Register(); }
58} JITRegistrator;
59
Dan Gohman844731a2008-05-13 00:00:25 +000060}
61
Jeff Cohen2f519142006-03-24 02:53:49 +000062namespace llvm {
63 void LinkInJIT() {
64 }
65}
66
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +000067
Anton Korobeynikov299d9d72008-03-22 08:53:09 +000068#if defined (__GNUC__)
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +000069
70// libgcc defines the __register_frame function to dynamically register new
71// dwarf frames for exception handling. This functionality is not portable
72// across compilers and is only provided by GCC. We use the __register_frame
73// function here so that code generated by the JIT cooperates with the unwinding
74// runtime of libgcc. When JITting with exception handling enable, LLVM
75// generates dwarf frames and registers it to libgcc with __register_frame.
76//
77// The __register_frame function works with Linux.
78//
79// Unfortunately, this functionality seems to be in libgcc after the unwinding
80// library of libgcc for darwin was written. The code for darwin overwrites the
81// value updated by __register_frame with a value fetched with "keymgr".
82// "keymgr" is an obsolete functionality, which should be rewritten some day.
83// In the meantime, since "keymgr" is on all libgccs shipped with apple-gcc, we
84// need a workaround in LLVM which uses the "keymgr" to dynamically modify the
85// values of an opaque key, used by libgcc to find dwarf tables.
86
Anton Korobeynikov299d9d72008-03-22 08:53:09 +000087extern "C" void __register_frame(void*);
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +000088
89#if defined (__APPLE__)
90
91namespace {
92
93// LibgccObject - This is the structure defined in libgcc. There is no #include
94// provided for this structure, so we also define it here. libgcc calls it
95// "struct object". The structure is undocumented in libgcc.
96struct LibgccObject {
97 void *unused1;
98 void *unused2;
99 void *unused3;
100
101 /// frame - Pointer to the exception table.
102 void *frame;
103
104 /// encoding - The encoding of the object?
105 union {
106 struct {
107 unsigned long sorted : 1;
108 unsigned long from_array : 1;
109 unsigned long mixed_encoding : 1;
110 unsigned long encoding : 8;
111 unsigned long count : 21;
112 } b;
113 size_t i;
114 } encoding;
115
116 /// fde_end - libgcc defines this field only if some macro is defined. We
117 /// include this field even if it may not there, to make libgcc happy.
118 char *fde_end;
119
120 /// next - At least we know it's a chained list!
121 struct LibgccObject *next;
122};
123
124// "kemgr" stuff. Apparently, all frame tables are stored there.
125extern "C" void _keymgr_set_and_unlock_processwide_ptr(int, void *);
126extern "C" void *_keymgr_get_and_lock_processwide_ptr(int);
127#define KEYMGR_GCC3_DW2_OBJ_LIST 302 /* Dwarf2 object list */
128
129/// LibgccObjectInfo - libgcc defines this struct as km_object_info. It
130/// probably contains all dwarf tables that are loaded.
131struct LibgccObjectInfo {
132
133 /// seenObjects - LibgccObjects already parsed by the unwinding runtime.
134 ///
135 struct LibgccObject* seenObjects;
136
137 /// unseenObjects - LibgccObjects not parsed yet by the unwinding runtime.
138 ///
139 struct LibgccObject* unseenObjects;
140
141 unsigned unused[2];
142};
143
144// for DW_EH_PE_omit
145#include "llvm/Support/Dwarf.h"
146
147/// darwin_register_frame - Since __register_frame does not work with darwin's
148/// libgcc,we provide our own function, which "tricks" libgcc by modifying the
149/// "Dwarf2 object list" key.
150void DarwinRegisterFrame(void* FrameBegin) {
151 // Get the key.
152 struct LibgccObjectInfo* LOI = (struct LibgccObjectInfo*)
153 _keymgr_get_and_lock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST);
154
155 // Allocate a new LibgccObject to represent this frame. Deallocation of this
156 // object may be impossible: since darwin code in libgcc was written after
157 // the ability to dynamically register frames, things may crash if we
158 // deallocate it.
159 struct LibgccObject* ob = (struct LibgccObject*)
160 malloc(sizeof(struct LibgccObject));
161
162 // Do like libgcc for the values of the field.
163 ob->unused1 = (void *)-1;
164 ob->unused2 = 0;
165 ob->unused3 = 0;
166 ob->frame = FrameBegin;
167 ob->encoding.i = 0;
168 ob->encoding.b.encoding = llvm::dwarf::DW_EH_PE_omit;
169
170 // Put the info on both places, as libgcc uses the first or the the second
171 // field. Note that we rely on having two pointers here. If fde_end was a
172 // char, things would get complicated.
173 ob->fde_end = (char*)LOI->unseenObjects;
174 ob->next = LOI->unseenObjects;
175
176 // Update the key's unseenObjects list.
177 LOI->unseenObjects = ob;
178
179 // Finally update the "key". Apparently, libgcc requires it.
180 _keymgr_set_and_unlock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST,
181 LOI);
182
183}
184
185}
186#endif // __APPLE__
187#endif // __GNUC__
Anton Korobeynikov299d9d72008-03-22 08:53:09 +0000188
Chris Lattner34c94332007-12-06 01:34:04 +0000189/// createJIT - This is the factory method for creating a JIT for the current
190/// machine, it does not fall back to the interpreter. This takes ownership
191/// of the module provider.
192ExecutionEngine *ExecutionEngine::createJIT(ModuleProvider *MP,
193 std::string *ErrorStr,
Evan Cheng502f20b2008-08-08 08:11:34 +0000194 JITMemoryManager *JMM,
195 bool Fast) {
196 ExecutionEngine *EE = JIT::createJIT(MP, ErrorStr, JMM, Fast);
Chris Lattner34c94332007-12-06 01:34:04 +0000197 if (!EE) return 0;
198
Chris Lattner34c94332007-12-06 01:34:04 +0000199 // Make sure we can resolve symbols in the program as well. The zero arg
200 // to the function tells DynamicLibrary to load the program, not a library.
201 sys::DynamicLibrary::LoadLibraryPermanently(0, ErrorStr);
202 return EE;
203}
204
205JIT::JIT(ModuleProvider *MP, TargetMachine &tm, TargetJITInfo &tji,
Evan Cheng502f20b2008-08-08 08:11:34 +0000206 JITMemoryManager *JMM, bool Fast)
Nate Begemanf049e072008-05-21 16:34:48 +0000207 : ExecutionEngine(MP), TM(tm), TJI(tji) {
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000208 setTargetData(TM.getTargetData());
Misha Brukmanabb027c2003-05-27 21:40:39 +0000209
Nate Begemanf049e072008-05-21 16:34:48 +0000210 jitstate = new JITState(MP);
211
Misha Brukmanabb027c2003-05-27 21:40:39 +0000212 // Initialize MCE
Chris Lattner34c94332007-12-06 01:34:04 +0000213 MCE = createEmitter(*this, JMM);
Misha Brukmanf976c852005-04-21 22:55:34 +0000214
Brian Gaeke50872d52004-04-14 17:45:52 +0000215 // Add target data
Reid Spenceree448632005-07-12 15:51:55 +0000216 MutexGuard locked(lock);
Nate Begemanf049e072008-05-21 16:34:48 +0000217 FunctionPassManager &PM = jitstate->getPM(locked);
Chris Lattnerb93b0342006-05-04 21:18:40 +0000218 PM.add(new TargetData(*TM.getTargetData()));
Brian Gaeke50872d52004-04-14 17:45:52 +0000219
Chris Lattner4d326fa2003-12-20 01:46:27 +0000220 // Turn the machine code intermediate representation into bytes in memory that
221 // may be executed.
Evan Cheng502f20b2008-08-08 08:11:34 +0000222 if (TM.addPassesToEmitMachineCode(PM, *MCE, Fast)) {
Bill Wendling832171c2006-12-07 20:04:42 +0000223 cerr << "Target does not support machine code emission!\n";
Chris Lattner4d326fa2003-12-20 01:46:27 +0000224 abort();
225 }
Chris Lattner1911fd42006-09-04 04:14:57 +0000226
Nicolas Geoffraya7ec87c2008-08-18 14:53:56 +0000227 // Register routine for informing unwinding runtime about new EH frames
228#if defined(__GNUC__)
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000229#if defined(__APPLE__)
230 struct LibgccObjectInfo* LOI = (struct LibgccObjectInfo*)
231 _keymgr_get_and_lock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST);
232
233 // The key is created on demand, and libgcc creates it the first time an
234 // exception occurs. Since we need the key to register frames, we create
235 // it now.
236 if (!LOI) {
237 LOI = (LibgccObjectInfo*)malloc(sizeof(struct LibgccObjectInfo));
238 _keymgr_set_and_unlock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST,
239 LOI);
240 }
241 InstallExceptionTableRegister(DarwinRegisterFrame);
242#else
Nicolas Geoffraya7ec87c2008-08-18 14:53:56 +0000243 InstallExceptionTableRegister(__register_frame);
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000244#endif // __APPLE__
245#endif // __GNUC__
Nicolas Geoffraya7ec87c2008-08-18 14:53:56 +0000246
Chris Lattner1911fd42006-09-04 04:14:57 +0000247 // Initialize passes.
248 PM.doInitialization();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000249}
250
Chris Lattner4d326fa2003-12-20 01:46:27 +0000251JIT::~JIT() {
Nate Begemanf049e072008-05-21 16:34:48 +0000252 delete jitstate;
Chris Lattner4d326fa2003-12-20 01:46:27 +0000253 delete MCE;
254 delete &TM;
255}
256
Nate Begemanf049e072008-05-21 16:34:48 +0000257/// addModuleProvider - Add a new ModuleProvider to the JIT. If we previously
258/// removed the last ModuleProvider, we need re-initialize jitstate with a valid
259/// ModuleProvider.
260void JIT::addModuleProvider(ModuleProvider *MP) {
261 MutexGuard locked(lock);
262
263 if (Modules.empty()) {
264 assert(!jitstate && "jitstate should be NULL if Modules vector is empty!");
265
266 jitstate = new JITState(MP);
267
268 FunctionPassManager &PM = jitstate->getPM(locked);
269 PM.add(new TargetData(*TM.getTargetData()));
270
271 // Turn the machine code intermediate representation into bytes in memory
272 // that may be executed.
273 if (TM.addPassesToEmitMachineCode(PM, *MCE, false /*fast*/)) {
274 cerr << "Target does not support machine code emission!\n";
275 abort();
276 }
277
278 // Initialize passes.
279 PM.doInitialization();
280 }
281
282 ExecutionEngine::addModuleProvider(MP);
283}
284
285/// removeModuleProvider - If we are removing the last ModuleProvider,
286/// invalidate the jitstate since the PassManager it contains references a
287/// released ModuleProvider.
288Module *JIT::removeModuleProvider(ModuleProvider *MP, std::string *E) {
289 Module *result = ExecutionEngine::removeModuleProvider(MP, E);
290
291 MutexGuard locked(lock);
292 if (Modules.empty()) {
293 delete jitstate;
294 jitstate = 0;
295 }
296
297 return result;
298}
299
Brian Gaeke70975ee2003-09-05 18:42:01 +0000300/// run - Start execution with the specified function and arguments.
Chris Lattner05a1a302003-08-21 21:32:12 +0000301///
Chris Lattnerff0f1bb2003-12-26 06:13:47 +0000302GenericValue JIT::runFunction(Function *F,
303 const std::vector<GenericValue> &ArgValues) {
Chris Lattnerb47130c2004-08-15 23:29:50 +0000304 assert(F && "Function *F was null at entry to run()");
Chris Lattnerb47130c2004-08-15 23:29:50 +0000305
306 void *FPtr = getPointerToFunction(F);
Chris Lattner7c45d782004-08-15 23:31:43 +0000307 assert(FPtr && "Pointer to fn's code was null after getPointerToFunction");
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000308 const FunctionType *FTy = F->getFunctionType();
Chris Lattnere5eab142004-08-15 23:53:06 +0000309 const Type *RetTy = FTy->getReturnType();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000310
Chris Lattnere5eab142004-08-15 23:53:06 +0000311 assert((FTy->getNumParams() <= ArgValues.size() || FTy->isVarArg()) &&
312 "Too many arguments passed into function!");
313 assert(FTy->getNumParams() == ArgValues.size() &&
314 "This doesn't support passing arguments through varargs (yet)!");
315
Misha Brukmanec843022004-10-22 23:35:57 +0000316 // Handle some common cases first. These cases correspond to common `main'
Chris Lattnere5eab142004-08-15 23:53:06 +0000317 // prototypes.
Chris Lattner79e038a2007-08-08 16:19:57 +0000318 if (RetTy == Type::Int32Ty || RetTy == Type::VoidTy) {
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000319 switch (ArgValues.size()) {
320 case 3:
Chris Lattner79e038a2007-08-08 16:19:57 +0000321 if (FTy->getParamType(0) == Type::Int32Ty &&
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000322 isa<PointerType>(FTy->getParamType(1)) &&
323 isa<PointerType>(FTy->getParamType(2))) {
324 int (*PF)(int, char **, const char **) =
Chris Lattner870286a2006-06-01 17:29:22 +0000325 (int(*)(int, char **, const char **))(intptr_t)FPtr;
Misha Brukmanec843022004-10-22 23:35:57 +0000326
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000327 // Call the function.
Chris Lattnere5eab142004-08-15 23:53:06 +0000328 GenericValue rv;
Reid Spencer38f6a152007-03-06 03:11:31 +0000329 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(),
330 (char **)GVTOP(ArgValues[1]),
331 (const char **)GVTOP(ArgValues[2])));
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000332 return rv;
333 }
334 break;
Chris Lattner174f2262004-08-16 01:07:04 +0000335 case 2:
Chris Lattner79e038a2007-08-08 16:19:57 +0000336 if (FTy->getParamType(0) == Type::Int32Ty &&
Chris Lattner174f2262004-08-16 01:07:04 +0000337 isa<PointerType>(FTy->getParamType(1))) {
Chris Lattner870286a2006-06-01 17:29:22 +0000338 int (*PF)(int, char **) = (int(*)(int, char **))(intptr_t)FPtr;
Misha Brukmanec843022004-10-22 23:35:57 +0000339
Chris Lattner174f2262004-08-16 01:07:04 +0000340 // Call the function.
341 GenericValue rv;
Reid Spencer38f6a152007-03-06 03:11:31 +0000342 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(),
343 (char **)GVTOP(ArgValues[1])));
Chris Lattner174f2262004-08-16 01:07:04 +0000344 return rv;
345 }
346 break;
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000347 case 1:
348 if (FTy->getNumParams() == 1 &&
Chris Lattner79e038a2007-08-08 16:19:57 +0000349 FTy->getParamType(0) == Type::Int32Ty) {
Chris Lattnere5eab142004-08-15 23:53:06 +0000350 GenericValue rv;
Chris Lattner870286a2006-06-01 17:29:22 +0000351 int (*PF)(int) = (int(*)(int))(intptr_t)FPtr;
Reid Spencer38f6a152007-03-06 03:11:31 +0000352 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue()));
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000353 return rv;
354 }
355 break;
Chris Lattnere5eab142004-08-15 23:53:06 +0000356 }
357 }
358
359 // Handle cases where no arguments are passed first.
360 if (ArgValues.empty()) {
361 GenericValue rv;
362 switch (RetTy->getTypeID()) {
363 default: assert(0 && "Unknown return type for function call!");
Reid Spencera54b7cb2007-01-12 07:05:14 +0000364 case Type::IntegerTyID: {
365 unsigned BitWidth = cast<IntegerType>(RetTy)->getBitWidth();
366 if (BitWidth == 1)
Reid Spencer38f6a152007-03-06 03:11:31 +0000367 rv.IntVal = APInt(BitWidth, ((bool(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000368 else if (BitWidth <= 8)
Reid Spencer38f6a152007-03-06 03:11:31 +0000369 rv.IntVal = APInt(BitWidth, ((char(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000370 else if (BitWidth <= 16)
Reid Spencer38f6a152007-03-06 03:11:31 +0000371 rv.IntVal = APInt(BitWidth, ((short(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000372 else if (BitWidth <= 32)
Reid Spencer38f6a152007-03-06 03:11:31 +0000373 rv.IntVal = APInt(BitWidth, ((int(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000374 else if (BitWidth <= 64)
Reid Spencer38f6a152007-03-06 03:11:31 +0000375 rv.IntVal = APInt(BitWidth, ((int64_t(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000376 else
377 assert(0 && "Integer types > 64 bits not supported");
Chris Lattnerd297aea2004-08-15 23:34:48 +0000378 return rv;
Reid Spencera54b7cb2007-01-12 07:05:14 +0000379 }
Chris Lattnere5eab142004-08-15 23:53:06 +0000380 case Type::VoidTyID:
Reid Spencer38f6a152007-03-06 03:11:31 +0000381 rv.IntVal = APInt(32, ((int(*)())(intptr_t)FPtr)());
Chris Lattnere5eab142004-08-15 23:53:06 +0000382 return rv;
Chris Lattnere5eab142004-08-15 23:53:06 +0000383 case Type::FloatTyID:
Chris Lattner870286a2006-06-01 17:29:22 +0000384 rv.FloatVal = ((float(*)())(intptr_t)FPtr)();
Chris Lattnere5eab142004-08-15 23:53:06 +0000385 return rv;
386 case Type::DoubleTyID:
Chris Lattner870286a2006-06-01 17:29:22 +0000387 rv.DoubleVal = ((double(*)())(intptr_t)FPtr)();
Chris Lattnere5eab142004-08-15 23:53:06 +0000388 return rv;
Dale Johannesen1abac0d2007-09-17 18:44:13 +0000389 case Type::X86_FP80TyID:
390 case Type::FP128TyID:
391 case Type::PPC_FP128TyID:
392 assert(0 && "long double not supported yet");
393 return rv;
Chris Lattnere5eab142004-08-15 23:53:06 +0000394 case Type::PointerTyID:
Chris Lattner870286a2006-06-01 17:29:22 +0000395 return PTOGV(((void*(*)())(intptr_t)FPtr)());
Chris Lattnerd297aea2004-08-15 23:34:48 +0000396 }
Chris Lattnerff0f1bb2003-12-26 06:13:47 +0000397 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000398
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000399 // Okay, this is not one of our quick and easy cases. Because we don't have a
400 // full FFI, we have to codegen a nullary stub function that just calls the
401 // function we are interested in, passing in constants for all of the
402 // arguments. Make this function and return.
403
404 // First, create the function.
405 FunctionType *STy=FunctionType::get(RetTy, std::vector<const Type*>(), false);
Gabor Greif051a9502008-04-06 20:25:17 +0000406 Function *Stub = Function::Create(STy, Function::InternalLinkage, "",
407 F->getParent());
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000408
409 // Insert a basic block.
Gabor Greif051a9502008-04-06 20:25:17 +0000410 BasicBlock *StubBB = BasicBlock::Create("", Stub);
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000411
412 // Convert all of the GenericValue arguments over to constants. Note that we
413 // currently don't support varargs.
Chris Lattner990b8492007-02-13 06:01:22 +0000414 SmallVector<Value*, 8> Args;
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000415 for (unsigned i = 0, e = ArgValues.size(); i != e; ++i) {
416 Constant *C = 0;
417 const Type *ArgTy = FTy->getParamType(i);
418 const GenericValue &AV = ArgValues[i];
419 switch (ArgTy->getTypeID()) {
420 default: assert(0 && "Unknown argument type for function call!");
Chris Lattner02a260a2008-04-20 00:41:09 +0000421 case Type::IntegerTyID:
422 C = ConstantInt::get(AV.IntVal);
423 break;
424 case Type::FloatTyID:
425 C = ConstantFP::get(APFloat(AV.FloatVal));
426 break;
427 case Type::DoubleTyID:
428 C = ConstantFP::get(APFloat(AV.DoubleVal));
429 break;
Dale Johannesen1abac0d2007-09-17 18:44:13 +0000430 case Type::PPC_FP128TyID:
431 case Type::X86_FP80TyID:
Chris Lattner02a260a2008-04-20 00:41:09 +0000432 case Type::FP128TyID:
433 C = ConstantFP::get(APFloat(AV.IntVal));
434 break;
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000435 case Type::PointerTyID:
436 void *ArgPtr = GVTOP(AV);
Chris Lattner02a260a2008-04-20 00:41:09 +0000437 if (sizeof(void*) == 4)
Reid Spencere49661b2006-12-31 05:51:36 +0000438 C = ConstantInt::get(Type::Int32Ty, (int)(intptr_t)ArgPtr);
Chris Lattner02a260a2008-04-20 00:41:09 +0000439 else
Reid Spencere49661b2006-12-31 05:51:36 +0000440 C = ConstantInt::get(Type::Int64Ty, (intptr_t)ArgPtr);
Reid Spencer15f46d62006-12-12 01:17:41 +0000441 C = ConstantExpr::getIntToPtr(C, ArgTy); // Cast the integer to pointer
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000442 break;
443 }
444 Args.push_back(C);
445 }
446
Gabor Greifb1dbcd82008-05-15 10:04:30 +0000447 CallInst *TheCall = CallInst::Create(F, Args.begin(), Args.end(),
448 "", StubBB);
Chris Lattnercdfc51f2008-11-23 08:00:11 +0000449 TheCall->setCallingConv(F->getCallingConv());
Chris Lattnera471e042005-05-06 06:48:54 +0000450 TheCall->setTailCall();
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000451 if (TheCall->getType() != Type::VoidTy)
Gabor Greifb1dbcd82008-05-15 10:04:30 +0000452 ReturnInst::Create(TheCall, StubBB); // Return result of the call.
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000453 else
Gabor Greifb1dbcd82008-05-15 10:04:30 +0000454 ReturnInst::Create(StubBB); // Just return void.
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000455
456 // Finally, return the value returned by our nullary stub function.
457 return runFunction(Stub, std::vector<GenericValue>());
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000458}
Chris Lattner4d326fa2003-12-20 01:46:27 +0000459
460/// runJITOnFunction - Run the FunctionPassManager full of
461/// just-in-time compilation passes on F, hopefully filling in
462/// GlobalAddress[F] with the address of F's machine code.
463///
464void JIT::runJITOnFunction(Function *F) {
465 static bool isAlreadyCodeGenerating = false;
Jeff Cohen00b168892005-07-27 06:12:32 +0000466
Reid Spenceree448632005-07-12 15:51:55 +0000467 MutexGuard locked(lock);
Chris Lattner17f218e2007-08-13 20:08:16 +0000468 assert(!isAlreadyCodeGenerating && "Error: Recursive compilation detected!");
Chris Lattner4d326fa2003-12-20 01:46:27 +0000469
470 // JIT the function
471 isAlreadyCodeGenerating = true;
Nate Begemanf049e072008-05-21 16:34:48 +0000472 jitstate->getPM(locked).run(*F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000473 isAlreadyCodeGenerating = false;
Chris Lattnerc07ed132003-12-20 03:36:47 +0000474
475 // If the function referred to a global variable that had not yet been
476 // emitted, it allocates memory for the global, but doesn't emit it yet. Emit
477 // all of these globals now.
Nate Begemanf049e072008-05-21 16:34:48 +0000478 while (!jitstate->getPendingGlobals(locked).empty()) {
479 const GlobalVariable *GV = jitstate->getPendingGlobals(locked).back();
480 jitstate->getPendingGlobals(locked).pop_back();
Chris Lattnerc07ed132003-12-20 03:36:47 +0000481 EmitGlobalVariable(GV);
482 }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000483}
484
485/// getPointerToFunction - This method is used to get the address of the
486/// specified function, compiling it if neccesary.
487///
488void *JIT::getPointerToFunction(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000489
Chris Lattnerc07ed132003-12-20 03:36:47 +0000490 if (void *Addr = getPointerToGlobalIfAvailable(F))
491 return Addr; // Check if function already code gen'd
Chris Lattner4d326fa2003-12-20 01:46:27 +0000492
Chris Lattnerfe854032006-08-16 01:24:12 +0000493 // Make sure we read in the function if it exists in this Module.
Gabor Greifa99be512007-07-05 17:07:56 +0000494 if (F->hasNotBeenReadFromBitcode()) {
Chris Lattnerfe854032006-08-16 01:24:12 +0000495 // Determine the module provider this function is provided by.
496 Module *M = F->getParent();
497 ModuleProvider *MP = 0;
498 for (unsigned i = 0, e = Modules.size(); i != e; ++i) {
499 if (Modules[i]->getModule() == M) {
500 MP = Modules[i];
501 break;
502 }
503 }
504 assert(MP && "Function isn't in a module we know about!");
505
Chris Lattner5c72a3a2006-07-07 17:18:09 +0000506 std::string ErrorMsg;
507 if (MP->materializeFunction(F, &ErrorMsg)) {
Bill Wendling832171c2006-12-07 20:04:42 +0000508 cerr << "Error reading function '" << F->getName()
Gabor Greifa99be512007-07-05 17:07:56 +0000509 << "' from bitcode file: " << ErrorMsg << "\n";
Chris Lattner0050ef82004-11-15 23:18:09 +0000510 abort();
511 }
Mon P Wang1c341c82008-10-10 01:47:42 +0000512
Dan Gohman69f93782009-01-05 05:32:42 +0000513 // Now retry to get the address.
514 if (void *Addr = getPointerToGlobalIfAvailable(F))
515 return Addr;
Nicolas Geoffrayfd7d9912008-04-20 08:33:02 +0000516 }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000517
Mon P Wang77fcca82008-10-10 18:07:10 +0000518 MutexGuard locked(lock);
519
Reid Spencer5cbf9852007-01-30 20:08:39 +0000520 if (F->isDeclaration()) {
Dan Gohman69f93782009-01-05 05:32:42 +0000521 bool AbortOnFailure = F->getLinkage() != GlobalValue::ExternalWeakLinkage;
522 void *Addr = getPointerToNamedFunction(F->getName(), AbortOnFailure);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000523 addGlobalMapping(F, Addr);
524 return Addr;
525 }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000526
527 runJITOnFunction(F);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000528
529 void *Addr = getPointerToGlobalIfAvailable(F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000530 assert(Addr && "Code generation didn't add function to GlobalAddress table!");
531 return Addr;
532}
533
Chris Lattnerc07ed132003-12-20 03:36:47 +0000534/// getOrEmitGlobalVariable - Return the address of the specified global
535/// variable, possibly emitting it to memory if needed. This is used by the
536/// Emitter.
537void *JIT::getOrEmitGlobalVariable(const GlobalVariable *GV) {
Reid Spenceree448632005-07-12 15:51:55 +0000538 MutexGuard locked(lock);
539
Chris Lattnerc07ed132003-12-20 03:36:47 +0000540 void *Ptr = getPointerToGlobalIfAvailable(GV);
541 if (Ptr) return Ptr;
542
543 // If the global is external, just remember the address.
Reid Spencer5cbf9852007-01-30 20:08:39 +0000544 if (GV->isDeclaration()) {
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +0000545#if HAVE___DSO_HANDLE
Evan Cheng5f42c552006-07-21 23:06:20 +0000546 if (GV->getName() == "__dso_handle")
547 return (void*)&__dso_handle;
Evan Chengb82ab942006-07-22 00:42:03 +0000548#endif
Reid Spencerdf5a37e2004-11-29 14:11:29 +0000549 Ptr = sys::DynamicLibrary::SearchForAddressOfSymbol(GV->getName().c_str());
Chris Lattnerc07ed132003-12-20 03:36:47 +0000550 if (Ptr == 0) {
Bill Wendling832171c2006-12-07 20:04:42 +0000551 cerr << "Could not resolve external global address: "
552 << GV->getName() << "\n";
Chris Lattnerc07ed132003-12-20 03:36:47 +0000553 abort();
Dale Johannesendd947ea2008-08-07 01:30:15 +0000554 addGlobalMapping(GV, Ptr);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000555 }
556 } else {
Evan Cheng77f86ad2008-12-09 07:31:49 +0000557 if (isGVCompilationDisabled() && !GV->hasInternalLinkage()) {
558 cerr << "Compilation of non-internal GlobalValue is disabled!\n";
Evan Cheng446531e2008-09-24 16:25:55 +0000559 abort();
560 }
Dale Johannesendd947ea2008-08-07 01:30:15 +0000561 // If the global hasn't been emitted to memory yet, allocate space and
562 // emit it into memory. It goes in the same array as the generated
563 // code, jump tables, etc.
Chris Lattnerf5d438c2006-05-02 21:57:51 +0000564 const Type *GlobalType = GV->getType()->getElementType();
Duncan Sands514ab342007-11-01 20:53:16 +0000565 size_t S = getTargetData()->getABITypeSize(GlobalType);
Duncan Sandsd1025932008-01-29 06:23:44 +0000566 size_t A = getTargetData()->getPreferredAlignment(GV);
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000567 if (GV->isThreadLocal()) {
568 MutexGuard locked(lock);
569 Ptr = TJI.allocateThreadLocalMemory(S);
Evan Chengb0b53492008-11-04 09:30:48 +0000570 } else if (TJI.allocateSeparateGVMemory()) {
571 if (A <= 8) {
572 Ptr = malloc(S);
573 } else {
574 // Allocate S+A bytes of memory, then use an aligned pointer within that
575 // space.
576 Ptr = malloc(S+A);
577 unsigned MisAligned = ((intptr_t)Ptr & (A-1));
578 Ptr = (char*)Ptr + (MisAligned ? (A-MisAligned) : 0);
579 }
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000580 } else {
581 Ptr = MCE->allocateSpace(S, A);
582 }
Dale Johannesendd947ea2008-08-07 01:30:15 +0000583 addGlobalMapping(GV, Ptr);
584 EmitGlobalVariable(GV);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000585 }
Chris Lattnerc07ed132003-12-20 03:36:47 +0000586 return Ptr;
587}
588
Chris Lattner4d326fa2003-12-20 01:46:27 +0000589/// recompileAndRelinkFunction - This method is used to force a function
590/// which has already been compiled, to be compiled again, possibly
591/// after it has been modified. Then the entry to the old copy is overwritten
592/// with a branch to the new copy. If there was no old copy, this acts
593/// just like JIT::getPointerToFunction().
594///
595void *JIT::recompileAndRelinkFunction(Function *F) {
Chris Lattnerc07ed132003-12-20 03:36:47 +0000596 void *OldAddr = getPointerToGlobalIfAvailable(F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000597
Chris Lattnerc07ed132003-12-20 03:36:47 +0000598 // If it's not already compiled there is no reason to patch it up.
599 if (OldAddr == 0) { return getPointerToFunction(F); }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000600
Chris Lattnerc07ed132003-12-20 03:36:47 +0000601 // Delete the old function mapping.
602 addGlobalMapping(F, 0);
603
Chris Lattnerc07ed132003-12-20 03:36:47 +0000604 // Recodegen the function
Chris Lattner4d326fa2003-12-20 01:46:27 +0000605 runJITOnFunction(F);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000606
607 // Update state, forward the old function to the new function.
608 void *Addr = getPointerToGlobalIfAvailable(F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000609 assert(Addr && "Code generation didn't add function to GlobalAddress table!");
610 TJI.replaceMachineCodeForFunction(OldAddr, Addr);
611 return Addr;
612}
Misha Brukman895eddf2004-11-07 23:58:46 +0000613
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000614/// getMemoryForGV - This method abstracts memory allocation of global
615/// variable so that the JIT can allocate thread local variables depending
616/// on the target.
617///
618char* JIT::getMemoryForGV(const GlobalVariable* GV) {
619 const Type *ElTy = GV->getType()->getElementType();
620 size_t GVSize = (size_t)getTargetData()->getABITypeSize(ElTy);
621 if (GV->isThreadLocal()) {
622 MutexGuard locked(lock);
623 return TJI.allocateThreadLocalMemory(GVSize);
624 } else {
625 return new char[GVSize];
626 }
627}