blob: 4c3b9fdb07b83046536286f54a4f512703dd3cba [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//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source 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"
Chris Lattner2c0a6a12003-11-30 04:23:21 +000017#include "llvm/Constant.h"
18#include "llvm/Module.h"
Chris Lattner5b3a4552005-03-17 15:38:16 +000019#include "llvm/Type.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000020#include "llvm/CodeGen/MachineCodeEmitter.h"
21#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000022#include "llvm/CodeGen/MachineConstantPool.h"
Nate Begeman37efe672006-04-22 18:53:45 +000023#include "llvm/CodeGen/MachineJumpTableInfo.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000024#include "llvm/CodeGen/MachineRelocation.h"
Nate Begeman37efe672006-04-22 18:53:45 +000025#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattner1cc08382003-01-13 01:00:12 +000026#include "llvm/Target/TargetData.h"
Chris Lattner5be478f2004-11-20 03:46:14 +000027#include "llvm/Target/TargetJITInfo.h"
Jim Laskeyacd80ac2006-12-14 19:17:33 +000028#include "llvm/Target/TargetMachine.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000029#include "llvm/Support/Debug.h"
Chris Lattnere7fd5532006-05-08 22:00:52 +000030#include "llvm/Support/MutexGuard.h"
Anton Korobeynikovfd58e6e2007-01-23 10:26:08 +000031#include "llvm/System/Disassembler.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000032#include "llvm/ADT/Statistic.h"
Reid Spencer52b0ba62004-09-11 04:31:03 +000033#include "llvm/System/Memory.h"
Andrew Lenhartha00269b2005-07-29 23:40:16 +000034#include <algorithm>
Chris Lattnerc19aade2003-12-08 08:06:28 +000035using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000036
Chris Lattner36343732006-12-19 22:43:32 +000037STATISTIC(NumBytes, "Number of bytes of machine code compiled");
38STATISTIC(NumRelos, "Number of relocations applied");
39static JIT *TheJIT = 0;
Chris Lattner54266522004-11-20 23:57:07 +000040
41//===----------------------------------------------------------------------===//
42// JITMemoryManager code.
43//
44namespace {
Chris Lattnere993cc22006-05-11 23:08:08 +000045 /// MemoryRangeHeader - For a range of memory, this is the header that we put
46 /// on the block of memory. It is carefully crafted to be one word of memory.
47 /// Allocated blocks have just this header, free'd blocks have FreeRangeHeader
48 /// which starts with this.
49 struct FreeRangeHeader;
50 struct MemoryRangeHeader {
51 /// ThisAllocated - This is true if this block is currently allocated. If
52 /// not, this can be converted to a FreeRangeHeader.
53 intptr_t ThisAllocated : 1;
54
55 /// PrevAllocated - Keep track of whether the block immediately before us is
56 /// allocated. If not, the word immediately before this header is the size
57 /// of the previous block.
58 intptr_t PrevAllocated : 1;
59
60 /// BlockSize - This is the size in bytes of this memory block,
61 /// including this header.
62 uintptr_t BlockSize : (sizeof(intptr_t)*8 - 2);
63
64
65 /// getBlockAfter - Return the memory block immediately after this one.
66 ///
67 MemoryRangeHeader &getBlockAfter() const {
68 return *(MemoryRangeHeader*)((char*)this+BlockSize);
69 }
70
71 /// getFreeBlockBefore - If the block before this one is free, return it,
72 /// otherwise return null.
73 FreeRangeHeader *getFreeBlockBefore() const {
74 if (PrevAllocated) return 0;
75 intptr_t PrevSize = ((intptr_t *)this)[-1];
76 return (FreeRangeHeader*)((char*)this-PrevSize);
77 }
78
Chris Lattner9f3d1ba2006-05-11 23:56:57 +000079 /// FreeBlock - Turn an allocated block into a free block, adjusting
Chris Lattnere993cc22006-05-11 23:08:08 +000080 /// bits in the object headers, and adding an end of region memory block.
Chris Lattner9f3d1ba2006-05-11 23:56:57 +000081 FreeRangeHeader *FreeBlock(FreeRangeHeader *FreeList);
Chris Lattnere993cc22006-05-11 23:08:08 +000082
83 /// TrimAllocationToSize - If this allocated block is significantly larger
84 /// than NewSize, split it into two pieces (where the former is NewSize
85 /// bytes, including the header), and add the new block to the free list.
86 FreeRangeHeader *TrimAllocationToSize(FreeRangeHeader *FreeList,
87 uint64_t NewSize);
88 };
89
90 /// FreeRangeHeader - For a memory block that isn't already allocated, this
91 /// keeps track of the current block and has a pointer to the next free block.
92 /// Free blocks are kept on a circularly linked list.
93 struct FreeRangeHeader : public MemoryRangeHeader {
94 FreeRangeHeader *Prev;
95 FreeRangeHeader *Next;
96
97 /// getMinBlockSize - Get the minimum size for a memory block. Blocks
98 /// smaller than this size cannot be created.
99 static unsigned getMinBlockSize() {
100 return sizeof(FreeRangeHeader)+sizeof(intptr_t);
101 }
102
103 /// SetEndOfBlockSizeMarker - The word at the end of every free block is
104 /// known to be the size of the free block. Set it for this block.
105 void SetEndOfBlockSizeMarker() {
106 void *EndOfBlock = (char*)this + BlockSize;
107 ((intptr_t *)EndOfBlock)[-1] = BlockSize;
108 }
109
110 FreeRangeHeader *RemoveFromFreeList() {
111 assert(Next->Prev == this && Prev->Next == this && "Freelist broken!");
112 Next->Prev = Prev;
113 return Prev->Next = Next;
114 }
115
116 void AddToFreeList(FreeRangeHeader *FreeList) {
117 Next = FreeList;
118 Prev = FreeList->Prev;
119 Prev->Next = this;
120 Next->Prev = this;
121 }
122
123 /// GrowBlock - The block after this block just got deallocated. Merge it
124 /// into the current block.
125 void GrowBlock(uintptr_t NewSize);
126
127 /// AllocateBlock - Mark this entire block allocated, updating freelists
128 /// etc. This returns a pointer to the circular free-list.
129 FreeRangeHeader *AllocateBlock();
130 };
131}
132
133
134/// AllocateBlock - Mark this entire block allocated, updating freelists
135/// etc. This returns a pointer to the circular free-list.
136FreeRangeHeader *FreeRangeHeader::AllocateBlock() {
137 assert(!ThisAllocated && !getBlockAfter().PrevAllocated &&
138 "Cannot allocate an allocated block!");
139 // Mark this block allocated.
140 ThisAllocated = 1;
141 getBlockAfter().PrevAllocated = 1;
142
143 // Remove it from the free list.
144 return RemoveFromFreeList();
145}
146
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000147/// FreeBlock - Turn an allocated block into a free block, adjusting
Chris Lattnere993cc22006-05-11 23:08:08 +0000148/// bits in the object headers, and adding an end of region memory block.
149/// If possible, coallesce this block with neighboring blocks. Return the
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000150/// FreeRangeHeader to allocate from.
151FreeRangeHeader *MemoryRangeHeader::FreeBlock(FreeRangeHeader *FreeList) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000152 MemoryRangeHeader *FollowingBlock = &getBlockAfter();
153 assert(ThisAllocated && "This block is already allocated!");
154 assert(FollowingBlock->PrevAllocated && "Flags out of sync!");
155
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000156 FreeRangeHeader *FreeListToReturn = FreeList;
157
Chris Lattnere993cc22006-05-11 23:08:08 +0000158 // If the block after this one is free, merge it into this block.
159 if (!FollowingBlock->ThisAllocated) {
160 FreeRangeHeader &FollowingFreeBlock = *(FreeRangeHeader *)FollowingBlock;
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000161 // "FreeList" always needs to be a valid free block. If we're about to
162 // coallesce with it, update our notion of what the free list is.
163 if (&FollowingFreeBlock == FreeList) {
164 FreeList = FollowingFreeBlock.Next;
165 FreeListToReturn = 0;
166 assert(&FollowingFreeBlock != FreeList && "No tombstone block?");
167 }
Chris Lattnere993cc22006-05-11 23:08:08 +0000168 FollowingFreeBlock.RemoveFromFreeList();
169
170 // Include the following block into this one.
171 BlockSize += FollowingFreeBlock.BlockSize;
172 FollowingBlock = &FollowingFreeBlock.getBlockAfter();
173
174 // Tell the block after the block we are coallescing that this block is
175 // allocated.
176 FollowingBlock->PrevAllocated = 1;
177 }
178
179 assert(FollowingBlock->ThisAllocated && "Missed coallescing?");
180
181 if (FreeRangeHeader *PrevFreeBlock = getFreeBlockBefore()) {
182 PrevFreeBlock->GrowBlock(PrevFreeBlock->BlockSize + BlockSize);
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000183 return FreeListToReturn ? FreeListToReturn : PrevFreeBlock;
Chris Lattnere993cc22006-05-11 23:08:08 +0000184 }
185
186 // Otherwise, mark this block free.
187 FreeRangeHeader &FreeBlock = *(FreeRangeHeader*)this;
188 FollowingBlock->PrevAllocated = 0;
189 FreeBlock.ThisAllocated = 0;
190
191 // Link this into the linked list of free blocks.
192 FreeBlock.AddToFreeList(FreeList);
193
194 // Add a marker at the end of the block, indicating the size of this free
195 // block.
196 FreeBlock.SetEndOfBlockSizeMarker();
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000197 return FreeListToReturn ? FreeListToReturn : &FreeBlock;
Chris Lattnere993cc22006-05-11 23:08:08 +0000198}
199
200/// GrowBlock - The block after this block just got deallocated. Merge it
201/// into the current block.
202void FreeRangeHeader::GrowBlock(uintptr_t NewSize) {
203 assert(NewSize > BlockSize && "Not growing block?");
204 BlockSize = NewSize;
205 SetEndOfBlockSizeMarker();
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000206 getBlockAfter().PrevAllocated = 0;
Chris Lattnere993cc22006-05-11 23:08:08 +0000207}
208
209/// TrimAllocationToSize - If this allocated block is significantly larger
210/// than NewSize, split it into two pieces (where the former is NewSize
211/// bytes, including the header), and add the new block to the free list.
212FreeRangeHeader *MemoryRangeHeader::
213TrimAllocationToSize(FreeRangeHeader *FreeList, uint64_t NewSize) {
214 assert(ThisAllocated && getBlockAfter().PrevAllocated &&
215 "Cannot deallocate part of an allocated block!");
216
217 // Round up size for alignment of header.
218 unsigned HeaderAlign = __alignof(FreeRangeHeader);
219 NewSize = (NewSize+ (HeaderAlign-1)) & ~(HeaderAlign-1);
220
221 // Size is now the size of the block we will remove from the start of the
222 // current block.
223 assert(NewSize <= BlockSize &&
224 "Allocating more space from this block than exists!");
225
226 // If splitting this block will cause the remainder to be too small, do not
227 // split the block.
228 if (BlockSize <= NewSize+FreeRangeHeader::getMinBlockSize())
229 return FreeList;
230
231 // Otherwise, we splice the required number of bytes out of this block, form
232 // a new block immediately after it, then mark this block allocated.
233 MemoryRangeHeader &FormerNextBlock = getBlockAfter();
234
235 // Change the size of this block.
236 BlockSize = NewSize;
237
238 // Get the new block we just sliced out and turn it into a free block.
239 FreeRangeHeader &NewNextBlock = (FreeRangeHeader &)getBlockAfter();
240 NewNextBlock.BlockSize = (char*)&FormerNextBlock - (char*)&NewNextBlock;
241 NewNextBlock.ThisAllocated = 0;
242 NewNextBlock.PrevAllocated = 1;
243 NewNextBlock.SetEndOfBlockSizeMarker();
244 FormerNextBlock.PrevAllocated = 0;
245 NewNextBlock.AddToFreeList(FreeList);
246 return &NewNextBlock;
247}
248
249
250namespace {
Chris Lattner688506d2003-08-14 18:35:27 +0000251 /// JITMemoryManager - Manage memory for the JIT code generation in a logical,
252 /// sane way. This splits a large block of MAP_NORESERVE'd memory into two
253 /// sections, one for function stubs, one for the functions themselves. We
254 /// have to do this because we may need to emit a function stub while in the
255 /// middle of emitting a function, and we don't know how large the function we
256 /// are emitting is. This never bothers to release the memory, because when
257 /// we are ready to destroy the JIT, the program exits.
258 class JITMemoryManager {
Chris Lattnere6fdcbf2006-05-03 00:54:49 +0000259 std::vector<sys::MemoryBlock> Blocks; // Memory blocks allocated by the JIT
Chris Lattnere993cc22006-05-11 23:08:08 +0000260 FreeRangeHeader *FreeMemoryList; // Circular list of free blocks.
261
262 // When emitting code into a memory block, this is the block.
263 MemoryRangeHeader *CurBlock;
264
265 unsigned char *CurStubPtr, *StubBase;
Chris Lattnera726c7f2006-05-02 21:44:14 +0000266 unsigned char *GOTBase; // Target Specific reserved memory
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000267
Chris Lattnere993cc22006-05-11 23:08:08 +0000268 // Centralize memory block allocation.
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000269 sys::MemoryBlock getNewMemoryBlock(unsigned size);
Chris Lattnere993cc22006-05-11 23:08:08 +0000270
271 std::map<const Function*, MemoryRangeHeader*> FunctionBlocks;
Chris Lattner688506d2003-08-14 18:35:27 +0000272 public:
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000273 JITMemoryManager(bool useGOT);
Reid Spencer4af3da62004-12-13 16:04:04 +0000274 ~JITMemoryManager();
Misha Brukmanf976c852005-04-21 22:55:34 +0000275
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000276 inline unsigned char *allocateStub(unsigned StubSize, unsigned Alignment);
Chris Lattnere993cc22006-05-11 23:08:08 +0000277
278 /// startFunctionBody - When a function starts, allocate a block of free
279 /// executable memory, returning a pointer to it and its actual size.
280 unsigned char *startFunctionBody(uintptr_t &ActualSize) {
281 CurBlock = FreeMemoryList;
282
283 // Allocate the entire memory block.
284 FreeMemoryList = FreeMemoryList->AllocateBlock();
285 ActualSize = CurBlock->BlockSize-sizeof(MemoryRangeHeader);
286 return (unsigned char *)(CurBlock+1);
287 }
288
289 /// endFunctionBody - The function F is now allocated, and takes the memory
290 /// in the range [FunctionStart,FunctionEnd).
291 void endFunctionBody(const Function *F, unsigned char *FunctionStart,
292 unsigned char *FunctionEnd) {
293 assert(FunctionEnd > FunctionStart);
294 assert(FunctionStart == (unsigned char *)(CurBlock+1) &&
295 "Mismatched function start/end!");
296
297 uintptr_t BlockSize = FunctionEnd - (unsigned char *)CurBlock;
298 FunctionBlocks[F] = CurBlock;
299
300 // Release the memory at the end of this block that isn't needed.
301 FreeMemoryList =CurBlock->TrimAllocationToSize(FreeMemoryList, BlockSize);
302 }
Chris Lattnera726c7f2006-05-02 21:44:14 +0000303
304 unsigned char *getGOTBase() const {
305 return GOTBase;
306 }
307 bool isManagingGOT() const {
308 return GOTBase != NULL;
309 }
Chris Lattnere993cc22006-05-11 23:08:08 +0000310
311 /// deallocateMemForFunction - Deallocate all memory for the specified
312 /// function body.
313 void deallocateMemForFunction(const Function *F) {
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000314 std::map<const Function*, MemoryRangeHeader*>::iterator
315 I = FunctionBlocks.find(F);
316 if (I == FunctionBlocks.end()) return;
Chris Lattnere993cc22006-05-11 23:08:08 +0000317
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000318 // Find the block that is allocated for this function.
319 MemoryRangeHeader *MemRange = I->second;
320 assert(MemRange->ThisAllocated && "Block isn't allocated!");
321
Chris Lattnera5f04192006-05-12 00:03:12 +0000322 // Fill the buffer with garbage!
323 DEBUG(memset(MemRange+1, 0xCD, MemRange->BlockSize-sizeof(*MemRange)));
324
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000325 // Free the memory.
326 FreeMemoryList = MemRange->FreeBlock(FreeMemoryList);
327
328 // Finally, remove this entry from FunctionBlocks.
329 FunctionBlocks.erase(I);
Chris Lattnere993cc22006-05-11 23:08:08 +0000330 }
Chris Lattner688506d2003-08-14 18:35:27 +0000331 };
332}
333
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000334JITMemoryManager::JITMemoryManager(bool useGOT) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000335 // Allocate a 16M block of memory for functions.
336 sys::MemoryBlock MemBlock = getNewMemoryBlock(16 << 20);
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000337
Chris Lattnere993cc22006-05-11 23:08:08 +0000338 unsigned char *MemBase = reinterpret_cast<unsigned char*>(MemBlock.base());
Chris Lattner281a6012005-01-10 18:23:22 +0000339
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000340 // Allocate stubs backwards from the base, allocate functions forward
341 // from the base.
Chris Lattnere993cc22006-05-11 23:08:08 +0000342 StubBase = MemBase;
343 CurStubPtr = MemBase + 512*1024; // Use 512k for stubs, working backwards.
344
345 // We set up the memory chunk with 4 mem regions, like this:
346 // [ START
347 // [ Free #0 ] -> Large space to allocate functions from.
348 // [ Allocated #1 ] -> Tiny space to separate regions.
349 // [ Free #2 ] -> Tiny space so there is always at least 1 free block.
350 // [ Allocated #3 ] -> Tiny space to prevent looking past end of block.
351 // END ]
352 //
353 // The last three blocks are never deallocated or touched.
354
355 // Add MemoryRangeHeader to the end of the memory region, indicating that
356 // the space after the block of memory is allocated. This is block #3.
357 MemoryRangeHeader *Mem3 = (MemoryRangeHeader*)(MemBase+MemBlock.size())-1;
358 Mem3->ThisAllocated = 1;
359 Mem3->PrevAllocated = 0;
360 Mem3->BlockSize = 0;
361
362 /// Add a tiny free region so that the free list always has one entry.
363 FreeRangeHeader *Mem2 =
364 (FreeRangeHeader *)(((char*)Mem3)-FreeRangeHeader::getMinBlockSize());
365 Mem2->ThisAllocated = 0;
366 Mem2->PrevAllocated = 1;
367 Mem2->BlockSize = FreeRangeHeader::getMinBlockSize();
368 Mem2->SetEndOfBlockSizeMarker();
369 Mem2->Prev = Mem2; // Mem2 *is* the free list for now.
370 Mem2->Next = Mem2;
371
372 /// Add a tiny allocated region so that Mem2 is never coallesced away.
373 MemoryRangeHeader *Mem1 = (MemoryRangeHeader*)Mem2-1;
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000374 Mem1->ThisAllocated = 1;
375 Mem1->PrevAllocated = 0;
376 Mem1->BlockSize = (char*)Mem2 - (char*)Mem1;
Chris Lattnere993cc22006-05-11 23:08:08 +0000377
378 // Add a FreeRangeHeader to the start of the function body region, indicating
379 // that the space is free. Mark the previous block allocated so we never look
380 // at it.
381 FreeRangeHeader *Mem0 = (FreeRangeHeader*)CurStubPtr;
382 Mem0->ThisAllocated = 0;
383 Mem0->PrevAllocated = 1;
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000384 Mem0->BlockSize = (char*)Mem1-(char*)Mem0;
Chris Lattnere993cc22006-05-11 23:08:08 +0000385 Mem0->SetEndOfBlockSizeMarker();
386 Mem0->AddToFreeList(Mem2);
387
388 // Start out with the freelist pointing to Mem0.
389 FreeMemoryList = Mem0;
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000390
Chris Lattnerf5d438c2006-05-02 21:57:51 +0000391 // Allocate the GOT.
Andrew Lenharth2b3b89c2005-08-01 17:35:40 +0000392 GOTBase = NULL;
Chris Lattnerbbea1242006-05-12 18:10:12 +0000393 if (useGOT) GOTBase = new unsigned char[sizeof(void*) * 8192];
Chris Lattner688506d2003-08-14 18:35:27 +0000394}
395
Reid Spencer4af3da62004-12-13 16:04:04 +0000396JITMemoryManager::~JITMemoryManager() {
Chris Lattnere6fdcbf2006-05-03 00:54:49 +0000397 for (unsigned i = 0, e = Blocks.size(); i != e; ++i)
398 sys::Memory::ReleaseRWX(Blocks[i]);
Chris Lattnerbbea1242006-05-12 18:10:12 +0000399
400 delete[] GOTBase;
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000401 Blocks.clear();
Reid Spencer4af3da62004-12-13 16:04:04 +0000402}
403
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000404unsigned char *JITMemoryManager::allocateStub(unsigned StubSize,
405 unsigned Alignment) {
Chris Lattner688506d2003-08-14 18:35:27 +0000406 CurStubPtr -= StubSize;
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000407 CurStubPtr = (unsigned char*)(((intptr_t)CurStubPtr) &
408 ~(intptr_t)(Alignment-1));
Chris Lattnere993cc22006-05-11 23:08:08 +0000409 if (CurStubPtr < StubBase) {
Chris Lattnera726c7f2006-05-02 21:44:14 +0000410 // FIXME: allocate a new block
Bill Wendling832171c2006-12-07 20:04:42 +0000411 cerr << "JIT ran out of memory for function stubs!\n";
Chris Lattner688506d2003-08-14 18:35:27 +0000412 abort();
413 }
414 return CurStubPtr;
415}
416
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000417sys::MemoryBlock JITMemoryManager::getNewMemoryBlock(unsigned size) {
Chris Lattnerc1780d22006-07-07 17:31:41 +0000418 // Allocate a new block close to the last one.
419 const sys::MemoryBlock *BOld = Blocks.empty() ? 0 : &Blocks.front();
420 std::string ErrMsg;
421 sys::MemoryBlock B = sys::Memory::AllocateRWX(size, BOld, &ErrMsg);
422 if (B.base() == 0) {
Bill Wendling832171c2006-12-07 20:04:42 +0000423 cerr << "Allocation failed when allocating new memory in the JIT\n";
424 cerr << ErrMsg << "\n";
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000425 abort();
426 }
Chris Lattnerc1780d22006-07-07 17:31:41 +0000427 Blocks.push_back(B);
428 return B;
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000429}
430
Chris Lattner54266522004-11-20 23:57:07 +0000431//===----------------------------------------------------------------------===//
432// JIT lazy compilation code.
433//
434namespace {
Reid Spenceree448632005-07-12 15:51:55 +0000435 class JITResolverState {
436 private:
437 /// FunctionToStubMap - Keep track of the stub created for a particular
438 /// function so that we can reuse them if necessary.
439 std::map<Function*, void*> FunctionToStubMap;
440
441 /// StubToFunctionMap - Keep track of the function that each stub
442 /// corresponds to.
443 std::map<void*, Function*> StubToFunctionMap;
Jeff Cohen00b168892005-07-27 06:12:32 +0000444
Reid Spenceree448632005-07-12 15:51:55 +0000445 public:
446 std::map<Function*, void*>& getFunctionToStubMap(const MutexGuard& locked) {
447 assert(locked.holds(TheJIT->lock));
448 return FunctionToStubMap;
449 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000450
Reid Spenceree448632005-07-12 15:51:55 +0000451 std::map<void*, Function*>& getStubToFunctionMap(const MutexGuard& locked) {
452 assert(locked.holds(TheJIT->lock));
453 return StubToFunctionMap;
454 }
455 };
Jeff Cohen00b168892005-07-27 06:12:32 +0000456
Chris Lattner54266522004-11-20 23:57:07 +0000457 /// JITResolver - Keep track of, and resolve, call sites for functions that
458 /// have not yet been compiled.
459 class JITResolver {
Chris Lattner5e225582004-11-21 03:37:42 +0000460 /// MCE - The MachineCodeEmitter to use to emit stubs with.
Chris Lattner54266522004-11-20 23:57:07 +0000461 MachineCodeEmitter &MCE;
462
Chris Lattner5e225582004-11-21 03:37:42 +0000463 /// LazyResolverFn - The target lazy resolver function that we actually
464 /// rewrite instructions to use.
465 TargetJITInfo::LazyResolverFn LazyResolverFn;
466
Reid Spenceree448632005-07-12 15:51:55 +0000467 JITResolverState state;
Chris Lattner54266522004-11-20 23:57:07 +0000468
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000469 /// ExternalFnToStubMap - This is the equivalent of FunctionToStubMap for
470 /// external functions.
471 std::map<void*, void*> ExternalFnToStubMap;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000472
473 //map addresses to indexes in the GOT
474 std::map<void*, unsigned> revGOTMap;
475 unsigned nextGOTIndex;
476
Chris Lattner54266522004-11-20 23:57:07 +0000477 public:
Andrew Lenharth6a974612005-07-28 12:44:13 +0000478 JITResolver(MachineCodeEmitter &mce) : MCE(mce), nextGOTIndex(0) {
Chris Lattner5e225582004-11-21 03:37:42 +0000479 LazyResolverFn =
480 TheJIT->getJITInfo().getLazyResolverFunction(JITCompilerFn);
481 }
Chris Lattner54266522004-11-20 23:57:07 +0000482
483 /// getFunctionStub - This returns a pointer to a function stub, creating
484 /// one on demand as needed.
485 void *getFunctionStub(Function *F);
486
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000487 /// getExternalFunctionStub - Return a stub for the function at the
488 /// specified address, created lazily on demand.
489 void *getExternalFunctionStub(void *FnAddr);
490
Chris Lattner5e225582004-11-21 03:37:42 +0000491 /// AddCallbackAtLocation - If the target is capable of rewriting an
492 /// instruction without the use of a stub, record the location of the use so
493 /// we know which function is being used at the location.
494 void *AddCallbackAtLocation(Function *F, void *Location) {
Reid Spenceree448632005-07-12 15:51:55 +0000495 MutexGuard locked(TheJIT->lock);
Chris Lattner5e225582004-11-21 03:37:42 +0000496 /// Get the target-specific JIT resolver function.
Reid Spenceree448632005-07-12 15:51:55 +0000497 state.getStubToFunctionMap(locked)[Location] = F;
Chris Lattner870286a2006-06-01 17:29:22 +0000498 return (void*)(intptr_t)LazyResolverFn;
Chris Lattner5e225582004-11-21 03:37:42 +0000499 }
500
Andrew Lenharth6a974612005-07-28 12:44:13 +0000501 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
502 /// and address. This function only manages slots, it does not manage the
503 /// contents of the slots or the memory associated with the GOT.
504 unsigned getGOTIndexForAddr(void* addr);
505
Chris Lattner54266522004-11-20 23:57:07 +0000506 /// JITCompilerFn - This function is called to resolve a stub to a compiled
507 /// address. If the LLVM Function corresponding to the stub has not yet
508 /// been compiled, this function compiles it first.
509 static void *JITCompilerFn(void *Stub);
510 };
511}
512
513/// getJITResolver - This function returns the one instance of the JIT resolver.
514///
515static JITResolver &getJITResolver(MachineCodeEmitter *MCE = 0) {
516 static JITResolver TheJITResolver(*MCE);
517 return TheJITResolver;
518}
519
Evan Cheng55b50532006-07-27 06:33:55 +0000520#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
521 defined(__APPLE__)
522extern "C" void sys_icache_invalidate(const void *Addr, size_t len);
523#endif
524
525/// synchronizeICache - On some targets, the JIT emitted code must be
526/// explicitly refetched to ensure correct execution.
527static void synchronizeICache(const void *Addr, size_t len) {
528#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
529 defined(__APPLE__)
Jim Laskey2e9f3682006-07-27 13:40:34 +0000530 sys_icache_invalidate(Addr, len);
Evan Cheng55b50532006-07-27 06:33:55 +0000531#endif
532}
533
Chris Lattner54266522004-11-20 23:57:07 +0000534/// getFunctionStub - This returns a pointer to a function stub, creating
535/// one on demand as needed.
536void *JITResolver::getFunctionStub(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000537 MutexGuard locked(TheJIT->lock);
538
Chris Lattner54266522004-11-20 23:57:07 +0000539 // If we already have a stub for this function, recycle it.
Reid Spenceree448632005-07-12 15:51:55 +0000540 void *&Stub = state.getFunctionToStubMap(locked)[F];
Chris Lattner54266522004-11-20 23:57:07 +0000541 if (Stub) return Stub;
542
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000543 // Call the lazy resolver function unless we already KNOW it is an external
544 // function, in which case we just skip the lazy resolution step.
Chris Lattner870286a2006-06-01 17:29:22 +0000545 void *Actual = (void*)(intptr_t)LazyResolverFn;
Chris Lattnerc6336272006-09-15 04:56:11 +0000546 if (F->isExternal() && !F->hasNotBeenReadFromBytecode())
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000547 Actual = TheJIT->getPointerToFunction(F);
Misha Brukmanf976c852005-04-21 22:55:34 +0000548
Chris Lattner54266522004-11-20 23:57:07 +0000549 // Otherwise, codegen a new stub. For now, the stub will call the lazy
550 // resolver function.
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000551 Stub = TheJIT->getJITInfo().emitFunctionStub(Actual, MCE);
552
Chris Lattner870286a2006-06-01 17:29:22 +0000553 if (Actual != (void*)(intptr_t)LazyResolverFn) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000554 // If we are getting the stub for an external function, we really want the
555 // address of the stub in the GlobalAddressMap for the JIT, not the address
556 // of the external function.
557 TheJIT->updateGlobalMapping(F, Stub);
558 }
Chris Lattner54266522004-11-20 23:57:07 +0000559
Evan Cheng55fc2802006-07-25 20:40:54 +0000560 // Invalidate the icache if necessary.
Evan Cheng55b50532006-07-27 06:33:55 +0000561 synchronizeICache(Stub, MCE.getCurrentPCValue()-(intptr_t)Stub);
Evan Cheng55fc2802006-07-25 20:40:54 +0000562
Bill Wendling832171c2006-12-07 20:04:42 +0000563 DOUT << "JIT: Stub emitted at [" << Stub << "] for function '"
564 << F->getName() << "'\n";
Chris Lattnercb479412004-11-21 03:44:32 +0000565
Chris Lattner54266522004-11-20 23:57:07 +0000566 // Finally, keep track of the stub-to-Function mapping so that the
567 // JITCompilerFn knows which function to compile!
Reid Spenceree448632005-07-12 15:51:55 +0000568 state.getStubToFunctionMap(locked)[Stub] = F;
Chris Lattner54266522004-11-20 23:57:07 +0000569 return Stub;
570}
571
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000572/// getExternalFunctionStub - Return a stub for the function at the
573/// specified address, created lazily on demand.
574void *JITResolver::getExternalFunctionStub(void *FnAddr) {
575 // If we already have a stub for this function, recycle it.
576 void *&Stub = ExternalFnToStubMap[FnAddr];
577 if (Stub) return Stub;
578
579 Stub = TheJIT->getJITInfo().emitFunctionStub(FnAddr, MCE);
Evan Cheng55fc2802006-07-25 20:40:54 +0000580
581 // Invalidate the icache if necessary.
Evan Cheng55b50532006-07-27 06:33:55 +0000582 synchronizeICache(Stub, MCE.getCurrentPCValue()-(intptr_t)Stub);
Evan Cheng55fc2802006-07-25 20:40:54 +0000583
Bill Wendling832171c2006-12-07 20:04:42 +0000584 DOUT << "JIT: Stub emitted at [" << Stub
585 << "] for external function at '" << FnAddr << "'\n";
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000586 return Stub;
587}
588
Andrew Lenharth6a974612005-07-28 12:44:13 +0000589unsigned JITResolver::getGOTIndexForAddr(void* addr) {
590 unsigned idx = revGOTMap[addr];
591 if (!idx) {
592 idx = ++nextGOTIndex;
593 revGOTMap[addr] = idx;
Bill Wendling832171c2006-12-07 20:04:42 +0000594 DOUT << "Adding GOT entry " << idx
595 << " for addr " << addr << "\n";
Andrew Lenharth6a974612005-07-28 12:44:13 +0000596 // ((void**)MemMgr.getGOTBase())[idx] = addr;
597 }
598 return idx;
599}
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000600
Chris Lattner54266522004-11-20 23:57:07 +0000601/// JITCompilerFn - This function is called when a lazy compilation stub has
602/// been entered. It looks up which function this stub corresponds to, compiles
603/// it if necessary, then returns the resultant function pointer.
604void *JITResolver::JITCompilerFn(void *Stub) {
605 JITResolver &JR = getJITResolver();
Misha Brukmanf976c852005-04-21 22:55:34 +0000606
Reid Spenceree448632005-07-12 15:51:55 +0000607 MutexGuard locked(TheJIT->lock);
608
Chris Lattner54266522004-11-20 23:57:07 +0000609 // The address given to us for the stub may not be exactly right, it might be
610 // a little bit after the stub. As such, use upper_bound to find it.
611 std::map<void*, Function*>::iterator I =
Reid Spenceree448632005-07-12 15:51:55 +0000612 JR.state.getStubToFunctionMap(locked).upper_bound(Stub);
Chris Lattner21998772006-01-07 06:20:51 +0000613 assert(I != JR.state.getStubToFunctionMap(locked).begin() &&
614 "This is not a known stub!");
Chris Lattner54266522004-11-20 23:57:07 +0000615 Function *F = (--I)->second;
616
Chris Lattner9cab56d2006-11-09 19:32:13 +0000617 // If disabled, emit a useful error message and abort.
618 if (TheJIT->isLazyCompilationDisabled()) {
Bill Wendling832171c2006-12-07 20:04:42 +0000619 cerr << "LLVM JIT requested to do lazy compilation of function '"
620 << F->getName() << "' when lazy compiles are disabled!\n";
Chris Lattner9cab56d2006-11-09 19:32:13 +0000621 abort();
622 }
623
Reid Spenceree448632005-07-12 15:51:55 +0000624 // We might like to remove the stub from the StubToFunction map.
625 // We can't do that! Multiple threads could be stuck, waiting to acquire the
626 // lock above. As soon as the 1st function finishes compiling the function,
Chris Lattner21998772006-01-07 06:20:51 +0000627 // the next one will be released, and needs to be able to find the function it
628 // needs to call.
Reid Spenceree448632005-07-12 15:51:55 +0000629 //JR.state.getStubToFunctionMap(locked).erase(I);
Chris Lattner54266522004-11-20 23:57:07 +0000630
Bill Wendling832171c2006-12-07 20:04:42 +0000631 DOUT << "JIT: Lazily resolving function '" << F->getName()
632 << "' In stub ptr = " << Stub << " actual ptr = "
633 << I->first << "\n";
Chris Lattner54266522004-11-20 23:57:07 +0000634
635 void *Result = TheJIT->getPointerToFunction(F);
636
637 // We don't need to reuse this stub in the future, as F is now compiled.
Reid Spenceree448632005-07-12 15:51:55 +0000638 JR.state.getFunctionToStubMap(locked).erase(F);
Chris Lattner54266522004-11-20 23:57:07 +0000639
640 // FIXME: We could rewrite all references to this stub if we knew them.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000641
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000642 // What we will do is set the compiled function address to map to the
643 // same GOT entry as the stub so that later clients may update the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000644 // if they see it still using the stub address.
645 // Note: this is done so the Resolver doesn't have to manage GOT memory
646 // Do this without allocating map space if the target isn't using a GOT
647 if(JR.revGOTMap.find(Stub) != JR.revGOTMap.end())
648 JR.revGOTMap[Result] = JR.revGOTMap[Stub];
649
Chris Lattner54266522004-11-20 23:57:07 +0000650 return Result;
651}
Chris Lattner688506d2003-08-14 18:35:27 +0000652
653
Chris Lattner54266522004-11-20 23:57:07 +0000654//===----------------------------------------------------------------------===//
Chris Lattner166f2262004-11-22 22:00:25 +0000655// JITEmitter code.
Chris Lattner54266522004-11-20 23:57:07 +0000656//
Chris Lattner688506d2003-08-14 18:35:27 +0000657namespace {
Chris Lattner166f2262004-11-22 22:00:25 +0000658 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
659 /// used to output functions to memory for execution.
660 class JITEmitter : public MachineCodeEmitter {
Chris Lattner688506d2003-08-14 18:35:27 +0000661 JITMemoryManager MemMgr;
662
Chris Lattner6125fdd2003-05-09 03:30:07 +0000663 // When outputting a function stub in the context of some other function, we
Chris Lattner43b429b2006-05-02 18:27:26 +0000664 // save BufferBegin/BufferEnd/CurBufferPtr here.
665 unsigned char *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000666
Chris Lattner5be478f2004-11-20 03:46:14 +0000667 /// Relocations - These are the relocations that the function needs, as
668 /// emitted.
669 std::vector<MachineRelocation> Relocations;
Chris Lattnerb4432f32006-05-03 17:10:41 +0000670
671 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
672 /// It is filled in by the StartMachineBasicBlock callback and queried by
673 /// the getMachineBasicBlockAddress callback.
674 std::vector<intptr_t> MBBLocations;
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000675
Chris Lattner239862c2006-02-09 04:49:59 +0000676 /// ConstantPool - The constant pool for the current function.
677 ///
678 MachineConstantPool *ConstantPool;
679
680 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
681 ///
682 void *ConstantPoolBase;
Nate Begeman37efe672006-04-22 18:53:45 +0000683
Nate Begeman019f8512006-09-10 23:03:44 +0000684 /// JumpTable - The jump tables for the current function.
Nate Begeman37efe672006-04-22 18:53:45 +0000685 ///
686 MachineJumpTableInfo *JumpTable;
687
688 /// JumpTableBase - A pointer to the first entry in the jump table.
689 ///
690 void *JumpTableBase;
691public:
Chris Lattner239862c2006-02-09 04:49:59 +0000692 JITEmitter(JIT &jit) : MemMgr(jit.getJITInfo().needsGOT()) {
Jeff Cohen00b168892005-07-27 06:12:32 +0000693 TheJIT = &jit;
Bill Wendling832171c2006-12-07 20:04:42 +0000694 if (MemMgr.isManagingGOT()) DOUT << "JIT is managing a GOT\n";
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000695 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000696
697 virtual void startFunction(MachineFunction &F);
Chris Lattner43b429b2006-05-02 18:27:26 +0000698 virtual bool finishFunction(MachineFunction &F);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000699
700 void emitConstantPool(MachineConstantPool *MCP);
701 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
Jim Laskeyb92767a2006-12-14 22:53:42 +0000702 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000703
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000704 virtual void startFunctionStub(unsigned StubSize, unsigned Alignment = 1);
Chris Lattner54266522004-11-20 23:57:07 +0000705 virtual void* finishFunctionStub(const Function *F);
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000706
Chris Lattner5be478f2004-11-20 03:46:14 +0000707 virtual void addRelocation(const MachineRelocation &MR) {
708 Relocations.push_back(MR);
709 }
Chris Lattnerb4432f32006-05-03 17:10:41 +0000710
711 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
712 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
713 MBBLocations.resize((MBB->getNumber()+1)*2);
714 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
715 }
Chris Lattner5be478f2004-11-20 03:46:14 +0000716
Chris Lattnerb4432f32006-05-03 17:10:41 +0000717 virtual intptr_t getConstantPoolEntryAddress(unsigned Entry) const;
718 virtual intptr_t getJumpTableEntryAddress(unsigned Entry) const;
719
720 virtual intptr_t getMachineBasicBlockAddress(MachineBasicBlock *MBB) const {
721 assert(MBBLocations.size() > (unsigned)MBB->getNumber() &&
722 MBBLocations[MBB->getNumber()] && "MBB not emitted!");
723 return MBBLocations[MBB->getNumber()];
724 }
725
Chris Lattnere993cc22006-05-11 23:08:08 +0000726 /// deallocateMemForFunction - Deallocate all memory for the specified
727 /// function body.
728 void deallocateMemForFunction(Function *F) {
729 MemMgr.deallocateMemForFunction(F);
730 }
Chris Lattner54266522004-11-20 23:57:07 +0000731 private:
Chris Lattner5e225582004-11-21 03:37:42 +0000732 void *getPointerToGlobal(GlobalValue *GV, void *Reference, bool NoNeedStub);
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000733 };
734}
735
Chris Lattner166f2262004-11-22 22:00:25 +0000736void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
737 bool DoesntNeedStub) {
Chris Lattner54266522004-11-20 23:57:07 +0000738 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) {
739 /// FIXME: If we straightened things out, this could actually emit the
740 /// global immediately instead of queuing it for codegen later!
Chris Lattner54266522004-11-20 23:57:07 +0000741 return TheJIT->getOrEmitGlobalVariable(GV);
742 }
743
744 // If we have already compiled the function, return a pointer to its body.
745 Function *F = cast<Function>(V);
746 void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
747 if (ResultPtr) return ResultPtr;
748
Chris Lattnerc6336272006-09-15 04:56:11 +0000749 if (F->isExternal() && !F->hasNotBeenReadFromBytecode()) {
Chris Lattner54266522004-11-20 23:57:07 +0000750 // If this is an external function pointer, we can force the JIT to
751 // 'compile' it, which really just adds it to the map.
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000752 if (DoesntNeedStub)
753 return TheJIT->getPointerToFunction(F);
754
755 return getJITResolver(this).getFunctionStub(F);
Chris Lattner54266522004-11-20 23:57:07 +0000756 }
757
Chris Lattner5e225582004-11-21 03:37:42 +0000758 // Okay, the function has not been compiled yet, if the target callback
759 // mechanism is capable of rewriting the instruction directly, prefer to do
760 // that instead of emitting a stub.
761 if (DoesntNeedStub)
762 return getJITResolver(this).AddCallbackAtLocation(F, Reference);
763
Chris Lattner54266522004-11-20 23:57:07 +0000764 // Otherwise, we have to emit a lazy resolving stub.
765 return getJITResolver(this).getFunctionStub(F);
766}
767
Chris Lattner166f2262004-11-22 22:00:25 +0000768void JITEmitter::startFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000769 uintptr_t ActualSize;
770 BufferBegin = CurBufferPtr = MemMgr.startFunctionBody(ActualSize);
771 BufferEnd = BufferBegin+ActualSize;
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000772
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000773 // Ensure the constant pool/jump table info is at least 4-byte aligned.
774 emitAlignment(16);
775
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000776 emitConstantPool(F.getConstantPool());
777 initJumpTableInfo(F.getJumpTableInfo());
778
779 // About to start emitting the machine code for the function.
Chris Lattner0eb4d6b2006-05-03 01:03:20 +0000780 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000781 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Evan Cheng55fc2802006-07-25 20:40:54 +0000782
Chris Lattnerb4432f32006-05-03 17:10:41 +0000783 MBBLocations.clear();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000784}
785
Chris Lattner43b429b2006-05-02 18:27:26 +0000786bool JITEmitter::finishFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000787 if (CurBufferPtr == BufferEnd) {
788 // FIXME: Allocate more space, then try again.
Bill Wendling832171c2006-12-07 20:04:42 +0000789 cerr << "JIT: Ran out of space for generated machine code!\n";
Chris Lattnere993cc22006-05-11 23:08:08 +0000790 abort();
791 }
792
Jim Laskeyb92767a2006-12-14 22:53:42 +0000793 emitJumpTableInfo(F.getJumpTableInfo());
Chris Lattnerb4432f32006-05-03 17:10:41 +0000794
Chris Lattnera8279532006-06-16 18:09:26 +0000795 // FnStart is the start of the text, not the start of the constant pool and
796 // other per-function data.
797 unsigned char *FnStart =
798 (unsigned char *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
799 unsigned char *FnEnd = CurBufferPtr;
800
801 MemMgr.endFunctionBody(F.getFunction(), BufferBegin, FnEnd);
802 NumBytes += FnEnd-FnStart;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000803
Chris Lattner5be478f2004-11-20 03:46:14 +0000804 if (!Relocations.empty()) {
Chris Lattnere884dc22005-07-20 16:29:20 +0000805 NumRelos += Relocations.size();
806
Chris Lattner5be478f2004-11-20 03:46:14 +0000807 // Resolve the relocations to concrete pointers.
808 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
809 MachineRelocation &MR = Relocations[i];
810 void *ResultPtr;
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000811 if (MR.isString()) {
Chris Lattner5be478f2004-11-20 03:46:14 +0000812 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getString());
Misha Brukmanf976c852005-04-21 22:55:34 +0000813
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000814 // If the target REALLY wants a stub for this function, emit it now.
815 if (!MR.doesntNeedFunctionStub())
816 ResultPtr = getJITResolver(this).getExternalFunctionStub(ResultPtr);
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000817 } else if (MR.isGlobalValue()) {
Chris Lattner5e225582004-11-21 03:37:42 +0000818 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
Chris Lattner43b429b2006-05-02 18:27:26 +0000819 BufferBegin+MR.getMachineCodeOffset(),
Chris Lattner5e225582004-11-21 03:37:42 +0000820 MR.doesntNeedFunctionStub());
Evan Chengf141cc42006-07-27 18:21:10 +0000821 } else if (MR.isBasicBlock()) {
822 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000823 } else if (MR.isConstantPoolIndex()) {
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000824 ResultPtr=(void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
Evan Cheng52b510b2006-06-23 01:02:37 +0000825 } else {
826 assert(MR.isJumpTableIndex());
827 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000828 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000829
Chris Lattner5be478f2004-11-20 03:46:14 +0000830 MR.setResultPointer(ResultPtr);
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000831
Andrew Lenharth6a974612005-07-28 12:44:13 +0000832 // if we are managing the GOT and the relocation wants an index,
833 // give it one
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000834 if (MemMgr.isManagingGOT() && MR.isGOTRelative()) {
Andrew Lenharth6a974612005-07-28 12:44:13 +0000835 unsigned idx = getJITResolver(this).getGOTIndexForAddr(ResultPtr);
836 MR.setGOTIndex(idx);
837 if (((void**)MemMgr.getGOTBase())[idx] != ResultPtr) {
Bill Wendling832171c2006-12-07 20:04:42 +0000838 DOUT << "GOT was out of date for " << ResultPtr
839 << " pointing at " << ((void**)MemMgr.getGOTBase())[idx]
840 << "\n";
Andrew Lenharth6a974612005-07-28 12:44:13 +0000841 ((void**)MemMgr.getGOTBase())[idx] = ResultPtr;
842 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000843 }
Chris Lattner5be478f2004-11-20 03:46:14 +0000844 }
845
Chris Lattner43b429b2006-05-02 18:27:26 +0000846 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000847 Relocations.size(), MemMgr.getGOTBase());
Chris Lattner5be478f2004-11-20 03:46:14 +0000848 }
849
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000850 // Update the GOT entry for F to point to the new code.
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +0000851 if (MemMgr.isManagingGOT()) {
Chris Lattner43b429b2006-05-02 18:27:26 +0000852 unsigned idx = getJITResolver(this).getGOTIndexForAddr((void*)BufferBegin);
853 if (((void**)MemMgr.getGOTBase())[idx] != (void*)BufferBegin) {
Bill Wendling832171c2006-12-07 20:04:42 +0000854 DOUT << "GOT was out of date for " << (void*)BufferBegin
855 << " pointing at " << ((void**)MemMgr.getGOTBase())[idx] << "\n";
Chris Lattner43b429b2006-05-02 18:27:26 +0000856 ((void**)MemMgr.getGOTBase())[idx] = (void*)BufferBegin;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000857 }
858 }
859
Evan Cheng55fc2802006-07-25 20:40:54 +0000860 // Invalidate the icache if necessary.
Evan Cheng55b50532006-07-27 06:33:55 +0000861 synchronizeICache(FnStart, FnEnd-FnStart);
Evan Cheng55fc2802006-07-25 20:40:54 +0000862
Bill Wendling832171c2006-12-07 20:04:42 +0000863 DOUT << "JIT: Finished CodeGen of [" << (void*)FnStart
864 << "] Function: " << F.getFunction()->getName()
865 << ": " << (FnEnd-FnStart) << " bytes of text, "
866 << Relocations.size() << " relocations\n";
Chris Lattner5be478f2004-11-20 03:46:14 +0000867 Relocations.clear();
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +0000868
Chris Lattnerc5633c22007-01-20 20:51:43 +0000869#ifndef NDEBUG
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +0000870 DOUT << "Disassembled code:\n"
Anton Korobeynikovfd58e6e2007-01-23 10:26:08 +0000871 << sys::disassembleBuffer(FnStart, FnEnd-FnStart, (uintptr_t)FnStart);
Chris Lattnerc5633c22007-01-20 20:51:43 +0000872#endif
Anton Korobeynikov8cd4c3e2007-01-19 17:25:17 +0000873
Chris Lattner43b429b2006-05-02 18:27:26 +0000874 return false;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000875}
876
Chris Lattner166f2262004-11-22 22:00:25 +0000877void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Chris Lattnerfa77d432006-02-09 04:22:52 +0000878 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
Chris Lattner2c0a6a12003-11-30 04:23:21 +0000879 if (Constants.empty()) return;
880
Evan Chengcd5731d2006-09-12 20:59:59 +0000881 MachineConstantPoolEntry CPE = Constants.back();
882 unsigned Size = CPE.Offset;
883 const Type *Ty = CPE.isMachineConstantPoolEntry()
Chris Lattner8a650092006-09-13 16:21:10 +0000884 ? CPE.Val.MachineCPVal->getType() : CPE.Val.ConstVal->getType();
Evan Chengcd5731d2006-09-12 20:59:59 +0000885 Size += TheJIT->getTargetData()->getTypeSize(Ty);
Chris Lattner2c0a6a12003-11-30 04:23:21 +0000886
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000887 ConstantPoolBase = allocateSpace(Size, 1 << MCP->getConstantPoolAlignment());
Chris Lattner239862c2006-02-09 04:49:59 +0000888 ConstantPool = MCP;
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000889
890 if (ConstantPoolBase == 0) return; // Buffer overflow.
891
Chris Lattner239862c2006-02-09 04:49:59 +0000892 // Initialize the memory for all of the constant pool entries.
Chris Lattner3029f922006-02-09 04:46:04 +0000893 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Chris Lattner239862c2006-02-09 04:49:59 +0000894 void *CAddr = (char*)ConstantPoolBase+Constants[i].Offset;
Evan Chengcd5731d2006-09-12 20:59:59 +0000895 if (Constants[i].isMachineConstantPoolEntry()) {
896 // FIXME: add support to lower machine constant pool values into bytes!
Bill Wendling832171c2006-12-07 20:04:42 +0000897 cerr << "Initialize memory with machine specific constant pool entry"
898 << " has not been implemented!\n";
Evan Chengcd5731d2006-09-12 20:59:59 +0000899 abort();
900 }
901 TheJIT->InitializeMemory(Constants[i].Val.ConstVal, CAddr);
Chris Lattner1cc08382003-01-13 01:00:12 +0000902 }
903}
904
Nate Begeman37efe672006-04-22 18:53:45 +0000905void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
906 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
907 if (JT.empty()) return;
908
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000909 unsigned NumEntries = 0;
Nate Begeman37efe672006-04-22 18:53:45 +0000910 for (unsigned i = 0, e = JT.size(); i != e; ++i)
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000911 NumEntries += JT[i].MBBs.size();
912
913 unsigned EntrySize = MJTI->getEntrySize();
914
Nate Begeman37efe672006-04-22 18:53:45 +0000915 // Just allocate space for all the jump tables now. We will fix up the actual
916 // MBB entries in the tables after we emit the code for each block, since then
917 // we will know the final locations of the MBBs in memory.
918 JumpTable = MJTI;
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000919 JumpTableBase = allocateSpace(NumEntries * EntrySize, MJTI->getAlignment());
Nate Begeman37efe672006-04-22 18:53:45 +0000920}
921
Jim Laskeyb92767a2006-12-14 22:53:42 +0000922void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Nate Begeman37efe672006-04-22 18:53:45 +0000923 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000924 if (JT.empty() || JumpTableBase == 0) return;
Nate Begeman37efe672006-04-22 18:53:45 +0000925
Jim Laskeyb92767a2006-12-14 22:53:42 +0000926 if (TargetMachine::getRelocationModel() == Reloc::PIC_) {
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000927 assert(MJTI->getEntrySize() == 4 && "Cross JIT'ing?");
928 // For each jump table, place the offset from the beginning of the table
929 // to the target address.
930 int *SlotPtr = (int*)JumpTableBase;
Chris Lattner32ca55f2006-05-03 00:13:06 +0000931
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000932 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
933 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
934 // Store the offset of the basic block for this jump table slot in the
935 // memory we allocated for the jump table in 'initJumpTableInfo'
936 intptr_t Base = (intptr_t)SlotPtr;
937 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
938 *SlotPtr++ = (intptr_t)getMachineBasicBlockAddress(MBBs[mi]) - Base;
939 }
940 } else {
941 assert(MJTI->getEntrySize() == sizeof(void*) && "Cross JIT'ing?");
942
943 // For each jump table, map each target in the jump table to the address of
944 // an emitted MachineBasicBlock.
945 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
946
947 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
948 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
949 // Store the address of the basic block for this jump table slot in the
950 // memory we allocated for the jump table in 'initJumpTableInfo'
951 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
952 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
953 }
Nate Begeman37efe672006-04-22 18:53:45 +0000954 }
955}
956
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000957void JITEmitter::startFunctionStub(unsigned StubSize, unsigned Alignment) {
Chris Lattner43b429b2006-05-02 18:27:26 +0000958 SavedBufferBegin = BufferBegin;
959 SavedBufferEnd = BufferEnd;
960 SavedCurBufferPtr = CurBufferPtr;
961
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000962 BufferBegin = CurBufferPtr = MemMgr.allocateStub(StubSize, Alignment);
Chris Lattner43b429b2006-05-02 18:27:26 +0000963 BufferEnd = BufferBegin+StubSize+1;
Chris Lattner6125fdd2003-05-09 03:30:07 +0000964}
965
Chris Lattner166f2262004-11-22 22:00:25 +0000966void *JITEmitter::finishFunctionStub(const Function *F) {
Chris Lattner43b429b2006-05-02 18:27:26 +0000967 NumBytes += getCurrentPCOffset();
968 std::swap(SavedBufferBegin, BufferBegin);
969 BufferEnd = SavedBufferEnd;
970 CurBufferPtr = SavedCurBufferPtr;
971 return SavedBufferBegin;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000972}
973
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000974// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
975// in the constant pool that was last emitted with the 'emitConstantPool'
976// method.
977//
Chris Lattnerb4432f32006-05-03 17:10:41 +0000978intptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Chris Lattner239862c2006-02-09 04:49:59 +0000979 assert(ConstantNum < ConstantPool->getConstants().size() &&
Misha Brukman3c944972005-04-22 04:08:30 +0000980 "Invalid ConstantPoolIndex!");
Chris Lattner239862c2006-02-09 04:49:59 +0000981 return (intptr_t)ConstantPoolBase +
982 ConstantPool->getConstants()[ConstantNum].Offset;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000983}
984
Nate Begeman37efe672006-04-22 18:53:45 +0000985// getJumpTableEntryAddress - Return the address of the JumpTable with index
986// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
987//
Chris Lattnerb4432f32006-05-03 17:10:41 +0000988intptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Nate Begeman37efe672006-04-22 18:53:45 +0000989 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
990 assert(Index < JT.size() && "Invalid jump table index!");
991
992 unsigned Offset = 0;
993 unsigned EntrySize = JumpTable->getEntrySize();
994
995 for (unsigned i = 0; i < Index; ++i)
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000996 Offset += JT[i].MBBs.size();
997
998 Offset *= EntrySize;
Nate Begeman37efe672006-04-22 18:53:45 +0000999
Nate Begemanc34b2272006-04-25 17:46:32 +00001000 return (intptr_t)((char *)JumpTableBase + Offset);
Nate Begeman37efe672006-04-22 18:53:45 +00001001}
1002
Chris Lattnere993cc22006-05-11 23:08:08 +00001003//===----------------------------------------------------------------------===//
1004// Public interface to this file
1005//===----------------------------------------------------------------------===//
1006
1007MachineCodeEmitter *JIT::createEmitter(JIT &jit) {
1008 return new JITEmitter(jit);
1009}
1010
Misha Brukmand69c1e62003-07-28 19:09:06 +00001011// getPointerToNamedFunction - This function is used as a global wrapper to
Chris Lattner4d326fa2003-12-20 01:46:27 +00001012// JIT::getPointerToNamedFunction for the purpose of resolving symbols when
Misha Brukmand69c1e62003-07-28 19:09:06 +00001013// bugpoint is debugging the JIT. In that scenario, we are loading an .so and
1014// need to resolve function(s) that are being mis-codegenerated, so we need to
1015// resolve their addresses at runtime, and this is the way to do it.
1016extern "C" {
1017 void *getPointerToNamedFunction(const char *Name) {
Chris Lattnerfe854032006-08-16 01:24:12 +00001018 if (Function *F = TheJIT->FindFunctionNamed(Name))
Chris Lattner4d326fa2003-12-20 01:46:27 +00001019 return TheJIT->getPointerToFunction(F);
1020 return TheJIT->getPointerToNamedFunction(Name);
Misha Brukmand69c1e62003-07-28 19:09:06 +00001021 }
1022}
Chris Lattnere993cc22006-05-11 23:08:08 +00001023
1024// getPointerToFunctionOrStub - If the specified function has been
1025// code-gen'd, return a pointer to the function. If not, compile it, or use
1026// a stub to implement lazy compilation if available.
1027//
1028void *JIT::getPointerToFunctionOrStub(Function *F) {
1029 // If we have already code generated the function, just return the address.
1030 if (void *Addr = getPointerToGlobalIfAvailable(F))
1031 return Addr;
1032
1033 // Get a stub if the target supports it
1034 return getJITResolver(MCE).getFunctionStub(F);
1035}
1036
1037/// freeMachineCodeForFunction - release machine code memory for given Function.
1038///
1039void JIT::freeMachineCodeForFunction(Function *F) {
1040 // Delete translation for this from the ExecutionEngine, so it will get
1041 // retranslated next time it is used.
1042 updateGlobalMapping(F, 0);
1043
1044 // Free the actual memory for the function body and related stuff.
1045 assert(dynamic_cast<JITEmitter*>(MCE) && "Unexpected MCE?");
1046 dynamic_cast<JITEmitter*>(MCE)->deallocateMemForFunction(F);
1047}
1048