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)