Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 1 | #include "llvm/ADT/Triple.h" |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 2 | #include "llvm/ExecutionEngine/Orc/OrcTargetSupport.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 3 | #include <array> |
| 4 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 5 | using namespace llvm::orc; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 6 | |
| 7 | namespace { |
| 8 | |
Lang Hames | 8389b55 | 2015-03-25 02:45:50 +0000 | [diff] [blame] | 9 | uint64_t executeCompileCallback(JITCompileCallbackManagerBase *JCBM, |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 10 | TargetAddress CallbackID) { |
| 11 | return JCBM->executeCompileCallback(CallbackID); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 12 | } |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 13 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 14 | } |
| 15 | |
| 16 | namespace llvm { |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 17 | namespace orc { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 18 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 19 | const char* OrcX86_64::ResolverBlockName = "orc_resolver_block"; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 20 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 21 | void OrcX86_64::insertResolverBlock( |
Lang Hames | 8389b55 | 2015-03-25 02:45:50 +0000 | [diff] [blame] | 22 | Module &M, JITCompileCallbackManagerBase &JCBM) { |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 23 | |
| 24 | // Trampoline code-sequence length, used to get trampoline address from return |
| 25 | // address. |
Lang Hames | cd118e7 | 2015-03-24 04:27:02 +0000 | [diff] [blame] | 26 | const unsigned X86_64_TrampolineLength = 6; |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 27 | |
| 28 | // List of x86-64 GPRs to save. |
| 29 | std::array<const char *, 11> GPRs = {{ |
| 30 | "rbx", "r12", "r13", "r14", "r15", // Callee saved (rbp preserved below). |
| 31 | "rdi", "rsi", "rdx", "rcx", "r8", "r9", // Int args. |
| 32 | }}; |
| 33 | |
| 34 | // Address of the executeCompileCallback function. |
NAKAMURA Takumi | cd5a367 | 2015-02-17 12:53:16 +0000 | [diff] [blame] | 35 | uint64_t CallbackAddr = |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 36 | static_cast<uint64_t>( |
| 37 | reinterpret_cast<uintptr_t>(executeCompileCallback)); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 38 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 39 | std::ostringstream AsmStream; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 40 | Triple TT(M.getTargetTriple()); |
| 41 | |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 42 | // Switch to text section. |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 43 | if (TT.getOS() == Triple::Darwin) |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 44 | AsmStream << ".section __TEXT,__text,regular,pure_instructions\n" |
| 45 | << ".align 4, 0x90\n"; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 46 | else |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 47 | AsmStream << ".text\n" |
| 48 | << ".align 16, 0x90\n"; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 49 | |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 50 | // Bake in a pointer to the callback manager immediately before the |
| 51 | // start of the resolver function. |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 52 | AsmStream << "jit_callback_manager_addr:\n" |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 53 | << " .quad " << &JCBM << "\n"; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 54 | |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 55 | // Start the resolver function. |
| 56 | AsmStream << ResolverBlockName << ":\n" |
| 57 | << " pushq %rbp\n" |
| 58 | << " movq %rsp, %rbp\n"; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 59 | |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 60 | // Store the GPRs. |
| 61 | for (const auto &GPR : GPRs) |
| 62 | AsmStream << " pushq %" << GPR << "\n"; |
| 63 | |
| 64 | // Store floating-point state with FXSAVE. |
| 65 | AsmStream << " subq $512, %rsp\n" |
| 66 | << " fxsave (%rsp)\n" |
| 67 | |
| 68 | // Load callback manager address, compute trampoline address, call JIT. |
| 69 | << " lea jit_callback_manager_addr(%rip), %rdi\n" |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 70 | << " movq (%rdi), %rdi\n" |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 71 | << " movq 0x8(%rbp), %rsi\n" |
Lang Hames | cd118e7 | 2015-03-24 04:27:02 +0000 | [diff] [blame] | 72 | << " subq $" << X86_64_TrampolineLength << ", %rsi\n" |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 73 | << " movabsq $" << CallbackAddr << ", %rax\n" |
| 74 | << " callq *%rax\n" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 75 | |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 76 | // Replace the return to the trampoline with the return address of the |
| 77 | // compiled function body. |
| 78 | << " movq %rax, 0x8(%rbp)\n" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 79 | |
Lang Hames | e51ab6e | 2015-04-06 03:01:29 +0000 | [diff] [blame] | 80 | // Restore the floating point state. |
| 81 | << " fxrstor (%rsp)\n" |
| 82 | << " addq $512, %rsp\n"; |
| 83 | |
| 84 | for (const auto &GPR : make_range(GPRs.rbegin(), GPRs.rend())) |
| 85 | AsmStream << " popq %" << GPR << "\n"; |
| 86 | |
| 87 | // Restore original RBP and return to compiled function body. |
| 88 | AsmStream << " popq %rbp\n" |
| 89 | << " retq\n"; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 90 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 91 | M.appendModuleInlineAsm(AsmStream.str()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 92 | } |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 93 | |
| 94 | OrcX86_64::LabelNameFtor |
| 95 | OrcX86_64::insertCompileCallbackTrampolines(Module &M, |
| 96 | TargetAddress ResolverBlockAddr, |
| 97 | unsigned NumCalls, |
| 98 | unsigned StartIndex) { |
| 99 | const char *ResolverBlockPtrName = "Lorc_resolve_block_addr"; |
| 100 | |
| 101 | std::ostringstream AsmStream; |
| 102 | Triple TT(M.getTargetTriple()); |
| 103 | |
| 104 | if (TT.getOS() == Triple::Darwin) |
| 105 | AsmStream << ".section __TEXT,__text,regular,pure_instructions\n" |
| 106 | << ".align 4, 0x90\n"; |
| 107 | else |
| 108 | AsmStream << ".text\n" |
| 109 | << ".align 16, 0x90\n"; |
| 110 | |
| 111 | AsmStream << ResolverBlockPtrName << ":\n" |
| 112 | << " .quad " << ResolverBlockAddr << "\n"; |
| 113 | |
| 114 | auto GetLabelName = |
| 115 | [=](unsigned I) { |
| 116 | std::ostringstream LabelStream; |
| 117 | LabelStream << "orc_jcc_" << (StartIndex + I); |
| 118 | return LabelStream.str(); |
| 119 | }; |
| 120 | |
| 121 | for (unsigned I = 0; I < NumCalls; ++I) |
| 122 | AsmStream << GetLabelName(I) << ":\n" |
| 123 | << " callq *" << ResolverBlockPtrName << "(%rip)\n"; |
| 124 | |
| 125 | M.appendModuleInlineAsm(AsmStream.str()); |
| 126 | |
| 127 | return GetLabelName; |
| 128 | } |
| 129 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 130 | } // End namespace orc. |
| 131 | } // End namespace llvm. |