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