[all-commits] [llvm/llvm-project] eb1e80: [IR] Mark reduction intrinsics as nocreateundeforp...

[Gergo Stomfai via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eb1e808fdb44fee0cb8beea0ea8f162b82e8d92f
      https://github.com/llvm/llvm-project/commit/eb1e808fdb44fee0cb8beea0ea8f162b82e8d92f
  Author: Gergo Stomfai <stomfaig at gmail.com>
  Date:   2026-03-03 (Tue, 03 Mar 2026)

  Changed paths:
    M llvm/include/llvm/IR/Intrinsics.td
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/CodeGen/X86/AMX/amx-low-intrinsics-no-amx-bitcast.ll
    M llvm/test/CodeGen/X86/AMX/amx-low-intrinsics.ll
    M llvm/test/Transforms/SLPVectorizer/X86/extracts-non-extendable.ll
    M llvm/test/Transforms/SLPVectorizer/X86/non-load-reduced-as-part-of-bv.ll
    M llvm/test/Transforms/SLPVectorizer/X86/reduction-logical.ll
    M llvm/test/Transforms/SLPVectorizer/reduction-gather-non-scheduled-extracts.ll
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  [IR] Mark reduction intrinsics as nocreateundeforpoison (#184173)

In investigating #156233, it came up that select folds like here:
https://alive2.llvm.org/ce/z/Y6jzj6 cannot be carried out, or easily
fixed for now, because integer reductions do not propagate noundef, even
if their arguments are noundef. This patch adds this propagation.



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