[PATCH] D104741: [SCEV] Support single-cond range check idiom in applyLoopGuards.

[Florian Hahn via Phabricator via llvm-commits]

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

Addressed both Philip's and Eli's comments, thanks! I moved the code to a lambda and updated it to use makeExactICmpRegion, which no also support arbitrary lower bound values. Generalized modeling in Alive2: https://alive2.llvm.org/ce/z/Lt2ICd


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104741

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D104741.353939.patch
Type: text/x-patch
Size: 6164 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210623/a8e7e6ab/attachment.bin>