[PATCH] D12073: Make ScalarEvolution::isKnownPredicate a little smarter

[hfinkel@anl.gov via llvm-commits]

hfinkel updated this revision to Diff 32433.
hfinkel added a comment.

Update the patch to deal more-manually with AddRec expressions where we have wrapping guarantees on both sides and can otherwise reduce the problem to a comparison on the recursion starting values. As Sanjoy hypothesized, in writing it this way, there is no longer collateral damage to other regression tests.


http://reviews.llvm.org/D12073

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Transforms/IndVarSimplify/bec-cmp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12073.32433.patch
Type: text/x-patch
Size: 4075 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150818/9f90081a/attachment.bin>