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

[hfinkel@anl.gov via llvm-commits]

hfinkel added a comment.

> If you implement your check without actually creating a sign extend, but by directly inferring no-overflow from the nsw or nuw flags, then I suspect this won't happen.


If both LHS and RHS are AddRecs, and both are nsw and both have the same stride, then comparing the starting values seems as though it would be sufficient. Is there a straightforward way to do any better than that?


http://reviews.llvm.org/D12073