blob: f5371db9e77a3a8e5f5b6e1ba4b17da0ee41147c [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- X86MCCodeEmitter.cpp - Convert X86 code to machine code -----------===//
Chris Lattnerf914be02010-02-03 21:24:49 +00002//
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
Evan Cheng7e763d82011-07-25 18:43:53 +000014#include "MCTargetDesc/X86BaseInfo.h"
15#include "MCTargetDesc/X86FixupKinds.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000016#include "MCTargetDesc/X86MCTargetDesc.h"
17#include "llvm/ADT/SmallVector.h"
Chris Lattnerf914be02010-02-03 21:24:49 +000018#include "llvm/MC/MCCodeEmitter.h"
Michael Liaof54249b2012-10-04 19:50:43 +000019#include "llvm/MC/MCContext.h"
Chris Lattner1e827fd2010-02-12 23:24:09 +000020#include "llvm/MC/MCExpr.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000021#include "llvm/MC/MCFixup.h"
Chris Lattner6794f9b2010-02-03 21:43:43 +000022#include "llvm/MC/MCInst.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000023#include "llvm/MC/MCInstrDesc.h"
Evan Cheng7e763d82011-07-25 18:43:53 +000024#include "llvm/MC/MCInstrInfo.h"
25#include "llvm/MC/MCRegisterInfo.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000026#include "llvm/MC/MCSubtargetInfo.h"
Rafael Espindola89f66132010-10-20 16:46:08 +000027#include "llvm/MC/MCSymbol.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000028#include "llvm/Support/ErrorHandling.h"
Chris Lattner6794f9b2010-02-03 21:43:43 +000029#include "llvm/Support/raw_ostream.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000030#include <cassert>
31#include <cstdint>
32#include <cstdlib>
Evan Chengc5e6d2f2011-07-11 03:57:24 +000033
Chris Lattnerf914be02010-02-03 21:24:49 +000034using namespace llvm;
35
Chandler Carruth84e68b22014-04-22 02:41:26 +000036#define DEBUG_TYPE "mccodeemitter"
37
Chris Lattnerf914be02010-02-03 21:24:49 +000038namespace {
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000039
Chris Lattnerf914be02010-02-03 21:24:49 +000040class X86MCCodeEmitter : public MCCodeEmitter {
Evan Chengc5e6d2f2011-07-11 03:57:24 +000041 const MCInstrInfo &MCII;
Chris Lattner1e827fd2010-02-12 23:24:09 +000042 MCContext &Ctx;
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000043
Chris Lattnerf914be02010-02-03 21:24:49 +000044public:
David Woodhoused2cca112014-01-28 23:13:25 +000045 X86MCCodeEmitter(const MCInstrInfo &mcii, MCContext &ctx)
46 : MCII(mcii), Ctx(ctx) {
Chris Lattnerf914be02010-02-03 21:24:49 +000047 }
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000048 X86MCCodeEmitter(const X86MCCodeEmitter &) = delete;
49 X86MCCodeEmitter &operator=(const X86MCCodeEmitter &) = delete;
50 ~X86MCCodeEmitter() override = default;
Daniel Dunbarb311a6b2010-02-09 22:59:55 +000051
David Woodhoused2cca112014-01-28 23:13:25 +000052 bool is64BitMode(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000053 return STI.getFeatureBits()[X86::Mode64Bit];
Evan Chengc5e6d2f2011-07-11 03:57:24 +000054 }
55
David Woodhoused2cca112014-01-28 23:13:25 +000056 bool is32BitMode(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000057 return STI.getFeatureBits()[X86::Mode32Bit];
Craig Topper3c80d622014-01-06 04:55:54 +000058 }
59
David Woodhoused2cca112014-01-28 23:13:25 +000060 bool is16BitMode(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000061 return STI.getFeatureBits()[X86::Mode16Bit];
Joerg Sonnenberger5463e662012-03-21 05:48:07 +000062 }
63
David Woodhouse374243a2014-01-08 12:58:18 +000064 /// Is16BitMemOperand - Return true if the specified instruction has
65 /// a 16-bit memory operand. Op specifies the operand # of the memoperand.
David Woodhoused2cca112014-01-28 23:13:25 +000066 bool Is16BitMemOperand(const MCInst &MI, unsigned Op,
67 const MCSubtargetInfo &STI) const {
David Woodhouse374243a2014-01-08 12:58:18 +000068 const MCOperand &BaseReg = MI.getOperand(Op+X86::AddrBaseReg);
69 const MCOperand &IndexReg = MI.getOperand(Op+X86::AddrIndexReg);
70 const MCOperand &Disp = MI.getOperand(Op+X86::AddrDisp);
71
David Woodhoused2cca112014-01-28 23:13:25 +000072 if (is16BitMode(STI) && BaseReg.getReg() == 0 &&
David Woodhouse374243a2014-01-08 12:58:18 +000073 Disp.isImm() && Disp.getImm() < 0x10000)
74 return true;
75 if ((BaseReg.getReg() != 0 &&
76 X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg.getReg())) ||
77 (IndexReg.getReg() != 0 &&
78 X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg.getReg())))
79 return true;
80 return false;
81 }
82
Michael Liaof54249b2012-10-04 19:50:43 +000083 unsigned GetX86RegNum(const MCOperand &MO) const {
Bill Wendlingbc07a892013-06-18 07:20:20 +000084 return Ctx.getRegisterInfo()->getEncodingValue(MO.getReg()) & 0x7;
Chris Lattner4f627ba2010-02-05 01:53:19 +000085 }
Bruno Cardoso Lopes2e2caef2010-06-30 01:58:37 +000086
Craig Topper581c0082016-03-06 08:12:47 +000087 unsigned getX86RegEncoding(const MCInst &MI, unsigned OpNum) const {
88 return Ctx.getRegisterInfo()->getEncodingValue(
89 MI.getOperand(OpNum).getReg());
Craig Toppera2674312016-03-02 06:06:18 +000090 }
91
Craig Topper6943aa32016-08-27 17:13:43 +000092 // Does this register require a bit to be set in REX prefix.
93 bool isREXExtendedReg(const MCInst &MI, unsigned OpNum) const {
Craig Topper581c0082016-03-06 08:12:47 +000094 return (getX86RegEncoding(MI, OpNum) >> 3) & 1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +000095 }
96
Craig Topper5e038cf2016-03-06 08:12:42 +000097 void EmitByte(uint8_t C, unsigned &CurByte, raw_ostream &OS) const {
Chris Lattner6794f9b2010-02-03 21:43:43 +000098 OS << (char)C;
Chris Lattnerf58d0072010-02-10 06:41:02 +000099 ++CurByte;
Chris Lattnerf914be02010-02-03 21:24:49 +0000100 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000101
Chris Lattnerf58d0072010-02-10 06:41:02 +0000102 void EmitConstant(uint64_t Val, unsigned Size, unsigned &CurByte,
103 raw_ostream &OS) const {
Chris Lattner4f627ba2010-02-05 01:53:19 +0000104 // Output the constant in little endian byte order.
105 for (unsigned i = 0; i != Size; ++i) {
Chris Lattnerf58d0072010-02-10 06:41:02 +0000106 EmitByte(Val & 255, CurByte, OS);
Chris Lattner4f627ba2010-02-05 01:53:19 +0000107 Val >>= 8;
108 }
109 }
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000110
Jim Grosbach8f28dbd2012-01-27 00:51:27 +0000111 void EmitImmediate(const MCOperand &Disp, SMLoc Loc,
Chris Lattner0055e752010-02-12 22:36:47 +0000112 unsigned ImmSize, MCFixupKind FixupKind,
Chris Lattner167842f2010-02-11 06:54:23 +0000113 unsigned &CurByte, raw_ostream &OS,
Chris Lattner4ad96052010-02-12 23:00:36 +0000114 SmallVectorImpl<MCFixup> &Fixups,
115 int ImmOffset = 0) const;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000116
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000117 static uint8_t ModRMByte(unsigned Mod, unsigned RegOpcode, unsigned RM) {
Chris Lattner4f627ba2010-02-05 01:53:19 +0000118 assert(Mod < 4 && RegOpcode < 8 && RM < 8 && "ModRM Fields out of range!");
119 return RM | (RegOpcode << 3) | (Mod << 6);
120 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000121
Chris Lattner4f627ba2010-02-05 01:53:19 +0000122 void EmitRegModRMByte(const MCOperand &ModRMReg, unsigned RegOpcodeFld,
Chris Lattnerf58d0072010-02-10 06:41:02 +0000123 unsigned &CurByte, raw_ostream &OS) const {
124 EmitByte(ModRMByte(3, RegOpcodeFld, GetX86RegNum(ModRMReg)), CurByte, OS);
Chris Lattner4f627ba2010-02-05 01:53:19 +0000125 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000126
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000127 void EmitSIBByte(unsigned SS, unsigned Index, unsigned Base,
Chris Lattnerf58d0072010-02-10 06:41:02 +0000128 unsigned &CurByte, raw_ostream &OS) const {
129 // SIB byte is in the same format as the ModRMByte.
130 EmitByte(ModRMByte(SS, Index, Base), CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000131 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000132
Rafael Espindola52bd3302016-05-28 15:51:38 +0000133 void emitMemModRMByte(const MCInst &MI, unsigned Op, unsigned RegOpcodeField,
134 uint64_t TSFlags, bool Rex, unsigned &CurByte,
135 raw_ostream &OS, SmallVectorImpl<MCFixup> &Fixups,
David Woodhoused2cca112014-01-28 23:13:25 +0000136 const MCSubtargetInfo &STI) const;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000137
Jim Grosbach91df21f2015-05-15 19:13:16 +0000138 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000139 SmallVectorImpl<MCFixup> &Fixups,
Craig Topper39012cc2014-03-09 18:03:14 +0000140 const MCSubtargetInfo &STI) const override;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000141
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +0000142 void EmitVEXOpcodePrefix(uint64_t TSFlags, unsigned &CurByte, int MemOperand,
Evan Cheng6cc775f2011-06-28 19:10:37 +0000143 const MCInst &MI, const MCInstrDesc &Desc,
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000144 raw_ostream &OS) const;
145
Craig Topper35da3d12014-01-16 07:36:58 +0000146 void EmitSegmentOverridePrefix(unsigned &CurByte, unsigned SegOperand,
147 const MCInst &MI, raw_ostream &OS) const;
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +0000148
Rafael Espindola52bd3302016-05-28 15:51:38 +0000149 bool emitOpcodePrefix(uint64_t TSFlags, unsigned &CurByte, int MemOperand,
Evan Cheng6cc775f2011-06-28 19:10:37 +0000150 const MCInst &MI, const MCInstrDesc &Desc,
Rafael Espindola52bd3302016-05-28 15:51:38 +0000151 const MCSubtargetInfo &STI, raw_ostream &OS) const;
Craig Topper581c0082016-03-06 08:12:47 +0000152
153 uint8_t DetermineREXPrefix(const MCInst &MI, uint64_t TSFlags,
154 int MemOperand, const MCInstrDesc &Desc) const;
George Rimarda4f43a42018-02-20 10:17:57 +0000155
156 bool isPCRel32Branch(const MCInst &MI) const;
Chris Lattnerf914be02010-02-03 21:24:49 +0000157};
158
159} // end anonymous namespace
160
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000161/// isDisp8 - Return true if this signed displacement fits in a 8-bit
162/// sign-extended field.
Chris Lattner610c84a2010-02-05 02:18:40 +0000163static bool isDisp8(int Value) {
Craig Topper5e038cf2016-03-06 08:12:42 +0000164 return Value == (int8_t)Value;
Chris Lattner610c84a2010-02-05 02:18:40 +0000165}
166
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000167/// isCDisp8 - Return true if this signed displacement fits in a 8-bit
168/// compressed dispacement field.
169static bool isCDisp8(uint64_t TSFlags, int Value, int& CValue) {
Craig Topperf655cdd2014-11-11 07:32:32 +0000170 assert(((TSFlags & X86II::EncodingMask) == X86II::EVEX) &&
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000171 "Compressed 8-bit displacement is only valid for EVEX inst.");
172
Adam Nemet54adb0f2014-07-17 17:04:50 +0000173 unsigned CD8_Scale =
Craig Topperf655cdd2014-11-11 07:32:32 +0000174 (TSFlags & X86II::CD8_Scale_Mask) >> X86II::CD8_Scale_Shift;
Adam Nemet54adb0f2014-07-17 17:04:50 +0000175 if (CD8_Scale == 0) {
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000176 CValue = Value;
177 return isDisp8(Value);
178 }
Adam Nemete311c3c2014-07-11 05:23:12 +0000179
Adam Nemet54adb0f2014-07-17 17:04:50 +0000180 unsigned Mask = CD8_Scale - 1;
181 assert((CD8_Scale & Mask) == 0 && "Invalid memory object size.");
182 if (Value & Mask) // Unaligned offset
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000183 return false;
Adam Nemet54adb0f2014-07-17 17:04:50 +0000184 Value /= (int)CD8_Scale;
Craig Topper5e038cf2016-03-06 08:12:42 +0000185 bool Ret = (Value == (int8_t)Value);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000186
187 if (Ret)
188 CValue = Value;
189 return Ret;
190}
191
Chris Lattner0055e752010-02-12 22:36:47 +0000192/// getImmFixupKind - Return the appropriate fixup kind to use for an immediate
193/// in an instruction with the specified TSFlags.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000194static MCFixupKind getImmFixupKind(uint64_t TSFlags) {
Chris Lattner0055e752010-02-12 22:36:47 +0000195 unsigned Size = X86II::getSizeOfImm(TSFlags);
196 bool isPCRel = X86II::isImmPCRel(TSFlags);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000197
David Woodhouse0b6c9492014-01-30 22:20:41 +0000198 if (X86II::isImmSigned(TSFlags)) {
199 switch (Size) {
200 default: llvm_unreachable("Unsupported signed fixup size!");
201 case 4: return MCFixupKind(X86::reloc_signed_4byte);
202 }
203 }
Rafael Espindola8a3a7922010-11-28 14:17:56 +0000204 return MCFixup::getKindForSize(Size, isPCRel);
Chris Lattner0055e752010-02-12 22:36:47 +0000205}
206
Joerg Sonnenberger5463e662012-03-21 05:48:07 +0000207/// Is32BitMemOperand - Return true if the specified instruction has
208/// a 32-bit memory operand. Op specifies the operand # of the memoperand.
Chris Lattnera4e1c742010-09-29 03:33:25 +0000209static bool Is32BitMemOperand(const MCInst &MI, unsigned Op) {
210 const MCOperand &BaseReg = MI.getOperand(Op+X86::AddrBaseReg);
211 const MCOperand &IndexReg = MI.getOperand(Op+X86::AddrIndexReg);
Bruno Cardoso Lopes60aa85b2011-09-20 21:45:26 +0000212
Evan Cheng7e763d82011-07-25 18:43:53 +0000213 if ((BaseReg.getReg() != 0 &&
214 X86MCRegisterClasses[X86::GR32RegClassID].contains(BaseReg.getReg())) ||
215 (IndexReg.getReg() != 0 &&
216 X86MCRegisterClasses[X86::GR32RegClassID].contains(IndexReg.getReg())))
Chris Lattnera4e1c742010-09-29 03:33:25 +0000217 return true;
Derek Schuffc6d8fd32016-02-02 17:20:04 +0000218 if (BaseReg.getReg() == X86::EIP) {
219 assert(IndexReg.getReg() == 0 && "Invalid eip-based address.");
220 return true;
221 }
Craig Topperd8d64a52018-06-23 06:15:04 +0000222 if (IndexReg.getReg() == X86::EIZ)
223 return true;
Chris Lattnera4e1c742010-09-29 03:33:25 +0000224 return false;
225}
Chris Lattner0055e752010-02-12 22:36:47 +0000226
Joerg Sonnenberger5463e662012-03-21 05:48:07 +0000227/// Is64BitMemOperand - Return true if the specified instruction has
228/// a 64-bit memory operand. Op specifies the operand # of the memoperand.
Joerg Sonnenbergera29b5bd2012-03-21 14:09:26 +0000229#ifndef NDEBUG
Joerg Sonnenberger5463e662012-03-21 05:48:07 +0000230static bool Is64BitMemOperand(const MCInst &MI, unsigned Op) {
231 const MCOperand &BaseReg = MI.getOperand(Op+X86::AddrBaseReg);
232 const MCOperand &IndexReg = MI.getOperand(Op+X86::AddrIndexReg);
233
234 if ((BaseReg.getReg() != 0 &&
235 X86MCRegisterClasses[X86::GR64RegClassID].contains(BaseReg.getReg())) ||
236 (IndexReg.getReg() != 0 &&
237 X86MCRegisterClasses[X86::GR64RegClassID].contains(IndexReg.getReg())))
238 return true;
239 return false;
240}
Joerg Sonnenbergera29b5bd2012-03-21 14:09:26 +0000241#endif
Joerg Sonnenberger5463e662012-03-21 05:48:07 +0000242
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000243/// StartsWithGlobalOffsetTable - Check if this expression starts with
244/// _GLOBAL_OFFSET_TABLE_ and if it is of the form
245/// _GLOBAL_OFFSET_TABLE_-symbol. This is needed to support PIC on ELF
246/// i386 as _GLOBAL_OFFSET_TABLE_ is magical. We check only simple case that
Rafael Espindola89f66132010-10-20 16:46:08 +0000247/// are know to be used: _GLOBAL_OFFSET_TABLE_ by itself or at the start
248/// of a binary expression.
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000249enum GlobalOffsetTableExprKind {
250 GOT_None,
251 GOT_Normal,
252 GOT_SymDiff
253};
254static GlobalOffsetTableExprKind
255StartsWithGlobalOffsetTable(const MCExpr *Expr) {
Craig Topper062a2ba2014-04-25 05:30:21 +0000256 const MCExpr *RHS = nullptr;
Rafael Espindola89f66132010-10-20 16:46:08 +0000257 if (Expr->getKind() == MCExpr::Binary) {
258 const MCBinaryExpr *BE = static_cast<const MCBinaryExpr *>(Expr);
259 Expr = BE->getLHS();
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000260 RHS = BE->getRHS();
Rafael Espindola89f66132010-10-20 16:46:08 +0000261 }
262
263 if (Expr->getKind() != MCExpr::SymbolRef)
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000264 return GOT_None;
Rafael Espindola89f66132010-10-20 16:46:08 +0000265
266 const MCSymbolRefExpr *Ref = static_cast<const MCSymbolRefExpr*>(Expr);
267 const MCSymbol &S = Ref->getSymbol();
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000268 if (S.getName() != "_GLOBAL_OFFSET_TABLE_")
269 return GOT_None;
270 if (RHS && RHS->getKind() == MCExpr::SymbolRef)
271 return GOT_SymDiff;
272 return GOT_Normal;
Rafael Espindola89f66132010-10-20 16:46:08 +0000273}
274
Rafael Espindolab770f892013-04-25 19:27:05 +0000275static bool HasSecRelSymbolRef(const MCExpr *Expr) {
276 if (Expr->getKind() == MCExpr::SymbolRef) {
277 const MCSymbolRefExpr *Ref = static_cast<const MCSymbolRefExpr*>(Expr);
278 return Ref->getKind() == MCSymbolRefExpr::VK_SECREL;
279 }
280 return false;
281}
282
George Rimarda4f43a42018-02-20 10:17:57 +0000283bool X86MCCodeEmitter::isPCRel32Branch(const MCInst &MI) const {
284 unsigned Opcode = MI.getOpcode();
285 const MCInstrDesc &Desc = MCII.get(Opcode);
286 if ((Opcode != X86::CALL64pcrel32 && Opcode != X86::JMP_4) ||
287 getImmFixupKind(Desc.TSFlags) != FK_PCRel_4)
288 return false;
289
290 unsigned CurOp = X86II::getOperandBias(Desc);
291 const MCOperand &Op = MI.getOperand(CurOp);
292 if (!Op.isExpr())
293 return false;
294
295 const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(Op.getExpr());
296 return Ref && Ref->getKind() == MCSymbolRefExpr::VK_None;
297}
298
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000299void X86MCCodeEmitter::
Jim Grosbach8f28dbd2012-01-27 00:51:27 +0000300EmitImmediate(const MCOperand &DispOp, SMLoc Loc, unsigned Size,
301 MCFixupKind FixupKind, unsigned &CurByte, raw_ostream &OS,
Chris Lattner4ad96052010-02-12 23:00:36 +0000302 SmallVectorImpl<MCFixup> &Fixups, int ImmOffset) const {
Craig Topper062a2ba2014-04-25 05:30:21 +0000303 const MCExpr *Expr = nullptr;
Chris Lattnera725d782010-02-10 06:30:00 +0000304 if (DispOp.isImm()) {
Bruno Cardoso Lopes05f3f492011-09-20 21:39:06 +0000305 // If this is a simple integer displacement that doesn't require a
306 // relocation, emit it now.
Rafael Espindola8a3a7922010-11-28 14:17:56 +0000307 if (FixupKind != FK_PCRel_1 &&
Bruno Cardoso Lopes05f3f492011-09-20 21:39:06 +0000308 FixupKind != FK_PCRel_2 &&
Bruno Cardoso Lopes60aa85b2011-09-20 21:45:26 +0000309 FixupKind != FK_PCRel_4) {
Rafael Espindola3c7cab12010-11-23 07:20:12 +0000310 EmitConstant(DispOp.getImm()+ImmOffset, Size, CurByte, OS);
311 return;
312 }
Jim Grosbach13760bd2015-05-30 01:25:56 +0000313 Expr = MCConstantExpr::create(DispOp.getImm(), Ctx);
Rafael Espindola3c7cab12010-11-23 07:20:12 +0000314 } else {
315 Expr = DispOp.getExpr();
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000316 }
Chris Lattnerf58d0072010-02-10 06:41:02 +0000317
Chris Lattner4ad96052010-02-12 23:00:36 +0000318 // If we have an immoffset, add it to the expression.
Eli Friedmanae60b6b2011-07-20 19:36:11 +0000319 if ((FixupKind == FK_Data_4 ||
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000320 FixupKind == FK_Data_8 ||
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000321 FixupKind == MCFixupKind(X86::reloc_signed_4byte))) {
322 GlobalOffsetTableExprKind Kind = StartsWithGlobalOffsetTable(Expr);
323 if (Kind != GOT_None) {
324 assert(ImmOffset == 0);
Rafael Espindola800fd352010-10-24 17:35:42 +0000325
Rafael Espindola6c76d1d2014-04-21 21:15:45 +0000326 if (Size == 8) {
327 FixupKind = MCFixupKind(X86::reloc_global_offset_table8);
328 } else {
329 assert(Size == 4);
330 FixupKind = MCFixupKind(X86::reloc_global_offset_table);
331 }
332
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000333 if (Kind == GOT_Normal)
334 ImmOffset = CurByte;
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000335 } else if (Expr->getKind() == MCExpr::SymbolRef) {
Rafael Espindolab770f892013-04-25 19:27:05 +0000336 if (HasSecRelSymbolRef(Expr)) {
337 FixupKind = MCFixupKind(FK_SecRel_4);
338 }
339 } else if (Expr->getKind() == MCExpr::Binary) {
340 const MCBinaryExpr *Bin = static_cast<const MCBinaryExpr*>(Expr);
341 if (HasSecRelSymbolRef(Bin->getLHS())
342 || HasSecRelSymbolRef(Bin->getRHS())) {
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000343 FixupKind = MCFixupKind(FK_SecRel_4);
344 }
Rafael Espindolac7f355b2011-12-10 02:28:43 +0000345 }
Rafael Espindola89f66132010-10-20 16:46:08 +0000346 }
347
Chris Lattner4964ef82010-02-16 05:03:17 +0000348 // If the fixup is pc-relative, we need to bias the value to be relative to
349 // the start of the field, not the end of the field.
Rafael Espindola8a3a7922010-11-28 14:17:56 +0000350 if (FixupKind == FK_PCRel_4 ||
Daniel Dunbar2ca11082010-03-18 21:53:54 +0000351 FixupKind == MCFixupKind(X86::reloc_riprel_4byte) ||
Rafael Espindola52bd3302016-05-28 15:51:38 +0000352 FixupKind == MCFixupKind(X86::reloc_riprel_4byte_movq_load) ||
353 FixupKind == MCFixupKind(X86::reloc_riprel_4byte_relax) ||
George Rimarda4f43a42018-02-20 10:17:57 +0000354 FixupKind == MCFixupKind(X86::reloc_riprel_4byte_relax_rex) ||
Fangrui Songf72cdb52018-06-12 16:20:44 +0000355 FixupKind == MCFixupKind(X86::reloc_branch_4byte_pcrel)) {
Chris Lattner4964ef82010-02-16 05:03:17 +0000356 ImmOffset -= 4;
Fangrui Songf72cdb52018-06-12 16:20:44 +0000357 // If this is a pc-relative load off _GLOBAL_OFFSET_TABLE_:
358 // leaq _GLOBAL_OFFSET_TABLE_(%rip), %r15
359 // this needs to be a GOTPC32 relocation.
360 if (StartsWithGlobalOffsetTable(Expr) != GOT_None)
361 FixupKind = MCFixupKind(X86::reloc_global_offset_table);
362 }
Rafael Espindola8a3a7922010-11-28 14:17:56 +0000363 if (FixupKind == FK_PCRel_2)
Chris Lattner05ea2a42010-07-07 22:35:13 +0000364 ImmOffset -= 2;
Rafael Espindola8a3a7922010-11-28 14:17:56 +0000365 if (FixupKind == FK_PCRel_1)
Chris Lattner4964ef82010-02-16 05:03:17 +0000366 ImmOffset -= 1;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000367
Chris Lattner1e827fd2010-02-12 23:24:09 +0000368 if (ImmOffset)
Jim Grosbach13760bd2015-05-30 01:25:56 +0000369 Expr = MCBinaryExpr::createAdd(Expr, MCConstantExpr::create(ImmOffset, Ctx),
Chris Lattner1e827fd2010-02-12 23:24:09 +0000370 Ctx);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000371
Chris Lattnerde03bd02010-02-10 06:52:12 +0000372 // Emit a symbolic constant as a fixup and 4 zeros.
Jim Grosbach63661f82015-05-15 19:13:05 +0000373 Fixups.push_back(MCFixup::create(CurByte, Expr, FixupKind, Loc));
Chris Lattner167842f2010-02-11 06:54:23 +0000374 EmitConstant(0, Size, CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000375}
376
Rafael Espindola52bd3302016-05-28 15:51:38 +0000377void X86MCCodeEmitter::emitMemModRMByte(const MCInst &MI, unsigned Op,
Chris Lattner610c84a2010-02-05 02:18:40 +0000378 unsigned RegOpcodeField,
Rafael Espindola52bd3302016-05-28 15:51:38 +0000379 uint64_t TSFlags, bool Rex,
380 unsigned &CurByte, raw_ostream &OS,
David Woodhoused2cca112014-01-28 23:13:25 +0000381 SmallVectorImpl<MCFixup> &Fixups,
Rafael Espindola52bd3302016-05-28 15:51:38 +0000382 const MCSubtargetInfo &STI) const {
Chris Lattnera4e1c742010-09-29 03:33:25 +0000383 const MCOperand &Disp = MI.getOperand(Op+X86::AddrDisp);
384 const MCOperand &Base = MI.getOperand(Op+X86::AddrBaseReg);
385 const MCOperand &Scale = MI.getOperand(Op+X86::AddrScaleAmt);
386 const MCOperand &IndexReg = MI.getOperand(Op+X86::AddrIndexReg);
Chris Lattner610c84a2010-02-05 02:18:40 +0000387 unsigned BaseReg = Base.getReg();
Craig Topperf655cdd2014-11-11 07:32:32 +0000388 bool HasEVEX = (TSFlags & X86II::EncodingMask) == X86II::EVEX;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000389
Chris Lattnerd1832032010-02-12 22:47:55 +0000390 // Handle %rip relative addressing.
Derek Schuffc6d8fd32016-02-02 17:20:04 +0000391 if (BaseReg == X86::RIP ||
392 BaseReg == X86::EIP) { // [disp32+rIP] in X86-64 mode
David Woodhoused2cca112014-01-28 23:13:25 +0000393 assert(is64BitMode(STI) && "Rip-relative addressing requires 64-bit mode");
Eric Christopher6ab55c52010-06-08 22:57:33 +0000394 assert(IndexReg.getReg() == 0 && "Invalid rip-relative address");
Chris Lattnerd1832032010-02-12 22:47:55 +0000395 EmitByte(ModRMByte(0, RegOpcodeField, 5), CurByte, OS);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000396
Rafael Espindola52bd3302016-05-28 15:51:38 +0000397 unsigned Opcode = MI.getOpcode();
Chris Lattnera3a66b22010-03-18 18:10:56 +0000398 // movq loads are handled with a special relocation form which allows the
399 // linker to eliminate some loads for GOT references which end up in the
400 // same linkage unit.
Rafael Espindola52bd3302016-05-28 15:51:38 +0000401 unsigned FixupKind = [=]() {
402 switch (Opcode) {
403 default:
404 return X86::reloc_riprel_4byte;
405 case X86::MOV64rm:
406 assert(Rex);
407 return X86::reloc_riprel_4byte_movq_load;
408 case X86::CALL64m:
409 case X86::JMP64m:
Sriraman Tallamd10c4e02018-05-31 18:12:33 +0000410 case X86::TAILJMPm64:
Craig Topperc20b46d2017-10-01 23:53:53 +0000411 case X86::TEST64mr:
Rafael Espindola52bd3302016-05-28 15:51:38 +0000412 case X86::ADC64rm:
413 case X86::ADD64rm:
414 case X86::AND64rm:
415 case X86::CMP64rm:
416 case X86::OR64rm:
417 case X86::SBB64rm:
418 case X86::SUB64rm:
419 case X86::XOR64rm:
420 return Rex ? X86::reloc_riprel_4byte_relax_rex
421 : X86::reloc_riprel_4byte_relax;
422 }
423 }();
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000424
Chris Lattner4ad96052010-02-12 23:00:36 +0000425 // rip-relative addressing is actually relative to the *next* instruction.
426 // Since an immediate can follow the mod/rm byte for an instruction, this
Francis Visoiu Mistrihe67ed4c2018-02-09 21:47:07 +0000427 // means that we need to bias the displacement field of the instruction with
428 // the size of the immediate field. If we have this case, add it into the
Chris Lattner4ad96052010-02-12 23:00:36 +0000429 // expression to emit.
Francis Visoiu Mistrihe67ed4c2018-02-09 21:47:07 +0000430 // Note: rip-relative addressing using immediate displacement values should
431 // not be adjusted, assuming it was the user's intent.
432 int ImmSize = !Disp.isImm() && X86II::hasImm(TSFlags)
433 ? X86II::getSizeOfImm(TSFlags)
434 : 0;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000435
Jim Grosbach8f28dbd2012-01-27 00:51:27 +0000436 EmitImmediate(Disp, MI.getLoc(), 4, MCFixupKind(FixupKind),
Chris Lattner4ad96052010-02-12 23:00:36 +0000437 CurByte, OS, Fixups, -ImmSize);
Chris Lattnerd1832032010-02-12 22:47:55 +0000438 return;
439 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000440
Chris Lattnerd1832032010-02-12 22:47:55 +0000441 unsigned BaseRegNo = BaseReg ? GetX86RegNum(Base) : -1U;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000442
Craig Topper21ba8fb2014-01-05 19:40:56 +0000443 // 16-bit addressing forms of the ModR/M byte have a different encoding for
444 // the R/M field and are far more limited in which registers can be used.
David Woodhoused2cca112014-01-28 23:13:25 +0000445 if (Is16BitMemOperand(MI, Op, STI)) {
Craig Topper21ba8fb2014-01-05 19:40:56 +0000446 if (BaseReg) {
447 // For 32-bit addressing, the row and column values in Table 2-2 are
448 // basically the same. It's AX/CX/DX/BX/SP/BP/SI/DI in that order, with
449 // some special cases. And GetX86RegNum reflects that numbering.
450 // For 16-bit addressing it's more fun, as shown in the SDM Vol 2A,
451 // Table 2-1 "16-Bit Addressing Forms with the ModR/M byte". We can only
452 // use SI/DI/BP/BX, which have "row" values 4-7 in no particular order,
453 // while values 0-3 indicate the allowed combinations (base+index) of
454 // those: 0 for BX+SI, 1 for BX+DI, 2 for BP+SI, 3 for BP+DI.
455 //
456 // R16Table[] is a lookup from the normal RegNo, to the row values from
457 // Table 2-1 for 16-bit addressing modes. Where zero means disallowed.
458 static const unsigned R16Table[] = { 0, 0, 0, 7, 0, 6, 4, 5 };
459 unsigned RMfield = R16Table[BaseRegNo];
460
461 assert(RMfield && "invalid 16-bit base register");
462
463 if (IndexReg.getReg()) {
464 unsigned IndexReg16 = R16Table[GetX86RegNum(IndexReg)];
465
466 assert(IndexReg16 && "invalid 16-bit index register");
467 // We must have one of SI/DI (4,5), and one of BP/BX (6,7).
468 assert(((IndexReg16 ^ RMfield) & 2) &&
469 "invalid 16-bit base/index register combination");
470 assert(Scale.getImm() == 1 &&
471 "invalid scale for 16-bit memory reference");
472
473 // Allow base/index to appear in either order (although GAS doesn't).
474 if (IndexReg16 & 2)
475 RMfield = (RMfield & 1) | ((7 - IndexReg16) << 1);
476 else
477 RMfield = (IndexReg16 & 1) | ((7 - RMfield) << 1);
478 }
479
480 if (Disp.isImm() && isDisp8(Disp.getImm())) {
Craig Topperc26c62e2018-06-22 19:42:21 +0000481 if (Disp.getImm() == 0 && RMfield != 6) {
Craig Topper21ba8fb2014-01-05 19:40:56 +0000482 // There is no displacement; just the register.
483 EmitByte(ModRMByte(0, RegOpcodeField, RMfield), CurByte, OS);
484 return;
485 }
486 // Use the [REG]+disp8 form, including for [BP] which cannot be encoded.
487 EmitByte(ModRMByte(1, RegOpcodeField, RMfield), CurByte, OS);
488 EmitImmediate(Disp, MI.getLoc(), 1, FK_Data_1, CurByte, OS, Fixups);
489 return;
490 }
491 // This is the [REG]+disp16 case.
492 EmitByte(ModRMByte(2, RegOpcodeField, RMfield), CurByte, OS);
493 } else {
494 // There is no BaseReg; this is the plain [disp16] case.
495 EmitByte(ModRMByte(0, RegOpcodeField, 6), CurByte, OS);
496 }
497
498 // Emit 16-bit displacement for plain disp16 or [REG]+disp16 cases.
499 EmitImmediate(Disp, MI.getLoc(), 2, FK_Data_2, CurByte, OS, Fixups);
500 return;
501 }
502
Chris Lattner8aef06f2010-02-09 21:57:34 +0000503 // Determine whether a SIB byte is needed.
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000504 // If no BaseReg, issue a RIP relative instruction only if the MCE can
Chris Lattner610c84a2010-02-05 02:18:40 +0000505 // resolve addresses on-the-fly, otherwise use SIB (Intel Manual 2A, table
506 // 2-7) and absolute references.
Chris Lattner5a4ec872010-02-11 08:41:21 +0000507
Chris Lattner8aef06f2010-02-09 21:57:34 +0000508 if (// The SIB byte must be used if there is an index register.
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000509 IndexReg.getReg() == 0 &&
Chris Lattner5a4ec872010-02-11 08:41:21 +0000510 // The SIB byte must be used if the base is ESP/RSP/R12, all of which
511 // encode to an R/M value of 4, which indicates that a SIB byte is
512 // present.
513 BaseRegNo != N86::ESP &&
Chris Lattner8aef06f2010-02-09 21:57:34 +0000514 // If there is no base register and we're in 64-bit mode, we need a SIB
515 // byte to emit an addr that is just 'disp32' (the non-RIP relative form).
David Woodhoused2cca112014-01-28 23:13:25 +0000516 (!is64BitMode(STI) || BaseReg != 0)) {
Chris Lattner8aef06f2010-02-09 21:57:34 +0000517
Chris Lattnerd1832032010-02-12 22:47:55 +0000518 if (BaseReg == 0) { // [disp32] in X86-32 mode
Chris Lattnerf58d0072010-02-10 06:41:02 +0000519 EmitByte(ModRMByte(0, RegOpcodeField, 5), CurByte, OS);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +0000520 EmitImmediate(Disp, MI.getLoc(), 4, FK_Data_4, CurByte, OS, Fixups);
Chris Lattner8aef06f2010-02-09 21:57:34 +0000521 return;
Chris Lattner610c84a2010-02-05 02:18:40 +0000522 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000523
Chris Lattner8aef06f2010-02-09 21:57:34 +0000524 // If the base is not EBP/ESP and there is no displacement, use simple
525 // indirect register encoding, this handles addresses like [EAX]. The
526 // encoding for [EBP] with no displacement means [disp32] so we handle it
527 // by emitting a displacement of 0 below.
Chris Lattnera725d782010-02-10 06:30:00 +0000528 if (Disp.isImm() && Disp.getImm() == 0 && BaseRegNo != N86::EBP) {
Chris Lattnerf58d0072010-02-10 06:41:02 +0000529 EmitByte(ModRMByte(0, RegOpcodeField, BaseRegNo), CurByte, OS);
Chris Lattner8aef06f2010-02-09 21:57:34 +0000530 return;
531 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000532
Chris Lattner8aef06f2010-02-09 21:57:34 +0000533 // Otherwise, if the displacement fits in a byte, encode as [REG+disp8].
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000534 if (Disp.isImm()) {
535 if (!HasEVEX && isDisp8(Disp.getImm())) {
536 EmitByte(ModRMByte(1, RegOpcodeField, BaseRegNo), CurByte, OS);
537 EmitImmediate(Disp, MI.getLoc(), 1, FK_Data_1, CurByte, OS, Fixups);
538 return;
539 }
540 // Try EVEX compressed 8-bit displacement first; if failed, fall back to
541 // 32-bit displacement.
542 int CDisp8 = 0;
543 if (HasEVEX && isCDisp8(TSFlags, Disp.getImm(), CDisp8)) {
544 EmitByte(ModRMByte(1, RegOpcodeField, BaseRegNo), CurByte, OS);
545 EmitImmediate(Disp, MI.getLoc(), 1, FK_Data_1, CurByte, OS, Fixups,
546 CDisp8 - Disp.getImm());
547 return;
548 }
Chris Lattner8aef06f2010-02-09 21:57:34 +0000549 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000550
Chris Lattner8aef06f2010-02-09 21:57:34 +0000551 // Otherwise, emit the most general non-SIB encoding: [REG+disp32]
Chris Lattnerf58d0072010-02-10 06:41:02 +0000552 EmitByte(ModRMByte(2, RegOpcodeField, BaseRegNo), CurByte, OS);
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000553 unsigned Opcode = MI.getOpcode();
554 unsigned FixupKind = Opcode == X86::MOV32rm ? X86::reloc_signed_4byte_relax
555 : X86::reloc_signed_4byte;
556 EmitImmediate(Disp, MI.getLoc(), 4, MCFixupKind(FixupKind), CurByte, OS,
557 Fixups);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000558 return;
Chris Lattner610c84a2010-02-05 02:18:40 +0000559 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000560
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000561 // We need a SIB byte, so start by outputting the ModR/M byte first
562 assert(IndexReg.getReg() != X86::ESP &&
563 IndexReg.getReg() != X86::RSP && "Cannot use ESP as index reg!");
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000564
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000565 bool ForceDisp32 = false;
566 bool ForceDisp8 = false;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000567 int CDisp8 = 0;
568 int ImmOffset = 0;
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000569 if (BaseReg == 0) {
570 // If there is no base register, we emit the special case SIB byte with
571 // MOD=0, BASE=5, to JUST get the index, scale, and displacement.
Chris Lattnerf58d0072010-02-10 06:41:02 +0000572 EmitByte(ModRMByte(0, RegOpcodeField, 4), CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000573 ForceDisp32 = true;
Chris Lattnera725d782010-02-10 06:30:00 +0000574 } else if (!Disp.isImm()) {
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000575 // Emit the normal disp32 encoding.
Chris Lattnerf58d0072010-02-10 06:41:02 +0000576 EmitByte(ModRMByte(2, RegOpcodeField, 4), CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000577 ForceDisp32 = true;
Chris Lattnerb3f659c2010-03-18 20:04:36 +0000578 } else if (Disp.getImm() == 0 &&
579 // Base reg can't be anything that ends up with '5' as the base
580 // reg, it is the magic [*] nomenclature that indicates no base.
581 BaseRegNo != N86::EBP) {
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000582 // Emit no displacement ModR/M byte
Chris Lattnerf58d0072010-02-10 06:41:02 +0000583 EmitByte(ModRMByte(0, RegOpcodeField, 4), CurByte, OS);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000584 } else if (!HasEVEX && isDisp8(Disp.getImm())) {
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000585 // Emit the disp8 encoding.
Chris Lattnerf58d0072010-02-10 06:41:02 +0000586 EmitByte(ModRMByte(1, RegOpcodeField, 4), CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000587 ForceDisp8 = true; // Make sure to force 8 bit disp if Base=EBP
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000588 } else if (HasEVEX && isCDisp8(TSFlags, Disp.getImm(), CDisp8)) {
589 // Emit the disp8 encoding.
590 EmitByte(ModRMByte(1, RegOpcodeField, 4), CurByte, OS);
591 ForceDisp8 = true; // Make sure to force 8 bit disp if Base=EBP
592 ImmOffset = CDisp8 - Disp.getImm();
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000593 } else {
594 // Emit the normal disp32 encoding.
Chris Lattnerf58d0072010-02-10 06:41:02 +0000595 EmitByte(ModRMByte(2, RegOpcodeField, 4), CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000596 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000597
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000598 // Calculate what the SS field value should be...
Jeffrey Yasskin6381c012011-07-27 06:22:51 +0000599 static const unsigned SSTable[] = { ~0U, 0, 1, ~0U, 2, ~0U, ~0U, ~0U, 3 };
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000600 unsigned SS = SSTable[Scale.getImm()];
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000601
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000602 if (BaseReg == 0) {
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000603 // Handle the SIB byte for the case where there is no base, see Intel
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000604 // Manual 2A, table 2-7. The displacement has already been output.
605 unsigned IndexRegNo;
606 if (IndexReg.getReg())
607 IndexRegNo = GetX86RegNum(IndexReg);
608 else // Examples: [ESP+1*<noreg>+4] or [scaled idx]+disp32 (MOD=0,BASE=5)
609 IndexRegNo = 4;
Chris Lattnerf58d0072010-02-10 06:41:02 +0000610 EmitSIBByte(SS, IndexRegNo, 5, CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000611 } else {
612 unsigned IndexRegNo;
613 if (IndexReg.getReg())
614 IndexRegNo = GetX86RegNum(IndexReg);
615 else
616 IndexRegNo = 4; // For example [ESP+1*<noreg>+4]
Chris Lattnerf58d0072010-02-10 06:41:02 +0000617 EmitSIBByte(SS, IndexRegNo, GetX86RegNum(Base), CurByte, OS);
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000618 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +0000619
Chris Lattnerdf84b1a2010-02-05 06:16:07 +0000620 // Do we need to output a displacement?
621 if (ForceDisp8)
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000622 EmitImmediate(Disp, MI.getLoc(), 1, FK_Data_1, CurByte, OS, Fixups, ImmOffset);
Chris Lattnera725d782010-02-10 06:30:00 +0000623 else if (ForceDisp32 || Disp.getImm() != 0)
Jim Grosbach8f28dbd2012-01-27 00:51:27 +0000624 EmitImmediate(Disp, MI.getLoc(), 4, MCFixupKind(X86::reloc_signed_4byte),
625 CurByte, OS, Fixups);
Chris Lattner610c84a2010-02-05 02:18:40 +0000626}
627
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000628/// EmitVEXOpcodePrefix - AVX instructions are encoded using a opcode prefix
629/// called VEX.
630void X86MCCodeEmitter::EmitVEXOpcodePrefix(uint64_t TSFlags, unsigned &CurByte,
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +0000631 int MemOperand, const MCInst &MI,
Evan Cheng6cc775f2011-06-28 19:10:37 +0000632 const MCInstrDesc &Desc,
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +0000633 raw_ostream &OS) const {
JF Bastien388b8792014-12-15 22:34:58 +0000634 assert(!(TSFlags & X86II::LOCK) && "Can't have LOCK VEX.");
635
Craig Topperf655cdd2014-11-11 07:32:32 +0000636 uint64_t Encoding = TSFlags & X86II::EncodingMask;
637 bool HasEVEX_K = TSFlags & X86II::EVEX_K;
638 bool HasVEX_4V = TSFlags & X86II::VEX_4V;
Craig Topperf655cdd2014-11-11 07:32:32 +0000639 bool HasEVEX_RC = TSFlags & X86II::EVEX_RC;
Bruno Cardoso Lopes4398fd72010-06-24 20:48:23 +0000640
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000641 // VEX_R: opcode externsion equivalent to REX.R in
642 // 1's complement (inverted) form
643 //
644 // 1: Same as REX_R=0 (must be 1 in 32-bit mode)
645 // 0: Same as REX_R=1 (64 bit mode only)
646 //
Craig Topper5e038cf2016-03-06 08:12:42 +0000647 uint8_t VEX_R = 0x1;
648 uint8_t EVEX_R2 = 0x1;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000649
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000650 // VEX_X: equivalent to REX.X, only used when a
651 // register is used for index in SIB Byte.
652 //
653 // 1: Same as REX.X=0 (must be 1 in 32-bit mode)
654 // 0: Same as REX.X=1 (64-bit mode only)
Craig Topper5e038cf2016-03-06 08:12:42 +0000655 uint8_t VEX_X = 0x1;
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000656
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000657 // VEX_B:
658 //
659 // 1: Same as REX_B=0 (ignored in 32-bit mode)
660 // 0: Same as REX_B=1 (64 bit mode only)
661 //
Craig Topper5e038cf2016-03-06 08:12:42 +0000662 uint8_t VEX_B = 0x1;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000663
664 // VEX_W: opcode specific (use like REX.W, or used for
665 // opcode extension, or ignored, depending on the opcode byte)
Craig Topper5e038cf2016-03-06 08:12:42 +0000666 uint8_t VEX_W = (TSFlags & X86II::VEX_W) ? 1 : 0;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000667
668 // VEX_5M (VEX m-mmmmm field):
669 //
670 // 0b00000: Reserved for future use
671 // 0b00001: implied 0F leading opcode
672 // 0b00010: implied 0F 38 leading opcode bytes
673 // 0b00011: implied 0F 3A leading opcode bytes
674 // 0b00100-0b11111: Reserved for future use
Jan Sjödin6dd24882011-12-12 19:12:26 +0000675 // 0b01000: XOP map select - 08h instructions with imm byte
Craig Toppere75666f2013-09-29 06:31:18 +0000676 // 0b01001: XOP map select - 09h instructions with no imm byte
677 // 0b01010: XOP map select - 0Ah instructions with imm dword
Craig Topper5e038cf2016-03-06 08:12:42 +0000678 uint8_t VEX_5M;
Craig Topper10243c82014-01-31 08:47:06 +0000679 switch (TSFlags & X86II::OpMapMask) {
680 default: llvm_unreachable("Invalid prefix!");
681 case X86II::TB: VEX_5M = 0x1; break; // 0F
682 case X86II::T8: VEX_5M = 0x2; break; // 0F 38
683 case X86II::TA: VEX_5M = 0x3; break; // 0F 3A
684 case X86II::XOP8: VEX_5M = 0x8; break;
685 case X86II::XOP9: VEX_5M = 0x9; break;
686 case X86II::XOPA: VEX_5M = 0xA; break;
687 }
Jan Sjödin6dd24882011-12-12 19:12:26 +0000688
Craig Topperd40a5502016-03-01 05:42:16 +0000689 // VEX_4V (VEX vvvv field): a register specifier
690 // (in 1's complement form) or 1111 if unused.
Craig Topper5e038cf2016-03-06 08:12:42 +0000691 uint8_t VEX_4V = 0xf;
692 uint8_t EVEX_V2 = 0x1;
Craig Topperd40a5502016-03-01 05:42:16 +0000693
694 // EVEX_L2/VEX_L (Vector Length):
695 //
696 // L2 L
697 // 0 0: scalar or 128-bit vector
698 // 0 1: 256-bit vector
699 // 1 0: 512-bit vector
700 //
Craig Topper5e038cf2016-03-06 08:12:42 +0000701 uint8_t VEX_L = (TSFlags & X86II::VEX_L) ? 1 : 0;
702 uint8_t EVEX_L2 = (TSFlags & X86II::EVEX_L2) ? 1 : 0;
Craig Topperd40a5502016-03-01 05:42:16 +0000703
704 // VEX_PP: opcode extension providing equivalent
705 // functionality of a SIMD prefix
706 //
707 // 0b00: None
708 // 0b01: 66
709 // 0b10: F3
710 // 0b11: F2
711 //
Craig Topper9b6a65b92018-04-03 06:37:04 +0000712 uint8_t VEX_PP = 0;
Craig Topperd40a5502016-03-01 05:42:16 +0000713 switch (TSFlags & X86II::OpPrefixMask) {
Craig Topperd40a5502016-03-01 05:42:16 +0000714 case X86II::PD: VEX_PP = 0x1; break; // 66
715 case X86II::XS: VEX_PP = 0x2; break; // F3
716 case X86II::XD: VEX_PP = 0x3; break; // F2
717 }
718
719 // EVEX_U
Craig Topper5e038cf2016-03-06 08:12:42 +0000720 uint8_t EVEX_U = 1; // Always '1' so far
Craig Topperd40a5502016-03-01 05:42:16 +0000721
722 // EVEX_z
Craig Topper5e038cf2016-03-06 08:12:42 +0000723 uint8_t EVEX_z = (HasEVEX_K && (TSFlags & X86II::EVEX_Z)) ? 1 : 0;
Craig Topperd40a5502016-03-01 05:42:16 +0000724
725 // EVEX_b
Craig Topper5e038cf2016-03-06 08:12:42 +0000726 uint8_t EVEX_b = (TSFlags & X86II::EVEX_B) ? 1 : 0;
Craig Topperd40a5502016-03-01 05:42:16 +0000727
728 // EVEX_rc
Craig Topper5e038cf2016-03-06 08:12:42 +0000729 uint8_t EVEX_rc = 0;
Craig Topperd40a5502016-03-01 05:42:16 +0000730
731 // EVEX_aaa
Craig Topper5e038cf2016-03-06 08:12:42 +0000732 uint8_t EVEX_aaa = 0;
Craig Topperd40a5502016-03-01 05:42:16 +0000733
734 bool EncodeRC = false;
735
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000736 // Classify VEX_B, VEX_4V, VEX_R, VEX_X
Elena Demikhovsky602f3a22012-05-31 09:20:20 +0000737 unsigned NumOps = Desc.getNumOperands();
Craig Topper3cbe1602014-01-17 06:42:38 +0000738 unsigned CurOp = X86II::getOperandBias(Desc);
Elena Demikhovsky602f3a22012-05-31 09:20:20 +0000739
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000740 switch (TSFlags & X86II::FormMask) {
Craig Topper8a60fff2014-01-16 06:14:45 +0000741 default: llvm_unreachable("Unexpected form in EmitVEXOpcodePrefix!");
742 case X86II::RawFrm:
743 break;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000744 case X86II::MRMDestMem: {
745 // MRMDestMem instructions forms:
746 // MemAddr, src1(ModR/M)
747 // MemAddr, src1(VEX_4V), src2(ModR/M)
748 // MemAddr, src1(ModR/M), imm8
749 //
Craig Topper581c0082016-03-06 08:12:47 +0000750 unsigned BaseRegEnc = getX86RegEncoding(MI, MemOperand + X86::AddrBaseReg);
751 VEX_B = ~(BaseRegEnc >> 3) & 1;
752 unsigned IndexRegEnc = getX86RegEncoding(MI, MemOperand+X86::AddrIndexReg);
753 VEX_X = ~(IndexRegEnc >> 3) & 1;
754 if (!HasVEX_4V) // Only needed with VSIB which don't use VVVV.
755 EVEX_V2 = ~(IndexRegEnc >> 4) & 1;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000756
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000757 CurOp += X86::AddrNumOperands;
758
759 if (HasEVEX_K)
Craig Topper581c0082016-03-06 08:12:47 +0000760 EVEX_aaa = getX86RegEncoding(MI, CurOp++);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000761
762 if (HasVEX_4V) {
Craig Topper581c0082016-03-06 08:12:47 +0000763 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
764 VEX_4V = ~VRegEnc & 0xf;
765 EVEX_V2 = ~(VRegEnc >> 4) & 1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000766 }
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000767
Craig Topper581c0082016-03-06 08:12:47 +0000768 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
769 VEX_R = ~(RegEnc >> 3) & 1;
770 EVEX_R2 = ~(RegEnc >> 4) & 1;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000771 break;
772 }
Craig Topper581c0082016-03-06 08:12:47 +0000773 case X86II::MRMSrcMem: {
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000774 // MRMSrcMem instructions forms:
775 // src1(ModR/M), MemAddr
776 // src1(ModR/M), src2(VEX_4V), MemAddr
777 // src1(ModR/M), MemAddr, imm8
Craig Topperca0eda32016-08-22 01:37:19 +0000778 // src1(ModR/M), MemAddr, src2(Imm[7:4])
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000779 //
Bruno Cardoso Lopes0f9a1f52011-11-25 19:33:42 +0000780 // FMA4:
Craig Topperca0eda32016-08-22 01:37:19 +0000781 // dst(ModR/M.reg), src1(VEX_4V), src2(ModR/M), src3(Imm[7:4])
Craig Topper581c0082016-03-06 08:12:47 +0000782 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
783 VEX_R = ~(RegEnc >> 3) & 1;
784 EVEX_R2 = ~(RegEnc >> 4) & 1;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000785
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000786 if (HasEVEX_K)
Craig Topper581c0082016-03-06 08:12:47 +0000787 EVEX_aaa = getX86RegEncoding(MI, CurOp++);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000788
789 if (HasVEX_4V) {
Craig Topper581c0082016-03-06 08:12:47 +0000790 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
791 VEX_4V = ~VRegEnc & 0xf;
792 EVEX_V2 = ~(VRegEnc >> 4) & 1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000793 }
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000794
Craig Topper581c0082016-03-06 08:12:47 +0000795 unsigned BaseRegEnc = getX86RegEncoding(MI, MemOperand + X86::AddrBaseReg);
796 VEX_B = ~(BaseRegEnc >> 3) & 1;
797 unsigned IndexRegEnc = getX86RegEncoding(MI, MemOperand+X86::AddrIndexReg);
798 VEX_X = ~(IndexRegEnc >> 3) & 1;
799 if (!HasVEX_4V) // Only needed with VSIB which don't use VVVV.
800 EVEX_V2 = ~(IndexRegEnc >> 4) & 1;
Craig Topper25ea4e52011-10-16 03:51:13 +0000801
Craig Topper5f8419d2016-08-22 07:38:50 +0000802 break;
803 }
804 case X86II::MRMSrcMem4VOp3: {
805 // Instruction format for 4VOp3:
806 // src1(ModR/M), MemAddr, src3(VEX_4V)
807 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
808 VEX_R = ~(RegEnc >> 3) & 1;
809
810 unsigned BaseRegEnc = getX86RegEncoding(MI, MemOperand + X86::AddrBaseReg);
811 VEX_B = ~(BaseRegEnc >> 3) & 1;
812 unsigned IndexRegEnc = getX86RegEncoding(MI, MemOperand+X86::AddrIndexReg);
813 VEX_X = ~(IndexRegEnc >> 3) & 1;
814
815 VEX_4V = ~getX86RegEncoding(MI, CurOp + X86::AddrNumOperands) & 0xf;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000816 break;
Craig Topper581c0082016-03-06 08:12:47 +0000817 }
Craig Topper9b20fec2016-08-22 07:38:45 +0000818 case X86II::MRMSrcMemOp4: {
819 // dst(ModR/M.reg), src1(VEX_4V), src2(Imm[7:4]), src3(ModR/M),
820 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
821 VEX_R = ~(RegEnc >> 3) & 1;
822
823 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
824 VEX_4V = ~VRegEnc & 0xf;
825
826 unsigned BaseRegEnc = getX86RegEncoding(MI, MemOperand + X86::AddrBaseReg);
827 VEX_B = ~(BaseRegEnc >> 3) & 1;
828 unsigned IndexRegEnc = getX86RegEncoding(MI, MemOperand+X86::AddrIndexReg);
829 VEX_X = ~(IndexRegEnc >> 3) & 1;
830 break;
831 }
Bruno Cardoso Lopes30689a32010-06-29 20:35:48 +0000832 case X86II::MRM0m: case X86II::MRM1m:
833 case X86II::MRM2m: case X86II::MRM3m:
834 case X86II::MRM4m: case X86II::MRM5m:
Craig Topper27ad1252011-10-15 20:46:47 +0000835 case X86II::MRM6m: case X86II::MRM7m: {
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000836 // MRM[0-9]m instructions forms:
837 // MemAddr
Craig Topper27ad1252011-10-15 20:46:47 +0000838 // src1(VEX_4V), MemAddr
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000839 if (HasVEX_4V) {
Craig Topper581c0082016-03-06 08:12:47 +0000840 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
841 VEX_4V = ~VRegEnc & 0xf;
842 EVEX_V2 = ~(VRegEnc >> 4) & 1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000843 }
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000844
845 if (HasEVEX_K)
Craig Topper581c0082016-03-06 08:12:47 +0000846 EVEX_aaa = getX86RegEncoding(MI, CurOp++);
Craig Topper27ad1252011-10-15 20:46:47 +0000847
Craig Topper581c0082016-03-06 08:12:47 +0000848 unsigned BaseRegEnc = getX86RegEncoding(MI, MemOperand + X86::AddrBaseReg);
849 VEX_B = ~(BaseRegEnc >> 3) & 1;
850 unsigned IndexRegEnc = getX86RegEncoding(MI, MemOperand+X86::AddrIndexReg);
851 VEX_X = ~(IndexRegEnc >> 3) & 1;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000852 break;
Craig Topper27ad1252011-10-15 20:46:47 +0000853 }
Craig Topper581c0082016-03-06 08:12:47 +0000854 case X86II::MRMSrcReg: {
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000855 // MRMSrcReg instructions forms:
Craig Topperca0eda32016-08-22 01:37:19 +0000856 // dst(ModR/M), src1(VEX_4V), src2(ModR/M), src3(Imm[7:4])
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000857 // dst(ModR/M), src1(ModR/M)
858 // dst(ModR/M), src1(ModR/M), imm8
859 //
Craig Topper87299972013-03-14 07:40:52 +0000860 // FMA4:
Craig Topperca0eda32016-08-22 01:37:19 +0000861 // dst(ModR/M.reg), src1(VEX_4V), src2(Imm[7:4]), src3(ModR/M),
Craig Topper581c0082016-03-06 08:12:47 +0000862 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
863 VEX_R = ~(RegEnc >> 3) & 1;
864 EVEX_R2 = ~(RegEnc >> 4) & 1;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000865
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000866 if (HasEVEX_K)
Craig Topper581c0082016-03-06 08:12:47 +0000867 EVEX_aaa = getX86RegEncoding(MI, CurOp++);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000868
869 if (HasVEX_4V) {
Craig Topper581c0082016-03-06 08:12:47 +0000870 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
871 VEX_4V = ~VRegEnc & 0xf;
872 EVEX_V2 = ~(VRegEnc >> 4) & 1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000873 }
Craig Topper87299972013-03-14 07:40:52 +0000874
Craig Topper581c0082016-03-06 08:12:47 +0000875 RegEnc = getX86RegEncoding(MI, CurOp++);
876 VEX_B = ~(RegEnc >> 3) & 1;
877 VEX_X = ~(RegEnc >> 4) & 1;
Craig Topper5f8419d2016-08-22 07:38:50 +0000878
Elena Demikhovskyde3f7512014-01-01 15:12:34 +0000879 if (EVEX_b) {
Elena Demikhovskyb19c9dc2014-01-13 12:55:03 +0000880 if (HasEVEX_RC) {
881 unsigned RcOperand = NumOps-1;
882 assert(RcOperand >= CurOp);
883 EVEX_rc = MI.getOperand(RcOperand).getImm() & 0x3;
884 }
885 EncodeRC = true;
Michael Liao5bf95782014-12-04 05:20:33 +0000886 }
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000887 break;
Craig Topper581c0082016-03-06 08:12:47 +0000888 }
Craig Topper5f8419d2016-08-22 07:38:50 +0000889 case X86II::MRMSrcReg4VOp3: {
890 // Instruction format for 4VOp3:
891 // src1(ModR/M), src2(ModR/M), src3(VEX_4V)
892 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
893 VEX_R = ~(RegEnc >> 3) & 1;
894
895 RegEnc = getX86RegEncoding(MI, CurOp++);
896 VEX_B = ~(RegEnc >> 3) & 1;
897
898 VEX_4V = ~getX86RegEncoding(MI, CurOp++) & 0xf;
899 break;
900 }
Craig Topper9b20fec2016-08-22 07:38:45 +0000901 case X86II::MRMSrcRegOp4: {
902 // dst(ModR/M.reg), src1(VEX_4V), src2(Imm[7:4]), src3(ModR/M),
903 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
904 VEX_R = ~(RegEnc >> 3) & 1;
905
906 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
907 VEX_4V = ~VRegEnc & 0xf;
908
909 // Skip second register source (encoded in Imm[7:4])
910 ++CurOp;
911
912 RegEnc = getX86RegEncoding(MI, CurOp++);
913 VEX_B = ~(RegEnc >> 3) & 1;
914 VEX_X = ~(RegEnc >> 4) & 1;
915 break;
916 }
Craig Topper581c0082016-03-06 08:12:47 +0000917 case X86II::MRMDestReg: {
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000918 // MRMDestReg instructions forms:
919 // dst(ModR/M), src(ModR/M)
920 // dst(ModR/M), src(ModR/M), imm8
Craig Topper612f7bf2013-03-16 03:44:31 +0000921 // dst(ModR/M), src1(VEX_4V), src2(ModR/M)
Craig Topper581c0082016-03-06 08:12:47 +0000922 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
923 VEX_B = ~(RegEnc >> 3) & 1;
924 VEX_X = ~(RegEnc >> 4) & 1;
Craig Topper612f7bf2013-03-16 03:44:31 +0000925
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000926 if (HasEVEX_K)
Craig Topper581c0082016-03-06 08:12:47 +0000927 EVEX_aaa = getX86RegEncoding(MI, CurOp++);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000928
929 if (HasVEX_4V) {
Craig Topper581c0082016-03-06 08:12:47 +0000930 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
931 VEX_4V = ~VRegEnc & 0xf;
932 EVEX_V2 = ~(VRegEnc >> 4) & 1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000933 }
Craig Topper612f7bf2013-03-16 03:44:31 +0000934
Craig Topper581c0082016-03-06 08:12:47 +0000935 RegEnc = getX86RegEncoding(MI, CurOp++);
936 VEX_R = ~(RegEnc >> 3) & 1;
937 EVEX_R2 = ~(RegEnc >> 4) & 1;
Elena Demikhovskyb19c9dc2014-01-13 12:55:03 +0000938 if (EVEX_b)
939 EncodeRC = true;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000940 break;
Craig Topper581c0082016-03-06 08:12:47 +0000941 }
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000942 case X86II::MRM0r: case X86II::MRM1r:
943 case X86II::MRM2r: case X86II::MRM3r:
944 case X86II::MRM4r: case X86II::MRM5r:
Craig Topper581c0082016-03-06 08:12:47 +0000945 case X86II::MRM6r: case X86II::MRM7r: {
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000946 // MRM0r-MRM7r instructions forms:
947 // dst(VEX_4V), src(ModR/M), imm8
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000948 if (HasVEX_4V) {
Craig Topper581c0082016-03-06 08:12:47 +0000949 unsigned VRegEnc = getX86RegEncoding(MI, CurOp++);
950 VEX_4V = ~VRegEnc & 0xf;
951 EVEX_V2 = ~(VRegEnc >> 4) & 1;
Craig Topperd402df32014-02-02 07:08:01 +0000952 }
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000953 if (HasEVEX_K)
Craig Topper581c0082016-03-06 08:12:47 +0000954 EVEX_aaa = getX86RegEncoding(MI, CurOp++);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000955
Craig Topper581c0082016-03-06 08:12:47 +0000956 unsigned RegEnc = getX86RegEncoding(MI, CurOp++);
957 VEX_B = ~(RegEnc >> 3) & 1;
958 VEX_X = ~(RegEnc >> 4) & 1;
Bruno Cardoso Lopesd1263472011-08-19 22:27:29 +0000959 break;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000960 }
Craig Topper581c0082016-03-06 08:12:47 +0000961 }
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000962
Craig Topperd402df32014-02-02 07:08:01 +0000963 if (Encoding == X86II::VEX || Encoding == X86II::XOP) {
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000964 // VEX opcode prefix can have 2 or 3 bytes
965 //
966 // 3 bytes:
967 // +-----+ +--------------+ +-------------------+
968 // | C4h | | RXB | m-mmmm | | W | vvvv | L | pp |
969 // +-----+ +--------------+ +-------------------+
970 // 2 bytes:
971 // +-----+ +-------------------+
972 // | C5h | | R | vvvv | L | pp |
973 // +-----+ +-------------------+
974 //
Craig Topperd402df32014-02-02 07:08:01 +0000975 // XOP uses a similar prefix:
976 // +-----+ +--------------+ +-------------------+
977 // | 8Fh | | RXB | m-mmmm | | W | vvvv | L | pp |
978 // +-----+ +--------------+ +-------------------+
Craig Topper5e038cf2016-03-06 08:12:42 +0000979 uint8_t LastByte = VEX_PP | (VEX_L << 2) | (VEX_4V << 3);
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000980
Craig Topperd402df32014-02-02 07:08:01 +0000981 // Can we use the 2 byte VEX prefix?
982 if (Encoding == X86II::VEX && VEX_B && VEX_X && !VEX_W && (VEX_5M == 1)) {
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000983 EmitByte(0xC5, CurByte, OS);
984 EmitByte(LastByte | (VEX_R << 7), CurByte, OS);
985 return;
986 }
987
988 // 3 byte VEX prefix
Craig Topperd402df32014-02-02 07:08:01 +0000989 EmitByte(Encoding == X86II::XOP ? 0x8F : 0xC4, CurByte, OS);
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000990 EmitByte(VEX_R << 7 | VEX_X << 6 | VEX_B << 5 | VEX_5M, CurByte, OS);
991 EmitByte(LastByte | (VEX_W << 7), CurByte, OS);
992 } else {
Craig Topperd402df32014-02-02 07:08:01 +0000993 assert(Encoding == X86II::EVEX && "unknown encoding!");
Elena Demikhovskyb1266b52013-08-01 13:34:06 +0000994 // EVEX opcode prefix can have 4 bytes
995 //
996 // +-----+ +--------------+ +-------------------+ +------------------------+
997 // | 62h | | RXBR' | 00mm | | W | vvvv | U | pp | | z | L'L | b | v' | aaa |
998 // +-----+ +--------------+ +-------------------+ +------------------------+
999 assert((VEX_5M & 0x3) == VEX_5M
1000 && "More than 2 significant bits in VEX.m-mmmm fields for EVEX!");
1001
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001002 EmitByte(0x62, CurByte, OS);
1003 EmitByte((VEX_R << 7) |
1004 (VEX_X << 6) |
1005 (VEX_B << 5) |
1006 (EVEX_R2 << 4) |
1007 VEX_5M, CurByte, OS);
1008 EmitByte((VEX_W << 7) |
1009 (VEX_4V << 3) |
1010 (EVEX_U << 2) |
1011 VEX_PP, CurByte, OS);
Elena Demikhovskyb19c9dc2014-01-13 12:55:03 +00001012 if (EncodeRC)
Elena Demikhovskyde3f7512014-01-01 15:12:34 +00001013 EmitByte((EVEX_z << 7) |
Craig Topper84f2f182016-02-22 08:00:04 +00001014 (EVEX_rc << 5) |
1015 (EVEX_b << 4) |
1016 (EVEX_V2 << 3) |
1017 EVEX_aaa, CurByte, OS);
Elena Demikhovskyde3f7512014-01-01 15:12:34 +00001018 else
1019 EmitByte((EVEX_z << 7) |
Craig Topper84f2f182016-02-22 08:00:04 +00001020 (EVEX_L2 << 6) |
1021 (VEX_L << 5) |
1022 (EVEX_b << 4) |
1023 (EVEX_V2 << 3) |
1024 EVEX_aaa, CurByte, OS);
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001025 }
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001026}
1027
Chris Lattner58827ff2010-02-05 22:10:22 +00001028/// DetermineREXPrefix - Determine if the MCInst has to be encoded with a X86-64
1029/// REX prefix which specifies 1) 64-bit instructions, 2) non-default operand
1030/// size, and 3) use of X86-64 extended registers.
Craig Topper581c0082016-03-06 08:12:47 +00001031uint8_t X86MCCodeEmitter::DetermineREXPrefix(const MCInst &MI, uint64_t TSFlags,
1032 int MemOperand,
1033 const MCInstrDesc &Desc) const {
Craig Topper6a7cd422016-03-02 07:32:43 +00001034 uint8_t REX = 0;
Douglas Katzmana1403972015-11-11 15:51:16 +00001035 bool UsesHighByteReg = false;
1036
Chris Lattner58827ff2010-02-05 22:10:22 +00001037 if (TSFlags & X86II::REX_W)
Bruno Cardoso Lopes8947c322010-06-12 00:03:52 +00001038 REX |= 1 << 3; // set REX.W
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001039
Chris Lattner58827ff2010-02-05 22:10:22 +00001040 if (MI.getNumOperands() == 0) return REX;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001041
Chris Lattner58827ff2010-02-05 22:10:22 +00001042 unsigned NumOps = MI.getNumOperands();
Craig Topper6a7cd422016-03-02 07:32:43 +00001043 unsigned CurOp = X86II::getOperandBias(Desc);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001044
Chris Lattner58827ff2010-02-05 22:10:22 +00001045 // If it accesses SPL, BPL, SIL, or DIL, then it requires a 0x40 REX prefix.
Craig Topper6a7cd422016-03-02 07:32:43 +00001046 for (unsigned i = CurOp; i != NumOps; ++i) {
Chris Lattner58827ff2010-02-05 22:10:22 +00001047 const MCOperand &MO = MI.getOperand(i);
1048 if (!MO.isReg()) continue;
1049 unsigned Reg = MO.getReg();
Douglas Katzmana1403972015-11-11 15:51:16 +00001050 if (Reg == X86::AH || Reg == X86::BH || Reg == X86::CH || Reg == X86::DH)
1051 UsesHighByteReg = true;
Craig Topper45793a12016-08-27 17:13:41 +00001052 if (X86II::isX86_64NonExtLowByteReg(Reg))
1053 // FIXME: The caller of DetermineREXPrefix slaps this prefix onto anything
1054 // that returns non-zero.
1055 REX |= 0x40; // REX fixed encoding prefix
Chris Lattner58827ff2010-02-05 22:10:22 +00001056 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001057
Chris Lattner58827ff2010-02-05 22:10:22 +00001058 switch (TSFlags & X86II::FormMask) {
Craig Topper6a7cd422016-03-02 07:32:43 +00001059 case X86II::AddRegFrm:
Craig Topper6943aa32016-08-27 17:13:43 +00001060 REX |= isREXExtendedReg(MI, CurOp++) << 0; // REX.B
Craig Topper6a7cd422016-03-02 07:32:43 +00001061 break;
Chris Lattner58827ff2010-02-05 22:10:22 +00001062 case X86II::MRMSrcReg:
Craig Topper6943aa32016-08-27 17:13:43 +00001063 REX |= isREXExtendedReg(MI, CurOp++) << 2; // REX.R
1064 REX |= isREXExtendedReg(MI, CurOp++) << 0; // REX.B
Chris Lattner58827ff2010-02-05 22:10:22 +00001065 break;
1066 case X86II::MRMSrcMem: {
Craig Topper6943aa32016-08-27 17:13:43 +00001067 REX |= isREXExtendedReg(MI, CurOp++) << 2; // REX.R
1068 REX |= isREXExtendedReg(MI, MemOperand+X86::AddrBaseReg) << 0; // REX.B
1069 REX |= isREXExtendedReg(MI, MemOperand+X86::AddrIndexReg) << 1; // REX.X
Craig Topper6a7cd422016-03-02 07:32:43 +00001070 CurOp += X86::AddrNumOperands;
Chris Lattner58827ff2010-02-05 22:10:22 +00001071 break;
1072 }
Craig Topper6a7cd422016-03-02 07:32:43 +00001073 case X86II::MRMDestReg:
Craig Topper6943aa32016-08-27 17:13:43 +00001074 REX |= isREXExtendedReg(MI, CurOp++) << 0; // REX.B
1075 REX |= isREXExtendedReg(MI, CurOp++) << 2; // REX.R
Craig Topper6a7cd422016-03-02 07:32:43 +00001076 break;
1077 case X86II::MRMDestMem:
Craig Topper6943aa32016-08-27 17:13:43 +00001078 REX |= isREXExtendedReg(MI, MemOperand+X86::AddrBaseReg) << 0; // REX.B
1079 REX |= isREXExtendedReg(MI, MemOperand+X86::AddrIndexReg) << 1; // REX.X
Craig Topper6a7cd422016-03-02 07:32:43 +00001080 CurOp += X86::AddrNumOperands;
Craig Topper6943aa32016-08-27 17:13:43 +00001081 REX |= isREXExtendedReg(MI, CurOp++) << 2; // REX.R
Craig Topper6a7cd422016-03-02 07:32:43 +00001082 break;
Craig Toppera0869dc2014-02-10 06:55:41 +00001083 case X86II::MRMXm:
Chris Lattner58827ff2010-02-05 22:10:22 +00001084 case X86II::MRM0m: case X86II::MRM1m:
1085 case X86II::MRM2m: case X86II::MRM3m:
1086 case X86II::MRM4m: case X86II::MRM5m:
1087 case X86II::MRM6m: case X86II::MRM7m:
Craig Topper6943aa32016-08-27 17:13:43 +00001088 REX |= isREXExtendedReg(MI, MemOperand+X86::AddrBaseReg) << 0; // REX.B
1089 REX |= isREXExtendedReg(MI, MemOperand+X86::AddrIndexReg) << 1; // REX.X
Craig Topper6a7cd422016-03-02 07:32:43 +00001090 break;
1091 case X86II::MRMXr:
1092 case X86II::MRM0r: case X86II::MRM1r:
1093 case X86II::MRM2r: case X86II::MRM3r:
1094 case X86II::MRM4r: case X86II::MRM5r:
1095 case X86II::MRM6r: case X86II::MRM7r:
Craig Topper6943aa32016-08-27 17:13:43 +00001096 REX |= isREXExtendedReg(MI, CurOp++) << 0; // REX.B
Chris Lattner58827ff2010-02-05 22:10:22 +00001097 break;
1098 }
Douglas Katzmana1403972015-11-11 15:51:16 +00001099 if (REX && UsesHighByteReg)
1100 report_fatal_error("Cannot encode high byte register in REX-prefixed instruction");
1101
Chris Lattner58827ff2010-02-05 22:10:22 +00001102 return REX;
1103}
Chris Lattner6794f9b2010-02-03 21:43:43 +00001104
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +00001105/// EmitSegmentOverridePrefix - Emit segment override opcode prefix as needed
Craig Topper35da3d12014-01-16 07:36:58 +00001106void X86MCCodeEmitter::EmitSegmentOverridePrefix(unsigned &CurByte,
1107 unsigned SegOperand,
1108 const MCInst &MI,
1109 raw_ostream &OS) const {
Craig Topper7c6baa72014-01-06 06:51:58 +00001110 // Check for explicit segment override on memory operand.
Craig Topper35da3d12014-01-16 07:36:58 +00001111 switch (MI.getOperand(SegOperand).getReg()) {
Craig Topper7c6baa72014-01-06 06:51:58 +00001112 default: llvm_unreachable("Unknown segment register!");
1113 case 0: break;
1114 case X86::CS: EmitByte(0x2E, CurByte, OS); break;
1115 case X86::SS: EmitByte(0x36, CurByte, OS); break;
1116 case X86::DS: EmitByte(0x3E, CurByte, OS); break;
1117 case X86::ES: EmitByte(0x26, CurByte, OS); break;
1118 case X86::FS: EmitByte(0x64, CurByte, OS); break;
1119 case X86::GS: EmitByte(0x65, CurByte, OS); break;
Chris Lattner6794f9b2010-02-03 21:43:43 +00001120 }
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +00001121}
1122
Rafael Espindola52bd3302016-05-28 15:51:38 +00001123/// Emit all instruction prefixes prior to the opcode.
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +00001124///
1125/// MemOperand is the operand # of the start of a memory operand if present. If
1126/// Not present, it is -1.
Rafael Espindola52bd3302016-05-28 15:51:38 +00001127///
1128/// Returns true if a REX prefix was used.
1129bool X86MCCodeEmitter::emitOpcodePrefix(uint64_t TSFlags, unsigned &CurByte,
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +00001130 int MemOperand, const MCInst &MI,
Evan Cheng6cc775f2011-06-28 19:10:37 +00001131 const MCInstrDesc &Desc,
David Woodhoused2cca112014-01-28 23:13:25 +00001132 const MCSubtargetInfo &STI,
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +00001133 raw_ostream &OS) const {
Rafael Espindola52bd3302016-05-28 15:51:38 +00001134 bool Ret = false;
Chris Lattner5da7f9f2010-09-29 03:43:43 +00001135 // Emit the operand size opcode prefix as needed.
Craig Topperf655cdd2014-11-11 07:32:32 +00001136 if ((TSFlags & X86II::OpSizeMask) == (is16BitMode(STI) ? X86II::OpSize32
1137 : X86II::OpSize16))
Chris Lattner5da7f9f2010-09-29 03:43:43 +00001138 EmitByte(0x66, CurByte, OS);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001139
JF Bastien388b8792014-12-15 22:34:58 +00001140 // Emit the LOCK opcode prefix.
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001141 if (TSFlags & X86II::LOCK || MI.getFlags() & X86::IP_HAS_LOCK)
JF Bastien388b8792014-12-15 22:34:58 +00001142 EmitByte(0xF0, CurByte, OS);
1143
Oren Ben Simhonfdd72fd2018-03-17 13:29:46 +00001144 // Emit the NOTRACK opcode prefix.
1145 if (TSFlags & X86II::NOTRACK || MI.getFlags() & X86::IP_HAS_NOTRACK)
1146 EmitByte(0x3E, CurByte, OS);
1147
Craig Topper10243c82014-01-31 08:47:06 +00001148 switch (TSFlags & X86II::OpPrefixMask) {
1149 case X86II::PD: // 66
Craig Topperae11aed2014-01-14 07:41:20 +00001150 EmitByte(0x66, CurByte, OS);
Craig Topperae11aed2014-01-14 07:41:20 +00001151 break;
Craig Topper10243c82014-01-31 08:47:06 +00001152 case X86II::XS: // F3
Craig Topper96fa5972011-10-16 16:50:08 +00001153 EmitByte(0xF3, CurByte, OS);
Craig Topper96fa5972011-10-16 16:50:08 +00001154 break;
Craig Topper10243c82014-01-31 08:47:06 +00001155 case X86II::XD: // F2
Craig Topper980d5982011-10-23 07:34:00 +00001156 EmitByte(0xF2, CurByte, OS);
Chris Lattner223084d2010-02-03 21:57:59 +00001157 break;
Chris Lattner223084d2010-02-03 21:57:59 +00001158 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001159
Chris Lattner223084d2010-02-03 21:57:59 +00001160 // Handle REX prefix.
Chris Lattner58827ff2010-02-05 22:10:22 +00001161 // FIXME: Can this come before F2 etc to simplify emission?
David Woodhoused2cca112014-01-28 23:13:25 +00001162 if (is64BitMode(STI)) {
Rafael Espindola52bd3302016-05-28 15:51:38 +00001163 if (uint8_t REX = DetermineREXPrefix(MI, TSFlags, MemOperand, Desc)) {
Chris Lattnerf58d0072010-02-10 06:41:02 +00001164 EmitByte(0x40 | REX, CurByte, OS);
Rafael Espindola52bd3302016-05-28 15:51:38 +00001165 Ret = true;
1166 }
Craig Topper6b129fd2017-12-16 00:33:16 +00001167 } else {
1168 assert(!(TSFlags & X86II::REX_W) && "REX.W requires 64bit mode.");
Chris Lattner223084d2010-02-03 21:57:59 +00001169 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001170
Chris Lattner223084d2010-02-03 21:57:59 +00001171 // 0x0F escape code must be emitted just before the opcode.
Craig Topper10243c82014-01-31 08:47:06 +00001172 switch (TSFlags & X86II::OpMapMask) {
Craig Toppere8656412018-03-24 06:04:12 +00001173 case X86II::TB: // Two-byte opcode map
1174 case X86II::T8: // 0F 38
1175 case X86II::TA: // 0F 3A
1176 case X86II::ThreeDNow: // 0F 0F, second 0F emitted by caller.
Chris Lattnerf58d0072010-02-10 06:41:02 +00001177 EmitByte(0x0F, CurByte, OS);
Craig Topper10243c82014-01-31 08:47:06 +00001178 break;
Craig Topper10243c82014-01-31 08:47:06 +00001179 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001180
Craig Topper10243c82014-01-31 08:47:06 +00001181 switch (TSFlags & X86II::OpMapMask) {
Chris Lattner223084d2010-02-03 21:57:59 +00001182 case X86II::T8: // 0F 38
Chris Lattnerf58d0072010-02-10 06:41:02 +00001183 EmitByte(0x38, CurByte, OS);
Chris Lattner223084d2010-02-03 21:57:59 +00001184 break;
1185 case X86II::TA: // 0F 3A
Chris Lattnerf58d0072010-02-10 06:41:02 +00001186 EmitByte(0x3A, CurByte, OS);
Chris Lattner223084d2010-02-03 21:57:59 +00001187 break;
1188 }
Rafael Espindola52bd3302016-05-28 15:51:38 +00001189 return Ret;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001190}
1191
1192void X86MCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +00001193encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +00001194 SmallVectorImpl<MCFixup> &Fixups,
1195 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001196 unsigned Opcode = MI.getOpcode();
Evan Chengc5e6d2f2011-07-11 03:57:24 +00001197 const MCInstrDesc &Desc = MCII.get(Opcode);
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001198 uint64_t TSFlags = Desc.TSFlags;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001199 unsigned Flags = MI.getFlags();
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001200
Chris Lattner061d70a2010-07-09 00:17:50 +00001201 // Pseudo instructions don't get encoded.
1202 if ((TSFlags & X86II::FormMask) == X86II::Pseudo)
1203 return;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001204
Chris Lattner9f034c12010-07-08 22:28:12 +00001205 unsigned NumOps = Desc.getNumOperands();
Preston Gurdddf96b52013-04-10 20:11:59 +00001206 unsigned CurOp = X86II::getOperandBias(Desc);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001207
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001208 // Keep track of the current byte being emitted.
1209 unsigned CurByte = 0;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001210
Craig Topperd402df32014-02-02 07:08:01 +00001211 // Encoding type for this instruction.
Craig Topperf655cdd2014-11-11 07:32:32 +00001212 uint64_t Encoding = TSFlags & X86II::EncodingMask;
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +00001213
1214 // It uses the VEX.VVVV field?
Craig Topperf655cdd2014-11-11 07:32:32 +00001215 bool HasVEX_4V = TSFlags & X86II::VEX_4V;
Craig Topperca0eda32016-08-22 01:37:19 +00001216 bool HasVEX_I8Reg = (TSFlags & X86II::ImmMask) == X86II::Imm8Reg;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001217
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001218 // It uses the EVEX.aaa field?
Craig Topperf655cdd2014-11-11 07:32:32 +00001219 bool HasEVEX_K = TSFlags & X86II::EVEX_K;
1220 bool HasEVEX_RC = TSFlags & X86II::EVEX_RC;
1221
Craig Toppera2674312016-03-02 06:06:18 +00001222 // Used if a register is encoded in 7:4 of immediate.
1223 unsigned I8RegNum = 0;
1224
Chris Lattner9f034c12010-07-08 22:28:12 +00001225 // Determine where the memory operand starts, if present.
Craig Topper477649a2016-04-28 05:58:46 +00001226 int MemoryOperand = X86II::getMemoryOperandNo(TSFlags);
Chris Lattner9f034c12010-07-08 22:28:12 +00001227 if (MemoryOperand != -1) MemoryOperand += CurOp;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001228
Craig Topper327f13b2014-01-31 05:33:45 +00001229 // Emit segment override opcode prefix as needed.
1230 if (MemoryOperand >= 0)
1231 EmitSegmentOverridePrefix(CurByte, MemoryOperand+X86::AddrSegmentReg,
1232 MI, OS);
1233
1234 // Emit the repeat opcode prefix as needed.
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001235 if (TSFlags & X86II::REP || Flags & X86::IP_HAS_REPEAT)
Craig Topper327f13b2014-01-31 05:33:45 +00001236 EmitByte(0xF3, CurByte, OS);
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001237 if (Flags & X86::IP_HAS_REPEAT_NE)
1238 EmitByte(0xF2, CurByte, OS);
Craig Topper327f13b2014-01-31 05:33:45 +00001239
1240 // Emit the address size opcode prefix as needed.
1241 bool need_address_override;
Craig Topperb86338f2014-12-24 06:05:22 +00001242 uint64_t AdSize = TSFlags & X86II::AdSizeMask;
1243 if ((is16BitMode(STI) && AdSize == X86II::AdSize32) ||
1244 (is32BitMode(STI) && AdSize == X86II::AdSize16) ||
1245 (is64BitMode(STI) && AdSize == X86II::AdSize32)) {
Craig Topper327f13b2014-01-31 05:33:45 +00001246 need_address_override = true;
1247 } else if (MemoryOperand < 0) {
1248 need_address_override = false;
1249 } else if (is64BitMode(STI)) {
1250 assert(!Is16BitMemOperand(MI, MemoryOperand, STI));
1251 need_address_override = Is32BitMemOperand(MI, MemoryOperand);
1252 } else if (is32BitMode(STI)) {
1253 assert(!Is64BitMemOperand(MI, MemoryOperand));
1254 need_address_override = Is16BitMemOperand(MI, MemoryOperand, STI);
1255 } else {
1256 assert(is16BitMode(STI));
1257 assert(!Is64BitMemOperand(MI, MemoryOperand));
1258 need_address_override = !Is16BitMemOperand(MI, MemoryOperand, STI);
1259 }
1260
1261 if (need_address_override)
1262 EmitByte(0x67, CurByte, OS);
1263
Rafael Espindola52bd3302016-05-28 15:51:38 +00001264 bool Rex = false;
Craig Topperd402df32014-02-02 07:08:01 +00001265 if (Encoding == 0)
Rafael Espindola52bd3302016-05-28 15:51:38 +00001266 Rex = emitOpcodePrefix(TSFlags, CurByte, MemoryOperand, MI, Desc, STI, OS);
Chris Lattner9f034c12010-07-08 22:28:12 +00001267 else
Bruno Cardoso Lopese6cc0d32010-07-09 00:38:14 +00001268 EmitVEXOpcodePrefix(TSFlags, CurByte, MemoryOperand, MI, Desc, OS);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001269
Craig Topper5e038cf2016-03-06 08:12:42 +00001270 uint8_t BaseOpcode = X86II::getBaseOpcodeFor(TSFlags);
Bruno Cardoso Lopes60aa85b2011-09-20 21:45:26 +00001271
Craig Toppere8656412018-03-24 06:04:12 +00001272 if ((TSFlags & X86II::OpMapMask) == X86II::ThreeDNow)
Chris Lattner45270db2010-10-03 18:08:05 +00001273 BaseOpcode = 0x0F; // Weird 3DNow! encoding.
Bruno Cardoso Lopes60aa85b2011-09-20 21:45:26 +00001274
Craig Topper073e9472016-03-01 07:15:59 +00001275 uint64_t Form = TSFlags & X86II::FormMask;
1276 switch (Form) {
1277 default: errs() << "FORM: " << Form << "\n";
Craig Topper4ed72782012-02-05 05:38:58 +00001278 llvm_unreachable("Unknown FormMask value in X86MCCodeEmitter!");
Chris Lattner061d70a2010-07-09 00:17:50 +00001279 case X86II::Pseudo:
Craig Topper4ed72782012-02-05 05:38:58 +00001280 llvm_unreachable("Pseudo instruction shouldn't be emitted");
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00001281 case X86II::RawFrmDstSrc: {
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00001282 unsigned siReg = MI.getOperand(1).getReg();
David Woodhouse7a7c1922014-01-22 15:31:32 +00001283 assert(((siReg == X86::SI && MI.getOperand(0).getReg() == X86::DI) ||
1284 (siReg == X86::ESI && MI.getOperand(0).getReg() == X86::EDI) ||
1285 (siReg == X86::RSI && MI.getOperand(0).getReg() == X86::RDI)) &&
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00001286 "SI and DI register sizes do not match");
1287 // Emit segment override opcode prefix as needed (not for %ds).
1288 if (MI.getOperand(2).getReg() != X86::DS)
1289 EmitSegmentOverridePrefix(CurByte, 2, MI, OS);
Craig Topperfa6298a2014-02-02 09:25:09 +00001290 // Emit AdSize prefix as needed.
David Woodhoused2cca112014-01-28 23:13:25 +00001291 if ((!is32BitMode(STI) && siReg == X86::ESI) ||
1292 (is32BitMode(STI) && siReg == X86::SI))
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00001293 EmitByte(0x67, CurByte, OS);
1294 CurOp += 3; // Consume operands.
1295 EmitByte(BaseOpcode, CurByte, OS);
1296 break;
1297 }
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001298 case X86II::RawFrmSrc: {
1299 unsigned siReg = MI.getOperand(0).getReg();
1300 // Emit segment override opcode prefix as needed (not for %ds).
1301 if (MI.getOperand(1).getReg() != X86::DS)
1302 EmitSegmentOverridePrefix(CurByte, 1, MI, OS);
Craig Topperfa6298a2014-02-02 09:25:09 +00001303 // Emit AdSize prefix as needed.
David Woodhoused2cca112014-01-28 23:13:25 +00001304 if ((!is32BitMode(STI) && siReg == X86::ESI) ||
1305 (is32BitMode(STI) && siReg == X86::SI))
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001306 EmitByte(0x67, CurByte, OS);
1307 CurOp += 2; // Consume operands.
1308 EmitByte(BaseOpcode, CurByte, OS);
1309 break;
1310 }
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001311 case X86II::RawFrmDst: {
1312 unsigned siReg = MI.getOperand(0).getReg();
Craig Topperfa6298a2014-02-02 09:25:09 +00001313 // Emit AdSize prefix as needed.
David Woodhoused2cca112014-01-28 23:13:25 +00001314 if ((!is32BitMode(STI) && siReg == X86::EDI) ||
1315 (is32BitMode(STI) && siReg == X86::DI))
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001316 EmitByte(0x67, CurByte, OS);
1317 ++CurOp; // Consume operand.
1318 EmitByte(BaseOpcode, CurByte, OS);
1319 break;
1320 }
George Rimarda4f43a42018-02-20 10:17:57 +00001321 case X86II::RawFrm: {
Chris Lattnerf58d0072010-02-10 06:41:02 +00001322 EmitByte(BaseOpcode, CurByte, OS);
George Rimarda4f43a42018-02-20 10:17:57 +00001323
1324 if (!is64BitMode(STI) || !isPCRel32Branch(MI))
1325 break;
1326
1327 const MCOperand &Op = MI.getOperand(CurOp++);
1328 EmitImmediate(Op, MI.getLoc(), X86II::getSizeOfImm(TSFlags),
1329 MCFixupKind(X86::reloc_branch_4byte_pcrel), CurByte, OS,
1330 Fixups);
Chris Lattner223084d2010-02-03 21:57:59 +00001331 break;
George Rimarda4f43a42018-02-20 10:17:57 +00001332 }
Craig Topper35da3d12014-01-16 07:36:58 +00001333 case X86II::RawFrmMemOffs:
1334 // Emit segment override opcode prefix as needed.
1335 EmitSegmentOverridePrefix(CurByte, 1, MI, OS);
1336 EmitByte(BaseOpcode, CurByte, OS);
1337 EmitImmediate(MI.getOperand(CurOp++), MI.getLoc(),
1338 X86II::getSizeOfImm(TSFlags), getImmFixupKind(TSFlags),
1339 CurByte, OS, Fixups);
1340 ++CurOp; // skip segment operand
1341 break;
Chris Lattnercea0a8d2010-09-17 18:02:29 +00001342 case X86II::RawFrmImm8:
1343 EmitByte(BaseOpcode, CurByte, OS);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00001344 EmitImmediate(MI.getOperand(CurOp++), MI.getLoc(),
Chris Lattnercea0a8d2010-09-17 18:02:29 +00001345 X86II::getSizeOfImm(TSFlags), getImmFixupKind(TSFlags),
1346 CurByte, OS, Fixups);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00001347 EmitImmediate(MI.getOperand(CurOp++), MI.getLoc(), 1, FK_Data_1, CurByte,
1348 OS, Fixups);
Chris Lattnercea0a8d2010-09-17 18:02:29 +00001349 break;
Chris Lattnerf5477402010-08-19 01:18:43 +00001350 case X86II::RawFrmImm16:
1351 EmitByte(BaseOpcode, CurByte, OS);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00001352 EmitImmediate(MI.getOperand(CurOp++), MI.getLoc(),
Chris Lattnerf5477402010-08-19 01:18:43 +00001353 X86II::getSizeOfImm(TSFlags), getImmFixupKind(TSFlags),
1354 CurByte, OS, Fixups);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00001355 EmitImmediate(MI.getOperand(CurOp++), MI.getLoc(), 2, FK_Data_2, CurByte,
1356 OS, Fixups);
Chris Lattnerf5477402010-08-19 01:18:43 +00001357 break;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001358
Chris Lattner6bb24632010-02-11 07:06:31 +00001359 case X86II::AddRegFrm:
Chris Lattnerf58d0072010-02-10 06:41:02 +00001360 EmitByte(BaseOpcode + GetX86RegNum(MI.getOperand(CurOp++)), CurByte, OS);
Chris Lattner4f627ba2010-02-05 01:53:19 +00001361 break;
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001362
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001363 case X86II::MRMDestReg: {
Chris Lattnerf58d0072010-02-10 06:41:02 +00001364 EmitByte(BaseOpcode, CurByte, OS);
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001365 unsigned SrcRegNum = CurOp + 1;
Craig Topper612f7bf2013-03-16 03:44:31 +00001366
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001367 if (HasEVEX_K) // Skip writemask
Craig Topperb8c29b42016-03-01 06:42:46 +00001368 ++SrcRegNum;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001369
Craig Topper612f7bf2013-03-16 03:44:31 +00001370 if (HasVEX_4V) // Skip 1st src (which is encoded in VEX_VVVV)
1371 ++SrcRegNum;
1372
Chris Lattner4f627ba2010-02-05 01:53:19 +00001373 EmitRegModRMByte(MI.getOperand(CurOp),
Craig Topper612f7bf2013-03-16 03:44:31 +00001374 GetX86RegNum(MI.getOperand(SrcRegNum)), CurByte, OS);
1375 CurOp = SrcRegNum + 1;
Chris Lattner4f627ba2010-02-05 01:53:19 +00001376 break;
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001377 }
1378 case X86II::MRMDestMem: {
Chris Lattnerf58d0072010-02-10 06:41:02 +00001379 EmitByte(BaseOpcode, CurByte, OS);
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001380 unsigned SrcRegNum = CurOp + X86::AddrNumOperands;
Bruno Cardoso Lopes3ceaf7a2010-07-21 02:46:58 +00001381
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001382 if (HasEVEX_K) // Skip writemask
Craig Topperb8c29b42016-03-01 06:42:46 +00001383 ++SrcRegNum;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001384
Bruno Cardoso Lopes3ceaf7a2010-07-21 02:46:58 +00001385 if (HasVEX_4V) // Skip 1st src (which is encoded in VEX_VVVV)
Craig Topper1964b6d2012-05-19 19:14:18 +00001386 ++SrcRegNum;
Bruno Cardoso Lopes3ceaf7a2010-07-21 02:46:58 +00001387
Rafael Espindola52bd3302016-05-28 15:51:38 +00001388 emitMemModRMByte(MI, CurOp, GetX86RegNum(MI.getOperand(SrcRegNum)), TSFlags,
1389 Rex, CurByte, OS, Fixups, STI);
Bruno Cardoso Lopes3ceaf7a2010-07-21 02:46:58 +00001390 CurOp = SrcRegNum + 1;
Chris Lattner610c84a2010-02-05 02:18:40 +00001391 break;
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001392 }
1393 case X86II::MRMSrcReg: {
Chris Lattnerf58d0072010-02-10 06:41:02 +00001394 EmitByte(BaseOpcode, CurByte, OS);
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001395 unsigned SrcRegNum = CurOp + 1;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001396
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001397 if (HasEVEX_K) // Skip writemask
Craig Topperb8c29b42016-03-01 06:42:46 +00001398 ++SrcRegNum;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001399
Craig Topperaea148c2011-10-16 07:55:05 +00001400 if (HasVEX_4V) // Skip 1st src (which is encoded in VEX_VVVV)
Craig Topper1964b6d2012-05-19 19:14:18 +00001401 ++SrcRegNum;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +00001402
1403 EmitRegModRMByte(MI.getOperand(SrcRegNum),
1404 GetX86RegNum(MI.getOperand(CurOp)), CurByte, OS);
Craig Toppera2674312016-03-02 06:06:18 +00001405 CurOp = SrcRegNum + 1;
Craig Topper9b20fec2016-08-22 07:38:45 +00001406 if (HasVEX_I8Reg)
Craig Topper581c0082016-03-06 08:12:47 +00001407 I8RegNum = getX86RegEncoding(MI, CurOp++);
Elena Demikhovskyde3f7512014-01-01 15:12:34 +00001408 // do not count the rounding control operand
Elena Demikhovskyb19c9dc2014-01-13 12:55:03 +00001409 if (HasEVEX_RC)
Craig Topperb8c29b42016-03-01 06:42:46 +00001410 --NumOps;
Chris Lattner37166eb2010-02-05 19:04:37 +00001411 break;
Craig Topper5c8dc5f2016-03-01 06:42:48 +00001412 }
Craig Topper5f8419d2016-08-22 07:38:50 +00001413 case X86II::MRMSrcReg4VOp3: {
1414 EmitByte(BaseOpcode, CurByte, OS);
1415 unsigned SrcRegNum = CurOp + 1;
1416
1417 EmitRegModRMByte(MI.getOperand(SrcRegNum),
1418 GetX86RegNum(MI.getOperand(CurOp)), CurByte, OS);
1419 CurOp = SrcRegNum + 1;
1420 ++CurOp; // Encoded in VEX.VVVV
1421 break;
1422 }
Craig Topper9b20fec2016-08-22 07:38:45 +00001423 case X86II::MRMSrcRegOp4: {
1424 EmitByte(BaseOpcode, CurByte, OS);
1425 unsigned SrcRegNum = CurOp + 1;
1426
1427 // Skip 1st src (which is encoded in VEX_VVVV)
1428 ++SrcRegNum;
1429
1430 // Capture 2nd src (which is encoded in Imm[7:4])
1431 assert(HasVEX_I8Reg && "MRMSrcRegOp4 should imply VEX_I8Reg");
1432 I8RegNum = getX86RegEncoding(MI, SrcRegNum++);
1433
1434 EmitRegModRMByte(MI.getOperand(SrcRegNum),
1435 GetX86RegNum(MI.getOperand(CurOp)), CurByte, OS);
1436 CurOp = SrcRegNum + 1;
1437 break;
1438 }
Chris Lattner37166eb2010-02-05 19:04:37 +00001439 case X86II::MRMSrcMem: {
Chris Lattnere808a782010-06-19 00:34:00 +00001440 unsigned FirstMemOp = CurOp+1;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001441
Craig Toppera2674312016-03-02 06:06:18 +00001442 if (HasEVEX_K) // Skip writemask
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001443 ++FirstMemOp;
Elena Demikhovskyb1266b52013-08-01 13:34:06 +00001444
Craig Toppera2674312016-03-02 06:06:18 +00001445 if (HasVEX_4V)
Chris Lattnere808a782010-06-19 00:34:00 +00001446 ++FirstMemOp; // Skip the register source (which is encoded in VEX_VVVV).
Craig Toppera2674312016-03-02 06:06:18 +00001447
Chris Lattnere808a782010-06-19 00:34:00 +00001448 EmitByte(BaseOpcode, CurByte, OS);
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001449
Rafael Espindola52bd3302016-05-28 15:51:38 +00001450 emitMemModRMByte(MI, FirstMemOp, GetX86RegNum(MI.getOperand(CurOp)),
1451 TSFlags, Rex, CurByte, OS, Fixups, STI);
Craig Toppera2674312016-03-02 06:06:18 +00001452 CurOp = FirstMemOp + X86::AddrNumOperands;
Craig Topper9b20fec2016-08-22 07:38:45 +00001453 if (HasVEX_I8Reg)
Craig Topper581c0082016-03-06 08:12:47 +00001454 I8RegNum = getX86RegEncoding(MI, CurOp++);
Chris Lattner37166eb2010-02-05 19:04:37 +00001455 break;
1456 }
Craig Topper5f8419d2016-08-22 07:38:50 +00001457 case X86II::MRMSrcMem4VOp3: {
1458 unsigned FirstMemOp = CurOp+1;
1459
1460 EmitByte(BaseOpcode, CurByte, OS);
1461
1462 emitMemModRMByte(MI, FirstMemOp, GetX86RegNum(MI.getOperand(CurOp)),
1463 TSFlags, Rex, CurByte, OS, Fixups, STI);
1464 CurOp = FirstMemOp + X86::AddrNumOperands;
1465 ++CurOp; // Encoded in VEX.VVVV.
1466 break;
1467 }
Craig Topper9b20fec2016-08-22 07:38:45 +00001468 case X86II::MRMSrcMemOp4: {
1469 unsigned FirstMemOp = CurOp+1;
1470
1471 ++FirstMemOp; // Skip the register source (which is encoded in VEX_VVVV).
1472
1473 // Capture second register source (encoded in Imm[7:4])
1474 assert(HasVEX_I8Reg && "MRMSrcRegOp4 should imply VEX_I8Reg");
1475 I8RegNum = getX86RegEncoding(MI, FirstMemOp++);
1476
1477 EmitByte(BaseOpcode, CurByte, OS);
1478
1479 emitMemModRMByte(MI, FirstMemOp, GetX86RegNum(MI.getOperand(CurOp)),
1480 TSFlags, Rex, CurByte, OS, Fixups, STI);
1481 CurOp = FirstMemOp + X86::AddrNumOperands;
1482 break;
1483 }
Chris Lattner89f7dff2010-02-05 19:37:31 +00001484
Craig Toppera0869dc2014-02-10 06:55:41 +00001485 case X86II::MRMXr:
Chris Lattner89f7dff2010-02-05 19:37:31 +00001486 case X86II::MRM0r: case X86II::MRM1r:
1487 case X86II::MRM2r: case X86II::MRM3r:
1488 case X86II::MRM4r: case X86II::MRM5r:
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001489 case X86II::MRM6r: case X86II::MRM7r:
Bruno Cardoso Lopes2e2caef2010-06-30 01:58:37 +00001490 if (HasVEX_4V) // Skip the register dst (which is encoded in VEX_VVVV).
Craig Topper1964b6d2012-05-19 19:14:18 +00001491 ++CurOp;
Elena Demikhovsky8e8fde82014-05-12 07:18:51 +00001492 if (HasEVEX_K) // Skip writemask
1493 ++CurOp;
Chris Lattnerf58d0072010-02-10 06:41:02 +00001494 EmitByte(BaseOpcode, CurByte, OS);
Chris Lattner064e9262010-02-12 23:54:57 +00001495 EmitRegModRMByte(MI.getOperand(CurOp++),
Craig Toppera0869dc2014-02-10 06:55:41 +00001496 (Form == X86II::MRMXr) ? 0 : Form-X86II::MRM0r,
Chris Lattner064e9262010-02-12 23:54:57 +00001497 CurByte, OS);
Chris Lattner89f7dff2010-02-05 19:37:31 +00001498 break;
Craig Toppera0869dc2014-02-10 06:55:41 +00001499
1500 case X86II::MRMXm:
Chris Lattner89f7dff2010-02-05 19:37:31 +00001501 case X86II::MRM0m: case X86II::MRM1m:
1502 case X86II::MRM2m: case X86II::MRM3m:
1503 case X86II::MRM4m: case X86II::MRM5m:
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001504 case X86II::MRM6m: case X86II::MRM7m:
Craig Topper27ad1252011-10-15 20:46:47 +00001505 if (HasVEX_4V) // Skip the register dst (which is encoded in VEX_VVVV).
Craig Topper1964b6d2012-05-19 19:14:18 +00001506 ++CurOp;
Elena Demikhovsky8e8fde82014-05-12 07:18:51 +00001507 if (HasEVEX_K) // Skip writemask
1508 ++CurOp;
Chris Lattnerf58d0072010-02-10 06:41:02 +00001509 EmitByte(BaseOpcode, CurByte, OS);
Rafael Espindola52bd3302016-05-28 15:51:38 +00001510 emitMemModRMByte(MI, CurOp,
1511 (Form == X86II::MRMXm) ? 0 : Form - X86II::MRM0m, TSFlags,
1512 Rex, CurByte, OS, Fixups, STI);
Chris Lattnerec536272010-07-08 22:41:28 +00001513 CurOp += X86::AddrNumOperands;
Chris Lattner89f7dff2010-02-05 19:37:31 +00001514 break;
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001515
Craig Topper0d1fd552014-02-19 05:34:21 +00001516 case X86II::MRM_C0: case X86II::MRM_C1: case X86II::MRM_C2:
Craig Toppera3776de2015-02-15 04:16:44 +00001517 case X86II::MRM_C3: case X86II::MRM_C4: case X86II::MRM_C5:
1518 case X86II::MRM_C6: case X86II::MRM_C7: case X86II::MRM_C8:
Craig Topper0d1fd552014-02-19 05:34:21 +00001519 case X86II::MRM_C9: case X86II::MRM_CA: case X86II::MRM_CB:
Craig Toppera3776de2015-02-15 04:16:44 +00001520 case X86II::MRM_CC: case X86II::MRM_CD: case X86II::MRM_CE:
Kevin Enderby0d928a12014-07-31 23:57:38 +00001521 case X86II::MRM_CF: case X86II::MRM_D0: case X86II::MRM_D1:
Craig Toppera3776de2015-02-15 04:16:44 +00001522 case X86II::MRM_D2: case X86II::MRM_D3: case X86II::MRM_D4:
1523 case X86II::MRM_D5: case X86II::MRM_D6: case X86II::MRM_D7:
1524 case X86II::MRM_D8: case X86II::MRM_D9: case X86II::MRM_DA:
1525 case X86II::MRM_DB: case X86II::MRM_DC: case X86II::MRM_DD:
1526 case X86II::MRM_DE: case X86II::MRM_DF: case X86II::MRM_E0:
1527 case X86II::MRM_E1: case X86II::MRM_E2: case X86II::MRM_E3:
1528 case X86II::MRM_E4: case X86II::MRM_E5: case X86II::MRM_E6:
1529 case X86II::MRM_E7: case X86II::MRM_E8: case X86II::MRM_E9:
1530 case X86II::MRM_EA: case X86II::MRM_EB: case X86II::MRM_EC:
1531 case X86II::MRM_ED: case X86II::MRM_EE: case X86II::MRM_EF:
1532 case X86II::MRM_F0: case X86II::MRM_F1: case X86II::MRM_F2:
1533 case X86II::MRM_F3: case X86II::MRM_F4: case X86II::MRM_F5:
1534 case X86II::MRM_F6: case X86II::MRM_F7: case X86II::MRM_F8:
1535 case X86II::MRM_F9: case X86II::MRM_FA: case X86II::MRM_FB:
1536 case X86II::MRM_FC: case X86II::MRM_FD: case X86II::MRM_FE:
1537 case X86II::MRM_FF:
Chris Lattnerf7477e52010-02-12 02:06:33 +00001538 EmitByte(BaseOpcode, CurByte, OS);
Craig Toppera3776de2015-02-15 04:16:44 +00001539 EmitByte(0xC0 + Form - X86II::MRM_C0, CurByte, OS);
Rafael Espindolae3906212011-02-22 00:35:18 +00001540 break;
Chris Lattner89f7dff2010-02-05 19:37:31 +00001541 }
Bruno Cardoso Lopesb652c1a2010-07-09 00:07:19 +00001542
Craig Topperca0eda32016-08-22 01:37:19 +00001543 if (HasVEX_I8Reg) {
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +00001544 // The last source register of a 4 operand instruction in AVX is encoded
Jan Sjödin6dd24882011-12-12 19:12:26 +00001545 // in bits[7:4] of a immediate byte.
Craig Toppera2674312016-03-02 06:06:18 +00001546 assert(I8RegNum < 16 && "Register encoding out of range");
1547 I8RegNum <<= 4;
1548 if (CurOp != NumOps) {
1549 unsigned Val = MI.getOperand(CurOp++).getImm();
1550 assert(Val < 16 && "Immediate operand value out of range");
1551 I8RegNum |= Val;
1552 }
1553 EmitImmediate(MCOperand::createImm(I8RegNum), MI.getLoc(), 1, FK_Data_1,
1554 CurByte, OS, Fixups);
1555 } else {
1556 // If there is a remaining operand, it must be a trailing immediate. Emit it
1557 // according to the right size for the instruction. Some instructions
1558 // (SSE4a extrq and insertq) have two trailing immediates.
1559 while (CurOp != NumOps && NumOps - CurOp <= 2) {
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00001560 EmitImmediate(MI.getOperand(CurOp++), MI.getLoc(),
David Woodhouse0b6c9492014-01-30 22:20:41 +00001561 X86II::getSizeOfImm(TSFlags), getImmFixupKind(TSFlags),
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +00001562 CurByte, OS, Fixups);
Rafael Espindola70d6e0e2010-09-30 03:11:42 +00001563 }
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +00001564 }
1565
Craig Toppere8656412018-03-24 06:04:12 +00001566 if ((TSFlags & X86II::OpMapMask) == X86II::ThreeDNow)
Chris Lattner45270db2010-10-03 18:08:05 +00001567 EmitByte(X86II::getBaseOpcodeFor(TSFlags), CurByte, OS);
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +00001568
Chris Lattner4f627ba2010-02-05 01:53:19 +00001569#ifndef NDEBUG
Chris Lattner89f7dff2010-02-05 19:37:31 +00001570 // FIXME: Verify.
1571 if (/*!Desc.isVariadic() &&*/ CurOp != NumOps) {
Chris Lattner4f627ba2010-02-05 01:53:19 +00001572 errs() << "Cannot encode all operands of: ";
1573 MI.dump();
1574 errs() << '\n';
1575 abort();
1576 }
1577#endif
Chris Lattnerf914be02010-02-03 21:24:49 +00001578}
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001579
1580MCCodeEmitter *llvm::createX86MCCodeEmitter(const MCInstrInfo &MCII,
1581 const MCRegisterInfo &MRI,
1582 MCContext &Ctx) {
1583 return new X86MCCodeEmitter(MCII, Ctx);
1584}