[PATCH] D151698: [SCEV] Compute AddRec range computations using different type BECount

[Joshua Cao via Phabricator via llvm-commits]

caojoshua updated this revision to Diff 526891.
caojoshua added a comment.
Herald added a reviewer: bollu.

- Rebase on top of a refactoring patch
- Update polly tests. One test looks functionally the same, and the other test finds tighter bounds. Looks ok to me.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D151698

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll
  llvm/test/Analysis/ScalarEvolution/increasing-or-decreasing-iv.ll
  llvm/test/Analysis/ScalarEvolution/limit-depth.ll
  llvm/test/Analysis/ScalarEvolution/nsw.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll
  polly/test/CodeGen/switch-in-non-affine-region.ll
  polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D151698.526891.patch
Type: text/x-patch
Size: 12870 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230531/6d580bc2/attachment.bin>