blob: 3b4e7509d83988a71f86b8adffed83c470b6d8d4 [file] [log] [blame]
Chris Lattner166f2262004-11-22 22:00:25 +00001//===-- JITEmitter.cpp - Write machine code to executable memory ----------===//
Misha Brukmanf976c852005-04-21 22:55:34 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanf976c852005-04-21 22:55:34 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerbd199fb2002-12-24 00:01:05 +00009//
Chris Lattner5be478f2004-11-20 03:46:14 +000010// This file defines a MachineCodeEmitter object that is used by the JIT to
11// write machine code to memory and remember where relocatable values are.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner3785fad2003-08-05 17:00:32 +000015#define DEBUG_TYPE "jit"
Chris Lattner4d326fa2003-12-20 01:46:27 +000016#include "JIT.h"
Reid Kleckner27632172009-09-20 23:52:43 +000017#include "JITDebugRegisterer.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000018#include "JITDwarfEmitter.h"
Reid Kleckner27632172009-09-20 23:52:43 +000019#include "llvm/ADT/OwningPtr.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000020#include "llvm/Constants.h"
Chris Lattner2c0a6a12003-11-30 04:23:21 +000021#include "llvm/Module.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000022#include "llvm/DerivedTypes.h"
Devang Patelc99fd872010-01-19 06:09:04 +000023#include "llvm/Analysis/DebugInfo.h"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000024#include "llvm/CodeGen/JITCodeEmitter.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000025#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling47639fc2010-04-16 08:46:10 +000026#include "llvm/CodeGen/MachineCodeInfo.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000027#include "llvm/CodeGen/MachineConstantPool.h"
Nate Begeman37efe672006-04-22 18:53:45 +000028#include "llvm/CodeGen/MachineJumpTableInfo.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000029#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000030#include "llvm/CodeGen/MachineRelocation.h"
Dale Johannesendd947ea2008-08-07 01:30:15 +000031#include "llvm/ExecutionEngine/GenericValue.h"
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +000032#include "llvm/ExecutionEngine/JITEventListener.h"
33#include "llvm/ExecutionEngine/JITMemoryManager.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000034#include "llvm/Target/TargetData.h"
Bill Wendling47639fc2010-04-16 08:46:10 +000035#include "llvm/Target/TargetInstrInfo.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000036#include "llvm/Target/TargetJITInfo.h"
Jim Laskeyacd80ac2006-12-14 19:17:33 +000037#include "llvm/Target/TargetMachine.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000038#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000039#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000040#include "llvm/Support/ErrorHandling.h"
Jeffrey Yasskin40966a72010-02-11 01:07:39 +000041#include "llvm/Support/ManagedStatic.h"
Chris Lattnere7fd5532006-05-08 22:00:52 +000042#include "llvm/Support/MutexGuard.h"
Nick Lewycky848b3142009-04-19 18:32:03 +000043#include "llvm/Support/ValueHandle.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000044#include "llvm/Support/raw_ostream.h"
Michael J. Spencer1f6efa32010-11-29 18:16:10 +000045#include "llvm/Support/Disassembler.h"
46#include "llvm/Support/Memory.h"
Jeffrey Yasskin1e861322009-10-20 18:13:21 +000047#include "llvm/ADT/DenseMap.h"
Evan Cheng47c01a02008-11-07 09:02:17 +000048#include "llvm/ADT/SmallPtrSet.h"
Nate Begemand6b7a242009-02-18 08:31:02 +000049#include "llvm/ADT/SmallVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000050#include "llvm/ADT/Statistic.h"
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000051#include "llvm/ADT/ValueMap.h"
Andrew Lenhartha00269b2005-07-29 23:40:16 +000052#include <algorithm>
Evan Chenga7916f52008-11-05 23:44:08 +000053#ifndef NDEBUG
54#include <iomanip>
55#endif
Chris Lattnerc19aade2003-12-08 08:06:28 +000056using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000057
Chris Lattner36343732006-12-19 22:43:32 +000058STATISTIC(NumBytes, "Number of bytes of machine code compiled");
59STATISTIC(NumRelos, "Number of relocations applied");
Reid Kleckner10b4fc52009-07-23 21:46:56 +000060STATISTIC(NumRetries, "Number of retries with more memory");
Chris Lattner54266522004-11-20 23:57:07 +000061
Andrew Lenhartha00269b2005-07-29 23:40:16 +000062
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +000063// A declaration may stop being a declaration once it's fully read from bitcode.
64// This function returns true if F is fully read and is still a declaration.
65static bool isNonGhostDeclaration(const Function *F) {
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +000066 return F->isDeclaration() && !F->isMaterializable();
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +000067}
68
Chris Lattner54266522004-11-20 23:57:07 +000069//===----------------------------------------------------------------------===//
70// JIT lazy compilation code.
71//
72namespace {
Jeffrey Yasskine637c192009-11-07 00:00:10 +000073 class JITEmitter;
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000074 class JITResolverState;
75
76 template<typename ValueTy>
77 struct NoRAUWValueMapConfig : public ValueMapConfig<ValueTy> {
78 typedef JITResolverState *ExtraData;
79 static void onRAUW(JITResolverState *, Value *Old, Value *New) {
80 assert(false && "The JIT doesn't know how to handle a"
81 " RAUW on a value it has emitted.");
82 }
83 };
84
85 struct CallSiteValueMapConfig : public NoRAUWValueMapConfig<Function*> {
86 typedef JITResolverState *ExtraData;
87 static void onDelete(JITResolverState *JRS, Function *F);
88 };
89
Reid Spenceree448632005-07-12 15:51:55 +000090 class JITResolverState {
Nick Lewyckye2bcf132009-04-27 05:09:44 +000091 public:
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000092 typedef ValueMap<Function*, void*, NoRAUWValueMapConfig<Function*> >
Jeffrey Yasskin108c8382009-11-23 23:35:19 +000093 FunctionToLazyStubMapTy;
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +000094 typedef std::map<void*, AssertingVH<Function> > CallSiteToFunctionMapTy;
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +000095 typedef ValueMap<Function *, SmallPtrSet<void*, 1>,
96 CallSiteValueMapConfig> FunctionToCallSitesMapTy;
Nick Lewyckye2bcf132009-04-27 05:09:44 +000097 typedef std::map<AssertingVH<GlobalValue>, void*> GlobalToIndirectSymMapTy;
Reid Spenceree448632005-07-12 15:51:55 +000098 private:
Jeffrey Yasskin108c8382009-11-23 23:35:19 +000099 /// FunctionToLazyStubMap - Keep track of the lazy stub created for a
100 /// particular function so that we can reuse them if necessary.
101 FunctionToLazyStubMapTy FunctionToLazyStubMap;
Reid Spenceree448632005-07-12 15:51:55 +0000102
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000103 /// CallSiteToFunctionMap - Keep track of the function that each lazy call
104 /// site corresponds to, and vice versa.
105 CallSiteToFunctionMapTy CallSiteToFunctionMap;
106 FunctionToCallSitesMapTy FunctionToCallSitesMap;
Jeff Cohen00b168892005-07-27 06:12:32 +0000107
Evan Cheng5594f122008-11-10 01:52:24 +0000108 /// GlobalToIndirectSymMap - Keep track of the indirect symbol created for a
Evan Chengbe8c03f2008-01-04 10:46:51 +0000109 /// particular GlobalVariable so that we can reuse them if necessary.
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000110 GlobalToIndirectSymMapTy GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000111
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000112 /// Instance of the JIT this ResolverState serves.
113 JIT *TheJIT;
114
Reid Spenceree448632005-07-12 15:51:55 +0000115 public:
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000116 JITResolverState(JIT *jit) : FunctionToLazyStubMap(this),
117 FunctionToCallSitesMap(this),
118 TheJIT(jit) {}
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000119
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000120 FunctionToLazyStubMapTy& getFunctionToLazyStubMap(
121 const MutexGuard& locked) {
Reid Spenceree448632005-07-12 15:51:55 +0000122 assert(locked.holds(TheJIT->lock));
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000123 return FunctionToLazyStubMap;
Reid Spenceree448632005-07-12 15:51:55 +0000124 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000125
Jim Grosbach124d0332011-03-16 01:21:55 +0000126 GlobalToIndirectSymMapTy& getGlobalToIndirectSymMap(const MutexGuard& lck) {
127 assert(lck.holds(TheJIT->lock));
Evan Cheng5594f122008-11-10 01:52:24 +0000128 return GlobalToIndirectSymMap;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000129 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000130
131 pair<void *, Function *> LookupFunctionFromCallSite(
132 const MutexGuard &locked, void *CallSite) const {
133 assert(locked.holds(TheJIT->lock));
134
Jim Grosbach124d0332011-03-16 01:21:55 +0000135 // The address given to us for the stub may not be exactly right, it
136 // might be a little bit after the stub. As such, use upper_bound to
137 // find it.
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000138 CallSiteToFunctionMapTy::const_iterator I =
139 CallSiteToFunctionMap.upper_bound(CallSite);
140 assert(I != CallSiteToFunctionMap.begin() &&
141 "This is not a known call site!");
142 --I;
143 return *I;
144 }
145
146 void AddCallSite(const MutexGuard &locked, void *CallSite, Function *F) {
147 assert(locked.holds(TheJIT->lock));
148
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000149 bool Inserted = CallSiteToFunctionMap.insert(
150 std::make_pair(CallSite, F)).second;
151 (void)Inserted;
152 assert(Inserted && "Pair was already in CallSiteToFunctionMap");
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000153 FunctionToCallSitesMap[F].insert(CallSite);
154 }
155
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000156 void EraseAllCallSitesForPrelocked(Function *F);
157
158 // Erases _all_ call sites regardless of their function. This is used to
159 // unregister the stub addresses from the StubToResolverMap in
160 // ~JITResolver().
161 void EraseAllCallSitesPrelocked();
Reid Spenceree448632005-07-12 15:51:55 +0000162 };
Jeff Cohen00b168892005-07-27 06:12:32 +0000163
Chris Lattner54266522004-11-20 23:57:07 +0000164 /// JITResolver - Keep track of, and resolve, call sites for functions that
165 /// have not yet been compiled.
166 class JITResolver {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000167 typedef JITResolverState::FunctionToLazyStubMapTy FunctionToLazyStubMapTy;
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000168 typedef JITResolverState::CallSiteToFunctionMapTy CallSiteToFunctionMapTy;
Nick Lewyckye2bcf132009-04-27 05:09:44 +0000169 typedef JITResolverState::GlobalToIndirectSymMapTy GlobalToIndirectSymMapTy;
170
Chris Lattner5e225582004-11-21 03:37:42 +0000171 /// LazyResolverFn - The target lazy resolver function that we actually
172 /// rewrite instructions to use.
173 TargetJITInfo::LazyResolverFn LazyResolverFn;
174
Reid Spenceree448632005-07-12 15:51:55 +0000175 JITResolverState state;
Chris Lattner54266522004-11-20 23:57:07 +0000176
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000177 /// ExternalFnToStubMap - This is the equivalent of FunctionToLazyStubMap
178 /// for external functions. TODO: Of course, external functions don't need
179 /// a lazy stub. It's actually here to make it more likely that far calls
180 /// succeed, but no single stub can guarantee that. I'll remove this in a
181 /// subsequent checkin when I actually fix far calls.
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000182 std::map<void*, void*> ExternalFnToStubMap;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000183
Evan Cheng1606e8e2009-03-13 07:51:59 +0000184 /// revGOTMap - map addresses to indexes in the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000185 std::map<void*, unsigned> revGOTMap;
186 unsigned nextGOTIndex;
187
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000188 JITEmitter &JE;
189
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000190 /// Instance of JIT corresponding to this Resolver.
191 JIT *TheJIT;
192
Chris Lattner54266522004-11-20 23:57:07 +0000193 public:
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000194 explicit JITResolver(JIT &jit, JITEmitter &je)
195 : state(&jit), nextGOTIndex(0), JE(je), TheJIT(&jit) {
Chris Lattnere7484012007-02-24 02:57:03 +0000196 LazyResolverFn = jit.getJITInfo().getLazyResolverFunction(JITCompilerFn);
Chris Lattner5e225582004-11-21 03:37:42 +0000197 }
Chris Lattner54266522004-11-20 23:57:07 +0000198
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000199 ~JITResolver();
200
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000201 /// getLazyFunctionStubIfAvailable - This returns a pointer to a function's
202 /// lazy-compilation stub if it has already been created.
203 void *getLazyFunctionStubIfAvailable(Function *F);
Evan Cheng704bff92008-11-13 21:50:50 +0000204
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000205 /// getLazyFunctionStub - This returns a pointer to a function's
206 /// lazy-compilation stub, creating one on demand as needed.
207 void *getLazyFunctionStub(Function *F);
Chris Lattner54266522004-11-20 23:57:07 +0000208
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000209 /// getExternalFunctionStub - Return a stub for the function at the
210 /// specified address, created lazily on demand.
211 void *getExternalFunctionStub(void *FnAddr);
212
Evan Cheng5594f122008-11-10 01:52:24 +0000213 /// getGlobalValueIndirectSym - Return an indirect symbol containing the
Evan Chengc96a8e72008-11-05 01:50:32 +0000214 /// specified GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000215 void *getGlobalValueIndirectSym(GlobalValue *V, void *GVAddress);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000216
Andrew Lenharth6a974612005-07-28 12:44:13 +0000217 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
Chris Lattner8907b4b2007-12-05 23:39:57 +0000218 /// an address. This function only manages slots, it does not manage the
Andrew Lenharth6a974612005-07-28 12:44:13 +0000219 /// contents of the slots or the memory associated with the GOT.
Chris Lattner8907b4b2007-12-05 23:39:57 +0000220 unsigned getGOTIndexForAddr(void *addr);
Andrew Lenharth6a974612005-07-28 12:44:13 +0000221
Chris Lattner54266522004-11-20 23:57:07 +0000222 /// JITCompilerFn - This function is called to resolve a stub to a compiled
223 /// address. If the LLVM Function corresponding to the stub has not yet
224 /// been compiled, this function compiles it first.
225 static void *JITCompilerFn(void *Stub);
226 };
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000227
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000228 class StubToResolverMapTy {
229 /// Map a stub address to a specific instance of a JITResolver so that
230 /// lazily-compiled functions can find the right resolver to use.
231 ///
232 /// Guarded by Lock.
233 std::map<void*, JITResolver*> Map;
234
235 /// Guards Map from concurrent accesses.
236 mutable sys::Mutex Lock;
237
238 public:
239 /// Registers a Stub to be resolved by Resolver.
240 void RegisterStubResolver(void *Stub, JITResolver *Resolver) {
241 MutexGuard guard(Lock);
242 Map.insert(std::make_pair(Stub, Resolver));
243 }
244 /// Unregisters the Stub when it's invalidated.
245 void UnregisterStubResolver(void *Stub) {
246 MutexGuard guard(Lock);
247 Map.erase(Stub);
248 }
249 /// Returns the JITResolver instance that owns the Stub.
250 JITResolver *getResolverFromStub(void *Stub) const {
251 MutexGuard guard(Lock);
252 // The address given to us for the stub may not be exactly right, it might
253 // be a little bit after the stub. As such, use upper_bound to find it.
254 // This is the same trick as in LookupFunctionFromCallSite from
255 // JITResolverState.
256 std::map<void*, JITResolver*>::const_iterator I = Map.upper_bound(Stub);
257 assert(I != Map.begin() && "This is not a known stub!");
258 --I;
259 return I->second;
260 }
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000261 /// True if any stubs refer to the given resolver. Only used in an assert().
262 /// O(N)
263 bool ResolverHasStubs(JITResolver* Resolver) const {
264 MutexGuard guard(Lock);
265 for (std::map<void*, JITResolver*>::const_iterator I = Map.begin(),
266 E = Map.end(); I != E; ++I) {
267 if (I->second == Resolver)
268 return true;
269 }
270 return false;
271 }
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000272 };
273 /// This needs to be static so that a lazy call stub can access it with no
274 /// context except the address of the stub.
275 ManagedStatic<StubToResolverMapTy> StubToResolverMap;
276
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000277 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
278 /// used to output functions to memory for execution.
279 class JITEmitter : public JITCodeEmitter {
280 JITMemoryManager *MemMgr;
281
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000282 // When outputting a function stub in the context of some other function, we
283 // save BufferBegin/BufferEnd/CurBufferPtr here.
284 uint8_t *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
285
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000286 // When reattempting to JIT a function after running out of space, we store
287 // the estimated size of the function we're trying to JIT here, so we can
288 // ask the memory manager for at least this much space. When we
289 // successfully emit the function, we reset this back to zero.
290 uintptr_t SizeEstimate;
291
292 /// Relocations - These are the relocations that the function needs, as
293 /// emitted.
294 std::vector<MachineRelocation> Relocations;
Eric Christopher116664a2009-11-12 03:12:18 +0000295
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000296 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
297 /// It is filled in by the StartMachineBasicBlock callback and queried by
298 /// the getMachineBasicBlockAddress callback.
299 std::vector<uintptr_t> MBBLocations;
300
301 /// ConstantPool - The constant pool for the current function.
302 ///
303 MachineConstantPool *ConstantPool;
304
305 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
306 ///
307 void *ConstantPoolBase;
308
309 /// ConstPoolAddresses - Addresses of individual constant pool entries.
310 ///
311 SmallVector<uintptr_t, 8> ConstPoolAddresses;
312
313 /// JumpTable - The jump tables for the current function.
314 ///
315 MachineJumpTableInfo *JumpTable;
Eric Christopher116664a2009-11-12 03:12:18 +0000316
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000317 /// JumpTableBase - A pointer to the first entry in the jump table.
318 ///
319 void *JumpTableBase;
320
321 /// Resolver - This contains info about the currently resolved functions.
322 JITResolver Resolver;
323
324 /// DE - The dwarf emitter for the jit.
325 OwningPtr<JITDwarfEmitter> DE;
326
327 /// DR - The debug registerer for the jit.
328 OwningPtr<JITDebugRegisterer> DR;
329
Eric Christopher116664a2009-11-12 03:12:18 +0000330 /// LabelLocations - This vector is a mapping from Label ID's to their
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000331 /// address.
Chris Lattner16112732010-03-14 01:41:15 +0000332 DenseMap<MCSymbol*, uintptr_t> LabelLocations;
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000333
334 /// MMI - Machine module info for exception informations
335 MachineModuleInfo* MMI;
336
Eric Christopher116664a2009-11-12 03:12:18 +0000337 // CurFn - The llvm function being emitted. Only valid during
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000338 // finishFunction().
339 const Function *CurFn;
340
341 /// Information about emitted code, which is passed to the
342 /// JITEventListeners. This is reset in startFunction and used in
343 /// finishFunction.
344 JITEvent_EmittedFunctionDetails EmissionDetails;
345
346 struct EmittedCode {
347 void *FunctionBody; // Beginning of the function's allocation.
348 void *Code; // The address the function's code actually starts at.
349 void *ExceptionTable;
350 EmittedCode() : FunctionBody(0), Code(0), ExceptionTable(0) {}
351 };
352 struct EmittedFunctionConfig : public ValueMapConfig<const Function*> {
353 typedef JITEmitter *ExtraData;
354 static void onDelete(JITEmitter *, const Function*);
355 static void onRAUW(JITEmitter *, const Function*, const Function*);
356 };
357 ValueMap<const Function *, EmittedCode,
358 EmittedFunctionConfig> EmittedFunctions;
359
Nicolas Geoffray4eb37392010-04-14 22:06:37 +0000360 DebugLoc PrevDL;
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000361
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000362 /// Instance of the JIT
363 JIT *TheJIT;
364
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000365 public:
366 JITEmitter(JIT &jit, JITMemoryManager *JMM, TargetMachine &TM)
367 : SizeEstimate(0), Resolver(jit, *this), MMI(0), CurFn(0),
Nicolas Geoffray4eb37392010-04-14 22:06:37 +0000368 EmittedFunctions(this), TheJIT(&jit) {
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000369 MemMgr = JMM ? JMM : JITMemoryManager::CreateDefaultMemManager();
370 if (jit.getJITInfo().needsGOT()) {
371 MemMgr->AllocateGOT();
David Greenec9ec9932010-01-05 01:23:36 +0000372 DEBUG(dbgs() << "JIT is managing a GOT\n");
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000373 }
374
Duncan Sands57b6e9e2010-05-02 15:36:26 +0000375 if (JITExceptionHandling || JITEmitDebugInfo) {
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000376 DE.reset(new JITDwarfEmitter(jit));
377 }
378 if (JITEmitDebugInfo) {
379 DR.reset(new JITDebugRegisterer(TM));
380 }
381 }
Eric Christopher116664a2009-11-12 03:12:18 +0000382 ~JITEmitter() {
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000383 delete MemMgr;
384 }
385
386 /// classof - Methods for support type inquiry through isa, cast, and
387 /// dyn_cast:
388 ///
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000389 static inline bool classof(const MachineCodeEmitter*) { return true; }
Eric Christopher116664a2009-11-12 03:12:18 +0000390
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000391 JITResolver &getJITResolver() { return Resolver; }
392
393 virtual void startFunction(MachineFunction &F);
394 virtual bool finishFunction(MachineFunction &F);
Eric Christopher116664a2009-11-12 03:12:18 +0000395
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000396 void emitConstantPool(MachineConstantPool *MCP);
397 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
398 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Eric Christopher116664a2009-11-12 03:12:18 +0000399
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000400 void startGVStub(const GlobalValue* GV,
401 unsigned StubSize, unsigned Alignment = 1);
402 void startGVStub(void *Buffer, unsigned StubSize);
403 void finishGVStub();
404 virtual void *allocIndirectGV(const GlobalValue *GV,
405 const uint8_t *Buffer, size_t Size,
406 unsigned Alignment);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000407
408 /// allocateSpace - Reserves space in the current block if any, or
409 /// allocate a new one of the given size.
410 virtual void *allocateSpace(uintptr_t Size, unsigned Alignment);
411
412 /// allocateGlobal - Allocate memory for a global. Unlike allocateSpace,
413 /// this method does not allocate memory in the current output buffer,
414 /// because a global may live longer than the current function.
415 virtual void *allocateGlobal(uintptr_t Size, unsigned Alignment);
416
417 virtual void addRelocation(const MachineRelocation &MR) {
418 Relocations.push_back(MR);
419 }
Eric Christopher116664a2009-11-12 03:12:18 +0000420
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000421 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
422 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
423 MBBLocations.resize((MBB->getNumber()+1)*2);
424 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
Chris Lattner68feb222010-07-11 23:07:28 +0000425 if (MBB->hasAddressTaken())
426 TheJIT->addPointerToBasicBlock(MBB->getBasicBlock(),
427 (void*)getCurrentPCValue());
David Greenec9ec9932010-01-05 01:23:36 +0000428 DEBUG(dbgs() << "JIT: Emitting BB" << MBB->getNumber() << " at ["
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000429 << (void*) getCurrentPCValue() << "]\n");
430 }
431
432 virtual uintptr_t getConstantPoolEntryAddress(unsigned Entry) const;
433 virtual uintptr_t getJumpTableEntryAddress(unsigned Entry) const;
434
Chris Lattner68feb222010-07-11 23:07:28 +0000435 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
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000450 virtual void processDebugLoc(DebugLoc DL, bool BeforePrintingInsn);
451
Chris Lattner16112732010-03-14 01:41:15 +0000452 virtual void emitLabel(MCSymbol *Label) {
453 LabelLocations[Label] = getCurrentPCValue();
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000454 }
455
Bill Wendling47639fc2010-04-16 08:46:10 +0000456 virtual DenseMap<MCSymbol*, uintptr_t> *getLabelLocations() {
457 return &LabelLocations;
458 }
459
Chris Lattner16112732010-03-14 01:41:15 +0000460 virtual uintptr_t getLabelAddress(MCSymbol *Label) const {
461 assert(LabelLocations.count(Label) && "Label not emitted!");
462 return LabelLocations.find(Label)->second;
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000463 }
Eric Christopher116664a2009-11-12 03:12:18 +0000464
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000465 virtual void setModuleInfo(MachineModuleInfo* Info) {
466 MMI = Info;
467 if (DE.get()) DE->setModuleInfo(Info);
468 }
469
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000470 private:
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000471 void *getPointerToGlobal(GlobalValue *GV, void *Reference,
472 bool MayNeedFarStub);
473 void *getPointerToGVIndirectSym(GlobalValue *V, void *Reference);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000474 };
Chris Lattner54266522004-11-20 23:57:07 +0000475}
476
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000477void CallSiteValueMapConfig::onDelete(JITResolverState *JRS, Function *F) {
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000478 JRS->EraseAllCallSitesForPrelocked(F);
479}
480
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000481void JITResolverState::EraseAllCallSitesForPrelocked(Function *F) {
482 FunctionToCallSitesMapTy::iterator F2C = FunctionToCallSitesMap.find(F);
483 if (F2C == FunctionToCallSitesMap.end())
484 return;
485 StubToResolverMapTy &S2RMap = *StubToResolverMap;
486 for (SmallPtrSet<void*, 1>::const_iterator I = F2C->second.begin(),
487 E = F2C->second.end(); I != E; ++I) {
488 S2RMap.UnregisterStubResolver(*I);
489 bool Erased = CallSiteToFunctionMap.erase(*I);
490 (void)Erased;
491 assert(Erased && "Missing call site->function mapping");
492 }
493 FunctionToCallSitesMap.erase(F2C);
494}
495
496void JITResolverState::EraseAllCallSitesPrelocked() {
497 StubToResolverMapTy &S2RMap = *StubToResolverMap;
498 for (CallSiteToFunctionMapTy::const_iterator
499 I = CallSiteToFunctionMap.begin(),
500 E = CallSiteToFunctionMap.end(); I != E; ++I) {
501 S2RMap.UnregisterStubResolver(I->first);
502 }
503 CallSiteToFunctionMap.clear();
504 FunctionToCallSitesMap.clear();
505}
506
507JITResolver::~JITResolver() {
508 // No need to lock because we're in the destructor, and state isn't shared.
509 state.EraseAllCallSitesPrelocked();
510 assert(!StubToResolverMap->ResolverHasStubs(this) &&
511 "Resolver destroyed with stubs still alive.");
Jeffrey Yasskin23e5fcf2009-10-23 22:37:43 +0000512}
513
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000514/// getLazyFunctionStubIfAvailable - This returns a pointer to a function stub
Evan Cheng704bff92008-11-13 21:50:50 +0000515/// if it has already been created.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000516void *JITResolver::getLazyFunctionStubIfAvailable(Function *F) {
Evan Cheng704bff92008-11-13 21:50:50 +0000517 MutexGuard locked(TheJIT->lock);
518
519 // If we already have a stub for this function, recycle it.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000520 return state.getFunctionToLazyStubMap(locked).lookup(F);
Evan Cheng704bff92008-11-13 21:50:50 +0000521}
522
Chris Lattner54266522004-11-20 23:57:07 +0000523/// getFunctionStub - This returns a pointer to a function stub, creating
524/// one on demand as needed.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000525void *JITResolver::getLazyFunctionStub(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000526 MutexGuard locked(TheJIT->lock);
527
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000528 // If we already have a lazy stub for this function, recycle it.
529 void *&Stub = state.getFunctionToLazyStubMap(locked)[F];
Chris Lattner54266522004-11-20 23:57:07 +0000530 if (Stub) return Stub;
531
Jeffrey Yasskindc857242009-10-27 20:30:28 +0000532 // Call the lazy resolver function if we are JIT'ing lazily. Otherwise we
533 // must resolve the symbol now.
534 void *Actual = TheJIT->isCompilingLazily()
535 ? (void *)(intptr_t)LazyResolverFn : (void *)0;
536
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000537 // If this is an external declaration, attempt to resolve the address now
538 // to place in the stub.
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +0000539 if (isNonGhostDeclaration(F) || F->hasAvailableExternallyLinkage()) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000540 Actual = TheJIT->getPointerToFunction(F);
Misha Brukmanf976c852005-04-21 22:55:34 +0000541
Dan Gohman69f93782009-01-05 05:32:42 +0000542 // If we resolved the symbol to a null address (eg. a weak external)
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +0000543 // don't emit a stub. Return a null pointer to the application.
544 if (!Actual) return 0;
Dan Gohman69f93782009-01-05 05:32:42 +0000545 }
546
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000547 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000548 JE.startGVStub(F, SL.Size, SL.Alignment);
Nate Begemanb9c6c9b2009-03-07 06:41:19 +0000549 // Codegen a new stub, calling the lazy resolver or the actual address of the
550 // external function, if it was resolved.
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000551 Stub = TheJIT->getJITInfo().emitFunctionStub(F, Actual, JE);
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000552 JE.finishGVStub();
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000553
Chris Lattner870286a2006-06-01 17:29:22 +0000554 if (Actual != (void*)(intptr_t)LazyResolverFn) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000555 // If we are getting the stub for an external function, we really want the
556 // address of the stub in the GlobalAddressMap for the JIT, not the address
557 // of the external function.
558 TheJIT->updateGlobalMapping(F, Stub);
559 }
Chris Lattner54266522004-11-20 23:57:07 +0000560
David Greenec9ec9932010-01-05 01:23:36 +0000561 DEBUG(dbgs() << "JIT: Lazy stub emitted at [" << Stub << "] for function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000562 << F->getName() << "'\n");
Chris Lattnercb479412004-11-21 03:44:32 +0000563
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000564 if (TheJIT->isCompilingLazily()) {
565 // Register this JITResolver as the one corresponding to this call site so
566 // JITCompilerFn will be able to find it.
567 StubToResolverMap->RegisterStubResolver(Stub, this);
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000568
Jeffrey Yasskin8e98d122010-03-04 00:32:33 +0000569 // Finally, keep track of the stub-to-Function mapping so that the
570 // JITCompilerFn knows which function to compile!
571 state.AddCallSite(locked, Stub, F);
572 } else if (!Actual) {
573 // If we are JIT'ing non-lazily but need to call a function that does not
574 // exist yet, add it to the JIT's work list so that we can fill in the
575 // stub address later.
576 assert(!isNonGhostDeclaration(F) && !F->hasAvailableExternallyLinkage() &&
577 "'Actual' should have been set above.");
578 TheJIT->addPendingFunction(F);
579 }
Jeffrey Yasskine5f87982009-10-13 21:32:57 +0000580
Chris Lattner54266522004-11-20 23:57:07 +0000581 return Stub;
582}
583
Evan Cheng5594f122008-11-10 01:52:24 +0000584/// getGlobalValueIndirectSym - Return a lazy pointer containing the specified
Evan Chengbe8c03f2008-01-04 10:46:51 +0000585/// GV address.
Evan Cheng5594f122008-11-10 01:52:24 +0000586void *JITResolver::getGlobalValueIndirectSym(GlobalValue *GV, void *GVAddress) {
Evan Chengbe8c03f2008-01-04 10:46:51 +0000587 MutexGuard locked(TheJIT->lock);
588
589 // If we already have a stub for this global variable, recycle it.
Evan Cheng5594f122008-11-10 01:52:24 +0000590 void *&IndirectSym = state.getGlobalToIndirectSymMap(locked)[GV];
591 if (IndirectSym) return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000592
Evan Chenge4d783d2008-11-10 23:26:16 +0000593 // Otherwise, codegen a new indirect symbol.
Evan Cheng5594f122008-11-10 01:52:24 +0000594 IndirectSym = TheJIT->getJITInfo().emitGlobalValueIndirectSym(GV, GVAddress,
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000595 JE);
Evan Chengbe8c03f2008-01-04 10:46:51 +0000596
David Greenec9ec9932010-01-05 01:23:36 +0000597 DEBUG(dbgs() << "JIT: Indirect symbol emitted at [" << IndirectSym
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000598 << "] for GV '" << GV->getName() << "'\n");
Evan Chengbe8c03f2008-01-04 10:46:51 +0000599
Evan Cheng5594f122008-11-10 01:52:24 +0000600 return IndirectSym;
Evan Chengbe8c03f2008-01-04 10:46:51 +0000601}
602
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000603/// getExternalFunctionStub - Return a stub for the function at the
604/// specified address, created lazily on demand.
605void *JITResolver::getExternalFunctionStub(void *FnAddr) {
606 // If we already have a stub for this function, recycle it.
607 void *&Stub = ExternalFnToStubMap[FnAddr];
608 if (Stub) return Stub;
609
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000610 TargetJITInfo::StubLayout SL = TheJIT->getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000611 JE.startGVStub(0, SL.Size, SL.Alignment);
Jeffrey Yasskine637c192009-11-07 00:00:10 +0000612 Stub = TheJIT->getJITInfo().emitFunctionStub(0, FnAddr, JE);
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000613 JE.finishGVStub();
Evan Cheng55fc2802006-07-25 20:40:54 +0000614
David Greenec9ec9932010-01-05 01:23:36 +0000615 DEBUG(dbgs() << "JIT: Stub emitted at [" << Stub
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000616 << "] for external function at '" << FnAddr << "'\n");
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000617 return Stub;
618}
619
Andrew Lenharth6a974612005-07-28 12:44:13 +0000620unsigned JITResolver::getGOTIndexForAddr(void* addr) {
621 unsigned idx = revGOTMap[addr];
622 if (!idx) {
623 idx = ++nextGOTIndex;
624 revGOTMap[addr] = idx;
David Greenec9ec9932010-01-05 01:23:36 +0000625 DEBUG(dbgs() << "JIT: Adding GOT entry " << idx << " for addr ["
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000626 << addr << "]\n");
Andrew Lenharth6a974612005-07-28 12:44:13 +0000627 }
628 return idx;
629}
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000630
Chris Lattner54266522004-11-20 23:57:07 +0000631/// JITCompilerFn - This function is called when a lazy compilation stub has
632/// been entered. It looks up which function this stub corresponds to, compiles
633/// it if necessary, then returns the resultant function pointer.
634void *JITResolver::JITCompilerFn(void *Stub) {
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000635 JITResolver *JR = StubToResolverMap->getResolverFromStub(Stub);
636 assert(JR && "Unable to find the corresponding JITResolver to the call site");
Eric Christopher116664a2009-11-12 03:12:18 +0000637
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000638 Function* F = 0;
639 void* ActualPtr = 0;
Misha Brukmanf976c852005-04-21 22:55:34 +0000640
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000641 {
642 // Only lock for getting the Function. The call getPointerToFunction made
643 // in this function might trigger function materializing, which requires
644 // JIT lock to be unlocked.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000645 MutexGuard locked(JR->TheJIT->lock);
Reid Spenceree448632005-07-12 15:51:55 +0000646
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000647 // The address given to us for the stub may not be exactly right, it might
648 // be a little bit after the stub. As such, use upper_bound to find it.
649 pair<void*, Function*> I =
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000650 JR->state.LookupFunctionFromCallSite(locked, Stub);
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000651 F = I.second;
652 ActualPtr = I.first;
Nicolas Geoffraydcb31e12008-10-03 07:27:08 +0000653 }
Chris Lattner54266522004-11-20 23:57:07 +0000654
Evan Cheng9da60f92007-06-30 00:10:37 +0000655 // If we have already code generated the function, just return the address.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000656 void *Result = JR->TheJIT->getPointerToGlobalIfAvailable(F);
Eric Christopher116664a2009-11-12 03:12:18 +0000657
Evan Cheng9da60f92007-06-30 00:10:37 +0000658 if (!Result) {
659 // Otherwise we don't have it, do lazy compilation now.
Eric Christopher116664a2009-11-12 03:12:18 +0000660
Evan Cheng9da60f92007-06-30 00:10:37 +0000661 // If lazy compilation is disabled, emit a useful error message and abort.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000662 if (!JR->TheJIT->isCompilingLazily()) {
Jim Grosbach124d0332011-03-16 01:21:55 +0000663 report_fatal_error("LLVM JIT requested to do lazy compilation of"
664 " function '"
Torok Edwin7d696d82009-07-11 13:10:19 +0000665 + F->getName() + "' when lazy compiles are disabled!");
Evan Cheng9da60f92007-06-30 00:10:37 +0000666 }
Eric Christopher116664a2009-11-12 03:12:18 +0000667
David Greenec9ec9932010-01-05 01:23:36 +0000668 DEBUG(dbgs() << "JIT: Lazily resolving function '" << F->getName()
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000669 << "' In stub ptr = " << Stub << " actual ptr = "
670 << ActualPtr << "\n");
Chris Lattner54266522004-11-20 23:57:07 +0000671
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000672 Result = JR->TheJIT->getPointerToFunction(F);
Evan Cheng9da60f92007-06-30 00:10:37 +0000673 }
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000674
675 // Reacquire the lock to update the GOT map.
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000676 MutexGuard locked(JR->TheJIT->lock);
Chris Lattner54266522004-11-20 23:57:07 +0000677
Jeffrey Yasskinebbcef92009-10-19 18:49:59 +0000678 // We might like to remove the call site from the CallSiteToFunction map, but
679 // we can't do that! Multiple threads could be stuck, waiting to acquire the
680 // lock above. As soon as the 1st function finishes compiling the function,
681 // the next one will be released, and needs to be able to find the function it
682 // needs to call.
Chris Lattner54266522004-11-20 23:57:07 +0000683
684 // FIXME: We could rewrite all references to this stub if we knew them.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000685
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000686 // What we will do is set the compiled function address to map to the
687 // same GOT entry as the stub so that later clients may update the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000688 // if they see it still using the stub address.
689 // Note: this is done so the Resolver doesn't have to manage GOT memory
690 // Do this without allocating map space if the target isn't using a GOT
Jeffrey Yasskin40966a72010-02-11 01:07:39 +0000691 if(JR->revGOTMap.find(Stub) != JR->revGOTMap.end())
692 JR->revGOTMap[Result] = JR->revGOTMap[Stub];
Andrew Lenharth6a974612005-07-28 12:44:13 +0000693
Chris Lattner54266522004-11-20 23:57:07 +0000694 return Result;
695}
Chris Lattner688506d2003-08-14 18:35:27 +0000696
Chris Lattner8ac66c12008-04-04 05:51:42 +0000697//===----------------------------------------------------------------------===//
Chris Lattner166f2262004-11-22 22:00:25 +0000698// JITEmitter code.
Chris Lattner54266522004-11-20 23:57:07 +0000699//
Chris Lattner166f2262004-11-22 22:00:25 +0000700void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000701 bool MayNeedFarStub) {
Nate Begemand6b7a242009-02-18 08:31:02 +0000702 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
Chris Lattner54266522004-11-20 23:57:07 +0000703 return TheJIT->getOrEmitGlobalVariable(GV);
Nate Begemand6b7a242009-02-18 08:31:02 +0000704
Chris Lattner18e04592008-06-25 20:21:35 +0000705 if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
Anton Korobeynikov19e861a2008-09-09 20:05:04 +0000706 return TheJIT->getPointerToGlobal(GA->resolveAliasedGlobal(false));
Chris Lattner54266522004-11-20 23:57:07 +0000707
708 // If we have already compiled the function, return a pointer to its body.
709 Function *F = cast<Function>(V);
Eric Christopher116664a2009-11-12 03:12:18 +0000710
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000711 void *FnStub = Resolver.getLazyFunctionStubIfAvailable(F);
Eric Christopher116664a2009-11-12 03:12:18 +0000712 if (FnStub) {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +0000713 // Return the function stub if it's already created. We do this first so
714 // that we're returning the same address for the function as any previous
715 // call. TODO: Yes, this is wrong. The lazy stub isn't guaranteed to be
716 // close enough to call.
Eric Christopher116664a2009-11-12 03:12:18 +0000717 return FnStub;
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000718 }
Eric Christopher116664a2009-11-12 03:12:18 +0000719
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000720 // If we know the target can handle arbitrary-distance calls, try to
721 // return a direct pointer.
722 if (!MayNeedFarStub) {
723 // If we have code, go ahead and return that.
724 void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
725 if (ResultPtr) return ResultPtr;
Chris Lattner54266522004-11-20 23:57:07 +0000726
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000727 // If this is an external function pointer, we can force the JIT to
728 // 'compile' it, which really just adds it to the map.
Jeffrey Yasskinc5818fb2009-12-22 23:47:23 +0000729 if (isNonGhostDeclaration(F) || F->hasAvailableExternallyLinkage())
Jeffrey Yasskine03a39b2009-11-19 23:42:58 +0000730 return TheJIT->getPointerToFunction(F);
731 }
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000732
Jeffrey Yasskin39c75f22010-03-04 19:45:09 +0000733 // Otherwise, we may need a to emit a stub, and, conservatively, we always do
734 // so. Note that it's possible to return null from getLazyFunctionStub in the
735 // case of a weak extern that fails to resolve.
736 return Resolver.getLazyFunctionStub(F);
Chris Lattner54266522004-11-20 23:57:07 +0000737}
738
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000739void *JITEmitter::getPointerToGVIndirectSym(GlobalValue *V, void *Reference) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000740 // Make sure GV is emitted first, and create a stub containing the fully
741 // resolved address.
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000742 void *GVAddress = getPointerToGlobal(V, Reference, false);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000743 void *StubAddr = Resolver.getGlobalValueIndirectSym(V, GVAddress);
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000744 return StubAddr;
745}
746
Devang Patel02c04232009-10-06 03:04:58 +0000747void JITEmitter::processDebugLoc(DebugLoc DL, bool BeforePrintingInsn) {
Chris Lattnerde4845c2010-04-02 19:42:39 +0000748 if (DL.isUnknown()) return;
749 if (!BeforePrintingInsn) return;
Jim Grosbach124d0332011-03-16 01:21:55 +0000750
Chris Lattner134d8ee2010-07-22 21:17:55 +0000751 const LLVMContext &Context = EmissionDetails.MF->getFunction()->getContext();
Nicolas Geoffray4eb37392010-04-14 22:06:37 +0000752
753 if (DL.getScope(Context) != 0 && PrevDL != DL) {
Chris Lattnerde4845c2010-04-02 19:42:39 +0000754 JITEvent_EmittedFunctionDetails::LineStart NextLine;
755 NextLine.Address = getCurrentPCValue();
756 NextLine.Loc = DL;
757 EmissionDetails.LineStarts.push_back(NextLine);
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000758 }
Chris Lattnerde4845c2010-04-02 19:42:39 +0000759
Nicolas Geoffray4eb37392010-04-14 22:06:37 +0000760 PrevDL = DL;
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000761}
762
Evan Cheng1606e8e2009-03-13 07:51:59 +0000763static unsigned GetConstantPoolSizeInBytes(MachineConstantPool *MCP,
764 const TargetData *TD) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000765 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
766 if (Constants.empty()) return 0;
767
Evan Cheng1606e8e2009-03-13 07:51:59 +0000768 unsigned Size = 0;
769 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
770 MachineConstantPoolEntry CPE = Constants[i];
771 unsigned AlignMask = CPE.getAlignment() - 1;
772 Size = (Size + AlignMask) & ~AlignMask;
773 const Type *Ty = CPE.getType();
Duncan Sands777d2302009-05-09 07:06:46 +0000774 Size += TD->getTypeAllocSize(Ty);
Evan Cheng1606e8e2009-03-13 07:51:59 +0000775 }
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000776 return Size;
777}
778
Chris Lattner166f2262004-11-22 22:00:25 +0000779void JITEmitter::startFunction(MachineFunction &F) {
David Greenec9ec9932010-01-05 01:23:36 +0000780 DEBUG(dbgs() << "JIT: Starting CodeGen of Function "
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000781 << F.getFunction()->getName() << "\n");
Evan Chengeb5d95a2008-11-06 17:46:04 +0000782
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000783 uintptr_t ActualSize = 0;
Jim Grosbachcce6c292008-10-03 16:17:20 +0000784 // Set the memory writable, if it's not already
785 MemMgr->setMemoryWritable();
Jim Grosbach124d0332011-03-16 01:21:55 +0000786
Chris Lattner134d8ee2010-07-22 21:17:55 +0000787 if (SizeEstimate > 0) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +0000788 // SizeEstimate will be non-zero on reallocation attempts.
789 ActualSize = SizeEstimate;
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000790 }
791
Chris Lattner8907b4b2007-12-05 23:39:57 +0000792 BufferBegin = CurBufferPtr = MemMgr->startFunctionBody(F.getFunction(),
793 ActualSize);
Chris Lattnere993cc22006-05-11 23:08:08 +0000794 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin1e861322009-10-20 18:13:21 +0000795 EmittedFunctions[F.getFunction()].FunctionBody = BufferBegin;
796
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000797 // Ensure the constant pool/jump table info is at least 4-byte aligned.
798 emitAlignment(16);
799
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000800 emitConstantPool(F.getConstantPool());
Chris Lattner071c62f2010-01-25 23:26:13 +0000801 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo())
802 initJumpTableInfo(MJTI);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000803
804 // About to start emitting the machine code for the function.
Chris Lattner0eb4d6b2006-05-03 01:03:20 +0000805 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000806 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +0000807 EmittedFunctions[F.getFunction()].Code = CurBufferPtr;
Evan Cheng55fc2802006-07-25 20:40:54 +0000808
Chris Lattnerb4432f32006-05-03 17:10:41 +0000809 MBBLocations.clear();
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000810
811 EmissionDetails.MF = &F;
812 EmissionDetails.LineStarts.clear();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000813}
814
Chris Lattner43b429b2006-05-02 18:27:26 +0000815bool JITEmitter::finishFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000816 if (CurBufferPtr == BufferEnd) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +0000817 // We must call endFunctionBody before retrying, because
818 // deallocateMemForFunction requires it.
819 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
820 retryWithMoreMemory(F);
821 return true;
Chris Lattnere993cc22006-05-11 23:08:08 +0000822 }
Reid Kleckner10b4fc52009-07-23 21:46:56 +0000823
Chris Lattner071c62f2010-01-25 23:26:13 +0000824 if (MachineJumpTableInfo *MJTI = F.getJumpTableInfo())
825 emitJumpTableInfo(MJTI);
Reid Kleckner10b4fc52009-07-23 21:46:56 +0000826
Chris Lattnera8279532006-06-16 18:09:26 +0000827 // FnStart is the start of the text, not the start of the constant pool and
828 // other per-function data.
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +0000829 uint8_t *FnStart =
830 (uint8_t *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000831
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +0000832 // FnEnd is the end of the function's machine code.
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +0000833 uint8_t *FnEnd = CurBufferPtr;
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +0000834
Chris Lattner5be478f2004-11-20 03:46:14 +0000835 if (!Relocations.empty()) {
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000836 CurFn = F.getFunction();
Chris Lattnere884dc22005-07-20 16:29:20 +0000837 NumRelos += Relocations.size();
838
Chris Lattner5be478f2004-11-20 03:46:14 +0000839 // Resolve the relocations to concrete pointers.
840 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
841 MachineRelocation &MR = Relocations[i];
Evan Cheng92006052008-11-03 07:14:02 +0000842 void *ResultPtr = 0;
Evan Chengef5784e2008-10-29 23:54:46 +0000843 if (!MR.letTargetResolve()) {
Evan Chengd7398c92008-11-08 07:37:34 +0000844 if (MR.isExternalSymbol()) {
Dan Gohman69f93782009-01-05 05:32:42 +0000845 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getExternalSymbol(),
846 false);
David Greenec9ec9932010-01-05 01:23:36 +0000847 DEBUG(dbgs() << "JIT: Map \'" << MR.getExternalSymbol() << "\' to ["
Eric Christopher116664a2009-11-12 03:12:18 +0000848 << ResultPtr << "]\n");
Misha Brukmanf976c852005-04-21 22:55:34 +0000849
Evan Chengef5784e2008-10-29 23:54:46 +0000850 // If the target REALLY wants a stub for this function, emit it now.
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000851 if (MR.mayNeedFarStub()) {
Jeffrey Yasskin6f348e42009-11-09 22:34:19 +0000852 ResultPtr = Resolver.getExternalFunctionStub(ResultPtr);
Nate Begeman841c6a42009-03-11 07:03:43 +0000853 }
Evan Chengef5784e2008-10-29 23:54:46 +0000854 } else if (MR.isGlobalValue()) {
855 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
856 BufferBegin+MR.getMachineCodeOffset(),
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000857 MR.mayNeedFarStub());
Evan Cheng5594f122008-11-10 01:52:24 +0000858 } else if (MR.isIndirectSymbol()) {
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000859 ResultPtr = getPointerToGVIndirectSym(
860 MR.getGlobalValue(), BufferBegin+MR.getMachineCodeOffset());
Evan Chengef5784e2008-10-29 23:54:46 +0000861 } else if (MR.isBasicBlock()) {
862 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
863 } else if (MR.isConstantPoolIndex()) {
Jim Grosbach124d0332011-03-16 01:21:55 +0000864 ResultPtr =
865 (void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
Evan Chengef5784e2008-10-29 23:54:46 +0000866 } else {
867 assert(MR.isJumpTableIndex());
868 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
869 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000870
Evan Chengef5784e2008-10-29 23:54:46 +0000871 MR.setResultPointer(ResultPtr);
872 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000873
Andrew Lenharth6a974612005-07-28 12:44:13 +0000874 // if we are managing the GOT and the relocation wants an index,
875 // give it one
Chris Lattner8907b4b2007-12-05 23:39:57 +0000876 if (MR.isGOTRelative() && MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +0000877 unsigned idx = Resolver.getGOTIndexForAddr(ResultPtr);
Andrew Lenharth6a974612005-07-28 12:44:13 +0000878 MR.setGOTIndex(idx);
Chris Lattner8907b4b2007-12-05 23:39:57 +0000879 if (((void**)MemMgr->getGOTBase())[idx] != ResultPtr) {
David Greenec9ec9932010-01-05 01:23:36 +0000880 DEBUG(dbgs() << "JIT: GOT was out of date for " << ResultPtr
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000881 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
882 << "\n");
Chris Lattner8907b4b2007-12-05 23:39:57 +0000883 ((void**)MemMgr->getGOTBase())[idx] = ResultPtr;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000884 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000885 }
Chris Lattner5be478f2004-11-20 03:46:14 +0000886 }
887
Nate Begeman50cd6fd2009-03-05 06:34:37 +0000888 CurFn = 0;
Chris Lattner43b429b2006-05-02 18:27:26 +0000889 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Chris Lattner8907b4b2007-12-05 23:39:57 +0000890 Relocations.size(), MemMgr->getGOTBase());
Chris Lattner5be478f2004-11-20 03:46:14 +0000891 }
892
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000893 // Update the GOT entry for F to point to the new code.
Chris Lattner8907b4b2007-12-05 23:39:57 +0000894 if (MemMgr->isManagingGOT()) {
Chris Lattnere7484012007-02-24 02:57:03 +0000895 unsigned idx = Resolver.getGOTIndexForAddr((void*)BufferBegin);
Chris Lattner8907b4b2007-12-05 23:39:57 +0000896 if (((void**)MemMgr->getGOTBase())[idx] != (void*)BufferBegin) {
David Greenec9ec9932010-01-05 01:23:36 +0000897 DEBUG(dbgs() << "JIT: GOT was out of date for " << (void*)BufferBegin
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000898 << " pointing at " << ((void**)MemMgr->getGOTBase())[idx]
899 << "\n");
Chris Lattner8907b4b2007-12-05 23:39:57 +0000900 ((void**)MemMgr->getGOTBase())[idx] = (void*)BufferBegin;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000901 }
902 }
903
Argyrios Kyrtzidis19fee412009-04-30 23:01:58 +0000904 // CurBufferPtr may have moved beyond FnEnd, due to memory allocation for
905 // global variables that were referenced in the relocations.
906 MemMgr->endFunctionBody(F.getFunction(), BufferBegin, CurBufferPtr);
Evan Cheng5788d1a2008-12-10 02:32:19 +0000907
908 if (CurBufferPtr == BufferEnd) {
Reid Kleckner10b4fc52009-07-23 21:46:56 +0000909 retryWithMoreMemory(F);
910 return true;
911 } else {
912 // Now that we've succeeded in emitting the function, reset the
913 // SizeEstimate back down to zero.
914 SizeEstimate = 0;
Evan Cheng5788d1a2008-12-10 02:32:19 +0000915 }
916
Nuno Lopescef75272008-10-21 11:42:16 +0000917 BufferBegin = CurBufferPtr = 0;
918 NumBytes += FnEnd-FnStart;
919
Evan Cheng55fc2802006-07-25 20:40:54 +0000920 // Invalidate the icache if necessary.
Chris Lattnerbc52cad2008-06-25 17:18:44 +0000921 sys::Memory::InvalidateInstructionCache(FnStart, FnEnd-FnStart);
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000922
Jeffrey Yasskindf5a7da2009-06-25 02:04:04 +0000923 TheJIT->NotifyFunctionEmitted(*F.getFunction(), FnStart, FnEnd-FnStart,
Jeffrey Yasskin32360a72009-07-16 21:07:26 +0000924 EmissionDetails);
Evan Cheng55fc2802006-07-25 20:40:54 +0000925
Nicolas Geoffray4eb37392010-04-14 22:06:37 +0000926 // Reset the previous debug location.
927 PrevDL = DebugLoc();
928
David Greenec9ec9932010-01-05 01:23:36 +0000929 DEBUG(dbgs() << "JIT: Finished CodeGen of [" << (void*)FnStart
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000930 << "] Function: " << F.getFunction()->getName()
931 << ": " << (FnEnd-FnStart) << " bytes of text, "
932 << Relocations.size() << " relocations\n");
Argyrios Kyrtzidisb3a847d2009-05-18 21:06:40 +0000933
Chris Lattner5be478f2004-11-20 03:46:14 +0000934 Relocations.clear();
Evan Cheng1606e8e2009-03-13 07:51:59 +0000935 ConstPoolAddresses.clear();
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +0000936
Evan Chengbc4707a2008-09-18 07:54:21 +0000937 // Mark code region readable and executable if it's not so already.
Jim Grosbachcce6c292008-10-03 16:17:20 +0000938 MemMgr->setMemoryExecutable();
Evan Chengbc4707a2008-09-18 07:54:21 +0000939
Bill Wendling69c128f2010-04-18 00:52:08 +0000940 DEBUG({
941 if (sys::hasDisassembler()) {
942 dbgs() << "JIT: Disassembled code:\n";
943 dbgs() << sys::disassembleBuffer(FnStart, FnEnd-FnStart,
944 (uintptr_t)FnStart);
945 } else {
946 dbgs() << "JIT: Binary code:\n";
947 uint8_t* q = FnStart;
948 for (int i = 0; q < FnEnd; q += 4, ++i) {
949 if (i == 4)
950 i = 0;
951 if (i == 0)
952 dbgs() << "JIT: " << (long)(q - FnStart) << ": ";
953 bool Done = false;
954 for (int j = 3; j >= 0; --j) {
955 if (q + j >= FnEnd)
956 Done = true;
957 else
958 dbgs() << (unsigned short)q[j];
959 }
960 if (Done)
961 break;
962 dbgs() << ' ';
963 if (i == 3)
964 dbgs() << '\n';
Evan Chenge7c35512008-11-12 08:22:43 +0000965 }
Bill Wendling69c128f2010-04-18 00:52:08 +0000966 dbgs()<< '\n';
Evan Chenga7916f52008-11-05 23:44:08 +0000967 }
Bill Wendling69c128f2010-04-18 00:52:08 +0000968 });
Chris Lattnerbbbfa992009-08-23 06:35:02 +0000969
Duncan Sands57b6e9e2010-05-02 15:36:26 +0000970 if (JITExceptionHandling || JITEmitDebugInfo) {
Nicolas Geoffraydc17ab22008-04-18 20:59:31 +0000971 uintptr_t ActualSize = 0;
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000972 SavedBufferBegin = BufferBegin;
973 SavedBufferEnd = BufferEnd;
974 SavedCurBufferPtr = CurBufferPtr;
Reid Kleckner27632172009-09-20 23:52:43 +0000975
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000976 BufferBegin = CurBufferPtr = MemMgr->startExceptionTable(F.getFunction(),
977 ActualSize);
978 BufferEnd = BufferBegin+ActualSize;
Jeffrey Yasskin1e861322009-10-20 18:13:21 +0000979 EmittedFunctions[F.getFunction()].ExceptionTable = BufferBegin;
Reid Kleckner27632172009-09-20 23:52:43 +0000980 uint8_t *EhStart;
981 uint8_t *FrameRegister = DE->EmitDwarfTable(F, *this, FnStart, FnEnd,
982 EhStart);
Chris Lattner0fdaa0b2008-03-07 20:05:43 +0000983 MemMgr->endExceptionTable(F.getFunction(), BufferBegin, CurBufferPtr,
984 FrameRegister);
Reid Kleckner27632172009-09-20 23:52:43 +0000985 uint8_t *EhEnd = CurBufferPtr;
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +0000986 BufferBegin = SavedBufferBegin;
987 BufferEnd = SavedBufferEnd;
988 CurBufferPtr = SavedCurBufferPtr;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000989
Duncan Sands57b6e9e2010-05-02 15:36:26 +0000990 if (JITExceptionHandling) {
Eric Christopher515c67e2011-03-04 23:37:39 +0000991 TheJIT->RegisterTable(F.getFunction(), FrameRegister);
Reid Kleckner27632172009-09-20 23:52:43 +0000992 }
993
994 if (JITEmitDebugInfo) {
995 DebugInfo I;
996 I.FnStart = FnStart;
997 I.FnEnd = FnEnd;
998 I.EhStart = EhStart;
999 I.EhEnd = EhEnd;
1000 DR->RegisterFunction(F.getFunction(), I);
1001 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001002 }
Evan Cheng252ddfb2008-09-02 08:14:01 +00001003
1004 if (MMI)
1005 MMI->EndFunction();
Eric Christopher116664a2009-11-12 03:12:18 +00001006
Chris Lattner43b429b2006-05-02 18:27:26 +00001007 return false;
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001008}
1009
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001010void JITEmitter::retryWithMoreMemory(MachineFunction &F) {
David Greenec9ec9932010-01-05 01:23:36 +00001011 DEBUG(dbgs() << "JIT: Ran out of space for native code. Reattempting.\n");
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001012 Relocations.clear(); // Clear the old relocations or we'll reapply them.
1013 ConstPoolAddresses.clear();
1014 ++NumRetries;
1015 deallocateMemForFunction(F.getFunction());
1016 // Try again with at least twice as much free space.
1017 SizeEstimate = (uintptr_t)(2 * (BufferEnd - BufferBegin));
Chris Lattner68feb222010-07-11 23:07:28 +00001018
1019 for (MachineFunction::iterator MBB = F.begin(), E = F.end(); MBB != E; ++MBB){
1020 if (MBB->hasAddressTaken())
1021 TheJIT->clearPointerToBasicBlock(MBB->getBasicBlock());
1022 }
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001023}
1024
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001025/// deallocateMemForFunction - Deallocate all memory for the specified
1026/// function body. Also drop any references the function has to stubs.
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001027/// May be called while the Function is being destroyed inside ~Value().
Reid Kleckner10b4fc52009-07-23 21:46:56 +00001028void JITEmitter::deallocateMemForFunction(const Function *F) {
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001029 ValueMap<const Function *, EmittedCode, EmittedFunctionConfig>::iterator
1030 Emitted = EmittedFunctions.find(F);
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001031 if (Emitted != EmittedFunctions.end()) {
1032 MemMgr->deallocateFunctionBody(Emitted->second.FunctionBody);
1033 MemMgr->deallocateExceptionTable(Emitted->second.ExceptionTable);
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001034 TheJIT->NotifyFreeingMachineCode(Emitted->second.Code);
1035
Jeffrey Yasskin1e861322009-10-20 18:13:21 +00001036 EmittedFunctions.erase(Emitted);
1037 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001038
Eric Christopher515c67e2011-03-04 23:37:39 +00001039 if(JITExceptionHandling) {
1040 TheJIT->DeregisterTable(F);
1041 }
Reid Kleckner27632172009-09-20 23:52:43 +00001042
1043 if (JITEmitDebugInfo) {
1044 DR->UnregisterFunction(F);
1045 }
Nate Begeman50cd6fd2009-03-05 06:34:37 +00001046}
1047
1048
Evan Cheng5788d1a2008-12-10 02:32:19 +00001049void* JITEmitter::allocateSpace(uintptr_t Size, unsigned Alignment) {
Nuno Lopescef75272008-10-21 11:42:16 +00001050 if (BufferBegin)
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001051 return JITCodeEmitter::allocateSpace(Size, Alignment);
Nuno Lopescef75272008-10-21 11:42:16 +00001052
1053 // create a new memory block if there is no active one.
1054 // care must be taken so that BufferBegin is invalidated when a
1055 // block is trimmed
1056 BufferBegin = CurBufferPtr = MemMgr->allocateSpace(Size, Alignment);
1057 BufferEnd = BufferBegin+Size;
1058 return CurBufferPtr;
1059}
1060
Jeffrey Yasskin489393d2009-07-08 21:59:57 +00001061void* JITEmitter::allocateGlobal(uintptr_t Size, unsigned Alignment) {
1062 // Delegate this call through the memory manager.
1063 return MemMgr->allocateGlobal(Size, Alignment);
1064}
1065
Chris Lattner166f2262004-11-22 22:00:25 +00001066void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001067 if (TheJIT->getJITInfo().hasCustomConstantPool())
Jim Grosbach8fe95352008-10-30 23:44:39 +00001068 return;
Evan Cheng47c01a02008-11-07 09:02:17 +00001069
Chris Lattnerfa77d432006-02-09 04:22:52 +00001070 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
Chris Lattner2c0a6a12003-11-30 04:23:21 +00001071 if (Constants.empty()) return;
1072
Evan Cheng1606e8e2009-03-13 07:51:59 +00001073 unsigned Size = GetConstantPoolSizeInBytes(MCP, TheJIT->getTargetData());
1074 unsigned Align = MCP->getConstantPoolAlignment();
Evan Cheng97b8c402008-04-12 00:22:01 +00001075 ConstantPoolBase = allocateSpace(Size, Align);
Chris Lattner239862c2006-02-09 04:49:59 +00001076 ConstantPool = MCP;
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001077
1078 if (ConstantPoolBase == 0) return; // Buffer overflow.
1079
David Greenec9ec9932010-01-05 01:23:36 +00001080 DEBUG(dbgs() << "JIT: Emitted constant pool at [" << ConstantPoolBase
Chris Lattnerbbbfa992009-08-23 06:35:02 +00001081 << "] (size: " << Size << ", alignment: " << Align << ")\n");
Evan Cheng97b8c402008-04-12 00:22:01 +00001082
Chris Lattner239862c2006-02-09 04:49:59 +00001083 // Initialize the memory for all of the constant pool entries.
Evan Cheng1606e8e2009-03-13 07:51:59 +00001084 unsigned Offset = 0;
Chris Lattner3029f922006-02-09 04:46:04 +00001085 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Evan Cheng1606e8e2009-03-13 07:51:59 +00001086 MachineConstantPoolEntry CPE = Constants[i];
1087 unsigned AlignMask = CPE.getAlignment() - 1;
1088 Offset = (Offset + AlignMask) & ~AlignMask;
1089
1090 uintptr_t CAddr = (uintptr_t)ConstantPoolBase + Offset;
1091 ConstPoolAddresses.push_back(CAddr);
1092 if (CPE.isMachineConstantPoolEntry()) {
Evan Chengcd5731d2006-09-12 20:59:59 +00001093 // FIXME: add support to lower machine constant pool values into bytes!
Chris Lattner75361b62010-04-07 22:58:41 +00001094 report_fatal_error("Initialize memory with machine specific constant pool"
Torok Edwin7d696d82009-07-11 13:10:19 +00001095 "entry has not been implemented!");
Evan Chengcd5731d2006-09-12 20:59:59 +00001096 }
Evan Cheng1606e8e2009-03-13 07:51:59 +00001097 TheJIT->InitializeMemory(CPE.Val.ConstVal, (void*)CAddr);
David Greenec9ec9932010-01-05 01:23:36 +00001098 DEBUG(dbgs() << "JIT: CP" << i << " at [0x";
1099 dbgs().write_hex(CAddr) << "]\n");
Evan Cheng1606e8e2009-03-13 07:51:59 +00001100
1101 const Type *Ty = CPE.Val.ConstVal->getType();
Duncan Sands777d2302009-05-09 07:06:46 +00001102 Offset += TheJIT->getTargetData()->getTypeAllocSize(Ty);
Chris Lattner1cc08382003-01-13 01:00:12 +00001103 }
1104}
1105
Nate Begeman37efe672006-04-22 18:53:45 +00001106void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001107 if (TheJIT->getJITInfo().hasCustomJumpTables())
1108 return;
Richard Osborne95da6052010-03-11 14:58:16 +00001109 if (MJTI->getEntryKind() == MachineJumpTableInfo::EK_Inline)
1110 return;
Evan Cheng47c01a02008-11-07 09:02:17 +00001111
Nate Begeman37efe672006-04-22 18:53:45 +00001112 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1113 if (JT.empty()) return;
Eric Christopher116664a2009-11-12 03:12:18 +00001114
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001115 unsigned NumEntries = 0;
Nate Begeman37efe672006-04-22 18:53:45 +00001116 for (unsigned i = 0, e = JT.size(); i != e; ++i)
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001117 NumEntries += JT[i].MBBs.size();
1118
Chris Lattner071c62f2010-01-25 23:26:13 +00001119 unsigned EntrySize = MJTI->getEntrySize(*TheJIT->getTargetData());
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001120
Nate Begeman37efe672006-04-22 18:53:45 +00001121 // Just allocate space for all the jump tables now. We will fix up the actual
1122 // MBB entries in the tables after we emit the code for each block, since then
1123 // we will know the final locations of the MBBs in memory.
1124 JumpTable = MJTI;
Chris Lattner071c62f2010-01-25 23:26:13 +00001125 JumpTableBase = allocateSpace(NumEntries * EntrySize,
1126 MJTI->getEntryAlignment(*TheJIT->getTargetData()));
Nate Begeman37efe672006-04-22 18:53:45 +00001127}
1128
Jim Laskeyb92767a2006-12-14 22:53:42 +00001129void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Evan Cheng47c01a02008-11-07 09:02:17 +00001130 if (TheJIT->getJITInfo().hasCustomJumpTables())
1131 return;
1132
Nate Begeman37efe672006-04-22 18:53:45 +00001133 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
Chris Lattnerf75f9be2006-05-02 23:22:24 +00001134 if (JT.empty() || JumpTableBase == 0) return;
Eric Christopher116664a2009-11-12 03:12:18 +00001135
Jim Grosbach124d0332011-03-16 01:21:55 +00001136
Chris Lattner13af11a2010-01-26 03:47:15 +00001137 switch (MJTI->getEntryKind()) {
Richard Osborne95da6052010-03-11 14:58:16 +00001138 case MachineJumpTableInfo::EK_Inline:
1139 return;
Chris Lattner13af11a2010-01-26 03:47:15 +00001140 case MachineJumpTableInfo::EK_BlockAddress: {
1141 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
1142 // .word LBB123
1143 assert(MJTI->getEntrySize(*TheJIT->getTargetData()) == sizeof(void*) &&
1144 "Cross JIT'ing?");
Jim Grosbach124d0332011-03-16 01:21:55 +00001145
Chris Lattner13af11a2010-01-26 03:47:15 +00001146 // For each jump table, map each target in the jump table to the address of
1147 // an emitted MachineBasicBlock.
1148 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
Jim Grosbach124d0332011-03-16 01:21:55 +00001149
Chris Lattner13af11a2010-01-26 03:47:15 +00001150 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1151 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1152 // Store the address of the basic block for this jump table slot in the
1153 // memory we allocated for the jump table in 'initJumpTableInfo'
1154 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
1155 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
1156 }
1157 break;
1158 }
Jim Grosbach124d0332011-03-16 01:21:55 +00001159
Chris Lattner85fe0782010-01-26 04:05:28 +00001160 case MachineJumpTableInfo::EK_Custom32:
Chris Lattner13af11a2010-01-26 03:47:15 +00001161 case MachineJumpTableInfo::EK_GPRel32BlockAddress:
1162 case MachineJumpTableInfo::EK_LabelDifference32: {
Chris Lattner071c62f2010-01-25 23:26:13 +00001163 assert(MJTI->getEntrySize(*TheJIT->getTargetData()) == 4&&"Cross JIT'ing?");
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001164 // For each jump table, place the offset from the beginning of the table
1165 // to the target address.
1166 int *SlotPtr = (int*)JumpTableBase;
Chris Lattner32ca55f2006-05-03 00:13:06 +00001167
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001168 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
1169 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
1170 // Store the offset of the basic block for this jump table slot in the
1171 // memory we allocated for the jump table in 'initJumpTableInfo'
Evan Cheng5788d1a2008-12-10 02:32:19 +00001172 uintptr_t Base = (uintptr_t)SlotPtr;
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001173 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) {
Evan Cheng5788d1a2008-12-10 02:32:19 +00001174 uintptr_t MBBAddr = getMachineBasicBlockAddress(MBBs[mi]);
Chris Lattner13af11a2010-01-26 03:47:15 +00001175 /// FIXME: USe EntryKind instead of magic "getPICJumpTableEntry" hook.
Evan Cheng2a3e08b2008-01-05 02:26:58 +00001176 *SlotPtr++ = TheJIT->getJITInfo().getPICJumpTableEntry(MBBAddr, Base);
1177 }
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001178 }
Chris Lattner13af11a2010-01-26 03:47:15 +00001179 break;
1180 }
Nate Begeman37efe672006-04-22 18:53:45 +00001181 }
1182}
1183
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001184void JITEmitter::startGVStub(const GlobalValue* GV,
Jeffrey Yasskin0261d792009-11-23 22:49:00 +00001185 unsigned StubSize, unsigned Alignment) {
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001186 SavedBufferBegin = BufferBegin;
1187 SavedBufferEnd = BufferEnd;
1188 SavedCurBufferPtr = CurBufferPtr;
Eric Christopher116664a2009-11-12 03:12:18 +00001189
Evan Chengce4a70b2008-11-08 08:02:53 +00001190 BufferBegin = CurBufferPtr = MemMgr->allocateStub(GV, StubSize, Alignment);
Chris Lattner43b429b2006-05-02 18:27:26 +00001191 BufferEnd = BufferBegin+StubSize+1;
Chris Lattner6125fdd2003-05-09 03:30:07 +00001192}
1193
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001194void JITEmitter::startGVStub(void *Buffer, unsigned StubSize) {
1195 SavedBufferBegin = BufferBegin;
1196 SavedBufferEnd = BufferEnd;
1197 SavedCurBufferPtr = CurBufferPtr;
Eric Christopher116664a2009-11-12 03:12:18 +00001198
Bruno Cardoso Lopes186c6702009-06-04 00:15:51 +00001199 BufferBegin = CurBufferPtr = (uint8_t *)Buffer;
Nate Begemand6b7a242009-02-18 08:31:02 +00001200 BufferEnd = BufferBegin+StubSize+1;
1201}
1202
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001203void JITEmitter::finishGVStub() {
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001204 assert(CurBufferPtr != BufferEnd && "Stub overflowed allocated space.");
Chris Lattner43b429b2006-05-02 18:27:26 +00001205 NumBytes += getCurrentPCOffset();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001206 BufferBegin = SavedBufferBegin;
1207 BufferEnd = SavedBufferEnd;
1208 CurBufferPtr = SavedCurBufferPtr;
1209}
1210
1211void *JITEmitter::allocIndirectGV(const GlobalValue *GV,
1212 const uint8_t *Buffer, size_t Size,
1213 unsigned Alignment) {
1214 uint8_t *IndGV = MemMgr->allocateStub(GV, Size, Alignment);
1215 memcpy(IndGV, Buffer, Size);
1216 return IndGV;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001217}
1218
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001219// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
1220// in the constant pool that was last emitted with the 'emitConstantPool'
1221// method.
1222//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001223uintptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Chris Lattner239862c2006-02-09 04:49:59 +00001224 assert(ConstantNum < ConstantPool->getConstants().size() &&
Misha Brukman3c944972005-04-22 04:08:30 +00001225 "Invalid ConstantPoolIndex!");
Evan Cheng1606e8e2009-03-13 07:51:59 +00001226 return ConstPoolAddresses[ConstantNum];
Chris Lattnerbba1b6d2003-06-01 23:24:36 +00001227}
1228
Nate Begeman37efe672006-04-22 18:53:45 +00001229// getJumpTableEntryAddress - Return the address of the JumpTable with index
1230// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
1231//
Evan Cheng5788d1a2008-12-10 02:32:19 +00001232uintptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Nate Begeman37efe672006-04-22 18:53:45 +00001233 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
1234 assert(Index < JT.size() && "Invalid jump table index!");
Eric Christopher116664a2009-11-12 03:12:18 +00001235
Chris Lattner071c62f2010-01-25 23:26:13 +00001236 unsigned EntrySize = JumpTable->getEntrySize(*TheJIT->getTargetData());
Eric Christopher116664a2009-11-12 03:12:18 +00001237
Chris Lattner071c62f2010-01-25 23:26:13 +00001238 unsigned Offset = 0;
Nate Begeman37efe672006-04-22 18:53:45 +00001239 for (unsigned i = 0; i < Index; ++i)
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001240 Offset += JT[i].MBBs.size();
Eric Christopher116664a2009-11-12 03:12:18 +00001241
Jim Laskeyacd80ac2006-12-14 19:17:33 +00001242 Offset *= EntrySize;
Eric Christopher116664a2009-11-12 03:12:18 +00001243
Evan Cheng5788d1a2008-12-10 02:32:19 +00001244 return (uintptr_t)((char *)JumpTableBase + Offset);
Nate Begeman37efe672006-04-22 18:53:45 +00001245}
1246
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001247void JITEmitter::EmittedFunctionConfig::onDelete(
1248 JITEmitter *Emitter, const Function *F) {
1249 Emitter->deallocateMemForFunction(F);
1250}
1251void JITEmitter::EmittedFunctionConfig::onRAUW(
1252 JITEmitter *, const Function*, const Function*) {
1253 llvm_unreachable("The JIT doesn't know how to handle a"
1254 " RAUW on a value it has emitted.");
1255}
1256
1257
Chris Lattnere993cc22006-05-11 23:08:08 +00001258//===----------------------------------------------------------------------===//
1259// Public interface to this file
1260//===----------------------------------------------------------------------===//
1261
Reid Kleckner27632172009-09-20 23:52:43 +00001262JITCodeEmitter *JIT::createEmitter(JIT &jit, JITMemoryManager *JMM,
1263 TargetMachine &tm) {
1264 return new JITEmitter(jit, JMM, tm);
Chris Lattnere993cc22006-05-11 23:08:08 +00001265}
1266
Chris Lattnere993cc22006-05-11 23:08:08 +00001267// getPointerToFunctionOrStub - If the specified function has been
1268// code-gen'd, return a pointer to the function. If not, compile it, or use
1269// a stub to implement lazy compilation if available.
1270//
1271void *JIT::getPointerToFunctionOrStub(Function *F) {
1272 // If we have already code generated the function, just return the address.
1273 if (void *Addr = getPointerToGlobalIfAvailable(F))
1274 return Addr;
Eric Christopher116664a2009-11-12 03:12:18 +00001275
Chris Lattnere7484012007-02-24 02:57:03 +00001276 // Get a stub if the target supports it.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001277 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Evan Chenga044dfc2008-08-20 00:28:12 +00001278 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001279 return JE->getJITResolver().getLazyFunctionStub(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001280}
1281
Nate Begemand6b7a242009-02-18 08:31:02 +00001282void JIT::updateFunctionStub(Function *F) {
1283 // Get the empty stub we generated earlier.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001284 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
Nate Begemand6b7a242009-02-18 08:31:02 +00001285 JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001286 void *Stub = JE->getJITResolver().getLazyFunctionStub(F);
1287 void *Addr = getPointerToGlobalIfAvailable(F);
Jeffrey Yasskinaad0d522009-12-17 21:35:29 +00001288 assert(Addr != Stub && "Function must have non-stub address to be updated.");
Nate Begemand6b7a242009-02-18 08:31:02 +00001289
1290 // Tell the target jit info to rewrite the stub at the specified address,
1291 // rather than creating a new one.
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001292 TargetJITInfo::StubLayout layout = getJITInfo().getStubLayout();
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001293 JE->startGVStub(Stub, layout.Size);
Jeffrey Yasskin108c8382009-11-23 23:35:19 +00001294 getJITInfo().emitFunctionStub(F, Addr, *getCodeEmitter());
Jeffrey Yasskin32d7e6e2009-12-15 22:42:46 +00001295 JE->finishGVStub();
Nate Begemand6b7a242009-02-18 08:31:02 +00001296}
1297
Chris Lattnere993cc22006-05-11 23:08:08 +00001298/// freeMachineCodeForFunction - release machine code memory for given Function.
1299///
1300void JIT::freeMachineCodeForFunction(Function *F) {
1301 // Delete translation for this from the ExecutionEngine, so it will get
1302 // retranslated next time it is used.
Jeffrey Yasskin7a9034c2009-10-27 00:03:05 +00001303 updateGlobalMapping(F, 0);
Chris Lattnere993cc22006-05-11 23:08:08 +00001304
1305 // Free the actual memory for the function body and related stuff.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001306 assert(isa<JITEmitter>(JCE) && "Unexpected MCE?");
1307 cast<JITEmitter>(JCE)->deallocateMemForFunction(F);
Chris Lattnere993cc22006-05-11 23:08:08 +00001308}