[all-commits] [llvm/llvm-project] 8347ca: [PatternMatch] Don't require DataLayout for m_VSca...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8347ca7dc81adf16400306b4fc0702f62e69acd7
      https://github.com/llvm/llvm-project/commit/8347ca7dc81adf16400306b4fc0702f62e69acd7
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-02-23 (Thu, 23 Feb 2023)

  Changed paths:
    M llvm/include/llvm/IR/PatternMatch.h
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
    M llvm/lib/IR/IntrinsicInst.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp
    M llvm/unittests/IR/PatternMatch.cpp

  Log Message:
  -----------
  [PatternMatch] Don't require DataLayout for m_VScale()

The m_VScale() matcher is unusual in that it requires a DataLayout.
It is currently used to determine the size of the GEP type. However,
I believe it is sufficient to check for the canonical
<vscale x 1 x i8> form here -- I don't think there's a need to
recognize exotic variations like <vscale x 1 x i4> as a vscale
constant representation as well.

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