blob: 4fc454e2ba58814fab36cb594793d8b5924e2486 [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"
Reid Spencer551ccae2004-09-01 22:55:40 +000031#include "llvm/ADT/Statistic.h"
Reid Spencer52b0ba62004-09-11 04:31:03 +000032#include "llvm/System/Memory.h"
Andrew Lenhartha00269b2005-07-29 23:40:16 +000033#include <algorithm>
Chris Lattnerc19aade2003-12-08 08:06:28 +000034using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000035
Chris Lattner36343732006-12-19 22:43:32 +000036STATISTIC(NumBytes, "Number of bytes of machine code compiled");
37STATISTIC(NumRelos, "Number of relocations applied");
38static JIT *TheJIT = 0;
Chris Lattner54266522004-11-20 23:57:07 +000039
40//===----------------------------------------------------------------------===//
41// JITMemoryManager code.
42//
43namespace {
Chris Lattnere993cc22006-05-11 23:08:08 +000044 /// MemoryRangeHeader - For a range of memory, this is the header that we put
45 /// on the block of memory. It is carefully crafted to be one word of memory.
46 /// Allocated blocks have just this header, free'd blocks have FreeRangeHeader
47 /// which starts with this.
48 struct FreeRangeHeader;
49 struct MemoryRangeHeader {
50 /// ThisAllocated - This is true if this block is currently allocated. If
51 /// not, this can be converted to a FreeRangeHeader.
52 intptr_t ThisAllocated : 1;
53
54 /// PrevAllocated - Keep track of whether the block immediately before us is
55 /// allocated. If not, the word immediately before this header is the size
56 /// of the previous block.
57 intptr_t PrevAllocated : 1;
58
59 /// BlockSize - This is the size in bytes of this memory block,
60 /// including this header.
61 uintptr_t BlockSize : (sizeof(intptr_t)*8 - 2);
62
63
64 /// getBlockAfter - Return the memory block immediately after this one.
65 ///
66 MemoryRangeHeader &getBlockAfter() const {
67 return *(MemoryRangeHeader*)((char*)this+BlockSize);
68 }
69
70 /// getFreeBlockBefore - If the block before this one is free, return it,
71 /// otherwise return null.
72 FreeRangeHeader *getFreeBlockBefore() const {
73 if (PrevAllocated) return 0;
74 intptr_t PrevSize = ((intptr_t *)this)[-1];
75 return (FreeRangeHeader*)((char*)this-PrevSize);
76 }
77
Chris Lattner9f3d1ba2006-05-11 23:56:57 +000078 /// FreeBlock - Turn an allocated block into a free block, adjusting
Chris Lattnere993cc22006-05-11 23:08:08 +000079 /// bits in the object headers, and adding an end of region memory block.
Chris Lattner9f3d1ba2006-05-11 23:56:57 +000080 FreeRangeHeader *FreeBlock(FreeRangeHeader *FreeList);
Chris Lattnere993cc22006-05-11 23:08:08 +000081
82 /// TrimAllocationToSize - If this allocated block is significantly larger
83 /// than NewSize, split it into two pieces (where the former is NewSize
84 /// bytes, including the header), and add the new block to the free list.
85 FreeRangeHeader *TrimAllocationToSize(FreeRangeHeader *FreeList,
86 uint64_t NewSize);
87 };
88
89 /// FreeRangeHeader - For a memory block that isn't already allocated, this
90 /// keeps track of the current block and has a pointer to the next free block.
91 /// Free blocks are kept on a circularly linked list.
92 struct FreeRangeHeader : public MemoryRangeHeader {
93 FreeRangeHeader *Prev;
94 FreeRangeHeader *Next;
95
96 /// getMinBlockSize - Get the minimum size for a memory block. Blocks
97 /// smaller than this size cannot be created.
98 static unsigned getMinBlockSize() {
99 return sizeof(FreeRangeHeader)+sizeof(intptr_t);
100 }
101
102 /// SetEndOfBlockSizeMarker - The word at the end of every free block is
103 /// known to be the size of the free block. Set it for this block.
104 void SetEndOfBlockSizeMarker() {
105 void *EndOfBlock = (char*)this + BlockSize;
106 ((intptr_t *)EndOfBlock)[-1] = BlockSize;
107 }
108
109 FreeRangeHeader *RemoveFromFreeList() {
110 assert(Next->Prev == this && Prev->Next == this && "Freelist broken!");
111 Next->Prev = Prev;
112 return Prev->Next = Next;
113 }
114
115 void AddToFreeList(FreeRangeHeader *FreeList) {
116 Next = FreeList;
117 Prev = FreeList->Prev;
118 Prev->Next = this;
119 Next->Prev = this;
120 }
121
122 /// GrowBlock - The block after this block just got deallocated. Merge it
123 /// into the current block.
124 void GrowBlock(uintptr_t NewSize);
125
126 /// AllocateBlock - Mark this entire block allocated, updating freelists
127 /// etc. This returns a pointer to the circular free-list.
128 FreeRangeHeader *AllocateBlock();
129 };
130}
131
132
133/// AllocateBlock - Mark this entire block allocated, updating freelists
134/// etc. This returns a pointer to the circular free-list.
135FreeRangeHeader *FreeRangeHeader::AllocateBlock() {
136 assert(!ThisAllocated && !getBlockAfter().PrevAllocated &&
137 "Cannot allocate an allocated block!");
138 // Mark this block allocated.
139 ThisAllocated = 1;
140 getBlockAfter().PrevAllocated = 1;
141
142 // Remove it from the free list.
143 return RemoveFromFreeList();
144}
145
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000146/// FreeBlock - Turn an allocated block into a free block, adjusting
Chris Lattnere993cc22006-05-11 23:08:08 +0000147/// bits in the object headers, and adding an end of region memory block.
148/// If possible, coallesce this block with neighboring blocks. Return the
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000149/// FreeRangeHeader to allocate from.
150FreeRangeHeader *MemoryRangeHeader::FreeBlock(FreeRangeHeader *FreeList) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000151 MemoryRangeHeader *FollowingBlock = &getBlockAfter();
152 assert(ThisAllocated && "This block is already allocated!");
153 assert(FollowingBlock->PrevAllocated && "Flags out of sync!");
154
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000155 FreeRangeHeader *FreeListToReturn = FreeList;
156
Chris Lattnere993cc22006-05-11 23:08:08 +0000157 // If the block after this one is free, merge it into this block.
158 if (!FollowingBlock->ThisAllocated) {
159 FreeRangeHeader &FollowingFreeBlock = *(FreeRangeHeader *)FollowingBlock;
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000160 // "FreeList" always needs to be a valid free block. If we're about to
161 // coallesce with it, update our notion of what the free list is.
162 if (&FollowingFreeBlock == FreeList) {
163 FreeList = FollowingFreeBlock.Next;
164 FreeListToReturn = 0;
165 assert(&FollowingFreeBlock != FreeList && "No tombstone block?");
166 }
Chris Lattnere993cc22006-05-11 23:08:08 +0000167 FollowingFreeBlock.RemoveFromFreeList();
168
169 // Include the following block into this one.
170 BlockSize += FollowingFreeBlock.BlockSize;
171 FollowingBlock = &FollowingFreeBlock.getBlockAfter();
172
173 // Tell the block after the block we are coallescing that this block is
174 // allocated.
175 FollowingBlock->PrevAllocated = 1;
176 }
177
178 assert(FollowingBlock->ThisAllocated && "Missed coallescing?");
179
180 if (FreeRangeHeader *PrevFreeBlock = getFreeBlockBefore()) {
181 PrevFreeBlock->GrowBlock(PrevFreeBlock->BlockSize + BlockSize);
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000182 return FreeListToReturn ? FreeListToReturn : PrevFreeBlock;
Chris Lattnere993cc22006-05-11 23:08:08 +0000183 }
184
185 // Otherwise, mark this block free.
186 FreeRangeHeader &FreeBlock = *(FreeRangeHeader*)this;
187 FollowingBlock->PrevAllocated = 0;
188 FreeBlock.ThisAllocated = 0;
189
190 // Link this into the linked list of free blocks.
191 FreeBlock.AddToFreeList(FreeList);
192
193 // Add a marker at the end of the block, indicating the size of this free
194 // block.
195 FreeBlock.SetEndOfBlockSizeMarker();
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000196 return FreeListToReturn ? FreeListToReturn : &FreeBlock;
Chris Lattnere993cc22006-05-11 23:08:08 +0000197}
198
199/// GrowBlock - The block after this block just got deallocated. Merge it
200/// into the current block.
201void FreeRangeHeader::GrowBlock(uintptr_t NewSize) {
202 assert(NewSize > BlockSize && "Not growing block?");
203 BlockSize = NewSize;
204 SetEndOfBlockSizeMarker();
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000205 getBlockAfter().PrevAllocated = 0;
Chris Lattnere993cc22006-05-11 23:08:08 +0000206}
207
208/// TrimAllocationToSize - If this allocated block is significantly larger
209/// than NewSize, split it into two pieces (where the former is NewSize
210/// bytes, including the header), and add the new block to the free list.
211FreeRangeHeader *MemoryRangeHeader::
212TrimAllocationToSize(FreeRangeHeader *FreeList, uint64_t NewSize) {
213 assert(ThisAllocated && getBlockAfter().PrevAllocated &&
214 "Cannot deallocate part of an allocated block!");
215
216 // Round up size for alignment of header.
217 unsigned HeaderAlign = __alignof(FreeRangeHeader);
218 NewSize = (NewSize+ (HeaderAlign-1)) & ~(HeaderAlign-1);
219
220 // Size is now the size of the block we will remove from the start of the
221 // current block.
222 assert(NewSize <= BlockSize &&
223 "Allocating more space from this block than exists!");
224
225 // If splitting this block will cause the remainder to be too small, do not
226 // split the block.
227 if (BlockSize <= NewSize+FreeRangeHeader::getMinBlockSize())
228 return FreeList;
229
230 // Otherwise, we splice the required number of bytes out of this block, form
231 // a new block immediately after it, then mark this block allocated.
232 MemoryRangeHeader &FormerNextBlock = getBlockAfter();
233
234 // Change the size of this block.
235 BlockSize = NewSize;
236
237 // Get the new block we just sliced out and turn it into a free block.
238 FreeRangeHeader &NewNextBlock = (FreeRangeHeader &)getBlockAfter();
239 NewNextBlock.BlockSize = (char*)&FormerNextBlock - (char*)&NewNextBlock;
240 NewNextBlock.ThisAllocated = 0;
241 NewNextBlock.PrevAllocated = 1;
242 NewNextBlock.SetEndOfBlockSizeMarker();
243 FormerNextBlock.PrevAllocated = 0;
244 NewNextBlock.AddToFreeList(FreeList);
245 return &NewNextBlock;
246}
247
248
249namespace {
Chris Lattner688506d2003-08-14 18:35:27 +0000250 /// JITMemoryManager - Manage memory for the JIT code generation in a logical,
251 /// sane way. This splits a large block of MAP_NORESERVE'd memory into two
252 /// sections, one for function stubs, one for the functions themselves. We
253 /// have to do this because we may need to emit a function stub while in the
254 /// middle of emitting a function, and we don't know how large the function we
255 /// are emitting is. This never bothers to release the memory, because when
256 /// we are ready to destroy the JIT, the program exits.
257 class JITMemoryManager {
Chris Lattnere6fdcbf2006-05-03 00:54:49 +0000258 std::vector<sys::MemoryBlock> Blocks; // Memory blocks allocated by the JIT
Chris Lattnere993cc22006-05-11 23:08:08 +0000259 FreeRangeHeader *FreeMemoryList; // Circular list of free blocks.
260
261 // When emitting code into a memory block, this is the block.
262 MemoryRangeHeader *CurBlock;
263
264 unsigned char *CurStubPtr, *StubBase;
Chris Lattnera726c7f2006-05-02 21:44:14 +0000265 unsigned char *GOTBase; // Target Specific reserved memory
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000266
Chris Lattnere993cc22006-05-11 23:08:08 +0000267 // Centralize memory block allocation.
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000268 sys::MemoryBlock getNewMemoryBlock(unsigned size);
Chris Lattnere993cc22006-05-11 23:08:08 +0000269
270 std::map<const Function*, MemoryRangeHeader*> FunctionBlocks;
Chris Lattner688506d2003-08-14 18:35:27 +0000271 public:
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000272 JITMemoryManager(bool useGOT);
Reid Spencer4af3da62004-12-13 16:04:04 +0000273 ~JITMemoryManager();
Misha Brukmanf976c852005-04-21 22:55:34 +0000274
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000275 inline unsigned char *allocateStub(unsigned StubSize, unsigned Alignment);
Chris Lattnere993cc22006-05-11 23:08:08 +0000276
277 /// startFunctionBody - When a function starts, allocate a block of free
278 /// executable memory, returning a pointer to it and its actual size.
279 unsigned char *startFunctionBody(uintptr_t &ActualSize) {
280 CurBlock = FreeMemoryList;
281
282 // Allocate the entire memory block.
283 FreeMemoryList = FreeMemoryList->AllocateBlock();
284 ActualSize = CurBlock->BlockSize-sizeof(MemoryRangeHeader);
285 return (unsigned char *)(CurBlock+1);
286 }
287
288 /// endFunctionBody - The function F is now allocated, and takes the memory
289 /// in the range [FunctionStart,FunctionEnd).
290 void endFunctionBody(const Function *F, unsigned char *FunctionStart,
291 unsigned char *FunctionEnd) {
292 assert(FunctionEnd > FunctionStart);
293 assert(FunctionStart == (unsigned char *)(CurBlock+1) &&
294 "Mismatched function start/end!");
295
296 uintptr_t BlockSize = FunctionEnd - (unsigned char *)CurBlock;
297 FunctionBlocks[F] = CurBlock;
298
299 // Release the memory at the end of this block that isn't needed.
300 FreeMemoryList =CurBlock->TrimAllocationToSize(FreeMemoryList, BlockSize);
301 }
Chris Lattnera726c7f2006-05-02 21:44:14 +0000302
303 unsigned char *getGOTBase() const {
304 return GOTBase;
305 }
306 bool isManagingGOT() const {
307 return GOTBase != NULL;
308 }
Chris Lattnere993cc22006-05-11 23:08:08 +0000309
310 /// deallocateMemForFunction - Deallocate all memory for the specified
311 /// function body.
312 void deallocateMemForFunction(const Function *F) {
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000313 std::map<const Function*, MemoryRangeHeader*>::iterator
314 I = FunctionBlocks.find(F);
315 if (I == FunctionBlocks.end()) return;
Chris Lattnere993cc22006-05-11 23:08:08 +0000316
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000317 // Find the block that is allocated for this function.
318 MemoryRangeHeader *MemRange = I->second;
319 assert(MemRange->ThisAllocated && "Block isn't allocated!");
320
Chris Lattnera5f04192006-05-12 00:03:12 +0000321 // Fill the buffer with garbage!
322 DEBUG(memset(MemRange+1, 0xCD, MemRange->BlockSize-sizeof(*MemRange)));
323
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000324 // Free the memory.
325 FreeMemoryList = MemRange->FreeBlock(FreeMemoryList);
326
327 // Finally, remove this entry from FunctionBlocks.
328 FunctionBlocks.erase(I);
Chris Lattnere993cc22006-05-11 23:08:08 +0000329 }
Chris Lattner688506d2003-08-14 18:35:27 +0000330 };
331}
332
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000333JITMemoryManager::JITMemoryManager(bool useGOT) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000334 // Allocate a 16M block of memory for functions.
335 sys::MemoryBlock MemBlock = getNewMemoryBlock(16 << 20);
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000336
Chris Lattnere993cc22006-05-11 23:08:08 +0000337 unsigned char *MemBase = reinterpret_cast<unsigned char*>(MemBlock.base());
Chris Lattner281a6012005-01-10 18:23:22 +0000338
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000339 // Allocate stubs backwards from the base, allocate functions forward
340 // from the base.
Chris Lattnere993cc22006-05-11 23:08:08 +0000341 StubBase = MemBase;
342 CurStubPtr = MemBase + 512*1024; // Use 512k for stubs, working backwards.
343
344 // We set up the memory chunk with 4 mem regions, like this:
345 // [ START
346 // [ Free #0 ] -> Large space to allocate functions from.
347 // [ Allocated #1 ] -> Tiny space to separate regions.
348 // [ Free #2 ] -> Tiny space so there is always at least 1 free block.
349 // [ Allocated #3 ] -> Tiny space to prevent looking past end of block.
350 // END ]
351 //
352 // The last three blocks are never deallocated or touched.
353
354 // Add MemoryRangeHeader to the end of the memory region, indicating that
355 // the space after the block of memory is allocated. This is block #3.
356 MemoryRangeHeader *Mem3 = (MemoryRangeHeader*)(MemBase+MemBlock.size())-1;
357 Mem3->ThisAllocated = 1;
358 Mem3->PrevAllocated = 0;
359 Mem3->BlockSize = 0;
360
361 /// Add a tiny free region so that the free list always has one entry.
362 FreeRangeHeader *Mem2 =
363 (FreeRangeHeader *)(((char*)Mem3)-FreeRangeHeader::getMinBlockSize());
364 Mem2->ThisAllocated = 0;
365 Mem2->PrevAllocated = 1;
366 Mem2->BlockSize = FreeRangeHeader::getMinBlockSize();
367 Mem2->SetEndOfBlockSizeMarker();
368 Mem2->Prev = Mem2; // Mem2 *is* the free list for now.
369 Mem2->Next = Mem2;
370
371 /// Add a tiny allocated region so that Mem2 is never coallesced away.
372 MemoryRangeHeader *Mem1 = (MemoryRangeHeader*)Mem2-1;
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000373 Mem1->ThisAllocated = 1;
374 Mem1->PrevAllocated = 0;
375 Mem1->BlockSize = (char*)Mem2 - (char*)Mem1;
Chris Lattnere993cc22006-05-11 23:08:08 +0000376
377 // Add a FreeRangeHeader to the start of the function body region, indicating
378 // that the space is free. Mark the previous block allocated so we never look
379 // at it.
380 FreeRangeHeader *Mem0 = (FreeRangeHeader*)CurStubPtr;
381 Mem0->ThisAllocated = 0;
382 Mem0->PrevAllocated = 1;
Chris Lattner9f3d1ba2006-05-11 23:56:57 +0000383 Mem0->BlockSize = (char*)Mem1-(char*)Mem0;
Chris Lattnere993cc22006-05-11 23:08:08 +0000384 Mem0->SetEndOfBlockSizeMarker();
385 Mem0->AddToFreeList(Mem2);
386
387 // Start out with the freelist pointing to Mem0.
388 FreeMemoryList = Mem0;
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000389
Chris Lattnerf5d438c2006-05-02 21:57:51 +0000390 // Allocate the GOT.
Andrew Lenharth2b3b89c2005-08-01 17:35:40 +0000391 GOTBase = NULL;
Chris Lattnerbbea1242006-05-12 18:10:12 +0000392 if (useGOT) GOTBase = new unsigned char[sizeof(void*) * 8192];
Chris Lattner688506d2003-08-14 18:35:27 +0000393}
394
Reid Spencer4af3da62004-12-13 16:04:04 +0000395JITMemoryManager::~JITMemoryManager() {
Chris Lattnere6fdcbf2006-05-03 00:54:49 +0000396 for (unsigned i = 0, e = Blocks.size(); i != e; ++i)
397 sys::Memory::ReleaseRWX(Blocks[i]);
Chris Lattnerbbea1242006-05-12 18:10:12 +0000398
399 delete[] GOTBase;
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000400 Blocks.clear();
Reid Spencer4af3da62004-12-13 16:04:04 +0000401}
402
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000403unsigned char *JITMemoryManager::allocateStub(unsigned StubSize,
404 unsigned Alignment) {
Chris Lattner688506d2003-08-14 18:35:27 +0000405 CurStubPtr -= StubSize;
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000406 CurStubPtr = (unsigned char*)(((intptr_t)CurStubPtr) &
407 ~(intptr_t)(Alignment-1));
Chris Lattnere993cc22006-05-11 23:08:08 +0000408 if (CurStubPtr < StubBase) {
Chris Lattnera726c7f2006-05-02 21:44:14 +0000409 // FIXME: allocate a new block
Bill Wendling832171c2006-12-07 20:04:42 +0000410 cerr << "JIT ran out of memory for function stubs!\n";
Chris Lattner688506d2003-08-14 18:35:27 +0000411 abort();
412 }
413 return CurStubPtr;
414}
415
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000416sys::MemoryBlock JITMemoryManager::getNewMemoryBlock(unsigned size) {
Chris Lattnerc1780d22006-07-07 17:31:41 +0000417 // Allocate a new block close to the last one.
418 const sys::MemoryBlock *BOld = Blocks.empty() ? 0 : &Blocks.front();
419 std::string ErrMsg;
420 sys::MemoryBlock B = sys::Memory::AllocateRWX(size, BOld, &ErrMsg);
421 if (B.base() == 0) {
Bill Wendling832171c2006-12-07 20:04:42 +0000422 cerr << "Allocation failed when allocating new memory in the JIT\n";
423 cerr << ErrMsg << "\n";
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000424 abort();
425 }
Chris Lattnerc1780d22006-07-07 17:31:41 +0000426 Blocks.push_back(B);
427 return B;
Andrew Lenhartha00269b2005-07-29 23:40:16 +0000428}
429
Chris Lattner54266522004-11-20 23:57:07 +0000430//===----------------------------------------------------------------------===//
431// JIT lazy compilation code.
432//
433namespace {
Reid Spenceree448632005-07-12 15:51:55 +0000434 class JITResolverState {
435 private:
436 /// FunctionToStubMap - Keep track of the stub created for a particular
437 /// function so that we can reuse them if necessary.
438 std::map<Function*, void*> FunctionToStubMap;
439
440 /// StubToFunctionMap - Keep track of the function that each stub
441 /// corresponds to.
442 std::map<void*, Function*> StubToFunctionMap;
Jeff Cohen00b168892005-07-27 06:12:32 +0000443
Reid Spenceree448632005-07-12 15:51:55 +0000444 public:
445 std::map<Function*, void*>& getFunctionToStubMap(const MutexGuard& locked) {
446 assert(locked.holds(TheJIT->lock));
447 return FunctionToStubMap;
448 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000449
Reid Spenceree448632005-07-12 15:51:55 +0000450 std::map<void*, Function*>& getStubToFunctionMap(const MutexGuard& locked) {
451 assert(locked.holds(TheJIT->lock));
452 return StubToFunctionMap;
453 }
454 };
Jeff Cohen00b168892005-07-27 06:12:32 +0000455
Chris Lattner54266522004-11-20 23:57:07 +0000456 /// JITResolver - Keep track of, and resolve, call sites for functions that
457 /// have not yet been compiled.
458 class JITResolver {
Chris Lattner5e225582004-11-21 03:37:42 +0000459 /// MCE - The MachineCodeEmitter to use to emit stubs with.
Chris Lattner54266522004-11-20 23:57:07 +0000460 MachineCodeEmitter &MCE;
461
Chris Lattner5e225582004-11-21 03:37:42 +0000462 /// LazyResolverFn - The target lazy resolver function that we actually
463 /// rewrite instructions to use.
464 TargetJITInfo::LazyResolverFn LazyResolverFn;
465
Reid Spenceree448632005-07-12 15:51:55 +0000466 JITResolverState state;
Chris Lattner54266522004-11-20 23:57:07 +0000467
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000468 /// ExternalFnToStubMap - This is the equivalent of FunctionToStubMap for
469 /// external functions.
470 std::map<void*, void*> ExternalFnToStubMap;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000471
472 //map addresses to indexes in the GOT
473 std::map<void*, unsigned> revGOTMap;
474 unsigned nextGOTIndex;
475
Chris Lattner54266522004-11-20 23:57:07 +0000476 public:
Andrew Lenharth6a974612005-07-28 12:44:13 +0000477 JITResolver(MachineCodeEmitter &mce) : MCE(mce), nextGOTIndex(0) {
Chris Lattner5e225582004-11-21 03:37:42 +0000478 LazyResolverFn =
479 TheJIT->getJITInfo().getLazyResolverFunction(JITCompilerFn);
480 }
Chris Lattner54266522004-11-20 23:57:07 +0000481
482 /// getFunctionStub - This returns a pointer to a function stub, creating
483 /// one on demand as needed.
484 void *getFunctionStub(Function *F);
485
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000486 /// getExternalFunctionStub - Return a stub for the function at the
487 /// specified address, created lazily on demand.
488 void *getExternalFunctionStub(void *FnAddr);
489
Chris Lattner5e225582004-11-21 03:37:42 +0000490 /// AddCallbackAtLocation - If the target is capable of rewriting an
491 /// instruction without the use of a stub, record the location of the use so
492 /// we know which function is being used at the location.
493 void *AddCallbackAtLocation(Function *F, void *Location) {
Reid Spenceree448632005-07-12 15:51:55 +0000494 MutexGuard locked(TheJIT->lock);
Chris Lattner5e225582004-11-21 03:37:42 +0000495 /// Get the target-specific JIT resolver function.
Reid Spenceree448632005-07-12 15:51:55 +0000496 state.getStubToFunctionMap(locked)[Location] = F;
Chris Lattner870286a2006-06-01 17:29:22 +0000497 return (void*)(intptr_t)LazyResolverFn;
Chris Lattner5e225582004-11-21 03:37:42 +0000498 }
499
Andrew Lenharth6a974612005-07-28 12:44:13 +0000500 /// getGOTIndexForAddress - Return a new or existing index in the GOT for
501 /// and address. This function only manages slots, it does not manage the
502 /// contents of the slots or the memory associated with the GOT.
503 unsigned getGOTIndexForAddr(void* addr);
504
Chris Lattner54266522004-11-20 23:57:07 +0000505 /// JITCompilerFn - This function is called to resolve a stub to a compiled
506 /// address. If the LLVM Function corresponding to the stub has not yet
507 /// been compiled, this function compiles it first.
508 static void *JITCompilerFn(void *Stub);
509 };
510}
511
512/// getJITResolver - This function returns the one instance of the JIT resolver.
513///
514static JITResolver &getJITResolver(MachineCodeEmitter *MCE = 0) {
515 static JITResolver TheJITResolver(*MCE);
516 return TheJITResolver;
517}
518
Evan Cheng55b50532006-07-27 06:33:55 +0000519#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
520 defined(__APPLE__)
521extern "C" void sys_icache_invalidate(const void *Addr, size_t len);
522#endif
523
524/// synchronizeICache - On some targets, the JIT emitted code must be
525/// explicitly refetched to ensure correct execution.
526static void synchronizeICache(const void *Addr, size_t len) {
527#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
528 defined(__APPLE__)
Jim Laskey2e9f3682006-07-27 13:40:34 +0000529 sys_icache_invalidate(Addr, len);
Evan Cheng55b50532006-07-27 06:33:55 +0000530#endif
531}
532
Chris Lattner54266522004-11-20 23:57:07 +0000533/// getFunctionStub - This returns a pointer to a function stub, creating
534/// one on demand as needed.
535void *JITResolver::getFunctionStub(Function *F) {
Reid Spenceree448632005-07-12 15:51:55 +0000536 MutexGuard locked(TheJIT->lock);
537
Chris Lattner54266522004-11-20 23:57:07 +0000538 // If we already have a stub for this function, recycle it.
Reid Spenceree448632005-07-12 15:51:55 +0000539 void *&Stub = state.getFunctionToStubMap(locked)[F];
Chris Lattner54266522004-11-20 23:57:07 +0000540 if (Stub) return Stub;
541
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000542 // Call the lazy resolver function unless we already KNOW it is an external
543 // function, in which case we just skip the lazy resolution step.
Chris Lattner870286a2006-06-01 17:29:22 +0000544 void *Actual = (void*)(intptr_t)LazyResolverFn;
Chris Lattnerc6336272006-09-15 04:56:11 +0000545 if (F->isExternal() && !F->hasNotBeenReadFromBytecode())
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000546 Actual = TheJIT->getPointerToFunction(F);
Misha Brukmanf976c852005-04-21 22:55:34 +0000547
Chris Lattner54266522004-11-20 23:57:07 +0000548 // Otherwise, codegen a new stub. For now, the stub will call the lazy
549 // resolver function.
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000550 Stub = TheJIT->getJITInfo().emitFunctionStub(Actual, MCE);
551
Chris Lattner870286a2006-06-01 17:29:22 +0000552 if (Actual != (void*)(intptr_t)LazyResolverFn) {
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000553 // If we are getting the stub for an external function, we really want the
554 // address of the stub in the GlobalAddressMap for the JIT, not the address
555 // of the external function.
556 TheJIT->updateGlobalMapping(F, Stub);
557 }
Chris Lattner54266522004-11-20 23:57:07 +0000558
Evan Cheng55fc2802006-07-25 20:40:54 +0000559 // Invalidate the icache if necessary.
Evan Cheng55b50532006-07-27 06:33:55 +0000560 synchronizeICache(Stub, MCE.getCurrentPCValue()-(intptr_t)Stub);
Evan Cheng55fc2802006-07-25 20:40:54 +0000561
Bill Wendling832171c2006-12-07 20:04:42 +0000562 DOUT << "JIT: Stub emitted at [" << Stub << "] for function '"
563 << F->getName() << "'\n";
Chris Lattnercb479412004-11-21 03:44:32 +0000564
Chris Lattner54266522004-11-20 23:57:07 +0000565 // Finally, keep track of the stub-to-Function mapping so that the
566 // JITCompilerFn knows which function to compile!
Reid Spenceree448632005-07-12 15:51:55 +0000567 state.getStubToFunctionMap(locked)[Stub] = F;
Chris Lattner54266522004-11-20 23:57:07 +0000568 return Stub;
569}
570
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000571/// getExternalFunctionStub - Return a stub for the function at the
572/// specified address, created lazily on demand.
573void *JITResolver::getExternalFunctionStub(void *FnAddr) {
574 // If we already have a stub for this function, recycle it.
575 void *&Stub = ExternalFnToStubMap[FnAddr];
576 if (Stub) return Stub;
577
578 Stub = TheJIT->getJITInfo().emitFunctionStub(FnAddr, MCE);
Evan Cheng55fc2802006-07-25 20:40:54 +0000579
580 // Invalidate the icache if necessary.
Evan Cheng55b50532006-07-27 06:33:55 +0000581 synchronizeICache(Stub, MCE.getCurrentPCValue()-(intptr_t)Stub);
Evan Cheng55fc2802006-07-25 20:40:54 +0000582
Bill Wendling832171c2006-12-07 20:04:42 +0000583 DOUT << "JIT: Stub emitted at [" << Stub
584 << "] for external function at '" << FnAddr << "'\n";
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000585 return Stub;
586}
587
Andrew Lenharth6a974612005-07-28 12:44:13 +0000588unsigned JITResolver::getGOTIndexForAddr(void* addr) {
589 unsigned idx = revGOTMap[addr];
590 if (!idx) {
591 idx = ++nextGOTIndex;
592 revGOTMap[addr] = idx;
Bill Wendling832171c2006-12-07 20:04:42 +0000593 DOUT << "Adding GOT entry " << idx
594 << " for addr " << addr << "\n";
Andrew Lenharth6a974612005-07-28 12:44:13 +0000595 // ((void**)MemMgr.getGOTBase())[idx] = addr;
596 }
597 return idx;
598}
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000599
Chris Lattner54266522004-11-20 23:57:07 +0000600/// JITCompilerFn - This function is called when a lazy compilation stub has
601/// been entered. It looks up which function this stub corresponds to, compiles
602/// it if necessary, then returns the resultant function pointer.
603void *JITResolver::JITCompilerFn(void *Stub) {
604 JITResolver &JR = getJITResolver();
Misha Brukmanf976c852005-04-21 22:55:34 +0000605
Reid Spenceree448632005-07-12 15:51:55 +0000606 MutexGuard locked(TheJIT->lock);
607
Chris Lattner54266522004-11-20 23:57:07 +0000608 // The address given to us for the stub may not be exactly right, it might be
609 // a little bit after the stub. As such, use upper_bound to find it.
610 std::map<void*, Function*>::iterator I =
Reid Spenceree448632005-07-12 15:51:55 +0000611 JR.state.getStubToFunctionMap(locked).upper_bound(Stub);
Chris Lattner21998772006-01-07 06:20:51 +0000612 assert(I != JR.state.getStubToFunctionMap(locked).begin() &&
613 "This is not a known stub!");
Chris Lattner54266522004-11-20 23:57:07 +0000614 Function *F = (--I)->second;
615
Chris Lattner9cab56d2006-11-09 19:32:13 +0000616 // If disabled, emit a useful error message and abort.
617 if (TheJIT->isLazyCompilationDisabled()) {
Bill Wendling832171c2006-12-07 20:04:42 +0000618 cerr << "LLVM JIT requested to do lazy compilation of function '"
619 << F->getName() << "' when lazy compiles are disabled!\n";
Chris Lattner9cab56d2006-11-09 19:32:13 +0000620 abort();
621 }
622
Reid Spenceree448632005-07-12 15:51:55 +0000623 // We might like to remove the stub from the StubToFunction map.
624 // We can't do that! Multiple threads could be stuck, waiting to acquire the
625 // lock above. As soon as the 1st function finishes compiling the function,
Chris Lattner21998772006-01-07 06:20:51 +0000626 // the next one will be released, and needs to be able to find the function it
627 // needs to call.
Reid Spenceree448632005-07-12 15:51:55 +0000628 //JR.state.getStubToFunctionMap(locked).erase(I);
Chris Lattner54266522004-11-20 23:57:07 +0000629
Bill Wendling832171c2006-12-07 20:04:42 +0000630 DOUT << "JIT: Lazily resolving function '" << F->getName()
631 << "' In stub ptr = " << Stub << " actual ptr = "
632 << I->first << "\n";
Chris Lattner54266522004-11-20 23:57:07 +0000633
634 void *Result = TheJIT->getPointerToFunction(F);
635
636 // We don't need to reuse this stub in the future, as F is now compiled.
Reid Spenceree448632005-07-12 15:51:55 +0000637 JR.state.getFunctionToStubMap(locked).erase(F);
Chris Lattner54266522004-11-20 23:57:07 +0000638
639 // FIXME: We could rewrite all references to this stub if we knew them.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000640
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000641 // What we will do is set the compiled function address to map to the
642 // same GOT entry as the stub so that later clients may update the GOT
Andrew Lenharth6a974612005-07-28 12:44:13 +0000643 // if they see it still using the stub address.
644 // Note: this is done so the Resolver doesn't have to manage GOT memory
645 // Do this without allocating map space if the target isn't using a GOT
646 if(JR.revGOTMap.find(Stub) != JR.revGOTMap.end())
647 JR.revGOTMap[Result] = JR.revGOTMap[Stub];
648
Chris Lattner54266522004-11-20 23:57:07 +0000649 return Result;
650}
Chris Lattner688506d2003-08-14 18:35:27 +0000651
652
Chris Lattner54266522004-11-20 23:57:07 +0000653//===----------------------------------------------------------------------===//
Chris Lattner166f2262004-11-22 22:00:25 +0000654// JITEmitter code.
Chris Lattner54266522004-11-20 23:57:07 +0000655//
Chris Lattner688506d2003-08-14 18:35:27 +0000656namespace {
Chris Lattner166f2262004-11-22 22:00:25 +0000657 /// JITEmitter - The JIT implementation of the MachineCodeEmitter, which is
658 /// used to output functions to memory for execution.
659 class JITEmitter : public MachineCodeEmitter {
Chris Lattner688506d2003-08-14 18:35:27 +0000660 JITMemoryManager MemMgr;
661
Chris Lattner6125fdd2003-05-09 03:30:07 +0000662 // When outputting a function stub in the context of some other function, we
Chris Lattner43b429b2006-05-02 18:27:26 +0000663 // save BufferBegin/BufferEnd/CurBufferPtr here.
664 unsigned char *SavedBufferBegin, *SavedBufferEnd, *SavedCurBufferPtr;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000665
Chris Lattner5be478f2004-11-20 03:46:14 +0000666 /// Relocations - These are the relocations that the function needs, as
667 /// emitted.
668 std::vector<MachineRelocation> Relocations;
Chris Lattnerb4432f32006-05-03 17:10:41 +0000669
670 /// MBBLocations - This vector is a mapping from MBB ID's to their address.
671 /// It is filled in by the StartMachineBasicBlock callback and queried by
672 /// the getMachineBasicBlockAddress callback.
673 std::vector<intptr_t> MBBLocations;
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000674
Chris Lattner239862c2006-02-09 04:49:59 +0000675 /// ConstantPool - The constant pool for the current function.
676 ///
677 MachineConstantPool *ConstantPool;
678
679 /// ConstantPoolBase - A pointer to the first entry in the constant pool.
680 ///
681 void *ConstantPoolBase;
Nate Begeman37efe672006-04-22 18:53:45 +0000682
Nate Begeman019f8512006-09-10 23:03:44 +0000683 /// JumpTable - The jump tables for the current function.
Nate Begeman37efe672006-04-22 18:53:45 +0000684 ///
685 MachineJumpTableInfo *JumpTable;
686
687 /// JumpTableBase - A pointer to the first entry in the jump table.
688 ///
689 void *JumpTableBase;
690public:
Chris Lattner239862c2006-02-09 04:49:59 +0000691 JITEmitter(JIT &jit) : MemMgr(jit.getJITInfo().needsGOT()) {
Jeff Cohen00b168892005-07-27 06:12:32 +0000692 TheJIT = &jit;
Bill Wendling832171c2006-12-07 20:04:42 +0000693 if (MemMgr.isManagingGOT()) DOUT << "JIT is managing a GOT\n";
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000694 }
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000695
696 virtual void startFunction(MachineFunction &F);
Chris Lattner43b429b2006-05-02 18:27:26 +0000697 virtual bool finishFunction(MachineFunction &F);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000698
699 void emitConstantPool(MachineConstantPool *MCP);
700 void initJumpTableInfo(MachineJumpTableInfo *MJTI);
Jim Laskeyb92767a2006-12-14 22:53:42 +0000701 void emitJumpTableInfo(MachineJumpTableInfo *MJTI);
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000702
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000703 virtual void startFunctionStub(unsigned StubSize, unsigned Alignment = 1);
Chris Lattner54266522004-11-20 23:57:07 +0000704 virtual void* finishFunctionStub(const Function *F);
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000705
Chris Lattner5be478f2004-11-20 03:46:14 +0000706 virtual void addRelocation(const MachineRelocation &MR) {
707 Relocations.push_back(MR);
708 }
Chris Lattnerb4432f32006-05-03 17:10:41 +0000709
710 virtual void StartMachineBasicBlock(MachineBasicBlock *MBB) {
711 if (MBBLocations.size() <= (unsigned)MBB->getNumber())
712 MBBLocations.resize((MBB->getNumber()+1)*2);
713 MBBLocations[MBB->getNumber()] = getCurrentPCValue();
714 }
Chris Lattner5be478f2004-11-20 03:46:14 +0000715
Chris Lattnerb4432f32006-05-03 17:10:41 +0000716 virtual intptr_t getConstantPoolEntryAddress(unsigned Entry) const;
717 virtual intptr_t getJumpTableEntryAddress(unsigned Entry) const;
718
719 virtual intptr_t getMachineBasicBlockAddress(MachineBasicBlock *MBB) const {
720 assert(MBBLocations.size() > (unsigned)MBB->getNumber() &&
721 MBBLocations[MBB->getNumber()] && "MBB not emitted!");
722 return MBBLocations[MBB->getNumber()];
723 }
724
Chris Lattnere993cc22006-05-11 23:08:08 +0000725 /// deallocateMemForFunction - Deallocate all memory for the specified
726 /// function body.
727 void deallocateMemForFunction(Function *F) {
728 MemMgr.deallocateMemForFunction(F);
729 }
Chris Lattner54266522004-11-20 23:57:07 +0000730 private:
Chris Lattner5e225582004-11-21 03:37:42 +0000731 void *getPointerToGlobal(GlobalValue *GV, void *Reference, bool NoNeedStub);
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000732 };
733}
734
Chris Lattner166f2262004-11-22 22:00:25 +0000735void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
736 bool DoesntNeedStub) {
Chris Lattner54266522004-11-20 23:57:07 +0000737 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) {
738 /// FIXME: If we straightened things out, this could actually emit the
739 /// global immediately instead of queuing it for codegen later!
Chris Lattner54266522004-11-20 23:57:07 +0000740 return TheJIT->getOrEmitGlobalVariable(GV);
741 }
742
743 // If we have already compiled the function, return a pointer to its body.
744 Function *F = cast<Function>(V);
745 void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
746 if (ResultPtr) return ResultPtr;
747
Chris Lattnerc6336272006-09-15 04:56:11 +0000748 if (F->isExternal() && !F->hasNotBeenReadFromBytecode()) {
Chris Lattner54266522004-11-20 23:57:07 +0000749 // If this is an external function pointer, we can force the JIT to
750 // 'compile' it, which really just adds it to the map.
Chris Lattnerb43dbdc2004-11-22 07:24:43 +0000751 if (DoesntNeedStub)
752 return TheJIT->getPointerToFunction(F);
753
754 return getJITResolver(this).getFunctionStub(F);
Chris Lattner54266522004-11-20 23:57:07 +0000755 }
756
Chris Lattner5e225582004-11-21 03:37:42 +0000757 // Okay, the function has not been compiled yet, if the target callback
758 // mechanism is capable of rewriting the instruction directly, prefer to do
759 // that instead of emitting a stub.
760 if (DoesntNeedStub)
761 return getJITResolver(this).AddCallbackAtLocation(F, Reference);
762
Chris Lattner54266522004-11-20 23:57:07 +0000763 // Otherwise, we have to emit a lazy resolving stub.
764 return getJITResolver(this).getFunctionStub(F);
765}
766
Chris Lattner166f2262004-11-22 22:00:25 +0000767void JITEmitter::startFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000768 uintptr_t ActualSize;
769 BufferBegin = CurBufferPtr = MemMgr.startFunctionBody(ActualSize);
770 BufferEnd = BufferBegin+ActualSize;
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000771
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000772 // Ensure the constant pool/jump table info is at least 4-byte aligned.
773 emitAlignment(16);
774
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000775 emitConstantPool(F.getConstantPool());
776 initJumpTableInfo(F.getJumpTableInfo());
777
778 // About to start emitting the machine code for the function.
Chris Lattner0eb4d6b2006-05-03 01:03:20 +0000779 emitAlignment(std::max(F.getFunction()->getAlignment(), 8U));
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000780 TheJIT->updateGlobalMapping(F.getFunction(), CurBufferPtr);
Evan Cheng55fc2802006-07-25 20:40:54 +0000781
Chris Lattnerb4432f32006-05-03 17:10:41 +0000782 MBBLocations.clear();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000783}
784
Chris Lattner43b429b2006-05-02 18:27:26 +0000785bool JITEmitter::finishFunction(MachineFunction &F) {
Chris Lattnere993cc22006-05-11 23:08:08 +0000786 if (CurBufferPtr == BufferEnd) {
787 // FIXME: Allocate more space, then try again.
Bill Wendling832171c2006-12-07 20:04:42 +0000788 cerr << "JIT: Ran out of space for generated machine code!\n";
Chris Lattnere993cc22006-05-11 23:08:08 +0000789 abort();
790 }
791
Jim Laskeyb92767a2006-12-14 22:53:42 +0000792 emitJumpTableInfo(F.getJumpTableInfo());
Chris Lattnerb4432f32006-05-03 17:10:41 +0000793
Chris Lattnera8279532006-06-16 18:09:26 +0000794 // FnStart is the start of the text, not the start of the constant pool and
795 // other per-function data.
796 unsigned char *FnStart =
797 (unsigned char *)TheJIT->getPointerToGlobalIfAvailable(F.getFunction());
798 unsigned char *FnEnd = CurBufferPtr;
799
800 MemMgr.endFunctionBody(F.getFunction(), BufferBegin, FnEnd);
801 NumBytes += FnEnd-FnStart;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000802
Chris Lattner5be478f2004-11-20 03:46:14 +0000803 if (!Relocations.empty()) {
Chris Lattnere884dc22005-07-20 16:29:20 +0000804 NumRelos += Relocations.size();
805
Chris Lattner5be478f2004-11-20 03:46:14 +0000806 // Resolve the relocations to concrete pointers.
807 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
808 MachineRelocation &MR = Relocations[i];
809 void *ResultPtr;
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000810 if (MR.isString()) {
Chris Lattner5be478f2004-11-20 03:46:14 +0000811 ResultPtr = TheJIT->getPointerToNamedFunction(MR.getString());
Misha Brukmanf976c852005-04-21 22:55:34 +0000812
Chris Lattnerd91ff7c2005-04-18 01:44:27 +0000813 // If the target REALLY wants a stub for this function, emit it now.
814 if (!MR.doesntNeedFunctionStub())
815 ResultPtr = getJITResolver(this).getExternalFunctionStub(ResultPtr);
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000816 } else if (MR.isGlobalValue()) {
Chris Lattner5e225582004-11-21 03:37:42 +0000817 ResultPtr = getPointerToGlobal(MR.getGlobalValue(),
Chris Lattner43b429b2006-05-02 18:27:26 +0000818 BufferBegin+MR.getMachineCodeOffset(),
Chris Lattner5e225582004-11-21 03:37:42 +0000819 MR.doesntNeedFunctionStub());
Evan Chengf141cc42006-07-27 18:21:10 +0000820 } else if (MR.isBasicBlock()) {
821 ResultPtr = (void*)getMachineBasicBlockAddress(MR.getBasicBlock());
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000822 } else if (MR.isConstantPoolIndex()) {
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000823 ResultPtr=(void*)getConstantPoolEntryAddress(MR.getConstantPoolIndex());
Evan Cheng52b510b2006-06-23 01:02:37 +0000824 } else {
825 assert(MR.isJumpTableIndex());
826 ResultPtr=(void*)getJumpTableEntryAddress(MR.getJumpTableIndex());
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000827 }
Jeff Cohen00b168892005-07-27 06:12:32 +0000828
Chris Lattner5be478f2004-11-20 03:46:14 +0000829 MR.setResultPointer(ResultPtr);
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000830
Andrew Lenharth6a974612005-07-28 12:44:13 +0000831 // if we are managing the GOT and the relocation wants an index,
832 // give it one
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000833 if (MemMgr.isManagingGOT() && MR.isGOTRelative()) {
Andrew Lenharth6a974612005-07-28 12:44:13 +0000834 unsigned idx = getJITResolver(this).getGOTIndexForAddr(ResultPtr);
835 MR.setGOTIndex(idx);
836 if (((void**)MemMgr.getGOTBase())[idx] != ResultPtr) {
Bill Wendling832171c2006-12-07 20:04:42 +0000837 DOUT << "GOT was out of date for " << ResultPtr
838 << " pointing at " << ((void**)MemMgr.getGOTBase())[idx]
839 << "\n";
Andrew Lenharth6a974612005-07-28 12:44:13 +0000840 ((void**)MemMgr.getGOTBase())[idx] = ResultPtr;
841 }
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000842 }
Chris Lattner5be478f2004-11-20 03:46:14 +0000843 }
844
Chris Lattner43b429b2006-05-02 18:27:26 +0000845 TheJIT->getJITInfo().relocate(BufferBegin, &Relocations[0],
Andrew Lenharth16ec33c2005-07-22 20:48:12 +0000846 Relocations.size(), MemMgr.getGOTBase());
Chris Lattner5be478f2004-11-20 03:46:14 +0000847 }
848
Chris Lattnerd2d5c762006-05-03 18:55:56 +0000849 // Update the GOT entry for F to point to the new code.
Andrew Lenharth6a974612005-07-28 12:44:13 +0000850 if(MemMgr.isManagingGOT()) {
Chris Lattner43b429b2006-05-02 18:27:26 +0000851 unsigned idx = getJITResolver(this).getGOTIndexForAddr((void*)BufferBegin);
852 if (((void**)MemMgr.getGOTBase())[idx] != (void*)BufferBegin) {
Bill Wendling832171c2006-12-07 20:04:42 +0000853 DOUT << "GOT was out of date for " << (void*)BufferBegin
854 << " pointing at " << ((void**)MemMgr.getGOTBase())[idx] << "\n";
Chris Lattner43b429b2006-05-02 18:27:26 +0000855 ((void**)MemMgr.getGOTBase())[idx] = (void*)BufferBegin;
Andrew Lenharth6a974612005-07-28 12:44:13 +0000856 }
857 }
858
Evan Cheng55fc2802006-07-25 20:40:54 +0000859 // Invalidate the icache if necessary.
Evan Cheng55b50532006-07-27 06:33:55 +0000860 synchronizeICache(FnStart, FnEnd-FnStart);
Evan Cheng55fc2802006-07-25 20:40:54 +0000861
Bill Wendling832171c2006-12-07 20:04:42 +0000862 DOUT << "JIT: Finished CodeGen of [" << (void*)FnStart
863 << "] Function: " << F.getFunction()->getName()
864 << ": " << (FnEnd-FnStart) << " bytes of text, "
865 << Relocations.size() << " relocations\n";
Chris Lattner5be478f2004-11-20 03:46:14 +0000866 Relocations.clear();
Chris Lattner43b429b2006-05-02 18:27:26 +0000867 return false;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000868}
869
Chris Lattner166f2262004-11-22 22:00:25 +0000870void JITEmitter::emitConstantPool(MachineConstantPool *MCP) {
Chris Lattnerfa77d432006-02-09 04:22:52 +0000871 const std::vector<MachineConstantPoolEntry> &Constants = MCP->getConstants();
Chris Lattner2c0a6a12003-11-30 04:23:21 +0000872 if (Constants.empty()) return;
873
Evan Chengcd5731d2006-09-12 20:59:59 +0000874 MachineConstantPoolEntry CPE = Constants.back();
875 unsigned Size = CPE.Offset;
876 const Type *Ty = CPE.isMachineConstantPoolEntry()
Chris Lattner8a650092006-09-13 16:21:10 +0000877 ? CPE.Val.MachineCPVal->getType() : CPE.Val.ConstVal->getType();
Evan Chengcd5731d2006-09-12 20:59:59 +0000878 Size += TheJIT->getTargetData()->getTypeSize(Ty);
Chris Lattner2c0a6a12003-11-30 04:23:21 +0000879
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000880 ConstantPoolBase = allocateSpace(Size, 1 << MCP->getConstantPoolAlignment());
Chris Lattner239862c2006-02-09 04:49:59 +0000881 ConstantPool = MCP;
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000882
883 if (ConstantPoolBase == 0) return; // Buffer overflow.
884
Chris Lattner239862c2006-02-09 04:49:59 +0000885 // Initialize the memory for all of the constant pool entries.
Chris Lattner3029f922006-02-09 04:46:04 +0000886 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
Chris Lattner239862c2006-02-09 04:49:59 +0000887 void *CAddr = (char*)ConstantPoolBase+Constants[i].Offset;
Evan Chengcd5731d2006-09-12 20:59:59 +0000888 if (Constants[i].isMachineConstantPoolEntry()) {
889 // FIXME: add support to lower machine constant pool values into bytes!
Bill Wendling832171c2006-12-07 20:04:42 +0000890 cerr << "Initialize memory with machine specific constant pool entry"
891 << " has not been implemented!\n";
Evan Chengcd5731d2006-09-12 20:59:59 +0000892 abort();
893 }
894 TheJIT->InitializeMemory(Constants[i].Val.ConstVal, CAddr);
Chris Lattner1cc08382003-01-13 01:00:12 +0000895 }
896}
897
Nate Begeman37efe672006-04-22 18:53:45 +0000898void JITEmitter::initJumpTableInfo(MachineJumpTableInfo *MJTI) {
899 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
900 if (JT.empty()) return;
901
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000902 unsigned NumEntries = 0;
Nate Begeman37efe672006-04-22 18:53:45 +0000903 for (unsigned i = 0, e = JT.size(); i != e; ++i)
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000904 NumEntries += JT[i].MBBs.size();
905
906 unsigned EntrySize = MJTI->getEntrySize();
907
Nate Begeman37efe672006-04-22 18:53:45 +0000908 // Just allocate space for all the jump tables now. We will fix up the actual
909 // MBB entries in the tables after we emit the code for each block, since then
910 // we will know the final locations of the MBBs in memory.
911 JumpTable = MJTI;
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000912 JumpTableBase = allocateSpace(NumEntries * EntrySize, MJTI->getAlignment());
Nate Begeman37efe672006-04-22 18:53:45 +0000913}
914
Jim Laskeyb92767a2006-12-14 22:53:42 +0000915void JITEmitter::emitJumpTableInfo(MachineJumpTableInfo *MJTI) {
Nate Begeman37efe672006-04-22 18:53:45 +0000916 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
Chris Lattnerf75f9be2006-05-02 23:22:24 +0000917 if (JT.empty() || JumpTableBase == 0) return;
Nate Begeman37efe672006-04-22 18:53:45 +0000918
Jim Laskeyb92767a2006-12-14 22:53:42 +0000919 if (TargetMachine::getRelocationModel() == Reloc::PIC_) {
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000920 assert(MJTI->getEntrySize() == 4 && "Cross JIT'ing?");
921 // For each jump table, place the offset from the beginning of the table
922 // to the target address.
923 int *SlotPtr = (int*)JumpTableBase;
Chris Lattner32ca55f2006-05-03 00:13:06 +0000924
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000925 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
926 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
927 // Store the offset of the basic block for this jump table slot in the
928 // memory we allocated for the jump table in 'initJumpTableInfo'
929 intptr_t Base = (intptr_t)SlotPtr;
930 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
931 *SlotPtr++ = (intptr_t)getMachineBasicBlockAddress(MBBs[mi]) - Base;
932 }
933 } else {
934 assert(MJTI->getEntrySize() == sizeof(void*) && "Cross JIT'ing?");
935
936 // For each jump table, map each target in the jump table to the address of
937 // an emitted MachineBasicBlock.
938 intptr_t *SlotPtr = (intptr_t*)JumpTableBase;
939
940 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
941 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
942 // Store the address of the basic block for this jump table slot in the
943 // memory we allocated for the jump table in 'initJumpTableInfo'
944 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi)
945 *SlotPtr++ = getMachineBasicBlockAddress(MBBs[mi]);
946 }
Nate Begeman37efe672006-04-22 18:53:45 +0000947 }
948}
949
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000950void JITEmitter::startFunctionStub(unsigned StubSize, unsigned Alignment) {
Chris Lattner43b429b2006-05-02 18:27:26 +0000951 SavedBufferBegin = BufferBegin;
952 SavedBufferEnd = BufferEnd;
953 SavedCurBufferPtr = CurBufferPtr;
954
Evan Cheng9a1e9b92006-11-16 20:04:54 +0000955 BufferBegin = CurBufferPtr = MemMgr.allocateStub(StubSize, Alignment);
Chris Lattner43b429b2006-05-02 18:27:26 +0000956 BufferEnd = BufferBegin+StubSize+1;
Chris Lattner6125fdd2003-05-09 03:30:07 +0000957}
958
Chris Lattner166f2262004-11-22 22:00:25 +0000959void *JITEmitter::finishFunctionStub(const Function *F) {
Chris Lattner43b429b2006-05-02 18:27:26 +0000960 NumBytes += getCurrentPCOffset();
961 std::swap(SavedBufferBegin, BufferBegin);
962 BufferEnd = SavedBufferEnd;
963 CurBufferPtr = SavedCurBufferPtr;
964 return SavedBufferBegin;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000965}
966
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000967// getConstantPoolEntryAddress - Return the address of the 'ConstantNum' entry
968// in the constant pool that was last emitted with the 'emitConstantPool'
969// method.
970//
Chris Lattnerb4432f32006-05-03 17:10:41 +0000971intptr_t JITEmitter::getConstantPoolEntryAddress(unsigned ConstantNum) const {
Chris Lattner239862c2006-02-09 04:49:59 +0000972 assert(ConstantNum < ConstantPool->getConstants().size() &&
Misha Brukman3c944972005-04-22 04:08:30 +0000973 "Invalid ConstantPoolIndex!");
Chris Lattner239862c2006-02-09 04:49:59 +0000974 return (intptr_t)ConstantPoolBase +
975 ConstantPool->getConstants()[ConstantNum].Offset;
Chris Lattnerbba1b6d2003-06-01 23:24:36 +0000976}
977
Nate Begeman37efe672006-04-22 18:53:45 +0000978// getJumpTableEntryAddress - Return the address of the JumpTable with index
979// 'Index' in the jumpp table that was last initialized with 'initJumpTableInfo'
980//
Chris Lattnerb4432f32006-05-03 17:10:41 +0000981intptr_t JITEmitter::getJumpTableEntryAddress(unsigned Index) const {
Nate Begeman37efe672006-04-22 18:53:45 +0000982 const std::vector<MachineJumpTableEntry> &JT = JumpTable->getJumpTables();
983 assert(Index < JT.size() && "Invalid jump table index!");
984
985 unsigned Offset = 0;
986 unsigned EntrySize = JumpTable->getEntrySize();
987
988 for (unsigned i = 0; i < Index; ++i)
Jim Laskeyacd80ac2006-12-14 19:17:33 +0000989 Offset += JT[i].MBBs.size();
990
991 Offset *= EntrySize;
Nate Begeman37efe672006-04-22 18:53:45 +0000992
Nate Begemanc34b2272006-04-25 17:46:32 +0000993 return (intptr_t)((char *)JumpTableBase + Offset);
Nate Begeman37efe672006-04-22 18:53:45 +0000994}
995
Chris Lattnere993cc22006-05-11 23:08:08 +0000996//===----------------------------------------------------------------------===//
997// Public interface to this file
998//===----------------------------------------------------------------------===//
999
1000MachineCodeEmitter *JIT::createEmitter(JIT &jit) {
1001 return new JITEmitter(jit);
1002}
1003
Misha Brukmand69c1e62003-07-28 19:09:06 +00001004// getPointerToNamedFunction - This function is used as a global wrapper to
Chris Lattner4d326fa2003-12-20 01:46:27 +00001005// JIT::getPointerToNamedFunction for the purpose of resolving symbols when
Misha Brukmand69c1e62003-07-28 19:09:06 +00001006// bugpoint is debugging the JIT. In that scenario, we are loading an .so and
1007// need to resolve function(s) that are being mis-codegenerated, so we need to
1008// resolve their addresses at runtime, and this is the way to do it.
1009extern "C" {
1010 void *getPointerToNamedFunction(const char *Name) {
Chris Lattnerfe854032006-08-16 01:24:12 +00001011 if (Function *F = TheJIT->FindFunctionNamed(Name))
Chris Lattner4d326fa2003-12-20 01:46:27 +00001012 return TheJIT->getPointerToFunction(F);
1013 return TheJIT->getPointerToNamedFunction(Name);
Misha Brukmand69c1e62003-07-28 19:09:06 +00001014 }
1015}
Chris Lattnere993cc22006-05-11 23:08:08 +00001016
1017// getPointerToFunctionOrStub - If the specified function has been
1018// code-gen'd, return a pointer to the function. If not, compile it, or use
1019// a stub to implement lazy compilation if available.
1020//
1021void *JIT::getPointerToFunctionOrStub(Function *F) {
1022 // If we have already code generated the function, just return the address.
1023 if (void *Addr = getPointerToGlobalIfAvailable(F))
1024 return Addr;
1025
1026 // Get a stub if the target supports it
1027 return getJITResolver(MCE).getFunctionStub(F);
1028}
1029
1030/// freeMachineCodeForFunction - release machine code memory for given Function.
1031///
1032void JIT::freeMachineCodeForFunction(Function *F) {
1033 // Delete translation for this from the ExecutionEngine, so it will get
1034 // retranslated next time it is used.
1035 updateGlobalMapping(F, 0);
1036
1037 // Free the actual memory for the function body and related stuff.
1038 assert(dynamic_cast<JITEmitter*>(MCE) && "Unexpected MCE?");
1039 dynamic_cast<JITEmitter*>(MCE)->deallocateMemForFunction(F);
1040}
1041