lib/Target/X86/X86JITInfo.cpp

   1 //===-- X86JITInfo.cpp - Implement the JIT interfaces for the X86 target --===//
   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 X86 target.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #define DEBUG_TYPE "jit"
  15 #include "X86JITInfo.h"
  16 #include "X86Relocations.h"
  17 #include "llvm/CodeGen/MachineCodeEmitter.h"
  18 #include "llvm/Config/alloca.h"
  19 #include <cstdlib>
  20 #include <iostream>
  21 using namespace llvm;
  22
  23 #ifdef _MSC_VER
  24   extern "C" void *_AddressOfReturnAddress(void);
  25   #pragma intrinsic(_AddressOfReturnAddress)
  26 #endif
  27
  28 void X86JITInfo::replaceMachineCodeForFunction(void *Old, void *New) {
  29   unsigned char *OldByte = (unsigned char *)Old;
  30   *OldByte++ = 0xE9;                // Emit JMP opcode.
  31   unsigned *OldWord = (unsigned *)OldByte;
  32   unsigned NewAddr = (intptr_t)New;
  33   unsigned OldAddr = (intptr_t)OldWord;
  34   *OldWord = NewAddr - OldAddr - 4; // Emit PC-relative addr of New code.
  35 }
  36
  37
  38 /// JITCompilerFunction - This contains the address of the JIT function used to
  39 /// compile a function lazily.
  40 static TargetJITInfo::JITCompilerFn JITCompilerFunction;
  41
  42 // Provide a wrapper for X86CompilationCallback2 that saves non-traditional
  43 // callee saved registers, for the fastcc calling convention.
  44 extern "C" {
  45 #if defined(__i386__) || defined(i386) || defined(_M_IX86)
  46 #ifndef _MSC_VER
  47   void X86CompilationCallback(void);
  48   asm(
  49     ".text\n"
  50     ".align 8\n"
  51 #if defined(__CYGWIN__) || defined(__APPLE__) || defined(__MINGW32__)
  52     ".globl _X86CompilationCallback\n"
  53   "_X86CompilationCallback:\n"
  54 #else
  55     ".globl X86CompilationCallback\n"
  56   "X86CompilationCallback:\n"
  57 #endif
  58     "pushl   %ebp\n"
  59     "movl    %esp, %ebp\n"    // Standard prologue
  60 #if FASTCC_NUM_INT_ARGS_INREGS > 0
  61     "pushl   %eax\n"
  62     "pushl   %edx\n"          // Save EAX/EDX
  63 #endif
  64 #if defined(__APPLE__)
  65     "andl    $-16, %esp\n"    // Align ESP on 16-byte boundary
  66 #endif
  67     "subl    $16, %esp\n"
  68     "movl    4(%ebp), %eax\n" // Pass prev frame and return address
  69     "movl    %eax, 4(%esp)\n"
  70     "movl    %ebp, (%esp)\n"
  71 #if defined(__CYGWIN__) || defined(__MINGW32__) || defined(__APPLE__)
  72     "call    _X86CompilationCallback2\n"
  73 #else
  74     "call    X86CompilationCallback2\n"
  75 #endif
  76 #if defined(__APPLE__)
  77     "movl    %ebp, %esp\n"    // Restore ESP
  78 #endif
  79 #if FASTCC_NUM_INT_ARGS_INREGS > 0
  80 #if defined(__APPLE__)
  81     "subl    $8, %esp\n"
  82 #endif
  83     "popl    %edx\n"
  84     "popl    %eax\n"
  85 #endif
  86     "popl    %ebp\n"
  87     "ret\n");
  88 #else
  89   void X86CompilationCallback2(void);
  90
  91   _declspec(naked) void X86CompilationCallback(void) {
  92     __asm {
  93       push  eax
  94       push  edx
  95       call  X86CompilationCallback2
  96       pop   edx
  97       pop   eax
  98       ret
  99     }
 100   }
 101 #endif // _MSC_VER
 102
 103 #else // Not an i386 host
 104   void X86CompilationCallback() {
 105     std::cerr << "Cannot call X86CompilationCallback() on a non-x86 arch!\n";
 106     abort();
 107   }
 108 #endif
 109 }
 110
 111 /// X86CompilationCallback - This is the target-specific function invoked by the
 112 /// function stub when we did not know the real target of a call.  This function
 113 /// must locate the start of the stub or call site and pass it into the JIT
 114 /// compiler function.
 115 #ifdef _MSC_VER
 116 extern "C" void X86CompilationCallback2() {
 117   assert(sizeof(size_t) == 4); // FIXME: handle Win64
 118   unsigned *RetAddrLoc = (unsigned *)_AddressOfReturnAddress();
 119   RetAddrLoc += 3;  // skip over ret addr, edx, eax
 120   unsigned RetAddr = *RetAddrLoc;
 121 #else
 122 extern "C" void X86CompilationCallback2(intptr_t *StackPtr, intptr_t RetAddr) {
 123   intptr_t *RetAddrLoc = &StackPtr[1];
 124 #endif
 125   assert(*RetAddrLoc == RetAddr &&
 126          "Could not find return address on the stack!");
 127
 128   // It's a stub if there is an interrupt marker after the call.
 129   bool isStub = ((unsigned char*)(intptr_t)RetAddr)[0] == 0xCD;
 130
 131   // The call instruction should have pushed the return value onto the stack...
 132   RetAddr -= 4;  // Backtrack to the reference itself...
 133
 134 #if 0
 135   DEBUG(std::cerr << "In callback! Addr=" << (void*)RetAddr
 136                   << " ESP=" << (void*)StackPtr
 137                   << ": Resolving call to function: "
 138                   << TheVM->getFunctionReferencedName((void*)RetAddr) << "\n");
 139 #endif
 140
 141   // Sanity check to make sure this really is a call instruction.
 142   assert(((unsigned char*)(intptr_t)RetAddr)[-1] == 0xE8 &&"Not a call instr!");
 143
 144   unsigned NewVal = (intptr_t)JITCompilerFunction((void*)(intptr_t)RetAddr);
 145
 146   // Rewrite the call target... so that we don't end up here every time we
 147   // execute the call.
 148   *(unsigned*)(intptr_t)RetAddr = NewVal-RetAddr-4;
 149
 150   if (isStub) {
 151     // If this is a stub, rewrite the call into an unconditional branch
 152     // instruction so that two return addresses are not pushed onto the stack
 153     // when the requested function finally gets called.  This also makes the
 154     // 0xCD byte (interrupt) dead, so the marker doesn't effect anything.
 155     ((unsigned char*)(intptr_t)RetAddr)[-1] = 0xE9;
 156   }
 157
 158   // Change the return address to reexecute the call instruction...
 159   *RetAddrLoc -= 5;
 160 }
 161
 162 TargetJITInfo::LazyResolverFn
 163 X86JITInfo::getLazyResolverFunction(JITCompilerFn F) {
 164   JITCompilerFunction = F;
 165   return X86CompilationCallback;
 166 }
 167
 168 void *X86JITInfo::emitFunctionStub(void *Fn, MachineCodeEmitter &MCE) {
 169   // Note, we cast to intptr_t here to silence a -pedantic warning that
 170   // complains about casting a function pointer to a normal pointer.
 171   if (Fn != (void*)(intptr_t)X86CompilationCallback) {
 172     MCE.startFunctionStub(5);
 173     MCE.emitByte(0xE9);
 174     MCE.emitWordLE((intptr_t)Fn-MCE.getCurrentPCValue()-4);
 175     return MCE.finishFunctionStub(0);
 176   }
 177
 178   MCE.startFunctionStub(6);
 179   MCE.emitByte(0xE8);   // Call with 32 bit pc-rel destination...
 180
 181   MCE.emitWordLE((intptr_t)Fn-MCE.getCurrentPCValue()-4);
 182
 183   MCE.emitByte(0xCD);   // Interrupt - Just a marker identifying the stub!
 184   return MCE.finishFunctionStub(0);
 185 }
 186
 187 /// relocate - Before the JIT can run a block of code that has been emitted,
 188 /// it must rewrite the code to contain the actual addresses of any
 189 /// referenced global symbols.
 190 void X86JITInfo::relocate(void *Function, MachineRelocation *MR,
 191                           unsigned NumRelocs, unsigned char* GOTBase) {
 192   for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
 193     void *RelocPos = (char*)Function + MR->getMachineCodeOffset();
 194     intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
 195     switch ((X86::RelocationType)MR->getRelocationType()) {
 196     case X86::reloc_pcrel_word:
 197       // PC relative relocation, add the relocated value to the value already in
 198       // memory, after we adjust it for where the PC is.
 199       ResultPtr = ResultPtr-(intptr_t)RelocPos-4;
 200       *((intptr_t*)RelocPos) += ResultPtr;
 201       break;
 202     case X86::reloc_absolute_word:
 203       // Absolute relocation, just add the relocated value to the value already
 204       // in memory.
 205       *((intptr_t*)RelocPos) += ResultPtr;
 206       break;
 207     }
 208   }
 209 }