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