[all-commits] [llvm/llvm-project] 475f30: [ConstantFolding] Preserve inbounds when casting G...

[Nikita Popov via All-commits]

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

  Changed paths:
    M llvm/lib/Analysis/ConstantFolding.cpp
    M llvm/test/Other/constant-fold-gep.ll
    M llvm/test/Transforms/GVN/constexpr-vector-constainsundef-crash-inseltpoison.ll
    M llvm/test/Transforms/GVN/constexpr-vector-constainsundef-crash.ll
    M llvm/test/Transforms/InstSimplify/ConstProp/cast-vector.ll

  Log Message:
  -----------
  [ConstantFolding] Preserve inbounds when casting GEP indices

This canonicalization just makes the implicit sext/trunc explicit,
and does not affect the inbounds-ness of the GEP.