[PATCH] D67178: [SCEV] Use loop guard info when computing the max BE taken count in howFarToZero.

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 293210.
fhahn added a comment.



In D67178#2280288 <https://reviews.llvm.org/D67178#2280288>, @reames wrote:

> LGTM.  This makes a nice starting point - as you note, we can definitely extend this.

Thank you very much for taking a look! I made some smaller changes to fix a few edge-cases and extended the test coverage in 3cbdfe424fec <https://reviews.llvm.org/rG3cbdfe424fec923b5ac1912742c62c22f856fb29>.

I plan to land this in a day or two.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D67178

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
  llvm/test/Transforms/LoopVectorize/AArch64/pr36032.ll
  llvm/unittests/Analysis/ScalarEvolutionTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D67178.293210.patch
Type: text/x-patch
Size: 15614 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200921/0d497895/attachment.bin>