Path: blob/main/contrib/llvm-project/llvm/lib/Target/X86/MCTargetDesc/X86MCTargetDesc.cpp
35294 views
//===-- X86MCTargetDesc.cpp - X86 Target Descriptions ---------------------===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//7//8// This file provides X86 specific target descriptions.9//10//===----------------------------------------------------------------------===//1112#include "X86MCTargetDesc.h"13#include "TargetInfo/X86TargetInfo.h"14#include "X86ATTInstPrinter.h"15#include "X86BaseInfo.h"16#include "X86IntelInstPrinter.h"17#include "X86MCAsmInfo.h"18#include "X86TargetStreamer.h"19#include "llvm/ADT/APInt.h"20#include "llvm/DebugInfo/CodeView/CodeView.h"21#include "llvm/MC/MCDwarf.h"22#include "llvm/MC/MCInstrAnalysis.h"23#include "llvm/MC/MCInstrInfo.h"24#include "llvm/MC/MCRegisterInfo.h"25#include "llvm/MC/MCStreamer.h"26#include "llvm/MC/MCSubtargetInfo.h"27#include "llvm/MC/MachineLocation.h"28#include "llvm/MC/TargetRegistry.h"29#include "llvm/Support/ErrorHandling.h"30#include "llvm/TargetParser/Host.h"31#include "llvm/TargetParser/Triple.h"3233using namespace llvm;3435#define GET_REGINFO_MC_DESC36#include "X86GenRegisterInfo.inc"3738#define GET_INSTRINFO_MC_DESC39#define GET_INSTRINFO_MC_HELPERS40#define ENABLE_INSTR_PREDICATE_VERIFIER41#include "X86GenInstrInfo.inc"4243#define GET_SUBTARGETINFO_MC_DESC44#include "X86GenSubtargetInfo.inc"4546std::string X86_MC::ParseX86Triple(const Triple &TT) {47std::string FS;48// SSE2 should default to enabled in 64-bit mode, but can be turned off49// explicitly.50if (TT.isArch64Bit())51FS = "+64bit-mode,-32bit-mode,-16bit-mode,+sse2";52else if (TT.getEnvironment() != Triple::CODE16)53FS = "-64bit-mode,+32bit-mode,-16bit-mode";54else55FS = "-64bit-mode,-32bit-mode,+16bit-mode";5657return FS;58}5960unsigned X86_MC::getDwarfRegFlavour(const Triple &TT, bool isEH) {61if (TT.getArch() == Triple::x86_64)62return DWARFFlavour::X86_64;6364if (TT.isOSDarwin())65return isEH ? DWARFFlavour::X86_32_DarwinEH : DWARFFlavour::X86_32_Generic;66if (TT.isOSCygMing())67// Unsupported by now, just quick fallback68return DWARFFlavour::X86_32_Generic;69return DWARFFlavour::X86_32_Generic;70}7172bool X86_MC::hasLockPrefix(const MCInst &MI) {73return MI.getFlags() & X86::IP_HAS_LOCK;74}7576static bool isMemOperand(const MCInst &MI, unsigned Op, unsigned RegClassID) {77const MCOperand &Base = MI.getOperand(Op + X86::AddrBaseReg);78const MCOperand &Index = MI.getOperand(Op + X86::AddrIndexReg);79const MCRegisterClass &RC = X86MCRegisterClasses[RegClassID];8081return (Base.isReg() && Base.getReg() != 0 && RC.contains(Base.getReg())) ||82(Index.isReg() && Index.getReg() != 0 && RC.contains(Index.getReg()));83}8485bool X86_MC::is16BitMemOperand(const MCInst &MI, unsigned Op,86const MCSubtargetInfo &STI) {87const MCOperand &Base = MI.getOperand(Op + X86::AddrBaseReg);88const MCOperand &Index = MI.getOperand(Op + X86::AddrIndexReg);8990if (STI.hasFeature(X86::Is16Bit) && Base.isReg() && Base.getReg() == 0 &&91Index.isReg() && Index.getReg() == 0)92return true;93return isMemOperand(MI, Op, X86::GR16RegClassID);94}9596bool X86_MC::is32BitMemOperand(const MCInst &MI, unsigned Op) {97const MCOperand &Base = MI.getOperand(Op + X86::AddrBaseReg);98const MCOperand &Index = MI.getOperand(Op + X86::AddrIndexReg);99if (Base.isReg() && Base.getReg() == X86::EIP) {100assert(Index.isReg() && Index.getReg() == 0 && "Invalid eip-based address");101return true;102}103if (Index.isReg() && Index.getReg() == X86::EIZ)104return true;105return isMemOperand(MI, Op, X86::GR32RegClassID);106}107108#ifndef NDEBUG109bool X86_MC::is64BitMemOperand(const MCInst &MI, unsigned Op) {110return isMemOperand(MI, Op, X86::GR64RegClassID);111}112#endif113114bool X86_MC::needsAddressSizeOverride(const MCInst &MI,115const MCSubtargetInfo &STI,116int MemoryOperand, uint64_t TSFlags) {117uint64_t AdSize = TSFlags & X86II::AdSizeMask;118bool Is16BitMode = STI.hasFeature(X86::Is16Bit);119bool Is32BitMode = STI.hasFeature(X86::Is32Bit);120bool Is64BitMode = STI.hasFeature(X86::Is64Bit);121if ((Is16BitMode && AdSize == X86II::AdSize32) ||122(Is32BitMode && AdSize == X86II::AdSize16) ||123(Is64BitMode && AdSize == X86II::AdSize32))124return true;125uint64_t Form = TSFlags & X86II::FormMask;126switch (Form) {127default:128break;129case X86II::RawFrmDstSrc: {130unsigned siReg = MI.getOperand(1).getReg();131assert(((siReg == X86::SI && MI.getOperand(0).getReg() == X86::DI) ||132(siReg == X86::ESI && MI.getOperand(0).getReg() == X86::EDI) ||133(siReg == X86::RSI && MI.getOperand(0).getReg() == X86::RDI)) &&134"SI and DI register sizes do not match");135return (!Is32BitMode && siReg == X86::ESI) ||136(Is32BitMode && siReg == X86::SI);137}138case X86II::RawFrmSrc: {139unsigned siReg = MI.getOperand(0).getReg();140return (!Is32BitMode && siReg == X86::ESI) ||141(Is32BitMode && siReg == X86::SI);142}143case X86II::RawFrmDst: {144unsigned siReg = MI.getOperand(0).getReg();145return (!Is32BitMode && siReg == X86::EDI) ||146(Is32BitMode && siReg == X86::DI);147}148}149150// Determine where the memory operand starts, if present.151if (MemoryOperand < 0)152return false;153154if (STI.hasFeature(X86::Is64Bit)) {155assert(!is16BitMemOperand(MI, MemoryOperand, STI));156return is32BitMemOperand(MI, MemoryOperand);157}158if (STI.hasFeature(X86::Is32Bit)) {159assert(!is64BitMemOperand(MI, MemoryOperand));160return is16BitMemOperand(MI, MemoryOperand, STI);161}162assert(STI.hasFeature(X86::Is16Bit));163assert(!is64BitMemOperand(MI, MemoryOperand));164return !is16BitMemOperand(MI, MemoryOperand, STI);165}166167void X86_MC::initLLVMToSEHAndCVRegMapping(MCRegisterInfo *MRI) {168// FIXME: TableGen these.169for (unsigned Reg = X86::NoRegister + 1; Reg < X86::NUM_TARGET_REGS; ++Reg) {170unsigned SEH = MRI->getEncodingValue(Reg);171MRI->mapLLVMRegToSEHReg(Reg, SEH);172}173174// Mapping from CodeView to MC register id.175static const struct {176codeview::RegisterId CVReg;177MCPhysReg Reg;178} RegMap[] = {179{codeview::RegisterId::AL, X86::AL},180{codeview::RegisterId::CL, X86::CL},181{codeview::RegisterId::DL, X86::DL},182{codeview::RegisterId::BL, X86::BL},183{codeview::RegisterId::AH, X86::AH},184{codeview::RegisterId::CH, X86::CH},185{codeview::RegisterId::DH, X86::DH},186{codeview::RegisterId::BH, X86::BH},187{codeview::RegisterId::AX, X86::AX},188{codeview::RegisterId::CX, X86::CX},189{codeview::RegisterId::DX, X86::DX},190{codeview::RegisterId::BX, X86::BX},191{codeview::RegisterId::SP, X86::SP},192{codeview::RegisterId::BP, X86::BP},193{codeview::RegisterId::SI, X86::SI},194{codeview::RegisterId::DI, X86::DI},195{codeview::RegisterId::EAX, X86::EAX},196{codeview::RegisterId::ECX, X86::ECX},197{codeview::RegisterId::EDX, X86::EDX},198{codeview::RegisterId::EBX, X86::EBX},199{codeview::RegisterId::ESP, X86::ESP},200{codeview::RegisterId::EBP, X86::EBP},201{codeview::RegisterId::ESI, X86::ESI},202{codeview::RegisterId::EDI, X86::EDI},203204{codeview::RegisterId::EFLAGS, X86::EFLAGS},205206{codeview::RegisterId::ST0, X86::ST0},207{codeview::RegisterId::ST1, X86::ST1},208{codeview::RegisterId::ST2, X86::ST2},209{codeview::RegisterId::ST3, X86::ST3},210{codeview::RegisterId::ST4, X86::ST4},211{codeview::RegisterId::ST5, X86::ST5},212{codeview::RegisterId::ST6, X86::ST6},213{codeview::RegisterId::ST7, X86::ST7},214215{codeview::RegisterId::ST0, X86::FP0},216{codeview::RegisterId::ST1, X86::FP1},217{codeview::RegisterId::ST2, X86::FP2},218{codeview::RegisterId::ST3, X86::FP3},219{codeview::RegisterId::ST4, X86::FP4},220{codeview::RegisterId::ST5, X86::FP5},221{codeview::RegisterId::ST6, X86::FP6},222{codeview::RegisterId::ST7, X86::FP7},223224{codeview::RegisterId::MM0, X86::MM0},225{codeview::RegisterId::MM1, X86::MM1},226{codeview::RegisterId::MM2, X86::MM2},227{codeview::RegisterId::MM3, X86::MM3},228{codeview::RegisterId::MM4, X86::MM4},229{codeview::RegisterId::MM5, X86::MM5},230{codeview::RegisterId::MM6, X86::MM6},231{codeview::RegisterId::MM7, X86::MM7},232233{codeview::RegisterId::XMM0, X86::XMM0},234{codeview::RegisterId::XMM1, X86::XMM1},235{codeview::RegisterId::XMM2, X86::XMM2},236{codeview::RegisterId::XMM3, X86::XMM3},237{codeview::RegisterId::XMM4, X86::XMM4},238{codeview::RegisterId::XMM5, X86::XMM5},239{codeview::RegisterId::XMM6, X86::XMM6},240{codeview::RegisterId::XMM7, X86::XMM7},241242{codeview::RegisterId::XMM8, X86::XMM8},243{codeview::RegisterId::XMM9, X86::XMM9},244{codeview::RegisterId::XMM10, X86::XMM10},245{codeview::RegisterId::XMM11, X86::XMM11},246{codeview::RegisterId::XMM12, X86::XMM12},247{codeview::RegisterId::XMM13, X86::XMM13},248{codeview::RegisterId::XMM14, X86::XMM14},249{codeview::RegisterId::XMM15, X86::XMM15},250251{codeview::RegisterId::SIL, X86::SIL},252{codeview::RegisterId::DIL, X86::DIL},253{codeview::RegisterId::BPL, X86::BPL},254{codeview::RegisterId::SPL, X86::SPL},255{codeview::RegisterId::RAX, X86::RAX},256{codeview::RegisterId::RBX, X86::RBX},257{codeview::RegisterId::RCX, X86::RCX},258{codeview::RegisterId::RDX, X86::RDX},259{codeview::RegisterId::RSI, X86::RSI},260{codeview::RegisterId::RDI, X86::RDI},261{codeview::RegisterId::RBP, X86::RBP},262{codeview::RegisterId::RSP, X86::RSP},263{codeview::RegisterId::R8, X86::R8},264{codeview::RegisterId::R9, X86::R9},265{codeview::RegisterId::R10, X86::R10},266{codeview::RegisterId::R11, X86::R11},267{codeview::RegisterId::R12, X86::R12},268{codeview::RegisterId::R13, X86::R13},269{codeview::RegisterId::R14, X86::R14},270{codeview::RegisterId::R15, X86::R15},271{codeview::RegisterId::R8B, X86::R8B},272{codeview::RegisterId::R9B, X86::R9B},273{codeview::RegisterId::R10B, X86::R10B},274{codeview::RegisterId::R11B, X86::R11B},275{codeview::RegisterId::R12B, X86::R12B},276{codeview::RegisterId::R13B, X86::R13B},277{codeview::RegisterId::R14B, X86::R14B},278{codeview::RegisterId::R15B, X86::R15B},279{codeview::RegisterId::R8W, X86::R8W},280{codeview::RegisterId::R9W, X86::R9W},281{codeview::RegisterId::R10W, X86::R10W},282{codeview::RegisterId::R11W, X86::R11W},283{codeview::RegisterId::R12W, X86::R12W},284{codeview::RegisterId::R13W, X86::R13W},285{codeview::RegisterId::R14W, X86::R14W},286{codeview::RegisterId::R15W, X86::R15W},287{codeview::RegisterId::R8D, X86::R8D},288{codeview::RegisterId::R9D, X86::R9D},289{codeview::RegisterId::R10D, X86::R10D},290{codeview::RegisterId::R11D, X86::R11D},291{codeview::RegisterId::R12D, X86::R12D},292{codeview::RegisterId::R13D, X86::R13D},293{codeview::RegisterId::R14D, X86::R14D},294{codeview::RegisterId::R15D, X86::R15D},295{codeview::RegisterId::AMD64_YMM0, X86::YMM0},296{codeview::RegisterId::AMD64_YMM1, X86::YMM1},297{codeview::RegisterId::AMD64_YMM2, X86::YMM2},298{codeview::RegisterId::AMD64_YMM3, X86::YMM3},299{codeview::RegisterId::AMD64_YMM4, X86::YMM4},300{codeview::RegisterId::AMD64_YMM5, X86::YMM5},301{codeview::RegisterId::AMD64_YMM6, X86::YMM6},302{codeview::RegisterId::AMD64_YMM7, X86::YMM7},303{codeview::RegisterId::AMD64_YMM8, X86::YMM8},304{codeview::RegisterId::AMD64_YMM9, X86::YMM9},305{codeview::RegisterId::AMD64_YMM10, X86::YMM10},306{codeview::RegisterId::AMD64_YMM11, X86::YMM11},307{codeview::RegisterId::AMD64_YMM12, X86::YMM12},308{codeview::RegisterId::AMD64_YMM13, X86::YMM13},309{codeview::RegisterId::AMD64_YMM14, X86::YMM14},310{codeview::RegisterId::AMD64_YMM15, X86::YMM15},311{codeview::RegisterId::AMD64_YMM16, X86::YMM16},312{codeview::RegisterId::AMD64_YMM17, X86::YMM17},313{codeview::RegisterId::AMD64_YMM18, X86::YMM18},314{codeview::RegisterId::AMD64_YMM19, X86::YMM19},315{codeview::RegisterId::AMD64_YMM20, X86::YMM20},316{codeview::RegisterId::AMD64_YMM21, X86::YMM21},317{codeview::RegisterId::AMD64_YMM22, X86::YMM22},318{codeview::RegisterId::AMD64_YMM23, X86::YMM23},319{codeview::RegisterId::AMD64_YMM24, X86::YMM24},320{codeview::RegisterId::AMD64_YMM25, X86::YMM25},321{codeview::RegisterId::AMD64_YMM26, X86::YMM26},322{codeview::RegisterId::AMD64_YMM27, X86::YMM27},323{codeview::RegisterId::AMD64_YMM28, X86::YMM28},324{codeview::RegisterId::AMD64_YMM29, X86::YMM29},325{codeview::RegisterId::AMD64_YMM30, X86::YMM30},326{codeview::RegisterId::AMD64_YMM31, X86::YMM31},327{codeview::RegisterId::AMD64_ZMM0, X86::ZMM0},328{codeview::RegisterId::AMD64_ZMM1, X86::ZMM1},329{codeview::RegisterId::AMD64_ZMM2, X86::ZMM2},330{codeview::RegisterId::AMD64_ZMM3, X86::ZMM3},331{codeview::RegisterId::AMD64_ZMM4, X86::ZMM4},332{codeview::RegisterId::AMD64_ZMM5, X86::ZMM5},333{codeview::RegisterId::AMD64_ZMM6, X86::ZMM6},334{codeview::RegisterId::AMD64_ZMM7, X86::ZMM7},335{codeview::RegisterId::AMD64_ZMM8, X86::ZMM8},336{codeview::RegisterId::AMD64_ZMM9, X86::ZMM9},337{codeview::RegisterId::AMD64_ZMM10, X86::ZMM10},338{codeview::RegisterId::AMD64_ZMM11, X86::ZMM11},339{codeview::RegisterId::AMD64_ZMM12, X86::ZMM12},340{codeview::RegisterId::AMD64_ZMM13, X86::ZMM13},341{codeview::RegisterId::AMD64_ZMM14, X86::ZMM14},342{codeview::RegisterId::AMD64_ZMM15, X86::ZMM15},343{codeview::RegisterId::AMD64_ZMM16, X86::ZMM16},344{codeview::RegisterId::AMD64_ZMM17, X86::ZMM17},345{codeview::RegisterId::AMD64_ZMM18, X86::ZMM18},346{codeview::RegisterId::AMD64_ZMM19, X86::ZMM19},347{codeview::RegisterId::AMD64_ZMM20, X86::ZMM20},348{codeview::RegisterId::AMD64_ZMM21, X86::ZMM21},349{codeview::RegisterId::AMD64_ZMM22, X86::ZMM22},350{codeview::RegisterId::AMD64_ZMM23, X86::ZMM23},351{codeview::RegisterId::AMD64_ZMM24, X86::ZMM24},352{codeview::RegisterId::AMD64_ZMM25, X86::ZMM25},353{codeview::RegisterId::AMD64_ZMM26, X86::ZMM26},354{codeview::RegisterId::AMD64_ZMM27, X86::ZMM27},355{codeview::RegisterId::AMD64_ZMM28, X86::ZMM28},356{codeview::RegisterId::AMD64_ZMM29, X86::ZMM29},357{codeview::RegisterId::AMD64_ZMM30, X86::ZMM30},358{codeview::RegisterId::AMD64_ZMM31, X86::ZMM31},359{codeview::RegisterId::AMD64_K0, X86::K0},360{codeview::RegisterId::AMD64_K1, X86::K1},361{codeview::RegisterId::AMD64_K2, X86::K2},362{codeview::RegisterId::AMD64_K3, X86::K3},363{codeview::RegisterId::AMD64_K4, X86::K4},364{codeview::RegisterId::AMD64_K5, X86::K5},365{codeview::RegisterId::AMD64_K6, X86::K6},366{codeview::RegisterId::AMD64_K7, X86::K7},367{codeview::RegisterId::AMD64_XMM16, X86::XMM16},368{codeview::RegisterId::AMD64_XMM17, X86::XMM17},369{codeview::RegisterId::AMD64_XMM18, X86::XMM18},370{codeview::RegisterId::AMD64_XMM19, X86::XMM19},371{codeview::RegisterId::AMD64_XMM20, X86::XMM20},372{codeview::RegisterId::AMD64_XMM21, X86::XMM21},373{codeview::RegisterId::AMD64_XMM22, X86::XMM22},374{codeview::RegisterId::AMD64_XMM23, X86::XMM23},375{codeview::RegisterId::AMD64_XMM24, X86::XMM24},376{codeview::RegisterId::AMD64_XMM25, X86::XMM25},377{codeview::RegisterId::AMD64_XMM26, X86::XMM26},378{codeview::RegisterId::AMD64_XMM27, X86::XMM27},379{codeview::RegisterId::AMD64_XMM28, X86::XMM28},380{codeview::RegisterId::AMD64_XMM29, X86::XMM29},381{codeview::RegisterId::AMD64_XMM30, X86::XMM30},382{codeview::RegisterId::AMD64_XMM31, X86::XMM31},383384};385for (const auto &I : RegMap)386MRI->mapLLVMRegToCVReg(I.Reg, static_cast<int>(I.CVReg));387}388389MCSubtargetInfo *X86_MC::createX86MCSubtargetInfo(const Triple &TT,390StringRef CPU, StringRef FS) {391std::string ArchFS = X86_MC::ParseX86Triple(TT);392assert(!ArchFS.empty() && "Failed to parse X86 triple");393if (!FS.empty())394ArchFS = (Twine(ArchFS) + "," + FS).str();395396if (CPU.empty())397CPU = "generic";398399size_t posNoEVEX512 = FS.rfind("-evex512");400// Make sure we won't be cheated by "-avx512fp16".401size_t posNoAVX512F =402FS.ends_with("-avx512f") ? FS.size() - 8 : FS.rfind("-avx512f,");403size_t posEVEX512 = FS.rfind("+evex512");404size_t posAVX512F = FS.rfind("+avx512"); // Any AVX512XXX will enable AVX512F.405406if (posAVX512F != StringRef::npos &&407(posNoAVX512F == StringRef::npos || posNoAVX512F < posAVX512F))408if (posEVEX512 == StringRef::npos && posNoEVEX512 == StringRef::npos)409ArchFS += ",+evex512";410411return createX86MCSubtargetInfoImpl(TT, CPU, /*TuneCPU*/ CPU, ArchFS);412}413414static MCInstrInfo *createX86MCInstrInfo() {415MCInstrInfo *X = new MCInstrInfo();416InitX86MCInstrInfo(X);417return X;418}419420static MCRegisterInfo *createX86MCRegisterInfo(const Triple &TT) {421unsigned RA = (TT.getArch() == Triple::x86_64)422? X86::RIP // Should have dwarf #16.423: X86::EIP; // Should have dwarf #8.424425MCRegisterInfo *X = new MCRegisterInfo();426InitX86MCRegisterInfo(X, RA, X86_MC::getDwarfRegFlavour(TT, false),427X86_MC::getDwarfRegFlavour(TT, true), RA);428X86_MC::initLLVMToSEHAndCVRegMapping(X);429return X;430}431432static MCAsmInfo *createX86MCAsmInfo(const MCRegisterInfo &MRI,433const Triple &TheTriple,434const MCTargetOptions &Options) {435bool is64Bit = TheTriple.getArch() == Triple::x86_64;436437MCAsmInfo *MAI;438if (TheTriple.isOSBinFormatMachO()) {439if (is64Bit)440MAI = new X86_64MCAsmInfoDarwin(TheTriple);441else442MAI = new X86MCAsmInfoDarwin(TheTriple);443} else if (TheTriple.isOSBinFormatELF()) {444// Force the use of an ELF container.445MAI = new X86ELFMCAsmInfo(TheTriple);446} else if (TheTriple.isWindowsMSVCEnvironment() ||447TheTriple.isWindowsCoreCLREnvironment()) {448if (Options.getAssemblyLanguage().equals_insensitive("masm"))449MAI = new X86MCAsmInfoMicrosoftMASM(TheTriple);450else451MAI = new X86MCAsmInfoMicrosoft(TheTriple);452} else if (TheTriple.isOSCygMing() ||453TheTriple.isWindowsItaniumEnvironment()) {454MAI = new X86MCAsmInfoGNUCOFF(TheTriple);455} else if (TheTriple.isUEFI()) {456MAI = new X86MCAsmInfoGNUCOFF(TheTriple);457} else {458// The default is ELF.459MAI = new X86ELFMCAsmInfo(TheTriple);460}461462// Initialize initial frame state.463// Calculate amount of bytes used for return address storing464int stackGrowth = is64Bit ? -8 : -4;465466// Initial state of the frame pointer is esp+stackGrowth.467unsigned StackPtr = is64Bit ? X86::RSP : X86::ESP;468MCCFIInstruction Inst = MCCFIInstruction::cfiDefCfa(469nullptr, MRI.getDwarfRegNum(StackPtr, true), -stackGrowth);470MAI->addInitialFrameState(Inst);471472// Add return address to move list473unsigned InstPtr = is64Bit ? X86::RIP : X86::EIP;474MCCFIInstruction Inst2 = MCCFIInstruction::createOffset(475nullptr, MRI.getDwarfRegNum(InstPtr, true), stackGrowth);476MAI->addInitialFrameState(Inst2);477478return MAI;479}480481static MCInstPrinter *createX86MCInstPrinter(const Triple &T,482unsigned SyntaxVariant,483const MCAsmInfo &MAI,484const MCInstrInfo &MII,485const MCRegisterInfo &MRI) {486if (SyntaxVariant == 0)487return new X86ATTInstPrinter(MAI, MII, MRI);488if (SyntaxVariant == 1)489return new X86IntelInstPrinter(MAI, MII, MRI);490return nullptr;491}492493static MCRelocationInfo *createX86MCRelocationInfo(const Triple &TheTriple,494MCContext &Ctx) {495// Default to the stock relocation info.496return llvm::createMCRelocationInfo(TheTriple, Ctx);497}498499namespace llvm {500namespace X86_MC {501502class X86MCInstrAnalysis : public MCInstrAnalysis {503X86MCInstrAnalysis(const X86MCInstrAnalysis &) = delete;504X86MCInstrAnalysis &operator=(const X86MCInstrAnalysis &) = delete;505virtual ~X86MCInstrAnalysis() = default;506507public:508X86MCInstrAnalysis(const MCInstrInfo *MCII) : MCInstrAnalysis(MCII) {}509510#define GET_STIPREDICATE_DECLS_FOR_MC_ANALYSIS511#include "X86GenSubtargetInfo.inc"512513bool clearsSuperRegisters(const MCRegisterInfo &MRI, const MCInst &Inst,514APInt &Mask) const override;515std::vector<std::pair<uint64_t, uint64_t>>516findPltEntries(uint64_t PltSectionVA, ArrayRef<uint8_t> PltContents,517const Triple &TargetTriple) const override;518519bool evaluateBranch(const MCInst &Inst, uint64_t Addr, uint64_t Size,520uint64_t &Target) const override;521std::optional<uint64_t>522evaluateMemoryOperandAddress(const MCInst &Inst, const MCSubtargetInfo *STI,523uint64_t Addr, uint64_t Size) const override;524std::optional<uint64_t>525getMemoryOperandRelocationOffset(const MCInst &Inst,526uint64_t Size) const override;527};528529#define GET_STIPREDICATE_DEFS_FOR_MC_ANALYSIS530#include "X86GenSubtargetInfo.inc"531532bool X86MCInstrAnalysis::clearsSuperRegisters(const MCRegisterInfo &MRI,533const MCInst &Inst,534APInt &Mask) const {535const MCInstrDesc &Desc = Info->get(Inst.getOpcode());536unsigned NumDefs = Desc.getNumDefs();537unsigned NumImplicitDefs = Desc.implicit_defs().size();538assert(Mask.getBitWidth() == NumDefs + NumImplicitDefs &&539"Unexpected number of bits in the mask!");540541bool HasVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::VEX;542bool HasEVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::EVEX;543bool HasXOP = (Desc.TSFlags & X86II::EncodingMask) == X86II::XOP;544545const MCRegisterClass &GR32RC = MRI.getRegClass(X86::GR32RegClassID);546const MCRegisterClass &VR128XRC = MRI.getRegClass(X86::VR128XRegClassID);547const MCRegisterClass &VR256XRC = MRI.getRegClass(X86::VR256XRegClassID);548549auto ClearsSuperReg = [=](unsigned RegID) {550// On X86-64, a general purpose integer register is viewed as a 64-bit551// register internal to the processor.552// An update to the lower 32 bits of a 64 bit integer register is553// architecturally defined to zero extend the upper 32 bits.554if (GR32RC.contains(RegID))555return true;556557// Early exit if this instruction has no vex/evex/xop prefix.558if (!HasEVEX && !HasVEX && !HasXOP)559return false;560561// All VEX and EVEX encoded instructions are defined to zero the high bits562// of the destination register up to VLMAX (i.e. the maximum vector register563// width pertaining to the instruction).564// We assume the same behavior for XOP instructions too.565return VR128XRC.contains(RegID) || VR256XRC.contains(RegID);566};567568Mask.clearAllBits();569for (unsigned I = 0, E = NumDefs; I < E; ++I) {570const MCOperand &Op = Inst.getOperand(I);571if (ClearsSuperReg(Op.getReg()))572Mask.setBit(I);573}574575for (unsigned I = 0, E = NumImplicitDefs; I < E; ++I) {576const MCPhysReg Reg = Desc.implicit_defs()[I];577if (ClearsSuperReg(Reg))578Mask.setBit(NumDefs + I);579}580581return Mask.getBoolValue();582}583584static std::vector<std::pair<uint64_t, uint64_t>>585findX86PltEntries(uint64_t PltSectionVA, ArrayRef<uint8_t> PltContents) {586// Do a lightweight parsing of PLT entries.587std::vector<std::pair<uint64_t, uint64_t>> Result;588for (uint64_t Byte = 0, End = PltContents.size(); Byte + 6 < End; ) {589// Recognize a jmp.590if (PltContents[Byte] == 0xff && PltContents[Byte + 1] == 0xa3) {591// The jmp instruction at the beginning of each PLT entry jumps to the592// address of the base of the .got.plt section plus the immediate.593// Set the 1 << 32 bit to let ELFObjectFileBase::getPltEntries convert the594// offset to an address. Imm may be a negative int32_t if the GOT entry is595// in .got.596uint32_t Imm = support::endian::read32le(PltContents.data() + Byte + 2);597Result.emplace_back(PltSectionVA + Byte, Imm | (uint64_t(1) << 32));598Byte += 6;599} else if (PltContents[Byte] == 0xff && PltContents[Byte + 1] == 0x25) {600// The jmp instruction at the beginning of each PLT entry jumps to the601// immediate.602uint32_t Imm = support::endian::read32le(PltContents.data() + Byte + 2);603Result.push_back(std::make_pair(PltSectionVA + Byte, Imm));604Byte += 6;605} else606Byte++;607}608return Result;609}610611static std::vector<std::pair<uint64_t, uint64_t>>612findX86_64PltEntries(uint64_t PltSectionVA, ArrayRef<uint8_t> PltContents) {613// Do a lightweight parsing of PLT entries.614std::vector<std::pair<uint64_t, uint64_t>> Result;615for (uint64_t Byte = 0, End = PltContents.size(); Byte + 6 < End; ) {616// Recognize a jmp.617if (PltContents[Byte] == 0xff && PltContents[Byte + 1] == 0x25) {618// The jmp instruction at the beginning of each PLT entry jumps to the619// address of the next instruction plus the immediate.620uint32_t Imm = support::endian::read32le(PltContents.data() + Byte + 2);621Result.push_back(622std::make_pair(PltSectionVA + Byte, PltSectionVA + Byte + 6 + Imm));623Byte += 6;624} else625Byte++;626}627return Result;628}629630std::vector<std::pair<uint64_t, uint64_t>>631X86MCInstrAnalysis::findPltEntries(uint64_t PltSectionVA,632ArrayRef<uint8_t> PltContents,633const Triple &TargetTriple) const {634switch (TargetTriple.getArch()) {635case Triple::x86:636return findX86PltEntries(PltSectionVA, PltContents);637case Triple::x86_64:638return findX86_64PltEntries(PltSectionVA, PltContents);639default:640return {};641}642}643644bool X86MCInstrAnalysis::evaluateBranch(const MCInst &Inst, uint64_t Addr,645uint64_t Size, uint64_t &Target) const {646if (Inst.getNumOperands() == 0 ||647Info->get(Inst.getOpcode()).operands()[0].OperandType !=648MCOI::OPERAND_PCREL)649return false;650Target = Addr + Size + Inst.getOperand(0).getImm();651return true;652}653654std::optional<uint64_t> X86MCInstrAnalysis::evaluateMemoryOperandAddress(655const MCInst &Inst, const MCSubtargetInfo *STI, uint64_t Addr,656uint64_t Size) const {657const MCInstrDesc &MCID = Info->get(Inst.getOpcode());658int MemOpStart = X86II::getMemoryOperandNo(MCID.TSFlags);659if (MemOpStart == -1)660return std::nullopt;661MemOpStart += X86II::getOperandBias(MCID);662663const MCOperand &SegReg = Inst.getOperand(MemOpStart + X86::AddrSegmentReg);664const MCOperand &BaseReg = Inst.getOperand(MemOpStart + X86::AddrBaseReg);665const MCOperand &IndexReg = Inst.getOperand(MemOpStart + X86::AddrIndexReg);666const MCOperand &ScaleAmt = Inst.getOperand(MemOpStart + X86::AddrScaleAmt);667const MCOperand &Disp = Inst.getOperand(MemOpStart + X86::AddrDisp);668if (SegReg.getReg() != 0 || IndexReg.getReg() != 0 || ScaleAmt.getImm() != 1 ||669!Disp.isImm())670return std::nullopt;671672// RIP-relative addressing.673if (BaseReg.getReg() == X86::RIP)674return Addr + Size + Disp.getImm();675676return std::nullopt;677}678679std::optional<uint64_t>680X86MCInstrAnalysis::getMemoryOperandRelocationOffset(const MCInst &Inst,681uint64_t Size) const {682if (Inst.getOpcode() != X86::LEA64r)683return std::nullopt;684const MCInstrDesc &MCID = Info->get(Inst.getOpcode());685int MemOpStart = X86II::getMemoryOperandNo(MCID.TSFlags);686if (MemOpStart == -1)687return std::nullopt;688MemOpStart += X86II::getOperandBias(MCID);689const MCOperand &SegReg = Inst.getOperand(MemOpStart + X86::AddrSegmentReg);690const MCOperand &BaseReg = Inst.getOperand(MemOpStart + X86::AddrBaseReg);691const MCOperand &IndexReg = Inst.getOperand(MemOpStart + X86::AddrIndexReg);692const MCOperand &ScaleAmt = Inst.getOperand(MemOpStart + X86::AddrScaleAmt);693const MCOperand &Disp = Inst.getOperand(MemOpStart + X86::AddrDisp);694// Must be a simple rip-relative address.695if (BaseReg.getReg() != X86::RIP || SegReg.getReg() != 0 ||696IndexReg.getReg() != 0 || ScaleAmt.getImm() != 1 || !Disp.isImm())697return std::nullopt;698// rip-relative ModR/M immediate is 32 bits.699assert(Size > 4 && "invalid instruction size for rip-relative lea");700return Size - 4;701}702703} // end of namespace X86_MC704705} // end of namespace llvm706707static MCInstrAnalysis *createX86MCInstrAnalysis(const MCInstrInfo *Info) {708return new X86_MC::X86MCInstrAnalysis(Info);709}710711// Force static initialization.712extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeX86TargetMC() {713for (Target *T : {&getTheX86_32Target(), &getTheX86_64Target()}) {714// Register the MC asm info.715RegisterMCAsmInfoFn X(*T, createX86MCAsmInfo);716717// Register the MC instruction info.718TargetRegistry::RegisterMCInstrInfo(*T, createX86MCInstrInfo);719720// Register the MC register info.721TargetRegistry::RegisterMCRegInfo(*T, createX86MCRegisterInfo);722723// Register the MC subtarget info.724TargetRegistry::RegisterMCSubtargetInfo(*T,725X86_MC::createX86MCSubtargetInfo);726727// Register the MC instruction analyzer.728TargetRegistry::RegisterMCInstrAnalysis(*T, createX86MCInstrAnalysis);729730// Register the code emitter.731TargetRegistry::RegisterMCCodeEmitter(*T, createX86MCCodeEmitter);732733// Register the obj target streamer.734TargetRegistry::RegisterObjectTargetStreamer(*T,735createX86ObjectTargetStreamer);736737// Register the asm target streamer.738TargetRegistry::RegisterAsmTargetStreamer(*T, createX86AsmTargetStreamer);739740// Register the null streamer.741TargetRegistry::RegisterNullTargetStreamer(*T, createX86NullTargetStreamer);742743TargetRegistry::RegisterCOFFStreamer(*T, createX86WinCOFFStreamer);744TargetRegistry::RegisterELFStreamer(*T, createX86ELFStreamer);745746// Register the MCInstPrinter.747TargetRegistry::RegisterMCInstPrinter(*T, createX86MCInstPrinter);748749// Register the MC relocation info.750TargetRegistry::RegisterMCRelocationInfo(*T, createX86MCRelocationInfo);751}752753// Register the asm backend.754TargetRegistry::RegisterMCAsmBackend(getTheX86_32Target(),755createX86_32AsmBackend);756TargetRegistry::RegisterMCAsmBackend(getTheX86_64Target(),757createX86_64AsmBackend);758}759760MCRegister llvm::getX86SubSuperRegister(MCRegister Reg, unsigned Size,761bool High) {762#define DEFAULT_NOREG \763default: \764return X86::NoRegister;765#define SUB_SUPER(R1, R2, R3, R4, R) \766case X86::R1: \767case X86::R2: \768case X86::R3: \769case X86::R4: \770return X86::R;771#define A_SUB_SUPER(R) \772case X86::AH: \773SUB_SUPER(AL, AX, EAX, RAX, R)774#define D_SUB_SUPER(R) \775case X86::DH: \776SUB_SUPER(DL, DX, EDX, RDX, R)777#define C_SUB_SUPER(R) \778case X86::CH: \779SUB_SUPER(CL, CX, ECX, RCX, R)780#define B_SUB_SUPER(R) \781case X86::BH: \782SUB_SUPER(BL, BX, EBX, RBX, R)783#define SI_SUB_SUPER(R) SUB_SUPER(SIL, SI, ESI, RSI, R)784#define DI_SUB_SUPER(R) SUB_SUPER(DIL, DI, EDI, RDI, R)785#define BP_SUB_SUPER(R) SUB_SUPER(BPL, BP, EBP, RBP, R)786#define SP_SUB_SUPER(R) SUB_SUPER(SPL, SP, ESP, RSP, R)787#define NO_SUB_SUPER(NO, REG) \788SUB_SUPER(R##NO##B, R##NO##W, R##NO##D, R##NO, REG)789#define NO_SUB_SUPER_B(NO) NO_SUB_SUPER(NO, R##NO##B)790#define NO_SUB_SUPER_W(NO) NO_SUB_SUPER(NO, R##NO##W)791#define NO_SUB_SUPER_D(NO) NO_SUB_SUPER(NO, R##NO##D)792#define NO_SUB_SUPER_Q(NO) NO_SUB_SUPER(NO, R##NO)793switch (Size) {794default:795llvm_unreachable("illegal register size");796case 8:797if (High) {798switch (Reg.id()) {799DEFAULT_NOREG800A_SUB_SUPER(AH)801D_SUB_SUPER(DH)802C_SUB_SUPER(CH)803B_SUB_SUPER(BH)804}805} else {806switch (Reg.id()) {807DEFAULT_NOREG808A_SUB_SUPER(AL)809D_SUB_SUPER(DL)810C_SUB_SUPER(CL)811B_SUB_SUPER(BL)812SI_SUB_SUPER(SIL)813DI_SUB_SUPER(DIL)814BP_SUB_SUPER(BPL)815SP_SUB_SUPER(SPL)816NO_SUB_SUPER_B(8)817NO_SUB_SUPER_B(9)818NO_SUB_SUPER_B(10)819NO_SUB_SUPER_B(11)820NO_SUB_SUPER_B(12)821NO_SUB_SUPER_B(13)822NO_SUB_SUPER_B(14)823NO_SUB_SUPER_B(15)824NO_SUB_SUPER_B(16)825NO_SUB_SUPER_B(17)826NO_SUB_SUPER_B(18)827NO_SUB_SUPER_B(19)828NO_SUB_SUPER_B(20)829NO_SUB_SUPER_B(21)830NO_SUB_SUPER_B(22)831NO_SUB_SUPER_B(23)832NO_SUB_SUPER_B(24)833NO_SUB_SUPER_B(25)834NO_SUB_SUPER_B(26)835NO_SUB_SUPER_B(27)836NO_SUB_SUPER_B(28)837NO_SUB_SUPER_B(29)838NO_SUB_SUPER_B(30)839NO_SUB_SUPER_B(31)840}841}842case 16:843switch (Reg.id()) {844DEFAULT_NOREG845A_SUB_SUPER(AX)846D_SUB_SUPER(DX)847C_SUB_SUPER(CX)848B_SUB_SUPER(BX)849SI_SUB_SUPER(SI)850DI_SUB_SUPER(DI)851BP_SUB_SUPER(BP)852SP_SUB_SUPER(SP)853NO_SUB_SUPER_W(8)854NO_SUB_SUPER_W(9)855NO_SUB_SUPER_W(10)856NO_SUB_SUPER_W(11)857NO_SUB_SUPER_W(12)858NO_SUB_SUPER_W(13)859NO_SUB_SUPER_W(14)860NO_SUB_SUPER_W(15)861NO_SUB_SUPER_W(16)862NO_SUB_SUPER_W(17)863NO_SUB_SUPER_W(18)864NO_SUB_SUPER_W(19)865NO_SUB_SUPER_W(20)866NO_SUB_SUPER_W(21)867NO_SUB_SUPER_W(22)868NO_SUB_SUPER_W(23)869NO_SUB_SUPER_W(24)870NO_SUB_SUPER_W(25)871NO_SUB_SUPER_W(26)872NO_SUB_SUPER_W(27)873NO_SUB_SUPER_W(28)874NO_SUB_SUPER_W(29)875NO_SUB_SUPER_W(30)876NO_SUB_SUPER_W(31)877}878case 32:879switch (Reg.id()) {880DEFAULT_NOREG881A_SUB_SUPER(EAX)882D_SUB_SUPER(EDX)883C_SUB_SUPER(ECX)884B_SUB_SUPER(EBX)885SI_SUB_SUPER(ESI)886DI_SUB_SUPER(EDI)887BP_SUB_SUPER(EBP)888SP_SUB_SUPER(ESP)889NO_SUB_SUPER_D(8)890NO_SUB_SUPER_D(9)891NO_SUB_SUPER_D(10)892NO_SUB_SUPER_D(11)893NO_SUB_SUPER_D(12)894NO_SUB_SUPER_D(13)895NO_SUB_SUPER_D(14)896NO_SUB_SUPER_D(15)897NO_SUB_SUPER_D(16)898NO_SUB_SUPER_D(17)899NO_SUB_SUPER_D(18)900NO_SUB_SUPER_D(19)901NO_SUB_SUPER_D(20)902NO_SUB_SUPER_D(21)903NO_SUB_SUPER_D(22)904NO_SUB_SUPER_D(23)905NO_SUB_SUPER_D(24)906NO_SUB_SUPER_D(25)907NO_SUB_SUPER_D(26)908NO_SUB_SUPER_D(27)909NO_SUB_SUPER_D(28)910NO_SUB_SUPER_D(29)911NO_SUB_SUPER_D(30)912NO_SUB_SUPER_D(31)913}914case 64:915switch (Reg.id()) {916DEFAULT_NOREG917A_SUB_SUPER(RAX)918D_SUB_SUPER(RDX)919C_SUB_SUPER(RCX)920B_SUB_SUPER(RBX)921SI_SUB_SUPER(RSI)922DI_SUB_SUPER(RDI)923BP_SUB_SUPER(RBP)924SP_SUB_SUPER(RSP)925NO_SUB_SUPER_Q(8)926NO_SUB_SUPER_Q(9)927NO_SUB_SUPER_Q(10)928NO_SUB_SUPER_Q(11)929NO_SUB_SUPER_Q(12)930NO_SUB_SUPER_Q(13)931NO_SUB_SUPER_Q(14)932NO_SUB_SUPER_Q(15)933NO_SUB_SUPER_Q(16)934NO_SUB_SUPER_Q(17)935NO_SUB_SUPER_Q(18)936NO_SUB_SUPER_Q(19)937NO_SUB_SUPER_Q(20)938NO_SUB_SUPER_Q(21)939NO_SUB_SUPER_Q(22)940NO_SUB_SUPER_Q(23)941NO_SUB_SUPER_Q(24)942NO_SUB_SUPER_Q(25)943NO_SUB_SUPER_Q(26)944NO_SUB_SUPER_Q(27)945NO_SUB_SUPER_Q(28)946NO_SUB_SUPER_Q(29)947NO_SUB_SUPER_Q(30)948NO_SUB_SUPER_Q(31)949}950}951}952953954