[all-commits] [llvm/llvm-project] 0805d9: [SCEV] Make scalable size representation more expl...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0805d9d5aa904ffa110ee0527f7ea190e3e2c321
      https://github.com/llvm/llvm-project/commit/0805d9d5aa904ffa110ee0527f7ea190e3e2c321
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-02-27 (Mon, 27 Feb 2023)

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

  Log Message:
  -----------
  [SCEV] Make scalable size representation more explicit

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.

Differential Revision: https://reviews.llvm.org/D144624