[ConstantRange] Make shl() for negative LHS more precise
This differs from the positive case in that shifting by a larger amount makes the result smaller, not larger.
Loading
Please sign in to comment
This differs from the positive case in that shifting by a larger amount makes the result smaller, not larger.