ConstantRange
ConstantRange::multiply(const ConstantRange &Other) const {
- // TODO: If either operand is a single element, round the result min anx
- // max value to the appropriate multiple of that element.
+ // TODO: If either operand is a single element and the multiply is known to
+ // be non-wrapping, round the result min and max value to the appropriate
+ // multiple of that element. If wrapping is possible, at least adjust the
+ // range according to the greatest power-of-two factor of the single element.
if (isEmptySet() || Other.isEmptySet())
return ConstantRange(getBitWidth(), /*isFullSet=*/false);