blob: 0273bc1820a37f40933e854ea45f0d730369557d [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"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000017#include "JITDwarfEmitter.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000018#include "llvm/Constants.h"
Chris Lattner2c0a6a12003-11-30 04:23:21 +000019#include "llvm/Module.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000020#include "llvm/DerivedTypes.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000021#include "llvm/CodeGen/MachineCodeEmitter.h"
22#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000023#include "llvm/CodeGen/MachineConstantPool.h"
Nate Begeman37efe672006-04-22 18:53:45 +000024#include "llvm/CodeGen/MachineJumpTableInfo.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000025#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000026#include "llvm/CodeGen/MachineRelocation.h"
Chris Lattner8907b4b2007-12-05 23:39:57 +000027#include "llvm/ExecutionEngine/JITMemoryManager.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000028#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000029#include "llvm/Target/TargetData.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000030#include "llvm/Target/TargetJITInfo.h"
Jim Laskeyacd80ac2006-12-14 19:17:33 +000031#include "llvm/Target/TargetMachine.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000032#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000033#include "llvm/Support/Debug.h"
Chris Lattnere7fd5532006-05-08 22:00:52 +000034#include "llvm/Support/MutexGuard.h"
Anton Korobeynikovfd58e6e2007-01-23 10:26:08 +000035#include "llvm/System/Disassembler.h"
Chris Lattnerbc52cad2008-06-25 17:18:44 +000036#include "llvm/System/Memory.h"
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +000037#include "llvm/Target/TargetInstrInfo.h"
Evan Cheng47c01a02008-11-07 09:02:17 +000038#include "llvm/ADT/SmallPtrSet.h"
Nate Begemand6b7a242009-02-18 08:31:02 +000039#include "llvm/ADT/SmallVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000040#include "llvm/ADT/Statistic.h"
Andrew Lenhartha00269b2005-07-29 23:40:16 +000041#include <algorithm>
Evan Chenga7916f52008-11-05 23:44:08 +000042#ifndef NDEBUG
43#include <iomanip>
44#endif
Chris Lattnerc19aade2003-12-08 08:06:28 +000045using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000046
Chris Lattner36343732006-12-19 22:43:32 +000047STATISTIC(NumBytes, "Number of bytes of machine code compiled");
48STATISTIC(NumRelos, "Number of relocations applied");
49static JIT *TheJIT = 0;
Chris Lattner54266522004-11-20 23:57:07 +000050
Andrew Lenhartha00269b2005-07-29 23:40:16 +000051
Chris Lattner54266522004-11-20 23:57:07 +000052//===----------------------------------------------------------------------===//
53// JIT lazy compilation code.
54//
55namespace {
Reid Spenceree448632005-07-12 15:51:55 +000056 class JITResolverState {
57 private:
58 /// FunctionToStubMap - Keep track of the stub created for a particular
59 /// function so that we can reuse them if necessary.
60 std::map<Function*, void*> FunctionToStubMap;
61
62 /// StubToFunctionMap - Keep track of the function that each stub
63 /// corresponds to.
64 std::map<void*, Function*> StubToFunctionMap;
Jeff Cohen00b168892005-07-27 06:12:32 +000065
Evan Cheng5594f122008-11-10 01:52:24 +000066 /// GlobalToIndirectSymMap - Keep track of the indirect symbol created for a
Evan Chengbe8c03f2008-01-04 10:46:51 +000067 /// particular GlobalVariable so that we can reuse them if necessary.
Evan Cheng5594f122008-11-10 01:52:24 +000068 std::map<GlobalValue*, void*> GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +000069
Reid Spenceree448632005-07-12 15:51:55 +000070 public:
71 std::map<Function*, void*>& getFunctionToStubMap(const MutexGuard& locked) {
72 assert(locked.holds(TheJIT->lock));
73 return FunctionToStubMap;
74 }
Jeff Cohen00b168892005-07-27 06:12:32 +000075
Reid Spenceree448632005-07-12 15:51:55 +000076 std::map<void*, Function*>& getStubToFunctionMap(const MutexGuard& locked) {
77 assert(locked.holds(TheJIT->lock));
78 return StubToFunctionMap;
79 }
Evan Chengbe8c03f2008-01-04 10:46:51 +000080
81 std::map<GlobalValue*, void*>&
Evan Cheng5594f122008-11-10 01:52:24 +000082 getGlobalToIndirectSymMap(const MutexGuard& locked) {
Evan Chengbe8c03f2008-01-04 10:46:51 +000083 assert(locked.holds(TheJIT->lock));
Evan Cheng5594f122008-11-10 01:52:24 +000084 return GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +000085 }
Reid Spenceree448632005-07-12 15:51:55 +000086 };
Jeff Cohen00b168892005-07-27 06:12:32 +000087
Chris Lattner54266522004-11-20 23:57:07 +000088 /// JITResolver - Keep track of, and resolve, call sites for functions that
89 /// have not yet been compiled.
90 class JITResolver {
Chris Lattner5e225582004-11-21 03:37:42 +000091 /// LazyResolverFn - The target lazy resolver function that we actually
92 /// rewrite instructions to use.
93 TargetJITInfo::LazyResolverFn LazyResolverFn;
94
Reid Spenceree448632005-07-12 15:51:55 +000095 JITResolverState state;
Chris Lattner54266522004-11-20 23:57:07 +000096
Chris Lattnerd91ff7c2005-04-18 01:44:27 +000097 /// ExternalFnToStubMap - This is the equivalent of FunctionToStubMap for
98 /// external functions.
99 std::map<void*, void*> ExternalFnToStubMap;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000100
101 //map addresses to indexes in the GOT
102 std::map<void*, unsigned> revGOTMap;
103 unsigned nextGOTIndex;
104
Chris Lattnere7484012007-02-24 02:57:03 +0000105 static JITResolver *TheJITResolver;
Chris Lattner54266522004-11-20 23:57:07 +0000106 public:
Dan Gohman950a4c42008-03-25 22:06:05 +0000107 explicit JITResolver(JIT &jit) : nextGOTIndex(0) {
Chris Lattnere7484012007-02-24 02:57:03 +0000108 TheJIT = &jit;
109
110 LazyResolverFn = jit.getJITInfo().getLazyResolverFunction(JITCompilerFn);
111 assert(TheJITResolver == 0 && "Multiple JIT resolvers?");
112 TheJITResolver = this;
113 }
114
115 ~JITResolver() {
116 TheJITResolver = 0;
Chris Lattner5e225582004-11-21 03:37:42 +0000117 }
Chris Lattner54266522004-11-20 23:57:07 +0000118
Evan Cheng704bff92008-11-13 21:50:50 +0000119 /// getFunctionStubIfAvailable - This returns a pointer to a function stub
120 /// if it has already been created.
121 void *getFunctionStubIfAvailable(Function *F);
122
Chris Lattner54266522004-11-20 23:57:07 +0000123 /// getFunctionStub - This returns a pointer to a function stub, creating
Nate Begemand6b7a242009-02-18 08:31:02 +0000124 /// one on demand as needed. If empty is true, create a function stub
125 /// pointing at address 0, to be filled in later.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000126 void *getFunctionStub(Function *F);
Chris Lattner54266522004-11-20 23:57:07 +0000127
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000128 /// getExternalFunctionStub - Return a stub for the function at the
129 /// specified address, created lazily on demand.
130 void *getExternalFunctionStub(void *FnAddr);
131
Evan Cheng5594f122008-11-10 01:52:24 +0000132 /// getGlobalValueIndirectSym - Return an indirect symbol containing the
Evan Chengc96a8e72008-11-05 01:50:32 +0000133 /// specified GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000134 void *getGlobalValueIndirectSym(GlobalValue *V, void *GVAddress);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000135
Chris Lattner5e225582004-11-21 03:37:42 +0000136 /// AddCallbackAtLocation - If the target is capable of rewriting an
137 /// instruction without the use of a stub, record the location of the use so
138 /// we know which function is being used at the location.
139 void *AddCallbackAtLocation(Function *F, void *Location) {
Reid Spenceree448632005-07-12 15:51:55 +0000140 MutexGuard locked(TheJIT->lock);
Chris Lattner5e225582004-11-21 03:37:42 +0000141 /// Get the target-specific JIT resolver function.
Reid Spenceree448632005-07-12 15:51:55 +0000142 state.getStubToFunctionMap(locked)[Location] = F;
Chris Lattner870286a2006-06-01 17:29:22 +0000143 return (void*)(intptr_t)LazyResolverFn;
Chris Lattner5e225582004-11-21 03:37:42 +0000144 }
Nate Begemand6b7a242009-02-18 08:31:02 +0000145
146 void getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000147 SmallVectorImpl<void*> &Ptrs);
148
149 GlobalValue *invalidateStub(void *Stub);
Chris Lattner5e225582004-11-21 03:37:42 +0000150
Andrew Lenharth6a974612005-07-28 12:44:13 +0000151 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
Chris Lattner8907b4b2007-12-05 23:39:57 +0000152 /// an address. This function only manages slots, it does not manage the
Andrew Lenharth6a974612005-07-28 12:44:13 +0000153 /// contents of the slots or the memory associated with the GOT.
Chris Lattner8907b4b2007-12-05 23:39:57 +0000154 unsigned getGOTIndexForAddr(void *addr);
Andrew Lenharth6a974612005-07-28 12:44:13 +0000155
Chris Lattner54266522004-11-20 23:57:07 +0000156 /// JITCompilerFn - This function is called to resolve a stub to a compiled
157 /// address. If the LLVM Function corresponding to the stub has not yet
158 /// been compiled, this function compiles it first.
159 static void *JITCompilerFn(void *Stub);
160 };
161}
162
Chris Lattnere7484012007-02-24 02:57:03 +0000163JITResolver *JITResolver::TheJITResolver = 0;
Chris Lattner54266522004-11-20 23:57:07 +0000164
Evan Cheng704bff92008-11-13 21:50:50 +0000165/// getFunctionStubIfAvailable - This returns a pointer to a function stub
166/// if it has already been created.
167void *JITResolver::getFunctionStubIfAvailable(Function *F) {
168 MutexGuard locked(TheJIT->lock);
169
170 // If we already have a stub for this function, recycle it.
171 void *&Stub = state.getFunctionToStubMap(locked)[F];
172 return Stub;
173}
174
Chris Lattner54266522004-11-20 23:57:07 +0000175/// getFunctionStub - This returns a pointer to a function stub, creating
176/// one on demand as needed.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000177void *JITResolver::getFunctionStub(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000178 MutexGuard locked(TheJIT->lock);
179
Chris Lattner54266522004-11-20 23:57:07 +0000180 // If we already have a stub for this function, recycle it.
Reid Spenceree448632005-07-12 15:51:55 +0000181 void *&Stub = state.getFunctionToStubMap(locked)[F];
Chris Lattner54266522004-11-20 23:57:07 +0000182 if (Stub) return Stub;
183
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000184 // Call the lazy resolver function unless we are JIT'ing non-lazily, in which
185 // case we must resolve the symbol now.
186 void *Actual = TheJIT->isLazyCompilationDisabled()
187 ? (void *)0 : (void *)(intptr_t)LazyResolverFn;
188
189 // If this is an external declaration, attempt to resolve the address now
190 // to place in the stub.
Dan Gohman69f93782009-01-05 05:32:42 +0000191 if (F->isDeclaration() && !F->hasNotBeenReadFromBitcode()) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000192 Actual = TheJIT->getPointerToFunction(F);
Misha Brukmanf976c852005-04-21 22:55:34 +0000193
Dan Gohman69f93782009-01-05 05:32:42 +0000194 // If we resolved the symbol to a null address (eg. a weak external)
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000195 // don't emit a stub. Return a null pointer to the application. If dlsym
196 // stubs are enabled, not being able to resolve the address is not
197 // meaningful.
198 if (!Actual && !TheJIT->areDlsymStubsEnabled()) return 0;
Dan Gohman69f93782009-01-05 05:32:42 +0000199 }
200
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000201 // Codegen a new stub, calling the lazy resolver or the actual address of the
202 // external function, if it was resolved.
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000203 Stub = TheJIT->getJITInfo().emitFunctionStub(F, Actual,
Chris Lattnere7484012007-02-24 02:57:03 +0000204 *TheJIT->getCodeEmitter());
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000205
Chris Lattner870286a2006-06-01 17:29:22 +0000206 if (Actual != (void*)(intptr_t)LazyResolverFn) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000207 // If we are getting the stub for an external function, we really want the
208 // address of the stub in the GlobalAddressMap for the JIT, not the address
209 // of the external function.
210 TheJIT->updateGlobalMapping(F, Stub);
211 }
Chris Lattner54266522004-11-20 23:57:07 +0000212
Chris Lattnerbe3ae8e2009-03-05 06:48:16 +0000213 DOUT << "JIT: Stub emitted at [" << Stub << "] for function '"
Bill Wendling832171c2006-12-07 20:04:42 +0000214 << F->getName() << "'\n";
Chris Lattnercb479412004-11-21 03:44:32 +0000215
Chris Lattner54266522004-11-20 23:57:07 +0000216 // Finally, keep track of the stub-to-Function mapping so that the
217 // JITCompilerFn knows which function to compile!
Reid Spenceree448632005-07-12 15:51:55 +0000218 state.getStubToFunctionMap(locked)[Stub] = F;
Nate Begemand6b7a242009-02-18 08:31:02 +0000219
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000220 // If we are JIT'ing non-lazily but need to call a function that does not
221 // exist yet, add it to the JIT's work list so that we can fill in the stub
222 // address later.
223 if (!Actual && TheJIT->isLazyCompilationDisabled())
224 if (!F->isDeclaration() || F->hasNotBeenReadFromBitcode())
225 TheJIT->addPendingFunction(F);
Nate Begemand6b7a242009-02-18 08:31:02 +0000226
Chris Lattner54266522004-11-20 23:57:07 +0000227 return Stub;
228}
229
Evan Cheng5594f122008-11-10 01:52:24 +0000230/// getGlobalValueIndirectSym - Return a lazy pointer containing the specified
Evan Chengbe8c03f2008-01-04 10:46:51 +0000231/// GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000232void *JITResolver::getGlobalValueIndirectSym(GlobalValue *GV, void *GVAddress) {
Evan Chengbe8c03f2008-01-04 10:46:51 +0000233 MutexGuard locked(TheJIT->lock);
234
235 // If we already have a stub for this global variable, recycle it.
Evan Cheng5594f122008-11-10 01:52:24 +0000236 void *&IndirectSym = state.getGlobalToIndirectSymMap(locked)[GV];
237 if (IndirectSym) return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000238
Evan Chenge4d783d2008-11-10 23:26:16 +0000239 // Otherwise, codegen a new indirect symbol.
Evan Cheng5594f122008-11-10 01:52:24 +0000240 IndirectSym = TheJIT->getJITInfo().emitGlobalValueIndirectSym(GV, GVAddress,
Evan Chengc96a8e72008-11-05 01:50:32 +0000241 *TheJIT->getCodeEmitter());
Evan Chengbe8c03f2008-01-04 10:46:51 +0000242
Evan Cheng5594f122008-11-10 01:52:24 +0000243 DOUT << "JIT: Indirect symbol emitted at [" << IndirectSym << "] for GV '"
Evan Chengbe8c03f2008-01-04 10:46:51 +0000244 << GV->getName() << "'\n";
245
Evan Cheng5594f122008-11-10 01:52:24 +0000246 return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000247}
248
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000249/// getExternalFunctionStub - Return a stub for the function at the
250/// specified address, created lazily on demand.
251void *JITResolver::getExternalFunctionStub(void *FnAddr) {
252 // If we already have a stub for this function, recycle it.
253 void *&Stub = ExternalFnToStubMap[FnAddr];
254 if (Stub) return Stub;
255
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000256 Stub = TheJIT->getJITInfo().emitFunctionStub(0, FnAddr,
Chris Lattnere7484012007-02-24 02:57:03 +0000257 *TheJIT->getCodeEmitter());
Evan Cheng55fc2802006-07-25 20:40:54 +0000258
Bill Wendling832171c2006-12-07 20:04:42 +0000259 DOUT << "JIT: Stub emitted at [" << Stub
260 << "] for external function at '" << FnAddr << "'\n";
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000261 return Stub;
262}
263
Andrew Lenharth6a974612005-07-28 12:44:13 +0000264unsigned JITResolver::getGOTIndexForAddr(void* addr) {
265 unsigned idx = revGOTMap[addr];
266 if (!idx) {
267 idx = ++nextGOTIndex;
268 revGOTMap[addr] = idx;
Evan Cheng366cf292008-11-07 22:30:29 +0000269 DOUT << "JIT: Adding GOT entry " << idx << " for addr [" << addr << "]\n";
Andrew Lenharth6a974612005-07-28 12:44:13 +0000270 }
271 return idx;
272}
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000273
Nate Begemand6b7a242009-02-18 08:31:02 +0000274void JITResolver::getRelocatableGVs(SmallVectorImpl<GlobalValue*> &GVs,
275 SmallVectorImpl<void*> &Ptrs) {
276 MutexGuard locked(TheJIT->lock);
277
278 std::map<Function*,void*> &FM = state.getFunctionToStubMap(locked);
279 std::map<GlobalValue*,void*> &GM = state.getGlobalToIndirectSymMap(locked);
280
281 for (std::map<Function*,void*>::iterator i = FM.begin(), e = FM.end();
282 i != e; ++i) {
283 Function *F = i->first;
284 if (F->isDeclaration() && F->hasExternalLinkage()) {
285 GVs.push_back(i->first);
286 Ptrs.push_back(i->second);
287 }
288 }
289 for (std::map<GlobalValue*,void*>::iterator i = GM.begin(), e = GM.end();
290 i != e; ++i) {
291 GVs.push_back(i->first);
292 Ptrs.push_back(i->second);
293 }
294}
295
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000296GlobalValue *JITResolver::invalidateStub(void *Stub) {
297 MutexGuard locked(TheJIT->lock);
298
299 std::map<Function*,void*> &FM = state.getFunctionToStubMap(locked);
300 std::map<void*,Function*> &SM = state.getStubToFunctionMap(locked);
301 std::map<GlobalValue*,void*> &GM = state.getGlobalToIndirectSymMap(locked);
302
303 // Look up the cheap way first, to see if it's a function stub we are
304 // invalidating. If so, remove it from both the forward and reverse maps.
305 if (SM.find(Stub) != SM.end()) {
306 Function *F = SM[Stub];
307 SM.erase(Stub);
308 FM.erase(F);
309 return F;
310 }
311
Nate Begeman841c6a42009-03-11 07:03:43 +0000312 // Otherwise, it might be an indirect symbol stub. Find it and remove it.
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000313 for (std::map<GlobalValue*,void*>::iterator i = GM.begin(), e = GM.end();
314 i != e; ++i) {
315 if (i->second != Stub)
316 continue;
317 GlobalValue *GV = i->first;
318 GM.erase(i);
319 return GV;
320 }
321
Nate Begeman841c6a42009-03-11 07:03:43 +0000322 // Lastly, check to see if it's in the ExternalFnToStubMap.
323 for (std::map<void *, void *>::iterator i = ExternalFnToStubMap.begin(),
324 e = ExternalFnToStubMap.end(); i != e; ++i) {
325 if (i->second != Stub)
326 continue;
327 ExternalFnToStubMap.erase(i);
328 break;
329 }
330
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000331 return 0;
332}
333
Chris Lattner54266522004-11-20 23:57:07 +0000334/// JITCompilerFn - This function is called when a lazy compilation stub has
335/// been entered. It looks up which function this stub corresponds to, compiles
336/// it if necessary, then returns the resultant function pointer.
337void *JITResolver::JITCompilerFn(void *Stub) {
Chris Lattnere7484012007-02-24 02:57:03 +0000338 JITResolver &JR = *TheJITResolver;
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000339
340 Function* F = 0;
341 void* ActualPtr = 0;
Misha Brukmanf976c852005-04-21 22:55:34 +0000342
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000343 {
344 // Only lock for getting the Function. The call getPointerToFunction made
345 // in this function might trigger function materializing, which requires
346 // JIT lock to be unlocked.
347 MutexGuard locked(TheJIT->lock);
Reid Spenceree448632005-07-12 15:51:55 +0000348
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000349 // The address given to us for the stub may not be exactly right, it might be
350 // a little bit after the stub. As such, use upper_bound to find it.
351 std::map<void*, Function*>::iterator I =
352 JR.state.getStubToFunctionMap(locked).upper_bound(Stub);
353 assert(I != JR.state.getStubToFunctionMap(locked).begin() &&
354 "This is not a known stub!");
355 F = (--I)->second;
356 ActualPtr = I->first;
357 }
Chris Lattner54266522004-11-20 23:57:07 +0000358
Evan Cheng9da60f92007-06-30 00:10:37 +0000359 // If we have already code generated the function, just return the address.
360 void *Result = TheJIT->getPointerToGlobalIfAvailable(F);
Chris Lattner9cab56d2006-11-09 19:32:13 +0000361
Evan Cheng9da60f92007-06-30 00:10:37 +0000362 if (!Result) {
363 // Otherwise we don't have it, do lazy compilation now.
364
365 // If lazy compilation is disabled, emit a useful error message and abort.
366 if (TheJIT->isLazyCompilationDisabled()) {
367 cerr << "LLVM JIT requested to do lazy compilation of function '"
368 << F->getName() << "' when lazy compiles are disabled!\n";
369 abort();
370 }
371
372 // We might like to remove the stub from the StubToFunction map.
373 // We can't do that! Multiple threads could be stuck, waiting to acquire the
374 // lock above. As soon as the 1st function finishes compiling the function,
375 // the next one will be released, and needs to be able to find the function
376 // it needs to call.
377 //JR.state.getStubToFunctionMap(locked).erase(I);
Chris Lattner54266522004-11-20 23:57:07 +0000378
Evan Cheng9da60f92007-06-30 00:10:37 +0000379 DOUT << "JIT: Lazily resolving function '" << F->getName()
380 << "' In stub ptr = " << Stub << " actual ptr = "
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000381 << ActualPtr << "\n";
Chris Lattner54266522004-11-20 23:57:07 +0000382
Evan Cheng9da60f92007-06-30 00:10:37 +0000383 Result = TheJIT->getPointerToFunction(F);
384 }
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000385
386 // Reacquire the lock to erase the stub in the map.
387 MutexGuard locked(TheJIT->lock);
Chris Lattner54266522004-11-20 23:57:07 +0000388
389 // We don't need to reuse this stub in the future, as F is now compiled.
Reid Spenceree448632005-07-12 15:51:55 +0000390 JR.state.getFunctionToStubMap(locked).erase(F);
Chris Lattner54266522004-11-20 23:57:07 +0000391
392 // FIXME: We could rewrite all references to this stub if we knew them.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000393
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000394 // What we will do is set the compiled function address to map to the
395 // same GOT entry as the stub so that later clients may update the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000396 // if they see it still using the stub address.
397 // Note: this is done so the Resolver doesn't have to manage GOT memory
398 // Do this without allocating map space if the target isn't using a GOT
399 if(JR.revGOTMap.find(Stub) != JR.revGOTMap.end())
400 JR.revGOTMap[Result] = JR.revGOTMap[Stub];
401
Chris Lattner54266522004-11-20 23:57:07 +0000402 return Result;
403}
Chris Lattner688506d2003-08-14 18:35:27 +0000404
Chris Lattner8ac66c12008-04-04 05:51:42 +0000405//===----------------------------------------------------------------------===//
406// Function Index Support
407
408// On MacOS we generate an index of currently JIT'd functions so that
409// performance tools can determine a symbol name and accurate code range for a
410// PC value. Because performance tools are generally asynchronous, the code
411// below is written with the hope that it could be interrupted at any time and
412// have useful answers. However, we don't go crazy with atomic operations, we
413// just do a "reasonable effort".
414#ifdef __APPLE__
Evan Chengbdb6ca12008-05-15 17:31:35 +0000415#define ENABLE_JIT_SYMBOL_TABLE 0
Chris Lattner8ac66c12008-04-04 05:51:42 +0000416#endif
417
418/// JitSymbolEntry - Each function that is JIT compiled results in one of these
419/// being added to an array of symbols. This indicates the name of the function
420/// as well as the address range it occupies. This allows the client to map
421/// from a PC value to the name of the function.
422struct JitSymbolEntry {
423 const char *FnName; // FnName - a strdup'd string.
424 void *FnStart;
425 intptr_t FnSize;
426};
427
428
429struct JitSymbolTable {
430 /// NextPtr - This forms a linked list of JitSymbolTable entries. This
431 /// pointer is not used right now, but might be used in the future. Consider
432 /// it reserved for future use.
433 JitSymbolTable *NextPtr;
434
435 /// Symbols - This is an array of JitSymbolEntry entries. Only the first
436 /// 'NumSymbols' symbols are valid.
437 JitSymbolEntry *Symbols;
438
439 /// NumSymbols - This indicates the number entries in the Symbols array that
440 /// are valid.
441 unsigned NumSymbols;
442
443 /// NumAllocated - This indicates the amount of space we have in the Symbols
444 /// array. This is a private field that should not be read by external tools.
445 unsigned NumAllocated;
446};
447
448#if ENABLE_JIT_SYMBOL_TABLE
449JitSymbolTable *__jitSymbolTable;
450#endif
451
452static void AddFunctionToSymbolTable(const char *FnName,
453 void *FnStart, intptr_t FnSize) {
454 assert(FnName != 0 && FnStart != 0 && "Bad symbol to add");
455 JitSymbolTable **SymTabPtrPtr = 0;
456#if !ENABLE_JIT_SYMBOL_TABLE
457 return;
458#else
459 SymTabPtrPtr = &__jitSymbolTable;
460#endif
461
462 // If this is the first entry in the symbol table, add the JitSymbolTable
463 // index.
464 if (*SymTabPtrPtr == 0) {
465 JitSymbolTable *New = new JitSymbolTable();
466 New->NextPtr = 0;
467 New->Symbols = 0;
468 New->NumSymbols = 0;
469 New->NumAllocated = 0;
470 *SymTabPtrPtr = New;
471 }
472
473 JitSymbolTable *SymTabPtr = *SymTabPtrPtr;
474
475 // If we have space in the table, reallocate the table.
476 if (SymTabPtr->NumSymbols >= SymTabPtr->NumAllocated) {
477 // If we don't have space, reallocate the table.
Chris Lattner3b374482008-04-13 07:04:56 +0000478 unsigned NewSize = std::max(64U, SymTabPtr->NumAllocated*2);
Chris Lattner8ac66c12008-04-04 05:51:42 +0000479 JitSymbolEntry *NewSymbols = new JitSymbolEntry[NewSize];
480 JitSymbolEntry *OldSymbols = SymTabPtr->Symbols;
481
482 // Copy the old entries over.
Nate Begemand6b7a242009-02-18 08:31:02 +0000483 memcpy(NewSymbols, OldSymbols, SymTabPtr->NumSymbols*sizeof(OldSymbols[0]));
Chris Lattner8ac66c12008-04-04 05:51:42 +0000484
485 // Swap the new symbols in, delete the old ones.
486 SymTabPtr->Symbols = NewSymbols;
Chris Lattner3b374482008-04-13 07:04:56 +0000487 SymTabPtr->NumAllocated = NewSize;
Chris Lattner8ac66c12008-04-04 05:51:42 +0000488 delete [] OldSymbols;
489 }
490
491 // Otherwise, we have enough space, just tack it onto the end of the array.
492 JitSymbolEntry &Entry = SymTabPtr->Symbols[SymTabPtr->NumSymbols];
493 Entry.FnName = strdup(FnName);
494 Entry.FnStart = FnStart;
495 Entry.FnSize = FnSize;
496 ++SymTabPtr->NumSymbols;
497}
498
499static void RemoveFunctionFromSymbolTable(void *FnStart) {
500 assert(FnStart && "Invalid function pointer");
501 JitSymbolTable **SymTabPtrPtr = 0;
502#if !ENABLE_JIT_SYMBOL_TABLE
503 return;
504#else
505 SymTabPtrPtr = &__jitSymbolTable;
506#endif
507
508 JitSymbolTable *SymTabPtr = *SymTabPtrPtr;
509 JitSymbolEntry *Symbols = SymTabPtr->Symbols;
510
511 // Scan the table to find its index. The table is not sorted, so do a linear
512 // scan.
513 unsigned Index;
514 for (Index = 0; Symbols[Index].FnStart != FnStart; ++Index)
515 assert(Index != SymTabPtr->NumSymbols && "Didn't find function!");
516
517 // Once we have an index, we know to nuke this entry, overwrite it with the
518 // entry at the end of the array, making the last entry redundant.
519 const char *OldName = Symbols[Index].FnName;
520 Symbols[Index] = Symbols[SymTabPtr->NumSymbols-1];
521 free((void*)OldName);
522
523 // Drop the number of symbols in the table.
524 --SymTabPtr->NumSymbols;
525
526 // Finally, if we deleted the final symbol, deallocate the table itself.
Nate Begemanf44085a2008-05-18 19:09:10 +0000527 if (SymTabPtr->NumSymbols != 0)
Chris Lattner8ac66c12008-04-04 05:51:42 +0000528 return;
529
530 *SymTabPtrPtr = 0;
531 delete [] Symbols;
532 delete SymTabPtr;
533}
Chris Lattner688506d2003-08-14 18:35:27 +0000534
Chris Lattner54266522004-11-20 23:57:07 +0000535//===----------------------------------------------------------------------===//
Chris Lattner166f2262004-11-22 22:00:25 +0000536// JITEmitter code.
Chris Lattner54266522004-11-20 23:57:07 +0000537//
Chris Lattner688506d2003-08-14 18:35:27 +0000538namespace {
Chris Lattner166f2262004-11-22 22:00:25 +0000539 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
540 /// used to output functions to memory for execution.
541 class JITEmitter : public MachineCodeEmitter {
Chris Lattner8907b4b2007-12-05 23:39:57 +0000542 JITMemoryManager *MemMgr;
Chris Lattner688506d2003-08-14 18:35:27 +0000543
Chris Lattner6125fdd2003-05-09 03:30:07 +0000544 // When outputting a function stub in the context of some other function, we
Chris Lattner43b429b2006-05-02 18:27:26 +0000545 // save BufferBegin/BufferEnd/CurBufferPtr here.
546 unsigned char *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000547
Chris Lattner5be478f2004-11-20 03:46:14 +0000548 /// Relocations - These are the relocations that the function needs, as
549 /// emitted.
550 std::vector<MachineRelocation> Relocations;
Chris Lattnerb4432f32006-05-03 17:10:41 +0000551
552 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
553 /// It is filled in by the StartMachineBasicBlock callback and queried by
554 /// the getMachineBasicBlockAddress callback.
Evan Cheng5788d1a2008-12-10 02:32:19 +0000555 std::vector<uintptr_t> MBBLocations;
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000556
Chris Lattner239862c2006-02-09 04:49:59 +0000557 /// ConstantPool - The constant pool for the current function.
558 ///
559 MachineConstantPool *ConstantPool;
560
561 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
562 ///
563 void *ConstantPoolBase;
Nate Begeman37efe672006-04-22 18:53:45 +0000564
Nate Begeman019f8512006-09-10 23:03:44 +0000565 /// JumpTable - The jump tables for the current function.
Nate Begeman37efe672006-04-22 18:53:45 +0000566 ///
567 MachineJumpTableInfo *JumpTable;
568
569 /// JumpTableBase - A pointer to the first entry in the jump table.
570 ///
571 void *JumpTableBase;
Evan Cheng2a3e08b2008-01-05 02:26:58 +0000572
Chris Lattnere7484012007-02-24 02:57:03 +0000573 /// Resolver - This contains info about the currently resolved functions.
574 JITResolver Resolver;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000575
576 /// DE - The dwarf emitter for the jit.
577 JITDwarfEmitter *DE;
578
579 /// LabelLocations - This vector is a mapping from Label ID's to their
580 /// address.
Evan Cheng5788d1a2008-12-10 02:32:19 +0000581 std::vector<uintptr_t> LabelLocations;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000582
583 /// MMI - Machine module info for exception informations
584 MachineModuleInfo* MMI;
585
Dale Johannesendd947ea2008-08-07 01:30:15 +0000586 // GVSet - a set to keep track of which globals have been seen
Evan Cheng47c01a02008-11-07 09:02:17 +0000587 SmallPtrSet<const GlobalVariable*, 8> GVSet;
Dale Johannesendd947ea2008-08-07 01:30:15 +0000588
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000589 // CurFn - The llvm function being emitted. Only valid during
590 // finishFunction().
591 const Function *CurFn;
592
593 // CurFnStubUses - For a given Function, a vector of stubs that it
594 // references. This facilitates the JIT detecting that a stub is no
595 // longer used, so that it may be deallocated.
596 DenseMap<const Function *, SmallVector<void*, 1> > CurFnStubUses;
597
598 // StubFnRefs - For a given pointer to a stub, a set of Functions which
599 // reference the stub. When the count of a stub's references drops to zero,
600 // the stub is unused.
601 DenseMap<void *, SmallPtrSet<const Function*, 1> > StubFnRefs;
602
Nate Begeman841c6a42009-03-11 07:03:43 +0000603 // ExtFnStubs - A map of external function names to stubs which have entries
604 // in the JITResolver's ExternalFnToStubMap.
605 StringMap<void *> ExtFnStubs;
606
Chris Lattnere7484012007-02-24 02:57:03 +0000607 public:
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000608 JITEmitter(JIT &jit, JITMemoryManager *JMM) : Resolver(jit), CurFn(0) {
Chris Lattner9f2f1422007-12-06 01:08:09 +0000609 MemMgr = JMM ? JMM : JITMemoryManager::CreateDefaultMemManager();
Chris Lattner8907b4b2007-12-05 23:39:57 +0000610 if (jit.getJITInfo().needsGOT()) {
611 MemMgr->AllocateGOT();
612 DOUT << "JIT is managing a GOT\n";
613 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000614
615 if (ExceptionHandling) DE = new JITDwarfEmitter(jit);
Chris Lattner8907b4b2007-12-05 23:39:57 +0000616 }
617 ~JITEmitter() {
618 delete MemMgr;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000619 if (ExceptionHandling) delete DE;
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000620 }
Evan Chenga044dfc2008-08-20 00:28:12 +0000621
622 /// classof - Methods for support type inquiry through isa, cast, and
623 /// dyn_cast:
624 ///
625 static inline bool classof(const JITEmitter*) { return true; }
626 static inline bool classof(const MachineCodeEmitter*) { return true; }
Chris Lattnere7484012007-02-24 02:57:03 +0000627
628 JITResolver &getJITResolver() { return Resolver; }
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000629
630 virtual void startFunction(MachineFunction &F);
Chris Lattner43b429b2006-05-02 18:27:26 +0000631 virtual bool finishFunction(MachineFunction &F);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000632
633 void emitConstantPool(MachineConstantPool *MCP);
634 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
Jim Laskeyb92767a2006-12-14 22:53:42 +0000635 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000636
Evan Chengce4a70b2008-11-08 08:02:53 +0000637 virtual void startGVStub(const GlobalValue* GV, unsigned StubSize,
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000638 unsigned Alignment = 1);
Nate Begemand6b7a242009-02-18 08:31:02 +0000639 virtual void startGVStub(const GlobalValue* GV, void *Buffer,
640 unsigned StubSize);
Evan Chengce4a70b2008-11-08 08:02:53 +0000641 virtual void* finishGVStub(const GlobalValue *GV);
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000642
Nuno Lopescef75272008-10-21 11:42:16 +0000643 /// allocateSpace - Reserves space in the current block if any, or
644 /// allocate a new one of the given size.
Evan Cheng5788d1a2008-12-10 02:32:19 +0000645 virtual void *allocateSpace(uintptr_t Size, unsigned Alignment);
Nuno Lopescef75272008-10-21 11:42:16 +0000646
Chris Lattner5be478f2004-11-20 03:46:14 +0000647 virtual void addRelocation(const MachineRelocation &MR) {
648 Relocations.push_back(MR);
649 }
Chris Lattnerb4432f32006-05-03 17:10:41 +0000650
651 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
652 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
653 MBBLocations.resize((MBB->getNumber()+1)*2);
654 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
Evan Cheng366cf292008-11-07 22:30:29 +0000655 DOUT << "JIT: Emitting BB" << MBB->getNumber() << " at ["
656 << (void*) getCurrentPCValue() << "]\n";
Chris Lattnerb4432f32006-05-03 17:10:41 +0000657 }
Chris Lattner5be478f2004-11-20 03:46:14 +0000658
Evan Cheng5788d1a2008-12-10 02:32:19 +0000659 virtual uintptr_t getConstantPoolEntryAddress(unsigned Entry) const;
660 virtual uintptr_t getJumpTableEntryAddress(unsigned Entry) const;
Evan Cheng2a3e08b2008-01-05 02:26:58 +0000661
Evan Cheng5788d1a2008-12-10 02:32:19 +0000662 virtual uintptr_t getMachineBasicBlockAddress(MachineBasicBlock *MBB) const {
Chris Lattnerb4432f32006-05-03 17:10:41 +0000663 assert(MBBLocations.size() > (unsigned)MBB->getNumber() &&
664 MBBLocations[MBB->getNumber()] && "MBB not emitted!");
665 return MBBLocations[MBB->getNumber()];
666 }
667
Chris Lattnere993cc22006-05-11 23:08:08 +0000668 /// deallocateMemForFunction - Deallocate all memory for the specified
669 /// function body.
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000670 void deallocateMemForFunction(Function *F);
Nate Begeman841c6a42009-03-11 07:03:43 +0000671
672 /// AddStubToCurrentFunction - Mark the current function being JIT'd as
673 /// using the stub at the specified address. Allows
674 /// deallocateMemForFunction to also remove stubs no longer referenced.
675 void AddStubToCurrentFunction(void *Stub);
676
677 /// getExternalFnStubs - Accessor for the JIT to find stubs emitted for
678 /// MachineRelocations that reference external functions by name.
679 const StringMap<void*> &getExternalFnStubs() const { return ExtFnStubs; }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000680
681 virtual void emitLabel(uint64_t LabelID) {
682 if (LabelLocations.size() <= LabelID)
683 LabelLocations.resize((LabelID+1)*2);
684 LabelLocations[LabelID] = getCurrentPCValue();
685 }
686
Evan Cheng5788d1a2008-12-10 02:32:19 +0000687 virtual uintptr_t getLabelAddress(uint64_t LabelID) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000688 assert(LabelLocations.size() > (unsigned)LabelID &&
689 LabelLocations[LabelID] && "Label not emitted!");
690 return LabelLocations[LabelID];
691 }
692
693 virtual void setModuleInfo(MachineModuleInfo* Info) {
694 MMI = Info;
695 if (ExceptionHandling) DE->setModuleInfo(Info);
696 }
697
Jim Grosbachcce6c292008-10-03 16:17:20 +0000698 void setMemoryExecutable(void) {
699 MemMgr->setMemoryExecutable();
700 }
Nate Begemand6b7a242009-02-18 08:31:02 +0000701
702 JITMemoryManager *getMemMgr(void) const { return MemMgr; }
Jim Grosbachcce6c292008-10-03 16:17:20 +0000703
Chris Lattner54266522004-11-20 23:57:07 +0000704 private:
Chris Lattner5e225582004-11-21 03:37:42 +0000705 void *getPointerToGlobal(GlobalValue *GV, void *Reference, bool NoNeedStub);
Evan Cheng5594f122008-11-10 01:52:24 +0000706 void *getPointerToGVIndirectSym(GlobalValue *V, void *Reference,
Evan Chenge4d783d2008-11-10 23:26:16 +0000707 bool NoNeedStub);
Dale Johannesendd947ea2008-08-07 01:30:15 +0000708 unsigned addSizeOfGlobal(const GlobalVariable *GV, unsigned Size);
709 unsigned addSizeOfGlobalsInConstantVal(const Constant *C, unsigned Size);
710 unsigned addSizeOfGlobalsInInitializer(const Constant *Init, unsigned Size);
711 unsigned GetSizeOfGlobalsInBytes(MachineFunction &MF);
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000712 };
713}
714
Chris Lattner166f2262004-11-22 22:00:25 +0000715void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
716 bool DoesntNeedStub) {
Nate Begemand6b7a242009-02-18 08:31:02 +0000717 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
Chris Lattner54266522004-11-20 23:57:07 +0000718 return TheJIT->getOrEmitGlobalVariable(GV);
Nate Begemand6b7a242009-02-18 08:31:02 +0000719
Chris Lattner18e04592008-06-25 20:21:35 +0000720 if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
Anton Korobeynikov19e861a2008-09-09 20:05:04 +0000721 return TheJIT->getPointerToGlobal(GA->resolveAliasedGlobal(false));
Chris Lattner54266522004-11-20 23:57:07 +0000722
723 // If we have already compiled the function, return a pointer to its body.
724 Function *F = cast<Function>(V);
Evan Cheng704bff92008-11-13 21:50:50 +0000725 void *ResultPtr;
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000726 if (!DoesntNeedStub && !TheJIT->isLazyCompilationDisabled()) {
Evan Cheng704bff92008-11-13 21:50:50 +0000727 // Return the function stub if it's already created.
728 ResultPtr = Resolver.getFunctionStubIfAvailable(F);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000729 if (ResultPtr)
730 AddStubToCurrentFunction(ResultPtr);
731 } else {
Evan Cheng704bff92008-11-13 21:50:50 +0000732 ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000733 }
Chris Lattner54266522004-11-20 23:57:07 +0000734 if (ResultPtr) return ResultPtr;
735
Nate Begemand6b7a242009-02-18 08:31:02 +0000736 // If this is an external function pointer, we can force the JIT to
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000737 // 'compile' it, which really just adds it to the map. In dlsym mode,
738 // external functions are forced through a stub, regardless of reloc type.
739 if (F->isDeclaration() && !F->hasNotBeenReadFromBitcode() &&
740 DoesntNeedStub && !TheJIT->areDlsymStubsEnabled())
Nate Begemand6b7a242009-02-18 08:31:02 +0000741 return TheJIT->getPointerToFunction(F);
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000742
Chris Lattner5e225582004-11-21 03:37:42 +0000743 // Okay, the function has not been compiled yet, if the target callback
744 // mechanism is capable of rewriting the instruction directly, prefer to do
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000745 // that instead of emitting a stub. This uses the lazy resolver, so is not
746 // legal if lazy compilation is disabled.
747 if (DoesntNeedStub && !TheJIT->isLazyCompilationDisabled())
Chris Lattnere7484012007-02-24 02:57:03 +0000748 return Resolver.AddCallbackAtLocation(F, Reference);
Chris Lattner5e225582004-11-21 03:37:42 +0000749
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000750 // Otherwise, we have to emit a stub.
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000751 void *StubAddr = Resolver.getFunctionStub(F);
752
753 // Add the stub to the current function's list of referenced stubs, so we can
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000754 // deallocate them if the current function is ever freed. It's possible to
755 // return null from getFunctionStub in the case of a weak extern that fails
756 // to resolve.
757 if (StubAddr)
758 AddStubToCurrentFunction(StubAddr);
759
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000760 return StubAddr;
Chris Lattner54266522004-11-20 23:57:07 +0000761}
762
Evan Cheng5594f122008-11-10 01:52:24 +0000763void *JITEmitter::getPointerToGVIndirectSym(GlobalValue *V, void *Reference,
Evan Chenge4d783d2008-11-10 23:26:16 +0000764 bool NoNeedStub) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000765 // Make sure GV is emitted first, and create a stub containing the fully
766 // resolved address.
Evan Chengbe8c03f2008-01-04 10:46:51 +0000767 void *GVAddress = getPointerToGlobal(V, Reference, true);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000768 void *StubAddr = Resolver.getGlobalValueIndirectSym(V, GVAddress);
769
770 // Add the stub to the current function's list of referenced stubs, so we can
771 // deallocate them if the current function is ever freed.
772 AddStubToCurrentFunction(StubAddr);
773
774 return StubAddr;
775}
776
777void JITEmitter::AddStubToCurrentFunction(void *StubAddr) {
778 if (!TheJIT->areDlsymStubsEnabled())
779 return;
780
781 assert(CurFn && "Stub added to current function, but current function is 0!");
782
783 SmallVectorImpl<void*> &StubsUsed = CurFnStubUses[CurFn];
784 StubsUsed.push_back(StubAddr);
785
786 SmallPtrSet<const Function *, 1> &FnRefs = StubFnRefs[StubAddr];
787 FnRefs.insert(CurFn);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000788}
789
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000790static unsigned GetConstantPoolSizeInBytes(MachineConstantPool *MCP) {
791 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
792 if (Constants.empty()) return 0;
793
794 MachineConstantPoolEntry CPE = Constants.back();
795 unsigned Size = CPE.Offset;
796 const Type *Ty = CPE.isMachineConstantPoolEntry()
797 ? CPE.Val.MachineCPVal->getType() : CPE.Val.ConstVal->getType();
Duncan Sandsceb4d1a2009-01-12 20:38:59 +0000798 Size += TheJIT->getTargetData()->getTypePaddedSize(Ty);
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000799 return Size;
800}
801
802static unsigned GetJumpTableSizeInBytes(MachineJumpTableInfo *MJTI) {
803 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
804 if (JT.empty()) return 0;
805
806 unsigned NumEntries = 0;
807 for (unsigned i = 0, e = JT.size(); i != e; ++i)
808 NumEntries += JT[i].MBBs.size();
809
810 unsigned EntrySize = MJTI->getEntrySize();
811
812 return NumEntries * EntrySize;
813}
814
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000815static uintptr_t RoundUpToAlign(uintptr_t Size, unsigned Alignment) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000816 if (Alignment == 0) Alignment = 1;
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000817 // Since we do not know where the buffer will be allocated, be pessimistic.
818 return Size + Alignment;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000819}
Evan Chengbe8c03f2008-01-04 10:46:51 +0000820
Dale Johannesendd947ea2008-08-07 01:30:15 +0000821/// addSizeOfGlobal - add the size of the global (plus any alignment padding)
822/// into the running total Size.
823
824unsigned JITEmitter::addSizeOfGlobal(const GlobalVariable *GV, unsigned Size) {
825 const Type *ElTy = GV->getType()->getElementType();
Duncan Sandsceb4d1a2009-01-12 20:38:59 +0000826 size_t GVSize = (size_t)TheJIT->getTargetData()->getTypePaddedSize(ElTy);
Dale Johannesendd947ea2008-08-07 01:30:15 +0000827 size_t GVAlign =
828 (size_t)TheJIT->getTargetData()->getPreferredAlignment(GV);
Evan Chengeb5d95a2008-11-06 17:46:04 +0000829 DOUT << "JIT: Adding in size " << GVSize << " alignment " << GVAlign;
Dale Johannesendd947ea2008-08-07 01:30:15 +0000830 DEBUG(GV->dump());
831 // Assume code section ends with worst possible alignment, so first
832 // variable needs maximal padding.
833 if (Size==0)
834 Size = 1;
835 Size = ((Size+GVAlign-1)/GVAlign)*GVAlign;
836 Size += GVSize;
837 return Size;
838}
839
840/// addSizeOfGlobalsInConstantVal - find any globals that we haven't seen yet
841/// but are referenced from the constant; put them in GVSet and add their
842/// size into the running total Size.
843
844unsigned JITEmitter::addSizeOfGlobalsInConstantVal(const Constant *C,
845 unsigned Size) {
846 // If its undefined, return the garbage.
847 if (isa<UndefValue>(C))
848 return Size;
849
850 // If the value is a ConstantExpr
851 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
852 Constant *Op0 = CE->getOperand(0);
853 switch (CE->getOpcode()) {
854 case Instruction::GetElementPtr:
855 case Instruction::Trunc:
856 case Instruction::ZExt:
857 case Instruction::SExt:
858 case Instruction::FPTrunc:
859 case Instruction::FPExt:
860 case Instruction::UIToFP:
861 case Instruction::SIToFP:
862 case Instruction::FPToUI:
863 case Instruction::FPToSI:
864 case Instruction::PtrToInt:
865 case Instruction::IntToPtr:
866 case Instruction::BitCast: {
867 Size = addSizeOfGlobalsInConstantVal(Op0, Size);
868 break;
869 }
870 case Instruction::Add:
871 case Instruction::Sub:
872 case Instruction::Mul:
873 case Instruction::UDiv:
874 case Instruction::SDiv:
875 case Instruction::URem:
876 case Instruction::SRem:
877 case Instruction::And:
878 case Instruction::Or:
879 case Instruction::Xor: {
880 Size = addSizeOfGlobalsInConstantVal(Op0, Size);
881 Size = addSizeOfGlobalsInConstantVal(CE->getOperand(1), Size);
882 break;
883 }
884 default: {
885 cerr << "ConstantExpr not handled: " << *CE << "\n";
886 abort();
887 }
888 }
889 }
890
891 if (C->getType()->getTypeID() == Type::PointerTyID)
892 if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(C))
Evan Cheng47c01a02008-11-07 09:02:17 +0000893 if (GVSet.insert(GV))
Dale Johannesendd947ea2008-08-07 01:30:15 +0000894 Size = addSizeOfGlobal(GV, Size);
895
896 return Size;
897}
898
899/// addSizeOfGLobalsInInitializer - handle any globals that we haven't seen yet
900/// but are referenced from the given initializer.
901
902unsigned JITEmitter::addSizeOfGlobalsInInitializer(const Constant *Init,
903 unsigned Size) {
904 if (!isa<UndefValue>(Init) &&
905 !isa<ConstantVector>(Init) &&
906 !isa<ConstantAggregateZero>(Init) &&
907 !isa<ConstantArray>(Init) &&
908 !isa<ConstantStruct>(Init) &&
909 Init->getType()->isFirstClassType())
910 Size = addSizeOfGlobalsInConstantVal(Init, Size);
911 return Size;
912}
913
914/// GetSizeOfGlobalsInBytes - walk the code for the function, looking for
915/// globals; then walk the initializers of those globals looking for more.
916/// If their size has not been considered yet, add it into the running total
917/// Size.
918
919unsigned JITEmitter::GetSizeOfGlobalsInBytes(MachineFunction &MF) {
920 unsigned Size = 0;
921 GVSet.clear();
922
923 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
924 MBB != E; ++MBB) {
925 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
926 I != E; ++I) {
927 const TargetInstrDesc &Desc = I->getDesc();
928 const MachineInstr &MI = *I;
929 unsigned NumOps = Desc.getNumOperands();
930 for (unsigned CurOp = 0; CurOp < NumOps; CurOp++) {
931 const MachineOperand &MO = MI.getOperand(CurOp);
Dan Gohmand735b802008-10-03 15:45:36 +0000932 if (MO.isGlobal()) {
Dale Johannesendd947ea2008-08-07 01:30:15 +0000933 GlobalValue* V = MO.getGlobal();
934 const GlobalVariable *GV = dyn_cast<const GlobalVariable>(V);
935 if (!GV)
936 continue;
937 // If seen in previous function, it will have an entry here.
938 if (TheJIT->getPointerToGlobalIfAvailable(GV))
939 continue;
940 // If seen earlier in this function, it will have an entry here.
941 // FIXME: it should be possible to combine these tables, by
942 // assuming the addresses of the new globals in this module
943 // start at 0 (or something) and adjusting them after codegen
944 // complete. Another possibility is to grab a marker bit in GV.
Evan Cheng47c01a02008-11-07 09:02:17 +0000945 if (GVSet.insert(GV))
Dale Johannesendd947ea2008-08-07 01:30:15 +0000946 // A variable as yet unseen. Add in its size.
947 Size = addSizeOfGlobal(GV, Size);
948 }
949 }
950 }
951 }
Evan Chengeb5d95a2008-11-06 17:46:04 +0000952 DOUT << "JIT: About to look through initializers\n";
Dale Johannesendd947ea2008-08-07 01:30:15 +0000953 // Look for more globals that are referenced only from initializers.
954 // GVSet.end is computed each time because the set can grow as we go.
Evan Cheng47c01a02008-11-07 09:02:17 +0000955 for (SmallPtrSet<const GlobalVariable *, 8>::iterator I = GVSet.begin();
Dale Johannesendd947ea2008-08-07 01:30:15 +0000956 I != GVSet.end(); I++) {
957 const GlobalVariable* GV = *I;
958 if (GV->hasInitializer())
959 Size = addSizeOfGlobalsInInitializer(GV->getInitializer(), Size);
960 }
961
962 return Size;
963}
964
Chris Lattner166f2262004-11-22 22:00:25 +0000965void JITEmitter::startFunction(MachineFunction &F) {
Evan Chengeb5d95a2008-11-06 17:46:04 +0000966 DOUT << "JIT: Starting CodeGen of Function "
967 << F.getFunction()->getName() << "\n";
968
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000969 uintptr_t ActualSize = 0;
Jim Grosbachcce6c292008-10-03 16:17:20 +0000970 // Set the memory writable, if it's not already
971 MemMgr->setMemoryWritable();
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000972 if (MemMgr->NeedsExactSize()) {
Evan Chengeb5d95a2008-11-06 17:46:04 +0000973 DOUT << "JIT: ExactSize\n";
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000974 const TargetInstrInfo* TII = F.getTarget().getInstrInfo();
975 MachineJumpTableInfo *MJTI = F.getJumpTableInfo();
976 MachineConstantPool *MCP = F.getConstantPool();
977
978 // Ensure the constant pool/jump table info is at least 4-byte aligned.
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000979 ActualSize = RoundUpToAlign(ActualSize, 16);
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000980
981 // Add the alignment of the constant pool
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000982 ActualSize = RoundUpToAlign(ActualSize,
983 1 << MCP->getConstantPoolAlignment());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000984
985 // Add the constant pool size
986 ActualSize += GetConstantPoolSizeInBytes(MCP);
987
988 // Add the aligment of the jump table info
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000989 ActualSize = RoundUpToAlign(ActualSize, MJTI->getAlignment());
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000990
991 // Add the jump table size
992 ActualSize += GetJumpTableSizeInBytes(MJTI);
993
994 // Add the alignment for the function
Nicolas Geoffray580631a2008-04-20 23:39:44 +0000995 ActualSize = RoundUpToAlign(ActualSize,
996 std::max(F.getFunction()->getAlignment(), 8U));
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000997
998 // Add the function size
999 ActualSize += TII->GetFunctionSizeInBytes(F);
Dale Johannesendd947ea2008-08-07 01:30:15 +00001000
Evan Chengeb5d95a2008-11-06 17:46:04 +00001001 DOUT << "JIT: ActualSize before globals " << ActualSize << "\n";
Dale Johannesendd947ea2008-08-07 01:30:15 +00001002 // Add the size of the globals that will be allocated after this function.
1003 // These are all the ones referenced from this function that were not
1004 // previously allocated.
1005 ActualSize += GetSizeOfGlobalsInBytes(F);
Evan Chengeb5d95a2008-11-06 17:46:04 +00001006 DOUT << "JIT: ActualSize after globals " << ActualSize << "\n";
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001007 }
1008
Chris Lattner8907b4b2007-12-05 23:39:57 +00001009 BufferBegin = CurBufferPtr = MemMgr->startFunctionBody(F.getFunction(),
1010 ActualSize);
Chris Lattnere993cc22006-05-11 23:08:08 +00001011 BufferEnd = BufferBegin+ActualSize;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001012
Evan Cheng9a1e9b92006-11-16 20:04:54 +00001013 // Ensure the constant pool/jump table info is at least 4-byte aligned.
1014 emitAlignment(16);
1015
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001016 emitConstantPool(F.getConstantPool());
1017 initJumpTableInfo(F.getJumpTableInfo());
1018
1019 // About to start emitting the machine code for the function.
Chris Lattner0eb4d6b2006-05-03 01:03:20 +00001020 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001021 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Evan Cheng55fc2802006-07-25 20:40:54 +00001022
Chris Lattnerb4432f32006-05-03 17:10:41 +00001023 MBBLocations.clear();
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001024}
1025
Chris Lattner43b429b2006-05-02 18:27:26 +00001026bool JITEmitter::finishFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +00001027 if (CurBufferPtr == BufferEnd) {
1028 // FIXME: Allocate more space, then try again.
Bill Wendling832171c2006-12-07 20:04:42 +00001029 cerr << "JIT: Ran out of space for generated machine code!\n";
Chris Lattnere993cc22006-05-11 23:08:08 +00001030 abort();
1031 }
1032
Jim Laskeyb92767a2006-12-14 22:53:42 +00001033 emitJumpTableInfo(F.getJumpTableInfo());
Chris Lattnerb4432f32006-05-03 17:10:41 +00001034
Chris Lattnera8279532006-06-16 18:09:26 +00001035 // FnStart is the start of the text, not the start of the constant pool and
1036 // other per-function data.
1037 unsigned char *FnStart =
1038 (unsigned char *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001039
Chris Lattner5be478f2004-11-20 03:46:14 +00001040 if (!Relocations.empty()) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001041 CurFn = F.getFunction();
Chris Lattnere884dc22005-07-20 16:29:20 +00001042 NumRelos += Relocations.size();
1043
Chris Lattner5be478f2004-11-20 03:46:14 +00001044 // Resolve the relocations to concrete pointers.
1045 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
1046 MachineRelocation &MR = Relocations[i];
Evan Cheng92006052008-11-03 07:14:02 +00001047 void *ResultPtr = 0;
Evan Chengef5784e2008-10-29 23:54:46 +00001048 if (!MR.letTargetResolve()) {
Evan Chengd7398c92008-11-08 07:37:34 +00001049 if (MR.isExternalSymbol()) {
Dan Gohman69f93782009-01-05 05:32:42 +00001050 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getExternalSymbol(),
1051 false);
Evan Chengd7398c92008-11-08 07:37:34 +00001052 DOUT << "JIT: Map \'" << MR.getExternalSymbol() << "\' to ["
Evan Chengca66b082008-11-08 07:22:53 +00001053 << ResultPtr << "]\n";
Misha Brukmanf976c852005-04-21 22:55:34 +00001054
Evan Chengef5784e2008-10-29 23:54:46 +00001055 // If the target REALLY wants a stub for this function, emit it now.
Nate Begeman841c6a42009-03-11 07:03:43 +00001056 if (!MR.doesntNeedStub()) {
1057 if (!TheJIT->areDlsymStubsEnabled()) {
1058 ResultPtr = Resolver.getExternalFunctionStub(ResultPtr);
1059 } else {
1060 void *&Stub = ExtFnStubs[MR.getExternalSymbol()];
1061 if (!Stub) {
1062 Stub = Resolver.getExternalFunctionStub((void *)&Stub);
1063 AddStubToCurrentFunction(Stub);
1064 }
1065 ResultPtr = Stub;
1066 }
1067 }
Evan Chengef5784e2008-10-29 23:54:46 +00001068 } else if (MR.isGlobalValue()) {
1069 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
1070 BufferBegin+MR.getMachineCodeOffset(),
1071 MR.doesntNeedStub());
Evan Cheng5594f122008-11-10 01:52:24 +00001072 } else if (MR.isIndirectSymbol()) {
1073 ResultPtr = getPointerToGVIndirectSym(MR.getGlobalValue(),
Evan Chengbe8c03f2008-01-04 10:46:51 +00001074 BufferBegin+MR.getMachineCodeOffset(),
1075 MR.doesntNeedStub());
Evan Chengef5784e2008-10-29 23:54:46 +00001076 } else if (MR.isBasicBlock()) {
1077 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
1078 } else if (MR.isConstantPoolIndex()) {
1079 ResultPtr = (void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
1080 } else {
1081 assert(MR.isJumpTableIndex());
1082 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
1083 }
Jeff Cohen00b168892005-07-27 06:12:32 +00001084
Evan Chengef5784e2008-10-29 23:54:46 +00001085 MR.setResultPointer(ResultPtr);
1086 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +00001087
Andrew Lenharth6a974612005-07-28 12:44:13 +00001088 // if we are managing the GOT and the relocation wants an index,
1089 // give it one
Chris Lattner8907b4b2007-12-05 23:39:57 +00001090 if (MR.isGOTRelative() && MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +00001091 unsigned idx = Resolver.getGOTIndexForAddr(ResultPtr);
Andrew Lenharth6a974612005-07-28 12:44:13 +00001092 MR.setGOTIndex(idx);
Chris Lattner8907b4b2007-12-05 23:39:57 +00001093 if (((void**)MemMgr->getGOTBase())[idx] != ResultPtr) {
Evan Chengeb5d95a2008-11-06 17:46:04 +00001094 DOUT << "JIT: GOT was out of date for " << ResultPtr
Chris Lattner8907b4b2007-12-05 23:39:57 +00001095 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
Bill Wendling832171c2006-12-07 20:04:42 +00001096 << "\n";
Chris Lattner8907b4b2007-12-05 23:39:57 +00001097 ((void**)MemMgr->getGOTBase())[idx] = ResultPtr;
Andrew Lenharth6a974612005-07-28 12:44:13 +00001098 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +00001099 }
Chris Lattner5be478f2004-11-20 03:46:14 +00001100 }
1101
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001102 CurFn = 0;
Chris Lattner43b429b2006-05-02 18:27:26 +00001103 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Chris Lattner8907b4b2007-12-05 23:39:57 +00001104 Relocations.size(), MemMgr->getGOTBase());
Chris Lattner5be478f2004-11-20 03:46:14 +00001105 }
1106
Chris Lattnerd2d5c762006-05-03 18:55:56 +00001107 // Update the GOT entry for F to point to the new code.
Chris Lattner8907b4b2007-12-05 23:39:57 +00001108 if (MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +00001109 unsigned idx = Resolver.getGOTIndexForAddr((void*)BufferBegin);
Chris Lattner8907b4b2007-12-05 23:39:57 +00001110 if (((void**)MemMgr->getGOTBase())[idx] != (void*)BufferBegin) {
Evan Chengeb5d95a2008-11-06 17:46:04 +00001111 DOUT << "JIT: GOT was out of date for " << (void*)BufferBegin
Chris Lattner8907b4b2007-12-05 23:39:57 +00001112 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx] << "\n";
1113 ((void**)MemMgr->getGOTBase())[idx] = (void*)BufferBegin;
Andrew Lenharth6a974612005-07-28 12:44:13 +00001114 }
1115 }
1116
Nuno Lopescef75272008-10-21 11:42:16 +00001117 unsigned char *FnEnd = CurBufferPtr;
1118
1119 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, FnEnd);
Evan Cheng5788d1a2008-12-10 02:32:19 +00001120
1121 if (CurBufferPtr == BufferEnd) {
1122 // FIXME: Allocate more space, then try again.
1123 cerr << "JIT: Ran out of space for generated machine code!\n";
1124 abort();
1125 }
1126
Nuno Lopescef75272008-10-21 11:42:16 +00001127 BufferBegin = CurBufferPtr = 0;
1128 NumBytes += FnEnd-FnStart;
1129
Evan Cheng55fc2802006-07-25 20:40:54 +00001130 // Invalidate the icache if necessary.
Chris Lattnerbc52cad2008-06-25 17:18:44 +00001131 sys::Memory::InvalidateInstructionCache(FnStart, FnEnd-FnStart);
Chris Lattner8ac66c12008-04-04 05:51:42 +00001132
1133 // Add it to the JIT symbol table if the host wants it.
1134 AddFunctionToSymbolTable(F.getFunction()->getNameStart(),
1135 FnStart, FnEnd-FnStart);
Evan Cheng55fc2802006-07-25 20:40:54 +00001136
Bill Wendling832171c2006-12-07 20:04:42 +00001137 DOUT << "JIT: Finished CodeGen of [" << (void*)FnStart
1138 << "] Function: " << F.getFunction()->getName()
1139 << ": " << (FnEnd-FnStart) << " bytes of text, "
1140 << Relocations.size() << " relocations\n";
Chris Lattner5be478f2004-11-20 03:46:14 +00001141 Relocations.clear();
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +00001142
Evan Chengbc4707a2008-09-18 07:54:21 +00001143 // Mark code region readable and executable if it's not so already.
Jim Grosbachcce6c292008-10-03 16:17:20 +00001144 MemMgr->setMemoryExecutable();
Evan Chengbc4707a2008-09-18 07:54:21 +00001145
Chris Lattnerc5633c22007-01-20 20:51:43 +00001146#ifndef NDEBUG
Evan Chenga7916f52008-11-05 23:44:08 +00001147 {
Evan Chenge7c35512008-11-12 08:22:43 +00001148 if (sys::hasDisassembler()) {
1149 DOUT << "JIT: Disassembled code:\n";
Evan Chengeb5d95a2008-11-06 17:46:04 +00001150 DOUT << sys::disassembleBuffer(FnStart, FnEnd-FnStart, (uintptr_t)FnStart);
Evan Chenge7c35512008-11-12 08:22:43 +00001151 } else {
1152 DOUT << "JIT: Binary code:\n";
Evan Chenga7916f52008-11-05 23:44:08 +00001153 DOUT << std::hex;
Evan Chenga7916f52008-11-05 23:44:08 +00001154 unsigned char* q = FnStart;
Evan Chenge7c35512008-11-12 08:22:43 +00001155 for (int i = 0; q < FnEnd; q += 4, ++i) {
1156 if (i == 4)
1157 i = 0;
1158 if (i == 0)
1159 DOUT << "JIT: " << std::setw(8) << std::setfill('0')
1160 << (long)(q - FnStart) << ": ";
1161 bool Done = false;
1162 for (int j = 3; j >= 0; --j) {
1163 if (q + j >= FnEnd)
1164 Done = true;
1165 else
1166 DOUT << std::setw(2) << std::setfill('0') << (unsigned short)q[j];
1167 }
1168 if (Done)
1169 break;
1170 DOUT << ' ';
1171 if (i == 3)
Evan Cheng6863fb02008-11-06 01:18:29 +00001172 DOUT << '\n';
Evan Chenga7916f52008-11-05 23:44:08 +00001173 }
1174 DOUT << std::dec;
Evan Cheng6863fb02008-11-06 01:18:29 +00001175 DOUT<< '\n';
Evan Chenga7916f52008-11-05 23:44:08 +00001176 }
1177 }
Chris Lattnerc5633c22007-01-20 20:51:43 +00001178#endif
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001179 if (ExceptionHandling) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001180 uintptr_t ActualSize = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001181 SavedBufferBegin = BufferBegin;
1182 SavedBufferEnd = BufferEnd;
1183 SavedCurBufferPtr = CurBufferPtr;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001184
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +00001185 if (MemMgr->NeedsExactSize()) {
1186 ActualSize = DE->GetDwarfTableSizeInBytes(F, *this, FnStart, FnEnd);
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +00001187 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001188
1189 BufferBegin = CurBufferPtr = MemMgr->startExceptionTable(F.getFunction(),
1190 ActualSize);
1191 BufferEnd = BufferBegin+ActualSize;
1192 unsigned char* FrameRegister = DE->EmitDwarfTable(F, *this, FnStart, FnEnd);
Chris Lattner0fdaa0b2008-03-07 20:05:43 +00001193 MemMgr->endExceptionTable(F.getFunction(), BufferBegin, CurBufferPtr,
1194 FrameRegister);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001195 BufferBegin = SavedBufferBegin;
1196 BufferEnd = SavedBufferEnd;
1197 CurBufferPtr = SavedCurBufferPtr;
1198
1199 TheJIT->RegisterTable(FrameRegister);
1200 }
Evan Cheng252ddfb2008-09-02 08:14:01 +00001201
1202 if (MMI)
1203 MMI->EndFunction();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001204
Chris Lattner43b429b2006-05-02 18:27:26 +00001205 return false;
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001206}
1207
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001208/// deallocateMemForFunction - Deallocate all memory for the specified
1209/// function body. Also drop any references the function has to stubs.
1210void JITEmitter::deallocateMemForFunction(Function *F) {
1211 MemMgr->deallocateMemForFunction(F);
1212
1213 // If the function did not reference any stubs, return.
1214 if (CurFnStubUses.find(F) == CurFnStubUses.end())
1215 return;
1216
1217 // For each referenced stub, erase the reference to this function, and then
1218 // erase the list of referenced stubs.
1219 SmallVectorImpl<void *> &StubList = CurFnStubUses[F];
1220 for (unsigned i = 0, e = StubList.size(); i != e; ++i) {
1221 void *Stub = StubList[i];
Nate Begeman841c6a42009-03-11 07:03:43 +00001222
1223 // If we already invalidated this stub for this function, continue.
1224 if (StubFnRefs.count(Stub) == 0)
1225 continue;
1226
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001227 SmallPtrSet<const Function *, 1> &FnRefs = StubFnRefs[Stub];
1228 FnRefs.erase(F);
1229
1230 // If this function was the last reference to the stub, invalidate the stub
1231 // in the JITResolver. Were there a memory manager deallocateStub routine,
1232 // we could call that at this point too.
1233 if (FnRefs.empty()) {
Nate Begemanb9c6c9b2009-03-07 06:41:19 +00001234 DOUT << "\nJIT: Invalidated Stub at [" << Stub << "]\n";
Nate Begeman841c6a42009-03-11 07:03:43 +00001235 StubFnRefs.erase(Stub);
1236
1237 // Invalidate the stub. If it is a GV stub, update the JIT's global
1238 // mapping for that GV to zero, otherwise, search the string map of
1239 // external function names to stubs and remove the entry for this stub.
Nate Begemanb9c6c9b2009-03-07 06:41:19 +00001240 GlobalValue *GV = Resolver.invalidateStub(Stub);
Nate Begeman841c6a42009-03-11 07:03:43 +00001241 if (GV) {
1242 TheJIT->updateGlobalMapping(GV, 0);
1243 } else {
1244 for (StringMapIterator<void*> i = ExtFnStubs.begin(),
1245 e = ExtFnStubs.end(); i != e; ++i) {
1246 if (i->second == Stub) {
1247 ExtFnStubs.erase(i);
1248 break;
1249 }
1250 }
1251 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001252 }
1253 }
1254 CurFnStubUses.erase(F);
1255}
1256
1257
Evan Cheng5788d1a2008-12-10 02:32:19 +00001258void* JITEmitter::allocateSpace(uintptr_t Size, unsigned Alignment) {
Nuno Lopescef75272008-10-21 11:42:16 +00001259 if (BufferBegin)
1260 return MachineCodeEmitter::allocateSpace(Size, Alignment);
1261
1262 // create a new memory block if there is no active one.
1263 // care must be taken so that BufferBegin is invalidated when a
1264 // block is trimmed
1265 BufferBegin = CurBufferPtr = MemMgr->allocateSpace(Size, Alignment);
1266 BufferEnd = BufferBegin+Size;
1267 return CurBufferPtr;
1268}
1269
Chris Lattner166f2262004-11-22 22:00:25 +00001270void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001271 if (TheJIT->getJITInfo().hasCustomConstantPool())
Jim Grosbach8fe95352008-10-30 23:44:39 +00001272 return;
Evan Cheng47c01a02008-11-07 09:02:17 +00001273
Chris Lattnerfa77d432006-02-09 04:22:52 +00001274 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
Chris Lattner2c0a6a12003-11-30 04:23:21 +00001275 if (Constants.empty()) return;
1276
Evan Chengcd5731d2006-09-12 20:59:59 +00001277 MachineConstantPoolEntry CPE = Constants.back();
1278 unsigned Size = CPE.Offset;
1279 const Type *Ty = CPE.isMachineConstantPoolEntry()
Chris Lattner8a650092006-09-13 16:21:10 +00001280 ? CPE.Val.MachineCPVal->getType() : CPE.Val.ConstVal->getType();
Duncan Sandsceb4d1a2009-01-12 20:38:59 +00001281 Size += TheJIT->getTargetData()->getTypePaddedSize(Ty);
Chris Lattner2c0a6a12003-11-30 04:23:21 +00001282
Evan Cheng97b8c402008-04-12 00:22:01 +00001283 unsigned Align = 1 << MCP->getConstantPoolAlignment();
1284 ConstantPoolBase = allocateSpace(Size, Align);
Chris Lattner239862c2006-02-09 04:49:59 +00001285 ConstantPool = MCP;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001286
1287 if (ConstantPoolBase == 0) return; // Buffer overflow.
1288
Evan Cheng97b8c402008-04-12 00:22:01 +00001289 DOUT << "JIT: Emitted constant pool at [" << ConstantPoolBase
1290 << "] (size: " << Size << ", alignment: " << Align << ")\n";
1291
Chris Lattner239862c2006-02-09 04:49:59 +00001292 // Initialize the memory for all of the constant pool entries.
Chris Lattner3029f922006-02-09 04:46:04 +00001293 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Chris Lattner239862c2006-02-09 04:49:59 +00001294 void *CAddr = (char*)ConstantPoolBase+Constants[i].Offset;
Evan Chengcd5731d2006-09-12 20:59:59 +00001295 if (Constants[i].isMachineConstantPoolEntry()) {
1296 // FIXME: add support to lower machine constant pool values into bytes!
Bill Wendling832171c2006-12-07 20:04:42 +00001297 cerr << "Initialize memory with machine specific constant pool entry"
1298 << " has not been implemented!\n";
Evan Chengcd5731d2006-09-12 20:59:59 +00001299 abort();
1300 }
1301 TheJIT->InitializeMemory(Constants[i].Val.ConstVal, CAddr);
Evan Cheng97b8c402008-04-12 00:22:01 +00001302 DOUT << "JIT: CP" << i << " at [" << CAddr << "]\n";
Chris Lattner1cc08382003-01-13 01:00:12 +00001303 }
1304}
1305
Nate Begeman37efe672006-04-22 18:53:45 +00001306void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001307 if (TheJIT->getJITInfo().hasCustomJumpTables())
1308 return;
1309
Nate Begeman37efe672006-04-22 18:53:45 +00001310 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1311 if (JT.empty()) return;
1312
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001313 unsigned NumEntries = 0;
Nate Begeman37efe672006-04-22 18:53:45 +00001314 for (unsigned i = 0, e = JT.size(); i != e; ++i)
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001315 NumEntries += JT[i].MBBs.size();
1316
1317 unsigned EntrySize = MJTI->getEntrySize();
1318
Nate Begeman37efe672006-04-22 18:53:45 +00001319 // Just allocate space for all the jump tables now. We will fix up the actual
1320 // MBB entries in the tables after we emit the code for each block, since then
1321 // we will know the final locations of the MBBs in memory.
1322 JumpTable = MJTI;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001323 JumpTableBase = allocateSpace(NumEntries * EntrySize, MJTI->getAlignment());
Nate Begeman37efe672006-04-22 18:53:45 +00001324}
1325
Jim Laskeyb92767a2006-12-14 22:53:42 +00001326void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001327 if (TheJIT->getJITInfo().hasCustomJumpTables())
1328 return;
1329
Nate Begeman37efe672006-04-22 18:53:45 +00001330 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001331 if (JT.empty() || JumpTableBase == 0) return;
Nate Begeman37efe672006-04-22 18:53:45 +00001332
Jim Laskeyb92767a2006-12-14 22:53:42 +00001333 if (TargetMachine::getRelocationModel() == Reloc::PIC_) {
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001334 assert(MJTI->getEntrySize() == 4 && "Cross JIT'ing?");
1335 // For each jump table, place the offset from the beginning of the table
1336 // to the target address.
1337 int *SlotPtr = (int*)JumpTableBase;
Chris Lattner32ca55f2006-05-03 00:13:06 +00001338
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001339 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1340 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1341 // Store the offset of the basic block for this jump table slot in the
1342 // memory we allocated for the jump table in 'initJumpTableInfo'
Evan Cheng5788d1a2008-12-10 02:32:19 +00001343 uintptr_t Base = (uintptr_t)SlotPtr;
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001344 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) {
Evan Cheng5788d1a2008-12-10 02:32:19 +00001345 uintptr_t MBBAddr = getMachineBasicBlockAddress(MBBs[mi]);
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001346 *SlotPtr++ = TheJIT->getJITInfo().getPICJumpTableEntry(MBBAddr, Base);
1347 }
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001348 }
1349 } else {
1350 assert(MJTI->getEntrySize() == sizeof(void*) && "Cross JIT'ing?");
1351
1352 // For each jump table, map each target in the jump table to the address of
1353 // an emitted MachineBasicBlock.
1354 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
1355
1356 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1357 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1358 // Store the address of the basic block for this jump table slot in the
1359 // memory we allocated for the jump table in 'initJumpTableInfo'
1360 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
1361 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
1362 }
Nate Begeman37efe672006-04-22 18:53:45 +00001363 }
1364}
1365
Evan Chengce4a70b2008-11-08 08:02:53 +00001366void JITEmitter::startGVStub(const GlobalValue* GV, unsigned StubSize,
1367 unsigned Alignment) {
Chris Lattner43b429b2006-05-02 18:27:26 +00001368 SavedBufferBegin = BufferBegin;
1369 SavedBufferEnd = BufferEnd;
1370 SavedCurBufferPtr = CurBufferPtr;
1371
Evan Chengce4a70b2008-11-08 08:02:53 +00001372 BufferBegin = CurBufferPtr = MemMgr->allocateStub(GV, StubSize, Alignment);
Chris Lattner43b429b2006-05-02 18:27:26 +00001373 BufferEnd = BufferBegin+StubSize+1;
Chris Lattner6125fdd2003-05-09 03:30:07 +00001374}
1375
Nate Begemand6b7a242009-02-18 08:31:02 +00001376void JITEmitter::startGVStub(const GlobalValue* GV, void *Buffer,
1377 unsigned StubSize) {
1378 SavedBufferBegin = BufferBegin;
1379 SavedBufferEnd = BufferEnd;
1380 SavedCurBufferPtr = CurBufferPtr;
1381
1382 BufferBegin = CurBufferPtr = (unsigned char *)Buffer;
1383 BufferEnd = BufferBegin+StubSize+1;
1384}
1385
Evan Chengce4a70b2008-11-08 08:02:53 +00001386void *JITEmitter::finishGVStub(const GlobalValue* GV) {
Chris Lattner43b429b2006-05-02 18:27:26 +00001387 NumBytes += getCurrentPCOffset();
1388 std::swap(SavedBufferBegin, BufferBegin);
1389 BufferEnd = SavedBufferEnd;
1390 CurBufferPtr = SavedCurBufferPtr;
1391 return SavedBufferBegin;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001392}
1393
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001394// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
1395// in the constant pool that was last emitted with the 'emitConstantPool'
1396// method.
1397//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001398uintptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Chris Lattner239862c2006-02-09 04:49:59 +00001399 assert(ConstantNum < ConstantPool->getConstants().size() &&
Misha Brukman3c944972005-04-22 04:08:30 +00001400 "Invalid ConstantPoolIndex!");
Evan Cheng5788d1a2008-12-10 02:32:19 +00001401 return (uintptr_t)ConstantPoolBase +
Chris Lattner239862c2006-02-09 04:49:59 +00001402 ConstantPool->getConstants()[ConstantNum].Offset;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001403}
1404
Nate Begeman37efe672006-04-22 18:53:45 +00001405// getJumpTableEntryAddress - Return the address of the JumpTable with index
1406// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
1407//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001408uintptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Nate Begeman37efe672006-04-22 18:53:45 +00001409 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
1410 assert(Index < JT.size() && "Invalid jump table index!");
1411
1412 unsigned Offset = 0;
1413 unsigned EntrySize = JumpTable->getEntrySize();
1414
1415 for (unsigned i = 0; i < Index; ++i)
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001416 Offset += JT[i].MBBs.size();
1417
1418 Offset *= EntrySize;
Nate Begeman37efe672006-04-22 18:53:45 +00001419
Evan Cheng5788d1a2008-12-10 02:32:19 +00001420 return (uintptr_t)((char *)JumpTableBase + Offset);
Nate Begeman37efe672006-04-22 18:53:45 +00001421}
1422
Chris Lattnere993cc22006-05-11 23:08:08 +00001423//===----------------------------------------------------------------------===//
1424// Public interface to this file
1425//===----------------------------------------------------------------------===//
1426
Chris Lattner9f2f1422007-12-06 01:08:09 +00001427MachineCodeEmitter *JIT::createEmitter(JIT &jit, JITMemoryManager *JMM) {
1428 return new JITEmitter(jit, JMM);
Chris Lattnere993cc22006-05-11 23:08:08 +00001429}
1430
Misha Brukmand69c1e62003-07-28 19:09:06 +00001431// getPointerToNamedFunction - This function is used as a global wrapper to
Chris Lattner4d326fa2003-12-20 01:46:27 +00001432// JIT::getPointerToNamedFunction for the purpose of resolving symbols when
Misha Brukmand69c1e62003-07-28 19:09:06 +00001433// bugpoint is debugging the JIT. In that scenario, we are loading an .so and
1434// need to resolve function(s) that are being mis-codegenerated, so we need to
1435// resolve their addresses at runtime, and this is the way to do it.
1436extern "C" {
1437 void *getPointerToNamedFunction(const char *Name) {
Chris Lattnerfe854032006-08-16 01:24:12 +00001438 if (Function *F = TheJIT->FindFunctionNamed(Name))
Chris Lattner4d326fa2003-12-20 01:46:27 +00001439 return TheJIT->getPointerToFunction(F);
1440 return TheJIT->getPointerToNamedFunction(Name);
Misha Brukmand69c1e62003-07-28 19:09:06 +00001441 }
1442}
Chris Lattnere993cc22006-05-11 23:08:08 +00001443
1444// getPointerToFunctionOrStub - If the specified function has been
1445// code-gen'd, return a pointer to the function. If not, compile it, or use
1446// a stub to implement lazy compilation if available.
1447//
1448void *JIT::getPointerToFunctionOrStub(Function *F) {
1449 // If we have already code generated the function, just return the address.
1450 if (void *Addr = getPointerToGlobalIfAvailable(F))
1451 return Addr;
1452
Chris Lattnere7484012007-02-24 02:57:03 +00001453 // Get a stub if the target supports it.
Evan Chenga044dfc2008-08-20 00:28:12 +00001454 assert(isa<JITEmitter>(MCE) && "Unexpected MCE?");
1455 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Chris Lattnere7484012007-02-24 02:57:03 +00001456 return JE->getJITResolver().getFunctionStub(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001457}
1458
Nate Begemand6b7a242009-02-18 08:31:02 +00001459void JIT::updateFunctionStub(Function *F) {
1460 // Get the empty stub we generated earlier.
1461 assert(isa<JITEmitter>(MCE) && "Unexpected MCE?");
1462 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
1463 void *Stub = JE->getJITResolver().getFunctionStub(F);
1464
1465 // Tell the target jit info to rewrite the stub at the specified address,
1466 // rather than creating a new one.
1467 void *Addr = getPointerToGlobalIfAvailable(F);
1468 getJITInfo().emitFunctionStubAtAddr(F, Addr, Stub, *getCodeEmitter());
1469}
1470
1471/// updateDlsymStubTable - Emit the data necessary to relocate the stubs
1472/// that were emitted during code generation.
1473///
1474void JIT::updateDlsymStubTable() {
1475 assert(isa<JITEmitter>(MCE) && "Unexpected MCE?");
1476 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
1477
1478 SmallVector<GlobalValue*, 8> GVs;
1479 SmallVector<void*, 8> Ptrs;
Nate Begeman841c6a42009-03-11 07:03:43 +00001480 const StringMap<void *> &ExtFns = JE->getExternalFnStubs();
Nate Begemand6b7a242009-02-18 08:31:02 +00001481
1482 JE->getJITResolver().getRelocatableGVs(GVs, Ptrs);
1483
Nate Begeman841c6a42009-03-11 07:03:43 +00001484 unsigned nStubs = GVs.size() + ExtFns.size();
1485
Nate Begemand6b7a242009-02-18 08:31:02 +00001486 // If there are no relocatable stubs, return.
Nate Begeman841c6a42009-03-11 07:03:43 +00001487 if (nStubs == 0)
Nate Begemand6b7a242009-02-18 08:31:02 +00001488 return;
1489
1490 // If there are no new relocatable stubs, return.
1491 void *CurTable = JE->getMemMgr()->getDlsymTable();
Nate Begeman841c6a42009-03-11 07:03:43 +00001492 if (CurTable && (*(unsigned *)CurTable == nStubs))
Nate Begemand6b7a242009-02-18 08:31:02 +00001493 return;
1494
1495 // Calculate the size of the stub info
Nate Begeman841c6a42009-03-11 07:03:43 +00001496 unsigned offset = 4 + 4 * nStubs + sizeof(intptr_t) * nStubs;
Nate Begemand6b7a242009-02-18 08:31:02 +00001497
1498 SmallVector<unsigned, 8> Offsets;
1499 for (unsigned i = 0; i != GVs.size(); ++i) {
1500 Offsets.push_back(offset);
1501 offset += GVs[i]->getName().length() + 1;
1502 }
Nate Begeman841c6a42009-03-11 07:03:43 +00001503 for (StringMapConstIterator<void*> i = ExtFns.begin(), e = ExtFns.end();
1504 i != e; ++i) {
1505 Offsets.push_back(offset);
1506 offset += strlen(i->first()) + 1;
1507 }
Nate Begemand6b7a242009-02-18 08:31:02 +00001508
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001509 // Allocate space for the new "stub", which contains the dlsym table.
Nate Begemand6b7a242009-02-18 08:31:02 +00001510 JE->startGVStub(0, offset, 4);
1511
1512 // Emit the number of records
Nate Begeman841c6a42009-03-11 07:03:43 +00001513 MCE->emitInt32(nStubs);
Nate Begemand6b7a242009-02-18 08:31:02 +00001514
1515 // Emit the string offsets
Nate Begeman841c6a42009-03-11 07:03:43 +00001516 for (unsigned i = 0; i != nStubs; ++i)
Nate Begemand6b7a242009-02-18 08:31:02 +00001517 MCE->emitInt32(Offsets[i]);
1518
Nate Begeman66941982009-03-04 19:10:38 +00001519 // Emit the pointers. Verify that they are at least 2-byte aligned, and set
1520 // the low bit to 0 == GV, 1 == Function, so that the client code doing the
1521 // relocation can write the relocated pointer at the appropriate place in
1522 // the stub.
1523 for (unsigned i = 0; i != GVs.size(); ++i) {
1524 intptr_t Ptr = (intptr_t)Ptrs[i];
1525 assert((Ptr & 1) == 0 && "Stub pointers must be at least 2-byte aligned!");
1526
1527 if (isa<Function>(GVs[i]))
1528 Ptr |= (intptr_t)1;
1529
Nate Begeman841c6a42009-03-11 07:03:43 +00001530 if (sizeof(Ptr) == 8)
1531 MCE->emitInt64(Ptr);
1532 else
1533 MCE->emitInt32(Ptr);
1534 }
1535 for (StringMapConstIterator<void*> i = ExtFns.begin(), e = ExtFns.end();
1536 i != e; ++i) {
1537 intptr_t Ptr = (intptr_t)i->second | 1;
1538
1539 if (sizeof(Ptr) == 8)
Nate Begeman66941982009-03-04 19:10:38 +00001540 MCE->emitInt64(Ptr);
Nate Begemand6b7a242009-02-18 08:31:02 +00001541 else
Nate Begeman66941982009-03-04 19:10:38 +00001542 MCE->emitInt32(Ptr);
1543 }
Nate Begemand6b7a242009-02-18 08:31:02 +00001544
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001545 // Emit the strings.
Nate Begemand6b7a242009-02-18 08:31:02 +00001546 for (unsigned i = 0; i != GVs.size(); ++i)
1547 MCE->emitString(GVs[i]->getName());
Nate Begeman841c6a42009-03-11 07:03:43 +00001548 for (StringMapConstIterator<void*> i = ExtFns.begin(), e = ExtFns.end();
1549 i != e; ++i)
1550 MCE->emitString(i->first());
Nate Begemand6b7a242009-02-18 08:31:02 +00001551
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001552 // Tell the JIT memory manager where it is. The JIT Memory Manager will
1553 // deallocate space for the old one, if one existed.
Nate Begemand6b7a242009-02-18 08:31:02 +00001554 JE->getMemMgr()->SetDlsymTable(JE->finishGVStub(0));
1555}
1556
Chris Lattnere993cc22006-05-11 23:08:08 +00001557/// freeMachineCodeForFunction - release machine code memory for given Function.
1558///
1559void JIT::freeMachineCodeForFunction(Function *F) {
Dale Johannesendd947ea2008-08-07 01:30:15 +00001560
Chris Lattnere993cc22006-05-11 23:08:08 +00001561 // Delete translation for this from the ExecutionEngine, so it will get
1562 // retranslated next time it is used.
Chris Lattner8ac66c12008-04-04 05:51:42 +00001563 void *OldPtr = updateGlobalMapping(F, 0);
1564
1565 if (OldPtr)
1566 RemoveFunctionFromSymbolTable(OldPtr);
Chris Lattnere993cc22006-05-11 23:08:08 +00001567
1568 // Free the actual memory for the function body and related stuff.
Evan Chenga044dfc2008-08-20 00:28:12 +00001569 assert(isa<JITEmitter>(MCE) && "Unexpected MCE?");
1570 cast<JITEmitter>(MCE)->deallocateMemForFunction(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001571}
1572