blob: f400297a81ee68af10c87e4ccfa4be9a6dc2c5dc [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//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// 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"
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +000017#include "PPCTargetMachine.h"
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +000018#include "llvm/Function.h"
Chris Lattner9b3d9892004-11-23 06:02:06 +000019#include "llvm/CodeGen/MachineCodeEmitter.h"
20#include "llvm/Config/alloca.h"
Evan Cheng55fc2802006-07-25 20:40:54 +000021#include "llvm/Support/Debug.h"
Chris Lattner15ee8ad2004-11-26 20:25:17 +000022#include <set>
Chris Lattner9b3d9892004-11-23 06:02:06 +000023using namespace llvm;
24
25static TargetJITInfo::JITCompilerFn JITCompilerFunction;
26
27#define BUILD_ADDIS(RD,RS,IMM16) \
28 ((15 << 26) | ((RD) << 21) | ((RS) << 16) | ((IMM16) & 65535))
29#define BUILD_ORI(RD,RS,UIMM16) \
30 ((24 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
Nate Begeman06abd222006-08-29 02:30:59 +000031#define BUILD_ORIS(RD,RS,UIMM16) \
32 ((25 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
33#define BUILD_RLDICR(RD,RS,SH,ME) \
34 ((30 << 26) | ((RS) << 21) | ((RD) << 16) | (((SH) & 31) << 11) | \
Chris Lattnereb63b0a2006-12-07 23:44:07 +000035 (((ME) & 63) << 6) | (1 << 2) | ((((SH) >> 5) & 1) << 1))
Chris Lattner9b3d9892004-11-23 06:02:06 +000036#define BUILD_MTSPR(RS,SPR) \
37 ((31 << 26) | ((RS) << 21) | ((SPR) << 16) | (467 << 1))
38#define BUILD_BCCTRx(BO,BI,LINK) \
39 ((19 << 26) | ((BO) << 21) | ((BI) << 16) | (528 << 1) | ((LINK) & 1))
Nate Begeman06abd222006-08-29 02:30:59 +000040#define BUILD_B(TARGET, LINK) \
41 ((18 << 26) | (((TARGET) & 0x00FFFFFF) << 2) | ((LINK) & 1))
Chris Lattner9b3d9892004-11-23 06:02:06 +000042
43// Pseudo-ops
44#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
Nate Begeman06abd222006-08-29 02:30:59 +000045#define BUILD_SLDI(RD,RS,IMM6) BUILD_RLDICR(RD,RS,IMM6,63-IMM6)
Chris Lattner9b3d9892004-11-23 06:02:06 +000046#define BUILD_MTCTR(RS) BUILD_MTSPR(RS,9)
47#define BUILD_BCTR(LINK) BUILD_BCCTRx(20,0,LINK)
48
Nate Begeman06abd222006-08-29 02:30:59 +000049static void EmitBranchToAt(uint64_t At, uint64_t To, bool isCall, bool is64Bit){
50 intptr_t Offset = ((intptr_t)To - (intptr_t)At) >> 2;
51 unsigned *AtI = (unsigned*)(intptr_t)At;
Chris Lattner9b3d9892004-11-23 06:02:06 +000052
Nate Begeman06abd222006-08-29 02:30:59 +000053 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
54 AtI[0] = BUILD_B(Offset, isCall); // b/bl target
55 } else if (!is64Bit) {
56 AtI[0] = BUILD_LIS(12, To >> 16); // lis r12, hi16(address)
57 AtI[1] = BUILD_ORI(12, 12, To); // ori r12, r12, lo16(address)
58 AtI[2] = BUILD_MTCTR(12); // mtctr r12
59 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
60 } else {
61 AtI[0] = BUILD_LIS(12, To >> 48); // lis r12, hi16(address)
62 AtI[1] = BUILD_ORI(12, 12, To >> 32); // ori r12, r12, lo16(address)
63 AtI[2] = BUILD_SLDI(12, 12, 32); // sldi r12, r12, 32
64 AtI[3] = BUILD_ORIS(12, 12, To >> 16); // oris r12, r12, hi16(address)
65 AtI[4] = BUILD_ORI(12, 12, To); // ori r12, r12, lo16(address)
66 AtI[5] = BUILD_MTCTR(12); // mtctr r12
67 AtI[6] = BUILD_BCTR(isCall); // bctr/bctrl
68 }
Chris Lattner9b3d9892004-11-23 06:02:06 +000069}
70
Chris Lattner73278082004-11-24 21:01:46 +000071extern "C" void PPC32CompilationCallback();
Nate Begeman06abd222006-08-29 02:30:59 +000072extern "C" void PPC64CompilationCallback();
Chris Lattner73278082004-11-24 21:01:46 +000073
Chris Lattner7be164c2006-09-28 23:32:43 +000074#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
Chris Lattnere7a83df2008-05-24 04:58:48 +000075 !(defined(__ppc64__) || defined(__FreeBSD__))
Chris Lattner73278082004-11-24 21:01:46 +000076// CompilationCallback stub - We can't use a C function with inline assembly in
77// it, because we the prolog/epilog inserted by GCC won't work for us. Instead,
78// write our own wrapper, which does things our way, so we have complete control
79// over register saving and restoring.
80asm(
81 ".text\n"
82 ".align 2\n"
83 ".globl _PPC32CompilationCallback\n"
84"_PPC32CompilationCallback:\n"
Nate Begeman54252672006-05-02 04:50:05 +000085 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
86 // FIXME: need to save v[0-19] for altivec?
Nate Begeman06abd222006-08-29 02:30:59 +000087 // FIXME: could shrink frame
Nate Begeman54252672006-05-02 04:50:05 +000088 // Set up a proper stack frame
Jim Laskey18e2f442006-12-11 18:10:54 +000089 // FIXME Layout
90 // PowerPC64 ABI linkage - 24 bytes
91 // parameters - 32 bytes
92 // 13 double registers - 104 bytes
93 // 8 int registers - 32 bytes
Jim Laskey0eadd732006-12-10 13:09:42 +000094 "mflr r0\n"
Jim Laskey18e2f442006-12-11 18:10:54 +000095 "stw r0, 8(r1)\n"
96 "stwu r1, -208(r1)\n"
Nate Begeman54252672006-05-02 04:50:05 +000097 // Save all int arg registers
98 "stw r10, 204(r1)\n" "stw r9, 200(r1)\n"
99 "stw r8, 196(r1)\n" "stw r7, 192(r1)\n"
100 "stw r6, 188(r1)\n" "stw r5, 184(r1)\n"
101 "stw r4, 180(r1)\n" "stw r3, 176(r1)\n"
Chris Lattner73278082004-11-24 21:01:46 +0000102 // Save all call-clobbered FP regs.
Nate Begeman54252672006-05-02 04:50:05 +0000103 "stfd f13, 168(r1)\n" "stfd f12, 160(r1)\n"
104 "stfd f11, 152(r1)\n" "stfd f10, 144(r1)\n"
105 "stfd f9, 136(r1)\n" "stfd f8, 128(r1)\n"
106 "stfd f7, 120(r1)\n" "stfd f6, 112(r1)\n"
107 "stfd f5, 104(r1)\n" "stfd f4, 96(r1)\n"
108 "stfd f3, 88(r1)\n" "stfd f2, 80(r1)\n"
109 "stfd f1, 72(r1)\n"
110 // Arguments to Compilation Callback:
111 // r3 - our lr (address of the call instruction in stub plus 4)
112 // r4 - stub's lr (address of instruction that called the stub plus 4)
Chris Lattnere150b8e2006-12-08 04:54:03 +0000113 // r5 - is64Bit - always 0.
Nate Begeman54252672006-05-02 04:50:05 +0000114 "mr r3, r0\n"
115 "lwz r2, 208(r1)\n" // stub's frame
116 "lwz r4, 8(r2)\n" // stub's lr
Nate Begeman06abd222006-08-29 02:30:59 +0000117 "li r5, 0\n" // 0 == 32 bit
118 "bl _PPCCompilationCallbackC\n"
Nate Begeman54252672006-05-02 04:50:05 +0000119 "mtctr r3\n"
120 // Restore all int arg registers
121 "lwz r10, 204(r1)\n" "lwz r9, 200(r1)\n"
122 "lwz r8, 196(r1)\n" "lwz r7, 192(r1)\n"
123 "lwz r6, 188(r1)\n" "lwz r5, 184(r1)\n"
124 "lwz r4, 180(r1)\n" "lwz r3, 176(r1)\n"
125 // Restore all FP arg registers
126 "lfd f13, 168(r1)\n" "lfd f12, 160(r1)\n"
127 "lfd f11, 152(r1)\n" "lfd f10, 144(r1)\n"
128 "lfd f9, 136(r1)\n" "lfd f8, 128(r1)\n"
129 "lfd f7, 120(r1)\n" "lfd f6, 112(r1)\n"
130 "lfd f5, 104(r1)\n" "lfd f4, 96(r1)\n"
131 "lfd f3, 88(r1)\n" "lfd f2, 80(r1)\n"
132 "lfd f1, 72(r1)\n"
133 // Pop 3 frames off the stack and branch to target
134 "lwz r1, 208(r1)\n"
135 "lwz r2, 8(r1)\n"
136 "mtlr r2\n"
137 "bctr\n"
Chris Lattner73278082004-11-24 21:01:46 +0000138 );
Chris Lattner456bc872007-02-25 05:04:13 +0000139
140#elif defined(__PPC__) && !defined(__ppc64__)
Chris Lattnere7a83df2008-05-24 04:58:48 +0000141// Linux & FreeBSD / PPC 32 support
Chris Lattner456bc872007-02-25 05:04:13 +0000142
143// CompilationCallback stub - We can't use a C function with inline assembly in
144// it, because we the prolog/epilog inserted by GCC won't work for us. Instead,
145// write our own wrapper, which does things our way, so we have complete control
146// over register saving and restoring.
147asm(
148 ".text\n"
149 ".align 2\n"
150 ".globl PPC32CompilationCallback\n"
151"PPC32CompilationCallback:\n"
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000152 // Make space for 8 ints r[3-10] and 8 doubles f[1-8] and the
Chris Lattner456bc872007-02-25 05:04:13 +0000153 // FIXME: need to save v[0-19] for altivec?
154 // FIXME: could shrink frame
155 // Set up a proper stack frame
156 // FIXME Layout
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000157 // 8 double registers - 64 bytes
Chris Lattner456bc872007-02-25 05:04:13 +0000158 // 8 int registers - 32 bytes
159 "mflr 0\n"
160 "stw 0, 4(1)\n"
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000161 "stwu 1, -104(1)\n"
Chris Lattner456bc872007-02-25 05:04:13 +0000162 // Save all int arg registers
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000163 "stw 10, 100(1)\n" "stw 9, 96(1)\n"
164 "stw 8, 92(1)\n" "stw 7, 88(1)\n"
165 "stw 6, 84(1)\n" "stw 5, 80(1)\n"
166 "stw 4, 76(1)\n" "stw 3, 72(1)\n"
Chris Lattner456bc872007-02-25 05:04:13 +0000167 // Save all call-clobbered FP regs.
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000168 "stfd 8, 64(1)\n"
169 "stfd 7, 56(1)\n" "stfd 6, 48(1)\n"
170 "stfd 5, 40(1)\n" "stfd 4, 32(1)\n"
171 "stfd 3, 24(1)\n" "stfd 2, 16(1)\n"
172 "stfd 1, 8(1)\n"
Chris Lattner456bc872007-02-25 05:04:13 +0000173 // Arguments to Compilation Callback:
174 // r3 - our lr (address of the call instruction in stub plus 4)
175 // r4 - stub's lr (address of instruction that called the stub plus 4)
176 // r5 - is64Bit - always 0.
177 "mr 3, 0\n"
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000178 "lwz 5, 104(1)\n" // stub's frame
179 "lwz 4, 4(5)\n" // stub's lr
Chris Lattner456bc872007-02-25 05:04:13 +0000180 "li 5, 0\n" // 0 == 32 bit
181 "bl PPCCompilationCallbackC\n"
182 "mtctr 3\n"
183 // Restore all int arg registers
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000184 "lwz 10, 100(1)\n" "lwz 9, 96(1)\n"
185 "lwz 8, 92(1)\n" "lwz 7, 88(1)\n"
186 "lwz 6, 84(1)\n" "lwz 5, 80(1)\n"
187 "lwz 4, 76(1)\n" "lwz 3, 72(1)\n"
Chris Lattner456bc872007-02-25 05:04:13 +0000188 // Restore all FP arg registers
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000189 "lfd 8, 64(1)\n"
190 "lfd 7, 56(1)\n" "lfd 6, 48(1)\n"
191 "lfd 5, 40(1)\n" "lfd 4, 32(1)\n"
192 "lfd 3, 24(1)\n" "lfd 2, 16(1)\n"
193 "lfd 1, 8(1)\n"
Chris Lattner456bc872007-02-25 05:04:13 +0000194 // Pop 3 frames off the stack and branch to target
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000195 "lwz 1, 104(1)\n"
196 "lwz 0, 4(1)\n"
197 "mtlr 0\n"
Chris Lattner456bc872007-02-25 05:04:13 +0000198 "bctr\n"
199 );
Chris Lattnerfde839b2004-11-25 06:14:45 +0000200#else
201void PPC32CompilationCallback() {
202 assert(0 && "This is not a power pc, you can't execute this!");
203 abort();
204}
Nate Begemanca6d0f52004-11-23 21:34:18 +0000205#endif
206
Chris Lattner7be164c2006-09-28 23:32:43 +0000207#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
208 defined(__ppc64__)
Nate Begeman06abd222006-08-29 02:30:59 +0000209asm(
210 ".text\n"
211 ".align 2\n"
212 ".globl _PPC64CompilationCallback\n"
213"_PPC64CompilationCallback:\n"
214 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
215 // FIXME: need to save v[0-19] for altivec?
216 // Set up a proper stack frame
Jim Laskey18e2f442006-12-11 18:10:54 +0000217 // Layout
218 // PowerPC64 ABI linkage - 48 bytes
219 // parameters - 64 bytes
220 // 13 double registers - 104 bytes
221 // 8 int registers - 64 bytes
Nate Begeman06abd222006-08-29 02:30:59 +0000222 "mflr r0\n"
Jim Laskey18e2f442006-12-11 18:10:54 +0000223 "std r0, 16(r1)\n"
224 "stdu r1, -280(r1)\n"
Nate Begeman06abd222006-08-29 02:30:59 +0000225 // Save all int arg registers
Jim Laskey18e2f442006-12-11 18:10:54 +0000226 "std r10, 272(r1)\n" "std r9, 264(r1)\n"
227 "std r8, 256(r1)\n" "std r7, 248(r1)\n"
228 "std r6, 240(r1)\n" "std r5, 232(r1)\n"
229 "std r4, 224(r1)\n" "std r3, 216(r1)\n"
Nate Begeman06abd222006-08-29 02:30:59 +0000230 // Save all call-clobbered FP regs.
Jim Laskey18e2f442006-12-11 18:10:54 +0000231 "stfd f13, 208(r1)\n" "stfd f12, 200(r1)\n"
232 "stfd f11, 192(r1)\n" "stfd f10, 184(r1)\n"
233 "stfd f9, 176(r1)\n" "stfd f8, 168(r1)\n"
234 "stfd f7, 160(r1)\n" "stfd f6, 152(r1)\n"
235 "stfd f5, 144(r1)\n" "stfd f4, 136(r1)\n"
236 "stfd f3, 128(r1)\n" "stfd f2, 120(r1)\n"
237 "stfd f1, 112(r1)\n"
Nate Begeman06abd222006-08-29 02:30:59 +0000238 // Arguments to Compilation Callback:
239 // r3 - our lr (address of the call instruction in stub plus 4)
240 // r4 - stub's lr (address of instruction that called the stub plus 4)
Chris Lattnere150b8e2006-12-08 04:54:03 +0000241 // r5 - is64Bit - always 1.
Nate Begeman06abd222006-08-29 02:30:59 +0000242 "mr r3, r0\n"
Jim Laskey18e2f442006-12-11 18:10:54 +0000243 "ld r2, 280(r1)\n" // stub's frame
Nate Begeman06abd222006-08-29 02:30:59 +0000244 "ld r4, 16(r2)\n" // stub's lr
245 "li r5, 1\n" // 1 == 64 bit
246 "bl _PPCCompilationCallbackC\n"
247 "mtctr r3\n"
248 // Restore all int arg registers
Jim Laskey18e2f442006-12-11 18:10:54 +0000249 "ld r10, 272(r1)\n" "ld r9, 264(r1)\n"
250 "ld r8, 256(r1)\n" "ld r7, 248(r1)\n"
251 "ld r6, 240(r1)\n" "ld r5, 232(r1)\n"
252 "ld r4, 224(r1)\n" "ld r3, 216(r1)\n"
Nate Begeman06abd222006-08-29 02:30:59 +0000253 // Restore all FP arg registers
Jim Laskey18e2f442006-12-11 18:10:54 +0000254 "lfd f13, 208(r1)\n" "lfd f12, 200(r1)\n"
255 "lfd f11, 192(r1)\n" "lfd f10, 184(r1)\n"
256 "lfd f9, 176(r1)\n" "lfd f8, 168(r1)\n"
257 "lfd f7, 160(r1)\n" "lfd f6, 152(r1)\n"
258 "lfd f5, 144(r1)\n" "lfd f4, 136(r1)\n"
259 "lfd f3, 128(r1)\n" "lfd f2, 120(r1)\n"
260 "lfd f1, 112(r1)\n"
Nate Begeman06abd222006-08-29 02:30:59 +0000261 // Pop 3 frames off the stack and branch to target
Jim Laskey18e2f442006-12-11 18:10:54 +0000262 "ld r1, 280(r1)\n"
Nate Begeman06abd222006-08-29 02:30:59 +0000263 "ld r2, 16(r1)\n"
264 "mtlr r2\n"
265 "bctr\n"
266 );
267#else
268void PPC64CompilationCallback() {
269 assert(0 && "This is not a power pc, you can't execute this!");
270 abort();
271}
272#endif
273
274extern "C" void *PPCCompilationCallbackC(unsigned *StubCallAddrPlus4,
275 unsigned *OrigCallAddrPlus4,
276 bool is64Bit) {
Nate Begemanb3f70d72006-04-25 04:45:59 +0000277 // Adjust the pointer to the address of the call instruction in the stub
278 // emitted by emitFunctionStub, rather than the instruction after it.
279 unsigned *StubCallAddr = StubCallAddrPlus4 - 1;
280 unsigned *OrigCallAddr = OrigCallAddrPlus4 - 1;
Chris Lattnere61198b2004-11-23 06:55:05 +0000281
Nate Begemanb3f70d72006-04-25 04:45:59 +0000282 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattnere61198b2004-11-23 06:55:05 +0000283
Nate Begemanb3f70d72006-04-25 04:45:59 +0000284 // Check to see if *OrigCallAddr is a 'bl' instruction, and if we can rewrite
285 // it to branch directly to the destination. If so, rewrite it so it does not
286 // need to go through the stub anymore.
287 unsigned OrigCallInst = *OrigCallAddr;
288 if ((OrigCallInst >> 26) == 18) { // Direct call.
289 intptr_t Offset = ((intptr_t)Target - (intptr_t)OrigCallAddr) >> 2;
290
Chris Lattnere61198b2004-11-23 06:55:05 +0000291 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner892afa92004-11-24 18:00:02 +0000292 // Clear the original target out.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000293 OrigCallInst &= (63 << 26) | 3;
Chris Lattner892afa92004-11-24 18:00:02 +0000294 // Fill in the new target.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000295 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner892afa92004-11-24 18:00:02 +0000296 // Replace the call.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000297 *OrigCallAddr = OrigCallInst;
Chris Lattnere61198b2004-11-23 06:55:05 +0000298 }
299 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000300
Nate Begemanb3f70d72006-04-25 04:45:59 +0000301 // Assert that we are coming from a stub that was created with our
302 // emitFunctionStub.
Nate Begeman06abd222006-08-29 02:30:59 +0000303 if ((*StubCallAddr >> 26) == 18)
304 StubCallAddr -= 3;
305 else {
Nate Begemanb3f70d72006-04-25 04:45:59 +0000306 assert((*StubCallAddr >> 26) == 19 && "Call in stub is not indirect!");
Nate Begeman06abd222006-08-29 02:30:59 +0000307 StubCallAddr -= is64Bit ? 9 : 6;
308 }
Chris Lattnere61198b2004-11-23 06:55:05 +0000309
310 // Rewrite the stub with an unconditional branch to the target, for any users
311 // who took the address of the stub.
Nate Begeman06abd222006-08-29 02:30:59 +0000312 EmitBranchToAt((intptr_t)StubCallAddr, (intptr_t)Target, false, is64Bit);
Chris Lattnere61198b2004-11-23 06:55:05 +0000313
Nate Begemanb3f70d72006-04-25 04:45:59 +0000314 // Put the address of the target function to call and the address to return to
315 // after calling the target function in a place that is easy to get on the
316 // stack after we restore all regs.
Nate Begeman06abd222006-08-29 02:30:59 +0000317 return Target;
Chris Lattnere61198b2004-11-23 06:55:05 +0000318}
319
320
321
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000322TargetJITInfo::LazyResolverFn
Nate Begeman21e463b2005-10-16 05:39:50 +0000323PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattnere61198b2004-11-23 06:55:05 +0000324 JITCompilerFunction = Fn;
Nate Begeman06abd222006-08-29 02:30:59 +0000325 return is64Bit ? PPC64CompilationCallback : PPC32CompilationCallback;
Chris Lattnere61198b2004-11-23 06:55:05 +0000326}
327
Chris Lattner1910e2f2008-01-25 16:41:09 +0000328#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
329defined(__APPLE__)
330extern "C" void sys_icache_invalidate(const void *Addr, size_t len);
331#endif
332
Anton Korobeynikov210539e2008-06-17 17:30:05 +0000333void PPCJITInfo::InvalidateInstructionCache(const void *Addr, unsigned len) {
Anton Korobeynikov0b725f12008-06-17 17:57:43 +0000334#if (defined(__POWERPC__) || defined (__ppc__) || \
335 defined(_POWER) || defined(_ARCH_PPC))
Anton Korobeynikov7a17ff72008-06-17 17:38:31 +0000336# if defined(__APPLE__)
Chris Lattner1910e2f2008-01-25 16:41:09 +0000337 sys_icache_invalidate(Addr, len);
Anton Korobeynikov7a17ff72008-06-17 17:38:31 +0000338# elif defined(__GNUC__)
Chris Lattner16228c02008-06-16 17:04:06 +0000339 const size_t LineSize = 32;
Anton Korobeynikov7a17ff72008-06-17 17:38:31 +0000340
Chris Lattner16228c02008-06-16 17:04:06 +0000341 const intptr_t Mask = ~(LineSize - 1);
342 const intptr_t StartLine = ((intptr_t) Addr) & Mask;
343 const intptr_t EndLine = ((intptr_t) Addr + len + LineSize - 1) & Mask;
344
345 for (intptr_t Line = StartLine; Line < EndLine; Line += LineSize)
346 asm volatile("dcbf 0, %0" : : "r"(Line));
347 asm volatile("sync");
348
349 for (intptr_t Line = StartLine; Line < EndLine; Line += LineSize)
350 asm volatile("icbi 0, %0" : : "r"(Line));
351 asm volatile("isync");
Anton Korobeynikov7a17ff72008-06-17 17:38:31 +0000352# endif
Chris Lattner16228c02008-06-16 17:04:06 +0000353#endif
Chris Lattner1910e2f2008-01-25 16:41:09 +0000354}
355
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000356void *PPCJITInfo::emitFunctionStub(const Function* F, void *Fn,
357 MachineCodeEmitter &MCE) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000358 // If this is just a call to an external function, emit a branch instead of a
359 // call. The code is the same except for one bit of the last instruction.
Nate Begeman06abd222006-08-29 02:30:59 +0000360 if (Fn != (void*)(intptr_t)PPC32CompilationCallback &&
361 Fn != (void*)(intptr_t)PPC64CompilationCallback) {
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000362 MCE.startFunctionStub(F, 7*4);
Nate Begeman06abd222006-08-29 02:30:59 +0000363 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000364 MCE.emitWordBE(0);
365 MCE.emitWordBE(0);
366 MCE.emitWordBE(0);
367 MCE.emitWordBE(0);
Nate Begeman06abd222006-08-29 02:30:59 +0000368 MCE.emitWordBE(0);
369 MCE.emitWordBE(0);
370 MCE.emitWordBE(0);
371 EmitBranchToAt(Addr, (intptr_t)Fn, false, is64Bit);
Anton Korobeynikov210539e2008-06-17 17:30:05 +0000372 InvalidateInstructionCache((void*)Addr, 7*4);
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000373 return MCE.finishFunctionStub(F);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000374 }
375
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000376 MCE.startFunctionStub(F, 10*4);
Chris Lattner1910e2f2008-01-25 16:41:09 +0000377 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Nate Begeman06abd222006-08-29 02:30:59 +0000378 if (is64Bit) {
379 MCE.emitWordBE(0xf821ffb1); // stdu r1,-80(r1)
380 MCE.emitWordBE(0x7d6802a6); // mflr r11
381 MCE.emitWordBE(0xf9610060); // std r11, 96(r1)
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000382 } else if (TM.getSubtargetImpl()->isMachoABI()){
Nate Begeman06abd222006-08-29 02:30:59 +0000383 MCE.emitWordBE(0x9421ffe0); // stwu r1,-32(r1)
384 MCE.emitWordBE(0x7d6802a6); // mflr r11
385 MCE.emitWordBE(0x91610028); // stw r11, 40(r1)
Nicolas Geoffray2fb813d2007-05-29 16:33:18 +0000386 } else {
387 MCE.emitWordBE(0x9421ffe0); // stwu r1,-32(r1)
388 MCE.emitWordBE(0x7d6802a6); // mflr r11
389 MCE.emitWordBE(0x91610024); // stw r11, 36(r1)
Nate Begeman06abd222006-08-29 02:30:59 +0000390 }
Chris Lattner1910e2f2008-01-25 16:41:09 +0000391 intptr_t BranchAddr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000392 MCE.emitWordBE(0);
393 MCE.emitWordBE(0);
394 MCE.emitWordBE(0);
395 MCE.emitWordBE(0);
Nate Begeman06abd222006-08-29 02:30:59 +0000396 MCE.emitWordBE(0);
397 MCE.emitWordBE(0);
398 MCE.emitWordBE(0);
Chris Lattner1910e2f2008-01-25 16:41:09 +0000399 EmitBranchToAt(BranchAddr, (intptr_t)Fn, true, is64Bit);
Anton Korobeynikov210539e2008-06-17 17:30:05 +0000400 InvalidateInstructionCache((void*)Addr, 10*4);
Nicolas Geoffray51cc3c12008-04-16 20:46:05 +0000401 return MCE.finishFunctionStub(F);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000402}
403
404
Nate Begeman21e463b2005-10-16 05:39:50 +0000405void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
406 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000407 for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
408 unsigned *RelocPos = (unsigned*)Function + MR->getMachineCodeOffset()/4;
409 intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
410 switch ((PPC::RelocationType)MR->getRelocationType()) {
411 default: assert(0 && "Unknown relocation type!");
412 case PPC::reloc_pcrel_bx:
413 // PC-relative relocation for b and bl instructions.
414 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
415 assert(ResultPtr >= -(1 << 23) && ResultPtr < (1 << 23) &&
416 "Relocation out of range!");
417 *RelocPos |= (ResultPtr & ((1 << 24)-1)) << 2;
418 break;
Evan Chengf141cc42006-07-27 18:21:10 +0000419 case PPC::reloc_pcrel_bcx:
420 // PC-relative relocation for BLT,BLE,BEQ,BGE,BGT,BNE, or other
421 // bcx instructions.
422 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
423 assert(ResultPtr >= -(1 << 13) && ResultPtr < (1 << 13) &&
424 "Relocation out of range!");
425 *RelocPos |= (ResultPtr & ((1 << 14)-1)) << 2;
426 break;
Chris Lattner5efb75d2004-11-24 22:30:08 +0000427 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
Chris Lattner3bc8a762006-07-12 21:23:20 +0000428 case PPC::reloc_absolute_low: { // low bits of ref -> low 16 of instr
Chris Lattner9b3d9892004-11-23 06:02:06 +0000429 ResultPtr += MR->getConstantVal();
430
Chris Lattner5efb75d2004-11-24 22:30:08 +0000431 // If this is a high-part access, get the high-part.
Nate Begeman94be2482006-09-08 22:42:09 +0000432 if (MR->getRelocationType() == PPC::reloc_absolute_high) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000433 // If the low part will have a carry (really a borrow) from the low
434 // 16-bits into the high 16, add a bit to borrow from.
435 if (((int)ResultPtr << 16) < 0)
436 ResultPtr += 1 << 16;
437 ResultPtr >>= 16;
438 }
439
440 // Do the addition then mask, so the addition does not overflow the 16-bit
441 // immediate section of the instruction.
442 unsigned LowBits = (*RelocPos + ResultPtr) & 65535;
443 unsigned HighBits = *RelocPos & ~65535;
444 *RelocPos = LowBits | HighBits; // Slam into low 16-bits
445 break;
446 }
Chris Lattner3bc8a762006-07-12 21:23:20 +0000447 case PPC::reloc_absolute_low_ix: { // low bits of ref -> low 14 of instr
448 ResultPtr += MR->getConstantVal();
449 // Do the addition then mask, so the addition does not overflow the 16-bit
450 // immediate section of the instruction.
451 unsigned LowBits = (*RelocPos + ResultPtr) & 0xFFFC;
452 unsigned HighBits = *RelocPos & 0xFFFF0003;
453 *RelocPos = LowBits | HighBits; // Slam into low 14-bits.
454 break;
455 }
456 }
Chris Lattner9b3d9892004-11-23 06:02:06 +0000457 }
458}
459
Nate Begeman21e463b2005-10-16 05:39:50 +0000460void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Nate Begeman06abd222006-08-29 02:30:59 +0000461 EmitBranchToAt((intptr_t)Old, (intptr_t)New, false, is64Bit);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000462}