Member predicate GuardNode::controlsBlock
Holds if this guard controls block b upon evaluating to branch.
predicate controlsBlock(BasicBlock b, boolean branch)Holds if this guard controls block b upon evaluating to branch.
predicate controlsBlock(BasicBlock b, boolean branch)