[all-commits] [llvm/llvm-project] c25756: [InstSimplify] Use getGetElementPtr() overload acc...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c25756a336fe1485f82240c8978411467b8cd0fe
      https://github.com/llvm/llvm-project/commit/c25756a336fe1485f82240c8978411467b8cd0fe
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-09-23 (Wed, 23 Sep 2026)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/lib/IR/Constants.cpp
    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
    M llvm/test/Transforms/InstSimplify/ConstProp/icmp-global.ll
    M llvm/test/Transforms/InstSimplify/gep.ll
    M llvm/test/Transforms/InstSimplify/vector_gep.ll

  Log Message:
  -----------
  [InstSimplify] Use getGetElementPtr() overload accepting DataLayout (#225817)

To directly create GEPs in canonical ptradd representation. The
effect of this is that a) we do not form constexpr GEPs which would
no longer be supported in ptradd representation and b) canonicalize
vector GEPs to ptradd form, because the code that does this as
part of constant folding doesn't support vector GEPs, but the new
API does.

This also converts the isSupportedGetElementPtr() assert into a
condition. The getGetElementPtr() API accepting DataLayout is
already fallible, so it makes sense to directly handle all cases
that can't be represented as a constant expression, instead of
requiring the type to be source element type to be handled separately.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications