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

[Nick Lewycky]

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. I was thinking we could have one analysis which would 
do that and others that would update the central analysis.

I also implemented an optz'n pass based on it, but it hardly optimized 
anything and as such is not included in this patch.

Please comment!

Nick
-------------- next part --------------
A non-text attachment was scrubbed...
Name: loopvr.patch
Type: text/x-diff
Size: 15469 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20080601/24c019c7/attachment.patch>