Simple and conservative implementation of LoopSafetyInfo that can give false-positive answers to its queries in order to avoid complicated analysis. More...

#include "llvm/Analysis/MustExecute.h"

Inheritance diagram for llvm::SimpleLoopSafetyInfo:

[legend]

Public Member Functions
	SimpleLoopSafetyInfo (const Loop *L)
bool	blockMayThrow (const BasicBlock *BB) const override
	Returns true iff the block `BB` potentially may throw exception.
bool	anyBlockMayThrow () const override
	Returns true iff any block of the loop for which this info is contains an instruction that may throw or otherwise exit abnormally.
bool	isGuaranteedToExecute (const Instruction &Inst, const DominatorTree *DT) const override
	Returns true if the instruction in a loop is guaranteed to execute at least once.
Public Member Functions inherited from llvm::LoopSafetyInfo
LLVM_ABI const DenseMap< BasicBlock *, ColorVector > &	getBlockColors () const
	Returns block colors map that is used to update funclet operand bundles.
LLVM_ABI void	copyColors (BasicBlock New, BasicBlock Old)
	Copy colors of block `Old` into the block `New`.
LLVM_ABI bool	allLoopPathsLeadToBlock (const BasicBlock BB, const DominatorTree DT) const
	Return true if we must reach the block `BB` under assumption that the loop is entered.
	LoopSafetyInfo (const Loop *CurLoop)
virtual	~LoopSafetyInfo ()=default

Additional Inherited Members
Protected Member Functions inherited from llvm::LoopSafetyInfo
LLVM_ABI void	computeBlockColors ()
	Computes block colors.
Protected Attributes inherited from llvm::LoopSafetyInfo
const Loop *	CurLoop