blob: 0c6044c928a6411712b868e40f65e99ef1316ba3 [file] [log] [blame]
Nate Begeman21e463b2005-10-16 05:39:50 +00001//===-- PPCJITInfo.cpp - Implement the JIT interfaces for the PowerPC -----===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Chris Lattner9b3d9892004-11-23 06:02:06 +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 Brukmanb5f662f2005-04-21 23:30:14 +00007//
Chris Lattner9b3d9892004-11-23 06:02:06 +00008//===----------------------------------------------------------------------===//
9//
10// This file implements the JIT interfaces for the 32-bit PowerPC target.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "jit"
Chris Lattnerb9459b72005-10-14 23:53:41 +000015#include "PPCJITInfo.h"
Chris Lattner16e71f22005-10-14 23:59:06 +000016#include "PPCRelocations.h"
Chris Lattner9b3d9892004-11-23 06:02:06 +000017#include "llvm/CodeGen/MachineCodeEmitter.h"
18#include "llvm/Config/alloca.h"
Evan Cheng55fc2802006-07-25 20:40:54 +000019#include "llvm/Support/Debug.h"
Chris Lattner15ee8ad2004-11-26 20:25:17 +000020#include <set>
Evan Cheng55fc2802006-07-25 20:40:54 +000021#include <iostream>
Chris Lattner9b3d9892004-11-23 06:02:06 +000022using namespace llvm;
23
24static TargetJITInfo::JITCompilerFn JITCompilerFunction;
25
26#define BUILD_ADDIS(RD,RS,IMM16) \
27 ((15 << 26) | ((RD) << 21) | ((RS) << 16) | ((IMM16) & 65535))
28#define BUILD_ORI(RD,RS,UIMM16) \
29 ((24 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
30#define BUILD_MTSPR(RS,SPR) \
31 ((31 << 26) | ((RS) << 21) | ((SPR) << 16) | (467 << 1))
32#define BUILD_BCCTRx(BO,BI,LINK) \
33 ((19 << 26) | ((BO) << 21) | ((BI) << 16) | (528 << 1) | ((LINK) & 1))
34
35// Pseudo-ops
36#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
37#define BUILD_MTCTR(RS) BUILD_MTSPR(RS,9)
38#define BUILD_BCTR(LINK) BUILD_BCCTRx(20,0,LINK)
39
Chris Lattner9b3d9892004-11-23 06:02:06 +000040
Chris Lattner7c83dc22004-11-23 06:27:02 +000041static void EmitBranchToAt(void *At, void *To, bool isCall) {
Chris Lattner9b3d9892004-11-23 06:02:06 +000042 intptr_t Addr = (intptr_t)To;
43
44 // FIXME: should special case the short branch case.
45 unsigned *AtI = (unsigned*)At;
46
47 AtI[0] = BUILD_LIS(12, Addr >> 16); // lis r12, hi16(address)
48 AtI[1] = BUILD_ORI(12, 12, Addr); // ori r12, r12, low16(address)
49 AtI[2] = BUILD_MTCTR(12); // mtctr r12
Chris Lattner7c83dc22004-11-23 06:27:02 +000050 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
Chris Lattner9b3d9892004-11-23 06:02:06 +000051}
52
Chris Lattner73278082004-11-24 21:01:46 +000053extern "C" void PPC32CompilationCallback();
54
Nate Begemanca6d0f52004-11-23 21:34:18 +000055#if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)
Chris Lattner73278082004-11-24 21:01:46 +000056// CompilationCallback stub - We can't use a C function with inline assembly in
57// it, because we the prolog/epilog inserted by GCC won't work for us. Instead,
58// write our own wrapper, which does things our way, so we have complete control
59// over register saving and restoring.
60asm(
61 ".text\n"
62 ".align 2\n"
63 ".globl _PPC32CompilationCallback\n"
64"_PPC32CompilationCallback:\n"
Nate Begeman54252672006-05-02 04:50:05 +000065 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
66 // FIXME: need to save v[0-19] for altivec?
67 // Set up a proper stack frame
68 "stwu r1, -208(r1)\n"
69 "mflr r0\n"
70 "stw r0, 216(r1)\n"
71 // Save all int arg registers
72 "stw r10, 204(r1)\n" "stw r9, 200(r1)\n"
73 "stw r8, 196(r1)\n" "stw r7, 192(r1)\n"
74 "stw r6, 188(r1)\n" "stw r5, 184(r1)\n"
75 "stw r4, 180(r1)\n" "stw r3, 176(r1)\n"
Chris Lattner73278082004-11-24 21:01:46 +000076 // Save all call-clobbered FP regs.
Nate Begeman54252672006-05-02 04:50:05 +000077 "stfd f13, 168(r1)\n" "stfd f12, 160(r1)\n"
78 "stfd f11, 152(r1)\n" "stfd f10, 144(r1)\n"
79 "stfd f9, 136(r1)\n" "stfd f8, 128(r1)\n"
80 "stfd f7, 120(r1)\n" "stfd f6, 112(r1)\n"
81 "stfd f5, 104(r1)\n" "stfd f4, 96(r1)\n"
82 "stfd f3, 88(r1)\n" "stfd f2, 80(r1)\n"
83 "stfd f1, 72(r1)\n"
84 // Arguments to Compilation Callback:
85 // r3 - our lr (address of the call instruction in stub plus 4)
86 // r4 - stub's lr (address of instruction that called the stub plus 4)
87 "mr r3, r0\n"
88 "lwz r2, 208(r1)\n" // stub's frame
89 "lwz r4, 8(r2)\n" // stub's lr
Chris Lattner73278082004-11-24 21:01:46 +000090 "bl _PPC32CompilationCallbackC\n"
Nate Begeman54252672006-05-02 04:50:05 +000091 "mtctr r3\n"
92 // Restore all int arg registers
93 "lwz r10, 204(r1)\n" "lwz r9, 200(r1)\n"
94 "lwz r8, 196(r1)\n" "lwz r7, 192(r1)\n"
95 "lwz r6, 188(r1)\n" "lwz r5, 184(r1)\n"
96 "lwz r4, 180(r1)\n" "lwz r3, 176(r1)\n"
97 // Restore all FP arg registers
98 "lfd f13, 168(r1)\n" "lfd f12, 160(r1)\n"
99 "lfd f11, 152(r1)\n" "lfd f10, 144(r1)\n"
100 "lfd f9, 136(r1)\n" "lfd f8, 128(r1)\n"
101 "lfd f7, 120(r1)\n" "lfd f6, 112(r1)\n"
102 "lfd f5, 104(r1)\n" "lfd f4, 96(r1)\n"
103 "lfd f3, 88(r1)\n" "lfd f2, 80(r1)\n"
104 "lfd f1, 72(r1)\n"
105 // Pop 3 frames off the stack and branch to target
106 "lwz r1, 208(r1)\n"
107 "lwz r2, 8(r1)\n"
108 "mtlr r2\n"
109 "bctr\n"
Chris Lattner73278082004-11-24 21:01:46 +0000110 );
Chris Lattnerfde839b2004-11-25 06:14:45 +0000111#else
112void PPC32CompilationCallback() {
113 assert(0 && "This is not a power pc, you can't execute this!");
114 abort();
115}
Nate Begemanca6d0f52004-11-23 21:34:18 +0000116#endif
117
Nate Begeman54252672006-05-02 04:50:05 +0000118extern "C" unsigned *PPC32CompilationCallbackC(unsigned *StubCallAddrPlus4,
119 unsigned *OrigCallAddrPlus4) {
Nate Begemanb3f70d72006-04-25 04:45:59 +0000120 // Adjust the pointer to the address of the call instruction in the stub
121 // emitted by emitFunctionStub, rather than the instruction after it.
122 unsigned *StubCallAddr = StubCallAddrPlus4 - 1;
123 unsigned *OrigCallAddr = OrigCallAddrPlus4 - 1;
Chris Lattnere61198b2004-11-23 06:55:05 +0000124
Nate Begemanb3f70d72006-04-25 04:45:59 +0000125 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattnere61198b2004-11-23 06:55:05 +0000126
Nate Begemanb3f70d72006-04-25 04:45:59 +0000127 // Check to see if *OrigCallAddr is a 'bl' instruction, and if we can rewrite
128 // it to branch directly to the destination. If so, rewrite it so it does not
129 // need to go through the stub anymore.
130 unsigned OrigCallInst = *OrigCallAddr;
131 if ((OrigCallInst >> 26) == 18) { // Direct call.
132 intptr_t Offset = ((intptr_t)Target - (intptr_t)OrigCallAddr) >> 2;
133
Chris Lattnere61198b2004-11-23 06:55:05 +0000134 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner892afa92004-11-24 18:00:02 +0000135 // Clear the original target out.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000136 OrigCallInst &= (63 << 26) | 3;
Chris Lattner892afa92004-11-24 18:00:02 +0000137 // Fill in the new target.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000138 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner892afa92004-11-24 18:00:02 +0000139 // Replace the call.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000140 *OrigCallAddr = OrigCallInst;
Chris Lattnere61198b2004-11-23 06:55:05 +0000141 }
142 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000143
Nate Begemanb3f70d72006-04-25 04:45:59 +0000144 // Assert that we are coming from a stub that was created with our
145 // emitFunctionStub.
146 assert((*StubCallAddr >> 26) == 19 && "Call in stub is not indirect!");
147 StubCallAddr -= 6;
Chris Lattnere61198b2004-11-23 06:55:05 +0000148
149 // Rewrite the stub with an unconditional branch to the target, for any users
150 // who took the address of the stub.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000151 EmitBranchToAt(StubCallAddr, Target, false);
Chris Lattnere61198b2004-11-23 06:55:05 +0000152
Nate Begemanb3f70d72006-04-25 04:45:59 +0000153 // Put the address of the target function to call and the address to return to
154 // after calling the target function in a place that is easy to get on the
155 // stack after we restore all regs.
Nate Begeman54252672006-05-02 04:50:05 +0000156 return (unsigned *)Target;
Chris Lattnere61198b2004-11-23 06:55:05 +0000157}
158
159
160
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000161TargetJITInfo::LazyResolverFn
Nate Begeman21e463b2005-10-16 05:39:50 +0000162PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattnere61198b2004-11-23 06:55:05 +0000163 JITCompilerFunction = Fn;
Chris Lattner73278082004-11-24 21:01:46 +0000164 return PPC32CompilationCallback;
Chris Lattnere61198b2004-11-23 06:55:05 +0000165}
166
Nate Begeman21e463b2005-10-16 05:39:50 +0000167void *PPCJITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000168 // If this is just a call to an external function, emit a branch instead of a
169 // call. The code is the same except for one bit of the last instruction.
Chris Lattner08a9a982006-06-01 17:17:06 +0000170 if (Fn != (void*)(intptr_t)PPC32CompilationCallback) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000171 MCE.startFunctionStub(4*4);
172 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000173 MCE.emitWordBE(0);
174 MCE.emitWordBE(0);
175 MCE.emitWordBE(0);
176 MCE.emitWordBE(0);
Chris Lattner7c83dc22004-11-23 06:27:02 +0000177 EmitBranchToAt(Addr, Fn, false);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000178 return MCE.finishFunctionStub(0);
179 }
180
Chris Lattner7c83dc22004-11-23 06:27:02 +0000181 MCE.startFunctionStub(4*7);
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000182 MCE.emitWordBE(0x9421ffe0); // stwu r1,-32(r1)
183 MCE.emitWordBE(0x7d6802a6); // mflr r11
184 MCE.emitWordBE(0x91610028); // stw r11, 40(r1)
Chris Lattner7c83dc22004-11-23 06:27:02 +0000185 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000186 MCE.emitWordBE(0);
187 MCE.emitWordBE(0);
188 MCE.emitWordBE(0);
189 MCE.emitWordBE(0);
Chris Lattner7c83dc22004-11-23 06:27:02 +0000190 EmitBranchToAt(Addr, Fn, true/*is call*/);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000191 return MCE.finishFunctionStub(0);
192}
193
194
Nate Begeman21e463b2005-10-16 05:39:50 +0000195void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
196 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000197 for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
198 unsigned *RelocPos = (unsigned*)Function + MR->getMachineCodeOffset()/4;
199 intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
200 switch ((PPC::RelocationType)MR->getRelocationType()) {
201 default: assert(0 && "Unknown relocation type!");
202 case PPC::reloc_pcrel_bx:
203 // PC-relative relocation for b and bl instructions.
204 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
205 assert(ResultPtr >= -(1 << 23) && ResultPtr < (1 << 23) &&
206 "Relocation out of range!");
207 *RelocPos |= (ResultPtr & ((1 << 24)-1)) << 2;
208 break;
Chris Lattner5efb75d2004-11-24 22:30:08 +0000209 case PPC::reloc_absolute_ptr_high: // Pointer relocations.
Nate Begeman6fcbd692006-04-21 22:04:15 +0000210 case PPC::reloc_absolute_ptr_low:
Chris Lattner5efb75d2004-11-24 22:30:08 +0000211 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
Chris Lattner3bc8a762006-07-12 21:23:20 +0000212 case PPC::reloc_absolute_low: { // low bits of ref -> low 16 of instr
Chris Lattner9b3d9892004-11-23 06:02:06 +0000213 ResultPtr += MR->getConstantVal();
214
Chris Lattner5efb75d2004-11-24 22:30:08 +0000215 // If this is a high-part access, get the high-part.
216 if (MR->getRelocationType() == PPC::reloc_absolute_high ||
217 MR->getRelocationType() == PPC::reloc_absolute_ptr_high) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000218 // If the low part will have a carry (really a borrow) from the low
219 // 16-bits into the high 16, add a bit to borrow from.
220 if (((int)ResultPtr << 16) < 0)
221 ResultPtr += 1 << 16;
222 ResultPtr >>= 16;
223 }
224
225 // Do the addition then mask, so the addition does not overflow the 16-bit
226 // immediate section of the instruction.
227 unsigned LowBits = (*RelocPos + ResultPtr) & 65535;
228 unsigned HighBits = *RelocPos & ~65535;
229 *RelocPos = LowBits | HighBits; // Slam into low 16-bits
230 break;
231 }
Chris Lattner3bc8a762006-07-12 21:23:20 +0000232 case PPC::reloc_absolute_low_ix: { // low bits of ref -> low 14 of instr
233 ResultPtr += MR->getConstantVal();
234 // Do the addition then mask, so the addition does not overflow the 16-bit
235 // immediate section of the instruction.
236 unsigned LowBits = (*RelocPos + ResultPtr) & 0xFFFC;
237 unsigned HighBits = *RelocPos & 0xFFFF0003;
238 *RelocPos = LowBits | HighBits; // Slam into low 14-bits.
239 break;
240 }
241 }
Chris Lattner9b3d9892004-11-23 06:02:06 +0000242 }
243}
244
Nate Begeman21e463b2005-10-16 05:39:50 +0000245void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Chris Lattner7c83dc22004-11-23 06:27:02 +0000246 EmitBranchToAt(Old, New, false);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000247}
Evan Cheng55fc2802006-07-25 20:40:54 +0000248
249void PPCJITInfo::resolveBBRefs(MachineCodeEmitter &MCE) {
250 // Resolve branches to BasicBlocks for the entire function
251 for (unsigned i = 0, e = BBRefs.size(); i != e; ++i) {
252 intptr_t Location = MCE.getMachineBasicBlockAddress(BBRefs[i].first);
253 unsigned *Ref = (unsigned *)BBRefs[i].second;
254 DEBUG(std::cerr << "Fixup @ " << (void*)Ref << " to " << (void*)Location
255 << "\n");
256 unsigned Instr = *Ref;
257 intptr_t BranchTargetDisp = (Location - (intptr_t)Ref) >> 2;
258
259 switch (Instr >> 26) {
260 default: assert(0 && "Unknown branch user!");
261 case 18: // This is B or BL
262 *Ref |= (BranchTargetDisp & ((1 << 24)-1)) << 2;
263 break;
264 case 16: // This is BLT,BLE,BEQ,BGE,BGT,BNE, or other bcx instruction
265 *Ref |= (BranchTargetDisp & ((1 << 14)-1)) << 2;
266 break;
267 }
268 }
269 BBRefs.clear();
270}
271
272#ifdef __APPLE__
273extern "C" void sys_icache_invalidate(const void *Addr, size_t len);
274#endif
275
276void PPCJITInfo::synchronizeICache(const void *Addr, size_t Len) {
277#ifdef __APPLE__
278 sys_icache_invalidate(Addr, Len);
279#endif
280}