[PATCH] D144624: [SCEV] Make scalable size representation more explicit

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: sdesmalen, fhahn, mkazantsev.
Herald added subscribers: StephenFan, javed.absar, hiraditya.
Herald added a project: All.
nikic requested review of this revision.
Herald added subscribers: llvm-commits, alextsao1999.
Herald added a project: LLVM.

Represent scalable type sizes using `C * vscale`, where `vscale` is the vscale constant expression. This exposes a bit more information to SCEV, because the vscale multiplier is explicitly modeled in SCEV (rather than part of the sizeof expression).

This is mainly intended as an alternative to D143642 <https://reviews.llvm.org/D143642>.

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


https://reviews.llvm.org/D144624

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144624.499761.patch
Type: text/x-patch
Size: 6362 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230223/089d3fbc/attachment.bin>