X86AvoidStoreForwardingBlocks.cpp File Reference

#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/DebugInfoMetadata.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/IR/Function.h"
#include "llvm/InitializePasses.h"
#include "llvm/MC/MCInstrDesc.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "x86-avoid-SFB"

Functions
	INITIALIZE_PASS_BEGIN (X86AvoidSFBPass, DEBUG_TYPE, "Machine code sinking", false, false) INITIALIZE_PASS_END(X86AvoidSFBPass
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 55 of file X86AvoidStoreForwardingBlocks.cpp.

Function Documentation

findPotentialBlockers()

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

static

Definition at line 339 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm::Instruction::getParent(), MBB, MI, llvm::MachineBasicBlock::predecessors(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::BasicBlock::rend(), llvm::reverse(), and X86AvoidSFBInspectionLimit.

getAddrOffset()

static int getAddrOffset ( const MachineInstr *  MI )

static

Definition at line 291 of file X86AvoidStoreForwardingBlocks.cpp.

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

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

getBaseOperand()

static MachineOperand & getBaseOperand ( MachineInstr *  MI )

static

Definition at line 299 of file X86AvoidStoreForwardingBlocks.cpp.

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

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

getDispOperand()

static MachineOperand & getDispOperand ( MachineInstr *  MI )

static

Definition at line 304 of file X86AvoidStoreForwardingBlocks.cpp.

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

Referenced by isRelevantAddressingMode().

getYMMtoXMMLoadOpcode()

static unsigned getYMMtoXMMLoadOpcode ( unsigned  LoadOpcode )

static

Definition at line 233 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm_unreachable.

getYMMtoXMMStoreOpcode()

static unsigned getYMMtoXMMStoreOpcode ( unsigned  StoreOpcode )

static

Definition at line 262 of file X86AvoidStoreForwardingBlocks.cpp.

References llvm_unreachable.

hasSameBaseOpValue()

static bool hasSameBaseOpValue ( MachineInstr *  LoadInst, MachineInstr *  StoreInst  )

static

Definition at line 608 of file X86AvoidStoreForwardingBlocks.cpp.

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

INITIALIZE_PASS_BEGIN()

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

isBlockingStore()

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

static

Definition at line 619 of file X86AvoidStoreForwardingBlocks.cpp.

isPotentialBlockedMemCpyLd()

static bool isPotentialBlockedMemCpyLd ( unsigned  Opcode )

static

Definition at line 153 of file X86AvoidStoreForwardingBlocks.cpp.

References isXMMLoadOpcode(), and isYMMLoadOpcode().

isPotentialBlockedMemCpyPair()

static bool isPotentialBlockedMemCpyPair ( unsigned  LdOpcode, unsigned  StOpcode  )

static

Definition at line 157 of file X86AvoidStoreForwardingBlocks.cpp.

isPotentialBlockingStoreInst()

static bool isPotentialBlockingStoreInst ( unsigned  Opcode, unsigned  LoadOpcode  )

static

Definition at line 209 of file X86AvoidStoreForwardingBlocks.cpp.

References isYMMLoadOpcode().

isRelevantAddressingMode()

static bool isRelevantAddressingMode ( MachineInstr *  MI )

static

Definition at line 312 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()

static bool isXMMLoadOpcode ( unsigned  Opcode )

static

Definition at line 133 of file X86AvoidStoreForwardingBlocks.cpp.

Referenced by isPotentialBlockedMemCpyLd().

isYMMLoadOpcode()

static bool isYMMLoadOpcode ( unsigned  Opcode )

static

Definition at line 143 of file X86AvoidStoreForwardingBlocks.cpp.

Referenced by isPotentialBlockedMemCpyLd(), and isPotentialBlockingStoreInst().

removeRedundantBlockingStores()

static void removeRedundantBlockingStores ( DisplacementSizeMap &  BlockingStoresDispSizeMap )

static

Definition at line 640 of file X86AvoidStoreForwardingBlocks.cpp.

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

updateBlockingStoresDispSizeMap()

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

static

Definition at line 627 of file X86AvoidStoreForwardingBlocks.cpp.

References Size.

updateKillStatus()

static void updateKillStatus ( MachineInstr *  LoadInst, MachineInstr *  StoreInst  )

static

Definition at line 493 of file X86AvoidStoreForwardingBlocks.cpp.

References getBaseOperand(), llvm::Instruction::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 126 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 126 of file X86AvoidStoreForwardingBlocks.cpp.

MOV128SZ

const int MOV128SZ = 16

static

Definition at line 227 of file X86AvoidStoreForwardingBlocks.cpp.

MOV16SZ

const int MOV16SZ = 2

static

Definition at line 230 of file X86AvoidStoreForwardingBlocks.cpp.

MOV32SZ

const int MOV32SZ = 4

static

Definition at line 229 of file X86AvoidStoreForwardingBlocks.cpp.

MOV64SZ

const int MOV64SZ = 8

static

Definition at line 228 of file X86AvoidStoreForwardingBlocks.cpp.

MOV8SZ

const int MOV8SZ = 1

static

Definition at line 231 of file X86AvoidStoreForwardingBlocks.cpp.

sinking

Machine code sinking

Definition at line 126 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().