[all-commits] [llvm/llvm-project] a52424: [SCEV] Recognize vscale intrinsics

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a5242483e40cd30f59ad419154ca6ce9e0adadca
      https://github.com/llvm/llvm-project/commit/a5242483e40cd30f59ad419154ca6ce9e0adadca
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-03-17 (Fri, 17 Mar 2023)

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

  Log Message:
  -----------
  [SCEV] Recognize vscale intrinsics

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.

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