#include "llvm/Transforms/Scalar/PlaceSafepoints.h"
#include "ScalarOptions.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/CFG.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/LegacyPassManager.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/Statepoint.h"
#include "llvm/Support/Debug.h"
#include "llvm/Transforms/Scalar.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/Cloning.h"
#include "llvm/Transforms/Utils/Local.h"

Macros
#define	DEBUG_TYPE "place-safepoints"

Functions
	STATISTIC (NumEntrySafepoints, "Number of entry safepoints inserted")
	STATISTIC (NumBackedgeSafepoints, "Number of backedge safepoints inserted")
	STATISTIC (CallInLoop, "Number of loops without safepoints due to calls in loop")
	STATISTIC (FiniteExecution, "Number of loops without safepoints finite execution")
	INITIALIZE_PASS_BEGIN (PlaceBackedgeSafepointsLegacyPass, "place-backedge-safepoints-impl", "Place Backedge Safepoints", false, false) INITIALIZE_PASS_END(PlaceBackedgeSafepointsLegacyPass
place backedge safepoints Place Backedge static false bool	containsUnconditionalCallSafepoint (Loop L, BasicBlock Header, BasicBlock *Pred, DominatorTree &DT, const TargetLibraryInfo &TLI)
	Returns true if this loop is known to contain a call safepoint which must unconditionally execute on any iteration of the loop which returns to the loop header via an edge from Pred.
static bool	mustBeFiniteCountedLoop (const ScalarOptions &Opts, Loop L, ScalarEvolution SE, BasicBlock *Pred)
	Returns true if this loop is known to terminate in a finite number of iterations.
static Instruction *	findLocationForEntrySafepoint (Function &F, DominatorTree &DT)
static bool	isGCSafepointPoll (Function &F)
static bool	shouldRewriteFunction (Function &F)
	Returns true if this function should be rewritten to include safepoint polls and parseable call sites.
static bool	enableEntrySafepoints (const ScalarOptions &Opts, Function &F)
static bool	enableBackedgeSafepoints (const ScalarOptions &Opts, Function &F)
static bool	enableCallSafepoints (const ScalarOptions &Opts, Function &F)
static void	InsertSafepointPoll (BasicBlock::iterator InsertBefore, std::vector< CallBase * > &ParsePointsNeeded, const TargetLibraryInfo &TLI)
static bool	needsStatepoint (CallBase *Call, const TargetLibraryInfo &TLI)
static void	scanOneBB (Instruction Start, Instruction End, std::vector< CallInst * > &Calls, DenseSet< BasicBlock * > &Seen, std::vector< BasicBlock * > &Worklist)
static void	scanInlinedCode (Instruction Start, Instruction End, std::vector< CallInst * > &Calls, DenseSet< BasicBlock * > &Seen)
static bool	doesNotRequireEntrySafepointBefore (CallBase *Call)
	Returns true if an entry safepoint is not required before this callsite in the caller function.

Variables
place backedge safepoints	impl
place backedge safepoints Place Backedge	Safepoints
place backedge safepoints Place Backedge	false
const char	GCSafepointPollName [] = "gc.safepoint_poll"

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "place-safepoints"

Definition at line 74 of file PlaceSafepoints.cpp.

Function Documentation

◆ containsUnconditionalCallSafepoint()

bool containsUnconditionalCallSafepoint	(	Loop *	L,
		BasicBlock *	Header,
		BasicBlock *	Pred,
		DominatorTree &	DT,
		const TargetLibraryInfo &	TLI )

static

Returns true if this loop is known to contain a call safepoint which must unconditionally execute on any iteration of the loop which returns to the loop header via an edge from Pred.

Returns a conservative correct answer; i.e. false is always valid.

Definition at line 386 of file PlaceSafepoints.cpp.

References assert(), Call, llvm::DominatorTree::dominates(), llvm::dyn_cast(), llvm::DomTreeNodeBase< NodeT >::getBlock(), llvm::DomTreeNodeBase< NodeT >::getIDom(), llvm::DominatorTreeBase< NodeT, IsPostDom >::getNode(), I, and needsStatepoint().

◆ doesNotRequireEntrySafepointBefore()

bool doesNotRequireEntrySafepointBefore ( CallBase * Call )

static

Returns true if an entry safepoint is not required before this callsite in the caller function.

Definition at line 496 of file PlaceSafepoints.cpp.

References Call, llvm::dyn_cast(), and II.

Referenced by findLocationForEntrySafepoint().

◆ enableBackedgeSafepoints()

bool enableBackedgeSafepoints	(	const ScalarOptions &	Opts,
		Function &	F )

static

Definition at line 598 of file PlaceSafepoints.cpp.

References F.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ enableCallSafepoints()

bool enableCallSafepoints	(	const ScalarOptions &	Opts,
		Function &	F )

static

Definition at line 601 of file PlaceSafepoints.cpp.

References F.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ enableEntrySafepoints()

bool enableEntrySafepoints	(	const ScalarOptions &	Opts,
		Function &	F )

static

Definition at line 595 of file PlaceSafepoints.cpp.

References F.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ findLocationForEntrySafepoint()

Instruction * findLocationForEntrySafepoint	(	Function &	F,
		DominatorTree &	DT )

static

Definition at line 519 of file PlaceSafepoints.cpp.

References assert(), Call, doesNotRequireEntrySafepointBefore(), llvm::dyn_cast(), F, llvm::BasicBlock::getUniquePredecessor(), and I.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	PlaceBackedgeSafepointsLegacyPass	,
		"place-backedge-safepoints-impl"	,
		"Place Backedge Safepoints"	,
		false	,
		false	)

References INITIALIZE_PASS_DEPENDENCY, and INITIALIZE_PASS_END.

◆ InsertSafepointPoll()

void InsertSafepointPoll	(	BasicBlock::iterator	InsertBefore,
		std::vector< CallBase * > &	ParsePointsNeeded,
		const TargetLibraryInfo &	TLI )

static

Definition at line 609 of file PlaceSafepoints.cpp.

References assert(), llvm::BasicBlock::begin(), llvm::CallInst::Create(), llvm::BasicBlock::end(), F, GCSafepointPollName, llvm::FunctionType::get(), llvm::BasicBlock::getParent(), llvm::Type::getVoidTy(), llvm::InlineFunction(), llvm::isPotentiallyReachable(), llvm::InlineResult::isSuccess(), needsStatepoint(), scanInlinedCode(), and llvm::InlineFunctionInfo::StaticAllocas.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ isGCSafepointPoll()

bool isGCSafepointPoll ( Function & F )

static

Definition at line 574 of file PlaceSafepoints.cpp.

References F, and GCSafepointPollName.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ mustBeFiniteCountedLoop()

bool mustBeFiniteCountedLoop	(	const ScalarOptions &	Opts,
		Loop *	L,
		ScalarEvolution *	SE,
		BasicBlock *	Pred )

static

Returns true if this loop is known to terminate in a finite number of iterations.

Note that this function may return false for a loop which does actual terminate in a finite constant number of iterations due to conservatism in the analysis.

Definition at line 428 of file PlaceSafepoints.cpp.

References llvm::ScalarEvolution::getConstantMaxBackedgeTakenCount(), llvm::ScalarEvolution::getExitCount(), llvm::ConstantRange::getUnsignedMax(), llvm::ScalarEvolution::getUnsignedRange(), llvm::isa(), and llvm::APInt::isIntN().

◆ needsStatepoint()

bool needsStatepoint	(	CallBase *	Call,
		const TargetLibraryInfo &	TLI )

static

Definition at line 370 of file PlaceSafepoints.cpp.

References Call, llvm::callsGCLeafFunction(), llvm::dyn_cast(), and llvm::isa().

Referenced by containsUnconditionalCallSafepoint(), and InsertSafepointPoll().

◆ scanInlinedCode()

void scanInlinedCode	(	Instruction *	Start,
		Instruction *	End,
		std::vector< CallInst * > &	Calls,
		DenseSet< BasicBlock * > &	Seen )

static

Definition at line 480 of file PlaceSafepoints.cpp.

References llvm::BasicBlock::begin(), llvm::End, llvm::detail::DenseSetImpl< ValueT, MapTy >::insert(), and scanOneBB().

Referenced by InsertSafepointPoll().

◆ scanOneBB()

void scanOneBB	(	Instruction *	Start,
		Instruction *	End,
		std::vector< CallInst * > &	Calls,
		DenseSet< BasicBlock * > &	Seen,
		std::vector< BasicBlock * > &	Worklist )

static

Definition at line 453 of file PlaceSafepoints.cpp.

References assert(), llvm::dyn_cast(), llvm::End, llvm::BasicBlock::getParent(), llvm::detail::DenseSetImpl< ValueT, MapTy >::insert(), llvm::isa(), and llvm::successors().

Referenced by scanInlinedCode().

◆ shouldRewriteFunction()

bool shouldRewriteFunction ( Function & F )

static

Returns true if this function should be rewritten to include safepoint polls and parseable call sites.

The main point of this function is to be an extension point for custom logic.

Definition at line 581 of file PlaceSafepoints.cpp.

References F.

Referenced by llvm::PlaceSafepointsPass::runImpl().

◆ STATISTIC() [1/4]

STATISTIC	(	CallInLoop	,
		"Number of loops without safepoints due to calls in loop"	)

◆ STATISTIC() [2/4]

STATISTIC	(	FiniteExecution	,
		"Number of loops without safepoints finite execution"	)

References llvm::PassRegistry::getPassRegistry().

◆ STATISTIC() [3/4]

STATISTIC	(	NumBackedgeSafepoints	,
		"Number of backedge safepoints inserted"	)

◆ STATISTIC() [4/4]

STATISTIC	(	NumEntrySafepoints	,
		"Number of entry safepoints inserted"	)

Variable Documentation

◆ false

place backedge safepoints Place Backedge false

Definition at line 155 of file PlaceSafepoints.cpp.

◆ GCSafepointPollName

const char GCSafepointPollName[] = "gc.safepoint_poll"

Definition at line 572 of file PlaceSafepoints.cpp.

Referenced by InsertSafepointPoll(), and isGCSafepointPoll().

◆ impl

place backedge safepoints impl

Definition at line 154 of file PlaceSafepoints.cpp.

◆ Safepoints

place backedge safepoints Place Backedge Safepoints

Definition at line 155 of file PlaceSafepoints.cpp.

Macros

Functions

Variables

Macro Definition Documentation

◆ DEBUG_TYPE

Function Documentation

◆ containsUnconditionalCallSafepoint()

◆ doesNotRequireEntrySafepointBefore()

◆ enableBackedgeSafepoints()

◆ enableCallSafepoints()

◆ enableEntrySafepoints()

◆ findLocationForEntrySafepoint()

◆ INITIALIZE_PASS_BEGIN()

◆ InsertSafepointPoll()

◆ isGCSafepointPoll()

◆ mustBeFiniteCountedLoop()

◆ needsStatepoint()

◆ scanInlinedCode()

◆ scanOneBB()

◆ shouldRewriteFunction()

◆ STATISTIC() [1/4]

◆ STATISTIC() [2/4]

◆ STATISTIC() [3/4]

◆ STATISTIC() [4/4]

Variable Documentation

◆ false

◆ GCSafepointPollName

◆ impl

◆ Safepoints