blob: 83acb5df976847b2796bf49aac8e695b48b9fbd5 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- JITEmitter.cpp - Write machine code to executable memory ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// 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.
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "jit"
16#include "JIT.h"
Reid Kleckner738b4f22009-09-20 23:52:43 +000017#include "JITDebugRegisterer.h"
Nicolas Geoffray0e757e12008-02-13 18:39:37 +000018#include "JITDwarfEmitter.h"
Reid Kleckner738b4f22009-09-20 23:52:43 +000019#include "llvm/ADT/OwningPtr.h"
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +000020#include "llvm/Constants.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000021#include "llvm/Module.h"
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +000022#include "llvm/DerivedTypes.h"
Devang Patelc2103b12010-01-19 06:09:04 +000023#include "llvm/Analysis/DebugInfo.h"
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +000024#include "llvm/CodeGen/JITCodeEmitter.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025#include "llvm/CodeGen/MachineFunction.h"
26#include "llvm/CodeGen/MachineConstantPool.h"
27#include "llvm/CodeGen/MachineJumpTableInfo.h"
Nicolas Geoffray0e757e12008-02-13 18:39:37 +000028#include "llvm/CodeGen/MachineModuleInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000029#include "llvm/CodeGen/MachineRelocation.h"
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +000030#include "llvm/ExecutionEngine/GenericValue.h"
Jeffrey Yasskinf8d55342009-06-25 02:04:04 +000031#include "llvm/ExecutionEngine/JITEventListener.h"
32#include "llvm/ExecutionEngine/JITMemoryManager.h"
Argiris Kirtzidis6841c1a2009-05-18 21:06:40 +000033#include "llvm/CodeGen/MachineCodeInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000034#include "llvm/Target/TargetData.h"
35#include "llvm/Target/TargetJITInfo.h"
36#include "llvm/Target/TargetMachine.h"
Nicolas Geoffray0e757e12008-02-13 18:39:37 +000037#include "llvm/Target/TargetOptions.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000038#include "llvm/Support/Debug.h"
Edwin Törökced9ff82009-07-11 13:10:19 +000039#include "llvm/Support/ErrorHandling.h"
Jeffrey Yasskinc0577082010-02-11 01:07:39 +000040#include "llvm/Support/ManagedStatic.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000041#include "llvm/Support/MutexGuard.h"
Nick Lewyckyaaffd142009-04-19 18:32:03 +000042#include "llvm/Support/ValueHandle.h"
Edwin Törökced9ff82009-07-11 13:10:19 +000043#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000044#include "llvm/System/Disassembler.h"
Chris Lattner88f51632008-06-25 17:18:44 +000045#include "llvm/System/Memory.h"
Nicolas Geoffray68847972008-04-18 20:59:31 +000046#include "llvm/Target/TargetInstrInfo.h"
Jeffrey Yasskin2512e352009-10-20 18:13:21 +000047#include "llvm/ADT/DenseMap.h"
Evan Cheng68e5fc32008-11-07 09:02:17 +000048#include "llvm/ADT/SmallPtrSet.h"
Nate Begeman7b1a8472009-02-18 08:31:02 +000049#include "llvm/ADT/SmallVector.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000050#include "llvm/ADT/Statistic.h"
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +000051#include "llvm/ADT/ValueMap.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000052#include <algorithm>
Evan Cheng23dbb902008-11-05 23:44:08 +000053#ifndef NDEBUG
54#include <iomanip>
55#endif
Dan Gohmanf17a25c2007-07-18 16:29:46 +000056using namespace llvm;
57
58STATISTIC(NumBytes, "Number of bytes of machine code compiled");
59STATISTIC(NumRelos, "Number of relocations applied");
Reid Klecknercc492292009-07-23 21:46:56 +000060STATISTIC(NumRetries, "Number of retries with more memory");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000061
Dan Gohmanf17a25c2007-07-18 16:29:46 +000062
Jeffrey Yasskin922a76e2009-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 Yasskin62de4e72010-01-27 20:34:15 +000066 return F->isDeclaration() && !F->isMaterializable();
Jeffrey Yasskin922a76e2009-12-22 23:47:23 +000067}
68
Dan Gohmanf17a25c2007-07-18 16:29:46 +000069//===----------------------------------------------------------------------===//
70// JIT lazy compilation code.
71//
72namespace {
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +000073 class JITEmitter;
Jeffrey Yasskin6ddfe5c2009-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000090 class JITResolverState {
Nick Lewycky924fc912009-04-27 05:09:44 +000091 public:
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +000092 typedef ValueMap<Function*, void*, NoRAUWValueMapConfig<Function*> >
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +000093 FunctionToLazyStubMapTy;
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +000094 typedef std::map<void*, AssertingVH<Function> > CallSiteToFunctionMapTy;
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +000095 typedef ValueMap<Function *, SmallPtrSet<void*, 1>,
96 CallSiteValueMapConfig> FunctionToCallSitesMapTy;
Nick Lewycky924fc912009-04-27 05:09:44 +000097 typedef std::map<AssertingVH<GlobalValue>, void*> GlobalToIndirectSymMapTy;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000098 private:
Jeffrey Yasskinf8f9acf2009-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;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000102
Jeffrey Yasskine45e6f92009-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;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000107
Evan Chengb0ebcb42008-11-10 01:52:24 +0000108 /// GlobalToIndirectSymMap - Keep track of the indirect symbol created for a
Evan Cheng28e7e162008-01-04 10:46:51 +0000109 /// particular GlobalVariable so that we can reuse them if necessary.
Nick Lewycky924fc912009-04-27 05:09:44 +0000110 GlobalToIndirectSymMapTy GlobalToIndirectSymMap;
Evan Cheng28e7e162008-01-04 10:46:51 +0000111
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000112 /// Instance of the JIT this ResolverState serves.
113 JIT *TheJIT;
114
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000115 public:
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000116 JITResolverState(JIT *jit) : FunctionToLazyStubMap(this),
117 FunctionToCallSitesMap(this),
118 TheJIT(jit) {}
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +0000119
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000120 FunctionToLazyStubMapTy& getFunctionToLazyStubMap(
121 const MutexGuard& locked) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000122 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000123 return FunctionToLazyStubMap;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000124 }
125
Nick Lewycky924fc912009-04-27 05:09:44 +0000126 GlobalToIndirectSymMapTy& getGlobalToIndirectSymMap(const MutexGuard& locked) {
Evan Cheng28e7e162008-01-04 10:46:51 +0000127 assert(locked.holds(TheJIT->lock));
Evan Chengb0ebcb42008-11-10 01:52:24 +0000128 return GlobalToIndirectSymMap;
Evan Cheng28e7e162008-01-04 10:46:51 +0000129 }
Jeffrey Yasskine45e6f92009-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 Yasskin6ddfe5c2009-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 Yasskine45e6f92009-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 Yasskin1b1400d2010-03-04 00:32:33 +0000159 Function *EraseStub(const MutexGuard &locked, void *Stub);
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000160
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000161 void EraseAllCallSitesFor(const MutexGuard &locked, Function *F) {
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000162 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000163 EraseAllCallSitesForPrelocked(F);
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +0000164 }
Jeffrey Yasskin1b1400d2010-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();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000171 };
172
173 /// JITResolver - Keep track of, and resolve, call sites for functions that
174 /// have not yet been compiled.
175 class JITResolver {
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000176 typedef JITResolverState::FunctionToLazyStubMapTy FunctionToLazyStubMapTy;
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000177 typedef JITResolverState::CallSiteToFunctionMapTy CallSiteToFunctionMapTy;
Nick Lewycky924fc912009-04-27 05:09:44 +0000178 typedef JITResolverState::GlobalToIndirectSymMapTy GlobalToIndirectSymMapTy;
179
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000180 /// LazyResolverFn - The target lazy resolver function that we actually
181 /// rewrite instructions to use.
182 TargetJITInfo::LazyResolverFn LazyResolverFn;
183
184 JITResolverState state;
185
Jeffrey Yasskinf8f9acf2009-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.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000191 std::map<void*, void*> ExternalFnToStubMap;
192
Evan Cheng68c18682009-03-13 07:51:59 +0000193 /// revGOTMap - map addresses to indexes in the GOT
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000194 std::map<void*, unsigned> revGOTMap;
195 unsigned nextGOTIndex;
196
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000197 JITEmitter &JE;
198
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000199 /// Instance of JIT corresponding to this Resolver.
200 JIT *TheJIT;
201
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000202 public:
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000203 explicit JITResolver(JIT &jit, JITEmitter &je)
204 : state(&jit), nextGOTIndex(0), JE(je), TheJIT(&jit) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000205 LazyResolverFn = jit.getJITInfo().getLazyResolverFunction(JITCompilerFn);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000206 }
207
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000208 ~JITResolver();
209
Jeffrey Yasskinf8f9acf2009-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 Cheng6e4b7632008-11-13 21:50:50 +0000213
Jeffrey Yasskinf8f9acf2009-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);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000217
218 /// getExternalFunctionStub - Return a stub for the function at the
219 /// specified address, created lazily on demand.
220 void *getExternalFunctionStub(void *FnAddr);
221
Evan Chengb0ebcb42008-11-10 01:52:24 +0000222 /// getGlobalValueIndirectSym - Return an indirect symbol containing the
Evan Cheng23c6b642008-11-05 01:50:32 +0000223 /// specified GV address.
Evan Chengb0ebcb42008-11-10 01:52:24 +0000224 void *getGlobalValueIndirectSym(GlobalValue *V, void *GVAddress);
Evan Cheng28e7e162008-01-04 10:46:51 +0000225
Nate Begeman7b1a8472009-02-18 08:31:02 +0000226 void getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
Nate Begemana5645962009-03-05 06:34:37 +0000227 SmallVectorImpl<void*> &Ptrs);
Eric Christopherea644f72009-11-12 03:12:18 +0000228
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000229 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
Chris Lattnerc8ad39c2007-12-05 23:39:57 +0000230 /// an address. This function only manages slots, it does not manage the
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000231 /// contents of the slots or the memory associated with the GOT.
Chris Lattnerc8ad39c2007-12-05 23:39:57 +0000232 unsigned getGOTIndexForAddr(void *addr);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000233
234 /// JITCompilerFn - This function is called to resolve a stub to a compiled
235 /// address. If the LLVM Function corresponding to the stub has not yet
236 /// been compiled, this function compiles it first.
237 static void *JITCompilerFn(void *Stub);
238 };
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000239
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000240 class StubToResolverMapTy {
241 /// Map a stub address to a specific instance of a JITResolver so that
242 /// lazily-compiled functions can find the right resolver to use.
243 ///
244 /// Guarded by Lock.
245 std::map<void*, JITResolver*> Map;
246
247 /// Guards Map from concurrent accesses.
248 mutable sys::Mutex Lock;
249
250 public:
251 /// Registers a Stub to be resolved by Resolver.
252 void RegisterStubResolver(void *Stub, JITResolver *Resolver) {
253 MutexGuard guard(Lock);
254 Map.insert(std::make_pair(Stub, Resolver));
255 }
256 /// Unregisters the Stub when it's invalidated.
257 void UnregisterStubResolver(void *Stub) {
258 MutexGuard guard(Lock);
259 Map.erase(Stub);
260 }
261 /// Returns the JITResolver instance that owns the Stub.
262 JITResolver *getResolverFromStub(void *Stub) const {
263 MutexGuard guard(Lock);
264 // The address given to us for the stub may not be exactly right, it might
265 // be a little bit after the stub. As such, use upper_bound to find it.
266 // This is the same trick as in LookupFunctionFromCallSite from
267 // JITResolverState.
268 std::map<void*, JITResolver*>::const_iterator I = Map.upper_bound(Stub);
269 assert(I != Map.begin() && "This is not a known stub!");
270 --I;
271 return I->second;
272 }
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000273 /// True if any stubs refer to the given resolver. Only used in an assert().
274 /// O(N)
275 bool ResolverHasStubs(JITResolver* Resolver) const {
276 MutexGuard guard(Lock);
277 for (std::map<void*, JITResolver*>::const_iterator I = Map.begin(),
278 E = Map.end(); I != E; ++I) {
279 if (I->second == Resolver)
280 return true;
281 }
282 return false;
283 }
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000284 };
285 /// This needs to be static so that a lazy call stub can access it with no
286 /// context except the address of the stub.
287 ManagedStatic<StubToResolverMapTy> StubToResolverMap;
288
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000289 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
290 /// used to output functions to memory for execution.
291 class JITEmitter : public JITCodeEmitter {
292 JITMemoryManager *MemMgr;
293
Jeffrey Yasskin43a22282009-12-15 22:42:46 +0000294 // When outputting a function stub in the context of some other function, we
295 // save BufferBegin/BufferEnd/CurBufferPtr here.
296 uint8_t *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
297
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000298 // When reattempting to JIT a function after running out of space, we store
299 // the estimated size of the function we're trying to JIT here, so we can
300 // ask the memory manager for at least this much space. When we
301 // successfully emit the function, we reset this back to zero.
302 uintptr_t SizeEstimate;
303
304 /// Relocations - These are the relocations that the function needs, as
305 /// emitted.
306 std::vector<MachineRelocation> Relocations;
Eric Christopherea644f72009-11-12 03:12:18 +0000307
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000308 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
309 /// It is filled in by the StartMachineBasicBlock callback and queried by
310 /// the getMachineBasicBlockAddress callback.
311 std::vector<uintptr_t> MBBLocations;
312
313 /// ConstantPool - The constant pool for the current function.
314 ///
315 MachineConstantPool *ConstantPool;
316
317 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
318 ///
319 void *ConstantPoolBase;
320
321 /// ConstPoolAddresses - Addresses of individual constant pool entries.
322 ///
323 SmallVector<uintptr_t, 8> ConstPoolAddresses;
324
325 /// JumpTable - The jump tables for the current function.
326 ///
327 MachineJumpTableInfo *JumpTable;
Eric Christopherea644f72009-11-12 03:12:18 +0000328
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000329 /// JumpTableBase - A pointer to the first entry in the jump table.
330 ///
331 void *JumpTableBase;
332
333 /// Resolver - This contains info about the currently resolved functions.
334 JITResolver Resolver;
335
336 /// DE - The dwarf emitter for the jit.
337 OwningPtr<JITDwarfEmitter> DE;
338
339 /// DR - The debug registerer for the jit.
340 OwningPtr<JITDebugRegisterer> DR;
341
Eric Christopherea644f72009-11-12 03:12:18 +0000342 /// LabelLocations - This vector is a mapping from Label ID's to their
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000343 /// address.
Chris Lattnere3330172010-03-14 01:41:15 +0000344 DenseMap<MCSymbol*, uintptr_t> LabelLocations;
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000345
346 /// MMI - Machine module info for exception informations
347 MachineModuleInfo* MMI;
348
Eric Christopherea644f72009-11-12 03:12:18 +0000349 // CurFn - The llvm function being emitted. Only valid during
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000350 // finishFunction().
351 const Function *CurFn;
352
353 /// Information about emitted code, which is passed to the
354 /// JITEventListeners. This is reset in startFunction and used in
355 /// finishFunction.
356 JITEvent_EmittedFunctionDetails EmissionDetails;
357
358 struct EmittedCode {
359 void *FunctionBody; // Beginning of the function's allocation.
360 void *Code; // The address the function's code actually starts at.
361 void *ExceptionTable;
362 EmittedCode() : FunctionBody(0), Code(0), ExceptionTable(0) {}
363 };
364 struct EmittedFunctionConfig : public ValueMapConfig<const Function*> {
365 typedef JITEmitter *ExtraData;
366 static void onDelete(JITEmitter *, const Function*);
367 static void onRAUW(JITEmitter *, const Function*, const Function*);
368 };
369 ValueMap<const Function *, EmittedCode,
370 EmittedFunctionConfig> EmittedFunctions;
371
Devang Patel042945f2010-01-16 06:09:35 +0000372 DILocation PrevDLT;
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000373
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000374 /// Instance of the JIT
375 JIT *TheJIT;
376
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000377 public:
378 JITEmitter(JIT &jit, JITMemoryManager *JMM, TargetMachine &TM)
379 : SizeEstimate(0), Resolver(jit, *this), MMI(0), CurFn(0),
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000380 EmittedFunctions(this), PrevDLT(NULL), TheJIT(&jit) {
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000381 MemMgr = JMM ? JMM : JITMemoryManager::CreateDefaultMemManager();
382 if (jit.getJITInfo().needsGOT()) {
383 MemMgr->AllocateGOT();
David Greene3f220e22010-01-05 01:23:36 +0000384 DEBUG(dbgs() << "JIT is managing a GOT\n");
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000385 }
386
387 if (DwarfExceptionHandling || JITEmitDebugInfo) {
388 DE.reset(new JITDwarfEmitter(jit));
389 }
390 if (JITEmitDebugInfo) {
391 DR.reset(new JITDebugRegisterer(TM));
392 }
393 }
Eric Christopherea644f72009-11-12 03:12:18 +0000394 ~JITEmitter() {
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000395 delete MemMgr;
396 }
397
398 /// classof - Methods for support type inquiry through isa, cast, and
399 /// dyn_cast:
400 ///
401 static inline bool classof(const JITEmitter*) { return true; }
402 static inline bool classof(const MachineCodeEmitter*) { return true; }
Eric Christopherea644f72009-11-12 03:12:18 +0000403
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000404 JITResolver &getJITResolver() { return Resolver; }
405
406 virtual void startFunction(MachineFunction &F);
407 virtual bool finishFunction(MachineFunction &F);
Eric Christopherea644f72009-11-12 03:12:18 +0000408
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000409 void emitConstantPool(MachineConstantPool *MCP);
410 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
411 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Eric Christopherea644f72009-11-12 03:12:18 +0000412
Jeffrey Yasskin43a22282009-12-15 22:42:46 +0000413 void startGVStub(const GlobalValue* GV,
414 unsigned StubSize, unsigned Alignment = 1);
415 void startGVStub(void *Buffer, unsigned StubSize);
416 void finishGVStub();
417 virtual void *allocIndirectGV(const GlobalValue *GV,
418 const uint8_t *Buffer, size_t Size,
419 unsigned Alignment);
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000420
421 /// allocateSpace - Reserves space in the current block if any, or
422 /// allocate a new one of the given size.
423 virtual void *allocateSpace(uintptr_t Size, unsigned Alignment);
424
425 /// allocateGlobal - Allocate memory for a global. Unlike allocateSpace,
426 /// this method does not allocate memory in the current output buffer,
427 /// because a global may live longer than the current function.
428 virtual void *allocateGlobal(uintptr_t Size, unsigned Alignment);
429
430 virtual void addRelocation(const MachineRelocation &MR) {
431 Relocations.push_back(MR);
432 }
Eric Christopherea644f72009-11-12 03:12:18 +0000433
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000434 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
435 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
436 MBBLocations.resize((MBB->getNumber()+1)*2);
437 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
David Greene3f220e22010-01-05 01:23:36 +0000438 DEBUG(dbgs() << "JIT: Emitting BB" << MBB->getNumber() << " at ["
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000439 << (void*) getCurrentPCValue() << "]\n");
440 }
441
442 virtual uintptr_t getConstantPoolEntryAddress(unsigned Entry) const;
443 virtual uintptr_t getJumpTableEntryAddress(unsigned Entry) const;
444
445 virtual uintptr_t getMachineBasicBlockAddress(MachineBasicBlock *MBB) const {
Eric Christopherea644f72009-11-12 03:12:18 +0000446 assert(MBBLocations.size() > (unsigned)MBB->getNumber() &&
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000447 MBBLocations[MBB->getNumber()] && "MBB not emitted!");
448 return MBBLocations[MBB->getNumber()];
449 }
450
451 /// retryWithMoreMemory - Log a retry and deallocate all memory for the
452 /// given function. Increase the minimum allocation size so that we get
453 /// more memory next time.
454 void retryWithMoreMemory(MachineFunction &F);
455
456 /// deallocateMemForFunction - Deallocate all memory for the specified
457 /// function body.
458 void deallocateMemForFunction(const Function *F);
459
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000460 virtual void processDebugLoc(DebugLoc DL, bool BeforePrintingInsn);
461
Chris Lattnere3330172010-03-14 01:41:15 +0000462 virtual void emitLabel(MCSymbol *Label) {
463 LabelLocations[Label] = getCurrentPCValue();
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000464 }
465
Chris Lattnere3330172010-03-14 01:41:15 +0000466 virtual uintptr_t getLabelAddress(MCSymbol *Label) const {
467 assert(LabelLocations.count(Label) && "Label not emitted!");
468 return LabelLocations.find(Label)->second;
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000469 }
Eric Christopherea644f72009-11-12 03:12:18 +0000470
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000471 virtual void setModuleInfo(MachineModuleInfo* Info) {
472 MMI = Info;
473 if (DE.get()) DE->setModuleInfo(Info);
474 }
475
476 void setMemoryExecutable() {
477 MemMgr->setMemoryExecutable();
478 }
Eric Christopherea644f72009-11-12 03:12:18 +0000479
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000480 JITMemoryManager *getMemMgr() const { return MemMgr; }
481
482 private:
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000483 void *getPointerToGlobal(GlobalValue *GV, void *Reference,
484 bool MayNeedFarStub);
485 void *getPointerToGVIndirectSym(GlobalValue *V, void *Reference);
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000486 unsigned addSizeOfGlobal(const GlobalVariable *GV, unsigned Size);
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000487 unsigned addSizeOfGlobalsInConstantVal(
488 const Constant *C, unsigned Size,
489 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
490 SmallVectorImpl<const GlobalVariable*> &Worklist);
491 unsigned addSizeOfGlobalsInInitializer(
492 const Constant *Init, unsigned Size,
493 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
494 SmallVectorImpl<const GlobalVariable*> &Worklist);
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000495 unsigned GetSizeOfGlobalsInBytes(MachineFunction &MF);
496 };
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000497}
498
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +0000499void CallSiteValueMapConfig::onDelete(JITResolverState *JRS, Function *F) {
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000500 JRS->EraseAllCallSitesForPrelocked(F);
501}
502
503Function *JITResolverState::EraseStub(const MutexGuard &locked, void *Stub) {
504 CallSiteToFunctionMapTy::iterator C2F_I =
505 CallSiteToFunctionMap.find(Stub);
506 if (C2F_I == CallSiteToFunctionMap.end()) {
507 // Not a stub.
508 return NULL;
509 }
510
511 StubToResolverMap->UnregisterStubResolver(Stub);
512
513 Function *const F = C2F_I->second;
514#ifndef NDEBUG
515 void *RealStub = FunctionToLazyStubMap.lookup(F);
516 assert(RealStub == Stub &&
517 "Call-site that wasn't a stub passed in to EraseStub");
518#endif
519 FunctionToLazyStubMap.erase(F);
520 CallSiteToFunctionMap.erase(C2F_I);
521
522 // Remove the stub from the function->call-sites map, and remove the whole
523 // entry from the map if that was the last call site.
524 FunctionToCallSitesMapTy::iterator F2C_I = FunctionToCallSitesMap.find(F);
525 assert(F2C_I != FunctionToCallSitesMap.end() &&
526 "FunctionToCallSitesMap broken");
527 bool Erased = F2C_I->second.erase(Stub);
528 (void)Erased;
529 assert(Erased && "FunctionToCallSitesMap broken");
530 if (F2C_I->second.empty())
531 FunctionToCallSitesMap.erase(F2C_I);
532
533 return F;
534}
535
536void JITResolverState::EraseAllCallSitesForPrelocked(Function *F) {
537 FunctionToCallSitesMapTy::iterator F2C = FunctionToCallSitesMap.find(F);
538 if (F2C == FunctionToCallSitesMap.end())
539 return;
540 StubToResolverMapTy &S2RMap = *StubToResolverMap;
541 for (SmallPtrSet<void*, 1>::const_iterator I = F2C->second.begin(),
542 E = F2C->second.end(); I != E; ++I) {
543 S2RMap.UnregisterStubResolver(*I);
544 bool Erased = CallSiteToFunctionMap.erase(*I);
545 (void)Erased;
546 assert(Erased && "Missing call site->function mapping");
547 }
548 FunctionToCallSitesMap.erase(F2C);
549}
550
551void JITResolverState::EraseAllCallSitesPrelocked() {
552 StubToResolverMapTy &S2RMap = *StubToResolverMap;
553 for (CallSiteToFunctionMapTy::const_iterator
554 I = CallSiteToFunctionMap.begin(),
555 E = CallSiteToFunctionMap.end(); I != E; ++I) {
556 S2RMap.UnregisterStubResolver(I->first);
557 }
558 CallSiteToFunctionMap.clear();
559 FunctionToCallSitesMap.clear();
560}
561
562JITResolver::~JITResolver() {
563 // No need to lock because we're in the destructor, and state isn't shared.
564 state.EraseAllCallSitesPrelocked();
565 assert(!StubToResolverMap->ResolverHasStubs(this) &&
566 "Resolver destroyed with stubs still alive.");
Jeffrey Yasskin6ddfe5c2009-10-23 22:37:43 +0000567}
568
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000569/// getLazyFunctionStubIfAvailable - This returns a pointer to a function stub
Evan Cheng6e4b7632008-11-13 21:50:50 +0000570/// if it has already been created.
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000571void *JITResolver::getLazyFunctionStubIfAvailable(Function *F) {
Evan Cheng6e4b7632008-11-13 21:50:50 +0000572 MutexGuard locked(TheJIT->lock);
573
574 // If we already have a stub for this function, recycle it.
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000575 return state.getFunctionToLazyStubMap(locked).lookup(F);
Evan Cheng6e4b7632008-11-13 21:50:50 +0000576}
577
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000578/// getFunctionStub - This returns a pointer to a function stub, creating
579/// one on demand as needed.
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000580void *JITResolver::getLazyFunctionStub(Function *F) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000581 MutexGuard locked(TheJIT->lock);
582
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000583 // If we already have a lazy stub for this function, recycle it.
584 void *&Stub = state.getFunctionToLazyStubMap(locked)[F];
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000585 if (Stub) return Stub;
586
Jeffrey Yasskin4f6ac2f2009-10-27 20:30:28 +0000587 // Call the lazy resolver function if we are JIT'ing lazily. Otherwise we
588 // must resolve the symbol now.
589 void *Actual = TheJIT->isCompilingLazily()
590 ? (void *)(intptr_t)LazyResolverFn : (void *)0;
591
Nate Begeman165818c2009-03-07 06:41:19 +0000592 // If this is an external declaration, attempt to resolve the address now
593 // to place in the stub.
Jeffrey Yasskin922a76e2009-12-22 23:47:23 +0000594 if (isNonGhostDeclaration(F) || F->hasAvailableExternallyLinkage()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000595 Actual = TheJIT->getPointerToFunction(F);
596
Dan Gohman0ae39622009-01-05 05:32:42 +0000597 // If we resolved the symbol to a null address (eg. a weak external)
Jeffrey Yasskin35294ef2009-11-09 22:34:19 +0000598 // don't emit a stub. Return a null pointer to the application.
599 if (!Actual) return 0;
Dan Gohman0ae39622009-01-05 05:32:42 +0000600 }
601
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000602 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin43a22282009-12-15 22:42:46 +0000603 JE.startGVStub(F, SL.Size, SL.Alignment);
Nate Begeman165818c2009-03-07 06:41:19 +0000604 // Codegen a new stub, calling the lazy resolver or the actual address of the
605 // external function, if it was resolved.
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000606 Stub = TheJIT->getJITInfo().emitFunctionStub(F, Actual, JE);
Jeffrey Yasskin43a22282009-12-15 22:42:46 +0000607 JE.finishGVStub();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000608
609 if (Actual != (void*)(intptr_t)LazyResolverFn) {
610 // If we are getting the stub for an external function, we really want the
611 // address of the stub in the GlobalAddressMap for the JIT, not the address
612 // of the external function.
613 TheJIT->updateGlobalMapping(F, Stub);
614 }
615
David Greene3f220e22010-01-05 01:23:36 +0000616 DEBUG(dbgs() << "JIT: Lazy stub emitted at [" << Stub << "] for function '"
Daniel Dunbar005975c2009-07-25 00:23:56 +0000617 << F->getName() << "'\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000618
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000619 if (TheJIT->isCompilingLazily()) {
620 // Register this JITResolver as the one corresponding to this call site so
621 // JITCompilerFn will be able to find it.
622 StubToResolverMap->RegisterStubResolver(Stub, this);
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000623
Jeffrey Yasskin1b1400d2010-03-04 00:32:33 +0000624 // Finally, keep track of the stub-to-Function mapping so that the
625 // JITCompilerFn knows which function to compile!
626 state.AddCallSite(locked, Stub, F);
627 } else if (!Actual) {
628 // If we are JIT'ing non-lazily but need to call a function that does not
629 // exist yet, add it to the JIT's work list so that we can fill in the
630 // stub address later.
631 assert(!isNonGhostDeclaration(F) && !F->hasAvailableExternallyLinkage() &&
632 "'Actual' should have been set above.");
633 TheJIT->addPendingFunction(F);
634 }
Jeffrey Yasskinf9057462009-10-13 21:32:57 +0000635
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000636 return Stub;
637}
638
Evan Chengb0ebcb42008-11-10 01:52:24 +0000639/// getGlobalValueIndirectSym - Return a lazy pointer containing the specified
Evan Cheng28e7e162008-01-04 10:46:51 +0000640/// GV address.
Evan Chengb0ebcb42008-11-10 01:52:24 +0000641void *JITResolver::getGlobalValueIndirectSym(GlobalValue *GV, void *GVAddress) {
Evan Cheng28e7e162008-01-04 10:46:51 +0000642 MutexGuard locked(TheJIT->lock);
643
644 // If we already have a stub for this global variable, recycle it.
Evan Chengb0ebcb42008-11-10 01:52:24 +0000645 void *&IndirectSym = state.getGlobalToIndirectSymMap(locked)[GV];
646 if (IndirectSym) return IndirectSym;
Evan Cheng28e7e162008-01-04 10:46:51 +0000647
Evan Cheng221548c2008-11-10 23:26:16 +0000648 // Otherwise, codegen a new indirect symbol.
Evan Chengb0ebcb42008-11-10 01:52:24 +0000649 IndirectSym = TheJIT->getJITInfo().emitGlobalValueIndirectSym(GV, GVAddress,
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000650 JE);
Evan Cheng28e7e162008-01-04 10:46:51 +0000651
David Greene3f220e22010-01-05 01:23:36 +0000652 DEBUG(dbgs() << "JIT: Indirect symbol emitted at [" << IndirectSym
Daniel Dunbar005975c2009-07-25 00:23:56 +0000653 << "] for GV '" << GV->getName() << "'\n");
Evan Cheng28e7e162008-01-04 10:46:51 +0000654
Evan Chengb0ebcb42008-11-10 01:52:24 +0000655 return IndirectSym;
Evan Cheng28e7e162008-01-04 10:46:51 +0000656}
657
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000658/// getExternalFunctionStub - Return a stub for the function at the
659/// specified address, created lazily on demand.
660void *JITResolver::getExternalFunctionStub(void *FnAddr) {
661 // If we already have a stub for this function, recycle it.
662 void *&Stub = ExternalFnToStubMap[FnAddr];
663 if (Stub) return Stub;
664
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000665 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin43a22282009-12-15 22:42:46 +0000666 JE.startGVStub(0, SL.Size, SL.Alignment);
Jeffrey Yasskin49c5ea42009-11-07 00:00:10 +0000667 Stub = TheJIT->getJITInfo().emitFunctionStub(0, FnAddr, JE);
Jeffrey Yasskin43a22282009-12-15 22:42:46 +0000668 JE.finishGVStub();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000669
David Greene3f220e22010-01-05 01:23:36 +0000670 DEBUG(dbgs() << "JIT: Stub emitted at [" << Stub
Chris Lattner2b40c562009-08-23 06:35:02 +0000671 << "] for external function at '" << FnAddr << "'\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000672 return Stub;
673}
674
675unsigned JITResolver::getGOTIndexForAddr(void* addr) {
676 unsigned idx = revGOTMap[addr];
677 if (!idx) {
678 idx = ++nextGOTIndex;
679 revGOTMap[addr] = idx;
David Greene3f220e22010-01-05 01:23:36 +0000680 DEBUG(dbgs() << "JIT: Adding GOT entry " << idx << " for addr ["
Chris Lattner2b40c562009-08-23 06:35:02 +0000681 << addr << "]\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000682 }
683 return idx;
684}
685
Nate Begeman7b1a8472009-02-18 08:31:02 +0000686void JITResolver::getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
687 SmallVectorImpl<void*> &Ptrs) {
688 MutexGuard locked(TheJIT->lock);
Eric Christopherea644f72009-11-12 03:12:18 +0000689
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000690 const FunctionToLazyStubMapTy &FM = state.getFunctionToLazyStubMap(locked);
Nick Lewycky924fc912009-04-27 05:09:44 +0000691 GlobalToIndirectSymMapTy &GM = state.getGlobalToIndirectSymMap(locked);
Eric Christopherea644f72009-11-12 03:12:18 +0000692
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000693 for (FunctionToLazyStubMapTy::const_iterator i = FM.begin(), e = FM.end();
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000694 i != e; ++i){
Nate Begeman7b1a8472009-02-18 08:31:02 +0000695 Function *F = i->first;
696 if (F->isDeclaration() && F->hasExternalLinkage()) {
697 GVs.push_back(i->first);
698 Ptrs.push_back(i->second);
699 }
700 }
Nick Lewycky924fc912009-04-27 05:09:44 +0000701 for (GlobalToIndirectSymMapTy::iterator i = GM.begin(), e = GM.end();
Nate Begeman7b1a8472009-02-18 08:31:02 +0000702 i != e; ++i) {
703 GVs.push_back(i->first);
704 Ptrs.push_back(i->second);
705 }
706}
707
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000708/// JITCompilerFn - This function is called when a lazy compilation stub has
709/// been entered. It looks up which function this stub corresponds to, compiles
710/// it if necessary, then returns the resultant function pointer.
711void *JITResolver::JITCompilerFn(void *Stub) {
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000712 JITResolver *JR = StubToResolverMap->getResolverFromStub(Stub);
713 assert(JR && "Unable to find the corresponding JITResolver to the call site");
Eric Christopherea644f72009-11-12 03:12:18 +0000714
Nicolas Geoffray7bf33432008-10-03 07:27:08 +0000715 Function* F = 0;
716 void* ActualPtr = 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000717
Nicolas Geoffray7bf33432008-10-03 07:27:08 +0000718 {
719 // Only lock for getting the Function. The call getPointerToFunction made
720 // in this function might trigger function materializing, which requires
721 // JIT lock to be unlocked.
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000722 MutexGuard locked(JR->TheJIT->lock);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000723
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000724 // The address given to us for the stub may not be exactly right, it might
725 // be a little bit after the stub. As such, use upper_bound to find it.
726 pair<void*, Function*> I =
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000727 JR->state.LookupFunctionFromCallSite(locked, Stub);
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000728 F = I.second;
729 ActualPtr = I.first;
Nicolas Geoffray7bf33432008-10-03 07:27:08 +0000730 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000731
732 // If we have already code generated the function, just return the address.
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000733 void *Result = JR->TheJIT->getPointerToGlobalIfAvailable(F);
Eric Christopherea644f72009-11-12 03:12:18 +0000734
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000735 if (!Result) {
736 // Otherwise we don't have it, do lazy compilation now.
Eric Christopherea644f72009-11-12 03:12:18 +0000737
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000738 // If lazy compilation is disabled, emit a useful error message and abort.
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000739 if (!JR->TheJIT->isCompilingLazily()) {
Edwin Törökced9ff82009-07-11 13:10:19 +0000740 llvm_report_error("LLVM JIT requested to do lazy compilation of function '"
741 + F->getName() + "' when lazy compiles are disabled!");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000742 }
Eric Christopherea644f72009-11-12 03:12:18 +0000743
David Greene3f220e22010-01-05 01:23:36 +0000744 DEBUG(dbgs() << "JIT: Lazily resolving function '" << F->getName()
Daniel Dunbar005975c2009-07-25 00:23:56 +0000745 << "' In stub ptr = " << Stub << " actual ptr = "
746 << ActualPtr << "\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000747
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000748 Result = JR->TheJIT->getPointerToFunction(F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000749 }
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000750
751 // Reacquire the lock to update the GOT map.
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000752 MutexGuard locked(JR->TheJIT->lock);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000753
Jeffrey Yasskine45e6f92009-10-19 18:49:59 +0000754 // We might like to remove the call site from the CallSiteToFunction map, but
755 // we can't do that! Multiple threads could be stuck, waiting to acquire the
756 // lock above. As soon as the 1st function finishes compiling the function,
757 // the next one will be released, and needs to be able to find the function it
758 // needs to call.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000759
760 // FIXME: We could rewrite all references to this stub if we knew them.
761
762 // What we will do is set the compiled function address to map to the
763 // same GOT entry as the stub so that later clients may update the GOT
764 // if they see it still using the stub address.
765 // Note: this is done so the Resolver doesn't have to manage GOT memory
766 // Do this without allocating map space if the target isn't using a GOT
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000767 if(JR->revGOTMap.find(Stub) != JR->revGOTMap.end())
768 JR->revGOTMap[Result] = JR->revGOTMap[Stub];
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000769
770 return Result;
771}
772
Chris Lattnerf50e3572008-04-04 05:51:42 +0000773//===----------------------------------------------------------------------===//
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000774// JITEmitter code.
775//
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000776void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000777 bool MayNeedFarStub) {
Nate Begeman7b1a8472009-02-18 08:31:02 +0000778 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000779 return TheJIT->getOrEmitGlobalVariable(GV);
Nate Begeman7b1a8472009-02-18 08:31:02 +0000780
Chris Lattner44d8ea72008-06-25 20:21:35 +0000781 if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
Anton Korobeynikovc7b90912008-09-09 20:05:04 +0000782 return TheJIT->getPointerToGlobal(GA->resolveAliasedGlobal(false));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000783
784 // If we have already compiled the function, return a pointer to its body.
785 Function *F = cast<Function>(V);
Eric Christopherea644f72009-11-12 03:12:18 +0000786
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000787 void *FnStub = Resolver.getLazyFunctionStubIfAvailable(F);
Eric Christopherea644f72009-11-12 03:12:18 +0000788 if (FnStub) {
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +0000789 // Return the function stub if it's already created. We do this first so
790 // that we're returning the same address for the function as any previous
791 // call. TODO: Yes, this is wrong. The lazy stub isn't guaranteed to be
792 // close enough to call.
Eric Christopherea644f72009-11-12 03:12:18 +0000793 return FnStub;
Nate Begemana5645962009-03-05 06:34:37 +0000794 }
Eric Christopherea644f72009-11-12 03:12:18 +0000795
Jeffrey Yasskinef7c3652009-11-19 23:42:58 +0000796 // If we know the target can handle arbitrary-distance calls, try to
797 // return a direct pointer.
798 if (!MayNeedFarStub) {
799 // If we have code, go ahead and return that.
800 void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
801 if (ResultPtr) return ResultPtr;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000802
Jeffrey Yasskinef7c3652009-11-19 23:42:58 +0000803 // If this is an external function pointer, we can force the JIT to
804 // 'compile' it, which really just adds it to the map.
Jeffrey Yasskin922a76e2009-12-22 23:47:23 +0000805 if (isNonGhostDeclaration(F) || F->hasAvailableExternallyLinkage())
Jeffrey Yasskinef7c3652009-11-19 23:42:58 +0000806 return TheJIT->getPointerToFunction(F);
807 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000808
Jeffrey Yasskine2cb5ea2010-03-04 19:45:09 +0000809 // Otherwise, we may need a to emit a stub, and, conservatively, we always do
810 // so. Note that it's possible to return null from getLazyFunctionStub in the
811 // case of a weak extern that fails to resolve.
812 return Resolver.getLazyFunctionStub(F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000813}
814
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000815void *JITEmitter::getPointerToGVIndirectSym(GlobalValue *V, void *Reference) {
Nate Begemana5645962009-03-05 06:34:37 +0000816 // Make sure GV is emitted first, and create a stub containing the fully
817 // resolved address.
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000818 void *GVAddress = getPointerToGlobal(V, Reference, false);
Nate Begemana5645962009-03-05 06:34:37 +0000819 void *StubAddr = Resolver.getGlobalValueIndirectSym(V, GVAddress);
Nate Begemana5645962009-03-05 06:34:37 +0000820 return StubAddr;
821}
822
Devang Patelde8d48b2009-10-06 03:04:58 +0000823void JITEmitter::processDebugLoc(DebugLoc DL, bool BeforePrintingInsn) {
Jeffrey Yasskin8ad296e2009-07-16 21:07:26 +0000824 if (!DL.isUnknown()) {
Devang Patel042945f2010-01-16 06:09:35 +0000825 DILocation CurDLT = EmissionDetails.MF->getDILocation(DL);
Jeffrey Yasskin8ad296e2009-07-16 21:07:26 +0000826
Devang Patelde8d48b2009-10-06 03:04:58 +0000827 if (BeforePrintingInsn) {
Devang Patel042945f2010-01-16 06:09:35 +0000828 if (CurDLT.getScope().getNode() != 0
829 && PrevDLT.getNode() != CurDLT.getNode()) {
Devang Patelde8d48b2009-10-06 03:04:58 +0000830 JITEvent_EmittedFunctionDetails::LineStart NextLine;
831 NextLine.Address = getCurrentPCValue();
832 NextLine.Loc = DL;
833 EmissionDetails.LineStarts.push_back(NextLine);
834 }
Eric Christopherea644f72009-11-12 03:12:18 +0000835
Devang Patelde8d48b2009-10-06 03:04:58 +0000836 PrevDLT = CurDLT;
Jeffrey Yasskin8ad296e2009-07-16 21:07:26 +0000837 }
Jeffrey Yasskin8ad296e2009-07-16 21:07:26 +0000838 }
839}
840
Evan Cheng68c18682009-03-13 07:51:59 +0000841static unsigned GetConstantPoolSizeInBytes(MachineConstantPool *MCP,
842 const TargetData *TD) {
Nicolas Geoffray68847972008-04-18 20:59:31 +0000843 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
844 if (Constants.empty()) return 0;
845
Evan Cheng68c18682009-03-13 07:51:59 +0000846 unsigned Size = 0;
847 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
848 MachineConstantPoolEntry CPE = Constants[i];
849 unsigned AlignMask = CPE.getAlignment() - 1;
850 Size = (Size + AlignMask) & ~AlignMask;
851 const Type *Ty = CPE.getType();
Duncan Sandsec4f97d2009-05-09 07:06:46 +0000852 Size += TD->getTypeAllocSize(Ty);
Evan Cheng68c18682009-03-13 07:51:59 +0000853 }
Nicolas Geoffray68847972008-04-18 20:59:31 +0000854 return Size;
855}
856
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000857static unsigned GetJumpTableSizeInBytes(MachineJumpTableInfo *MJTI, JIT *jit) {
Nicolas Geoffray68847972008-04-18 20:59:31 +0000858 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
859 if (JT.empty()) return 0;
Eric Christopherea644f72009-11-12 03:12:18 +0000860
Nicolas Geoffray68847972008-04-18 20:59:31 +0000861 unsigned NumEntries = 0;
862 for (unsigned i = 0, e = JT.size(); i != e; ++i)
863 NumEntries += JT[i].MBBs.size();
864
Jeffrey Yasskinc0577082010-02-11 01:07:39 +0000865 return NumEntries * MJTI->getEntrySize(*jit->getTargetData());
Nicolas Geoffray68847972008-04-18 20:59:31 +0000866}
867
Nicolas Geoffray5a80b292008-04-20 23:39:44 +0000868static uintptr_t RoundUpToAlign(uintptr_t Size, unsigned Alignment) {
Nicolas Geoffray68847972008-04-18 20:59:31 +0000869 if (Alignment == 0) Alignment = 1;
Eric Christopherea644f72009-11-12 03:12:18 +0000870 // Since we do not know where the buffer will be allocated, be pessimistic.
Nicolas Geoffray5a80b292008-04-20 23:39:44 +0000871 return Size + Alignment;
Nicolas Geoffray68847972008-04-18 20:59:31 +0000872}
Evan Cheng28e7e162008-01-04 10:46:51 +0000873
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000874/// addSizeOfGlobal - add the size of the global (plus any alignment padding)
875/// into the running total Size.
876
877unsigned JITEmitter::addSizeOfGlobal(const GlobalVariable *GV, unsigned Size) {
878 const Type *ElTy = GV->getType()->getElementType();
Duncan Sandsec4f97d2009-05-09 07:06:46 +0000879 size_t GVSize = (size_t)TheJIT->getTargetData()->getTypeAllocSize(ElTy);
Eric Christopherea644f72009-11-12 03:12:18 +0000880 size_t GVAlign =
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000881 (size_t)TheJIT->getTargetData()->getPreferredAlignment(GV);
David Greene3f220e22010-01-05 01:23:36 +0000882 DEBUG(dbgs() << "JIT: Adding in size " << GVSize << " alignment " << GVAlign);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000883 DEBUG(GV->dump());
884 // Assume code section ends with worst possible alignment, so first
885 // variable needs maximal padding.
886 if (Size==0)
887 Size = 1;
888 Size = ((Size+GVAlign-1)/GVAlign)*GVAlign;
889 Size += GVSize;
890 return Size;
891}
892
893/// addSizeOfGlobalsInConstantVal - find any globals that we haven't seen yet
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000894/// but are referenced from the constant; put them in SeenGlobals and the
895/// Worklist, and add their size into the running total Size.
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000896
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000897unsigned JITEmitter::addSizeOfGlobalsInConstantVal(
898 const Constant *C,
899 unsigned Size,
900 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
901 SmallVectorImpl<const GlobalVariable*> &Worklist) {
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000902 // If its undefined, return the garbage.
903 if (isa<UndefValue>(C))
904 return Size;
905
906 // If the value is a ConstantExpr
907 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
908 Constant *Op0 = CE->getOperand(0);
909 switch (CE->getOpcode()) {
910 case Instruction::GetElementPtr:
911 case Instruction::Trunc:
912 case Instruction::ZExt:
913 case Instruction::SExt:
914 case Instruction::FPTrunc:
915 case Instruction::FPExt:
916 case Instruction::UIToFP:
917 case Instruction::SIToFP:
918 case Instruction::FPToUI:
919 case Instruction::FPToSI:
920 case Instruction::PtrToInt:
921 case Instruction::IntToPtr:
922 case Instruction::BitCast: {
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000923 Size = addSizeOfGlobalsInConstantVal(Op0, Size, SeenGlobals, Worklist);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000924 break;
925 }
926 case Instruction::Add:
Dan Gohman7ce405e2009-06-04 22:49:04 +0000927 case Instruction::FAdd:
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000928 case Instruction::Sub:
Dan Gohman7ce405e2009-06-04 22:49:04 +0000929 case Instruction::FSub:
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000930 case Instruction::Mul:
Dan Gohman7ce405e2009-06-04 22:49:04 +0000931 case Instruction::FMul:
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000932 case Instruction::UDiv:
933 case Instruction::SDiv:
934 case Instruction::URem:
935 case Instruction::SRem:
936 case Instruction::And:
937 case Instruction::Or:
938 case Instruction::Xor: {
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000939 Size = addSizeOfGlobalsInConstantVal(Op0, Size, SeenGlobals, Worklist);
940 Size = addSizeOfGlobalsInConstantVal(CE->getOperand(1), Size,
941 SeenGlobals, Worklist);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000942 break;
943 }
944 default: {
Edwin Törökced9ff82009-07-11 13:10:19 +0000945 std::string msg;
946 raw_string_ostream Msg(msg);
947 Msg << "ConstantExpr not handled: " << *CE;
948 llvm_report_error(Msg.str());
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000949 }
950 }
951 }
952
953 if (C->getType()->getTypeID() == Type::PointerTyID)
954 if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(C))
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000955 if (SeenGlobals.insert(GV)) {
956 Worklist.push_back(GV);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000957 Size = addSizeOfGlobal(GV, Size);
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000958 }
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000959
960 return Size;
961}
962
963/// addSizeOfGLobalsInInitializer - handle any globals that we haven't seen yet
964/// but are referenced from the given initializer.
965
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000966unsigned JITEmitter::addSizeOfGlobalsInInitializer(
967 const Constant *Init,
968 unsigned Size,
969 SmallPtrSet<const GlobalVariable*, 8> &SeenGlobals,
970 SmallVectorImpl<const GlobalVariable*> &Worklist) {
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000971 if (!isa<UndefValue>(Init) &&
972 !isa<ConstantVector>(Init) &&
973 !isa<ConstantAggregateZero>(Init) &&
974 !isa<ConstantArray>(Init) &&
975 !isa<ConstantStruct>(Init) &&
976 Init->getType()->isFirstClassType())
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000977 Size = addSizeOfGlobalsInConstantVal(Init, Size, SeenGlobals, Worklist);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000978 return Size;
979}
980
981/// GetSizeOfGlobalsInBytes - walk the code for the function, looking for
982/// globals; then walk the initializers of those globals looking for more.
983/// If their size has not been considered yet, add it into the running total
984/// Size.
985
986unsigned JITEmitter::GetSizeOfGlobalsInBytes(MachineFunction &MF) {
987 unsigned Size = 0;
Jeffrey Yasskind49e3572010-03-04 06:50:01 +0000988 SmallPtrSet<const GlobalVariable*, 8> SeenGlobals;
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000989
Eric Christopherea644f72009-11-12 03:12:18 +0000990 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +0000991 MBB != E; ++MBB) {
992 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
993 I != E; ++I) {
994 const TargetInstrDesc &Desc = I->getDesc();
995 const MachineInstr &MI = *I;
996 unsigned NumOps = Desc.getNumOperands();
997 for (unsigned CurOp = 0; CurOp < NumOps; CurOp++) {
998 const MachineOperand &MO = MI.getOperand(CurOp);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000999 if (MO.isGlobal()) {
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001000 GlobalValue* V = MO.getGlobal();
1001 const GlobalVariable *GV = dyn_cast<const GlobalVariable>(V);
1002 if (!GV)
1003 continue;
1004 // If seen in previous function, it will have an entry here.
1005 if (TheJIT->getPointerToGlobalIfAvailable(GV))
1006 continue;
1007 // If seen earlier in this function, it will have an entry here.
1008 // FIXME: it should be possible to combine these tables, by
1009 // assuming the addresses of the new globals in this module
1010 // start at 0 (or something) and adjusting them after codegen
1011 // complete. Another possibility is to grab a marker bit in GV.
Jeffrey Yasskind49e3572010-03-04 06:50:01 +00001012 if (SeenGlobals.insert(GV))
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001013 // A variable as yet unseen. Add in its size.
1014 Size = addSizeOfGlobal(GV, Size);
1015 }
1016 }
1017 }
1018 }
David Greene3f220e22010-01-05 01:23:36 +00001019 DEBUG(dbgs() << "JIT: About to look through initializers\n");
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001020 // Look for more globals that are referenced only from initializers.
Jeffrey Yasskind49e3572010-03-04 06:50:01 +00001021 SmallVector<const GlobalVariable*, 8> Worklist(
1022 SeenGlobals.begin(), SeenGlobals.end());
1023 while (!Worklist.empty()) {
1024 const GlobalVariable* GV = Worklist.back();
1025 Worklist.pop_back();
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001026 if (GV->hasInitializer())
Jeffrey Yasskind49e3572010-03-04 06:50:01 +00001027 Size = addSizeOfGlobalsInInitializer(GV->getInitializer(), Size,
1028 SeenGlobals, Worklist);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001029 }
1030
1031 return Size;
1032}
1033
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001034void JITEmitter::startFunction(MachineFunction &F) {
David Greene3f220e22010-01-05 01:23:36 +00001035 DEBUG(dbgs() << "JIT: Starting CodeGen of Function "
Daniel Dunbar005975c2009-07-25 00:23:56 +00001036 << F.getFunction()->getName() << "\n");
Evan Chengd6599362008-11-06 17:46:04 +00001037
Nicolas Geoffray68847972008-04-18 20:59:31 +00001038 uintptr_t ActualSize = 0;
Jim Grosbach724b1812008-10-03 16:17:20 +00001039 // Set the memory writable, if it's not already
1040 MemMgr->setMemoryWritable();
Nicolas Geoffrayf748af22008-04-20 17:44:19 +00001041 if (MemMgr->NeedsExactSize()) {
David Greene3f220e22010-01-05 01:23:36 +00001042 DEBUG(dbgs() << "JIT: ExactSize\n");
Nicolas Geoffray68847972008-04-18 20:59:31 +00001043 const TargetInstrInfo* TII = F.getTarget().getInstrInfo();
Nicolas Geoffray68847972008-04-18 20:59:31 +00001044 MachineConstantPool *MCP = F.getConstantPool();
Eric Christopherea644f72009-11-12 03:12:18 +00001045
Nicolas Geoffray68847972008-04-18 20:59:31 +00001046 // Ensure the constant pool/jump table info is at least 4-byte aligned.
Nicolas Geoffray5a80b292008-04-20 23:39:44 +00001047 ActualSize = RoundUpToAlign(ActualSize, 16);
Eric Christopherea644f72009-11-12 03:12:18 +00001048
Nicolas Geoffray68847972008-04-18 20:59:31 +00001049 // Add the alignment of the constant pool
Evan Cheng68c18682009-03-13 07:51:59 +00001050 ActualSize = RoundUpToAlign(ActualSize, MCP->getConstantPoolAlignment());
Nicolas Geoffray68847972008-04-18 20:59:31 +00001051
1052 // Add the constant pool size
Evan Cheng68c18682009-03-13 07:51:59 +00001053 ActualSize += GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
Nicolas Geoffray68847972008-04-18 20:59:31 +00001054
Chris Lattner1d196bc2010-01-25 23:26:13 +00001055 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo()) {
1056 // Add the aligment of the jump table info
1057 ActualSize = RoundUpToAlign(ActualSize,
1058 MJTI->getEntryAlignment(*TheJIT->getTargetData()));
Nicolas Geoffray68847972008-04-18 20:59:31 +00001059
Chris Lattner1d196bc2010-01-25 23:26:13 +00001060 // Add the jump table size
Jeffrey Yasskinc0577082010-02-11 01:07:39 +00001061 ActualSize += GetJumpTableSizeInBytes(MJTI, TheJIT);
Chris Lattner1d196bc2010-01-25 23:26:13 +00001062 }
Eric Christopherea644f72009-11-12 03:12:18 +00001063
Nicolas Geoffray68847972008-04-18 20:59:31 +00001064 // Add the alignment for the function
Nicolas Geoffray5a80b292008-04-20 23:39:44 +00001065 ActualSize = RoundUpToAlign(ActualSize,
1066 std::max(F.getFunction()->getAlignment(), 8U));
Nicolas Geoffray68847972008-04-18 20:59:31 +00001067
1068 // Add the function size
1069 ActualSize += TII->GetFunctionSizeInBytes(F);
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001070
David Greene3f220e22010-01-05 01:23:36 +00001071 DEBUG(dbgs() << "JIT: ActualSize before globals " << ActualSize << "\n");
Dale Johannesen0ba4a0e2008-08-07 01:30:15 +00001072 // Add the size of the globals that will be allocated after this function.
1073 // These are all the ones referenced from this function that were not
1074 // previously allocated.
1075 ActualSize += GetSizeOfGlobalsInBytes(F);
David Greene3f220e22010-01-05 01:23:36 +00001076 DEBUG(dbgs() << "JIT: ActualSize after globals " << ActualSize << "\n");
Reid Klecknercc492292009-07-23 21:46:56 +00001077 } else if (SizeEstimate > 0) {
1078 // SizeEstimate will be non-zero on reallocation attempts.
1079 ActualSize = SizeEstimate;
Nicolas Geoffray68847972008-04-18 20:59:31 +00001080 }
1081
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001082 BufferBegin = CurBufferPtr = MemMgr->startFunctionBody(F.getFunction(),
1083 ActualSize);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001084 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin2512e352009-10-20 18:13:21 +00001085 EmittedFunctions[F.getFunction()].FunctionBody = BufferBegin;
1086
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001087 // Ensure the constant pool/jump table info is at least 4-byte aligned.
1088 emitAlignment(16);
1089
1090 emitConstantPool(F.getConstantPool());
Chris Lattner1d196bc2010-01-25 23:26:13 +00001091 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo())
1092 initJumpTableInfo(MJTI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001093
1094 // About to start emitting the machine code for the function.
1095 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
1096 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Jeffrey Yasskin1291fce62009-10-27 00:03:05 +00001097 EmittedFunctions[F.getFunction()].Code = CurBufferPtr;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001098
1099 MBBLocations.clear();
Jeffrey Yasskin8ad296e2009-07-16 21:07:26 +00001100
1101 EmissionDetails.MF = &F;
1102 EmissionDetails.LineStarts.clear();
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001103}
1104
1105bool JITEmitter::finishFunction(MachineFunction &F) {
1106 if (CurBufferPtr == BufferEnd) {
Reid Klecknercc492292009-07-23 21:46:56 +00001107 // We must call endFunctionBody before retrying, because
1108 // deallocateMemForFunction requires it.
1109 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
1110 retryWithMoreMemory(F);
1111 return true;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001112 }
Reid Klecknercc492292009-07-23 21:46:56 +00001113
Chris Lattner1d196bc2010-01-25 23:26:13 +00001114 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo())
1115 emitJumpTableInfo(MJTI);
Reid Klecknercc492292009-07-23 21:46:56 +00001116
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001117 // FnStart is the start of the text, not the start of the constant pool and
1118 // other per-function data.
Bruno Cardoso Lopes214ae972009-06-04 00:15:51 +00001119 uint8_t *FnStart =
1120 (uint8_t *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001121
Argiris Kirtzidisb9e97bc2009-04-30 23:01:58 +00001122 // FnEnd is the end of the function's machine code.
Bruno Cardoso Lopes214ae972009-06-04 00:15:51 +00001123 uint8_t *FnEnd = CurBufferPtr;
Argiris Kirtzidisb9e97bc2009-04-30 23:01:58 +00001124
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001125 if (!Relocations.empty()) {
Nate Begemana5645962009-03-05 06:34:37 +00001126 CurFn = F.getFunction();
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001127 NumRelos += Relocations.size();
1128
1129 // Resolve the relocations to concrete pointers.
1130 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
1131 MachineRelocation &MR = Relocations[i];
Evan Cheng1cf55bb2008-11-03 07:14:02 +00001132 void *ResultPtr = 0;
Evan Chengc5fe01b2008-10-29 23:54:46 +00001133 if (!MR.letTargetResolve()) {
Evan Cheng2976cd12008-11-08 07:37:34 +00001134 if (MR.isExternalSymbol()) {
Dan Gohman0ae39622009-01-05 05:32:42 +00001135 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getExternalSymbol(),
1136 false);
David Greene3f220e22010-01-05 01:23:36 +00001137 DEBUG(dbgs() << "JIT: Map \'" << MR.getExternalSymbol() << "\' to ["
Eric Christopherea644f72009-11-12 03:12:18 +00001138 << ResultPtr << "]\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001139
Evan Chengc5fe01b2008-10-29 23:54:46 +00001140 // If the target REALLY wants a stub for this function, emit it now.
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +00001141 if (MR.mayNeedFarStub()) {
Jeffrey Yasskin35294ef2009-11-09 22:34:19 +00001142 ResultPtr = Resolver.getExternalFunctionStub(ResultPtr);
Nate Begemand1718c42009-03-11 07:03:43 +00001143 }
Evan Chengc5fe01b2008-10-29 23:54:46 +00001144 } else if (MR.isGlobalValue()) {
1145 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
1146 BufferBegin+MR.getMachineCodeOffset(),
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +00001147 MR.mayNeedFarStub());
Evan Chengb0ebcb42008-11-10 01:52:24 +00001148 } else if (MR.isIndirectSymbol()) {
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +00001149 ResultPtr = getPointerToGVIndirectSym(
1150 MR.getGlobalValue(), BufferBegin+MR.getMachineCodeOffset());
Evan Chengc5fe01b2008-10-29 23:54:46 +00001151 } else if (MR.isBasicBlock()) {
1152 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
1153 } else if (MR.isConstantPoolIndex()) {
1154 ResultPtr = (void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
1155 } else {
1156 assert(MR.isJumpTableIndex());
1157 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
1158 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001159
Evan Chengc5fe01b2008-10-29 23:54:46 +00001160 MR.setResultPointer(ResultPtr);
1161 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001162
1163 // if we are managing the GOT and the relocation wants an index,
1164 // give it one
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001165 if (MR.isGOTRelative() && MemMgr->isManagingGOT()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001166 unsigned idx = Resolver.getGOTIndexForAddr(ResultPtr);
1167 MR.setGOTIndex(idx);
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001168 if (((void**)MemMgr->getGOTBase())[idx] != ResultPtr) {
David Greene3f220e22010-01-05 01:23:36 +00001169 DEBUG(dbgs() << "JIT: GOT was out of date for " << ResultPtr
Chris Lattner2b40c562009-08-23 06:35:02 +00001170 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
1171 << "\n");
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001172 ((void**)MemMgr->getGOTBase())[idx] = ResultPtr;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001173 }
1174 }
1175 }
1176
Nate Begemana5645962009-03-05 06:34:37 +00001177 CurFn = 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001178 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001179 Relocations.size(), MemMgr->getGOTBase());
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001180 }
1181
1182 // Update the GOT entry for F to point to the new code.
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001183 if (MemMgr->isManagingGOT()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001184 unsigned idx = Resolver.getGOTIndexForAddr((void*)BufferBegin);
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001185 if (((void**)MemMgr->getGOTBase())[idx] != (void*)BufferBegin) {
David Greene3f220e22010-01-05 01:23:36 +00001186 DEBUG(dbgs() << "JIT: GOT was out of date for " << (void*)BufferBegin
Chris Lattner2b40c562009-08-23 06:35:02 +00001187 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
1188 << "\n");
Chris Lattnerc8ad39c2007-12-05 23:39:57 +00001189 ((void**)MemMgr->getGOTBase())[idx] = (void*)BufferBegin;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001190 }
1191 }
1192
Argiris Kirtzidisb9e97bc2009-04-30 23:01:58 +00001193 // CurBufferPtr may have moved beyond FnEnd, due to memory allocation for
1194 // global variables that were referenced in the relocations.
1195 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
Evan Cheng6e561c72008-12-10 02:32:19 +00001196
1197 if (CurBufferPtr == BufferEnd) {
Reid Klecknercc492292009-07-23 21:46:56 +00001198 retryWithMoreMemory(F);
1199 return true;
1200 } else {
1201 // Now that we've succeeded in emitting the function, reset the
1202 // SizeEstimate back down to zero.
1203 SizeEstimate = 0;
Evan Cheng6e561c72008-12-10 02:32:19 +00001204 }
1205
Nuno Lopes1ab7adc2008-10-21 11:42:16 +00001206 BufferBegin = CurBufferPtr = 0;
1207 NumBytes += FnEnd-FnStart;
1208
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001209 // Invalidate the icache if necessary.
Chris Lattner88f51632008-06-25 17:18:44 +00001210 sys::Memory::InvalidateInstructionCache(FnStart, FnEnd-FnStart);
Jeffrey Yasskinf8d55342009-06-25 02:04:04 +00001211
Jeffrey Yasskinf8d55342009-06-25 02:04:04 +00001212 TheJIT->NotifyFunctionEmitted(*F.getFunction(), FnStart, FnEnd-FnStart,
Jeffrey Yasskin8ad296e2009-07-16 21:07:26 +00001213 EmissionDetails);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001214
David Greene3f220e22010-01-05 01:23:36 +00001215 DEBUG(dbgs() << "JIT: Finished CodeGen of [" << (void*)FnStart
Daniel Dunbar005975c2009-07-25 00:23:56 +00001216 << "] Function: " << F.getFunction()->getName()
1217 << ": " << (FnEnd-FnStart) << " bytes of text, "
1218 << Relocations.size() << " relocations\n");
Argiris Kirtzidis6841c1a2009-05-18 21:06:40 +00001219
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001220 Relocations.clear();
Evan Cheng68c18682009-03-13 07:51:59 +00001221 ConstPoolAddresses.clear();
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001222
Evan Chengb83f6972008-09-18 07:54:21 +00001223 // Mark code region readable and executable if it's not so already.
Jim Grosbach724b1812008-10-03 16:17:20 +00001224 MemMgr->setMemoryExecutable();
Evan Chengb83f6972008-09-18 07:54:21 +00001225
Chris Lattner2b40c562009-08-23 06:35:02 +00001226 DEBUG(
Evan Chengb81ef082008-11-12 08:22:43 +00001227 if (sys::hasDisassembler()) {
David Greene3f220e22010-01-05 01:23:36 +00001228 dbgs() << "JIT: Disassembled code:\n";
1229 dbgs() << sys::disassembleBuffer(FnStart, FnEnd-FnStart,
Chris Lattner2b40c562009-08-23 06:35:02 +00001230 (uintptr_t)FnStart);
Evan Chengb81ef082008-11-12 08:22:43 +00001231 } else {
David Greene3f220e22010-01-05 01:23:36 +00001232 dbgs() << "JIT: Binary code:\n";
Bruno Cardoso Lopes214ae972009-06-04 00:15:51 +00001233 uint8_t* q = FnStart;
Evan Chengb81ef082008-11-12 08:22:43 +00001234 for (int i = 0; q < FnEnd; q += 4, ++i) {
1235 if (i == 4)
1236 i = 0;
1237 if (i == 0)
David Greene3f220e22010-01-05 01:23:36 +00001238 dbgs() << "JIT: " << (long)(q - FnStart) << ": ";
Evan Chengb81ef082008-11-12 08:22:43 +00001239 bool Done = false;
1240 for (int j = 3; j >= 0; --j) {
1241 if (q + j >= FnEnd)
1242 Done = true;
1243 else
David Greene3f220e22010-01-05 01:23:36 +00001244 dbgs() << (unsigned short)q[j];
Evan Chengb81ef082008-11-12 08:22:43 +00001245 }
1246 if (Done)
1247 break;
David Greene3f220e22010-01-05 01:23:36 +00001248 dbgs() << ' ';
Evan Chengb81ef082008-11-12 08:22:43 +00001249 if (i == 3)
David Greene3f220e22010-01-05 01:23:36 +00001250 dbgs() << '\n';
Evan Cheng23dbb902008-11-05 23:44:08 +00001251 }
David Greene3f220e22010-01-05 01:23:36 +00001252 dbgs()<< '\n';
Evan Cheng23dbb902008-11-05 23:44:08 +00001253 }
Chris Lattner2b40c562009-08-23 06:35:02 +00001254 );
1255
Reid Kleckner738b4f22009-09-20 23:52:43 +00001256 if (DwarfExceptionHandling || JITEmitDebugInfo) {
Nicolas Geoffray68847972008-04-18 20:59:31 +00001257 uintptr_t ActualSize = 0;
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001258 SavedBufferBegin = BufferBegin;
1259 SavedBufferEnd = BufferEnd;
1260 SavedCurBufferPtr = CurBufferPtr;
Reid Kleckner738b4f22009-09-20 23:52:43 +00001261
Nicolas Geoffrayf748af22008-04-20 17:44:19 +00001262 if (MemMgr->NeedsExactSize()) {
1263 ActualSize = DE->GetDwarfTableSizeInBytes(F, *this, FnStart, FnEnd);
Nicolas Geoffray68847972008-04-18 20:59:31 +00001264 }
Nicolas Geoffray0e757e12008-02-13 18:39:37 +00001265
1266 BufferBegin = CurBufferPtr = MemMgr->startExceptionTable(F.getFunction(),
1267 ActualSize);
1268 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin2512e352009-10-20 18:13:21 +00001269 EmittedFunctions[F.getFunction()].ExceptionTable = BufferBegin;
Reid Kleckner738b4f22009-09-20 23:52:43 +00001270 uint8_t *EhStart;
1271 uint8_t *FrameRegister = DE->EmitDwarfTable(F, *this, FnStart, FnEnd,
1272 EhStart);
Chris Lattner3d46fe02008-03-07 20:05:43 +00001273 MemMgr->endExceptionTable(F.getFunction(), BufferBegin, CurBufferPtr,
1274 FrameRegister);
Reid Kleckner738b4f22009-09-20 23:52:43 +00001275 uint8_t *EhEnd = CurBufferPtr;
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001276 BufferBegin = SavedBufferBegin;
1277 BufferEnd = SavedBufferEnd;
1278 CurBufferPtr = SavedCurBufferPtr;
Nicolas Geoffray0e757e12008-02-13 18:39:37 +00001279
Reid Kleckner738b4f22009-09-20 23:52:43 +00001280 if (DwarfExceptionHandling) {
1281 TheJIT->RegisterTable(FrameRegister);
1282 }
1283
1284 if (JITEmitDebugInfo) {
1285 DebugInfo I;
1286 I.FnStart = FnStart;
1287 I.FnEnd = FnEnd;
1288 I.EhStart = EhStart;
1289 I.EhEnd = EhEnd;
1290 DR->RegisterFunction(F.getFunction(), I);
1291 }
Nicolas Geoffray0e757e12008-02-13 18:39:37 +00001292 }
Evan Chengca346e62008-09-02 08:14:01 +00001293
1294 if (MMI)
1295 MMI->EndFunction();
Eric Christopherea644f72009-11-12 03:12:18 +00001296
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001297 return false;
1298}
1299
Reid Klecknercc492292009-07-23 21:46:56 +00001300void JITEmitter::retryWithMoreMemory(MachineFunction &F) {
David Greene3f220e22010-01-05 01:23:36 +00001301 DEBUG(dbgs() << "JIT: Ran out of space for native code. Reattempting.\n");
Reid Klecknercc492292009-07-23 21:46:56 +00001302 Relocations.clear(); // Clear the old relocations or we'll reapply them.
1303 ConstPoolAddresses.clear();
1304 ++NumRetries;
1305 deallocateMemForFunction(F.getFunction());
1306 // Try again with at least twice as much free space.
1307 SizeEstimate = (uintptr_t)(2 * (BufferEnd - BufferBegin));
1308}
1309
Nate Begemana5645962009-03-05 06:34:37 +00001310/// deallocateMemForFunction - Deallocate all memory for the specified
1311/// function body. Also drop any references the function has to stubs.
Jeffrey Yasskin1291fce62009-10-27 00:03:05 +00001312/// May be called while the Function is being destroyed inside ~Value().
Reid Klecknercc492292009-07-23 21:46:56 +00001313void JITEmitter::deallocateMemForFunction(const Function *F) {
Jeffrey Yasskin1291fce62009-10-27 00:03:05 +00001314 ValueMap<const Function *, EmittedCode, EmittedFunctionConfig>::iterator
1315 Emitted = EmittedFunctions.find(F);
Jeffrey Yasskin2512e352009-10-20 18:13:21 +00001316 if (Emitted != EmittedFunctions.end()) {
1317 MemMgr->deallocateFunctionBody(Emitted->second.FunctionBody);
1318 MemMgr->deallocateExceptionTable(Emitted->second.ExceptionTable);
Jeffrey Yasskin1291fce62009-10-27 00:03:05 +00001319 TheJIT->NotifyFreeingMachineCode(Emitted->second.Code);
1320
Jeffrey Yasskin2512e352009-10-20 18:13:21 +00001321 EmittedFunctions.erase(Emitted);
1322 }
Nate Begemana5645962009-03-05 06:34:37 +00001323
Reid Kleckner738b4f22009-09-20 23:52:43 +00001324 // TODO: Do we need to unregister exception handling information from libgcc
1325 // here?
1326
1327 if (JITEmitDebugInfo) {
1328 DR->UnregisterFunction(F);
1329 }
Nate Begemana5645962009-03-05 06:34:37 +00001330}
1331
1332
Evan Cheng6e561c72008-12-10 02:32:19 +00001333void* JITEmitter::allocateSpace(uintptr_t Size, unsigned Alignment) {
Nuno Lopes1ab7adc2008-10-21 11:42:16 +00001334 if (BufferBegin)
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +00001335 return JITCodeEmitter::allocateSpace(Size, Alignment);
Nuno Lopes1ab7adc2008-10-21 11:42:16 +00001336
1337 // create a new memory block if there is no active one.
1338 // care must be taken so that BufferBegin is invalidated when a
1339 // block is trimmed
1340 BufferBegin = CurBufferPtr = MemMgr->allocateSpace(Size, Alignment);
1341 BufferEnd = BufferBegin+Size;
1342 return CurBufferPtr;
1343}
1344
Jeffrey Yasskin892956a2009-07-08 21:59:57 +00001345void* JITEmitter::allocateGlobal(uintptr_t Size, unsigned Alignment) {
1346 // Delegate this call through the memory manager.
1347 return MemMgr->allocateGlobal(Size, Alignment);
1348}
1349
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001350void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Evan Cheng68e5fc32008-11-07 09:02:17 +00001351 if (TheJIT->getJITInfo().hasCustomConstantPool())
Jim Grosbachbad01432008-10-30 23:44:39 +00001352 return;
Evan Cheng68e5fc32008-11-07 09:02:17 +00001353
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001354 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
1355 if (Constants.empty()) return;
1356
Evan Cheng68c18682009-03-13 07:51:59 +00001357 unsigned Size = GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
1358 unsigned Align = MCP->getConstantPoolAlignment();
Evan Cheng71c58872008-04-12 00:22:01 +00001359 ConstantPoolBase = allocateSpace(Size, Align);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001360 ConstantPool = MCP;
1361
1362 if (ConstantPoolBase == 0) return; // Buffer overflow.
1363
David Greene3f220e22010-01-05 01:23:36 +00001364 DEBUG(dbgs() << "JIT: Emitted constant pool at [" << ConstantPoolBase
Chris Lattner2b40c562009-08-23 06:35:02 +00001365 << "] (size: " << Size << ", alignment: " << Align << ")\n");
Evan Cheng71c58872008-04-12 00:22:01 +00001366
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001367 // Initialize the memory for all of the constant pool entries.
Evan Cheng68c18682009-03-13 07:51:59 +00001368 unsigned Offset = 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001369 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Evan Cheng68c18682009-03-13 07:51:59 +00001370 MachineConstantPoolEntry CPE = Constants[i];
1371 unsigned AlignMask = CPE.getAlignment() - 1;
1372 Offset = (Offset + AlignMask) & ~AlignMask;
1373
1374 uintptr_t CAddr = (uintptr_t)ConstantPoolBase + Offset;
1375 ConstPoolAddresses.push_back(CAddr);
1376 if (CPE.isMachineConstantPoolEntry()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001377 // FIXME: add support to lower machine constant pool values into bytes!
Edwin Törökced9ff82009-07-11 13:10:19 +00001378 llvm_report_error("Initialize memory with machine specific constant pool"
1379 "entry has not been implemented!");
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001380 }
Evan Cheng68c18682009-03-13 07:51:59 +00001381 TheJIT->InitializeMemory(CPE.Val.ConstVal, (void*)CAddr);
David Greene3f220e22010-01-05 01:23:36 +00001382 DEBUG(dbgs() << "JIT: CP" << i << " at [0x";
1383 dbgs().write_hex(CAddr) << "]\n");
Evan Cheng68c18682009-03-13 07:51:59 +00001384
1385 const Type *Ty = CPE.Val.ConstVal->getType();
Duncan Sandsec4f97d2009-05-09 07:06:46 +00001386 Offset += TheJIT->getTargetData()->getTypeAllocSize(Ty);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001387 }
1388}
1389
1390void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng68e5fc32008-11-07 09:02:17 +00001391 if (TheJIT->getJITInfo().hasCustomJumpTables())
1392 return;
Richard Osborne9f3cfe62010-03-11 14:58:16 +00001393 if (MJTI->getEntryKind() == MachineJumpTableInfo::EK_Inline)
1394 return;
Evan Cheng68e5fc32008-11-07 09:02:17 +00001395
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001396 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1397 if (JT.empty()) return;
Eric Christopherea644f72009-11-12 03:12:18 +00001398
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001399 unsigned NumEntries = 0;
1400 for (unsigned i = 0, e = JT.size(); i != e; ++i)
1401 NumEntries += JT[i].MBBs.size();
1402
Chris Lattner1d196bc2010-01-25 23:26:13 +00001403 unsigned EntrySize = MJTI->getEntrySize(*TheJIT->getTargetData());
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001404
1405 // Just allocate space for all the jump tables now. We will fix up the actual
1406 // MBB entries in the tables after we emit the code for each block, since then
1407 // we will know the final locations of the MBBs in memory.
1408 JumpTable = MJTI;
Chris Lattner1d196bc2010-01-25 23:26:13 +00001409 JumpTableBase = allocateSpace(NumEntries * EntrySize,
1410 MJTI->getEntryAlignment(*TheJIT->getTargetData()));
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001411}
1412
1413void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng68e5fc32008-11-07 09:02:17 +00001414 if (TheJIT->getJITInfo().hasCustomJumpTables())
1415 return;
1416
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001417 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1418 if (JT.empty() || JumpTableBase == 0) return;
Eric Christopherea644f72009-11-12 03:12:18 +00001419
Chris Lattnere3de1b02010-01-26 03:47:15 +00001420
1421 switch (MJTI->getEntryKind()) {
Richard Osborne9f3cfe62010-03-11 14:58:16 +00001422 case MachineJumpTableInfo::EK_Inline:
1423 return;
Chris Lattnere3de1b02010-01-26 03:47:15 +00001424 case MachineJumpTableInfo::EK_BlockAddress: {
1425 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
1426 // .word LBB123
1427 assert(MJTI->getEntrySize(*TheJIT->getTargetData()) == sizeof(void*) &&
1428 "Cross JIT'ing?");
1429
1430 // For each jump table, map each target in the jump table to the address of
1431 // an emitted MachineBasicBlock.
1432 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
1433
1434 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1435 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1436 // Store the address of the basic block for this jump table slot in the
1437 // memory we allocated for the jump table in 'initJumpTableInfo'
1438 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
1439 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
1440 }
1441 break;
1442 }
1443
Chris Lattner8ef60fc2010-01-26 04:05:28 +00001444 case MachineJumpTableInfo::EK_Custom32:
Chris Lattnere3de1b02010-01-26 03:47:15 +00001445 case MachineJumpTableInfo::EK_GPRel32BlockAddress:
1446 case MachineJumpTableInfo::EK_LabelDifference32: {
Chris Lattner1d196bc2010-01-25 23:26:13 +00001447 assert(MJTI->getEntrySize(*TheJIT->getTargetData()) == 4&&"Cross JIT'ing?");
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001448 // For each jump table, place the offset from the beginning of the table
1449 // to the target address.
1450 int *SlotPtr = (int*)JumpTableBase;
1451
1452 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1453 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1454 // Store the offset of the basic block for this jump table slot in the
1455 // memory we allocated for the jump table in 'initJumpTableInfo'
Evan Cheng6e561c72008-12-10 02:32:19 +00001456 uintptr_t Base = (uintptr_t)SlotPtr;
Evan Chengaf743252008-01-05 02:26:58 +00001457 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) {
Evan Cheng6e561c72008-12-10 02:32:19 +00001458 uintptr_t MBBAddr = getMachineBasicBlockAddress(MBBs[mi]);
Chris Lattnere3de1b02010-01-26 03:47:15 +00001459 /// FIXME: USe EntryKind instead of magic "getPICJumpTableEntry" hook.
Evan Chengaf743252008-01-05 02:26:58 +00001460 *SlotPtr++ = TheJIT->getJITInfo().getPICJumpTableEntry(MBBAddr, Base);
1461 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001462 }
Chris Lattnere3de1b02010-01-26 03:47:15 +00001463 break;
1464 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001465 }
1466}
1467
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001468void JITEmitter::startGVStub(const GlobalValue* GV,
Jeffrey Yasskin89acd2f2009-11-23 22:49:00 +00001469 unsigned StubSize, unsigned Alignment) {
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001470 SavedBufferBegin = BufferBegin;
1471 SavedBufferEnd = BufferEnd;
1472 SavedCurBufferPtr = CurBufferPtr;
Eric Christopherea644f72009-11-12 03:12:18 +00001473
Evan Cheng2c3267a2008-11-08 08:02:53 +00001474 BufferBegin = CurBufferPtr = MemMgr->allocateStub(GV, StubSize, Alignment);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001475 BufferEnd = BufferBegin+StubSize+1;
1476}
1477
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001478void JITEmitter::startGVStub(void *Buffer, unsigned StubSize) {
1479 SavedBufferBegin = BufferBegin;
1480 SavedBufferEnd = BufferEnd;
1481 SavedCurBufferPtr = CurBufferPtr;
Eric Christopherea644f72009-11-12 03:12:18 +00001482
Bruno Cardoso Lopes214ae972009-06-04 00:15:51 +00001483 BufferBegin = CurBufferPtr = (uint8_t *)Buffer;
Nate Begeman7b1a8472009-02-18 08:31:02 +00001484 BufferEnd = BufferBegin+StubSize+1;
1485}
1486
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001487void JITEmitter::finishGVStub() {
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +00001488 assert(CurBufferPtr != BufferEnd && "Stub overflowed allocated space.");
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001489 NumBytes += getCurrentPCOffset();
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001490 BufferBegin = SavedBufferBegin;
1491 BufferEnd = SavedBufferEnd;
1492 CurBufferPtr = SavedCurBufferPtr;
1493}
1494
1495void *JITEmitter::allocIndirectGV(const GlobalValue *GV,
1496 const uint8_t *Buffer, size_t Size,
1497 unsigned Alignment) {
1498 uint8_t *IndGV = MemMgr->allocateStub(GV, Size, Alignment);
1499 memcpy(IndGV, Buffer, Size);
1500 return IndGV;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001501}
1502
1503// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
1504// in the constant pool that was last emitted with the 'emitConstantPool'
1505// method.
1506//
Evan Cheng6e561c72008-12-10 02:32:19 +00001507uintptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001508 assert(ConstantNum < ConstantPool->getConstants().size() &&
1509 "Invalid ConstantPoolIndex!");
Evan Cheng68c18682009-03-13 07:51:59 +00001510 return ConstPoolAddresses[ConstantNum];
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001511}
1512
1513// getJumpTableEntryAddress - Return the address of the JumpTable with index
1514// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
1515//
Evan Cheng6e561c72008-12-10 02:32:19 +00001516uintptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001517 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
1518 assert(Index < JT.size() && "Invalid jump table index!");
Eric Christopherea644f72009-11-12 03:12:18 +00001519
Chris Lattner1d196bc2010-01-25 23:26:13 +00001520 unsigned EntrySize = JumpTable->getEntrySize(*TheJIT->getTargetData());
Eric Christopherea644f72009-11-12 03:12:18 +00001521
Chris Lattner1d196bc2010-01-25 23:26:13 +00001522 unsigned Offset = 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001523 for (unsigned i = 0; i < Index; ++i)
1524 Offset += JT[i].MBBs.size();
Eric Christopherea644f72009-11-12 03:12:18 +00001525
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001526 Offset *= EntrySize;
Eric Christopherea644f72009-11-12 03:12:18 +00001527
Evan Cheng6e561c72008-12-10 02:32:19 +00001528 return (uintptr_t)((char *)JumpTableBase + Offset);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001529}
1530
Jeffrey Yasskin1291fce62009-10-27 00:03:05 +00001531void JITEmitter::EmittedFunctionConfig::onDelete(
1532 JITEmitter *Emitter, const Function *F) {
1533 Emitter->deallocateMemForFunction(F);
1534}
1535void JITEmitter::EmittedFunctionConfig::onRAUW(
1536 JITEmitter *, const Function*, const Function*) {
1537 llvm_unreachable("The JIT doesn't know how to handle a"
1538 " RAUW on a value it has emitted.");
1539}
1540
1541
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001542//===----------------------------------------------------------------------===//
1543// Public interface to this file
1544//===----------------------------------------------------------------------===//
1545
Reid Kleckner738b4f22009-09-20 23:52:43 +00001546JITCodeEmitter *JIT::createEmitter(JIT &jit, JITMemoryManager *JMM,
1547 TargetMachine &tm) {
1548 return new JITEmitter(jit, JMM, tm);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001549}
1550
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001551// getPointerToFunctionOrStub - If the specified function has been
1552// code-gen'd, return a pointer to the function. If not, compile it, or use
1553// a stub to implement lazy compilation if available.
1554//
1555void *JIT::getPointerToFunctionOrStub(Function *F) {
1556 // If we have already code generated the function, just return the address.
1557 if (void *Addr = getPointerToGlobalIfAvailable(F))
1558 return Addr;
Eric Christopherea644f72009-11-12 03:12:18 +00001559
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001560 // Get a stub if the target supports it.
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +00001561 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Evan Cheng89b29a12008-08-20 00:28:12 +00001562 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +00001563 return JE->getJITResolver().getLazyFunctionStub(F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001564}
1565
Nate Begeman7b1a8472009-02-18 08:31:02 +00001566void JIT::updateFunctionStub(Function *F) {
1567 // Get the empty stub we generated earlier.
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +00001568 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Nate Begeman7b1a8472009-02-18 08:31:02 +00001569 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +00001570 void *Stub = JE->getJITResolver().getLazyFunctionStub(F);
1571 void *Addr = getPointerToGlobalIfAvailable(F);
Jeffrey Yasskin898fb792009-12-17 21:35:29 +00001572 assert(Addr != Stub && "Function must have non-stub address to be updated.");
Nate Begeman7b1a8472009-02-18 08:31:02 +00001573
1574 // Tell the target jit info to rewrite the stub at the specified address,
1575 // rather than creating a new one.
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +00001576 TargetJITInfo::StubLayout layout = getJITInfo().getStubLayout();
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001577 JE->startGVStub(Stub, layout.Size);
Jeffrey Yasskinf8f9acf2009-11-23 23:35:19 +00001578 getJITInfo().emitFunctionStub(F, Addr, *getCodeEmitter());
Jeffrey Yasskin43a22282009-12-15 22:42:46 +00001579 JE->finishGVStub();
Nate Begeman7b1a8472009-02-18 08:31:02 +00001580}
1581
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001582/// freeMachineCodeForFunction - release machine code memory for given Function.
1583///
1584void JIT::freeMachineCodeForFunction(Function *F) {
1585 // Delete translation for this from the ExecutionEngine, so it will get
1586 // retranslated next time it is used.
Jeffrey Yasskin1291fce62009-10-27 00:03:05 +00001587 updateGlobalMapping(F, 0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001588
1589 // Free the actual memory for the function body and related stuff.
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +00001590 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
1591 cast<JITEmitter>(JCE)->deallocateMemForFunction(F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001592}