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

[Joshua Cao via Phabricator via llvm-commits]

caojoshua created this revision.
Herald added a subscriber: hiraditya.
Herald added a project: All.
caojoshua added reviewers: nikic, fhahn, mkazantsev.
Herald added a subscriber: StephenFan.
caojoshua added a reviewer: reames.
caojoshua updated this revision to Diff 526552.
caojoshua edited the summary of this revision.
caojoshua added a comment.
caojoshua published this revision for review.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Clean up code a bit


caojoshua added a comment.

I've no idea if the Dependence Analysis test change is correct. Would appreciate if reviews can look at it.


Before this patch, we can only use the MaxBECount for an AddRec's range
computation if the MaxBECount has <= bit width of the AddRec. This patch
reasons that if a MaxBECount has > bit width, and is <= the max value of
AddRec's bit width, we can still use the MaxBECount.


Repository:
  rG LLVM Github Monorepo

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D151698.526552.patch
Type: text/x-patch
Size: 11580 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230530/b8ba1d4b/attachment.bin>