[PATCH] Teach ScalarEvolution to sharpen range information.

[Sanjoy Das]

Hi atrick,

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.

http://reviews.llvm.org/D5639

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Transforms/IndVarSimplify/sharpen-range-metadata.ll
  test/Transforms/IndVarSimplify/widen-loop-comp.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5639.14486.patch
Type: text/x-patch
Size: 3749 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141007/b37b5b25/attachment.bin>