[PATCH] D12721: [ScalarEvolution] Fix PR24757.

[Andrew Trick via llvm-commits]

atrick accepted this revision.
atrick added a comment.
This revision is now accepted and ready to land.

LGTM.  I can't argue with the math. However, it would help intuitively if you provide one example of concrete values for distance and step that break the current code, in addition to your symbolic proof.


http://reviews.llvm.org/D12721