[PATCH] D106331: [WIP][ScalarEvolution] Try harder to prove overflow in howManyLessThans.

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

@efriedma Can I ask you to prioritize landing this?  I suspect this is going to reduce the test diffs implied by any fix to D106852 <https://reviews.llvm.org/D106852>, and I'd like to get this in so we can build on it.

(For context, we're likely to loose ability to infer flags on the add forming the start expression for the post-increment IV.  As such, being able to directly derive the fact from the IR - this patch - becomes much more relevant. )


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D106331/new/

https://reviews.llvm.org/D106331