[LLVMdev] Summer of Code

[Duncan Sands]

Hi Douglas,

>      I would like to work with range analysis. This is a super-set of
> bitwidth analysis. The objective is to find an approximation for the
> range of integer values that a variable may assume. Bitwidth analysis
> was initially part of Andre's Summer of Code, but it was not finished.
> I took over Andre's project, and I have already started working on
> range analysis. Currently I can find the range of variables used in
> simple loops, but there is still a lot to be done. Range analysis
> would be useful in a number of scenarios, for instance:

Chris started adding a "lazy value info" infrastructure which I think
he prefers to SSI and friends (see lib/Analysis/LazyValueInfo.cpp).

Ciao,

Duncan.