Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //===-- PPCCodeEmitter.cpp - JIT Code Emitter for PowerPC32 -------*- C++ -*-=// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the PowerPC 32-bit CodeEmitter and associated machinery to |
| 11 | // JIT-compile bitcode to native PowerPC. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "PPCTargetMachine.h" |
| 16 | #include "PPCRelocations.h" |
| 17 | #include "PPC.h" |
| 18 | #include "llvm/Module.h" |
| 19 | #include "llvm/PassManager.h" |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/JITCodeEmitter.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 22 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Nicolas Geoffray | 0e757e1 | 2008-02-13 18:39:37 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/MachineModuleInfo.h" |
Edwin Török | 4d9756a | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 24 | #include "llvm/Support/ErrorHandling.h" |
| 25 | #include "llvm/Support/raw_ostream.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetOptions.h" |
| 27 | using namespace llvm; |
| 28 | |
| 29 | namespace { |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 30 | class PPCCodeEmitter : public MachineFunctionPass { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 31 | TargetMachine &TM; |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 32 | JITCodeEmitter &MCE; |
| 33 | |
| 34 | void getAnalysisUsage(AnalysisUsage &AU) const { |
| 35 | AU.addRequired<MachineModuleInfo>(); |
| 36 | MachineFunctionPass::getAnalysisUsage(AU); |
| 37 | } |
| 38 | |
| 39 | static char ID; |
| 40 | |
| 41 | /// MovePCtoLROffset - When/if we see a MovePCtoLR instruction, we record |
| 42 | /// its address in the function into this pointer. |
| 43 | void *MovePCtoLROffset; |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 44 | public: |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 45 | |
| 46 | PPCCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce) |
| 47 | : MachineFunctionPass(&ID), TM(tm), MCE(mce) {} |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 48 | |
| 49 | /// getBinaryCodeForInstr - This function, generated by the |
| 50 | /// CodeEmitterGenerator using TableGen, produces the binary encoding for |
| 51 | /// machine instructions. |
| 52 | |
| 53 | unsigned getBinaryCodeForInstr(const MachineInstr &MI); |
| 54 | |
| 55 | /// getMachineOpValue - evaluates the MachineOperand of a given MachineInstr |
| 56 | |
Bruno Cardoso Lopes | 8e2537b | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 57 | unsigned getMachineOpValue(const MachineInstr &MI, |
| 58 | const MachineOperand &MO); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 59 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 60 | const char *getPassName() const { return "PowerPC Machine Code Emitter"; } |
| 61 | |
| 62 | /// runOnMachineFunction - emits the given MachineFunction to memory |
| 63 | /// |
| 64 | bool runOnMachineFunction(MachineFunction &MF); |
| 65 | |
| 66 | /// emitBasicBlock - emits the given MachineBasicBlock to memory |
| 67 | /// |
| 68 | void emitBasicBlock(MachineBasicBlock &MBB); |
| 69 | |
| 70 | /// getValueBit - return the particular bit of Val |
| 71 | /// |
| 72 | unsigned getValueBit(int64_t Val, unsigned bit) { return (Val >> bit) & 1; } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 73 | }; |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 74 | } |
Daniel Dunbar | 3be44e6 | 2009-09-20 02:20:51 +0000 | [diff] [blame] | 75 | |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 76 | char PPCCodeEmitter::ID = 0; |
| 77 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 78 | /// createPPCCodeEmitterPass - Return a pass that emits the collected PPC code |
| 79 | /// to the specified MCE object. |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 80 | FunctionPass *llvm::createPPCJITCodeEmitterPass(PPCTargetMachine &TM, |
Bruno Cardoso Lopes | 8e2537b | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 81 | JITCodeEmitter &JCE) { |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 82 | return new PPCCodeEmitter(TM, JCE); |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 83 | } |
| 84 | |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 85 | bool PPCCodeEmitter::runOnMachineFunction(MachineFunction &MF) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 86 | assert((MF.getTarget().getRelocationModel() != Reloc::Default || |
| 87 | MF.getTarget().getRelocationModel() != Reloc::Static) && |
| 88 | "JIT relocation model must be set to static or default!"); |
Nicolas Geoffray | 0e757e1 | 2008-02-13 18:39:37 +0000 | [diff] [blame] | 89 | |
| 90 | MCE.setModuleInfo(&getAnalysis<MachineModuleInfo>()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 91 | do { |
| 92 | MovePCtoLROffset = 0; |
| 93 | MCE.startFunction(MF); |
| 94 | for (MachineFunction::iterator BB = MF.begin(), E = MF.end(); BB != E; ++BB) |
| 95 | emitBasicBlock(*BB); |
| 96 | } while (MCE.finishFunction(MF)); |
| 97 | |
| 98 | return false; |
| 99 | } |
| 100 | |
Chris Lattner | 90ae6ff | 2010-02-02 21:55:58 +0000 | [diff] [blame] | 101 | void PPCCodeEmitter::emitBasicBlock(MachineBasicBlock &MBB) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 102 | MCE.StartMachineBasicBlock(&MBB); |
Daniel Dunbar | 3be44e6 | 2009-09-20 02:20:51 +0000 | [diff] [blame] | 103 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 104 | for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); I != E; ++I){ |
Evan Cheng | 3ca8937 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 105 | const MachineInstr &MI = *I; |
Devang Patel | 5450fc1 | 2009-10-06 02:19:11 +0000 | [diff] [blame] | 106 | MCE.processDebugLoc(MI.getDebugLoc(), true); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 107 | switch (MI.getOpcode()) { |
| 108 | default: |
Evan Cheng | 3ca8937 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 109 | MCE.emitWordBE(getBinaryCodeForInstr(MI)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 110 | break; |
Chris Lattner | 4052b29 | 2010-02-09 19:54:29 +0000 | [diff] [blame^] | 111 | case TargetOpcode::DBG_LABEL: |
| 112 | case TargetOpcode::EH_LABEL: |
Nicolas Geoffray | 0e757e1 | 2008-02-13 18:39:37 +0000 | [diff] [blame] | 113 | MCE.emitLabel(MI.getOperand(0).getImm()); |
| 114 | break; |
Chris Lattner | 4052b29 | 2010-02-09 19:54:29 +0000 | [diff] [blame^] | 115 | case TargetOpcode::IMPLICIT_DEF: |
| 116 | case TargetOpcode::KILL: |
Evan Cheng | b74b4b6 | 2008-03-17 06:56:52 +0000 | [diff] [blame] | 117 | break; // pseudo opcode, no side effects |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 118 | case PPC::MovePCtoLR: |
| 119 | case PPC::MovePCtoLR8: |
| 120 | assert(TM.getRelocationModel() == Reloc::PIC_); |
| 121 | MovePCtoLROffset = (void*)MCE.getCurrentPCValue(); |
| 122 | MCE.emitWordBE(0x48000005); // bl 1 |
| 123 | break; |
| 124 | } |
Devang Patel | 5450fc1 | 2009-10-06 02:19:11 +0000 | [diff] [blame] | 125 | MCE.processDebugLoc(MI.getDebugLoc(), false); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 126 | } |
| 127 | } |
| 128 | |
Evan Cheng | 3ca8937 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 129 | unsigned PPCCodeEmitter::getMachineOpValue(const MachineInstr &MI, |
| 130 | const MachineOperand &MO) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 131 | |
Evan Cheng | 3ca8937 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 132 | unsigned rv = 0; // Return value; defaults to 0 for unhandled cases |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 133 | // or things that get fixed up later by the JIT. |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 134 | if (MO.isReg()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 135 | rv = PPCRegisterInfo::getRegisterNumbering(MO.getReg()); |
| 136 | |
| 137 | // Special encoding for MTCRF and MFOCRF, which uses a bit mask for the |
| 138 | // register, not the register number directly. |
| 139 | if ((MI.getOpcode() == PPC::MTCRF || MI.getOpcode() == PPC::MFOCRF) && |
| 140 | (MO.getReg() >= PPC::CR0 && MO.getReg() <= PPC::CR7)) { |
| 141 | rv = 0x80 >> rv; |
| 142 | } |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 143 | } else if (MO.isImm()) { |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 144 | rv = MO.getImm(); |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 145 | } else if (MO.isGlobal() || MO.isSymbol() || |
| 146 | MO.isCPI() || MO.isJTI()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 147 | unsigned Reloc = 0; |
Tilmann Scheller | 386330d | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 148 | if (MI.getOpcode() == PPC::BL_Darwin || MI.getOpcode() == PPC::BL8_Darwin || |
| 149 | MI.getOpcode() == PPC::BL_SVR4 || MI.getOpcode() == PPC::BL8_ELF || |
Arnold Schwaighofer | a003272 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 150 | MI.getOpcode() == PPC::TAILB || MI.getOpcode() == PPC::TAILB8) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 151 | Reloc = PPC::reloc_pcrel_bx; |
| 152 | else { |
| 153 | if (TM.getRelocationModel() == Reloc::PIC_) { |
| 154 | assert(MovePCtoLROffset && "MovePCtoLR not seen yet?"); |
| 155 | } |
| 156 | switch (MI.getOpcode()) { |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 157 | default: MI.dump(); llvm_unreachable("Unknown instruction for relocation!"); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 158 | case PPC::LIS: |
| 159 | case PPC::LIS8: |
| 160 | case PPC::ADDIS: |
| 161 | case PPC::ADDIS8: |
| 162 | Reloc = PPC::reloc_absolute_high; // Pointer to symbol |
| 163 | break; |
| 164 | case PPC::LI: |
| 165 | case PPC::LI8: |
| 166 | case PPC::LA: |
| 167 | // Loads. |
| 168 | case PPC::LBZ: |
| 169 | case PPC::LBZ8: |
| 170 | case PPC::LHA: |
| 171 | case PPC::LHA8: |
| 172 | case PPC::LHZ: |
| 173 | case PPC::LHZ8: |
| 174 | case PPC::LWZ: |
| 175 | case PPC::LWZ8: |
| 176 | case PPC::LFS: |
| 177 | case PPC::LFD: |
Daniel Dunbar | 3be44e6 | 2009-09-20 02:20:51 +0000 | [diff] [blame] | 178 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 179 | // Stores. |
| 180 | case PPC::STB: |
| 181 | case PPC::STB8: |
| 182 | case PPC::STH: |
| 183 | case PPC::STH8: |
| 184 | case PPC::STW: |
| 185 | case PPC::STW8: |
| 186 | case PPC::STFS: |
| 187 | case PPC::STFD: |
| 188 | Reloc = PPC::reloc_absolute_low; |
| 189 | break; |
| 190 | |
| 191 | case PPC::LWA: |
| 192 | case PPC::LD: |
| 193 | case PPC::STD: |
| 194 | case PPC::STD_32: |
| 195 | Reloc = PPC::reloc_absolute_low_ix; |
| 196 | break; |
| 197 | } |
| 198 | } |
Daniel Dunbar | 3be44e6 | 2009-09-20 02:20:51 +0000 | [diff] [blame] | 199 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 200 | MachineRelocation R; |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 201 | if (MO.isGlobal()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 202 | R = MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc, |
Evan Cheng | 9f6942b | 2008-01-04 02:22:21 +0000 | [diff] [blame] | 203 | MO.getGlobal(), 0, |
| 204 | isa<Function>(MO.getGlobal())); |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 205 | } else if (MO.isSymbol()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 206 | R = MachineRelocation::getExtSym(MCE.getCurrentPCOffset(), |
| 207 | Reloc, MO.getSymbolName(), 0); |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 208 | } else if (MO.isCPI()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 209 | R = MachineRelocation::getConstPool(MCE.getCurrentPCOffset(), |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 210 | Reloc, MO.getIndex(), 0); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 211 | } else { |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 212 | assert(MO.isJTI()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 213 | R = MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(), |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 214 | Reloc, MO.getIndex(), 0); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 215 | } |
Daniel Dunbar | 3be44e6 | 2009-09-20 02:20:51 +0000 | [diff] [blame] | 216 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 217 | // If in PIC mode, we need to encode the negated address of the |
| 218 | // 'movepctolr' into the unrelocated field. After relocation, we'll have |
| 219 | // &gv-&movepctolr-4 in the imm field. Once &movepctolr is added to the imm |
| 220 | // field, we get &gv. This doesn't happen for branch relocations, which are |
| 221 | // always implicitly pc relative. |
| 222 | if (TM.getRelocationModel() == Reloc::PIC_ && Reloc != PPC::reloc_pcrel_bx){ |
| 223 | assert(MovePCtoLROffset && "MovePCtoLR not seen yet?"); |
| 224 | R.setConstantVal(-(intptr_t)MovePCtoLROffset - 4); |
| 225 | } |
| 226 | MCE.addRelocation(R); |
Daniel Dunbar | 3be44e6 | 2009-09-20 02:20:51 +0000 | [diff] [blame] | 227 | |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 228 | } else if (MO.isMBB()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 229 | unsigned Reloc = 0; |
| 230 | unsigned Opcode = MI.getOpcode(); |
Tilmann Scheller | 386330d | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 231 | if (Opcode == PPC::B || Opcode == PPC::BL_Darwin || |
| 232 | Opcode == PPC::BLA_Darwin|| Opcode == PPC::BL_SVR4 || |
| 233 | Opcode == PPC::BLA_SVR4) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 234 | Reloc = PPC::reloc_pcrel_bx; |
| 235 | else // BCC instruction |
| 236 | Reloc = PPC::reloc_pcrel_bcx; |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 237 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 238 | MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(), |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 239 | Reloc, MO.getMBB())); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 240 | } else { |
Edwin Török | 4d9756a | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 241 | #ifndef NDEBUG |
Chris Lattner | d71b0b0 | 2009-08-23 03:41:05 +0000 | [diff] [blame] | 242 | errs() << "ERROR: Unknown type of MachineOperand: " << MO << "\n"; |
Edwin Török | 4d9756a | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 243 | #endif |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 244 | llvm_unreachable(0); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 245 | } |
| 246 | |
| 247 | return rv; |
| 248 | } |
| 249 | |
| 250 | #include "PPCGenCodeEmitter.inc" |