[PATCH] Teach ScalarEvolution to sharpen range information.
sanjoy at playingwithpointers.com
Mon Oct 6 19:09:14 PDT 2014
This change is dependent on http://reviews.llvm.org/D5638
If x is known to have the range [a, b), in a loop predicated by (icmp ne x, a) its range can be sharpened to [a + 1, b). Get ScalarEvolution and hence IndVars to exploit this fact.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 3749 bytes
Desc: not available
More information about the llvm-commits