blob: 96ab70a29a371f59f02955215debb9aaaefd5b21 [file] [log] [blame]
Chris Lattner74f4ca72009-09-02 17:35:12 +00001//===-- X86MCInstLower.cpp - Convert X86 MachineInstr to an MCInst --------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains code to lower X86 MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner5159bbaf2009-09-20 07:41:30 +000015#include "X86AsmPrinter.h"
NAKAMURA Takumi1db59952014-06-25 12:41:52 +000016#include "X86RegisterInfo.h"
Craig Topperb25fda92012-03-17 18:46:09 +000017#include "InstPrinter/X86ATTInstPrinter.h"
Craig Topperc6d4efa2014-03-19 06:53:25 +000018#include "MCTargetDesc/X86BaseInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/SmallString.h"
Craig Topperc6d4efa2014-03-19 06:53:25 +000020#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner05f40392009-09-16 06:25:03 +000021#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Andrew Trick153ebe62013-10-31 22:11:56 +000022#include "llvm/CodeGen/StackMaps.h"
Craig Topperc6d4efa2014-03-19 06:53:25 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/GlobalValue.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000025#include "llvm/IR/Mangler.h"
Evan Cheng1705ab02011-07-14 23:50:31 +000026#include "llvm/MC/MCAsmInfo.h"
Lang Hamesf49bc3f2014-07-24 20:40:55 +000027#include "llvm/MC/MCCodeEmitter.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000028#include "llvm/MC/MCContext.h"
29#include "llvm/MC/MCExpr.h"
30#include "llvm/MC/MCInst.h"
Benjamin Kramer4e629f72012-11-26 13:34:22 +000031#include "llvm/MC/MCInstBuilder.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000032#include "llvm/MC/MCStreamer.h"
Chris Lattnere397df72010-03-12 19:42:40 +000033#include "llvm/MC/MCSymbol.h"
Lang Hamesf49bc3f2014-07-24 20:40:55 +000034#include "llvm/Support/TargetRegistry.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000035using namespace llvm;
36
Craig Topper2a3f7752012-10-16 06:01:50 +000037namespace {
38
39/// X86MCInstLower - This class is used to lower an MachineInstr into an MCInst.
40class X86MCInstLower {
41 MCContext &Ctx;
Craig Topper2a3f7752012-10-16 06:01:50 +000042 const MachineFunction &MF;
43 const TargetMachine &TM;
44 const MCAsmInfo &MAI;
45 X86AsmPrinter &AsmPrinter;
46public:
Rafael Espindola38c2e652013-10-29 16:11:22 +000047 X86MCInstLower(const MachineFunction &MF, X86AsmPrinter &asmprinter);
Craig Topper2a3f7752012-10-16 06:01:50 +000048
49 void Lower(const MachineInstr *MI, MCInst &OutMI) const;
50
51 MCSymbol *GetSymbolFromOperand(const MachineOperand &MO) const;
52 MCOperand LowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym) const;
53
54private:
55 MachineModuleInfoMachO &getMachOMMI() const;
Rafael Espindola38c2e652013-10-29 16:11:22 +000056 Mangler *getMang() const {
57 return AsmPrinter.Mang;
58 }
Craig Topper2a3f7752012-10-16 06:01:50 +000059};
60
61} // end anonymous namespace
62
Lang Hamesf49bc3f2014-07-24 20:40:55 +000063// Emit a minimal sequence of nops spanning NumBytes bytes.
64static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit,
65 const MCSubtargetInfo &STI);
66
67namespace llvm {
68 X86AsmPrinter::StackMapShadowTracker::StackMapShadowTracker(TargetMachine &TM)
Lang Hames54326492014-07-25 02:29:19 +000069 : TM(TM), InShadow(false), RequiredShadowSize(0), CurrentShadowSize(0) {}
Lang Hamesf49bc3f2014-07-24 20:40:55 +000070
71 X86AsmPrinter::StackMapShadowTracker::~StackMapShadowTracker() {}
72
73 void
74 X86AsmPrinter::StackMapShadowTracker::startFunction(MachineFunction &MF) {
75 CodeEmitter.reset(TM.getTarget().createMCCodeEmitter(*TM.getInstrInfo(),
76 *TM.getRegisterInfo(),
77 *TM.getSubtargetImpl(),
78 MF.getContext()));
79 }
80
81 void X86AsmPrinter::StackMapShadowTracker::count(MCInst &Inst,
82 const MCSubtargetInfo &STI) {
Lang Hames54326492014-07-25 02:29:19 +000083 if (InShadow) {
Lang Hamesf49bc3f2014-07-24 20:40:55 +000084 SmallString<256> Code;
85 SmallVector<MCFixup, 4> Fixups;
86 raw_svector_ostream VecOS(Code);
87 CodeEmitter->EncodeInstruction(Inst, VecOS, Fixups, STI);
88 VecOS.flush();
89 CurrentShadowSize += Code.size();
90 if (CurrentShadowSize >= RequiredShadowSize)
Lang Hames54326492014-07-25 02:29:19 +000091 InShadow = false; // The shadow is big enough. Stop counting.
Lang Hamesf49bc3f2014-07-24 20:40:55 +000092 }
93 }
94
95 void X86AsmPrinter::StackMapShadowTracker::emitShadowPadding(
96 MCStreamer &OutStreamer, const MCSubtargetInfo &STI) {
Lang Hames54326492014-07-25 02:29:19 +000097 if (InShadow && CurrentShadowSize < RequiredShadowSize) {
98 InShadow = false;
Lang Hamesf49bc3f2014-07-24 20:40:55 +000099 EmitNops(OutStreamer, RequiredShadowSize - CurrentShadowSize,
100 TM.getSubtarget<X86Subtarget>().is64Bit(), STI);
Lang Hames54326492014-07-25 02:29:19 +0000101 }
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000102 }
103
104 void X86AsmPrinter::EmitAndCountInstruction(MCInst &Inst) {
105 OutStreamer.EmitInstruction(Inst, getSubtargetInfo());
106 SMShadowTracker.count(Inst, getSubtargetInfo());
107 }
108} // end llvm namespace
109
Rafael Espindola38c2e652013-10-29 16:11:22 +0000110X86MCInstLower::X86MCInstLower(const MachineFunction &mf,
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000111 X86AsmPrinter &asmprinter)
Rafael Espindola38c2e652013-10-29 16:11:22 +0000112: Ctx(mf.getContext()), MF(mf), TM(mf.getTarget()),
Chris Lattner41ff5d42010-07-20 22:45:33 +0000113 MAI(*TM.getMCAsmInfo()), AsmPrinter(asmprinter) {}
Chris Lattner31722082009-09-12 20:34:57 +0000114
Chris Lattner05f40392009-09-16 06:25:03 +0000115MachineModuleInfoMachO &X86MCInstLower::getMachOMMI() const {
Chris Lattner7fbdd7c2010-07-20 22:26:07 +0000116 return MF.getMMI().getObjFileInfo<MachineModuleInfoMachO>();
Chris Lattner05f40392009-09-16 06:25:03 +0000117}
118
Chris Lattner31722082009-09-12 20:34:57 +0000119
Chris Lattnerd9d71862010-02-08 23:03:41 +0000120/// GetSymbolFromOperand - Lower an MO_GlobalAddress or MO_ExternalSymbol
121/// operand to an MCSymbol.
Chris Lattner31722082009-09-12 20:34:57 +0000122MCSymbol *X86MCInstLower::
Chris Lattnerd9d71862010-02-08 23:03:41 +0000123GetSymbolFromOperand(const MachineOperand &MO) const {
Rafael Espindola58873562014-01-03 19:21:54 +0000124 const DataLayout *DL = TM.getDataLayout();
Michael Liao6f720612012-10-17 02:22:27 +0000125 assert((MO.isGlobal() || MO.isSymbol() || MO.isMBB()) && "Isn't a symbol reference");
Chris Lattnerd9d71862010-02-08 23:03:41 +0000126
Chris Lattner35ed98a2009-09-11 05:58:44 +0000127 SmallString<128> Name;
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000128 StringRef Suffix;
129
130 switch (MO.getTargetFlags()) {
131 case X86II::MO_DLLIMPORT:
132 // Handle dllimport linkage.
133 Name += "__imp_";
134 break;
135 case X86II::MO_DARWIN_STUB:
136 Suffix = "$stub";
137 break;
138 case X86II::MO_DARWIN_NONLAZY:
139 case X86II::MO_DARWIN_NONLAZY_PIC_BASE:
140 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
141 Suffix = "$non_lazy_ptr";
142 break;
143 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000144
Rafael Espindola01d19d022013-12-05 05:19:12 +0000145 if (!Suffix.empty())
Rafael Espindola58873562014-01-03 19:21:54 +0000146 Name += DL->getPrivateGlobalPrefix();
Rafael Espindola01d19d022013-12-05 05:19:12 +0000147
148 unsigned PrefixLen = Name.size();
149
Michael Liao6f720612012-10-17 02:22:27 +0000150 if (MO.isGlobal()) {
Chris Lattnere397df72010-03-12 19:42:40 +0000151 const GlobalValue *GV = MO.getGlobal();
Rafael Espindoladaeafb42014-02-19 17:23:20 +0000152 AsmPrinter.getNameWithPrefix(Name, GV);
Michael Liao6f720612012-10-17 02:22:27 +0000153 } else if (MO.isSymbol()) {
Rafael Espindola3e3a3f12013-11-28 08:59:52 +0000154 getMang()->getNameWithPrefix(Name, MO.getSymbolName());
Michael Liao6f720612012-10-17 02:22:27 +0000155 } else if (MO.isMBB()) {
156 Name += MO.getMBB()->getSymbol()->getName();
Chris Lattner17ec6b12009-09-20 06:45:52 +0000157 }
Rafael Espindola01d19d022013-12-05 05:19:12 +0000158 unsigned OrigLen = Name.size() - PrefixLen;
Chris Lattnerd9d71862010-02-08 23:03:41 +0000159
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000160 Name += Suffix;
Rafael Espindola01d19d022013-12-05 05:19:12 +0000161 MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name);
162
163 StringRef OrigName = StringRef(Name).substr(PrefixLen, OrigLen);
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000164
Chris Lattnerd9d71862010-02-08 23:03:41 +0000165 // If the target flags on the operand changes the name of the symbol, do that
166 // before we return the symbol.
Chris Lattner74f4ca72009-09-02 17:35:12 +0000167 switch (MO.getTargetFlags()) {
Chris Lattnerd9d71862010-02-08 23:03:41 +0000168 default: break;
Chris Lattner954b9cd2009-09-03 05:06:07 +0000169 case X86II::MO_DARWIN_NONLAZY:
Chris Lattner446d5892009-09-11 06:59:18 +0000170 case X86II::MO_DARWIN_NONLAZY_PIC_BASE: {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000171 MachineModuleInfoImpl::StubValueTy &StubSym =
172 getMachOMMI().getGVStubEntry(Sym);
Craig Topper062a2ba2014-04-25 05:30:21 +0000173 if (!StubSym.getPointer()) {
Chris Lattnerd9d71862010-02-08 23:03:41 +0000174 assert(MO.isGlobal() && "Extern symbol not handled yet");
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000175 StubSym =
176 MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000177 StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000178 !MO.getGlobal()->hasInternalLinkage());
Chris Lattnerd9d71862010-02-08 23:03:41 +0000179 }
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000180 break;
Chris Lattner446d5892009-09-11 06:59:18 +0000181 }
Chris Lattner19a9f422009-09-11 07:03:20 +0000182 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000183 MachineModuleInfoImpl::StubValueTy &StubSym =
184 getMachOMMI().getHiddenGVStubEntry(Sym);
Craig Topper062a2ba2014-04-25 05:30:21 +0000185 if (!StubSym.getPointer()) {
Chris Lattnerd9d71862010-02-08 23:03:41 +0000186 assert(MO.isGlobal() && "Extern symbol not handled yet");
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000187 StubSym =
188 MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000189 StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000190 !MO.getGlobal()->hasInternalLinkage());
Chris Lattnerd9d71862010-02-08 23:03:41 +0000191 }
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000192 break;
Chris Lattnerd9d71862010-02-08 23:03:41 +0000193 }
194 case X86II::MO_DARWIN_STUB: {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000195 MachineModuleInfoImpl::StubValueTy &StubSym =
196 getMachOMMI().getFnStubEntry(Sym);
197 if (StubSym.getPointer())
Chris Lattnerd9d71862010-02-08 23:03:41 +0000198 return Sym;
Chad Rosier24c19d22012-08-01 18:39:17 +0000199
Chris Lattnerd9d71862010-02-08 23:03:41 +0000200 if (MO.isGlobal()) {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000201 StubSym =
202 MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000203 StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000204 !MO.getGlobal()->hasInternalLinkage());
Chris Lattnerd9d71862010-02-08 23:03:41 +0000205 } else {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000206 StubSym =
207 MachineModuleInfoImpl::
Rafael Espindola01d19d022013-12-05 05:19:12 +0000208 StubValueTy(Ctx.GetOrCreateSymbol(OrigName), false);
Chris Lattner446d5892009-09-11 06:59:18 +0000209 }
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000210 break;
Chris Lattner9a7edd62009-09-11 06:36:33 +0000211 }
Chris Lattnerc5a95c52009-09-09 00:10:14 +0000212 }
Chris Lattnerd9d71862010-02-08 23:03:41 +0000213
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000214 return Sym;
Chris Lattner74f4ca72009-09-02 17:35:12 +0000215}
216
Chris Lattner31722082009-09-12 20:34:57 +0000217MCOperand X86MCInstLower::LowerSymbolOperand(const MachineOperand &MO,
218 MCSymbol *Sym) const {
Chris Lattnerc7b00732009-09-03 07:30:56 +0000219 // FIXME: We would like an efficient form for this, so we don't have to do a
220 // lot of extra uniquing.
Craig Topper062a2ba2014-04-25 05:30:21 +0000221 const MCExpr *Expr = nullptr;
Daniel Dunbar55992562010-03-15 23:51:06 +0000222 MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None;
Chad Rosier24c19d22012-08-01 18:39:17 +0000223
Chris Lattner6370d562009-09-03 04:56:20 +0000224 switch (MO.getTargetFlags()) {
Chris Lattner954b9cd2009-09-03 05:06:07 +0000225 default: llvm_unreachable("Unknown target flag on GV operand");
226 case X86II::MO_NO_FLAG: // No flag.
Chris Lattner954b9cd2009-09-03 05:06:07 +0000227 // These affect the name of the symbol, not any suffix.
228 case X86II::MO_DARWIN_NONLAZY:
Chris Lattner954b9cd2009-09-03 05:06:07 +0000229 case X86II::MO_DLLIMPORT:
230 case X86II::MO_DARWIN_STUB:
Chris Lattner954b9cd2009-09-03 05:06:07 +0000231 break;
Chad Rosier24c19d22012-08-01 18:39:17 +0000232
Eric Christopherb0e1a452010-06-03 04:07:48 +0000233 case X86II::MO_TLVP: RefKind = MCSymbolRefExpr::VK_TLVP; break;
234 case X86II::MO_TLVP_PIC_BASE:
Chris Lattner769aedd2010-07-14 23:04:59 +0000235 Expr = MCSymbolRefExpr::Create(Sym, MCSymbolRefExpr::VK_TLVP, Ctx);
236 // Subtract the pic base.
237 Expr = MCBinaryExpr::CreateSub(Expr,
Chris Lattner7077efe2010-11-14 22:48:15 +0000238 MCSymbolRefExpr::Create(MF.getPICBaseSymbol(),
Chris Lattner769aedd2010-07-14 23:04:59 +0000239 Ctx),
240 Ctx);
241 break;
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000242 case X86II::MO_SECREL: RefKind = MCSymbolRefExpr::VK_SECREL; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000243 case X86II::MO_TLSGD: RefKind = MCSymbolRefExpr::VK_TLSGD; break;
Hans Wennborg789acfb2012-06-01 16:27:21 +0000244 case X86II::MO_TLSLD: RefKind = MCSymbolRefExpr::VK_TLSLD; break;
245 case X86II::MO_TLSLDM: RefKind = MCSymbolRefExpr::VK_TLSLDM; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000246 case X86II::MO_GOTTPOFF: RefKind = MCSymbolRefExpr::VK_GOTTPOFF; break;
247 case X86II::MO_INDNTPOFF: RefKind = MCSymbolRefExpr::VK_INDNTPOFF; break;
248 case X86II::MO_TPOFF: RefKind = MCSymbolRefExpr::VK_TPOFF; break;
Hans Wennborg789acfb2012-06-01 16:27:21 +0000249 case X86II::MO_DTPOFF: RefKind = MCSymbolRefExpr::VK_DTPOFF; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000250 case X86II::MO_NTPOFF: RefKind = MCSymbolRefExpr::VK_NTPOFF; break;
Hans Wennborgf9d0e442012-05-11 10:11:01 +0000251 case X86II::MO_GOTNTPOFF: RefKind = MCSymbolRefExpr::VK_GOTNTPOFF; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000252 case X86II::MO_GOTPCREL: RefKind = MCSymbolRefExpr::VK_GOTPCREL; break;
253 case X86II::MO_GOT: RefKind = MCSymbolRefExpr::VK_GOT; break;
254 case X86II::MO_GOTOFF: RefKind = MCSymbolRefExpr::VK_GOTOFF; break;
255 case X86II::MO_PLT: RefKind = MCSymbolRefExpr::VK_PLT; break;
Chris Lattner954b9cd2009-09-03 05:06:07 +0000256 case X86II::MO_PIC_BASE_OFFSET:
257 case X86II::MO_DARWIN_NONLAZY_PIC_BASE:
258 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
Chris Lattner99777dd2010-02-08 22:52:47 +0000259 Expr = MCSymbolRefExpr::Create(Sym, Ctx);
Chris Lattner954b9cd2009-09-03 05:06:07 +0000260 // Subtract the pic base.
Chad Rosier24c19d22012-08-01 18:39:17 +0000261 Expr = MCBinaryExpr::CreateSub(Expr,
Chris Lattner7077efe2010-11-14 22:48:15 +0000262 MCSymbolRefExpr::Create(MF.getPICBaseSymbol(), Ctx),
Chris Lattner31722082009-09-12 20:34:57 +0000263 Ctx);
Chris Lattner2366d952010-07-20 22:30:53 +0000264 if (MO.isJTI() && MAI.hasSetDirective()) {
Evan Chengd0d8e332010-04-12 23:07:17 +0000265 // If .set directive is supported, use it to reduce the number of
266 // relocations the assembler will generate for differences between
267 // local labels. This is only safe when the symbols are in the same
268 // section so we are restricting it to jumptable references.
269 MCSymbol *Label = Ctx.CreateTempSymbol();
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000270 AsmPrinter.OutStreamer.EmitAssignment(Label, Expr);
Evan Chengd0d8e332010-04-12 23:07:17 +0000271 Expr = MCSymbolRefExpr::Create(Label, Ctx);
272 }
Chris Lattner954b9cd2009-09-03 05:06:07 +0000273 break;
Chris Lattnerc7b00732009-09-03 07:30:56 +0000274 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000275
Craig Topper062a2ba2014-04-25 05:30:21 +0000276 if (!Expr)
Daniel Dunbar55992562010-03-15 23:51:06 +0000277 Expr = MCSymbolRefExpr::Create(Sym, RefKind, Ctx);
Chad Rosier24c19d22012-08-01 18:39:17 +0000278
Michael Liao6f720612012-10-17 02:22:27 +0000279 if (!MO.isJTI() && !MO.isMBB() && MO.getOffset())
Chris Lattner31722082009-09-12 20:34:57 +0000280 Expr = MCBinaryExpr::CreateAdd(Expr,
281 MCConstantExpr::Create(MO.getOffset(), Ctx),
282 Ctx);
Chris Lattner5daf6192009-09-03 04:44:53 +0000283 return MCOperand::CreateExpr(Expr);
284}
285
Chris Lattner482c5df2009-09-11 04:28:13 +0000286
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000287/// \brief Simplify FOO $imm, %{al,ax,eax,rax} to FOO $imm, for instruction with
288/// a short fixed-register form.
289static void SimplifyShortImmForm(MCInst &Inst, unsigned Opcode) {
290 unsigned ImmOp = Inst.getNumOperands() - 1;
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000291 assert(Inst.getOperand(0).isReg() &&
292 (Inst.getOperand(ImmOp).isImm() || Inst.getOperand(ImmOp).isExpr()) &&
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000293 ((Inst.getNumOperands() == 3 && Inst.getOperand(1).isReg() &&
294 Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg()) ||
295 Inst.getNumOperands() == 2) && "Unexpected instruction!");
296
297 // Check whether the destination register can be fixed.
298 unsigned Reg = Inst.getOperand(0).getReg();
299 if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX)
300 return;
301
302 // If so, rewrite the instruction.
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000303 MCOperand Saved = Inst.getOperand(ImmOp);
304 Inst = MCInst();
305 Inst.setOpcode(Opcode);
306 Inst.addOperand(Saved);
307}
308
Benjamin Kramer068a2252013-07-12 18:06:44 +0000309/// \brief If a movsx instruction has a shorter encoding for the used register
310/// simplify the instruction to use it instead.
311static void SimplifyMOVSX(MCInst &Inst) {
312 unsigned NewOpcode = 0;
313 unsigned Op0 = Inst.getOperand(0).getReg(), Op1 = Inst.getOperand(1).getReg();
314 switch (Inst.getOpcode()) {
315 default:
316 llvm_unreachable("Unexpected instruction!");
317 case X86::MOVSX16rr8: // movsbw %al, %ax --> cbtw
318 if (Op0 == X86::AX && Op1 == X86::AL)
319 NewOpcode = X86::CBW;
320 break;
321 case X86::MOVSX32rr16: // movswl %ax, %eax --> cwtl
322 if (Op0 == X86::EAX && Op1 == X86::AX)
323 NewOpcode = X86::CWDE;
324 break;
325 case X86::MOVSX64rr32: // movslq %eax, %rax --> cltq
326 if (Op0 == X86::RAX && Op1 == X86::EAX)
327 NewOpcode = X86::CDQE;
328 break;
329 }
330
331 if (NewOpcode != 0) {
332 Inst = MCInst();
333 Inst.setOpcode(NewOpcode);
334 }
335}
336
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000337/// \brief Simplify things like MOV32rm to MOV32o32a.
Eli Friedman51ec7452010-08-16 21:03:32 +0000338static void SimplifyShortMoveForm(X86AsmPrinter &Printer, MCInst &Inst,
339 unsigned Opcode) {
340 // Don't make these simplifications in 64-bit mode; other assemblers don't
341 // perform them because they make the code larger.
342 if (Printer.getSubtarget().is64Bit())
343 return;
344
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000345 bool IsStore = Inst.getOperand(0).isReg() && Inst.getOperand(1).isReg();
346 unsigned AddrBase = IsStore;
347 unsigned RegOp = IsStore ? 0 : 5;
348 unsigned AddrOp = AddrBase + 3;
349 assert(Inst.getNumOperands() == 6 && Inst.getOperand(RegOp).isReg() &&
Manuel Jacobdcb78db2014-03-18 16:14:11 +0000350 Inst.getOperand(AddrBase + X86::AddrBaseReg).isReg() &&
351 Inst.getOperand(AddrBase + X86::AddrScaleAmt).isImm() &&
352 Inst.getOperand(AddrBase + X86::AddrIndexReg).isReg() &&
353 Inst.getOperand(AddrBase + X86::AddrSegmentReg).isReg() &&
354 (Inst.getOperand(AddrOp).isExpr() ||
355 Inst.getOperand(AddrOp).isImm()) &&
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000356 "Unexpected instruction!");
357
358 // Check whether the destination register can be fixed.
359 unsigned Reg = Inst.getOperand(RegOp).getReg();
360 if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX)
361 return;
362
363 // Check whether this is an absolute address.
Chad Rosier24c19d22012-08-01 18:39:17 +0000364 // FIXME: We know TLVP symbol refs aren't, but there should be a better way
Eric Christopher29b58af2010-06-17 00:51:48 +0000365 // to do this here.
366 bool Absolute = true;
367 if (Inst.getOperand(AddrOp).isExpr()) {
368 const MCExpr *MCE = Inst.getOperand(AddrOp).getExpr();
369 if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(MCE))
370 if (SRE->getKind() == MCSymbolRefExpr::VK_TLVP)
371 Absolute = false;
372 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000373
Eric Christopher29b58af2010-06-17 00:51:48 +0000374 if (Absolute &&
Manuel Jacobdcb78db2014-03-18 16:14:11 +0000375 (Inst.getOperand(AddrBase + X86::AddrBaseReg).getReg() != 0 ||
376 Inst.getOperand(AddrBase + X86::AddrScaleAmt).getImm() != 1 ||
377 Inst.getOperand(AddrBase + X86::AddrIndexReg).getReg() != 0))
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000378 return;
379
380 // If so, rewrite the instruction.
381 MCOperand Saved = Inst.getOperand(AddrOp);
Manuel Jacobdcb78db2014-03-18 16:14:11 +0000382 MCOperand Seg = Inst.getOperand(AddrBase + X86::AddrSegmentReg);
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000383 Inst = MCInst();
384 Inst.setOpcode(Opcode);
385 Inst.addOperand(Saved);
Craig Toppera9d2c672014-01-16 07:57:45 +0000386 Inst.addOperand(Seg);
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000387}
Chris Lattner31722082009-09-12 20:34:57 +0000388
David Woodhouse79dd5052014-01-08 12:58:07 +0000389static unsigned getRetOpcode(const X86Subtarget &Subtarget)
390{
391 return Subtarget.is64Bit() ? X86::RETQ : X86::RETL;
392}
393
Chris Lattner31722082009-09-12 20:34:57 +0000394void X86MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
395 OutMI.setOpcode(MI->getOpcode());
Chad Rosier24c19d22012-08-01 18:39:17 +0000396
Chris Lattner31722082009-09-12 20:34:57 +0000397 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
398 const MachineOperand &MO = MI->getOperand(i);
Chad Rosier24c19d22012-08-01 18:39:17 +0000399
Chris Lattner31722082009-09-12 20:34:57 +0000400 MCOperand MCOp;
401 switch (MO.getType()) {
402 default:
403 MI->dump();
404 llvm_unreachable("unknown operand type");
405 case MachineOperand::MO_Register:
Chris Lattner0b4a59f2009-10-19 23:35:57 +0000406 // Ignore all implicit register operands.
407 if (MO.isImplicit()) continue;
Chris Lattner31722082009-09-12 20:34:57 +0000408 MCOp = MCOperand::CreateReg(MO.getReg());
409 break;
410 case MachineOperand::MO_Immediate:
411 MCOp = MCOperand::CreateImm(MO.getImm());
412 break;
413 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner31722082009-09-12 20:34:57 +0000414 case MachineOperand::MO_GlobalAddress:
Chris Lattner31722082009-09-12 20:34:57 +0000415 case MachineOperand::MO_ExternalSymbol:
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000416 MCOp = LowerSymbolOperand(MO, GetSymbolFromOperand(MO));
Chris Lattner31722082009-09-12 20:34:57 +0000417 break;
418 case MachineOperand::MO_JumpTableIndex:
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000419 MCOp = LowerSymbolOperand(MO, AsmPrinter.GetJTISymbol(MO.getIndex()));
Chris Lattner31722082009-09-12 20:34:57 +0000420 break;
421 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000422 MCOp = LowerSymbolOperand(MO, AsmPrinter.GetCPISymbol(MO.getIndex()));
Chris Lattner31722082009-09-12 20:34:57 +0000423 break;
Dan Gohmanf7c42992009-10-30 01:28:02 +0000424 case MachineOperand::MO_BlockAddress:
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000425 MCOp = LowerSymbolOperand(MO,
426 AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress()));
Dan Gohmanf7c42992009-10-30 01:28:02 +0000427 break;
Jakob Stoklund Olesenf1fb1d22012-01-18 23:52:19 +0000428 case MachineOperand::MO_RegisterMask:
429 // Ignore call clobbers.
430 continue;
Chris Lattner31722082009-09-12 20:34:57 +0000431 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000432
Chris Lattner31722082009-09-12 20:34:57 +0000433 OutMI.addOperand(MCOp);
434 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000435
Chris Lattner31722082009-09-12 20:34:57 +0000436 // Handle a few special cases to eliminate operand modifiers.
Chris Lattner626656a2010-10-08 03:54:52 +0000437ReSimplify:
Chris Lattner31722082009-09-12 20:34:57 +0000438 switch (OutMI.getOpcode()) {
Tim Northover6833e3f2013-06-10 20:43:49 +0000439 case X86::LEA64_32r:
Chris Lattnerf4693072010-07-08 23:46:44 +0000440 case X86::LEA64r:
441 case X86::LEA16r:
442 case X86::LEA32r:
443 // LEA should have a segment register, but it must be empty.
444 assert(OutMI.getNumOperands() == 1+X86::AddrNumOperands &&
445 "Unexpected # of LEA operands");
446 assert(OutMI.getOperand(1+X86::AddrSegmentReg).getReg() == 0 &&
447 "LEA has segment specified!");
Chris Lattner31722082009-09-12 20:34:57 +0000448 break;
Chris Lattnere96d5342010-02-05 21:30:49 +0000449
Tim Northover3a1fd4c2013-06-01 09:55:14 +0000450 case X86::MOV32ri64:
451 OutMI.setOpcode(X86::MOV32ri);
452 break;
453
Craig Toppera66d81d2013-03-14 07:09:57 +0000454 // Commute operands to get a smaller encoding by using VEX.R instead of VEX.B
455 // if one of the registers is extended, but other isn't.
456 case X86::VMOVAPDrr:
457 case X86::VMOVAPDYrr:
458 case X86::VMOVAPSrr:
459 case X86::VMOVAPSYrr:
460 case X86::VMOVDQArr:
461 case X86::VMOVDQAYrr:
462 case X86::VMOVDQUrr:
463 case X86::VMOVDQUYrr:
Craig Toppera66d81d2013-03-14 07:09:57 +0000464 case X86::VMOVUPDrr:
465 case X86::VMOVUPDYrr:
466 case X86::VMOVUPSrr:
467 case X86::VMOVUPSYrr: {
Craig Topper612f7bf2013-03-16 03:44:31 +0000468 if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) &&
469 X86II::isX86_64ExtendedReg(OutMI.getOperand(1).getReg())) {
470 unsigned NewOpc;
471 switch (OutMI.getOpcode()) {
472 default: llvm_unreachable("Invalid opcode");
473 case X86::VMOVAPDrr: NewOpc = X86::VMOVAPDrr_REV; break;
474 case X86::VMOVAPDYrr: NewOpc = X86::VMOVAPDYrr_REV; break;
475 case X86::VMOVAPSrr: NewOpc = X86::VMOVAPSrr_REV; break;
476 case X86::VMOVAPSYrr: NewOpc = X86::VMOVAPSYrr_REV; break;
477 case X86::VMOVDQArr: NewOpc = X86::VMOVDQArr_REV; break;
478 case X86::VMOVDQAYrr: NewOpc = X86::VMOVDQAYrr_REV; break;
479 case X86::VMOVDQUrr: NewOpc = X86::VMOVDQUrr_REV; break;
480 case X86::VMOVDQUYrr: NewOpc = X86::VMOVDQUYrr_REV; break;
481 case X86::VMOVUPDrr: NewOpc = X86::VMOVUPDrr_REV; break;
482 case X86::VMOVUPDYrr: NewOpc = X86::VMOVUPDYrr_REV; break;
483 case X86::VMOVUPSrr: NewOpc = X86::VMOVUPSrr_REV; break;
484 case X86::VMOVUPSYrr: NewOpc = X86::VMOVUPSYrr_REV; break;
485 }
486 OutMI.setOpcode(NewOpc);
Craig Toppera66d81d2013-03-14 07:09:57 +0000487 }
Craig Topper612f7bf2013-03-16 03:44:31 +0000488 break;
489 }
490 case X86::VMOVSDrr:
491 case X86::VMOVSSrr: {
492 if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) &&
493 X86II::isX86_64ExtendedReg(OutMI.getOperand(2).getReg())) {
494 unsigned NewOpc;
495 switch (OutMI.getOpcode()) {
496 default: llvm_unreachable("Invalid opcode");
497 case X86::VMOVSDrr: NewOpc = X86::VMOVSDrr_REV; break;
498 case X86::VMOVSSrr: NewOpc = X86::VMOVSSrr_REV; break;
499 }
500 OutMI.setOpcode(NewOpc);
501 }
Craig Toppera66d81d2013-03-14 07:09:57 +0000502 break;
503 }
504
Jakob Stoklund Olesen97e31152012-02-16 17:56:02 +0000505 // TAILJMPr64, CALL64r, CALL64pcrel32 - These instructions have register
506 // inputs modeled as normal uses instead of implicit uses. As such, truncate
507 // off all but the first operand (the callee). FIXME: Change isel.
Daniel Dunbarb243dfb2010-05-19 08:07:12 +0000508 case X86::TAILJMPr64:
Daniel Dunbar45ace402010-05-19 04:31:36 +0000509 case X86::CALL64r:
Jakob Stoklund Olesen97e31152012-02-16 17:56:02 +0000510 case X86::CALL64pcrel32: {
Daniel Dunbar45ace402010-05-19 04:31:36 +0000511 unsigned Opcode = OutMI.getOpcode();
Chris Lattner9f465392010-05-18 21:40:18 +0000512 MCOperand Saved = OutMI.getOperand(0);
513 OutMI = MCInst();
Daniel Dunbar45ace402010-05-19 04:31:36 +0000514 OutMI.setOpcode(Opcode);
Chris Lattner9f465392010-05-18 21:40:18 +0000515 OutMI.addOperand(Saved);
516 break;
517 }
Daniel Dunbar45ace402010-05-19 04:31:36 +0000518
Rafael Espindolad94f3b42010-10-26 18:09:55 +0000519 case X86::EH_RETURN:
520 case X86::EH_RETURN64: {
521 OutMI = MCInst();
David Woodhouse79dd5052014-01-08 12:58:07 +0000522 OutMI.setOpcode(getRetOpcode(AsmPrinter.getSubtarget()));
Rafael Espindolad94f3b42010-10-26 18:09:55 +0000523 break;
524 }
525
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000526 // TAILJMPd, TAILJMPd64 - Lower to the correct jump instructions.
Chris Lattner88c18562010-07-09 00:49:41 +0000527 case X86::TAILJMPr:
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000528 case X86::TAILJMPd:
529 case X86::TAILJMPd64: {
Chris Lattner88c18562010-07-09 00:49:41 +0000530 unsigned Opcode;
531 switch (OutMI.getOpcode()) {
Craig Topper4ed72782012-02-05 05:38:58 +0000532 default: llvm_unreachable("Invalid opcode");
Chris Lattner88c18562010-07-09 00:49:41 +0000533 case X86::TAILJMPr: Opcode = X86::JMP32r; break;
534 case X86::TAILJMPd:
535 case X86::TAILJMPd64: Opcode = X86::JMP_1; break;
536 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000537
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000538 MCOperand Saved = OutMI.getOperand(0);
539 OutMI = MCInst();
Chris Lattner88c18562010-07-09 00:49:41 +0000540 OutMI.setOpcode(Opcode);
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000541 OutMI.addOperand(Saved);
542 break;
543 }
544
Chris Lattner626656a2010-10-08 03:54:52 +0000545 // These are pseudo-ops for OR to help with the OR->ADD transformation. We do
546 // this with an ugly goto in case the resultant OR uses EAX and needs the
547 // short form.
Chris Lattnerdd774772010-10-08 03:57:25 +0000548 case X86::ADD16rr_DB: OutMI.setOpcode(X86::OR16rr); goto ReSimplify;
549 case X86::ADD32rr_DB: OutMI.setOpcode(X86::OR32rr); goto ReSimplify;
550 case X86::ADD64rr_DB: OutMI.setOpcode(X86::OR64rr); goto ReSimplify;
551 case X86::ADD16ri_DB: OutMI.setOpcode(X86::OR16ri); goto ReSimplify;
552 case X86::ADD32ri_DB: OutMI.setOpcode(X86::OR32ri); goto ReSimplify;
553 case X86::ADD64ri32_DB: OutMI.setOpcode(X86::OR64ri32); goto ReSimplify;
554 case X86::ADD16ri8_DB: OutMI.setOpcode(X86::OR16ri8); goto ReSimplify;
555 case X86::ADD32ri8_DB: OutMI.setOpcode(X86::OR32ri8); goto ReSimplify;
556 case X86::ADD64ri8_DB: OutMI.setOpcode(X86::OR64ri8); goto ReSimplify;
Chad Rosier24c19d22012-08-01 18:39:17 +0000557
Chris Lattner28aae172010-03-14 17:04:18 +0000558 // The assembler backend wants to see branches in their small form and relax
559 // them to their large form. The JIT can only handle the large form because
Chris Lattner87dd2d62010-03-14 17:10:52 +0000560 // it does not do relaxation. For now, translate the large form to the
Chris Lattner28aae172010-03-14 17:04:18 +0000561 // small one here.
562 case X86::JMP_4: OutMI.setOpcode(X86::JMP_1); break;
563 case X86::JO_4: OutMI.setOpcode(X86::JO_1); break;
564 case X86::JNO_4: OutMI.setOpcode(X86::JNO_1); break;
565 case X86::JB_4: OutMI.setOpcode(X86::JB_1); break;
566 case X86::JAE_4: OutMI.setOpcode(X86::JAE_1); break;
567 case X86::JE_4: OutMI.setOpcode(X86::JE_1); break;
568 case X86::JNE_4: OutMI.setOpcode(X86::JNE_1); break;
569 case X86::JBE_4: OutMI.setOpcode(X86::JBE_1); break;
570 case X86::JA_4: OutMI.setOpcode(X86::JA_1); break;
571 case X86::JS_4: OutMI.setOpcode(X86::JS_1); break;
572 case X86::JNS_4: OutMI.setOpcode(X86::JNS_1); break;
573 case X86::JP_4: OutMI.setOpcode(X86::JP_1); break;
574 case X86::JNP_4: OutMI.setOpcode(X86::JNP_1); break;
575 case X86::JL_4: OutMI.setOpcode(X86::JL_1); break;
576 case X86::JGE_4: OutMI.setOpcode(X86::JGE_1); break;
577 case X86::JLE_4: OutMI.setOpcode(X86::JLE_1); break;
578 case X86::JG_4: OutMI.setOpcode(X86::JG_1); break;
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000579
Eli Friedman02f2f892011-09-07 18:48:32 +0000580 // Atomic load and store require a separate pseudo-inst because Acquire
581 // implies mayStore and Release implies mayLoad; fix these to regular MOV
582 // instructions here
583 case X86::ACQUIRE_MOV8rm: OutMI.setOpcode(X86::MOV8rm); goto ReSimplify;
584 case X86::ACQUIRE_MOV16rm: OutMI.setOpcode(X86::MOV16rm); goto ReSimplify;
585 case X86::ACQUIRE_MOV32rm: OutMI.setOpcode(X86::MOV32rm); goto ReSimplify;
586 case X86::ACQUIRE_MOV64rm: OutMI.setOpcode(X86::MOV64rm); goto ReSimplify;
587 case X86::RELEASE_MOV8mr: OutMI.setOpcode(X86::MOV8mr); goto ReSimplify;
588 case X86::RELEASE_MOV16mr: OutMI.setOpcode(X86::MOV16mr); goto ReSimplify;
589 case X86::RELEASE_MOV32mr: OutMI.setOpcode(X86::MOV32mr); goto ReSimplify;
590 case X86::RELEASE_MOV64mr: OutMI.setOpcode(X86::MOV64mr); goto ReSimplify;
591
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000592 // We don't currently select the correct instruction form for instructions
593 // which have a short %eax, etc. form. Handle this by custom lowering, for
594 // now.
595 //
596 // Note, we are currently not handling the following instructions:
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000597 // MOV64ao8, MOV64o8a
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000598 // XCHG16ar, XCHG32ar, XCHG64ar
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000599 case X86::MOV8mr_NOREX:
Eli Friedman51ec7452010-08-16 21:03:32 +0000600 case X86::MOV8mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8ao8); break;
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000601 case X86::MOV8rm_NOREX:
Eli Friedman51ec7452010-08-16 21:03:32 +0000602 case X86::MOV8rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8o8a); break;
603 case X86::MOV16mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16ao16); break;
604 case X86::MOV16rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16o16a); break;
605 case X86::MOV32mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32ao32); break;
606 case X86::MOV32rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32o32a); break;
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000607
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000608 case X86::ADC8ri: SimplifyShortImmForm(OutMI, X86::ADC8i8); break;
609 case X86::ADC16ri: SimplifyShortImmForm(OutMI, X86::ADC16i16); break;
610 case X86::ADC32ri: SimplifyShortImmForm(OutMI, X86::ADC32i32); break;
611 case X86::ADC64ri32: SimplifyShortImmForm(OutMI, X86::ADC64i32); break;
612 case X86::ADD8ri: SimplifyShortImmForm(OutMI, X86::ADD8i8); break;
613 case X86::ADD16ri: SimplifyShortImmForm(OutMI, X86::ADD16i16); break;
614 case X86::ADD32ri: SimplifyShortImmForm(OutMI, X86::ADD32i32); break;
615 case X86::ADD64ri32: SimplifyShortImmForm(OutMI, X86::ADD64i32); break;
616 case X86::AND8ri: SimplifyShortImmForm(OutMI, X86::AND8i8); break;
617 case X86::AND16ri: SimplifyShortImmForm(OutMI, X86::AND16i16); break;
618 case X86::AND32ri: SimplifyShortImmForm(OutMI, X86::AND32i32); break;
619 case X86::AND64ri32: SimplifyShortImmForm(OutMI, X86::AND64i32); break;
620 case X86::CMP8ri: SimplifyShortImmForm(OutMI, X86::CMP8i8); break;
621 case X86::CMP16ri: SimplifyShortImmForm(OutMI, X86::CMP16i16); break;
622 case X86::CMP32ri: SimplifyShortImmForm(OutMI, X86::CMP32i32); break;
623 case X86::CMP64ri32: SimplifyShortImmForm(OutMI, X86::CMP64i32); break;
624 case X86::OR8ri: SimplifyShortImmForm(OutMI, X86::OR8i8); break;
625 case X86::OR16ri: SimplifyShortImmForm(OutMI, X86::OR16i16); break;
626 case X86::OR32ri: SimplifyShortImmForm(OutMI, X86::OR32i32); break;
627 case X86::OR64ri32: SimplifyShortImmForm(OutMI, X86::OR64i32); break;
628 case X86::SBB8ri: SimplifyShortImmForm(OutMI, X86::SBB8i8); break;
629 case X86::SBB16ri: SimplifyShortImmForm(OutMI, X86::SBB16i16); break;
630 case X86::SBB32ri: SimplifyShortImmForm(OutMI, X86::SBB32i32); break;
631 case X86::SBB64ri32: SimplifyShortImmForm(OutMI, X86::SBB64i32); break;
632 case X86::SUB8ri: SimplifyShortImmForm(OutMI, X86::SUB8i8); break;
633 case X86::SUB16ri: SimplifyShortImmForm(OutMI, X86::SUB16i16); break;
634 case X86::SUB32ri: SimplifyShortImmForm(OutMI, X86::SUB32i32); break;
635 case X86::SUB64ri32: SimplifyShortImmForm(OutMI, X86::SUB64i32); break;
636 case X86::TEST8ri: SimplifyShortImmForm(OutMI, X86::TEST8i8); break;
637 case X86::TEST16ri: SimplifyShortImmForm(OutMI, X86::TEST16i16); break;
638 case X86::TEST32ri: SimplifyShortImmForm(OutMI, X86::TEST32i32); break;
639 case X86::TEST64ri32: SimplifyShortImmForm(OutMI, X86::TEST64i32); break;
640 case X86::XOR8ri: SimplifyShortImmForm(OutMI, X86::XOR8i8); break;
641 case X86::XOR16ri: SimplifyShortImmForm(OutMI, X86::XOR16i16); break;
642 case X86::XOR32ri: SimplifyShortImmForm(OutMI, X86::XOR32i32); break;
643 case X86::XOR64ri32: SimplifyShortImmForm(OutMI, X86::XOR64i32); break;
Rafael Espindola66393c12011-10-26 21:12:27 +0000644
Benjamin Kramer068a2252013-07-12 18:06:44 +0000645 // Try to shrink some forms of movsx.
646 case X86::MOVSX16rr8:
647 case X86::MOVSX32rr16:
648 case X86::MOVSX64rr32:
649 SimplifyMOVSX(OutMI);
650 break;
Rafael Espindola66393c12011-10-26 21:12:27 +0000651 }
Chris Lattner31722082009-09-12 20:34:57 +0000652}
653
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000654void X86AsmPrinter::LowerTlsAddr(X86MCInstLower &MCInstLowering,
655 const MachineInstr &MI) {
Hans Wennborg789acfb2012-06-01 16:27:21 +0000656
657 bool is64Bits = MI.getOpcode() == X86::TLS_addr64 ||
658 MI.getOpcode() == X86::TLS_base_addr64;
659
660 bool needsPadding = MI.getOpcode() == X86::TLS_addr64;
661
Rafael Espindolac4774792010-11-28 21:16:39 +0000662 MCContext &context = OutStreamer.getContext();
663
Benjamin Kramer4e629f72012-11-26 13:34:22 +0000664 if (needsPadding)
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000665 EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX));
Hans Wennborg789acfb2012-06-01 16:27:21 +0000666
667 MCSymbolRefExpr::VariantKind SRVK;
668 switch (MI.getOpcode()) {
669 case X86::TLS_addr32:
670 case X86::TLS_addr64:
671 SRVK = MCSymbolRefExpr::VK_TLSGD;
672 break;
673 case X86::TLS_base_addr32:
674 SRVK = MCSymbolRefExpr::VK_TLSLDM;
675 break;
676 case X86::TLS_base_addr64:
677 SRVK = MCSymbolRefExpr::VK_TLSLD;
678 break;
679 default:
680 llvm_unreachable("unexpected opcode");
681 }
682
Rafael Espindolac4774792010-11-28 21:16:39 +0000683 MCSymbol *sym = MCInstLowering.GetSymbolFromOperand(MI.getOperand(3));
Hans Wennborg789acfb2012-06-01 16:27:21 +0000684 const MCSymbolRefExpr *symRef = MCSymbolRefExpr::Create(sym, SRVK, context);
Rafael Espindolac4774792010-11-28 21:16:39 +0000685
686 MCInst LEA;
687 if (is64Bits) {
688 LEA.setOpcode(X86::LEA64r);
689 LEA.addOperand(MCOperand::CreateReg(X86::RDI)); // dest
690 LEA.addOperand(MCOperand::CreateReg(X86::RIP)); // base
691 LEA.addOperand(MCOperand::CreateImm(1)); // scale
692 LEA.addOperand(MCOperand::CreateReg(0)); // index
693 LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp
694 LEA.addOperand(MCOperand::CreateReg(0)); // seg
Rafael Espindola55d11452012-06-07 18:39:19 +0000695 } else if (SRVK == MCSymbolRefExpr::VK_TLSLDM) {
696 LEA.setOpcode(X86::LEA32r);
697 LEA.addOperand(MCOperand::CreateReg(X86::EAX)); // dest
698 LEA.addOperand(MCOperand::CreateReg(X86::EBX)); // base
699 LEA.addOperand(MCOperand::CreateImm(1)); // scale
700 LEA.addOperand(MCOperand::CreateReg(0)); // index
701 LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp
702 LEA.addOperand(MCOperand::CreateReg(0)); // seg
Rafael Espindolac4774792010-11-28 21:16:39 +0000703 } else {
704 LEA.setOpcode(X86::LEA32r);
705 LEA.addOperand(MCOperand::CreateReg(X86::EAX)); // dest
706 LEA.addOperand(MCOperand::CreateReg(0)); // base
707 LEA.addOperand(MCOperand::CreateImm(1)); // scale
708 LEA.addOperand(MCOperand::CreateReg(X86::EBX)); // index
709 LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp
710 LEA.addOperand(MCOperand::CreateReg(0)); // seg
711 }
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000712 EmitAndCountInstruction(LEA);
Rafael Espindolac4774792010-11-28 21:16:39 +0000713
Hans Wennborg789acfb2012-06-01 16:27:21 +0000714 if (needsPadding) {
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000715 EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX));
716 EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX));
717 EmitAndCountInstruction(MCInstBuilder(X86::REX64_PREFIX));
Rafael Espindolac4774792010-11-28 21:16:39 +0000718 }
719
Rafael Espindolac4774792010-11-28 21:16:39 +0000720 StringRef name = is64Bits ? "__tls_get_addr" : "___tls_get_addr";
721 MCSymbol *tlsGetAddr = context.GetOrCreateSymbol(name);
722 const MCSymbolRefExpr *tlsRef =
723 MCSymbolRefExpr::Create(tlsGetAddr,
724 MCSymbolRefExpr::VK_PLT,
725 context);
726
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000727 EmitAndCountInstruction(MCInstBuilder(is64Bits ? X86::CALL64pcrel32
728 : X86::CALLpcrel32)
729 .addExpr(tlsRef));
Rafael Espindolac4774792010-11-28 21:16:39 +0000730}
Devang Patel50c94312010-04-28 01:39:28 +0000731
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000732/// \brief Emit the optimal amount of multi-byte nops on X86.
David Woodhousee6c13e42014-01-28 23:12:42 +0000733static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit, const MCSubtargetInfo &STI) {
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000734 // This works only for 64bit. For 32bit we have to do additional checking if
735 // the CPU supports multi-byte nops.
736 assert(Is64Bit && "EmitNops only supports X86-64");
737 while (NumBytes) {
738 unsigned Opc, BaseReg, ScaleVal, IndexReg, Displacement, SegmentReg;
739 Opc = IndexReg = Displacement = SegmentReg = 0;
740 BaseReg = X86::RAX; ScaleVal = 1;
741 switch (NumBytes) {
742 case 0: llvm_unreachable("Zero nops?"); break;
743 case 1: NumBytes -= 1; Opc = X86::NOOP; break;
744 case 2: NumBytes -= 2; Opc = X86::XCHG16ar; break;
745 case 3: NumBytes -= 3; Opc = X86::NOOPL; break;
746 case 4: NumBytes -= 4; Opc = X86::NOOPL; Displacement = 8; break;
747 case 5: NumBytes -= 5; Opc = X86::NOOPL; Displacement = 8;
748 IndexReg = X86::RAX; break;
749 case 6: NumBytes -= 6; Opc = X86::NOOPW; Displacement = 8;
750 IndexReg = X86::RAX; break;
751 case 7: NumBytes -= 7; Opc = X86::NOOPL; Displacement = 512; break;
752 case 8: NumBytes -= 8; Opc = X86::NOOPL; Displacement = 512;
753 IndexReg = X86::RAX; break;
754 case 9: NumBytes -= 9; Opc = X86::NOOPW; Displacement = 512;
755 IndexReg = X86::RAX; break;
756 default: NumBytes -= 10; Opc = X86::NOOPW; Displacement = 512;
757 IndexReg = X86::RAX; SegmentReg = X86::CS; break;
758 }
759
760 unsigned NumPrefixes = std::min(NumBytes, 5U);
761 NumBytes -= NumPrefixes;
762 for (unsigned i = 0; i != NumPrefixes; ++i)
763 OS.EmitBytes("\x66");
764
765 switch (Opc) {
766 default: llvm_unreachable("Unexpected opcode"); break;
767 case X86::NOOP:
David Woodhousee6c13e42014-01-28 23:12:42 +0000768 OS.EmitInstruction(MCInstBuilder(Opc), STI);
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000769 break;
770 case X86::XCHG16ar:
David Woodhousee6c13e42014-01-28 23:12:42 +0000771 OS.EmitInstruction(MCInstBuilder(Opc).addReg(X86::AX), STI);
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000772 break;
773 case X86::NOOPL:
774 case X86::NOOPW:
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000775 OS.EmitInstruction(MCInstBuilder(Opc).addReg(BaseReg)
776 .addImm(ScaleVal).addReg(IndexReg)
777 .addImm(Displacement).addReg(SegmentReg), STI);
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000778 break;
779 }
780 } // while (NumBytes)
781}
782
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000783// Lower a stackmap of the form:
784// <id>, <shadowBytes>, ...
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000785void X86AsmPrinter::LowerSTACKMAP(const MachineInstr &MI) {
786 SMShadowTracker.emitShadowPadding(OutStreamer, getSubtargetInfo());
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000787 SM.recordStackMap(MI);
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000788 unsigned NumShadowBytes = MI.getOperand(1).getImm();
789 SMShadowTracker.reset(NumShadowBytes);
Andrew Trick153ebe62013-10-31 22:11:56 +0000790}
791
Andrew Trick561f2212013-11-14 06:54:10 +0000792// Lower a patchpoint of the form:
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000793// [<def>], <id>, <numBytes>, <target>, <numArgs>, <cc>, ...
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000794void X86AsmPrinter::LowerPATCHPOINT(const MachineInstr &MI) {
795 assert(Subtarget->is64Bit() && "Patchpoint currently only supports X86-64");
796
797 SMShadowTracker.emitShadowPadding(OutStreamer, getSubtargetInfo());
798
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000799 SM.recordPatchPoint(MI);
Juergen Ributzka9969d3e2013-11-08 23:28:16 +0000800
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000801 PatchPointOpers opers(&MI);
802 unsigned ScratchIdx = opers.getNextScratchIdx();
Andrew Trick561f2212013-11-14 06:54:10 +0000803 unsigned EncodedBytes = 0;
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000804 int64_t CallTarget = opers.getMetaOper(PatchPointOpers::TargetPos).getImm();
Andrew Trick561f2212013-11-14 06:54:10 +0000805 if (CallTarget) {
806 // Emit MOV to materialize the target address and the CALL to target.
807 // This is encoded with 12-13 bytes, depending on which register is used.
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000808 unsigned ScratchReg = MI.getOperand(ScratchIdx).getReg();
809 if (X86II::isX86_64ExtendedReg(ScratchReg))
810 EncodedBytes = 13;
811 else
812 EncodedBytes = 12;
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000813 EmitAndCountInstruction(MCInstBuilder(X86::MOV64ri).addReg(ScratchReg)
814 .addImm(CallTarget));
815 EmitAndCountInstruction(MCInstBuilder(X86::CALL64r).addReg(ScratchReg));
Andrew Trick561f2212013-11-14 06:54:10 +0000816 }
Andrew Trick153ebe62013-10-31 22:11:56 +0000817 // Emit padding.
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000818 unsigned NumBytes = opers.getMetaOper(PatchPointOpers::NBytesPos).getImm();
819 assert(NumBytes >= EncodedBytes &&
Andrew Trick153ebe62013-10-31 22:11:56 +0000820 "Patchpoint can't request size less than the length of a call.");
821
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000822 EmitNops(OutStreamer, NumBytes - EncodedBytes, Subtarget->is64Bit(),
823 getSubtargetInfo());
Andrew Trick153ebe62013-10-31 22:11:56 +0000824}
825
Chris Lattner94a946c2010-01-28 01:02:27 +0000826void X86AsmPrinter::EmitInstruction(const MachineInstr *MI) {
Rafael Espindola38c2e652013-10-29 16:11:22 +0000827 X86MCInstLower MCInstLowering(*MF, *this);
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000828 const X86RegisterInfo *RI =
829 static_cast<const X86RegisterInfo *>(TM.getRegisterInfo());
830
Chris Lattner74f4ca72009-09-02 17:35:12 +0000831 switch (MI->getOpcode()) {
Dale Johannesenb36c7092010-04-06 22:45:26 +0000832 case TargetOpcode::DBG_VALUE:
David Blaikieb735b4d2013-06-16 20:34:27 +0000833 llvm_unreachable("Should be handled target independently");
Dale Johannesen5d7f0a02010-04-07 01:15:14 +0000834
Eric Christopher4abffad2010-08-05 18:34:30 +0000835 // Emit nothing here but a comment if we can.
836 case X86::Int_MemBarrier:
Rafael Espindola0b694812014-01-16 16:28:37 +0000837 OutStreamer.emitRawComment("MEMBARRIER");
Eric Christopher4abffad2010-08-05 18:34:30 +0000838 return;
Owen Anderson0ca562e2011-10-04 23:26:17 +0000839
Rafael Espindolad94f3b42010-10-26 18:09:55 +0000840
841 case X86::EH_RETURN:
842 case X86::EH_RETURN64: {
843 // Lower these as normal, but add some comments.
844 unsigned Reg = MI->getOperand(0).getReg();
845 OutStreamer.AddComment(StringRef("eh_return, addr: %") +
846 X86ATTInstPrinter::getRegisterName(Reg));
847 break;
848 }
Chris Lattner88c18562010-07-09 00:49:41 +0000849 case X86::TAILJMPr:
850 case X86::TAILJMPd:
851 case X86::TAILJMPd64:
852 // Lower these as normal, but add some comments.
853 OutStreamer.AddComment("TAILCALL");
854 break;
Rafael Espindolac4774792010-11-28 21:16:39 +0000855
856 case X86::TLS_addr32:
857 case X86::TLS_addr64:
Hans Wennborg789acfb2012-06-01 16:27:21 +0000858 case X86::TLS_base_addr32:
859 case X86::TLS_base_addr64:
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000860 return LowerTlsAddr(MCInstLowering, *MI);
Rafael Espindolac4774792010-11-28 21:16:39 +0000861
Chris Lattner74f4ca72009-09-02 17:35:12 +0000862 case X86::MOVPC32r: {
863 // This is a pseudo op for a two instruction sequence with a label, which
864 // looks like:
865 // call "L1$pb"
866 // "L1$pb":
867 // popl %esi
Chad Rosier24c19d22012-08-01 18:39:17 +0000868
Chris Lattner74f4ca72009-09-02 17:35:12 +0000869 // Emit the call.
Chris Lattner7077efe2010-11-14 22:48:15 +0000870 MCSymbol *PICBase = MF->getPICBaseSymbol();
Chris Lattner74f4ca72009-09-02 17:35:12 +0000871 // FIXME: We would like an efficient form for this, so we don't have to do a
872 // lot of extra uniquing.
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000873 EmitAndCountInstruction(MCInstBuilder(X86::CALLpcrel32)
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000874 .addExpr(MCSymbolRefExpr::Create(PICBase, OutContext)));
Chad Rosier24c19d22012-08-01 18:39:17 +0000875
Chris Lattner74f4ca72009-09-02 17:35:12 +0000876 // Emit the label.
877 OutStreamer.EmitLabel(PICBase);
Chad Rosier24c19d22012-08-01 18:39:17 +0000878
Chris Lattner74f4ca72009-09-02 17:35:12 +0000879 // popl $reg
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000880 EmitAndCountInstruction(MCInstBuilder(X86::POP32r)
881 .addReg(MI->getOperand(0).getReg()));
Chris Lattner74f4ca72009-09-02 17:35:12 +0000882 return;
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000883 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000884
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000885 case X86::ADD32ri: {
886 // Lower the MO_GOT_ABSOLUTE_ADDRESS form of ADD32ri.
887 if (MI->getOperand(2).getTargetFlags() != X86II::MO_GOT_ABSOLUTE_ADDRESS)
888 break;
Chad Rosier24c19d22012-08-01 18:39:17 +0000889
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000890 // Okay, we have something like:
891 // EAX = ADD32ri EAX, MO_GOT_ABSOLUTE_ADDRESS(@MYGLOBAL)
Chad Rosier24c19d22012-08-01 18:39:17 +0000892
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000893 // For this, we want to print something like:
894 // MYGLOBAL + (. - PICBASE)
895 // However, we can't generate a ".", so just emit a new label here and refer
Chris Lattnerd7581392010-03-12 18:47:50 +0000896 // to it.
Chris Lattneraed00fa2010-03-17 05:41:18 +0000897 MCSymbol *DotSym = OutContext.CreateTempSymbol();
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000898 OutStreamer.EmitLabel(DotSym);
Chad Rosier24c19d22012-08-01 18:39:17 +0000899
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000900 // Now that we have emitted the label, lower the complex operand expression.
Chris Lattnerd9d71862010-02-08 23:03:41 +0000901 MCSymbol *OpSym = MCInstLowering.GetSymbolFromOperand(MI->getOperand(2));
Chad Rosier24c19d22012-08-01 18:39:17 +0000902
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000903 const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext);
904 const MCExpr *PICBase =
Chris Lattner7077efe2010-11-14 22:48:15 +0000905 MCSymbolRefExpr::Create(MF->getPICBaseSymbol(), OutContext);
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000906 DotExpr = MCBinaryExpr::CreateSub(DotExpr, PICBase, OutContext);
Chad Rosier24c19d22012-08-01 18:39:17 +0000907
908 DotExpr = MCBinaryExpr::CreateAdd(MCSymbolRefExpr::Create(OpSym,OutContext),
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000909 DotExpr, OutContext);
Chad Rosier24c19d22012-08-01 18:39:17 +0000910
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000911 EmitAndCountInstruction(MCInstBuilder(X86::ADD32ri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +0000912 .addReg(MI->getOperand(0).getReg())
913 .addReg(MI->getOperand(1).getReg())
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000914 .addExpr(DotExpr));
Chris Lattner6ccf7ed2009-09-12 21:01:20 +0000915 return;
916 }
Andrew Trick153ebe62013-10-31 22:11:56 +0000917
918 case TargetOpcode::STACKMAP:
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000919 return LowerSTACKMAP(*MI);
Andrew Trick153ebe62013-10-31 22:11:56 +0000920
921 case TargetOpcode::PATCHPOINT:
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000922 return LowerPATCHPOINT(*MI);
Lang Hamesc2b77232013-11-11 23:00:41 +0000923
924 case X86::MORESTACK_RET:
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000925 EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget)));
Lang Hamesc2b77232013-11-11 23:00:41 +0000926 return;
927
928 case X86::MORESTACK_RET_RESTORE_R10:
929 // Return, then restore R10.
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000930 EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget)));
931 EmitAndCountInstruction(MCInstBuilder(X86::MOV64rr)
932 .addReg(X86::R10)
933 .addReg(X86::RAX));
Lang Hamesc2b77232013-11-11 23:00:41 +0000934 return;
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000935
936 case X86::SEH_PushReg:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000937 OutStreamer.EmitWinCFIPushReg(RI->getSEHRegNum(MI->getOperand(0).getImm()));
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000938 return;
939
940 case X86::SEH_SaveReg:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000941 OutStreamer.EmitWinCFISaveReg(RI->getSEHRegNum(MI->getOperand(0).getImm()),
942 MI->getOperand(1).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000943 return;
944
945 case X86::SEH_SaveXMM:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000946 OutStreamer.EmitWinCFISaveXMM(RI->getSEHRegNum(MI->getOperand(0).getImm()),
947 MI->getOperand(1).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000948 return;
949
950 case X86::SEH_StackAlloc:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000951 OutStreamer.EmitWinCFIAllocStack(MI->getOperand(0).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000952 return;
953
954 case X86::SEH_SetFrame:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000955 OutStreamer.EmitWinCFISetFrame(RI->getSEHRegNum(MI->getOperand(0).getImm()),
956 MI->getOperand(1).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000957 return;
958
959 case X86::SEH_PushFrame:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000960 OutStreamer.EmitWinCFIPushFrame(MI->getOperand(0).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000961 return;
962
963 case X86::SEH_EndPrologue:
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000964 OutStreamer.EmitWinCFIEndProlog();
NAKAMURA Takumi1db59952014-06-25 12:41:52 +0000965 return;
Chris Lattner74f4ca72009-09-02 17:35:12 +0000966 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000967
Chris Lattner31722082009-09-12 20:34:57 +0000968 MCInst TmpInst;
969 MCInstLowering.Lower(MI, TmpInst);
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000970 EmitAndCountInstruction(TmpInst);
Chris Lattner74f4ca72009-09-02 17:35:12 +0000971}