Sink.cpp File Reference

#include "llvm/Transforms/Scalar/Sink.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/IR/Dominators.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Scalar.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "sink"

Functions
	STATISTIC (NumSunk, "Number of instructions sunk")
	STATISTIC (NumSinkIter, "Number of sinking iterations")
static bool	isSafeToMove (Instruction *Inst, AliasAnalysis &AA, SmallPtrSetImpl< Instruction * > &Stores)
static bool	IsAcceptableTarget (Instruction *Inst, BasicBlock *SuccToSinkTo, DominatorTree &DT, LoopInfo &LI)
	IsAcceptableTarget - Return true if it is possible to sink the instruction in the specified basic block.
static bool	SinkInstruction (Instruction *Inst, SmallPtrSetImpl< Instruction * > &Stores, DominatorTree &DT, LoopInfo &LI, AAResults &AA)
	SinkInstruction - Determine whether it is safe to sink the specified machine instruction out of its current block into a successor.
static bool	ProcessBlock (BasicBlock &BB, DominatorTree &DT, LoopInfo &LI, AAResults &AA)
static bool	iterativelySinkInstructions (Function &F, DominatorTree &DT, LoopInfo &LI, AAResults &AA)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "sink"

Definition at line 25 of file Sink.cpp.

Function Documentation

IsAcceptableTarget()

bool IsAcceptableTarget ( Instruction * Inst, BasicBlock * SuccToSinkTo, DominatorTree & DT, LoopInfo & LI )

static

IsAcceptableTarget - Return true if it is possible to sink the instruction in the specified basic block.

Definition at line 71 of file Sink.cpp.

References assert(), llvm::LoopInfoBase< BlockT, LoopT >::getLoopFor(), llvm::ilist_detail::node_parent_access< NodeTy, ParentTy >::getParent(), llvm::BasicBlock::getUniquePredecessor(), llvm::Instruction::hasMetadata(), llvm::BasicBlock::isEHPad(), and llvm::Instruction::mayReadFromMemory().

Referenced by SinkInstruction().

isSafeToMove()

bool isSafeToMove ( Instruction * Inst, AliasAnalysis & AA, SmallPtrSetImpl< Instruction * > & Stores )

static

Definition at line 30 of file Sink.cpp.

References Call, llvm::dyn_cast(), llvm::MemoryLocation::get(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::isa(), llvm::Instruction::isEHPad(), llvm::isModSet(), llvm::Instruction::isTerminator(), llvm::Instruction::mayThrow(), llvm::Instruction::mayWriteToMemory(), and llvm::Instruction::willReturn().

Referenced by SinkInstruction().

iterativelySinkInstructions()

bool iterativelySinkInstructions ( Function & F, DominatorTree & DT, LoopInfo & LI, AAResults & AA )

static

Definition at line 210 of file Sink.cpp.

References llvm::dbgs(), F, I, LLVM_DEBUG, and ProcessBlock().

Referenced by llvm::SinkingPass::run().

ProcessBlock()

bool ProcessBlock ( BasicBlock & BB, DominatorTree & DT, LoopInfo & LI, AAResults & AA )

static

Definition at line 173 of file Sink.cpp.

References llvm::BasicBlock::begin(), llvm::BasicBlock::end(), I, llvm::Instruction::isDebugOrPseudoInst(), llvm::DominatorTree::isReachableFromEntry(), and SinkInstruction().

Referenced by iterativelySinkInstructions(), and llvm::MemorySSAUpdater::updateForClonedLoop().

SinkInstruction()

bool SinkInstruction ( Instruction * Inst, SmallPtrSetImpl< Instruction * > & Stores, DominatorTree & DT, LoopInfo & LI, AAResults & AA )

static

SinkInstruction - Determine whether it is safe to sink the specified machine instruction out of its current block into a successor.

Definition at line 103 of file Sink.cpp.

References assert(), llvm::cast(), llvm::dbgs(), llvm::DominatorTree::dominates(), llvm::dyn_cast(), llvm::DominatorTree::findNearestCommonDominator(), llvm::DomTreeNodeBase< NodeT >::getBlock(), llvm::BasicBlock::getFirstInsertionPt(), llvm::DomTreeNodeBase< NodeT >::getIDom(), llvm::PHINode::getIncomingValueNumForOperand(), llvm::DominatorTreeBase< NodeT, IsPostDom >::getNode(), llvm::ilist_detail::node_parent_access< NodeTy, ParentTy >::getParent(), IsAcceptableTarget(), llvm::DominatorTree::isReachableFromEntry(), isSafeToMove(), LLVM_DEBUG, llvm::Instruction::moveBefore(), llvm::Value::printAsOperand(), and llvm::Value::uses().

Referenced by ProcessBlock().

STATISTIC() [1/2]

STATISTIC	(	NumSinkIter	,
		"Number of sinking iterations"	)

STATISTIC() [2/2]

STATISTIC	(	NumSunk	,
		"Number of instructions sunk"	)