Check whether all paths from a block reach deopt or unreachable.
Declared in <llvm/Transforms/Utils/BasicBlockUtils.h>
bool
IsBlockFollowedByDeoptOrUnreachable(BasicBlock const* BB);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.
True if all paths from BB reach deopt or unreachable.
| Name | Description |
|---|---|
| BB | Block from which paths are examined. |