blob: 24a62fe2304268aeaa43d4b77a6eb7102810b44b [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>
Chris Lattner9b3d9892004-11-23 06:02:06 +000021using namespace llvm;
22
23static TargetJITInfo::JITCompilerFn JITCompilerFunction;
24
25#define BUILD_ADDIS(RD,RS,IMM16) \
26 ((15 << 26) | ((RD) << 21) | ((RS) << 16) | ((IMM16) & 65535))
27#define BUILD_ORI(RD,RS,UIMM16) \
28 ((24 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
Nate Begeman06abd222006-08-29 02:30:59 +000029#define BUILD_ORIS(RD,RS,UIMM16) \
30 ((25 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
31#define BUILD_RLDICR(RD,RS,SH,ME) \
32 ((30 << 26) | ((RS) << 21) | ((RD) << 16) | (((SH) & 31) << 11) | \
Chris Lattnereb63b0a2006-12-07 23:44:07 +000033 (((ME) & 63) << 6) | (1 << 2) | ((((SH) >> 5) & 1) << 1))
Chris Lattner9b3d9892004-11-23 06:02:06 +000034#define BUILD_MTSPR(RS,SPR) \
35 ((31 << 26) | ((RS) << 21) | ((SPR) << 16) | (467 << 1))
36#define BUILD_BCCTRx(BO,BI,LINK) \
37 ((19 << 26) | ((BO) << 21) | ((BI) << 16) | (528 << 1) | ((LINK) & 1))
Nate Begeman06abd222006-08-29 02:30:59 +000038#define BUILD_B(TARGET, LINK) \
39 ((18 << 26) | (((TARGET) & 0x00FFFFFF) << 2) | ((LINK) & 1))
Chris Lattner9b3d9892004-11-23 06:02:06 +000040
41// Pseudo-ops
42#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
Nate Begeman06abd222006-08-29 02:30:59 +000043#define BUILD_SLDI(RD,RS,IMM6) BUILD_RLDICR(RD,RS,IMM6,63-IMM6)
Chris Lattner9b3d9892004-11-23 06:02:06 +000044#define BUILD_MTCTR(RS) BUILD_MTSPR(RS,9)
45#define BUILD_BCTR(LINK) BUILD_BCCTRx(20,0,LINK)
46
Nate Begeman06abd222006-08-29 02:30:59 +000047static void EmitBranchToAt(uint64_t At, uint64_t To, bool isCall, bool is64Bit){
48 intptr_t Offset = ((intptr_t)To - (intptr_t)At) >> 2;
49 unsigned *AtI = (unsigned*)(intptr_t)At;
Chris Lattner9b3d9892004-11-23 06:02:06 +000050
Nate Begeman06abd222006-08-29 02:30:59 +000051 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
52 AtI[0] = BUILD_B(Offset, isCall); // b/bl target
53 } else if (!is64Bit) {
54 AtI[0] = BUILD_LIS(12, To >> 16); // lis r12, hi16(address)
55 AtI[1] = BUILD_ORI(12, 12, To); // ori r12, r12, lo16(address)
56 AtI[2] = BUILD_MTCTR(12); // mtctr r12
57 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
58 } else {
59 AtI[0] = BUILD_LIS(12, To >> 48); // lis r12, hi16(address)
60 AtI[1] = BUILD_ORI(12, 12, To >> 32); // ori r12, r12, lo16(address)
61 AtI[2] = BUILD_SLDI(12, 12, 32); // sldi r12, r12, 32
62 AtI[3] = BUILD_ORIS(12, 12, To >> 16); // oris r12, r12, hi16(address)
63 AtI[4] = BUILD_ORI(12, 12, To); // ori r12, r12, lo16(address)
64 AtI[5] = BUILD_MTCTR(12); // mtctr r12
65 AtI[6] = BUILD_BCTR(isCall); // bctr/bctrl
66 }
Chris Lattner9b3d9892004-11-23 06:02:06 +000067}
68
Chris Lattner73278082004-11-24 21:01:46 +000069extern "C" void PPC32CompilationCallback();
Nate Begeman06abd222006-08-29 02:30:59 +000070extern "C" void PPC64CompilationCallback();
Chris Lattner73278082004-11-24 21:01:46 +000071
Chris Lattner7be164c2006-09-28 23:32:43 +000072#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
73 !defined(__ppc64__)
Chris Lattner73278082004-11-24 21:01:46 +000074// CompilationCallback stub - We can't use a C function with inline assembly in
75// it, because we the prolog/epilog inserted by GCC won't work for us. Instead,
76// write our own wrapper, which does things our way, so we have complete control
77// over register saving and restoring.
78asm(
79 ".text\n"
80 ".align 2\n"
81 ".globl _PPC32CompilationCallback\n"
82"_PPC32CompilationCallback:\n"
Nate Begeman54252672006-05-02 04:50:05 +000083 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
84 // FIXME: need to save v[0-19] for altivec?
Nate Begeman06abd222006-08-29 02:30:59 +000085 // FIXME: could shrink frame
Nate Begeman54252672006-05-02 04:50:05 +000086 // Set up a proper stack frame
87 "stwu r1, -208(r1)\n"
88 "mflr r0\n"
89 "stw r0, 216(r1)\n"
90 // Save all int arg registers
91 "stw r10, 204(r1)\n" "stw r9, 200(r1)\n"
92 "stw r8, 196(r1)\n" "stw r7, 192(r1)\n"
93 "stw r6, 188(r1)\n" "stw r5, 184(r1)\n"
94 "stw r4, 180(r1)\n" "stw r3, 176(r1)\n"
Chris Lattner73278082004-11-24 21:01:46 +000095 // Save all call-clobbered FP regs.
Nate Begeman54252672006-05-02 04:50:05 +000096 "stfd f13, 168(r1)\n" "stfd f12, 160(r1)\n"
97 "stfd f11, 152(r1)\n" "stfd f10, 144(r1)\n"
98 "stfd f9, 136(r1)\n" "stfd f8, 128(r1)\n"
99 "stfd f7, 120(r1)\n" "stfd f6, 112(r1)\n"
100 "stfd f5, 104(r1)\n" "stfd f4, 96(r1)\n"
101 "stfd f3, 88(r1)\n" "stfd f2, 80(r1)\n"
102 "stfd f1, 72(r1)\n"
103 // Arguments to Compilation Callback:
104 // r3 - our lr (address of the call instruction in stub plus 4)
105 // r4 - stub's lr (address of instruction that called the stub plus 4)
106 "mr r3, r0\n"
107 "lwz r2, 208(r1)\n" // stub's frame
108 "lwz r4, 8(r2)\n" // stub's lr
Nate Begeman06abd222006-08-29 02:30:59 +0000109 "li r5, 0\n" // 0 == 32 bit
110 "bl _PPCCompilationCallbackC\n"
Nate Begeman54252672006-05-02 04:50:05 +0000111 "mtctr r3\n"
112 // Restore all int arg registers
113 "lwz r10, 204(r1)\n" "lwz r9, 200(r1)\n"
114 "lwz r8, 196(r1)\n" "lwz r7, 192(r1)\n"
115 "lwz r6, 188(r1)\n" "lwz r5, 184(r1)\n"
116 "lwz r4, 180(r1)\n" "lwz r3, 176(r1)\n"
117 // Restore all FP arg registers
118 "lfd f13, 168(r1)\n" "lfd f12, 160(r1)\n"
119 "lfd f11, 152(r1)\n" "lfd f10, 144(r1)\n"
120 "lfd f9, 136(r1)\n" "lfd f8, 128(r1)\n"
121 "lfd f7, 120(r1)\n" "lfd f6, 112(r1)\n"
122 "lfd f5, 104(r1)\n" "lfd f4, 96(r1)\n"
123 "lfd f3, 88(r1)\n" "lfd f2, 80(r1)\n"
124 "lfd f1, 72(r1)\n"
125 // Pop 3 frames off the stack and branch to target
126 "lwz r1, 208(r1)\n"
127 "lwz r2, 8(r1)\n"
128 "mtlr r2\n"
129 "bctr\n"
Chris Lattner73278082004-11-24 21:01:46 +0000130 );
Chris Lattnerfde839b2004-11-25 06:14:45 +0000131#else
132void PPC32CompilationCallback() {
133 assert(0 && "This is not a power pc, you can't execute this!");
134 abort();
135}
Nate Begemanca6d0f52004-11-23 21:34:18 +0000136#endif
137
Chris Lattner7be164c2006-09-28 23:32:43 +0000138#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
139 defined(__ppc64__)
Nate Begeman06abd222006-08-29 02:30:59 +0000140asm(
141 ".text\n"
142 ".align 2\n"
143 ".globl _PPC64CompilationCallback\n"
144"_PPC64CompilationCallback:\n"
145 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
146 // FIXME: need to save v[0-19] for altivec?
147 // Set up a proper stack frame
148 "stdu r1, -208(r1)\n"
149 "mflr r0\n"
150 "std r0, 224(r1)\n"
151 // Save all int arg registers
152 "std r10, 200(r1)\n" "std r9, 192(r1)\n"
153 "std r8, 184(r1)\n" "std r7, 176(r1)\n"
154 "std r6, 168(r1)\n" "std r5, 160(r1)\n"
155 "std r4, 152(r1)\n" "std r3, 144(r1)\n"
156 // Save all call-clobbered FP regs.
157 "stfd f13, 136(r1)\n" "stfd f12, 128(r1)\n"
158 "stfd f11, 120(r1)\n" "stfd f10, 112(r1)\n"
159 "stfd f9, 104(r1)\n" "stfd f8, 96(r1)\n"
160 "stfd f7, 88(r1)\n" "stfd f6, 80(r1)\n"
161 "stfd f5, 72(r1)\n" "stfd f4, 64(r1)\n"
162 "stfd f3, 56(r1)\n" "stfd f2, 48(r1)\n"
163 "stfd f1, 40(r1)\n"
164 // Arguments to Compilation Callback:
165 // r3 - our lr (address of the call instruction in stub plus 4)
166 // r4 - stub's lr (address of instruction that called the stub plus 4)
167 "mr r3, r0\n"
168 "ld r2, 208(r1)\n" // stub's frame
169 "ld r4, 16(r2)\n" // stub's lr
170 "li r5, 1\n" // 1 == 64 bit
171 "bl _PPCCompilationCallbackC\n"
172 "mtctr r3\n"
173 // Restore all int arg registers
174 "ld r10, 200(r1)\n" "ld r9, 192(r1)\n"
175 "ld r8, 184(r1)\n" "ld r7, 176(r1)\n"
176 "ld r6, 168(r1)\n" "ld r5, 160(r1)\n"
177 "ld r4, 152(r1)\n" "ld r3, 144(r1)\n"
178 // Restore all FP arg registers
179 "lfd f13, 136(r1)\n" "lfd f12, 128(r1)\n"
180 "lfd f11, 120(r1)\n" "lfd f10, 112(r1)\n"
181 "lfd f9, 104(r1)\n" "lfd f8, 96(r1)\n"
182 "lfd f7, 88(r1)\n" "lfd f6, 80(r1)\n"
183 "lfd f5, 72(r1)\n" "lfd f4, 64(r1)\n"
184 "lfd f3, 56(r1)\n" "lfd f2, 48(r1)\n"
185 "lfd f1, 40(r1)\n"
186 // Pop 3 frames off the stack and branch to target
187 "ld r1, 208(r1)\n"
188 "ld r2, 16(r1)\n"
189 "mtlr r2\n"
190 "bctr\n"
191 );
192#else
193void PPC64CompilationCallback() {
194 assert(0 && "This is not a power pc, you can't execute this!");
195 abort();
196}
197#endif
198
199extern "C" void *PPCCompilationCallbackC(unsigned *StubCallAddrPlus4,
200 unsigned *OrigCallAddrPlus4,
201 bool is64Bit) {
Nate Begemanb3f70d72006-04-25 04:45:59 +0000202 // Adjust the pointer to the address of the call instruction in the stub
203 // emitted by emitFunctionStub, rather than the instruction after it.
204 unsigned *StubCallAddr = StubCallAddrPlus4 - 1;
205 unsigned *OrigCallAddr = OrigCallAddrPlus4 - 1;
Chris Lattnere61198b2004-11-23 06:55:05 +0000206
Nate Begemanb3f70d72006-04-25 04:45:59 +0000207 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattnere61198b2004-11-23 06:55:05 +0000208
Nate Begemanb3f70d72006-04-25 04:45:59 +0000209 // Check to see if *OrigCallAddr is a 'bl' instruction, and if we can rewrite
210 // it to branch directly to the destination. If so, rewrite it so it does not
211 // need to go through the stub anymore.
212 unsigned OrigCallInst = *OrigCallAddr;
213 if ((OrigCallInst >> 26) == 18) { // Direct call.
214 intptr_t Offset = ((intptr_t)Target - (intptr_t)OrigCallAddr) >> 2;
215
Chris Lattnere61198b2004-11-23 06:55:05 +0000216 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner892afa92004-11-24 18:00:02 +0000217 // Clear the original target out.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000218 OrigCallInst &= (63 << 26) | 3;
Chris Lattner892afa92004-11-24 18:00:02 +0000219 // Fill in the new target.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000220 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner892afa92004-11-24 18:00:02 +0000221 // Replace the call.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000222 *OrigCallAddr = OrigCallInst;
Chris Lattnere61198b2004-11-23 06:55:05 +0000223 }
224 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000225
Nate Begemanb3f70d72006-04-25 04:45:59 +0000226 // Assert that we are coming from a stub that was created with our
227 // emitFunctionStub.
Nate Begeman06abd222006-08-29 02:30:59 +0000228 if ((*StubCallAddr >> 26) == 18)
229 StubCallAddr -= 3;
230 else {
Nate Begemanb3f70d72006-04-25 04:45:59 +0000231 assert((*StubCallAddr >> 26) == 19 && "Call in stub is not indirect!");
Nate Begeman06abd222006-08-29 02:30:59 +0000232 StubCallAddr -= is64Bit ? 9 : 6;
233 }
Chris Lattnere61198b2004-11-23 06:55:05 +0000234
235 // Rewrite the stub with an unconditional branch to the target, for any users
236 // who took the address of the stub.
Nate Begeman06abd222006-08-29 02:30:59 +0000237 EmitBranchToAt((intptr_t)StubCallAddr, (intptr_t)Target, false, is64Bit);
Chris Lattnere61198b2004-11-23 06:55:05 +0000238
Nate Begemanb3f70d72006-04-25 04:45:59 +0000239 // Put the address of the target function to call and the address to return to
240 // after calling the target function in a place that is easy to get on the
241 // stack after we restore all regs.
Nate Begeman06abd222006-08-29 02:30:59 +0000242 return Target;
Chris Lattnere61198b2004-11-23 06:55:05 +0000243}
244
245
246
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000247TargetJITInfo::LazyResolverFn
Nate Begeman21e463b2005-10-16 05:39:50 +0000248PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattnere61198b2004-11-23 06:55:05 +0000249 JITCompilerFunction = Fn;
Nate Begeman06abd222006-08-29 02:30:59 +0000250 return is64Bit ? PPC64CompilationCallback : PPC32CompilationCallback;
Chris Lattnere61198b2004-11-23 06:55:05 +0000251}
252
Nate Begeman21e463b2005-10-16 05:39:50 +0000253void *PPCJITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000254 // If this is just a call to an external function, emit a branch instead of a
255 // call. The code is the same except for one bit of the last instruction.
Nate Begeman06abd222006-08-29 02:30:59 +0000256 if (Fn != (void*)(intptr_t)PPC32CompilationCallback &&
257 Fn != (void*)(intptr_t)PPC64CompilationCallback) {
258 MCE.startFunctionStub(7*4);
259 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000260 MCE.emitWordBE(0);
261 MCE.emitWordBE(0);
262 MCE.emitWordBE(0);
263 MCE.emitWordBE(0);
Nate Begeman06abd222006-08-29 02:30:59 +0000264 MCE.emitWordBE(0);
265 MCE.emitWordBE(0);
266 MCE.emitWordBE(0);
267 EmitBranchToAt(Addr, (intptr_t)Fn, false, is64Bit);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000268 return MCE.finishFunctionStub(0);
269 }
270
Nate Begeman06abd222006-08-29 02:30:59 +0000271 MCE.startFunctionStub(10*4);
272 if (is64Bit) {
273 MCE.emitWordBE(0xf821ffb1); // stdu r1,-80(r1)
274 MCE.emitWordBE(0x7d6802a6); // mflr r11
275 MCE.emitWordBE(0xf9610060); // std r11, 96(r1)
276 } else {
277 MCE.emitWordBE(0x9421ffe0); // stwu r1,-32(r1)
278 MCE.emitWordBE(0x7d6802a6); // mflr r11
279 MCE.emitWordBE(0x91610028); // stw r11, 40(r1)
280 }
281 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000282 MCE.emitWordBE(0);
283 MCE.emitWordBE(0);
284 MCE.emitWordBE(0);
285 MCE.emitWordBE(0);
Nate Begeman06abd222006-08-29 02:30:59 +0000286 MCE.emitWordBE(0);
287 MCE.emitWordBE(0);
288 MCE.emitWordBE(0);
289 EmitBranchToAt(Addr, (intptr_t)Fn, true, is64Bit);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000290 return MCE.finishFunctionStub(0);
291}
292
293
Nate Begeman21e463b2005-10-16 05:39:50 +0000294void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
295 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000296 for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
297 unsigned *RelocPos = (unsigned*)Function + MR->getMachineCodeOffset()/4;
298 intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
299 switch ((PPC::RelocationType)MR->getRelocationType()) {
300 default: assert(0 && "Unknown relocation type!");
301 case PPC::reloc_pcrel_bx:
302 // PC-relative relocation for b and bl instructions.
303 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
304 assert(ResultPtr >= -(1 << 23) && ResultPtr < (1 << 23) &&
305 "Relocation out of range!");
306 *RelocPos |= (ResultPtr & ((1 << 24)-1)) << 2;
307 break;
Evan Chengf141cc42006-07-27 18:21:10 +0000308 case PPC::reloc_pcrel_bcx:
309 // PC-relative relocation for BLT,BLE,BEQ,BGE,BGT,BNE, or other
310 // bcx instructions.
311 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
312 assert(ResultPtr >= -(1 << 13) && ResultPtr < (1 << 13) &&
313 "Relocation out of range!");
314 *RelocPos |= (ResultPtr & ((1 << 14)-1)) << 2;
315 break;
Chris Lattner5efb75d2004-11-24 22:30:08 +0000316 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
Chris Lattner3bc8a762006-07-12 21:23:20 +0000317 case PPC::reloc_absolute_low: { // low bits of ref -> low 16 of instr
Chris Lattner9b3d9892004-11-23 06:02:06 +0000318 ResultPtr += MR->getConstantVal();
319
Chris Lattner5efb75d2004-11-24 22:30:08 +0000320 // If this is a high-part access, get the high-part.
Nate Begeman94be2482006-09-08 22:42:09 +0000321 if (MR->getRelocationType() == PPC::reloc_absolute_high) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000322 // If the low part will have a carry (really a borrow) from the low
323 // 16-bits into the high 16, add a bit to borrow from.
324 if (((int)ResultPtr << 16) < 0)
325 ResultPtr += 1 << 16;
326 ResultPtr >>= 16;
327 }
328
329 // Do the addition then mask, so the addition does not overflow the 16-bit
330 // immediate section of the instruction.
331 unsigned LowBits = (*RelocPos + ResultPtr) & 65535;
332 unsigned HighBits = *RelocPos & ~65535;
333 *RelocPos = LowBits | HighBits; // Slam into low 16-bits
334 break;
335 }
Chris Lattner3bc8a762006-07-12 21:23:20 +0000336 case PPC::reloc_absolute_low_ix: { // low bits of ref -> low 14 of instr
337 ResultPtr += MR->getConstantVal();
338 // Do the addition then mask, so the addition does not overflow the 16-bit
339 // immediate section of the instruction.
340 unsigned LowBits = (*RelocPos + ResultPtr) & 0xFFFC;
341 unsigned HighBits = *RelocPos & 0xFFFF0003;
342 *RelocPos = LowBits | HighBits; // Slam into low 14-bits.
343 break;
344 }
345 }
Chris Lattner9b3d9892004-11-23 06:02:06 +0000346 }
347}
348
Nate Begeman21e463b2005-10-16 05:39:50 +0000349void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Nate Begeman06abd222006-08-29 02:30:59 +0000350 EmitBranchToAt((intptr_t)Old, (intptr_t)New, false, is64Bit);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000351}