Member predicate ComparisonControlBlock::controls
Whether this conditional guard determines that, in block b
, l == r + k
if eq
is true, or l != r + k
if eq
is false,
predicate controls(ControlFlowNode l, CompareOp op, ControlFlowNode r, float k, BasicBlock b)