¶bool IsBlockFollowedByDeoptOrUnreachable(
    const llvm::BasicBlock* BB)

Description

Check if we can prove that all paths starting from this block converge to a block that either has a @llvm.experimental.deoptimize call prior to its terminating return instruction or is terminated by unreachable. All blocks in the traversed sequence must have an unique successor, maybe except for the last one.

Declared at: llvm/include/llvm/Transforms/Utils/BasicBlockUtils.h:136

Parameters

const llvm::BasicBlock* BB