blob: 6ee10d78b635e721f248ffc90a486fe3b40e7f40 [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"
Chris Lattnerb50fd922004-11-26 20:25:17 +000019#include <set>
Chris Lattner8296c4c2004-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 Lattner8296c4c2004-11-23 06:02:06 +000038
Chris Lattner7445c5e2004-11-23 06:27:02 +000039static void EmitBranchToAt(void *At, void *To, bool isCall) {
Chris Lattner8296c4c2004-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 Lattner7445c5e2004-11-23 06:27:02 +000048 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
Chris Lattner8296c4c2004-11-23 06:02:06 +000049}
50
Chris Lattner078b6f22004-11-24 21:01:46 +000051extern "C" void PPC32CompilationCallback();
52
Nate Begeman61776062004-11-23 21:34:18 +000053#if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)
Chris Lattner078b6f22004-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 Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +000074 // Save all call-clobbered FP regs.
Nate Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +000088 "bl _PPC32CompilationCallbackC\n"
Nate Begeman01364fb2006-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 Lattner078b6f22004-11-24 21:01:46 +0000108 );
Chris Lattner8cbad8e2004-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 Begeman61776062004-11-23 21:34:18 +0000114#endif
115
Nate Begeman01364fb2006-05-02 04:50:05 +0000116extern "C" unsigned *PPC32CompilationCallbackC(unsigned *StubCallAddrPlus4,
117 unsigned *OrigCallAddrPlus4) {
Nate Begeman318bb962006-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 Lattner4ff11752004-11-23 06:55:05 +0000122
Nate Begeman318bb962006-04-25 04:45:59 +0000123 void *Target = JITCompilerFunction(StubCallAddr);
Chris Lattner4ff11752004-11-23 06:55:05 +0000124
Nate Begeman318bb962006-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 Lattner4ff11752004-11-23 06:55:05 +0000132 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner659d72e2004-11-24 18:00:02 +0000133 // Clear the original target out.
Nate Begeman318bb962006-04-25 04:45:59 +0000134 OrigCallInst &= (63 << 26) | 3;
Chris Lattner659d72e2004-11-24 18:00:02 +0000135 // Fill in the new target.
Nate Begeman318bb962006-04-25 04:45:59 +0000136 OrigCallInst |= (Offset & ((1 << 24)-1)) << 2;
Chris Lattner659d72e2004-11-24 18:00:02 +0000137 // Replace the call.
Nate Begeman318bb962006-04-25 04:45:59 +0000138 *OrigCallAddr = OrigCallInst;
Chris Lattner4ff11752004-11-23 06:55:05 +0000139 }
140 }
Misha Brukmanb4402432005-04-21 23:30:14 +0000141
Nate Begeman318bb962006-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 Lattner4ff11752004-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 Begeman318bb962006-04-25 04:45:59 +0000149 EmitBranchToAt(StubCallAddr, Target, false);
Chris Lattner4ff11752004-11-23 06:55:05 +0000150
Nate Begeman318bb962006-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 Begeman01364fb2006-05-02 04:50:05 +0000154 return (unsigned *)Target;
Chris Lattner4ff11752004-11-23 06:55:05 +0000155}
156
157
158
Misha Brukmanb4402432005-04-21 23:30:14 +0000159TargetJITInfo::LazyResolverFn
Nate Begeman6cca84e2005-10-16 05:39:50 +0000160PPCJITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
Chris Lattner4ff11752004-11-23 06:55:05 +0000161 JITCompilerFunction = Fn;
Chris Lattner078b6f22004-11-24 21:01:46 +0000162 return PPC32CompilationCallback;
Chris Lattner4ff11752004-11-23 06:55:05 +0000163}
164
Nate Begeman6cca84e2005-10-16 05:39:50 +0000165void *PPCJITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
Chris Lattner8296c4c2004-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 Lattneraa2372562006-05-24 17:04:05 +0000168 if (Fn != (void*)PPC32CompilationCallback) {
Chris Lattner8296c4c2004-11-23 06:02:06 +0000169 MCE.startFunctionStub(4*4);
170 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
Chris Lattnere1c96362006-05-02 19:14:47 +0000171 MCE.emitWordBE(0);
172 MCE.emitWordBE(0);
173 MCE.emitWordBE(0);
174 MCE.emitWordBE(0);
Chris Lattner7445c5e2004-11-23 06:27:02 +0000175 EmitBranchToAt(Addr, Fn, false);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000176 return MCE.finishFunctionStub(0);
177 }
178
Chris Lattner7445c5e2004-11-23 06:27:02 +0000179 MCE.startFunctionStub(4*7);
Chris Lattnere1c96362006-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 Lattner7445c5e2004-11-23 06:27:02 +0000183 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
Chris Lattnere1c96362006-05-02 19:14:47 +0000184 MCE.emitWordBE(0);
185 MCE.emitWordBE(0);
186 MCE.emitWordBE(0);
187 MCE.emitWordBE(0);
Chris Lattner7445c5e2004-11-23 06:27:02 +0000188 EmitBranchToAt(Addr, Fn, true/*is call*/);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000189 return MCE.finishFunctionStub(0);
190}
191
192
Nate Begeman6cca84e2005-10-16 05:39:50 +0000193void PPCJITInfo::relocate(void *Function, MachineRelocation *MR,
194 unsigned NumRelocs, unsigned char* GOTBase) {
Chris Lattner8296c4c2004-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 Lattnerdd516792004-11-24 22:30:08 +0000207 case PPC::reloc_absolute_ptr_high: // Pointer relocations.
Nate Begeman516b39392006-04-21 22:04:15 +0000208 case PPC::reloc_absolute_ptr_low:
Chris Lattnerdd516792004-11-24 22:30:08 +0000209 case PPC::reloc_absolute_high: // high bits of ref -> low 16 of instr
210 case PPC::reloc_absolute_low: // low bits of ref -> low 16 of instr
Chris Lattner8296c4c2004-11-23 06:02:06 +0000211 ResultPtr += MR->getConstantVal();
212
Chris Lattnerdd516792004-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 Lattner8296c4c2004-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 }
230 }
231}
232
Nate Begeman6cca84e2005-10-16 05:39:50 +0000233void PPCJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Chris Lattner7445c5e2004-11-23 06:27:02 +0000234 EmitBranchToAt(Old, New, false);
Chris Lattner8296c4c2004-11-23 06:02:06 +0000235}