blob: 3c04cd20a76c0a4ad138afac0403122479dcc8bf [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"
Jeffrey Yasskin40966a72010-02-11 01:07:39 +000021#include "llvm/ADT/SmallPtrSet.h"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000022#include "llvm/CodeGen/JITCodeEmitter.h"
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +000023#include "llvm/CodeGen/MachineCodeInfo.h"
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +000024#include "llvm/ExecutionEngine/GenericValue.h"
25#include "llvm/ExecutionEngine/JITEventListener.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"
Chris Lattner44e3dd12009-03-03 20:10:23 +000029#include "llvm/Support/Dwarf.h"
Torok Edwin31e24662009-07-07 17:32:34 +000030#include "llvm/Support/ErrorHandling.h"
Jeffrey Yasskin40966a72010-02-11 01:07:39 +000031#include "llvm/Support/ManagedStatic.h"
Chris Lattner44e3dd12009-03-03 20:10:23 +000032#include "llvm/Support/MutexGuard.h"
Michael J. Spencer1f6efa32010-11-29 18:16:10 +000033#include "llvm/Support/DynamicLibrary.h"
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +000034#include "llvm/Config/config.h"
35
Chris Lattnerc19aade2003-12-08 08:06:28 +000036using namespace llvm;
Misha Brukmanabb027c2003-05-27 21:40:39 +000037
Jim Grosbach4f9fc852011-03-15 20:25:54 +000038#ifdef __APPLE__
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +000039// Apple gcc defaults to -fuse-cxa-atexit (i.e. calls __cxa_atexit instead
40// of atexit). It passes the address of linker generated symbol __dso_handle
41// to the function.
42// This configuration change happened at version 5330.
43# include <AvailabilityMacros.h>
44# if defined(MAC_OS_X_VERSION_10_4) && \
45 ((MAC_OS_X_VERSION_MIN_REQUIRED > MAC_OS_X_VERSION_10_4) || \
46 (MAC_OS_X_VERSION_MIN_REQUIRED == MAC_OS_X_VERSION_10_4 && \
47 __APPLE_CC__ >= 5330))
48# ifndef HAVE___DSO_HANDLE
49# define HAVE___DSO_HANDLE 1
50# endif
51# endif
Evan Cheng5f42c552006-07-21 23:06:20 +000052#endif
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +000053
54#if HAVE___DSO_HANDLE
55extern void *__dso_handle __attribute__ ((__visibility__ ("hidden")));
Nate Begemanb76ea742006-07-22 16:59:38 +000056#endif
Evan Cheng5f42c552006-07-21 23:06:20 +000057
Dan Gohman844731a2008-05-13 00:00:25 +000058namespace {
59
Chris Lattner2fe4bb02006-03-22 06:07:50 +000060static struct RegisterJIT {
61 RegisterJIT() { JIT::Register(); }
62} JITRegistrator;
63
Dan Gohman844731a2008-05-13 00:00:25 +000064}
65
Bob Wilsone46161f2009-06-24 21:09:18 +000066extern "C" void LLVMLinkInJIT() {
Jeff Cohen2f519142006-03-24 02:53:49 +000067}
68
Daniel Dunbar32c7a5e2010-11-13 00:55:45 +000069// Determine whether we can register EH tables.
70#if (defined(__GNUC__) && !defined(__ARM_EABI__) && \
71 !defined(__USING_SJLJ_EXCEPTIONS__))
72#define HAVE_EHTABLE_SUPPORT 1
73#else
74#define HAVE_EHTABLE_SUPPORT 0
75#endif
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +000076
Daniel Dunbar32c7a5e2010-11-13 00:55:45 +000077#if HAVE_EHTABLE_SUPPORT
Jim Grosbach4f9fc852011-03-15 20:25:54 +000078
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +000079// libgcc defines the __register_frame function to dynamically register new
80// dwarf frames for exception handling. This functionality is not portable
81// across compilers and is only provided by GCC. We use the __register_frame
82// function here so that code generated by the JIT cooperates with the unwinding
83// runtime of libgcc. When JITting with exception handling enable, LLVM
84// generates dwarf frames and registers it to libgcc with __register_frame.
85//
86// The __register_frame function works with Linux.
87//
88// Unfortunately, this functionality seems to be in libgcc after the unwinding
89// library of libgcc for darwin was written. The code for darwin overwrites the
90// value updated by __register_frame with a value fetched with "keymgr".
91// "keymgr" is an obsolete functionality, which should be rewritten some day.
92// In the meantime, since "keymgr" is on all libgccs shipped with apple-gcc, we
93// need a workaround in LLVM which uses the "keymgr" to dynamically modify the
94// values of an opaque key, used by libgcc to find dwarf tables.
95
Anton Korobeynikov299d9d72008-03-22 08:53:09 +000096extern "C" void __register_frame(void*);
Duncan Sandsb35fd442010-10-21 08:57:29 +000097extern "C" void __deregister_frame(void*);
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +000098
Evan Cheng00f16282009-04-14 22:31:59 +000099#if defined(__APPLE__) && MAC_OS_X_VERSION_MAX_ALLOWED <= 1050
100# define USE_KEYMGR 1
101#else
102# define USE_KEYMGR 0
103#endif
104
105#if USE_KEYMGR
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000106
107namespace {
108
109// LibgccObject - This is the structure defined in libgcc. There is no #include
110// provided for this structure, so we also define it here. libgcc calls it
111// "struct object". The structure is undocumented in libgcc.
112struct LibgccObject {
113 void *unused1;
114 void *unused2;
115 void *unused3;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000116
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000117 /// frame - Pointer to the exception table.
118 void *frame;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000119
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000120 /// encoding - The encoding of the object?
121 union {
122 struct {
123 unsigned long sorted : 1;
124 unsigned long from_array : 1;
125 unsigned long mixed_encoding : 1;
126 unsigned long encoding : 8;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000127 unsigned long count : 21;
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000128 } b;
129 size_t i;
130 } encoding;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000131
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000132 /// fde_end - libgcc defines this field only if some macro is defined. We
133 /// include this field even if it may not there, to make libgcc happy.
134 char *fde_end;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000135
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000136 /// next - At least we know it's a chained list!
137 struct LibgccObject *next;
138};
139
140// "kemgr" stuff. Apparently, all frame tables are stored there.
141extern "C" void _keymgr_set_and_unlock_processwide_ptr(int, void *);
142extern "C" void *_keymgr_get_and_lock_processwide_ptr(int);
143#define KEYMGR_GCC3_DW2_OBJ_LIST 302 /* Dwarf2 object list */
144
145/// LibgccObjectInfo - libgcc defines this struct as km_object_info. It
146/// probably contains all dwarf tables that are loaded.
147struct LibgccObjectInfo {
148
149 /// seenObjects - LibgccObjects already parsed by the unwinding runtime.
150 ///
151 struct LibgccObject* seenObjects;
152
153 /// unseenObjects - LibgccObjects not parsed yet by the unwinding runtime.
154 ///
155 struct LibgccObject* unseenObjects;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000156
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000157 unsigned unused[2];
158};
159
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000160/// darwin_register_frame - Since __register_frame does not work with darwin's
161/// libgcc,we provide our own function, which "tricks" libgcc by modifying the
162/// "Dwarf2 object list" key.
163void DarwinRegisterFrame(void* FrameBegin) {
164 // Get the key.
Chris Lattner44e3dd12009-03-03 20:10:23 +0000165 LibgccObjectInfo* LOI = (struct LibgccObjectInfo*)
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000166 _keymgr_get_and_lock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST);
Chris Lattner44e3dd12009-03-03 20:10:23 +0000167 assert(LOI && "This should be preallocated by the runtime");
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000168
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000169 // Allocate a new LibgccObject to represent this frame. Deallocation of this
170 // object may be impossible: since darwin code in libgcc was written after
171 // the ability to dynamically register frames, things may crash if we
172 // deallocate it.
173 struct LibgccObject* ob = (struct LibgccObject*)
174 malloc(sizeof(struct LibgccObject));
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000175
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000176 // Do like libgcc for the values of the field.
177 ob->unused1 = (void *)-1;
178 ob->unused2 = 0;
179 ob->unused3 = 0;
180 ob->frame = FrameBegin;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000181 ob->encoding.i = 0;
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000182 ob->encoding.b.encoding = llvm::dwarf::DW_EH_PE_omit;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000183
Dan Gohmanf451cb82010-02-10 16:03:48 +0000184 // Put the info on both places, as libgcc uses the first or the second
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000185 // field. Note that we rely on having two pointers here. If fde_end was a
186 // char, things would get complicated.
187 ob->fde_end = (char*)LOI->unseenObjects;
188 ob->next = LOI->unseenObjects;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000189
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000190 // Update the key's unseenObjects list.
191 LOI->unseenObjects = ob;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000192
193 // Finally update the "key". Apparently, libgcc requires it.
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000194 _keymgr_set_and_unlock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST,
195 LOI);
196
197}
198
199}
200#endif // __APPLE__
Daniel Dunbar32c7a5e2010-11-13 00:55:45 +0000201#endif // HAVE_EHTABLE_SUPPORT
Anton Korobeynikov299d9d72008-03-22 08:53:09 +0000202
Chris Lattner34c94332007-12-06 01:34:04 +0000203/// createJIT - This is the factory method for creating a JIT for the current
204/// machine, it does not fall back to the interpreter. This takes ownership
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000205/// of the module.
Jakob Stoklund Olesen701529b2011-05-07 03:12:54 +0000206ExecutionEngine *ExecutionEngine::createJIT(Module *M,
207 std::string *ErrorStr,
208 JITMemoryManager *JMM,
209 CodeGenOpt::Level OptLevel,
210 bool GVsWithCode,
211 CodeModel::Model CMM) {
212 // Use the defaults for extra parameters. Users can use EngineBuilder to
213 // set them.
214 StringRef MArch = "";
215 StringRef MCPU = "";
216 SmallVector<std::string, 1> MAttrs;
217 return JIT::createJIT(M, ErrorStr, JMM, OptLevel, GVsWithCode, CMM,
218 MArch, MCPU, MAttrs);
219}
220
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000221ExecutionEngine *JIT::createJIT(Module *M,
Reid Kleckner4b1511b2009-07-18 00:42:18 +0000222 std::string *ErrorStr,
223 JITMemoryManager *JMM,
224 CodeGenOpt::Level OptLevel,
Eric Christopher88b5aca2009-11-17 21:58:16 +0000225 bool GVsWithCode,
Jakob Stoklund Olesen701529b2011-05-07 03:12:54 +0000226 CodeModel::Model CMM,
227 StringRef MArch,
228 StringRef MCPU,
229 const SmallVectorImpl<std::string>& MAttrs) {
Nick Lewycky83a82ac2010-08-17 16:19:18 +0000230 // Try to register the program as a source of symbols to resolve against.
Dylan Noblesmith2ea29ba2011-05-13 21:36:16 +0000231 //
232 // FIXME: Don't do this here.
Nick Lewycky83a82ac2010-08-17 16:19:18 +0000233 sys::DynamicLibrary::LoadLibraryPermanently(0, NULL);
234
Jakob Stoklund Olesen701529b2011-05-07 03:12:54 +0000235 // Pick a target either via -march or by guessing the native arch.
Dylan Noblesmith2ea29ba2011-05-13 21:36:16 +0000236 //
237 // FIXME: This should be lifted out of here, it isn't something which should
238 // be part of the JIT policy, rather the burden for this selection should be
239 // pushed to clients.
240 TargetMachine *TM =
241 EngineBuilder::selectTarget(M, MArch, MCPU, MAttrs, ErrorStr);
Jakob Stoklund Olesen701529b2011-05-07 03:12:54 +0000242 if (!TM || (ErrorStr && ErrorStr->length() > 0)) return 0;
243 TM->setCodeModel(CMM);
244
Dylan Noblesmith2ea29ba2011-05-13 21:36:16 +0000245 // If the target supports JIT code generation, create the JIT.
Reid Kleckner4b1511b2009-07-18 00:42:18 +0000246 if (TargetJITInfo *TJ = TM->getJITInfo()) {
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000247 return new JIT(M, *TM, *TJ, JMM, OptLevel, GVsWithCode);
Reid Kleckner4b1511b2009-07-18 00:42:18 +0000248 } else {
249 if (ErrorStr)
250 *ErrorStr = "target does not support JIT code generation";
251 return 0;
252 }
Chris Lattner34c94332007-12-06 01:34:04 +0000253}
254
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000255namespace {
256/// This class supports the global getPointerToNamedFunction(), which allows
257/// bugpoint or gdb users to search for a function by name without any context.
258class JitPool {
259 SmallPtrSet<JIT*, 1> JITs; // Optimize for process containing just 1 JIT.
260 mutable sys::Mutex Lock;
261public:
262 void Add(JIT *jit) {
263 MutexGuard guard(Lock);
264 JITs.insert(jit);
265 }
266 void Remove(JIT *jit) {
267 MutexGuard guard(Lock);
268 JITs.erase(jit);
269 }
270 void *getPointerToNamedFunction(const char *Name) const {
271 MutexGuard guard(Lock);
272 assert(JITs.size() != 0 && "No Jit registered");
273 //search function in every instance of JIT
274 for (SmallPtrSet<JIT*, 1>::const_iterator Jit = JITs.begin(),
275 end = JITs.end();
276 Jit != end; ++Jit) {
277 if (Function *F = (*Jit)->FindFunctionNamed(Name))
278 return (*Jit)->getPointerToFunction(F);
279 }
280 // The function is not available : fallback on the first created (will
281 // search in symbol of the current program/library)
282 return (*JITs.begin())->getPointerToNamedFunction(Name);
283 }
284};
285ManagedStatic<JitPool> AllJits;
286}
287extern "C" {
288 // getPointerToNamedFunction - This function is used as a global wrapper to
289 // JIT::getPointerToNamedFunction for the purpose of resolving symbols when
290 // bugpoint is debugging the JIT. In that scenario, we are loading an .so and
291 // need to resolve function(s) that are being mis-codegenerated, so we need to
292 // resolve their addresses at runtime, and this is the way to do it.
293 void *getPointerToNamedFunction(const char *Name) {
294 return AllJits->getPointerToNamedFunction(Name);
295 }
296}
297
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000298JIT::JIT(Module *M, TargetMachine &tm, TargetJITInfo &tji,
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000299 JITMemoryManager *JMM, CodeGenOpt::Level OptLevel, bool GVsWithCode)
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000300 : ExecutionEngine(M), TM(tm), TJI(tji), AllocateGVsWithCode(GVsWithCode),
301 isAlreadyCodeGenerating(false) {
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000302 setTargetData(TM.getTargetData());
Misha Brukmanabb027c2003-05-27 21:40:39 +0000303
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000304 jitstate = new JITState(M);
Nate Begemanf049e072008-05-21 16:34:48 +0000305
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000306 // Initialize JCE
Reid Kleckner27632172009-09-20 23:52:43 +0000307 JCE = createEmitter(*this, JMM, TM);
Misha Brukmanf976c852005-04-21 22:55:34 +0000308
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000309 // Register in global list of all JITs.
310 AllJits->Add(this);
311
Brian Gaeke50872d52004-04-14 17:45:52 +0000312 // Add target data
Reid Spenceree448632005-07-12 15:51:55 +0000313 MutexGuard locked(lock);
Nate Begemanf049e072008-05-21 16:34:48 +0000314 FunctionPassManager &PM = jitstate->getPM(locked);
Chris Lattnerb93b0342006-05-04 21:18:40 +0000315 PM.add(new TargetData(*TM.getTargetData()));
Brian Gaeke50872d52004-04-14 17:45:52 +0000316
Chris Lattner4d326fa2003-12-20 01:46:27 +0000317 // Turn the machine code intermediate representation into bytes in memory that
318 // may be executed.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000319 if (TM.addPassesToEmitMachineCode(PM, *JCE, OptLevel)) {
Chris Lattner75361b62010-04-07 22:58:41 +0000320 report_fatal_error("Target does not support machine code emission!");
Chris Lattner4d326fa2003-12-20 01:46:27 +0000321 }
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000322
Nicolas Geoffraya7ec87c2008-08-18 14:53:56 +0000323 // Register routine for informing unwinding runtime about new EH frames
Daniel Dunbar32c7a5e2010-11-13 00:55:45 +0000324#if HAVE_EHTABLE_SUPPORT
Evan Cheng00f16282009-04-14 22:31:59 +0000325#if USE_KEYMGR
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000326 struct LibgccObjectInfo* LOI = (struct LibgccObjectInfo*)
327 _keymgr_get_and_lock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST);
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000328
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000329 // The key is created on demand, and libgcc creates it the first time an
330 // exception occurs. Since we need the key to register frames, we create
331 // it now.
Chris Lattner3f91bb3ce2009-04-16 21:47:59 +0000332 if (!LOI)
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000333 LOI = (LibgccObjectInfo*)calloc(sizeof(struct LibgccObjectInfo), 1);
Chris Lattner3f91bb3ce2009-04-16 21:47:59 +0000334 _keymgr_set_and_unlock_processwide_ptr(KEYMGR_GCC3_DW2_OBJ_LIST, LOI);
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000335 InstallExceptionTableRegister(DarwinRegisterFrame);
Duncan Sandsb35fd442010-10-21 08:57:29 +0000336 // Not sure about how to deregister on Darwin.
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000337#else
Nicolas Geoffraya7ec87c2008-08-18 14:53:56 +0000338 InstallExceptionTableRegister(__register_frame);
Duncan Sandsb35fd442010-10-21 08:57:29 +0000339 InstallExceptionTableDeregister(__deregister_frame);
Nicolas Geoffrayd046fc62008-08-28 22:34:49 +0000340#endif // __APPLE__
Daniel Dunbar32c7a5e2010-11-13 00:55:45 +0000341#endif // HAVE_EHTABLE_SUPPORT
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000342
Chris Lattner1911fd42006-09-04 04:14:57 +0000343 // Initialize passes.
344 PM.doInitialization();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000345}
346
Chris Lattner4d326fa2003-12-20 01:46:27 +0000347JIT::~JIT() {
Duncan Sandsb35fd442010-10-21 08:57:29 +0000348 // Unregister all exception tables registered by this JIT.
349 DeregisterAllTables();
350 // Cleanup.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000351 AllJits->Remove(this);
Nate Begemanf049e072008-05-21 16:34:48 +0000352 delete jitstate;
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000353 delete JCE;
Chris Lattner4d326fa2003-12-20 01:46:27 +0000354 delete &TM;
355}
356
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000357/// addModule - Add a new Module to the JIT. If we previously removed the last
358/// Module, we need re-initialize jitstate with a valid Module.
359void JIT::addModule(Module *M) {
Nate Begemanf049e072008-05-21 16:34:48 +0000360 MutexGuard locked(lock);
361
362 if (Modules.empty()) {
363 assert(!jitstate && "jitstate should be NULL if Modules vector is empty!");
364
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000365 jitstate = new JITState(M);
Nate Begemanf049e072008-05-21 16:34:48 +0000366
367 FunctionPassManager &PM = jitstate->getPM(locked);
368 PM.add(new TargetData(*TM.getTargetData()));
369
370 // Turn the machine code intermediate representation into bytes in memory
371 // that may be executed.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000372 if (TM.addPassesToEmitMachineCode(PM, *JCE, CodeGenOpt::Default)) {
Chris Lattner75361b62010-04-07 22:58:41 +0000373 report_fatal_error("Target does not support machine code emission!");
Nate Begemanf049e072008-05-21 16:34:48 +0000374 }
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000375
Nate Begemanf049e072008-05-21 16:34:48 +0000376 // Initialize passes.
377 PM.doInitialization();
378 }
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000379
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000380 ExecutionEngine::addModule(M);
Nate Begemanf049e072008-05-21 16:34:48 +0000381}
382
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000383/// removeModule - If we are removing the last Module, invalidate the jitstate
384/// since the PassManager it contains references a released Module.
385bool JIT::removeModule(Module *M) {
386 bool result = ExecutionEngine::removeModule(M);
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000387
Nate Begemanf049e072008-05-21 16:34:48 +0000388 MutexGuard locked(lock);
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000389
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000390 if (jitstate->getModule() == M) {
Nate Begemanf049e072008-05-21 16:34:48 +0000391 delete jitstate;
392 jitstate = 0;
393 }
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000394
Nate Begemand6b7a242009-02-18 08:31:02 +0000395 if (!jitstate && !Modules.empty()) {
396 jitstate = new JITState(Modules[0]);
397
398 FunctionPassManager &PM = jitstate->getPM(locked);
399 PM.add(new TargetData(*TM.getTargetData()));
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000400
Nate Begemand6b7a242009-02-18 08:31:02 +0000401 // Turn the machine code intermediate representation into bytes in memory
402 // that may be executed.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000403 if (TM.addPassesToEmitMachineCode(PM, *JCE, CodeGenOpt::Default)) {
Chris Lattner75361b62010-04-07 22:58:41 +0000404 report_fatal_error("Target does not support machine code emission!");
Nate Begemand6b7a242009-02-18 08:31:02 +0000405 }
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000406
Nate Begemand6b7a242009-02-18 08:31:02 +0000407 // Initialize passes.
408 PM.doInitialization();
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000409 }
Nate Begemanf049e072008-05-21 16:34:48 +0000410 return result;
411}
412
Brian Gaeke70975ee2003-09-05 18:42:01 +0000413/// run - Start execution with the specified function and arguments.
Chris Lattner05a1a302003-08-21 21:32:12 +0000414///
Chris Lattnerff0f1bb2003-12-26 06:13:47 +0000415GenericValue JIT::runFunction(Function *F,
416 const std::vector<GenericValue> &ArgValues) {
Chris Lattnerb47130c2004-08-15 23:29:50 +0000417 assert(F && "Function *F was null at entry to run()");
Chris Lattnerb47130c2004-08-15 23:29:50 +0000418
419 void *FPtr = getPointerToFunction(F);
Chris Lattner7c45d782004-08-15 23:31:43 +0000420 assert(FPtr && "Pointer to fn's code was null after getPointerToFunction");
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000421 const FunctionType *FTy = F->getFunctionType();
Chris Lattnere5eab142004-08-15 23:53:06 +0000422 const Type *RetTy = FTy->getReturnType();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000423
Dan Gohman07ab52b2009-02-19 02:55:18 +0000424 assert((FTy->getNumParams() == ArgValues.size() ||
425 (FTy->isVarArg() && FTy->getNumParams() <= ArgValues.size())) &&
426 "Wrong number of arguments passed into function!");
Chris Lattnere5eab142004-08-15 23:53:06 +0000427 assert(FTy->getNumParams() == ArgValues.size() &&
428 "This doesn't support passing arguments through varargs (yet)!");
429
Misha Brukmanec843022004-10-22 23:35:57 +0000430 // Handle some common cases first. These cases correspond to common `main'
Chris Lattnere5eab142004-08-15 23:53:06 +0000431 // prototypes.
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000432 if (RetTy->isIntegerTy(32) || RetTy->isVoidTy()) {
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000433 switch (ArgValues.size()) {
434 case 3:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000435 if (FTy->getParamType(0)->isIntegerTy(32) &&
Duncan Sands1df98592010-02-16 11:11:14 +0000436 FTy->getParamType(1)->isPointerTy() &&
437 FTy->getParamType(2)->isPointerTy()) {
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000438 int (*PF)(int, char **, const char **) =
Chris Lattner870286a2006-06-01 17:29:22 +0000439 (int(*)(int, char **, const char **))(intptr_t)FPtr;
Misha Brukmanec843022004-10-22 23:35:57 +0000440
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000441 // Call the function.
Chris Lattnere5eab142004-08-15 23:53:06 +0000442 GenericValue rv;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000443 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(),
Reid Spencer38f6a152007-03-06 03:11:31 +0000444 (char **)GVTOP(ArgValues[1]),
445 (const char **)GVTOP(ArgValues[2])));
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000446 return rv;
447 }
448 break;
Chris Lattner174f2262004-08-16 01:07:04 +0000449 case 2:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000450 if (FTy->getParamType(0)->isIntegerTy(32) &&
Duncan Sands1df98592010-02-16 11:11:14 +0000451 FTy->getParamType(1)->isPointerTy()) {
Chris Lattner870286a2006-06-01 17:29:22 +0000452 int (*PF)(int, char **) = (int(*)(int, char **))(intptr_t)FPtr;
Misha Brukmanec843022004-10-22 23:35:57 +0000453
Chris Lattner174f2262004-08-16 01:07:04 +0000454 // Call the function.
455 GenericValue rv;
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000456 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(),
Reid Spencer38f6a152007-03-06 03:11:31 +0000457 (char **)GVTOP(ArgValues[1])));
Chris Lattner174f2262004-08-16 01:07:04 +0000458 return rv;
459 }
460 break;
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000461 case 1:
462 if (FTy->getNumParams() == 1 &&
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000463 FTy->getParamType(0)->isIntegerTy(32)) {
Chris Lattnere5eab142004-08-15 23:53:06 +0000464 GenericValue rv;
Chris Lattner870286a2006-06-01 17:29:22 +0000465 int (*PF)(int) = (int(*)(int))(intptr_t)FPtr;
Reid Spencer38f6a152007-03-06 03:11:31 +0000466 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue()));
Chris Lattnerf7bedf42004-08-15 23:39:59 +0000467 return rv;
468 }
469 break;
Chris Lattnere5eab142004-08-15 23:53:06 +0000470 }
471 }
472
473 // Handle cases where no arguments are passed first.
474 if (ArgValues.empty()) {
475 GenericValue rv;
476 switch (RetTy->getTypeID()) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000477 default: llvm_unreachable("Unknown return type for function call!");
Reid Spencera54b7cb2007-01-12 07:05:14 +0000478 case Type::IntegerTyID: {
479 unsigned BitWidth = cast<IntegerType>(RetTy)->getBitWidth();
480 if (BitWidth == 1)
Reid Spencer38f6a152007-03-06 03:11:31 +0000481 rv.IntVal = APInt(BitWidth, ((bool(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000482 else if (BitWidth <= 8)
Reid Spencer38f6a152007-03-06 03:11:31 +0000483 rv.IntVal = APInt(BitWidth, ((char(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000484 else if (BitWidth <= 16)
Reid Spencer38f6a152007-03-06 03:11:31 +0000485 rv.IntVal = APInt(BitWidth, ((short(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000486 else if (BitWidth <= 32)
Reid Spencer38f6a152007-03-06 03:11:31 +0000487 rv.IntVal = APInt(BitWidth, ((int(*)())(intptr_t)FPtr)());
Reid Spencera54b7cb2007-01-12 07:05:14 +0000488 else if (BitWidth <= 64)
Reid Spencer38f6a152007-03-06 03:11:31 +0000489 rv.IntVal = APInt(BitWidth, ((int64_t(*)())(intptr_t)FPtr)());
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000490 else
Torok Edwinc23197a2009-07-14 16:55:14 +0000491 llvm_unreachable("Integer types > 64 bits not supported");
Chris Lattnerd297aea2004-08-15 23:34:48 +0000492 return rv;
Reid Spencera54b7cb2007-01-12 07:05:14 +0000493 }
Chris Lattnere5eab142004-08-15 23:53:06 +0000494 case Type::VoidTyID:
Reid Spencer38f6a152007-03-06 03:11:31 +0000495 rv.IntVal = APInt(32, ((int(*)())(intptr_t)FPtr)());
Chris Lattnere5eab142004-08-15 23:53:06 +0000496 return rv;
Chris Lattnere5eab142004-08-15 23:53:06 +0000497 case Type::FloatTyID:
Chris Lattner870286a2006-06-01 17:29:22 +0000498 rv.FloatVal = ((float(*)())(intptr_t)FPtr)();
Chris Lattnere5eab142004-08-15 23:53:06 +0000499 return rv;
500 case Type::DoubleTyID:
Chris Lattner870286a2006-06-01 17:29:22 +0000501 rv.DoubleVal = ((double(*)())(intptr_t)FPtr)();
Chris Lattnere5eab142004-08-15 23:53:06 +0000502 return rv;
Dale Johannesen1abac0d2007-09-17 18:44:13 +0000503 case Type::X86_FP80TyID:
504 case Type::FP128TyID:
505 case Type::PPC_FP128TyID:
Torok Edwinc23197a2009-07-14 16:55:14 +0000506 llvm_unreachable("long double not supported yet");
Dale Johannesen1abac0d2007-09-17 18:44:13 +0000507 return rv;
Chris Lattnere5eab142004-08-15 23:53:06 +0000508 case Type::PointerTyID:
Chris Lattner870286a2006-06-01 17:29:22 +0000509 return PTOGV(((void*(*)())(intptr_t)FPtr)());
Chris Lattnerd297aea2004-08-15 23:34:48 +0000510 }
Chris Lattnerff0f1bb2003-12-26 06:13:47 +0000511 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000512
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000513 // Okay, this is not one of our quick and easy cases. Because we don't have a
514 // full FFI, we have to codegen a nullary stub function that just calls the
515 // function we are interested in, passing in constants for all of the
516 // arguments. Make this function and return.
517
518 // First, create the function.
Owen Andersondebcb012009-07-29 22:17:13 +0000519 FunctionType *STy=FunctionType::get(RetTy, false);
Gabor Greif051a9502008-04-06 20:25:17 +0000520 Function *Stub = Function::Create(STy, Function::InternalLinkage, "",
521 F->getParent());
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000522
523 // Insert a basic block.
Owen Anderson1d0be152009-08-13 21:58:54 +0000524 BasicBlock *StubBB = BasicBlock::Create(F->getContext(), "", Stub);
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000525
526 // Convert all of the GenericValue arguments over to constants. Note that we
527 // currently don't support varargs.
Chris Lattner990b8492007-02-13 06:01:22 +0000528 SmallVector<Value*, 8> Args;
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000529 for (unsigned i = 0, e = ArgValues.size(); i != e; ++i) {
530 Constant *C = 0;
531 const Type *ArgTy = FTy->getParamType(i);
532 const GenericValue &AV = ArgValues[i];
533 switch (ArgTy->getTypeID()) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000534 default: llvm_unreachable("Unknown argument type for function call!");
Chris Lattner02a260a2008-04-20 00:41:09 +0000535 case Type::IntegerTyID:
Owen Andersoneed707b2009-07-24 23:12:02 +0000536 C = ConstantInt::get(F->getContext(), AV.IntVal);
Chris Lattner02a260a2008-04-20 00:41:09 +0000537 break;
538 case Type::FloatTyID:
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000539 C = ConstantFP::get(F->getContext(), APFloat(AV.FloatVal));
Chris Lattner02a260a2008-04-20 00:41:09 +0000540 break;
541 case Type::DoubleTyID:
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000542 C = ConstantFP::get(F->getContext(), APFloat(AV.DoubleVal));
Chris Lattner02a260a2008-04-20 00:41:09 +0000543 break;
Dale Johannesen1abac0d2007-09-17 18:44:13 +0000544 case Type::PPC_FP128TyID:
545 case Type::X86_FP80TyID:
Chris Lattner02a260a2008-04-20 00:41:09 +0000546 case Type::FP128TyID:
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000547 C = ConstantFP::get(F->getContext(), APFloat(AV.IntVal));
Chris Lattner02a260a2008-04-20 00:41:09 +0000548 break;
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000549 case Type::PointerTyID:
550 void *ArgPtr = GVTOP(AV);
Chris Lattner02a260a2008-04-20 00:41:09 +0000551 if (sizeof(void*) == 4)
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000552 C = ConstantInt::get(Type::getInt32Ty(F->getContext()),
Owen Anderson1d0be152009-08-13 21:58:54 +0000553 (int)(intptr_t)ArgPtr);
Chris Lattner02a260a2008-04-20 00:41:09 +0000554 else
Owen Anderson1d0be152009-08-13 21:58:54 +0000555 C = ConstantInt::get(Type::getInt64Ty(F->getContext()),
556 (intptr_t)ArgPtr);
Owen Anderson9adc0ab2009-07-14 23:09:55 +0000557 // Cast the integer to pointer
Owen Andersonbaf3c402009-07-29 18:55:55 +0000558 C = ConstantExpr::getIntToPtr(C, ArgTy);
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000559 break;
560 }
561 Args.push_back(C);
562 }
563
Gabor Greifb1dbcd82008-05-15 10:04:30 +0000564 CallInst *TheCall = CallInst::Create(F, Args.begin(), Args.end(),
565 "", StubBB);
Chris Lattnercdfc51f2008-11-23 08:00:11 +0000566 TheCall->setCallingConv(F->getCallingConv());
Chris Lattnera471e042005-05-06 06:48:54 +0000567 TheCall->setTailCall();
Benjamin Kramerf0127052010-01-05 13:12:22 +0000568 if (!TheCall->getType()->isVoidTy())
Owen Anderson1d0be152009-08-13 21:58:54 +0000569 // Return result of the call.
570 ReturnInst::Create(F->getContext(), TheCall, StubBB);
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000571 else
Owen Anderson1d0be152009-08-13 21:58:54 +0000572 ReturnInst::Create(F->getContext(), StubBB); // Just return void.
Chris Lattnercc22e9f2004-08-16 00:14:18 +0000573
Jeffrey Yasskin3174f672010-02-12 23:05:31 +0000574 // Finally, call our nullary stub function.
575 GenericValue Result = runFunction(Stub, std::vector<GenericValue>());
576 // Erase it, since no other function can have a reference to it.
577 Stub->eraseFromParent();
578 // And return the result.
579 return Result;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000580}
Chris Lattner4d326fa2003-12-20 01:46:27 +0000581
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000582void JIT::RegisterJITEventListener(JITEventListener *L) {
583 if (L == NULL)
584 return;
585 MutexGuard locked(lock);
586 EventListeners.push_back(L);
587}
588void JIT::UnregisterJITEventListener(JITEventListener *L) {
589 if (L == NULL)
590 return;
591 MutexGuard locked(lock);
592 std::vector<JITEventListener*>::reverse_iterator I=
593 std::find(EventListeners.rbegin(), EventListeners.rend(), L);
594 if (I != EventListeners.rend()) {
595 std::swap(*I, EventListeners.back());
596 EventListeners.pop_back();
597 }
598}
599void JIT::NotifyFunctionEmitted(
600 const Function &F,
601 void *Code, size_t Size,
602 const JITEvent_EmittedFunctionDetails &Details) {
603 MutexGuard locked(lock);
604 for (unsigned I = 0, S = EventListeners.size(); I < S; ++I) {
605 EventListeners[I]->NotifyFunctionEmitted(F, Code, Size, Details);
606 }
607}
608
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +0000609void JIT::NotifyFreeingMachineCode(void *OldPtr) {
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000610 MutexGuard locked(lock);
611 for (unsigned I = 0, S = EventListeners.size(); I < S; ++I) {
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +0000612 EventListeners[I]->NotifyFreeingMachineCode(OldPtr);
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000613 }
614}
615
Chris Lattner4d326fa2003-12-20 01:46:27 +0000616/// runJITOnFunction - Run the FunctionPassManager full of
617/// just-in-time compilation passes on F, hopefully filling in
618/// GlobalAddress[F] with the address of F's machine code.
619///
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +0000620void JIT::runJITOnFunction(Function *F, MachineCodeInfo *MCI) {
Reid Spenceree448632005-07-12 15:51:55 +0000621 MutexGuard locked(lock);
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +0000622
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000623 class MCIListener : public JITEventListener {
624 MachineCodeInfo *const MCI;
625 public:
626 MCIListener(MachineCodeInfo *mci) : MCI(mci) {}
627 virtual void NotifyFunctionEmitted(const Function &,
628 void *Code, size_t Size,
629 const EmittedFunctionDetails &) {
630 MCI->setAddress(Code);
631 MCI->setSize(Size);
632 }
633 };
634 MCIListener MCIL(MCI);
Jeffrey Yasskin92fdf452009-12-22 23:18:18 +0000635 if (MCI)
636 RegisterJITEventListener(&MCIL);
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +0000637
Dan Gohman21afcda2009-02-06 21:25:08 +0000638 runJITOnFunctionUnlocked(F, locked);
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +0000639
Jeffrey Yasskin92fdf452009-12-22 23:18:18 +0000640 if (MCI)
641 UnregisterJITEventListener(&MCIL);
Dan Gohman21afcda2009-02-06 21:25:08 +0000642}
643
644void JIT::runJITOnFunctionUnlocked(Function *F, const MutexGuard &locked) {
Chris Lattner17f218e2007-08-13 20:08:16 +0000645 assert(!isAlreadyCodeGenerating && "Error: Recursive compilation detected!");
Chris Lattner4d326fa2003-12-20 01:46:27 +0000646
Chris Lattner68feb222010-07-11 23:07:28 +0000647 jitTheFunction(F, locked);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000648
Nate Begemand6b7a242009-02-18 08:31:02 +0000649 // If the function referred to another function that had not yet been
Jeffrey Yasskindc857242009-10-27 20:30:28 +0000650 // read from bitcode, and we are jitting non-lazily, emit it now.
Nate Begemand6b7a242009-02-18 08:31:02 +0000651 while (!jitstate->getPendingFunctions(locked).empty()) {
652 Function *PF = jitstate->getPendingFunctions(locked).back();
653 jitstate->getPendingFunctions(locked).pop_back();
654
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000655 assert(!PF->hasAvailableExternallyLinkage() &&
656 "Externally-defined function should not be in pending list.");
657
Chris Lattner68feb222010-07-11 23:07:28 +0000658 jitTheFunction(PF, locked);
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000659
Nate Begemand6b7a242009-02-18 08:31:02 +0000660 // Now that the function has been jitted, ask the JITEmitter to rewrite
661 // the stub with real address of the function.
662 updateFunctionStub(PF);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000663 }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000664}
665
Chris Lattner68feb222010-07-11 23:07:28 +0000666void JIT::jitTheFunction(Function *F, const MutexGuard &locked) {
667 isAlreadyCodeGenerating = true;
668 jitstate->getPM(locked).run(*F);
669 isAlreadyCodeGenerating = false;
670
671 // clear basic block addresses after this function is done
672 getBasicBlockAddressMap(locked).clear();
673}
674
Chris Lattner4d326fa2003-12-20 01:46:27 +0000675/// getPointerToFunction - This method is used to get the address of the
Chris Lattner7a2bdde2011-04-15 05:18:47 +0000676/// specified function, compiling it if necessary.
Chris Lattner4d326fa2003-12-20 01:46:27 +0000677///
678void *JIT::getPointerToFunction(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000679
Chris Lattnerc07ed132003-12-20 03:36:47 +0000680 if (void *Addr = getPointerToGlobalIfAvailable(F))
681 return Addr; // Check if function already code gen'd
Chris Lattner4d326fa2003-12-20 01:46:27 +0000682
Dan Gohmana3ac0c12009-02-19 02:40:15 +0000683 MutexGuard locked(lock);
684
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000685 // Now that this thread owns the lock, make sure we read in the function if it
686 // exists in this Module.
687 std::string ErrorMsg;
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +0000688 if (F->Materialize(&ErrorMsg)) {
Chris Lattner75361b62010-04-07 22:58:41 +0000689 report_fatal_error("Error reading function '" + F->getName()+
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000690 "' from bitcode file: " + ErrorMsg);
Nicolas Geoffrayfd7d9912008-04-20 08:33:02 +0000691 }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000692
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000693 // ... and check if another thread has already code gen'd the function.
694 if (void *Addr = getPointerToGlobalIfAvailable(F))
695 return Addr;
696
Chris Lattner46264f02009-10-25 23:06:42 +0000697 if (F->isDeclaration() || F->hasAvailableExternallyLinkage()) {
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +0000698 bool AbortOnFailure = !F->hasExternalWeakLinkage();
Dan Gohman69f93782009-01-05 05:32:42 +0000699 void *Addr = getPointerToNamedFunction(F->getName(), AbortOnFailure);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000700 addGlobalMapping(F, Addr);
701 return Addr;
702 }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000703
Dan Gohman21afcda2009-02-06 21:25:08 +0000704 runJITOnFunctionUnlocked(F, locked);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000705
706 void *Addr = getPointerToGlobalIfAvailable(F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000707 assert(Addr && "Code generation didn't add function to GlobalAddress table!");
708 return Addr;
709}
710
Chris Lattner68feb222010-07-11 23:07:28 +0000711void JIT::addPointerToBasicBlock(const BasicBlock *BB, void *Addr) {
712 MutexGuard locked(lock);
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000713
Chris Lattner68feb222010-07-11 23:07:28 +0000714 BasicBlockAddressMapTy::iterator I =
715 getBasicBlockAddressMap(locked).find(BB);
716 if (I == getBasicBlockAddressMap(locked).end()) {
717 getBasicBlockAddressMap(locked)[BB] = Addr;
718 } else {
719 // ignore repeats: some BBs can be split into few MBBs?
720 }
721}
722
723void JIT::clearPointerToBasicBlock(const BasicBlock *BB) {
724 MutexGuard locked(lock);
725 getBasicBlockAddressMap(locked).erase(BB);
726}
727
728void *JIT::getPointerToBasicBlock(BasicBlock *BB) {
729 // make sure it's function is compiled by JIT
730 (void)getPointerToFunction(BB->getParent());
731
732 // resolve basic block address
733 MutexGuard locked(lock);
Jim Grosbach4f9fc852011-03-15 20:25:54 +0000734
Chris Lattner68feb222010-07-11 23:07:28 +0000735 BasicBlockAddressMapTy::iterator I =
736 getBasicBlockAddressMap(locked).find(BB);
737 if (I != getBasicBlockAddressMap(locked).end()) {
738 return I->second;
739 } else {
740 assert(0 && "JIT does not have BB address for address-of-label, was"
741 " it eliminated by optimizer?");
742 return 0;
743 }
744}
745
Chris Lattnerc07ed132003-12-20 03:36:47 +0000746/// getOrEmitGlobalVariable - Return the address of the specified global
747/// variable, possibly emitting it to memory if needed. This is used by the
748/// Emitter.
749void *JIT::getOrEmitGlobalVariable(const GlobalVariable *GV) {
Reid Spenceree448632005-07-12 15:51:55 +0000750 MutexGuard locked(lock);
751
Chris Lattnerc07ed132003-12-20 03:36:47 +0000752 void *Ptr = getPointerToGlobalIfAvailable(GV);
753 if (Ptr) return Ptr;
754
755 // If the global is external, just remember the address.
Jeffrey Yasskin898e9df2009-12-13 20:30:32 +0000756 if (GV->isDeclaration() || GV->hasAvailableExternallyLinkage()) {
Anton Korobeynikov3b30a6e2007-07-30 20:02:02 +0000757#if HAVE___DSO_HANDLE
Evan Cheng5f42c552006-07-21 23:06:20 +0000758 if (GV->getName() == "__dso_handle")
759 return (void*)&__dso_handle;
Evan Chengb82ab942006-07-22 00:42:03 +0000760#endif
Daniel Dunbarfbee5792009-07-21 08:54:24 +0000761 Ptr = sys::DynamicLibrary::SearchForAddressOfSymbol(GV->getName());
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +0000762 if (Ptr == 0) {
Chris Lattner75361b62010-04-07 22:58:41 +0000763 report_fatal_error("Could not resolve external global address: "
Torok Edwin31e24662009-07-07 17:32:34 +0000764 +GV->getName());
Chris Lattnerc07ed132003-12-20 03:36:47 +0000765 }
Nate Begeman66941982009-03-04 19:10:38 +0000766 addGlobalMapping(GV, Ptr);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000767 } else {
Dale Johannesendd947ea2008-08-07 01:30:15 +0000768 // If the global hasn't been emitted to memory yet, allocate space and
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000769 // emit it into memory.
770 Ptr = getMemoryForGV(GV);
Dale Johannesendd947ea2008-08-07 01:30:15 +0000771 addGlobalMapping(GV, Ptr);
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000772 EmitGlobalVariable(GV); // Initialize the variable.
Chris Lattnerc07ed132003-12-20 03:36:47 +0000773 }
Chris Lattnerc07ed132003-12-20 03:36:47 +0000774 return Ptr;
775}
776
Chris Lattner4d326fa2003-12-20 01:46:27 +0000777/// recompileAndRelinkFunction - This method is used to force a function
778/// which has already been compiled, to be compiled again, possibly
779/// after it has been modified. Then the entry to the old copy is overwritten
780/// with a branch to the new copy. If there was no old copy, this acts
781/// just like JIT::getPointerToFunction().
782///
783void *JIT::recompileAndRelinkFunction(Function *F) {
Chris Lattnerc07ed132003-12-20 03:36:47 +0000784 void *OldAddr = getPointerToGlobalIfAvailable(F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000785
Chris Lattnerc07ed132003-12-20 03:36:47 +0000786 // If it's not already compiled there is no reason to patch it up.
787 if (OldAddr == 0) { return getPointerToFunction(F); }
Chris Lattner4d326fa2003-12-20 01:46:27 +0000788
Chris Lattnerc07ed132003-12-20 03:36:47 +0000789 // Delete the old function mapping.
790 addGlobalMapping(F, 0);
791
Chris Lattnerc07ed132003-12-20 03:36:47 +0000792 // Recodegen the function
Chris Lattner4d326fa2003-12-20 01:46:27 +0000793 runJITOnFunction(F);
Chris Lattnerc07ed132003-12-20 03:36:47 +0000794
795 // Update state, forward the old function to the new function.
796 void *Addr = getPointerToGlobalIfAvailable(F);
Chris Lattner4d326fa2003-12-20 01:46:27 +0000797 assert(Addr && "Code generation didn't add function to GlobalAddress table!");
798 TJI.replaceMachineCodeForFunction(OldAddr, Addr);
799 return Addr;
800}
Misha Brukman895eddf2004-11-07 23:58:46 +0000801
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000802/// getMemoryForGV - This method abstracts memory allocation of global
803/// variable so that the JIT can allocate thread local variables depending
804/// on the target.
805///
806char* JIT::getMemoryForGV(const GlobalVariable* GV) {
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000807 char *Ptr;
808
809 // GlobalVariable's which are not "constant" will cause trouble in a server
810 // situation. It's returned in the same block of memory as code which may
811 // not be writable.
812 if (isGVCompilationDisabled() && !GV->isConstant()) {
Chris Lattner75361b62010-04-07 22:58:41 +0000813 report_fatal_error("Compilation of non-internal GlobalValue is disabled!");
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000814 }
815
816 // Some applications require globals and code to live together, so they may
817 // be allocated into the same buffer, but in general globals are allocated
818 // through the memory manager which puts them near the code but not in the
819 // same buffer.
820 const Type *GlobalType = GV->getType()->getElementType();
821 size_t S = getTargetData()->getTypeAllocSize(GlobalType);
822 size_t A = getTargetData()->getPreferredAlignment(GV);
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000823 if (GV->isThreadLocal()) {
824 MutexGuard locked(lock);
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000825 Ptr = TJI.allocateThreadLocalMemory(S);
826 } else if (TJI.allocateSeparateGVMemory()) {
827 if (A <= 8) {
828 Ptr = (char*)malloc(S);
829 } else {
830 // Allocate S+A bytes of memory, then use an aligned pointer within that
831 // space.
832 Ptr = (char*)malloc(S+A);
833 unsigned MisAligned = ((intptr_t)Ptr & (A-1));
834 Ptr = Ptr + (MisAligned ? (A-MisAligned) : 0);
835 }
836 } else if (AllocateGVsWithCode) {
837 Ptr = (char*)JCE->allocateSpace(S, A);
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000838 } else {
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000839 Ptr = (char*)JCE->allocateGlobal(S, A);
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000840 }
Jeffrey Yasskin489393d2009-07-08 21:59:57 +0000841 return Ptr;
Nicolas Geoffray46fa1392008-10-25 15:41:43 +0000842}
Nate Begemand6b7a242009-02-18 08:31:02 +0000843
844void JIT::addPendingFunction(Function *F) {
845 MutexGuard locked(lock);
846 jitstate->getPendingFunctions(locked).push_back(F);
847}
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000848
849
850JITEventListener::~JITEventListener() {}