Member predicate IRGuardCondition::controlsEdge
Holds if the control-flow edge (pred, succ) may be taken only if
the value of this condition is testIsTrue.
predicate controlsEdge(IRBlock pred, IRBlock succ, boolean testIsTrue)Holds if the control-flow edge (pred, succ) may be taken only if
the value of this condition is testIsTrue.
predicate controlsEdge(IRBlock pred, IRBlock succ, boolean testIsTrue)