Member predicate IRGuardCondition::comparesEq
Holds if (determined by this guard) op == k
evaluates to areEqual
if this expression evaluates to value
.
predicate comparesEq(Operand op, int k, boolean areEqual, AbstractValue value)
Holds if (determined by this guard) op == k
evaluates to areEqual
if this expression evaluates to value
.
predicate comparesEq(Operand op, int k, boolean areEqual, AbstractValue value)