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

[Eli Friedman via Phabricator via llvm-commits]

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

Added another interesting case to look at.  Still considering possible solutions that don't involve poking at IR directly.


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/no-wrap-symbolic-becount.ll
  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.360226.patch
Type: text/x-patch
Size: 9410 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210720/c48936c8/attachment.bin>