blob: e3523ff80fe02d1ef42270a88774a3535523e2a9 [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"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000023#include "llvm/CodeGen/JITCodeEmitter.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000024#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000025#include "llvm/CodeGen/MachineConstantPool.h"
Nate Begeman37efe672006-04-22 18:53:45 +000026#include "llvm/CodeGen/MachineJumpTableInfo.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000027#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000028#include "llvm/CodeGen/MachineRelocation.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000029#include "llvm/ExecutionEngine/GenericValue.h"
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +000030#include "llvm/ExecutionEngine/JITEventListener.h"
31#include "llvm/ExecutionEngine/JITMemoryManager.h"
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +000032#include "llvm/CodeGen/MachineCodeInfo.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000033#include "llvm/Target/TargetData.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000034#include "llvm/Target/TargetJITInfo.h"
Jim Laskeyacd80ac2006-12-14 19:17:33 +000035#include "llvm/Target/TargetMachine.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000036#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000037#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000038#include "llvm/Support/ErrorHandling.h"
Chris Lattnere7fd5532006-05-08 22:00:52 +000039#include "llvm/Support/MutexGuard.h"
Nick Lewycky848b3142009-04-19 18:32:03 +000040#include "llvm/Support/ValueHandle.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000041#include "llvm/Support/raw_ostream.h"
Anton Korobeynikovfd58e6e2007-01-23 10:26:08 +000042#include "llvm/System/Disassembler.h"
Chris Lattnerbc52cad2008-06-25 17:18:44 +000043#include "llvm/System/Memory.h"
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +000044#include "llvm/Target/TargetInstrInfo.h"
Jeffrey Yasskin1e861322009-10-20 18:13:21 +000045#include "llvm/ADT/DenseMap.h"
Evan Cheng47c01a02008-11-07 09:02:17 +000046#include "llvm/ADT/SmallPtrSet.h"
Nate Begemand6b7a242009-02-18 08:31:02 +000047#include "llvm/ADT/SmallVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000048#include "llvm/ADT/Statistic.h"
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000049#include "llvm/ADT/ValueMap.h"
Andrew Lenhartha00269b2005-07-29 23:40:16 +000050#include <algorithm>
Evan Chenga7916f52008-11-05 23:44:08 +000051#ifndef NDEBUG
52#include <iomanip>
53#endif
Chris Lattnerc19aade2003-12-08 08:06:28 +000054using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000055
Chris Lattner36343732006-12-19 22:43:32 +000056STATISTIC(NumBytes, "Number of bytes of machine code compiled");
57STATISTIC(NumRelos, "Number of relocations applied");
Reid Kleckner10b4fc52009-07-23 21:46:56 +000058STATISTIC(NumRetries, "Number of retries with more memory");
Chris Lattner36343732006-12-19 22:43:32 +000059static JIT *TheJIT = 0;
Chris Lattner54266522004-11-20 23:57:07 +000060
Andrew Lenhartha00269b2005-07-29 23:40:16 +000061
Chris Lattner54266522004-11-20 23:57:07 +000062//===----------------------------------------------------------------------===//
63// JIT lazy compilation code.
64//
65namespace {
Jeffrey Yasskine637c192009-11-07 00:00:10 +000066 class JITEmitter;
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000067 class JITResolverState;
68
69 template<typename ValueTy>
70 struct NoRAUWValueMapConfig : public ValueMapConfig<ValueTy> {
71 typedef JITResolverState *ExtraData;
72 static void onRAUW(JITResolverState *, Value *Old, Value *New) {
73 assert(false && "The JIT doesn't know how to handle a"
74 " RAUW on a value it has emitted.");
75 }
76 };
77
78 struct CallSiteValueMapConfig : public NoRAUWValueMapConfig<Function*> {
79 typedef JITResolverState *ExtraData;
80 static void onDelete(JITResolverState *JRS, Function *F);
81 };
82
Reid Spenceree448632005-07-12 15:51:55 +000083 class JITResolverState {
Nick Lewyckye2bcf132009-04-27 05:09:44 +000084 public:
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000085 typedef ValueMap<Function*, void*, NoRAUWValueMapConfig<Function*> >
Jeffrey Yasskin108c8382009-11-23 23:35:19 +000086 FunctionToLazyStubMapTy;
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +000087 typedef std::map<void*, AssertingVH<Function> > CallSiteToFunctionMapTy;
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000088 typedef ValueMap<Function *, SmallPtrSet<void*, 1>,
89 CallSiteValueMapConfig> FunctionToCallSitesMapTy;
Nick Lewyckye2bcf132009-04-27 05:09:44 +000090 typedef std::map<AssertingVH<GlobalValue>, void*> GlobalToIndirectSymMapTy;
Reid Spenceree448632005-07-12 15:51:55 +000091 private:
Jeffrey Yasskin108c8382009-11-23 23:35:19 +000092 /// FunctionToLazyStubMap - Keep track of the lazy stub created for a
93 /// particular function so that we can reuse them if necessary.
94 FunctionToLazyStubMapTy FunctionToLazyStubMap;
Reid Spenceree448632005-07-12 15:51:55 +000095
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +000096 /// CallSiteToFunctionMap - Keep track of the function that each lazy call
97 /// site corresponds to, and vice versa.
98 CallSiteToFunctionMapTy CallSiteToFunctionMap;
99 FunctionToCallSitesMapTy FunctionToCallSitesMap;
Jeff Cohen00b168892005-07-27 06:12:32 +0000100
Evan Cheng5594f122008-11-10 01:52:24 +0000101 /// GlobalToIndirectSymMap - Keep track of the indirect symbol created for a
Evan Chengbe8c03f2008-01-04 10:46:51 +0000102 /// particular GlobalVariable so that we can reuse them if necessary.
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000103 GlobalToIndirectSymMapTy GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000104
Reid Spenceree448632005-07-12 15:51:55 +0000105 public:
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000106 JITResolverState() : FunctionToLazyStubMap(this),
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000107 FunctionToCallSitesMap(this) {}
108
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000109 FunctionToLazyStubMapTy& getFunctionToLazyStubMap(
110 const MutexGuard& locked) {
Reid Spenceree448632005-07-12 15:51:55 +0000111 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000112 return FunctionToLazyStubMap;
Reid Spenceree448632005-07-12 15:51:55 +0000113 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000114
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000115 GlobalToIndirectSymMapTy& getGlobalToIndirectSymMap(const MutexGuard& locked) {
Evan Chengbe8c03f2008-01-04 10:46:51 +0000116 assert(locked.holds(TheJIT->lock));
Evan Cheng5594f122008-11-10 01:52:24 +0000117 return GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000118 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000119
120 pair<void *, Function *> LookupFunctionFromCallSite(
121 const MutexGuard &locked, void *CallSite) const {
122 assert(locked.holds(TheJIT->lock));
123
124 // The address given to us for the stub may not be exactly right, it might be
125 // a little bit after the stub. As such, use upper_bound to find it.
126 CallSiteToFunctionMapTy::const_iterator I =
127 CallSiteToFunctionMap.upper_bound(CallSite);
128 assert(I != CallSiteToFunctionMap.begin() &&
129 "This is not a known call site!");
130 --I;
131 return *I;
132 }
133
134 void AddCallSite(const MutexGuard &locked, void *CallSite, Function *F) {
135 assert(locked.holds(TheJIT->lock));
136
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000137 bool Inserted = CallSiteToFunctionMap.insert(
138 std::make_pair(CallSite, F)).second;
139 (void)Inserted;
140 assert(Inserted && "Pair was already in CallSiteToFunctionMap");
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000141 FunctionToCallSitesMap[F].insert(CallSite);
142 }
143
144 // Returns the Function of the stub if a stub was erased, or NULL if there
145 // was no stub. This function uses the call-site->function map to find a
146 // relevant function, but asserts that only stubs and not other call sites
147 // will be passed in.
148 Function *EraseStub(const MutexGuard &locked, void *Stub) {
149 CallSiteToFunctionMapTy::iterator C2F_I =
150 CallSiteToFunctionMap.find(Stub);
151 if (C2F_I == CallSiteToFunctionMap.end()) {
152 // Not a stub.
153 return NULL;
154 }
155
156 Function *const F = C2F_I->second;
157#ifndef NDEBUG
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000158 void *RealStub = FunctionToLazyStubMap.lookup(F);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000159 assert(RealStub == Stub &&
160 "Call-site that wasn't a stub pass in to EraseStub");
161#endif
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000162 FunctionToLazyStubMap.erase(F);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000163 CallSiteToFunctionMap.erase(C2F_I);
164
165 // Remove the stub from the function->call-sites map, and remove the whole
166 // entry from the map if that was the last call site.
167 FunctionToCallSitesMapTy::iterator F2C_I = FunctionToCallSitesMap.find(F);
168 assert(F2C_I != FunctionToCallSitesMap.end() &&
169 "FunctionToCallSitesMap broken");
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000170 bool Erased = F2C_I->second.erase(Stub);
171 (void)Erased;
172 assert(Erased && "FunctionToCallSitesMap broken");
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000173 if (F2C_I->second.empty())
174 FunctionToCallSitesMap.erase(F2C_I);
175
176 return F;
177 }
178
179 void EraseAllCallSites(const MutexGuard &locked, Function *F) {
180 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000181 EraseAllCallSitesPrelocked(F);
182 }
183 void EraseAllCallSitesPrelocked(Function *F) {
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000184 FunctionToCallSitesMapTy::iterator F2C = FunctionToCallSitesMap.find(F);
185 if (F2C == FunctionToCallSitesMap.end())
186 return;
187 for (SmallPtrSet<void*, 1>::const_iterator I = F2C->second.begin(),
188 E = F2C->second.end(); I != E; ++I) {
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000189 bool Erased = CallSiteToFunctionMap.erase(*I);
190 (void)Erased;
191 assert(Erased && "Missing call site->function mapping");
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000192 }
193 FunctionToCallSitesMap.erase(F2C);
194 }
Reid Spenceree448632005-07-12 15:51:55 +0000195 };
Jeff Cohen00b168892005-07-27 06:12:32 +0000196
Chris Lattner54266522004-11-20 23:57:07 +0000197 /// JITResolver - Keep track of, and resolve, call sites for functions that
198 /// have not yet been compiled.
199 class JITResolver {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000200 typedef JITResolverState::FunctionToLazyStubMapTy FunctionToLazyStubMapTy;
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000201 typedef JITResolverState::CallSiteToFunctionMapTy CallSiteToFunctionMapTy;
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000202 typedef JITResolverState::GlobalToIndirectSymMapTy GlobalToIndirectSymMapTy;
203
Chris Lattner5e225582004-11-21 03:37:42 +0000204 /// LazyResolverFn - The target lazy resolver function that we actually
205 /// rewrite instructions to use.
206 TargetJITInfo::LazyResolverFn LazyResolverFn;
207
Reid Spenceree448632005-07-12 15:51:55 +0000208 JITResolverState state;
Chris Lattner54266522004-11-20 23:57:07 +0000209
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000210 /// ExternalFnToStubMap - This is the equivalent of FunctionToLazyStubMap
211 /// for external functions. TODO: Of course, external functions don't need
212 /// a lazy stub. It's actually here to make it more likely that far calls
213 /// succeed, but no single stub can guarantee that. I'll remove this in a
214 /// subsequent checkin when I actually fix far calls.
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000215 std::map<void*, void*> ExternalFnToStubMap;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000216
Evan Cheng1606e8e2009-03-13 07:51:59 +0000217 /// revGOTMap - map addresses to indexes in the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000218 std::map<void*, unsigned> revGOTMap;
219 unsigned nextGOTIndex;
220
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000221 JITEmitter &JE;
222
Chris Lattnere7484012007-02-24 02:57:03 +0000223 static JITResolver *TheJITResolver;
Chris Lattner54266522004-11-20 23:57:07 +0000224 public:
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000225 explicit JITResolver(JIT &jit, JITEmitter &je) : nextGOTIndex(0), JE(je) {
Chris Lattnere7484012007-02-24 02:57:03 +0000226 TheJIT = &jit;
227
228 LazyResolverFn = jit.getJITInfo().getLazyResolverFunction(JITCompilerFn);
229 assert(TheJITResolver == 0 && "Multiple JIT resolvers?");
230 TheJITResolver = this;
231 }
Eric Christopher116664a2009-11-12 03:12:18 +0000232
Chris Lattnere7484012007-02-24 02:57:03 +0000233 ~JITResolver() {
234 TheJITResolver = 0;
Chris Lattner5e225582004-11-21 03:37:42 +0000235 }
Chris Lattner54266522004-11-20 23:57:07 +0000236
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000237 /// getLazyFunctionStubIfAvailable - This returns a pointer to a function's
238 /// lazy-compilation stub if it has already been created.
239 void *getLazyFunctionStubIfAvailable(Function *F);
Evan Cheng704bff92008-11-13 21:50:50 +0000240
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000241 /// getLazyFunctionStub - This returns a pointer to a function's
242 /// lazy-compilation stub, creating one on demand as needed.
243 void *getLazyFunctionStub(Function *F);
Chris Lattner54266522004-11-20 23:57:07 +0000244
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000245 /// getExternalFunctionStub - Return a stub for the function at the
246 /// specified address, created lazily on demand.
247 void *getExternalFunctionStub(void *FnAddr);
248
Evan Cheng5594f122008-11-10 01:52:24 +0000249 /// getGlobalValueIndirectSym - Return an indirect symbol containing the
Evan Chengc96a8e72008-11-05 01:50:32 +0000250 /// specified GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000251 void *getGlobalValueIndirectSym(GlobalValue *V, void *GVAddress);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000252
Nate Begemand6b7a242009-02-18 08:31:02 +0000253 void getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000254 SmallVectorImpl<void*> &Ptrs);
Eric Christopher116664a2009-11-12 03:12:18 +0000255
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000256 GlobalValue *invalidateStub(void *Stub);
Chris Lattner5e225582004-11-21 03:37:42 +0000257
Andrew Lenharth6a974612005-07-28 12:44:13 +0000258 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
Chris Lattner8907b4b2007-12-05 23:39:57 +0000259 /// an address. This function only manages slots, it does not manage the
Andrew Lenharth6a974612005-07-28 12:44:13 +0000260 /// contents of the slots or the memory associated with the GOT.
Chris Lattner8907b4b2007-12-05 23:39:57 +0000261 unsigned getGOTIndexForAddr(void *addr);
Andrew Lenharth6a974612005-07-28 12:44:13 +0000262
Chris Lattner54266522004-11-20 23:57:07 +0000263 /// JITCompilerFn - This function is called to resolve a stub to a compiled
264 /// address. If the LLVM Function corresponding to the stub has not yet
265 /// been compiled, this function compiles it first.
266 static void *JITCompilerFn(void *Stub);
267 };
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000268
269 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
270 /// used to output functions to memory for execution.
271 class JITEmitter : public JITCodeEmitter {
272 JITMemoryManager *MemMgr;
273
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000274 // When outputting a function stub in the context of some other function, we
275 // save BufferBegin/BufferEnd/CurBufferPtr here.
276 uint8_t *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
277
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000278 // When reattempting to JIT a function after running out of space, we store
279 // the estimated size of the function we're trying to JIT here, so we can
280 // ask the memory manager for at least this much space. When we
281 // successfully emit the function, we reset this back to zero.
282 uintptr_t SizeEstimate;
283
284 /// Relocations - These are the relocations that the function needs, as
285 /// emitted.
286 std::vector<MachineRelocation> Relocations;
Eric Christopher116664a2009-11-12 03:12:18 +0000287
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000288 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
289 /// It is filled in by the StartMachineBasicBlock callback and queried by
290 /// the getMachineBasicBlockAddress callback.
291 std::vector<uintptr_t> MBBLocations;
292
293 /// ConstantPool - The constant pool for the current function.
294 ///
295 MachineConstantPool *ConstantPool;
296
297 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
298 ///
299 void *ConstantPoolBase;
300
301 /// ConstPoolAddresses - Addresses of individual constant pool entries.
302 ///
303 SmallVector<uintptr_t, 8> ConstPoolAddresses;
304
305 /// JumpTable - The jump tables for the current function.
306 ///
307 MachineJumpTableInfo *JumpTable;
Eric Christopher116664a2009-11-12 03:12:18 +0000308
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000309 /// JumpTableBase - A pointer to the first entry in the jump table.
310 ///
311 void *JumpTableBase;
312
313 /// Resolver - This contains info about the currently resolved functions.
314 JITResolver Resolver;
315
316 /// DE - The dwarf emitter for the jit.
317 OwningPtr<JITDwarfEmitter> DE;
318
319 /// DR - The debug registerer for the jit.
320 OwningPtr<JITDebugRegisterer> DR;
321
Eric Christopher116664a2009-11-12 03:12:18 +0000322 /// LabelLocations - This vector is a mapping from Label ID's to their
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000323 /// address.
324 std::vector<uintptr_t> LabelLocations;
325
326 /// MMI - Machine module info for exception informations
327 MachineModuleInfo* MMI;
328
329 // GVSet - a set to keep track of which globals have been seen
330 SmallPtrSet<const GlobalVariable*, 8> GVSet;
331
Eric Christopher116664a2009-11-12 03:12:18 +0000332 // CurFn - The llvm function being emitted. Only valid during
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000333 // finishFunction().
334 const Function *CurFn;
335
336 /// Information about emitted code, which is passed to the
337 /// JITEventListeners. This is reset in startFunction and used in
338 /// finishFunction.
339 JITEvent_EmittedFunctionDetails EmissionDetails;
340
341 struct EmittedCode {
342 void *FunctionBody; // Beginning of the function's allocation.
343 void *Code; // The address the function's code actually starts at.
344 void *ExceptionTable;
345 EmittedCode() : FunctionBody(0), Code(0), ExceptionTable(0) {}
346 };
347 struct EmittedFunctionConfig : public ValueMapConfig<const Function*> {
348 typedef JITEmitter *ExtraData;
349 static void onDelete(JITEmitter *, const Function*);
350 static void onRAUW(JITEmitter *, const Function*, const Function*);
351 };
352 ValueMap<const Function *, EmittedCode,
353 EmittedFunctionConfig> EmittedFunctions;
354
355 // CurFnStubUses - For a given Function, a vector of stubs that it
356 // references. This facilitates the JIT detecting that a stub is no
357 // longer used, so that it may be deallocated.
358 DenseMap<AssertingVH<const Function>, SmallVector<void*, 1> > CurFnStubUses;
359
360 // StubFnRefs - For a given pointer to a stub, a set of Functions which
361 // reference the stub. When the count of a stub's references drops to zero,
362 // the stub is unused.
363 DenseMap<void *, SmallPtrSet<const Function*, 1> > StubFnRefs;
Eric Christopher116664a2009-11-12 03:12:18 +0000364
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000365 DebugLocTuple PrevDLT;
366
367 public:
368 JITEmitter(JIT &jit, JITMemoryManager *JMM, TargetMachine &TM)
369 : SizeEstimate(0), Resolver(jit, *this), MMI(0), CurFn(0),
370 EmittedFunctions(this) {
371 MemMgr = JMM ? JMM : JITMemoryManager::CreateDefaultMemManager();
372 if (jit.getJITInfo().needsGOT()) {
373 MemMgr->AllocateGOT();
374 DEBUG(errs() << "JIT is managing a GOT\n");
375 }
376
377 if (DwarfExceptionHandling || JITEmitDebugInfo) {
378 DE.reset(new JITDwarfEmitter(jit));
379 }
380 if (JITEmitDebugInfo) {
381 DR.reset(new JITDebugRegisterer(TM));
382 }
383 }
Eric Christopher116664a2009-11-12 03:12:18 +0000384 ~JITEmitter() {
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000385 delete MemMgr;
386 }
387
388 /// classof - Methods for support type inquiry through isa, cast, and
389 /// dyn_cast:
390 ///
391 static inline bool classof(const JITEmitter*) { return true; }
392 static inline bool classof(const MachineCodeEmitter*) { return true; }
Eric Christopher116664a2009-11-12 03:12:18 +0000393
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000394 JITResolver &getJITResolver() { return Resolver; }
395
396 virtual void startFunction(MachineFunction &F);
397 virtual bool finishFunction(MachineFunction &F);
Eric Christopher116664a2009-11-12 03:12:18 +0000398
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000399 void emitConstantPool(MachineConstantPool *MCP);
400 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
401 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Eric Christopher116664a2009-11-12 03:12:18 +0000402
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000403 void startGVStub(const GlobalValue* GV,
404 unsigned StubSize, unsigned Alignment = 1);
405 void startGVStub(void *Buffer, unsigned StubSize);
406 void finishGVStub();
407 virtual void *allocIndirectGV(const GlobalValue *GV,
408 const uint8_t *Buffer, size_t Size,
409 unsigned Alignment);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000410
411 /// allocateSpace - Reserves space in the current block if any, or
412 /// allocate a new one of the given size.
413 virtual void *allocateSpace(uintptr_t Size, unsigned Alignment);
414
415 /// allocateGlobal - Allocate memory for a global. Unlike allocateSpace,
416 /// this method does not allocate memory in the current output buffer,
417 /// because a global may live longer than the current function.
418 virtual void *allocateGlobal(uintptr_t Size, unsigned Alignment);
419
420 virtual void addRelocation(const MachineRelocation &MR) {
421 Relocations.push_back(MR);
422 }
Eric Christopher116664a2009-11-12 03:12:18 +0000423
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000424 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
425 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
426 MBBLocations.resize((MBB->getNumber()+1)*2);
427 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
428 DEBUG(errs() << "JIT: Emitting BB" << MBB->getNumber() << " at ["
429 << (void*) getCurrentPCValue() << "]\n");
430 }
431
432 virtual uintptr_t getConstantPoolEntryAddress(unsigned Entry) const;
433 virtual uintptr_t getJumpTableEntryAddress(unsigned Entry) const;
434
435 virtual uintptr_t getMachineBasicBlockAddress(MachineBasicBlock *MBB) const {
Eric Christopher116664a2009-11-12 03:12:18 +0000436 assert(MBBLocations.size() > (unsigned)MBB->getNumber() &&
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000437 MBBLocations[MBB->getNumber()] && "MBB not emitted!");
438 return MBBLocations[MBB->getNumber()];
439 }
440
441 /// retryWithMoreMemory - Log a retry and deallocate all memory for the
442 /// given function. Increase the minimum allocation size so that we get
443 /// more memory next time.
444 void retryWithMoreMemory(MachineFunction &F);
445
446 /// deallocateMemForFunction - Deallocate all memory for the specified
447 /// function body.
448 void deallocateMemForFunction(const Function *F);
449
450 /// AddStubToCurrentFunction - Mark the current function being JIT'd as
451 /// using the stub at the specified address. Allows
452 /// deallocateMemForFunction to also remove stubs no longer referenced.
453 void AddStubToCurrentFunction(void *Stub);
Eric Christopher116664a2009-11-12 03:12:18 +0000454
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000455 virtual void processDebugLoc(DebugLoc DL, bool BeforePrintingInsn);
456
457 virtual void emitLabel(uint64_t LabelID) {
458 if (LabelLocations.size() <= LabelID)
459 LabelLocations.resize((LabelID+1)*2);
460 LabelLocations[LabelID] = getCurrentPCValue();
461 }
462
463 virtual uintptr_t getLabelAddress(uint64_t LabelID) const {
Eric Christopher116664a2009-11-12 03:12:18 +0000464 assert(LabelLocations.size() > (unsigned)LabelID &&
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000465 LabelLocations[LabelID] && "Label not emitted!");
466 return LabelLocations[LabelID];
467 }
Eric Christopher116664a2009-11-12 03:12:18 +0000468
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000469 virtual void setModuleInfo(MachineModuleInfo* Info) {
470 MMI = Info;
471 if (DE.get()) DE->setModuleInfo(Info);
472 }
473
474 void setMemoryExecutable() {
475 MemMgr->setMemoryExecutable();
476 }
Eric Christopher116664a2009-11-12 03:12:18 +0000477
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000478 JITMemoryManager *getMemMgr() const { return MemMgr; }
479
480 private:
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000481 void *getPointerToGlobal(GlobalValue *GV, void *Reference,
482 bool MayNeedFarStub);
483 void *getPointerToGVIndirectSym(GlobalValue *V, void *Reference);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000484 unsigned addSizeOfGlobal(const GlobalVariable *GV, unsigned Size);
485 unsigned addSizeOfGlobalsInConstantVal(const Constant *C, unsigned Size);
486 unsigned addSizeOfGlobalsInInitializer(const Constant *Init, unsigned Size);
487 unsigned GetSizeOfGlobalsInBytes(MachineFunction &MF);
488 };
Chris Lattner54266522004-11-20 23:57:07 +0000489}
490
Chris Lattnere7484012007-02-24 02:57:03 +0000491JITResolver *JITResolver::TheJITResolver = 0;
Chris Lattner54266522004-11-20 23:57:07 +0000492
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000493void CallSiteValueMapConfig::onDelete(JITResolverState *JRS, Function *F) {
494 JRS->EraseAllCallSitesPrelocked(F);
495}
496
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000497/// getLazyFunctionStubIfAvailable - This returns a pointer to a function stub
Evan Cheng704bff92008-11-13 21:50:50 +0000498/// if it has already been created.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000499void *JITResolver::getLazyFunctionStubIfAvailable(Function *F) {
Evan Cheng704bff92008-11-13 21:50:50 +0000500 MutexGuard locked(TheJIT->lock);
501
502 // If we already have a stub for this function, recycle it.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000503 return state.getFunctionToLazyStubMap(locked).lookup(F);
Evan Cheng704bff92008-11-13 21:50:50 +0000504}
505
Chris Lattner54266522004-11-20 23:57:07 +0000506/// getFunctionStub - This returns a pointer to a function stub, creating
507/// one on demand as needed.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000508void *JITResolver::getLazyFunctionStub(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000509 MutexGuard locked(TheJIT->lock);
510
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000511 // If we already have a lazy stub for this function, recycle it.
512 void *&Stub = state.getFunctionToLazyStubMap(locked)[F];
Chris Lattner54266522004-11-20 23:57:07 +0000513 if (Stub) return Stub;
514
Jeffrey Yasskindc857242009-10-27 20:30:28 +0000515 // Call the lazy resolver function if we are JIT'ing lazily. Otherwise we
516 // must resolve the symbol now.
517 void *Actual = TheJIT->isCompilingLazily()
518 ? (void *)(intptr_t)LazyResolverFn : (void *)0;
519
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000520 // TODO: Delete this when PR5737 is fixed.
521 std::string ErrorMsg;
522 if (TheJIT->materializeFunction(F, &ErrorMsg)) {
523 llvm_report_error("Error reading function '" + F->getName()+
524 "' from bitcode file: " + ErrorMsg);
525 }
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000526 // If this is an external declaration, attempt to resolve the address now
527 // to place in the stub.
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000528 if (F->isDeclaration() || F->hasAvailableExternallyLinkage()) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000529 Actual = TheJIT->getPointerToFunction(F);
Misha Brukmanf976c852005-04-21 22:55:34 +0000530
Dan Gohman69f93782009-01-05 05:32:42 +0000531 // If we resolved the symbol to a null address (eg. a weak external)
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +0000532 // don't emit a stub. Return a null pointer to the application.
533 if (!Actual) return 0;
Dan Gohman69f93782009-01-05 05:32:42 +0000534 }
535
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000536 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000537 JE.startGVStub(F, SL.Size, SL.Alignment);
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000538 // Codegen a new stub, calling the lazy resolver or the actual address of the
539 // external function, if it was resolved.
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000540 Stub = TheJIT->getJITInfo().emitFunctionStub(F, Actual, JE);
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000541 JE.finishGVStub();
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000542
Chris Lattner870286a2006-06-01 17:29:22 +0000543 if (Actual != (void*)(intptr_t)LazyResolverFn) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000544 // If we are getting the stub for an external function, we really want the
545 // address of the stub in the GlobalAddressMap for the JIT, not the address
546 // of the external function.
547 TheJIT->updateGlobalMapping(F, Stub);
548 }
Chris Lattner54266522004-11-20 23:57:07 +0000549
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000550 DEBUG(errs() << "JIT: Lazy stub emitted at [" << Stub << "] for function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000551 << F->getName() << "'\n");
Chris Lattnercb479412004-11-21 03:44:32 +0000552
Chris Lattner54266522004-11-20 23:57:07 +0000553 // Finally, keep track of the stub-to-Function mapping so that the
554 // JITCompilerFn knows which function to compile!
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000555 state.AddCallSite(locked, Stub, F);
Jeffrey Yasskine5f87982009-10-13 21:32:57 +0000556
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000557 // If we are JIT'ing non-lazily but need to call a function that does not
558 // exist yet, add it to the JIT's work list so that we can fill in the stub
559 // address later.
Jeffrey Yasskindc857242009-10-27 20:30:28 +0000560 if (!Actual && !TheJIT->isCompilingLazily())
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000561 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage())
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000562 TheJIT->addPendingFunction(F);
Jeffrey Yasskine5f87982009-10-13 21:32:57 +0000563
Chris Lattner54266522004-11-20 23:57:07 +0000564 return Stub;
565}
566
Evan Cheng5594f122008-11-10 01:52:24 +0000567/// getGlobalValueIndirectSym - Return a lazy pointer containing the specified
Evan Chengbe8c03f2008-01-04 10:46:51 +0000568/// GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000569void *JITResolver::getGlobalValueIndirectSym(GlobalValue *GV, void *GVAddress) {
Evan Chengbe8c03f2008-01-04 10:46:51 +0000570 MutexGuard locked(TheJIT->lock);
571
572 // If we already have a stub for this global variable, recycle it.
Evan Cheng5594f122008-11-10 01:52:24 +0000573 void *&IndirectSym = state.getGlobalToIndirectSymMap(locked)[GV];
574 if (IndirectSym) return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000575
Evan Chenge4d783d2008-11-10 23:26:16 +0000576 // Otherwise, codegen a new indirect symbol.
Evan Cheng5594f122008-11-10 01:52:24 +0000577 IndirectSym = TheJIT->getJITInfo().emitGlobalValueIndirectSym(GV, GVAddress,
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000578 JE);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000579
Eric Christopher116664a2009-11-12 03:12:18 +0000580 DEBUG(errs() << "JIT: Indirect symbol emitted at [" << IndirectSym
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000581 << "] for GV '" << GV->getName() << "'\n");
Evan Chengbe8c03f2008-01-04 10:46:51 +0000582
Evan Cheng5594f122008-11-10 01:52:24 +0000583 return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000584}
585
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000586/// getExternalFunctionStub - Return a stub for the function at the
587/// specified address, created lazily on demand.
588void *JITResolver::getExternalFunctionStub(void *FnAddr) {
589 // If we already have a stub for this function, recycle it.
590 void *&Stub = ExternalFnToStubMap[FnAddr];
591 if (Stub) return Stub;
592
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000593 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000594 JE.startGVStub(0, SL.Size, SL.Alignment);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000595 Stub = TheJIT->getJITInfo().emitFunctionStub(0, FnAddr, JE);
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000596 JE.finishGVStub();
Evan Cheng55fc2802006-07-25 20:40:54 +0000597
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000598 DEBUG(errs() << "JIT: Stub emitted at [" << Stub
599 << "] for external function at '" << FnAddr << "'\n");
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000600 return Stub;
601}
602
Andrew Lenharth6a974612005-07-28 12:44:13 +0000603unsigned JITResolver::getGOTIndexForAddr(void* addr) {
604 unsigned idx = revGOTMap[addr];
605 if (!idx) {
606 idx = ++nextGOTIndex;
607 revGOTMap[addr] = idx;
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000608 DEBUG(errs() << "JIT: Adding GOT entry " << idx << " for addr ["
609 << addr << "]\n");
Andrew Lenharth6a974612005-07-28 12:44:13 +0000610 }
611 return idx;
612}
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000613
Nate Begemand6b7a242009-02-18 08:31:02 +0000614void JITResolver::getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
615 SmallVectorImpl<void*> &Ptrs) {
616 MutexGuard locked(TheJIT->lock);
Eric Christopher116664a2009-11-12 03:12:18 +0000617
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000618 const FunctionToLazyStubMapTy &FM = state.getFunctionToLazyStubMap(locked);
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000619 GlobalToIndirectSymMapTy &GM = state.getGlobalToIndirectSymMap(locked);
Eric Christopher116664a2009-11-12 03:12:18 +0000620
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000621 for (FunctionToLazyStubMapTy::const_iterator i = FM.begin(), e = FM.end();
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000622 i != e; ++i){
Nate Begemand6b7a242009-02-18 08:31:02 +0000623 Function *F = i->first;
624 if (F->isDeclaration() && F->hasExternalLinkage()) {
625 GVs.push_back(i->first);
626 Ptrs.push_back(i->second);
627 }
628 }
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000629 for (GlobalToIndirectSymMapTy::iterator i = GM.begin(), e = GM.end();
Nate Begemand6b7a242009-02-18 08:31:02 +0000630 i != e; ++i) {
631 GVs.push_back(i->first);
632 Ptrs.push_back(i->second);
633 }
634}
635
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000636GlobalValue *JITResolver::invalidateStub(void *Stub) {
637 MutexGuard locked(TheJIT->lock);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000638
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000639 GlobalToIndirectSymMapTy &GM = state.getGlobalToIndirectSymMap(locked);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000640
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000641 // Look up the cheap way first, to see if it's a function stub we are
642 // invalidating. If so, remove it from both the forward and reverse maps.
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000643 if (Function *F = state.EraseStub(locked, Stub)) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000644 return F;
645 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000646
Nate Begeman841c6a42009-03-11 07:03:43 +0000647 // Otherwise, it might be an indirect symbol stub. Find it and remove it.
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000648 for (GlobalToIndirectSymMapTy::iterator i = GM.begin(), e = GM.end();
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000649 i != e; ++i) {
650 if (i->second != Stub)
651 continue;
652 GlobalValue *GV = i->first;
653 GM.erase(i);
654 return GV;
655 }
Eric Christopher116664a2009-11-12 03:12:18 +0000656
Nate Begeman841c6a42009-03-11 07:03:43 +0000657 // Lastly, check to see if it's in the ExternalFnToStubMap.
658 for (std::map<void *, void *>::iterator i = ExternalFnToStubMap.begin(),
659 e = ExternalFnToStubMap.end(); i != e; ++i) {
660 if (i->second != Stub)
661 continue;
662 ExternalFnToStubMap.erase(i);
663 break;
664 }
Eric Christopher116664a2009-11-12 03:12:18 +0000665
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000666 return 0;
667}
668
Chris Lattner54266522004-11-20 23:57:07 +0000669/// JITCompilerFn - This function is called when a lazy compilation stub has
670/// been entered. It looks up which function this stub corresponds to, compiles
671/// it if necessary, then returns the resultant function pointer.
672void *JITResolver::JITCompilerFn(void *Stub) {
Chris Lattnere7484012007-02-24 02:57:03 +0000673 JITResolver &JR = *TheJITResolver;
Eric Christopher116664a2009-11-12 03:12:18 +0000674
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000675 Function* F = 0;
676 void* ActualPtr = 0;
Misha Brukmanf976c852005-04-21 22:55:34 +0000677
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000678 {
679 // Only lock for getting the Function. The call getPointerToFunction made
680 // in this function might trigger function materializing, which requires
681 // JIT lock to be unlocked.
682 MutexGuard locked(TheJIT->lock);
Reid Spenceree448632005-07-12 15:51:55 +0000683
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000684 // The address given to us for the stub may not be exactly right, it might
685 // be a little bit after the stub. As such, use upper_bound to find it.
686 pair<void*, Function*> I =
687 JR.state.LookupFunctionFromCallSite(locked, Stub);
688 F = I.second;
689 ActualPtr = I.first;
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000690 }
Chris Lattner54266522004-11-20 23:57:07 +0000691
Evan Cheng9da60f92007-06-30 00:10:37 +0000692 // If we have already code generated the function, just return the address.
693 void *Result = TheJIT->getPointerToGlobalIfAvailable(F);
Eric Christopher116664a2009-11-12 03:12:18 +0000694
Evan Cheng9da60f92007-06-30 00:10:37 +0000695 if (!Result) {
696 // Otherwise we don't have it, do lazy compilation now.
Eric Christopher116664a2009-11-12 03:12:18 +0000697
Evan Cheng9da60f92007-06-30 00:10:37 +0000698 // If lazy compilation is disabled, emit a useful error message and abort.
Jeffrey Yasskindc857242009-10-27 20:30:28 +0000699 if (!TheJIT->isCompilingLazily()) {
Torok Edwin7d696d82009-07-11 13:10:19 +0000700 llvm_report_error("LLVM JIT requested to do lazy compilation of function '"
701 + F->getName() + "' when lazy compiles are disabled!");
Evan Cheng9da60f92007-06-30 00:10:37 +0000702 }
Eric Christopher116664a2009-11-12 03:12:18 +0000703
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000704 DEBUG(errs() << "JIT: Lazily resolving function '" << F->getName()
705 << "' In stub ptr = " << Stub << " actual ptr = "
706 << ActualPtr << "\n");
Chris Lattner54266522004-11-20 23:57:07 +0000707
Evan Cheng9da60f92007-06-30 00:10:37 +0000708 Result = TheJIT->getPointerToFunction(F);
709 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000710
711 // Reacquire the lock to update the GOT map.
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000712 MutexGuard locked(TheJIT->lock);
Chris Lattner54266522004-11-20 23:57:07 +0000713
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000714 // We might like to remove the call site from the CallSiteToFunction map, but
715 // we can't do that! Multiple threads could be stuck, waiting to acquire the
716 // lock above. As soon as the 1st function finishes compiling the function,
717 // the next one will be released, and needs to be able to find the function it
718 // needs to call.
Chris Lattner54266522004-11-20 23:57:07 +0000719
720 // FIXME: We could rewrite all references to this stub if we knew them.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000721
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000722 // What we will do is set the compiled function address to map to the
723 // same GOT entry as the stub so that later clients may update the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000724 // if they see it still using the stub address.
725 // Note: this is done so the Resolver doesn't have to manage GOT memory
726 // Do this without allocating map space if the target isn't using a GOT
727 if(JR.revGOTMap.find(Stub) != JR.revGOTMap.end())
728 JR.revGOTMap[Result] = JR.revGOTMap[Stub];
729
Chris Lattner54266522004-11-20 23:57:07 +0000730 return Result;
731}
Chris Lattner688506d2003-08-14 18:35:27 +0000732
Chris Lattner8ac66c12008-04-04 05:51:42 +0000733//===----------------------------------------------------------------------===//
Chris Lattner166f2262004-11-22 22:00:25 +0000734// JITEmitter code.
Chris Lattner54266522004-11-20 23:57:07 +0000735//
Chris Lattner166f2262004-11-22 22:00:25 +0000736void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000737 bool MayNeedFarStub) {
Nate Begemand6b7a242009-02-18 08:31:02 +0000738 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
Chris Lattner54266522004-11-20 23:57:07 +0000739 return TheJIT->getOrEmitGlobalVariable(GV);
Nate Begemand6b7a242009-02-18 08:31:02 +0000740
Chris Lattner18e04592008-06-25 20:21:35 +0000741 if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
Anton Korobeynikov19e861a2008-09-09 20:05:04 +0000742 return TheJIT->getPointerToGlobal(GA->resolveAliasedGlobal(false));
Chris Lattner54266522004-11-20 23:57:07 +0000743
744 // If we have already compiled the function, return a pointer to its body.
745 Function *F = cast<Function>(V);
Eric Christopher116664a2009-11-12 03:12:18 +0000746
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000747 void *FnStub = Resolver.getLazyFunctionStubIfAvailable(F);
Eric Christopher116664a2009-11-12 03:12:18 +0000748 if (FnStub) {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000749 // Return the function stub if it's already created. We do this first so
750 // that we're returning the same address for the function as any previous
751 // call. TODO: Yes, this is wrong. The lazy stub isn't guaranteed to be
752 // close enough to call.
Eric Christopher116664a2009-11-12 03:12:18 +0000753 AddStubToCurrentFunction(FnStub);
754 return FnStub;
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000755 }
Eric Christopher116664a2009-11-12 03:12:18 +0000756
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000757 // If we know the target can handle arbitrary-distance calls, try to
758 // return a direct pointer.
759 if (!MayNeedFarStub) {
760 // If we have code, go ahead and return that.
761 void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
762 if (ResultPtr) return ResultPtr;
Chris Lattner54266522004-11-20 23:57:07 +0000763
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000764 // TODO: Delete this when PR5737 is fixed.
765 std::string ErrorMsg;
766 if (TheJIT->materializeFunction(F, &ErrorMsg)) {
767 llvm_report_error("Error reading function '" + F->getName()+
768 "' from bitcode file: " + ErrorMsg);
769 }
770
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000771 // If this is an external function pointer, we can force the JIT to
772 // 'compile' it, which really just adds it to the map.
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +0000773 if (F->isDeclaration() || F->hasAvailableExternallyLinkage())
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000774 return TheJIT->getPointerToFunction(F);
775 }
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000776
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000777 // Otherwise, we may need a to emit a stub, and, conservatively, we
778 // always do so.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000779 void *StubAddr = Resolver.getLazyFunctionStub(F);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000780
781 // Add the stub to the current function's list of referenced stubs, so we can
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000782 // deallocate them if the current function is ever freed. It's possible to
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000783 // return null from getLazyFunctionStub in the case of a weak extern that
784 // fails to resolve.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000785 if (StubAddr)
786 AddStubToCurrentFunction(StubAddr);
787
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000788 return StubAddr;
Chris Lattner54266522004-11-20 23:57:07 +0000789}
790
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000791void *JITEmitter::getPointerToGVIndirectSym(GlobalValue *V, void *Reference) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000792 // Make sure GV is emitted first, and create a stub containing the fully
793 // resolved address.
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000794 void *GVAddress = getPointerToGlobal(V, Reference, false);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000795 void *StubAddr = Resolver.getGlobalValueIndirectSym(V, GVAddress);
Eric Christopher116664a2009-11-12 03:12:18 +0000796
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000797 // Add the stub to the current function's list of referenced stubs, so we can
798 // deallocate them if the current function is ever freed.
799 AddStubToCurrentFunction(StubAddr);
Eric Christopher116664a2009-11-12 03:12:18 +0000800
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000801 return StubAddr;
802}
803
804void JITEmitter::AddStubToCurrentFunction(void *StubAddr) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000805 assert(CurFn && "Stub added to current function, but current function is 0!");
Jeffrey Yasskine5f87982009-10-13 21:32:57 +0000806
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000807 SmallVectorImpl<void*> &StubsUsed = CurFnStubUses[CurFn];
808 StubsUsed.push_back(StubAddr);
809
810 SmallPtrSet<const Function *, 1> &FnRefs = StubFnRefs[StubAddr];
811 FnRefs.insert(CurFn);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000812}
813
Devang Patel02c04232009-10-06 03:04:58 +0000814void JITEmitter::processDebugLoc(DebugLoc DL, bool BeforePrintingInsn) {
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000815 if (!DL.isUnknown()) {
816 DebugLocTuple CurDLT = EmissionDetails.MF->getDebugLocTuple(DL);
817
Devang Patel02c04232009-10-06 03:04:58 +0000818 if (BeforePrintingInsn) {
Devang Patel1619dc32009-10-13 23:28:53 +0000819 if (CurDLT.Scope != 0 && PrevDLT != CurDLT) {
Devang Patel02c04232009-10-06 03:04:58 +0000820 JITEvent_EmittedFunctionDetails::LineStart NextLine;
821 NextLine.Address = getCurrentPCValue();
822 NextLine.Loc = DL;
823 EmissionDetails.LineStarts.push_back(NextLine);
824 }
Eric Christopher116664a2009-11-12 03:12:18 +0000825
Devang Patel02c04232009-10-06 03:04:58 +0000826 PrevDLT = CurDLT;
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000827 }
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000828 }
829}
830
Evan Cheng1606e8e2009-03-13 07:51:59 +0000831static unsigned GetConstantPoolSizeInBytes(MachineConstantPool *MCP,
832 const TargetData *TD) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000833 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
834 if (Constants.empty()) return 0;
835
Evan Cheng1606e8e2009-03-13 07:51:59 +0000836 unsigned Size = 0;
837 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
838 MachineConstantPoolEntry CPE = Constants[i];
839 unsigned AlignMask = CPE.getAlignment() - 1;
840 Size = (Size + AlignMask) & ~AlignMask;
841 const Type *Ty = CPE.getType();
Duncan Sands777d2302009-05-09 07:06:46 +0000842 Size += TD->getTypeAllocSize(Ty);
Evan Cheng1606e8e2009-03-13 07:51:59 +0000843 }
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000844 return Size;
845}
846
847static unsigned GetJumpTableSizeInBytes(MachineJumpTableInfo *MJTI) {
848 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
849 if (JT.empty()) return 0;
Eric Christopher116664a2009-11-12 03:12:18 +0000850
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000851 unsigned NumEntries = 0;
852 for (unsigned i = 0, e = JT.size(); i != e; ++i)
853 NumEntries += JT[i].MBBs.size();
854
855 unsigned EntrySize = MJTI->getEntrySize();
856
857 return NumEntries * EntrySize;
858}
859
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000860static uintptr_t RoundUpToAlign(uintptr_t Size, unsigned Alignment) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000861 if (Alignment == 0) Alignment = 1;
Eric Christopher116664a2009-11-12 03:12:18 +0000862 // Since we do not know where the buffer will be allocated, be pessimistic.
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000863 return Size + Alignment;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000864}
Evan Chengbe8c03f2008-01-04 10:46:51 +0000865
Dale Johannesendd947ea2008-08-07 01:30:15 +0000866/// addSizeOfGlobal - add the size of the global (plus any alignment padding)
867/// into the running total Size.
868
869unsigned JITEmitter::addSizeOfGlobal(const GlobalVariable *GV, unsigned Size) {
870 const Type *ElTy = GV->getType()->getElementType();
Duncan Sands777d2302009-05-09 07:06:46 +0000871 size_t GVSize = (size_t)TheJIT->getTargetData()->getTypeAllocSize(ElTy);
Eric Christopher116664a2009-11-12 03:12:18 +0000872 size_t GVAlign =
Dale Johannesendd947ea2008-08-07 01:30:15 +0000873 (size_t)TheJIT->getTargetData()->getPreferredAlignment(GV);
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000874 DEBUG(errs() << "JIT: Adding in size " << GVSize << " alignment " << GVAlign);
Dale Johannesendd947ea2008-08-07 01:30:15 +0000875 DEBUG(GV->dump());
876 // Assume code section ends with worst possible alignment, so first
877 // variable needs maximal padding.
878 if (Size==0)
879 Size = 1;
880 Size = ((Size+GVAlign-1)/GVAlign)*GVAlign;
881 Size += GVSize;
882 return Size;
883}
884
885/// addSizeOfGlobalsInConstantVal - find any globals that we haven't seen yet
886/// but are referenced from the constant; put them in GVSet and add their
887/// size into the running total Size.
888
Eric Christopher116664a2009-11-12 03:12:18 +0000889unsigned JITEmitter::addSizeOfGlobalsInConstantVal(const Constant *C,
Dale Johannesendd947ea2008-08-07 01:30:15 +0000890 unsigned Size) {
891 // If its undefined, return the garbage.
892 if (isa<UndefValue>(C))
893 return Size;
894
895 // If the value is a ConstantExpr
896 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
897 Constant *Op0 = CE->getOperand(0);
898 switch (CE->getOpcode()) {
899 case Instruction::GetElementPtr:
900 case Instruction::Trunc:
901 case Instruction::ZExt:
902 case Instruction::SExt:
903 case Instruction::FPTrunc:
904 case Instruction::FPExt:
905 case Instruction::UIToFP:
906 case Instruction::SIToFP:
907 case Instruction::FPToUI:
908 case Instruction::FPToSI:
909 case Instruction::PtrToInt:
910 case Instruction::IntToPtr:
911 case Instruction::BitCast: {
912 Size = addSizeOfGlobalsInConstantVal(Op0, Size);
913 break;
914 }
915 case Instruction::Add:
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000916 case Instruction::FAdd:
Dale Johannesendd947ea2008-08-07 01:30:15 +0000917 case Instruction::Sub:
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000918 case Instruction::FSub:
Dale Johannesendd947ea2008-08-07 01:30:15 +0000919 case Instruction::Mul:
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000920 case Instruction::FMul:
Dale Johannesendd947ea2008-08-07 01:30:15 +0000921 case Instruction::UDiv:
922 case Instruction::SDiv:
923 case Instruction::URem:
924 case Instruction::SRem:
925 case Instruction::And:
926 case Instruction::Or:
927 case Instruction::Xor: {
928 Size = addSizeOfGlobalsInConstantVal(Op0, Size);
929 Size = addSizeOfGlobalsInConstantVal(CE->getOperand(1), Size);
930 break;
931 }
932 default: {
Torok Edwin7d696d82009-07-11 13:10:19 +0000933 std::string msg;
934 raw_string_ostream Msg(msg);
935 Msg << "ConstantExpr not handled: " << *CE;
936 llvm_report_error(Msg.str());
Dale Johannesendd947ea2008-08-07 01:30:15 +0000937 }
938 }
939 }
940
941 if (C->getType()->getTypeID() == Type::PointerTyID)
942 if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(C))
Evan Cheng47c01a02008-11-07 09:02:17 +0000943 if (GVSet.insert(GV))
Dale Johannesendd947ea2008-08-07 01:30:15 +0000944 Size = addSizeOfGlobal(GV, Size);
945
946 return Size;
947}
948
949/// addSizeOfGLobalsInInitializer - handle any globals that we haven't seen yet
950/// but are referenced from the given initializer.
951
Eric Christopher116664a2009-11-12 03:12:18 +0000952unsigned JITEmitter::addSizeOfGlobalsInInitializer(const Constant *Init,
Dale Johannesendd947ea2008-08-07 01:30:15 +0000953 unsigned Size) {
954 if (!isa<UndefValue>(Init) &&
955 !isa<ConstantVector>(Init) &&
956 !isa<ConstantAggregateZero>(Init) &&
957 !isa<ConstantArray>(Init) &&
958 !isa<ConstantStruct>(Init) &&
959 Init->getType()->isFirstClassType())
960 Size = addSizeOfGlobalsInConstantVal(Init, Size);
961 return Size;
962}
963
964/// GetSizeOfGlobalsInBytes - walk the code for the function, looking for
965/// globals; then walk the initializers of those globals looking for more.
966/// If their size has not been considered yet, add it into the running total
967/// Size.
968
969unsigned JITEmitter::GetSizeOfGlobalsInBytes(MachineFunction &MF) {
970 unsigned Size = 0;
971 GVSet.clear();
972
Eric Christopher116664a2009-11-12 03:12:18 +0000973 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Dale Johannesendd947ea2008-08-07 01:30:15 +0000974 MBB != E; ++MBB) {
975 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
976 I != E; ++I) {
977 const TargetInstrDesc &Desc = I->getDesc();
978 const MachineInstr &MI = *I;
979 unsigned NumOps = Desc.getNumOperands();
980 for (unsigned CurOp = 0; CurOp < NumOps; CurOp++) {
981 const MachineOperand &MO = MI.getOperand(CurOp);
Dan Gohmand735b802008-10-03 15:45:36 +0000982 if (MO.isGlobal()) {
Dale Johannesendd947ea2008-08-07 01:30:15 +0000983 GlobalValue* V = MO.getGlobal();
984 const GlobalVariable *GV = dyn_cast<const GlobalVariable>(V);
985 if (!GV)
986 continue;
987 // If seen in previous function, it will have an entry here.
988 if (TheJIT->getPointerToGlobalIfAvailable(GV))
989 continue;
990 // If seen earlier in this function, it will have an entry here.
991 // FIXME: it should be possible to combine these tables, by
992 // assuming the addresses of the new globals in this module
993 // start at 0 (or something) and adjusting them after codegen
994 // complete. Another possibility is to grab a marker bit in GV.
Evan Cheng47c01a02008-11-07 09:02:17 +0000995 if (GVSet.insert(GV))
Dale Johannesendd947ea2008-08-07 01:30:15 +0000996 // A variable as yet unseen. Add in its size.
997 Size = addSizeOfGlobal(GV, Size);
998 }
999 }
1000 }
1001 }
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001002 DEBUG(errs() << "JIT: About to look through initializers\n");
Dale Johannesendd947ea2008-08-07 01:30:15 +00001003 // Look for more globals that are referenced only from initializers.
1004 // GVSet.end is computed each time because the set can grow as we go.
Eric Christopher116664a2009-11-12 03:12:18 +00001005 for (SmallPtrSet<const GlobalVariable *, 8>::iterator I = GVSet.begin();
Dale Johannesendd947ea2008-08-07 01:30:15 +00001006 I != GVSet.end(); I++) {
1007 const GlobalVariable* GV = *I;
1008 if (GV->hasInitializer())
1009 Size = addSizeOfGlobalsInInitializer(GV->getInitializer(), Size);
1010 }
1011
1012 return Size;
1013}
1014
Chris Lattner166f2262004-11-22 22:00:25 +00001015void JITEmitter::startFunction(MachineFunction &F) {
Daniel Dunbarce63ffb2009-07-25 00:23:56 +00001016 DEBUG(errs() << "JIT: Starting CodeGen of Function "
1017 << F.getFunction()->getName() << "\n");
Evan Chengeb5d95a2008-11-06 17:46:04 +00001018
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001019 uintptr_t ActualSize = 0;
Jim Grosbachcce6c292008-10-03 16:17:20 +00001020 // Set the memory writable, if it's not already
1021 MemMgr->setMemoryWritable();
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +00001022 if (MemMgr->NeedsExactSize()) {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001023 DEBUG(errs() << "JIT: ExactSize\n");
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001024 const TargetInstrInfo* TII = F.getTarget().getInstrInfo();
1025 MachineJumpTableInfo *MJTI = F.getJumpTableInfo();
1026 MachineConstantPool *MCP = F.getConstantPool();
Eric Christopher116664a2009-11-12 03:12:18 +00001027
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001028 // Ensure the constant pool/jump table info is at least 4-byte aligned.
Nicolas Geoffray580631a2008-04-20 23:39:44 +00001029 ActualSize = RoundUpToAlign(ActualSize, 16);
Eric Christopher116664a2009-11-12 03:12:18 +00001030
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001031 // Add the alignment of the constant pool
Evan Cheng1606e8e2009-03-13 07:51:59 +00001032 ActualSize = RoundUpToAlign(ActualSize, MCP->getConstantPoolAlignment());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001033
1034 // Add the constant pool size
Evan Cheng1606e8e2009-03-13 07:51:59 +00001035 ActualSize += GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001036
1037 // Add the aligment of the jump table info
Nicolas Geoffray580631a2008-04-20 23:39:44 +00001038 ActualSize = RoundUpToAlign(ActualSize, MJTI->getAlignment());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001039
1040 // Add the jump table size
1041 ActualSize += GetJumpTableSizeInBytes(MJTI);
Eric Christopher116664a2009-11-12 03:12:18 +00001042
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001043 // Add the alignment for the function
Nicolas Geoffray580631a2008-04-20 23:39:44 +00001044 ActualSize = RoundUpToAlign(ActualSize,
1045 std::max(F.getFunction()->getAlignment(), 8U));
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001046
1047 // Add the function size
1048 ActualSize += TII->GetFunctionSizeInBytes(F);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001049
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001050 DEBUG(errs() << "JIT: ActualSize before globals " << ActualSize << "\n");
Dale Johannesendd947ea2008-08-07 01:30:15 +00001051 // Add the size of the globals that will be allocated after this function.
1052 // These are all the ones referenced from this function that were not
1053 // previously allocated.
1054 ActualSize += GetSizeOfGlobalsInBytes(F);
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001055 DEBUG(errs() << "JIT: ActualSize after globals " << ActualSize << "\n");
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001056 } else if (SizeEstimate > 0) {
1057 // SizeEstimate will be non-zero on reallocation attempts.
1058 ActualSize = SizeEstimate;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001059 }
1060
Chris Lattner8907b4b2007-12-05 23:39:57 +00001061 BufferBegin = CurBufferPtr = MemMgr->startFunctionBody(F.getFunction(),
1062 ActualSize);
Chris Lattnere993cc22006-05-11 23:08:08 +00001063 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001064 EmittedFunctions[F.getFunction()].FunctionBody = BufferBegin;
1065
Evan Cheng9a1e9b92006-11-16 20:04:54 +00001066 // Ensure the constant pool/jump table info is at least 4-byte aligned.
1067 emitAlignment(16);
1068
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001069 emitConstantPool(F.getConstantPool());
1070 initJumpTableInfo(F.getJumpTableInfo());
1071
1072 // About to start emitting the machine code for the function.
Chris Lattner0eb4d6b2006-05-03 01:03:20 +00001073 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001074 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001075 EmittedFunctions[F.getFunction()].Code = CurBufferPtr;
Evan Cheng55fc2802006-07-25 20:40:54 +00001076
Chris Lattnerb4432f32006-05-03 17:10:41 +00001077 MBBLocations.clear();
Jeffrey Yasskin32360a72009-07-16 21:07:26 +00001078
1079 EmissionDetails.MF = &F;
1080 EmissionDetails.LineStarts.clear();
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001081}
1082
Chris Lattner43b429b2006-05-02 18:27:26 +00001083bool JITEmitter::finishFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +00001084 if (CurBufferPtr == BufferEnd) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001085 // We must call endFunctionBody before retrying, because
1086 // deallocateMemForFunction requires it.
1087 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
1088 retryWithMoreMemory(F);
1089 return true;
Chris Lattnere993cc22006-05-11 23:08:08 +00001090 }
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001091
Jim Laskeyb92767a2006-12-14 22:53:42 +00001092 emitJumpTableInfo(F.getJumpTableInfo());
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001093
Chris Lattnera8279532006-06-16 18:09:26 +00001094 // FnStart is the start of the text, not the start of the constant pool and
1095 // other per-function data.
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001096 uint8_t *FnStart =
1097 (uint8_t *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001098
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +00001099 // FnEnd is the end of the function's machine code.
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001100 uint8_t *FnEnd = CurBufferPtr;
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +00001101
Chris Lattner5be478f2004-11-20 03:46:14 +00001102 if (!Relocations.empty()) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001103 CurFn = F.getFunction();
Chris Lattnere884dc22005-07-20 16:29:20 +00001104 NumRelos += Relocations.size();
1105
Chris Lattner5be478f2004-11-20 03:46:14 +00001106 // Resolve the relocations to concrete pointers.
1107 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
1108 MachineRelocation &MR = Relocations[i];
Evan Cheng92006052008-11-03 07:14:02 +00001109 void *ResultPtr = 0;
Evan Chengef5784e2008-10-29 23:54:46 +00001110 if (!MR.letTargetResolve()) {
Evan Chengd7398c92008-11-08 07:37:34 +00001111 if (MR.isExternalSymbol()) {
Dan Gohman69f93782009-01-05 05:32:42 +00001112 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getExternalSymbol(),
1113 false);
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001114 DEBUG(errs() << "JIT: Map \'" << MR.getExternalSymbol() << "\' to ["
Eric Christopher116664a2009-11-12 03:12:18 +00001115 << ResultPtr << "]\n");
Misha Brukmanf976c852005-04-21 22:55:34 +00001116
Evan Chengef5784e2008-10-29 23:54:46 +00001117 // If the target REALLY wants a stub for this function, emit it now.
Jeffrey Yasskin2d274412009-11-07 08:51:52 +00001118 if (MR.mayNeedFarStub()) {
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +00001119 ResultPtr = Resolver.getExternalFunctionStub(ResultPtr);
Nate Begeman841c6a42009-03-11 07:03:43 +00001120 }
Evan Chengef5784e2008-10-29 23:54:46 +00001121 } else if (MR.isGlobalValue()) {
1122 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
1123 BufferBegin+MR.getMachineCodeOffset(),
Jeffrey Yasskin2d274412009-11-07 08:51:52 +00001124 MR.mayNeedFarStub());
Evan Cheng5594f122008-11-10 01:52:24 +00001125 } else if (MR.isIndirectSymbol()) {
Jeffrey Yasskin2d274412009-11-07 08:51:52 +00001126 ResultPtr = getPointerToGVIndirectSym(
1127 MR.getGlobalValue(), BufferBegin+MR.getMachineCodeOffset());
Evan Chengef5784e2008-10-29 23:54:46 +00001128 } else if (MR.isBasicBlock()) {
1129 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
1130 } else if (MR.isConstantPoolIndex()) {
1131 ResultPtr = (void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
1132 } else {
1133 assert(MR.isJumpTableIndex());
1134 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
1135 }
Jeff Cohen00b168892005-07-27 06:12:32 +00001136
Evan Chengef5784e2008-10-29 23:54:46 +00001137 MR.setResultPointer(ResultPtr);
1138 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +00001139
Andrew Lenharth6a974612005-07-28 12:44:13 +00001140 // if we are managing the GOT and the relocation wants an index,
1141 // give it one
Chris Lattner8907b4b2007-12-05 23:39:57 +00001142 if (MR.isGOTRelative() && MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +00001143 unsigned idx = Resolver.getGOTIndexForAddr(ResultPtr);
Andrew Lenharth6a974612005-07-28 12:44:13 +00001144 MR.setGOTIndex(idx);
Chris Lattner8907b4b2007-12-05 23:39:57 +00001145 if (((void**)MemMgr->getGOTBase())[idx] != ResultPtr) {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001146 DEBUG(errs() << "JIT: GOT was out of date for " << ResultPtr
1147 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
1148 << "\n");
Chris Lattner8907b4b2007-12-05 23:39:57 +00001149 ((void**)MemMgr->getGOTBase())[idx] = ResultPtr;
Andrew Lenharth6a974612005-07-28 12:44:13 +00001150 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +00001151 }
Chris Lattner5be478f2004-11-20 03:46:14 +00001152 }
1153
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001154 CurFn = 0;
Chris Lattner43b429b2006-05-02 18:27:26 +00001155 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Chris Lattner8907b4b2007-12-05 23:39:57 +00001156 Relocations.size(), MemMgr->getGOTBase());
Chris Lattner5be478f2004-11-20 03:46:14 +00001157 }
1158
Chris Lattnerd2d5c762006-05-03 18:55:56 +00001159 // Update the GOT entry for F to point to the new code.
Chris Lattner8907b4b2007-12-05 23:39:57 +00001160 if (MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +00001161 unsigned idx = Resolver.getGOTIndexForAddr((void*)BufferBegin);
Chris Lattner8907b4b2007-12-05 23:39:57 +00001162 if (((void**)MemMgr->getGOTBase())[idx] != (void*)BufferBegin) {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001163 DEBUG(errs() << "JIT: GOT was out of date for " << (void*)BufferBegin
1164 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
1165 << "\n");
Chris Lattner8907b4b2007-12-05 23:39:57 +00001166 ((void**)MemMgr->getGOTBase())[idx] = (void*)BufferBegin;
Andrew Lenharth6a974612005-07-28 12:44:13 +00001167 }
1168 }
1169
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +00001170 // CurBufferPtr may have moved beyond FnEnd, due to memory allocation for
1171 // global variables that were referenced in the relocations.
1172 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
Evan Cheng5788d1a2008-12-10 02:32:19 +00001173
1174 if (CurBufferPtr == BufferEnd) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001175 retryWithMoreMemory(F);
1176 return true;
1177 } else {
1178 // Now that we've succeeded in emitting the function, reset the
1179 // SizeEstimate back down to zero.
1180 SizeEstimate = 0;
Evan Cheng5788d1a2008-12-10 02:32:19 +00001181 }
1182
Nuno Lopescef75272008-10-21 11:42:16 +00001183 BufferBegin = CurBufferPtr = 0;
1184 NumBytes += FnEnd-FnStart;
1185
Evan Cheng55fc2802006-07-25 20:40:54 +00001186 // Invalidate the icache if necessary.
Chris Lattnerbc52cad2008-06-25 17:18:44 +00001187 sys::Memory::InvalidateInstructionCache(FnStart, FnEnd-FnStart);
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +00001188
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +00001189 TheJIT->NotifyFunctionEmitted(*F.getFunction(), FnStart, FnEnd-FnStart,
Jeffrey Yasskin32360a72009-07-16 21:07:26 +00001190 EmissionDetails);
Evan Cheng55fc2802006-07-25 20:40:54 +00001191
Daniel Dunbarce63ffb2009-07-25 00:23:56 +00001192 DEBUG(errs() << "JIT: Finished CodeGen of [" << (void*)FnStart
1193 << "] Function: " << F.getFunction()->getName()
1194 << ": " << (FnEnd-FnStart) << " bytes of text, "
1195 << Relocations.size() << " relocations\n");
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +00001196
Chris Lattner5be478f2004-11-20 03:46:14 +00001197 Relocations.clear();
Evan Cheng1606e8e2009-03-13 07:51:59 +00001198 ConstPoolAddresses.clear();
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +00001199
Evan Chengbc4707a2008-09-18 07:54:21 +00001200 // Mark code region readable and executable if it's not so already.
Jim Grosbachcce6c292008-10-03 16:17:20 +00001201 MemMgr->setMemoryExecutable();
Evan Chengbc4707a2008-09-18 07:54:21 +00001202
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001203 DEBUG(
Evan Chenge7c35512008-11-12 08:22:43 +00001204 if (sys::hasDisassembler()) {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001205 errs() << "JIT: Disassembled code:\n";
1206 errs() << sys::disassembleBuffer(FnStart, FnEnd-FnStart,
1207 (uintptr_t)FnStart);
Evan Chenge7c35512008-11-12 08:22:43 +00001208 } else {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001209 errs() << "JIT: Binary code:\n";
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001210 uint8_t* q = FnStart;
Evan Chenge7c35512008-11-12 08:22:43 +00001211 for (int i = 0; q < FnEnd; q += 4, ++i) {
1212 if (i == 4)
1213 i = 0;
1214 if (i == 0)
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001215 errs() << "JIT: " << (long)(q - FnStart) << ": ";
Evan Chenge7c35512008-11-12 08:22:43 +00001216 bool Done = false;
1217 for (int j = 3; j >= 0; --j) {
1218 if (q + j >= FnEnd)
1219 Done = true;
1220 else
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001221 errs() << (unsigned short)q[j];
Evan Chenge7c35512008-11-12 08:22:43 +00001222 }
1223 if (Done)
1224 break;
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001225 errs() << ' ';
Evan Chenge7c35512008-11-12 08:22:43 +00001226 if (i == 3)
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001227 errs() << '\n';
Evan Chenga7916f52008-11-05 23:44:08 +00001228 }
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001229 errs()<< '\n';
Evan Chenga7916f52008-11-05 23:44:08 +00001230 }
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001231 );
1232
Reid Kleckner27632172009-09-20 23:52:43 +00001233 if (DwarfExceptionHandling || JITEmitDebugInfo) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001234 uintptr_t ActualSize = 0;
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001235 SavedBufferBegin = BufferBegin;
1236 SavedBufferEnd = BufferEnd;
1237 SavedCurBufferPtr = CurBufferPtr;
Reid Kleckner27632172009-09-20 23:52:43 +00001238
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +00001239 if (MemMgr->NeedsExactSize()) {
1240 ActualSize = DE->GetDwarfTableSizeInBytes(F, *this, FnStart, FnEnd);
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001241 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001242
1243 BufferBegin = CurBufferPtr = MemMgr->startExceptionTable(F.getFunction(),
1244 ActualSize);
1245 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001246 EmittedFunctions[F.getFunction()].ExceptionTable = BufferBegin;
Reid Kleckner27632172009-09-20 23:52:43 +00001247 uint8_t *EhStart;
1248 uint8_t *FrameRegister = DE->EmitDwarfTable(F, *this, FnStart, FnEnd,
1249 EhStart);
Chris Lattner0fdaa0b2008-03-07 20:05:43 +00001250 MemMgr->endExceptionTable(F.getFunction(), BufferBegin, CurBufferPtr,
1251 FrameRegister);
Reid Kleckner27632172009-09-20 23:52:43 +00001252 uint8_t *EhEnd = CurBufferPtr;
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001253 BufferBegin = SavedBufferBegin;
1254 BufferEnd = SavedBufferEnd;
1255 CurBufferPtr = SavedCurBufferPtr;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001256
Reid Kleckner27632172009-09-20 23:52:43 +00001257 if (DwarfExceptionHandling) {
1258 TheJIT->RegisterTable(FrameRegister);
1259 }
1260
1261 if (JITEmitDebugInfo) {
1262 DebugInfo I;
1263 I.FnStart = FnStart;
1264 I.FnEnd = FnEnd;
1265 I.EhStart = EhStart;
1266 I.EhEnd = EhEnd;
1267 DR->RegisterFunction(F.getFunction(), I);
1268 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001269 }
Evan Cheng252ddfb2008-09-02 08:14:01 +00001270
1271 if (MMI)
1272 MMI->EndFunction();
Eric Christopher116664a2009-11-12 03:12:18 +00001273
Chris Lattner43b429b2006-05-02 18:27:26 +00001274 return false;
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001275}
1276
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001277void JITEmitter::retryWithMoreMemory(MachineFunction &F) {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001278 DEBUG(errs() << "JIT: Ran out of space for native code. Reattempting.\n");
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001279 Relocations.clear(); // Clear the old relocations or we'll reapply them.
1280 ConstPoolAddresses.clear();
1281 ++NumRetries;
1282 deallocateMemForFunction(F.getFunction());
1283 // Try again with at least twice as much free space.
1284 SizeEstimate = (uintptr_t)(2 * (BufferEnd - BufferBegin));
1285}
1286
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001287/// deallocateMemForFunction - Deallocate all memory for the specified
1288/// function body. Also drop any references the function has to stubs.
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001289/// May be called while the Function is being destroyed inside ~Value().
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001290void JITEmitter::deallocateMemForFunction(const Function *F) {
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001291 ValueMap<const Function *, EmittedCode, EmittedFunctionConfig>::iterator
1292 Emitted = EmittedFunctions.find(F);
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001293 if (Emitted != EmittedFunctions.end()) {
1294 MemMgr->deallocateFunctionBody(Emitted->second.FunctionBody);
1295 MemMgr->deallocateExceptionTable(Emitted->second.ExceptionTable);
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001296 TheJIT->NotifyFreeingMachineCode(Emitted->second.Code);
1297
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001298 EmittedFunctions.erase(Emitted);
1299 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001300
Reid Kleckner27632172009-09-20 23:52:43 +00001301 // TODO: Do we need to unregister exception handling information from libgcc
1302 // here?
1303
1304 if (JITEmitDebugInfo) {
1305 DR->UnregisterFunction(F);
1306 }
1307
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001308 // If the function did not reference any stubs, return.
1309 if (CurFnStubUses.find(F) == CurFnStubUses.end())
1310 return;
Eric Christopher116664a2009-11-12 03:12:18 +00001311
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001312 // For each referenced stub, erase the reference to this function, and then
1313 // erase the list of referenced stubs.
1314 SmallVectorImpl<void *> &StubList = CurFnStubUses[F];
1315 for (unsigned i = 0, e = StubList.size(); i != e; ++i) {
1316 void *Stub = StubList[i];
Eric Christopher116664a2009-11-12 03:12:18 +00001317
Nate Begeman841c6a42009-03-11 07:03:43 +00001318 // If we already invalidated this stub for this function, continue.
1319 if (StubFnRefs.count(Stub) == 0)
1320 continue;
Eric Christopher116664a2009-11-12 03:12:18 +00001321
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001322 SmallPtrSet<const Function *, 1> &FnRefs = StubFnRefs[Stub];
1323 FnRefs.erase(F);
Eric Christopher116664a2009-11-12 03:12:18 +00001324
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001325 // If this function was the last reference to the stub, invalidate the stub
1326 // in the JITResolver. Were there a memory manager deallocateStub routine,
1327 // we could call that at this point too.
1328 if (FnRefs.empty()) {
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001329 DEBUG(errs() << "\nJIT: Invalidated Stub at [" << Stub << "]\n");
Nate Begeman841c6a42009-03-11 07:03:43 +00001330 StubFnRefs.erase(Stub);
1331
1332 // Invalidate the stub. If it is a GV stub, update the JIT's global
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +00001333 // mapping for that GV to zero.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +00001334 GlobalValue *GV = Resolver.invalidateStub(Stub);
Nate Begeman841c6a42009-03-11 07:03:43 +00001335 if (GV) {
1336 TheJIT->updateGlobalMapping(GV, 0);
Nate Begeman841c6a42009-03-11 07:03:43 +00001337 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001338 }
1339 }
1340 CurFnStubUses.erase(F);
1341}
1342
1343
Evan Cheng5788d1a2008-12-10 02:32:19 +00001344void* JITEmitter::allocateSpace(uintptr_t Size, unsigned Alignment) {
Nuno Lopescef75272008-10-21 11:42:16 +00001345 if (BufferBegin)
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001346 return JITCodeEmitter::allocateSpace(Size, Alignment);
Nuno Lopescef75272008-10-21 11:42:16 +00001347
1348 // create a new memory block if there is no active one.
1349 // care must be taken so that BufferBegin is invalidated when a
1350 // block is trimmed
1351 BufferBegin = CurBufferPtr = MemMgr->allocateSpace(Size, Alignment);
1352 BufferEnd = BufferBegin+Size;
1353 return CurBufferPtr;
1354}
1355
Jeffrey Yasskin489393d2009-07-08 21:59:57 +00001356void* JITEmitter::allocateGlobal(uintptr_t Size, unsigned Alignment) {
1357 // Delegate this call through the memory manager.
1358 return MemMgr->allocateGlobal(Size, Alignment);
1359}
1360
Chris Lattner166f2262004-11-22 22:00:25 +00001361void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001362 if (TheJIT->getJITInfo().hasCustomConstantPool())
Jim Grosbach8fe95352008-10-30 23:44:39 +00001363 return;
Evan Cheng47c01a02008-11-07 09:02:17 +00001364
Chris Lattnerfa77d432006-02-09 04:22:52 +00001365 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
Chris Lattner2c0a6a12003-11-30 04:23:21 +00001366 if (Constants.empty()) return;
1367
Evan Cheng1606e8e2009-03-13 07:51:59 +00001368 unsigned Size = GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
1369 unsigned Align = MCP->getConstantPoolAlignment();
Evan Cheng97b8c402008-04-12 00:22:01 +00001370 ConstantPoolBase = allocateSpace(Size, Align);
Chris Lattner239862c2006-02-09 04:49:59 +00001371 ConstantPool = MCP;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001372
1373 if (ConstantPoolBase == 0) return; // Buffer overflow.
1374
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001375 DEBUG(errs() << "JIT: Emitted constant pool at [" << ConstantPoolBase
1376 << "] (size: " << Size << ", alignment: " << Align << ")\n");
Evan Cheng97b8c402008-04-12 00:22:01 +00001377
Chris Lattner239862c2006-02-09 04:49:59 +00001378 // Initialize the memory for all of the constant pool entries.
Evan Cheng1606e8e2009-03-13 07:51:59 +00001379 unsigned Offset = 0;
Chris Lattner3029f922006-02-09 04:46:04 +00001380 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Evan Cheng1606e8e2009-03-13 07:51:59 +00001381 MachineConstantPoolEntry CPE = Constants[i];
1382 unsigned AlignMask = CPE.getAlignment() - 1;
1383 Offset = (Offset + AlignMask) & ~AlignMask;
1384
1385 uintptr_t CAddr = (uintptr_t)ConstantPoolBase + Offset;
1386 ConstPoolAddresses.push_back(CAddr);
1387 if (CPE.isMachineConstantPoolEntry()) {
Evan Chengcd5731d2006-09-12 20:59:59 +00001388 // FIXME: add support to lower machine constant pool values into bytes!
Torok Edwin7d696d82009-07-11 13:10:19 +00001389 llvm_report_error("Initialize memory with machine specific constant pool"
1390 "entry has not been implemented!");
Evan Chengcd5731d2006-09-12 20:59:59 +00001391 }
Evan Cheng1606e8e2009-03-13 07:51:59 +00001392 TheJIT->InitializeMemory(CPE.Val.ConstVal, (void*)CAddr);
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001393 DEBUG(errs() << "JIT: CP" << i << " at [0x";
1394 errs().write_hex(CAddr) << "]\n");
Evan Cheng1606e8e2009-03-13 07:51:59 +00001395
1396 const Type *Ty = CPE.Val.ConstVal->getType();
Duncan Sands777d2302009-05-09 07:06:46 +00001397 Offset += TheJIT->getTargetData()->getTypeAllocSize(Ty);
Chris Lattner1cc08382003-01-13 01:00:12 +00001398 }
1399}
1400
Nate Begeman37efe672006-04-22 18:53:45 +00001401void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001402 if (TheJIT->getJITInfo().hasCustomJumpTables())
1403 return;
1404
Nate Begeman37efe672006-04-22 18:53:45 +00001405 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1406 if (JT.empty()) return;
Eric Christopher116664a2009-11-12 03:12:18 +00001407
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001408 unsigned NumEntries = 0;
Nate Begeman37efe672006-04-22 18:53:45 +00001409 for (unsigned i = 0, e = JT.size(); i != e; ++i)
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001410 NumEntries += JT[i].MBBs.size();
1411
1412 unsigned EntrySize = MJTI->getEntrySize();
1413
Nate Begeman37efe672006-04-22 18:53:45 +00001414 // Just allocate space for all the jump tables now. We will fix up the actual
1415 // MBB entries in the tables after we emit the code for each block, since then
1416 // we will know the final locations of the MBBs in memory.
1417 JumpTable = MJTI;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001418 JumpTableBase = allocateSpace(NumEntries * EntrySize, MJTI->getAlignment());
Nate Begeman37efe672006-04-22 18:53:45 +00001419}
1420
Jim Laskeyb92767a2006-12-14 22:53:42 +00001421void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001422 if (TheJIT->getJITInfo().hasCustomJumpTables())
1423 return;
1424
Nate Begeman37efe672006-04-22 18:53:45 +00001425 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001426 if (JT.empty() || JumpTableBase == 0) return;
Eric Christopher116664a2009-11-12 03:12:18 +00001427
Jim Laskeyb92767a2006-12-14 22:53:42 +00001428 if (TargetMachine::getRelocationModel() == Reloc::PIC_) {
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001429 assert(MJTI->getEntrySize() == 4 && "Cross JIT'ing?");
1430 // For each jump table, place the offset from the beginning of the table
1431 // to the target address.
1432 int *SlotPtr = (int*)JumpTableBase;
Chris Lattner32ca55f2006-05-03 00:13:06 +00001433
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001434 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1435 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1436 // Store the offset of the basic block for this jump table slot in the
1437 // memory we allocated for the jump table in 'initJumpTableInfo'
Evan Cheng5788d1a2008-12-10 02:32:19 +00001438 uintptr_t Base = (uintptr_t)SlotPtr;
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001439 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) {
Evan Cheng5788d1a2008-12-10 02:32:19 +00001440 uintptr_t MBBAddr = getMachineBasicBlockAddress(MBBs[mi]);
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001441 *SlotPtr++ = TheJIT->getJITInfo().getPICJumpTableEntry(MBBAddr, Base);
1442 }
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001443 }
1444 } else {
1445 assert(MJTI->getEntrySize() == sizeof(void*) && "Cross JIT'ing?");
Eric Christopher116664a2009-11-12 03:12:18 +00001446
1447 // For each jump table, map each target in the jump table to the address of
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001448 // an emitted MachineBasicBlock.
1449 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
1450
1451 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1452 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1453 // Store the address of the basic block for this jump table slot in the
1454 // memory we allocated for the jump table in 'initJumpTableInfo'
1455 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
1456 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
1457 }
Nate Begeman37efe672006-04-22 18:53:45 +00001458 }
1459}
1460
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001461void JITEmitter::startGVStub(const GlobalValue* GV,
Jeffrey Yasskin0261d792009-11-23 22:49:00 +00001462 unsigned StubSize, unsigned Alignment) {
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001463 SavedBufferBegin = BufferBegin;
1464 SavedBufferEnd = BufferEnd;
1465 SavedCurBufferPtr = CurBufferPtr;
Eric Christopher116664a2009-11-12 03:12:18 +00001466
Evan Chengce4a70b2008-11-08 08:02:53 +00001467 BufferBegin = CurBufferPtr = MemMgr->allocateStub(GV, StubSize, Alignment);
Chris Lattner43b429b2006-05-02 18:27:26 +00001468 BufferEnd = BufferBegin+StubSize+1;
Chris Lattner6125fdd2003-05-09 03:30:07 +00001469}
1470
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001471void JITEmitter::startGVStub(void *Buffer, unsigned StubSize) {
1472 SavedBufferBegin = BufferBegin;
1473 SavedBufferEnd = BufferEnd;
1474 SavedCurBufferPtr = CurBufferPtr;
Eric Christopher116664a2009-11-12 03:12:18 +00001475
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001476 BufferBegin = CurBufferPtr = (uint8_t *)Buffer;
Nate Begemand6b7a242009-02-18 08:31:02 +00001477 BufferEnd = BufferBegin+StubSize+1;
1478}
1479
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001480void JITEmitter::finishGVStub() {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001481 assert(CurBufferPtr != BufferEnd && "Stub overflowed allocated space.");
Chris Lattner43b429b2006-05-02 18:27:26 +00001482 NumBytes += getCurrentPCOffset();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001483 BufferBegin = SavedBufferBegin;
1484 BufferEnd = SavedBufferEnd;
1485 CurBufferPtr = SavedCurBufferPtr;
1486}
1487
1488void *JITEmitter::allocIndirectGV(const GlobalValue *GV,
1489 const uint8_t *Buffer, size_t Size,
1490 unsigned Alignment) {
1491 uint8_t *IndGV = MemMgr->allocateStub(GV, Size, Alignment);
1492 memcpy(IndGV, Buffer, Size);
1493 return IndGV;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001494}
1495
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001496// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
1497// in the constant pool that was last emitted with the 'emitConstantPool'
1498// method.
1499//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001500uintptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Chris Lattner239862c2006-02-09 04:49:59 +00001501 assert(ConstantNum < ConstantPool->getConstants().size() &&
Misha Brukman3c944972005-04-22 04:08:30 +00001502 "Invalid ConstantPoolIndex!");
Evan Cheng1606e8e2009-03-13 07:51:59 +00001503 return ConstPoolAddresses[ConstantNum];
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001504}
1505
Nate Begeman37efe672006-04-22 18:53:45 +00001506// getJumpTableEntryAddress - Return the address of the JumpTable with index
1507// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
1508//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001509uintptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Nate Begeman37efe672006-04-22 18:53:45 +00001510 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
1511 assert(Index < JT.size() && "Invalid jump table index!");
Eric Christopher116664a2009-11-12 03:12:18 +00001512
Nate Begeman37efe672006-04-22 18:53:45 +00001513 unsigned Offset = 0;
1514 unsigned EntrySize = JumpTable->getEntrySize();
Eric Christopher116664a2009-11-12 03:12:18 +00001515
Nate Begeman37efe672006-04-22 18:53:45 +00001516 for (unsigned i = 0; i < Index; ++i)
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001517 Offset += JT[i].MBBs.size();
Eric Christopher116664a2009-11-12 03:12:18 +00001518
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001519 Offset *= EntrySize;
Eric Christopher116664a2009-11-12 03:12:18 +00001520
Evan Cheng5788d1a2008-12-10 02:32:19 +00001521 return (uintptr_t)((char *)JumpTableBase + Offset);
Nate Begeman37efe672006-04-22 18:53:45 +00001522}
1523
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001524void JITEmitter::EmittedFunctionConfig::onDelete(
1525 JITEmitter *Emitter, const Function *F) {
1526 Emitter->deallocateMemForFunction(F);
1527}
1528void JITEmitter::EmittedFunctionConfig::onRAUW(
1529 JITEmitter *, const Function*, const Function*) {
1530 llvm_unreachable("The JIT doesn't know how to handle a"
1531 " RAUW on a value it has emitted.");
1532}
1533
1534
Chris Lattnere993cc22006-05-11 23:08:08 +00001535//===----------------------------------------------------------------------===//
1536// Public interface to this file
1537//===----------------------------------------------------------------------===//
1538
Reid Kleckner27632172009-09-20 23:52:43 +00001539JITCodeEmitter *JIT::createEmitter(JIT &jit, JITMemoryManager *JMM,
1540 TargetMachine &tm) {
1541 return new JITEmitter(jit, JMM, tm);
Chris Lattnere993cc22006-05-11 23:08:08 +00001542}
1543
Misha Brukmand69c1e62003-07-28 19:09:06 +00001544// getPointerToNamedFunction - This function is used as a global wrapper to
Chris Lattner4d326fa2003-12-20 01:46:27 +00001545// JIT::getPointerToNamedFunction for the purpose of resolving symbols when
Misha Brukmand69c1e62003-07-28 19:09:06 +00001546// bugpoint is debugging the JIT. In that scenario, we are loading an .so and
1547// need to resolve function(s) that are being mis-codegenerated, so we need to
1548// resolve their addresses at runtime, and this is the way to do it.
1549extern "C" {
1550 void *getPointerToNamedFunction(const char *Name) {
Chris Lattnerfe854032006-08-16 01:24:12 +00001551 if (Function *F = TheJIT->FindFunctionNamed(Name))
Chris Lattner4d326fa2003-12-20 01:46:27 +00001552 return TheJIT->getPointerToFunction(F);
1553 return TheJIT->getPointerToNamedFunction(Name);
Misha Brukmand69c1e62003-07-28 19:09:06 +00001554 }
1555}
Chris Lattnere993cc22006-05-11 23:08:08 +00001556
1557// getPointerToFunctionOrStub - If the specified function has been
1558// code-gen'd, return a pointer to the function. If not, compile it, or use
1559// a stub to implement lazy compilation if available.
1560//
1561void *JIT::getPointerToFunctionOrStub(Function *F) {
1562 // If we have already code generated the function, just return the address.
1563 if (void *Addr = getPointerToGlobalIfAvailable(F))
1564 return Addr;
Eric Christopher116664a2009-11-12 03:12:18 +00001565
Chris Lattnere7484012007-02-24 02:57:03 +00001566 // Get a stub if the target supports it.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001567 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Evan Chenga044dfc2008-08-20 00:28:12 +00001568 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001569 return JE->getJITResolver().getLazyFunctionStub(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001570}
1571
Nate Begemand6b7a242009-02-18 08:31:02 +00001572void JIT::updateFunctionStub(Function *F) {
1573 // Get the empty stub we generated earlier.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001574 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Nate Begemand6b7a242009-02-18 08:31:02 +00001575 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001576 void *Stub = JE->getJITResolver().getLazyFunctionStub(F);
1577 void *Addr = getPointerToGlobalIfAvailable(F);
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +00001578 assert(Addr != Stub && "Function must have non-stub address to be updated.");
Nate Begemand6b7a242009-02-18 08:31:02 +00001579
1580 // Tell the target jit info to rewrite the stub at the specified address,
1581 // rather than creating a new one.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001582 TargetJITInfo::StubLayout layout = getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001583 JE->startGVStub(Stub, layout.Size);
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001584 getJITInfo().emitFunctionStub(F, Addr, *getCodeEmitter());
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001585 JE->finishGVStub();
Nate Begemand6b7a242009-02-18 08:31:02 +00001586}
1587
Chris Lattnere993cc22006-05-11 23:08:08 +00001588/// freeMachineCodeForFunction - release machine code memory for given Function.
1589///
1590void JIT::freeMachineCodeForFunction(Function *F) {
1591 // Delete translation for this from the ExecutionEngine, so it will get
1592 // retranslated next time it is used.
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001593 updateGlobalMapping(F, 0);
Chris Lattnere993cc22006-05-11 23:08:08 +00001594
1595 // Free the actual memory for the function body and related stuff.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001596 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
1597 cast<JITEmitter>(JCE)->deallocateMemForFunction(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001598}