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" |
| 20 | #include "llvm/CodeGen/MachineCodeEmitter.h" |
| 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" |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 26 | using namespace llvm; |
| 27 | |
| 28 | namespace { |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 29 | class AlphaCodeEmitter : public MachineFunctionPass { |
| 30 | const AlphaInstrInfo *II; |
Evan Cheng | 55fc280 | 2006-07-25 20:40:54 +0000 | [diff] [blame] | 31 | TargetMachine &TM; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 32 | MachineCodeEmitter &MCE; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 33 | |
| 34 | /// getMachineOpValue - evaluates the MachineOperand of a given MachineInstr |
| 35 | /// |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 36 | unsigned getMachineOpValue(const MachineInstr &MI, |
| 37 | const MachineOperand &MO); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 38 | |
| 39 | public: |
Devang Patel | 1997473 | 2007-05-03 01:11:54 +0000 | [diff] [blame] | 40 | static char ID; |
Evan Cheng | 55fc280 | 2006-07-25 20:40:54 +0000 | [diff] [blame] | 41 | explicit AlphaCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce) |
Dan Gohman | ae73dc1 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 42 | : MachineFunctionPass(&ID), II(0), TM(tm), MCE(mce) {} |
Evan Cheng | 55fc280 | 2006-07-25 20:40:54 +0000 | [diff] [blame] | 43 | AlphaCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce, |
| 44 | const AlphaInstrInfo& ii) |
Dan Gohman | ae73dc1 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 45 | : MachineFunctionPass(&ID), II(&ii), TM(tm), MCE(mce) {} |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 46 | |
| 47 | bool runOnMachineFunction(MachineFunction &MF); |
| 48 | |
| 49 | virtual const char *getPassName() const { |
| 50 | return "Alpha Machine Code Emitter"; |
| 51 | } |
| 52 | |
| 53 | void emitInstruction(const MachineInstr &MI); |
| 54 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 55 | /// getBinaryCodeForInstr - This function, generated by the |
| 56 | /// CodeEmitterGenerator using TableGen, produces the binary encoding for |
| 57 | /// machine instructions. |
| 58 | /// |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 59 | unsigned getBinaryCodeForInstr(const MachineInstr &MI); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 60 | |
| 61 | private: |
| 62 | void emitBasicBlock(MachineBasicBlock &MBB); |
| 63 | |
| 64 | }; |
Devang Patel | 1997473 | 2007-05-03 01:11:54 +0000 | [diff] [blame] | 65 | char AlphaCodeEmitter::ID = 0; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 66 | } |
| 67 | |
| 68 | /// createAlphaCodeEmitterPass - Return a pass that emits the collected Alpha code |
| 69 | /// to the specified MCE object. |
Evan Cheng | 55fc280 | 2006-07-25 20:40:54 +0000 | [diff] [blame] | 70 | FunctionPass *llvm::createAlphaCodeEmitterPass(AlphaTargetMachine &TM, |
| 71 | MachineCodeEmitter &MCE) { |
| 72 | return new AlphaCodeEmitter(TM, MCE); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 73 | } |
| 74 | |
| 75 | bool AlphaCodeEmitter::runOnMachineFunction(MachineFunction &MF) { |
| 76 | II = ((AlphaTargetMachine&)MF.getTarget()).getInstrInfo(); |
| 77 | |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 78 | do { |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 79 | MCE.startFunction(MF); |
Chris Lattner | 43b429b | 2006-05-02 18:27:26 +0000 | [diff] [blame] | 80 | for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) |
| 81 | emitBasicBlock(*I); |
| 82 | } while (MCE.finishFunction(MF)); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 83 | |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 84 | return false; |
| 85 | } |
| 86 | |
| 87 | void AlphaCodeEmitter::emitBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | b4432f3 | 2006-05-03 17:10:41 +0000 | [diff] [blame] | 88 | MCE.StartMachineBasicBlock(&MBB); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 89 | for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); |
| 90 | I != E; ++I) { |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 91 | const MachineInstr &MI = *I; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 92 | switch(MI.getOpcode()) { |
| 93 | default: |
Chris Lattner | d3f0aef | 2006-05-02 19:14:47 +0000 | [diff] [blame] | 94 | MCE.emitWordLE(getBinaryCodeForInstr(*I)); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 95 | break; |
| 96 | case Alpha::ALTENT: |
| 97 | case Alpha::PCLABEL: |
| 98 | case Alpha::MEMLABEL: |
Evan Cheng | d183307 | 2008-03-17 06:56:52 +0000 | [diff] [blame] | 99 | case TargetInstrInfo::IMPLICIT_DEF: |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 100 | break; //skip these |
| 101 | } |
| 102 | } |
| 103 | } |
| 104 | |
| 105 | static unsigned getAlphaRegNumber(unsigned Reg) { |
| 106 | switch (Reg) { |
| 107 | case Alpha::R0 : case Alpha::F0 : return 0; |
| 108 | case Alpha::R1 : case Alpha::F1 : return 1; |
| 109 | case Alpha::R2 : case Alpha::F2 : return 2; |
| 110 | case Alpha::R3 : case Alpha::F3 : return 3; |
| 111 | case Alpha::R4 : case Alpha::F4 : return 4; |
| 112 | case Alpha::R5 : case Alpha::F5 : return 5; |
| 113 | case Alpha::R6 : case Alpha::F6 : return 6; |
| 114 | case Alpha::R7 : case Alpha::F7 : return 7; |
| 115 | case Alpha::R8 : case Alpha::F8 : return 8; |
| 116 | case Alpha::R9 : case Alpha::F9 : return 9; |
| 117 | case Alpha::R10 : case Alpha::F10 : return 10; |
| 118 | case Alpha::R11 : case Alpha::F11 : return 11; |
| 119 | case Alpha::R12 : case Alpha::F12 : return 12; |
| 120 | case Alpha::R13 : case Alpha::F13 : return 13; |
| 121 | case Alpha::R14 : case Alpha::F14 : return 14; |
| 122 | case Alpha::R15 : case Alpha::F15 : return 15; |
| 123 | case Alpha::R16 : case Alpha::F16 : return 16; |
| 124 | case Alpha::R17 : case Alpha::F17 : return 17; |
| 125 | case Alpha::R18 : case Alpha::F18 : return 18; |
| 126 | case Alpha::R19 : case Alpha::F19 : return 19; |
| 127 | case Alpha::R20 : case Alpha::F20 : return 20; |
| 128 | case Alpha::R21 : case Alpha::F21 : return 21; |
| 129 | case Alpha::R22 : case Alpha::F22 : return 22; |
| 130 | case Alpha::R23 : case Alpha::F23 : return 23; |
| 131 | case Alpha::R24 : case Alpha::F24 : return 24; |
| 132 | case Alpha::R25 : case Alpha::F25 : return 25; |
| 133 | case Alpha::R26 : case Alpha::F26 : return 26; |
| 134 | case Alpha::R27 : case Alpha::F27 : return 27; |
| 135 | case Alpha::R28 : case Alpha::F28 : return 28; |
| 136 | case Alpha::R29 : case Alpha::F29 : return 29; |
| 137 | case Alpha::R30 : case Alpha::F30 : return 30; |
| 138 | case Alpha::R31 : case Alpha::F31 : return 31; |
| 139 | default: |
| 140 | assert(0 && "Unhandled reg"); |
| 141 | abort(); |
| 142 | } |
| 143 | } |
| 144 | |
Evan Cheng | acff339 | 2008-09-02 06:51:36 +0000 | [diff] [blame] | 145 | unsigned AlphaCodeEmitter::getMachineOpValue(const MachineInstr &MI, |
| 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()) { |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 156 | DOUT << 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: |
| 192 | assert(0 && "unknown relocatable instruction"); |
| 193 | abort(); |
| 194 | } |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame^] | 195 | if (MO.isGlobal()) |
Chris Lattner | 5a032de | 2006-05-03 20:30:20 +0000 | [diff] [blame] | 196 | MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 197 | Reloc, MO.getGlobal(), Offset, |
Evan Cheng | 02aabbf | 2008-01-03 02:56:28 +0000 | [diff] [blame] | 198 | isa<Function>(MO.getGlobal()), |
| 199 | useGOT)); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame^] | 200 | else if (MO.isSymbol()) |
Chris Lattner | 5a032de | 2006-05-03 20:30:20 +0000 | [diff] [blame] | 201 | MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(), |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 202 | Reloc, MO.getSymbolName(), |
| 203 | Offset, true)); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 204 | else |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 205 | MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(), |
| 206 | Reloc, MO.getIndex(), Offset)); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame^] | 207 | } else if (MO.isMBB()) { |
Evan Cheng | f141cc4 | 2006-07-27 18:21:10 +0000 | [diff] [blame] | 208 | MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(), |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 209 | Alpha::reloc_bsr, MO.getMBB())); |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 210 | }else { |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 211 | cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n"; |
Andrew Lenharth | 0934ae0 | 2005-07-22 20:52:16 +0000 | [diff] [blame] | 212 | abort(); |
| 213 | } |
| 214 | |
| 215 | return rv; |
| 216 | } |
| 217 | |
| 218 | |
| 219 | #include "AlphaGenCodeEmitter.inc" |
| 220 | |