[PATCH] Teach ScalarEvolution to sharpen range information.

[Sanjoy Das]

The bug was that the code in the `switch...case` invoking `isImpliedCondOperands` assumed `Min` was the unsharpened minimum. This version of the patch fixes the issue and adds a regression test that would've caught the bug.

The earlier patch was also needlessly complex -- I've simplified the code structure in this revision.

Sorry for the confusion!

http://reviews.llvm.org/D5639

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