[PATCH] D147557: [SCEV] Improve AddRecs' range computation

[Aleksandr Popov via Phabricator via llvm-commits]

aleksandr.popov created this revision.
Herald added subscribers: Groverkss, hiraditya.
Herald added a project: All.
aleksandr.popov requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Compute additional range for affine addrec in case when loop's backedge
taken count and exit value are known. Use general computation for affine
range, but pass negative step value and exit value as start to the 
getRangeForAffineAR.


https://reviews.llvm.org/D147557

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/decrementing_addrecs.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
  llvm/test/Analysis/ScalarEvolution/no-wrap-symbolic-becount.ll
  llvm/test/Analysis/ScalarEvolution/nsw.ll
  llvm/test/Analysis/ScalarEvolution/smin-smax-folds.ll
  llvm/test/Transforms/IndVarSimplify/lftr-reuse.ll
  llvm/test/Transforms/IndVarSimplify/predicated_ranges.ll
  llvm/test/Transforms/IndVarSimplify/promote-iv-to-eliminate-casts.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D147557.510890.patch
Type: text/x-patch
Size: 34207 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230404/95fedcee/attachment.bin>