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 | |
Chris Lattner | 5159bbaf | 2009-09-20 07:41:30 +0000 | [diff] [blame] | 15 | #include "X86AsmPrinter.h" |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 16 | #include "X86RegisterInfo.h" |
Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 17 | #include "InstPrinter/X86ATTInstPrinter.h" |
Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/X86BaseInfo.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/SmallString.h" |
Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | 05f4039 | 2009-09-16 06:25:03 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/StackMaps.h" |
Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 23 | #include "llvm/IR/DataLayout.h" |
| 24 | #include "llvm/IR/GlobalValue.h" |
Rafael Espindola | 894843c | 2014-01-07 21:19:40 +0000 | [diff] [blame] | 25 | #include "llvm/IR/Mangler.h" |
Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 26 | #include "llvm/MC/MCAsmInfo.h" |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 27 | #include "llvm/MC/MCCodeEmitter.h" |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 28 | #include "llvm/MC/MCContext.h" |
| 29 | #include "llvm/MC/MCExpr.h" |
| 30 | #include "llvm/MC/MCInst.h" |
Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCInstBuilder.h" |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | e397df7 | 2010-03-12 19:42:40 +0000 | [diff] [blame] | 33 | #include "llvm/MC/MCSymbol.h" |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 34 | #include "llvm/Support/TargetRegistry.h" |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 35 | using namespace llvm; |
| 36 | |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 37 | namespace { |
| 38 | |
| 39 | /// X86MCInstLower - This class is used to lower an MachineInstr into an MCInst. |
| 40 | class X86MCInstLower { |
| 41 | MCContext &Ctx; |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 42 | const MachineFunction &MF; |
| 43 | const TargetMachine &TM; |
| 44 | const MCAsmInfo &MAI; |
| 45 | X86AsmPrinter &AsmPrinter; |
| 46 | public: |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 47 | X86MCInstLower(const MachineFunction &MF, X86AsmPrinter &asmprinter); |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 48 | |
| 49 | void Lower(const MachineInstr *MI, MCInst &OutMI) const; |
| 50 | |
| 51 | MCSymbol *GetSymbolFromOperand(const MachineOperand &MO) const; |
| 52 | MCOperand LowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym) const; |
| 53 | |
| 54 | private: |
| 55 | MachineModuleInfoMachO &getMachOMMI() const; |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 56 | Mangler *getMang() const { |
| 57 | return AsmPrinter.Mang; |
| 58 | } |
Craig Topper | 2a3f775 | 2012-10-16 06:01:50 +0000 | [diff] [blame] | 59 | }; |
| 60 | |
| 61 | } // end anonymous namespace |
| 62 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 63 | // Emit a minimal sequence of nops spanning NumBytes bytes. |
| 64 | static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit, |
| 65 | const MCSubtargetInfo &STI); |
| 66 | |
| 67 | namespace llvm { |
| 68 | X86AsmPrinter::StackMapShadowTracker::StackMapShadowTracker(TargetMachine &TM) |
| 69 | : TM(TM), Count(false), RequiredShadowSize(0), CurrentShadowSize(0) {} |
| 70 | |
| 71 | X86AsmPrinter::StackMapShadowTracker::~StackMapShadowTracker() {} |
| 72 | |
| 73 | void |
| 74 | X86AsmPrinter::StackMapShadowTracker::startFunction(MachineFunction &MF) { |
| 75 | CodeEmitter.reset(TM.getTarget().createMCCodeEmitter(*TM.getInstrInfo(), |
| 76 | *TM.getRegisterInfo(), |
| 77 | *TM.getSubtargetImpl(), |
| 78 | MF.getContext())); |
| 79 | } |
| 80 | |
| 81 | void X86AsmPrinter::StackMapShadowTracker::count(MCInst &Inst, |
| 82 | const MCSubtargetInfo &STI) { |
| 83 | if (Count) { |
| 84 | SmallString<256> Code; |
| 85 | SmallVector<MCFixup, 4> Fixups; |
| 86 | raw_svector_ostream VecOS(Code); |
| 87 | CodeEmitter->EncodeInstruction(Inst, VecOS, Fixups, STI); |
| 88 | VecOS.flush(); |
| 89 | CurrentShadowSize += Code.size(); |
| 90 | if (CurrentShadowSize >= RequiredShadowSize) |
| 91 | Count = false; // The shadow is big enough. Stop counting. |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | void X86AsmPrinter::StackMapShadowTracker::emitShadowPadding( |
| 96 | MCStreamer &OutStreamer, const MCSubtargetInfo &STI) { |
| 97 | if (Count && CurrentShadowSize < RequiredShadowSize) |
| 98 | EmitNops(OutStreamer, RequiredShadowSize - CurrentShadowSize, |
| 99 | TM.getSubtarget<X86Subtarget>().is64Bit(), STI); |
| 100 | Count = false; |
| 101 | } |
| 102 | |
| 103 | void X86AsmPrinter::EmitAndCountInstruction(MCInst &Inst) { |
| 104 | OutStreamer.EmitInstruction(Inst, getSubtargetInfo()); |
| 105 | SMShadowTracker.count(Inst, getSubtargetInfo()); |
| 106 | } |
| 107 | } // end llvm namespace |
| 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) |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 111 | : Ctx(mf.getContext()), MF(mf), TM(mf.getTarget()), |
Chris Lattner | 41ff5d4 | 2010-07-20 22:45:33 +0000 | [diff] [blame] | 112 | MAI(*TM.getMCAsmInfo()), 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 { |
Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 123 | const DataLayout *DL = TM.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 | |
Chris Lattner | 35ed98a | 2009-09-11 05:58:44 +0000 | [diff] [blame] | 126 | SmallString<128> Name; |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 127 | StringRef Suffix; |
| 128 | |
| 129 | switch (MO.getTargetFlags()) { |
| 130 | case X86II::MO_DLLIMPORT: |
| 131 | // Handle dllimport linkage. |
| 132 | Name += "__imp_"; |
| 133 | break; |
| 134 | case X86II::MO_DARWIN_STUB: |
| 135 | Suffix = "$stub"; |
| 136 | break; |
| 137 | case X86II::MO_DARWIN_NONLAZY: |
| 138 | case X86II::MO_DARWIN_NONLAZY_PIC_BASE: |
| 139 | case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: |
| 140 | Suffix = "$non_lazy_ptr"; |
| 141 | break; |
| 142 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 143 | |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 144 | if (!Suffix.empty()) |
Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 145 | Name += DL->getPrivateGlobalPrefix(); |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 146 | |
| 147 | unsigned PrefixLen = Name.size(); |
| 148 | |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 149 | if (MO.isGlobal()) { |
Chris Lattner | e397df7 | 2010-03-12 19:42:40 +0000 | [diff] [blame] | 150 | const GlobalValue *GV = MO.getGlobal(); |
Rafael Espindola | daeafb4 | 2014-02-19 17:23:20 +0000 | [diff] [blame] | 151 | AsmPrinter.getNameWithPrefix(Name, GV); |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 152 | } else if (MO.isSymbol()) { |
Rafael Espindola | 3e3a3f1 | 2013-11-28 08:59:52 +0000 | [diff] [blame] | 153 | getMang()->getNameWithPrefix(Name, MO.getSymbolName()); |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 154 | } else if (MO.isMBB()) { |
| 155 | Name += MO.getMBB()->getSymbol()->getName(); |
Chris Lattner | 17ec6b1 | 2009-09-20 06:45:52 +0000 | [diff] [blame] | 156 | } |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 157 | unsigned OrigLen = Name.size() - PrefixLen; |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 158 | |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 159 | Name += Suffix; |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 160 | MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name); |
| 161 | |
| 162 | StringRef OrigName = StringRef(Name).substr(PrefixLen, OrigLen); |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 163 | |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 164 | // If the target flags on the operand changes the name of the symbol, do that |
| 165 | // before we return the symbol. |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 166 | switch (MO.getTargetFlags()) { |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 167 | default: break; |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 168 | case X86II::MO_DARWIN_NONLAZY: |
Chris Lattner | 446d589 | 2009-09-11 06:59:18 +0000 | [diff] [blame] | 169 | case X86II::MO_DARWIN_NONLAZY_PIC_BASE: { |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 170 | MachineModuleInfoImpl::StubValueTy &StubSym = |
| 171 | getMachOMMI().getGVStubEntry(Sym); |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 172 | if (!StubSym.getPointer()) { |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 173 | assert(MO.isGlobal() && "Extern symbol not handled yet"); |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 174 | StubSym = |
| 175 | MachineModuleInfoImpl:: |
Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 176 | StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()), |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 177 | !MO.getGlobal()->hasInternalLinkage()); |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 178 | } |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 179 | break; |
Chris Lattner | 446d589 | 2009-09-11 06:59:18 +0000 | [diff] [blame] | 180 | } |
Chris Lattner | 19a9f42 | 2009-09-11 07:03:20 +0000 | [diff] [blame] | 181 | case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: { |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 182 | MachineModuleInfoImpl::StubValueTy &StubSym = |
| 183 | getMachOMMI().getHiddenGVStubEntry(Sym); |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 184 | if (!StubSym.getPointer()) { |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 185 | assert(MO.isGlobal() && "Extern symbol not handled yet"); |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 186 | StubSym = |
| 187 | MachineModuleInfoImpl:: |
Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 188 | StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()), |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 189 | !MO.getGlobal()->hasInternalLinkage()); |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 190 | } |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 191 | break; |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 192 | } |
| 193 | case X86II::MO_DARWIN_STUB: { |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 194 | MachineModuleInfoImpl::StubValueTy &StubSym = |
| 195 | getMachOMMI().getFnStubEntry(Sym); |
| 196 | if (StubSym.getPointer()) |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 197 | return Sym; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 198 | |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 199 | if (MO.isGlobal()) { |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 200 | StubSym = |
| 201 | MachineModuleInfoImpl:: |
Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 202 | StubValueTy(AsmPrinter.getSymbol(MO.getGlobal()), |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 203 | !MO.getGlobal()->hasInternalLinkage()); |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 204 | } else { |
Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 205 | StubSym = |
| 206 | MachineModuleInfoImpl:: |
Rafael Espindola | 01d19d02 | 2013-12-05 05:19:12 +0000 | [diff] [blame] | 207 | StubValueTy(Ctx.GetOrCreateSymbol(OrigName), false); |
Chris Lattner | 446d589 | 2009-09-11 06:59:18 +0000 | [diff] [blame] | 208 | } |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 209 | break; |
Chris Lattner | 9a7edd6 | 2009-09-11 06:36:33 +0000 | [diff] [blame] | 210 | } |
Chris Lattner | c5a95c5 | 2009-09-09 00:10:14 +0000 | [diff] [blame] | 211 | } |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 212 | |
Rafael Espindola | d5bd5a4 | 2013-11-28 20:12:44 +0000 | [diff] [blame] | 213 | return Sym; |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 214 | } |
| 215 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 216 | MCOperand X86MCInstLower::LowerSymbolOperand(const MachineOperand &MO, |
| 217 | MCSymbol *Sym) const { |
Chris Lattner | c7b0073 | 2009-09-03 07:30:56 +0000 | [diff] [blame] | 218 | // FIXME: We would like an efficient form for this, so we don't have to do a |
| 219 | // lot of extra uniquing. |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 220 | const MCExpr *Expr = nullptr; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 221 | MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 222 | |
Chris Lattner | 6370d56 | 2009-09-03 04:56:20 +0000 | [diff] [blame] | 223 | switch (MO.getTargetFlags()) { |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 224 | default: llvm_unreachable("Unknown target flag on GV operand"); |
| 225 | case X86II::MO_NO_FLAG: // No flag. |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 226 | // These affect the name of the symbol, not any suffix. |
| 227 | case X86II::MO_DARWIN_NONLAZY: |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 228 | case X86II::MO_DLLIMPORT: |
| 229 | case X86II::MO_DARWIN_STUB: |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 230 | break; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 231 | |
Eric Christopher | b0e1a45 | 2010-06-03 04:07:48 +0000 | [diff] [blame] | 232 | case X86II::MO_TLVP: RefKind = MCSymbolRefExpr::VK_TLVP; break; |
| 233 | case X86II::MO_TLVP_PIC_BASE: |
Chris Lattner | 769aedd | 2010-07-14 23:04:59 +0000 | [diff] [blame] | 234 | Expr = MCSymbolRefExpr::Create(Sym, MCSymbolRefExpr::VK_TLVP, Ctx); |
| 235 | // Subtract the pic base. |
| 236 | Expr = MCBinaryExpr::CreateSub(Expr, |
Chris Lattner | 7077efe | 2010-11-14 22:48:15 +0000 | [diff] [blame] | 237 | MCSymbolRefExpr::Create(MF.getPICBaseSymbol(), |
Chris Lattner | 769aedd | 2010-07-14 23:04:59 +0000 | [diff] [blame] | 238 | Ctx), |
| 239 | Ctx); |
| 240 | break; |
Anton Korobeynikov | c6b4017 | 2012-02-11 17:26:53 +0000 | [diff] [blame] | 241 | case X86II::MO_SECREL: RefKind = MCSymbolRefExpr::VK_SECREL; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 242 | case X86II::MO_TLSGD: RefKind = MCSymbolRefExpr::VK_TLSGD; break; |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 243 | case X86II::MO_TLSLD: RefKind = MCSymbolRefExpr::VK_TLSLD; break; |
| 244 | case X86II::MO_TLSLDM: RefKind = MCSymbolRefExpr::VK_TLSLDM; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 245 | case X86II::MO_GOTTPOFF: RefKind = MCSymbolRefExpr::VK_GOTTPOFF; break; |
| 246 | case X86II::MO_INDNTPOFF: RefKind = MCSymbolRefExpr::VK_INDNTPOFF; break; |
| 247 | case X86II::MO_TPOFF: RefKind = MCSymbolRefExpr::VK_TPOFF; break; |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 248 | case X86II::MO_DTPOFF: RefKind = MCSymbolRefExpr::VK_DTPOFF; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 249 | case X86II::MO_NTPOFF: RefKind = MCSymbolRefExpr::VK_NTPOFF; break; |
Hans Wennborg | f9d0e44 | 2012-05-11 10:11:01 +0000 | [diff] [blame] | 250 | case X86II::MO_GOTNTPOFF: RefKind = MCSymbolRefExpr::VK_GOTNTPOFF; break; |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 251 | case X86II::MO_GOTPCREL: RefKind = MCSymbolRefExpr::VK_GOTPCREL; break; |
| 252 | case X86II::MO_GOT: RefKind = MCSymbolRefExpr::VK_GOT; break; |
| 253 | case X86II::MO_GOTOFF: RefKind = MCSymbolRefExpr::VK_GOTOFF; break; |
| 254 | case X86II::MO_PLT: RefKind = MCSymbolRefExpr::VK_PLT; break; |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 255 | case X86II::MO_PIC_BASE_OFFSET: |
| 256 | case X86II::MO_DARWIN_NONLAZY_PIC_BASE: |
| 257 | case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: |
Chris Lattner | 99777dd | 2010-02-08 22:52:47 +0000 | [diff] [blame] | 258 | Expr = MCSymbolRefExpr::Create(Sym, Ctx); |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 259 | // Subtract the pic base. |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 260 | Expr = MCBinaryExpr::CreateSub(Expr, |
Chris Lattner | 7077efe | 2010-11-14 22:48:15 +0000 | [diff] [blame] | 261 | MCSymbolRefExpr::Create(MF.getPICBaseSymbol(), Ctx), |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 262 | Ctx); |
Chris Lattner | 2366d95 | 2010-07-20 22:30:53 +0000 | [diff] [blame] | 263 | if (MO.isJTI() && MAI.hasSetDirective()) { |
Evan Cheng | d0d8e33 | 2010-04-12 23:07:17 +0000 | [diff] [blame] | 264 | // If .set directive is supported, use it to reduce the number of |
| 265 | // relocations the assembler will generate for differences between |
| 266 | // local labels. This is only safe when the symbols are in the same |
| 267 | // section so we are restricting it to jumptable references. |
| 268 | MCSymbol *Label = Ctx.CreateTempSymbol(); |
Chris Lattner | b3f608b | 2010-07-22 21:10:04 +0000 | [diff] [blame] | 269 | AsmPrinter.OutStreamer.EmitAssignment(Label, Expr); |
Evan Cheng | d0d8e33 | 2010-04-12 23:07:17 +0000 | [diff] [blame] | 270 | Expr = MCSymbolRefExpr::Create(Label, Ctx); |
| 271 | } |
Chris Lattner | 954b9cd | 2009-09-03 05:06:07 +0000 | [diff] [blame] | 272 | break; |
Chris Lattner | c7b0073 | 2009-09-03 07:30:56 +0000 | [diff] [blame] | 273 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 274 | |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 275 | if (!Expr) |
Daniel Dunbar | 5599256 | 2010-03-15 23:51:06 +0000 | [diff] [blame] | 276 | Expr = MCSymbolRefExpr::Create(Sym, RefKind, Ctx); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 277 | |
Michael Liao | 6f72061 | 2012-10-17 02:22:27 +0000 | [diff] [blame] | 278 | if (!MO.isJTI() && !MO.isMBB() && MO.getOffset()) |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 279 | Expr = MCBinaryExpr::CreateAdd(Expr, |
| 280 | MCConstantExpr::Create(MO.getOffset(), Ctx), |
| 281 | Ctx); |
Chris Lattner | 5daf619 | 2009-09-03 04:44:53 +0000 | [diff] [blame] | 282 | return MCOperand::CreateExpr(Expr); |
| 283 | } |
| 284 | |
Chris Lattner | 482c5df | 2009-09-11 04:28:13 +0000 | [diff] [blame] | 285 | |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 286 | /// \brief Simplify FOO $imm, %{al,ax,eax,rax} to FOO $imm, for instruction with |
| 287 | /// a short fixed-register form. |
| 288 | static void SimplifyShortImmForm(MCInst &Inst, unsigned Opcode) { |
| 289 | unsigned ImmOp = Inst.getNumOperands() - 1; |
Anton Korobeynikov | c6b4017 | 2012-02-11 17:26:53 +0000 | [diff] [blame] | 290 | assert(Inst.getOperand(0).isReg() && |
| 291 | (Inst.getOperand(ImmOp).isImm() || Inst.getOperand(ImmOp).isExpr()) && |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 292 | ((Inst.getNumOperands() == 3 && Inst.getOperand(1).isReg() && |
| 293 | Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg()) || |
| 294 | Inst.getNumOperands() == 2) && "Unexpected instruction!"); |
| 295 | |
| 296 | // Check whether the destination register can be fixed. |
| 297 | unsigned Reg = Inst.getOperand(0).getReg(); |
| 298 | if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX) |
| 299 | return; |
| 300 | |
| 301 | // If so, rewrite the instruction. |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 302 | MCOperand Saved = Inst.getOperand(ImmOp); |
| 303 | Inst = MCInst(); |
| 304 | Inst.setOpcode(Opcode); |
| 305 | Inst.addOperand(Saved); |
| 306 | } |
| 307 | |
Benjamin Kramer | 068a225 | 2013-07-12 18:06:44 +0000 | [diff] [blame] | 308 | /// \brief If a movsx instruction has a shorter encoding for the used register |
| 309 | /// simplify the instruction to use it instead. |
| 310 | static void SimplifyMOVSX(MCInst &Inst) { |
| 311 | unsigned NewOpcode = 0; |
| 312 | unsigned Op0 = Inst.getOperand(0).getReg(), Op1 = Inst.getOperand(1).getReg(); |
| 313 | switch (Inst.getOpcode()) { |
| 314 | default: |
| 315 | llvm_unreachable("Unexpected instruction!"); |
| 316 | case X86::MOVSX16rr8: // movsbw %al, %ax --> cbtw |
| 317 | if (Op0 == X86::AX && Op1 == X86::AL) |
| 318 | NewOpcode = X86::CBW; |
| 319 | break; |
| 320 | case X86::MOVSX32rr16: // movswl %ax, %eax --> cwtl |
| 321 | if (Op0 == X86::EAX && Op1 == X86::AX) |
| 322 | NewOpcode = X86::CWDE; |
| 323 | break; |
| 324 | case X86::MOVSX64rr32: // movslq %eax, %rax --> cltq |
| 325 | if (Op0 == X86::RAX && Op1 == X86::EAX) |
| 326 | NewOpcode = X86::CDQE; |
| 327 | break; |
| 328 | } |
| 329 | |
| 330 | if (NewOpcode != 0) { |
| 331 | Inst = MCInst(); |
| 332 | Inst.setOpcode(NewOpcode); |
| 333 | } |
| 334 | } |
| 335 | |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 336 | /// \brief Simplify things like MOV32rm to MOV32o32a. |
Eli Friedman | 51ec745 | 2010-08-16 21:03:32 +0000 | [diff] [blame] | 337 | static void SimplifyShortMoveForm(X86AsmPrinter &Printer, MCInst &Inst, |
| 338 | unsigned Opcode) { |
| 339 | // Don't make these simplifications in 64-bit mode; other assemblers don't |
| 340 | // perform them because they make the code larger. |
| 341 | if (Printer.getSubtarget().is64Bit()) |
| 342 | return; |
| 343 | |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 344 | bool IsStore = Inst.getOperand(0).isReg() && Inst.getOperand(1).isReg(); |
| 345 | unsigned AddrBase = IsStore; |
| 346 | unsigned RegOp = IsStore ? 0 : 5; |
| 347 | unsigned AddrOp = AddrBase + 3; |
| 348 | assert(Inst.getNumOperands() == 6 && Inst.getOperand(RegOp).isReg() && |
Manuel Jacob | dcb78db | 2014-03-18 16:14:11 +0000 | [diff] [blame] | 349 | Inst.getOperand(AddrBase + X86::AddrBaseReg).isReg() && |
| 350 | Inst.getOperand(AddrBase + X86::AddrScaleAmt).isImm() && |
| 351 | Inst.getOperand(AddrBase + X86::AddrIndexReg).isReg() && |
| 352 | Inst.getOperand(AddrBase + X86::AddrSegmentReg).isReg() && |
| 353 | (Inst.getOperand(AddrOp).isExpr() || |
| 354 | Inst.getOperand(AddrOp).isImm()) && |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 355 | "Unexpected instruction!"); |
| 356 | |
| 357 | // Check whether the destination register can be fixed. |
| 358 | unsigned Reg = Inst.getOperand(RegOp).getReg(); |
| 359 | if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX) |
| 360 | return; |
| 361 | |
| 362 | // Check whether this is an absolute address. |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 363 | // 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] | 364 | // to do this here. |
| 365 | bool Absolute = true; |
| 366 | if (Inst.getOperand(AddrOp).isExpr()) { |
| 367 | const MCExpr *MCE = Inst.getOperand(AddrOp).getExpr(); |
| 368 | if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(MCE)) |
| 369 | if (SRE->getKind() == MCSymbolRefExpr::VK_TLVP) |
| 370 | Absolute = false; |
| 371 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 372 | |
Eric Christopher | 29b58af | 2010-06-17 00:51:48 +0000 | [diff] [blame] | 373 | if (Absolute && |
Manuel Jacob | dcb78db | 2014-03-18 16:14:11 +0000 | [diff] [blame] | 374 | (Inst.getOperand(AddrBase + X86::AddrBaseReg).getReg() != 0 || |
| 375 | Inst.getOperand(AddrBase + X86::AddrScaleAmt).getImm() != 1 || |
| 376 | Inst.getOperand(AddrBase + X86::AddrIndexReg).getReg() != 0)) |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 377 | return; |
| 378 | |
| 379 | // If so, rewrite the instruction. |
| 380 | MCOperand Saved = Inst.getOperand(AddrOp); |
Manuel Jacob | dcb78db | 2014-03-18 16:14:11 +0000 | [diff] [blame] | 381 | MCOperand Seg = Inst.getOperand(AddrBase + X86::AddrSegmentReg); |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 382 | Inst = MCInst(); |
| 383 | Inst.setOpcode(Opcode); |
| 384 | Inst.addOperand(Saved); |
Craig Topper | a9d2c67 | 2014-01-16 07:57:45 +0000 | [diff] [blame] | 385 | Inst.addOperand(Seg); |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 386 | } |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 387 | |
David Woodhouse | 79dd505 | 2014-01-08 12:58:07 +0000 | [diff] [blame] | 388 | static unsigned getRetOpcode(const X86Subtarget &Subtarget) |
| 389 | { |
| 390 | return Subtarget.is64Bit() ? X86::RETQ : X86::RETL; |
| 391 | } |
| 392 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 393 | void X86MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const { |
| 394 | OutMI.setOpcode(MI->getOpcode()); |
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 | for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { |
| 397 | const MachineOperand &MO = MI->getOperand(i); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 398 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 399 | MCOperand MCOp; |
| 400 | switch (MO.getType()) { |
| 401 | default: |
| 402 | MI->dump(); |
| 403 | llvm_unreachable("unknown operand type"); |
| 404 | case MachineOperand::MO_Register: |
Chris Lattner | 0b4a59f | 2009-10-19 23:35:57 +0000 | [diff] [blame] | 405 | // Ignore all implicit register operands. |
| 406 | if (MO.isImplicit()) continue; |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 407 | MCOp = MCOperand::CreateReg(MO.getReg()); |
| 408 | break; |
| 409 | case MachineOperand::MO_Immediate: |
| 410 | MCOp = MCOperand::CreateImm(MO.getImm()); |
| 411 | break; |
| 412 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 413 | case MachineOperand::MO_GlobalAddress: |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 414 | case MachineOperand::MO_ExternalSymbol: |
Chris Lattner | b3f608b | 2010-07-22 21:10:04 +0000 | [diff] [blame] | 415 | MCOp = LowerSymbolOperand(MO, GetSymbolFromOperand(MO)); |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 416 | break; |
| 417 | case MachineOperand::MO_JumpTableIndex: |
Chris Lattner | b3f608b | 2010-07-22 21:10:04 +0000 | [diff] [blame] | 418 | MCOp = LowerSymbolOperand(MO, AsmPrinter.GetJTISymbol(MO.getIndex())); |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 419 | break; |
| 420 | case MachineOperand::MO_ConstantPoolIndex: |
Chris Lattner | b3f608b | 2010-07-22 21:10:04 +0000 | [diff] [blame] | 421 | MCOp = LowerSymbolOperand(MO, AsmPrinter.GetCPISymbol(MO.getIndex())); |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 422 | break; |
Dan Gohman | f7c4299 | 2009-10-30 01:28:02 +0000 | [diff] [blame] | 423 | case MachineOperand::MO_BlockAddress: |
Chris Lattner | b3f608b | 2010-07-22 21:10:04 +0000 | [diff] [blame] | 424 | MCOp = LowerSymbolOperand(MO, |
| 425 | AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress())); |
Dan Gohman | f7c4299 | 2009-10-30 01:28:02 +0000 | [diff] [blame] | 426 | break; |
Jakob Stoklund Olesen | f1fb1d2 | 2012-01-18 23:52:19 +0000 | [diff] [blame] | 427 | case MachineOperand::MO_RegisterMask: |
| 428 | // Ignore call clobbers. |
| 429 | continue; |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 430 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 431 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 432 | OutMI.addOperand(MCOp); |
| 433 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 434 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 435 | // Handle a few special cases to eliminate operand modifiers. |
Chris Lattner | 626656a | 2010-10-08 03:54:52 +0000 | [diff] [blame] | 436 | ReSimplify: |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 437 | switch (OutMI.getOpcode()) { |
Tim Northover | 6833e3f | 2013-06-10 20:43:49 +0000 | [diff] [blame] | 438 | case X86::LEA64_32r: |
Chris Lattner | f469307 | 2010-07-08 23:46:44 +0000 | [diff] [blame] | 439 | case X86::LEA64r: |
| 440 | case X86::LEA16r: |
| 441 | case X86::LEA32r: |
| 442 | // LEA should have a segment register, but it must be empty. |
| 443 | assert(OutMI.getNumOperands() == 1+X86::AddrNumOperands && |
| 444 | "Unexpected # of LEA operands"); |
| 445 | assert(OutMI.getOperand(1+X86::AddrSegmentReg).getReg() == 0 && |
| 446 | "LEA has segment specified!"); |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 447 | break; |
Chris Lattner | e96d534 | 2010-02-05 21:30:49 +0000 | [diff] [blame] | 448 | |
Tim Northover | 3a1fd4c | 2013-06-01 09:55:14 +0000 | [diff] [blame] | 449 | case X86::MOV32ri64: |
| 450 | OutMI.setOpcode(X86::MOV32ri); |
| 451 | break; |
| 452 | |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 453 | // Commute operands to get a smaller encoding by using VEX.R instead of VEX.B |
| 454 | // if one of the registers is extended, but other isn't. |
| 455 | case X86::VMOVAPDrr: |
| 456 | case X86::VMOVAPDYrr: |
| 457 | case X86::VMOVAPSrr: |
| 458 | case X86::VMOVAPSYrr: |
| 459 | case X86::VMOVDQArr: |
| 460 | case X86::VMOVDQAYrr: |
| 461 | case X86::VMOVDQUrr: |
| 462 | case X86::VMOVDQUYrr: |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 463 | case X86::VMOVUPDrr: |
| 464 | case X86::VMOVUPDYrr: |
| 465 | case X86::VMOVUPSrr: |
| 466 | case X86::VMOVUPSYrr: { |
Craig Topper | 612f7bf | 2013-03-16 03:44:31 +0000 | [diff] [blame] | 467 | if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) && |
| 468 | X86II::isX86_64ExtendedReg(OutMI.getOperand(1).getReg())) { |
| 469 | unsigned NewOpc; |
| 470 | switch (OutMI.getOpcode()) { |
| 471 | default: llvm_unreachable("Invalid opcode"); |
| 472 | case X86::VMOVAPDrr: NewOpc = X86::VMOVAPDrr_REV; break; |
| 473 | case X86::VMOVAPDYrr: NewOpc = X86::VMOVAPDYrr_REV; break; |
| 474 | case X86::VMOVAPSrr: NewOpc = X86::VMOVAPSrr_REV; break; |
| 475 | case X86::VMOVAPSYrr: NewOpc = X86::VMOVAPSYrr_REV; break; |
| 476 | case X86::VMOVDQArr: NewOpc = X86::VMOVDQArr_REV; break; |
| 477 | case X86::VMOVDQAYrr: NewOpc = X86::VMOVDQAYrr_REV; break; |
| 478 | case X86::VMOVDQUrr: NewOpc = X86::VMOVDQUrr_REV; break; |
| 479 | case X86::VMOVDQUYrr: NewOpc = X86::VMOVDQUYrr_REV; break; |
| 480 | case X86::VMOVUPDrr: NewOpc = X86::VMOVUPDrr_REV; break; |
| 481 | case X86::VMOVUPDYrr: NewOpc = X86::VMOVUPDYrr_REV; break; |
| 482 | case X86::VMOVUPSrr: NewOpc = X86::VMOVUPSrr_REV; break; |
| 483 | case X86::VMOVUPSYrr: NewOpc = X86::VMOVUPSYrr_REV; break; |
| 484 | } |
| 485 | OutMI.setOpcode(NewOpc); |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 486 | } |
Craig Topper | 612f7bf | 2013-03-16 03:44:31 +0000 | [diff] [blame] | 487 | break; |
| 488 | } |
| 489 | case X86::VMOVSDrr: |
| 490 | case X86::VMOVSSrr: { |
| 491 | if (!X86II::isX86_64ExtendedReg(OutMI.getOperand(0).getReg()) && |
| 492 | X86II::isX86_64ExtendedReg(OutMI.getOperand(2).getReg())) { |
| 493 | unsigned NewOpc; |
| 494 | switch (OutMI.getOpcode()) { |
| 495 | default: llvm_unreachable("Invalid opcode"); |
| 496 | case X86::VMOVSDrr: NewOpc = X86::VMOVSDrr_REV; break; |
| 497 | case X86::VMOVSSrr: NewOpc = X86::VMOVSSrr_REV; break; |
| 498 | } |
| 499 | OutMI.setOpcode(NewOpc); |
| 500 | } |
Craig Topper | a66d81d | 2013-03-14 07:09:57 +0000 | [diff] [blame] | 501 | break; |
| 502 | } |
| 503 | |
Jakob Stoklund Olesen | 97e3115 | 2012-02-16 17:56:02 +0000 | [diff] [blame] | 504 | // TAILJMPr64, CALL64r, CALL64pcrel32 - These instructions have register |
| 505 | // inputs modeled as normal uses instead of implicit uses. As such, truncate |
| 506 | // off all but the first operand (the callee). FIXME: Change isel. |
Daniel Dunbar | b243dfb | 2010-05-19 08:07:12 +0000 | [diff] [blame] | 507 | case X86::TAILJMPr64: |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 508 | case X86::CALL64r: |
Jakob Stoklund Olesen | 97e3115 | 2012-02-16 17:56:02 +0000 | [diff] [blame] | 509 | case X86::CALL64pcrel32: { |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 510 | unsigned Opcode = OutMI.getOpcode(); |
Chris Lattner | 9f46539 | 2010-05-18 21:40:18 +0000 | [diff] [blame] | 511 | MCOperand Saved = OutMI.getOperand(0); |
| 512 | OutMI = MCInst(); |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 513 | OutMI.setOpcode(Opcode); |
Chris Lattner | 9f46539 | 2010-05-18 21:40:18 +0000 | [diff] [blame] | 514 | OutMI.addOperand(Saved); |
| 515 | break; |
| 516 | } |
Daniel Dunbar | 45ace40 | 2010-05-19 04:31:36 +0000 | [diff] [blame] | 517 | |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 518 | case X86::EH_RETURN: |
| 519 | case X86::EH_RETURN64: { |
| 520 | OutMI = MCInst(); |
David Woodhouse | 79dd505 | 2014-01-08 12:58:07 +0000 | [diff] [blame] | 521 | OutMI.setOpcode(getRetOpcode(AsmPrinter.getSubtarget())); |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 522 | break; |
| 523 | } |
| 524 | |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 525 | // TAILJMPd, TAILJMPd64 - Lower to the correct jump instructions. |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 526 | case X86::TAILJMPr: |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 527 | case X86::TAILJMPd: |
| 528 | case X86::TAILJMPd64: { |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 529 | unsigned Opcode; |
| 530 | switch (OutMI.getOpcode()) { |
Craig Topper | 4ed7278 | 2012-02-05 05:38:58 +0000 | [diff] [blame] | 531 | default: llvm_unreachable("Invalid opcode"); |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 532 | case X86::TAILJMPr: Opcode = X86::JMP32r; break; |
| 533 | case X86::TAILJMPd: |
| 534 | case X86::TAILJMPd64: Opcode = X86::JMP_1; break; |
| 535 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 536 | |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 537 | MCOperand Saved = OutMI.getOperand(0); |
| 538 | OutMI = MCInst(); |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 539 | OutMI.setOpcode(Opcode); |
Daniel Dunbar | d2f78e7 | 2010-05-19 15:26:43 +0000 | [diff] [blame] | 540 | OutMI.addOperand(Saved); |
| 541 | break; |
| 542 | } |
| 543 | |
Chris Lattner | 626656a | 2010-10-08 03:54:52 +0000 | [diff] [blame] | 544 | // These are pseudo-ops for OR to help with the OR->ADD transformation. We do |
| 545 | // this with an ugly goto in case the resultant OR uses EAX and needs the |
| 546 | // short form. |
Chris Lattner | dd77477 | 2010-10-08 03:57:25 +0000 | [diff] [blame] | 547 | case X86::ADD16rr_DB: OutMI.setOpcode(X86::OR16rr); goto ReSimplify; |
| 548 | case X86::ADD32rr_DB: OutMI.setOpcode(X86::OR32rr); goto ReSimplify; |
| 549 | case X86::ADD64rr_DB: OutMI.setOpcode(X86::OR64rr); goto ReSimplify; |
| 550 | case X86::ADD16ri_DB: OutMI.setOpcode(X86::OR16ri); goto ReSimplify; |
| 551 | case X86::ADD32ri_DB: OutMI.setOpcode(X86::OR32ri); goto ReSimplify; |
| 552 | case X86::ADD64ri32_DB: OutMI.setOpcode(X86::OR64ri32); goto ReSimplify; |
| 553 | case X86::ADD16ri8_DB: OutMI.setOpcode(X86::OR16ri8); goto ReSimplify; |
| 554 | case X86::ADD32ri8_DB: OutMI.setOpcode(X86::OR32ri8); goto ReSimplify; |
| 555 | case X86::ADD64ri8_DB: OutMI.setOpcode(X86::OR64ri8); goto ReSimplify; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 556 | |
Chris Lattner | 28aae17 | 2010-03-14 17:04:18 +0000 | [diff] [blame] | 557 | // The assembler backend wants to see branches in their small form and relax |
| 558 | // them to their large form. The JIT can only handle the large form because |
Chris Lattner | 87dd2d6 | 2010-03-14 17:10:52 +0000 | [diff] [blame] | 559 | // it does not do relaxation. For now, translate the large form to the |
Chris Lattner | 28aae17 | 2010-03-14 17:04:18 +0000 | [diff] [blame] | 560 | // small one here. |
| 561 | case X86::JMP_4: OutMI.setOpcode(X86::JMP_1); break; |
| 562 | case X86::JO_4: OutMI.setOpcode(X86::JO_1); break; |
| 563 | case X86::JNO_4: OutMI.setOpcode(X86::JNO_1); break; |
| 564 | case X86::JB_4: OutMI.setOpcode(X86::JB_1); break; |
| 565 | case X86::JAE_4: OutMI.setOpcode(X86::JAE_1); break; |
| 566 | case X86::JE_4: OutMI.setOpcode(X86::JE_1); break; |
| 567 | case X86::JNE_4: OutMI.setOpcode(X86::JNE_1); break; |
| 568 | case X86::JBE_4: OutMI.setOpcode(X86::JBE_1); break; |
| 569 | case X86::JA_4: OutMI.setOpcode(X86::JA_1); break; |
| 570 | case X86::JS_4: OutMI.setOpcode(X86::JS_1); break; |
| 571 | case X86::JNS_4: OutMI.setOpcode(X86::JNS_1); break; |
| 572 | case X86::JP_4: OutMI.setOpcode(X86::JP_1); break; |
| 573 | case X86::JNP_4: OutMI.setOpcode(X86::JNP_1); break; |
| 574 | case X86::JL_4: OutMI.setOpcode(X86::JL_1); break; |
| 575 | case X86::JGE_4: OutMI.setOpcode(X86::JGE_1); break; |
| 576 | case X86::JLE_4: OutMI.setOpcode(X86::JLE_1); break; |
| 577 | case X86::JG_4: OutMI.setOpcode(X86::JG_1); break; |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 578 | |
Eli Friedman | 02f2f89 | 2011-09-07 18:48:32 +0000 | [diff] [blame] | 579 | // Atomic load and store require a separate pseudo-inst because Acquire |
| 580 | // implies mayStore and Release implies mayLoad; fix these to regular MOV |
| 581 | // instructions here |
| 582 | case X86::ACQUIRE_MOV8rm: OutMI.setOpcode(X86::MOV8rm); goto ReSimplify; |
| 583 | case X86::ACQUIRE_MOV16rm: OutMI.setOpcode(X86::MOV16rm); goto ReSimplify; |
| 584 | case X86::ACQUIRE_MOV32rm: OutMI.setOpcode(X86::MOV32rm); goto ReSimplify; |
| 585 | case X86::ACQUIRE_MOV64rm: OutMI.setOpcode(X86::MOV64rm); goto ReSimplify; |
| 586 | case X86::RELEASE_MOV8mr: OutMI.setOpcode(X86::MOV8mr); goto ReSimplify; |
| 587 | case X86::RELEASE_MOV16mr: OutMI.setOpcode(X86::MOV16mr); goto ReSimplify; |
| 588 | case X86::RELEASE_MOV32mr: OutMI.setOpcode(X86::MOV32mr); goto ReSimplify; |
| 589 | case X86::RELEASE_MOV64mr: OutMI.setOpcode(X86::MOV64mr); goto ReSimplify; |
| 590 | |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 591 | // We don't currently select the correct instruction form for instructions |
| 592 | // which have a short %eax, etc. form. Handle this by custom lowering, for |
| 593 | // now. |
| 594 | // |
| 595 | // Note, we are currently not handling the following instructions: |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 596 | // MOV64ao8, MOV64o8a |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 597 | // XCHG16ar, XCHG32ar, XCHG64ar |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 598 | case X86::MOV8mr_NOREX: |
Eli Friedman | 51ec745 | 2010-08-16 21:03:32 +0000 | [diff] [blame] | 599 | case X86::MOV8mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8ao8); break; |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 600 | case X86::MOV8rm_NOREX: |
Eli Friedman | 51ec745 | 2010-08-16 21:03:32 +0000 | [diff] [blame] | 601 | case X86::MOV8rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8o8a); break; |
| 602 | case X86::MOV16mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16ao16); break; |
| 603 | case X86::MOV16rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16o16a); break; |
| 604 | case X86::MOV32mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32ao32); break; |
| 605 | case X86::MOV32rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32o32a); break; |
Daniel Dunbar | 4f6c7c6 | 2010-05-19 06:20:44 +0000 | [diff] [blame] | 606 | |
Daniel Dunbar | a4820fc | 2010-05-18 17:22:24 +0000 | [diff] [blame] | 607 | case X86::ADC8ri: SimplifyShortImmForm(OutMI, X86::ADC8i8); break; |
| 608 | case X86::ADC16ri: SimplifyShortImmForm(OutMI, X86::ADC16i16); break; |
| 609 | case X86::ADC32ri: SimplifyShortImmForm(OutMI, X86::ADC32i32); break; |
| 610 | case X86::ADC64ri32: SimplifyShortImmForm(OutMI, X86::ADC64i32); break; |
| 611 | case X86::ADD8ri: SimplifyShortImmForm(OutMI, X86::ADD8i8); break; |
| 612 | case X86::ADD16ri: SimplifyShortImmForm(OutMI, X86::ADD16i16); break; |
| 613 | case X86::ADD32ri: SimplifyShortImmForm(OutMI, X86::ADD32i32); break; |
| 614 | case X86::ADD64ri32: SimplifyShortImmForm(OutMI, X86::ADD64i32); break; |
| 615 | case X86::AND8ri: SimplifyShortImmForm(OutMI, X86::AND8i8); break; |
| 616 | case X86::AND16ri: SimplifyShortImmForm(OutMI, X86::AND16i16); break; |
| 617 | case X86::AND32ri: SimplifyShortImmForm(OutMI, X86::AND32i32); break; |
| 618 | case X86::AND64ri32: SimplifyShortImmForm(OutMI, X86::AND64i32); break; |
| 619 | case X86::CMP8ri: SimplifyShortImmForm(OutMI, X86::CMP8i8); break; |
| 620 | case X86::CMP16ri: SimplifyShortImmForm(OutMI, X86::CMP16i16); break; |
| 621 | case X86::CMP32ri: SimplifyShortImmForm(OutMI, X86::CMP32i32); break; |
| 622 | case X86::CMP64ri32: SimplifyShortImmForm(OutMI, X86::CMP64i32); break; |
| 623 | case X86::OR8ri: SimplifyShortImmForm(OutMI, X86::OR8i8); break; |
| 624 | case X86::OR16ri: SimplifyShortImmForm(OutMI, X86::OR16i16); break; |
| 625 | case X86::OR32ri: SimplifyShortImmForm(OutMI, X86::OR32i32); break; |
| 626 | case X86::OR64ri32: SimplifyShortImmForm(OutMI, X86::OR64i32); break; |
| 627 | case X86::SBB8ri: SimplifyShortImmForm(OutMI, X86::SBB8i8); break; |
| 628 | case X86::SBB16ri: SimplifyShortImmForm(OutMI, X86::SBB16i16); break; |
| 629 | case X86::SBB32ri: SimplifyShortImmForm(OutMI, X86::SBB32i32); break; |
| 630 | case X86::SBB64ri32: SimplifyShortImmForm(OutMI, X86::SBB64i32); break; |
| 631 | case X86::SUB8ri: SimplifyShortImmForm(OutMI, X86::SUB8i8); break; |
| 632 | case X86::SUB16ri: SimplifyShortImmForm(OutMI, X86::SUB16i16); break; |
| 633 | case X86::SUB32ri: SimplifyShortImmForm(OutMI, X86::SUB32i32); break; |
| 634 | case X86::SUB64ri32: SimplifyShortImmForm(OutMI, X86::SUB64i32); break; |
| 635 | case X86::TEST8ri: SimplifyShortImmForm(OutMI, X86::TEST8i8); break; |
| 636 | case X86::TEST16ri: SimplifyShortImmForm(OutMI, X86::TEST16i16); break; |
| 637 | case X86::TEST32ri: SimplifyShortImmForm(OutMI, X86::TEST32i32); break; |
| 638 | case X86::TEST64ri32: SimplifyShortImmForm(OutMI, X86::TEST64i32); break; |
| 639 | case X86::XOR8ri: SimplifyShortImmForm(OutMI, X86::XOR8i8); break; |
| 640 | case X86::XOR16ri: SimplifyShortImmForm(OutMI, X86::XOR16i16); break; |
| 641 | case X86::XOR32ri: SimplifyShortImmForm(OutMI, X86::XOR32i32); break; |
| 642 | case X86::XOR64ri32: SimplifyShortImmForm(OutMI, X86::XOR64i32); break; |
Rafael Espindola | 66393c1 | 2011-10-26 21:12:27 +0000 | [diff] [blame] | 643 | |
Benjamin Kramer | 068a225 | 2013-07-12 18:06:44 +0000 | [diff] [blame] | 644 | // Try to shrink some forms of movsx. |
| 645 | case X86::MOVSX16rr8: |
| 646 | case X86::MOVSX32rr16: |
| 647 | case X86::MOVSX64rr32: |
| 648 | SimplifyMOVSX(OutMI); |
| 649 | break; |
Rafael Espindola | 66393c1 | 2011-10-26 21:12:27 +0000 | [diff] [blame] | 650 | } |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 651 | } |
| 652 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 653 | void X86AsmPrinter::LowerTlsAddr(X86MCInstLower &MCInstLowering, |
| 654 | const MachineInstr &MI) { |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 655 | |
| 656 | bool is64Bits = MI.getOpcode() == X86::TLS_addr64 || |
| 657 | MI.getOpcode() == X86::TLS_base_addr64; |
| 658 | |
| 659 | bool needsPadding = MI.getOpcode() == X86::TLS_addr64; |
| 660 | |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 661 | MCContext &context = OutStreamer.getContext(); |
| 662 | |
Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 663 | if (needsPadding) |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 664 | EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX)); |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 665 | |
| 666 | MCSymbolRefExpr::VariantKind SRVK; |
| 667 | switch (MI.getOpcode()) { |
| 668 | case X86::TLS_addr32: |
| 669 | case X86::TLS_addr64: |
| 670 | SRVK = MCSymbolRefExpr::VK_TLSGD; |
| 671 | break; |
| 672 | case X86::TLS_base_addr32: |
| 673 | SRVK = MCSymbolRefExpr::VK_TLSLDM; |
| 674 | break; |
| 675 | case X86::TLS_base_addr64: |
| 676 | SRVK = MCSymbolRefExpr::VK_TLSLD; |
| 677 | break; |
| 678 | default: |
| 679 | llvm_unreachable("unexpected opcode"); |
| 680 | } |
| 681 | |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 682 | MCSymbol *sym = MCInstLowering.GetSymbolFromOperand(MI.getOperand(3)); |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 683 | const MCSymbolRefExpr *symRef = MCSymbolRefExpr::Create(sym, SRVK, context); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 684 | |
| 685 | MCInst LEA; |
| 686 | if (is64Bits) { |
| 687 | LEA.setOpcode(X86::LEA64r); |
| 688 | LEA.addOperand(MCOperand::CreateReg(X86::RDI)); // dest |
| 689 | LEA.addOperand(MCOperand::CreateReg(X86::RIP)); // base |
| 690 | LEA.addOperand(MCOperand::CreateImm(1)); // scale |
| 691 | LEA.addOperand(MCOperand::CreateReg(0)); // index |
| 692 | LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp |
| 693 | LEA.addOperand(MCOperand::CreateReg(0)); // seg |
Rafael Espindola | 55d1145 | 2012-06-07 18:39:19 +0000 | [diff] [blame] | 694 | } else if (SRVK == MCSymbolRefExpr::VK_TLSLDM) { |
| 695 | LEA.setOpcode(X86::LEA32r); |
| 696 | LEA.addOperand(MCOperand::CreateReg(X86::EAX)); // dest |
| 697 | LEA.addOperand(MCOperand::CreateReg(X86::EBX)); // base |
| 698 | LEA.addOperand(MCOperand::CreateImm(1)); // scale |
| 699 | LEA.addOperand(MCOperand::CreateReg(0)); // index |
| 700 | LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp |
| 701 | LEA.addOperand(MCOperand::CreateReg(0)); // seg |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 702 | } else { |
| 703 | LEA.setOpcode(X86::LEA32r); |
| 704 | LEA.addOperand(MCOperand::CreateReg(X86::EAX)); // dest |
| 705 | LEA.addOperand(MCOperand::CreateReg(0)); // base |
| 706 | LEA.addOperand(MCOperand::CreateImm(1)); // scale |
| 707 | LEA.addOperand(MCOperand::CreateReg(X86::EBX)); // index |
| 708 | LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp |
| 709 | LEA.addOperand(MCOperand::CreateReg(0)); // seg |
| 710 | } |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 711 | EmitAndCountInstruction(LEA); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 712 | |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 713 | if (needsPadding) { |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 714 | EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX)); |
| 715 | EmitAndCountInstruction(MCInstBuilder(X86::DATA16_PREFIX)); |
| 716 | EmitAndCountInstruction(MCInstBuilder(X86::REX64_PREFIX)); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 717 | } |
| 718 | |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 719 | StringRef name = is64Bits ? "__tls_get_addr" : "___tls_get_addr"; |
| 720 | MCSymbol *tlsGetAddr = context.GetOrCreateSymbol(name); |
| 721 | const MCSymbolRefExpr *tlsRef = |
| 722 | MCSymbolRefExpr::Create(tlsGetAddr, |
| 723 | MCSymbolRefExpr::VK_PLT, |
| 724 | context); |
| 725 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 726 | EmitAndCountInstruction(MCInstBuilder(is64Bits ? X86::CALL64pcrel32 |
| 727 | : X86::CALLpcrel32) |
| 728 | .addExpr(tlsRef)); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 729 | } |
Devang Patel | 50c9431 | 2010-04-28 01:39:28 +0000 | [diff] [blame] | 730 | |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 731 | /// \brief Emit the optimal amount of multi-byte nops on X86. |
David Woodhouse | e6c13e4 | 2014-01-28 23:12:42 +0000 | [diff] [blame] | 732 | static void EmitNops(MCStreamer &OS, unsigned NumBytes, bool Is64Bit, const MCSubtargetInfo &STI) { |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 733 | // This works only for 64bit. For 32bit we have to do additional checking if |
| 734 | // the CPU supports multi-byte nops. |
| 735 | assert(Is64Bit && "EmitNops only supports X86-64"); |
| 736 | while (NumBytes) { |
| 737 | unsigned Opc, BaseReg, ScaleVal, IndexReg, Displacement, SegmentReg; |
| 738 | Opc = IndexReg = Displacement = SegmentReg = 0; |
| 739 | BaseReg = X86::RAX; ScaleVal = 1; |
| 740 | switch (NumBytes) { |
| 741 | case 0: llvm_unreachable("Zero nops?"); break; |
| 742 | case 1: NumBytes -= 1; Opc = X86::NOOP; break; |
| 743 | case 2: NumBytes -= 2; Opc = X86::XCHG16ar; break; |
| 744 | case 3: NumBytes -= 3; Opc = X86::NOOPL; break; |
| 745 | case 4: NumBytes -= 4; Opc = X86::NOOPL; Displacement = 8; break; |
| 746 | case 5: NumBytes -= 5; Opc = X86::NOOPL; Displacement = 8; |
| 747 | IndexReg = X86::RAX; break; |
| 748 | case 6: NumBytes -= 6; Opc = X86::NOOPW; Displacement = 8; |
| 749 | IndexReg = X86::RAX; break; |
| 750 | case 7: NumBytes -= 7; Opc = X86::NOOPL; Displacement = 512; break; |
| 751 | case 8: NumBytes -= 8; Opc = X86::NOOPL; Displacement = 512; |
| 752 | IndexReg = X86::RAX; break; |
| 753 | case 9: NumBytes -= 9; Opc = X86::NOOPW; Displacement = 512; |
| 754 | IndexReg = X86::RAX; break; |
| 755 | default: NumBytes -= 10; Opc = X86::NOOPW; Displacement = 512; |
| 756 | IndexReg = X86::RAX; SegmentReg = X86::CS; break; |
| 757 | } |
| 758 | |
| 759 | unsigned NumPrefixes = std::min(NumBytes, 5U); |
| 760 | NumBytes -= NumPrefixes; |
| 761 | for (unsigned i = 0; i != NumPrefixes; ++i) |
| 762 | OS.EmitBytes("\x66"); |
| 763 | |
| 764 | switch (Opc) { |
| 765 | default: llvm_unreachable("Unexpected opcode"); break; |
| 766 | case X86::NOOP: |
David Woodhouse | e6c13e4 | 2014-01-28 23:12:42 +0000 | [diff] [blame] | 767 | OS.EmitInstruction(MCInstBuilder(Opc), STI); |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 768 | break; |
| 769 | case X86::XCHG16ar: |
David Woodhouse | e6c13e4 | 2014-01-28 23:12:42 +0000 | [diff] [blame] | 770 | OS.EmitInstruction(MCInstBuilder(Opc).addReg(X86::AX), STI); |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 771 | break; |
| 772 | case X86::NOOPL: |
| 773 | case X86::NOOPW: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 774 | OS.EmitInstruction(MCInstBuilder(Opc).addReg(BaseReg) |
| 775 | .addImm(ScaleVal).addReg(IndexReg) |
| 776 | .addImm(Displacement).addReg(SegmentReg), STI); |
Juergen Ributzka | 17e0d9e | 2013-12-04 00:39:08 +0000 | [diff] [blame] | 777 | break; |
| 778 | } |
| 779 | } // while (NumBytes) |
| 780 | } |
| 781 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 782 | // Lower a stackmap of the form: |
| 783 | // <id>, <shadowBytes>, ... |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 784 | void X86AsmPrinter::LowerSTACKMAP(const MachineInstr &MI) { |
| 785 | SMShadowTracker.emitShadowPadding(OutStreamer, getSubtargetInfo()); |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 786 | SM.recordStackMap(MI); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 787 | unsigned NumShadowBytes = MI.getOperand(1).getImm(); |
| 788 | SMShadowTracker.reset(NumShadowBytes); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 789 | } |
| 790 | |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 791 | // Lower a patchpoint of the form: |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 792 | // [<def>], <id>, <numBytes>, <target>, <numArgs>, <cc>, ... |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 793 | void X86AsmPrinter::LowerPATCHPOINT(const MachineInstr &MI) { |
| 794 | assert(Subtarget->is64Bit() && "Patchpoint currently only supports X86-64"); |
| 795 | |
| 796 | SMShadowTracker.emitShadowPadding(OutStreamer, getSubtargetInfo()); |
| 797 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 798 | SM.recordPatchPoint(MI); |
Juergen Ributzka | 9969d3e | 2013-11-08 23:28:16 +0000 | [diff] [blame] | 799 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 800 | PatchPointOpers opers(&MI); |
| 801 | unsigned ScratchIdx = opers.getNextScratchIdx(); |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 802 | unsigned EncodedBytes = 0; |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 803 | int64_t CallTarget = opers.getMetaOper(PatchPointOpers::TargetPos).getImm(); |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 804 | if (CallTarget) { |
| 805 | // Emit MOV to materialize the target address and the CALL to target. |
| 806 | // 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] | 807 | unsigned ScratchReg = MI.getOperand(ScratchIdx).getReg(); |
| 808 | if (X86II::isX86_64ExtendedReg(ScratchReg)) |
| 809 | EncodedBytes = 13; |
| 810 | else |
| 811 | EncodedBytes = 12; |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 812 | EmitAndCountInstruction(MCInstBuilder(X86::MOV64ri).addReg(ScratchReg) |
| 813 | .addImm(CallTarget)); |
| 814 | EmitAndCountInstruction(MCInstBuilder(X86::CALL64r).addReg(ScratchReg)); |
Andrew Trick | 561f221 | 2013-11-14 06:54:10 +0000 | [diff] [blame] | 815 | } |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 816 | // Emit padding. |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 817 | unsigned NumBytes = opers.getMetaOper(PatchPointOpers::NBytesPos).getImm(); |
| 818 | assert(NumBytes >= EncodedBytes && |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 819 | "Patchpoint can't request size less than the length of a call."); |
| 820 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 821 | EmitNops(OutStreamer, NumBytes - EncodedBytes, Subtarget->is64Bit(), |
| 822 | getSubtargetInfo()); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 823 | } |
| 824 | |
Chris Lattner | 94a946c | 2010-01-28 01:02:27 +0000 | [diff] [blame] | 825 | void X86AsmPrinter::EmitInstruction(const MachineInstr *MI) { |
Rafael Espindola | 38c2e65 | 2013-10-29 16:11:22 +0000 | [diff] [blame] | 826 | X86MCInstLower MCInstLowering(*MF, *this); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 827 | const X86RegisterInfo *RI = |
| 828 | static_cast<const X86RegisterInfo *>(TM.getRegisterInfo()); |
| 829 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 830 | switch (MI->getOpcode()) { |
Dale Johannesen | b36c709 | 2010-04-06 22:45:26 +0000 | [diff] [blame] | 831 | case TargetOpcode::DBG_VALUE: |
David Blaikie | b735b4d | 2013-06-16 20:34:27 +0000 | [diff] [blame] | 832 | llvm_unreachable("Should be handled target independently"); |
Dale Johannesen | 5d7f0a0 | 2010-04-07 01:15:14 +0000 | [diff] [blame] | 833 | |
Eric Christopher | 4abffad | 2010-08-05 18:34:30 +0000 | [diff] [blame] | 834 | // Emit nothing here but a comment if we can. |
| 835 | case X86::Int_MemBarrier: |
Rafael Espindola | 0b69481 | 2014-01-16 16:28:37 +0000 | [diff] [blame] | 836 | OutStreamer.emitRawComment("MEMBARRIER"); |
Eric Christopher | 4abffad | 2010-08-05 18:34:30 +0000 | [diff] [blame] | 837 | return; |
Owen Anderson | 0ca562e | 2011-10-04 23:26:17 +0000 | [diff] [blame] | 838 | |
Rafael Espindola | d94f3b4 | 2010-10-26 18:09:55 +0000 | [diff] [blame] | 839 | |
| 840 | case X86::EH_RETURN: |
| 841 | case X86::EH_RETURN64: { |
| 842 | // Lower these as normal, but add some comments. |
| 843 | unsigned Reg = MI->getOperand(0).getReg(); |
| 844 | OutStreamer.AddComment(StringRef("eh_return, addr: %") + |
| 845 | X86ATTInstPrinter::getRegisterName(Reg)); |
| 846 | break; |
| 847 | } |
Chris Lattner | 88c1856 | 2010-07-09 00:49:41 +0000 | [diff] [blame] | 848 | case X86::TAILJMPr: |
| 849 | case X86::TAILJMPd: |
| 850 | case X86::TAILJMPd64: |
| 851 | // Lower these as normal, but add some comments. |
| 852 | OutStreamer.AddComment("TAILCALL"); |
| 853 | break; |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 854 | |
| 855 | case X86::TLS_addr32: |
| 856 | case X86::TLS_addr64: |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 857 | case X86::TLS_base_addr32: |
| 858 | case X86::TLS_base_addr64: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 859 | return LowerTlsAddr(MCInstLowering, *MI); |
Rafael Espindola | c477479 | 2010-11-28 21:16:39 +0000 | [diff] [blame] | 860 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 861 | case X86::MOVPC32r: { |
| 862 | // This is a pseudo op for a two instruction sequence with a label, which |
| 863 | // looks like: |
| 864 | // call "L1$pb" |
| 865 | // "L1$pb": |
| 866 | // popl %esi |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 867 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 868 | // Emit the call. |
Chris Lattner | 7077efe | 2010-11-14 22:48:15 +0000 | [diff] [blame] | 869 | MCSymbol *PICBase = MF->getPICBaseSymbol(); |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 870 | // FIXME: We would like an efficient form for this, so we don't have to do a |
| 871 | // lot of extra uniquing. |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 872 | EmitAndCountInstruction(MCInstBuilder(X86::CALLpcrel32) |
Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 873 | .addExpr(MCSymbolRefExpr::Create(PICBase, OutContext))); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 874 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 875 | // Emit the label. |
| 876 | OutStreamer.EmitLabel(PICBase); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 877 | |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 878 | // popl $reg |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 879 | EmitAndCountInstruction(MCInstBuilder(X86::POP32r) |
| 880 | .addReg(MI->getOperand(0).getReg())); |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 881 | return; |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 882 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 883 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 884 | case X86::ADD32ri: { |
| 885 | // Lower the MO_GOT_ABSOLUTE_ADDRESS form of ADD32ri. |
| 886 | if (MI->getOperand(2).getTargetFlags() != X86II::MO_GOT_ABSOLUTE_ADDRESS) |
| 887 | break; |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 888 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 889 | // Okay, we have something like: |
| 890 | // EAX = ADD32ri EAX, MO_GOT_ABSOLUTE_ADDRESS(@MYGLOBAL) |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 891 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 892 | // For this, we want to print something like: |
| 893 | // MYGLOBAL + (. - PICBASE) |
| 894 | // 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] | 895 | // to it. |
Chris Lattner | aed00fa | 2010-03-17 05:41:18 +0000 | [diff] [blame] | 896 | MCSymbol *DotSym = OutContext.CreateTempSymbol(); |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 897 | OutStreamer.EmitLabel(DotSym); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 898 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 899 | // Now that we have emitted the label, lower the complex operand expression. |
Chris Lattner | d9d7186 | 2010-02-08 23:03:41 +0000 | [diff] [blame] | 900 | MCSymbol *OpSym = MCInstLowering.GetSymbolFromOperand(MI->getOperand(2)); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 901 | |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 902 | const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext); |
| 903 | const MCExpr *PICBase = |
Chris Lattner | 7077efe | 2010-11-14 22:48:15 +0000 | [diff] [blame] | 904 | MCSymbolRefExpr::Create(MF->getPICBaseSymbol(), OutContext); |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 905 | DotExpr = MCBinaryExpr::CreateSub(DotExpr, PICBase, OutContext); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 906 | |
| 907 | DotExpr = MCBinaryExpr::CreateAdd(MCSymbolRefExpr::Create(OpSym,OutContext), |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 908 | DotExpr, OutContext); |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 909 | |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 910 | EmitAndCountInstruction(MCInstBuilder(X86::ADD32ri) |
Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 911 | .addReg(MI->getOperand(0).getReg()) |
| 912 | .addReg(MI->getOperand(1).getReg()) |
Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 913 | .addExpr(DotExpr)); |
Chris Lattner | 6ccf7ed | 2009-09-12 21:01:20 +0000 | [diff] [blame] | 914 | return; |
| 915 | } |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 916 | |
| 917 | case TargetOpcode::STACKMAP: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 918 | return LowerSTACKMAP(*MI); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 919 | |
| 920 | case TargetOpcode::PATCHPOINT: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 921 | return LowerPATCHPOINT(*MI); |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 922 | |
| 923 | case X86::MORESTACK_RET: |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 924 | EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget))); |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 925 | return; |
| 926 | |
| 927 | case X86::MORESTACK_RET_RESTORE_R10: |
| 928 | // Return, then restore R10. |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 929 | EmitAndCountInstruction(MCInstBuilder(getRetOpcode(*Subtarget))); |
| 930 | EmitAndCountInstruction(MCInstBuilder(X86::MOV64rr) |
| 931 | .addReg(X86::R10) |
| 932 | .addReg(X86::RAX)); |
Lang Hames | c2b7723 | 2013-11-11 23:00:41 +0000 | [diff] [blame] | 933 | return; |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 934 | |
| 935 | case X86::SEH_PushReg: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 936 | OutStreamer.EmitWinCFIPushReg(RI->getSEHRegNum(MI->getOperand(0).getImm())); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 937 | return; |
| 938 | |
| 939 | case X86::SEH_SaveReg: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 940 | OutStreamer.EmitWinCFISaveReg(RI->getSEHRegNum(MI->getOperand(0).getImm()), |
| 941 | MI->getOperand(1).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 942 | return; |
| 943 | |
| 944 | case X86::SEH_SaveXMM: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 945 | OutStreamer.EmitWinCFISaveXMM(RI->getSEHRegNum(MI->getOperand(0).getImm()), |
| 946 | MI->getOperand(1).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 947 | return; |
| 948 | |
| 949 | case X86::SEH_StackAlloc: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 950 | OutStreamer.EmitWinCFIAllocStack(MI->getOperand(0).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 951 | return; |
| 952 | |
| 953 | case X86::SEH_SetFrame: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 954 | OutStreamer.EmitWinCFISetFrame(RI->getSEHRegNum(MI->getOperand(0).getImm()), |
| 955 | MI->getOperand(1).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 956 | return; |
| 957 | |
| 958 | case X86::SEH_PushFrame: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 959 | OutStreamer.EmitWinCFIPushFrame(MI->getOperand(0).getImm()); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 960 | return; |
| 961 | |
| 962 | case X86::SEH_EndPrologue: |
Saleem Abdulrasool | 7206a52 | 2014-06-29 01:52:01 +0000 | [diff] [blame] | 963 | OutStreamer.EmitWinCFIEndProlog(); |
NAKAMURA Takumi | 1db5995 | 2014-06-25 12:41:52 +0000 | [diff] [blame] | 964 | return; |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 965 | } |
Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 966 | |
Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 967 | MCInst TmpInst; |
| 968 | MCInstLowering.Lower(MI, TmpInst); |
Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame^] | 969 | EmitAndCountInstruction(TmpInst); |
Chris Lattner | 74f4ca7 | 2009-09-02 17:35:12 +0000 | [diff] [blame] | 970 | } |