Member predicate ConditionBlock::controlsEdge
Holds if this condition controls the edge pred->succ, i.e. those edges for which the condition is testIsTrue.
predicate controlsEdge(BasicBlock pred, BasicBlock succ, boolean testIsTrue)Holds if this condition controls the edge pred->succ, i.e. those edges for which the condition is testIsTrue.
predicate controlsEdge(BasicBlock pred, BasicBlock succ, boolean testIsTrue)