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

[hfinkel@anl.gov via llvm-commits]

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

We actually don't need to check the positivity of the recursion step because we're checking for equality (so both addrecs move in lock-step and it does not matter in which direction since neither will wrap).


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.32434.patch
Type: text/x-patch
Size: 4007 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150818/7cab6f67/attachment.bin>