1522e9a0435ebba7b25802992031d0657654c281cChris Lattner//===-- X86MCInstLower.cpp - Convert X86 MachineInstr to an MCInst --------===// 2522e9a0435ebba7b25802992031d0657654c281cChris Lattner// 3522e9a0435ebba7b25802992031d0657654c281cChris Lattner// The LLVM Compiler Infrastructure 4522e9a0435ebba7b25802992031d0657654c281cChris Lattner// 5522e9a0435ebba7b25802992031d0657654c281cChris Lattner// This file is distributed under the University of Illinois Open Source 6522e9a0435ebba7b25802992031d0657654c281cChris Lattner// License. See LICENSE.TXT for details. 7522e9a0435ebba7b25802992031d0657654c281cChris Lattner// 8522e9a0435ebba7b25802992031d0657654c281cChris Lattner//===----------------------------------------------------------------------===// 9522e9a0435ebba7b25802992031d0657654c281cChris Lattner// 10522e9a0435ebba7b25802992031d0657654c281cChris Lattner// This file contains code to lower X86 MachineInstrs to their corresponding 11522e9a0435ebba7b25802992031d0657654c281cChris Lattner// MCInst records. 12522e9a0435ebba7b25802992031d0657654c281cChris Lattner// 13522e9a0435ebba7b25802992031d0657654c281cChris Lattner//===----------------------------------------------------------------------===// 14522e9a0435ebba7b25802992031d0657654c281cChris Lattner 158fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner#include "X86MCInstLower.h" 160dc32ea0ef14c7e7f88edb12763a7828052a7fbdChris Lattner#include "X86AsmPrinter.h" 1767c6b6ee71826b2c48b4da490340e5c3e2a94cd2Chris Lattner#include "X86COFFMachineModuleInfo.h" 1879aa3417eb6f58d668aadfedf075240a41d35a26Craig Topper#include "InstPrinter/X86ATTInstPrinter.h" 1979aa3417eb6f58d668aadfedf075240a41d35a26Craig Topper#include "llvm/Type.h" 20dc62ea0f1c6eb0673f39c543f1936ce125efdb30Chris Lattner#include "llvm/CodeGen/MachineModuleInfoImpls.h" 211abf2cb59b8d63415780a03329307c0997b2670cEvan Cheng#include "llvm/MC/MCAsmInfo.h" 22522e9a0435ebba7b25802992031d0657654c281cChris Lattner#include "llvm/MC/MCContext.h" 23522e9a0435ebba7b25802992031d0657654c281cChris Lattner#include "llvm/MC/MCExpr.h" 24522e9a0435ebba7b25802992031d0657654c281cChris Lattner#include "llvm/MC/MCInst.h" 25522e9a0435ebba7b25802992031d0657654c281cChris Lattner#include "llvm/MC/MCStreamer.h" 26c9747c05d1fc01678fb86b3bc4674656228269bcChris Lattner#include "llvm/MC/MCSymbol.h" 2745111d160cf0910030eeb6a949c69273502e5ad5Chris Lattner#include "llvm/Target/Mangler.h" 28522e9a0435ebba7b25802992031d0657654c281cChris Lattner#include "llvm/Support/FormattedStream.h" 29522e9a0435ebba7b25802992031d0657654c281cChris Lattner#include "llvm/ADT/SmallString.h" 30522e9a0435ebba7b25802992031d0657654c281cChris Lattnerusing namespace llvm; 31522e9a0435ebba7b25802992031d0657654c281cChris Lattner 326e8154354fd879d64c2406131370d61a6b123103Chris LattnerX86MCInstLower::X86MCInstLower(Mangler *mang, const MachineFunction &mf, 330123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner X86AsmPrinter &asmprinter) 346e8154354fd879d64c2406131370d61a6b123103Chris Lattner: Ctx(mf.getContext()), Mang(mang), MF(mf), TM(mf.getTarget()), 356e8154354fd879d64c2406131370d61a6b123103Chris Lattner MAI(*TM.getMCAsmInfo()), AsmPrinter(asmprinter) {} 368fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 37dc62ea0f1c6eb0673f39c543f1936ce125efdb30Chris LattnerMachineModuleInfoMachO &X86MCInstLower::getMachOMMI() const { 380c13cf36adf5dc7560523c5cde7dfbbe32bdbe9eChris Lattner return MF.getMMI().getObjFileInfo<MachineModuleInfoMachO>(); 39dc62ea0f1c6eb0673f39c543f1936ce125efdb30Chris Lattner} 40dc62ea0f1c6eb0673f39c543f1936ce125efdb30Chris Lattner 418fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 423484110c67d88f5ead0f0795b880056174f66811Chris Lattner/// GetSymbolFromOperand - Lower an MO_GlobalAddress or MO_ExternalSymbol 433484110c67d88f5ead0f0795b880056174f66811Chris Lattner/// operand to an MCSymbol. 448fea32f9ff5cec2165661a3da986abe29c9bddb1Chris LattnerMCSymbol *X86MCInstLower:: 453484110c67d88f5ead0f0795b880056174f66811Chris LattnerGetSymbolFromOperand(const MachineOperand &MO) const { 463484110c67d88f5ead0f0795b880056174f66811Chris Lattner assert((MO.isGlobal() || MO.isSymbol()) && "Isn't a symbol reference"); 473484110c67d88f5ead0f0795b880056174f66811Chris Lattner 48a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner SmallString<128> Name; 49522e9a0435ebba7b25802992031d0657654c281cChris Lattner 50c9747c05d1fc01678fb86b3bc4674656228269bcChris Lattner if (!MO.isGlobal()) { 51c9747c05d1fc01678fb86b3bc4674656228269bcChris Lattner assert(MO.isSymbol()); 52c0115b5ca16af761199f17bf496403a5c7b710ecChris Lattner Name += MAI.getGlobalPrefix(); 53c9747c05d1fc01678fb86b3bc4674656228269bcChris Lattner Name += MO.getSymbolName(); 54c9747c05d1fc01678fb86b3bc4674656228269bcChris Lattner } else { 55c9747c05d1fc01678fb86b3bc4674656228269bcChris Lattner const GlobalValue *GV = MO.getGlobal(); 563484110c67d88f5ead0f0795b880056174f66811Chris Lattner bool isImplicitlyPrivate = false; 573484110c67d88f5ead0f0795b880056174f66811Chris Lattner if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB || 583484110c67d88f5ead0f0795b880056174f66811Chris Lattner MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY || 593484110c67d88f5ead0f0795b880056174f66811Chris Lattner MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY_PIC_BASE || 603484110c67d88f5ead0f0795b880056174f66811Chris Lattner MO.getTargetFlags() == X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE) 613484110c67d88f5ead0f0795b880056174f66811Chris Lattner isImplicitlyPrivate = true; 623484110c67d88f5ead0f0795b880056174f66811Chris Lattner 633484110c67d88f5ead0f0795b880056174f66811Chris Lattner Mang->getNameWithPrefix(Name, GV, isImplicitlyPrivate); 643484110c67d88f5ead0f0795b880056174f66811Chris Lattner } 653484110c67d88f5ead0f0795b880056174f66811Chris Lattner 663484110c67d88f5ead0f0795b880056174f66811Chris Lattner // If the target flags on the operand changes the name of the symbol, do that 673484110c67d88f5ead0f0795b880056174f66811Chris Lattner // before we return the symbol. 6847548d33654a9b747adabfc20a88babeeede2912Chris Lattner switch (MO.getTargetFlags()) { 693484110c67d88f5ead0f0795b880056174f66811Chris Lattner default: break; 70a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner case X86II::MO_DLLIMPORT: { 7147548d33654a9b747adabfc20a88babeeede2912Chris Lattner // Handle dllimport linkage. 72a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner const char *Prefix = "__imp_"; 73a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner Name.insert(Name.begin(), Prefix, Prefix+strlen(Prefix)); 7447548d33654a9b747adabfc20a88babeeede2912Chris Lattner break; 75a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner } 7647548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_DARWIN_NONLAZY: 7746091d70f5d4db5125ab0b48f018cf15bf2396b0Chris Lattner case X86II::MO_DARWIN_NONLAZY_PIC_BASE: { 78a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner Name += "$non_lazy_ptr"; 799b97a73dedf736e14b04a3d1a153f10d25b2507bChris Lattner MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str()); 80dc62ea0f1c6eb0673f39c543f1936ce125efdb30Chris Lattner 81cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl::StubValueTy &StubSym = 82cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling getMachOMMI().getGVStubEntry(Sym); 83cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling if (StubSym.getPointer() == 0) { 843484110c67d88f5ead0f0795b880056174f66811Chris Lattner assert(MO.isGlobal() && "Extern symbol not handled yet"); 85cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling StubSym = 86cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl:: 877648bd428b42170b27b53a4faff33dc029579dccChris Lattner StubValueTy(Mang->getSymbol(MO.getGlobal()), 88cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling !MO.getGlobal()->hasInternalLinkage()); 893484110c67d88f5ead0f0795b880056174f66811Chris Lattner } 9046091d70f5d4db5125ab0b48f018cf15bf2396b0Chris Lattner return Sym; 9146091d70f5d4db5125ab0b48f018cf15bf2396b0Chris Lattner } 929e6ffba26b0cdc5eb9267284536459b956090472Chris Lattner case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: { 93a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner Name += "$non_lazy_ptr"; 949b97a73dedf736e14b04a3d1a153f10d25b2507bChris Lattner MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str()); 95cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl::StubValueTy &StubSym = 96cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling getMachOMMI().getHiddenGVStubEntry(Sym); 97cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling if (StubSym.getPointer() == 0) { 983484110c67d88f5ead0f0795b880056174f66811Chris Lattner assert(MO.isGlobal() && "Extern symbol not handled yet"); 99cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling StubSym = 100cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl:: 1017648bd428b42170b27b53a4faff33dc029579dccChris Lattner StubValueTy(Mang->getSymbol(MO.getGlobal()), 102cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling !MO.getGlobal()->hasInternalLinkage()); 1033484110c67d88f5ead0f0795b880056174f66811Chris Lattner } 1046b35bf187c5549c31cfd52756ad3b235248e5749Chris Lattner return Sym; 1059e6ffba26b0cdc5eb9267284536459b956090472Chris Lattner } 1062a3c20bf269c3adef88e16902c041819eea04183Chris Lattner case X86II::MO_DARWIN_STUB: { 107a49ea86ba234c6b738dda33ef608781a86bde1b9Chris Lattner Name += "$stub"; 1089b97a73dedf736e14b04a3d1a153f10d25b2507bChris Lattner MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str()); 109cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl::StubValueTy &StubSym = 110cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling getMachOMMI().getFnStubEntry(Sym); 111cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling if (StubSym.getPointer()) 1123484110c67d88f5ead0f0795b880056174f66811Chris Lattner return Sym; 1133484110c67d88f5ead0f0795b880056174f66811Chris Lattner 1143484110c67d88f5ead0f0795b880056174f66811Chris Lattner if (MO.isGlobal()) { 115cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling StubSym = 116cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl:: 1177648bd428b42170b27b53a4faff33dc029579dccChris Lattner StubValueTy(Mang->getSymbol(MO.getGlobal()), 118cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling !MO.getGlobal()->hasInternalLinkage()); 1193484110c67d88f5ead0f0795b880056174f66811Chris Lattner } else { 12046091d70f5d4db5125ab0b48f018cf15bf2396b0Chris Lattner Name.erase(Name.end()-5, Name.end()); 121cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling StubSym = 122cebae36f57456fe6b0e13726acd1e0250654f02dBill Wendling MachineModuleInfoImpl:: 1239b97a73dedf736e14b04a3d1a153f10d25b2507bChris Lattner StubValueTy(Ctx.GetOrCreateSymbol(Name.str()), false); 12446091d70f5d4db5125ab0b48f018cf15bf2396b0Chris Lattner } 1252a3c20bf269c3adef88e16902c041819eea04183Chris Lattner return Sym; 1262a3c20bf269c3adef88e16902c041819eea04183Chris Lattner } 127118c27c6d4211401a97183d642f823460e86a854Chris Lattner } 1283484110c67d88f5ead0f0795b880056174f66811Chris Lattner 1298fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner return Ctx.GetOrCreateSymbol(Name.str()); 130e8c2780521d463013accc79afe014816d02444ecChris Lattner} 131e8c2780521d463013accc79afe014816d02444ecChris Lattner 1328fea32f9ff5cec2165661a3da986abe29c9bddb1Chris LattnerMCOperand X86MCInstLower::LowerSymbolOperand(const MachineOperand &MO, 1338fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner MCSymbol *Sym) const { 134975d7e039260a9888050dfb6da865348d67fbb27Chris Lattner // FIXME: We would like an efficient form for this, so we don't have to do a 135975d7e039260a9888050dfb6da865348d67fbb27Chris Lattner // lot of extra uniquing. 1368fb2e233a0f4fdb4615fddb0c1ebbb0944068925Chris Lattner const MCExpr *Expr = 0; 1374e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None; 138975d7e039260a9888050dfb6da865348d67fbb27Chris Lattner 139e8c2780521d463013accc79afe014816d02444ecChris Lattner switch (MO.getTargetFlags()) { 14047548d33654a9b747adabfc20a88babeeede2912Chris Lattner default: llvm_unreachable("Unknown target flag on GV operand"); 14147548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_NO_FLAG: // No flag. 14247548d33654a9b747adabfc20a88babeeede2912Chris Lattner // These affect the name of the symbol, not any suffix. 14347548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_DARWIN_NONLAZY: 14447548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_DLLIMPORT: 14547548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_DARWIN_STUB: 14647548d33654a9b747adabfc20a88babeeede2912Chris Lattner break; 1478fb2e233a0f4fdb4615fddb0c1ebbb0944068925Chris Lattner 14830ef0e5658b0b8b04437f73f74162d5d72923f29Eric Christopher case X86II::MO_TLVP: RefKind = MCSymbolRefExpr::VK_TLVP; break; 14930ef0e5658b0b8b04437f73f74162d5d72923f29Eric Christopher case X86II::MO_TLVP_PIC_BASE: 15041af1cdd1cb6987a5ea4c9998d652475fd60d1cdChris Lattner Expr = MCSymbolRefExpr::Create(Sym, MCSymbolRefExpr::VK_TLVP, Ctx); 15141af1cdd1cb6987a5ea4c9998d652475fd60d1cdChris Lattner // Subtract the pic base. 15241af1cdd1cb6987a5ea4c9998d652475fd60d1cdChris Lattner Expr = MCBinaryExpr::CreateSub(Expr, 153142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner MCSymbolRefExpr::Create(MF.getPICBaseSymbol(), 15441af1cdd1cb6987a5ea4c9998d652475fd60d1cdChris Lattner Ctx), 15541af1cdd1cb6987a5ea4c9998d652475fd60d1cdChris Lattner Ctx); 15641af1cdd1cb6987a5ea4c9998d652475fd60d1cdChris Lattner break; 157d4a19b6a72d19a6f90b676aac37118664b7b7a84Anton Korobeynikov case X86II::MO_SECREL: RefKind = MCSymbolRefExpr::VK_SECREL; break; 1584e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_TLSGD: RefKind = MCSymbolRefExpr::VK_TLSGD; break; 1594e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_GOTTPOFF: RefKind = MCSymbolRefExpr::VK_GOTTPOFF; break; 1604e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_INDNTPOFF: RefKind = MCSymbolRefExpr::VK_INDNTPOFF; break; 1614e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_TPOFF: RefKind = MCSymbolRefExpr::VK_TPOFF; break; 1624e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_NTPOFF: RefKind = MCSymbolRefExpr::VK_NTPOFF; break; 1634e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_GOTPCREL: RefKind = MCSymbolRefExpr::VK_GOTPCREL; break; 1644e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_GOT: RefKind = MCSymbolRefExpr::VK_GOT; break; 1654e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_GOTOFF: RefKind = MCSymbolRefExpr::VK_GOTOFF; break; 1664e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar case X86II::MO_PLT: RefKind = MCSymbolRefExpr::VK_PLT; break; 16747548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_PIC_BASE_OFFSET: 16847548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_DARWIN_NONLAZY_PIC_BASE: 16947548d33654a9b747adabfc20a88babeeede2912Chris Lattner case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: 1708fb2e233a0f4fdb4615fddb0c1ebbb0944068925Chris Lattner Expr = MCSymbolRefExpr::Create(Sym, Ctx); 17147548d33654a9b747adabfc20a88babeeede2912Chris Lattner // Subtract the pic base. 172975d7e039260a9888050dfb6da865348d67fbb27Chris Lattner Expr = MCBinaryExpr::CreateSub(Expr, 173142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner MCSymbolRefExpr::Create(MF.getPICBaseSymbol(), Ctx), 1748fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner Ctx); 175c0115b5ca16af761199f17bf496403a5c7b710ecChris Lattner if (MO.isJTI() && MAI.hasSetDirective()) { 17682865a10f86453a6069b9980ca76129d132f806eEvan Cheng // If .set directive is supported, use it to reduce the number of 17782865a10f86453a6069b9980ca76129d132f806eEvan Cheng // relocations the assembler will generate for differences between 17882865a10f86453a6069b9980ca76129d132f806eEvan Cheng // local labels. This is only safe when the symbols are in the same 17982865a10f86453a6069b9980ca76129d132f806eEvan Cheng // section so we are restricting it to jumptable references. 18082865a10f86453a6069b9980ca76129d132f806eEvan Cheng MCSymbol *Label = Ctx.CreateTempSymbol(); 1810123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner AsmPrinter.OutStreamer.EmitAssignment(Label, Expr); 18282865a10f86453a6069b9980ca76129d132f806eEvan Cheng Expr = MCSymbolRefExpr::Create(Label, Ctx); 18382865a10f86453a6069b9980ca76129d132f806eEvan Cheng } 18447548d33654a9b747adabfc20a88babeeede2912Chris Lattner break; 185975d7e039260a9888050dfb6da865348d67fbb27Chris Lattner } 186e8c2780521d463013accc79afe014816d02444ecChris Lattner 1874e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar if (Expr == 0) 1884e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar Expr = MCSymbolRefExpr::Create(Sym, RefKind, Ctx); 1898fb2e233a0f4fdb4615fddb0c1ebbb0944068925Chris Lattner 19047ad2d6e9702f572de4df1c0b2b66ef40fcda48cChris Lattner if (!MO.isJTI() && MO.getOffset()) 1918fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner Expr = MCBinaryExpr::CreateAdd(Expr, 1928fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner MCConstantExpr::Create(MO.getOffset(), Ctx), 1938fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner Ctx); 194118c27c6d4211401a97183d642f823460e86a854Chris Lattner return MCOperand::CreateExpr(Expr); 195118c27c6d4211401a97183d642f823460e86a854Chris Lattner} 196118c27c6d4211401a97183d642f823460e86a854Chris Lattner 197cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 198cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 199cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattnerstatic void lower_subreg32(MCInst *MI, unsigned OpNo) { 200cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner // Convert registers in the addr mode according to subreg32. 201cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner unsigned Reg = MI->getOperand(OpNo).getReg(); 202cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner if (Reg != 0) 203cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner MI->getOperand(OpNo).setReg(getX86SubSuperRegister(Reg, MVT::i32)); 204cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner} 205cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 206cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattnerstatic void lower_lea64_32mem(MCInst *MI, unsigned OpNo) { 207cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner // Convert registers in the addr mode according to subreg64. 208cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner for (unsigned i = 0; i != 4; ++i) { 209cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner if (!MI->getOperand(OpNo+i).isReg()) continue; 210cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 211cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner unsigned Reg = MI->getOperand(OpNo+i).getReg(); 212cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner if (Reg == 0) continue; 213cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 214cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner MI->getOperand(OpNo+i).setReg(getX86SubSuperRegister(Reg, MVT::i64)); 215cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner } 216cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner} 217cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 218ff928976f892a63f814a2f5d052213736c242748Chris Lattner/// LowerSubReg32_Op0 - Things like MOVZX16rr8 -> MOVZX32rr8. 219ff928976f892a63f814a2f5d052213736c242748Chris Lattnerstatic void LowerSubReg32_Op0(MCInst &OutMI, unsigned NewOpc) { 220c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner OutMI.setOpcode(NewOpc); 221c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner lower_subreg32(&OutMI, 0); 222c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner} 223ff928976f892a63f814a2f5d052213736c242748Chris Lattner/// LowerUnaryToTwoAddr - R = setb -> R = sbb R, R 224ff928976f892a63f814a2f5d052213736c242748Chris Lattnerstatic void LowerUnaryToTwoAddr(MCInst &OutMI, unsigned NewOpc) { 225c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner OutMI.setOpcode(NewOpc); 226c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner OutMI.addOperand(OutMI.getOperand(0)); 227c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner OutMI.addOperand(OutMI.getOperand(0)); 228c74e333ecc446c485cecce8bc54a1c9594d444daChris Lattner} 229cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner 2303f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar/// \brief Simplify FOO $imm, %{al,ax,eax,rax} to FOO $imm, for instruction with 2313f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar/// a short fixed-register form. 2323f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbarstatic void SimplifyShortImmForm(MCInst &Inst, unsigned Opcode) { 2333f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar unsigned ImmOp = Inst.getNumOperands() - 1; 234d4a19b6a72d19a6f90b676aac37118664b7b7a84Anton Korobeynikov assert(Inst.getOperand(0).isReg() && 235d4a19b6a72d19a6f90b676aac37118664b7b7a84Anton Korobeynikov (Inst.getOperand(ImmOp).isImm() || Inst.getOperand(ImmOp).isExpr()) && 2363f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar ((Inst.getNumOperands() == 3 && Inst.getOperand(1).isReg() && 2373f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg()) || 2383f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar Inst.getNumOperands() == 2) && "Unexpected instruction!"); 2393f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar 2403f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // Check whether the destination register can be fixed. 2413f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar unsigned Reg = Inst.getOperand(0).getReg(); 2423f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX) 2433f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar return; 2443f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar 2453f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // If so, rewrite the instruction. 246597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar MCOperand Saved = Inst.getOperand(ImmOp); 247597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst = MCInst(); 248597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.setOpcode(Opcode); 249597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.addOperand(Saved); 250597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar} 251597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar 252597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar/// \brief Simplify things like MOV32rm to MOV32o32a. 253321473d51dacec12d338a5574d4c942889b682c1Eli Friedmanstatic void SimplifyShortMoveForm(X86AsmPrinter &Printer, MCInst &Inst, 254321473d51dacec12d338a5574d4c942889b682c1Eli Friedman unsigned Opcode) { 255321473d51dacec12d338a5574d4c942889b682c1Eli Friedman // Don't make these simplifications in 64-bit mode; other assemblers don't 256321473d51dacec12d338a5574d4c942889b682c1Eli Friedman // perform them because they make the code larger. 257321473d51dacec12d338a5574d4c942889b682c1Eli Friedman if (Printer.getSubtarget().is64Bit()) 258321473d51dacec12d338a5574d4c942889b682c1Eli Friedman return; 259321473d51dacec12d338a5574d4c942889b682c1Eli Friedman 260597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar bool IsStore = Inst.getOperand(0).isReg() && Inst.getOperand(1).isReg(); 261597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar unsigned AddrBase = IsStore; 262597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar unsigned RegOp = IsStore ? 0 : 5; 263597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar unsigned AddrOp = AddrBase + 3; 264597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar assert(Inst.getNumOperands() == 6 && Inst.getOperand(RegOp).isReg() && 265597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.getOperand(AddrBase + 0).isReg() && // base 266597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.getOperand(AddrBase + 1).isImm() && // scale 267597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.getOperand(AddrBase + 2).isReg() && // index register 268597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar (Inst.getOperand(AddrOp).isExpr() || // address 269597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.getOperand(AddrOp).isImm())&& 270597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.getOperand(AddrBase + 4).isReg() && // segment 271597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar "Unexpected instruction!"); 272597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar 273597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar // Check whether the destination register can be fixed. 274597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar unsigned Reg = Inst.getOperand(RegOp).getReg(); 275597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar if (Reg != X86::AL && Reg != X86::AX && Reg != X86::EAX && Reg != X86::RAX) 276597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar return; 277597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar 278597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar // Check whether this is an absolute address. 279e98ad835435b82347eac3708e561928a35c62865Eric Christopher // FIXME: We know TLVP symbol refs aren't, but there should be a better way 280e98ad835435b82347eac3708e561928a35c62865Eric Christopher // to do this here. 281e98ad835435b82347eac3708e561928a35c62865Eric Christopher bool Absolute = true; 282e98ad835435b82347eac3708e561928a35c62865Eric Christopher if (Inst.getOperand(AddrOp).isExpr()) { 283e98ad835435b82347eac3708e561928a35c62865Eric Christopher const MCExpr *MCE = Inst.getOperand(AddrOp).getExpr(); 284e98ad835435b82347eac3708e561928a35c62865Eric Christopher if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(MCE)) 285e98ad835435b82347eac3708e561928a35c62865Eric Christopher if (SRE->getKind() == MCSymbolRefExpr::VK_TLVP) 286e98ad835435b82347eac3708e561928a35c62865Eric Christopher Absolute = false; 287e98ad835435b82347eac3708e561928a35c62865Eric Christopher } 288e98ad835435b82347eac3708e561928a35c62865Eric Christopher 289e98ad835435b82347eac3708e561928a35c62865Eric Christopher if (Absolute && 290e98ad835435b82347eac3708e561928a35c62865Eric Christopher (Inst.getOperand(AddrBase + 0).getReg() != 0 || 291e98ad835435b82347eac3708e561928a35c62865Eric Christopher Inst.getOperand(AddrBase + 2).getReg() != 0 || 292e98ad835435b82347eac3708e561928a35c62865Eric Christopher Inst.getOperand(AddrBase + 4).getReg() != 0 || 293e98ad835435b82347eac3708e561928a35c62865Eric Christopher Inst.getOperand(AddrBase + 1).getImm() != 1)) 294597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar return; 295597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar 296597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar // If so, rewrite the instruction. 297597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar MCOperand Saved = Inst.getOperand(AddrOp); 298597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst = MCInst(); 299597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.setOpcode(Opcode); 300597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar Inst.addOperand(Saved); 3013f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar} 3028fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 3038fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattnervoid X86MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const { 3048fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner OutMI.setOpcode(MI->getOpcode()); 305522e9a0435ebba7b25802992031d0657654c281cChris Lattner 306522e9a0435ebba7b25802992031d0657654c281cChris Lattner for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { 307522e9a0435ebba7b25802992031d0657654c281cChris Lattner const MachineOperand &MO = MI->getOperand(i); 308522e9a0435ebba7b25802992031d0657654c281cChris Lattner 309522e9a0435ebba7b25802992031d0657654c281cChris Lattner MCOperand MCOp; 310522e9a0435ebba7b25802992031d0657654c281cChris Lattner switch (MO.getType()) { 311522e9a0435ebba7b25802992031d0657654c281cChris Lattner default: 3128fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner MI->dump(); 3138fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner llvm_unreachable("unknown operand type"); 314522e9a0435ebba7b25802992031d0657654c281cChris Lattner case MachineOperand::MO_Register: 315af0df67d2bdae61d4360c79ff25deeb34d33f73aChris Lattner // Ignore all implicit register operands. 316af0df67d2bdae61d4360c79ff25deeb34d33f73aChris Lattner if (MO.isImplicit()) continue; 317522e9a0435ebba7b25802992031d0657654c281cChris Lattner MCOp = MCOperand::CreateReg(MO.getReg()); 318522e9a0435ebba7b25802992031d0657654c281cChris Lattner break; 319522e9a0435ebba7b25802992031d0657654c281cChris Lattner case MachineOperand::MO_Immediate: 320522e9a0435ebba7b25802992031d0657654c281cChris Lattner MCOp = MCOperand::CreateImm(MO.getImm()); 321522e9a0435ebba7b25802992031d0657654c281cChris Lattner break; 322522e9a0435ebba7b25802992031d0657654c281cChris Lattner case MachineOperand::MO_MachineBasicBlock: 323d8d20506371a11f38bc39dfc5201a61acaa4e0beChris Lattner MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create( 3241b2eb0e8a6aaf034675b17be6d853cb1c666200fChris Lattner MO.getMBB()->getSymbol(), Ctx)); 325522e9a0435ebba7b25802992031d0657654c281cChris Lattner break; 326522e9a0435ebba7b25802992031d0657654c281cChris Lattner case MachineOperand::MO_GlobalAddress: 327522e9a0435ebba7b25802992031d0657654c281cChris Lattner case MachineOperand::MO_ExternalSymbol: 3280123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner MCOp = LowerSymbolOperand(MO, GetSymbolFromOperand(MO)); 329522e9a0435ebba7b25802992031d0657654c281cChris Lattner break; 330118c27c6d4211401a97183d642f823460e86a854Chris Lattner case MachineOperand::MO_JumpTableIndex: 3310123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner MCOp = LowerSymbolOperand(MO, AsmPrinter.GetJTISymbol(MO.getIndex())); 332118c27c6d4211401a97183d642f823460e86a854Chris Lattner break; 333118c27c6d4211401a97183d642f823460e86a854Chris Lattner case MachineOperand::MO_ConstantPoolIndex: 3340123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner MCOp = LowerSymbolOperand(MO, AsmPrinter.GetCPISymbol(MO.getIndex())); 335118c27c6d4211401a97183d642f823460e86a854Chris Lattner break; 336f705adbe5ecd156de3f5a3017ddf4017e3890777Dan Gohman case MachineOperand::MO_BlockAddress: 3370123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner MCOp = LowerSymbolOperand(MO, 3380123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress())); 339f705adbe5ecd156de3f5a3017ddf4017e3890777Dan Gohman break; 34071f0fc1ca88965b69b4b2c8794a7144bc93d4bbaJakob Stoklund Olesen case MachineOperand::MO_RegisterMask: 34171f0fc1ca88965b69b4b2c8794a7144bc93d4bbaJakob Stoklund Olesen // Ignore call clobbers. 34271f0fc1ca88965b69b4b2c8794a7144bc93d4bbaJakob Stoklund Olesen continue; 343522e9a0435ebba7b25802992031d0657654c281cChris Lattner } 344522e9a0435ebba7b25802992031d0657654c281cChris Lattner 3458fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner OutMI.addOperand(MCOp); 346522e9a0435ebba7b25802992031d0657654c281cChris Lattner } 347522e9a0435ebba7b25802992031d0657654c281cChris Lattner 348cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner // Handle a few special cases to eliminate operand modifiers. 34999ae6659daaebeb32df91653fad09748fda8bcb2Chris LattnerReSimplify: 3508fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner switch (OutMI.getOpcode()) { 351cf1ed75f7ffae47c50f9030d56397ab6ee324253Chris Lattner case X86::LEA64_32r: // Handle 'subreg rewriting' for the lea64_32mem operand. 3528fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner lower_lea64_32mem(&OutMI, 1); 353599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner // FALL THROUGH. 354599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner case X86::LEA64r: 355599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner case X86::LEA16r: 356599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner case X86::LEA32r: 357599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner // LEA should have a segment register, but it must be empty. 358599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner assert(OutMI.getNumOperands() == 1+X86::AddrNumOperands && 359599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner "Unexpected # of LEA operands"); 360599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner assert(OutMI.getOperand(1+X86::AddrSegmentReg).getReg() == 0 && 361599b531a960833719f607d66c97871f1f5ad12c0Chris Lattner "LEA has segment specified!"); 362522e9a0435ebba7b25802992031d0657654c281cChris Lattner break; 363ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOVZX64rr32: LowerSubReg32_Op0(OutMI, X86::MOV32rr); break; 364ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOVZX64rm32: LowerSubReg32_Op0(OutMI, X86::MOV32rm); break; 365ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOV64ri64i32: LowerSubReg32_Op0(OutMI, X86::MOV32ri); break; 366ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOVZX64rr8: LowerSubReg32_Op0(OutMI, X86::MOVZX32rr8); break; 367ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOVZX64rm8: LowerSubReg32_Op0(OutMI, X86::MOVZX32rm8); break; 368ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOVZX64rr16: LowerSubReg32_Op0(OutMI, X86::MOVZX32rr16); break; 369ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::MOVZX64rm16: LowerSubReg32_Op0(OutMI, X86::MOVZX32rm16); break; 370ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::SETB_C8r: LowerUnaryToTwoAddr(OutMI, X86::SBB8rr); break; 371ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::SETB_C16r: LowerUnaryToTwoAddr(OutMI, X86::SBB16rr); break; 372ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::SETB_C32r: LowerUnaryToTwoAddr(OutMI, X86::SBB32rr); break; 373ff928976f892a63f814a2f5d052213736c242748Chris Lattner case X86::SETB_C64r: LowerUnaryToTwoAddr(OutMI, X86::SBB64rr); break; 37435e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner case X86::MOV8r0: LowerUnaryToTwoAddr(OutMI, X86::XOR8rr); break; 37535e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner case X86::MOV32r0: LowerUnaryToTwoAddr(OutMI, X86::XOR32rr); break; 3768c05a850f43cda2e62ac48562281f504ab763d59Bruno Cardoso Lopes case X86::V_SETALLONES: LowerUnaryToTwoAddr(OutMI, X86::PCMPEQDrr); break; 3776da9cee0f1380694e67329d0e79788ede8c18c0cBruno Cardoso Lopes case X86::AVX_SET0PSY: LowerUnaryToTwoAddr(OutMI, X86::VXORPSYrr); break; 3786da9cee0f1380694e67329d0e79788ede8c18c0cBruno Cardoso Lopes case X86::AVX_SET0PDY: LowerUnaryToTwoAddr(OutMI, X86::VXORPDYrr); break; 379863bd9d5cf86e57752975d1ab6779f3116a23b90Bruno Cardoso Lopes case X86::AVX_SETALLONES: LowerUnaryToTwoAddr(OutMI, X86::VPCMPEQDrr); break; 380745a86bac9684f9617aeb0e1566194ca797a64d4Craig Topper case X86::AVX2_SETALLONES: LowerUnaryToTwoAddr(OutMI, X86::VPCMPEQDYrr);break; 38112216172c04fe76a90e9de34fc4161e92d097278Craig Topper case X86::AVX2_SET0: LowerUnaryToTwoAddr(OutMI, X86::VPXORYrr); break; 38228c1d29b09a1d6d92ba91211aceeee59d7f5f07fChris Lattner 38335e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner case X86::MOV16r0: 38435e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner LowerSubReg32_Op0(OutMI, X86::MOV32r0); // MOV16r0 -> MOV32r0 38535e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner LowerUnaryToTwoAddr(OutMI, X86::XOR32rr); // MOV32r0 -> XOR32rr 38635e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner break; 38735e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner case X86::MOV64r0: 38835e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner LowerSubReg32_Op0(OutMI, X86::MOV32r0); // MOV64r0 -> MOV32r0 38935e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner LowerUnaryToTwoAddr(OutMI, X86::XOR32rr); // MOV32r0 -> XOR32rr 39035e0e84f93152a20ae40ccf13d6d6ea493953a1cChris Lattner break; 3919248b3208a53ccf31a235efa6b6ce853cb97028cDaniel Dunbar 392527a08b253795cf09de41c289c9dc071f00b1d4aJakob Stoklund Olesen // TAILJMPr64, CALL64r, CALL64pcrel32 - These instructions have register 393527a08b253795cf09de41c289c9dc071f00b1d4aJakob Stoklund Olesen // inputs modeled as normal uses instead of implicit uses. As such, truncate 394527a08b253795cf09de41c289c9dc071f00b1d4aJakob Stoklund Olesen // off all but the first operand (the callee). FIXME: Change isel. 3957d4bd203be35a25e31256eeea4ef7628573ffa54Daniel Dunbar case X86::TAILJMPr64: 3969248b3208a53ccf31a235efa6b6ce853cb97028cDaniel Dunbar case X86::CALL64r: 397527a08b253795cf09de41c289c9dc071f00b1d4aJakob Stoklund Olesen case X86::CALL64pcrel32: { 3989248b3208a53ccf31a235efa6b6ce853cb97028cDaniel Dunbar unsigned Opcode = OutMI.getOpcode(); 3996db0363bdcc81cbb98d5c3731e528655f8baa36eChris Lattner MCOperand Saved = OutMI.getOperand(0); 4006db0363bdcc81cbb98d5c3731e528655f8baa36eChris Lattner OutMI = MCInst(); 4019248b3208a53ccf31a235efa6b6ce853cb97028cDaniel Dunbar OutMI.setOpcode(Opcode); 4026db0363bdcc81cbb98d5c3731e528655f8baa36eChris Lattner OutMI.addOperand(Saved); 4036db0363bdcc81cbb98d5c3731e528655f8baa36eChris Lattner break; 4046db0363bdcc81cbb98d5c3731e528655f8baa36eChris Lattner } 4059248b3208a53ccf31a235efa6b6ce853cb97028cDaniel Dunbar 406de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola case X86::EH_RETURN: 407de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola case X86::EH_RETURN64: { 408de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola OutMI = MCInst(); 409de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola OutMI.setOpcode(X86::RET); 410de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola break; 411de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola } 412de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola 41352322e7b8b45210c78c164e74048212373d849daDaniel Dunbar // TAILJMPd, TAILJMPd64 - Lower to the correct jump instructions. 414c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPr: 41552322e7b8b45210c78c164e74048212373d849daDaniel Dunbar case X86::TAILJMPd: 41652322e7b8b45210c78c164e74048212373d849daDaniel Dunbar case X86::TAILJMPd64: { 417c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner unsigned Opcode; 418c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner switch (OutMI.getOpcode()) { 4196d1263acb9704b38a8d90fd6ce94f49193cd4ddeCraig Topper default: llvm_unreachable("Invalid opcode"); 420c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPr: Opcode = X86::JMP32r; break; 421c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPd: 422c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPd64: Opcode = X86::JMP_1; break; 423c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner } 424c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner 42552322e7b8b45210c78c164e74048212373d849daDaniel Dunbar MCOperand Saved = OutMI.getOperand(0); 42652322e7b8b45210c78c164e74048212373d849daDaniel Dunbar OutMI = MCInst(); 427c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner OutMI.setOpcode(Opcode); 42852322e7b8b45210c78c164e74048212373d849daDaniel Dunbar OutMI.addOperand(Saved); 42952322e7b8b45210c78c164e74048212373d849daDaniel Dunbar break; 43052322e7b8b45210c78c164e74048212373d849daDaniel Dunbar } 43152322e7b8b45210c78c164e74048212373d849daDaniel Dunbar 43299ae6659daaebeb32df91653fad09748fda8bcb2Chris Lattner // These are pseudo-ops for OR to help with the OR->ADD transformation. We do 43399ae6659daaebeb32df91653fad09748fda8bcb2Chris Lattner // this with an ugly goto in case the resultant OR uses EAX and needs the 43499ae6659daaebeb32df91653fad09748fda8bcb2Chris Lattner // short form. 43515df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD16rr_DB: OutMI.setOpcode(X86::OR16rr); goto ReSimplify; 43615df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD32rr_DB: OutMI.setOpcode(X86::OR32rr); goto ReSimplify; 43715df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD64rr_DB: OutMI.setOpcode(X86::OR64rr); goto ReSimplify; 43815df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD16ri_DB: OutMI.setOpcode(X86::OR16ri); goto ReSimplify; 43915df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD32ri_DB: OutMI.setOpcode(X86::OR32ri); goto ReSimplify; 44015df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD64ri32_DB: OutMI.setOpcode(X86::OR64ri32); goto ReSimplify; 44115df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD16ri8_DB: OutMI.setOpcode(X86::OR16ri8); goto ReSimplify; 44215df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD32ri8_DB: OutMI.setOpcode(X86::OR32ri8); goto ReSimplify; 44315df55d8c238ddd4b595dc0d762fe4c391352f11Chris Lattner case X86::ADD64ri8_DB: OutMI.setOpcode(X86::OR64ri8); goto ReSimplify; 44499ae6659daaebeb32df91653fad09748fda8bcb2Chris Lattner 445166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner // The assembler backend wants to see branches in their small form and relax 446166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner // them to their large form. The JIT can only handle the large form because 447c441e97220eb8f3fc062d8bdf04d261165428673Chris Lattner // it does not do relaxation. For now, translate the large form to the 448166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner // small one here. 449166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JMP_4: OutMI.setOpcode(X86::JMP_1); break; 450166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JO_4: OutMI.setOpcode(X86::JO_1); break; 451166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JNO_4: OutMI.setOpcode(X86::JNO_1); break; 452166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JB_4: OutMI.setOpcode(X86::JB_1); break; 453166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JAE_4: OutMI.setOpcode(X86::JAE_1); break; 454166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JE_4: OutMI.setOpcode(X86::JE_1); break; 455166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JNE_4: OutMI.setOpcode(X86::JNE_1); break; 456166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JBE_4: OutMI.setOpcode(X86::JBE_1); break; 457166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JA_4: OutMI.setOpcode(X86::JA_1); break; 458166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JS_4: OutMI.setOpcode(X86::JS_1); break; 459166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JNS_4: OutMI.setOpcode(X86::JNS_1); break; 460166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JP_4: OutMI.setOpcode(X86::JP_1); break; 461166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JNP_4: OutMI.setOpcode(X86::JNP_1); break; 462166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JL_4: OutMI.setOpcode(X86::JL_1); break; 463166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JGE_4: OutMI.setOpcode(X86::JGE_1); break; 464166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JLE_4: OutMI.setOpcode(X86::JLE_1); break; 465166604e6ce51fa60910141f2fa1ae17a1b62496aChris Lattner case X86::JG_4: OutMI.setOpcode(X86::JG_1); break; 4663f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar 467d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman // Atomic load and store require a separate pseudo-inst because Acquire 468d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman // implies mayStore and Release implies mayLoad; fix these to regular MOV 469d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman // instructions here 470d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::ACQUIRE_MOV8rm: OutMI.setOpcode(X86::MOV8rm); goto ReSimplify; 471d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::ACQUIRE_MOV16rm: OutMI.setOpcode(X86::MOV16rm); goto ReSimplify; 472d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::ACQUIRE_MOV32rm: OutMI.setOpcode(X86::MOV32rm); goto ReSimplify; 473d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::ACQUIRE_MOV64rm: OutMI.setOpcode(X86::MOV64rm); goto ReSimplify; 474d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::RELEASE_MOV8mr: OutMI.setOpcode(X86::MOV8mr); goto ReSimplify; 475d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::RELEASE_MOV16mr: OutMI.setOpcode(X86::MOV16mr); goto ReSimplify; 476d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::RELEASE_MOV32mr: OutMI.setOpcode(X86::MOV32mr); goto ReSimplify; 477d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman case X86::RELEASE_MOV64mr: OutMI.setOpcode(X86::MOV64mr); goto ReSimplify; 478d5ccb0558fe986585fc56d208b35d0deec1912ffEli Friedman 4793f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // We don't currently select the correct instruction form for instructions 4803f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // which have a short %eax, etc. form. Handle this by custom lowering, for 4813f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // now. 4823f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // 4833f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // Note, we are currently not handling the following instructions: 484597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar // MOV64ao8, MOV64o8a 4853f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar // XCHG16ar, XCHG32ar, XCHG64ar 486597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar case X86::MOV8mr_NOREX: 487321473d51dacec12d338a5574d4c942889b682c1Eli Friedman case X86::MOV8mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8ao8); break; 488597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar case X86::MOV8rm_NOREX: 489321473d51dacec12d338a5574d4c942889b682c1Eli Friedman case X86::MOV8rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV8o8a); break; 490321473d51dacec12d338a5574d4c942889b682c1Eli Friedman case X86::MOV16mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16ao16); break; 491321473d51dacec12d338a5574d4c942889b682c1Eli Friedman case X86::MOV16rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV16o16a); break; 492321473d51dacec12d338a5574d4c942889b682c1Eli Friedman case X86::MOV32mr: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32ao32); break; 493321473d51dacec12d338a5574d4c942889b682c1Eli Friedman case X86::MOV32rm: SimplifyShortMoveForm(AsmPrinter, OutMI, X86::MOV32o32a); break; 494597f17d5f1ec86dee1796ad92a66abd98f7bacecDaniel Dunbar 4953f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADC8ri: SimplifyShortImmForm(OutMI, X86::ADC8i8); break; 4963f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADC16ri: SimplifyShortImmForm(OutMI, X86::ADC16i16); break; 4973f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADC32ri: SimplifyShortImmForm(OutMI, X86::ADC32i32); break; 4983f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADC64ri32: SimplifyShortImmForm(OutMI, X86::ADC64i32); break; 4993f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADD8ri: SimplifyShortImmForm(OutMI, X86::ADD8i8); break; 5003f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADD16ri: SimplifyShortImmForm(OutMI, X86::ADD16i16); break; 5013f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADD32ri: SimplifyShortImmForm(OutMI, X86::ADD32i32); break; 5023f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::ADD64ri32: SimplifyShortImmForm(OutMI, X86::ADD64i32); break; 5033f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::AND8ri: SimplifyShortImmForm(OutMI, X86::AND8i8); break; 5043f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::AND16ri: SimplifyShortImmForm(OutMI, X86::AND16i16); break; 5053f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::AND32ri: SimplifyShortImmForm(OutMI, X86::AND32i32); break; 5063f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::AND64ri32: SimplifyShortImmForm(OutMI, X86::AND64i32); break; 5073f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::CMP8ri: SimplifyShortImmForm(OutMI, X86::CMP8i8); break; 5083f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::CMP16ri: SimplifyShortImmForm(OutMI, X86::CMP16i16); break; 5093f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::CMP32ri: SimplifyShortImmForm(OutMI, X86::CMP32i32); break; 5103f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::CMP64ri32: SimplifyShortImmForm(OutMI, X86::CMP64i32); break; 5113f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::OR8ri: SimplifyShortImmForm(OutMI, X86::OR8i8); break; 5123f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::OR16ri: SimplifyShortImmForm(OutMI, X86::OR16i16); break; 5133f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::OR32ri: SimplifyShortImmForm(OutMI, X86::OR32i32); break; 5143f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::OR64ri32: SimplifyShortImmForm(OutMI, X86::OR64i32); break; 5153f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SBB8ri: SimplifyShortImmForm(OutMI, X86::SBB8i8); break; 5163f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SBB16ri: SimplifyShortImmForm(OutMI, X86::SBB16i16); break; 5173f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SBB32ri: SimplifyShortImmForm(OutMI, X86::SBB32i32); break; 5183f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SBB64ri32: SimplifyShortImmForm(OutMI, X86::SBB64i32); break; 5193f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SUB8ri: SimplifyShortImmForm(OutMI, X86::SUB8i8); break; 5203f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SUB16ri: SimplifyShortImmForm(OutMI, X86::SUB16i16); break; 5213f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SUB32ri: SimplifyShortImmForm(OutMI, X86::SUB32i32); break; 5223f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::SUB64ri32: SimplifyShortImmForm(OutMI, X86::SUB64i32); break; 5233f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::TEST8ri: SimplifyShortImmForm(OutMI, X86::TEST8i8); break; 5243f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::TEST16ri: SimplifyShortImmForm(OutMI, X86::TEST16i16); break; 5253f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::TEST32ri: SimplifyShortImmForm(OutMI, X86::TEST32i32); break; 5263f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::TEST64ri32: SimplifyShortImmForm(OutMI, X86::TEST64i32); break; 5273f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::XOR8ri: SimplifyShortImmForm(OutMI, X86::XOR8i8); break; 5283f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::XOR16ri: SimplifyShortImmForm(OutMI, X86::XOR16i16); break; 5293f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::XOR32ri: SimplifyShortImmForm(OutMI, X86::XOR32i32); break; 5303f40b31256b995e05edad1846e8d6c758df09ed8Daniel Dunbar case X86::XOR64ri32: SimplifyShortImmForm(OutMI, X86::XOR64i32); break; 531e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola 532e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola case X86::MORESTACK_RET: 533e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola OutMI.setOpcode(X86::RET); 534e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola break; 535e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola 536e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola case X86::MORESTACK_RET_RESTORE_R10: { 537e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola MCInst retInst; 538e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola 539e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola OutMI.setOpcode(X86::MOV64rr); 540e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola OutMI.addOperand(MCOperand::CreateReg(X86::R10)); 541e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola OutMI.addOperand(MCOperand::CreateReg(X86::RAX)); 542e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola 543e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola retInst.setOpcode(X86::RET); 544e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola AsmPrinter.OutStreamer.EmitInstruction(retInst); 545e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola break; 546e840e88239cf92a065cbf5f5b9c7d18bc139c0e1Rafael Espindola } 547522e9a0435ebba7b25802992031d0657654c281cChris Lattner } 5488fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner} 5498fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 550d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindolastatic void LowerTlsAddr(MCStreamer &OutStreamer, 551d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola X86MCInstLower &MCInstLowering, 552d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola const MachineInstr &MI) { 553d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola bool is64Bits = MI.getOpcode() == X86::TLS_addr64; 554d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCContext &context = OutStreamer.getContext(); 555d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 556d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola if (is64Bits) { 557d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCInst prefix; 558d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola prefix.setOpcode(X86::DATA16_PREFIX); 559d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola OutStreamer.EmitInstruction(prefix); 560d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola } 561d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCSymbol *sym = MCInstLowering.GetSymbolFromOperand(MI.getOperand(3)); 562d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola const MCSymbolRefExpr *symRef = 563d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCSymbolRefExpr::Create(sym, MCSymbolRefExpr::VK_TLSGD, context); 564d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 565d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCInst LEA; 566d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola if (is64Bits) { 567d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.setOpcode(X86::LEA64r); 568d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(X86::RDI)); // dest 569d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(X86::RIP)); // base 570d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateImm(1)); // scale 571d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(0)); // index 572d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp 573d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(0)); // seg 574d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola } else { 575d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.setOpcode(X86::LEA32r); 576d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(X86::EAX)); // dest 577d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(0)); // base 578d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateImm(1)); // scale 579d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(X86::EBX)); // index 580d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateExpr(symRef)); // disp 581d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola LEA.addOperand(MCOperand::CreateReg(0)); // seg 582d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola } 583d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola OutStreamer.EmitInstruction(LEA); 584d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 585d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola if (is64Bits) { 586d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCInst prefix; 587d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola prefix.setOpcode(X86::DATA16_PREFIX); 588d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola OutStreamer.EmitInstruction(prefix); 589d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola prefix.setOpcode(X86::DATA16_PREFIX); 590d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola OutStreamer.EmitInstruction(prefix); 591d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola prefix.setOpcode(X86::REX64_PREFIX); 592d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola OutStreamer.EmitInstruction(prefix); 593d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola } 594d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 595d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCInst call; 596d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola if (is64Bits) 597d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola call.setOpcode(X86::CALL64pcrel32); 598d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola else 599d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola call.setOpcode(X86::CALLpcrel32); 600d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola StringRef name = is64Bits ? "__tls_get_addr" : "___tls_get_addr"; 601d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCSymbol *tlsGetAddr = context.GetOrCreateSymbol(name); 602d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola const MCSymbolRefExpr *tlsRef = 603d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCSymbolRefExpr::Create(tlsGetAddr, 604d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola MCSymbolRefExpr::VK_PLT, 605d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola context); 606d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 607d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola call.addOperand(MCOperand::CreateExpr(tlsRef)); 608d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola OutStreamer.EmitInstruction(call); 609d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola} 61028ff35d030e2f49ff4e4b1544c015ebe011a530bDevang Patel 61114c38ec2afeaf25c53a50c2c65116aca8c889401Chris Lattnervoid X86AsmPrinter::EmitInstruction(const MachineInstr *MI) { 6122fec6c5ff153786744ba7d0d302b73179731c5e9Owen Anderson OutStreamer.EmitCodeRegion(); 6132fec6c5ff153786744ba7d0d302b73179731c5e9Owen Anderson 6140123c1da3592e99b3fa75c81cdffa20bfc622c12Chris Lattner X86MCInstLower MCInstLowering(Mang, *MF, *this); 6158fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner switch (MI->getOpcode()) { 61649d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen case TargetOpcode::DBG_VALUE: 61749d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen if (isVerbose() && OutStreamer.hasRawTextSupport()) { 61849d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen std::string TmpStr; 61949d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen raw_string_ostream OS(TmpStr); 62049d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen PrintDebugValueComment(MI, OS); 62149d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen OutStreamer.EmitRawText(StringRef(OS.str())); 62249d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen } 62349d915bb9a60b1dc9d1b5313dc8849427a034dfaDale Johannesen return; 624343b42e428079363ab09828734b2debfd7dbdc9eDale Johannesen 625c34ea3770e2d3f24c037d4f469d27c08f7b0cb4bEric Christopher // Emit nothing here but a comment if we can. 626c34ea3770e2d3f24c037d4f469d27c08f7b0cb4bEric Christopher case X86::Int_MemBarrier: 627c34ea3770e2d3f24c037d4f469d27c08f7b0cb4bEric Christopher if (OutStreamer.hasRawTextSupport()) 628c34ea3770e2d3f24c037d4f469d27c08f7b0cb4bEric Christopher OutStreamer.EmitRawText(StringRef("\t#MEMBARRIER")); 629c34ea3770e2d3f24c037d4f469d27c08f7b0cb4bEric Christopher return; 6302fec6c5ff153786744ba7d0d302b73179731c5e9Owen Anderson 631de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola 632de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola case X86::EH_RETURN: 633de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola case X86::EH_RETURN64: { 634de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola // Lower these as normal, but add some comments. 635de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola unsigned Reg = MI->getOperand(0).getReg(); 636de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola OutStreamer.AddComment(StringRef("eh_return, addr: %") + 637de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola X86ATTInstPrinter::getRegisterName(Reg)); 638de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola break; 639de42e5c09b1e1aa597de7b3e09775e26a0f68aa6Rafael Espindola } 640c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPr: 641c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPd: 642c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner case X86::TAILJMPd64: 643c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner // Lower these as normal, but add some comments. 644c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner OutStreamer.AddComment("TAILCALL"); 645c5f5626a29d9465eedbaea69b7c11033e97782aeChris Lattner break; 646d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 647d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola case X86::TLS_addr32: 648d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola case X86::TLS_addr64: 649d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola return LowerTlsAddr(OutStreamer, MCInstLowering, *MI); 650d652dbe72044b07a681b579a0a938c613ef15ae8Rafael Espindola 6518fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner case X86::MOVPC32r: { 6528fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner MCInst TmpInst; 6538fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // This is a pseudo op for a two instruction sequence with a label, which 6548fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // looks like: 6558fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // call "L1$pb" 6568fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // "L1$pb": 6578fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // popl %esi 6588fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 6598fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // Emit the call. 660142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner MCSymbol *PICBase = MF->getPICBaseSymbol(); 6618fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner TmpInst.setOpcode(X86::CALLpcrel32); 6628fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // FIXME: We would like an efficient form for this, so we don't have to do a 6638fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // lot of extra uniquing. 6648fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner TmpInst.addOperand(MCOperand::CreateExpr(MCSymbolRefExpr::Create(PICBase, 6658fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner OutContext))); 666c760be99db45492f06a0daf3d6942b0c55817aeeChris Lattner OutStreamer.EmitInstruction(TmpInst); 6678fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 6688fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // Emit the label. 6698fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner OutStreamer.EmitLabel(PICBase); 6708fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 6718fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner // popl $reg 6728fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner TmpInst.setOpcode(X86::POP32r); 6738fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner TmpInst.getOperand(0) = MCOperand::CreateReg(MI->getOperand(0).getReg()); 674c760be99db45492f06a0daf3d6942b0c55817aeeChris Lattner OutStreamer.EmitInstruction(TmpInst); 6758fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner return; 676e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner } 677e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 678e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner case X86::ADD32ri: { 679e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // Lower the MO_GOT_ABSOLUTE_ADDRESS form of ADD32ri. 680e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner if (MI->getOperand(2).getTargetFlags() != X86II::MO_GOT_ABSOLUTE_ADDRESS) 681e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner break; 682e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 683e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // Okay, we have something like: 684e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // EAX = ADD32ri EAX, MO_GOT_ABSOLUTE_ADDRESS(@MYGLOBAL) 685e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 686e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // For this, we want to print something like: 687e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // MYGLOBAL + (. - PICBASE) 688e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // However, we can't generate a ".", so just emit a new label here and refer 689b0f129a5d9e07870b3cd69b3a61fb69554ae774dChris Lattner // to it. 69077e76940269b1bed36bc31ee5139b5c90fd13836Chris Lattner MCSymbol *DotSym = OutContext.CreateTempSymbol(); 691e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner OutStreamer.EmitLabel(DotSym); 692e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 693e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner // Now that we have emitted the label, lower the complex operand expression. 6943484110c67d88f5ead0f0795b880056174f66811Chris Lattner MCSymbol *OpSym = MCInstLowering.GetSymbolFromOperand(MI->getOperand(2)); 695e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 696e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext); 697e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner const MCExpr *PICBase = 698142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner MCSymbolRefExpr::Create(MF->getPICBaseSymbol(), OutContext); 699e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner DotExpr = MCBinaryExpr::CreateSub(DotExpr, PICBase, OutContext); 700e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 701e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner DotExpr = MCBinaryExpr::CreateAdd(MCSymbolRefExpr::Create(OpSym,OutContext), 702e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner DotExpr, OutContext); 703e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner 704e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner MCInst TmpInst; 705e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner TmpInst.setOpcode(X86::ADD32ri); 706e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); 707e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg())); 708e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner TmpInst.addOperand(MCOperand::CreateExpr(DotExpr)); 709c760be99db45492f06a0daf3d6942b0c55817aeeChris Lattner OutStreamer.EmitInstruction(TmpInst); 710e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner return; 711e9434dbff40aafcd7e33210f88ff79e0dc7c833dChris Lattner } 7128fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner } 7138fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner 7148fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner MCInst TmpInst; 7158fea32f9ff5cec2165661a3da986abe29c9bddb1Chris Lattner MCInstLowering.Lower(MI, TmpInst); 716c760be99db45492f06a0daf3d6942b0c55817aeeChris Lattner OutStreamer.EmitInstruction(TmpInst); 717522e9a0435ebba7b25802992031d0657654c281cChris Lattner} 718cae05cb324031b16a71c56a2a01b489a7c28d365Chris Lattner 719