Chris Lattner | 556d89d | 2003-08-01 22:19:03 +0000 | [diff] [blame] | 1 | //===-- SparcV9CodeEmitter.cpp --------------------------------------------===// |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 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 | //===----------------------------------------------------------------------===// |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 9 | // |
Brian Gaeke | 4296088 | 2003-10-13 19:51:20 +0000 | [diff] [blame] | 10 | // SPARC-specific backend for emitting machine code to memory. |
| 11 | // |
| 12 | // This module also contains the code for lazily resolving the targets |
| 13 | // of call instructions, including the callback used to redirect calls |
| 14 | // to functions for which the code has not yet been generated into the |
| 15 | // JIT compiler. |
| 16 | // |
| 17 | // This file #includes SparcV9CodeEmitter.inc, which contains the code |
| 18 | // for getBinaryCodeForInstr(), a method that converts a MachineInstr |
| 19 | // into the corresponding binary machine code word. |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 20 | // |
| 21 | //===----------------------------------------------------------------------===// |
| 22 | |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 23 | #include "llvm/Constants.h" |
| 24 | #include "llvm/Function.h" |
| 25 | #include "llvm/GlobalVariable.h" |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 26 | #include "llvm/PassManager.h" |
| 27 | #include "llvm/CodeGen/MachineCodeEmitter.h" |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineConstantPool.h" |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineFunctionInfo.h" |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 31 | #include "llvm/CodeGen/MachineInstr.h" |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 32 | #include "llvm/Target/TargetMachine.h" |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 33 | #include "llvm/Target/TargetData.h" |
Chris Lattner | 556d89d | 2003-08-01 22:19:03 +0000 | [diff] [blame] | 34 | #include "Support/Debug.h" |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 35 | #include "Support/hash_set" |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 36 | #include "Support/Statistic.h" |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 37 | #include "SparcV9Internals.h" |
| 38 | #include "SparcV9TargetMachine.h" |
| 39 | #include "SparcV9RegInfo.h" |
Misha Brukman | 0cc640e | 2003-05-27 21:45:05 +0000 | [diff] [blame] | 40 | #include "SparcV9CodeEmitter.h" |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 41 | #include "Config/alloca.h" |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 42 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 43 | namespace llvm { |
| 44 | |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 45 | namespace { |
| 46 | Statistic<> OverwrittenCalls("call-ovwr", "Number of over-written calls"); |
| 47 | Statistic<> UnmodifiedCalls("call-skip", "Number of unmodified calls"); |
| 48 | Statistic<> CallbackCalls("callback", "Number CompilationCallback() calls"); |
| 49 | } |
| 50 | |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 51 | bool SparcV9TargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM, |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 52 | MachineCodeEmitter &MCE) { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 53 | MachineCodeEmitter *M = &MCE; |
Misha Brukman | de07be3 | 2003-06-06 04:41:22 +0000 | [diff] [blame] | 54 | DEBUG(M = MachineCodeEmitter::createFilePrinterEmitter(MCE)); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 55 | PM.add(new SparcV9CodeEmitter(*this, *M)); |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 56 | PM.add(createSparcV9MachineCodeDestructionPass()); //Free stuff no longer needed |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 57 | return false; |
| 58 | } |
| 59 | |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 60 | namespace { |
| 61 | class JITResolver { |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 62 | SparcV9CodeEmitter &SparcV9; |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 63 | MachineCodeEmitter &MCE; |
| 64 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 65 | /// LazyCodeGenMap - Keep track of call sites for functions that are to be |
| 66 | /// lazily resolved. |
| 67 | /// |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 68 | std::map<uint64_t, Function*> LazyCodeGenMap; |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 69 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 70 | /// LazyResolverMap - Keep track of the lazy resolver created for a |
| 71 | /// particular function so that we can reuse them if necessary. |
| 72 | /// |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 73 | std::map<Function*, uint64_t> LazyResolverMap; |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 74 | |
| 75 | public: |
| 76 | enum CallType { ShortCall, FarCall }; |
| 77 | |
| 78 | private: |
| 79 | /// We need to keep track of whether we used a simple call or a far call |
| 80 | /// (many instructions) in sequence. This means we need to keep track of |
| 81 | /// what type of stub we generate. |
| 82 | static std::map<uint64_t, CallType> LazyCallFlavor; |
| 83 | |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 84 | public: |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 85 | JITResolver(SparcV9CodeEmitter &V9, |
| 86 | MachineCodeEmitter &mce) : SparcV9(V9), MCE(mce) {} |
| 87 | uint64_t getLazyResolver(Function *F); |
| 88 | uint64_t addFunctionReference(uint64_t Address, Function *F); |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 89 | void deleteFunctionReference(uint64_t Address); |
| 90 | void addCallFlavor(uint64_t Address, CallType Flavor) { |
| 91 | LazyCallFlavor[Address] = Flavor; |
| 92 | } |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 93 | |
| 94 | // Utility functions for accessing data from static callback |
| 95 | uint64_t getCurrentPCValue() { |
| 96 | return MCE.getCurrentPCValue(); |
| 97 | } |
| 98 | unsigned getBinaryCodeForInstr(MachineInstr &MI) { |
| 99 | return SparcV9.getBinaryCodeForInstr(MI); |
| 100 | } |
| 101 | |
Brian Gaeke | 4ca7e53 | 2003-10-17 18:27:37 +0000 | [diff] [blame] | 102 | inline void insertFarJumpAtAddr(int64_t Value, uint64_t Addr); |
| 103 | void insertJumpAtAddr(int64_t Value, uint64_t &Addr); |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 104 | |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 105 | private: |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 106 | uint64_t emitStubForFunction(Function *F); |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 107 | static void SaveRegisters(uint64_t DoubleFP[], uint64_t CC[], |
| 108 | uint64_t Globals[]); |
| 109 | static void RestoreRegisters(uint64_t DoubleFP[], uint64_t CC[], |
| 110 | uint64_t Globals[]); |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 111 | static void CompilationCallback(); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 112 | uint64_t resolveFunctionReference(uint64_t RetAddr); |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 113 | |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 114 | }; |
| 115 | |
| 116 | JITResolver *TheJITResolver; |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 117 | std::map<uint64_t, JITResolver::CallType> JITResolver::LazyCallFlavor; |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 118 | } |
| 119 | |
| 120 | /// addFunctionReference - This method is called when we need to emit the |
| 121 | /// address of a function that has not yet been emitted, so we don't know the |
| 122 | /// address. Instead, we emit a call to the CompilationCallback method, and |
| 123 | /// keep track of where we are. |
| 124 | /// |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 125 | uint64_t JITResolver::addFunctionReference(uint64_t Address, Function *F) { |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 126 | LazyCodeGenMap[Address] = F; |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 127 | return (intptr_t)&JITResolver::CompilationCallback; |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 128 | } |
| 129 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 130 | /// deleteFunctionReference - If we are emitting a far call, we already added a |
| 131 | /// reference to the function, but it is now incorrect, since the address to the |
| 132 | /// JIT resolver is too far away to be a simple call instruction. This is used |
| 133 | /// to remove the address from the map. |
| 134 | /// |
| 135 | void JITResolver::deleteFunctionReference(uint64_t Address) { |
| 136 | std::map<uint64_t, Function*>::iterator I = LazyCodeGenMap.find(Address); |
| 137 | assert(I != LazyCodeGenMap.end() && "Not in map!"); |
| 138 | LazyCodeGenMap.erase(I); |
| 139 | } |
| 140 | |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 141 | uint64_t JITResolver::resolveFunctionReference(uint64_t RetAddr) { |
| 142 | std::map<uint64_t, Function*>::iterator I = LazyCodeGenMap.find(RetAddr); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 143 | assert(I != LazyCodeGenMap.end() && "Not in map!"); |
| 144 | Function *F = I->second; |
| 145 | LazyCodeGenMap.erase(I); |
| 146 | return MCE.forceCompilationOf(F); |
| 147 | } |
| 148 | |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 149 | uint64_t JITResolver::getLazyResolver(Function *F) { |
| 150 | std::map<Function*, uint64_t>::iterator I = LazyResolverMap.lower_bound(F); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 151 | if (I != LazyResolverMap.end() && I->first == F) return I->second; |
| 152 | |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 153 | uint64_t Stub = emitStubForFunction(F); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 154 | LazyResolverMap.insert(I, std::make_pair(F, Stub)); |
| 155 | return Stub; |
| 156 | } |
| 157 | |
Brian Gaeke | 4ca7e53 | 2003-10-17 18:27:37 +0000 | [diff] [blame] | 158 | void JITResolver::insertJumpAtAddr(int64_t JumpTarget, uint64_t &Addr) { |
| 159 | DEBUG(std::cerr << "Emitting a jump to 0x" << std::hex << JumpTarget << "\n"); |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 160 | |
Brian Gaeke | 4ca7e53 | 2003-10-17 18:27:37 +0000 | [diff] [blame] | 161 | // If the target function is close enough to fit into the 19bit disp of |
| 162 | // BA, we should use this version, as it's much cheaper to generate. |
| 163 | int64_t BranchTarget = (JumpTarget-Addr) >> 2; |
| 164 | if (BranchTarget >= (1 << 19) || BranchTarget <= -(1 << 19)) { |
| 165 | TheJITResolver->insertFarJumpAtAddr(JumpTarget, Addr); |
| 166 | } else { |
| 167 | // ba <target> |
| 168 | MachineInstr *I = BuildMI(V9::BA, 1).addSImm(BranchTarget); |
| 169 | *((unsigned*)(intptr_t)Addr) = getBinaryCodeForInstr(*I); |
| 170 | Addr += 4; |
| 171 | delete I; |
| 172 | |
| 173 | // nop |
| 174 | I = BuildMI(V9::NOP, 0); |
| 175 | *((unsigned*)(intptr_t)Addr) = getBinaryCodeForInstr(*I); |
| 176 | delete I; |
| 177 | } |
| 178 | } |
| 179 | |
| 180 | void JITResolver::insertFarJumpAtAddr(int64_t Target, uint64_t Addr) { |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 181 | static const unsigned |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 182 | o6 = SparcV9IntRegClass::o6, g0 = SparcV9IntRegClass::g0, |
| 183 | g1 = SparcV9IntRegClass::g1, g5 = SparcV9IntRegClass::g5; |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 184 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 185 | MachineInstr* BinaryCode[] = { |
| 186 | // |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 187 | // Get address to branch into %g1, using %g5 as a temporary |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 188 | // |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 189 | // sethi %uhi(Target), %g5 ;; get upper 22 bits of Target into %g5 |
| 190 | BuildMI(V9::SETHI, 2).addSImm(Target >> 42).addReg(g5), |
| 191 | // or %g5, %ulo(Target), %g5 ;; get 10 lower bits of upper word into %g5 |
| 192 | BuildMI(V9::ORi, 3).addReg(g5).addSImm((Target >> 32) & 0x03ff).addReg(g5), |
| 193 | // sllx %g5, 32, %g5 ;; shift those 10 bits to the upper word |
| 194 | BuildMI(V9::SLLXi6, 3).addReg(g5).addSImm(32).addReg(g5), |
| 195 | // sethi %hi(Target), %g1 ;; extract bits 10-31 into the dest reg |
| 196 | BuildMI(V9::SETHI, 2).addSImm((Target >> 10) & 0x03fffff).addReg(g1), |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 197 | // or %g5, %g1, %g1 ;; get upper word (in %g5) into %g1 |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 198 | BuildMI(V9::ORr, 3).addReg(g5).addReg(g1).addReg(g1), |
| 199 | // or %g1, %lo(Target), %g1 ;; get lowest 10 bits of Target into %g1 |
| 200 | BuildMI(V9::ORi, 3).addReg(g1).addSImm(Target & 0x03ff).addReg(g1), |
| 201 | // jmpl %g1, %g0, %g0 ;; indirect branch on %g1 |
| 202 | BuildMI(V9::JMPLRETr, 3).addReg(g1).addReg(g0).addReg(g0), |
| 203 | // nop ;; delay slot |
| 204 | BuildMI(V9::NOP, 0) |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 205 | }; |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 206 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 207 | for (unsigned i=0, e=sizeof(BinaryCode)/sizeof(BinaryCode[0]); i!=e; ++i) { |
| 208 | *((unsigned*)(intptr_t)Addr) = getBinaryCodeForInstr(*BinaryCode[i]); |
| 209 | delete BinaryCode[i]; |
| 210 | Addr += 4; |
| 211 | } |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 212 | } |
| 213 | |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 214 | void JITResolver::SaveRegisters(uint64_t DoubleFP[], uint64_t CC[], |
| 215 | uint64_t Globals[]) { |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 216 | #if defined(sparc) || defined(__sparc__) || defined(__sparcv9) |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 217 | |
| 218 | __asm__ __volatile__ (// Save condition-code registers |
| 219 | "stx %%fsr, %0;\n\t" |
| 220 | "rd %%fprs, %1;\n\t" |
| 221 | "rd %%ccr, %2;\n\t" |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 222 | : "=m"(CC[0]), "=r"(CC[1]), "=r"(CC[2])); |
| 223 | |
| 224 | __asm__ __volatile__ (// Save globals g1 and g5 |
| 225 | "stx %%g1, %0;\n\t" |
| 226 | "stx %%g5, %0;\n\t" |
| 227 | : "=m"(Globals[0]), "=m"(Globals[1])); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 228 | |
| 229 | // GCC says: `asm' only allows up to thirty parameters! |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 230 | __asm__ __volatile__ (// Save Single/Double FP registers, part 1 |
| 231 | "std %%f0, %0;\n\t" "std %%f2, %1;\n\t" |
| 232 | "std %%f4, %2;\n\t" "std %%f6, %3;\n\t" |
| 233 | "std %%f8, %4;\n\t" "std %%f10, %5;\n\t" |
| 234 | "std %%f12, %6;\n\t" "std %%f14, %7;\n\t" |
| 235 | "std %%f16, %8;\n\t" "std %%f18, %9;\n\t" |
| 236 | "std %%f20, %10;\n\t" "std %%f22, %11;\n\t" |
| 237 | "std %%f24, %12;\n\t" "std %%f26, %13;\n\t" |
| 238 | "std %%f28, %14;\n\t" "std %%f30, %15;\n\t" |
| 239 | : "=m"(DoubleFP[ 0]), "=m"(DoubleFP[ 1]), |
| 240 | "=m"(DoubleFP[ 2]), "=m"(DoubleFP[ 3]), |
| 241 | "=m"(DoubleFP[ 4]), "=m"(DoubleFP[ 5]), |
| 242 | "=m"(DoubleFP[ 6]), "=m"(DoubleFP[ 7]), |
| 243 | "=m"(DoubleFP[ 8]), "=m"(DoubleFP[ 9]), |
| 244 | "=m"(DoubleFP[10]), "=m"(DoubleFP[11]), |
| 245 | "=m"(DoubleFP[12]), "=m"(DoubleFP[13]), |
| 246 | "=m"(DoubleFP[14]), "=m"(DoubleFP[15])); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 247 | |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 248 | __asm__ __volatile__ (// Save Double FP registers, part 2 |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 249 | "std %%f32, %0;\n\t" "std %%f34, %1;\n\t" |
Misha Brukman | 15d1d57 | 2003-08-15 16:15:28 +0000 | [diff] [blame] | 250 | "std %%f36, %2;\n\t" "std %%f38, %3;\n\t" |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 251 | "std %%f40, %4;\n\t" "std %%f42, %5;\n\t" |
| 252 | "std %%f44, %6;\n\t" "std %%f46, %7;\n\t" |
| 253 | "std %%f48, %8;\n\t" "std %%f50, %9;\n\t" |
| 254 | "std %%f52, %10;\n\t" "std %%f54, %11;\n\t" |
| 255 | "std %%f56, %12;\n\t" "std %%f58, %13;\n\t" |
| 256 | "std %%f60, %14;\n\t" "std %%f62, %15;\n\t" |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 257 | : "=m"(DoubleFP[16]), "=m"(DoubleFP[17]), |
| 258 | "=m"(DoubleFP[18]), "=m"(DoubleFP[19]), |
| 259 | "=m"(DoubleFP[20]), "=m"(DoubleFP[21]), |
| 260 | "=m"(DoubleFP[22]), "=m"(DoubleFP[23]), |
| 261 | "=m"(DoubleFP[24]), "=m"(DoubleFP[25]), |
| 262 | "=m"(DoubleFP[26]), "=m"(DoubleFP[27]), |
| 263 | "=m"(DoubleFP[28]), "=m"(DoubleFP[29]), |
| 264 | "=m"(DoubleFP[30]), "=m"(DoubleFP[31])); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 265 | #endif |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 266 | } |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 267 | |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 268 | |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 269 | void JITResolver::RestoreRegisters(uint64_t DoubleFP[], uint64_t CC[], |
| 270 | uint64_t Globals[]) |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 271 | { |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 272 | #if defined(sparc) || defined(__sparc__) || defined(__sparcv9) |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 273 | |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 274 | __asm__ __volatile__ (// Restore condition-code registers |
| 275 | "ldx %0, %%fsr;\n\t" |
| 276 | "wr %1, 0, %%fprs;\n\t" |
| 277 | "wr %2, 0, %%ccr;\n\t" |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 278 | :: "m"(CC[0]), "r"(CC[1]), "r"(CC[2])); |
| 279 | |
| 280 | __asm__ __volatile__ (// Restore globals g1 and g5 |
| 281 | "ldx %0, %%g1;\n\t" |
| 282 | "ldx %0, %%g5;\n\t" |
| 283 | :: "m"(Globals[0]), "m"(Globals[1])); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 284 | |
| 285 | // GCC says: `asm' only allows up to thirty parameters! |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 286 | __asm__ __volatile__ (// Restore Single/Double FP registers, part 1 |
| 287 | "ldd %0, %%f0;\n\t" "ldd %1, %%f2;\n\t" |
| 288 | "ldd %2, %%f4;\n\t" "ldd %3, %%f6;\n\t" |
| 289 | "ldd %4, %%f8;\n\t" "ldd %5, %%f10;\n\t" |
| 290 | "ldd %6, %%f12;\n\t" "ldd %7, %%f14;\n\t" |
| 291 | "ldd %8, %%f16;\n\t" "ldd %9, %%f18;\n\t" |
| 292 | "ldd %10, %%f20;\n\t" "ldd %11, %%f22;\n\t" |
| 293 | "ldd %12, %%f24;\n\t" "ldd %13, %%f26;\n\t" |
| 294 | "ldd %14, %%f28;\n\t" "ldd %15, %%f30;\n\t" |
| 295 | :: "m"(DoubleFP[0]), "m"(DoubleFP[1]), |
| 296 | "m"(DoubleFP[2]), "m"(DoubleFP[3]), |
| 297 | "m"(DoubleFP[4]), "m"(DoubleFP[5]), |
| 298 | "m"(DoubleFP[6]), "m"(DoubleFP[7]), |
| 299 | "m"(DoubleFP[8]), "m"(DoubleFP[9]), |
| 300 | "m"(DoubleFP[10]), "m"(DoubleFP[11]), |
| 301 | "m"(DoubleFP[12]), "m"(DoubleFP[13]), |
| 302 | "m"(DoubleFP[14]), "m"(DoubleFP[15])); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 303 | |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 304 | __asm__ __volatile__ (// Restore Double FP registers, part 2 |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 305 | "ldd %0, %%f32;\n\t" "ldd %1, %%f34;\n\t" |
| 306 | "ldd %2, %%f36;\n\t" "ldd %3, %%f38;\n\t" |
| 307 | "ldd %4, %%f40;\n\t" "ldd %5, %%f42;\n\t" |
| 308 | "ldd %6, %%f44;\n\t" "ldd %7, %%f46;\n\t" |
| 309 | "ldd %8, %%f48;\n\t" "ldd %9, %%f50;\n\t" |
| 310 | "ldd %10, %%f52;\n\t" "ldd %11, %%f54;\n\t" |
| 311 | "ldd %12, %%f56;\n\t" "ldd %13, %%f58;\n\t" |
| 312 | "ldd %14, %%f60;\n\t" "ldd %15, %%f62;\n\t" |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 313 | :: "m"(DoubleFP[16]), "m"(DoubleFP[17]), |
| 314 | "m"(DoubleFP[18]), "m"(DoubleFP[19]), |
| 315 | "m"(DoubleFP[20]), "m"(DoubleFP[21]), |
| 316 | "m"(DoubleFP[22]), "m"(DoubleFP[23]), |
| 317 | "m"(DoubleFP[24]), "m"(DoubleFP[25]), |
| 318 | "m"(DoubleFP[26]), "m"(DoubleFP[27]), |
| 319 | "m"(DoubleFP[28]), "m"(DoubleFP[29]), |
| 320 | "m"(DoubleFP[30]), "m"(DoubleFP[31])); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 321 | #endif |
| 322 | } |
| 323 | |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 324 | void JITResolver::CompilationCallback() { |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 325 | // Local space to save the registers |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 326 | uint64_t DoubleFP[32]; |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 327 | uint64_t CC[3]; |
| 328 | uint64_t Globals[2]; |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 329 | |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 330 | SaveRegisters(DoubleFP, CC, Globals); |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 331 | ++CallbackCalls; |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 332 | |
| 333 | uint64_t CameFrom = (uint64_t)(intptr_t)__builtin_return_address(0); |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 334 | uint64_t CameFrom1 = (uint64_t)(intptr_t)__builtin_return_address(1); |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 335 | int64_t Target = (int64_t)TheJITResolver->resolveFunctionReference(CameFrom); |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 336 | DEBUG(std::cerr << "In callback! Addr=0x" << std::hex << CameFrom << "\n"); |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 337 | register int64_t returnAddr = 0; |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 338 | #if defined(sparc) || defined(__sparc__) || defined(__sparcv9) |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 339 | __asm__ __volatile__ ("add %%i7, %%g0, %0" : "=r" (returnAddr) : ); |
| 340 | DEBUG(std::cerr << "Read i7 (return addr) = " |
| 341 | << std::hex << returnAddr << ", value: " |
| 342 | << std::hex << *(unsigned*)returnAddr << "\n"); |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 343 | #endif |
| 344 | |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 345 | // If we can rewrite the ORIGINAL caller, we eliminate the whole need for a |
| 346 | // trampoline function stub!! |
| 347 | unsigned OrigCallInst = *((unsigned*)(intptr_t)CameFrom1); |
| 348 | int64_t OrigTarget = (Target-CameFrom1) >> 2; |
| 349 | if ((OrigCallInst & (1 << 30)) && |
| 350 | (OrigTarget <= (1 << 30) && OrigTarget >= -(1 << 30))) |
| 351 | { |
| 352 | // The original call instruction was CALL <immed>, which means we can |
| 353 | // overwrite it directly, since the offset will fit into 30 bits |
| 354 | MachineInstr *C = BuildMI(V9::CALL, 1).addSImm(OrigTarget); |
| 355 | *((unsigned*)(intptr_t)CameFrom1)=TheJITResolver->getBinaryCodeForInstr(*C); |
| 356 | delete C; |
| 357 | ++OverwrittenCalls; |
| 358 | } else { |
| 359 | ++UnmodifiedCalls; |
| 360 | } |
| 361 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 362 | // Rewrite the call target so that we don't fault every time we execute it. |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 363 | // |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 364 | |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 365 | static const unsigned o6 = SparcV9IntRegClass::o6; |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 366 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 367 | // Subtract enough to overwrite up to the 'save' instruction |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 368 | // This depends on whether we made a short call (1 instruction) or the |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 369 | // farCall (7 instructions) |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 370 | uint64_t Offset = (LazyCallFlavor[CameFrom] == ShortCall) ? 4 : 28; |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 371 | uint64_t CodeBegin = CameFrom - Offset; |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 372 | |
| 373 | // FIXME FIXME FIXME FIXME: __builtin_frame_address doesn't work if frame |
| 374 | // pointer elimination has been performed. Having a variable sized alloca |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 375 | // disables frame pointer elimination currently, even if it's dead. This is |
| 376 | // a gross hack. |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 377 | alloca(42+Offset); |
| 378 | // FIXME FIXME FIXME FIXME |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 379 | |
| 380 | // Make sure that what we're about to overwrite is indeed "save" |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 381 | MachineInstr *SV =BuildMI(V9::SAVEi, 3).addReg(o6).addSImm(-192).addReg(o6); |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 382 | unsigned SaveInst = TheJITResolver->getBinaryCodeForInstr(*SV); |
| 383 | delete SV; |
| 384 | unsigned CodeInMem = *(unsigned*)(intptr_t)CodeBegin; |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 385 | if (CodeInMem != SaveInst) { |
| 386 | std::cerr << "About to overwrite smthg not a save instr!"; |
| 387 | abort(); |
| 388 | } |
Brian Gaeke | 4ca7e53 | 2003-10-17 18:27:37 +0000 | [diff] [blame] | 389 | // Overwrite it |
| 390 | TheJITResolver->insertJumpAtAddr(Target, CodeBegin); |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 391 | |
Misha Brukman | a59f41f | 2003-11-21 23:48:54 +0000 | [diff] [blame] | 392 | // Flush the I-Cache: FLUSH clears out a doubleword at a given address |
| 393 | // Self-modifying code MUST clear out the I-Cache to be portable |
| 394 | #if defined(sparc) || defined(__sparc__) || defined(__sparcv9) |
| 395 | for (int i = -Offset, e = 32-((int64_t)Offset); i < e; i += 8) |
| 396 | __asm__ __volatile__ ("flush %%i7 + %0" : : "r" (i)); |
| 397 | #endif |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 398 | |
Misha Brukman | cf00c4a | 2003-10-10 17:57:28 +0000 | [diff] [blame] | 399 | // Change the return address to re-execute the restore, then the jump. |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 400 | DEBUG(std::cerr << "Callback returning to: 0x" |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 401 | << std::hex << (CameFrom-Offset-12) << "\n"); |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 402 | #if defined(sparc) || defined(__sparc__) || defined(__sparcv9) |
| 403 | __asm__ __volatile__ ("sub %%i7, %0, %%i7" : : "r" (Offset+12)); |
| 404 | #endif |
Misha Brukman | a59f41f | 2003-11-21 23:48:54 +0000 | [diff] [blame] | 405 | |
Misha Brukman | d71295a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 406 | RestoreRegisters(DoubleFP, CC, Globals); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 407 | } |
| 408 | |
| 409 | /// emitStubForFunction - This method is used by the JIT when it needs to emit |
| 410 | /// the address of a function for a function whose code has not yet been |
| 411 | /// generated. In order to do this, it generates a stub which jumps to the lazy |
| 412 | /// function compiler, which will eventually get fixed to call the function |
| 413 | /// directly. |
| 414 | /// |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 415 | uint64_t JITResolver::emitStubForFunction(Function *F) { |
Misha Brukman | cfd67c9 | 2003-08-29 04:22:54 +0000 | [diff] [blame] | 416 | MCE.startFunctionStub(*F, 44); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 417 | |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 418 | DEBUG(std::cerr << "Emitting stub at addr: 0x" |
| 419 | << std::hex << MCE.getCurrentPCValue() << "\n"); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 420 | |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 421 | unsigned o6 = SparcV9IntRegClass::o6, g0 = SparcV9IntRegClass::g0; |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 422 | |
| 423 | // restore %g0, 0, %g0 |
| 424 | MachineInstr *R = BuildMI(V9::RESTOREi, 3).addMReg(g0).addSImm(0) |
Alkis Evlogimenos | 890f923 | 2004-02-22 19:23:26 +0000 | [diff] [blame] | 425 | .addMReg(g0, MachineOperand::Def); |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 426 | SparcV9.emitWord(SparcV9.getBinaryCodeForInstr(*R)); |
| 427 | delete R; |
| 428 | |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 429 | // save %sp, -192, %sp |
| 430 | MachineInstr *SV = BuildMI(V9::SAVEi, 3).addReg(o6).addSImm(-192).addReg(o6); |
| 431 | SparcV9.emitWord(SparcV9.getBinaryCodeForInstr(*SV)); |
| 432 | delete SV; |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 433 | |
| 434 | int64_t CurrPC = MCE.getCurrentPCValue(); |
| 435 | int64_t Addr = (int64_t)addFunctionReference(CurrPC, F); |
| 436 | int64_t CallTarget = (Addr-CurrPC) >> 2; |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 437 | if (CallTarget >= (1 << 29) || CallTarget <= -(1 << 29)) { |
| 438 | // Since this is a far call, the actual address of the call is shifted |
| 439 | // by the number of instructions it takes to calculate the exact address |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 440 | deleteFunctionReference(CurrPC); |
| 441 | SparcV9.emitFarCall(Addr, F); |
Misha Brukman | 103f0c3 | 2003-09-05 22:59:31 +0000 | [diff] [blame] | 442 | } else { |
Misha Brukman | a1f1fea | 2003-07-29 19:00:58 +0000 | [diff] [blame] | 443 | // call CallTarget ;; invoke the callback |
| 444 | MachineInstr *Call = BuildMI(V9::CALL, 1).addSImm(CallTarget); |
| 445 | SparcV9.emitWord(SparcV9.getBinaryCodeForInstr(*Call)); |
| 446 | delete Call; |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 447 | |
Misha Brukman | a1f1fea | 2003-07-29 19:00:58 +0000 | [diff] [blame] | 448 | // nop ;; call delay slot |
| 449 | MachineInstr *Nop = BuildMI(V9::NOP, 0); |
| 450 | SparcV9.emitWord(SparcV9.getBinaryCodeForInstr(*Nop)); |
| 451 | delete Nop; |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 452 | |
| 453 | addCallFlavor(CurrPC, ShortCall); |
Misha Brukman | a1f1fea | 2003-07-29 19:00:58 +0000 | [diff] [blame] | 454 | } |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 455 | |
| 456 | SparcV9.emitWord(0xDEADBEEF); // marker so that we know it's really a stub |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 457 | return (intptr_t)MCE.finishFunctionStub(*F)+4; /* 1 instr past the restore */ |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 458 | } |
| 459 | |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 460 | SparcV9CodeEmitter::SparcV9CodeEmitter(TargetMachine &tm, |
| 461 | MachineCodeEmitter &M): TM(tm), MCE(M) |
| 462 | { |
| 463 | TheJITResolver = new JITResolver(*this, M); |
| 464 | } |
| 465 | |
| 466 | SparcV9CodeEmitter::~SparcV9CodeEmitter() { |
| 467 | delete TheJITResolver; |
| 468 | } |
| 469 | |
| 470 | void SparcV9CodeEmitter::emitWord(unsigned Val) { |
Brian Gaeke | 62c6f87 | 2004-04-23 17:11:15 +0000 | [diff] [blame] | 471 | MCE.emitWord(Val); |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 472 | } |
| 473 | |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 474 | unsigned |
Misha Brukman | 173e250 | 2003-07-14 23:26:03 +0000 | [diff] [blame] | 475 | SparcV9CodeEmitter::getRealRegNum(unsigned fakeReg, |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 476 | MachineInstr &MI) { |
Chris Lattner | d029cd2 | 2004-06-02 05:55:25 +0000 | [diff] [blame^] | 477 | const TargetRegInfo &RI = *TM.getRegInfo(); |
Misha Brukman | 173e250 | 2003-07-14 23:26:03 +0000 | [diff] [blame] | 478 | unsigned regClass, regType = RI.getRegType(fakeReg); |
| 479 | // At least map fakeReg into its class |
| 480 | fakeReg = RI.getClassRegNum(fakeReg, regClass); |
| 481 | |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 482 | switch (regClass) { |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 483 | case SparcV9RegInfo::IntRegClassID: { |
| 484 | // SparcV9 manual, p31 |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 485 | static const unsigned IntRegMap[] = { |
| 486 | // "o0", "o1", "o2", "o3", "o4", "o5", "o7", |
| 487 | 8, 9, 10, 11, 12, 13, 15, |
| 488 | // "l0", "l1", "l2", "l3", "l4", "l5", "l6", "l7", |
| 489 | 16, 17, 18, 19, 20, 21, 22, 23, |
| 490 | // "i0", "i1", "i2", "i3", "i4", "i5", "i6", "i7", |
| 491 | 24, 25, 26, 27, 28, 29, 30, 31, |
| 492 | // "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7", |
| 493 | 0, 1, 2, 3, 4, 5, 6, 7, |
| 494 | // "o6" |
| 495 | 14 |
| 496 | }; |
| 497 | |
| 498 | return IntRegMap[fakeReg]; |
| 499 | break; |
| 500 | } |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 501 | case SparcV9RegInfo::FloatRegClassID: { |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 502 | DEBUG(std::cerr << "FP reg: " << fakeReg << "\n"); |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 503 | if (regType == SparcV9RegInfo::FPSingleRegType) { |
Misha Brukman | 173e250 | 2003-07-14 23:26:03 +0000 | [diff] [blame] | 504 | // only numbered 0-31, hence can already fit into 5 bits (and 6) |
| 505 | DEBUG(std::cerr << "FP single reg, returning: " << fakeReg << "\n"); |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 506 | } else if (regType == SparcV9RegInfo::FPDoubleRegType) { |
Misha Brukman | cf00c4a | 2003-10-10 17:57:28 +0000 | [diff] [blame] | 507 | // FIXME: This assumes that we only have 5-bit register fields! |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 508 | // From SparcV9 Manual, page 40. |
Misha Brukman | 173e250 | 2003-07-14 23:26:03 +0000 | [diff] [blame] | 509 | // The bit layout becomes: b[4], b[3], b[2], b[1], b[5] |
| 510 | fakeReg |= (fakeReg >> 5) & 1; |
| 511 | fakeReg &= 0x1f; |
| 512 | DEBUG(std::cerr << "FP double reg, returning: " << fakeReg << "\n"); |
| 513 | } |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 514 | return fakeReg; |
| 515 | } |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 516 | case SparcV9RegInfo::IntCCRegClassID: { |
Misha Brukman | dfbfc57 | 2003-07-16 20:30:40 +0000 | [diff] [blame] | 517 | /* xcc, icc, ccr */ |
| 518 | static const unsigned IntCCReg[] = { 6, 4, 2 }; |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 519 | |
Misha Brukman | dfbfc57 | 2003-07-16 20:30:40 +0000 | [diff] [blame] | 520 | assert(fakeReg < sizeof(IntCCReg)/sizeof(IntCCReg[0]) |
| 521 | && "CC register out of bounds for IntCCReg map"); |
| 522 | DEBUG(std::cerr << "IntCC reg: " << IntCCReg[fakeReg] << "\n"); |
| 523 | return IntCCReg[fakeReg]; |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 524 | } |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 525 | case SparcV9RegInfo::FloatCCRegClassID: { |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 526 | /* These are laid out %fcc0 - %fcc3 => 0 - 3, so are correct */ |
| 527 | DEBUG(std::cerr << "FP CC reg: " << fakeReg << "\n"); |
| 528 | return fakeReg; |
| 529 | } |
| 530 | default: |
| 531 | assert(0 && "Invalid unified register number in getRegType"); |
| 532 | return fakeReg; |
| 533 | } |
| 534 | } |
| 535 | |
| 536 | |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 537 | // WARNING: if the call used the delay slot to do meaningful work, that's not |
| 538 | // being accounted for, and the behavior will be incorrect!! |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 539 | inline void SparcV9CodeEmitter::emitFarCall(uint64_t Target, Function *F) { |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 540 | static const unsigned o6 = SparcV9IntRegClass::o6, |
| 541 | o7 = SparcV9IntRegClass::o7, g0 = SparcV9IntRegClass::g0, |
| 542 | g1 = SparcV9IntRegClass::g1, g5 = SparcV9IntRegClass::g5; |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 543 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 544 | MachineInstr* BinaryCode[] = { |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 545 | // |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 546 | // Get address to branch into %g1, using %g5 as a temporary |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 547 | // |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 548 | // sethi %uhi(Target), %g5 ;; get upper 22 bits of Target into %g5 |
| 549 | BuildMI(V9::SETHI, 2).addSImm(Target >> 42).addReg(g5), |
| 550 | // or %g5, %ulo(Target), %g5 ;; get 10 lower bits of upper word into %1 |
| 551 | BuildMI(V9::ORi, 3).addReg(g5).addSImm((Target >> 32) & 0x03ff).addReg(g5), |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 552 | // sllx %g5, 32, %g5 ;; shift those 10 bits to the upper word |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 553 | BuildMI(V9::SLLXi6, 3).addReg(g5).addSImm(32).addReg(g5), |
| 554 | // sethi %hi(Target), %g1 ;; extract bits 10-31 into the dest reg |
| 555 | BuildMI(V9::SETHI, 2).addSImm((Target >> 10) & 0x03fffff).addReg(g1), |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 556 | // or %g5, %g1, %g1 ;; get upper word (in %g5) into %g1 |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 557 | BuildMI(V9::ORr, 3).addReg(g5).addReg(g1).addReg(g1), |
| 558 | // or %g1, %lo(Target), %g1 ;; get lowest 10 bits of Target into %g1 |
| 559 | BuildMI(V9::ORi, 3).addReg(g1).addSImm(Target & 0x03ff).addReg(g1), |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 560 | // jmpl %g1, %g0, %o7 ;; indirect call on %g1 |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 561 | BuildMI(V9::JMPLRETr, 3).addReg(g1).addReg(g0).addReg(o7), |
Misha Brukman | fad4929 | 2003-08-15 00:26:50 +0000 | [diff] [blame] | 562 | // nop ;; delay slot |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 563 | BuildMI(V9::NOP, 0) |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 564 | }; |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 565 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 566 | for (unsigned i=0, e=sizeof(BinaryCode)/sizeof(BinaryCode[0]); i!=e; ++i) { |
| 567 | // This is where we save the return address in the LazyResolverMap!! |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 568 | if (i == 6 && F != 0) { // Do this right before the JMPL |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 569 | uint64_t CurrPC = MCE.getCurrentPCValue(); |
| 570 | TheJITResolver->addFunctionReference(CurrPC, F); |
| 571 | // Remember that this is a far call, to subtract appropriate offset later |
| 572 | TheJITResolver->addCallFlavor(CurrPC, JITResolver::FarCall); |
| 573 | } |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 574 | |
Misha Brukman | 0897c60 | 2003-08-06 16:20:22 +0000 | [diff] [blame] | 575 | emitWord(getBinaryCodeForInstr(*BinaryCode[i])); |
| 576 | delete BinaryCode[i]; |
| 577 | } |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 578 | } |
| 579 | |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 580 | void SparcV9JITInfo::replaceMachineCodeForFunction (void *Old, void *New) { |
Brian Gaeke | 0522b08 | 2003-10-20 17:59:09 +0000 | [diff] [blame] | 581 | assert (TheJITResolver && |
| 582 | "Can only call replaceMachineCodeForFunction from within JIT"); |
Brian Gaeke | 4ca7e53 | 2003-10-17 18:27:37 +0000 | [diff] [blame] | 583 | uint64_t Target = (uint64_t)(intptr_t)New; |
| 584 | uint64_t CodeBegin = (uint64_t)(intptr_t)Old; |
| 585 | TheJITResolver->insertJumpAtAddr(Target, CodeBegin); |
Brian Gaeke | 4ca7e53 | 2003-10-17 18:27:37 +0000 | [diff] [blame] | 586 | } |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 587 | |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 588 | int64_t SparcV9CodeEmitter::getMachineOpValue(MachineInstr &MI, |
| 589 | MachineOperand &MO) { |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 590 | int64_t rv = 0; // Return value; defaults to 0 for unhandled cases |
| 591 | // or things that get fixed up later by the JIT. |
Chris Lattner | ebcd794 | 2004-02-10 20:47:24 +0000 | [diff] [blame] | 592 | if (MO.isPCRelativeDisp()) { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 593 | DEBUG(std::cerr << "PCRelativeDisp: "); |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 594 | Value *V = MO.getVRegValue(); |
| 595 | if (BasicBlock *BB = dyn_cast<BasicBlock>(V)) { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 596 | DEBUG(std::cerr << "Saving reference to BB (VReg)\n"); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 597 | unsigned* CurrPC = (unsigned*)(intptr_t)MCE.getCurrentPCValue(); |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 598 | BBRefs.push_back(std::make_pair(BB, std::make_pair(CurrPC, &MI))); |
Brian Gaeke | a900452 | 2004-05-19 21:30:01 +0000 | [diff] [blame] | 599 | } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) { |
Brian Gaeke | ceabd97 | 2004-05-20 07:43:40 +0000 | [diff] [blame] | 600 | // The real target of the branch is CI = PC + (rv * 4) |
| 601 | // So undo that: give the instruction (CI - PC) / 4 |
| 602 | rv = (CI->getRawValue() - MCE.getCurrentPCValue()) / 4; |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 603 | } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) { |
| 604 | // same as MO.isGlobalAddress() |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 605 | DEBUG(std::cerr << "GlobalValue: "); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 606 | // external function calls, etc.? |
| 607 | if (Function *F = dyn_cast<Function>(GV)) { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 608 | DEBUG(std::cerr << "Function: "); |
Brian Gaeke | 1654bdb | 2003-11-09 07:08:34 +0000 | [diff] [blame] | 609 | // NOTE: This results in stubs being generated even for |
| 610 | // external, native functions, which is not optimal. See PR103. |
| 611 | rv = (int64_t)MCE.getGlobalValueAddress(F); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 612 | if (rv == 0) { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 613 | DEBUG(std::cerr << "not yet generated\n"); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 614 | // Function has not yet been code generated! |
| 615 | TheJITResolver->addFunctionReference(MCE.getCurrentPCValue(), F); |
| 616 | // Delayed resolution... |
| 617 | rv = TheJITResolver->getLazyResolver(F); |
| 618 | } else { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 619 | DEBUG(std::cerr << "already generated: 0x" << std::hex << rv << "\n"); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 620 | } |
| 621 | } else { |
Misha Brukman | 3339459 | 2003-06-06 03:35:37 +0000 | [diff] [blame] | 622 | rv = (int64_t)MCE.getGlobalValueAddress(GV); |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 623 | DEBUG(std::cerr << "Global addr: 0x" << std::hex << rv << "\n"); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 624 | } |
| 625 | // The real target of the call is Addr = PC + (rv * 4) |
| 626 | // So undo that: give the instruction (Addr - PC) / 4 |
| 627 | if (MI.getOpcode() == V9::CALL) { |
| 628 | int64_t CurrPC = MCE.getCurrentPCValue(); |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 629 | DEBUG(std::cerr << "rv addr: 0x" << std::hex << rv << "\n" |
Misha Brukman | 0870e97 | 2003-08-06 22:19:18 +0000 | [diff] [blame] | 630 | << "curr PC: 0x" << std::hex << CurrPC << "\n"); |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 631 | int64_t CallInstTarget = (rv - CurrPC) >> 2; |
| 632 | if (CallInstTarget >= (1<<29) || CallInstTarget <= -(1<<29)) { |
| 633 | DEBUG(std::cerr << "Making far call!\n"); |
Misha Brukman | cf00c4a | 2003-10-10 17:57:28 +0000 | [diff] [blame] | 634 | // address is out of bounds for the 30-bit call, |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 635 | // make an indirect jump-and-link |
| 636 | emitFarCall(rv); |
| 637 | // this invalidates the instruction so that the call with an incorrect |
| 638 | // address will not be emitted |
| 639 | rv = 0; |
| 640 | } else { |
| 641 | // The call fits into 30 bits, so just return the corrected address |
| 642 | rv = CallInstTarget; |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 643 | } |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 644 | DEBUG(std::cerr << "returning addr: 0x" << rv << "\n"); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 645 | } |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 646 | } else { |
| 647 | std::cerr << "ERROR: PC relative disp unhandled:" << MO << "\n"; |
| 648 | abort(); |
| 649 | } |
Alkis Evlogimenos | af86211 | 2004-02-11 05:55:00 +0000 | [diff] [blame] | 650 | } else if (MO.isRegister() || MO.getType() == MachineOperand::MO_CCRegister) |
Misha Brukman | f47d9c2 | 2003-06-05 20:52:06 +0000 | [diff] [blame] | 651 | { |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 652 | // This is necessary because the SparcV9 backend doesn't actually lay out |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 653 | // registers in the real fashion -- it skips those that it chooses not to |
| 654 | // allocate, i.e. those that are the FP, SP, etc. |
Alkis Evlogimenos | be766c7 | 2004-02-13 21:01:20 +0000 | [diff] [blame] | 655 | unsigned fakeReg = MO.getReg(); |
Misha Brukman | 173e250 | 2003-07-14 23:26:03 +0000 | [diff] [blame] | 656 | unsigned realRegByClass = getRealRegNum(fakeReg, MI); |
| 657 | DEBUG(std::cerr << MO << ": Reg[" << std::dec << fakeReg << "] => " |
Misha Brukman | dfbfc57 | 2003-07-16 20:30:40 +0000 | [diff] [blame] | 658 | << realRegByClass << " (LLC: " |
Chris Lattner | d029cd2 | 2004-06-02 05:55:25 +0000 | [diff] [blame^] | 659 | << TM.getRegInfo()->getUnifiedRegName(fakeReg) << ")\n"); |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 660 | rv = realRegByClass; |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 661 | } else if (MO.isImmediate()) { |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 662 | rv = MO.getImmedValue(); |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 663 | DEBUG(std::cerr << "immed: " << rv << "\n"); |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 664 | } else if (MO.isGlobalAddress()) { |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 665 | DEBUG(std::cerr << "GlobalAddress: not PC-relative\n"); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 666 | rv = (int64_t) |
| 667 | (intptr_t)getGlobalAddress(cast<GlobalValue>(MO.getVRegValue()), |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 668 | MI, MO.isPCRelative()); |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 669 | } else if (MO.isMachineBasicBlock()) { |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 670 | // Duplicate code of the above case for VirtualRegister, BasicBlock... |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 671 | // It should really hit this case, but SparcV9 backend uses VRegs instead |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 672 | DEBUG(std::cerr << "Saving reference to MBB\n"); |
Chris Lattner | 6856d11 | 2003-07-26 23:04:00 +0000 | [diff] [blame] | 673 | const BasicBlock *BB = MO.getMachineBasicBlock()->getBasicBlock(); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 674 | unsigned* CurrPC = (unsigned*)(intptr_t)MCE.getCurrentPCValue(); |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 675 | BBRefs.push_back(std::make_pair(BB, std::make_pair(CurrPC, &MI))); |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 676 | } else if (MO.isExternalSymbol()) { |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 677 | // SparcV9 backend doesn't generate this (yet...) |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 678 | std::cerr << "ERROR: External symbol unhandled: " << MO << "\n"; |
| 679 | abort(); |
| 680 | } else if (MO.isFrameIndex()) { |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 681 | // SparcV9 backend doesn't generate this (yet...) |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 682 | int FrameIndex = MO.getFrameIndex(); |
| 683 | std::cerr << "ERROR: Frame index unhandled.\n"; |
| 684 | abort(); |
| 685 | } else if (MO.isConstantPoolIndex()) { |
Misha Brukman | e5ad815 | 2003-11-07 18:06:26 +0000 | [diff] [blame] | 686 | unsigned Index = MO.getConstantPoolIndex(); |
| 687 | rv = MCE.getConstantPoolEntryAddress(Index); |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 688 | } else { |
Misha Brukman | a9f7f6e | 2003-05-30 20:17:33 +0000 | [diff] [blame] | 689 | std::cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n"; |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 690 | abort(); |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 691 | } |
| 692 | |
| 693 | // Finally, deal with the various bitfield-extracting functions that |
| 694 | // are used in SPARC assembly. (Some of these make no sense in combination |
| 695 | // with some of the above; we'll trust that the instruction selector |
| 696 | // will not produce nonsense, and not check for valid combinations here.) |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 697 | if (MO.isLoBits32()) { // %lo(val) == %lo() in SparcV9 ABI doc |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 698 | return rv & 0x03ff; |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 699 | } else if (MO.isHiBits32()) { // %lm(val) == %hi() in SparcV9 ABI doc |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 700 | return (rv >> 10) & 0x03fffff; |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 701 | } else if (MO.isLoBits64()) { // %hm(val) == %ulo() in SparcV9 ABI doc |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 702 | return (rv >> 32) & 0x03ff; |
Brian Gaeke | e3d6807 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 703 | } else if (MO.isHiBits64()) { // %hh(val) == %uhi() in SparcV9 ABI doc |
Brian Gaeke | c3eaa89 | 2003-06-02 02:13:26 +0000 | [diff] [blame] | 704 | return rv >> 42; |
| 705 | } else { // (unadorned) val |
| 706 | return rv; |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 707 | } |
| 708 | } |
| 709 | |
| 710 | unsigned SparcV9CodeEmitter::getValueBit(int64_t Val, unsigned bit) { |
| 711 | Val >>= bit; |
| 712 | return (Val & 1); |
| 713 | } |
| 714 | |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 715 | bool SparcV9CodeEmitter::runOnMachineFunction(MachineFunction &MF) { |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 716 | MCE.startFunction(MF); |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 717 | DEBUG(std::cerr << "Starting function " << MF.getFunction()->getName() |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 718 | << ", address: " << "0x" << std::hex |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 719 | << (long)MCE.getCurrentPCValue() << "\n"); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 720 | |
Misha Brukman | e5ad815 | 2003-11-07 18:06:26 +0000 | [diff] [blame] | 721 | MCE.emitConstantPool(MF.getConstantPool()); |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 722 | for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) |
| 723 | emitBasicBlock(*I); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 724 | MCE.finishFunction(MF); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 725 | |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 726 | DEBUG(std::cerr << "Finishing fn " << MF.getFunction()->getName() << "\n"); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 727 | |
| 728 | // Resolve branches to BasicBlocks for the entire function |
| 729 | for (unsigned i = 0, e = BBRefs.size(); i != e; ++i) { |
| 730 | long Location = BBLocations[BBRefs[i].first]; |
| 731 | unsigned *Ref = BBRefs[i].second.first; |
| 732 | MachineInstr *MI = BBRefs[i].second.second; |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 733 | DEBUG(std::cerr << "Fixup @ " << std::hex << Ref << " to 0x" << Location |
| 734 | << " in instr: " << std::dec << *MI); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 735 | for (unsigned ii = 0, ee = MI->getNumOperands(); ii != ee; ++ii) { |
| 736 | MachineOperand &op = MI->getOperand(ii); |
| 737 | if (op.isPCRelativeDisp()) { |
| 738 | // the instruction's branch target is made such that it branches to |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 739 | // PC + (branchTarget * 4), so undo that arithmetic here: |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 740 | // Location is the target of the branch |
| 741 | // Ref is the location of the instruction, and hence the PC |
Misha Brukman | 9cedd43 | 2003-07-03 18:36:47 +0000 | [diff] [blame] | 742 | int64_t branchTarget = (Location - (long)Ref) >> 2; |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 743 | // Save the flags. |
| 744 | bool loBits32=false, hiBits32=false, loBits64=false, hiBits64=false; |
Alkis Evlogimenos | 4d7af65 | 2003-12-14 13:24:17 +0000 | [diff] [blame] | 745 | if (op.isLoBits32()) { loBits32=true; } |
| 746 | if (op.isHiBits32()) { hiBits32=true; } |
| 747 | if (op.isLoBits64()) { loBits64=true; } |
| 748 | if (op.isHiBits64()) { hiBits64=true; } |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 749 | MI->SetMachineOperandConst(ii, MachineOperand::MO_SignExtendedImmed, |
| 750 | branchTarget); |
| 751 | if (loBits32) { MI->setOperandLo32(ii); } |
| 752 | else if (hiBits32) { MI->setOperandHi32(ii); } |
| 753 | else if (loBits64) { MI->setOperandLo64(ii); } |
| 754 | else if (hiBits64) { MI->setOperandHi64(ii); } |
Misha Brukman | 8f12222 | 2003-06-06 00:26:11 +0000 | [diff] [blame] | 755 | DEBUG(std::cerr << "Rewrote BB ref: "); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 756 | unsigned fixedInstr = SparcV9CodeEmitter::getBinaryCodeForInstr(*MI); |
Brian Gaeke | 62c6f87 | 2004-04-23 17:11:15 +0000 | [diff] [blame] | 757 | MCE.emitWordAt (fixedInstr, Ref); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 758 | break; |
| 759 | } |
| 760 | } |
| 761 | } |
| 762 | BBRefs.clear(); |
| 763 | BBLocations.clear(); |
| 764 | |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 765 | return false; |
| 766 | } |
| 767 | |
| 768 | void SparcV9CodeEmitter::emitBasicBlock(MachineBasicBlock &MBB) { |
Misha Brukman | 0d60345 | 2003-05-27 22:41:44 +0000 | [diff] [blame] | 769 | currBB = MBB.getBasicBlock(); |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 770 | BBLocations[currBB] = MCE.getCurrentPCValue(); |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 771 | for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); I != E; ++I){ |
Alkis Evlogimenos | c0b9dc5 | 2004-02-12 02:27:10 +0000 | [diff] [blame] | 772 | unsigned binCode = getBinaryCodeForInstr(*I); |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 773 | if (binCode == (1 << 30)) { |
| 774 | // this is an invalid call: the addr is out of bounds. that means a code |
| 775 | // sequence has already been emitted, and this is a no-op |
Brian Gaeke | a900452 | 2004-05-19 21:30:01 +0000 | [diff] [blame] | 776 | DEBUG(std::cerr << "Call suppressed: already emitted far call.\n"); |
Misha Brukman | 07d4516 | 2003-07-15 19:09:43 +0000 | [diff] [blame] | 777 | } else { |
| 778 | emitWord(binCode); |
| 779 | } |
| 780 | } |
Misha Brukman | 3de36f5 | 2003-05-27 20:07:58 +0000 | [diff] [blame] | 781 | } |
| 782 | |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 783 | void* SparcV9CodeEmitter::getGlobalAddress(GlobalValue *V, MachineInstr &MI, |
| 784 | bool isPCRelative) |
| 785 | { |
| 786 | if (isPCRelative) { // must be a call, this is a major hack! |
| 787 | // Try looking up the function to see if it is already compiled! |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 788 | if (void *Addr = (void*)(intptr_t)MCE.getGlobalValueAddress(V)) { |
| 789 | intptr_t CurByte = MCE.getCurrentPCValue(); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 790 | // The real target of the call is Addr = PC + (target * 4) |
| 791 | // CurByte is the PC, Addr we just received |
| 792 | return (void*) (((long)Addr - (long)CurByte) >> 2); |
| 793 | } else { |
| 794 | if (Function *F = dyn_cast<Function>(V)) { |
| 795 | // Function has not yet been code generated! |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 796 | TheJITResolver->addFunctionReference(MCE.getCurrentPCValue(), |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 797 | cast<Function>(V)); |
| 798 | // Delayed resolution... |
Misha Brukman | eaaf8ad | 2003-06-02 05:24:46 +0000 | [diff] [blame] | 799 | return |
| 800 | (void*)(intptr_t)TheJITResolver->getLazyResolver(cast<Function>(V)); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 801 | } else { |
| 802 | std::cerr << "Unhandled global: " << *V << "\n"; |
| 803 | abort(); |
| 804 | } |
| 805 | } |
| 806 | } else { |
Misha Brukman | a2196c1 | 2003-06-04 20:01:13 +0000 | [diff] [blame] | 807 | return (void*)(intptr_t)MCE.getGlobalValueAddress(V); |
Misha Brukman | f86aaa8 | 2003-06-02 04:12:39 +0000 | [diff] [blame] | 808 | } |
| 809 | } |
| 810 | |
Misha Brukman | c6b1584 | 2003-11-13 00:23:05 +0000 | [diff] [blame] | 811 | #include "SparcV9CodeEmitter.inc" |
| 812 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 813 | } // End llvm namespace |
| 814 | |