[llvm-commits] value range analysis based on scalar-evolutions

[Török Edwin]

Nick Lewycky wrote:
> I've implemented an analysis pass that uses SCEV to determine value
> ranges of integer-typed registers.
>
> Currently it maintains a map of Value* to ConstantRange*, which is
> rather inelegant.

There is a SCEVHandle->getValueRange(), perhaps you could move the
implementation there and then you wouldn't need the map?

> I was thinking we could have one analysis which would do that and
> others that would update the central analysis.

There is also Transforms/Scalar/PredicateSimplifier that tracks value
ranges.
It would be nice to have all that value range info available to other
passes as well.

Best regards,
--Edwin