Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 1 | //===-- PPCCodeEmitter.cpp - JIT Code Emitter for PowerPC32 -------*- C++ -*-=// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 2 | // |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 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. |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 7 | // |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 9 | // |
Misha Brukman | d37faba | 2004-10-14 06:07:25 +0000 | [diff] [blame] | 10 | // This file defines the PowerPC 32-bit CodeEmitter and associated machinery to |
| 11 | // JIT-compile bytecode to native PowerPC. |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Chris Lattner | 16e71f2 | 2005-10-14 23:59:06 +0000 | [diff] [blame] | 15 | #include "PPCTargetMachine.h" |
| 16 | #include "PPCRelocations.h" |
Chris Lattner | 2668959 | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 17 | #include "PPC.h" |
Misha Brukman | 3070e2f | 2004-10-21 01:42:02 +0000 | [diff] [blame] | 18 | #include "llvm/Module.h" |
Chris Lattner | de12382 | 2005-10-15 21:58:54 +0000 | [diff] [blame] | 19 | #include "llvm/PassManager.h" |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineCodeEmitter.h" |
| 21 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Misha Brukman | d4b4a99 | 2004-10-23 23:47:34 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/Passes.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 24 | #include "llvm/Support/Debug.h" |
Chris Lattner | 9525528 | 2006-06-28 23:17:24 +0000 | [diff] [blame] | 25 | #include "llvm/Support/Visibility.h" |
Evan Cheng | d2ee218 | 2006-02-18 00:08:58 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetOptions.h" |
Chris Lattner | 86a5484 | 2006-01-22 22:53:01 +0000 | [diff] [blame] | 27 | #include <iostream> |
Chris Lattner | eea9b13 | 2004-11-16 04:47:33 +0000 | [diff] [blame] | 28 | using namespace llvm; |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 29 | |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 30 | namespace { |
Chris Lattner | 9525528 | 2006-06-28 23:17:24 +0000 | [diff] [blame] | 31 | class VISIBILITY_HIDDEN PPCCodeEmitter : public MachineFunctionPass { |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 32 | TargetMachine &TM; |
| 33 | MachineCodeEmitter &MCE; |
| 34 | |
Misha Brukman | 3070e2f | 2004-10-21 01:42:02 +0000 | [diff] [blame] | 35 | /// getMachineOpValue - evaluates the MachineOperand of a given MachineInstr |
| 36 | /// |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 37 | int getMachineOpValue(MachineInstr &MI, MachineOperand &MO); |
Misha Brukman | 3070e2f | 2004-10-21 01:42:02 +0000 | [diff] [blame] | 38 | |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 39 | public: |
Chris Lattner | 4c7b43b | 2005-10-14 23:37:35 +0000 | [diff] [blame] | 40 | PPCCodeEmitter(TargetMachine &T, MachineCodeEmitter &M) |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 41 | : TM(T), MCE(M) {} |
| 42 | |
| 43 | const char *getPassName() const { return "PowerPC Machine Code Emitter"; } |
| 44 | |
| 45 | /// runOnMachineFunction - emits the given MachineFunction to memory |
| 46 | /// |
| 47 | bool runOnMachineFunction(MachineFunction &MF); |
| 48 | |
| 49 | /// emitBasicBlock - emits the given MachineBasicBlock to memory |
| 50 | /// |
| 51 | void emitBasicBlock(MachineBasicBlock &MBB); |
| 52 | |
Misha Brukman | d37faba | 2004-10-14 06:07:25 +0000 | [diff] [blame] | 53 | /// getValueBit - return the particular bit of Val |
| 54 | /// |
| 55 | unsigned getValueBit(int64_t Val, unsigned bit) { return (Val >> bit) & 1; } |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 56 | |
Misha Brukman | 3070e2f | 2004-10-21 01:42:02 +0000 | [diff] [blame] | 57 | /// getBinaryCodeForInstr - This function, generated by the |
| 58 | /// CodeEmitterGenerator using TableGen, produces the binary encoding for |
| 59 | /// machine instructions. |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 60 | /// |
Misha Brukman | d37faba | 2004-10-14 06:07:25 +0000 | [diff] [blame] | 61 | unsigned getBinaryCodeForInstr(MachineInstr &MI); |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 62 | }; |
| 63 | } |
| 64 | |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 65 | /// addPassesToEmitMachineCode - Add passes to the specified pass manager to get |
| 66 | /// machine code emitted. This uses a MachineCodeEmitter object to handle |
| 67 | /// actually outputting the machine code and resolving things like the address |
| 68 | /// of functions. This method should returns true if machine code emission is |
| 69 | /// not supported. |
| 70 | /// |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 71 | bool PPCTargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM, |
| 72 | MachineCodeEmitter &MCE) { |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 73 | // Machine code emitter pass for PowerPC |
Chris Lattner | 4c7b43b | 2005-10-14 23:37:35 +0000 | [diff] [blame] | 74 | PM.add(new PPCCodeEmitter(*this, MCE)); |
Misha Brukman | d37faba | 2004-10-14 06:07:25 +0000 | [diff] [blame] | 75 | // Delete machine code for this function after emitting it |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 76 | PM.add(createMachineCodeDeleter()); |
Misha Brukman | c982cfa | 2004-10-14 06:39:56 +0000 | [diff] [blame] | 77 | return false; |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 78 | } |
| 79 | |
Evan Cheng | 55fc280 | 2006-07-25 20:40:54 +0000 | [diff] [blame] | 80 | #ifdef __APPLE__ |
| 81 | extern "C" void sys_icache_invalidate(const void *Addr, size_t len); |
| 82 | #endif |
| 83 | |
Chris Lattner | 4c7b43b | 2005-10-14 23:37:35 +0000 | [diff] [blame] | 84 | bool PPCCodeEmitter::runOnMachineFunction(MachineFunction &MF) { |
Evan Cheng | 4c1aa86 | 2006-02-22 20:19:42 +0000 | [diff] [blame] | 85 | assert((MF.getTarget().getRelocationModel() != Reloc::Default || |
| 86 | MF.getTarget().getRelocationModel() != Reloc::Static) && |
| 87 | "JIT relocation model must be set to static or default!"); |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 88 | do { |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 89 | MCE.startFunction(MF); |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 90 | for (MachineFunction::iterator BB = MF.begin(), E = MF.end(); BB != E; ++BB) |
| 91 | emitBasicBlock(*BB); |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 92 | } while (MCE.finishFunction(MF)); |
Misha Brukman | 3070e2f | 2004-10-21 01:42:02 +0000 | [diff] [blame] | 93 | |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 94 | return false; |
| 95 | } |
| 96 | |
Chris Lattner | 4c7b43b | 2005-10-14 23:37:35 +0000 | [diff] [blame] | 97 | void PPCCodeEmitter::emitBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | b4432f3 | 2006-05-03 17:10:41 +0000 | [diff] [blame] | 98 | MCE.StartMachineBasicBlock(&MBB); |
| 99 | |
Misha Brukman | a4df350 | 2004-10-23 18:28:01 +0000 | [diff] [blame] | 100 | for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); I != E; ++I){ |
| 101 | MachineInstr &MI = *I; |
| 102 | unsigned Opcode = MI.getOpcode(); |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 103 | switch (MI.getOpcode()) { |
| 104 | default: |
Chris Lattner | d3f0aef | 2006-05-02 19:14:47 +0000 | [diff] [blame] | 105 | MCE.emitWordBE(getBinaryCodeForInstr(*I)); |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 106 | break; |
Chris Lattner | 563ecfb | 2006-06-27 18:18:41 +0000 | [diff] [blame] | 107 | case PPC::IMPLICIT_DEF_GPRC: |
| 108 | case PPC::IMPLICIT_DEF_G8RC: |
Chris Lattner | 919c032 | 2005-10-01 01:35:02 +0000 | [diff] [blame] | 109 | case PPC::IMPLICIT_DEF_F8: |
| 110 | case PPC::IMPLICIT_DEF_F4: |
Chris Lattner | f3ce432 | 2006-03-21 20:19:37 +0000 | [diff] [blame] | 111 | case PPC::IMPLICIT_DEF_VRRC: |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 112 | break; // pseudo opcode, no side effects |
| 113 | case PPC::MovePCtoLR: |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 114 | assert(0 && "CodeEmitter does not support MovePCtoLR instruction"); |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 115 | break; |
| 116 | } |
Misha Brukman | a4df350 | 2004-10-23 18:28:01 +0000 | [diff] [blame] | 117 | } |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 118 | } |
| 119 | |
Chris Lattner | 4c7b43b | 2005-10-14 23:37:35 +0000 | [diff] [blame] | 120 | int PPCCodeEmitter::getMachineOpValue(MachineInstr &MI, MachineOperand &MO) { |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 121 | |
Chris Lattner | b4432f3 | 2006-05-03 17:10:41 +0000 | [diff] [blame] | 122 | intptr_t rv = 0; // Return value; defaults to 0 for unhandled cases |
| 123 | // or things that get fixed up later by the JIT. |
Misha Brukman | 3070e2f | 2004-10-21 01:42:02 +0000 | [diff] [blame] | 124 | if (MO.isRegister()) { |
Chris Lattner | 369503f | 2006-04-17 21:07:20 +0000 | [diff] [blame] | 125 | rv = PPCRegisterInfo::getRegisterNumbering(MO.getReg()); |
Chris Lattner | f577c61 | 2005-04-19 05:41:52 +0000 | [diff] [blame] | 126 | |
Nate Begeman | adeb43d | 2005-07-20 22:42:00 +0000 | [diff] [blame] | 127 | // Special encoding for MTCRF and MFOCRF, which uses a bit mask for the |
Chris Lattner | f577c61 | 2005-04-19 05:41:52 +0000 | [diff] [blame] | 128 | // register, not the register number directly. |
Nate Begeman | adeb43d | 2005-07-20 22:42:00 +0000 | [diff] [blame] | 129 | if ((MI.getOpcode() == PPC::MTCRF || MI.getOpcode() == PPC::MFOCRF) && |
Chris Lattner | f577c61 | 2005-04-19 05:41:52 +0000 | [diff] [blame] | 130 | (MO.getReg() >= PPC::CR0 && MO.getReg() <= PPC::CR7)) { |
| 131 | rv = 0x80 >> rv; |
| 132 | } |
Misha Brukman | c982cfa | 2004-10-14 06:39:56 +0000 | [diff] [blame] | 133 | } else if (MO.isImmediate()) { |
| 134 | rv = MO.getImmedValue(); |
Chris Lattner | 477d1de | 2005-04-18 00:46:10 +0000 | [diff] [blame] | 135 | } else if (MO.isGlobalAddress() || MO.isExternalSymbol()) { |
Chris Lattner | d7fa35c | 2004-11-23 15:56:38 +0000 | [diff] [blame] | 136 | unsigned Reloc = 0; |
Nate Begeman | 422b0ce | 2005-11-16 00:48:01 +0000 | [diff] [blame] | 137 | if (MI.getOpcode() == PPC::BL) |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 138 | Reloc = PPC::reloc_pcrel_bx; |
Chris Lattner | 5efb75d | 2004-11-24 22:30:08 +0000 | [diff] [blame] | 139 | else { |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 140 | switch (MI.getOpcode()) { |
Jim Laskey | e37fe9b | 2006-07-11 17:58:07 +0000 | [diff] [blame] | 141 | default: DEBUG(MI.dump()); assert(0 && "Unknown instruction for relocation!"); |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 142 | case PPC::LIS: |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 143 | case PPC::LIS8: |
| 144 | case PPC::ADDIS8: |
Nate Begeman | 6fcbd69 | 2006-04-21 22:04:15 +0000 | [diff] [blame] | 145 | Reloc = PPC::reloc_absolute_high; // Pointer to symbol |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 146 | break; |
Chris Lattner | ea4a9c5 | 2006-04-22 06:17:56 +0000 | [diff] [blame] | 147 | case PPC::LI: |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 148 | case PPC::LI8: |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 149 | case PPC::LA: |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 150 | // Loads. |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 151 | case PPC::LBZ: |
| 152 | case PPC::LHA: |
| 153 | case PPC::LHZ: |
| 154 | case PPC::LWZ: |
| 155 | case PPC::LFS: |
| 156 | case PPC::LFD: |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 157 | case PPC::LWZ8: |
| 158 | |
| 159 | // Stores. |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 160 | case PPC::STB: |
| 161 | case PPC::STH: |
| 162 | case PPC::STW: |
| 163 | case PPC::STFS: |
| 164 | case PPC::STFD: |
Nate Begeman | 6fcbd69 | 2006-04-21 22:04:15 +0000 | [diff] [blame] | 165 | Reloc = PPC::reloc_absolute_low; |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 166 | break; |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 167 | |
| 168 | case PPC::LWA: |
| 169 | case PPC::LD: |
| 170 | case PPC::STD: |
| 171 | case PPC::STD_32: |
| 172 | Reloc = PPC::reloc_absolute_low_ix; |
| 173 | break; |
Chris Lattner | 5efb75d | 2004-11-24 22:30:08 +0000 | [diff] [blame] | 174 | } |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 175 | } |
Chris Lattner | 477d1de | 2005-04-18 00:46:10 +0000 | [diff] [blame] | 176 | if (MO.isGlobalAddress()) |
Chris Lattner | 5a032de | 2006-05-03 20:30:20 +0000 | [diff] [blame] | 177 | MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 178 | Reloc, MO.getGlobal(), 0)); |
Chris Lattner | 477d1de | 2005-04-18 00:46:10 +0000 | [diff] [blame] | 179 | else |
Chris Lattner | 5a032de | 2006-05-03 20:30:20 +0000 | [diff] [blame] | 180 | MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(), |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 181 | Reloc, MO.getSymbolName(), 0)); |
Misha Brukman | c982cfa | 2004-10-14 06:39:56 +0000 | [diff] [blame] | 182 | } else if (MO.isMachineBasicBlock()) { |
Evan Cheng | f141cc4 | 2006-07-27 18:21:10 +0000 | [diff] [blame^] | 183 | unsigned Reloc = 0; |
| 184 | unsigned Opcode = MI.getOpcode(); |
| 185 | if (Opcode == PPC::B || Opcode == PPC::BL || Opcode == PPC::BLA) |
| 186 | Reloc = PPC::reloc_pcrel_bx; |
| 187 | else |
| 188 | // BLT,BLE,BEQ,BGE,BGT,BNE, or other bcx instruction |
| 189 | Reloc = PPC::reloc_pcrel_bcx; |
| 190 | MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(), |
| 191 | Reloc, |
| 192 | MO.getMachineBasicBlock())); |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 193 | } else if (MO.isConstantPoolIndex() || MO.isJumpTableIndex()) { |
| 194 | if (MO.isConstantPoolIndex()) |
| 195 | rv = MCE.getConstantPoolEntryAddress(MO.getConstantPoolIndex()); |
| 196 | else |
| 197 | rv = MCE.getJumpTableEntryAddress(MO.getJumpTableIndex()); |
| 198 | |
Chris Lattner | b9f26da | 2004-11-24 01:56:12 +0000 | [diff] [blame] | 199 | unsigned Opcode = MI.getOpcode(); |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 200 | if (Opcode == PPC::LIS || Opcode == PPC::LIS8 || |
| 201 | Opcode == PPC::ADDIS || Opcode == PPC::ADDIS8) { |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 202 | // lis wants hi16(addr) |
Chris Lattner | b9f26da | 2004-11-24 01:56:12 +0000 | [diff] [blame] | 203 | if ((short)rv < 0) rv += 1 << 16; |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 204 | rv >>= 16; |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 205 | } else if (Opcode == PPC::LWZ || Opcode == PPC::LWZ8 || |
| 206 | Opcode == PPC::LA || |
| 207 | Opcode == PPC::LI || Opcode == PPC::LI8 || |
Misha Brukman | a4df350 | 2004-10-23 18:28:01 +0000 | [diff] [blame] | 208 | Opcode == PPC::LFS || Opcode == PPC::LFD) { |
Nate Begeman | 2497e63 | 2005-07-21 20:44:43 +0000 | [diff] [blame] | 209 | // These load opcodes want lo16(addr) |
Chris Lattner | e94c517 | 2004-11-23 05:59:53 +0000 | [diff] [blame] | 210 | rv &= 0xffff; |
Chris Lattner | b9f26da | 2004-11-24 01:56:12 +0000 | [diff] [blame] | 211 | } else { |
Chris Lattner | 3bc8a76 | 2006-07-12 21:23:20 +0000 | [diff] [blame] | 212 | MI.dump(); |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 213 | assert(0 && "Unknown constant pool or jump table using instruction!"); |
Misha Brukman | a4df350 | 2004-10-23 18:28:01 +0000 | [diff] [blame] | 214 | } |
Chris Lattner | b9f26da | 2004-11-24 01:56:12 +0000 | [diff] [blame] | 215 | } else { |
| 216 | std::cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n"; |
| 217 | abort(); |
Misha Brukman | a4df350 | 2004-10-23 18:28:01 +0000 | [diff] [blame] | 218 | } |
Chris Lattner | b9f26da | 2004-11-24 01:56:12 +0000 | [diff] [blame] | 219 | |
Misha Brukman | c982cfa | 2004-10-14 06:39:56 +0000 | [diff] [blame] | 220 | return rv; |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 221 | } |
| 222 | |
Chris Lattner | 4c7b43b | 2005-10-14 23:37:35 +0000 | [diff] [blame] | 223 | #include "PPCGenCodeEmitter.inc" |
Misha Brukman | b05daff | 2004-08-09 23:03:59 +0000 | [diff] [blame] | 224 | |