#include "X86.h"
#include "X86InstrInfo.h"
#include "X86Subtarget.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineInstrBuilder.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/IR/Function.h"
#include "llvm/InitializePasses.h"
#include "llvm/MC/MCInstrDesc.h"

Macros
#define	DEBUG_TYPE "x86-avoid-sfb"

Functions
	INITIALIZE_PASS_BEGIN (X86AvoidSFBLegacy, DEBUG_TYPE, "Machine code sinking", false, false) INITIALIZE_PASS_END(X86AvoidSFBLegacy
static bool	isXMMLoadOpcode (unsigned Opcode)
static bool	isYMMLoadOpcode (unsigned Opcode)
static bool	isPotentialBlockedMemCpyLd (unsigned Opcode)
static bool	isPotentialBlockedMemCpyPair (unsigned LdOpcode, unsigned StOpcode)
static bool	isPotentialBlockingStoreInst (unsigned Opcode, unsigned LoadOpcode)
static unsigned	getYMMtoXMMLoadOpcode (unsigned LoadOpcode)
static unsigned	getYMMtoXMMStoreOpcode (unsigned StoreOpcode)
static int	getAddrOffset (const MachineInstr *MI)
static MachineOperand &	getBaseOperand (MachineInstr *MI)
static MachineOperand &	getDispOperand (MachineInstr *MI)
static bool	isRelevantAddressingMode (MachineInstr *MI)
static SmallVector< MachineInstr *, 2 >	findPotentialBlockers (MachineInstr *LoadInst)
static void	updateKillStatus (MachineInstr LoadInst, MachineInstr StoreInst)
static bool	hasSameBaseOpValue (MachineInstr LoadInst, MachineInstr StoreInst)
static bool	isBlockingStore (int64_t LoadDispImm, unsigned LoadSize, int64_t StoreDispImm, unsigned StoreSize)
static void	updateBlockingStoresDispSizeMap (DisplacementSizeMap &BlockingStoresDispSizeMap, int64_t DispImm, unsigned Size)
static void	removeRedundantBlockingStores (DisplacementSizeMap &BlockingStoresDispSizeMap)

Variables
static cl::opt< bool >	DisableX86AvoidStoreForwardBlocks ("x86-disable-avoid-SFB", cl::Hidden, cl::desc("X86: Disable Store Forwarding Blocks fixup."), cl::init(false))
static cl::opt< unsigned >	X86AvoidSFBInspectionLimit ("x86-sfb-inspection-limit", cl::desc("X86: Number of instructions backward to " "inspect for store forwarding blocks."), cl::init(20), cl::Hidden)
	DEBUG_TYPE
Machine code	sinking
Machine code	false
static const int	MOV128SZ = 16
static const int	MOV64SZ = 8
static const int	MOV32SZ = 4
static const int	MOV16SZ = 2
static const int	MOV8SZ = 1

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "x86-avoid-sfb"

Definition at line 54 of file X86AvoidStoreForwardingBlocks.cpp.

Function Documentation

◆ findPotentialBlockers()

SmallVector< MachineInstr *, 2 > findPotentialBlockers ( MachineInstr * LoadInst )

static

Definition at line 344 of file X86AvoidStoreForwardingBlocks.cpp.

References E(), llvm::ilist_detail::node_parent_access< NodeTy, ParentTy >::getParent(), MBB, MI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::reverse(), and X86AvoidSFBInspectionLimit.

◆ getAddrOffset()

int getAddrOffset ( const MachineInstr * MI )

static

Definition at line 296 of file X86AvoidStoreForwardingBlocks.cpp.

References assert(), llvm::X86II::getMemoryOperandNo(), llvm::X86II::getOperandBias(), MI, and llvm::MCInstrDesc::TSFlags.

Referenced by getBaseOperand(), getDispOperand(), and isRelevantAddressingMode().

◆ getBaseOperand()

MachineOperand & getBaseOperand ( MachineInstr * MI )

static

Definition at line 304 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm::X86::AddrBaseReg, getAddrOffset(), and MI.

Referenced by hasSameBaseOpValue(), isRelevantAddressingMode(), and updateKillStatus().

◆ getDispOperand()

MachineOperand & getDispOperand ( MachineInstr * MI )

static

Definition at line 309 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm::X86::AddrDisp, getAddrOffset(), and MI.

Referenced by isRelevantAddressingMode().

◆ getYMMtoXMMLoadOpcode()

unsigned getYMMtoXMMLoadOpcode ( unsigned LoadOpcode )

static

Definition at line 238 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm_unreachable.

◆ getYMMtoXMMStoreOpcode()

unsigned getYMMtoXMMStoreOpcode ( unsigned StoreOpcode )

static

Definition at line 267 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm_unreachable.

◆ hasSameBaseOpValue()

bool hasSameBaseOpValue	(	MachineInstr *	LoadInst,
		MachineInstr *	StoreInst )

static

Definition at line 612 of file X86AvoidStoreForwardingBlocks.cpp.

References getBaseOperand(), llvm::MachineOperand::getIndex(), llvm::MachineOperand::getReg(), and llvm::MachineOperand::isReg().

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	X86AvoidSFBLegacy	,
		DEBUG_TYPE	,
		"Machine code sinking"	,
		false	,
		false	)

References DEBUG_TYPE, and INITIALIZE_PASS_DEPENDENCY.

◆ isBlockingStore()

bool isBlockingStore	(	int64_t	LoadDispImm,
		unsigned	LoadSize,
		int64_t	StoreDispImm,
		unsigned	StoreSize )

static

Definition at line 623 of file X86AvoidStoreForwardingBlocks.cpp.

◆ isPotentialBlockedMemCpyLd()

bool isPotentialBlockedMemCpyLd ( unsigned Opcode )

static

Definition at line 158 of file X86AvoidStoreForwardingBlocks.cpp.

References isXMMLoadOpcode(), and isYMMLoadOpcode().

◆ isPotentialBlockedMemCpyPair()

bool isPotentialBlockedMemCpyPair	(	unsigned	LdOpcode,
		unsigned	StOpcode )

static

Definition at line 162 of file X86AvoidStoreForwardingBlocks.cpp.

◆ isPotentialBlockingStoreInst()

bool isPotentialBlockingStoreInst	(	unsigned	Opcode,
		unsigned	LoadOpcode )

static

Definition at line 214 of file X86AvoidStoreForwardingBlocks.cpp.

References isYMMLoadOpcode().

◆ isRelevantAddressingMode()

bool isRelevantAddressingMode ( MachineInstr * MI )

static

Definition at line 317 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm::X86::AddrIndexReg, llvm::X86::AddrScaleAmt, llvm::X86::AddrSegmentReg, llvm::sampleprof::Base, getAddrOffset(), getBaseOperand(), getDispOperand(), llvm::MachineOperand::getImm(), llvm::MachineOperand::getReg(), llvm::MachineOperand::isImm(), llvm::MachineOperand::isReg(), and MI.

◆ isXMMLoadOpcode()

bool isXMMLoadOpcode ( unsigned Opcode )

static

Definition at line 138 of file X86AvoidStoreForwardingBlocks.cpp.

Referenced by isPotentialBlockedMemCpyLd().

◆ isYMMLoadOpcode()

bool isYMMLoadOpcode ( unsigned Opcode )

static

Definition at line 148 of file X86AvoidStoreForwardingBlocks.cpp.

Referenced by isPotentialBlockedMemCpyLd(), and isPotentialBlockingStoreInst().

◆ removeRedundantBlockingStores()

void removeRedundantBlockingStores ( DisplacementSizeMap & BlockingStoresDispSizeMap )

static

Definition at line 641 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm::SmallVectorTemplateCommon< T, typename >::back(), llvm::SmallVectorImpl< T >::clear(), llvm::SmallVectorTemplateBase< T, bool >::pop_back(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::SmallVectorTemplateCommon< T, typename >::size().

◆ updateBlockingStoresDispSizeMap()

void updateBlockingStoresDispSizeMap	(	DisplacementSizeMap &	BlockingStoresDispSizeMap,
		int64_t	DispImm,
		unsigned	Size )

static

Definition at line 631 of file X86AvoidStoreForwardingBlocks.cpp.

References Size.

◆ updateKillStatus()

void updateKillStatus	(	MachineInstr *	LoadInst,
		MachineInstr *	StoreInst )

static

Definition at line 498 of file X86AvoidStoreForwardingBlocks.cpp.

References getBaseOperand(), llvm::ilist_detail::node_parent_access< NodeTy, ParentTy >::getParent(), llvm::ilist_node_with_parent< NodeTy, ParentTy, Options >::getPrevNode(), llvm::MachineOperand::isKill(), llvm::MachineOperand::isReg(), llvm::prev_nodbg(), and llvm::MachineOperand::setIsKill().

Variable Documentation

◆ DEBUG_TYPE

DEBUG_TYPE

Definition at line 131 of file X86AvoidStoreForwardingBlocks.cpp.

◆ DisableX86AvoidStoreForwardBlocks

cl::opt< bool > DisableX86AvoidStoreForwardBlocks("x86-disable-avoid-SFB", cl::Hidden, cl::desc("X86: Disable Store Forwarding Blocks fixup."), cl::init(false))	(	"x86-disable-avoid-SFB"	,
		cl::Hidden	,
		cl::desc("X86: Disable Store Forwarding Blocks fixup.")	,
		cl::init(false)	)

static

◆ false

Machine code false

Definition at line 132 of file X86AvoidStoreForwardingBlocks.cpp.

◆ MOV128SZ

const int MOV128SZ = 16

static

Definition at line 232 of file X86AvoidStoreForwardingBlocks.cpp.

◆ MOV16SZ

const int MOV16SZ = 2

static

Definition at line 235 of file X86AvoidStoreForwardingBlocks.cpp.

◆ MOV32SZ

const int MOV32SZ = 4

static

Definition at line 234 of file X86AvoidStoreForwardingBlocks.cpp.

◆ MOV64SZ

const int MOV64SZ = 8

static

Definition at line 233 of file X86AvoidStoreForwardingBlocks.cpp.

◆ MOV8SZ

const int MOV8SZ = 1

static

Definition at line 236 of file X86AvoidStoreForwardingBlocks.cpp.

◆ sinking

Machine code sinking

Definition at line 131 of file X86AvoidStoreForwardingBlocks.cpp.

◆ X86AvoidSFBInspectionLimit

cl::opt< unsigned > X86AvoidSFBInspectionLimit("x86-sfb-inspection-limit", cl::desc("X86: Number of instructions backward to " "inspect for store forwarding blocks."), cl::init(20), cl::Hidden)	(	"x86-sfb-inspection-limit"	,
		cl::desc("X86: Number of instructions backward to " "inspect for store forwarding blocks.")	,
		cl::init(20)	,
		cl::Hidden	)

static

Referenced by findPotentialBlockers().

Macros

Functions

Variables

Macro Definition Documentation

◆ DEBUG_TYPE

Function Documentation

◆ findPotentialBlockers()

◆ getAddrOffset()

◆ getBaseOperand()

◆ getDispOperand()

◆ getYMMtoXMMLoadOpcode()

◆ getYMMtoXMMStoreOpcode()

◆ hasSameBaseOpValue()

◆ INITIALIZE_PASS_BEGIN()

◆ isBlockingStore()

◆ isPotentialBlockedMemCpyLd()

◆ isPotentialBlockedMemCpyPair()

◆ isPotentialBlockingStoreInst()

◆ isRelevantAddressingMode()

◆ isXMMLoadOpcode()

◆ isYMMLoadOpcode()

◆ removeRedundantBlockingStores()

◆ updateBlockingStoresDispSizeMap()

◆ updateKillStatus()

Variable Documentation

◆ DEBUG_TYPE

◆ DisableX86AvoidStoreForwardBlocks

◆ false

◆ MOV128SZ

◆ MOV16SZ

◆ MOV32SZ

◆ MOV64SZ

◆ MOV8SZ

◆ sinking

◆ X86AvoidSFBInspectionLimit