[PATCH] D118090: [ScalarEvolution] Handle <= and >= in non infinite loops

William Moses via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jan 25 22:57:17 PST 2022


wsmoses updated this revision to Diff 403141.
wsmoses added a comment.

Use isFinite


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118090

Files:
  llvm/include/llvm/Analysis/LoopInfo.h
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/LoopInfo.cpp
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/finite-trip-count.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D118090.403141.patch
Type: text/x-patch
Size: 9513 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220126/2c57287a/attachment.bin>


More information about the llvm-commits mailing list