ARMJITInfo.cpp revision 770d718405114860f3874871848e345873bf7cb4
1f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//===-- ARMJITInfo.cpp - Implement the JIT interfaces for the ARM target --===//
2f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//
3f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//                     The LLVM Compiler Infrastructure
4f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//
5081ce940e7351e90fff829320b7dc6738a6b3815Chris Lattner// This file is distributed under the University of Illinois Open Source
6081ce940e7351e90fff829320b7dc6738a6b3815Chris Lattner// License. See LICENSE.TXT for details.
7f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//
8f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//===----------------------------------------------------------------------===//
9f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//
10f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman// This file implements the JIT interfaces for the ARM target.
11f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//
12f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman//===----------------------------------------------------------------------===//
13f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
14f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#define DEBUG_TYPE "jit"
15f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#include "ARMJITInfo.h"
16668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng#include "ARMInstrInfo.h"
175a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng#include "ARMConstantPoolValue.h"
18f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#include "ARMRelocations.h"
19f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#include "ARMSubtarget.h"
202b483b5fb10fd3e6223b824726c9403bb47c1e1cNicolas Geoffray#include "llvm/Function.h"
211ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes#include "llvm/CodeGen/JITCodeEmitter.h"
22f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#include "llvm/Config/alloca.h"
235120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng#include "llvm/Support/Debug.h"
243cb884811f68c27210391441d631146faa74f55eEdwin Török#include "llvm/Support/ErrorHandling.h"
25c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach#include "llvm/Support/Streams.h"
26005975c04c5ffc4ee07107ad60dd7d465464e6f7Daniel Dunbar#include "llvm/Support/raw_ostream.h"
27c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach#include "llvm/System/Memory.h"
28f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#include <cstdlib>
29f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohmanusing namespace llvm;
30f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
31f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohmanvoid ARMJITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
323cb884811f68c27210391441d631146faa74f55eEdwin Török  llvm_report_error("ARMJITInfo::replaceMachineCodeForFunction");
33f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman}
34f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
35f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman/// JITCompilerFunction - This contains the address of the JIT function used to
36f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman/// compile a function lazily.
37f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohmanstatic TargetJITInfo::JITCompilerFn JITCompilerFunction;
38f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
395d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng// Get the ASMPREFIX for the current host.  This is often '_'.
405d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#ifndef __USER_LABEL_PREFIX__
415d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#define __USER_LABEL_PREFIX__
425d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#endif
435d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#define GETASMPREFIX2(X) #X
445d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#define GETASMPREFIX(X) GETASMPREFIX2(X)
455d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#define ASMPREFIX GETASMPREFIX(__USER_LABEL_PREFIX__)
465d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng
47f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman// CompilationCallback stub - We can't use a C function with inline assembly in
48c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach// it, because we the prolog/epilog inserted by GCC won't work for us (we need
49c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach// to preserve more context and manipulate the stack directly).  Instead,
50770d718405114860f3874871848e345873bf7cb4Jim Grosbach// write our own wrapper, which does things our way, so we have complete
51c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach// control over register saving and restoring.
52f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohmanextern "C" {
53f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#if defined(__arm__)
54f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  void ARMCompilationCallback(void);
55f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  asm(
56f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman    ".text\n"
57f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman    ".align 2\n"
585d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng    ".globl " ASMPREFIX "ARMCompilationCallback\n"
595d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng    ASMPREFIX "ARMCompilationCallback:\n"
60c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // Save caller saved registers since they may contain stuff
61c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // for the real target function right now. We have to act as if this
62c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // whole compilation callback doesn't exist as far as the caller is
63c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // concerned, so we can't just preserve the callee saved regs.
648eab1c8c9852bb78231148ac4fb2d93b975f4ccdJim Grosbach    "stmdb sp!, {r0, r1, r2, r3, lr}\n"
65643484ec3ec819eccc87f9bf4ec3ab7ee7fce7ccEvan Cheng#ifndef __SOFTFP__
66649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng    "fstmfdd sp!, {d0, d1, d2, d3, d4, d5, d6, d7}\n"
67649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng#endif
68c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // The LR contains the address of the stub function on entry.
69c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // pass it as the argument to the C part of the callback
70c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "mov  r0, lr\n"
71c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "sub  sp, sp, #4\n"
72c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // Call the C portion of the callback
73c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "bl   " ASMPREFIX "ARMCompilationCallbackC\n"
74c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "add  sp, sp, #4\n"
75c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // Restoring the LR to the return address of the function that invoked
76c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // the stub and de-allocating the stack space for it requires us to
77c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // swap the two saved LR values on the stack, as they're backwards
78c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // for what we need since the pop instruction has a pre-determined
79c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // order for the registers.
80c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //      +--------+
81c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //   0  | LR     | Original return address
82770d718405114860f3874871848e345873bf7cb4Jim Grosbach    //      +--------+
83c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //   1  | LR     | Stub address (start of stub)
84c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // 2-5  | R3..R0 | Saved registers (we need to preserve all regs)
85649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng    // 6-20 | D0..D7 | Saved VFP registers
86770d718405114860f3874871848e345873bf7cb4Jim Grosbach    //      +--------+
87c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //
88643484ec3ec819eccc87f9bf4ec3ab7ee7fce7ccEvan Cheng#ifndef __SOFTFP__
89649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng    // Restore VFP caller-saved registers.
90649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng    "fldmfdd sp!, {d0, d1, d2, d3, d4, d5, d6, d7}\n"
91649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng#endif
92649de51e103995ae3efa6ff4aab7c0a7e480bc56Evan Cheng    //
93c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //      We need to exchange the values in slots 0 and 1 so we can
94c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //      return to the address in slot 1 with the address in slot 0
95c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //      restored to the LR.
96c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "ldr  r0, [sp,#20]\n"
97c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "ldr  r1, [sp,#16]\n"
98c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "str  r1, [sp,#20]\n"
99c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    "str  r0, [sp,#16]\n"
100c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // Return to the (newly modified) stub to invoke the real function.
101c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // The above twiddling of the saved return addresses allows us to
102c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // deallocate everything, including the LR the stub saved, all in one
103c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // pop instruction.
1048eab1c8c9852bb78231148ac4fb2d93b975f4ccdJim Grosbach    "ldmia  sp!, {r0, r1, r2, r3, lr, pc}\n"
1055d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng      );
1065d582a69ee011cf14e31b5d27b0401db0102ce89Evan Cheng#else  // Not an ARM host
107f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  void ARMCompilationCallback() {
108bd448e3ca993226084d7f53445388fcd8e46b996Edwin Török    llvm_unreachable("Cannot call ARMCompilationCallback() on a non-ARM arch!");
109f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  }
110f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman#endif
111f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman}
112f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
113770d718405114860f3874871848e345873bf7cb4Jim Grosbach/// ARMCompilationCallbackC - This is the target-specific function invoked
114770d718405114860f3874871848e345873bf7cb4Jim Grosbach/// by the function stub when we did not know the real target of a call.
115770d718405114860f3874871848e345873bf7cb4Jim Grosbach/// This function must locate the start of the stub or call site and pass
116c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach/// it into the JIT compiler function.
117c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbachextern "C" void ARMCompilationCallbackC(intptr_t StubAddr) {
118c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  // Get the address of the compiled code for this function.
119c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  intptr_t NewVal = (intptr_t)JITCompilerFunction((void*)StubAddr);
120f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
121f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  // Rewrite the call target... so that we don't end up here every time we
122c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  // execute the call. We're replacing the first two instructions of the
123c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  // stub with:
124c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  //   ldr pc, [pc,#-4]
125c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  //   <addr>
126886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng  if (!sys::Memory::setRangeWritable((void*)StubAddr, 8)) {
127bd448e3ca993226084d7f53445388fcd8e46b996Edwin Török    llvm_unreachable("ERROR: Unable to mark stub writable");
128886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng  }
129886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng  *(intptr_t *)StubAddr = 0xe51ff004;  // ldr pc, [pc, #-4]
130c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach  *(intptr_t *)(StubAddr+4) = NewVal;
131886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng  if (!sys::Memory::setRangeExecutable((void*)StubAddr, 8)) {
132bd448e3ca993226084d7f53445388fcd8e46b996Edwin Török    llvm_unreachable("ERROR: Unable to mark stub executable");
133886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng  }
134f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman}
135f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
136f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan GohmanTargetJITInfo::LazyResolverFn
137f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan GohmanARMJITInfo::getLazyResolverFunction(JITCompilerFn F) {
138f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  JITCompilerFunction = F;
139f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  return ARMCompilationCallback;
140f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman}
141f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
1428af22c446b6eefa8dddd2412c7d779feb4c7bf0aEvan Chengvoid *ARMJITInfo::emitGlobalValueIndirectSym(const GlobalValue *GV, void *Ptr,
1431ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes                                             JITCodeEmitter &JCE) {
1441ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes  JCE.startGVStub(GV, 4, 4);
1451ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes  JCE.emitWordLE((intptr_t)Ptr);
1461ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes  void *PtrAddr = JCE.finishGVStub(GV);
1475120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng  addIndirectSymAddr(Ptr, (intptr_t)PtrAddr);
1485120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng  return PtrAddr;
1492d011f9f433116e91c2d98e8f3c32bb9608ce666Evan Cheng}
1502d011f9f433116e91c2d98e8f3c32bb9608ce666Evan Cheng
1512b483b5fb10fd3e6223b824726c9403bb47c1e1cNicolas Geoffrayvoid *ARMJITInfo::emitFunctionStub(const Function* F, void *Fn,
1521ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes                                   JITCodeEmitter &JCE) {
153f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  // If this is just a call to an external function, emit a branch instead of a
154f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  // call.  The code is the same except for one bit of the last instruction.
155f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  if (Fn != (void*)(intptr_t)ARMCompilationCallback) {
1562d011f9f433116e91c2d98e8f3c32bb9608ce666Evan Cheng    // Branch to the corresponding function addr.
1575120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng    if (IsPIC) {
1585120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      // The stub is 8-byte size and 4-aligned.
1595120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      intptr_t LazyPtr = getIndirectSymAddr(Fn);
1605120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      if (!LazyPtr) {
1615120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng        // In PIC mode, the function stub is loading a lazy-ptr.
1621ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes        LazyPtr= (intptr_t)emitGlobalValueIndirectSym((GlobalValue*)F, Fn, JCE);
163005975c04c5ffc4ee07107ad60dd7d465464e6f7Daniel Dunbar        DEBUG(if (F)
164770d718405114860f3874871848e345873bf7cb4Jim Grosbach                errs() << "JIT: Indirect symbol emitted at [" << LazyPtr
165005975c04c5ffc4ee07107ad60dd7d465464e6f7Daniel Dunbar                       << "] for GV '" << F->getName() << "'\n";
166005975c04c5ffc4ee07107ad60dd7d465464e6f7Daniel Dunbar              else
167005975c04c5ffc4ee07107ad60dd7d465464e6f7Daniel Dunbar                errs() << "JIT: Stub emitted at [" << LazyPtr
168005975c04c5ffc4ee07107ad60dd7d465464e6f7Daniel Dunbar                       << "] for external function at '" << Fn << "'\n");
1695120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      }
1701ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.startGVStub(F, 16, 4);
1711ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      intptr_t Addr = (intptr_t)JCE.getCurrentPCValue();
1721ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.emitWordLE(0xe59fc004);            // ldr pc, [pc, #+4]
1731ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.emitWordLE(0xe08fc00c);            // L_func$scv: add ip, pc, ip
1741ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.emitWordLE(0xe59cf000);            // ldr pc, [ip]
1751ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.emitWordLE(LazyPtr - (Addr+4+8));  // func - (L_func$scv+8)
1765120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      sys::Memory::InvalidateInstructionCache((void*)Addr, 16);
1775120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng    } else {
1785120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      // The stub is 8-byte size and 4-aligned.
1791ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.startGVStub(F, 8, 4);
1801ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      intptr_t Addr = (intptr_t)JCE.getCurrentPCValue();
1811ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.emitWordLE(0xe51ff004);    // ldr pc, [pc, #-4]
1821ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes      JCE.emitWordLE((intptr_t)Fn);  // addr of function
1835120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng      sys::Memory::InvalidateInstructionCache((void*)Addr, 8);
1845120b9fa2d6559eb94dab3079ff346926c73940fEvan Cheng    }
185f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  } else {
186c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // The compilation callback will overwrite the first two words of this
187770d718405114860f3874871848e345873bf7cb4Jim Grosbach    // stub with indirect branch instructions targeting the compiled code.
188c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // This stub sets the return address to restart the stub, so that
189c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // the new branch will be invoked when we come back.
190c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    //
1912d011f9f433116e91c2d98e8f3c32bb9608ce666Evan Cheng    // Branch and link to the compilation callback.
1922d011f9f433116e91c2d98e8f3c32bb9608ce666Evan Cheng    // The stub is 16-byte size and 4-byte aligned.
1931ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes    JCE.startGVStub(F, 16, 4);
1941ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes    intptr_t Addr = (intptr_t)JCE.getCurrentPCValue();
195c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // Save LR so the callback can determine which stub called it.
196c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // The compilation callback is responsible for popping this prior
197c599a35bba7259e9b71aad881f5fc877ee34dc3dJim Grosbach    // to returning.
1981ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes    JCE.emitWordLE(0xe92d4000); // push {lr}
199886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng    // Set the return address to go back to the start of this stub.
2001ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes    JCE.emitWordLE(0xe24fe00c); // sub lr, pc, #12
201886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng    // Invoke the compilation callback.
2021ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes    JCE.emitWordLE(0xe51ff004); // ldr pc, [pc, #-4]
203886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng    // The address of the compilation callback.
2041ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes    JCE.emitWordLE((intptr_t)ARMCompilationCallback);
205886dafe6e0958d8da971a539954ae4c050c783daEvan Cheng    sys::Memory::InvalidateInstructionCache((void*)Addr, 16);
206f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman  }
207f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
2081ea31ff434f7966f3d8b2c158b4f20950e94e80dBruno Cardoso Lopes  return JCE.finishGVStub(F);
209f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman}
210f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman
2110f63ae111d5a509911fc61246c1acc62f8c58f18Evan Chengintptr_t ARMJITInfo::resolveRelocDestAddr(MachineRelocation *MR) const {
2125a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng  ARM::RelocationType RT = (ARM::RelocationType)MR->getRelocationType();
213668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  switch (RT) {
214668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  default:
215668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng    return (intptr_t)(MR->getResultPointer());
216668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  case ARM::reloc_arm_pic_jt:
217260ae19f81f574a4ec2c4cc648a63bd4278e4615Evan Cheng    // Destination address - jump table base.
218260ae19f81f574a4ec2c4cc648a63bd4278e4615Evan Cheng    return (intptr_t)(MR->getResultPointer()) - MR->getConstantVal();
219668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  case ARM::reloc_arm_jt_base:
220260ae19f81f574a4ec2c4cc648a63bd4278e4615Evan Cheng    // Jump table base address.
2210f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng    return getJumpTableBaseAddr(MR->getJumpTableIndex());
222668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  case ARM::reloc_arm_cp_entry:
223668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  case ARM::reloc_arm_vfp_cp_entry:
224260ae19f81f574a4ec2c4cc648a63bd4278e4615Evan Cheng    // Constant pool entry address.
2255a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng    return getConstantPoolEntryAddr(MR->getConstantPoolIndex());
226668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  case ARM::reloc_arm_machine_cp_entry: {
2278600421afe774e20c147d9505e3ddc0c1fc04a99Evan Cheng    ARMConstantPoolValue *ACPV = (ARMConstantPoolValue*)MR->getConstantVal();
2285a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng    assert((!ACPV->hasModifier() && !ACPV->mustAddCurrentAddress()) &&
2295a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng           "Can't handle this machine constant pool entry yet!");
2305a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng    intptr_t Addr = (intptr_t)(MR->getResultPointer());
2315a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng    Addr -= getPCLabelAddr(ACPV->getLabelId()) + ACPV->getPCAdjustment();
2325a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng    return Addr;
2335a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng  }
234668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng  }
2355a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng}
2365a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng
237f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman/// relocate - Before the JIT can run a block of code that has been emitted,
238f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman/// it must rewrite the code to contain the actual addresses of any
239f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman/// referenced global symbols.
240f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohmanvoid ARMJITInfo::relocate(void *Function, MachineRelocation *MR,
241f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman                          unsigned NumRelocs, unsigned char* GOTBase) {
242a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng  for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
243a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    void *RelocPos = (char*)Function + MR->getMachineCodeOffset();
2440f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng    intptr_t ResultPtr = resolveRelocDestAddr(MR);
245a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    switch ((ARM::RelocationType)MR->getRelocationType()) {
246f07a9b69d1c91187d73667b46aa423d4325ccf04Evan Cheng    case ARM::reloc_arm_cp_entry:
247668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng    case ARM::reloc_arm_vfp_cp_entry:
248a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    case ARM::reloc_arm_relative: {
24972551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // It is necessary to calculate the correct PC relative value. We
25072551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // subtract the base addr from the target addr to form a byte offset.
251668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      ResultPtr = ResultPtr - (intptr_t)RelocPos - 8;
25272551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // If the result is positive, set bit U(23) to 1.
25372551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      if (ResultPtr >= 0)
254668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng        *((intptr_t*)RelocPos) |= 1 << ARMII::U_BitShift;
25572551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      else {
256668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng        // Otherwise, obtain the absolute value and set bit U(23) to 0.
257ba3d8bcb52d332b1af1283585e0d01d636bc2899Evan Cheng        *((intptr_t*)RelocPos) &= ~(1 << ARMII::U_BitShift);
258668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng        ResultPtr = - ResultPtr;
25972551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      }
2605a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng      // Set the immed value calculated.
261668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      // VFP immediate offset is multiplied by 4.
262668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      if (MR->getRelocationType() == ARM::reloc_arm_vfp_cp_entry)
263668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng        ResultPtr = ResultPtr >> 2;
264668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      *((intptr_t*)RelocPos) |= ResultPtr;
2655a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng      // Set register Rn to PC.
266668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      *((intptr_t*)RelocPos) |=
267668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng        ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
268a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng      break;
269a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    }
270260ae19f81f574a4ec2c4cc648a63bd4278e4615Evan Cheng    case ARM::reloc_arm_pic_jt:
2715a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng    case ARM::reloc_arm_machine_cp_entry:
272f07a9b69d1c91187d73667b46aa423d4325ccf04Evan Cheng    case ARM::reloc_arm_absolute: {
2735a033a6c9c08d06f316e42b111cc79756c672733Evan Cheng      // These addresses have already been resolved.
274668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      *((intptr_t*)RelocPos) |= (intptr_t)ResultPtr;
275f07a9b69d1c91187d73667b46aa423d4325ccf04Evan Cheng      break;
276f07a9b69d1c91187d73667b46aa423d4325ccf04Evan Cheng    }
277a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    case ARM::reloc_arm_branch: {
27872551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // It is necessary to calculate the correct value of signed_immed_24
27972551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // field. We subtract the base addr from the target addr to form a
28072551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // byte offset, which must be inside the range -33554432 and +33554428.
28172551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // Then, we set the signed_immed_24 field of the instruction to bits
28272551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      // [25:2] of the byte offset. More details ARM-ARM p. A4-11.
2830f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng      ResultPtr = ResultPtr - (intptr_t)RelocPos - 8;
28472551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      ResultPtr = (ResultPtr & 0x03FFFFFC) >> 2;
28572551daeaad642f5bb9318d269bc0b7834381ef4Raul Herbster      assert(ResultPtr >= -33554432 && ResultPtr <= 33554428);
286668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      *((intptr_t*)RelocPos) |= ResultPtr;
287a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng      break;
288a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    }
2890f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng    case ARM::reloc_arm_jt_base: {
2900f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng      // JT base - (instruction addr + 8)
2910f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng      ResultPtr = ResultPtr - (intptr_t)RelocPos - 8;
292668d0df68e2c40e4f4073535afcc5ec210d7d200Evan Cheng      *((intptr_t*)RelocPos) |= ResultPtr;
2930f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng      break;
2940f63ae111d5a509911fc61246c1acc62f8c58f18Evan Cheng    }
295a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng    }
296a7b3e7c33f1ef7be844fde18dcd9e24afdc97748Evan Cheng  }
297f17a25c88b892d30c2b41ba7ecdfbdfb2b4be9cDan Gohman}
298