Member predicate IRGuardCondition::comparesEq
Holds if (determined by this guard) left == right + k
evaluates to areEqual
if this expression evaluates to testIsTrue
.
Holds if (determined by this guard) left == right + k
evaluates to areEqual
if this expression evaluates to testIsTrue
.