James Molloy 4e022da51e [ConstantRange] Teach multiply to be cleverer about signed ranges. ...

Multiplication is not dependent on signedness, so just treating
all input ranges as unsigned is not incorrect. However it will cause
overly pessimistic ranges (such as full-set) when used with signed
negative values.

Teach multiply to try to interpret its inputs as both signed and
unsigned, and then to take the most specific (smallest population)
as its result.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@231483 91177308-0d34-0410-b5e6-96231b3b80d8

2015-03-06 15:50:47 +00:00

26 KiB

Raw Blame History

View Raw