blob: f400297a81ee68af10c87e4ccfa4be9a6dc2c5dc [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//
Chris Lattnerf3ebc3f2007-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 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"
Nicolas Geoffraycff3e122007-05-29 16:33:18 +000017#include "PPCTargetMachine.h"
Nicolas Geoffraya7557df2008-04-16 20:46:05 +000018#include "llvm/Function.h"
Chris Lattner8296c4c2004-11-23 06:02:06 +000019#include "llvm/CodeGen/MachineCodeEmitter.h"
20#include "llvm/Config/alloca.h"
Evan Chengf6acb342006-07-25 20:40:54 +000021#include "llvm/Support/Debug.h"
Chris Lattnerb50fd922004-11-26 20:25:17 +000022#include <set>
Chris Lattner8296c4c2004-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 Begeman18f03292006-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 Lattner13535c22006-12-07 23:44:07 +000035 (((ME) & 63) << 6) | (1 << 2) | ((((SH) >> 5) & 1) << 1))
Chris Lattner8296c4c2004-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 Begeman18f03292006-08-29 02:30:59 +000040#define BUILD_B(TARGET, LINK) \
41 ((18 << 26) | (((TARGET) & 0x00FFFFFF) << 2) | ((LINK) & 1))
Chris Lattner8296c4c2004-11-23 06:02:06 +000042
43// Pseudo-ops
44#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
Nate Begeman18f03292006-08-29 02:30:59 +000045#define BUILD_SLDI(RD,RS,IMM6) BUILD_RLDICR(RD,RS,IMM6,63-IMM6)
Chris Lattner8296c4c2004-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 Begeman18f03292006-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 Lattner8296c4c2004-11-23 06:02:06 +000052
Nate Begeman18f03292006-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 Lattner8296c4c2004-11-23 06:02:06 +000069}
70
Chris Lattner078b6f22004-11-24 21:01:46 +000071extern "C" void PPC32CompilationCallback();
Nate Begeman18f03292006-08-29 02:30:59 +000072extern "C" void PPC64CompilationCallback();
Chris Lattner078b6f22004-11-24 21:01:46 +000073
Chris Lattnerd32cb5e2006-09-28 23:32:43 +000074#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
Chris Lattner305fcd42008-05-24 04:58:48 +000075 !(defined(__ppc64__) || defined(__FreeBSD__))
Chris Lattner078b6f22004-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 Begeman01364fb2006-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 Begeman18f03292006-08-29 02:30:59 +000087 // FIXME: could shrink frame
Nate Begeman01364fb2006-05-02 04:50:05 +000088 // Set up a proper stack frame
Jim Laskeye95909a2006-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 Laskey6af22202006-12-10 13:09:42 +000094 "mflr r0\n"
Jim Laskeye95909a2006-12-11 18:10:54 +000095 "stw r0, 8(r1)\n"
96 "stwu r1, -208(r1)\n"
Nate Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +0000102 // Save all call-clobbered FP regs.
Nate Begeman01364fb2006-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 Lattner09fecf92006-12-08 04:54:03 +0000113 // r5 - is64Bit - always 0.
Nate Begeman01364fb2006-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 Begeman18f03292006-08-29 02:30:59 +0000117 "li r5, 0\n" // 0 == 32 bit
118 "bl _PPCCompilationCallbackC\n"
Nate Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +0000138 );
Chris Lattner249edb82007-02-25 05:04:13 +0000139
140#elif defined(__PPC__) && !defined(__ppc64__)
Chris Lattner305fcd42008-05-24 04:58:48 +0000141// Linux & FreeBSD / PPC 32 support
Chris Lattner249edb82007-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 Geoffraycff3e122007-05-29 16:33:18 +0000152 // Make space for 8 ints r[3-10] and 8 doubles f[1-8] and the
Chris Lattner249edb82007-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 Geoffraycff3e122007-05-29 16:33:18 +0000157 // 8 double registers - 64 bytes
Chris Lattner249edb82007-02-25 05:04:13 +0000158 // 8 int registers - 32 bytes
159 "mflr 0\n"
160 "stw 0, 4(1)\n"
Nicolas Geoffraycff3e122007-05-29 16:33:18 +0000161 "stwu 1, -104(1)\n"
Chris Lattner249edb82007-02-25 05:04:13 +0000162 // Save all int arg registers
Nicolas Geoffraycff3e122007-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 Lattner249edb82007-02-25 05:04:13 +0000167 // Save all call-clobbered FP regs.
Nicolas Geoffraycff3e122007-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 Lattner249edb82007-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 Geoffraycff3e122007-05-29 16:33:18 +0000178 "lwz 5, 104(1)\n" // stub's frame
179 "lwz 4, 4(5)\n" // stub's lr
Chris Lattner249edb82007-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 Geoffraycff3e122007-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 Lattner249edb82007-02-25 05:04:13 +0000188 // Restore all FP arg registers
Nicolas Geoffraycff3e122007-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 Lattner249edb82007-02-25 05:04:13 +0000194 // Pop 3 frames off the stack and branch to target
Nicolas Geoffraycff3e122007-05-29 16:33:18 +0000195 "lwz 1, 104(1)\n"
196 "lwz 0, 4(1)\n"
197 "mtlr 0\n"
Chris Lattner249edb82007-02-25 05:04:13 +0000198 "bctr\n"
199 );
Chris Lattner8cbad8e2004-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 Begeman61776062004-11-23 21:34:18 +0000205#endif
206
Chris Lattnerd32cb5e2006-09-28 23:32:43 +0000207#if (defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)) && \
208 defined(__ppc64__)
Nate Begeman18f03292006-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 Laskeye95909a2006-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 Begeman18f03292006-08-29 02:30:59 +0000222 "mflr r0\n"
Jim Laskeye95909a2006-12-11 18:10:54 +0000223 "std r0, 16(r1)\n"
224 "stdu r1, -280(r1)\n"
Nate Begeman18f03292006-08-29 02:30:59 +0000225 // Save all int arg registers
Jim Laskeye95909a2006-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 Begeman18f03292006-08-29 02:30:59 +0000230 // Save all call-clobbered FP regs.
Jim Laskeye95909a2006-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 Begeman18f03292006-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 Lattner09fecf92006-12-08 04:54:03 +0000241 // r5 - is64Bit - always 1.
Nate Begeman18f03292006-08-29 02:30:59 +0000242 "mr r3, r0\n"
Jim Laskeye95909a2006-12-11 18:10:54 +0000243 "ld r2, 280(r1)\n" // stub's frame
Nate Begeman18f03292006-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 Laskeye95909a2006-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 Begeman18f03292006-08-29 02:30:59 +0000253 // Restore all FP arg registers
Jim Laskeye95909a2006-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 Begeman18f03292006-08-29 02:30:59 +0000261 // Pop 3 frames off the stack and branch to target
Jim Laskeye95909a2006-12-11 18:10:54 +0000262 "ld r1, 280(r1)\n"
Nate Begeman18f03292006-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 Begeman318bb962006-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 Lattner4ff11752004-11-23 06:55:05 +0000281
Nate Begeman318bb962006-04-25 04:45:59 +0000282 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattner4ff11752004-11-23 06:55:05 +0000283
Nate Begeman318bb962006-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 Lattner4ff11752004-11-23 06:55:05 +0000291 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner659d72e2004-11-24 18:00:02 +0000292 // Clear the original target out.
Nate Begeman318bb962006-04-25 04:45:59 +0000293 OrigCallInst &= (63 << 26) | 3;
Chris Lattner659d72e2004-11-24 18:00:02 +0000294 // Fill in the new target.
Nate Begeman318bb962006-04-25 04:45:59 +0000295 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner659d72e2004-11-24 18:00:02 +0000296 // Replace the call.
Nate Begeman318bb962006-04-25 04:45:59 +0000297 *OrigCallAddr = OrigCallInst;
Chris Lattner4ff11752004-11-23 06:55:05 +0000298 }
299 }
Misha Brukmanb4402432005-04-21 23:30:14 +0000300
Nate Begeman318bb962006-04-25 04:45:59 +0000301 // Assert that we are coming from a stub that was created with our
302 // emitFunctionStub.
Nate Begeman18f03292006-08-29 02:30:59 +0000303 if ((*StubCallAddr >> 26) == 18)
304 StubCallAddr -= 3;
305 else {
Nate Begeman318bb962006-04-25 04:45:59 +0000306 assert((*StubCallAddr >> 26) == 19 && "Call in stub is not indirect!");
Nate Begeman18f03292006-08-29 02:30:59 +0000307 StubCallAddr -= is64Bit ? 9 : 6;
308 }
Chris Lattner4ff11752004-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 Begeman18f03292006-08-29 02:30:59 +0000312 EmitBranchToAt((intptr_t)StubCallAddr, (intptr_t)Target, false, is64Bit);
Chris Lattner4ff11752004-11-23 06:55:05 +0000313
Nate Begeman318bb962006-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 Begeman18f03292006-08-29 02:30:59 +0000317 return Target;
Chris Lattner4ff11752004-11-23 06:55:05 +0000318}
319
320
321
Misha Brukmanb4402432005-04-21 23:30:14 +0000322TargetJITInfo::LazyResolverFn
Nate Begeman6cca84e2005-10-16 05:39:50 +0000323PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattner4ff11752004-11-23 06:55:05 +0000324 JITCompilerFunction = Fn;
Nate Begeman18f03292006-08-29 02:30:59 +0000325 return is64Bit ? PPC64CompilationCallback : PPC32CompilationCallback;
Chris Lattner4ff11752004-11-23 06:55:05 +0000326}
327
Chris Lattner919ad972008-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 Korobeynikov7d7dcd52008-06-17 17:30:05 +0000333void PPCJITInfo::InvalidateInstructionCache(const void *Addr, unsigned len) {
Anton Korobeynikovf51ed6a2008-06-17 17:57:43 +0000334#if (defined(__POWERPC__) || defined (__ppc__) || \
335 defined(_POWER) || defined(_ARCH_PPC))
Anton Korobeynikov8e5d9212008-06-17 17:38:31 +0000336# if defined(__APPLE__)
Chris Lattner919ad972008-01-25 16:41:09 +0000337 sys_icache_invalidate(Addr, len);
Anton Korobeynikov8e5d9212008-06-17 17:38:31 +0000338# elif defined(__GNUC__)
Chris Lattner8b69e8a2008-06-16 17:04:06 +0000339 const size_t LineSize = 32;
Anton Korobeynikov8e5d9212008-06-17 17:38:31 +0000340
Chris Lattner8b69e8a2008-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 Korobeynikov8e5d9212008-06-17 17:38:31 +0000352# endif
Chris Lattner8b69e8a2008-06-16 17:04:06 +0000353#endif
Chris Lattner919ad972008-01-25 16:41:09 +0000354}
355
Nicolas Geoffraya7557df2008-04-16 20:46:05 +0000356void *PPCJITInfo::emitFunctionStub(const Function* F, void *Fn,
357 MachineCodeEmitter &MCE) {
Chris Lattner8296c4c2004-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 Begeman18f03292006-08-29 02:30:59 +0000360 if (Fn != (void*)(intptr_t)PPC32CompilationCallback &&
361 Fn != (void*)(intptr_t)PPC64CompilationCallback) {
Nicolas Geoffraya7557df2008-04-16 20:46:05 +0000362 MCE.startFunctionStub(F, 7*4);
Nate Begeman18f03292006-08-29 02:30:59 +0000363 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnere1c96362006-05-02 19:14:47 +0000364 MCE.emitWordBE(0);
365 MCE.emitWordBE(0);
366 MCE.emitWordBE(0);
367 MCE.emitWordBE(0);
Nate Begeman18f03292006-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 Korobeynikov7d7dcd52008-06-17 17:30:05 +0000372 InvalidateInstructionCache((void*)Addr, 7*4);
Nicolas Geoffraya7557df2008-04-16 20:46:05 +0000373 return MCE.finishFunctionStub(F);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000374 }
375
Nicolas Geoffraya7557df2008-04-16 20:46:05 +0000376 MCE.startFunctionStub(F, 10*4);
Chris Lattner919ad972008-01-25 16:41:09 +0000377 intptr_t Addr = (intptr_t)MCE.getCurrentPCValue();
Nate Begeman18f03292006-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 Geoffraycff3e122007-05-29 16:33:18 +0000382 } else if (TM.getSubtargetImpl()->isMachoABI()){
Nate Begeman18f03292006-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 Geoffraycff3e122007-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 Begeman18f03292006-08-29 02:30:59 +0000390 }
Chris Lattner919ad972008-01-25 16:41:09 +0000391 intptr_t BranchAddr = (intptr_t)MCE.getCurrentPCValue();
Chris Lattnere1c96362006-05-02 19:14:47 +0000392 MCE.emitWordBE(0);
393 MCE.emitWordBE(0);
394 MCE.emitWordBE(0);
395 MCE.emitWordBE(0);
Nate Begeman18f03292006-08-29 02:30:59 +0000396 MCE.emitWordBE(0);
397 MCE.emitWordBE(0);
398 MCE.emitWordBE(0);
Chris Lattner919ad972008-01-25 16:41:09 +0000399 EmitBranchToAt(BranchAddr, (intptr_t)Fn, true, is64Bit);
Anton Korobeynikov7d7dcd52008-06-17 17:30:05 +0000400 InvalidateInstructionCache((void*)Addr, 10*4);
Nicolas Geoffraya7557df2008-04-16 20:46:05 +0000401 return MCE.finishFunctionStub(F);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000402}
403
404
Nate Begeman6cca84e2005-10-16 05:39:50 +0000405void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
406 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner8296c4c2004-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 Cheng78bf1072006-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 Lattnerdd516792004-11-24 22:30:08 +0000427 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
Chris Lattner5b17dee2006-07-12 21:23:20 +0000428 case PPC::reloc_absolute_low: { // low bits of ref -> low 16 of instr
Chris Lattner8296c4c2004-11-23 06:02:06 +0000429 ResultPtr += MR->getConstantVal();
430
Chris Lattnerdd516792004-11-24 22:30:08 +0000431 // If this is a high-part access, get the high-part.
Nate Begeman69df6132006-09-08 22:42:09 +0000432 if (MR->getRelocationType() == PPC::reloc_absolute_high) {
Chris Lattner8296c4c2004-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 Lattner5b17dee2006-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 Lattner8296c4c2004-11-23 06:02:06 +0000457 }
458}
459
Nate Begeman6cca84e2005-10-16 05:39:50 +0000460void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Nate Begeman18f03292006-08-29 02:30:59 +0000461 EmitBranchToAt((intptr_t)Old, (intptr_t)New, false, is64Bit);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000462}