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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Any comments on whether we want to merge this patch?  Or how we can encode the necessary information into ScalarEvolution?  (Really, I'm more concerned about the pointer_iv_nowrap_guard case than the unknown-stride case.)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106331