[all-commits] [llvm/llvm-project] 664b7a: [SCCP] Fix conversion of range to constant for vec...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 664b7a4cd51d9273888e79688f64cc8bbcbdbe25
      https://github.com/llvm/llvm-project/commit/664b7a4cd51d9273888e79688f64cc8bbcbdbe25
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-19 (Mon, 19 Jun 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/Utils/SCCPSolver.h
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/SCCP/intrinsics.ll

  Log Message:
  -----------
  [SCCP] Fix conversion of range to constant for vectors (PR63380)

The ConstantRange specifies the range of the scalar elements in the
vector. When converting into a Constant, we need to create a vector
splat with the correct type. For that purpose, pass in the expected
type for the constant.

Fixes https://github.com/llvm/llvm-project/issues/63380.