blob: a3ca3c52f88473f3f8b282564ad8664d43e0dc41 [file] [log] [blame]
Nate Begeman6cca84e2005-10-16 05:39:50 +00001//===-- PPCJITInfo.cpp - Implement the JIT interfaces for the PowerPC -----===//
Misha Brukmanb4402432005-04-21 23:30:14 +00002//
Chris Lattner8296c4c2004-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 Brukmanb4402432005-04-21 23:30:14 +00007//
Chris Lattner8296c4c2004-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 Lattner0aa794b2005-10-14 23:53:41 +000015#include "PPCJITInfo.h"
Chris Lattner6f3b9542005-10-14 23:59:06 +000016#include "PPCRelocations.h"
Chris Lattner8296c4c2004-11-23 06:02:06 +000017#include "llvm/CodeGen/MachineCodeEmitter.h"
18#include "llvm/Config/alloca.h"
Evan Chengf6acb342006-07-25 20:40:54 +000019#include "llvm/Support/Debug.h"
Chris Lattnerb50fd922004-11-26 20:25:17 +000020#include <set>
Evan Chengf6acb342006-07-25 20:40:54 +000021#include <iostream>
Chris Lattner8296c4c2004-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))
Nate Begeman18f03292006-08-29 02:30:59 +000030#define BUILD_ORIS(RD,RS,UIMM16) \
31 ((25 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
32#define BUILD_RLDICR(RD,RS,SH,ME) \
33 ((30 << 26) | ((RS) << 21) | ((RD) << 16) | (((SH) & 31) << 11) | \
34 (((ME) & 63) << 6) | (1 << 3) | (((SH) >> 5) & 1))
Chris Lattner8296c4c2004-11-23 06:02:06 +000035#define BUILD_MTSPR(RS,SPR) \
36 ((31 << 26) | ((RS) << 21) | ((SPR) << 16) | (467 << 1))
37#define BUILD_BCCTRx(BO,BI,LINK) \
38 ((19 << 26) | ((BO) << 21) | ((BI) << 16) | (528 << 1) | ((LINK) & 1))
Nate Begeman18f03292006-08-29 02:30:59 +000039#define BUILD_B(TARGET, LINK) \
40 ((18 << 26) | (((TARGET) & 0x00FFFFFF) << 2) | ((LINK) & 1))
Chris Lattner8296c4c2004-11-23 06:02:06 +000041
42// Pseudo-ops
43#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
Nate Begeman18f03292006-08-29 02:30:59 +000044#define BUILD_SLDI(RD,RS,IMM6) BUILD_RLDICR(RD,RS,IMM6,63-IMM6)
Chris Lattner8296c4c2004-11-23 06:02:06 +000045#define BUILD_MTCTR(RS) BUILD_MTSPR(RS,9)
46#define BUILD_BCTR(LINK) BUILD_BCCTRx(20,0,LINK)
47
Nate Begeman18f03292006-08-29 02:30:59 +000048static void EmitBranchToAt(uint64_t At, uint64_t To, bool isCall, bool is64Bit){
49 intptr_t Offset = ((intptr_t)To - (intptr_t)At) >> 2;
50 unsigned *AtI = (unsigned*)(intptr_t)At;
Chris Lattner8296c4c2004-11-23 06:02:06 +000051
Nate Begeman18f03292006-08-29 02:30:59 +000052 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
53 AtI[0] = BUILD_B(Offset, isCall); // b/bl target
54 } else if (!is64Bit) {
55 AtI[0] = BUILD_LIS(12, To >> 16); // lis r12, hi16(address)
56 AtI[1] = BUILD_ORI(12, 12, To); // ori r12, r12, lo16(address)
57 AtI[2] = BUILD_MTCTR(12); // mtctr r12
58 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
59 } else {
60 AtI[0] = BUILD_LIS(12, To >> 48); // lis r12, hi16(address)
61 AtI[1] = BUILD_ORI(12, 12, To >> 32); // ori r12, r12, lo16(address)
62 AtI[2] = BUILD_SLDI(12, 12, 32); // sldi r12, r12, 32
63 AtI[3] = BUILD_ORIS(12, 12, To >> 16); // oris r12, r12, hi16(address)
64 AtI[4] = BUILD_ORI(12, 12, To); // ori r12, r12, lo16(address)
65 AtI[5] = BUILD_MTCTR(12); // mtctr r12
66 AtI[6] = BUILD_BCTR(isCall); // bctr/bctrl
67 }
Chris Lattner8296c4c2004-11-23 06:02:06 +000068}
69
Chris Lattner078b6f22004-11-24 21:01:46 +000070extern "C" void PPC32CompilationCallback();
Nate Begeman18f03292006-08-29 02:30:59 +000071extern "C" void PPC64CompilationCallback();
Chris Lattner078b6f22004-11-24 21:01:46 +000072
Nate Begeman18f03292006-08-29 02:30:59 +000073#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && !defined(__ppc64__)
Chris Lattner078b6f22004-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 Begeman01364fb2006-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 Begeman18f03292006-08-29 02:30:59 +000085 // FIXME: could shrink frame
Nate Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +000095 // Save all call-clobbered FP regs.
Nate Begeman01364fb2006-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 Begeman18f03292006-08-29 02:30:59 +0000109 "li r5, 0\n" // 0 == 32 bit
110 "bl _PPCCompilationCallbackC\n"
Nate Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +0000130 );
Chris Lattner8cbad8e2004-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 Begeman61776062004-11-23 21:34:18 +0000136#endif
137
Nate Begeman18f03292006-08-29 02:30:59 +0000138#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && defined(__ppc64__)
139asm(
140 ".text\n"
141 ".align 2\n"
142 ".globl _PPC64CompilationCallback\n"
143"_PPC64CompilationCallback:\n"
144 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
145 // FIXME: need to save v[0-19] for altivec?
146 // Set up a proper stack frame
147 "stdu r1, -208(r1)\n"
148 "mflr r0\n"
149 "std r0, 224(r1)\n"
150 // Save all int arg registers
151 "std r10, 200(r1)\n" "std r9, 192(r1)\n"
152 "std r8, 184(r1)\n" "std r7, 176(r1)\n"
153 "std r6, 168(r1)\n" "std r5, 160(r1)\n"
154 "std r4, 152(r1)\n" "std r3, 144(r1)\n"
155 // Save all call-clobbered FP regs.
156 "stfd f13, 136(r1)\n" "stfd f12, 128(r1)\n"
157 "stfd f11, 120(r1)\n" "stfd f10, 112(r1)\n"
158 "stfd f9, 104(r1)\n" "stfd f8, 96(r1)\n"
159 "stfd f7, 88(r1)\n" "stfd f6, 80(r1)\n"
160 "stfd f5, 72(r1)\n" "stfd f4, 64(r1)\n"
161 "stfd f3, 56(r1)\n" "stfd f2, 48(r1)\n"
162 "stfd f1, 40(r1)\n"
163 // Arguments to Compilation Callback:
164 // r3 - our lr (address of the call instruction in stub plus 4)
165 // r4 - stub's lr (address of instruction that called the stub plus 4)
166 "mr r3, r0\n"
167 "ld r2, 208(r1)\n" // stub's frame
168 "ld r4, 16(r2)\n" // stub's lr
169 "li r5, 1\n" // 1 == 64 bit
170 "bl _PPCCompilationCallbackC\n"
171 "mtctr r3\n"
172 // Restore all int arg registers
173 "ld r10, 200(r1)\n" "ld r9, 192(r1)\n"
174 "ld r8, 184(r1)\n" "ld r7, 176(r1)\n"
175 "ld r6, 168(r1)\n" "ld r5, 160(r1)\n"
176 "ld r4, 152(r1)\n" "ld r3, 144(r1)\n"
177 // Restore all FP arg registers
178 "lfd f13, 136(r1)\n" "lfd f12, 128(r1)\n"
179 "lfd f11, 120(r1)\n" "lfd f10, 112(r1)\n"
180 "lfd f9, 104(r1)\n" "lfd f8, 96(r1)\n"
181 "lfd f7, 88(r1)\n" "lfd f6, 80(r1)\n"
182 "lfd f5, 72(r1)\n" "lfd f4, 64(r1)\n"
183 "lfd f3, 56(r1)\n" "lfd f2, 48(r1)\n"
184 "lfd f1, 40(r1)\n"
185 // Pop 3 frames off the stack and branch to target
186 "ld r1, 208(r1)\n"
187 "ld r2, 16(r1)\n"
188 "mtlr r2\n"
189 "bctr\n"
190 );
191#else
192void PPC64CompilationCallback() {
193 assert(0 && "This is not a power pc, you can't execute this!");
194 abort();
195}
196#endif
197
198extern "C" void *PPCCompilationCallbackC(unsigned *StubCallAddrPlus4,
199 unsigned *OrigCallAddrPlus4,
200 bool is64Bit) {
Nate Begeman318bb962006-04-25 04:45:59 +0000201 // Adjust the pointer to the address of the call instruction in the stub
202 // emitted by emitFunctionStub, rather than the instruction after it.
203 unsigned *StubCallAddr = StubCallAddrPlus4 - 1;
204 unsigned *OrigCallAddr = OrigCallAddrPlus4 - 1;
Chris Lattner4ff11752004-11-23 06:55:05 +0000205
Nate Begeman318bb962006-04-25 04:45:59 +0000206 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattner4ff11752004-11-23 06:55:05 +0000207
Nate Begeman318bb962006-04-25 04:45:59 +0000208 // Check to see if *OrigCallAddr is a 'bl' instruction, and if we can rewrite
209 // it to branch directly to the destination. If so, rewrite it so it does not
210 // need to go through the stub anymore.
211 unsigned OrigCallInst = *OrigCallAddr;
212 if ((OrigCallInst >> 26) == 18) { // Direct call.
213 intptr_t Offset = ((intptr_t)Target - (intptr_t)OrigCallAddr) >> 2;
214
Chris Lattner4ff11752004-11-23 06:55:05 +0000215 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner659d72e2004-11-24 18:00:02 +0000216 // Clear the original target out.
Nate Begeman318bb962006-04-25 04:45:59 +0000217 OrigCallInst &= (63 << 26) | 3;
Chris Lattner659d72e2004-11-24 18:00:02 +0000218 // Fill in the new target.
Nate Begeman318bb962006-04-25 04:45:59 +0000219 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner659d72e2004-11-24 18:00:02 +0000220 // Replace the call.
Nate Begeman318bb962006-04-25 04:45:59 +0000221 *OrigCallAddr = OrigCallInst;
Chris Lattner4ff11752004-11-23 06:55:05 +0000222 }
223 }
Misha Brukmanb4402432005-04-21 23:30:14 +0000224
Nate Begeman318bb962006-04-25 04:45:59 +0000225 // Assert that we are coming from a stub that was created with our
226 // emitFunctionStub.
Nate Begeman18f03292006-08-29 02:30:59 +0000227 if ((*StubCallAddr >> 26) == 18)
228 StubCallAddr -= 3;
229 else {
Nate Begeman318bb962006-04-25 04:45:59 +0000230 assert((*StubCallAddr >> 26) == 19 && "Call in stub is not indirect!");
Nate Begeman18f03292006-08-29 02:30:59 +0000231 StubCallAddr -= is64Bit ? 9 : 6;
232 }
Chris Lattner4ff11752004-11-23 06:55:05 +0000233
234 // Rewrite the stub with an unconditional branch to the target, for any users
235 // who took the address of the stub.
Nate Begeman18f03292006-08-29 02:30:59 +0000236 EmitBranchToAt((intptr_t)StubCallAddr, (intptr_t)Target, false, is64Bit);
Chris Lattner4ff11752004-11-23 06:55:05 +0000237
Nate Begeman318bb962006-04-25 04:45:59 +0000238 // Put the address of the target function to call and the address to return to
239 // after calling the target function in a place that is easy to get on the
240 // stack after we restore all regs.
Nate Begeman18f03292006-08-29 02:30:59 +0000241 return Target;
Chris Lattner4ff11752004-11-23 06:55:05 +0000242}
243
244
245
Misha Brukmanb4402432005-04-21 23:30:14 +0000246TargetJITInfo::LazyResolverFn
Nate Begeman6cca84e2005-10-16 05:39:50 +0000247PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattner4ff11752004-11-23 06:55:05 +0000248 JITCompilerFunction = Fn;
Nate Begeman18f03292006-08-29 02:30:59 +0000249 return is64Bit ? PPC64CompilationCallback : PPC32CompilationCallback;
Chris Lattner4ff11752004-11-23 06:55:05 +0000250}
251
Nate Begeman6cca84e2005-10-16 05:39:50 +0000252void *PPCJITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
Chris Lattner8296c4c2004-11-23 06:02:06 +0000253 // If this is just a call to an external function, emit a branch instead of a
254 // call. The code is the same except for one bit of the last instruction.
Nate Begeman18f03292006-08-29 02:30:59 +0000255 if (Fn != (void*)(intptr_t)PPC32CompilationCallback &&
256 Fn != (void*)(intptr_t)PPC64CompilationCallback) {
257 MCE.startFunctionStub(7*4);
258 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnere1c96362006-05-02 19:14:47 +0000259 MCE.emitWordBE(0);
260 MCE.emitWordBE(0);
261 MCE.emitWordBE(0);
262 MCE.emitWordBE(0);
Nate Begeman18f03292006-08-29 02:30:59 +0000263 MCE.emitWordBE(0);
264 MCE.emitWordBE(0);
265 MCE.emitWordBE(0);
266 EmitBranchToAt(Addr, (intptr_t)Fn, false, is64Bit);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000267 return MCE.finishFunctionStub(0);
268 }
269
Nate Begeman18f03292006-08-29 02:30:59 +0000270 MCE.startFunctionStub(10*4);
271 if (is64Bit) {
272 MCE.emitWordBE(0xf821ffb1); // stdu r1,-80(r1)
273 MCE.emitWordBE(0x7d6802a6); // mflr r11
274 MCE.emitWordBE(0xf9610060); // std r11, 96(r1)
275 } else {
276 MCE.emitWordBE(0x9421ffe0); // stwu r1,-32(r1)
277 MCE.emitWordBE(0x7d6802a6); // mflr r11
278 MCE.emitWordBE(0x91610028); // stw r11, 40(r1)
279 }
280 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnere1c96362006-05-02 19:14:47 +0000281 MCE.emitWordBE(0);
282 MCE.emitWordBE(0);
283 MCE.emitWordBE(0);
284 MCE.emitWordBE(0);
Nate Begeman18f03292006-08-29 02:30:59 +0000285 MCE.emitWordBE(0);
286 MCE.emitWordBE(0);
287 MCE.emitWordBE(0);
288 EmitBranchToAt(Addr, (intptr_t)Fn, true, is64Bit);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000289 return MCE.finishFunctionStub(0);
290}
291
292
Nate Begeman6cca84e2005-10-16 05:39:50 +0000293void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
294 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner8296c4c2004-11-23 06:02:06 +0000295 for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
296 unsigned *RelocPos = (unsigned*)Function + MR->getMachineCodeOffset()/4;
297 intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
298 switch ((PPC::RelocationType)MR->getRelocationType()) {
299 default: assert(0 && "Unknown relocation type!");
300 case PPC::reloc_pcrel_bx:
301 // PC-relative relocation for b and bl instructions.
302 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
303 assert(ResultPtr >= -(1 << 23) && ResultPtr < (1 << 23) &&
304 "Relocation out of range!");
305 *RelocPos |= (ResultPtr & ((1 << 24)-1)) << 2;
306 break;
Evan Cheng78bf1072006-07-27 18:21:10 +0000307 case PPC::reloc_pcrel_bcx:
308 // PC-relative relocation for BLT,BLE,BEQ,BGE,BGT,BNE, or other
309 // bcx instructions.
310 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
311 assert(ResultPtr >= -(1 << 13) && ResultPtr < (1 << 13) &&
312 "Relocation out of range!");
313 *RelocPos |= (ResultPtr & ((1 << 14)-1)) << 2;
314 break;
Chris Lattnerdd516792004-11-24 22:30:08 +0000315 case PPC::reloc_absolute_ptr_high: // Pointer relocations.
Nate Begeman516b39392006-04-21 22:04:15 +0000316 case PPC::reloc_absolute_ptr_low:
Chris Lattnerdd516792004-11-24 22:30:08 +0000317 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
Chris Lattner5b17dee2006-07-12 21:23:20 +0000318 case PPC::reloc_absolute_low: { // low bits of ref -> low 16 of instr
Chris Lattner8296c4c2004-11-23 06:02:06 +0000319 ResultPtr += MR->getConstantVal();
320
Chris Lattnerdd516792004-11-24 22:30:08 +0000321 // If this is a high-part access, get the high-part.
322 if (MR->getRelocationType() == PPC::reloc_absolute_high ||
323 MR->getRelocationType() == PPC::reloc_absolute_ptr_high) {
Chris Lattner8296c4c2004-11-23 06:02:06 +0000324 // If the low part will have a carry (really a borrow) from the low
325 // 16-bits into the high 16, add a bit to borrow from.
326 if (((int)ResultPtr << 16) < 0)
327 ResultPtr += 1 << 16;
328 ResultPtr >>= 16;
329 }
330
331 // Do the addition then mask, so the addition does not overflow the 16-bit
332 // immediate section of the instruction.
333 unsigned LowBits = (*RelocPos + ResultPtr) & 65535;
334 unsigned HighBits = *RelocPos & ~65535;
335 *RelocPos = LowBits | HighBits; // Slam into low 16-bits
336 break;
337 }
Chris Lattner5b17dee2006-07-12 21:23:20 +0000338 case PPC::reloc_absolute_low_ix: { // low bits of ref -> low 14 of instr
339 ResultPtr += MR->getConstantVal();
340 // Do the addition then mask, so the addition does not overflow the 16-bit
341 // immediate section of the instruction.
342 unsigned LowBits = (*RelocPos + ResultPtr) & 0xFFFC;
343 unsigned HighBits = *RelocPos & 0xFFFF0003;
344 *RelocPos = LowBits | HighBits; // Slam into low 14-bits.
345 break;
346 }
347 }
Chris Lattner8296c4c2004-11-23 06:02:06 +0000348 }
349}
350
Nate Begeman6cca84e2005-10-16 05:39:50 +0000351void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Nate Begeman18f03292006-08-29 02:30:59 +0000352 EmitBranchToAt((intptr_t)Old, (intptr_t)New, false, is64Bit);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000353}