ΒΆbool isGuaranteedToTransferExecutionToSuccessor(
BasicBlock::const_iterator Begin,
BasicBlock::const_iterator End,
unsigned int ScanLimit = 32)
bool isGuaranteedToTransferExecutionToSuccessor(
BasicBlock::const_iterator Begin,
BasicBlock::const_iterator End,
unsigned int ScanLimit = 32)
Description
Return true if every instruction in the range (Begin, End) is guaranteed to transfer execution to its static successor. \p ScanLimit bounds the search to avoid scanning huge blocks.
Declared at: llvm/include/llvm/Analysis/ValueTracking.h:602
Parameters
- BasicBlock::const_iterator Begin
- BasicBlock::const_iterator End
- unsigned int ScanLimit = 32