[PATCH] [ConstantRange] Add a smultiply method for signed multiply
Sanjoy Das
sanjoy at playingwithpointers.com
Sun Feb 22 19:56:04 PST 2015
> clearly identified a deficiency. ConstantRange::multiply could compute it
> twice once with zext and unsigned min/max and again with sext and signed
> min/max, then choose the one with the smaller range. Maybe there's an even
> better algorithm.
Do you think there is value in being more precise if one of the ranges
has one element (or, by extension, a small number of elements)?
Finding a precise range for [a, b) * { c } may be a much easier
problem to solve than finding a precise range for [a, b) * [c, d) if
the former shows up frequently enough.
-- Sanjoy
More information about the llvm-commits
mailing list