blob: f7abc53a897d3983de37bd91607bd5f52f3aee22 [file] [log] [blame]
Chris Lattner9b3d9892004-11-23 06:02:06 +00001//===-- PPC32JITInfo.cpp - Implement the JIT interfaces for the PowerPC ---===//
2//
3// 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.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the JIT interfaces for the 32-bit PowerPC target.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "jit"
15#include "PPC32JITInfo.h"
16#include "PPC32Relocations.h"
17#include "llvm/CodeGen/MachineCodeEmitter.h"
18#include "llvm/Config/alloca.h"
19using namespace llvm;
20
21static TargetJITInfo::JITCompilerFn JITCompilerFunction;
22
23#define BUILD_ADDIS(RD,RS,IMM16) \
24 ((15 << 26) | ((RD) << 21) | ((RS) << 16) | ((IMM16) & 65535))
25#define BUILD_ORI(RD,RS,UIMM16) \
26 ((24 << 26) | ((RS) << 21) | ((RD) << 16) | ((UIMM16) & 65535))
27#define BUILD_MTSPR(RS,SPR) \
28 ((31 << 26) | ((RS) << 21) | ((SPR) << 16) | (467 << 1))
29#define BUILD_BCCTRx(BO,BI,LINK) \
30 ((19 << 26) | ((BO) << 21) | ((BI) << 16) | (528 << 1) | ((LINK) & 1))
31
32// Pseudo-ops
33#define BUILD_LIS(RD,IMM16) BUILD_ADDIS(RD,0,IMM16)
34#define BUILD_MTCTR(RS) BUILD_MTSPR(RS,9)
35#define BUILD_BCTR(LINK) BUILD_BCCTRx(20,0,LINK)
36
Chris Lattner9b3d9892004-11-23 06:02:06 +000037
Chris Lattner7c83dc22004-11-23 06:27:02 +000038static void EmitBranchToAt(void *At, void *To, bool isCall) {
Chris Lattner9b3d9892004-11-23 06:02:06 +000039 intptr_t Addr = (intptr_t)To;
40
41 // FIXME: should special case the short branch case.
42 unsigned *AtI = (unsigned*)At;
43
44 AtI[0] = BUILD_LIS(12, Addr >> 16); // lis r12, hi16(address)
45 AtI[1] = BUILD_ORI(12, 12, Addr); // ori r12, r12, low16(address)
46 AtI[2] = BUILD_MTCTR(12); // mtctr r12
Chris Lattner7c83dc22004-11-23 06:27:02 +000047 AtI[3] = BUILD_BCTR(isCall); // bctr/bctrl
Chris Lattner9b3d9892004-11-23 06:02:06 +000048}
49
Chris Lattnere61198b2004-11-23 06:55:05 +000050static void CompilationCallback() {
Nate Begemanca6d0f52004-11-23 21:34:18 +000051 // Save R3-R31, since we want to restore arguments and nonvolatile regs used
52 // by the compiler. We also save and restore the FP regs, although this is
53 // probably just paranoia (gcc is unlikely to emit code that uses them for
54 // for this function.
55#if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)
56 unsigned IntRegs[29];
57 double FPRegs[13];
58 __asm__ __volatile__ (
59 "stmw r3, 0(%0)\n"
60 "stfd f1, 0(%1)\n" "stfd f2, 8(%1)\n" "stfd f3, 16(%1)\n"
61 "stfd f4, 24(%1)\n" "stfd f5, 32(%1)\n" "stfd f6, 40(%1)\n"
62 "stfd f7, 48(%1)\n" "stfd f8, 56(%1)\n" "stfd f9, 64(%1)\n"
63 "stfd f10, 72(%1)\n" "stfd f11, 80(%1)\n" "stfd f12, 88(%1)\n"
Nate Begeman65b7f3e2004-11-23 21:37:22 +000064 "stfd f13, 96(%1)\n" :: "b" (IntRegs), "b" (FPRegs) );
Chris Lattnerfb887e02004-11-24 17:42:55 +000065 /// FIXME: Need to safe and restore the rest of the FP regs!
Nate Begemanca6d0f52004-11-23 21:34:18 +000066#endif
67
Chris Lattnere61198b2004-11-23 06:55:05 +000068 unsigned *CameFromStub = (unsigned*)__builtin_return_address(0);
69 unsigned *CameFromOrig = (unsigned*)__builtin_return_address(1);
Chris Lattnerd9d06b32004-11-23 18:49:46 +000070 unsigned *CCStackPtr = (unsigned*)__builtin_frame_address(0);
71//unsigned *StubStackPtr = (unsigned*)__builtin_frame_address(1);
72 unsigned *OrigStackPtr = (unsigned*)__builtin_frame_address(2);
Chris Lattnere61198b2004-11-23 06:55:05 +000073
Chris Lattnerd9d06b32004-11-23 18:49:46 +000074 // Adjust pointer to the branch, not the return address.
75 --CameFromStub;
Chris Lattnere61198b2004-11-23 06:55:05 +000076
77 void *Target = JITCompilerFunction(CameFromStub);
78
79 // Check to see if CameFromOrig[-1] is a 'bl' instruction, and if we can
80 // rewrite it to branch directly to the destination. If so, rewrite it so it
81 // does not need to go through the stub anymore.
Chris Lattnerd9d06b32004-11-23 18:49:46 +000082 unsigned CameFromOrigInst = CameFromOrig[-1];
Chris Lattnere61198b2004-11-23 06:55:05 +000083 if ((CameFromOrigInst >> 26) == 18) { // Direct call.
Chris Lattner892afa92004-11-24 18:00:02 +000084 intptr_t Offset = ((intptr_t)Target-(intptr_t)CameFromOrig+4) >> 2;
Chris Lattnere61198b2004-11-23 06:55:05 +000085 if (Offset >= -(1 << 23) && Offset < (1 << 23)) { // In range?
Chris Lattner892afa92004-11-24 18:00:02 +000086 // Clear the original target out.
Chris Lattnere61198b2004-11-23 06:55:05 +000087 CameFromOrigInst &= (63 << 26) | 3;
Chris Lattner892afa92004-11-24 18:00:02 +000088 // Fill in the new target.
89 CameFromOrigInst |= (Offset & ((1 << 24)-1)) << 2;
90 // Replace the call.
Chris Lattnerd9d06b32004-11-23 18:49:46 +000091 CameFromOrig[-1] = CameFromOrigInst;
Chris Lattnere61198b2004-11-23 06:55:05 +000092 }
93 }
94
95 // Locate the start of the stub. If this is a short call, adjust backwards
96 // the short amount, otherwise the full amount.
97 bool isShortStub = (*CameFromStub >> 26) == 18;
Chris Lattnerd9d06b32004-11-23 18:49:46 +000098 CameFromStub -= isShortStub ? 2 : 6;
Chris Lattnere61198b2004-11-23 06:55:05 +000099
100 // Rewrite the stub with an unconditional branch to the target, for any users
101 // who took the address of the stub.
102 EmitBranchToAt(CameFromStub, Target, false);
103
Chris Lattnerd9d06b32004-11-23 18:49:46 +0000104 // Change the SP so that we pop two stack frames off when we return.
105 *CCStackPtr = (intptr_t)OrigStackPtr;
106
107 // Put the address of the stub and the LR value that originally came into the
108 // stub in a place that is easy to get on the stack after we restore all regs.
Chris Lattnerfb887e02004-11-24 17:42:55 +0000109 CCStackPtr[2] = (intptr_t)Target;
Chris Lattnerd9d06b32004-11-23 18:49:46 +0000110 CCStackPtr[1] = (intptr_t)CameFromOrig;
Chris Lattnere61198b2004-11-23 06:55:05 +0000111
Chris Lattnerd9d06b32004-11-23 18:49:46 +0000112 // Note, this is not a standard epilog!
113#if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)
Chris Lattnerfb887e02004-11-24 17:42:55 +0000114 register unsigned *IRR asm ("r2") = IntRegs;
115 register double *FRR asm ("r3") = FPRegs;
Nate Begemanca6d0f52004-11-23 21:34:18 +0000116 __asm__ __volatile__ (
117 "lfd f1, 0(%0)\n" "lfd f2, 8(%0)\n" "lfd f3, 16(%0)\n"
118 "lfd f4, 24(%0)\n" "lfd f5, 32(%0)\n" "lfd f6, 40(%0)\n"
119 "lfd f7, 48(%0)\n" "lfd f8, 56(%0)\n" "lfd f9, 64(%0)\n"
120 "lfd f10, 72(%0)\n" "lfd f11, 80(%0)\n" "lfd f12, 88(%0)\n"
Chris Lattnerfb887e02004-11-24 17:42:55 +0000121 "lfd f13, 96(%0)\n"
122 "lmw r3, 0(%1)\n" // Load all integer regs
Nate Begemanca6d0f52004-11-23 21:34:18 +0000123 "lwz r0,4(r1)\n" // Get CameFromOrig (LR into stub)
124 "mtlr r0\n" // Put it in the LR register
Chris Lattnerfb887e02004-11-24 17:42:55 +0000125 "lwz r0,8(r1)\n" // Get target function pointer
Nate Begemanca6d0f52004-11-23 21:34:18 +0000126 "mtctr r0\n" // Put it into the CTR register
127 "lwz r1,0(r1)\n" // Pop two frames off
128 "bctr\n" :: // Return to stub!
Chris Lattnerfb887e02004-11-24 17:42:55 +0000129 "b" (FRR), "b" (IRR));
Chris Lattnerd9d06b32004-11-23 18:49:46 +0000130#endif
Chris Lattnere61198b2004-11-23 06:55:05 +0000131}
132
133
134
135TargetJITInfo::LazyResolverFn
136PPC32JITInfo::getLazyResolverFunction(JITCompilerFn Fn) {
137 JITCompilerFunction = Fn;
138 return CompilationCallback;
139}
140
Chris Lattner9b3d9892004-11-23 06:02:06 +0000141void *PPC32JITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
142 // If this is just a call to an external function, emit a branch instead of a
143 // call. The code is the same except for one bit of the last instruction.
144 if (Fn != CompilationCallback) {
145 MCE.startFunctionStub(4*4);
146 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
147 MCE.emitWord(0);
148 MCE.emitWord(0);
149 MCE.emitWord(0);
150 MCE.emitWord(0);
Chris Lattner7c83dc22004-11-23 06:27:02 +0000151 EmitBranchToAt(Addr, Fn, false);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000152 return MCE.finishFunctionStub(0);
153 }
154
Chris Lattner7c83dc22004-11-23 06:27:02 +0000155 MCE.startFunctionStub(4*7);
156 MCE.emitWord(0x9421ffe0); // stwu r1,-32(r1)
157 MCE.emitWord(0x7d6802a6); // mflr r11
158 MCE.emitWord(0x91610028); // stw r11, 40(r1)
159 void *Addr = (void*)(intptr_t)MCE.getCurrentPCValue();
160 MCE.emitWord(0);
161 MCE.emitWord(0);
162 MCE.emitWord(0);
163 MCE.emitWord(0);
164 EmitBranchToAt(Addr, Fn, true/*is call*/);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000165 return MCE.finishFunctionStub(0);
166}
167
168
169void PPC32JITInfo::relocate(void *Function, MachineRelocation *MR,
170 unsigned NumRelocs) {
171 for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
172 unsigned *RelocPos = (unsigned*)Function + MR->getMachineCodeOffset()/4;
173 intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
174 switch ((PPC::RelocationType)MR->getRelocationType()) {
175 default: assert(0 && "Unknown relocation type!");
176 case PPC::reloc_pcrel_bx:
177 // PC-relative relocation for b and bl instructions.
178 ResultPtr = (ResultPtr-(intptr_t)RelocPos) >> 2;
179 assert(ResultPtr >= -(1 << 23) && ResultPtr < (1 << 23) &&
180 "Relocation out of range!");
181 *RelocPos |= (ResultPtr & ((1 << 24)-1)) << 2;
182 break;
183 case PPC::reloc_absolute_loadhi: // Relocate high bits into addis
184 case PPC::reloc_absolute_la: // Relocate low bits into addi
185 ResultPtr += MR->getConstantVal();
186
187 if (MR->getRelocationType() == PPC::reloc_absolute_loadhi) {
188 // If the low part will have a carry (really a borrow) from the low
189 // 16-bits into the high 16, add a bit to borrow from.
190 if (((int)ResultPtr << 16) < 0)
191 ResultPtr += 1 << 16;
192 ResultPtr >>= 16;
193 }
194
195 // Do the addition then mask, so the addition does not overflow the 16-bit
196 // immediate section of the instruction.
197 unsigned LowBits = (*RelocPos + ResultPtr) & 65535;
198 unsigned HighBits = *RelocPos & ~65535;
199 *RelocPos = LowBits | HighBits; // Slam into low 16-bits
200 break;
201 }
202 }
203}
204
205void PPC32JITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
Chris Lattner7c83dc22004-11-23 06:27:02 +0000206 EmitBranchToAt(Old, New, false);
Chris Lattner9b3d9892004-11-23 06:02:06 +0000207}