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 | 28249d9 | 2010-02-05 01:53:19 +0000 | [diff] [blame^] | 35 | static unsigned GetX86RegNum(const MCOperand &MO) { |
| 36 | return X86RegisterInfo::getX86RegNum(MO.getReg()); |
| 37 | } |
| 38 | |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 39 | void EmitByte(unsigned char C, raw_ostream &OS) const { |
| 40 | OS << (char)C; |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 41 | } |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 42 | |
Chris Lattner | 28249d9 | 2010-02-05 01:53:19 +0000 | [diff] [blame^] | 43 | void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const { |
| 44 | // Output the constant in little endian byte order. |
| 45 | for (unsigned i = 0; i != Size; ++i) { |
| 46 | EmitByte(Val & 255, OS); |
| 47 | Val >>= 8; |
| 48 | } |
| 49 | } |
| 50 | |
| 51 | inline static unsigned char ModRMByte(unsigned Mod, unsigned RegOpcode, |
| 52 | unsigned RM) { |
| 53 | assert(Mod < 4 && RegOpcode < 8 && RM < 8 && "ModRM Fields out of range!"); |
| 54 | return RM | (RegOpcode << 3) | (Mod << 6); |
| 55 | } |
| 56 | |
| 57 | void EmitRegModRMByte(const MCOperand &ModRMReg, unsigned RegOpcodeFld, |
| 58 | raw_ostream &OS) const { |
| 59 | EmitByte(ModRMByte(3, RegOpcodeFld, GetX86RegNum(ModRMReg)), OS); |
| 60 | } |
| 61 | |
| 62 | |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 63 | void EncodeInstruction(const MCInst &MI, raw_ostream &OS) const; |
| 64 | |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 65 | }; |
| 66 | |
| 67 | } // end anonymous namespace |
| 68 | |
| 69 | |
| 70 | MCCodeEmitter *llvm::createX86MCCodeEmitter(const Target &, |
| 71 | TargetMachine &TM) { |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 72 | return new X86MCCodeEmitter(TM); |
| 73 | } |
| 74 | |
| 75 | |
| 76 | |
| 77 | void X86MCCodeEmitter:: |
| 78 | EncodeInstruction(const MCInst &MI, raw_ostream &OS) const { |
| 79 | unsigned Opcode = MI.getOpcode(); |
| 80 | const TargetInstrDesc &Desc = TII.get(Opcode); |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 81 | unsigned TSFlags = Desc.TSFlags; |
| 82 | |
| 83 | // FIXME: We should emit the prefixes in exactly the same order as GAS does, |
| 84 | // in order to provide diffability. |
| 85 | |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 86 | // Emit the lock opcode prefix as needed. |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 87 | if (TSFlags & X86II::LOCK) |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 88 | EmitByte(0xF0, OS); |
| 89 | |
| 90 | // Emit segment override opcode prefix as needed. |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 91 | switch (TSFlags & X86II::SegOvrMask) { |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 92 | default: assert(0 && "Invalid segment!"); |
| 93 | case 0: break; // No segment override! |
| 94 | case X86II::FS: |
| 95 | EmitByte(0x64, OS); |
| 96 | break; |
| 97 | case X86II::GS: |
| 98 | EmitByte(0x65, OS); |
| 99 | break; |
| 100 | } |
| 101 | |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 102 | // Emit the repeat opcode prefix as needed. |
| 103 | if ((TSFlags & X86II::Op0Mask) == X86II::REP) |
| 104 | EmitByte(0xF3, OS); |
Chris Lattner | 92b1dfe | 2010-02-03 21:43:43 +0000 | [diff] [blame] | 105 | |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 106 | // Emit the operand size opcode prefix as needed. |
| 107 | if (TSFlags & X86II::OpSize) |
| 108 | EmitByte(0x66, OS); |
| 109 | |
| 110 | // Emit the address size opcode prefix as needed. |
| 111 | if (TSFlags & X86II::AdSize) |
| 112 | EmitByte(0x67, OS); |
| 113 | |
| 114 | bool Need0FPrefix = false; |
| 115 | switch (TSFlags & X86II::Op0Mask) { |
| 116 | default: assert(0 && "Invalid prefix!"); |
| 117 | case 0: break; // No prefix! |
| 118 | case X86II::REP: break; // already handled. |
| 119 | case X86II::TB: // Two-byte opcode prefix |
| 120 | case X86II::T8: // 0F 38 |
| 121 | case X86II::TA: // 0F 3A |
| 122 | Need0FPrefix = true; |
| 123 | break; |
| 124 | case X86II::TF: // F2 0F 38 |
| 125 | EmitByte(0xF2, OS); |
| 126 | Need0FPrefix = true; |
| 127 | break; |
| 128 | case X86II::XS: // F3 0F |
| 129 | EmitByte(0xF3, OS); |
| 130 | Need0FPrefix = true; |
| 131 | break; |
| 132 | case X86II::XD: // F2 0F |
| 133 | EmitByte(0xF2, OS); |
| 134 | Need0FPrefix = true; |
| 135 | break; |
| 136 | case X86II::D8: EmitByte(0xD8, OS); break; |
| 137 | case X86II::D9: EmitByte(0xD9, OS); break; |
| 138 | case X86II::DA: EmitByte(0xDA, OS); break; |
| 139 | case X86II::DB: EmitByte(0xDB, OS); break; |
| 140 | case X86II::DC: EmitByte(0xDC, OS); break; |
| 141 | case X86II::DD: EmitByte(0xDD, OS); break; |
| 142 | case X86II::DE: EmitByte(0xDE, OS); break; |
| 143 | case X86II::DF: EmitByte(0xDF, OS); break; |
| 144 | } |
| 145 | |
| 146 | // Handle REX prefix. |
| 147 | #if 0 // FIXME: Add in, also, can this come before F2 etc to simplify emission? |
| 148 | if (Is64BitMode) { |
| 149 | if (unsigned REX = X86InstrInfo::determineREX(MI)) |
| 150 | EmitByte(0x40 | REX, OS); |
| 151 | } |
| 152 | #endif |
| 153 | |
| 154 | // 0x0F escape code must be emitted just before the opcode. |
| 155 | if (Need0FPrefix) |
| 156 | EmitByte(0x0F, OS); |
| 157 | |
| 158 | // FIXME: Pull this up into previous switch if REX can be moved earlier. |
| 159 | switch (TSFlags & X86II::Op0Mask) { |
| 160 | case X86II::TF: // F2 0F 38 |
| 161 | case X86II::T8: // 0F 38 |
| 162 | EmitByte(0x38, OS); |
| 163 | break; |
| 164 | case X86II::TA: // 0F 3A |
| 165 | EmitByte(0x3A, OS); |
| 166 | break; |
| 167 | } |
| 168 | |
| 169 | // If this is a two-address instruction, skip one of the register operands. |
| 170 | unsigned NumOps = Desc.getNumOperands(); |
| 171 | unsigned CurOp = 0; |
| 172 | if (NumOps > 1 && Desc.getOperandConstraint(1, TOI::TIED_TO) != -1) |
| 173 | ++CurOp; |
| 174 | else if (NumOps > 2 && Desc.getOperandConstraint(NumOps-1, TOI::TIED_TO)== 0) |
| 175 | // Skip the last source operand that is tied_to the dest reg. e.g. LXADD32 |
| 176 | --NumOps; |
| 177 | |
| 178 | unsigned char BaseOpcode = X86InstrInfo::getBaseOpcodeFor(Desc); |
| 179 | switch (TSFlags & X86II::FormMask) { |
| 180 | default: assert(0 && "Unknown FormMask value in X86MCCodeEmitter!"); |
| 181 | case X86II::RawFrm: { |
| 182 | EmitByte(BaseOpcode, OS); |
| 183 | |
| 184 | if (CurOp == NumOps) |
| 185 | break; |
| 186 | |
Chris Lattner | 28249d9 | 2010-02-05 01:53:19 +0000 | [diff] [blame^] | 187 | assert(0 && "Unimpl RawFrm expr"); |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 188 | break; |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 189 | } |
Chris Lattner | 28249d9 | 2010-02-05 01:53:19 +0000 | [diff] [blame^] | 190 | |
| 191 | case X86II::AddRegFrm: { |
| 192 | EmitByte(BaseOpcode + GetX86RegNum(MI.getOperand(CurOp++)),OS); |
| 193 | if (CurOp == NumOps) |
| 194 | break; |
| 195 | |
| 196 | const MCOperand &MO1 = MI.getOperand(CurOp++); |
| 197 | if (MO1.isImm()) { |
| 198 | unsigned Size = X86InstrInfo::sizeOfImm(&Desc); |
| 199 | EmitConstant(MO1.getImm(), Size, OS); |
| 200 | break; |
| 201 | } |
| 202 | |
| 203 | assert(0 && "Unimpl AddRegFrm expr"); |
| 204 | break; |
Chris Lattner | 1e80f40 | 2010-02-03 21:57:59 +0000 | [diff] [blame] | 205 | } |
Chris Lattner | 28249d9 | 2010-02-05 01:53:19 +0000 | [diff] [blame^] | 206 | |
| 207 | case X86II::MRMDestReg: |
| 208 | EmitByte(BaseOpcode, OS); |
| 209 | EmitRegModRMByte(MI.getOperand(CurOp), |
| 210 | GetX86RegNum(MI.getOperand(CurOp+1)), OS); |
| 211 | CurOp += 2; |
| 212 | if (CurOp != NumOps) |
| 213 | EmitConstant(MI.getOperand(CurOp++).getImm(), |
| 214 | X86InstrInfo::sizeOfImm(&Desc), OS); |
| 215 | break; |
| 216 | } |
| 217 | |
| 218 | #ifndef NDEBUG |
| 219 | if (!Desc.isVariadic() && CurOp != NumOps) { |
| 220 | errs() << "Cannot encode all operands of: "; |
| 221 | MI.dump(); |
| 222 | errs() << '\n'; |
| 223 | abort(); |
| 224 | } |
| 225 | #endif |
Chris Lattner | 4576247 | 2010-02-03 21:24:49 +0000 | [diff] [blame] | 226 | } |