Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 1 | //===-- Alpha/AlphaCodeEmitter.cpp - Convert Alpha code to machine code ---===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 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. |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains the pass that transforms the Alpha machine instructions |
| 11 | // into relocatable machine code. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Chris Lattner | 95b2c7d | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 15 | #define DEBUG_TYPE "alpha-emitter" |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 16 | #include "AlphaTargetMachine.h" |
| 17 | #include "AlphaRelocations.h" |
| 18 | #include "Alpha.h" |
| 19 | #include "llvm/PassManager.h" |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/JITCodeEmitter.h" |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 22 | #include "llvm/CodeGen/MachineInstr.h" |
| 23 | #include "llvm/CodeGen/Passes.h" |
| 24 | #include "llvm/Function.h" |
| 25 | #include "llvm/Support/Debug.h" |
Torok Edwin | 804e0fe | 2009-07-08 19:04:27 +0000 | [diff] [blame] | 26 | #include "llvm/Support/ErrorHandling.h" |
| 27 | #include "llvm/Support/raw_ostream.h" |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 28 | using namespace llvm; |
| 29 | |
| 30 | namespace { |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 31 | class AlphaCodeEmitter : public MachineFunctionPass { |
| 32 | JITCodeEmitter &MCE; |
| 33 | const AlphaInstrInfo *II; |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 34 | public: |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 35 | static char ID; |
| 36 | |
Owen Anderson | 9ccaf53 | 2010-08-05 23:42:04 +0000 | [diff] [blame] | 37 | AlphaCodeEmitter(JITCodeEmitter &mce) : MachineFunctionPass(ID), |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 38 | MCE(mce) {} |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 39 | |
| 40 | /// getBinaryCodeForInstr - This function, generated by the |
| 41 | /// CodeEmitterGenerator using TableGen, produces the binary encoding for |
| 42 | /// machine instructions. |
| 43 | |
| 44 | unsigned getBinaryCodeForInstr(const MachineInstr &MI); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 45 | |
| 46 | /// getMachineOpValue - evaluates the MachineOperand of a given MachineInstr |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 47 | |
Bruno Cardoso Lopes | 434dd4f | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 48 | unsigned getMachineOpValue(const MachineInstr &MI, |
| 49 | const MachineOperand &MO); |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 50 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 51 | bool runOnMachineFunction(MachineFunction &MF); |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 52 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 53 | virtual const char *getPassName() const { |
| 54 | return "Alpha Machine Code Emitter"; |
| 55 | } |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 56 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 57 | private: |
| 58 | void emitBasicBlock(MachineBasicBlock &MBB); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 59 | }; |
| 60 | } |
| 61 | |
Chris Lattner | fce4aef | 2010-02-02 21:49:29 +0000 | [diff] [blame] | 62 | char AlphaCodeEmitter::ID = 0; |
| 63 | |
| 64 | |
Bruno Cardoso Lopes | 434dd4f | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 65 | /// createAlphaCodeEmitterPass - Return a pass that emits the collected Alpha |
| 66 | /// code to the specified MCE object. |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 67 | |
Bruno Cardoso Lopes | 434dd4f | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 68 | FunctionPass *llvm::createAlphaJITCodeEmitterPass(AlphaTargetMachine &TM, |
| 69 | JITCodeEmitter &JCE) { |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 70 | return new AlphaCodeEmitter(JCE); |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 71 | } |
| 72 | |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 73 | bool AlphaCodeEmitter::runOnMachineFunction(MachineFunction &MF) { |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 74 | II = ((AlphaTargetMachine&)MF.getTarget()).getInstrInfo(); |
| 75 | |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 76 | do { |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 77 | MCE.startFunction(MF); |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 78 | for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) |
| 79 | emitBasicBlock(*I); |
| 80 | } while (MCE.finishFunction(MF)); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 81 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 82 | return false; |
| 83 | } |
| 84 | |
Chris Lattner | 782ebe4 | 2010-02-02 21:35:47 +0000 | [diff] [blame] | 85 | void AlphaCodeEmitter::emitBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | b4432f3 | 2006-05-03 17:10:41 +0000 | [diff] [blame] | 86 | MCE.StartMachineBasicBlock(&MBB); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 87 | for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); |
| 88 | I != E; ++I) { |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 89 | const MachineInstr &MI = *I; |
Devang Patel | af0e272 | 2009-10-06 02:19:11 +0000 | [diff] [blame] | 90 | MCE.processDebugLoc(MI.getDebugLoc(), true); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 91 | switch(MI.getOpcode()) { |
| 92 | default: |
Chris Lattner | d3f0aef | 2006-05-02 19:14:47 +0000 | [diff] [blame] | 93 | MCE.emitWordLE(getBinaryCodeForInstr(*I)); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 94 | break; |
| 95 | case Alpha::ALTENT: |
| 96 | case Alpha::PCLABEL: |
| 97 | case Alpha::MEMLABEL: |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 98 | case TargetOpcode::IMPLICIT_DEF: |
| 99 | case TargetOpcode::KILL: |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 100 | break; //skip these |
| 101 | } |
Devang Patel | af0e272 | 2009-10-06 02:19:11 +0000 | [diff] [blame] | 102 | MCE.processDebugLoc(MI.getDebugLoc(), false); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 103 | } |
| 104 | } |
| 105 | |
| 106 | static unsigned getAlphaRegNumber(unsigned Reg) { |
| 107 | switch (Reg) { |
| 108 | case Alpha::R0 : case Alpha::F0 : return 0; |
| 109 | case Alpha::R1 : case Alpha::F1 : return 1; |
| 110 | case Alpha::R2 : case Alpha::F2 : return 2; |
| 111 | case Alpha::R3 : case Alpha::F3 : return 3; |
| 112 | case Alpha::R4 : case Alpha::F4 : return 4; |
| 113 | case Alpha::R5 : case Alpha::F5 : return 5; |
| 114 | case Alpha::R6 : case Alpha::F6 : return 6; |
| 115 | case Alpha::R7 : case Alpha::F7 : return 7; |
| 116 | case Alpha::R8 : case Alpha::F8 : return 8; |
| 117 | case Alpha::R9 : case Alpha::F9 : return 9; |
| 118 | case Alpha::R10 : case Alpha::F10 : return 10; |
| 119 | case Alpha::R11 : case Alpha::F11 : return 11; |
| 120 | case Alpha::R12 : case Alpha::F12 : return 12; |
| 121 | case Alpha::R13 : case Alpha::F13 : return 13; |
| 122 | case Alpha::R14 : case Alpha::F14 : return 14; |
| 123 | case Alpha::R15 : case Alpha::F15 : return 15; |
| 124 | case Alpha::R16 : case Alpha::F16 : return 16; |
| 125 | case Alpha::R17 : case Alpha::F17 : return 17; |
| 126 | case Alpha::R18 : case Alpha::F18 : return 18; |
| 127 | case Alpha::R19 : case Alpha::F19 : return 19; |
| 128 | case Alpha::R20 : case Alpha::F20 : return 20; |
| 129 | case Alpha::R21 : case Alpha::F21 : return 21; |
| 130 | case Alpha::R22 : case Alpha::F22 : return 22; |
| 131 | case Alpha::R23 : case Alpha::F23 : return 23; |
| 132 | case Alpha::R24 : case Alpha::F24 : return 24; |
| 133 | case Alpha::R25 : case Alpha::F25 : return 25; |
| 134 | case Alpha::R26 : case Alpha::F26 : return 26; |
| 135 | case Alpha::R27 : case Alpha::F27 : return 27; |
| 136 | case Alpha::R28 : case Alpha::F28 : return 28; |
| 137 | case Alpha::R29 : case Alpha::F29 : return 29; |
| 138 | case Alpha::R30 : case Alpha::F30 : return 30; |
| 139 | case Alpha::R31 : case Alpha::F31 : return 31; |
| 140 | default: |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 141 | llvm_unreachable("Unhandled reg"); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 142 | } |
| 143 | } |
| 144 | |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 145 | unsigned AlphaCodeEmitter::getMachineOpValue(const MachineInstr &MI, |
Chris Lattner | 705e07f | 2009-08-23 03:41:05 +0000 | [diff] [blame] | 146 | const MachineOperand &MO) { |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 147 | |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 148 | unsigned rv = 0; // Return value; defaults to 0 for unhandled cases |
| 149 | // or things that get fixed up later by the JIT. |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 150 | |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 151 | if (MO.isReg()) { |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 152 | rv = getAlphaRegNumber(MO.getReg()); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 153 | } else if (MO.isImm()) { |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 154 | rv = MO.getImm(); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 155 | } else if (MO.isGlobal() || MO.isSymbol() || MO.isCPI()) { |
Chris Lattner | 705e07f | 2009-08-23 03:41:05 +0000 | [diff] [blame] | 156 | DEBUG(errs() << MO << " is a relocated op for " << MI << "\n"); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 157 | unsigned Reloc = 0; |
| 158 | int Offset = 0; |
Andrew Lenharth | a4433e1 | 2005-07-28 12:45:20 +0000 | [diff] [blame] | 159 | bool useGOT = false; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 160 | switch (MI.getOpcode()) { |
Andrew Lenharth | 98169be | 2005-07-28 18:14:47 +0000 | [diff] [blame] | 161 | case Alpha::BSR: |
| 162 | Reloc = Alpha::reloc_bsr; |
| 163 | break; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 164 | case Alpha::LDLr: |
| 165 | case Alpha::LDQr: |
| 166 | case Alpha::LDBUr: |
| 167 | case Alpha::LDWUr: |
| 168 | case Alpha::LDSr: |
| 169 | case Alpha::LDTr: |
| 170 | case Alpha::LDAr: |
Andrew Lenharth | 81b5a3c | 2005-11-16 21:15:53 +0000 | [diff] [blame] | 171 | case Alpha::STQr: |
| 172 | case Alpha::STLr: |
| 173 | case Alpha::STWr: |
| 174 | case Alpha::STBr: |
| 175 | case Alpha::STSr: |
| 176 | case Alpha::STTr: |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 177 | Reloc = Alpha::reloc_gprellow; |
| 178 | break; |
| 179 | case Alpha::LDAHr: |
| 180 | Reloc = Alpha::reloc_gprelhigh; |
| 181 | break; |
| 182 | case Alpha::LDQl: |
| 183 | Reloc = Alpha::reloc_literal; |
Andrew Lenharth | a4433e1 | 2005-07-28 12:45:20 +0000 | [diff] [blame] | 184 | useGOT = true; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 185 | break; |
| 186 | case Alpha::LDAg: |
| 187 | case Alpha::LDAHg: |
| 188 | Reloc = Alpha::reloc_gpdist; |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 189 | Offset = MI.getOperand(3).getImm(); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 190 | break; |
| 191 | default: |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 192 | llvm_unreachable("unknown relocatable instruction"); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 193 | } |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 194 | if (MO.isGlobal()) |
Dan Gohman | 46510a7 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 195 | MCE.addRelocation(MachineRelocation::getGV( |
| 196 | MCE.getCurrentPCOffset(), |
| 197 | Reloc, |
| 198 | const_cast<GlobalValue *>(MO.getGlobal()), |
| 199 | Offset, |
| 200 | isa<Function>(MO.getGlobal()), |
| 201 | useGOT)); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 202 | else if (MO.isSymbol()) |
Chris Lattner | 5a032de | 2006-05-03 20:30:20 +0000 | [diff] [blame] | 203 | MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(), |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 204 | Reloc, MO.getSymbolName(), |
| 205 | Offset, true)); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 206 | else |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 207 | MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(), |
| 208 | Reloc, MO.getIndex(), Offset)); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 209 | } else if (MO.isMBB()) { |
Evan Cheng | f141cc4 | 2006-07-27 18:21:10 +0000 | [diff] [blame] | 210 | MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(), |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 211 | Alpha::reloc_bsr, MO.getMBB())); |
Torok Edwin | 804e0fe | 2009-07-08 19:04:27 +0000 | [diff] [blame] | 212 | } else { |
Torok Edwin | dac237e | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 213 | #ifndef NDEBUG |
Chris Lattner | 705e07f | 2009-08-23 03:41:05 +0000 | [diff] [blame] | 214 | errs() << "ERROR: Unknown type of MachineOperand: " << MO << "\n"; |
Torok Edwin | dac237e | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 215 | #endif |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 216 | llvm_unreachable(0); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 217 | } |
| 218 | |
| 219 | return rv; |
| 220 | } |
| 221 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 222 | #include "AlphaGenCodeEmitter.inc" |