blob: 1d4760affaf0df6c0d88a93c123210227bf7afe7 [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"
Chris Lattner15ee8ad2004-11-26 20:25:17 +000019#include <set>
Chris Lattner9b3d9892004-11-23 06:02:06 +000020using namespace llvm;
21
22static TargetJITInfo::JITCompilerFn JITCompilerFunction;
23
24#define BUILD_ADDIS(RD,RS,IMM16) \
25 ((15 << 26) | ((RD) << 21) | ((RS) << 16) | ((IMM16) & 65535))
26#define BUILD_ORI(RD,RS,UIMM16) \
27 ((24 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
28#define BUILD_MTSPR(RS,SPR) \
29 ((31 << 26) | ((RS) << 21) | ((SPR) << 16) | (467 << 1))
30#define BUILD_BCCTRx(BO,BI,LINK) \
31 ((19 << 26) | ((BO) << 21) | ((BI) << 16) | (528 << 1) | ((LINK) & 1))
32
33// Pseudo-ops
34#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
35#define BUILD_MTCTR(RS) BUILD_MTSPR(RS,9)
36#define BUILD_BCTR(LINK) BUILD_BCCTRx(20,0,LINK)
37
Chris Lattner9b3d9892004-11-23 06:02:06 +000038
Chris Lattner7c83dc22004-11-23 06:27:02 +000039static void EmitBranchToAt(void *At, void *To, bool isCall) {
Chris Lattner9b3d9892004-11-23 06:02:06 +000040 intptr_t Addr = (intptr_t)To;
41
42 // FIXME: should special case the short branch case.
43 unsigned *AtI = (unsigned*)At;
44
45 AtI[0] = BUILD_LIS(12, Addr >> 16); // lis r12, hi16(address)
46 AtI[1] = BUILD_ORI(12, 12, Addr); // ori r12, r12, low16(address)
47 AtI[2] = BUILD_MTCTR(12); // mtctr r12
Chris Lattner7c83dc22004-11-23 06:27:02 +000048 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
Chris Lattner9b3d9892004-11-23 06:02:06 +000049}
50
Chris Lattner73278082004-11-24 21:01:46 +000051extern "C" void PPC32CompilationCallback();
52
Nate Begemanca6d0f52004-11-23 21:34:18 +000053#if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)
Chris Lattner73278082004-11-24 21:01:46 +000054// CompilationCallback stub - We can't use a C function with inline assembly in
55// it, because we the prolog/epilog inserted by GCC won't work for us. Instead,
56// write our own wrapper, which does things our way, so we have complete control
57// over register saving and restoring.
58asm(
59 ".text\n"
60 ".align 2\n"
61 ".globl _PPC32CompilationCallback\n"
62"_PPC32CompilationCallback:\n"
Nate Begeman54252672006-05-02 04:50:05 +000063 // Make space for 8 ints r[3-10] and 13 doubles f[1-13] and the
64 // FIXME: need to save v[0-19] for altivec?
65 // Set up a proper stack frame
66 "stwu r1, -208(r1)\n"
67 "mflr r0\n"
68 "stw r0, 216(r1)\n"
69 // Save all int arg registers
70 "stw r10, 204(r1)\n" "stw r9, 200(r1)\n"
71 "stw r8, 196(r1)\n" "stw r7, 192(r1)\n"
72 "stw r6, 188(r1)\n" "stw r5, 184(r1)\n"
73 "stw r4, 180(r1)\n" "stw r3, 176(r1)\n"
Chris Lattner73278082004-11-24 21:01:46 +000074 // Save all call-clobbered FP regs.
Nate Begeman54252672006-05-02 04:50:05 +000075 "stfd f13, 168(r1)\n" "stfd f12, 160(r1)\n"
76 "stfd f11, 152(r1)\n" "stfd f10, 144(r1)\n"
77 "stfd f9, 136(r1)\n" "stfd f8, 128(r1)\n"
78 "stfd f7, 120(r1)\n" "stfd f6, 112(r1)\n"
79 "stfd f5, 104(r1)\n" "stfd f4, 96(r1)\n"
80 "stfd f3, 88(r1)\n" "stfd f2, 80(r1)\n"
81 "stfd f1, 72(r1)\n"
82 // Arguments to Compilation Callback:
83 // r3 - our lr (address of the call instruction in stub plus 4)
84 // r4 - stub's lr (address of instruction that called the stub plus 4)
85 "mr r3, r0\n"
86 "lwz r2, 208(r1)\n" // stub's frame
87 "lwz r4, 8(r2)\n" // stub's lr
Chris Lattner73278082004-11-24 21:01:46 +000088 "bl _PPC32CompilationCallbackC\n"
Nate Begeman54252672006-05-02 04:50:05 +000089 "mtctr r3\n"
90 // Restore all int arg registers
91 "lwz r10, 204(r1)\n" "lwz r9, 200(r1)\n"
92 "lwz r8, 196(r1)\n" "lwz r7, 192(r1)\n"
93 "lwz r6, 188(r1)\n" "lwz r5, 184(r1)\n"
94 "lwz r4, 180(r1)\n" "lwz r3, 176(r1)\n"
95 // Restore all FP arg registers
96 "lfd f13, 168(r1)\n" "lfd f12, 160(r1)\n"
97 "lfd f11, 152(r1)\n" "lfd f10, 144(r1)\n"
98 "lfd f9, 136(r1)\n" "lfd f8, 128(r1)\n"
99 "lfd f7, 120(r1)\n" "lfd f6, 112(r1)\n"
100 "lfd f5, 104(r1)\n" "lfd f4, 96(r1)\n"
101 "lfd f3, 88(r1)\n" "lfd f2, 80(r1)\n"
102 "lfd f1, 72(r1)\n"
103 // Pop 3 frames off the stack and branch to target
104 "lwz r1, 208(r1)\n"
105 "lwz r2, 8(r1)\n"
106 "mtlr r2\n"
107 "bctr\n"
Chris Lattner73278082004-11-24 21:01:46 +0000108 );
Chris Lattnerfde839b2004-11-25 06:14:45 +0000109#else
110void PPC32CompilationCallback() {
111 assert(0 && "This is not a power pc, you can't execute this!");
112 abort();
113}
Nate Begemanca6d0f52004-11-23 21:34:18 +0000114#endif
115
Nate Begeman54252672006-05-02 04:50:05 +0000116extern "C" unsigned *PPC32CompilationCallbackC(unsigned *StubCallAddrPlus4,
117 unsigned *OrigCallAddrPlus4) {
Nate Begemanb3f70d72006-04-25 04:45:59 +0000118 // Adjust the pointer to the address of the call instruction in the stub
119 // emitted by emitFunctionStub, rather than the instruction after it.
120 unsigned *StubCallAddr = StubCallAddrPlus4 - 1;
121 unsigned *OrigCallAddr = OrigCallAddrPlus4 - 1;
Chris Lattnere61198b2004-11-23 06:55:05 +0000122
Nate Begemanb3f70d72006-04-25 04:45:59 +0000123 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattnere61198b2004-11-23 06:55:05 +0000124
Nate Begemanb3f70d72006-04-25 04:45:59 +0000125 // Check to see if *OrigCallAddr is a 'bl' instruction, and if we can rewrite
126 // it to branch directly to the destination. If so, rewrite it so it does not
127 // need to go through the stub anymore.
128 unsigned OrigCallInst = *OrigCallAddr;
129 if ((OrigCallInst >> 26) == 18) { // Direct call.
130 intptr_t Offset = ((intptr_t)Target - (intptr_t)OrigCallAddr) >> 2;
131
Chris Lattnere61198b2004-11-23 06:55:05 +0000132 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner892afa92004-11-24 18:00:02 +0000133 // Clear the original target out.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000134 OrigCallInst &= (63 << 26) | 3;
Chris Lattner892afa92004-11-24 18:00:02 +0000135 // Fill in the new target.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000136 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner892afa92004-11-24 18:00:02 +0000137 // Replace the call.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000138 *OrigCallAddr = OrigCallInst;
Chris Lattnere61198b2004-11-23 06:55:05 +0000139 }
140 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000141
Nate Begemanb3f70d72006-04-25 04:45:59 +0000142 // Assert that we are coming from a stub that was created with our
143 // emitFunctionStub.
144 assert((*StubCallAddr >> 26) == 19 && "Call in stub is not indirect!");
145 StubCallAddr -= 6;
Chris Lattnere61198b2004-11-23 06:55:05 +0000146
147 // Rewrite the stub with an unconditional branch to the target, for any users
148 // who took the address of the stub.
Nate Begemanb3f70d72006-04-25 04:45:59 +0000149 EmitBranchToAt(StubCallAddr, Target, false);
Chris Lattnere61198b2004-11-23 06:55:05 +0000150
Nate Begemanb3f70d72006-04-25 04:45:59 +0000151 // Put the address of the target function to call and the address to return to
152 // after calling the target function in a place that is easy to get on the
153 // stack after we restore all regs.
Nate Begeman54252672006-05-02 04:50:05 +0000154 return (unsigned *)Target;
Chris Lattnere61198b2004-11-23 06:55:05 +0000155}
156
157
158
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000159TargetJITInfo::LazyResolverFn
Nate Begeman21e463b2005-10-16 05:39:50 +0000160PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattnere61198b2004-11-23 06:55:05 +0000161 JITCompilerFunction = Fn;
Chris Lattner73278082004-11-24 21:01:46 +0000162 return PPC32CompilationCallback;
Chris Lattnere61198b2004-11-23 06:55:05 +0000163}
164
Nate Begeman21e463b2005-10-16 05:39:50 +0000165void *PPCJITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000166 // If this is just a call to an external function, emit a branch instead of a
167 // call. The code is the same except for one bit of the last instruction.
Chris Lattner08a9a982006-06-01 17:17:06 +0000168 if (Fn != (void*)(intptr_t)PPC32CompilationCallback) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000169 MCE.startFunctionStub(4*4);
170 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000171 MCE.emitWordBE(0);
172 MCE.emitWordBE(0);
173 MCE.emitWordBE(0);
174 MCE.emitWordBE(0);
Chris Lattner7c83dc22004-11-23 06:27:02 +0000175 EmitBranchToAt(Addr, Fn, false);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000176 return MCE.finishFunctionStub(0);
177 }
178
Chris Lattner7c83dc22004-11-23 06:27:02 +0000179 MCE.startFunctionStub(4*7);
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000180 MCE.emitWordBE(0x9421ffe0); // stwu r1,-32(r1)
181 MCE.emitWordBE(0x7d6802a6); // mflr r11
182 MCE.emitWordBE(0x91610028); // stw r11, 40(r1)
Chris Lattner7c83dc22004-11-23 06:27:02 +0000183 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
Chris Lattnerd3f0aef2006-05-02 19:14:47 +0000184 MCE.emitWordBE(0);
185 MCE.emitWordBE(0);
186 MCE.emitWordBE(0);
187 MCE.emitWordBE(0);
Chris Lattner7c83dc22004-11-23 06:27:02 +0000188 EmitBranchToAt(Addr, Fn, true/*is call*/);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000189 return MCE.finishFunctionStub(0);
190}
191
192
Nate Begeman21e463b2005-10-16 05:39:50 +0000193void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
194 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000195 for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
196 unsigned *RelocPos = (unsigned*)Function + MR->getMachineCodeOffset()/4;
197 intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
198 switch ((PPC::RelocationType)MR->getRelocationType()) {
199 default: assert(0 && "Unknown relocation type!");
200 case PPC::reloc_pcrel_bx:
201 // PC-relative relocation for b and bl instructions.
202 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
203 assert(ResultPtr >= -(1 << 23) && ResultPtr < (1 << 23) &&
204 "Relocation out of range!");
205 *RelocPos |= (ResultPtr & ((1 << 24)-1)) << 2;
206 break;
Chris Lattner5efb75d2004-11-24 22:30:08 +0000207 case PPC::reloc_absolute_ptr_high: // Pointer relocations.
Nate Begeman6fcbd692006-04-21 22:04:15 +0000208 case PPC::reloc_absolute_ptr_low:
Chris Lattner5efb75d2004-11-24 22:30:08 +0000209 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
Chris Lattner3bc8a762006-07-12 21:23:20 +0000210 case PPC::reloc_absolute_low: { // low bits of ref -> low 16 of instr
Chris Lattner9b3d9892004-11-23 06:02:06 +0000211 ResultPtr += MR->getConstantVal();
212
Chris Lattner5efb75d2004-11-24 22:30:08 +0000213 // If this is a high-part access, get the high-part.
214 if (MR->getRelocationType() == PPC::reloc_absolute_high ||
215 MR->getRelocationType() == PPC::reloc_absolute_ptr_high) {
Chris Lattner9b3d9892004-11-23 06:02:06 +0000216 // If the low part will have a carry (really a borrow) from the low
217 // 16-bits into the high 16, add a bit to borrow from.
218 if (((int)ResultPtr << 16) < 0)
219 ResultPtr += 1 << 16;
220 ResultPtr >>= 16;
221 }
222
223 // Do the addition then mask, so the addition does not overflow the 16-bit
224 // immediate section of the instruction.
225 unsigned LowBits = (*RelocPos + ResultPtr) & 65535;
226 unsigned HighBits = *RelocPos & ~65535;
227 *RelocPos = LowBits | HighBits; // Slam into low 16-bits
228 break;
229 }
Chris Lattner3bc8a762006-07-12 21:23:20 +0000230 case PPC::reloc_absolute_low_ix: { // low bits of ref -> low 14 of instr
231 ResultPtr += MR->getConstantVal();
232 // Do the addition then mask, so the addition does not overflow the 16-bit
233 // immediate section of the instruction.
234 unsigned LowBits = (*RelocPos + ResultPtr) & 0xFFFC;
235 unsigned HighBits = *RelocPos & 0xFFFF0003;
236 *RelocPos = LowBits | HighBits; // Slam into low 14-bits.
237 break;
238 }
239 }
Chris Lattner9b3d9892004-11-23 06:02:06 +0000240 }
241}
242
Nate Begeman21e463b2005-10-16 05:39:50 +0000243void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Chris Lattner7c83dc22004-11-23 06:27:02 +0000244 EmitBranchToAt(Old, New, false);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000245}