blob: 6b42943987bcaf131296f35c93c617b51390995c [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 Topper69653af2015-12-31 22:40:45 +000017#include "X86ShuffleDecodeConstantPool.h"
Craig Topperb25fda92012-03-17 18:46:09 +000018#include "InstPrinter/X86ATTInstPrinter.h"
Craig Topperc6d4efa2014-03-19 06:53:25 +000019#include "MCTargetDesc/X86BaseInfo.h"
Chandler Carruth185cc182014-07-25 23:47:11 +000020#include "Utils/X86ShuffleDecode.h"
Sanjoy Das2d869b22015-06-15 18:44:01 +000021#include "llvm/ADT/Optional.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/ADT/SmallString.h"
Sanjoy Dasc0441c22016-04-19 05:24:47 +000023#include "llvm/ADT/iterator_range.h"
Craig Topperc6d4efa2014-03-19 06:53:25 +000024#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruth185cc182014-07-25 23:47:11 +000025#include "llvm/CodeGen/MachineConstantPool.h"
26#include "llvm/CodeGen/MachineOperand.h"
Chris Lattner05f40392009-09-16 06:25:03 +000027#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Andrew Trick153ebe62013-10-31 22:11:56 +000028#include "llvm/CodeGen/StackMaps.h"
Craig Topperc6d4efa2014-03-19 06:53:25 +000029#include "llvm/IR/DataLayout.h"
30#include "llvm/IR/GlobalValue.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000031#include "llvm/IR/Mangler.h"
Evan Cheng1705ab02011-07-14 23:50:31 +000032#include "llvm/MC/MCAsmInfo.h"
Lang Hamesf49bc3f2014-07-24 20:40:55 +000033#include "llvm/MC/MCCodeEmitter.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000034#include "llvm/MC/MCContext.h"
35#include "llvm/MC/MCExpr.h"
Pete Cooper81902a32015-05-15 22:19:42 +000036#include "llvm/MC/MCFixup.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000037#include "llvm/MC/MCInst.h"
Benjamin Kramer4e629f72012-11-26 13:34:22 +000038#include "llvm/MC/MCInstBuilder.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000039#include "llvm/MC/MCStreamer.h"
Chris Lattnere397df72010-03-12 19:42:40 +000040#include "llvm/MC/MCSymbol.h"
Lang Hamesf49bc3f2014-07-24 20:40:55 +000041#include "llvm/Support/TargetRegistry.h"
Chris Lattner74f4ca72009-09-02 17:35:12 +000042using namespace llvm;
43
Craig Topper2a3f7752012-10-16 06:01:50 +000044namespace {
45
46/// X86MCInstLower - This class is used to lower an MachineInstr into an MCInst.
47class X86MCInstLower {
48 MCContext &Ctx;
Craig Topper2a3f7752012-10-16 06:01:50 +000049 const MachineFunction &MF;
50 const TargetMachine &TM;
51 const MCAsmInfo &MAI;
52 X86AsmPrinter &AsmPrinter;
53public:
Rafael Espindola38c2e652013-10-29 16:11:22 +000054 X86MCInstLower(const MachineFunction &MF, X86AsmPrinter &asmprinter);
Craig Topper2a3f7752012-10-16 06:01:50 +000055
Sanjoy Das2d869b22015-06-15 18:44:01 +000056 Optional<MCOperand> LowerMachineOperand(const MachineInstr *MI,
57 const MachineOperand &MO) const;
Craig Topper2a3f7752012-10-16 06:01:50 +000058 void Lower(const MachineInstr *MI, MCInst &OutMI) const;
59
60 MCSymbol *GetSymbolFromOperand(const MachineOperand &MO) const;
61 MCOperand LowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym) const;
62
63private:
64 MachineModuleInfoMachO &getMachOMMI() const;
Rafael Espindola38c2e652013-10-29 16:11:22 +000065 Mangler *getMang() const {
66 return AsmPrinter.Mang;
67 }
Craig Topper2a3f7752012-10-16 06:01:50 +000068};
69
70} // end anonymous namespace
71
Lang Hamesf49bc3f2014-07-24 20:40:55 +000072// Emit a minimal sequence of nops spanning NumBytes bytes.
73static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit,
Sanjoy Das6ecfae62016-04-19 18:48:13 +000074 const MCSubtargetInfo &STI);
Lang Hamesf49bc3f2014-07-24 20:40:55 +000075
Sanjoy Das2effffd2016-04-19 18:48:16 +000076void X86AsmPrinter::StackMapShadowTracker::count(MCInst &Inst,
77 const MCSubtargetInfo &STI,
78 MCCodeEmitter *CodeEmitter) {
79 if (InShadow) {
80 SmallString<256> Code;
81 SmallVector<MCFixup, 4> Fixups;
82 raw_svector_ostream VecOS(Code);
83 CodeEmitter->encodeInstruction(Inst, VecOS, Fixups, STI);
84 CurrentShadowSize += Code.size();
85 if (CurrentShadowSize >= RequiredShadowSize)
86 InShadow = false; // The shadow is big enough. Stop counting.
Lang Hamesf49bc3f2014-07-24 20:40:55 +000087 }
Sanjoy Das2effffd2016-04-19 18:48:16 +000088}
Lang Hamesf49bc3f2014-07-24 20:40:55 +000089
Sanjoy Das2effffd2016-04-19 18:48:16 +000090void X86AsmPrinter::StackMapShadowTracker::emitShadowPadding(
Lang Hamesf49bc3f2014-07-24 20:40:55 +000091 MCStreamer &OutStreamer, const MCSubtargetInfo &STI) {
Sanjoy Das2effffd2016-04-19 18:48:16 +000092 if (InShadow && CurrentShadowSize < RequiredShadowSize) {
93 InShadow = false;
94 EmitNops(OutStreamer, RequiredShadowSize - CurrentShadowSize,
95 MF->getSubtarget<X86Subtarget>().is64Bit(), STI);
Lang Hamesf49bc3f2014-07-24 20:40:55 +000096 }
Sanjoy Das2effffd2016-04-19 18:48:16 +000097}
Lang Hamesf49bc3f2014-07-24 20:40:55 +000098
Sanjoy Das2effffd2016-04-19 18:48:16 +000099void X86AsmPrinter::EmitAndCountInstruction(MCInst &Inst) {
100 OutStreamer->EmitInstruction(Inst, getSubtargetInfo());
101 SMShadowTracker.count(Inst, getSubtargetInfo(), CodeEmitter.get());
102}
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000103
Rafael Espindola38c2e652013-10-29 16:11:22 +0000104X86MCInstLower::X86MCInstLower(const MachineFunction &mf,
Chris Lattnerb3f608b2010-07-22 21:10:04 +0000105 X86AsmPrinter &asmprinter)
Eric Christopher05b81972015-02-02 17:38:43 +0000106 : Ctx(mf.getContext()), MF(mf), TM(mf.getTarget()), MAI(*TM.getMCAsmInfo()),
107 AsmPrinter(asmprinter) {}
Chris Lattner31722082009-09-12 20:34:57 +0000108
Chris Lattner05f40392009-09-16 06:25:03 +0000109MachineModuleInfoMachO &X86MCInstLower::getMachOMMI() const {
Chris Lattner7fbdd7c2010-07-20 22:26:07 +0000110 return MF.getMMI().getObjFileInfo<MachineModuleInfoMachO>();
Chris Lattner05f40392009-09-16 06:25:03 +0000111}
112
Chris Lattner31722082009-09-12 20:34:57 +0000113
Chris Lattnerd9d71862010-02-08 23:03:41 +0000114/// GetSymbolFromOperand - Lower an MO_GlobalAddress or MO_ExternalSymbol
115/// operand to an MCSymbol.
Chris Lattner31722082009-09-12 20:34:57 +0000116MCSymbol *X86MCInstLower::
Chris Lattnerd9d71862010-02-08 23:03:41 +0000117GetSymbolFromOperand(const MachineOperand &MO) const {
Mehdi Aminibd7287e2015-07-16 06:11:10 +0000118 const DataLayout &DL = MF.getDataLayout();
Michael Liao6f720612012-10-17 02:22:27 +0000119 assert((MO.isGlobal() || MO.isSymbol() || MO.isMBB()) && "Isn't a symbol reference");
Chris Lattnerd9d71862010-02-08 23:03:41 +0000120
Rafael Espindola9aa3ab32015-06-03 00:02:40 +0000121 MCSymbol *Sym = nullptr;
Chris Lattner35ed98a2009-09-11 05:58:44 +0000122 SmallString<128> Name;
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000123 StringRef Suffix;
124
125 switch (MO.getTargetFlags()) {
Reid Klecknerc35e7f52015-06-11 01:31:48 +0000126 case X86II::MO_DLLIMPORT:
127 // Handle dllimport linkage.
128 Name += "__imp_";
129 break;
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000130 case X86II::MO_DARWIN_STUB:
131 Suffix = "$stub";
132 break;
133 case X86II::MO_DARWIN_NONLAZY:
134 case X86II::MO_DARWIN_NONLAZY_PIC_BASE:
135 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
136 Suffix = "$non_lazy_ptr";
137 break;
138 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000139
Rafael Espindola01d19d022013-12-05 05:19:12 +0000140 if (!Suffix.empty())
Mehdi Aminibd7287e2015-07-16 06:11:10 +0000141 Name += DL.getPrivateGlobalPrefix();
Rafael Espindola01d19d022013-12-05 05:19:12 +0000142
143 unsigned PrefixLen = Name.size();
144
Michael Liao6f720612012-10-17 02:22:27 +0000145 if (MO.isGlobal()) {
Chris Lattnere397df72010-03-12 19:42:40 +0000146 const GlobalValue *GV = MO.getGlobal();
Rafael Espindoladaeafb42014-02-19 17:23:20 +0000147 AsmPrinter.getNameWithPrefix(Name, GV);
Michael Liao6f720612012-10-17 02:22:27 +0000148 } else if (MO.isSymbol()) {
Mehdi Aminibd7287e2015-07-16 06:11:10 +0000149 Mangler::getNameWithPrefix(Name, MO.getSymbolName(), DL);
Michael Liao6f720612012-10-17 02:22:27 +0000150 } else if (MO.isMBB()) {
Rafael Espindola9aa3ab32015-06-03 00:02:40 +0000151 assert(Suffix.empty());
152 Sym = MO.getMBB()->getSymbol();
Chris Lattner17ec6b12009-09-20 06:45:52 +0000153 }
Rafael Espindola01d19d022013-12-05 05:19:12 +0000154 unsigned OrigLen = Name.size() - PrefixLen;
Chris Lattnerd9d71862010-02-08 23:03:41 +0000155
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000156 Name += Suffix;
Rafael Espindola9aa3ab32015-06-03 00:02:40 +0000157 if (!Sym)
158 Sym = Ctx.getOrCreateSymbol(Name);
Rafael Espindola01d19d022013-12-05 05:19:12 +0000159
160 StringRef OrigName = StringRef(Name).substr(PrefixLen, OrigLen);
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000161
Chris Lattnerd9d71862010-02-08 23:03:41 +0000162 // If the target flags on the operand changes the name of the symbol, do that
163 // before we return the symbol.
Chris Lattner74f4ca72009-09-02 17:35:12 +0000164 switch (MO.getTargetFlags()) {
Chris Lattnerd9d71862010-02-08 23:03:41 +0000165 default: break;
Chris Lattner954b9cd2009-09-03 05:06:07 +0000166 case X86II::MO_DARWIN_NONLAZY:
Chris Lattner446d5892009-09-11 06:59:18 +0000167 case X86II::MO_DARWIN_NONLAZY_PIC_BASE: {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000168 MachineModuleInfoImpl::StubValueTy &StubSym =
169 getMachOMMI().getGVStubEntry(Sym);
Craig Topper062a2ba2014-04-25 05:30:21 +0000170 if (!StubSym.getPointer()) {
Chris Lattnerd9d71862010-02-08 23:03:41 +0000171 assert(MO.isGlobal() && "Extern symbol not handled yet");
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000172 StubSym =
173 MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000174 StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000175 !MO.getGlobal()->hasInternalLinkage());
Chris Lattnerd9d71862010-02-08 23:03:41 +0000176 }
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000177 break;
Chris Lattner446d5892009-09-11 06:59:18 +0000178 }
Chris Lattner19a9f422009-09-11 07:03:20 +0000179 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000180 MachineModuleInfoImpl::StubValueTy &StubSym =
181 getMachOMMI().getHiddenGVStubEntry(Sym);
Craig Topper062a2ba2014-04-25 05:30:21 +0000182 if (!StubSym.getPointer()) {
Chris Lattnerd9d71862010-02-08 23:03:41 +0000183 assert(MO.isGlobal() && "Extern symbol not handled yet");
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000184 StubSym =
185 MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000186 StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000187 !MO.getGlobal()->hasInternalLinkage());
Chris Lattnerd9d71862010-02-08 23:03:41 +0000188 }
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000189 break;
Chris Lattnerd9d71862010-02-08 23:03:41 +0000190 }
191 case X86II::MO_DARWIN_STUB: {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000192 MachineModuleInfoImpl::StubValueTy &StubSym =
193 getMachOMMI().getFnStubEntry(Sym);
194 if (StubSym.getPointer())
Chris Lattnerd9d71862010-02-08 23:03:41 +0000195 return Sym;
Chad Rosier24c19d22012-08-01 18:39:17 +0000196
Chris Lattnerd9d71862010-02-08 23:03:41 +0000197 if (MO.isGlobal()) {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000198 StubSym =
199 MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000200 StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000201 !MO.getGlobal()->hasInternalLinkage());
Chris Lattnerd9d71862010-02-08 23:03:41 +0000202 } else {
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000203 StubSym =
204 MachineModuleInfoImpl::
Jim Grosbach6f482002015-05-18 18:43:14 +0000205 StubValueTy(Ctx.getOrCreateSymbol(OrigName), false);
Chris Lattner446d5892009-09-11 06:59:18 +0000206 }
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000207 break;
Chris Lattner9a7edd62009-09-11 06:36:33 +0000208 }
Chris Lattnerc5a95c52009-09-09 00:10:14 +0000209 }
Chris Lattnerd9d71862010-02-08 23:03:41 +0000210
Rafael Espindolad5bd5a42013-11-28 20:12:44 +0000211 return Sym;
Chris Lattner74f4ca72009-09-02 17:35:12 +0000212}
213
Chris Lattner31722082009-09-12 20:34:57 +0000214MCOperand X86MCInstLower::LowerSymbolOperand(const MachineOperand &MO,
215 MCSymbol *Sym) const {
Chris Lattnerc7b00732009-09-03 07:30:56 +0000216 // FIXME: We would like an efficient form for this, so we don't have to do a
217 // lot of extra uniquing.
Craig Topper062a2ba2014-04-25 05:30:21 +0000218 const MCExpr *Expr = nullptr;
Daniel Dunbar55992562010-03-15 23:51:06 +0000219 MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None;
Chad Rosier24c19d22012-08-01 18:39:17 +0000220
Chris Lattner6370d562009-09-03 04:56:20 +0000221 switch (MO.getTargetFlags()) {
Chris Lattner954b9cd2009-09-03 05:06:07 +0000222 default: llvm_unreachable("Unknown target flag on GV operand");
223 case X86II::MO_NO_FLAG: // No flag.
Chris Lattner954b9cd2009-09-03 05:06:07 +0000224 // These affect the name of the symbol, not any suffix.
225 case X86II::MO_DARWIN_NONLAZY:
Chris Lattner954b9cd2009-09-03 05:06:07 +0000226 case X86II::MO_DLLIMPORT:
227 case X86II::MO_DARWIN_STUB:
Chris Lattner954b9cd2009-09-03 05:06:07 +0000228 break;
Chad Rosier24c19d22012-08-01 18:39:17 +0000229
Eric Christopherb0e1a452010-06-03 04:07:48 +0000230 case X86II::MO_TLVP: RefKind = MCSymbolRefExpr::VK_TLVP; break;
231 case X86II::MO_TLVP_PIC_BASE:
Jim Grosbach13760bd2015-05-30 01:25:56 +0000232 Expr = MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_TLVP, Ctx);
Chris Lattner769aedd2010-07-14 23:04:59 +0000233 // Subtract the pic base.
Jim Grosbach13760bd2015-05-30 01:25:56 +0000234 Expr = MCBinaryExpr::createSub(Expr,
235 MCSymbolRefExpr::create(MF.getPICBaseSymbol(),
Chris Lattner769aedd2010-07-14 23:04:59 +0000236 Ctx),
237 Ctx);
238 break;
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000239 case X86II::MO_SECREL: RefKind = MCSymbolRefExpr::VK_SECREL; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000240 case X86II::MO_TLSGD: RefKind = MCSymbolRefExpr::VK_TLSGD; break;
Hans Wennborg789acfb2012-06-01 16:27:21 +0000241 case X86II::MO_TLSLD: RefKind = MCSymbolRefExpr::VK_TLSLD; break;
242 case X86II::MO_TLSLDM: RefKind = MCSymbolRefExpr::VK_TLSLDM; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000243 case X86II::MO_GOTTPOFF: RefKind = MCSymbolRefExpr::VK_GOTTPOFF; break;
244 case X86II::MO_INDNTPOFF: RefKind = MCSymbolRefExpr::VK_INDNTPOFF; break;
245 case X86II::MO_TPOFF: RefKind = MCSymbolRefExpr::VK_TPOFF; break;
Hans Wennborg789acfb2012-06-01 16:27:21 +0000246 case X86II::MO_DTPOFF: RefKind = MCSymbolRefExpr::VK_DTPOFF; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000247 case X86II::MO_NTPOFF: RefKind = MCSymbolRefExpr::VK_NTPOFF; break;
Hans Wennborgf9d0e442012-05-11 10:11:01 +0000248 case X86II::MO_GOTNTPOFF: RefKind = MCSymbolRefExpr::VK_GOTNTPOFF; break;
Daniel Dunbar55992562010-03-15 23:51:06 +0000249 case X86II::MO_GOTPCREL: RefKind = MCSymbolRefExpr::VK_GOTPCREL; break;
250 case X86II::MO_GOT: RefKind = MCSymbolRefExpr::VK_GOT; break;
251 case X86II::MO_GOTOFF: RefKind = MCSymbolRefExpr::VK_GOTOFF; break;
252 case X86II::MO_PLT: RefKind = MCSymbolRefExpr::VK_PLT; break;
Chris Lattner954b9cd2009-09-03 05:06:07 +0000253 case X86II::MO_PIC_BASE_OFFSET:
254 case X86II::MO_DARWIN_NONLAZY_PIC_BASE:
255 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
Jim Grosbach13760bd2015-05-30 01:25:56 +0000256 Expr = MCSymbolRefExpr::create(Sym, Ctx);
Chris Lattner954b9cd2009-09-03 05:06:07 +0000257 // Subtract the pic base.
Jim Grosbach13760bd2015-05-30 01:25:56 +0000258 Expr = MCBinaryExpr::createSub(Expr,
259 MCSymbolRefExpr::create(MF.getPICBaseSymbol(), Ctx),
Chris Lattner31722082009-09-12 20:34:57 +0000260 Ctx);
Rafael Espindolac606bfe2014-10-21 01:17:30 +0000261 if (MO.isJTI()) {
262 assert(MAI.doesSetDirectiveSuppressesReloc());
Evan Chengd0d8e332010-04-12 23:07:17 +0000263 // If .set directive is supported, use it to reduce the number of
264 // relocations the assembler will generate for differences between
265 // local labels. This is only safe when the symbols are in the same
266 // section so we are restricting it to jumptable references.
Jim Grosbach6f482002015-05-18 18:43:14 +0000267 MCSymbol *Label = Ctx.createTempSymbol();
Lang Hames9ff69c82015-04-24 19:11:51 +0000268 AsmPrinter.OutStreamer->EmitAssignment(Label, Expr);
Jim Grosbach13760bd2015-05-30 01:25:56 +0000269 Expr = MCSymbolRefExpr::create(Label, Ctx);
Evan Chengd0d8e332010-04-12 23:07:17 +0000270 }
Chris Lattner954b9cd2009-09-03 05:06:07 +0000271 break;
Chris Lattnerc7b00732009-09-03 07:30:56 +0000272 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000273
Craig Topper062a2ba2014-04-25 05:30:21 +0000274 if (!Expr)
Jim Grosbach13760bd2015-05-30 01:25:56 +0000275 Expr = MCSymbolRefExpr::create(Sym, RefKind, Ctx);
Chad Rosier24c19d22012-08-01 18:39:17 +0000276
Michael Liao6f720612012-10-17 02:22:27 +0000277 if (!MO.isJTI() && !MO.isMBB() && MO.getOffset())
Jim Grosbach13760bd2015-05-30 01:25:56 +0000278 Expr = MCBinaryExpr::createAdd(Expr,
279 MCConstantExpr::create(MO.getOffset(), Ctx),
Chris Lattner31722082009-09-12 20:34:57 +0000280 Ctx);
Jim Grosbache9119e42015-05-13 18:37:00 +0000281 return MCOperand::createExpr(Expr);
Chris Lattner5daf6192009-09-03 04:44:53 +0000282}
283
Chris Lattner482c5df2009-09-11 04:28:13 +0000284
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000285/// \brief Simplify FOO $imm, %{al,ax,eax,rax} to FOO $imm, for instruction with
286/// a short fixed-register form.
287static void SimplifyShortImmForm(MCInst &Inst, unsigned Opcode) {
288 unsigned ImmOp = Inst.getNumOperands() - 1;
Anton Korobeynikovc6b40172012-02-11 17:26:53 +0000289 assert(Inst.getOperand(0).isReg() &&
290 (Inst.getOperand(ImmOp).isImm() || Inst.getOperand(ImmOp).isExpr()) &&
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000291 ((Inst.getNumOperands() == 3 && Inst.getOperand(1).isReg() &&
292 Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg()) ||
293 Inst.getNumOperands() == 2) && "Unexpected instruction!");
294
295 // Check whether the destination register can be fixed.
296 unsigned Reg = Inst.getOperand(0).getReg();
297 if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX)
298 return;
299
300 // If so, rewrite the instruction.
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000301 MCOperand Saved = Inst.getOperand(ImmOp);
302 Inst = MCInst();
303 Inst.setOpcode(Opcode);
304 Inst.addOperand(Saved);
305}
306
Benjamin Kramer068a2252013-07-12 18:06:44 +0000307/// \brief If a movsx instruction has a shorter encoding for the used register
308/// simplify the instruction to use it instead.
309static void SimplifyMOVSX(MCInst &Inst) {
310 unsigned NewOpcode = 0;
311 unsigned Op0 = Inst.getOperand(0).getReg(), Op1 = Inst.getOperand(1).getReg();
312 switch (Inst.getOpcode()) {
313 default:
314 llvm_unreachable("Unexpected instruction!");
315 case X86::MOVSX16rr8: // movsbw %al, %ax --> cbtw
316 if (Op0 == X86::AX && Op1 == X86::AL)
317 NewOpcode = X86::CBW;
318 break;
319 case X86::MOVSX32rr16: // movswl %ax, %eax --> cwtl
320 if (Op0 == X86::EAX && Op1 == X86::AX)
321 NewOpcode = X86::CWDE;
322 break;
323 case X86::MOVSX64rr32: // movslq %eax, %rax --> cltq
324 if (Op0 == X86::RAX && Op1 == X86::EAX)
325 NewOpcode = X86::CDQE;
326 break;
327 }
328
329 if (NewOpcode != 0) {
330 Inst = MCInst();
331 Inst.setOpcode(NewOpcode);
332 }
333}
334
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000335/// \brief Simplify things like MOV32rm to MOV32o32a.
Eli Friedman51ec7452010-08-16 21:03:32 +0000336static void SimplifyShortMoveForm(X86AsmPrinter &Printer, MCInst &Inst,
337 unsigned Opcode) {
338 // Don't make these simplifications in 64-bit mode; other assemblers don't
339 // perform them because they make the code larger.
340 if (Printer.getSubtarget().is64Bit())
341 return;
342
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000343 bool IsStore = Inst.getOperand(0).isReg() && Inst.getOperand(1).isReg();
344 unsigned AddrBase = IsStore;
345 unsigned RegOp = IsStore ? 0 : 5;
346 unsigned AddrOp = AddrBase + 3;
347 assert(Inst.getNumOperands() == 6 && Inst.getOperand(RegOp).isReg() &&
Manuel Jacobdcb78db2014-03-18 16:14:11 +0000348 Inst.getOperand(AddrBase + X86::AddrBaseReg).isReg() &&
349 Inst.getOperand(AddrBase + X86::AddrScaleAmt).isImm() &&
350 Inst.getOperand(AddrBase + X86::AddrIndexReg).isReg() &&
351 Inst.getOperand(AddrBase + X86::AddrSegmentReg).isReg() &&
352 (Inst.getOperand(AddrOp).isExpr() ||
353 Inst.getOperand(AddrOp).isImm()) &&
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000354 "Unexpected instruction!");
355
356 // Check whether the destination register can be fixed.
357 unsigned Reg = Inst.getOperand(RegOp).getReg();
358 if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX)
359 return;
360
361 // Check whether this is an absolute address.
Chad Rosier24c19d22012-08-01 18:39:17 +0000362 // FIXME: We know TLVP symbol refs aren't, but there should be a better way
Eric Christopher29b58af2010-06-17 00:51:48 +0000363 // to do this here.
364 bool Absolute = true;
365 if (Inst.getOperand(AddrOp).isExpr()) {
366 const MCExpr *MCE = Inst.getOperand(AddrOp).getExpr();
367 if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(MCE))
368 if (SRE->getKind() == MCSymbolRefExpr::VK_TLVP)
369 Absolute = false;
370 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000371
Eric Christopher29b58af2010-06-17 00:51:48 +0000372 if (Absolute &&
Manuel Jacobdcb78db2014-03-18 16:14:11 +0000373 (Inst.getOperand(AddrBase + X86::AddrBaseReg).getReg() != 0 ||
374 Inst.getOperand(AddrBase + X86::AddrScaleAmt).getImm() != 1 ||
375 Inst.getOperand(AddrBase + X86::AddrIndexReg).getReg() != 0))
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000376 return;
377
378 // If so, rewrite the instruction.
379 MCOperand Saved = Inst.getOperand(AddrOp);
Manuel Jacobdcb78db2014-03-18 16:14:11 +0000380 MCOperand Seg = Inst.getOperand(AddrBase + X86::AddrSegmentReg);
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000381 Inst = MCInst();
382 Inst.setOpcode(Opcode);
383 Inst.addOperand(Saved);
Craig Toppera9d2c672014-01-16 07:57:45 +0000384 Inst.addOperand(Seg);
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000385}
Chris Lattner31722082009-09-12 20:34:57 +0000386
Michael Liao5bf95782014-12-04 05:20:33 +0000387static unsigned getRetOpcode(const X86Subtarget &Subtarget) {
388 return Subtarget.is64Bit() ? X86::RETQ : X86::RETL;
David Woodhouse79dd5052014-01-08 12:58:07 +0000389}
390
Sanjoy Das2d869b22015-06-15 18:44:01 +0000391Optional<MCOperand>
392X86MCInstLower::LowerMachineOperand(const MachineInstr *MI,
393 const MachineOperand &MO) const {
394 switch (MO.getType()) {
395 default:
396 MI->dump();
397 llvm_unreachable("unknown operand type");
398 case MachineOperand::MO_Register:
399 // Ignore all implicit register operands.
400 if (MO.isImplicit())
401 return None;
402 return MCOperand::createReg(MO.getReg());
403 case MachineOperand::MO_Immediate:
404 return MCOperand::createImm(MO.getImm());
405 case MachineOperand::MO_MachineBasicBlock:
406 case MachineOperand::MO_GlobalAddress:
407 case MachineOperand::MO_ExternalSymbol:
408 return LowerSymbolOperand(MO, GetSymbolFromOperand(MO));
Rafael Espindola36b718f2015-06-22 17:46:53 +0000409 case MachineOperand::MO_MCSymbol:
410 return LowerSymbolOperand(MO, MO.getMCSymbol());
Sanjoy Das2d869b22015-06-15 18:44:01 +0000411 case MachineOperand::MO_JumpTableIndex:
412 return LowerSymbolOperand(MO, AsmPrinter.GetJTISymbol(MO.getIndex()));
413 case MachineOperand::MO_ConstantPoolIndex:
414 return LowerSymbolOperand(MO, AsmPrinter.GetCPISymbol(MO.getIndex()));
415 case MachineOperand::MO_BlockAddress:
416 return LowerSymbolOperand(
417 MO, AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress()));
418 case MachineOperand::MO_RegisterMask:
419 // Ignore call clobbers.
420 return None;
421 }
422}
423
Chris Lattner31722082009-09-12 20:34:57 +0000424void X86MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
425 OutMI.setOpcode(MI->getOpcode());
Chad Rosier24c19d22012-08-01 18:39:17 +0000426
Sanjoy Das2d869b22015-06-15 18:44:01 +0000427 for (const MachineOperand &MO : MI->operands())
428 if (auto MaybeMCOp = LowerMachineOperand(MI, MO))
429 OutMI.addOperand(MaybeMCOp.getValue());
Chad Rosier24c19d22012-08-01 18:39:17 +0000430
Chris Lattner31722082009-09-12 20:34:57 +0000431 // Handle a few special cases to eliminate operand modifiers.
Chris Lattner626656a2010-10-08 03:54:52 +0000432ReSimplify:
Chris Lattner31722082009-09-12 20:34:57 +0000433 switch (OutMI.getOpcode()) {
Tim Northover6833e3f2013-06-10 20:43:49 +0000434 case X86::LEA64_32r:
Chris Lattnerf4693072010-07-08 23:46:44 +0000435 case X86::LEA64r:
436 case X86::LEA16r:
437 case X86::LEA32r:
438 // LEA should have a segment register, but it must be empty.
439 assert(OutMI.getNumOperands() == 1+X86::AddrNumOperands &&
440 "Unexpected # of LEA operands");
441 assert(OutMI.getOperand(1+X86::AddrSegmentReg).getReg() == 0 &&
442 "LEA has segment specified!");
Chris Lattner31722082009-09-12 20:34:57 +0000443 break;
Chris Lattnere96d5342010-02-05 21:30:49 +0000444
Craig Toppera66d81d2013-03-14 07:09:57 +0000445 // Commute operands to get a smaller encoding by using VEX.R instead of VEX.B
446 // if one of the registers is extended, but other isn't.
Craig Topperd6b661d2015-10-12 04:57:59 +0000447 case X86::VMOVZPQILo2PQIrr:
Craig Toppera66d81d2013-03-14 07:09:57 +0000448 case X86::VMOVAPDrr:
449 case X86::VMOVAPDYrr:
450 case X86::VMOVAPSrr:
451 case X86::VMOVAPSYrr:
452 case X86::VMOVDQArr:
453 case X86::VMOVDQAYrr:
454 case X86::VMOVDQUrr:
455 case X86::VMOVDQUYrr:
Craig Toppera66d81d2013-03-14 07:09:57 +0000456 case X86::VMOVUPDrr:
457 case X86::VMOVUPDYrr:
458 case X86::VMOVUPSrr:
459 case X86::VMOVUPSYrr: {
Craig Topper612f7bf2013-03-16 03:44:31 +0000460 if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) &&
461 X86II::isX86_64ExtendedReg(OutMI.getOperand(1).getReg())) {
462 unsigned NewOpc;
463 switch (OutMI.getOpcode()) {
464 default: llvm_unreachable("Invalid opcode");
Craig Topperd6b661d2015-10-12 04:57:59 +0000465 case X86::VMOVZPQILo2PQIrr: NewOpc = X86::VMOVPQI2QIrr; break;
466 case X86::VMOVAPDrr: NewOpc = X86::VMOVAPDrr_REV; break;
467 case X86::VMOVAPDYrr: NewOpc = X86::VMOVAPDYrr_REV; break;
468 case X86::VMOVAPSrr: NewOpc = X86::VMOVAPSrr_REV; break;
469 case X86::VMOVAPSYrr: NewOpc = X86::VMOVAPSYrr_REV; break;
470 case X86::VMOVDQArr: NewOpc = X86::VMOVDQArr_REV; break;
471 case X86::VMOVDQAYrr: NewOpc = X86::VMOVDQAYrr_REV; break;
472 case X86::VMOVDQUrr: NewOpc = X86::VMOVDQUrr_REV; break;
473 case X86::VMOVDQUYrr: NewOpc = X86::VMOVDQUYrr_REV; break;
474 case X86::VMOVUPDrr: NewOpc = X86::VMOVUPDrr_REV; break;
475 case X86::VMOVUPDYrr: NewOpc = X86::VMOVUPDYrr_REV; break;
476 case X86::VMOVUPSrr: NewOpc = X86::VMOVUPSrr_REV; break;
477 case X86::VMOVUPSYrr: NewOpc = X86::VMOVUPSYrr_REV; break;
Craig Topper612f7bf2013-03-16 03:44:31 +0000478 }
479 OutMI.setOpcode(NewOpc);
Craig Toppera66d81d2013-03-14 07:09:57 +0000480 }
Craig Topper612f7bf2013-03-16 03:44:31 +0000481 break;
482 }
483 case X86::VMOVSDrr:
484 case X86::VMOVSSrr: {
485 if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) &&
486 X86II::isX86_64ExtendedReg(OutMI.getOperand(2).getReg())) {
487 unsigned NewOpc;
488 switch (OutMI.getOpcode()) {
489 default: llvm_unreachable("Invalid opcode");
490 case X86::VMOVSDrr: NewOpc = X86::VMOVSDrr_REV; break;
491 case X86::VMOVSSrr: NewOpc = X86::VMOVSSrr_REV; break;
492 }
493 OutMI.setOpcode(NewOpc);
494 }
Craig Toppera66d81d2013-03-14 07:09:57 +0000495 break;
496 }
497
Jakob Stoklund Olesen97e31152012-02-16 17:56:02 +0000498 // TAILJMPr64, CALL64r, CALL64pcrel32 - These instructions have register
499 // inputs modeled as normal uses instead of implicit uses. As such, truncate
500 // off all but the first operand (the callee). FIXME: Change isel.
Daniel Dunbarb243dfb2010-05-19 08:07:12 +0000501 case X86::TAILJMPr64:
Reid Klecknera580b6e2015-01-30 21:03:31 +0000502 case X86::TAILJMPr64_REX:
Daniel Dunbar45ace402010-05-19 04:31:36 +0000503 case X86::CALL64r:
Jakob Stoklund Olesen97e31152012-02-16 17:56:02 +0000504 case X86::CALL64pcrel32: {
Daniel Dunbar45ace402010-05-19 04:31:36 +0000505 unsigned Opcode = OutMI.getOpcode();
Chris Lattner9f465392010-05-18 21:40:18 +0000506 MCOperand Saved = OutMI.getOperand(0);
507 OutMI = MCInst();
Daniel Dunbar45ace402010-05-19 04:31:36 +0000508 OutMI.setOpcode(Opcode);
Chris Lattner9f465392010-05-18 21:40:18 +0000509 OutMI.addOperand(Saved);
510 break;
511 }
Daniel Dunbar45ace402010-05-19 04:31:36 +0000512
Rafael Espindolad94f3b42010-10-26 18:09:55 +0000513 case X86::EH_RETURN:
514 case X86::EH_RETURN64: {
515 OutMI = MCInst();
David Woodhouse79dd5052014-01-08 12:58:07 +0000516 OutMI.setOpcode(getRetOpcode(AsmPrinter.getSubtarget()));
Rafael Espindolad94f3b42010-10-26 18:09:55 +0000517 break;
518 }
519
David Majnemerf828a0c2015-10-01 18:44:59 +0000520 case X86::CLEANUPRET: {
521 // Replace CATCHRET with the appropriate RET.
522 OutMI = MCInst();
523 OutMI.setOpcode(getRetOpcode(AsmPrinter.getSubtarget()));
524 break;
525 }
526
527 case X86::CATCHRET: {
528 // Replace CATCHRET with the appropriate RET.
529 const X86Subtarget &Subtarget = AsmPrinter.getSubtarget();
530 unsigned ReturnReg = Subtarget.is64Bit() ? X86::RAX : X86::EAX;
531 OutMI = MCInst();
532 OutMI.setOpcode(getRetOpcode(Subtarget));
533 OutMI.addOperand(MCOperand::createReg(ReturnReg));
534 break;
535 }
536
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000537 // TAILJMPd, TAILJMPd64 - Lower to the correct jump instructions.
Chris Lattner88c18562010-07-09 00:49:41 +0000538 case X86::TAILJMPr:
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000539 case X86::TAILJMPd:
540 case X86::TAILJMPd64: {
Chris Lattner88c18562010-07-09 00:49:41 +0000541 unsigned Opcode;
542 switch (OutMI.getOpcode()) {
Craig Topper4ed72782012-02-05 05:38:58 +0000543 default: llvm_unreachable("Invalid opcode");
Chris Lattner88c18562010-07-09 00:49:41 +0000544 case X86::TAILJMPr: Opcode = X86::JMP32r; break;
545 case X86::TAILJMPd:
546 case X86::TAILJMPd64: Opcode = X86::JMP_1; break;
547 }
Chad Rosier24c19d22012-08-01 18:39:17 +0000548
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000549 MCOperand Saved = OutMI.getOperand(0);
550 OutMI = MCInst();
Chris Lattner88c18562010-07-09 00:49:41 +0000551 OutMI.setOpcode(Opcode);
Daniel Dunbard2f78e72010-05-19 15:26:43 +0000552 OutMI.addOperand(Saved);
553 break;
554 }
555
Craig Topperddbf51f2015-01-06 07:35:50 +0000556 case X86::DEC16r:
557 case X86::DEC32r:
558 case X86::INC16r:
559 case X86::INC32r:
560 // If we aren't in 64-bit mode we can use the 1-byte inc/dec instructions.
561 if (!AsmPrinter.getSubtarget().is64Bit()) {
562 unsigned Opcode;
563 switch (OutMI.getOpcode()) {
564 default: llvm_unreachable("Invalid opcode");
565 case X86::DEC16r: Opcode = X86::DEC16r_alt; break;
566 case X86::DEC32r: Opcode = X86::DEC32r_alt; break;
567 case X86::INC16r: Opcode = X86::INC16r_alt; break;
568 case X86::INC32r: Opcode = X86::INC32r_alt; break;
569 }
570 OutMI.setOpcode(Opcode);
571 }
572 break;
573
Chris Lattner626656a2010-10-08 03:54:52 +0000574 // These are pseudo-ops for OR to help with the OR->ADD transformation. We do
575 // this with an ugly goto in case the resultant OR uses EAX and needs the
576 // short form.
Chris Lattnerdd774772010-10-08 03:57:25 +0000577 case X86::ADD16rr_DB: OutMI.setOpcode(X86::OR16rr); goto ReSimplify;
578 case X86::ADD32rr_DB: OutMI.setOpcode(X86::OR32rr); goto ReSimplify;
579 case X86::ADD64rr_DB: OutMI.setOpcode(X86::OR64rr); goto ReSimplify;
580 case X86::ADD16ri_DB: OutMI.setOpcode(X86::OR16ri); goto ReSimplify;
581 case X86::ADD32ri_DB: OutMI.setOpcode(X86::OR32ri); goto ReSimplify;
582 case X86::ADD64ri32_DB: OutMI.setOpcode(X86::OR64ri32); goto ReSimplify;
583 case X86::ADD16ri8_DB: OutMI.setOpcode(X86::OR16ri8); goto ReSimplify;
584 case X86::ADD32ri8_DB: OutMI.setOpcode(X86::OR32ri8); goto ReSimplify;
585 case X86::ADD64ri8_DB: OutMI.setOpcode(X86::OR64ri8); goto ReSimplify;
Chad Rosier24c19d22012-08-01 18:39:17 +0000586
Eli Friedman02f2f892011-09-07 18:48:32 +0000587 // Atomic load and store require a separate pseudo-inst because Acquire
588 // implies mayStore and Release implies mayLoad; fix these to regular MOV
589 // instructions here
Robin Morissetdf205862014-09-02 22:16:29 +0000590 case X86::ACQUIRE_MOV8rm: OutMI.setOpcode(X86::MOV8rm); goto ReSimplify;
591 case X86::ACQUIRE_MOV16rm: OutMI.setOpcode(X86::MOV16rm); goto ReSimplify;
592 case X86::ACQUIRE_MOV32rm: OutMI.setOpcode(X86::MOV32rm); goto ReSimplify;
593 case X86::ACQUIRE_MOV64rm: OutMI.setOpcode(X86::MOV64rm); goto ReSimplify;
594 case X86::RELEASE_MOV8mr: OutMI.setOpcode(X86::MOV8mr); goto ReSimplify;
595 case X86::RELEASE_MOV16mr: OutMI.setOpcode(X86::MOV16mr); goto ReSimplify;
596 case X86::RELEASE_MOV32mr: OutMI.setOpcode(X86::MOV32mr); goto ReSimplify;
597 case X86::RELEASE_MOV64mr: OutMI.setOpcode(X86::MOV64mr); goto ReSimplify;
598 case X86::RELEASE_MOV8mi: OutMI.setOpcode(X86::MOV8mi); goto ReSimplify;
599 case X86::RELEASE_MOV16mi: OutMI.setOpcode(X86::MOV16mi); goto ReSimplify;
600 case X86::RELEASE_MOV32mi: OutMI.setOpcode(X86::MOV32mi); goto ReSimplify;
601 case X86::RELEASE_MOV64mi32: OutMI.setOpcode(X86::MOV64mi32); goto ReSimplify;
602 case X86::RELEASE_ADD8mi: OutMI.setOpcode(X86::ADD8mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000603 case X86::RELEASE_ADD8mr: OutMI.setOpcode(X86::ADD8mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000604 case X86::RELEASE_ADD32mi: OutMI.setOpcode(X86::ADD32mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000605 case X86::RELEASE_ADD32mr: OutMI.setOpcode(X86::ADD32mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000606 case X86::RELEASE_ADD64mi32: OutMI.setOpcode(X86::ADD64mi32); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000607 case X86::RELEASE_ADD64mr: OutMI.setOpcode(X86::ADD64mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000608 case X86::RELEASE_AND8mi: OutMI.setOpcode(X86::AND8mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000609 case X86::RELEASE_AND8mr: OutMI.setOpcode(X86::AND8mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000610 case X86::RELEASE_AND32mi: OutMI.setOpcode(X86::AND32mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000611 case X86::RELEASE_AND32mr: OutMI.setOpcode(X86::AND32mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000612 case X86::RELEASE_AND64mi32: OutMI.setOpcode(X86::AND64mi32); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000613 case X86::RELEASE_AND64mr: OutMI.setOpcode(X86::AND64mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000614 case X86::RELEASE_OR8mi: OutMI.setOpcode(X86::OR8mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000615 case X86::RELEASE_OR8mr: OutMI.setOpcode(X86::OR8mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000616 case X86::RELEASE_OR32mi: OutMI.setOpcode(X86::OR32mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000617 case X86::RELEASE_OR32mr: OutMI.setOpcode(X86::OR32mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000618 case X86::RELEASE_OR64mi32: OutMI.setOpcode(X86::OR64mi32); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000619 case X86::RELEASE_OR64mr: OutMI.setOpcode(X86::OR64mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000620 case X86::RELEASE_XOR8mi: OutMI.setOpcode(X86::XOR8mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000621 case X86::RELEASE_XOR8mr: OutMI.setOpcode(X86::XOR8mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000622 case X86::RELEASE_XOR32mi: OutMI.setOpcode(X86::XOR32mi); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000623 case X86::RELEASE_XOR32mr: OutMI.setOpcode(X86::XOR32mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000624 case X86::RELEASE_XOR64mi32: OutMI.setOpcode(X86::XOR64mi32); goto ReSimplify;
JF Bastien86620832015-08-05 21:04:59 +0000625 case X86::RELEASE_XOR64mr: OutMI.setOpcode(X86::XOR64mr); goto ReSimplify;
Robin Morissetdf205862014-09-02 22:16:29 +0000626 case X86::RELEASE_INC8m: OutMI.setOpcode(X86::INC8m); goto ReSimplify;
627 case X86::RELEASE_INC16m: OutMI.setOpcode(X86::INC16m); goto ReSimplify;
628 case X86::RELEASE_INC32m: OutMI.setOpcode(X86::INC32m); goto ReSimplify;
629 case X86::RELEASE_INC64m: OutMI.setOpcode(X86::INC64m); goto ReSimplify;
630 case X86::RELEASE_DEC8m: OutMI.setOpcode(X86::DEC8m); goto ReSimplify;
631 case X86::RELEASE_DEC16m: OutMI.setOpcode(X86::DEC16m); goto ReSimplify;
632 case X86::RELEASE_DEC32m: OutMI.setOpcode(X86::DEC32m); goto ReSimplify;
633 case X86::RELEASE_DEC64m: OutMI.setOpcode(X86::DEC64m); goto ReSimplify;
Eli Friedman02f2f892011-09-07 18:48:32 +0000634
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000635 // We don't currently select the correct instruction form for instructions
636 // which have a short %eax, etc. form. Handle this by custom lowering, for
637 // now.
638 //
639 // Note, we are currently not handling the following instructions:
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000640 // MOV64ao8, MOV64o8a
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000641 // XCHG16ar, XCHG32ar, XCHG64ar
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000642 case X86::MOV8mr_NOREX:
Craig Topper4e5ab812015-01-02 07:36:23 +0000643 case X86::MOV8mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8o32a); break;
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000644 case X86::MOV8rm_NOREX:
Craig Topper4e5ab812015-01-02 07:36:23 +0000645 case X86::MOV8rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8ao32); break;
646 case X86::MOV16mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16o32a); break;
647 case X86::MOV16rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16ao32); break;
648 case X86::MOV32mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32o32a); break;
649 case X86::MOV32rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32ao32); break;
Daniel Dunbar4f6c7c62010-05-19 06:20:44 +0000650
Daniel Dunbara4820fc2010-05-18 17:22:24 +0000651 case X86::ADC8ri: SimplifyShortImmForm(OutMI, X86::ADC8i8); break;
652 case X86::ADC16ri: SimplifyShortImmForm(OutMI, X86::ADC16i16); break;
653 case X86::ADC32ri: SimplifyShortImmForm(OutMI, X86::ADC32i32); break;
654 case X86::ADC64ri32: SimplifyShortImmForm(OutMI, X86::ADC64i32); break;
655 case X86::ADD8ri: SimplifyShortImmForm(OutMI, X86::ADD8i8); break;
656 case X86::ADD16ri: SimplifyShortImmForm(OutMI, X86::ADD16i16); break;
657 case X86::ADD32ri: SimplifyShortImmForm(OutMI, X86::ADD32i32); break;
658 case X86::ADD64ri32: SimplifyShortImmForm(OutMI, X86::ADD64i32); break;
659 case X86::AND8ri: SimplifyShortImmForm(OutMI, X86::AND8i8); break;
660 case X86::AND16ri: SimplifyShortImmForm(OutMI, X86::AND16i16); break;
661 case X86::AND32ri: SimplifyShortImmForm(OutMI, X86::AND32i32); break;
662 case X86::AND64ri32: SimplifyShortImmForm(OutMI, X86::AND64i32); break;
663 case X86::CMP8ri: SimplifyShortImmForm(OutMI, X86::CMP8i8); break;
664 case X86::CMP16ri: SimplifyShortImmForm(OutMI, X86::CMP16i16); break;
665 case X86::CMP32ri: SimplifyShortImmForm(OutMI, X86::CMP32i32); break;
666 case X86::CMP64ri32: SimplifyShortImmForm(OutMI, X86::CMP64i32); break;
667 case X86::OR8ri: SimplifyShortImmForm(OutMI, X86::OR8i8); break;
668 case X86::OR16ri: SimplifyShortImmForm(OutMI, X86::OR16i16); break;
669 case X86::OR32ri: SimplifyShortImmForm(OutMI, X86::OR32i32); break;
670 case X86::OR64ri32: SimplifyShortImmForm(OutMI, X86::OR64i32); break;
671 case X86::SBB8ri: SimplifyShortImmForm(OutMI, X86::SBB8i8); break;
672 case X86::SBB16ri: SimplifyShortImmForm(OutMI, X86::SBB16i16); break;
673 case X86::SBB32ri: SimplifyShortImmForm(OutMI, X86::SBB32i32); break;
674 case X86::SBB64ri32: SimplifyShortImmForm(OutMI, X86::SBB64i32); break;
675 case X86::SUB8ri: SimplifyShortImmForm(OutMI, X86::SUB8i8); break;
676 case X86::SUB16ri: SimplifyShortImmForm(OutMI, X86::SUB16i16); break;
677 case X86::SUB32ri: SimplifyShortImmForm(OutMI, X86::SUB32i32); break;
678 case X86::SUB64ri32: SimplifyShortImmForm(OutMI, X86::SUB64i32); break;
679 case X86::TEST8ri: SimplifyShortImmForm(OutMI, X86::TEST8i8); break;
680 case X86::TEST16ri: SimplifyShortImmForm(OutMI, X86::TEST16i16); break;
681 case X86::TEST32ri: SimplifyShortImmForm(OutMI, X86::TEST32i32); break;
682 case X86::TEST64ri32: SimplifyShortImmForm(OutMI, X86::TEST64i32); break;
683 case X86::XOR8ri: SimplifyShortImmForm(OutMI, X86::XOR8i8); break;
684 case X86::XOR16ri: SimplifyShortImmForm(OutMI, X86::XOR16i16); break;
685 case X86::XOR32ri: SimplifyShortImmForm(OutMI, X86::XOR32i32); break;
686 case X86::XOR64ri32: SimplifyShortImmForm(OutMI, X86::XOR64i32); break;
Rafael Espindola66393c12011-10-26 21:12:27 +0000687
Benjamin Kramer068a2252013-07-12 18:06:44 +0000688 // Try to shrink some forms of movsx.
689 case X86::MOVSX16rr8:
690 case X86::MOVSX32rr16:
691 case X86::MOVSX64rr32:
692 SimplifyMOVSX(OutMI);
693 break;
Rafael Espindola66393c12011-10-26 21:12:27 +0000694 }
Chris Lattner31722082009-09-12 20:34:57 +0000695}
696
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000697void X86AsmPrinter::LowerTlsAddr(X86MCInstLower &MCInstLowering,
698 const MachineInstr &MI) {
Hans Wennborg789acfb2012-06-01 16:27:21 +0000699
700 bool is64Bits = MI.getOpcode() == X86::TLS_addr64 ||
701 MI.getOpcode() == X86::TLS_base_addr64;
702
703 bool needsPadding = MI.getOpcode() == X86::TLS_addr64;
704
Lang Hames9ff69c82015-04-24 19:11:51 +0000705 MCContext &context = OutStreamer->getContext();
Rafael Espindolac4774792010-11-28 21:16:39 +0000706
Benjamin Kramer4e629f72012-11-26 13:34:22 +0000707 if (needsPadding)
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000708 EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX));
Hans Wennborg789acfb2012-06-01 16:27:21 +0000709
710 MCSymbolRefExpr::VariantKind SRVK;
711 switch (MI.getOpcode()) {
712 case X86::TLS_addr32:
713 case X86::TLS_addr64:
714 SRVK = MCSymbolRefExpr::VK_TLSGD;
715 break;
716 case X86::TLS_base_addr32:
717 SRVK = MCSymbolRefExpr::VK_TLSLDM;
718 break;
719 case X86::TLS_base_addr64:
720 SRVK = MCSymbolRefExpr::VK_TLSLD;
721 break;
722 default:
723 llvm_unreachable("unexpected opcode");
724 }
725
Rafael Espindolac4774792010-11-28 21:16:39 +0000726 MCSymbol *sym = MCInstLowering.GetSymbolFromOperand(MI.getOperand(3));
Jim Grosbach13760bd2015-05-30 01:25:56 +0000727 const MCSymbolRefExpr *symRef = MCSymbolRefExpr::create(sym, SRVK, context);
Rafael Espindolac4774792010-11-28 21:16:39 +0000728
729 MCInst LEA;
730 if (is64Bits) {
731 LEA.setOpcode(X86::LEA64r);
Jim Grosbache9119e42015-05-13 18:37:00 +0000732 LEA.addOperand(MCOperand::createReg(X86::RDI)); // dest
733 LEA.addOperand(MCOperand::createReg(X86::RIP)); // base
734 LEA.addOperand(MCOperand::createImm(1)); // scale
735 LEA.addOperand(MCOperand::createReg(0)); // index
736 LEA.addOperand(MCOperand::createExpr(symRef)); // disp
737 LEA.addOperand(MCOperand::createReg(0)); // seg
Rafael Espindola55d11452012-06-07 18:39:19 +0000738 } else if (SRVK == MCSymbolRefExpr::VK_TLSLDM) {
739 LEA.setOpcode(X86::LEA32r);
Jim Grosbache9119e42015-05-13 18:37:00 +0000740 LEA.addOperand(MCOperand::createReg(X86::EAX)); // dest
741 LEA.addOperand(MCOperand::createReg(X86::EBX)); // base
742 LEA.addOperand(MCOperand::createImm(1)); // scale
743 LEA.addOperand(MCOperand::createReg(0)); // index
744 LEA.addOperand(MCOperand::createExpr(symRef)); // disp
745 LEA.addOperand(MCOperand::createReg(0)); // seg
Rafael Espindolac4774792010-11-28 21:16:39 +0000746 } else {
747 LEA.setOpcode(X86::LEA32r);
Jim Grosbache9119e42015-05-13 18:37:00 +0000748 LEA.addOperand(MCOperand::createReg(X86::EAX)); // dest
749 LEA.addOperand(MCOperand::createReg(0)); // base
750 LEA.addOperand(MCOperand::createImm(1)); // scale
751 LEA.addOperand(MCOperand::createReg(X86::EBX)); // index
752 LEA.addOperand(MCOperand::createExpr(symRef)); // disp
753 LEA.addOperand(MCOperand::createReg(0)); // seg
Rafael Espindolac4774792010-11-28 21:16:39 +0000754 }
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000755 EmitAndCountInstruction(LEA);
Rafael Espindolac4774792010-11-28 21:16:39 +0000756
Hans Wennborg789acfb2012-06-01 16:27:21 +0000757 if (needsPadding) {
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000758 EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX));
759 EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX));
760 EmitAndCountInstruction(MCInstBuilder(X86::REX64_PREFIX));
Rafael Espindolac4774792010-11-28 21:16:39 +0000761 }
762
Rafael Espindolac4774792010-11-28 21:16:39 +0000763 StringRef name = is64Bits ? "__tls_get_addr" : "___tls_get_addr";
Jim Grosbach6f482002015-05-18 18:43:14 +0000764 MCSymbol *tlsGetAddr = context.getOrCreateSymbol(name);
Rafael Espindolac4774792010-11-28 21:16:39 +0000765 const MCSymbolRefExpr *tlsRef =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000766 MCSymbolRefExpr::create(tlsGetAddr,
Rafael Espindolac4774792010-11-28 21:16:39 +0000767 MCSymbolRefExpr::VK_PLT,
768 context);
769
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000770 EmitAndCountInstruction(MCInstBuilder(is64Bits ? X86::CALL64pcrel32
771 : X86::CALLpcrel32)
772 .addExpr(tlsRef));
Rafael Espindolac4774792010-11-28 21:16:39 +0000773}
Devang Patel50c94312010-04-28 01:39:28 +0000774
Sanjoy Das6ecfae62016-04-19 18:48:13 +0000775/// \brief Emit the largest nop instruction smaller than or equal to \p NumBytes
776/// bytes. Return the size of nop emitted.
777static unsigned EmitNop(MCStreamer &OS, unsigned NumBytes, bool Is64Bit,
778 const MCSubtargetInfo &STI) {
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000779 // This works only for 64bit. For 32bit we have to do additional checking if
780 // the CPU supports multi-byte nops.
781 assert(Is64Bit && "EmitNops only supports X86-64");
Sanjoy Das6ecfae62016-04-19 18:48:13 +0000782
783 unsigned NopSize;
784 unsigned Opc, BaseReg, ScaleVal, IndexReg, Displacement, SegmentReg;
785 Opc = IndexReg = Displacement = SegmentReg = 0;
786 BaseReg = X86::RAX;
787 ScaleVal = 1;
788 switch (NumBytes) {
789 case 0: llvm_unreachable("Zero nops?"); break;
790 case 1: NopSize = 1; Opc = X86::NOOP; break;
791 case 2: NopSize = 2; Opc = X86::XCHG16ar; break;
792 case 3: NopSize = 3; Opc = X86::NOOPL; break;
793 case 4: NopSize = 4; Opc = X86::NOOPL; Displacement = 8; break;
794 case 5: NopSize = 5; Opc = X86::NOOPL; Displacement = 8;
795 IndexReg = X86::RAX; break;
796 case 6: NopSize = 6; Opc = X86::NOOPW; Displacement = 8;
797 IndexReg = X86::RAX; break;
798 case 7: NopSize = 7; Opc = X86::NOOPL; Displacement = 512; break;
799 case 8: NopSize = 8; Opc = X86::NOOPL; Displacement = 512;
800 IndexReg = X86::RAX; break;
801 case 9: NopSize = 9; Opc = X86::NOOPW; Displacement = 512;
802 IndexReg = X86::RAX; break;
803 default: NopSize = 10; Opc = X86::NOOPW; Displacement = 512;
804 IndexReg = X86::RAX; SegmentReg = X86::CS; break;
805 }
806
807 unsigned NumPrefixes = std::min(NumBytes - NopSize, 5U);
808 NopSize += NumPrefixes;
809 for (unsigned i = 0; i != NumPrefixes; ++i)
810 OS.EmitBytes("\x66");
811
812 switch (Opc) {
813 default:
814 llvm_unreachable("Unexpected opcode");
815 break;
816 case X86::NOOP:
817 OS.EmitInstruction(MCInstBuilder(Opc), STI);
818 break;
819 case X86::XCHG16ar:
820 OS.EmitInstruction(MCInstBuilder(Opc).addReg(X86::AX), STI);
821 break;
822 case X86::NOOPL:
823 case X86::NOOPW:
824 OS.EmitInstruction(MCInstBuilder(Opc)
825 .addReg(BaseReg)
826 .addImm(ScaleVal)
827 .addReg(IndexReg)
828 .addImm(Displacement)
829 .addReg(SegmentReg),
830 STI);
831 break;
832 }
833 assert(NopSize <= NumBytes && "We overemitted?");
834 return NopSize;
835}
836
837/// \brief Emit the optimal amount of multi-byte nops on X86.
838static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit,
839 const MCSubtargetInfo &STI) {
Davide Italiano8a8f24b2016-04-20 17:53:21 +0000840 unsigned NopsToEmit = NumBytes;
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000841 while (NumBytes) {
Sanjoy Das6ecfae62016-04-19 18:48:13 +0000842 NumBytes -= EmitNop(OS, NumBytes, Is64Bit, STI);
Davide Italiano8a8f24b2016-04-20 17:53:21 +0000843 assert(NopsToEmit >= NumBytes && "Emitted more than I asked for!");
Sanjoy Das6ecfae62016-04-19 18:48:13 +0000844 }
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +0000845}
846
Sanjoy Das2e0d29f2015-05-06 23:53:26 +0000847void X86AsmPrinter::LowerSTATEPOINT(const MachineInstr &MI,
848 X86MCInstLower &MCIL) {
849 assert(Subtarget->is64Bit() && "Statepoint currently only supports X86-64");
Philip Reames0365f1a2014-12-01 22:52:56 +0000850
Sanjoy Dasa1d39ba2015-05-12 23:52:24 +0000851 StatepointOpers SOpers(&MI);
Sanjoy Dasa1d39ba2015-05-12 23:52:24 +0000852 if (unsigned PatchBytes = SOpers.getNumPatchBytes()) {
853 EmitNops(*OutStreamer, PatchBytes, Subtarget->is64Bit(),
854 getSubtargetInfo());
855 } else {
856 // Lower call target and choose correct opcode
857 const MachineOperand &CallTarget = SOpers.getCallTarget();
858 MCOperand CallTargetMCOp;
859 unsigned CallOpcode;
860 switch (CallTarget.getType()) {
861 case MachineOperand::MO_GlobalAddress:
862 case MachineOperand::MO_ExternalSymbol:
863 CallTargetMCOp = MCIL.LowerSymbolOperand(
864 CallTarget, MCIL.GetSymbolFromOperand(CallTarget));
865 CallOpcode = X86::CALL64pcrel32;
866 // Currently, we only support relative addressing with statepoints.
867 // Otherwise, we'll need a scratch register to hold the target
868 // address. You'll fail asserts during load & relocation if this
869 // symbol is to far away. (TODO: support non-relative addressing)
870 break;
871 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000872 CallTargetMCOp = MCOperand::createImm(CallTarget.getImm());
Sanjoy Dasa1d39ba2015-05-12 23:52:24 +0000873 CallOpcode = X86::CALL64pcrel32;
874 // Currently, we only support relative addressing with statepoints.
875 // Otherwise, we'll need a scratch register to hold the target
876 // immediate. You'll fail asserts during load & relocation if this
877 // address is to far away. (TODO: support non-relative addressing)
878 break;
879 case MachineOperand::MO_Register:
Jim Grosbache9119e42015-05-13 18:37:00 +0000880 CallTargetMCOp = MCOperand::createReg(CallTarget.getReg());
Sanjoy Dasa1d39ba2015-05-12 23:52:24 +0000881 CallOpcode = X86::CALL64r;
882 break;
883 default:
884 llvm_unreachable("Unsupported operand type in statepoint call target");
885 break;
886 }
887
888 // Emit call
889 MCInst CallInst;
890 CallInst.setOpcode(CallOpcode);
891 CallInst.addOperand(CallTargetMCOp);
892 OutStreamer->EmitInstruction(CallInst, getSubtargetInfo());
893 }
Philip Reames0365f1a2014-12-01 22:52:56 +0000894
895 // Record our statepoint node in the same section used by STACKMAP
896 // and PATCHPOINT
Michael Liao5bf95782014-12-04 05:20:33 +0000897 SM.recordStatepoint(MI);
Philip Reames0365f1a2014-12-01 22:52:56 +0000898}
899
Sanjoy Dasc63244d2015-06-15 18:44:08 +0000900void X86AsmPrinter::LowerFAULTING_LOAD_OP(const MachineInstr &MI,
901 X86MCInstLower &MCIL) {
902 // FAULTING_LOAD_OP <def>, <handler label>, <load opcode>, <load operands>
903
904 unsigned LoadDefRegister = MI.getOperand(0).getReg();
905 MCSymbol *HandlerLabel = MI.getOperand(1).getMCSymbol();
906 unsigned LoadOpcode = MI.getOperand(2).getImm();
907 unsigned LoadOperandsBeginIdx = 3;
908
909 FM.recordFaultingOp(FaultMaps::FaultingLoad, HandlerLabel);
910
911 MCInst LoadMI;
912 LoadMI.setOpcode(LoadOpcode);
Sanjoy Das93d608c2015-07-20 20:31:39 +0000913
914 if (LoadDefRegister != X86::NoRegister)
915 LoadMI.addOperand(MCOperand::createReg(LoadDefRegister));
916
Sanjoy Dasc63244d2015-06-15 18:44:08 +0000917 for (auto I = MI.operands_begin() + LoadOperandsBeginIdx,
918 E = MI.operands_end();
919 I != E; ++I)
920 if (auto MaybeOperand = MCIL.LowerMachineOperand(&MI, *I))
921 LoadMI.addOperand(MaybeOperand.getValue());
922
923 OutStreamer->EmitInstruction(LoadMI, getSubtargetInfo());
924}
Philip Reames0365f1a2014-12-01 22:52:56 +0000925
Sanjoy Dasc0441c22016-04-19 05:24:47 +0000926void X86AsmPrinter::LowerPATCHABLE_OP(const MachineInstr &MI,
927 X86MCInstLower &MCIL) {
928 // PATCHABLE_OP minsize, opcode, operands
929
930 unsigned MinSize = MI.getOperand(0).getImm();
931 unsigned Opcode = MI.getOperand(1).getImm();
932
933 MCInst MCI;
934 MCI.setOpcode(Opcode);
935 for (auto &MO : make_range(MI.operands_begin() + 2, MI.operands_end()))
936 if (auto MaybeOperand = MCIL.LowerMachineOperand(&MI, MO))
937 MCI.addOperand(MaybeOperand.getValue());
938
939 SmallString<256> Code;
940 SmallVector<MCFixup, 4> Fixups;
941 raw_svector_ostream VecOS(Code);
942 CodeEmitter->encodeInstruction(MCI, VecOS, Fixups, getSubtargetInfo());
943
944 if (Code.size() < MinSize) {
945 if (MinSize == 2 && Opcode == X86::PUSH64r) {
946 // This is an optimization that lets us get away without emitting a nop in
947 // many cases.
948 //
949 // NB! In some cases the encoding for PUSH64r (e.g. PUSH64r %R9) takes two
950 // bytes too, so the check on MinSize is important.
951 MCI.setOpcode(X86::PUSH64rmr);
952 } else {
Sanjoy Das6ecfae62016-04-19 18:48:13 +0000953 unsigned NopSize = EmitNop(*OutStreamer, MinSize, Subtarget->is64Bit(),
954 getSubtargetInfo());
955 assert(NopSize == MinSize && "Could not implement MinSize!");
956 (void) NopSize;
Sanjoy Dasc0441c22016-04-19 05:24:47 +0000957 }
958 }
959
960 OutStreamer->EmitInstruction(MCI, getSubtargetInfo());
961}
962
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000963// Lower a stackmap of the form:
964// <id>, <shadowBytes>, ...
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000965void X86AsmPrinter::LowerSTACKMAP(const MachineInstr &MI) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000966 SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo());
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000967 SM.recordStackMap(MI);
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000968 unsigned NumShadowBytes = MI.getOperand(1).getImm();
969 SMShadowTracker.reset(NumShadowBytes);
Andrew Trick153ebe62013-10-31 22:11:56 +0000970}
971
Andrew Trick561f2212013-11-14 06:54:10 +0000972// Lower a patchpoint of the form:
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000973// [<def>], <id>, <numBytes>, <target>, <numArgs>, <cc>, ...
Lang Hames65613a62015-04-22 06:02:31 +0000974void X86AsmPrinter::LowerPATCHPOINT(const MachineInstr &MI,
975 X86MCInstLower &MCIL) {
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000976 assert(Subtarget->is64Bit() && "Patchpoint currently only supports X86-64");
977
Lang Hames9ff69c82015-04-24 19:11:51 +0000978 SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo());
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000979
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000980 SM.recordPatchPoint(MI);
Juergen Ributzka9969d3e2013-11-08 23:28:16 +0000981
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000982 PatchPointOpers opers(&MI);
983 unsigned ScratchIdx = opers.getNextScratchIdx();
Andrew Trick561f2212013-11-14 06:54:10 +0000984 unsigned EncodedBytes = 0;
Lang Hames65613a62015-04-22 06:02:31 +0000985 const MachineOperand &CalleeMO =
986 opers.getMetaOper(PatchPointOpers::TargetPos);
987
988 // Check for null target. If target is non-null (i.e. is non-zero or is
989 // symbolic) then emit a call.
990 if (!(CalleeMO.isImm() && !CalleeMO.getImm())) {
991 MCOperand CalleeMCOp;
992 switch (CalleeMO.getType()) {
993 default:
994 /// FIXME: Add a verifier check for bad callee types.
995 llvm_unreachable("Unrecognized callee operand type.");
996 case MachineOperand::MO_Immediate:
997 if (CalleeMO.getImm())
Jim Grosbache9119e42015-05-13 18:37:00 +0000998 CalleeMCOp = MCOperand::createImm(CalleeMO.getImm());
Lang Hames65613a62015-04-22 06:02:31 +0000999 break;
1000 case MachineOperand::MO_ExternalSymbol:
1001 case MachineOperand::MO_GlobalAddress:
1002 CalleeMCOp =
1003 MCIL.LowerSymbolOperand(CalleeMO,
1004 MCIL.GetSymbolFromOperand(CalleeMO));
1005 break;
1006 }
1007
Andrew Trick561f2212013-11-14 06:54:10 +00001008 // Emit MOV to materialize the target address and the CALL to target.
1009 // This is encoded with 12-13 bytes, depending on which register is used.
Juergen Ributzka17e0d9e2013-12-04 00:39:08 +00001010 unsigned ScratchReg = MI.getOperand(ScratchIdx).getReg();
1011 if (X86II::isX86_64ExtendedReg(ScratchReg))
1012 EncodedBytes = 13;
1013 else
1014 EncodedBytes = 12;
Lang Hames65613a62015-04-22 06:02:31 +00001015
1016 EmitAndCountInstruction(
1017 MCInstBuilder(X86::MOV64ri).addReg(ScratchReg).addOperand(CalleeMCOp));
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001018 EmitAndCountInstruction(MCInstBuilder(X86::CALL64r).addReg(ScratchReg));
Andrew Trick561f2212013-11-14 06:54:10 +00001019 }
Lang Hames65613a62015-04-22 06:02:31 +00001020
Andrew Trick153ebe62013-10-31 22:11:56 +00001021 // Emit padding.
Andrew Trickd4e3dc62013-11-19 03:29:56 +00001022 unsigned NumBytes = opers.getMetaOper(PatchPointOpers::NBytesPos).getImm();
1023 assert(NumBytes >= EncodedBytes &&
Andrew Trick153ebe62013-10-31 22:11:56 +00001024 "Patchpoint can't request size less than the length of a call.");
1025
Lang Hames9ff69c82015-04-24 19:11:51 +00001026 EmitNops(*OutStreamer, NumBytes - EncodedBytes, Subtarget->is64Bit(),
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001027 getSubtargetInfo());
Andrew Trick153ebe62013-10-31 22:11:56 +00001028}
1029
Reid Klecknere7040102014-08-04 21:05:27 +00001030// Returns instruction preceding MBBI in MachineFunction.
1031// If MBBI is the first instruction of the first basic block, returns null.
1032static MachineBasicBlock::const_iterator
1033PrevCrossBBInst(MachineBasicBlock::const_iterator MBBI) {
1034 const MachineBasicBlock *MBB = MBBI->getParent();
1035 while (MBBI == MBB->begin()) {
Duncan P. N. Exon Smithe9bc5792016-02-21 20:39:50 +00001036 if (MBB == &MBB->getParent()->front())
Reid Klecknere7040102014-08-04 21:05:27 +00001037 return nullptr;
1038 MBB = MBB->getPrevNode();
1039 MBBI = MBB->end();
1040 }
1041 return --MBBI;
1042}
1043
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001044static const Constant *getConstantFromPool(const MachineInstr &MI,
1045 const MachineOperand &Op) {
1046 if (!Op.isCPI())
Chandler Carruth7b688c62014-09-24 03:06:37 +00001047 return nullptr;
Chandler Carruth0b682d42014-09-24 02:16:12 +00001048
Chandler Carruth7b688c62014-09-24 03:06:37 +00001049 ArrayRef<MachineConstantPoolEntry> Constants =
1050 MI.getParent()->getParent()->getConstantPool()->getConstants();
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001051 const MachineConstantPoolEntry &ConstantEntry =
1052 Constants[Op.getIndex()];
Chandler Carruth0b682d42014-09-24 02:16:12 +00001053
1054 // Bail if this is a machine constant pool entry, we won't be able to dig out
1055 // anything useful.
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001056 if (ConstantEntry.isMachineConstantPoolEntry())
Chandler Carruth7b688c62014-09-24 03:06:37 +00001057 return nullptr;
Chandler Carruth0b682d42014-09-24 02:16:12 +00001058
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001059 auto *C = dyn_cast<Constant>(ConstantEntry.Val.ConstVal);
1060 assert((!C || ConstantEntry.getType() == C->getType()) &&
Chandler Carruth0b682d42014-09-24 02:16:12 +00001061 "Expected a constant of the same type!");
Chandler Carruth7b688c62014-09-24 03:06:37 +00001062 return C;
1063}
Chandler Carruth0b682d42014-09-24 02:16:12 +00001064
Chandler Carruth7b688c62014-09-24 03:06:37 +00001065static std::string getShuffleComment(const MachineOperand &DstOp,
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001066 const MachineOperand &SrcOp1,
1067 const MachineOperand &SrcOp2,
Chandler Carruth7b688c62014-09-24 03:06:37 +00001068 ArrayRef<int> Mask) {
1069 std::string Comment;
Chandler Carruth0b682d42014-09-24 02:16:12 +00001070
1071 // Compute the name for a register. This is really goofy because we have
1072 // multiple instruction printers that could (in theory) use different
1073 // names. Fortunately most people use the ATT style (outside of Windows)
1074 // and they actually agree on register naming here. Ultimately, this is
1075 // a comment, and so its OK if it isn't perfect.
1076 auto GetRegisterName = [](unsigned RegNum) -> StringRef {
1077 return X86ATTInstPrinter::getRegisterName(RegNum);
1078 };
1079
1080 StringRef DstName = DstOp.isReg() ? GetRegisterName(DstOp.getReg()) : "mem";
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001081 StringRef Src1Name =
1082 SrcOp1.isReg() ? GetRegisterName(SrcOp1.getReg()) : "mem";
1083 StringRef Src2Name =
1084 SrcOp2.isReg() ? GetRegisterName(SrcOp2.getReg()) : "mem";
1085
1086 // One source operand, fix the mask to print all elements in one span.
1087 SmallVector<int, 8> ShuffleMask(Mask.begin(), Mask.end());
1088 if (Src1Name == Src2Name)
1089 for (int i = 0, e = ShuffleMask.size(); i != e; ++i)
1090 if (ShuffleMask[i] >= e)
1091 ShuffleMask[i] -= e;
Chandler Carruth0b682d42014-09-24 02:16:12 +00001092
1093 raw_string_ostream CS(Comment);
1094 CS << DstName << " = ";
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001095 for (int i = 0, e = ShuffleMask.size(); i != e; ++i) {
1096 if (i != 0)
Chandler Carruth0b682d42014-09-24 02:16:12 +00001097 CS << ",";
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001098 if (ShuffleMask[i] == SM_SentinelZero) {
Chandler Carruth0b682d42014-09-24 02:16:12 +00001099 CS << "zero";
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001100 continue;
1101 }
1102
1103 // Otherwise, it must come from src1 or src2. Print the span of elements
1104 // that comes from this src.
1105 bool isSrc1 = ShuffleMask[i] < (int)e;
1106 CS << (isSrc1 ? Src1Name : Src2Name) << '[';
1107
1108 bool IsFirst = true;
1109 while (i != e && ShuffleMask[i] != SM_SentinelZero &&
1110 (ShuffleMask[i] < (int)e) == isSrc1) {
1111 if (!IsFirst)
1112 CS << ',';
1113 else
1114 IsFirst = false;
1115 if (ShuffleMask[i] == SM_SentinelUndef)
Chandler Carruth0b682d42014-09-24 02:16:12 +00001116 CS << "u";
1117 else
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001118 CS << ShuffleMask[i] % (int)e;
1119 ++i;
Chandler Carruth0b682d42014-09-24 02:16:12 +00001120 }
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001121 CS << ']';
1122 --i; // For loop increments element #.
Chandler Carruth0b682d42014-09-24 02:16:12 +00001123 }
Chandler Carruth0b682d42014-09-24 02:16:12 +00001124 CS.flush();
1125
1126 return Comment;
1127}
1128
Chris Lattner94a946c2010-01-28 01:02:27 +00001129void X86AsmPrinter::EmitInstruction(const MachineInstr *MI) {
Rafael Espindola38c2e652013-10-29 16:11:22 +00001130 X86MCInstLower MCInstLowering(*MF, *this);
Eric Christopher05b81972015-02-02 17:38:43 +00001131 const X86RegisterInfo *RI = MF->getSubtarget<X86Subtarget>().getRegisterInfo();
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001132
Chris Lattner74f4ca72009-09-02 17:35:12 +00001133 switch (MI->getOpcode()) {
Dale Johannesenb36c7092010-04-06 22:45:26 +00001134 case TargetOpcode::DBG_VALUE:
David Blaikieb735b4d2013-06-16 20:34:27 +00001135 llvm_unreachable("Should be handled target independently");
Dale Johannesen5d7f0a02010-04-07 01:15:14 +00001136
Eric Christopher4abffad2010-08-05 18:34:30 +00001137 // Emit nothing here but a comment if we can.
1138 case X86::Int_MemBarrier:
Lang Hames9ff69c82015-04-24 19:11:51 +00001139 OutStreamer->emitRawComment("MEMBARRIER");
Eric Christopher4abffad2010-08-05 18:34:30 +00001140 return;
Owen Anderson0ca562e2011-10-04 23:26:17 +00001141
Rafael Espindolad94f3b42010-10-26 18:09:55 +00001142
1143 case X86::EH_RETURN:
1144 case X86::EH_RETURN64: {
1145 // Lower these as normal, but add some comments.
1146 unsigned Reg = MI->getOperand(0).getReg();
Lang Hames9ff69c82015-04-24 19:11:51 +00001147 OutStreamer->AddComment(StringRef("eh_return, addr: %") +
1148 X86ATTInstPrinter::getRegisterName(Reg));
Rafael Espindolad94f3b42010-10-26 18:09:55 +00001149 break;
1150 }
David Majnemerf828a0c2015-10-01 18:44:59 +00001151 case X86::CLEANUPRET: {
1152 // Lower these as normal, but add some comments.
1153 OutStreamer->AddComment("CLEANUPRET");
1154 break;
1155 }
1156
1157 case X86::CATCHRET: {
1158 // Lower these as normal, but add some comments.
1159 OutStreamer->AddComment("CATCHRET");
1160 break;
1161 }
1162
Chris Lattner88c18562010-07-09 00:49:41 +00001163 case X86::TAILJMPr:
Reid Klecknera580b6e2015-01-30 21:03:31 +00001164 case X86::TAILJMPm:
Chris Lattner88c18562010-07-09 00:49:41 +00001165 case X86::TAILJMPd:
Reid Klecknera580b6e2015-01-30 21:03:31 +00001166 case X86::TAILJMPr64:
1167 case X86::TAILJMPm64:
Chris Lattner88c18562010-07-09 00:49:41 +00001168 case X86::TAILJMPd64:
Reid Klecknera580b6e2015-01-30 21:03:31 +00001169 case X86::TAILJMPr64_REX:
1170 case X86::TAILJMPm64_REX:
1171 case X86::TAILJMPd64_REX:
Chris Lattner88c18562010-07-09 00:49:41 +00001172 // Lower these as normal, but add some comments.
Lang Hames9ff69c82015-04-24 19:11:51 +00001173 OutStreamer->AddComment("TAILCALL");
Chris Lattner88c18562010-07-09 00:49:41 +00001174 break;
Rafael Espindolac4774792010-11-28 21:16:39 +00001175
1176 case X86::TLS_addr32:
1177 case X86::TLS_addr64:
Hans Wennborg789acfb2012-06-01 16:27:21 +00001178 case X86::TLS_base_addr32:
1179 case X86::TLS_base_addr64:
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001180 return LowerTlsAddr(MCInstLowering, *MI);
Rafael Espindolac4774792010-11-28 21:16:39 +00001181
Chris Lattner74f4ca72009-09-02 17:35:12 +00001182 case X86::MOVPC32r: {
1183 // This is a pseudo op for a two instruction sequence with a label, which
1184 // looks like:
1185 // call "L1$pb"
1186 // "L1$pb":
1187 // popl %esi
Chad Rosier24c19d22012-08-01 18:39:17 +00001188
Chris Lattner74f4ca72009-09-02 17:35:12 +00001189 // Emit the call.
Chris Lattner7077efe2010-11-14 22:48:15 +00001190 MCSymbol *PICBase = MF->getPICBaseSymbol();
Chris Lattner74f4ca72009-09-02 17:35:12 +00001191 // FIXME: We would like an efficient form for this, so we don't have to do a
1192 // lot of extra uniquing.
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001193 EmitAndCountInstruction(MCInstBuilder(X86::CALLpcrel32)
Jim Grosbach13760bd2015-05-30 01:25:56 +00001194 .addExpr(MCSymbolRefExpr::create(PICBase, OutContext)));
Chad Rosier24c19d22012-08-01 18:39:17 +00001195
Petar Jovanovic99fba3c2015-11-05 17:19:59 +00001196 const X86FrameLowering* FrameLowering =
1197 MF->getSubtarget<X86Subtarget>().getFrameLowering();
1198 bool hasFP = FrameLowering->hasFP(*MF);
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00001199
1200 // TODO: This is needed only if we require precise CFA.
Michael Kuperstein53946bf2015-12-15 18:50:32 +00001201 bool HasActiveDwarfFrame = OutStreamer->getNumFrameInfos() &&
1202 !OutStreamer->getDwarfFrameInfos().back().End;
1203
Petar Jovanovic99fba3c2015-11-05 17:19:59 +00001204 int stackGrowth = -RI->getSlotSize();
1205
Michael Kuperstein53946bf2015-12-15 18:50:32 +00001206 if (HasActiveDwarfFrame && !hasFP) {
Petar Jovanovic99fba3c2015-11-05 17:19:59 +00001207 OutStreamer->EmitCFIAdjustCfaOffset(-stackGrowth);
1208 }
1209
Chris Lattner74f4ca72009-09-02 17:35:12 +00001210 // Emit the label.
Lang Hames9ff69c82015-04-24 19:11:51 +00001211 OutStreamer->EmitLabel(PICBase);
Chad Rosier24c19d22012-08-01 18:39:17 +00001212
Chris Lattner74f4ca72009-09-02 17:35:12 +00001213 // popl $reg
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001214 EmitAndCountInstruction(MCInstBuilder(X86::POP32r)
1215 .addReg(MI->getOperand(0).getReg()));
Petar Jovanovic99fba3c2015-11-05 17:19:59 +00001216
Michael Kuperstein53946bf2015-12-15 18:50:32 +00001217 if (HasActiveDwarfFrame && !hasFP) {
Petar Jovanovic99fba3c2015-11-05 17:19:59 +00001218 OutStreamer->EmitCFIAdjustCfaOffset(stackGrowth);
1219 }
Chris Lattner74f4ca72009-09-02 17:35:12 +00001220 return;
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001221 }
Chad Rosier24c19d22012-08-01 18:39:17 +00001222
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001223 case X86::ADD32ri: {
1224 // Lower the MO_GOT_ABSOLUTE_ADDRESS form of ADD32ri.
1225 if (MI->getOperand(2).getTargetFlags() != X86II::MO_GOT_ABSOLUTE_ADDRESS)
1226 break;
Chad Rosier24c19d22012-08-01 18:39:17 +00001227
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001228 // Okay, we have something like:
1229 // EAX = ADD32ri EAX, MO_GOT_ABSOLUTE_ADDRESS(@MYGLOBAL)
Chad Rosier24c19d22012-08-01 18:39:17 +00001230
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001231 // For this, we want to print something like:
1232 // MYGLOBAL + (. - PICBASE)
1233 // However, we can't generate a ".", so just emit a new label here and refer
Chris Lattnerd7581392010-03-12 18:47:50 +00001234 // to it.
Jim Grosbach6f482002015-05-18 18:43:14 +00001235 MCSymbol *DotSym = OutContext.createTempSymbol();
Lang Hames9ff69c82015-04-24 19:11:51 +00001236 OutStreamer->EmitLabel(DotSym);
Chad Rosier24c19d22012-08-01 18:39:17 +00001237
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001238 // Now that we have emitted the label, lower the complex operand expression.
Chris Lattnerd9d71862010-02-08 23:03:41 +00001239 MCSymbol *OpSym = MCInstLowering.GetSymbolFromOperand(MI->getOperand(2));
Chad Rosier24c19d22012-08-01 18:39:17 +00001240
Jim Grosbach13760bd2015-05-30 01:25:56 +00001241 const MCExpr *DotExpr = MCSymbolRefExpr::create(DotSym, OutContext);
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001242 const MCExpr *PICBase =
Jim Grosbach13760bd2015-05-30 01:25:56 +00001243 MCSymbolRefExpr::create(MF->getPICBaseSymbol(), OutContext);
1244 DotExpr = MCBinaryExpr::createSub(DotExpr, PICBase, OutContext);
Chad Rosier24c19d22012-08-01 18:39:17 +00001245
Jim Grosbach13760bd2015-05-30 01:25:56 +00001246 DotExpr = MCBinaryExpr::createAdd(MCSymbolRefExpr::create(OpSym,OutContext),
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001247 DotExpr, OutContext);
Chad Rosier24c19d22012-08-01 18:39:17 +00001248
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001249 EmitAndCountInstruction(MCInstBuilder(X86::ADD32ri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001250 .addReg(MI->getOperand(0).getReg())
1251 .addReg(MI->getOperand(1).getReg())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001252 .addExpr(DotExpr));
Chris Lattner6ccf7ed2009-09-12 21:01:20 +00001253 return;
1254 }
Philip Reames0365f1a2014-12-01 22:52:56 +00001255 case TargetOpcode::STATEPOINT:
Sanjoy Das2e0d29f2015-05-06 23:53:26 +00001256 return LowerSTATEPOINT(*MI, MCInstLowering);
Michael Liao5bf95782014-12-04 05:20:33 +00001257
Sanjoy Dasc63244d2015-06-15 18:44:08 +00001258 case TargetOpcode::FAULTING_LOAD_OP:
1259 return LowerFAULTING_LOAD_OP(*MI, MCInstLowering);
1260
Sanjoy Dasc0441c22016-04-19 05:24:47 +00001261 case TargetOpcode::PATCHABLE_OP:
1262 return LowerPATCHABLE_OP(*MI, MCInstLowering);
1263
Andrew Trick153ebe62013-10-31 22:11:56 +00001264 case TargetOpcode::STACKMAP:
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001265 return LowerSTACKMAP(*MI);
Andrew Trick153ebe62013-10-31 22:11:56 +00001266
1267 case TargetOpcode::PATCHPOINT:
Lang Hames65613a62015-04-22 06:02:31 +00001268 return LowerPATCHPOINT(*MI, MCInstLowering);
Lang Hamesc2b77232013-11-11 23:00:41 +00001269
1270 case X86::MORESTACK_RET:
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001271 EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget)));
Lang Hamesc2b77232013-11-11 23:00:41 +00001272 return;
1273
1274 case X86::MORESTACK_RET_RESTORE_R10:
1275 // Return, then restore R10.
Lang Hamesf49bc3f2014-07-24 20:40:55 +00001276 EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget)));
1277 EmitAndCountInstruction(MCInstBuilder(X86::MOV64rr)
1278 .addReg(X86::R10)
1279 .addReg(X86::RAX));
Lang Hamesc2b77232013-11-11 23:00:41 +00001280 return;
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001281
1282 case X86::SEH_PushReg:
Lang Hames9ff69c82015-04-24 19:11:51 +00001283 OutStreamer->EmitWinCFIPushReg(RI->getSEHRegNum(MI->getOperand(0).getImm()));
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001284 return;
1285
1286 case X86::SEH_SaveReg:
Lang Hames9ff69c82015-04-24 19:11:51 +00001287 OutStreamer->EmitWinCFISaveReg(RI->getSEHRegNum(MI->getOperand(0).getImm()),
Saleem Abdulrasool7206a522014-06-29 01:52:01 +00001288 MI->getOperand(1).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001289 return;
1290
Lang Hames9ff69c82015-04-24 19:11:51 +00001291 case X86::SEH_SaveXMM:
1292 OutStreamer->EmitWinCFISaveXMM(RI->getSEHRegNum(MI->getOperand(0).getImm()),
1293 MI->getOperand(1).getImm());
1294 return;
1295
1296 case X86::SEH_StackAlloc:
1297 OutStreamer->EmitWinCFIAllocStack(MI->getOperand(0).getImm());
1298 return;
1299
1300 case X86::SEH_SetFrame:
1301 OutStreamer->EmitWinCFISetFrame(RI->getSEHRegNum(MI->getOperand(0).getImm()),
1302 MI->getOperand(1).getImm());
1303 return;
1304
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001305 case X86::SEH_PushFrame:
Lang Hames9ff69c82015-04-24 19:11:51 +00001306 OutStreamer->EmitWinCFIPushFrame(MI->getOperand(0).getImm());
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001307 return;
1308
1309 case X86::SEH_EndPrologue:
Lang Hames9ff69c82015-04-24 19:11:51 +00001310 OutStreamer->EmitWinCFIEndProlog();
NAKAMURA Takumi1db59952014-06-25 12:41:52 +00001311 return;
Chandler Carruth185cc182014-07-25 23:47:11 +00001312
Reid Klecknere7040102014-08-04 21:05:27 +00001313 case X86::SEH_Epilogue: {
1314 MachineBasicBlock::const_iterator MBBI(MI);
1315 // Check if preceded by a call and emit nop if so.
1316 for (MBBI = PrevCrossBBInst(MBBI); MBBI; MBBI = PrevCrossBBInst(MBBI)) {
1317 // Conservatively assume that pseudo instructions don't emit code and keep
1318 // looking for a call. We may emit an unnecessary nop in some cases.
1319 if (!MBBI->isPseudo()) {
1320 if (MBBI->isCall())
1321 EmitAndCountInstruction(MCInstBuilder(X86::NOOP));
1322 break;
1323 }
1324 }
1325 return;
1326 }
1327
Craig Topper7e3ba152015-12-26 19:48:43 +00001328 // Lower PSHUFB and VPERMILP normally but add a comment if we can find
1329 // a constant shuffle mask. We won't be able to do this at the MC layer
1330 // because the mask isn't an immediate.
Chandler Carruth185cc182014-07-25 23:47:11 +00001331 case X86::PSHUFBrm:
Chandler Carruth98443d82014-09-25 00:24:19 +00001332 case X86::VPSHUFBrm:
Craig Topper7e3ba152015-12-26 19:48:43 +00001333 case X86::VPSHUFBYrm:
1334 case X86::VPSHUFBZ128rm:
1335 case X86::VPSHUFBZ128rmk:
1336 case X86::VPSHUFBZ128rmkz:
1337 case X86::VPSHUFBZ256rm:
1338 case X86::VPSHUFBZ256rmk:
1339 case X86::VPSHUFBZ256rmkz:
1340 case X86::VPSHUFBZrm:
1341 case X86::VPSHUFBZrmk:
1342 case X86::VPSHUFBZrmkz: {
Lang Hames9ff69c82015-04-24 19:11:51 +00001343 if (!OutStreamer->isVerboseAsm())
Chandler Carruthedf50212014-09-24 03:06:34 +00001344 break;
Craig Topper7e3ba152015-12-26 19:48:43 +00001345 unsigned SrcIdx, MaskIdx;
1346 switch (MI->getOpcode()) {
1347 default: llvm_unreachable("Invalid opcode");
1348 case X86::PSHUFBrm:
1349 case X86::VPSHUFBrm:
1350 case X86::VPSHUFBYrm:
1351 case X86::VPSHUFBZ128rm:
1352 case X86::VPSHUFBZ256rm:
1353 case X86::VPSHUFBZrm:
1354 SrcIdx = 1; MaskIdx = 5; break;
1355 case X86::VPSHUFBZ128rmkz:
1356 case X86::VPSHUFBZ256rmkz:
1357 case X86::VPSHUFBZrmkz:
1358 SrcIdx = 2; MaskIdx = 6; break;
1359 case X86::VPSHUFBZ128rmk:
1360 case X86::VPSHUFBZ256rmk:
1361 case X86::VPSHUFBZrmk:
1362 SrcIdx = 3; MaskIdx = 7; break;
1363 }
1364
1365 assert(MI->getNumOperands() >= 6 &&
1366 "We should always have at least 6 operands!");
Chandler Carruthab8b37a2014-09-24 02:24:41 +00001367 const MachineOperand &DstOp = MI->getOperand(0);
Craig Topper7e3ba152015-12-26 19:48:43 +00001368 const MachineOperand &SrcOp = MI->getOperand(SrcIdx);
1369 const MachineOperand &MaskOp = MI->getOperand(MaskIdx);
Chandler Carruthab8b37a2014-09-24 02:24:41 +00001370
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001371 if (auto *C = getConstantFromPool(*MI, MaskOp)) {
Chandler Carruth7b688c62014-09-24 03:06:37 +00001372 SmallVector<int, 16> Mask;
David Majnemer14141f92015-01-11 07:29:51 +00001373 DecodePSHUFBMask(C, Mask);
Chandler Carruth7b688c62014-09-24 03:06:37 +00001374 if (!Mask.empty())
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001375 OutStreamer->AddComment(getShuffleComment(DstOp, SrcOp, SrcOp, Mask));
Chandler Carruth7b688c62014-09-24 03:06:37 +00001376 }
1377 break;
1378 }
1379 case X86::VPERMILPSrm:
1380 case X86::VPERMILPDrm:
1381 case X86::VPERMILPSYrm:
1382 case X86::VPERMILPDYrm: {
Lang Hames9ff69c82015-04-24 19:11:51 +00001383 if (!OutStreamer->isVerboseAsm())
Chandler Carruth7b688c62014-09-24 03:06:37 +00001384 break;
1385 assert(MI->getNumOperands() > 5 &&
1386 "We should always have at least 5 operands!");
1387 const MachineOperand &DstOp = MI->getOperand(0);
1388 const MachineOperand &SrcOp = MI->getOperand(1);
1389 const MachineOperand &MaskOp = MI->getOperand(5);
1390
Craig Topperd4000192015-12-26 04:50:07 +00001391 unsigned ElSize;
1392 switch (MI->getOpcode()) {
1393 default: llvm_unreachable("Invalid opcode");
1394 case X86::VPERMILPSrm: case X86::VPERMILPSYrm: ElSize = 32; break;
1395 case X86::VPERMILPDrm: case X86::VPERMILPDYrm: ElSize = 64; break;
1396 }
1397
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001398 if (auto *C = getConstantFromPool(*MI, MaskOp)) {
Chandler Carruth7b688c62014-09-24 03:06:37 +00001399 SmallVector<int, 16> Mask;
Craig Topperd4000192015-12-26 04:50:07 +00001400 DecodeVPERMILPMask(C, ElSize, Mask);
Chandler Carruth7b688c62014-09-24 03:06:37 +00001401 if (!Mask.empty())
Simon Pilgrim1cc57122016-04-09 14:51:26 +00001402 OutStreamer->AddComment(getShuffleComment(DstOp, SrcOp, SrcOp, Mask));
1403 }
1404 break;
1405 }
1406 case X86::VPPERMrrm: {
1407 if (!OutStreamer->isVerboseAsm())
1408 break;
1409 assert(MI->getNumOperands() > 6 &&
1410 "We should always have at least 6 operands!");
1411 const MachineOperand &DstOp = MI->getOperand(0);
1412 const MachineOperand &SrcOp1 = MI->getOperand(1);
1413 const MachineOperand &SrcOp2 = MI->getOperand(2);
1414 const MachineOperand &MaskOp = MI->getOperand(6);
1415
1416 if (auto *C = getConstantFromPool(*MI, MaskOp)) {
1417 SmallVector<int, 16> Mask;
1418 DecodeVPPERMMask(C, Mask);
1419 if (!Mask.empty())
1420 OutStreamer->AddComment(getShuffleComment(DstOp, SrcOp1, SrcOp2, Mask));
Chandler Carruth7b688c62014-09-24 03:06:37 +00001421 }
Chandler Carruth185cc182014-07-25 23:47:11 +00001422 break;
Chris Lattner74f4ca72009-09-02 17:35:12 +00001423 }
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001424
Elena Demikhovskye88038f2015-09-08 06:38:21 +00001425#define MOV_CASE(Prefix, Suffix) \
1426 case X86::Prefix##MOVAPD##Suffix##rm: \
1427 case X86::Prefix##MOVAPS##Suffix##rm: \
1428 case X86::Prefix##MOVUPD##Suffix##rm: \
1429 case X86::Prefix##MOVUPS##Suffix##rm: \
1430 case X86::Prefix##MOVDQA##Suffix##rm: \
1431 case X86::Prefix##MOVDQU##Suffix##rm:
1432
1433#define MOV_AVX512_CASE(Suffix) \
1434 case X86::VMOVDQA64##Suffix##rm: \
1435 case X86::VMOVDQA32##Suffix##rm: \
1436 case X86::VMOVDQU64##Suffix##rm: \
1437 case X86::VMOVDQU32##Suffix##rm: \
1438 case X86::VMOVDQU16##Suffix##rm: \
1439 case X86::VMOVDQU8##Suffix##rm: \
1440 case X86::VMOVAPS##Suffix##rm: \
1441 case X86::VMOVAPD##Suffix##rm: \
1442 case X86::VMOVUPS##Suffix##rm: \
1443 case X86::VMOVUPD##Suffix##rm:
1444
1445#define CASE_ALL_MOV_RM() \
1446 MOV_CASE(, ) /* SSE */ \
1447 MOV_CASE(V, ) /* AVX-128 */ \
1448 MOV_CASE(V, Y) /* AVX-256 */ \
1449 MOV_AVX512_CASE(Z) \
1450 MOV_AVX512_CASE(Z256) \
1451 MOV_AVX512_CASE(Z128)
1452
1453 // For loads from a constant pool to a vector register, print the constant
1454 // loaded.
1455 CASE_ALL_MOV_RM()
Lang Hames9ff69c82015-04-24 19:11:51 +00001456 if (!OutStreamer->isVerboseAsm())
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001457 break;
1458 if (MI->getNumOperands() > 4)
1459 if (auto *C = getConstantFromPool(*MI, MI->getOperand(4))) {
1460 std::string Comment;
1461 raw_string_ostream CS(Comment);
1462 const MachineOperand &DstOp = MI->getOperand(0);
1463 CS << X86ATTInstPrinter::getRegisterName(DstOp.getReg()) << " = ";
1464 if (auto *CDS = dyn_cast<ConstantDataSequential>(C)) {
1465 CS << "[";
1466 for (int i = 0, NumElements = CDS->getNumElements(); i < NumElements; ++i) {
1467 if (i != 0)
1468 CS << ",";
1469 if (CDS->getElementType()->isIntegerTy())
1470 CS << CDS->getElementAsInteger(i);
1471 else if (CDS->getElementType()->isFloatTy())
1472 CS << CDS->getElementAsFloat(i);
1473 else if (CDS->getElementType()->isDoubleTy())
1474 CS << CDS->getElementAsDouble(i);
1475 else
1476 CS << "?";
1477 }
1478 CS << "]";
Lang Hames9ff69c82015-04-24 19:11:51 +00001479 OutStreamer->AddComment(CS.str());
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001480 } else if (auto *CV = dyn_cast<ConstantVector>(C)) {
1481 CS << "<";
1482 for (int i = 0, NumOperands = CV->getNumOperands(); i < NumOperands; ++i) {
1483 if (i != 0)
1484 CS << ",";
1485 Constant *COp = CV->getOperand(i);
1486 if (isa<UndefValue>(COp)) {
1487 CS << "u";
1488 } else if (auto *CI = dyn_cast<ConstantInt>(COp)) {
Chih-Hung Hsiehed7d81e2015-12-03 22:02:40 +00001489 if (CI->getBitWidth() <= 64) {
1490 CS << CI->getZExtValue();
1491 } else {
1492 // print multi-word constant as (w0,w1)
1493 auto Val = CI->getValue();
1494 CS << "(";
1495 for (int i = 0, N = Val.getNumWords(); i < N; ++i) {
1496 if (i > 0)
1497 CS << ",";
1498 CS << Val.getRawData()[i];
1499 }
1500 CS << ")";
1501 }
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001502 } else if (auto *CF = dyn_cast<ConstantFP>(COp)) {
1503 SmallString<32> Str;
1504 CF->getValueAPF().toString(Str);
1505 CS << Str;
1506 } else {
1507 CS << "?";
1508 }
1509 }
1510 CS << ">";
Lang Hames9ff69c82015-04-24 19:11:51 +00001511 OutStreamer->AddComment(CS.str());
Chandler Carruthe7e9c042014-09-24 09:39:41 +00001512 }
1513 }
1514 break;
Chandler Carruth0b682d42014-09-24 02:16:12 +00001515 }
Chad Rosier24c19d22012-08-01 18:39:17 +00001516
Chris Lattner31722082009-09-12 20:34:57 +00001517 MCInst TmpInst;
1518 MCInstLowering.Lower(MI, TmpInst);
Pete Cooper3c0af3522014-10-27 19:40:35 +00001519
1520 // Stackmap shadows cannot include branch targets, so we can count the bytes
Pete Cooper7c801dc2014-10-27 22:38:45 +00001521 // in a call towards the shadow, but must ensure that the no thread returns
1522 // in to the stackmap shadow. The only way to achieve this is if the call
1523 // is at the end of the shadow.
1524 if (MI->isCall()) {
1525 // Count then size of the call towards the shadow
Sanjoy Dasc0441c22016-04-19 05:24:47 +00001526 SMShadowTracker.count(TmpInst, getSubtargetInfo(), CodeEmitter.get());
Pete Cooper7c801dc2014-10-27 22:38:45 +00001527 // Then flush the shadow so that we fill with nops before the call, not
1528 // after it.
Lang Hames9ff69c82015-04-24 19:11:51 +00001529 SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo());
Pete Cooper7c801dc2014-10-27 22:38:45 +00001530 // Then emit the call
Lang Hames9ff69c82015-04-24 19:11:51 +00001531 OutStreamer->EmitInstruction(TmpInst, getSubtargetInfo());
Pete Cooper7c801dc2014-10-27 22:38:45 +00001532 return;
1533 }
1534
1535 EmitAndCountInstruction(TmpInst);
Chris Lattner74f4ca72009-09-02 17:35:12 +00001536}