blob: 0323a83c4287fdd8022b273992aabbb33fdf37bf [file] [log] [blame]
Chris Lattner166f2262004-11-22 22:00:25 +00001//===-- JITEmitter.cpp - Write machine code to executable memory ----------===//
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 Lattner5be478f2004-11-20 03:46:14 +000010// This file defines a MachineCodeEmitter object that is used by the JIT to
11// write machine code to memory and remember where relocatable values are.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner3785fad2003-08-05 17:00:32 +000015#define DEBUG_TYPE "jit"
Chris Lattner4d326fa2003-12-20 01:46:27 +000016#include "JIT.h"
Reid Kleckner27632172009-09-20 23:52:43 +000017#include "JITDebugRegisterer.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000018#include "JITDwarfEmitter.h"
Reid Kleckner27632172009-09-20 23:52:43 +000019#include "llvm/ADT/OwningPtr.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000020#include "llvm/Constants.h"
Chris Lattner2c0a6a12003-11-30 04:23:21 +000021#include "llvm/Module.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000022#include "llvm/DerivedTypes.h"
Devang Patelc99fd872010-01-19 06:09:04 +000023#include "llvm/Analysis/DebugInfo.h"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000024#include "llvm/CodeGen/JITCodeEmitter.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000025#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000026#include "llvm/CodeGen/MachineConstantPool.h"
Nate Begeman37efe672006-04-22 18:53:45 +000027#include "llvm/CodeGen/MachineJumpTableInfo.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000028#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000029#include "llvm/CodeGen/MachineRelocation.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000030#include "llvm/ExecutionEngine/GenericValue.h"
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +000031#include "llvm/ExecutionEngine/JITEventListener.h"
32#include "llvm/ExecutionEngine/JITMemoryManager.h"
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +000033#include "llvm/CodeGen/MachineCodeInfo.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000034#include "llvm/Target/TargetData.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000035#include "llvm/Target/TargetJITInfo.h"
Jim Laskeyacd80ac2006-12-14 19:17:33 +000036#include "llvm/Target/TargetMachine.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000037#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000038#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000039#include "llvm/Support/ErrorHandling.h"
Jeffrey Yasskin40966a72010-02-11 01:07:39 +000040#include "llvm/Support/ManagedStatic.h"
Chris Lattnere7fd5532006-05-08 22:00:52 +000041#include "llvm/Support/MutexGuard.h"
Nick Lewycky848b3142009-04-19 18:32:03 +000042#include "llvm/Support/ValueHandle.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000043#include "llvm/Support/raw_ostream.h"
Anton Korobeynikovfd58e6e2007-01-23 10:26:08 +000044#include "llvm/System/Disassembler.h"
Chris Lattnerbc52cad2008-06-25 17:18:44 +000045#include "llvm/System/Memory.h"
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +000046#include "llvm/Target/TargetInstrInfo.h"
Jeffrey Yasskin1e861322009-10-20 18:13:21 +000047#include "llvm/ADT/DenseMap.h"
Evan Cheng47c01a02008-11-07 09:02:17 +000048#include "llvm/ADT/SmallPtrSet.h"
Nate Begemand6b7a242009-02-18 08:31:02 +000049#include "llvm/ADT/SmallVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000050#include "llvm/ADT/Statistic.h"
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000051#include "llvm/ADT/ValueMap.h"
Andrew Lenhartha00269b2005-07-29 23:40:16 +000052#include <algorithm>
Evan Chenga7916f52008-11-05 23:44:08 +000053#ifndef NDEBUG
54#include <iomanip>
55#endif
Chris Lattnerc19aade2003-12-08 08:06:28 +000056using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000057
Chris Lattner36343732006-12-19 22:43:32 +000058STATISTIC(NumBytes, "Number of bytes of machine code compiled");
59STATISTIC(NumRelos, "Number of relocations applied");
Reid Kleckner10b4fc52009-07-23 21:46:56 +000060STATISTIC(NumRetries, "Number of retries with more memory");
Chris Lattner54266522004-11-20 23:57:07 +000061
Andrew Lenhartha00269b2005-07-29 23:40:16 +000062
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +000063// A declaration may stop being a declaration once it's fully read from bitcode.
64// This function returns true if F is fully read and is still a declaration.
65static bool isNonGhostDeclaration(const Function *F) {
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +000066 return F->isDeclaration() && !F->isMaterializable();
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +000067}
68
Chris Lattner54266522004-11-20 23:57:07 +000069//===----------------------------------------------------------------------===//
70// JIT lazy compilation code.
71//
72namespace {
Jeffrey Yasskine637c192009-11-07 00:00:10 +000073 class JITEmitter;
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000074 class JITResolverState;
75
76 template<typename ValueTy>
77 struct NoRAUWValueMapConfig : public ValueMapConfig<ValueTy> {
78 typedef JITResolverState *ExtraData;
79 static void onRAUW(JITResolverState *, Value *Old, Value *New) {
80 assert(false && "The JIT doesn't know how to handle a"
81 " RAUW on a value it has emitted.");
82 }
83 };
84
85 struct CallSiteValueMapConfig : public NoRAUWValueMapConfig<Function*> {
86 typedef JITResolverState *ExtraData;
87 static void onDelete(JITResolverState *JRS, Function *F);
88 };
89
Reid Spenceree448632005-07-12 15:51:55 +000090 class JITResolverState {
Nick Lewyckye2bcf132009-04-27 05:09:44 +000091 public:
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000092 typedef ValueMap<Function*, void*, NoRAUWValueMapConfig<Function*> >
Jeffrey Yasskin108c8382009-11-23 23:35:19 +000093 FunctionToLazyStubMapTy;
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +000094 typedef std::map<void*, AssertingVH<Function> > CallSiteToFunctionMapTy;
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000095 typedef ValueMap<Function *, SmallPtrSet<void*, 1>,
96 CallSiteValueMapConfig> FunctionToCallSitesMapTy;
Nick Lewyckye2bcf132009-04-27 05:09:44 +000097 typedef std::map<AssertingVH<GlobalValue>, void*> GlobalToIndirectSymMapTy;
Reid Spenceree448632005-07-12 15:51:55 +000098 private:
Jeffrey Yasskin108c8382009-11-23 23:35:19 +000099 /// FunctionToLazyStubMap - Keep track of the lazy stub created for a
100 /// particular function so that we can reuse them if necessary.
101 FunctionToLazyStubMapTy FunctionToLazyStubMap;
Reid Spenceree448632005-07-12 15:51:55 +0000102
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000103 /// CallSiteToFunctionMap - Keep track of the function that each lazy call
104 /// site corresponds to, and vice versa.
105 CallSiteToFunctionMapTy CallSiteToFunctionMap;
106 FunctionToCallSitesMapTy FunctionToCallSitesMap;
Jeff Cohen00b168892005-07-27 06:12:32 +0000107
Evan Cheng5594f122008-11-10 01:52:24 +0000108 /// GlobalToIndirectSymMap - Keep track of the indirect symbol created for a
Evan Chengbe8c03f2008-01-04 10:46:51 +0000109 /// particular GlobalVariable so that we can reuse them if necessary.
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000110 GlobalToIndirectSymMapTy GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000111
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000112 /// Instance of the JIT this ResolverState serves.
113 JIT *TheJIT;
114
Reid Spenceree448632005-07-12 15:51:55 +0000115 public:
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000116 JITResolverState(JIT *jit) : FunctionToLazyStubMap(this),
117 FunctionToCallSitesMap(this),
118 TheJIT(jit) {}
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000119
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000120 FunctionToLazyStubMapTy& getFunctionToLazyStubMap(
121 const MutexGuard& locked) {
Reid Spenceree448632005-07-12 15:51:55 +0000122 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000123 return FunctionToLazyStubMap;
Reid Spenceree448632005-07-12 15:51:55 +0000124 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000125
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000126 GlobalToIndirectSymMapTy& getGlobalToIndirectSymMap(const MutexGuard& locked) {
Evan Chengbe8c03f2008-01-04 10:46:51 +0000127 assert(locked.holds(TheJIT->lock));
Evan Cheng5594f122008-11-10 01:52:24 +0000128 return GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000129 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000130
131 pair<void *, Function *> LookupFunctionFromCallSite(
132 const MutexGuard &locked, void *CallSite) const {
133 assert(locked.holds(TheJIT->lock));
134
135 // The address given to us for the stub may not be exactly right, it might be
136 // a little bit after the stub. As such, use upper_bound to find it.
137 CallSiteToFunctionMapTy::const_iterator I =
138 CallSiteToFunctionMap.upper_bound(CallSite);
139 assert(I != CallSiteToFunctionMap.begin() &&
140 "This is not a known call site!");
141 --I;
142 return *I;
143 }
144
145 void AddCallSite(const MutexGuard &locked, void *CallSite, Function *F) {
146 assert(locked.holds(TheJIT->lock));
147
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000148 bool Inserted = CallSiteToFunctionMap.insert(
149 std::make_pair(CallSite, F)).second;
150 (void)Inserted;
151 assert(Inserted && "Pair was already in CallSiteToFunctionMap");
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000152 FunctionToCallSitesMap[F].insert(CallSite);
153 }
154
155 // Returns the Function of the stub if a stub was erased, or NULL if there
156 // was no stub. This function uses the call-site->function map to find a
157 // relevant function, but asserts that only stubs and not other call sites
158 // will be passed in.
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000159 Function *EraseStub(const MutexGuard &locked, void *Stub);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000160
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000161 void EraseAllCallSitesFor(const MutexGuard &locked, Function *F) {
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000162 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000163 EraseAllCallSitesForPrelocked(F);
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000164 }
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000165 void EraseAllCallSitesForPrelocked(Function *F);
166
167 // Erases _all_ call sites regardless of their function. This is used to
168 // unregister the stub addresses from the StubToResolverMap in
169 // ~JITResolver().
170 void EraseAllCallSitesPrelocked();
Reid Spenceree448632005-07-12 15:51:55 +0000171 };
Jeff Cohen00b168892005-07-27 06:12:32 +0000172
Chris Lattner54266522004-11-20 23:57:07 +0000173 /// JITResolver - Keep track of, and resolve, call sites for functions that
174 /// have not yet been compiled.
175 class JITResolver {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000176 typedef JITResolverState::FunctionToLazyStubMapTy FunctionToLazyStubMapTy;
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000177 typedef JITResolverState::CallSiteToFunctionMapTy CallSiteToFunctionMapTy;
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000178 typedef JITResolverState::GlobalToIndirectSymMapTy GlobalToIndirectSymMapTy;
179
Chris Lattner5e225582004-11-21 03:37:42 +0000180 /// LazyResolverFn - The target lazy resolver function that we actually
181 /// rewrite instructions to use.
182 TargetJITInfo::LazyResolverFn LazyResolverFn;
183
Reid Spenceree448632005-07-12 15:51:55 +0000184 JITResolverState state;
Chris Lattner54266522004-11-20 23:57:07 +0000185
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000186 /// ExternalFnToStubMap - This is the equivalent of FunctionToLazyStubMap
187 /// for external functions. TODO: Of course, external functions don't need
188 /// a lazy stub. It's actually here to make it more likely that far calls
189 /// succeed, but no single stub can guarantee that. I'll remove this in a
190 /// subsequent checkin when I actually fix far calls.
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000191 std::map<void*, void*> ExternalFnToStubMap;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000192
Evan Cheng1606e8e2009-03-13 07:51:59 +0000193 /// revGOTMap - map addresses to indexes in the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000194 std::map<void*, unsigned> revGOTMap;
195 unsigned nextGOTIndex;
196
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000197 JITEmitter &JE;
198
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000199 /// Instance of JIT corresponding to this Resolver.
200 JIT *TheJIT;
201
Chris Lattner54266522004-11-20 23:57:07 +0000202 public:
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000203 explicit JITResolver(JIT &jit, JITEmitter &je)
204 : state(&jit), nextGOTIndex(0), JE(je), TheJIT(&jit) {
Chris Lattnere7484012007-02-24 02:57:03 +0000205 LazyResolverFn = jit.getJITInfo().getLazyResolverFunction(JITCompilerFn);
Chris Lattner5e225582004-11-21 03:37:42 +0000206 }
Chris Lattner54266522004-11-20 23:57:07 +0000207
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000208 ~JITResolver();
209
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000210 /// getLazyFunctionStubIfAvailable - This returns a pointer to a function's
211 /// lazy-compilation stub if it has already been created.
212 void *getLazyFunctionStubIfAvailable(Function *F);
Evan Cheng704bff92008-11-13 21:50:50 +0000213
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000214 /// getLazyFunctionStub - This returns a pointer to a function's
215 /// lazy-compilation stub, creating one on demand as needed.
216 void *getLazyFunctionStub(Function *F);
Chris Lattner54266522004-11-20 23:57:07 +0000217
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000218 /// getExternalFunctionStub - Return a stub for the function at the
219 /// specified address, created lazily on demand.
220 void *getExternalFunctionStub(void *FnAddr);
221
Evan Cheng5594f122008-11-10 01:52:24 +0000222 /// getGlobalValueIndirectSym - Return an indirect symbol containing the
Evan Chengc96a8e72008-11-05 01:50:32 +0000223 /// specified GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000224 void *getGlobalValueIndirectSym(GlobalValue *V, void *GVAddress);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000225
Nate Begemand6b7a242009-02-18 08:31:02 +0000226 void getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000227 SmallVectorImpl<void*> &Ptrs);
Eric Christopher116664a2009-11-12 03:12:18 +0000228
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000229 GlobalValue *invalidateStub(void *Stub);
Chris Lattner5e225582004-11-21 03:37:42 +0000230
Andrew Lenharth6a974612005-07-28 12:44:13 +0000231 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
Chris Lattner8907b4b2007-12-05 23:39:57 +0000232 /// an address. This function only manages slots, it does not manage the
Andrew Lenharth6a974612005-07-28 12:44:13 +0000233 /// contents of the slots or the memory associated with the GOT.
Chris Lattner8907b4b2007-12-05 23:39:57 +0000234 unsigned getGOTIndexForAddr(void *addr);
Andrew Lenharth6a974612005-07-28 12:44:13 +0000235
Chris Lattner54266522004-11-20 23:57:07 +0000236 /// JITCompilerFn - This function is called to resolve a stub to a compiled
237 /// address. If the LLVM Function corresponding to the stub has not yet
238 /// been compiled, this function compiles it first.
239 static void *JITCompilerFn(void *Stub);
240 };
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000241
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000242 class StubToResolverMapTy {
243 /// Map a stub address to a specific instance of a JITResolver so that
244 /// lazily-compiled functions can find the right resolver to use.
245 ///
246 /// Guarded by Lock.
247 std::map<void*, JITResolver*> Map;
248
249 /// Guards Map from concurrent accesses.
250 mutable sys::Mutex Lock;
251
252 public:
253 /// Registers a Stub to be resolved by Resolver.
254 void RegisterStubResolver(void *Stub, JITResolver *Resolver) {
255 MutexGuard guard(Lock);
256 Map.insert(std::make_pair(Stub, Resolver));
257 }
258 /// Unregisters the Stub when it's invalidated.
259 void UnregisterStubResolver(void *Stub) {
260 MutexGuard guard(Lock);
261 Map.erase(Stub);
262 }
263 /// Returns the JITResolver instance that owns the Stub.
264 JITResolver *getResolverFromStub(void *Stub) const {
265 MutexGuard guard(Lock);
266 // The address given to us for the stub may not be exactly right, it might
267 // be a little bit after the stub. As such, use upper_bound to find it.
268 // This is the same trick as in LookupFunctionFromCallSite from
269 // JITResolverState.
270 std::map<void*, JITResolver*>::const_iterator I = Map.upper_bound(Stub);
271 assert(I != Map.begin() && "This is not a known stub!");
272 --I;
273 return I->second;
274 }
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000275 /// True if any stubs refer to the given resolver. Only used in an assert().
276 /// O(N)
277 bool ResolverHasStubs(JITResolver* Resolver) const {
278 MutexGuard guard(Lock);
279 for (std::map<void*, JITResolver*>::const_iterator I = Map.begin(),
280 E = Map.end(); I != E; ++I) {
281 if (I->second == Resolver)
282 return true;
283 }
284 return false;
285 }
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000286 };
287 /// This needs to be static so that a lazy call stub can access it with no
288 /// context except the address of the stub.
289 ManagedStatic<StubToResolverMapTy> StubToResolverMap;
290
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000291 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
292 /// used to output functions to memory for execution.
293 class JITEmitter : public JITCodeEmitter {
294 JITMemoryManager *MemMgr;
295
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000296 // When outputting a function stub in the context of some other function, we
297 // save BufferBegin/BufferEnd/CurBufferPtr here.
298 uint8_t *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
299
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000300 // When reattempting to JIT a function after running out of space, we store
301 // the estimated size of the function we're trying to JIT here, so we can
302 // ask the memory manager for at least this much space. When we
303 // successfully emit the function, we reset this back to zero.
304 uintptr_t SizeEstimate;
305
306 /// Relocations - These are the relocations that the function needs, as
307 /// emitted.
308 std::vector<MachineRelocation> Relocations;
Eric Christopher116664a2009-11-12 03:12:18 +0000309
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000310 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
311 /// It is filled in by the StartMachineBasicBlock callback and queried by
312 /// the getMachineBasicBlockAddress callback.
313 std::vector<uintptr_t> MBBLocations;
314
315 /// ConstantPool - The constant pool for the current function.
316 ///
317 MachineConstantPool *ConstantPool;
318
319 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
320 ///
321 void *ConstantPoolBase;
322
323 /// ConstPoolAddresses - Addresses of individual constant pool entries.
324 ///
325 SmallVector<uintptr_t, 8> ConstPoolAddresses;
326
327 /// JumpTable - The jump tables for the current function.
328 ///
329 MachineJumpTableInfo *JumpTable;
Eric Christopher116664a2009-11-12 03:12:18 +0000330
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000331 /// JumpTableBase - A pointer to the first entry in the jump table.
332 ///
333 void *JumpTableBase;
334
335 /// Resolver - This contains info about the currently resolved functions.
336 JITResolver Resolver;
337
338 /// DE - The dwarf emitter for the jit.
339 OwningPtr<JITDwarfEmitter> DE;
340
341 /// DR - The debug registerer for the jit.
342 OwningPtr<JITDebugRegisterer> DR;
343
Eric Christopher116664a2009-11-12 03:12:18 +0000344 /// LabelLocations - This vector is a mapping from Label ID's to their
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000345 /// address.
346 std::vector<uintptr_t> LabelLocations;
347
348 /// MMI - Machine module info for exception informations
349 MachineModuleInfo* MMI;
350
Eric Christopher116664a2009-11-12 03:12:18 +0000351 // CurFn - The llvm function being emitted. Only valid during
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000352 // finishFunction().
353 const Function *CurFn;
354
355 /// Information about emitted code, which is passed to the
356 /// JITEventListeners. This is reset in startFunction and used in
357 /// finishFunction.
358 JITEvent_EmittedFunctionDetails EmissionDetails;
359
360 struct EmittedCode {
361 void *FunctionBody; // Beginning of the function's allocation.
362 void *Code; // The address the function's code actually starts at.
363 void *ExceptionTable;
364 EmittedCode() : FunctionBody(0), Code(0), ExceptionTable(0) {}
365 };
366 struct EmittedFunctionConfig : public ValueMapConfig<const Function*> {
367 typedef JITEmitter *ExtraData;
368 static void onDelete(JITEmitter *, const Function*);
369 static void onRAUW(JITEmitter *, const Function*, const Function*);
370 };
371 ValueMap<const Function *, EmittedCode,
372 EmittedFunctionConfig> EmittedFunctions;
373
374 // CurFnStubUses - For a given Function, a vector of stubs that it
375 // references. This facilitates the JIT detecting that a stub is no
376 // longer used, so that it may be deallocated.
377 DenseMap<AssertingVH<const Function>, SmallVector<void*, 1> > CurFnStubUses;
378
379 // StubFnRefs - For a given pointer to a stub, a set of Functions which
380 // reference the stub. When the count of a stub's references drops to zero,
381 // the stub is unused.
382 DenseMap<void *, SmallPtrSet<const Function*, 1> > StubFnRefs;
Eric Christopher116664a2009-11-12 03:12:18 +0000383
Devang Patel6b61f582010-01-16 06:09:35 +0000384 DILocation PrevDLT;
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000385
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000386 /// Instance of the JIT
387 JIT *TheJIT;
388
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000389 public:
390 JITEmitter(JIT &jit, JITMemoryManager *JMM, TargetMachine &TM)
391 : SizeEstimate(0), Resolver(jit, *this), MMI(0), CurFn(0),
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000392 EmittedFunctions(this), PrevDLT(NULL), TheJIT(&jit) {
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000393 MemMgr = JMM ? JMM : JITMemoryManager::CreateDefaultMemManager();
394 if (jit.getJITInfo().needsGOT()) {
395 MemMgr->AllocateGOT();
David Greenec9ec9932010-01-05 01:23:36 +0000396 DEBUG(dbgs() << "JIT is managing a GOT\n");
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000397 }
398
399 if (DwarfExceptionHandling || JITEmitDebugInfo) {
400 DE.reset(new JITDwarfEmitter(jit));
401 }
402 if (JITEmitDebugInfo) {
403 DR.reset(new JITDebugRegisterer(TM));
404 }
405 }
Eric Christopher116664a2009-11-12 03:12:18 +0000406 ~JITEmitter() {
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000407 delete MemMgr;
408 }
409
410 /// classof - Methods for support type inquiry through isa, cast, and
411 /// dyn_cast:
412 ///
413 static inline bool classof(const JITEmitter*) { return true; }
414 static inline bool classof(const MachineCodeEmitter*) { return true; }
Eric Christopher116664a2009-11-12 03:12:18 +0000415
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000416 JITResolver &getJITResolver() { return Resolver; }
417
418 virtual void startFunction(MachineFunction &F);
419 virtual bool finishFunction(MachineFunction &F);
Eric Christopher116664a2009-11-12 03:12:18 +0000420
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000421 void emitConstantPool(MachineConstantPool *MCP);
422 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
423 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Eric Christopher116664a2009-11-12 03:12:18 +0000424
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000425 void startGVStub(const GlobalValue* GV,
426 unsigned StubSize, unsigned Alignment = 1);
427 void startGVStub(void *Buffer, unsigned StubSize);
428 void finishGVStub();
429 virtual void *allocIndirectGV(const GlobalValue *GV,
430 const uint8_t *Buffer, size_t Size,
431 unsigned Alignment);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000432
433 /// allocateSpace - Reserves space in the current block if any, or
434 /// allocate a new one of the given size.
435 virtual void *allocateSpace(uintptr_t Size, unsigned Alignment);
436
437 /// allocateGlobal - Allocate memory for a global. Unlike allocateSpace,
438 /// this method does not allocate memory in the current output buffer,
439 /// because a global may live longer than the current function.
440 virtual void *allocateGlobal(uintptr_t Size, unsigned Alignment);
441
442 virtual void addRelocation(const MachineRelocation &MR) {
443 Relocations.push_back(MR);
444 }
Eric Christopher116664a2009-11-12 03:12:18 +0000445
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000446 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
447 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
448 MBBLocations.resize((MBB->getNumber()+1)*2);
449 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
David Greenec9ec9932010-01-05 01:23:36 +0000450 DEBUG(dbgs() << "JIT: Emitting BB" << MBB->getNumber() << " at ["
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000451 << (void*) getCurrentPCValue() << "]\n");
452 }
453
454 virtual uintptr_t getConstantPoolEntryAddress(unsigned Entry) const;
455 virtual uintptr_t getJumpTableEntryAddress(unsigned Entry) const;
456
457 virtual uintptr_t getMachineBasicBlockAddress(MachineBasicBlock *MBB) const {
Eric Christopher116664a2009-11-12 03:12:18 +0000458 assert(MBBLocations.size() > (unsigned)MBB->getNumber() &&
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000459 MBBLocations[MBB->getNumber()] && "MBB not emitted!");
460 return MBBLocations[MBB->getNumber()];
461 }
462
463 /// retryWithMoreMemory - Log a retry and deallocate all memory for the
464 /// given function. Increase the minimum allocation size so that we get
465 /// more memory next time.
466 void retryWithMoreMemory(MachineFunction &F);
467
468 /// deallocateMemForFunction - Deallocate all memory for the specified
469 /// function body.
470 void deallocateMemForFunction(const Function *F);
471
472 /// AddStubToCurrentFunction - Mark the current function being JIT'd as
473 /// using the stub at the specified address. Allows
474 /// deallocateMemForFunction to also remove stubs no longer referenced.
475 void AddStubToCurrentFunction(void *Stub);
Eric Christopher116664a2009-11-12 03:12:18 +0000476
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000477 virtual void processDebugLoc(DebugLoc DL, bool BeforePrintingInsn);
478
479 virtual void emitLabel(uint64_t LabelID) {
480 if (LabelLocations.size() <= LabelID)
481 LabelLocations.resize((LabelID+1)*2);
482 LabelLocations[LabelID] = getCurrentPCValue();
483 }
484
485 virtual uintptr_t getLabelAddress(uint64_t LabelID) const {
Eric Christopher116664a2009-11-12 03:12:18 +0000486 assert(LabelLocations.size() > (unsigned)LabelID &&
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000487 LabelLocations[LabelID] && "Label not emitted!");
488 return LabelLocations[LabelID];
489 }
Eric Christopher116664a2009-11-12 03:12:18 +0000490
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000491 virtual void setModuleInfo(MachineModuleInfo* Info) {
492 MMI = Info;
493 if (DE.get()) DE->setModuleInfo(Info);
494 }
495
496 void setMemoryExecutable() {
497 MemMgr->setMemoryExecutable();
498 }
Eric Christopher116664a2009-11-12 03:12:18 +0000499
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000500 JITMemoryManager *getMemMgr() const { return MemMgr; }
501
502 private:
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000503 void *getPointerToGlobal(GlobalValue *GV, void *Reference,
504 bool MayNeedFarStub);
505 void *getPointerToGVIndirectSym(GlobalValue *V, void *Reference);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000506 unsigned addSizeOfGlobal(const GlobalVariable *GV, unsigned Size);
Jeffrey Yasskine57898c2010-03-04 06:50:01 +0000507 unsigned addSizeOfGlobalsInConstantVal(
508 const Constant *C, unsigned Size,
509 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
510 SmallVectorImpl<const GlobalVariable*> &Worklist);
511 unsigned addSizeOfGlobalsInInitializer(
512 const Constant *Init, unsigned Size,
513 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
514 SmallVectorImpl<const GlobalVariable*> &Worklist);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000515 unsigned GetSizeOfGlobalsInBytes(MachineFunction &MF);
516 };
Chris Lattner54266522004-11-20 23:57:07 +0000517}
518
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000519void CallSiteValueMapConfig::onDelete(JITResolverState *JRS, Function *F) {
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000520 JRS->EraseAllCallSitesForPrelocked(F);
521}
522
523Function *JITResolverState::EraseStub(const MutexGuard &locked, void *Stub) {
524 CallSiteToFunctionMapTy::iterator C2F_I =
525 CallSiteToFunctionMap.find(Stub);
526 if (C2F_I == CallSiteToFunctionMap.end()) {
527 // Not a stub.
528 return NULL;
529 }
530
531 StubToResolverMap->UnregisterStubResolver(Stub);
532
533 Function *const F = C2F_I->second;
534#ifndef NDEBUG
535 void *RealStub = FunctionToLazyStubMap.lookup(F);
536 assert(RealStub == Stub &&
537 "Call-site that wasn't a stub passed in to EraseStub");
538#endif
539 FunctionToLazyStubMap.erase(F);
540 CallSiteToFunctionMap.erase(C2F_I);
541
542 // Remove the stub from the function->call-sites map, and remove the whole
543 // entry from the map if that was the last call site.
544 FunctionToCallSitesMapTy::iterator F2C_I = FunctionToCallSitesMap.find(F);
545 assert(F2C_I != FunctionToCallSitesMap.end() &&
546 "FunctionToCallSitesMap broken");
547 bool Erased = F2C_I->second.erase(Stub);
548 (void)Erased;
549 assert(Erased && "FunctionToCallSitesMap broken");
550 if (F2C_I->second.empty())
551 FunctionToCallSitesMap.erase(F2C_I);
552
553 return F;
554}
555
556void JITResolverState::EraseAllCallSitesForPrelocked(Function *F) {
557 FunctionToCallSitesMapTy::iterator F2C = FunctionToCallSitesMap.find(F);
558 if (F2C == FunctionToCallSitesMap.end())
559 return;
560 StubToResolverMapTy &S2RMap = *StubToResolverMap;
561 for (SmallPtrSet<void*, 1>::const_iterator I = F2C->second.begin(),
562 E = F2C->second.end(); I != E; ++I) {
563 S2RMap.UnregisterStubResolver(*I);
564 bool Erased = CallSiteToFunctionMap.erase(*I);
565 (void)Erased;
566 assert(Erased && "Missing call site->function mapping");
567 }
568 FunctionToCallSitesMap.erase(F2C);
569}
570
571void JITResolverState::EraseAllCallSitesPrelocked() {
572 StubToResolverMapTy &S2RMap = *StubToResolverMap;
573 for (CallSiteToFunctionMapTy::const_iterator
574 I = CallSiteToFunctionMap.begin(),
575 E = CallSiteToFunctionMap.end(); I != E; ++I) {
576 S2RMap.UnregisterStubResolver(I->first);
577 }
578 CallSiteToFunctionMap.clear();
579 FunctionToCallSitesMap.clear();
580}
581
582JITResolver::~JITResolver() {
583 // No need to lock because we're in the destructor, and state isn't shared.
584 state.EraseAllCallSitesPrelocked();
585 assert(!StubToResolverMap->ResolverHasStubs(this) &&
586 "Resolver destroyed with stubs still alive.");
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000587}
588
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000589/// getLazyFunctionStubIfAvailable - This returns a pointer to a function stub
Evan Cheng704bff92008-11-13 21:50:50 +0000590/// if it has already been created.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000591void *JITResolver::getLazyFunctionStubIfAvailable(Function *F) {
Evan Cheng704bff92008-11-13 21:50:50 +0000592 MutexGuard locked(TheJIT->lock);
593
594 // If we already have a stub for this function, recycle it.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000595 return state.getFunctionToLazyStubMap(locked).lookup(F);
Evan Cheng704bff92008-11-13 21:50:50 +0000596}
597
Chris Lattner54266522004-11-20 23:57:07 +0000598/// getFunctionStub - This returns a pointer to a function stub, creating
599/// one on demand as needed.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000600void *JITResolver::getLazyFunctionStub(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000601 MutexGuard locked(TheJIT->lock);
602
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000603 // If we already have a lazy stub for this function, recycle it.
604 void *&Stub = state.getFunctionToLazyStubMap(locked)[F];
Chris Lattner54266522004-11-20 23:57:07 +0000605 if (Stub) return Stub;
606
Jeffrey Yasskindc857242009-10-27 20:30:28 +0000607 // Call the lazy resolver function if we are JIT'ing lazily. Otherwise we
608 // must resolve the symbol now.
609 void *Actual = TheJIT->isCompilingLazily()
610 ? (void *)(intptr_t)LazyResolverFn : (void *)0;
611
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000612 // If this is an external declaration, attempt to resolve the address now
613 // to place in the stub.
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +0000614 if (isNonGhostDeclaration(F) || F->hasAvailableExternallyLinkage()) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000615 Actual = TheJIT->getPointerToFunction(F);
Misha Brukmanf976c852005-04-21 22:55:34 +0000616
Dan Gohman69f93782009-01-05 05:32:42 +0000617 // If we resolved the symbol to a null address (eg. a weak external)
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +0000618 // don't emit a stub. Return a null pointer to the application.
619 if (!Actual) return 0;
Dan Gohman69f93782009-01-05 05:32:42 +0000620 }
621
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000622 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000623 JE.startGVStub(F, SL.Size, SL.Alignment);
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000624 // Codegen a new stub, calling the lazy resolver or the actual address of the
625 // external function, if it was resolved.
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000626 Stub = TheJIT->getJITInfo().emitFunctionStub(F, Actual, JE);
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000627 JE.finishGVStub();
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000628
Chris Lattner870286a2006-06-01 17:29:22 +0000629 if (Actual != (void*)(intptr_t)LazyResolverFn) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000630 // If we are getting the stub for an external function, we really want the
631 // address of the stub in the GlobalAddressMap for the JIT, not the address
632 // of the external function.
633 TheJIT->updateGlobalMapping(F, Stub);
634 }
Chris Lattner54266522004-11-20 23:57:07 +0000635
David Greenec9ec9932010-01-05 01:23:36 +0000636 DEBUG(dbgs() << "JIT: Lazy stub emitted at [" << Stub << "] for function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000637 << F->getName() << "'\n");
Chris Lattnercb479412004-11-21 03:44:32 +0000638
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000639 if (TheJIT->isCompilingLazily()) {
640 // Register this JITResolver as the one corresponding to this call site so
641 // JITCompilerFn will be able to find it.
642 StubToResolverMap->RegisterStubResolver(Stub, this);
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000643
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000644 // Finally, keep track of the stub-to-Function mapping so that the
645 // JITCompilerFn knows which function to compile!
646 state.AddCallSite(locked, Stub, F);
647 } else if (!Actual) {
648 // If we are JIT'ing non-lazily but need to call a function that does not
649 // exist yet, add it to the JIT's work list so that we can fill in the
650 // stub address later.
651 assert(!isNonGhostDeclaration(F) && !F->hasAvailableExternallyLinkage() &&
652 "'Actual' should have been set above.");
653 TheJIT->addPendingFunction(F);
654 }
Jeffrey Yasskine5f87982009-10-13 21:32:57 +0000655
Chris Lattner54266522004-11-20 23:57:07 +0000656 return Stub;
657}
658
Evan Cheng5594f122008-11-10 01:52:24 +0000659/// getGlobalValueIndirectSym - Return a lazy pointer containing the specified
Evan Chengbe8c03f2008-01-04 10:46:51 +0000660/// GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000661void *JITResolver::getGlobalValueIndirectSym(GlobalValue *GV, void *GVAddress) {
Evan Chengbe8c03f2008-01-04 10:46:51 +0000662 MutexGuard locked(TheJIT->lock);
663
664 // If we already have a stub for this global variable, recycle it.
Evan Cheng5594f122008-11-10 01:52:24 +0000665 void *&IndirectSym = state.getGlobalToIndirectSymMap(locked)[GV];
666 if (IndirectSym) return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000667
Evan Chenge4d783d2008-11-10 23:26:16 +0000668 // Otherwise, codegen a new indirect symbol.
Evan Cheng5594f122008-11-10 01:52:24 +0000669 IndirectSym = TheJIT->getJITInfo().emitGlobalValueIndirectSym(GV, GVAddress,
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000670 JE);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000671
David Greenec9ec9932010-01-05 01:23:36 +0000672 DEBUG(dbgs() << "JIT: Indirect symbol emitted at [" << IndirectSym
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000673 << "] for GV '" << GV->getName() << "'\n");
Evan Chengbe8c03f2008-01-04 10:46:51 +0000674
Evan Cheng5594f122008-11-10 01:52:24 +0000675 return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000676}
677
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000678/// getExternalFunctionStub - Return a stub for the function at the
679/// specified address, created lazily on demand.
680void *JITResolver::getExternalFunctionStub(void *FnAddr) {
681 // If we already have a stub for this function, recycle it.
682 void *&Stub = ExternalFnToStubMap[FnAddr];
683 if (Stub) return Stub;
684
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000685 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000686 JE.startGVStub(0, SL.Size, SL.Alignment);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000687 Stub = TheJIT->getJITInfo().emitFunctionStub(0, FnAddr, JE);
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000688 JE.finishGVStub();
Evan Cheng55fc2802006-07-25 20:40:54 +0000689
David Greenec9ec9932010-01-05 01:23:36 +0000690 DEBUG(dbgs() << "JIT: Stub emitted at [" << Stub
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000691 << "] for external function at '" << FnAddr << "'\n");
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000692 return Stub;
693}
694
Andrew Lenharth6a974612005-07-28 12:44:13 +0000695unsigned JITResolver::getGOTIndexForAddr(void* addr) {
696 unsigned idx = revGOTMap[addr];
697 if (!idx) {
698 idx = ++nextGOTIndex;
699 revGOTMap[addr] = idx;
David Greenec9ec9932010-01-05 01:23:36 +0000700 DEBUG(dbgs() << "JIT: Adding GOT entry " << idx << " for addr ["
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000701 << addr << "]\n");
Andrew Lenharth6a974612005-07-28 12:44:13 +0000702 }
703 return idx;
704}
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000705
Nate Begemand6b7a242009-02-18 08:31:02 +0000706void JITResolver::getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
707 SmallVectorImpl<void*> &Ptrs) {
708 MutexGuard locked(TheJIT->lock);
Eric Christopher116664a2009-11-12 03:12:18 +0000709
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000710 const FunctionToLazyStubMapTy &FM = state.getFunctionToLazyStubMap(locked);
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000711 GlobalToIndirectSymMapTy &GM = state.getGlobalToIndirectSymMap(locked);
Eric Christopher116664a2009-11-12 03:12:18 +0000712
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000713 for (FunctionToLazyStubMapTy::const_iterator i = FM.begin(), e = FM.end();
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000714 i != e; ++i){
Nate Begemand6b7a242009-02-18 08:31:02 +0000715 Function *F = i->first;
716 if (F->isDeclaration() && F->hasExternalLinkage()) {
717 GVs.push_back(i->first);
718 Ptrs.push_back(i->second);
719 }
720 }
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000721 for (GlobalToIndirectSymMapTy::iterator i = GM.begin(), e = GM.end();
Nate Begemand6b7a242009-02-18 08:31:02 +0000722 i != e; ++i) {
723 GVs.push_back(i->first);
724 Ptrs.push_back(i->second);
725 }
726}
727
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000728GlobalValue *JITResolver::invalidateStub(void *Stub) {
729 MutexGuard locked(TheJIT->lock);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000730
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000731 // Remove the stub from the StubToResolverMap.
732 StubToResolverMap->UnregisterStubResolver(Stub);
733
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000734 GlobalToIndirectSymMapTy &GM = state.getGlobalToIndirectSymMap(locked);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000735
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000736 // Look up the cheap way first, to see if it's a function stub we are
737 // invalidating. If so, remove it from both the forward and reverse maps.
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000738 if (Function *F = state.EraseStub(locked, Stub)) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000739 return F;
740 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000741
Nate Begeman841c6a42009-03-11 07:03:43 +0000742 // Otherwise, it might be an indirect symbol stub. Find it and remove it.
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000743 for (GlobalToIndirectSymMapTy::iterator i = GM.begin(), e = GM.end();
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000744 i != e; ++i) {
745 if (i->second != Stub)
746 continue;
747 GlobalValue *GV = i->first;
748 GM.erase(i);
749 return GV;
750 }
Eric Christopher116664a2009-11-12 03:12:18 +0000751
Nate Begeman841c6a42009-03-11 07:03:43 +0000752 // Lastly, check to see if it's in the ExternalFnToStubMap.
753 for (std::map<void *, void *>::iterator i = ExternalFnToStubMap.begin(),
754 e = ExternalFnToStubMap.end(); i != e; ++i) {
755 if (i->second != Stub)
756 continue;
757 ExternalFnToStubMap.erase(i);
758 break;
759 }
Eric Christopher116664a2009-11-12 03:12:18 +0000760
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000761 return 0;
762}
763
Chris Lattner54266522004-11-20 23:57:07 +0000764/// JITCompilerFn - This function is called when a lazy compilation stub has
765/// been entered. It looks up which function this stub corresponds to, compiles
766/// it if necessary, then returns the resultant function pointer.
767void *JITResolver::JITCompilerFn(void *Stub) {
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000768 JITResolver *JR = StubToResolverMap->getResolverFromStub(Stub);
769 assert(JR && "Unable to find the corresponding JITResolver to the call site");
Eric Christopher116664a2009-11-12 03:12:18 +0000770
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000771 Function* F = 0;
772 void* ActualPtr = 0;
Misha Brukmanf976c852005-04-21 22:55:34 +0000773
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000774 {
775 // Only lock for getting the Function. The call getPointerToFunction made
776 // in this function might trigger function materializing, which requires
777 // JIT lock to be unlocked.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000778 MutexGuard locked(JR->TheJIT->lock);
Reid Spenceree448632005-07-12 15:51:55 +0000779
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000780 // The address given to us for the stub may not be exactly right, it might
781 // be a little bit after the stub. As such, use upper_bound to find it.
782 pair<void*, Function*> I =
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000783 JR->state.LookupFunctionFromCallSite(locked, Stub);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000784 F = I.second;
785 ActualPtr = I.first;
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000786 }
Chris Lattner54266522004-11-20 23:57:07 +0000787
Evan Cheng9da60f92007-06-30 00:10:37 +0000788 // If we have already code generated the function, just return the address.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000789 void *Result = JR->TheJIT->getPointerToGlobalIfAvailable(F);
Eric Christopher116664a2009-11-12 03:12:18 +0000790
Evan Cheng9da60f92007-06-30 00:10:37 +0000791 if (!Result) {
792 // Otherwise we don't have it, do lazy compilation now.
Eric Christopher116664a2009-11-12 03:12:18 +0000793
Evan Cheng9da60f92007-06-30 00:10:37 +0000794 // If lazy compilation is disabled, emit a useful error message and abort.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000795 if (!JR->TheJIT->isCompilingLazily()) {
Torok Edwin7d696d82009-07-11 13:10:19 +0000796 llvm_report_error("LLVM JIT requested to do lazy compilation of function '"
797 + F->getName() + "' when lazy compiles are disabled!");
Evan Cheng9da60f92007-06-30 00:10:37 +0000798 }
Eric Christopher116664a2009-11-12 03:12:18 +0000799
David Greenec9ec9932010-01-05 01:23:36 +0000800 DEBUG(dbgs() << "JIT: Lazily resolving function '" << F->getName()
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000801 << "' In stub ptr = " << Stub << " actual ptr = "
802 << ActualPtr << "\n");
Chris Lattner54266522004-11-20 23:57:07 +0000803
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000804 Result = JR->TheJIT->getPointerToFunction(F);
Evan Cheng9da60f92007-06-30 00:10:37 +0000805 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000806
807 // Reacquire the lock to update the GOT map.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000808 MutexGuard locked(JR->TheJIT->lock);
Chris Lattner54266522004-11-20 23:57:07 +0000809
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000810 // We might like to remove the call site from the CallSiteToFunction map, but
811 // we can't do that! Multiple threads could be stuck, waiting to acquire the
812 // lock above. As soon as the 1st function finishes compiling the function,
813 // the next one will be released, and needs to be able to find the function it
814 // needs to call.
Chris Lattner54266522004-11-20 23:57:07 +0000815
816 // FIXME: We could rewrite all references to this stub if we knew them.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000817
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000818 // What we will do is set the compiled function address to map to the
819 // same GOT entry as the stub so that later clients may update the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000820 // if they see it still using the stub address.
821 // Note: this is done so the Resolver doesn't have to manage GOT memory
822 // Do this without allocating map space if the target isn't using a GOT
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000823 if(JR->revGOTMap.find(Stub) != JR->revGOTMap.end())
824 JR->revGOTMap[Result] = JR->revGOTMap[Stub];
Andrew Lenharth6a974612005-07-28 12:44:13 +0000825
Chris Lattner54266522004-11-20 23:57:07 +0000826 return Result;
827}
Chris Lattner688506d2003-08-14 18:35:27 +0000828
Chris Lattner8ac66c12008-04-04 05:51:42 +0000829//===----------------------------------------------------------------------===//
Chris Lattner166f2262004-11-22 22:00:25 +0000830// JITEmitter code.
Chris Lattner54266522004-11-20 23:57:07 +0000831//
Chris Lattner166f2262004-11-22 22:00:25 +0000832void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000833 bool MayNeedFarStub) {
Nate Begemand6b7a242009-02-18 08:31:02 +0000834 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
Chris Lattner54266522004-11-20 23:57:07 +0000835 return TheJIT->getOrEmitGlobalVariable(GV);
Nate Begemand6b7a242009-02-18 08:31:02 +0000836
Chris Lattner18e04592008-06-25 20:21:35 +0000837 if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
Anton Korobeynikov19e861a2008-09-09 20:05:04 +0000838 return TheJIT->getPointerToGlobal(GA->resolveAliasedGlobal(false));
Chris Lattner54266522004-11-20 23:57:07 +0000839
840 // If we have already compiled the function, return a pointer to its body.
841 Function *F = cast<Function>(V);
Eric Christopher116664a2009-11-12 03:12:18 +0000842
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000843 void *FnStub = Resolver.getLazyFunctionStubIfAvailable(F);
Eric Christopher116664a2009-11-12 03:12:18 +0000844 if (FnStub) {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000845 // Return the function stub if it's already created. We do this first so
846 // that we're returning the same address for the function as any previous
847 // call. TODO: Yes, this is wrong. The lazy stub isn't guaranteed to be
848 // close enough to call.
Eric Christopher116664a2009-11-12 03:12:18 +0000849 AddStubToCurrentFunction(FnStub);
850 return FnStub;
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000851 }
Eric Christopher116664a2009-11-12 03:12:18 +0000852
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000853 // If we know the target can handle arbitrary-distance calls, try to
854 // return a direct pointer.
855 if (!MayNeedFarStub) {
856 // If we have code, go ahead and return that.
857 void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
858 if (ResultPtr) return ResultPtr;
Chris Lattner54266522004-11-20 23:57:07 +0000859
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000860 // If this is an external function pointer, we can force the JIT to
861 // 'compile' it, which really just adds it to the map.
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +0000862 if (isNonGhostDeclaration(F) || F->hasAvailableExternallyLinkage())
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000863 return TheJIT->getPointerToFunction(F);
864 }
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000865
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000866 // Otherwise, we may need a to emit a stub, and, conservatively, we
867 // always do so.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000868 void *StubAddr = Resolver.getLazyFunctionStub(F);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000869
870 // Add the stub to the current function's list of referenced stubs, so we can
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000871 // deallocate them if the current function is ever freed. It's possible to
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000872 // return null from getLazyFunctionStub in the case of a weak extern that
873 // fails to resolve.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000874 if (StubAddr)
875 AddStubToCurrentFunction(StubAddr);
876
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000877 return StubAddr;
Chris Lattner54266522004-11-20 23:57:07 +0000878}
879
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000880void *JITEmitter::getPointerToGVIndirectSym(GlobalValue *V, void *Reference) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000881 // Make sure GV is emitted first, and create a stub containing the fully
882 // resolved address.
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000883 void *GVAddress = getPointerToGlobal(V, Reference, false);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000884 void *StubAddr = Resolver.getGlobalValueIndirectSym(V, GVAddress);
Eric Christopher116664a2009-11-12 03:12:18 +0000885
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000886 // Add the stub to the current function's list of referenced stubs, so we can
887 // deallocate them if the current function is ever freed.
888 AddStubToCurrentFunction(StubAddr);
Eric Christopher116664a2009-11-12 03:12:18 +0000889
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000890 return StubAddr;
891}
892
893void JITEmitter::AddStubToCurrentFunction(void *StubAddr) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000894 assert(CurFn && "Stub added to current function, but current function is 0!");
Jeffrey Yasskine5f87982009-10-13 21:32:57 +0000895
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000896 SmallVectorImpl<void*> &StubsUsed = CurFnStubUses[CurFn];
897 StubsUsed.push_back(StubAddr);
898
899 SmallPtrSet<const Function *, 1> &FnRefs = StubFnRefs[StubAddr];
900 FnRefs.insert(CurFn);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000901}
902
Devang Patel02c04232009-10-06 03:04:58 +0000903void JITEmitter::processDebugLoc(DebugLoc DL, bool BeforePrintingInsn) {
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000904 if (!DL.isUnknown()) {
Devang Patel6b61f582010-01-16 06:09:35 +0000905 DILocation CurDLT = EmissionDetails.MF->getDILocation(DL);
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000906
Devang Patel02c04232009-10-06 03:04:58 +0000907 if (BeforePrintingInsn) {
Devang Patel6b61f582010-01-16 06:09:35 +0000908 if (CurDLT.getScope().getNode() != 0
909 && PrevDLT.getNode() != CurDLT.getNode()) {
Devang Patel02c04232009-10-06 03:04:58 +0000910 JITEvent_EmittedFunctionDetails::LineStart NextLine;
911 NextLine.Address = getCurrentPCValue();
912 NextLine.Loc = DL;
913 EmissionDetails.LineStarts.push_back(NextLine);
914 }
Eric Christopher116664a2009-11-12 03:12:18 +0000915
Devang Patel02c04232009-10-06 03:04:58 +0000916 PrevDLT = CurDLT;
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000917 }
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000918 }
919}
920
Evan Cheng1606e8e2009-03-13 07:51:59 +0000921static unsigned GetConstantPoolSizeInBytes(MachineConstantPool *MCP,
922 const TargetData *TD) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000923 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
924 if (Constants.empty()) return 0;
925
Evan Cheng1606e8e2009-03-13 07:51:59 +0000926 unsigned Size = 0;
927 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
928 MachineConstantPoolEntry CPE = Constants[i];
929 unsigned AlignMask = CPE.getAlignment() - 1;
930 Size = (Size + AlignMask) & ~AlignMask;
931 const Type *Ty = CPE.getType();
Duncan Sands777d2302009-05-09 07:06:46 +0000932 Size += TD->getTypeAllocSize(Ty);
Evan Cheng1606e8e2009-03-13 07:51:59 +0000933 }
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000934 return Size;
935}
936
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000937static unsigned GetJumpTableSizeInBytes(MachineJumpTableInfo *MJTI, JIT *jit) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000938 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
939 if (JT.empty()) return 0;
Eric Christopher116664a2009-11-12 03:12:18 +0000940
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000941 unsigned NumEntries = 0;
942 for (unsigned i = 0, e = JT.size(); i != e; ++i)
943 NumEntries += JT[i].MBBs.size();
944
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000945 return NumEntries * MJTI->getEntrySize(*jit->getTargetData());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000946}
947
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000948static uintptr_t RoundUpToAlign(uintptr_t Size, unsigned Alignment) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000949 if (Alignment == 0) Alignment = 1;
Eric Christopher116664a2009-11-12 03:12:18 +0000950 // Since we do not know where the buffer will be allocated, be pessimistic.
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000951 return Size + Alignment;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000952}
Evan Chengbe8c03f2008-01-04 10:46:51 +0000953
Dale Johannesendd947ea2008-08-07 01:30:15 +0000954/// addSizeOfGlobal - add the size of the global (plus any alignment padding)
955/// into the running total Size.
956
957unsigned JITEmitter::addSizeOfGlobal(const GlobalVariable *GV, unsigned Size) {
958 const Type *ElTy = GV->getType()->getElementType();
Duncan Sands777d2302009-05-09 07:06:46 +0000959 size_t GVSize = (size_t)TheJIT->getTargetData()->getTypeAllocSize(ElTy);
Eric Christopher116664a2009-11-12 03:12:18 +0000960 size_t GVAlign =
Dale Johannesendd947ea2008-08-07 01:30:15 +0000961 (size_t)TheJIT->getTargetData()->getPreferredAlignment(GV);
David Greenec9ec9932010-01-05 01:23:36 +0000962 DEBUG(dbgs() << "JIT: Adding in size " << GVSize << " alignment " << GVAlign);
Dale Johannesendd947ea2008-08-07 01:30:15 +0000963 DEBUG(GV->dump());
964 // Assume code section ends with worst possible alignment, so first
965 // variable needs maximal padding.
966 if (Size==0)
967 Size = 1;
968 Size = ((Size+GVAlign-1)/GVAlign)*GVAlign;
969 Size += GVSize;
970 return Size;
971}
972
973/// addSizeOfGlobalsInConstantVal - find any globals that we haven't seen yet
Jeffrey Yasskine57898c2010-03-04 06:50:01 +0000974/// but are referenced from the constant; put them in SeenGlobals and the
975/// Worklist, and add their size into the running total Size.
Dale Johannesendd947ea2008-08-07 01:30:15 +0000976
Jeffrey Yasskine57898c2010-03-04 06:50:01 +0000977unsigned JITEmitter::addSizeOfGlobalsInConstantVal(
978 const Constant *C,
979 unsigned Size,
980 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
981 SmallVectorImpl<const GlobalVariable*> &Worklist) {
Dale Johannesendd947ea2008-08-07 01:30:15 +0000982 // If its undefined, return the garbage.
983 if (isa<UndefValue>(C))
984 return Size;
985
986 // If the value is a ConstantExpr
987 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
988 Constant *Op0 = CE->getOperand(0);
989 switch (CE->getOpcode()) {
990 case Instruction::GetElementPtr:
991 case Instruction::Trunc:
992 case Instruction::ZExt:
993 case Instruction::SExt:
994 case Instruction::FPTrunc:
995 case Instruction::FPExt:
996 case Instruction::UIToFP:
997 case Instruction::SIToFP:
998 case Instruction::FPToUI:
999 case Instruction::FPToSI:
1000 case Instruction::PtrToInt:
1001 case Instruction::IntToPtr:
1002 case Instruction::BitCast: {
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001003 Size = addSizeOfGlobalsInConstantVal(Op0, Size, SeenGlobals, Worklist);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001004 break;
1005 }
1006 case Instruction::Add:
Dan Gohmanae3a0be2009-06-04 22:49:04 +00001007 case Instruction::FAdd:
Dale Johannesendd947ea2008-08-07 01:30:15 +00001008 case Instruction::Sub:
Dan Gohmanae3a0be2009-06-04 22:49:04 +00001009 case Instruction::FSub:
Dale Johannesendd947ea2008-08-07 01:30:15 +00001010 case Instruction::Mul:
Dan Gohmanae3a0be2009-06-04 22:49:04 +00001011 case Instruction::FMul:
Dale Johannesendd947ea2008-08-07 01:30:15 +00001012 case Instruction::UDiv:
1013 case Instruction::SDiv:
1014 case Instruction::URem:
1015 case Instruction::SRem:
1016 case Instruction::And:
1017 case Instruction::Or:
1018 case Instruction::Xor: {
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001019 Size = addSizeOfGlobalsInConstantVal(Op0, Size, SeenGlobals, Worklist);
1020 Size = addSizeOfGlobalsInConstantVal(CE->getOperand(1), Size,
1021 SeenGlobals, Worklist);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001022 break;
1023 }
1024 default: {
Torok Edwin7d696d82009-07-11 13:10:19 +00001025 std::string msg;
1026 raw_string_ostream Msg(msg);
1027 Msg << "ConstantExpr not handled: " << *CE;
1028 llvm_report_error(Msg.str());
Dale Johannesendd947ea2008-08-07 01:30:15 +00001029 }
1030 }
1031 }
1032
1033 if (C->getType()->getTypeID() == Type::PointerTyID)
1034 if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(C))
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001035 if (SeenGlobals.insert(GV)) {
1036 Worklist.push_back(GV);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001037 Size = addSizeOfGlobal(GV, Size);
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001038 }
Dale Johannesendd947ea2008-08-07 01:30:15 +00001039
1040 return Size;
1041}
1042
1043/// addSizeOfGLobalsInInitializer - handle any globals that we haven't seen yet
1044/// but are referenced from the given initializer.
1045
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001046unsigned JITEmitter::addSizeOfGlobalsInInitializer(
1047 const Constant *Init,
1048 unsigned Size,
1049 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
1050 SmallVectorImpl<const GlobalVariable*> &Worklist) {
Dale Johannesendd947ea2008-08-07 01:30:15 +00001051 if (!isa<UndefValue>(Init) &&
1052 !isa<ConstantVector>(Init) &&
1053 !isa<ConstantAggregateZero>(Init) &&
1054 !isa<ConstantArray>(Init) &&
1055 !isa<ConstantStruct>(Init) &&
1056 Init->getType()->isFirstClassType())
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001057 Size = addSizeOfGlobalsInConstantVal(Init, Size, SeenGlobals, Worklist);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001058 return Size;
1059}
1060
1061/// GetSizeOfGlobalsInBytes - walk the code for the function, looking for
1062/// globals; then walk the initializers of those globals looking for more.
1063/// If their size has not been considered yet, add it into the running total
1064/// Size.
1065
1066unsigned JITEmitter::GetSizeOfGlobalsInBytes(MachineFunction &MF) {
1067 unsigned Size = 0;
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001068 SmallPtrSet<const GlobalVariable*, 8> SeenGlobals;
Dale Johannesendd947ea2008-08-07 01:30:15 +00001069
Eric Christopher116664a2009-11-12 03:12:18 +00001070 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Dale Johannesendd947ea2008-08-07 01:30:15 +00001071 MBB != E; ++MBB) {
1072 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
1073 I != E; ++I) {
1074 const TargetInstrDesc &Desc = I->getDesc();
1075 const MachineInstr &MI = *I;
1076 unsigned NumOps = Desc.getNumOperands();
1077 for (unsigned CurOp = 0; CurOp < NumOps; CurOp++) {
1078 const MachineOperand &MO = MI.getOperand(CurOp);
Dan Gohmand735b802008-10-03 15:45:36 +00001079 if (MO.isGlobal()) {
Dale Johannesendd947ea2008-08-07 01:30:15 +00001080 GlobalValue* V = MO.getGlobal();
1081 const GlobalVariable *GV = dyn_cast<const GlobalVariable>(V);
1082 if (!GV)
1083 continue;
1084 // If seen in previous function, it will have an entry here.
1085 if (TheJIT->getPointerToGlobalIfAvailable(GV))
1086 continue;
1087 // If seen earlier in this function, it will have an entry here.
1088 // FIXME: it should be possible to combine these tables, by
1089 // assuming the addresses of the new globals in this module
1090 // start at 0 (or something) and adjusting them after codegen
1091 // complete. Another possibility is to grab a marker bit in GV.
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001092 if (SeenGlobals.insert(GV))
Dale Johannesendd947ea2008-08-07 01:30:15 +00001093 // A variable as yet unseen. Add in its size.
1094 Size = addSizeOfGlobal(GV, Size);
1095 }
1096 }
1097 }
1098 }
David Greenec9ec9932010-01-05 01:23:36 +00001099 DEBUG(dbgs() << "JIT: About to look through initializers\n");
Dale Johannesendd947ea2008-08-07 01:30:15 +00001100 // Look for more globals that are referenced only from initializers.
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001101 SmallVector<const GlobalVariable*, 8> Worklist(
1102 SeenGlobals.begin(), SeenGlobals.end());
1103 while (!Worklist.empty()) {
1104 const GlobalVariable* GV = Worklist.back();
1105 Worklist.pop_back();
Dale Johannesendd947ea2008-08-07 01:30:15 +00001106 if (GV->hasInitializer())
Jeffrey Yasskine57898c2010-03-04 06:50:01 +00001107 Size = addSizeOfGlobalsInInitializer(GV->getInitializer(), Size,
1108 SeenGlobals, Worklist);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001109 }
1110
1111 return Size;
1112}
1113
Chris Lattner166f2262004-11-22 22:00:25 +00001114void JITEmitter::startFunction(MachineFunction &F) {
David Greenec9ec9932010-01-05 01:23:36 +00001115 DEBUG(dbgs() << "JIT: Starting CodeGen of Function "
Daniel Dunbarce63ffb2009-07-25 00:23:56 +00001116 << F.getFunction()->getName() << "\n");
Evan Chengeb5d95a2008-11-06 17:46:04 +00001117
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001118 uintptr_t ActualSize = 0;
Jim Grosbachcce6c292008-10-03 16:17:20 +00001119 // Set the memory writable, if it's not already
1120 MemMgr->setMemoryWritable();
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +00001121 if (MemMgr->NeedsExactSize()) {
David Greenec9ec9932010-01-05 01:23:36 +00001122 DEBUG(dbgs() << "JIT: ExactSize\n");
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001123 const TargetInstrInfo* TII = F.getTarget().getInstrInfo();
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001124 MachineConstantPool *MCP = F.getConstantPool();
Eric Christopher116664a2009-11-12 03:12:18 +00001125
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001126 // Ensure the constant pool/jump table info is at least 4-byte aligned.
Nicolas Geoffray580631a2008-04-20 23:39:44 +00001127 ActualSize = RoundUpToAlign(ActualSize, 16);
Eric Christopher116664a2009-11-12 03:12:18 +00001128
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001129 // Add the alignment of the constant pool
Evan Cheng1606e8e2009-03-13 07:51:59 +00001130 ActualSize = RoundUpToAlign(ActualSize, MCP->getConstantPoolAlignment());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001131
1132 // Add the constant pool size
Evan Cheng1606e8e2009-03-13 07:51:59 +00001133 ActualSize += GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001134
Chris Lattner071c62f2010-01-25 23:26:13 +00001135 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo()) {
1136 // Add the aligment of the jump table info
1137 ActualSize = RoundUpToAlign(ActualSize,
1138 MJTI->getEntryAlignment(*TheJIT->getTargetData()));
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001139
Chris Lattner071c62f2010-01-25 23:26:13 +00001140 // Add the jump table size
Jeffrey Yasskin40966a72010-02-11 01:07:39 +00001141 ActualSize += GetJumpTableSizeInBytes(MJTI, TheJIT);
Chris Lattner071c62f2010-01-25 23:26:13 +00001142 }
Eric Christopher116664a2009-11-12 03:12:18 +00001143
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001144 // Add the alignment for the function
Nicolas Geoffray580631a2008-04-20 23:39:44 +00001145 ActualSize = RoundUpToAlign(ActualSize,
1146 std::max(F.getFunction()->getAlignment(), 8U));
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001147
1148 // Add the function size
1149 ActualSize += TII->GetFunctionSizeInBytes(F);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001150
David Greenec9ec9932010-01-05 01:23:36 +00001151 DEBUG(dbgs() << "JIT: ActualSize before globals " << ActualSize << "\n");
Dale Johannesendd947ea2008-08-07 01:30:15 +00001152 // Add the size of the globals that will be allocated after this function.
1153 // These are all the ones referenced from this function that were not
1154 // previously allocated.
1155 ActualSize += GetSizeOfGlobalsInBytes(F);
David Greenec9ec9932010-01-05 01:23:36 +00001156 DEBUG(dbgs() << "JIT: ActualSize after globals " << ActualSize << "\n");
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001157 } else if (SizeEstimate > 0) {
1158 // SizeEstimate will be non-zero on reallocation attempts.
1159 ActualSize = SizeEstimate;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001160 }
1161
Chris Lattner8907b4b2007-12-05 23:39:57 +00001162 BufferBegin = CurBufferPtr = MemMgr->startFunctionBody(F.getFunction(),
1163 ActualSize);
Chris Lattnere993cc22006-05-11 23:08:08 +00001164 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001165 EmittedFunctions[F.getFunction()].FunctionBody = BufferBegin;
1166
Evan Cheng9a1e9b92006-11-16 20:04:54 +00001167 // Ensure the constant pool/jump table info is at least 4-byte aligned.
1168 emitAlignment(16);
1169
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001170 emitConstantPool(F.getConstantPool());
Chris Lattner071c62f2010-01-25 23:26:13 +00001171 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo())
1172 initJumpTableInfo(MJTI);
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001173
1174 // About to start emitting the machine code for the function.
Chris Lattner0eb4d6b2006-05-03 01:03:20 +00001175 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001176 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001177 EmittedFunctions[F.getFunction()].Code = CurBufferPtr;
Evan Cheng55fc2802006-07-25 20:40:54 +00001178
Chris Lattnerb4432f32006-05-03 17:10:41 +00001179 MBBLocations.clear();
Jeffrey Yasskin32360a72009-07-16 21:07:26 +00001180
1181 EmissionDetails.MF = &F;
1182 EmissionDetails.LineStarts.clear();
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001183}
1184
Chris Lattner43b429b2006-05-02 18:27:26 +00001185bool JITEmitter::finishFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +00001186 if (CurBufferPtr == BufferEnd) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001187 // We must call endFunctionBody before retrying, because
1188 // deallocateMemForFunction requires it.
1189 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
1190 retryWithMoreMemory(F);
1191 return true;
Chris Lattnere993cc22006-05-11 23:08:08 +00001192 }
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001193
Chris Lattner071c62f2010-01-25 23:26:13 +00001194 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo())
1195 emitJumpTableInfo(MJTI);
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001196
Chris Lattnera8279532006-06-16 18:09:26 +00001197 // FnStart is the start of the text, not the start of the constant pool and
1198 // other per-function data.
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001199 uint8_t *FnStart =
1200 (uint8_t *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001201
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +00001202 // FnEnd is the end of the function's machine code.
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001203 uint8_t *FnEnd = CurBufferPtr;
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +00001204
Chris Lattner5be478f2004-11-20 03:46:14 +00001205 if (!Relocations.empty()) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001206 CurFn = F.getFunction();
Chris Lattnere884dc22005-07-20 16:29:20 +00001207 NumRelos += Relocations.size();
1208
Chris Lattner5be478f2004-11-20 03:46:14 +00001209 // Resolve the relocations to concrete pointers.
1210 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
1211 MachineRelocation &MR = Relocations[i];
Evan Cheng92006052008-11-03 07:14:02 +00001212 void *ResultPtr = 0;
Evan Chengef5784e2008-10-29 23:54:46 +00001213 if (!MR.letTargetResolve()) {
Evan Chengd7398c92008-11-08 07:37:34 +00001214 if (MR.isExternalSymbol()) {
Dan Gohman69f93782009-01-05 05:32:42 +00001215 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getExternalSymbol(),
1216 false);
David Greenec9ec9932010-01-05 01:23:36 +00001217 DEBUG(dbgs() << "JIT: Map \'" << MR.getExternalSymbol() << "\' to ["
Eric Christopher116664a2009-11-12 03:12:18 +00001218 << ResultPtr << "]\n");
Misha Brukmanf976c852005-04-21 22:55:34 +00001219
Evan Chengef5784e2008-10-29 23:54:46 +00001220 // If the target REALLY wants a stub for this function, emit it now.
Jeffrey Yasskin2d274412009-11-07 08:51:52 +00001221 if (MR.mayNeedFarStub()) {
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +00001222 ResultPtr = Resolver.getExternalFunctionStub(ResultPtr);
Nate Begeman841c6a42009-03-11 07:03:43 +00001223 }
Evan Chengef5784e2008-10-29 23:54:46 +00001224 } else if (MR.isGlobalValue()) {
1225 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
1226 BufferBegin+MR.getMachineCodeOffset(),
Jeffrey Yasskin2d274412009-11-07 08:51:52 +00001227 MR.mayNeedFarStub());
Evan Cheng5594f122008-11-10 01:52:24 +00001228 } else if (MR.isIndirectSymbol()) {
Jeffrey Yasskin2d274412009-11-07 08:51:52 +00001229 ResultPtr = getPointerToGVIndirectSym(
1230 MR.getGlobalValue(), BufferBegin+MR.getMachineCodeOffset());
Evan Chengef5784e2008-10-29 23:54:46 +00001231 } else if (MR.isBasicBlock()) {
1232 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
1233 } else if (MR.isConstantPoolIndex()) {
1234 ResultPtr = (void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
1235 } else {
1236 assert(MR.isJumpTableIndex());
1237 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
1238 }
Jeff Cohen00b168892005-07-27 06:12:32 +00001239
Evan Chengef5784e2008-10-29 23:54:46 +00001240 MR.setResultPointer(ResultPtr);
1241 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +00001242
Andrew Lenharth6a974612005-07-28 12:44:13 +00001243 // if we are managing the GOT and the relocation wants an index,
1244 // give it one
Chris Lattner8907b4b2007-12-05 23:39:57 +00001245 if (MR.isGOTRelative() && MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +00001246 unsigned idx = Resolver.getGOTIndexForAddr(ResultPtr);
Andrew Lenharth6a974612005-07-28 12:44:13 +00001247 MR.setGOTIndex(idx);
Chris Lattner8907b4b2007-12-05 23:39:57 +00001248 if (((void**)MemMgr->getGOTBase())[idx] != ResultPtr) {
David Greenec9ec9932010-01-05 01:23:36 +00001249 DEBUG(dbgs() << "JIT: GOT was out of date for " << ResultPtr
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001250 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
1251 << "\n");
Chris Lattner8907b4b2007-12-05 23:39:57 +00001252 ((void**)MemMgr->getGOTBase())[idx] = ResultPtr;
Andrew Lenharth6a974612005-07-28 12:44:13 +00001253 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +00001254 }
Chris Lattner5be478f2004-11-20 03:46:14 +00001255 }
1256
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001257 CurFn = 0;
Chris Lattner43b429b2006-05-02 18:27:26 +00001258 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Chris Lattner8907b4b2007-12-05 23:39:57 +00001259 Relocations.size(), MemMgr->getGOTBase());
Chris Lattner5be478f2004-11-20 03:46:14 +00001260 }
1261
Chris Lattnerd2d5c762006-05-03 18:55:56 +00001262 // Update the GOT entry for F to point to the new code.
Chris Lattner8907b4b2007-12-05 23:39:57 +00001263 if (MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +00001264 unsigned idx = Resolver.getGOTIndexForAddr((void*)BufferBegin);
Chris Lattner8907b4b2007-12-05 23:39:57 +00001265 if (((void**)MemMgr->getGOTBase())[idx] != (void*)BufferBegin) {
David Greenec9ec9932010-01-05 01:23:36 +00001266 DEBUG(dbgs() << "JIT: GOT was out of date for " << (void*)BufferBegin
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001267 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
1268 << "\n");
Chris Lattner8907b4b2007-12-05 23:39:57 +00001269 ((void**)MemMgr->getGOTBase())[idx] = (void*)BufferBegin;
Andrew Lenharth6a974612005-07-28 12:44:13 +00001270 }
1271 }
1272
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +00001273 // CurBufferPtr may have moved beyond FnEnd, due to memory allocation for
1274 // global variables that were referenced in the relocations.
1275 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
Evan Cheng5788d1a2008-12-10 02:32:19 +00001276
1277 if (CurBufferPtr == BufferEnd) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001278 retryWithMoreMemory(F);
1279 return true;
1280 } else {
1281 // Now that we've succeeded in emitting the function, reset the
1282 // SizeEstimate back down to zero.
1283 SizeEstimate = 0;
Evan Cheng5788d1a2008-12-10 02:32:19 +00001284 }
1285
Nuno Lopescef75272008-10-21 11:42:16 +00001286 BufferBegin = CurBufferPtr = 0;
1287 NumBytes += FnEnd-FnStart;
1288
Evan Cheng55fc2802006-07-25 20:40:54 +00001289 // Invalidate the icache if necessary.
Chris Lattnerbc52cad2008-06-25 17:18:44 +00001290 sys::Memory::InvalidateInstructionCache(FnStart, FnEnd-FnStart);
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +00001291
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +00001292 TheJIT->NotifyFunctionEmitted(*F.getFunction(), FnStart, FnEnd-FnStart,
Jeffrey Yasskin32360a72009-07-16 21:07:26 +00001293 EmissionDetails);
Evan Cheng55fc2802006-07-25 20:40:54 +00001294
David Greenec9ec9932010-01-05 01:23:36 +00001295 DEBUG(dbgs() << "JIT: Finished CodeGen of [" << (void*)FnStart
Daniel Dunbarce63ffb2009-07-25 00:23:56 +00001296 << "] Function: " << F.getFunction()->getName()
1297 << ": " << (FnEnd-FnStart) << " bytes of text, "
1298 << Relocations.size() << " relocations\n");
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +00001299
Chris Lattner5be478f2004-11-20 03:46:14 +00001300 Relocations.clear();
Evan Cheng1606e8e2009-03-13 07:51:59 +00001301 ConstPoolAddresses.clear();
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +00001302
Evan Chengbc4707a2008-09-18 07:54:21 +00001303 // Mark code region readable and executable if it's not so already.
Jim Grosbachcce6c292008-10-03 16:17:20 +00001304 MemMgr->setMemoryExecutable();
Evan Chengbc4707a2008-09-18 07:54:21 +00001305
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001306 DEBUG(
Evan Chenge7c35512008-11-12 08:22:43 +00001307 if (sys::hasDisassembler()) {
David Greenec9ec9932010-01-05 01:23:36 +00001308 dbgs() << "JIT: Disassembled code:\n";
1309 dbgs() << sys::disassembleBuffer(FnStart, FnEnd-FnStart,
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001310 (uintptr_t)FnStart);
Evan Chenge7c35512008-11-12 08:22:43 +00001311 } else {
David Greenec9ec9932010-01-05 01:23:36 +00001312 dbgs() << "JIT: Binary code:\n";
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001313 uint8_t* q = FnStart;
Evan Chenge7c35512008-11-12 08:22:43 +00001314 for (int i = 0; q < FnEnd; q += 4, ++i) {
1315 if (i == 4)
1316 i = 0;
1317 if (i == 0)
David Greenec9ec9932010-01-05 01:23:36 +00001318 dbgs() << "JIT: " << (long)(q - FnStart) << ": ";
Evan Chenge7c35512008-11-12 08:22:43 +00001319 bool Done = false;
1320 for (int j = 3; j >= 0; --j) {
1321 if (q + j >= FnEnd)
1322 Done = true;
1323 else
David Greenec9ec9932010-01-05 01:23:36 +00001324 dbgs() << (unsigned short)q[j];
Evan Chenge7c35512008-11-12 08:22:43 +00001325 }
1326 if (Done)
1327 break;
David Greenec9ec9932010-01-05 01:23:36 +00001328 dbgs() << ' ';
Evan Chenge7c35512008-11-12 08:22:43 +00001329 if (i == 3)
David Greenec9ec9932010-01-05 01:23:36 +00001330 dbgs() << '\n';
Evan Chenga7916f52008-11-05 23:44:08 +00001331 }
David Greenec9ec9932010-01-05 01:23:36 +00001332 dbgs()<< '\n';
Evan Chenga7916f52008-11-05 23:44:08 +00001333 }
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001334 );
1335
Reid Kleckner27632172009-09-20 23:52:43 +00001336 if (DwarfExceptionHandling || JITEmitDebugInfo) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001337 uintptr_t ActualSize = 0;
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001338 SavedBufferBegin = BufferBegin;
1339 SavedBufferEnd = BufferEnd;
1340 SavedCurBufferPtr = CurBufferPtr;
Reid Kleckner27632172009-09-20 23:52:43 +00001341
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +00001342 if (MemMgr->NeedsExactSize()) {
1343 ActualSize = DE->GetDwarfTableSizeInBytes(F, *this, FnStart, FnEnd);
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001344 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001345
1346 BufferBegin = CurBufferPtr = MemMgr->startExceptionTable(F.getFunction(),
1347 ActualSize);
1348 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001349 EmittedFunctions[F.getFunction()].ExceptionTable = BufferBegin;
Reid Kleckner27632172009-09-20 23:52:43 +00001350 uint8_t *EhStart;
1351 uint8_t *FrameRegister = DE->EmitDwarfTable(F, *this, FnStart, FnEnd,
1352 EhStart);
Chris Lattner0fdaa0b2008-03-07 20:05:43 +00001353 MemMgr->endExceptionTable(F.getFunction(), BufferBegin, CurBufferPtr,
1354 FrameRegister);
Reid Kleckner27632172009-09-20 23:52:43 +00001355 uint8_t *EhEnd = CurBufferPtr;
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001356 BufferBegin = SavedBufferBegin;
1357 BufferEnd = SavedBufferEnd;
1358 CurBufferPtr = SavedCurBufferPtr;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001359
Reid Kleckner27632172009-09-20 23:52:43 +00001360 if (DwarfExceptionHandling) {
1361 TheJIT->RegisterTable(FrameRegister);
1362 }
1363
1364 if (JITEmitDebugInfo) {
1365 DebugInfo I;
1366 I.FnStart = FnStart;
1367 I.FnEnd = FnEnd;
1368 I.EhStart = EhStart;
1369 I.EhEnd = EhEnd;
1370 DR->RegisterFunction(F.getFunction(), I);
1371 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001372 }
Evan Cheng252ddfb2008-09-02 08:14:01 +00001373
1374 if (MMI)
1375 MMI->EndFunction();
Eric Christopher116664a2009-11-12 03:12:18 +00001376
Chris Lattner43b429b2006-05-02 18:27:26 +00001377 return false;
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001378}
1379
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001380void JITEmitter::retryWithMoreMemory(MachineFunction &F) {
David Greenec9ec9932010-01-05 01:23:36 +00001381 DEBUG(dbgs() << "JIT: Ran out of space for native code. Reattempting.\n");
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001382 Relocations.clear(); // Clear the old relocations or we'll reapply them.
1383 ConstPoolAddresses.clear();
1384 ++NumRetries;
1385 deallocateMemForFunction(F.getFunction());
1386 // Try again with at least twice as much free space.
1387 SizeEstimate = (uintptr_t)(2 * (BufferEnd - BufferBegin));
1388}
1389
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001390/// deallocateMemForFunction - Deallocate all memory for the specified
1391/// function body. Also drop any references the function has to stubs.
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001392/// May be called while the Function is being destroyed inside ~Value().
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001393void JITEmitter::deallocateMemForFunction(const Function *F) {
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001394 ValueMap<const Function *, EmittedCode, EmittedFunctionConfig>::iterator
1395 Emitted = EmittedFunctions.find(F);
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001396 if (Emitted != EmittedFunctions.end()) {
1397 MemMgr->deallocateFunctionBody(Emitted->second.FunctionBody);
1398 MemMgr->deallocateExceptionTable(Emitted->second.ExceptionTable);
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001399 TheJIT->NotifyFreeingMachineCode(Emitted->second.Code);
1400
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001401 EmittedFunctions.erase(Emitted);
1402 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001403
Reid Kleckner27632172009-09-20 23:52:43 +00001404 // TODO: Do we need to unregister exception handling information from libgcc
1405 // here?
1406
1407 if (JITEmitDebugInfo) {
1408 DR->UnregisterFunction(F);
1409 }
1410
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001411 // If the function did not reference any stubs, return.
1412 if (CurFnStubUses.find(F) == CurFnStubUses.end())
1413 return;
Eric Christopher116664a2009-11-12 03:12:18 +00001414
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001415 // For each referenced stub, erase the reference to this function, and then
1416 // erase the list of referenced stubs.
1417 SmallVectorImpl<void *> &StubList = CurFnStubUses[F];
1418 for (unsigned i = 0, e = StubList.size(); i != e; ++i) {
1419 void *Stub = StubList[i];
Eric Christopher116664a2009-11-12 03:12:18 +00001420
Nate Begeman841c6a42009-03-11 07:03:43 +00001421 // If we already invalidated this stub for this function, continue.
1422 if (StubFnRefs.count(Stub) == 0)
1423 continue;
Eric Christopher116664a2009-11-12 03:12:18 +00001424
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001425 SmallPtrSet<const Function *, 1> &FnRefs = StubFnRefs[Stub];
1426 FnRefs.erase(F);
Eric Christopher116664a2009-11-12 03:12:18 +00001427
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001428 // If this function was the last reference to the stub, invalidate the stub
1429 // in the JITResolver. Were there a memory manager deallocateStub routine,
1430 // we could call that at this point too.
1431 if (FnRefs.empty()) {
David Greenec9ec9932010-01-05 01:23:36 +00001432 DEBUG(dbgs() << "\nJIT: Invalidated Stub at [" << Stub << "]\n");
Nate Begeman841c6a42009-03-11 07:03:43 +00001433 StubFnRefs.erase(Stub);
1434
1435 // Invalidate the stub. If it is a GV stub, update the JIT's global
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +00001436 // mapping for that GV to zero.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +00001437 GlobalValue *GV = Resolver.invalidateStub(Stub);
Nate Begeman841c6a42009-03-11 07:03:43 +00001438 if (GV) {
1439 TheJIT->updateGlobalMapping(GV, 0);
Nate Begeman841c6a42009-03-11 07:03:43 +00001440 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001441 }
1442 }
1443 CurFnStubUses.erase(F);
1444}
1445
1446
Evan Cheng5788d1a2008-12-10 02:32:19 +00001447void* JITEmitter::allocateSpace(uintptr_t Size, unsigned Alignment) {
Nuno Lopescef75272008-10-21 11:42:16 +00001448 if (BufferBegin)
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001449 return JITCodeEmitter::allocateSpace(Size, Alignment);
Nuno Lopescef75272008-10-21 11:42:16 +00001450
1451 // create a new memory block if there is no active one.
1452 // care must be taken so that BufferBegin is invalidated when a
1453 // block is trimmed
1454 BufferBegin = CurBufferPtr = MemMgr->allocateSpace(Size, Alignment);
1455 BufferEnd = BufferBegin+Size;
1456 return CurBufferPtr;
1457}
1458
Jeffrey Yasskin489393d2009-07-08 21:59:57 +00001459void* JITEmitter::allocateGlobal(uintptr_t Size, unsigned Alignment) {
1460 // Delegate this call through the memory manager.
1461 return MemMgr->allocateGlobal(Size, Alignment);
1462}
1463
Chris Lattner166f2262004-11-22 22:00:25 +00001464void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001465 if (TheJIT->getJITInfo().hasCustomConstantPool())
Jim Grosbach8fe95352008-10-30 23:44:39 +00001466 return;
Evan Cheng47c01a02008-11-07 09:02:17 +00001467
Chris Lattnerfa77d432006-02-09 04:22:52 +00001468 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
Chris Lattner2c0a6a12003-11-30 04:23:21 +00001469 if (Constants.empty()) return;
1470
Evan Cheng1606e8e2009-03-13 07:51:59 +00001471 unsigned Size = GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
1472 unsigned Align = MCP->getConstantPoolAlignment();
Evan Cheng97b8c402008-04-12 00:22:01 +00001473 ConstantPoolBase = allocateSpace(Size, Align);
Chris Lattner239862c2006-02-09 04:49:59 +00001474 ConstantPool = MCP;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001475
1476 if (ConstantPoolBase == 0) return; // Buffer overflow.
1477
David Greenec9ec9932010-01-05 01:23:36 +00001478 DEBUG(dbgs() << "JIT: Emitted constant pool at [" << ConstantPoolBase
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001479 << "] (size: " << Size << ", alignment: " << Align << ")\n");
Evan Cheng97b8c402008-04-12 00:22:01 +00001480
Chris Lattner239862c2006-02-09 04:49:59 +00001481 // Initialize the memory for all of the constant pool entries.
Evan Cheng1606e8e2009-03-13 07:51:59 +00001482 unsigned Offset = 0;
Chris Lattner3029f922006-02-09 04:46:04 +00001483 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Evan Cheng1606e8e2009-03-13 07:51:59 +00001484 MachineConstantPoolEntry CPE = Constants[i];
1485 unsigned AlignMask = CPE.getAlignment() - 1;
1486 Offset = (Offset + AlignMask) & ~AlignMask;
1487
1488 uintptr_t CAddr = (uintptr_t)ConstantPoolBase + Offset;
1489 ConstPoolAddresses.push_back(CAddr);
1490 if (CPE.isMachineConstantPoolEntry()) {
Evan Chengcd5731d2006-09-12 20:59:59 +00001491 // FIXME: add support to lower machine constant pool values into bytes!
Torok Edwin7d696d82009-07-11 13:10:19 +00001492 llvm_report_error("Initialize memory with machine specific constant pool"
1493 "entry has not been implemented!");
Evan Chengcd5731d2006-09-12 20:59:59 +00001494 }
Evan Cheng1606e8e2009-03-13 07:51:59 +00001495 TheJIT->InitializeMemory(CPE.Val.ConstVal, (void*)CAddr);
David Greenec9ec9932010-01-05 01:23:36 +00001496 DEBUG(dbgs() << "JIT: CP" << i << " at [0x";
1497 dbgs().write_hex(CAddr) << "]\n");
Evan Cheng1606e8e2009-03-13 07:51:59 +00001498
1499 const Type *Ty = CPE.Val.ConstVal->getType();
Duncan Sands777d2302009-05-09 07:06:46 +00001500 Offset += TheJIT->getTargetData()->getTypeAllocSize(Ty);
Chris Lattner1cc08382003-01-13 01:00:12 +00001501 }
1502}
1503
Nate Begeman37efe672006-04-22 18:53:45 +00001504void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001505 if (TheJIT->getJITInfo().hasCustomJumpTables())
1506 return;
1507
Nate Begeman37efe672006-04-22 18:53:45 +00001508 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1509 if (JT.empty()) return;
Eric Christopher116664a2009-11-12 03:12:18 +00001510
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001511 unsigned NumEntries = 0;
Nate Begeman37efe672006-04-22 18:53:45 +00001512 for (unsigned i = 0, e = JT.size(); i != e; ++i)
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001513 NumEntries += JT[i].MBBs.size();
1514
Chris Lattner071c62f2010-01-25 23:26:13 +00001515 unsigned EntrySize = MJTI->getEntrySize(*TheJIT->getTargetData());
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001516
Nate Begeman37efe672006-04-22 18:53:45 +00001517 // Just allocate space for all the jump tables now. We will fix up the actual
1518 // MBB entries in the tables after we emit the code for each block, since then
1519 // we will know the final locations of the MBBs in memory.
1520 JumpTable = MJTI;
Chris Lattner071c62f2010-01-25 23:26:13 +00001521 JumpTableBase = allocateSpace(NumEntries * EntrySize,
1522 MJTI->getEntryAlignment(*TheJIT->getTargetData()));
Nate Begeman37efe672006-04-22 18:53:45 +00001523}
1524
Jim Laskeyb92767a2006-12-14 22:53:42 +00001525void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001526 if (TheJIT->getJITInfo().hasCustomJumpTables())
1527 return;
1528
Nate Begeman37efe672006-04-22 18:53:45 +00001529 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001530 if (JT.empty() || JumpTableBase == 0) return;
Eric Christopher116664a2009-11-12 03:12:18 +00001531
Chris Lattner13af11a2010-01-26 03:47:15 +00001532
1533 switch (MJTI->getEntryKind()) {
1534 case MachineJumpTableInfo::EK_BlockAddress: {
1535 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
1536 // .word LBB123
1537 assert(MJTI->getEntrySize(*TheJIT->getTargetData()) == sizeof(void*) &&
1538 "Cross JIT'ing?");
1539
1540 // For each jump table, map each target in the jump table to the address of
1541 // an emitted MachineBasicBlock.
1542 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
1543
1544 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1545 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1546 // Store the address of the basic block for this jump table slot in the
1547 // memory we allocated for the jump table in 'initJumpTableInfo'
1548 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
1549 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
1550 }
1551 break;
1552 }
1553
Chris Lattner85fe0782010-01-26 04:05:28 +00001554 case MachineJumpTableInfo::EK_Custom32:
Chris Lattner13af11a2010-01-26 03:47:15 +00001555 case MachineJumpTableInfo::EK_GPRel32BlockAddress:
1556 case MachineJumpTableInfo::EK_LabelDifference32: {
Chris Lattner071c62f2010-01-25 23:26:13 +00001557 assert(MJTI->getEntrySize(*TheJIT->getTargetData()) == 4&&"Cross JIT'ing?");
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001558 // For each jump table, place the offset from the beginning of the table
1559 // to the target address.
1560 int *SlotPtr = (int*)JumpTableBase;
Chris Lattner32ca55f2006-05-03 00:13:06 +00001561
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001562 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1563 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1564 // Store the offset of the basic block for this jump table slot in the
1565 // memory we allocated for the jump table in 'initJumpTableInfo'
Evan Cheng5788d1a2008-12-10 02:32:19 +00001566 uintptr_t Base = (uintptr_t)SlotPtr;
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001567 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) {
Evan Cheng5788d1a2008-12-10 02:32:19 +00001568 uintptr_t MBBAddr = getMachineBasicBlockAddress(MBBs[mi]);
Chris Lattner13af11a2010-01-26 03:47:15 +00001569 /// FIXME: USe EntryKind instead of magic "getPICJumpTableEntry" hook.
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001570 *SlotPtr++ = TheJIT->getJITInfo().getPICJumpTableEntry(MBBAddr, Base);
1571 }
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001572 }
Chris Lattner13af11a2010-01-26 03:47:15 +00001573 break;
1574 }
Nate Begeman37efe672006-04-22 18:53:45 +00001575 }
1576}
1577
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001578void JITEmitter::startGVStub(const GlobalValue* GV,
Jeffrey Yasskin0261d792009-11-23 22:49:00 +00001579 unsigned StubSize, unsigned Alignment) {
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001580 SavedBufferBegin = BufferBegin;
1581 SavedBufferEnd = BufferEnd;
1582 SavedCurBufferPtr = CurBufferPtr;
Eric Christopher116664a2009-11-12 03:12:18 +00001583
Evan Chengce4a70b2008-11-08 08:02:53 +00001584 BufferBegin = CurBufferPtr = MemMgr->allocateStub(GV, StubSize, Alignment);
Chris Lattner43b429b2006-05-02 18:27:26 +00001585 BufferEnd = BufferBegin+StubSize+1;
Chris Lattner6125fdd2003-05-09 03:30:07 +00001586}
1587
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001588void JITEmitter::startGVStub(void *Buffer, unsigned StubSize) {
1589 SavedBufferBegin = BufferBegin;
1590 SavedBufferEnd = BufferEnd;
1591 SavedCurBufferPtr = CurBufferPtr;
Eric Christopher116664a2009-11-12 03:12:18 +00001592
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001593 BufferBegin = CurBufferPtr = (uint8_t *)Buffer;
Nate Begemand6b7a242009-02-18 08:31:02 +00001594 BufferEnd = BufferBegin+StubSize+1;
1595}
1596
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001597void JITEmitter::finishGVStub() {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001598 assert(CurBufferPtr != BufferEnd && "Stub overflowed allocated space.");
Chris Lattner43b429b2006-05-02 18:27:26 +00001599 NumBytes += getCurrentPCOffset();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001600 BufferBegin = SavedBufferBegin;
1601 BufferEnd = SavedBufferEnd;
1602 CurBufferPtr = SavedCurBufferPtr;
1603}
1604
1605void *JITEmitter::allocIndirectGV(const GlobalValue *GV,
1606 const uint8_t *Buffer, size_t Size,
1607 unsigned Alignment) {
1608 uint8_t *IndGV = MemMgr->allocateStub(GV, Size, Alignment);
1609 memcpy(IndGV, Buffer, Size);
1610 return IndGV;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001611}
1612
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001613// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
1614// in the constant pool that was last emitted with the 'emitConstantPool'
1615// method.
1616//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001617uintptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Chris Lattner239862c2006-02-09 04:49:59 +00001618 assert(ConstantNum < ConstantPool->getConstants().size() &&
Misha Brukman3c944972005-04-22 04:08:30 +00001619 "Invalid ConstantPoolIndex!");
Evan Cheng1606e8e2009-03-13 07:51:59 +00001620 return ConstPoolAddresses[ConstantNum];
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001621}
1622
Nate Begeman37efe672006-04-22 18:53:45 +00001623// getJumpTableEntryAddress - Return the address of the JumpTable with index
1624// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
1625//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001626uintptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Nate Begeman37efe672006-04-22 18:53:45 +00001627 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
1628 assert(Index < JT.size() && "Invalid jump table index!");
Eric Christopher116664a2009-11-12 03:12:18 +00001629
Chris Lattner071c62f2010-01-25 23:26:13 +00001630 unsigned EntrySize = JumpTable->getEntrySize(*TheJIT->getTargetData());
Eric Christopher116664a2009-11-12 03:12:18 +00001631
Chris Lattner071c62f2010-01-25 23:26:13 +00001632 unsigned Offset = 0;
Nate Begeman37efe672006-04-22 18:53:45 +00001633 for (unsigned i = 0; i < Index; ++i)
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001634 Offset += JT[i].MBBs.size();
Eric Christopher116664a2009-11-12 03:12:18 +00001635
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001636 Offset *= EntrySize;
Eric Christopher116664a2009-11-12 03:12:18 +00001637
Evan Cheng5788d1a2008-12-10 02:32:19 +00001638 return (uintptr_t)((char *)JumpTableBase + Offset);
Nate Begeman37efe672006-04-22 18:53:45 +00001639}
1640
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001641void JITEmitter::EmittedFunctionConfig::onDelete(
1642 JITEmitter *Emitter, const Function *F) {
1643 Emitter->deallocateMemForFunction(F);
1644}
1645void JITEmitter::EmittedFunctionConfig::onRAUW(
1646 JITEmitter *, const Function*, const Function*) {
1647 llvm_unreachable("The JIT doesn't know how to handle a"
1648 " RAUW on a value it has emitted.");
1649}
1650
1651
Chris Lattnere993cc22006-05-11 23:08:08 +00001652//===----------------------------------------------------------------------===//
1653// Public interface to this file
1654//===----------------------------------------------------------------------===//
1655
Reid Kleckner27632172009-09-20 23:52:43 +00001656JITCodeEmitter *JIT::createEmitter(JIT &jit, JITMemoryManager *JMM,
1657 TargetMachine &tm) {
1658 return new JITEmitter(jit, JMM, tm);
Chris Lattnere993cc22006-05-11 23:08:08 +00001659}
1660
Chris Lattnere993cc22006-05-11 23:08:08 +00001661// getPointerToFunctionOrStub - If the specified function has been
1662// code-gen'd, return a pointer to the function. If not, compile it, or use
1663// a stub to implement lazy compilation if available.
1664//
1665void *JIT::getPointerToFunctionOrStub(Function *F) {
1666 // If we have already code generated the function, just return the address.
1667 if (void *Addr = getPointerToGlobalIfAvailable(F))
1668 return Addr;
Eric Christopher116664a2009-11-12 03:12:18 +00001669
Chris Lattnere7484012007-02-24 02:57:03 +00001670 // Get a stub if the target supports it.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001671 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Evan Chenga044dfc2008-08-20 00:28:12 +00001672 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001673 return JE->getJITResolver().getLazyFunctionStub(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001674}
1675
Nate Begemand6b7a242009-02-18 08:31:02 +00001676void JIT::updateFunctionStub(Function *F) {
1677 // Get the empty stub we generated earlier.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001678 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Nate Begemand6b7a242009-02-18 08:31:02 +00001679 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001680 void *Stub = JE->getJITResolver().getLazyFunctionStub(F);
1681 void *Addr = getPointerToGlobalIfAvailable(F);
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +00001682 assert(Addr != Stub && "Function must have non-stub address to be updated.");
Nate Begemand6b7a242009-02-18 08:31:02 +00001683
1684 // Tell the target jit info to rewrite the stub at the specified address,
1685 // rather than creating a new one.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001686 TargetJITInfo::StubLayout layout = getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001687 JE->startGVStub(Stub, layout.Size);
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001688 getJITInfo().emitFunctionStub(F, Addr, *getCodeEmitter());
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001689 JE->finishGVStub();
Nate Begemand6b7a242009-02-18 08:31:02 +00001690}
1691
Chris Lattnere993cc22006-05-11 23:08:08 +00001692/// freeMachineCodeForFunction - release machine code memory for given Function.
1693///
1694void JIT::freeMachineCodeForFunction(Function *F) {
1695 // Delete translation for this from the ExecutionEngine, so it will get
1696 // retranslated next time it is used.
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001697 updateGlobalMapping(F, 0);
Chris Lattnere993cc22006-05-11 23:08:08 +00001698
1699 // Free the actual memory for the function body and related stuff.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001700 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
1701 cast<JITEmitter>(JCE)->deallocateMemForFunction(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001702}