Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 1 | //===-- X86/X86MCCodeEmitter.cpp - Convert X86 code to machine code -------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements the X86MCCodeEmitter class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #define DEBUG_TYPE "x86-emitter" |
| 15 | #include "X86.h" |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 16 | #include "X86InstrInfo.h" |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MCCodeEmitter.h" |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCInst.h" |
| 19 | #include "llvm/Support/raw_ostream.h" |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 20 | using namespace llvm; |
| 21 | |
| 22 | namespace { |
| 23 | class X86MCCodeEmitter : public MCCodeEmitter { |
| 24 | X86MCCodeEmitter(const X86MCCodeEmitter &); // DO NOT IMPLEMENT |
| 25 | void operator=(const X86MCCodeEmitter &); // DO NOT IMPLEMENT |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 26 | const TargetMachine &TM; |
| 27 | const TargetInstrInfo &TII; |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 28 | public: |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 29 | X86MCCodeEmitter(TargetMachine &tm) |
| 30 | : TM(tm), TII(*TM.getInstrInfo()) { |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 31 | } |
| 32 | |
| 33 | ~X86MCCodeEmitter() {} |
| 34 | |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 35 | void EmitByte(unsigned char C, raw_ostream &OS) const { |
| 36 | OS << (char)C; |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 37 | } |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 38 | |
| 39 | void EncodeInstruction(const MCInst &MI, raw_ostream &OS) const; |
| 40 | |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 41 | }; |
| 42 | |
| 43 | } // end anonymous namespace |
| 44 | |
| 45 | |
| 46 | MCCodeEmitter *llvm::createX86MCCodeEmitter(const Target &, |
| 47 | TargetMachine &TM) { |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 48 | return new X86MCCodeEmitter(TM); |
| 49 | } |
| 50 | |
| 51 | |
| 52 | |
| 53 | void X86MCCodeEmitter:: |
| 54 | EncodeInstruction(const MCInst &MI, raw_ostream &OS) const { |
| 55 | unsigned Opcode = MI.getOpcode(); |
| 56 | const TargetInstrDesc &Desc = TII.get(Opcode); |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame^] | 57 | unsigned TSFlags = Desc.TSFlags; |
| 58 | |
| 59 | // FIXME: We should emit the prefixes in exactly the same order as GAS does, |
| 60 | // in order to provide diffability. |
| 61 | |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 62 | // Emit the lock opcode prefix as needed. |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame^] | 63 | if (TSFlags & X86II::LOCK) |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 64 | EmitByte(0xF0, OS); |
| 65 | |
| 66 | // Emit segment override opcode prefix as needed. |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame^] | 67 | switch (TSFlags & X86II::SegOvrMask) { |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 68 | default: assert(0 && "Invalid segment!"); |
| 69 | case 0: break; // No segment override! |
| 70 | case X86II::FS: |
| 71 | EmitByte(0x64, OS); |
| 72 | break; |
| 73 | case X86II::GS: |
| 74 | EmitByte(0x65, OS); |
| 75 | break; |
| 76 | } |
| 77 | |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame^] | 78 | // Emit the repeat opcode prefix as needed. |
| 79 | if ((TSFlags & X86II::Op0Mask) == X86II::REP) |
| 80 | EmitByte(0xF3, OS); |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 81 | |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame^] | 82 | // Emit the operand size opcode prefix as needed. |
| 83 | if (TSFlags & X86II::OpSize) |
| 84 | EmitByte(0x66, OS); |
| 85 | |
| 86 | // Emit the address size opcode prefix as needed. |
| 87 | if (TSFlags & X86II::AdSize) |
| 88 | EmitByte(0x67, OS); |
| 89 | |
| 90 | bool Need0FPrefix = false; |
| 91 | switch (TSFlags & X86II::Op0Mask) { |
| 92 | default: assert(0 && "Invalid prefix!"); |
| 93 | case 0: break; // No prefix! |
| 94 | case X86II::REP: break; // already handled. |
| 95 | case X86II::TB: // Two-byte opcode prefix |
| 96 | case X86II::T8: // 0F 38 |
| 97 | case X86II::TA: // 0F 3A |
| 98 | Need0FPrefix = true; |
| 99 | break; |
| 100 | case X86II::TF: // F2 0F 38 |
| 101 | EmitByte(0xF2, OS); |
| 102 | Need0FPrefix = true; |
| 103 | break; |
| 104 | case X86II::XS: // F3 0F |
| 105 | EmitByte(0xF3, OS); |
| 106 | Need0FPrefix = true; |
| 107 | break; |
| 108 | case X86II::XD: // F2 0F |
| 109 | EmitByte(0xF2, OS); |
| 110 | Need0FPrefix = true; |
| 111 | break; |
| 112 | case X86II::D8: EmitByte(0xD8, OS); break; |
| 113 | case X86II::D9: EmitByte(0xD9, OS); break; |
| 114 | case X86II::DA: EmitByte(0xDA, OS); break; |
| 115 | case X86II::DB: EmitByte(0xDB, OS); break; |
| 116 | case X86II::DC: EmitByte(0xDC, OS); break; |
| 117 | case X86II::DD: EmitByte(0xDD, OS); break; |
| 118 | case X86II::DE: EmitByte(0xDE, OS); break; |
| 119 | case X86II::DF: EmitByte(0xDF, OS); break; |
| 120 | } |
| 121 | |
| 122 | // Handle REX prefix. |
| 123 | #if 0 // FIXME: Add in, also, can this come before F2 etc to simplify emission? |
| 124 | if (Is64BitMode) { |
| 125 | if (unsigned REX = X86InstrInfo::determineREX(MI)) |
| 126 | EmitByte(0x40 | REX, OS); |
| 127 | } |
| 128 | #endif |
| 129 | |
| 130 | // 0x0F escape code must be emitted just before the opcode. |
| 131 | if (Need0FPrefix) |
| 132 | EmitByte(0x0F, OS); |
| 133 | |
| 134 | // FIXME: Pull this up into previous switch if REX can be moved earlier. |
| 135 | switch (TSFlags & X86II::Op0Mask) { |
| 136 | case X86II::TF: // F2 0F 38 |
| 137 | case X86II::T8: // 0F 38 |
| 138 | EmitByte(0x38, OS); |
| 139 | break; |
| 140 | case X86II::TA: // 0F 3A |
| 141 | EmitByte(0x3A, OS); |
| 142 | break; |
| 143 | } |
| 144 | |
| 145 | // If this is a two-address instruction, skip one of the register operands. |
| 146 | unsigned NumOps = Desc.getNumOperands(); |
| 147 | unsigned CurOp = 0; |
| 148 | if (NumOps > 1 && Desc.getOperandConstraint(1, TOI::TIED_TO) != -1) |
| 149 | ++CurOp; |
| 150 | else if (NumOps > 2 && Desc.getOperandConstraint(NumOps-1, TOI::TIED_TO)== 0) |
| 151 | // Skip the last source operand that is tied_to the dest reg. e.g. LXADD32 |
| 152 | --NumOps; |
| 153 | |
| 154 | unsigned char BaseOpcode = X86InstrInfo::getBaseOpcodeFor(Desc); |
| 155 | switch (TSFlags & X86II::FormMask) { |
| 156 | default: assert(0 && "Unknown FormMask value in X86MCCodeEmitter!"); |
| 157 | case X86II::RawFrm: { |
| 158 | EmitByte(BaseOpcode, OS); |
| 159 | |
| 160 | if (CurOp == NumOps) |
| 161 | break; |
| 162 | |
| 163 | assert(0 && "Unimpl"); |
| 164 | #if 0 |
| 165 | const MachineOperand &MO = MI.getOperand(CurOp++); |
| 166 | |
| 167 | DEBUG(dbgs() << "RawFrm CurOp " << CurOp << "\n"); |
| 168 | DEBUG(dbgs() << "isMBB " << MO.isMBB() << "\n"); |
| 169 | DEBUG(dbgs() << "isGlobal " << MO.isGlobal() << "\n"); |
| 170 | DEBUG(dbgs() << "isSymbol " << MO.isSymbol() << "\n"); |
| 171 | DEBUG(dbgs() << "isImm " << MO.isImm() << "\n"); |
| 172 | |
| 173 | if (MO.isMBB()) { |
| 174 | emitPCRelativeBlockAddress(MO.getMBB()); |
| 175 | break; |
| 176 | } |
| 177 | |
| 178 | if (MO.isGlobal()) { |
| 179 | emitGlobalAddress(MO.getGlobal(), X86::reloc_pcrel_word, |
| 180 | MO.getOffset(), 0); |
| 181 | break; |
| 182 | } |
| 183 | |
| 184 | if (MO.isSymbol()) { |
| 185 | emitExternalSymbolAddress(MO.getSymbolName(), X86::reloc_pcrel_word); |
| 186 | break; |
| 187 | } |
| 188 | |
| 189 | assert(MO.isImm() && "Unknown RawFrm operand!"); |
| 190 | if (Opcode == X86::CALLpcrel32 || Opcode == X86::CALL64pcrel32) { |
| 191 | // Fix up immediate operand for pc relative calls. |
| 192 | intptr_t Imm = (intptr_t)MO.getImm(); |
| 193 | Imm = Imm - MCE.getCurrentPCValue() - 4; |
| 194 | emitConstant(Imm, X86InstrInfo::sizeOfImm(Desc)); |
| 195 | } else |
| 196 | emitConstant(MO.getImm(), X86InstrInfo::sizeOfImm(Desc)); |
| 197 | break; |
| 198 | #endif |
| 199 | } |
| 200 | } |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 201 | } |