Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1 | //===-- 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 | |
Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 15 | #include "InstPrinter/X86ATTInstPrinter.h" |
Gadi Haber | 19c4fc5 | 2016-12-28 10:12:48 +0000 | [diff] [blame] | 16 | #include "InstPrinter/X86InstComments.h" |
Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 17 | #include "MCTargetDesc/X86BaseInfo.h" |
Chandler Carruth | 185cc18 | 2014-07-25 23:47:11 +0000 | [diff] [blame] | 18 | #include "Utils/X86ShuffleDecode.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 19 | #include "X86AsmPrinter.h" |
| 20 | #include "X86RegisterInfo.h" |
| 21 | #include "X86ShuffleDecodeConstantPool.h" |
Sanjoy Das | 2d869b2 | 2015-06-15 18:44:01 +0000 | [diff] [blame] | 22 | #include "llvm/ADT/Optional.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 23 | #include "llvm/ADT/SmallString.h" |
Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 24 | #include "llvm/ADT/iterator_range.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 25 | #include "llvm/BinaryFormat/ELF.h" |
Chandler Carruth | 185cc18 | 2014-07-25 23:47:11 +0000 | [diff] [blame] | 26 | #include "llvm/CodeGen/MachineConstantPool.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | 05f4039 | 2009-09-16 06:25:03 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineOperand.h" |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/StackMaps.h" |
Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 31 | #include "llvm/IR/DataLayout.h" |
| 32 | #include "llvm/IR/GlobalValue.h" |
Rafael Espindola | 894843c | 2014-01-07 21:19:40 +0000 | [diff] [blame] | 33 | #include "llvm/IR/Mangler.h" |
Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 34 | #include "llvm/MC/MCAsmInfo.h" |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 35 | #include "llvm/MC/MCCodeEmitter.h" |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 36 | #include "llvm/MC/MCContext.h" |
| 37 | #include "llvm/MC/MCExpr.h" |
Pete Cooper | 81902a3 | 2015-05-15 22:19:42 +0000 | [diff] [blame] | 38 | #include "llvm/MC/MCFixup.h" |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 39 | #include "llvm/MC/MCInst.h" |
Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 40 | #include "llvm/MC/MCInstBuilder.h" |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 41 | #include "llvm/MC/MCSection.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 42 | #include "llvm/MC/MCSectionELF.h" |
| 43 | #include "llvm/MC/MCSectionMachO.h" |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 44 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | e397df7 | 2010-03-12 19:42:40 +0000 | [diff] [blame] | 45 | #include "llvm/MC/MCSymbol.h" |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 46 | #include "llvm/MC/MCSymbolELF.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 47 | #include "llvm/Support/TargetRegistry.h" |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 48 | #include "llvm/Target/TargetLoweringObjectFile.h" |
| 49 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 50 | using namespace llvm; |
| 51 | |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 52 | namespace { |
| 53 | |
| 54 | /// X86MCInstLower - This class is used to lower an MachineInstr into an MCInst. |
| 55 | class X86MCInstLower { |
| 56 | MCContext &Ctx; |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 57 | const MachineFunction &MF; |
| 58 | const TargetMachine &TM; |
| 59 | const MCAsmInfo &MAI; |
| 60 | X86AsmPrinter &AsmPrinter; |
| 61 | public: |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 62 | X86MCInstLower(const MachineFunction &MF, X86AsmPrinter &asmprinter); |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 63 | |
Sanjoy Das | 2d869b2 | 2015-06-15 18:44:01 +0000 | [diff] [blame] | 64 | Optional<MCOperand> LowerMachineOperand(const MachineInstr *MI, |
| 65 | const MachineOperand &MO) const; |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 66 | void Lower(const MachineInstr *MI, MCInst &OutMI) const; |
| 67 | |
| 68 | MCSymbol *GetSymbolFromOperand(const MachineOperand &MO) const; |
| 69 | MCOperand LowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym) const; |
| 70 | |
| 71 | private: |
| 72 | MachineModuleInfoMachO &getMachOMMI() const; |
| 73 | }; |
| 74 | |
| 75 | } // end anonymous namespace |
| 76 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 77 | // Emit a minimal sequence of nops spanning NumBytes bytes. |
| 78 | static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit, |
Sanjoy Das | 6ecfae6 | 2016-04-19 18:48:13 +0000 | [diff] [blame] | 79 | const MCSubtargetInfo &STI); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 80 | |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 81 | void X86AsmPrinter::StackMapShadowTracker::count(MCInst &Inst, |
| 82 | const MCSubtargetInfo &STI, |
| 83 | MCCodeEmitter *CodeEmitter) { |
| 84 | if (InShadow) { |
| 85 | SmallString<256> Code; |
| 86 | SmallVector<MCFixup, 4> Fixups; |
| 87 | raw_svector_ostream VecOS(Code); |
| 88 | CodeEmitter->encodeInstruction(Inst, VecOS, Fixups, STI); |
| 89 | CurrentShadowSize += Code.size(); |
| 90 | if (CurrentShadowSize >= RequiredShadowSize) |
| 91 | InShadow = false; // The shadow is big enough. Stop counting. |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 92 | } |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 93 | } |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 94 | |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 95 | void X86AsmPrinter::StackMapShadowTracker::emitShadowPadding( |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 96 | MCStreamer &OutStreamer, const MCSubtargetInfo &STI) { |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 97 | if (InShadow && CurrentShadowSize < RequiredShadowSize) { |
| 98 | InShadow = false; |
| 99 | EmitNops(OutStreamer, RequiredShadowSize - CurrentShadowSize, |
| 100 | MF->getSubtarget<X86Subtarget>().is64Bit(), STI); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 101 | } |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 102 | } |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 103 | |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 104 | void X86AsmPrinter::EmitAndCountInstruction(MCInst &Inst) { |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 105 | OutStreamer->EmitInstruction(Inst, getSubtargetInfo(), EnablePrintSchedInfo); |
Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 106 | SMShadowTracker.count(Inst, getSubtargetInfo(), CodeEmitter.get()); |
| 107 | } |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 108 | |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 109 | X86MCInstLower::X86MCInstLower(const MachineFunction &mf, |
Chris Lattner | b3f608b | 2010-07-22 21:10:04 +0000 | [diff] [blame] | 110 | X86AsmPrinter &asmprinter) |
Eric Christopher | 05b8197 | 2015-02-02 17:38:43 +0000 | [diff] [blame] | 111 | : Ctx(mf.getContext()), MF(mf), TM(mf.getTarget()), MAI(*TM.getMCAsmInfo()), |
| 112 | AsmPrinter(asmprinter) {} |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 113 | |
Chris Lattner | 05f4039 | 2009-09-16 06:25:03 +0000 | [diff] [blame] | 114 | MachineModuleInfoMachO &X86MCInstLower::getMachOMMI() const { |
Chris Lattner | 7fbdd7c | 2010-07-20 22:26:07 +0000 | [diff] [blame] | 115 | return MF.getMMI().getObjFileInfo<MachineModuleInfoMachO>(); |
Chris Lattner | 05f4039 | 2009-09-16 06:25:03 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 118 | |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 119 | /// GetSymbolFromOperand - Lower an MO_GlobalAddress or MO_ExternalSymbol |
| 120 | /// operand to an MCSymbol. |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 121 | MCSymbol *X86MCInstLower:: |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 122 | GetSymbolFromOperand(const MachineOperand &MO) const { |
Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 123 | const DataLayout &DL = MF.getDataLayout(); |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 124 | assert((MO.isGlobal() || MO.isSymbol() || MO.isMBB()) && "Isn't a symbol reference"); |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 125 | |
Rafael Espindola | 9aa3ab3 | 2015-06-03 00:02:40 +0000 | [diff] [blame] | 126 | MCSymbol *Sym = nullptr; |
Chris Lattner | 35ed98a | 2009-09-11 05:58:44 +0000 | [diff] [blame] | 127 | SmallString<128> Name; |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 128 | StringRef Suffix; |
| 129 | |
| 130 | switch (MO.getTargetFlags()) { |
Reid Kleckner | c35e7f5 | 2015-06-11 01:31:48 +0000 | [diff] [blame] | 131 | case X86II::MO_DLLIMPORT: |
| 132 | // Handle dllimport linkage. |
| 133 | Name += "__imp_"; |
| 134 | break; |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 135 | case X86II::MO_DARWIN_NONLAZY: |
| 136 | case X86II::MO_DARWIN_NONLAZY_PIC_BASE: |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 137 | Suffix = "$non_lazy_ptr"; |
| 138 | break; |
| 139 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 140 | |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 141 | if (!Suffix.empty()) |
Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 142 | Name += DL.getPrivateGlobalPrefix(); |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 143 | |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 144 | if (MO.isGlobal()) { |
Chris Lattner | e397df7 | 2010-03-12 19:42:40 +0000 | [diff] [blame] | 145 | const GlobalValue *GV = MO.getGlobal(); |
Rafael Espindola | daeafb4 | 2014-02-19 17:23:20 +0000 | [diff] [blame] | 146 | AsmPrinter.getNameWithPrefix(Name, GV); |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 147 | } else if (MO.isSymbol()) { |
Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 148 | Mangler::getNameWithPrefix(Name, MO.getSymbolName(), DL); |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 149 | } else if (MO.isMBB()) { |
Rafael Espindola | 9aa3ab3 | 2015-06-03 00:02:40 +0000 | [diff] [blame] | 150 | assert(Suffix.empty()); |
| 151 | Sym = MO.getMBB()->getSymbol(); |
Chris Lattner | 17ec6b1 | 2009-09-20 06:45:52 +0000 | [diff] [blame] | 152 | } |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 153 | |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 154 | Name += Suffix; |
Rafael Espindola | 9aa3ab3 | 2015-06-03 00:02:40 +0000 | [diff] [blame] | 155 | if (!Sym) |
| 156 | Sym = Ctx.getOrCreateSymbol(Name); |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 157 | |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 158 | // If the target flags on the operand changes the name of the symbol, do that |
| 159 | // before we return the symbol. |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 160 | switch (MO.getTargetFlags()) { |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 161 | default: break; |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 162 | case X86II::MO_DARWIN_NONLAZY: |
Chris Lattner | 446d589 | 2009-09-11 06:59:18 +0000 | [diff] [blame] | 163 | case X86II::MO_DARWIN_NONLAZY_PIC_BASE: { |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 164 | MachineModuleInfoImpl::StubValueTy &StubSym = |
| 165 | getMachOMMI().getGVStubEntry(Sym); |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 166 | if (!StubSym.getPointer()) { |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 167 | assert(MO.isGlobal() && "Extern symbol not handled yet"); |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 168 | StubSym = |
| 169 | MachineModuleInfoImpl:: |
Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 170 | StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()), |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 171 | !MO.getGlobal()->hasInternalLinkage()); |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 172 | } |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 173 | break; |
Chris Lattner | 446d589 | 2009-09-11 06:59:18 +0000 | [diff] [blame] | 174 | } |
Chris Lattner | c5a95c5 | 2009-09-09 00:10:14 +0000 | [diff] [blame] | 175 | } |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 176 | |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 177 | return Sym; |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 178 | } |
| 179 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 180 | MCOperand X86MCInstLower::LowerSymbolOperand(const MachineOperand &MO, |
| 181 | MCSymbol *Sym) const { |
Chris Lattner | c7b0073 | 2009-09-03 07:30:56 +0000 | [diff] [blame] | 182 | // FIXME: We would like an efficient form for this, so we don't have to do a |
| 183 | // lot of extra uniquing. |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 184 | const MCExpr *Expr = nullptr; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 185 | MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 186 | |
Chris Lattner | 6370d56 | 2009-09-03 04:56:20 +0000 | [diff] [blame] | 187 | switch (MO.getTargetFlags()) { |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 188 | default: llvm_unreachable("Unknown target flag on GV operand"); |
| 189 | case X86II::MO_NO_FLAG: // No flag. |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 190 | // These affect the name of the symbol, not any suffix. |
| 191 | case X86II::MO_DARWIN_NONLAZY: |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 192 | case X86II::MO_DLLIMPORT: |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 193 | break; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 194 | |
Eric Christopher | b0e1a45 | 2010-06-03 04:07:48 +0000 | [diff] [blame] | 195 | case X86II::MO_TLVP: RefKind = MCSymbolRefExpr::VK_TLVP; break; |
| 196 | case X86II::MO_TLVP_PIC_BASE: |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 197 | Expr = MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_TLVP, Ctx); |
Chris Lattner | 769aedd | 2010-07-14 23:04:59 +0000 | [diff] [blame] | 198 | // Subtract the pic base. |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 199 | Expr = MCBinaryExpr::createSub(Expr, |
| 200 | MCSymbolRefExpr::create(MF.getPICBaseSymbol(), |
Chris Lattner | 769aedd | 2010-07-14 23:04:59 +0000 | [diff] [blame] | 201 | Ctx), |
| 202 | Ctx); |
| 203 | break; |
Anton Korobeynikov | c6b4017 | 2012-02-11 17:26:53 +0000 | [diff] [blame] | 204 | case X86II::MO_SECREL: RefKind = MCSymbolRefExpr::VK_SECREL; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 205 | case X86II::MO_TLSGD: RefKind = MCSymbolRefExpr::VK_TLSGD; break; |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 206 | case X86II::MO_TLSLD: RefKind = MCSymbolRefExpr::VK_TLSLD; break; |
| 207 | case X86II::MO_TLSLDM: RefKind = MCSymbolRefExpr::VK_TLSLDM; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 208 | case X86II::MO_GOTTPOFF: RefKind = MCSymbolRefExpr::VK_GOTTPOFF; break; |
| 209 | case X86II::MO_INDNTPOFF: RefKind = MCSymbolRefExpr::VK_INDNTPOFF; break; |
| 210 | case X86II::MO_TPOFF: RefKind = MCSymbolRefExpr::VK_TPOFF; break; |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 211 | case X86II::MO_DTPOFF: RefKind = MCSymbolRefExpr::VK_DTPOFF; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 212 | case X86II::MO_NTPOFF: RefKind = MCSymbolRefExpr::VK_NTPOFF; break; |
Hans Wennborg | f9d0e44 | 2012-05-11 10:11:01 +0000 | [diff] [blame] | 213 | case X86II::MO_GOTNTPOFF: RefKind = MCSymbolRefExpr::VK_GOTNTPOFF; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 214 | case X86II::MO_GOTPCREL: RefKind = MCSymbolRefExpr::VK_GOTPCREL; break; |
| 215 | case X86II::MO_GOT: RefKind = MCSymbolRefExpr::VK_GOT; break; |
| 216 | case X86II::MO_GOTOFF: RefKind = MCSymbolRefExpr::VK_GOTOFF; break; |
| 217 | case X86II::MO_PLT: RefKind = MCSymbolRefExpr::VK_PLT; break; |
Peter Collingbourne | dc5e583 | 2017-02-02 00:32:03 +0000 | [diff] [blame] | 218 | case X86II::MO_ABS8: RefKind = MCSymbolRefExpr::VK_X86_ABS8; break; |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 219 | case X86II::MO_PIC_BASE_OFFSET: |
| 220 | case X86II::MO_DARWIN_NONLAZY_PIC_BASE: |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 221 | Expr = MCSymbolRefExpr::create(Sym, Ctx); |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 222 | // Subtract the pic base. |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 223 | Expr = MCBinaryExpr::createSub(Expr, |
| 224 | MCSymbolRefExpr::create(MF.getPICBaseSymbol(), Ctx), |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 225 | Ctx); |
Rafael Espindola | c606bfe | 2014-10-21 01:17:30 +0000 | [diff] [blame] | 226 | if (MO.isJTI()) { |
Joerg Sonnenberger | 2298203 | 2016-06-18 23:25:37 +0000 | [diff] [blame] | 227 | assert(MAI.doesSetDirectiveSuppressReloc()); |
Evan Cheng | d0d8e33 | 2010-04-12 23:07:17 +0000 | [diff] [blame] | 228 | // If .set directive is supported, use it to reduce the number of |
| 229 | // relocations the assembler will generate for differences between |
| 230 | // local labels. This is only safe when the symbols are in the same |
| 231 | // section so we are restricting it to jumptable references. |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 232 | MCSymbol *Label = Ctx.createTempSymbol(); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 233 | AsmPrinter.OutStreamer->EmitAssignment(Label, Expr); |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 234 | Expr = MCSymbolRefExpr::create(Label, Ctx); |
Evan Cheng | d0d8e33 | 2010-04-12 23:07:17 +0000 | [diff] [blame] | 235 | } |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 236 | break; |
Chris Lattner | c7b0073 | 2009-09-03 07:30:56 +0000 | [diff] [blame] | 237 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 238 | |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 239 | if (!Expr) |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 240 | Expr = MCSymbolRefExpr::create(Sym, RefKind, Ctx); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 241 | |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 242 | if (!MO.isJTI() && !MO.isMBB() && MO.getOffset()) |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 243 | Expr = MCBinaryExpr::createAdd(Expr, |
| 244 | MCConstantExpr::create(MO.getOffset(), Ctx), |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 245 | Ctx); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 246 | return MCOperand::createExpr(Expr); |
Chris Lattner | 5daf619 | 2009-09-03 04:44:53 +0000 | [diff] [blame] | 247 | } |
| 248 | |
Chris Lattner | 482c5df | 2009-09-11 04:28:13 +0000 | [diff] [blame] | 249 | |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 250 | /// \brief Simplify FOO $imm, %{al,ax,eax,rax} to FOO $imm, for instruction with |
| 251 | /// a short fixed-register form. |
| 252 | static void SimplifyShortImmForm(MCInst &Inst, unsigned Opcode) { |
| 253 | unsigned ImmOp = Inst.getNumOperands() - 1; |
Anton Korobeynikov | c6b4017 | 2012-02-11 17:26:53 +0000 | [diff] [blame] | 254 | assert(Inst.getOperand(0).isReg() && |
| 255 | (Inst.getOperand(ImmOp).isImm() || Inst.getOperand(ImmOp).isExpr()) && |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 256 | ((Inst.getNumOperands() == 3 && Inst.getOperand(1).isReg() && |
| 257 | Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg()) || |
| 258 | Inst.getNumOperands() == 2) && "Unexpected instruction!"); |
| 259 | |
| 260 | // Check whether the destination register can be fixed. |
| 261 | unsigned Reg = Inst.getOperand(0).getReg(); |
| 262 | if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX) |
| 263 | return; |
| 264 | |
| 265 | // If so, rewrite the instruction. |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 266 | MCOperand Saved = Inst.getOperand(ImmOp); |
| 267 | Inst = MCInst(); |
| 268 | Inst.setOpcode(Opcode); |
| 269 | Inst.addOperand(Saved); |
| 270 | } |
| 271 | |
Benjamin Kramer | 068a225 | 2013-07-12 18:06:44 +0000 | [diff] [blame] | 272 | /// \brief If a movsx instruction has a shorter encoding for the used register |
| 273 | /// simplify the instruction to use it instead. |
| 274 | static void SimplifyMOVSX(MCInst &Inst) { |
| 275 | unsigned NewOpcode = 0; |
| 276 | unsigned Op0 = Inst.getOperand(0).getReg(), Op1 = Inst.getOperand(1).getReg(); |
| 277 | switch (Inst.getOpcode()) { |
| 278 | default: |
| 279 | llvm_unreachable("Unexpected instruction!"); |
| 280 | case X86::MOVSX16rr8: // movsbw %al, %ax --> cbtw |
| 281 | if (Op0 == X86::AX && Op1 == X86::AL) |
| 282 | NewOpcode = X86::CBW; |
| 283 | break; |
| 284 | case X86::MOVSX32rr16: // movswl %ax, %eax --> cwtl |
| 285 | if (Op0 == X86::EAX && Op1 == X86::AX) |
| 286 | NewOpcode = X86::CWDE; |
| 287 | break; |
| 288 | case X86::MOVSX64rr32: // movslq %eax, %rax --> cltq |
| 289 | if (Op0 == X86::RAX && Op1 == X86::EAX) |
| 290 | NewOpcode = X86::CDQE; |
| 291 | break; |
| 292 | } |
| 293 | |
| 294 | if (NewOpcode != 0) { |
| 295 | Inst = MCInst(); |
| 296 | Inst.setOpcode(NewOpcode); |
| 297 | } |
| 298 | } |
| 299 | |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 300 | /// \brief Simplify things like MOV32rm to MOV32o32a. |
Eli Friedman | 51ec745 | 2010-08-16 21:03:32 +0000 | [diff] [blame] | 301 | static void SimplifyShortMoveForm(X86AsmPrinter &Printer, MCInst &Inst, |
| 302 | unsigned Opcode) { |
| 303 | // Don't make these simplifications in 64-bit mode; other assemblers don't |
| 304 | // perform them because they make the code larger. |
| 305 | if (Printer.getSubtarget().is64Bit()) |
| 306 | return; |
| 307 | |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 308 | bool IsStore = Inst.getOperand(0).isReg() && Inst.getOperand(1).isReg(); |
| 309 | unsigned AddrBase = IsStore; |
| 310 | unsigned RegOp = IsStore ? 0 : 5; |
| 311 | unsigned AddrOp = AddrBase + 3; |
| 312 | assert(Inst.getNumOperands() == 6 && Inst.getOperand(RegOp).isReg() && |
Manuel Jacob | dcb78db | 2014-03-18 16:14:11 +0000 | [diff] [blame] | 313 | Inst.getOperand(AddrBase + X86::AddrBaseReg).isReg() && |
| 314 | Inst.getOperand(AddrBase + X86::AddrScaleAmt).isImm() && |
| 315 | Inst.getOperand(AddrBase + X86::AddrIndexReg).isReg() && |
| 316 | Inst.getOperand(AddrBase + X86::AddrSegmentReg).isReg() && |
| 317 | (Inst.getOperand(AddrOp).isExpr() || |
| 318 | Inst.getOperand(AddrOp).isImm()) && |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 319 | "Unexpected instruction!"); |
| 320 | |
| 321 | // Check whether the destination register can be fixed. |
| 322 | unsigned Reg = Inst.getOperand(RegOp).getReg(); |
| 323 | if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX) |
| 324 | return; |
| 325 | |
| 326 | // Check whether this is an absolute address. |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 327 | // FIXME: We know TLVP symbol refs aren't, but there should be a better way |
Eric Christopher | 29b58af | 2010-06-17 00:51:48 +0000 | [diff] [blame] | 328 | // to do this here. |
| 329 | bool Absolute = true; |
| 330 | if (Inst.getOperand(AddrOp).isExpr()) { |
| 331 | const MCExpr *MCE = Inst.getOperand(AddrOp).getExpr(); |
| 332 | if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(MCE)) |
| 333 | if (SRE->getKind() == MCSymbolRefExpr::VK_TLVP) |
| 334 | Absolute = false; |
| 335 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 336 | |
Eric Christopher | 29b58af | 2010-06-17 00:51:48 +0000 | [diff] [blame] | 337 | if (Absolute && |
Manuel Jacob | dcb78db | 2014-03-18 16:14:11 +0000 | [diff] [blame] | 338 | (Inst.getOperand(AddrBase + X86::AddrBaseReg).getReg() != 0 || |
| 339 | Inst.getOperand(AddrBase + X86::AddrScaleAmt).getImm() != 1 || |
| 340 | Inst.getOperand(AddrBase + X86::AddrIndexReg).getReg() != 0)) |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 341 | return; |
| 342 | |
| 343 | // If so, rewrite the instruction. |
| 344 | MCOperand Saved = Inst.getOperand(AddrOp); |
Manuel Jacob | dcb78db | 2014-03-18 16:14:11 +0000 | [diff] [blame] | 345 | MCOperand Seg = Inst.getOperand(AddrBase + X86::AddrSegmentReg); |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 346 | Inst = MCInst(); |
| 347 | Inst.setOpcode(Opcode); |
| 348 | Inst.addOperand(Saved); |
Craig Topper | a9d2c67 | 2014-01-16 07:57:45 +0000 | [diff] [blame] | 349 | Inst.addOperand(Seg); |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 350 | } |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 351 | |
Michael Liao | 5bf9578 | 2014-12-04 05:20:33 +0000 | [diff] [blame] | 352 | static unsigned getRetOpcode(const X86Subtarget &Subtarget) { |
| 353 | return Subtarget.is64Bit() ? X86::RETQ : X86::RETL; |
David Woodhouse | 79dd505 | 2014-01-08 12:58:07 +0000 | [diff] [blame] | 354 | } |
| 355 | |
Sanjoy Das | 2d869b2 | 2015-06-15 18:44:01 +0000 | [diff] [blame] | 356 | Optional<MCOperand> |
| 357 | X86MCInstLower::LowerMachineOperand(const MachineInstr *MI, |
| 358 | const MachineOperand &MO) const { |
| 359 | switch (MO.getType()) { |
| 360 | default: |
Matthias Braun | 8c209aa | 2017-01-28 02:02:38 +0000 | [diff] [blame] | 361 | MI->print(errs()); |
Sanjoy Das | 2d869b2 | 2015-06-15 18:44:01 +0000 | [diff] [blame] | 362 | llvm_unreachable("unknown operand type"); |
| 363 | case MachineOperand::MO_Register: |
| 364 | // Ignore all implicit register operands. |
| 365 | if (MO.isImplicit()) |
| 366 | return None; |
| 367 | return MCOperand::createReg(MO.getReg()); |
| 368 | case MachineOperand::MO_Immediate: |
| 369 | return MCOperand::createImm(MO.getImm()); |
| 370 | case MachineOperand::MO_MachineBasicBlock: |
| 371 | case MachineOperand::MO_GlobalAddress: |
| 372 | case MachineOperand::MO_ExternalSymbol: |
| 373 | return LowerSymbolOperand(MO, GetSymbolFromOperand(MO)); |
Rafael Espindola | 36b718f | 2015-06-22 17:46:53 +0000 | [diff] [blame] | 374 | case MachineOperand::MO_MCSymbol: |
| 375 | return LowerSymbolOperand(MO, MO.getMCSymbol()); |
Sanjoy Das | 2d869b2 | 2015-06-15 18:44:01 +0000 | [diff] [blame] | 376 | case MachineOperand::MO_JumpTableIndex: |
| 377 | return LowerSymbolOperand(MO, AsmPrinter.GetJTISymbol(MO.getIndex())); |
| 378 | case MachineOperand::MO_ConstantPoolIndex: |
| 379 | return LowerSymbolOperand(MO, AsmPrinter.GetCPISymbol(MO.getIndex())); |
| 380 | case MachineOperand::MO_BlockAddress: |
| 381 | return LowerSymbolOperand( |
| 382 | MO, AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress())); |
| 383 | case MachineOperand::MO_RegisterMask: |
| 384 | // Ignore call clobbers. |
| 385 | return None; |
| 386 | } |
| 387 | } |
| 388 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 389 | void X86MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const { |
| 390 | OutMI.setOpcode(MI->getOpcode()); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 391 | |
Sanjoy Das | 2d869b2 | 2015-06-15 18:44:01 +0000 | [diff] [blame] | 392 | for (const MachineOperand &MO : MI->operands()) |
| 393 | if (auto MaybeMCOp = LowerMachineOperand(MI, MO)) |
| 394 | OutMI.addOperand(MaybeMCOp.getValue()); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 395 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 396 | // Handle a few special cases to eliminate operand modifiers. |
Chris Lattner | 626656a | 2010-10-08 03:54:52 +0000 | [diff] [blame] | 397 | ReSimplify: |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 398 | switch (OutMI.getOpcode()) { |
Tim Northover | 6833e3f | 2013-06-10 20:43:49 +0000 | [diff] [blame] | 399 | case X86::LEA64_32r: |
Chris Lattner | f469307 | 2010-07-08 23:46:44 +0000 | [diff] [blame] | 400 | case X86::LEA64r: |
| 401 | case X86::LEA16r: |
| 402 | case X86::LEA32r: |
| 403 | // LEA should have a segment register, but it must be empty. |
| 404 | assert(OutMI.getNumOperands() == 1+X86::AddrNumOperands && |
| 405 | "Unexpected # of LEA operands"); |
| 406 | assert(OutMI.getOperand(1+X86::AddrSegmentReg).getReg() == 0 && |
| 407 | "LEA has segment specified!"); |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 408 | break; |
Chris Lattner | e96d534 | 2010-02-05 21:30:49 +0000 | [diff] [blame] | 409 | |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 410 | // Commute operands to get a smaller encoding by using VEX.R instead of VEX.B |
| 411 | // if one of the registers is extended, but other isn't. |
Craig Topper | d6b661d | 2015-10-12 04:57:59 +0000 | [diff] [blame] | 412 | case X86::VMOVZPQILo2PQIrr: |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 413 | case X86::VMOVAPDrr: |
| 414 | case X86::VMOVAPDYrr: |
| 415 | case X86::VMOVAPSrr: |
| 416 | case X86::VMOVAPSYrr: |
| 417 | case X86::VMOVDQArr: |
| 418 | case X86::VMOVDQAYrr: |
| 419 | case X86::VMOVDQUrr: |
| 420 | case X86::VMOVDQUYrr: |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 421 | case X86::VMOVUPDrr: |
| 422 | case X86::VMOVUPDYrr: |
| 423 | case X86::VMOVUPSrr: |
| 424 | case X86::VMOVUPSYrr: { |
Craig Topper | 612f7bf | 2013-03-16 03:44:31 +0000 | [diff] [blame] | 425 | if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) && |
| 426 | X86II::isX86_64ExtendedReg(OutMI.getOperand(1).getReg())) { |
| 427 | unsigned NewOpc; |
| 428 | switch (OutMI.getOpcode()) { |
| 429 | default: llvm_unreachable("Invalid opcode"); |
Craig Topper | d6b661d | 2015-10-12 04:57:59 +0000 | [diff] [blame] | 430 | case X86::VMOVZPQILo2PQIrr: NewOpc = X86::VMOVPQI2QIrr; break; |
| 431 | case X86::VMOVAPDrr: NewOpc = X86::VMOVAPDrr_REV; break; |
| 432 | case X86::VMOVAPDYrr: NewOpc = X86::VMOVAPDYrr_REV; break; |
| 433 | case X86::VMOVAPSrr: NewOpc = X86::VMOVAPSrr_REV; break; |
| 434 | case X86::VMOVAPSYrr: NewOpc = X86::VMOVAPSYrr_REV; break; |
| 435 | case X86::VMOVDQArr: NewOpc = X86::VMOVDQArr_REV; break; |
| 436 | case X86::VMOVDQAYrr: NewOpc = X86::VMOVDQAYrr_REV; break; |
| 437 | case X86::VMOVDQUrr: NewOpc = X86::VMOVDQUrr_REV; break; |
| 438 | case X86::VMOVDQUYrr: NewOpc = X86::VMOVDQUYrr_REV; break; |
| 439 | case X86::VMOVUPDrr: NewOpc = X86::VMOVUPDrr_REV; break; |
| 440 | case X86::VMOVUPDYrr: NewOpc = X86::VMOVUPDYrr_REV; break; |
| 441 | case X86::VMOVUPSrr: NewOpc = X86::VMOVUPSrr_REV; break; |
| 442 | case X86::VMOVUPSYrr: NewOpc = X86::VMOVUPSYrr_REV; break; |
Craig Topper | 612f7bf | 2013-03-16 03:44:31 +0000 | [diff] [blame] | 443 | } |
| 444 | OutMI.setOpcode(NewOpc); |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 445 | } |
Craig Topper | 612f7bf | 2013-03-16 03:44:31 +0000 | [diff] [blame] | 446 | break; |
| 447 | } |
| 448 | case X86::VMOVSDrr: |
| 449 | case X86::VMOVSSrr: { |
| 450 | if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) && |
| 451 | X86II::isX86_64ExtendedReg(OutMI.getOperand(2).getReg())) { |
| 452 | unsigned NewOpc; |
| 453 | switch (OutMI.getOpcode()) { |
| 454 | default: llvm_unreachable("Invalid opcode"); |
| 455 | case X86::VMOVSDrr: NewOpc = X86::VMOVSDrr_REV; break; |
| 456 | case X86::VMOVSSrr: NewOpc = X86::VMOVSSrr_REV; break; |
| 457 | } |
| 458 | OutMI.setOpcode(NewOpc); |
| 459 | } |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 460 | break; |
| 461 | } |
| 462 | |
Jakob Stoklund Olesen | 97e3115 | 2012-02-16 17:56:02 +0000 | [diff] [blame] | 463 | // TAILJMPr64, CALL64r, CALL64pcrel32 - These instructions have register |
| 464 | // inputs modeled as normal uses instead of implicit uses. As such, truncate |
| 465 | // off all but the first operand (the callee). FIXME: Change isel. |
Daniel Dunbar | b243dfb | 2010-05-19 08:07:12 +0000 | [diff] [blame] | 466 | case X86::TAILJMPr64: |
Reid Kleckner | a580b6e | 2015-01-30 21:03:31 +0000 | [diff] [blame] | 467 | case X86::TAILJMPr64_REX: |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 468 | case X86::CALL64r: |
Jakob Stoklund Olesen | 97e3115 | 2012-02-16 17:56:02 +0000 | [diff] [blame] | 469 | case X86::CALL64pcrel32: { |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 470 | unsigned Opcode = OutMI.getOpcode(); |
Chris Lattner | 9f46539 | 2010-05-18 21:40:18 +0000 | [diff] [blame] | 471 | MCOperand Saved = OutMI.getOperand(0); |
| 472 | OutMI = MCInst(); |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 473 | OutMI.setOpcode(Opcode); |
Chris Lattner | 9f46539 | 2010-05-18 21:40:18 +0000 | [diff] [blame] | 474 | OutMI.addOperand(Saved); |
| 475 | break; |
| 476 | } |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 477 | |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 478 | case X86::EH_RETURN: |
| 479 | case X86::EH_RETURN64: { |
| 480 | OutMI = MCInst(); |
David Woodhouse | 79dd505 | 2014-01-08 12:58:07 +0000 | [diff] [blame] | 481 | OutMI.setOpcode(getRetOpcode(AsmPrinter.getSubtarget())); |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 482 | break; |
| 483 | } |
| 484 | |
David Majnemer | f828a0c | 2015-10-01 18:44:59 +0000 | [diff] [blame] | 485 | case X86::CLEANUPRET: { |
| 486 | // Replace CATCHRET with the appropriate RET. |
| 487 | OutMI = MCInst(); |
| 488 | OutMI.setOpcode(getRetOpcode(AsmPrinter.getSubtarget())); |
| 489 | break; |
| 490 | } |
| 491 | |
| 492 | case X86::CATCHRET: { |
| 493 | // Replace CATCHRET with the appropriate RET. |
| 494 | const X86Subtarget &Subtarget = AsmPrinter.getSubtarget(); |
| 495 | unsigned ReturnReg = Subtarget.is64Bit() ? X86::RAX : X86::EAX; |
| 496 | OutMI = MCInst(); |
| 497 | OutMI.setOpcode(getRetOpcode(Subtarget)); |
| 498 | OutMI.addOperand(MCOperand::createReg(ReturnReg)); |
| 499 | break; |
| 500 | } |
| 501 | |
Hans Wennborg | a468601 | 2017-02-16 00:04:05 +0000 | [diff] [blame] | 502 | // TAILJMPd, TAILJMPd64, TailJMPd_cc - Lower to the correct jump instruction. |
Hans Wennborg | 75e25f6 | 2016-09-07 17:52:14 +0000 | [diff] [blame] | 503 | { unsigned Opcode; |
| 504 | case X86::TAILJMPr: Opcode = X86::JMP32r; goto SetTailJmpOpcode; |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 505 | case X86::TAILJMPd: |
Hans Wennborg | 75e25f6 | 2016-09-07 17:52:14 +0000 | [diff] [blame] | 506 | case X86::TAILJMPd64: Opcode = X86::JMP_1; goto SetTailJmpOpcode; |
Hans Wennborg | a468601 | 2017-02-16 00:04:05 +0000 | [diff] [blame] | 507 | case X86::TAILJMPd_CC: |
| 508 | case X86::TAILJMPd64_CC: |
| 509 | Opcode = X86::GetCondBranchFromCond( |
| 510 | static_cast<X86::CondCode>(MI->getOperand(1).getImm())); |
| 511 | goto SetTailJmpOpcode; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 512 | |
Hans Wennborg | 75e25f6 | 2016-09-07 17:52:14 +0000 | [diff] [blame] | 513 | SetTailJmpOpcode: |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 514 | MCOperand Saved = OutMI.getOperand(0); |
| 515 | OutMI = MCInst(); |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 516 | OutMI.setOpcode(Opcode); |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 517 | OutMI.addOperand(Saved); |
| 518 | break; |
| 519 | } |
| 520 | |
Craig Topper | ddbf51f | 2015-01-06 07:35:50 +0000 | [diff] [blame] | 521 | case X86::DEC16r: |
| 522 | case X86::DEC32r: |
| 523 | case X86::INC16r: |
| 524 | case X86::INC32r: |
| 525 | // If we aren't in 64-bit mode we can use the 1-byte inc/dec instructions. |
| 526 | if (!AsmPrinter.getSubtarget().is64Bit()) { |
| 527 | unsigned Opcode; |
| 528 | switch (OutMI.getOpcode()) { |
| 529 | default: llvm_unreachable("Invalid opcode"); |
| 530 | case X86::DEC16r: Opcode = X86::DEC16r_alt; break; |
| 531 | case X86::DEC32r: Opcode = X86::DEC32r_alt; break; |
| 532 | case X86::INC16r: Opcode = X86::INC16r_alt; break; |
| 533 | case X86::INC32r: Opcode = X86::INC32r_alt; break; |
| 534 | } |
| 535 | OutMI.setOpcode(Opcode); |
| 536 | } |
| 537 | break; |
| 538 | |
Chris Lattner | 626656a | 2010-10-08 03:54:52 +0000 | [diff] [blame] | 539 | // These are pseudo-ops for OR to help with the OR->ADD transformation. We do |
| 540 | // this with an ugly goto in case the resultant OR uses EAX and needs the |
| 541 | // short form. |
Chris Lattner | dd77477 | 2010-10-08 03:57:25 +0000 | [diff] [blame] | 542 | case X86::ADD16rr_DB: OutMI.setOpcode(X86::OR16rr); goto ReSimplify; |
| 543 | case X86::ADD32rr_DB: OutMI.setOpcode(X86::OR32rr); goto ReSimplify; |
| 544 | case X86::ADD64rr_DB: OutMI.setOpcode(X86::OR64rr); goto ReSimplify; |
| 545 | case X86::ADD16ri_DB: OutMI.setOpcode(X86::OR16ri); goto ReSimplify; |
| 546 | case X86::ADD32ri_DB: OutMI.setOpcode(X86::OR32ri); goto ReSimplify; |
| 547 | case X86::ADD64ri32_DB: OutMI.setOpcode(X86::OR64ri32); goto ReSimplify; |
| 548 | case X86::ADD16ri8_DB: OutMI.setOpcode(X86::OR16ri8); goto ReSimplify; |
| 549 | case X86::ADD32ri8_DB: OutMI.setOpcode(X86::OR32ri8); goto ReSimplify; |
| 550 | case X86::ADD64ri8_DB: OutMI.setOpcode(X86::OR64ri8); goto ReSimplify; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 551 | |
Eli Friedman | 02f2f89 | 2011-09-07 18:48:32 +0000 | [diff] [blame] | 552 | // Atomic load and store require a separate pseudo-inst because Acquire |
| 553 | // implies mayStore and Release implies mayLoad; fix these to regular MOV |
| 554 | // instructions here |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 555 | case X86::ACQUIRE_MOV8rm: OutMI.setOpcode(X86::MOV8rm); goto ReSimplify; |
| 556 | case X86::ACQUIRE_MOV16rm: OutMI.setOpcode(X86::MOV16rm); goto ReSimplify; |
| 557 | case X86::ACQUIRE_MOV32rm: OutMI.setOpcode(X86::MOV32rm); goto ReSimplify; |
| 558 | case X86::ACQUIRE_MOV64rm: OutMI.setOpcode(X86::MOV64rm); goto ReSimplify; |
| 559 | case X86::RELEASE_MOV8mr: OutMI.setOpcode(X86::MOV8mr); goto ReSimplify; |
| 560 | case X86::RELEASE_MOV16mr: OutMI.setOpcode(X86::MOV16mr); goto ReSimplify; |
| 561 | case X86::RELEASE_MOV32mr: OutMI.setOpcode(X86::MOV32mr); goto ReSimplify; |
| 562 | case X86::RELEASE_MOV64mr: OutMI.setOpcode(X86::MOV64mr); goto ReSimplify; |
| 563 | case X86::RELEASE_MOV8mi: OutMI.setOpcode(X86::MOV8mi); goto ReSimplify; |
| 564 | case X86::RELEASE_MOV16mi: OutMI.setOpcode(X86::MOV16mi); goto ReSimplify; |
| 565 | case X86::RELEASE_MOV32mi: OutMI.setOpcode(X86::MOV32mi); goto ReSimplify; |
| 566 | case X86::RELEASE_MOV64mi32: OutMI.setOpcode(X86::MOV64mi32); goto ReSimplify; |
| 567 | case X86::RELEASE_ADD8mi: OutMI.setOpcode(X86::ADD8mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 568 | case X86::RELEASE_ADD8mr: OutMI.setOpcode(X86::ADD8mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 569 | case X86::RELEASE_ADD32mi: OutMI.setOpcode(X86::ADD32mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 570 | case X86::RELEASE_ADD32mr: OutMI.setOpcode(X86::ADD32mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 571 | case X86::RELEASE_ADD64mi32: OutMI.setOpcode(X86::ADD64mi32); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 572 | case X86::RELEASE_ADD64mr: OutMI.setOpcode(X86::ADD64mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 573 | case X86::RELEASE_AND8mi: OutMI.setOpcode(X86::AND8mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 574 | case X86::RELEASE_AND8mr: OutMI.setOpcode(X86::AND8mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 575 | case X86::RELEASE_AND32mi: OutMI.setOpcode(X86::AND32mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 576 | case X86::RELEASE_AND32mr: OutMI.setOpcode(X86::AND32mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 577 | case X86::RELEASE_AND64mi32: OutMI.setOpcode(X86::AND64mi32); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 578 | case X86::RELEASE_AND64mr: OutMI.setOpcode(X86::AND64mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 579 | case X86::RELEASE_OR8mi: OutMI.setOpcode(X86::OR8mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 580 | case X86::RELEASE_OR8mr: OutMI.setOpcode(X86::OR8mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 581 | case X86::RELEASE_OR32mi: OutMI.setOpcode(X86::OR32mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 582 | case X86::RELEASE_OR32mr: OutMI.setOpcode(X86::OR32mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 583 | case X86::RELEASE_OR64mi32: OutMI.setOpcode(X86::OR64mi32); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 584 | case X86::RELEASE_OR64mr: OutMI.setOpcode(X86::OR64mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 585 | case X86::RELEASE_XOR8mi: OutMI.setOpcode(X86::XOR8mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 586 | case X86::RELEASE_XOR8mr: OutMI.setOpcode(X86::XOR8mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 587 | case X86::RELEASE_XOR32mi: OutMI.setOpcode(X86::XOR32mi); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 588 | case X86::RELEASE_XOR32mr: OutMI.setOpcode(X86::XOR32mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 589 | case X86::RELEASE_XOR64mi32: OutMI.setOpcode(X86::XOR64mi32); goto ReSimplify; |
JF Bastien | 8662083 | 2015-08-05 21:04:59 +0000 | [diff] [blame] | 590 | case X86::RELEASE_XOR64mr: OutMI.setOpcode(X86::XOR64mr); goto ReSimplify; |
Robin Morisset | df20586 | 2014-09-02 22:16:29 +0000 | [diff] [blame] | 591 | case X86::RELEASE_INC8m: OutMI.setOpcode(X86::INC8m); goto ReSimplify; |
| 592 | case X86::RELEASE_INC16m: OutMI.setOpcode(X86::INC16m); goto ReSimplify; |
| 593 | case X86::RELEASE_INC32m: OutMI.setOpcode(X86::INC32m); goto ReSimplify; |
| 594 | case X86::RELEASE_INC64m: OutMI.setOpcode(X86::INC64m); goto ReSimplify; |
| 595 | case X86::RELEASE_DEC8m: OutMI.setOpcode(X86::DEC8m); goto ReSimplify; |
| 596 | case X86::RELEASE_DEC16m: OutMI.setOpcode(X86::DEC16m); goto ReSimplify; |
| 597 | case X86::RELEASE_DEC32m: OutMI.setOpcode(X86::DEC32m); goto ReSimplify; |
| 598 | case X86::RELEASE_DEC64m: OutMI.setOpcode(X86::DEC64m); goto ReSimplify; |
Eli Friedman | 02f2f89 | 2011-09-07 18:48:32 +0000 | [diff] [blame] | 599 | |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 600 | // We don't currently select the correct instruction form for instructions |
| 601 | // which have a short %eax, etc. form. Handle this by custom lowering, for |
| 602 | // now. |
| 603 | // |
| 604 | // Note, we are currently not handling the following instructions: |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 605 | // MOV64ao8, MOV64o8a |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 606 | // XCHG16ar, XCHG32ar, XCHG64ar |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 607 | case X86::MOV8mr_NOREX: |
Craig Topper | 184310d | 2016-04-29 00:51:30 +0000 | [diff] [blame] | 608 | case X86::MOV8mr: |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 609 | case X86::MOV8rm_NOREX: |
Craig Topper | 184310d | 2016-04-29 00:51:30 +0000 | [diff] [blame] | 610 | case X86::MOV8rm: |
| 611 | case X86::MOV16mr: |
| 612 | case X86::MOV16rm: |
| 613 | case X86::MOV32mr: |
| 614 | case X86::MOV32rm: { |
| 615 | unsigned NewOpc; |
| 616 | switch (OutMI.getOpcode()) { |
| 617 | default: llvm_unreachable("Invalid opcode"); |
| 618 | case X86::MOV8mr_NOREX: |
| 619 | case X86::MOV8mr: NewOpc = X86::MOV8o32a; break; |
| 620 | case X86::MOV8rm_NOREX: |
| 621 | case X86::MOV8rm: NewOpc = X86::MOV8ao32; break; |
| 622 | case X86::MOV16mr: NewOpc = X86::MOV16o32a; break; |
| 623 | case X86::MOV16rm: NewOpc = X86::MOV16ao32; break; |
| 624 | case X86::MOV32mr: NewOpc = X86::MOV32o32a; break; |
| 625 | case X86::MOV32rm: NewOpc = X86::MOV32ao32; break; |
| 626 | } |
| 627 | SimplifyShortMoveForm(AsmPrinter, OutMI, NewOpc); |
| 628 | break; |
| 629 | } |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 630 | |
Craig Topper | 184310d | 2016-04-29 00:51:30 +0000 | [diff] [blame] | 631 | case X86::ADC8ri: case X86::ADC16ri: case X86::ADC32ri: case X86::ADC64ri32: |
| 632 | case X86::ADD8ri: case X86::ADD16ri: case X86::ADD32ri: case X86::ADD64ri32: |
| 633 | case X86::AND8ri: case X86::AND16ri: case X86::AND32ri: case X86::AND64ri32: |
| 634 | case X86::CMP8ri: case X86::CMP16ri: case X86::CMP32ri: case X86::CMP64ri32: |
| 635 | case X86::OR8ri: case X86::OR16ri: case X86::OR32ri: case X86::OR64ri32: |
| 636 | case X86::SBB8ri: case X86::SBB16ri: case X86::SBB32ri: case X86::SBB64ri32: |
| 637 | case X86::SUB8ri: case X86::SUB16ri: case X86::SUB32ri: case X86::SUB64ri32: |
| 638 | case X86::TEST8ri:case X86::TEST16ri:case X86::TEST32ri:case X86::TEST64ri32: |
| 639 | case X86::XOR8ri: case X86::XOR16ri: case X86::XOR32ri: case X86::XOR64ri32: { |
| 640 | unsigned NewOpc; |
| 641 | switch (OutMI.getOpcode()) { |
| 642 | default: llvm_unreachable("Invalid opcode"); |
| 643 | case X86::ADC8ri: NewOpc = X86::ADC8i8; break; |
| 644 | case X86::ADC16ri: NewOpc = X86::ADC16i16; break; |
| 645 | case X86::ADC32ri: NewOpc = X86::ADC32i32; break; |
| 646 | case X86::ADC64ri32: NewOpc = X86::ADC64i32; break; |
| 647 | case X86::ADD8ri: NewOpc = X86::ADD8i8; break; |
| 648 | case X86::ADD16ri: NewOpc = X86::ADD16i16; break; |
| 649 | case X86::ADD32ri: NewOpc = X86::ADD32i32; break; |
| 650 | case X86::ADD64ri32: NewOpc = X86::ADD64i32; break; |
| 651 | case X86::AND8ri: NewOpc = X86::AND8i8; break; |
| 652 | case X86::AND16ri: NewOpc = X86::AND16i16; break; |
| 653 | case X86::AND32ri: NewOpc = X86::AND32i32; break; |
| 654 | case X86::AND64ri32: NewOpc = X86::AND64i32; break; |
| 655 | case X86::CMP8ri: NewOpc = X86::CMP8i8; break; |
| 656 | case X86::CMP16ri: NewOpc = X86::CMP16i16; break; |
| 657 | case X86::CMP32ri: NewOpc = X86::CMP32i32; break; |
| 658 | case X86::CMP64ri32: NewOpc = X86::CMP64i32; break; |
| 659 | case X86::OR8ri: NewOpc = X86::OR8i8; break; |
| 660 | case X86::OR16ri: NewOpc = X86::OR16i16; break; |
| 661 | case X86::OR32ri: NewOpc = X86::OR32i32; break; |
| 662 | case X86::OR64ri32: NewOpc = X86::OR64i32; break; |
| 663 | case X86::SBB8ri: NewOpc = X86::SBB8i8; break; |
| 664 | case X86::SBB16ri: NewOpc = X86::SBB16i16; break; |
| 665 | case X86::SBB32ri: NewOpc = X86::SBB32i32; break; |
| 666 | case X86::SBB64ri32: NewOpc = X86::SBB64i32; break; |
| 667 | case X86::SUB8ri: NewOpc = X86::SUB8i8; break; |
| 668 | case X86::SUB16ri: NewOpc = X86::SUB16i16; break; |
| 669 | case X86::SUB32ri: NewOpc = X86::SUB32i32; break; |
| 670 | case X86::SUB64ri32: NewOpc = X86::SUB64i32; break; |
| 671 | case X86::TEST8ri: NewOpc = X86::TEST8i8; break; |
| 672 | case X86::TEST16ri: NewOpc = X86::TEST16i16; break; |
| 673 | case X86::TEST32ri: NewOpc = X86::TEST32i32; break; |
| 674 | case X86::TEST64ri32: NewOpc = X86::TEST64i32; break; |
| 675 | case X86::XOR8ri: NewOpc = X86::XOR8i8; break; |
| 676 | case X86::XOR16ri: NewOpc = X86::XOR16i16; break; |
| 677 | case X86::XOR32ri: NewOpc = X86::XOR32i32; break; |
| 678 | case X86::XOR64ri32: NewOpc = X86::XOR64i32; break; |
| 679 | } |
| 680 | SimplifyShortImmForm(OutMI, NewOpc); |
| 681 | break; |
| 682 | } |
Rafael Espindola | 66393c1 | 2011-10-26 21:12:27 +0000 | [diff] [blame] | 683 | |
Benjamin Kramer | 068a225 | 2013-07-12 18:06:44 +0000 | [diff] [blame] | 684 | // Try to shrink some forms of movsx. |
| 685 | case X86::MOVSX16rr8: |
| 686 | case X86::MOVSX32rr16: |
| 687 | case X86::MOVSX64rr32: |
| 688 | SimplifyMOVSX(OutMI); |
| 689 | break; |
Rafael Espindola | 66393c1 | 2011-10-26 21:12:27 +0000 | [diff] [blame] | 690 | } |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 691 | } |
| 692 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 693 | void X86AsmPrinter::LowerTlsAddr(X86MCInstLower &MCInstLowering, |
| 694 | const MachineInstr &MI) { |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 695 | |
| 696 | bool is64Bits = MI.getOpcode() == X86::TLS_addr64 || |
| 697 | MI.getOpcode() == X86::TLS_base_addr64; |
| 698 | |
| 699 | bool needsPadding = MI.getOpcode() == X86::TLS_addr64; |
| 700 | |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 701 | MCContext &context = OutStreamer->getContext(); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 702 | |
Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 703 | if (needsPadding) |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 704 | EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX)); |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 705 | |
| 706 | MCSymbolRefExpr::VariantKind SRVK; |
| 707 | switch (MI.getOpcode()) { |
| 708 | case X86::TLS_addr32: |
| 709 | case X86::TLS_addr64: |
| 710 | SRVK = MCSymbolRefExpr::VK_TLSGD; |
| 711 | break; |
| 712 | case X86::TLS_base_addr32: |
| 713 | SRVK = MCSymbolRefExpr::VK_TLSLDM; |
| 714 | break; |
| 715 | case X86::TLS_base_addr64: |
| 716 | SRVK = MCSymbolRefExpr::VK_TLSLD; |
| 717 | break; |
| 718 | default: |
| 719 | llvm_unreachable("unexpected opcode"); |
| 720 | } |
| 721 | |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 722 | MCSymbol *sym = MCInstLowering.GetSymbolFromOperand(MI.getOperand(3)); |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 723 | const MCSymbolRefExpr *symRef = MCSymbolRefExpr::create(sym, SRVK, context); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 724 | |
| 725 | MCInst LEA; |
| 726 | if (is64Bits) { |
| 727 | LEA.setOpcode(X86::LEA64r); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 728 | LEA.addOperand(MCOperand::createReg(X86::RDI)); // dest |
| 729 | LEA.addOperand(MCOperand::createReg(X86::RIP)); // base |
| 730 | LEA.addOperand(MCOperand::createImm(1)); // scale |
| 731 | LEA.addOperand(MCOperand::createReg(0)); // index |
| 732 | LEA.addOperand(MCOperand::createExpr(symRef)); // disp |
| 733 | LEA.addOperand(MCOperand::createReg(0)); // seg |
Rafael Espindola | 55d1145 | 2012-06-07 18:39:19 +0000 | [diff] [blame] | 734 | } else if (SRVK == MCSymbolRefExpr::VK_TLSLDM) { |
| 735 | LEA.setOpcode(X86::LEA32r); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 736 | LEA.addOperand(MCOperand::createReg(X86::EAX)); // dest |
| 737 | LEA.addOperand(MCOperand::createReg(X86::EBX)); // base |
| 738 | LEA.addOperand(MCOperand::createImm(1)); // scale |
| 739 | LEA.addOperand(MCOperand::createReg(0)); // index |
| 740 | LEA.addOperand(MCOperand::createExpr(symRef)); // disp |
| 741 | LEA.addOperand(MCOperand::createReg(0)); // seg |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 742 | } else { |
| 743 | LEA.setOpcode(X86::LEA32r); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 744 | LEA.addOperand(MCOperand::createReg(X86::EAX)); // dest |
| 745 | LEA.addOperand(MCOperand::createReg(0)); // base |
| 746 | LEA.addOperand(MCOperand::createImm(1)); // scale |
| 747 | LEA.addOperand(MCOperand::createReg(X86::EBX)); // index |
| 748 | LEA.addOperand(MCOperand::createExpr(symRef)); // disp |
| 749 | LEA.addOperand(MCOperand::createReg(0)); // seg |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 750 | } |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 751 | EmitAndCountInstruction(LEA); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 752 | |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 753 | if (needsPadding) { |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 754 | EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX)); |
| 755 | EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX)); |
| 756 | EmitAndCountInstruction(MCInstBuilder(X86::REX64_PREFIX)); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 757 | } |
| 758 | |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 759 | StringRef name = is64Bits ? "__tls_get_addr" : "___tls_get_addr"; |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 760 | MCSymbol *tlsGetAddr = context.getOrCreateSymbol(name); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 761 | const MCSymbolRefExpr *tlsRef = |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 762 | MCSymbolRefExpr::create(tlsGetAddr, |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 763 | MCSymbolRefExpr::VK_PLT, |
| 764 | context); |
| 765 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 766 | EmitAndCountInstruction(MCInstBuilder(is64Bits ? X86::CALL64pcrel32 |
| 767 | : X86::CALLpcrel32) |
| 768 | .addExpr(tlsRef)); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 769 | } |
Devang Patel | 50c9431 | 2010-04-28 01:39:28 +0000 | [diff] [blame] | 770 | |
Sanjoy Das | 6ecfae6 | 2016-04-19 18:48:13 +0000 | [diff] [blame] | 771 | /// \brief Emit the largest nop instruction smaller than or equal to \p NumBytes |
| 772 | /// bytes. Return the size of nop emitted. |
| 773 | static unsigned EmitNop(MCStreamer &OS, unsigned NumBytes, bool Is64Bit, |
| 774 | const MCSubtargetInfo &STI) { |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 775 | // This works only for 64bit. For 32bit we have to do additional checking if |
| 776 | // the CPU supports multi-byte nops. |
| 777 | assert(Is64Bit && "EmitNops only supports X86-64"); |
Sanjoy Das | 6ecfae6 | 2016-04-19 18:48:13 +0000 | [diff] [blame] | 778 | |
| 779 | unsigned NopSize; |
| 780 | unsigned Opc, BaseReg, ScaleVal, IndexReg, Displacement, SegmentReg; |
| 781 | Opc = IndexReg = Displacement = SegmentReg = 0; |
| 782 | BaseReg = X86::RAX; |
| 783 | ScaleVal = 1; |
| 784 | switch (NumBytes) { |
| 785 | case 0: llvm_unreachable("Zero nops?"); break; |
| 786 | case 1: NopSize = 1; Opc = X86::NOOP; break; |
| 787 | case 2: NopSize = 2; Opc = X86::XCHG16ar; break; |
| 788 | case 3: NopSize = 3; Opc = X86::NOOPL; break; |
| 789 | case 4: NopSize = 4; Opc = X86::NOOPL; Displacement = 8; break; |
| 790 | case 5: NopSize = 5; Opc = X86::NOOPL; Displacement = 8; |
| 791 | IndexReg = X86::RAX; break; |
| 792 | case 6: NopSize = 6; Opc = X86::NOOPW; Displacement = 8; |
| 793 | IndexReg = X86::RAX; break; |
| 794 | case 7: NopSize = 7; Opc = X86::NOOPL; Displacement = 512; break; |
| 795 | case 8: NopSize = 8; Opc = X86::NOOPL; Displacement = 512; |
| 796 | IndexReg = X86::RAX; break; |
| 797 | case 9: NopSize = 9; Opc = X86::NOOPW; Displacement = 512; |
| 798 | IndexReg = X86::RAX; break; |
| 799 | default: NopSize = 10; Opc = X86::NOOPW; Displacement = 512; |
| 800 | IndexReg = X86::RAX; SegmentReg = X86::CS; break; |
| 801 | } |
| 802 | |
| 803 | unsigned NumPrefixes = std::min(NumBytes - NopSize, 5U); |
| 804 | NopSize += NumPrefixes; |
| 805 | for (unsigned i = 0; i != NumPrefixes; ++i) |
| 806 | OS.EmitBytes("\x66"); |
| 807 | |
| 808 | switch (Opc) { |
| 809 | default: |
| 810 | llvm_unreachable("Unexpected opcode"); |
| 811 | break; |
| 812 | case X86::NOOP: |
| 813 | OS.EmitInstruction(MCInstBuilder(Opc), STI); |
| 814 | break; |
| 815 | case X86::XCHG16ar: |
| 816 | OS.EmitInstruction(MCInstBuilder(Opc).addReg(X86::AX), STI); |
| 817 | break; |
| 818 | case X86::NOOPL: |
| 819 | case X86::NOOPW: |
| 820 | OS.EmitInstruction(MCInstBuilder(Opc) |
| 821 | .addReg(BaseReg) |
| 822 | .addImm(ScaleVal) |
| 823 | .addReg(IndexReg) |
| 824 | .addImm(Displacement) |
| 825 | .addReg(SegmentReg), |
| 826 | STI); |
| 827 | break; |
| 828 | } |
| 829 | assert(NopSize <= NumBytes && "We overemitted?"); |
| 830 | return NopSize; |
| 831 | } |
| 832 | |
| 833 | /// \brief Emit the optimal amount of multi-byte nops on X86. |
| 834 | static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit, |
| 835 | const MCSubtargetInfo &STI) { |
Davide Italiano | 8a8f24b | 2016-04-20 17:53:21 +0000 | [diff] [blame] | 836 | unsigned NopsToEmit = NumBytes; |
Davide Italiano | bf4df85 | 2016-04-20 18:45:31 +0000 | [diff] [blame] | 837 | (void)NopsToEmit; |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 838 | while (NumBytes) { |
Sanjoy Das | 6ecfae6 | 2016-04-19 18:48:13 +0000 | [diff] [blame] | 839 | NumBytes -= EmitNop(OS, NumBytes, Is64Bit, STI); |
Davide Italiano | 8a8f24b | 2016-04-20 17:53:21 +0000 | [diff] [blame] | 840 | assert(NopsToEmit >= NumBytes && "Emitted more than I asked for!"); |
Sanjoy Das | 6ecfae6 | 2016-04-19 18:48:13 +0000 | [diff] [blame] | 841 | } |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 842 | } |
| 843 | |
Sanjoy Das | 2e0d29f | 2015-05-06 23:53:26 +0000 | [diff] [blame] | 844 | void X86AsmPrinter::LowerSTATEPOINT(const MachineInstr &MI, |
| 845 | X86MCInstLower &MCIL) { |
| 846 | assert(Subtarget->is64Bit() && "Statepoint currently only supports X86-64"); |
Philip Reames | 0365f1a | 2014-12-01 22:52:56 +0000 | [diff] [blame] | 847 | |
Sanjoy Das | a1d39ba | 2015-05-12 23:52:24 +0000 | [diff] [blame] | 848 | StatepointOpers SOpers(&MI); |
Sanjoy Das | a1d39ba | 2015-05-12 23:52:24 +0000 | [diff] [blame] | 849 | if (unsigned PatchBytes = SOpers.getNumPatchBytes()) { |
| 850 | EmitNops(*OutStreamer, PatchBytes, Subtarget->is64Bit(), |
| 851 | getSubtargetInfo()); |
| 852 | } else { |
| 853 | // Lower call target and choose correct opcode |
| 854 | const MachineOperand &CallTarget = SOpers.getCallTarget(); |
| 855 | MCOperand CallTargetMCOp; |
| 856 | unsigned CallOpcode; |
| 857 | switch (CallTarget.getType()) { |
| 858 | case MachineOperand::MO_GlobalAddress: |
| 859 | case MachineOperand::MO_ExternalSymbol: |
| 860 | CallTargetMCOp = MCIL.LowerSymbolOperand( |
| 861 | CallTarget, MCIL.GetSymbolFromOperand(CallTarget)); |
| 862 | CallOpcode = X86::CALL64pcrel32; |
| 863 | // Currently, we only support relative addressing with statepoints. |
| 864 | // Otherwise, we'll need a scratch register to hold the target |
| 865 | // address. You'll fail asserts during load & relocation if this |
| 866 | // symbol is to far away. (TODO: support non-relative addressing) |
| 867 | break; |
| 868 | case MachineOperand::MO_Immediate: |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 869 | CallTargetMCOp = MCOperand::createImm(CallTarget.getImm()); |
Sanjoy Das | a1d39ba | 2015-05-12 23:52:24 +0000 | [diff] [blame] | 870 | CallOpcode = X86::CALL64pcrel32; |
| 871 | // Currently, we only support relative addressing with statepoints. |
| 872 | // Otherwise, we'll need a scratch register to hold the target |
| 873 | // immediate. You'll fail asserts during load & relocation if this |
| 874 | // address is to far away. (TODO: support non-relative addressing) |
| 875 | break; |
| 876 | case MachineOperand::MO_Register: |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 877 | CallTargetMCOp = MCOperand::createReg(CallTarget.getReg()); |
Sanjoy Das | a1d39ba | 2015-05-12 23:52:24 +0000 | [diff] [blame] | 878 | CallOpcode = X86::CALL64r; |
| 879 | break; |
| 880 | default: |
| 881 | llvm_unreachable("Unsupported operand type in statepoint call target"); |
| 882 | break; |
| 883 | } |
| 884 | |
| 885 | // Emit call |
| 886 | MCInst CallInst; |
| 887 | CallInst.setOpcode(CallOpcode); |
| 888 | CallInst.addOperand(CallTargetMCOp); |
| 889 | OutStreamer->EmitInstruction(CallInst, getSubtargetInfo()); |
| 890 | } |
Philip Reames | 0365f1a | 2014-12-01 22:52:56 +0000 | [diff] [blame] | 891 | |
| 892 | // Record our statepoint node in the same section used by STACKMAP |
| 893 | // and PATCHPOINT |
Michael Liao | 5bf9578 | 2014-12-04 05:20:33 +0000 | [diff] [blame] | 894 | SM.recordStatepoint(MI); |
Philip Reames | 0365f1a | 2014-12-01 22:52:56 +0000 | [diff] [blame] | 895 | } |
| 896 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 897 | void X86AsmPrinter::LowerFAULTING_OP(const MachineInstr &FaultingMI, |
| 898 | X86MCInstLower &MCIL) { |
| 899 | // FAULTING_LOAD_OP <def>, <faltinf type>, <MBB handler>, |
| 900 | // <opcode>, <operands> |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 901 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 902 | unsigned DefRegister = FaultingMI.getOperand(0).getReg(); |
| 903 | FaultMaps::FaultKind FK = |
| 904 | static_cast<FaultMaps::FaultKind>(FaultingMI.getOperand(1).getImm()); |
| 905 | MCSymbol *HandlerLabel = FaultingMI.getOperand(2).getMBB()->getSymbol(); |
| 906 | unsigned Opcode = FaultingMI.getOperand(3).getImm(); |
| 907 | unsigned OperandsBeginIdx = 4; |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 908 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 909 | assert(FK < FaultMaps::FaultKindMax && "Invalid Faulting Kind!"); |
| 910 | FM.recordFaultingOp(FK, HandlerLabel); |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 911 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 912 | MCInst MI; |
| 913 | MI.setOpcode(Opcode); |
Sanjoy Das | 93d608c | 2015-07-20 20:31:39 +0000 | [diff] [blame] | 914 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 915 | if (DefRegister != X86::NoRegister) |
| 916 | MI.addOperand(MCOperand::createReg(DefRegister)); |
Sanjoy Das | 93d608c | 2015-07-20 20:31:39 +0000 | [diff] [blame] | 917 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 918 | for (auto I = FaultingMI.operands_begin() + OperandsBeginIdx, |
| 919 | E = FaultingMI.operands_end(); |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 920 | I != E; ++I) |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 921 | if (auto MaybeOperand = MCIL.LowerMachineOperand(&FaultingMI, *I)) |
| 922 | MI.addOperand(MaybeOperand.getValue()); |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 923 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 924 | OutStreamer->EmitInstruction(MI, getSubtargetInfo()); |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 925 | } |
Philip Reames | 0365f1a | 2014-12-01 22:52:56 +0000 | [diff] [blame] | 926 | |
Nirav Dave | a7c041d | 2017-01-31 17:00:27 +0000 | [diff] [blame] | 927 | void X86AsmPrinter::LowerFENTRY_CALL(const MachineInstr &MI, |
| 928 | X86MCInstLower &MCIL) { |
| 929 | bool Is64Bits = Subtarget->is64Bit(); |
| 930 | MCContext &Ctx = OutStreamer->getContext(); |
| 931 | MCSymbol *fentry = Ctx.getOrCreateSymbol("__fentry__"); |
| 932 | const MCSymbolRefExpr *Op = |
| 933 | MCSymbolRefExpr::create(fentry, MCSymbolRefExpr::VK_None, Ctx); |
| 934 | |
| 935 | EmitAndCountInstruction( |
| 936 | MCInstBuilder(Is64Bits ? X86::CALL64pcrel32 : X86::CALLpcrel32) |
| 937 | .addExpr(Op)); |
| 938 | } |
| 939 | |
Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 940 | void X86AsmPrinter::LowerPATCHABLE_OP(const MachineInstr &MI, |
| 941 | X86MCInstLower &MCIL) { |
| 942 | // PATCHABLE_OP minsize, opcode, operands |
| 943 | |
| 944 | unsigned MinSize = MI.getOperand(0).getImm(); |
| 945 | unsigned Opcode = MI.getOperand(1).getImm(); |
| 946 | |
| 947 | MCInst MCI; |
| 948 | MCI.setOpcode(Opcode); |
| 949 | for (auto &MO : make_range(MI.operands_begin() + 2, MI.operands_end())) |
| 950 | if (auto MaybeOperand = MCIL.LowerMachineOperand(&MI, MO)) |
| 951 | MCI.addOperand(MaybeOperand.getValue()); |
| 952 | |
| 953 | SmallString<256> Code; |
| 954 | SmallVector<MCFixup, 4> Fixups; |
| 955 | raw_svector_ostream VecOS(Code); |
| 956 | CodeEmitter->encodeInstruction(MCI, VecOS, Fixups, getSubtargetInfo()); |
| 957 | |
| 958 | if (Code.size() < MinSize) { |
| 959 | if (MinSize == 2 && Opcode == X86::PUSH64r) { |
| 960 | // This is an optimization that lets us get away without emitting a nop in |
| 961 | // many cases. |
| 962 | // |
| 963 | // NB! In some cases the encoding for PUSH64r (e.g. PUSH64r %R9) takes two |
| 964 | // bytes too, so the check on MinSize is important. |
| 965 | MCI.setOpcode(X86::PUSH64rmr); |
| 966 | } else { |
Sanjoy Das | 6ecfae6 | 2016-04-19 18:48:13 +0000 | [diff] [blame] | 967 | unsigned NopSize = EmitNop(*OutStreamer, MinSize, Subtarget->is64Bit(), |
| 968 | getSubtargetInfo()); |
| 969 | assert(NopSize == MinSize && "Could not implement MinSize!"); |
| 970 | (void) NopSize; |
Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 971 | } |
| 972 | } |
| 973 | |
| 974 | OutStreamer->EmitInstruction(MCI, getSubtargetInfo()); |
| 975 | } |
| 976 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 977 | // Lower a stackmap of the form: |
| 978 | // <id>, <shadowBytes>, ... |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 979 | void X86AsmPrinter::LowerSTACKMAP(const MachineInstr &MI) { |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 980 | SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo()); |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 981 | SM.recordStackMap(MI); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 982 | unsigned NumShadowBytes = MI.getOperand(1).getImm(); |
| 983 | SMShadowTracker.reset(NumShadowBytes); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 984 | } |
| 985 | |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 986 | // Lower a patchpoint of the form: |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 987 | // [<def>], <id>, <numBytes>, <target>, <numArgs>, <cc>, ... |
Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 988 | void X86AsmPrinter::LowerPATCHPOINT(const MachineInstr &MI, |
| 989 | X86MCInstLower &MCIL) { |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 990 | assert(Subtarget->is64Bit() && "Patchpoint currently only supports X86-64"); |
| 991 | |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 992 | SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo()); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 993 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 994 | SM.recordPatchPoint(MI); |
Juergen Ributzka | 9969d3e | 2013-11-08 23:28:16 +0000 | [diff] [blame] | 995 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 996 | PatchPointOpers opers(&MI); |
| 997 | unsigned ScratchIdx = opers.getNextScratchIdx(); |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 998 | unsigned EncodedBytes = 0; |
Philip Reames | e83c4b3 | 2016-08-23 23:33:29 +0000 | [diff] [blame] | 999 | const MachineOperand &CalleeMO = opers.getCallTarget(); |
Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 1000 | |
| 1001 | // Check for null target. If target is non-null (i.e. is non-zero or is |
| 1002 | // symbolic) then emit a call. |
| 1003 | if (!(CalleeMO.isImm() && !CalleeMO.getImm())) { |
| 1004 | MCOperand CalleeMCOp; |
| 1005 | switch (CalleeMO.getType()) { |
| 1006 | default: |
| 1007 | /// FIXME: Add a verifier check for bad callee types. |
| 1008 | llvm_unreachable("Unrecognized callee operand type."); |
| 1009 | case MachineOperand::MO_Immediate: |
| 1010 | if (CalleeMO.getImm()) |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 1011 | CalleeMCOp = MCOperand::createImm(CalleeMO.getImm()); |
Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 1012 | break; |
| 1013 | case MachineOperand::MO_ExternalSymbol: |
| 1014 | case MachineOperand::MO_GlobalAddress: |
| 1015 | CalleeMCOp = |
| 1016 | MCIL.LowerSymbolOperand(CalleeMO, |
| 1017 | MCIL.GetSymbolFromOperand(CalleeMO)); |
| 1018 | break; |
| 1019 | } |
| 1020 | |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 1021 | // Emit MOV to materialize the target address and the CALL to target. |
| 1022 | // This is encoded with 12-13 bytes, depending on which register is used. |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 1023 | unsigned ScratchReg = MI.getOperand(ScratchIdx).getReg(); |
| 1024 | if (X86II::isX86_64ExtendedReg(ScratchReg)) |
| 1025 | EncodedBytes = 13; |
| 1026 | else |
| 1027 | EncodedBytes = 12; |
Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 1028 | |
| 1029 | EmitAndCountInstruction( |
| 1030 | MCInstBuilder(X86::MOV64ri).addReg(ScratchReg).addOperand(CalleeMCOp)); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1031 | EmitAndCountInstruction(MCInstBuilder(X86::CALL64r).addReg(ScratchReg)); |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 1032 | } |
Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 1033 | |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 1034 | // Emit padding. |
Philip Reames | e83c4b3 | 2016-08-23 23:33:29 +0000 | [diff] [blame] | 1035 | unsigned NumBytes = opers.getNumPatchBytes(); |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 1036 | assert(NumBytes >= EncodedBytes && |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 1037 | "Patchpoint can't request size less than the length of a call."); |
| 1038 | |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1039 | EmitNops(*OutStreamer, NumBytes - EncodedBytes, Subtarget->is64Bit(), |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1040 | getSubtargetInfo()); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 1041 | } |
| 1042 | |
Dean Michael Berris | 9bcaed8 | 2017-05-08 05:45:21 +0000 | [diff] [blame] | 1043 | void X86AsmPrinter::LowerPATCHABLE_EVENT_CALL(const MachineInstr &MI, |
| 1044 | X86MCInstLower &MCIL) { |
Hiroshi Inoue | bb703e8 | 2017-07-02 03:24:54 +0000 | [diff] [blame] | 1045 | assert(Subtarget->is64Bit() && "XRay custom events only supports X86-64"); |
Dean Michael Berris | 9bcaed8 | 2017-05-08 05:45:21 +0000 | [diff] [blame] | 1046 | |
| 1047 | // We want to emit the following pattern, which follows the x86 calling |
| 1048 | // convention to prepare for the trampoline call to be patched in. |
| 1049 | // |
| 1050 | // <args placement according SysV64 calling convention> |
| 1051 | // .p2align 1, ... |
| 1052 | // .Lxray_event_sled_N: |
| 1053 | // jmp +N // jump across the call instruction |
| 1054 | // callq __xray_CustomEvent // force relocation to symbol |
| 1055 | // <args cleanup, jump to here> |
| 1056 | // |
| 1057 | // The relative jump needs to jump forward 24 bytes: |
| 1058 | // 10 (args) + 5 (nops) + 9 (cleanup) |
| 1059 | // |
| 1060 | // After patching, it would look something like: |
| 1061 | // |
| 1062 | // nopw (2-byte nop) |
| 1063 | // callq __xrayCustomEvent // already lowered |
| 1064 | // |
| 1065 | // --- |
| 1066 | // First we emit the label and the jump. |
| 1067 | auto CurSled = OutContext.createTempSymbol("xray_event_sled_", true); |
| 1068 | OutStreamer->AddComment("# XRay Custom Event Log"); |
| 1069 | OutStreamer->EmitCodeAlignment(2); |
| 1070 | OutStreamer->EmitLabel(CurSled); |
| 1071 | |
| 1072 | // Use a two-byte `jmp`. This version of JMP takes an 8-bit relative offset as |
| 1073 | // an operand (computed as an offset from the jmp instruction). |
| 1074 | // FIXME: Find another less hacky way do force the relative jump. |
| 1075 | OutStreamer->EmitBytes("\xeb\x14"); |
| 1076 | |
| 1077 | // The default C calling convention will place two arguments into %rcx and |
| 1078 | // %rdx -- so we only work with those. |
| 1079 | unsigned UsedRegs[] = {X86::RDI, X86::RSI, X86::RAX}; |
| 1080 | |
| 1081 | // Because we will use %rax, we preserve that across the call. |
| 1082 | EmitAndCountInstruction(MCInstBuilder(X86::PUSH64r).addReg(X86::RAX)); |
| 1083 | |
| 1084 | // Then we put the operands in the %rdi and %rsi registers. |
| 1085 | for (unsigned I = 0; I < MI.getNumOperands(); ++I) |
| 1086 | if (auto Op = MCIL.LowerMachineOperand(&MI, MI.getOperand(I))) { |
| 1087 | if (Op->isImm()) |
| 1088 | EmitAndCountInstruction(MCInstBuilder(X86::MOV64ri) |
| 1089 | .addReg(UsedRegs[I]) |
| 1090 | .addImm(Op->getImm())); |
| 1091 | else if (Op->isReg()) { |
| 1092 | if (Op->getReg() != UsedRegs[I]) |
| 1093 | EmitAndCountInstruction(MCInstBuilder(X86::MOV64rr) |
| 1094 | .addReg(UsedRegs[I]) |
| 1095 | .addReg(Op->getReg())); |
| 1096 | else |
| 1097 | EmitNops(*OutStreamer, 3, Subtarget->is64Bit(), getSubtargetInfo()); |
| 1098 | } |
| 1099 | } |
| 1100 | |
| 1101 | // We emit a hard dependency on the __xray_CustomEvent symbol, which is the |
| 1102 | // name of the trampoline to be implemented by the XRay runtime. We put this |
| 1103 | // explicitly in the %rax register. |
| 1104 | auto TSym = OutContext.getOrCreateSymbol("__xray_CustomEvent"); |
| 1105 | MachineOperand TOp = MachineOperand::CreateMCSymbol(TSym); |
| 1106 | EmitAndCountInstruction(MCInstBuilder(X86::MOV64ri) |
| 1107 | .addReg(X86::RAX) |
| 1108 | .addOperand(MCIL.LowerSymbolOperand(TOp, TSym))); |
| 1109 | |
| 1110 | // Emit the call instruction. |
| 1111 | EmitAndCountInstruction(MCInstBuilder(X86::CALL64r).addReg(X86::RAX)); |
| 1112 | |
| 1113 | // Restore caller-saved and used registers. |
| 1114 | OutStreamer->AddComment("xray custom event end."); |
| 1115 | EmitAndCountInstruction(MCInstBuilder(X86::POP64r).addReg(X86::RAX)); |
| 1116 | |
| 1117 | recordSled(CurSled, MI, SledKind::CUSTOM_EVENT); |
| 1118 | } |
| 1119 | |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1120 | void X86AsmPrinter::LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI, |
| 1121 | X86MCInstLower &MCIL) { |
| 1122 | // We want to emit the following pattern: |
| 1123 | // |
Dean Michael Berris | 7e9abea | 2016-08-04 07:37:28 +0000 | [diff] [blame] | 1124 | // .p2align 1, ... |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1125 | // .Lxray_sled_N: |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1126 | // jmp .tmpN |
| 1127 | // # 9 bytes worth of noops |
| 1128 | // .tmpN |
| 1129 | // |
| 1130 | // We need the 9 bytes because at runtime, we'd be patching over the full 11 |
| 1131 | // bytes with the following pattern: |
| 1132 | // |
| 1133 | // mov %r10, <function id, 32-bit> // 6 bytes |
| 1134 | // call <relative offset, 32-bits> // 5 bytes |
| 1135 | // |
| 1136 | auto CurSled = OutContext.createTempSymbol("xray_sled_", true); |
Dean Michael Berris | 7e9abea | 2016-08-04 07:37:28 +0000 | [diff] [blame] | 1137 | OutStreamer->EmitCodeAlignment(2); |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1138 | OutStreamer->EmitLabel(CurSled); |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1139 | auto Target = OutContext.createTempSymbol(); |
| 1140 | |
| 1141 | // Use a two-byte `jmp`. This version of JMP takes an 8-bit relative offset as |
| 1142 | // an operand (computed as an offset from the jmp instruction). |
| 1143 | // FIXME: Find another less hacky way do force the relative jump. |
| 1144 | OutStreamer->EmitBytes("\xeb\x09"); |
| 1145 | EmitNops(*OutStreamer, 9, Subtarget->is64Bit(), getSubtargetInfo()); |
| 1146 | OutStreamer->EmitLabel(Target); |
| 1147 | recordSled(CurSled, MI, SledKind::FUNCTION_ENTER); |
| 1148 | } |
| 1149 | |
| 1150 | void X86AsmPrinter::LowerPATCHABLE_RET(const MachineInstr &MI, |
| 1151 | X86MCInstLower &MCIL) { |
| 1152 | // Since PATCHABLE_RET takes the opcode of the return statement as an |
| 1153 | // argument, we use that to emit the correct form of the RET that we want. |
| 1154 | // i.e. when we see this: |
| 1155 | // |
| 1156 | // PATCHABLE_RET X86::RET ... |
| 1157 | // |
| 1158 | // We should emit the RET followed by sleds. |
| 1159 | // |
Dean Michael Berris | 7e9abea | 2016-08-04 07:37:28 +0000 | [diff] [blame] | 1160 | // .p2align 1, ... |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1161 | // .Lxray_sled_N: |
| 1162 | // ret # or equivalent instruction |
| 1163 | // # 10 bytes worth of noops |
| 1164 | // |
| 1165 | // This just makes sure that the alignment for the next instruction is 2. |
| 1166 | auto CurSled = OutContext.createTempSymbol("xray_sled_", true); |
Dean Michael Berris | 7e9abea | 2016-08-04 07:37:28 +0000 | [diff] [blame] | 1167 | OutStreamer->EmitCodeAlignment(2); |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1168 | OutStreamer->EmitLabel(CurSled); |
| 1169 | unsigned OpCode = MI.getOperand(0).getImm(); |
| 1170 | MCInst Ret; |
| 1171 | Ret.setOpcode(OpCode); |
| 1172 | for (auto &MO : make_range(MI.operands_begin() + 1, MI.operands_end())) |
| 1173 | if (auto MaybeOperand = MCIL.LowerMachineOperand(&MI, MO)) |
| 1174 | Ret.addOperand(MaybeOperand.getValue()); |
| 1175 | OutStreamer->EmitInstruction(Ret, getSubtargetInfo()); |
| 1176 | EmitNops(*OutStreamer, 10, Subtarget->is64Bit(), getSubtargetInfo()); |
| 1177 | recordSled(CurSled, MI, SledKind::FUNCTION_EXIT); |
| 1178 | } |
| 1179 | |
Dean Michael Berris | e8ae5ba | 2016-09-01 01:29:13 +0000 | [diff] [blame] | 1180 | void X86AsmPrinter::LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI, X86MCInstLower &MCIL) { |
| 1181 | // Like PATCHABLE_RET, we have the actual instruction in the operands to this |
| 1182 | // instruction so we lower that particular instruction and its operands. |
| 1183 | // Unlike PATCHABLE_RET though, we put the sled before the JMP, much like how |
| 1184 | // we do it for PATCHABLE_FUNCTION_ENTER. The sled should be very similar to |
| 1185 | // the PATCHABLE_FUNCTION_ENTER case, followed by the lowering of the actual |
| 1186 | // tail call much like how we have it in PATCHABLE_RET. |
| 1187 | auto CurSled = OutContext.createTempSymbol("xray_sled_", true); |
| 1188 | OutStreamer->EmitCodeAlignment(2); |
| 1189 | OutStreamer->EmitLabel(CurSled); |
| 1190 | auto Target = OutContext.createTempSymbol(); |
| 1191 | |
| 1192 | // Use a two-byte `jmp`. This version of JMP takes an 8-bit relative offset as |
| 1193 | // an operand (computed as an offset from the jmp instruction). |
| 1194 | // FIXME: Find another less hacky way do force the relative jump. |
| 1195 | OutStreamer->EmitBytes("\xeb\x09"); |
| 1196 | EmitNops(*OutStreamer, 9, Subtarget->is64Bit(), getSubtargetInfo()); |
| 1197 | OutStreamer->EmitLabel(Target); |
| 1198 | recordSled(CurSled, MI, SledKind::TAIL_CALL); |
| 1199 | |
| 1200 | unsigned OpCode = MI.getOperand(0).getImm(); |
| 1201 | MCInst TC; |
| 1202 | TC.setOpcode(OpCode); |
| 1203 | |
| 1204 | // Before emitting the instruction, add a comment to indicate that this is |
| 1205 | // indeed a tail call. |
| 1206 | OutStreamer->AddComment("TAILCALL"); |
| 1207 | for (auto &MO : make_range(MI.operands_begin() + 1, MI.operands_end())) |
| 1208 | if (auto MaybeOperand = MCIL.LowerMachineOperand(&MI, MO)) |
| 1209 | TC.addOperand(MaybeOperand.getValue()); |
| 1210 | OutStreamer->EmitInstruction(TC, getSubtargetInfo()); |
| 1211 | } |
| 1212 | |
Reid Kleckner | e704010 | 2014-08-04 21:05:27 +0000 | [diff] [blame] | 1213 | // Returns instruction preceding MBBI in MachineFunction. |
| 1214 | // If MBBI is the first instruction of the first basic block, returns null. |
| 1215 | static MachineBasicBlock::const_iterator |
| 1216 | PrevCrossBBInst(MachineBasicBlock::const_iterator MBBI) { |
| 1217 | const MachineBasicBlock *MBB = MBBI->getParent(); |
| 1218 | while (MBBI == MBB->begin()) { |
Duncan P. N. Exon Smith | e9bc579 | 2016-02-21 20:39:50 +0000 | [diff] [blame] | 1219 | if (MBB == &MBB->getParent()->front()) |
Duncan P. N. Exon Smith | 7b4c18e | 2016-07-12 03:18:50 +0000 | [diff] [blame] | 1220 | return MachineBasicBlock::const_iterator(); |
Reid Kleckner | e704010 | 2014-08-04 21:05:27 +0000 | [diff] [blame] | 1221 | MBB = MBB->getPrevNode(); |
| 1222 | MBBI = MBB->end(); |
| 1223 | } |
| 1224 | return --MBBI; |
| 1225 | } |
| 1226 | |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1227 | static const Constant *getConstantFromPool(const MachineInstr &MI, |
| 1228 | const MachineOperand &Op) { |
| 1229 | if (!Op.isCPI()) |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1230 | return nullptr; |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1231 | |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1232 | ArrayRef<MachineConstantPoolEntry> Constants = |
| 1233 | MI.getParent()->getParent()->getConstantPool()->getConstants(); |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1234 | const MachineConstantPoolEntry &ConstantEntry = |
| 1235 | Constants[Op.getIndex()]; |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1236 | |
| 1237 | // Bail if this is a machine constant pool entry, we won't be able to dig out |
| 1238 | // anything useful. |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1239 | if (ConstantEntry.isMachineConstantPoolEntry()) |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1240 | return nullptr; |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1241 | |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1242 | auto *C = dyn_cast<Constant>(ConstantEntry.Val.ConstVal); |
| 1243 | assert((!C || ConstantEntry.getType() == C->getType()) && |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1244 | "Expected a constant of the same type!"); |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1245 | return C; |
| 1246 | } |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1247 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1248 | static std::string getShuffleComment(const MachineInstr *MI, |
| 1249 | unsigned SrcOp1Idx, |
| 1250 | unsigned SrcOp2Idx, |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1251 | ArrayRef<int> Mask) { |
| 1252 | std::string Comment; |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1253 | |
| 1254 | // Compute the name for a register. This is really goofy because we have |
| 1255 | // multiple instruction printers that could (in theory) use different |
| 1256 | // names. Fortunately most people use the ATT style (outside of Windows) |
| 1257 | // and they actually agree on register naming here. Ultimately, this is |
| 1258 | // a comment, and so its OK if it isn't perfect. |
| 1259 | auto GetRegisterName = [](unsigned RegNum) -> StringRef { |
| 1260 | return X86ATTInstPrinter::getRegisterName(RegNum); |
| 1261 | }; |
| 1262 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1263 | const MachineOperand &DstOp = MI->getOperand(0); |
| 1264 | const MachineOperand &SrcOp1 = MI->getOperand(SrcOp1Idx); |
| 1265 | const MachineOperand &SrcOp2 = MI->getOperand(SrcOp2Idx); |
| 1266 | |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1267 | StringRef DstName = DstOp.isReg() ? GetRegisterName(DstOp.getReg()) : "mem"; |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1268 | StringRef Src1Name = |
| 1269 | SrcOp1.isReg() ? GetRegisterName(SrcOp1.getReg()) : "mem"; |
| 1270 | StringRef Src2Name = |
| 1271 | SrcOp2.isReg() ? GetRegisterName(SrcOp2.getReg()) : "mem"; |
| 1272 | |
| 1273 | // One source operand, fix the mask to print all elements in one span. |
| 1274 | SmallVector<int, 8> ShuffleMask(Mask.begin(), Mask.end()); |
| 1275 | if (Src1Name == Src2Name) |
| 1276 | for (int i = 0, e = ShuffleMask.size(); i != e; ++i) |
| 1277 | if (ShuffleMask[i] >= e) |
| 1278 | ShuffleMask[i] -= e; |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1279 | |
| 1280 | raw_string_ostream CS(Comment); |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1281 | CS << DstName; |
| 1282 | |
| 1283 | // Handle AVX512 MASK/MASXZ write mask comments. |
| 1284 | // MASK: zmmX {%kY} |
| 1285 | // MASKZ: zmmX {%kY} {z} |
| 1286 | if (SrcOp1Idx > 1) { |
| 1287 | assert((SrcOp1Idx == 2 || SrcOp1Idx == 3) && "Unexpected writemask"); |
| 1288 | |
| 1289 | const MachineOperand &WriteMaskOp = MI->getOperand(SrcOp1Idx - 1); |
| 1290 | if (WriteMaskOp.isReg()) { |
| 1291 | CS << " {%" << GetRegisterName(WriteMaskOp.getReg()) << "}"; |
| 1292 | |
| 1293 | if (SrcOp1Idx == 2) { |
| 1294 | CS << " {z}"; |
| 1295 | } |
| 1296 | } |
| 1297 | } |
| 1298 | |
| 1299 | CS << " = "; |
| 1300 | |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1301 | for (int i = 0, e = ShuffleMask.size(); i != e; ++i) { |
| 1302 | if (i != 0) |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1303 | CS << ","; |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1304 | if (ShuffleMask[i] == SM_SentinelZero) { |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1305 | CS << "zero"; |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1306 | continue; |
| 1307 | } |
| 1308 | |
| 1309 | // Otherwise, it must come from src1 or src2. Print the span of elements |
| 1310 | // that comes from this src. |
| 1311 | bool isSrc1 = ShuffleMask[i] < (int)e; |
| 1312 | CS << (isSrc1 ? Src1Name : Src2Name) << '['; |
| 1313 | |
| 1314 | bool IsFirst = true; |
| 1315 | while (i != e && ShuffleMask[i] != SM_SentinelZero && |
| 1316 | (ShuffleMask[i] < (int)e) == isSrc1) { |
| 1317 | if (!IsFirst) |
| 1318 | CS << ','; |
| 1319 | else |
| 1320 | IsFirst = false; |
| 1321 | if (ShuffleMask[i] == SM_SentinelUndef) |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1322 | CS << "u"; |
| 1323 | else |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1324 | CS << ShuffleMask[i] % (int)e; |
| 1325 | ++i; |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1326 | } |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1327 | CS << ']'; |
| 1328 | --i; // For loop increments element #. |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1329 | } |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1330 | CS.flush(); |
| 1331 | |
| 1332 | return Comment; |
| 1333 | } |
| 1334 | |
Craig Topper | ad140cf | 2017-07-04 05:46:11 +0000 | [diff] [blame] | 1335 | static void printConstant(const Constant *COp, raw_ostream &CS) { |
| 1336 | if (isa<UndefValue>(COp)) { |
| 1337 | CS << "u"; |
| 1338 | } else if (auto *CI = dyn_cast<ConstantInt>(COp)) { |
| 1339 | if (CI->getBitWidth() <= 64) { |
| 1340 | CS << CI->getZExtValue(); |
| 1341 | } else { |
| 1342 | // print multi-word constant as (w0,w1) |
| 1343 | const auto &Val = CI->getValue(); |
| 1344 | CS << "("; |
| 1345 | for (int i = 0, N = Val.getNumWords(); i < N; ++i) { |
| 1346 | if (i > 0) |
| 1347 | CS << ","; |
| 1348 | CS << Val.getRawData()[i]; |
| 1349 | } |
| 1350 | CS << ")"; |
| 1351 | } |
| 1352 | } else if (auto *CF = dyn_cast<ConstantFP>(COp)) { |
| 1353 | SmallString<32> Str; |
| 1354 | CF->getValueAPF().toString(Str); |
| 1355 | CS << Str; |
| 1356 | } else { |
| 1357 | CS << "?"; |
| 1358 | } |
| 1359 | } |
| 1360 | |
Chris Lattner | 94a946c | 2010-01-28 01:02:27 +0000 | [diff] [blame] | 1361 | void X86AsmPrinter::EmitInstruction(const MachineInstr *MI) { |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 1362 | X86MCInstLower MCInstLowering(*MF, *this); |
Eric Christopher | 05b8197 | 2015-02-02 17:38:43 +0000 | [diff] [blame] | 1363 | const X86RegisterInfo *RI = MF->getSubtarget<X86Subtarget>().getRegisterInfo(); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1364 | |
Gadi Haber | 19c4fc5 | 2016-12-28 10:12:48 +0000 | [diff] [blame] | 1365 | // Add a comment about EVEX-2-VEX compression for AVX-512 instrs that |
| 1366 | // are compressed from EVEX encoding to VEX encoding. |
| 1367 | if (TM.Options.MCOptions.ShowMCEncoding) { |
| 1368 | if (MI->getAsmPrinterFlags() & AC_EVEX_2_VEX) |
| 1369 | OutStreamer->AddComment("EVEX TO VEX Compression ", false); |
| 1370 | } |
| 1371 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1372 | switch (MI->getOpcode()) { |
Dale Johannesen | b36c709 | 2010-04-06 22:45:26 +0000 | [diff] [blame] | 1373 | case TargetOpcode::DBG_VALUE: |
David Blaikie | b735b4d | 2013-06-16 20:34:27 +0000 | [diff] [blame] | 1374 | llvm_unreachable("Should be handled target independently"); |
Dale Johannesen | 5d7f0a0 | 2010-04-07 01:15:14 +0000 | [diff] [blame] | 1375 | |
Eric Christopher | 4abffad | 2010-08-05 18:34:30 +0000 | [diff] [blame] | 1376 | // Emit nothing here but a comment if we can. |
| 1377 | case X86::Int_MemBarrier: |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1378 | OutStreamer->emitRawComment("MEMBARRIER"); |
Eric Christopher | 4abffad | 2010-08-05 18:34:30 +0000 | [diff] [blame] | 1379 | return; |
Owen Anderson | 0ca562e | 2011-10-04 23:26:17 +0000 | [diff] [blame] | 1380 | |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 1381 | |
| 1382 | case X86::EH_RETURN: |
| 1383 | case X86::EH_RETURN64: { |
| 1384 | // Lower these as normal, but add some comments. |
| 1385 | unsigned Reg = MI->getOperand(0).getReg(); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1386 | OutStreamer->AddComment(StringRef("eh_return, addr: %") + |
| 1387 | X86ATTInstPrinter::getRegisterName(Reg)); |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 1388 | break; |
| 1389 | } |
David Majnemer | f828a0c | 2015-10-01 18:44:59 +0000 | [diff] [blame] | 1390 | case X86::CLEANUPRET: { |
| 1391 | // Lower these as normal, but add some comments. |
| 1392 | OutStreamer->AddComment("CLEANUPRET"); |
| 1393 | break; |
| 1394 | } |
| 1395 | |
| 1396 | case X86::CATCHRET: { |
| 1397 | // Lower these as normal, but add some comments. |
| 1398 | OutStreamer->AddComment("CATCHRET"); |
| 1399 | break; |
| 1400 | } |
| 1401 | |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 1402 | case X86::TAILJMPr: |
Reid Kleckner | a580b6e | 2015-01-30 21:03:31 +0000 | [diff] [blame] | 1403 | case X86::TAILJMPm: |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 1404 | case X86::TAILJMPd: |
Hans Wennborg | a468601 | 2017-02-16 00:04:05 +0000 | [diff] [blame] | 1405 | case X86::TAILJMPd_CC: |
Reid Kleckner | a580b6e | 2015-01-30 21:03:31 +0000 | [diff] [blame] | 1406 | case X86::TAILJMPr64: |
| 1407 | case X86::TAILJMPm64: |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 1408 | case X86::TAILJMPd64: |
Hans Wennborg | a468601 | 2017-02-16 00:04:05 +0000 | [diff] [blame] | 1409 | case X86::TAILJMPd64_CC: |
Reid Kleckner | a580b6e | 2015-01-30 21:03:31 +0000 | [diff] [blame] | 1410 | case X86::TAILJMPr64_REX: |
| 1411 | case X86::TAILJMPm64_REX: |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 1412 | // Lower these as normal, but add some comments. |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1413 | OutStreamer->AddComment("TAILCALL"); |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 1414 | break; |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 1415 | |
| 1416 | case X86::TLS_addr32: |
| 1417 | case X86::TLS_addr64: |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 1418 | case X86::TLS_base_addr32: |
| 1419 | case X86::TLS_base_addr64: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1420 | return LowerTlsAddr(MCInstLowering, *MI); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 1421 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1422 | case X86::MOVPC32r: { |
| 1423 | // This is a pseudo op for a two instruction sequence with a label, which |
| 1424 | // looks like: |
| 1425 | // call "L1$pb" |
| 1426 | // "L1$pb": |
| 1427 | // popl %esi |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1428 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1429 | // Emit the call. |
Chris Lattner | 7077efe | 2010-11-14 22:48:15 +0000 | [diff] [blame] | 1430 | MCSymbol *PICBase = MF->getPICBaseSymbol(); |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1431 | // FIXME: We would like an efficient form for this, so we don't have to do a |
| 1432 | // lot of extra uniquing. |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1433 | EmitAndCountInstruction(MCInstBuilder(X86::CALLpcrel32) |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1434 | .addExpr(MCSymbolRefExpr::create(PICBase, OutContext))); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1435 | |
Petar Jovanovic | 99fba3c | 2015-11-05 17:19:59 +0000 | [diff] [blame] | 1436 | const X86FrameLowering* FrameLowering = |
| 1437 | MF->getSubtarget<X86Subtarget>().getFrameLowering(); |
| 1438 | bool hasFP = FrameLowering->hasFP(*MF); |
Michael Kuperstein | 77ce9d3 | 2015-12-06 13:06:20 +0000 | [diff] [blame] | 1439 | |
| 1440 | // TODO: This is needed only if we require precise CFA. |
Michael Kuperstein | 53946bf | 2015-12-15 18:50:32 +0000 | [diff] [blame] | 1441 | bool HasActiveDwarfFrame = OutStreamer->getNumFrameInfos() && |
| 1442 | !OutStreamer->getDwarfFrameInfos().back().End; |
| 1443 | |
Petar Jovanovic | 99fba3c | 2015-11-05 17:19:59 +0000 | [diff] [blame] | 1444 | int stackGrowth = -RI->getSlotSize(); |
| 1445 | |
Michael Kuperstein | 53946bf | 2015-12-15 18:50:32 +0000 | [diff] [blame] | 1446 | if (HasActiveDwarfFrame && !hasFP) { |
Petar Jovanovic | 99fba3c | 2015-11-05 17:19:59 +0000 | [diff] [blame] | 1447 | OutStreamer->EmitCFIAdjustCfaOffset(-stackGrowth); |
| 1448 | } |
| 1449 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1450 | // Emit the label. |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1451 | OutStreamer->EmitLabel(PICBase); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1452 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1453 | // popl $reg |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1454 | EmitAndCountInstruction(MCInstBuilder(X86::POP32r) |
| 1455 | .addReg(MI->getOperand(0).getReg())); |
Petar Jovanovic | 99fba3c | 2015-11-05 17:19:59 +0000 | [diff] [blame] | 1456 | |
Michael Kuperstein | 53946bf | 2015-12-15 18:50:32 +0000 | [diff] [blame] | 1457 | if (HasActiveDwarfFrame && !hasFP) { |
Petar Jovanovic | 99fba3c | 2015-11-05 17:19:59 +0000 | [diff] [blame] | 1458 | OutStreamer->EmitCFIAdjustCfaOffset(stackGrowth); |
| 1459 | } |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1460 | return; |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1461 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1462 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1463 | case X86::ADD32ri: { |
| 1464 | // Lower the MO_GOT_ABSOLUTE_ADDRESS form of ADD32ri. |
| 1465 | if (MI->getOperand(2).getTargetFlags() != X86II::MO_GOT_ABSOLUTE_ADDRESS) |
| 1466 | break; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1467 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1468 | // Okay, we have something like: |
| 1469 | // EAX = ADD32ri EAX, MO_GOT_ABSOLUTE_ADDRESS(@MYGLOBAL) |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1470 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1471 | // For this, we want to print something like: |
| 1472 | // MYGLOBAL + (. - PICBASE) |
| 1473 | // However, we can't generate a ".", so just emit a new label here and refer |
Chris Lattner | d758139 | 2010-03-12 18:47:50 +0000 | [diff] [blame] | 1474 | // to it. |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 1475 | MCSymbol *DotSym = OutContext.createTempSymbol(); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1476 | OutStreamer->EmitLabel(DotSym); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1477 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1478 | // Now that we have emitted the label, lower the complex operand expression. |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 1479 | MCSymbol *OpSym = MCInstLowering.GetSymbolFromOperand(MI->getOperand(2)); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1480 | |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1481 | const MCExpr *DotExpr = MCSymbolRefExpr::create(DotSym, OutContext); |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1482 | const MCExpr *PICBase = |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1483 | MCSymbolRefExpr::create(MF->getPICBaseSymbol(), OutContext); |
| 1484 | DotExpr = MCBinaryExpr::createSub(DotExpr, PICBase, OutContext); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1485 | |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1486 | DotExpr = MCBinaryExpr::createAdd(MCSymbolRefExpr::create(OpSym,OutContext), |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1487 | DotExpr, OutContext); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1488 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1489 | EmitAndCountInstruction(MCInstBuilder(X86::ADD32ri) |
Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1490 | .addReg(MI->getOperand(0).getReg()) |
| 1491 | .addReg(MI->getOperand(1).getReg()) |
Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1492 | .addExpr(DotExpr)); |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 1493 | return; |
| 1494 | } |
Philip Reames | 0365f1a | 2014-12-01 22:52:56 +0000 | [diff] [blame] | 1495 | case TargetOpcode::STATEPOINT: |
Sanjoy Das | 2e0d29f | 2015-05-06 23:53:26 +0000 | [diff] [blame] | 1496 | return LowerSTATEPOINT(*MI, MCInstLowering); |
Michael Liao | 5bf9578 | 2014-12-04 05:20:33 +0000 | [diff] [blame] | 1497 | |
Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 1498 | case TargetOpcode::FAULTING_OP: |
| 1499 | return LowerFAULTING_OP(*MI, MCInstLowering); |
Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 1500 | |
Nirav Dave | a7c041d | 2017-01-31 17:00:27 +0000 | [diff] [blame] | 1501 | case TargetOpcode::FENTRY_CALL: |
| 1502 | return LowerFENTRY_CALL(*MI, MCInstLowering); |
| 1503 | |
Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 1504 | case TargetOpcode::PATCHABLE_OP: |
| 1505 | return LowerPATCHABLE_OP(*MI, MCInstLowering); |
| 1506 | |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 1507 | case TargetOpcode::STACKMAP: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1508 | return LowerSTACKMAP(*MI); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 1509 | |
| 1510 | case TargetOpcode::PATCHPOINT: |
Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 1511 | return LowerPATCHPOINT(*MI, MCInstLowering); |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 1512 | |
Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 1513 | case TargetOpcode::PATCHABLE_FUNCTION_ENTER: |
| 1514 | return LowerPATCHABLE_FUNCTION_ENTER(*MI, MCInstLowering); |
| 1515 | |
| 1516 | case TargetOpcode::PATCHABLE_RET: |
| 1517 | return LowerPATCHABLE_RET(*MI, MCInstLowering); |
| 1518 | |
Dean Michael Berris | e8ae5ba | 2016-09-01 01:29:13 +0000 | [diff] [blame] | 1519 | case TargetOpcode::PATCHABLE_TAIL_CALL: |
| 1520 | return LowerPATCHABLE_TAIL_CALL(*MI, MCInstLowering); |
Dean Michael Berris | 9bcaed8 | 2017-05-08 05:45:21 +0000 | [diff] [blame] | 1521 | |
| 1522 | case TargetOpcode::PATCHABLE_EVENT_CALL: |
| 1523 | return LowerPATCHABLE_EVENT_CALL(*MI, MCInstLowering); |
Dean Michael Berris | e8ae5ba | 2016-09-01 01:29:13 +0000 | [diff] [blame] | 1524 | |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 1525 | case X86::MORESTACK_RET: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1526 | EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget))); |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 1527 | return; |
| 1528 | |
| 1529 | case X86::MORESTACK_RET_RESTORE_R10: |
| 1530 | // Return, then restore R10. |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 1531 | EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget))); |
| 1532 | EmitAndCountInstruction(MCInstBuilder(X86::MOV64rr) |
| 1533 | .addReg(X86::R10) |
| 1534 | .addReg(X86::RAX)); |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 1535 | return; |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1536 | |
| 1537 | case X86::SEH_PushReg: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1538 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1539 | OutStreamer->EmitWinCFIPushReg(RI->getSEHRegNum(MI->getOperand(0).getImm())); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1540 | return; |
| 1541 | |
| 1542 | case X86::SEH_SaveReg: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1543 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1544 | OutStreamer->EmitWinCFISaveReg(RI->getSEHRegNum(MI->getOperand(0).getImm()), |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 1545 | MI->getOperand(1).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1546 | return; |
| 1547 | |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1548 | case X86::SEH_SaveXMM: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1549 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1550 | OutStreamer->EmitWinCFISaveXMM(RI->getSEHRegNum(MI->getOperand(0).getImm()), |
| 1551 | MI->getOperand(1).getImm()); |
| 1552 | return; |
| 1553 | |
| 1554 | case X86::SEH_StackAlloc: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1555 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1556 | OutStreamer->EmitWinCFIAllocStack(MI->getOperand(0).getImm()); |
| 1557 | return; |
| 1558 | |
| 1559 | case X86::SEH_SetFrame: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1560 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1561 | OutStreamer->EmitWinCFISetFrame(RI->getSEHRegNum(MI->getOperand(0).getImm()), |
| 1562 | MI->getOperand(1).getImm()); |
| 1563 | return; |
| 1564 | |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1565 | case X86::SEH_PushFrame: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1566 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1567 | OutStreamer->EmitWinCFIPushFrame(MI->getOperand(0).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1568 | return; |
| 1569 | |
| 1570 | case X86::SEH_EndPrologue: |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1571 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1572 | OutStreamer->EmitWinCFIEndProlog(); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 1573 | return; |
Chandler Carruth | 185cc18 | 2014-07-25 23:47:11 +0000 | [diff] [blame] | 1574 | |
Reid Kleckner | e704010 | 2014-08-04 21:05:27 +0000 | [diff] [blame] | 1575 | case X86::SEH_Epilogue: { |
Hans Wennborg | c4b1d20 | 2016-09-22 19:50:05 +0000 | [diff] [blame] | 1576 | assert(MF->hasWinCFI() && "SEH_ instruction in function without WinCFI?"); |
Reid Kleckner | e704010 | 2014-08-04 21:05:27 +0000 | [diff] [blame] | 1577 | MachineBasicBlock::const_iterator MBBI(MI); |
| 1578 | // Check if preceded by a call and emit nop if so. |
Duncan P. N. Exon Smith | 7b4c18e | 2016-07-12 03:18:50 +0000 | [diff] [blame] | 1579 | for (MBBI = PrevCrossBBInst(MBBI); |
| 1580 | MBBI != MachineBasicBlock::const_iterator(); |
| 1581 | MBBI = PrevCrossBBInst(MBBI)) { |
Reid Kleckner | e704010 | 2014-08-04 21:05:27 +0000 | [diff] [blame] | 1582 | // Conservatively assume that pseudo instructions don't emit code and keep |
| 1583 | // looking for a call. We may emit an unnecessary nop in some cases. |
| 1584 | if (!MBBI->isPseudo()) { |
| 1585 | if (MBBI->isCall()) |
| 1586 | EmitAndCountInstruction(MCInstBuilder(X86::NOOP)); |
| 1587 | break; |
| 1588 | } |
| 1589 | } |
| 1590 | return; |
| 1591 | } |
| 1592 | |
Craig Topper | 7e3ba15 | 2015-12-26 19:48:43 +0000 | [diff] [blame] | 1593 | // Lower PSHUFB and VPERMILP normally but add a comment if we can find |
| 1594 | // a constant shuffle mask. We won't be able to do this at the MC layer |
| 1595 | // because the mask isn't an immediate. |
Chandler Carruth | 185cc18 | 2014-07-25 23:47:11 +0000 | [diff] [blame] | 1596 | case X86::PSHUFBrm: |
Chandler Carruth | 98443d8 | 2014-09-25 00:24:19 +0000 | [diff] [blame] | 1597 | case X86::VPSHUFBrm: |
Craig Topper | 7e3ba15 | 2015-12-26 19:48:43 +0000 | [diff] [blame] | 1598 | case X86::VPSHUFBYrm: |
| 1599 | case X86::VPSHUFBZ128rm: |
| 1600 | case X86::VPSHUFBZ128rmk: |
| 1601 | case X86::VPSHUFBZ128rmkz: |
| 1602 | case X86::VPSHUFBZ256rm: |
| 1603 | case X86::VPSHUFBZ256rmk: |
| 1604 | case X86::VPSHUFBZ256rmkz: |
| 1605 | case X86::VPSHUFBZrm: |
| 1606 | case X86::VPSHUFBZrmk: |
| 1607 | case X86::VPSHUFBZrmkz: { |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1608 | if (!OutStreamer->isVerboseAsm()) |
Chandler Carruth | edf5021 | 2014-09-24 03:06:34 +0000 | [diff] [blame] | 1609 | break; |
Craig Topper | 7e3ba15 | 2015-12-26 19:48:43 +0000 | [diff] [blame] | 1610 | unsigned SrcIdx, MaskIdx; |
| 1611 | switch (MI->getOpcode()) { |
| 1612 | default: llvm_unreachable("Invalid opcode"); |
| 1613 | case X86::PSHUFBrm: |
| 1614 | case X86::VPSHUFBrm: |
| 1615 | case X86::VPSHUFBYrm: |
| 1616 | case X86::VPSHUFBZ128rm: |
| 1617 | case X86::VPSHUFBZ256rm: |
| 1618 | case X86::VPSHUFBZrm: |
| 1619 | SrcIdx = 1; MaskIdx = 5; break; |
| 1620 | case X86::VPSHUFBZ128rmkz: |
| 1621 | case X86::VPSHUFBZ256rmkz: |
| 1622 | case X86::VPSHUFBZrmkz: |
| 1623 | SrcIdx = 2; MaskIdx = 6; break; |
| 1624 | case X86::VPSHUFBZ128rmk: |
| 1625 | case X86::VPSHUFBZ256rmk: |
| 1626 | case X86::VPSHUFBZrmk: |
| 1627 | SrcIdx = 3; MaskIdx = 7; break; |
| 1628 | } |
| 1629 | |
| 1630 | assert(MI->getNumOperands() >= 6 && |
| 1631 | "We should always have at least 6 operands!"); |
Chandler Carruth | ab8b37a | 2014-09-24 02:24:41 +0000 | [diff] [blame] | 1632 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1633 | const MachineOperand &MaskOp = MI->getOperand(MaskIdx); |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1634 | if (auto *C = getConstantFromPool(*MI, MaskOp)) { |
Craig Topper | a469361 | 2016-11-25 02:29:21 +0000 | [diff] [blame] | 1635 | SmallVector<int, 64> Mask; |
David Majnemer | 14141f9 | 2015-01-11 07:29:51 +0000 | [diff] [blame] | 1636 | DecodePSHUFBMask(C, Mask); |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1637 | if (!Mask.empty()) |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 1638 | OutStreamer->AddComment(getShuffleComment(MI, SrcIdx, SrcIdx, Mask), |
| 1639 | !EnablePrintSchedInfo); |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1640 | } |
| 1641 | break; |
| 1642 | } |
Simon Pilgrim | a99368f | 2016-07-13 15:45:36 +0000 | [diff] [blame] | 1643 | |
Simon Pilgrim | a99368f | 2016-07-13 15:45:36 +0000 | [diff] [blame] | 1644 | case X86::VPERMILPSrm: |
| 1645 | case X86::VPERMILPSYrm: |
| 1646 | case X86::VPERMILPSZ128rm: |
Craig Topper | 175a415 | 2016-10-18 03:36:52 +0000 | [diff] [blame] | 1647 | case X86::VPERMILPSZ128rmk: |
| 1648 | case X86::VPERMILPSZ128rmkz: |
Simon Pilgrim | a99368f | 2016-07-13 15:45:36 +0000 | [diff] [blame] | 1649 | case X86::VPERMILPSZ256rm: |
Craig Topper | 175a415 | 2016-10-18 03:36:52 +0000 | [diff] [blame] | 1650 | case X86::VPERMILPSZ256rmk: |
| 1651 | case X86::VPERMILPSZ256rmkz: |
| 1652 | case X86::VPERMILPSZrm: |
| 1653 | case X86::VPERMILPSZrmk: |
| 1654 | case X86::VPERMILPSZrmkz: |
| 1655 | case X86::VPERMILPDrm: |
| 1656 | case X86::VPERMILPDYrm: |
| 1657 | case X86::VPERMILPDZ128rm: |
| 1658 | case X86::VPERMILPDZ128rmk: |
| 1659 | case X86::VPERMILPDZ128rmkz: |
| 1660 | case X86::VPERMILPDZ256rm: |
| 1661 | case X86::VPERMILPDZ256rmk: |
| 1662 | case X86::VPERMILPDZ256rmkz: |
| 1663 | case X86::VPERMILPDZrm: |
| 1664 | case X86::VPERMILPDZrmk: |
| 1665 | case X86::VPERMILPDZrmkz: { |
Simon Pilgrim | a99368f | 2016-07-13 15:45:36 +0000 | [diff] [blame] | 1666 | if (!OutStreamer->isVerboseAsm()) |
| 1667 | break; |
Craig Topper | 175a415 | 2016-10-18 03:36:52 +0000 | [diff] [blame] | 1668 | unsigned SrcIdx, MaskIdx; |
| 1669 | unsigned ElSize; |
| 1670 | switch (MI->getOpcode()) { |
| 1671 | default: llvm_unreachable("Invalid opcode"); |
| 1672 | case X86::VPERMILPSrm: |
| 1673 | case X86::VPERMILPSYrm: |
| 1674 | case X86::VPERMILPSZ128rm: |
| 1675 | case X86::VPERMILPSZ256rm: |
| 1676 | case X86::VPERMILPSZrm: |
| 1677 | SrcIdx = 1; MaskIdx = 5; ElSize = 32; break; |
| 1678 | case X86::VPERMILPSZ128rmkz: |
| 1679 | case X86::VPERMILPSZ256rmkz: |
| 1680 | case X86::VPERMILPSZrmkz: |
| 1681 | SrcIdx = 2; MaskIdx = 6; ElSize = 32; break; |
| 1682 | case X86::VPERMILPSZ128rmk: |
| 1683 | case X86::VPERMILPSZ256rmk: |
| 1684 | case X86::VPERMILPSZrmk: |
| 1685 | SrcIdx = 3; MaskIdx = 7; ElSize = 32; break; |
| 1686 | case X86::VPERMILPDrm: |
| 1687 | case X86::VPERMILPDYrm: |
| 1688 | case X86::VPERMILPDZ128rm: |
| 1689 | case X86::VPERMILPDZ256rm: |
| 1690 | case X86::VPERMILPDZrm: |
| 1691 | SrcIdx = 1; MaskIdx = 5; ElSize = 64; break; |
| 1692 | case X86::VPERMILPDZ128rmkz: |
| 1693 | case X86::VPERMILPDZ256rmkz: |
| 1694 | case X86::VPERMILPDZrmkz: |
| 1695 | SrcIdx = 2; MaskIdx = 6; ElSize = 64; break; |
| 1696 | case X86::VPERMILPDZ128rmk: |
| 1697 | case X86::VPERMILPDZ256rmk: |
| 1698 | case X86::VPERMILPDZrmk: |
| 1699 | SrcIdx = 3; MaskIdx = 7; ElSize = 64; break; |
| 1700 | } |
| 1701 | |
Craig Topper | 1f5178f | 2016-10-17 06:41:18 +0000 | [diff] [blame] | 1702 | assert(MI->getNumOperands() >= 6 && |
| 1703 | "We should always have at least 6 operands!"); |
Craig Topper | d400019 | 2015-12-26 04:50:07 +0000 | [diff] [blame] | 1704 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1705 | const MachineOperand &MaskOp = MI->getOperand(MaskIdx); |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1706 | if (auto *C = getConstantFromPool(*MI, MaskOp)) { |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1707 | SmallVector<int, 16> Mask; |
Craig Topper | 175a415 | 2016-10-18 03:36:52 +0000 | [diff] [blame] | 1708 | DecodeVPERMILPMask(C, ElSize, Mask); |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1709 | if (!Mask.empty()) |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 1710 | OutStreamer->AddComment(getShuffleComment(MI, SrcIdx, SrcIdx, Mask), |
| 1711 | !EnablePrintSchedInfo); |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1712 | } |
| 1713 | break; |
| 1714 | } |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1715 | |
| 1716 | case X86::VPERMIL2PDrm: |
| 1717 | case X86::VPERMIL2PSrm: |
Craig Topper | 811756b | 2017-02-18 22:53:43 +0000 | [diff] [blame] | 1718 | case X86::VPERMIL2PDYrm: |
| 1719 | case X86::VPERMIL2PSYrm: { |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1720 | if (!OutStreamer->isVerboseAsm()) |
| 1721 | break; |
Craig Topper | 1f5178f | 2016-10-17 06:41:18 +0000 | [diff] [blame] | 1722 | assert(MI->getNumOperands() >= 8 && |
| 1723 | "We should always have at least 8 operands!"); |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1724 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1725 | const MachineOperand &CtrlOp = MI->getOperand(MI->getNumOperands() - 1); |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1726 | if (!CtrlOp.isImm()) |
| 1727 | break; |
| 1728 | |
| 1729 | unsigned ElSize; |
| 1730 | switch (MI->getOpcode()) { |
| 1731 | default: llvm_unreachable("Invalid opcode"); |
Craig Topper | 811756b | 2017-02-18 22:53:43 +0000 | [diff] [blame] | 1732 | case X86::VPERMIL2PSrm: case X86::VPERMIL2PSYrm: ElSize = 32; break; |
| 1733 | case X86::VPERMIL2PDrm: case X86::VPERMIL2PDYrm: ElSize = 64; break; |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1734 | } |
| 1735 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1736 | const MachineOperand &MaskOp = MI->getOperand(6); |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1737 | if (auto *C = getConstantFromPool(*MI, MaskOp)) { |
| 1738 | SmallVector<int, 16> Mask; |
| 1739 | DecodeVPERMIL2PMask(C, (unsigned)CtrlOp.getImm(), ElSize, Mask); |
| 1740 | if (!Mask.empty()) |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 1741 | OutStreamer->AddComment(getShuffleComment(MI, 1, 2, Mask), |
| 1742 | !EnablePrintSchedInfo); |
Simon Pilgrim | 2ead861 | 2016-06-04 21:44:28 +0000 | [diff] [blame] | 1743 | } |
| 1744 | break; |
| 1745 | } |
| 1746 | |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1747 | case X86::VPPERMrrm: { |
| 1748 | if (!OutStreamer->isVerboseAsm()) |
| 1749 | break; |
Craig Topper | 1f5178f | 2016-10-17 06:41:18 +0000 | [diff] [blame] | 1750 | assert(MI->getNumOperands() >= 7 && |
| 1751 | "We should always have at least 7 operands!"); |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1752 | |
Simon Pilgrim | ca3072a | 2016-10-18 15:45:37 +0000 | [diff] [blame] | 1753 | const MachineOperand &MaskOp = MI->getOperand(6); |
Simon Pilgrim | 1cc5712 | 2016-04-09 14:51:26 +0000 | [diff] [blame] | 1754 | if (auto *C = getConstantFromPool(*MI, MaskOp)) { |
| 1755 | SmallVector<int, 16> Mask; |
| 1756 | DecodeVPPERMMask(C, Mask); |
| 1757 | if (!Mask.empty()) |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 1758 | OutStreamer->AddComment(getShuffleComment(MI, 1, 2, Mask), |
| 1759 | !EnablePrintSchedInfo); |
Chandler Carruth | 7b688c6 | 2014-09-24 03:06:37 +0000 | [diff] [blame] | 1760 | } |
Chandler Carruth | 185cc18 | 2014-07-25 23:47:11 +0000 | [diff] [blame] | 1761 | break; |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1762 | } |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1763 | |
Elena Demikhovsky | e88038f | 2015-09-08 06:38:21 +0000 | [diff] [blame] | 1764 | #define MOV_CASE(Prefix, Suffix) \ |
| 1765 | case X86::Prefix##MOVAPD##Suffix##rm: \ |
| 1766 | case X86::Prefix##MOVAPS##Suffix##rm: \ |
| 1767 | case X86::Prefix##MOVUPD##Suffix##rm: \ |
| 1768 | case X86::Prefix##MOVUPS##Suffix##rm: \ |
| 1769 | case X86::Prefix##MOVDQA##Suffix##rm: \ |
| 1770 | case X86::Prefix##MOVDQU##Suffix##rm: |
| 1771 | |
| 1772 | #define MOV_AVX512_CASE(Suffix) \ |
| 1773 | case X86::VMOVDQA64##Suffix##rm: \ |
| 1774 | case X86::VMOVDQA32##Suffix##rm: \ |
| 1775 | case X86::VMOVDQU64##Suffix##rm: \ |
| 1776 | case X86::VMOVDQU32##Suffix##rm: \ |
| 1777 | case X86::VMOVDQU16##Suffix##rm: \ |
| 1778 | case X86::VMOVDQU8##Suffix##rm: \ |
| 1779 | case X86::VMOVAPS##Suffix##rm: \ |
| 1780 | case X86::VMOVAPD##Suffix##rm: \ |
| 1781 | case X86::VMOVUPS##Suffix##rm: \ |
| 1782 | case X86::VMOVUPD##Suffix##rm: |
| 1783 | |
| 1784 | #define CASE_ALL_MOV_RM() \ |
| 1785 | MOV_CASE(, ) /* SSE */ \ |
| 1786 | MOV_CASE(V, ) /* AVX-128 */ \ |
| 1787 | MOV_CASE(V, Y) /* AVX-256 */ \ |
| 1788 | MOV_AVX512_CASE(Z) \ |
| 1789 | MOV_AVX512_CASE(Z256) \ |
| 1790 | MOV_AVX512_CASE(Z128) |
| 1791 | |
| 1792 | // For loads from a constant pool to a vector register, print the constant |
| 1793 | // loaded. |
| 1794 | CASE_ALL_MOV_RM() |
Craig Topper | ad140cf | 2017-07-04 05:46:11 +0000 | [diff] [blame] | 1795 | case X86::VBROADCASTF128: |
| 1796 | case X86::VBROADCASTI128: |
| 1797 | case X86::VBROADCASTF32X4Z256rm: |
| 1798 | case X86::VBROADCASTF32X4rm: |
| 1799 | case X86::VBROADCASTF32X8rm: |
| 1800 | case X86::VBROADCASTF64X2Z128rm: |
| 1801 | case X86::VBROADCASTF64X2rm: |
| 1802 | case X86::VBROADCASTF64X4rm: |
| 1803 | case X86::VBROADCASTI32X4Z256rm: |
| 1804 | case X86::VBROADCASTI32X4rm: |
| 1805 | case X86::VBROADCASTI32X8rm: |
| 1806 | case X86::VBROADCASTI64X2Z128rm: |
| 1807 | case X86::VBROADCASTI64X2rm: |
| 1808 | case X86::VBROADCASTI64X4rm: |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1809 | if (!OutStreamer->isVerboseAsm()) |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1810 | break; |
Craig Topper | d409149 | 2016-11-25 02:29:24 +0000 | [diff] [blame] | 1811 | if (MI->getNumOperands() <= 4) |
| 1812 | break; |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1813 | if (auto *C = getConstantFromPool(*MI, MI->getOperand(4))) { |
Craig Topper | ad140cf | 2017-07-04 05:46:11 +0000 | [diff] [blame] | 1814 | int NumLanes = 1; |
| 1815 | // Override NumLanes for the broadcast instructions. |
| 1816 | switch (MI->getOpcode()) { |
| 1817 | case X86::VBROADCASTF128: NumLanes = 2; break; |
| 1818 | case X86::VBROADCASTI128: NumLanes = 2; break; |
| 1819 | case X86::VBROADCASTF32X4Z256rm: NumLanes = 2; break; |
| 1820 | case X86::VBROADCASTF32X4rm: NumLanes = 4; break; |
| 1821 | case X86::VBROADCASTF32X8rm: NumLanes = 2; break; |
| 1822 | case X86::VBROADCASTF64X2Z128rm: NumLanes = 2; break; |
| 1823 | case X86::VBROADCASTF64X2rm: NumLanes = 4; break; |
| 1824 | case X86::VBROADCASTF64X4rm: NumLanes = 2; break; |
| 1825 | case X86::VBROADCASTI32X4Z256rm: NumLanes = 2; break; |
| 1826 | case X86::VBROADCASTI32X4rm: NumLanes = 4; break; |
| 1827 | case X86::VBROADCASTI32X8rm: NumLanes = 2; break; |
| 1828 | case X86::VBROADCASTI64X2Z128rm: NumLanes = 2; break; |
| 1829 | case X86::VBROADCASTI64X2rm: NumLanes = 4; break; |
| 1830 | case X86::VBROADCASTI64X4rm: NumLanes = 2; break; |
| 1831 | } |
| 1832 | |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1833 | std::string Comment; |
| 1834 | raw_string_ostream CS(Comment); |
| 1835 | const MachineOperand &DstOp = MI->getOperand(0); |
| 1836 | CS << X86ATTInstPrinter::getRegisterName(DstOp.getReg()) << " = "; |
| 1837 | if (auto *CDS = dyn_cast<ConstantDataSequential>(C)) { |
| 1838 | CS << "["; |
Craig Topper | ad140cf | 2017-07-04 05:46:11 +0000 | [diff] [blame] | 1839 | for (int l = 0; l != NumLanes; ++l) { |
| 1840 | for (int i = 0, NumElements = CDS->getNumElements(); i < NumElements; ++i) { |
| 1841 | if (i != 0 || l != 0) |
| 1842 | CS << ","; |
| 1843 | if (CDS->getElementType()->isIntegerTy()) |
| 1844 | CS << CDS->getElementAsInteger(i); |
| 1845 | else if (CDS->getElementType()->isFloatTy()) |
| 1846 | CS << CDS->getElementAsFloat(i); |
| 1847 | else if (CDS->getElementType()->isDoubleTy()) |
| 1848 | CS << CDS->getElementAsDouble(i); |
| 1849 | else |
| 1850 | CS << "?"; |
| 1851 | } |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1852 | } |
| 1853 | CS << "]"; |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 1854 | OutStreamer->AddComment(CS.str(), !EnablePrintSchedInfo); |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1855 | } else if (auto *CV = dyn_cast<ConstantVector>(C)) { |
| 1856 | CS << "<"; |
Craig Topper | ad140cf | 2017-07-04 05:46:11 +0000 | [diff] [blame] | 1857 | for (int l = 0; l != NumLanes; ++l) { |
| 1858 | for (int i = 0, NumOperands = CV->getNumOperands(); i < NumOperands; ++i) { |
| 1859 | if (i != 0 || l != 0) |
| 1860 | CS << ","; |
| 1861 | printConstant(CV->getOperand(i), CS); |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1862 | } |
| 1863 | } |
| 1864 | CS << ">"; |
Andrew V. Tischenko | 75745d0 | 2017-04-14 07:44:23 +0000 | [diff] [blame] | 1865 | OutStreamer->AddComment(CS.str(), !EnablePrintSchedInfo); |
Chandler Carruth | e7e9c04 | 2014-09-24 09:39:41 +0000 | [diff] [blame] | 1866 | } |
| 1867 | } |
| 1868 | break; |
Craig Topper | ad140cf | 2017-07-04 05:46:11 +0000 | [diff] [blame] | 1869 | case X86::VBROADCASTSSrm: |
| 1870 | case X86::VBROADCASTSSYrm: |
| 1871 | case X86::VBROADCASTSSZ128m: |
| 1872 | case X86::VBROADCASTSSZ256m: |
| 1873 | case X86::VBROADCASTSSZm: |
| 1874 | case X86::VBROADCASTSDYrm: |
| 1875 | case X86::VBROADCASTSDZ256m: |
| 1876 | case X86::VBROADCASTSDZm: |
| 1877 | case X86::VPBROADCASTBrm: |
| 1878 | case X86::VPBROADCASTBYrm: |
| 1879 | case X86::VPBROADCASTBZ128m: |
| 1880 | case X86::VPBROADCASTBZ256m: |
| 1881 | case X86::VPBROADCASTBZm: |
| 1882 | case X86::VPBROADCASTDrm: |
| 1883 | case X86::VPBROADCASTDYrm: |
| 1884 | case X86::VPBROADCASTDZ128m: |
| 1885 | case X86::VPBROADCASTDZ256m: |
| 1886 | case X86::VPBROADCASTDZm: |
| 1887 | case X86::VPBROADCASTQrm: |
| 1888 | case X86::VPBROADCASTQYrm: |
| 1889 | case X86::VPBROADCASTQZ128m: |
| 1890 | case X86::VPBROADCASTQZ256m: |
| 1891 | case X86::VPBROADCASTQZm: |
| 1892 | case X86::VPBROADCASTWrm: |
| 1893 | case X86::VPBROADCASTWYrm: |
| 1894 | case X86::VPBROADCASTWZ128m: |
| 1895 | case X86::VPBROADCASTWZ256m: |
| 1896 | case X86::VPBROADCASTWZm: |
| 1897 | if (!OutStreamer->isVerboseAsm()) |
| 1898 | break; |
| 1899 | if (MI->getNumOperands() <= 4) |
| 1900 | break; |
| 1901 | if (auto *C = getConstantFromPool(*MI, MI->getOperand(4))) { |
| 1902 | int NumElts; |
| 1903 | switch (MI->getOpcode()) { |
| 1904 | default: llvm_unreachable("Invalid opcode"); |
| 1905 | case X86::VBROADCASTSSrm: NumElts = 4; break; |
| 1906 | case X86::VBROADCASTSSYrm: NumElts = 8; break; |
| 1907 | case X86::VBROADCASTSSZ128m: NumElts = 4; break; |
| 1908 | case X86::VBROADCASTSSZ256m: NumElts = 8; break; |
| 1909 | case X86::VBROADCASTSSZm: NumElts = 16; break; |
| 1910 | case X86::VBROADCASTSDYrm: NumElts = 4; break; |
| 1911 | case X86::VBROADCASTSDZ256m: NumElts = 4; break; |
| 1912 | case X86::VBROADCASTSDZm: NumElts = 8; break; |
| 1913 | case X86::VPBROADCASTBrm: NumElts = 16; break; |
| 1914 | case X86::VPBROADCASTBYrm: NumElts = 32; break; |
| 1915 | case X86::VPBROADCASTBZ128m: NumElts = 16; break; |
| 1916 | case X86::VPBROADCASTBZ256m: NumElts = 32; break; |
| 1917 | case X86::VPBROADCASTBZm: NumElts = 64; break; |
| 1918 | case X86::VPBROADCASTDrm: NumElts = 4; break; |
| 1919 | case X86::VPBROADCASTDYrm: NumElts = 8; break; |
| 1920 | case X86::VPBROADCASTDZ128m: NumElts = 4; break; |
| 1921 | case X86::VPBROADCASTDZ256m: NumElts = 8; break; |
| 1922 | case X86::VPBROADCASTDZm: NumElts = 16; break; |
| 1923 | case X86::VPBROADCASTQrm: NumElts = 2; break; |
| 1924 | case X86::VPBROADCASTQYrm: NumElts = 4; break; |
| 1925 | case X86::VPBROADCASTQZ128m: NumElts = 2; break; |
| 1926 | case X86::VPBROADCASTQZ256m: NumElts = 4; break; |
| 1927 | case X86::VPBROADCASTQZm: NumElts = 8; break; |
| 1928 | case X86::VPBROADCASTWrm: NumElts = 8; break; |
| 1929 | case X86::VPBROADCASTWYrm: NumElts = 16; break; |
| 1930 | case X86::VPBROADCASTWZ128m: NumElts = 8; break; |
| 1931 | case X86::VPBROADCASTWZ256m: NumElts = 16; break; |
| 1932 | case X86::VPBROADCASTWZm: NumElts = 32; break; |
| 1933 | } |
| 1934 | |
| 1935 | std::string Comment; |
| 1936 | raw_string_ostream CS(Comment); |
| 1937 | const MachineOperand &DstOp = MI->getOperand(0); |
| 1938 | CS << X86ATTInstPrinter::getRegisterName(DstOp.getReg()) << " = "; |
| 1939 | CS << "["; |
| 1940 | for (int i = 0; i != NumElts; ++i) { |
| 1941 | if (i != 0) |
| 1942 | CS << ","; |
| 1943 | printConstant(C, CS); |
| 1944 | } |
| 1945 | CS << "]"; |
| 1946 | OutStreamer->AddComment(CS.str(), !EnablePrintSchedInfo); |
| 1947 | } |
Chandler Carruth | 0b682d4 | 2014-09-24 02:16:12 +0000 | [diff] [blame] | 1948 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 1949 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 1950 | MCInst TmpInst; |
| 1951 | MCInstLowering.Lower(MI, TmpInst); |
Pete Cooper | 3c0af352 | 2014-10-27 19:40:35 +0000 | [diff] [blame] | 1952 | |
| 1953 | // Stackmap shadows cannot include branch targets, so we can count the bytes |
Pete Cooper | 7c801dc | 2014-10-27 22:38:45 +0000 | [diff] [blame] | 1954 | // in a call towards the shadow, but must ensure that the no thread returns |
| 1955 | // in to the stackmap shadow. The only way to achieve this is if the call |
| 1956 | // is at the end of the shadow. |
| 1957 | if (MI->isCall()) { |
| 1958 | // Count then size of the call towards the shadow |
Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 1959 | SMShadowTracker.count(TmpInst, getSubtargetInfo(), CodeEmitter.get()); |
Pete Cooper | 7c801dc | 2014-10-27 22:38:45 +0000 | [diff] [blame] | 1960 | // Then flush the shadow so that we fill with nops before the call, not |
| 1961 | // after it. |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1962 | SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo()); |
Pete Cooper | 7c801dc | 2014-10-27 22:38:45 +0000 | [diff] [blame] | 1963 | // Then emit the call |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1964 | OutStreamer->EmitInstruction(TmpInst, getSubtargetInfo()); |
Pete Cooper | 7c801dc | 2014-10-27 22:38:45 +0000 | [diff] [blame] | 1965 | return; |
| 1966 | } |
| 1967 | |
| 1968 | EmitAndCountInstruction(TmpInst); |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 1969 | } |