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

[Eli Friedman via Phabricator via llvm-commits]

efriedma updated this revision to Diff 372361.
efriedma retitled this revision from "[WIP][ScalarEvolution] Try harder to prove overflow in howManyLessThans." to "[ScalarEvolution] Try harder to prove overflow in howManyLessThans.".
efriedma added a comment.

Rebased


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106331

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/trip-count-unknown-stride.ll
  llvm/test/Transforms/LoopReroll/nonconst_lb.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D106331.372361.patch
Type: text/x-patch
Size: 7201 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210913/16275c82/attachment.bin>