[PATCH] D146226: [SCEV] Recognize vscale intrinsics

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: paulwalker-arm, sdesmalen, reames.
Herald added subscribers: StephenFan, javed.absar, hiraditya.
Herald added a project: All.
nikic requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Now that SCEV has a dedicated vscale node type, we should also map vscale intrinsics to it. To make sure this does not regress ranges (which were KnownBits based previously), add support for vscale to getRangeRef() as well.

Depends on D146217 <https://reviews.llvm.org/D146217>.


https://reviews.llvm.org/D146226

Files:
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Analysis/ScalarEvolution/scalable-vector.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146226.505796.patch
Type: text/x-patch
Size: 4807 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230316/e083b679/attachment.bin>