[all-commits] [llvm/llvm-project] 6808d1: [InstCombine] Drop `ninf` FMF when input element c...

[Fuad Ismail via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6808d14c92eaaa4f8e80dbc9e5786511e8eec458
      https://github.com/llvm/llvm-project/commit/6808d14c92eaaa4f8e80dbc9e5786511e8eec458
  Author: Fuad Ismail <fuad1502 at gmail.com>
  Date:   2026-06-06 (Sat, 06 Jun 2026)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp
    M llvm/test/Transforms/InstCombine/shuffle_select-inseltpoison.ll
    M llvm/test/Transforms/InstCombine/shuffle_select.ll

  Log Message:
  -----------
  [InstCombine] Drop `ninf` FMF when input element can be `Inf` in shuffle-select transform (#201315)

Solves https://github.com/llvm/llvm-project/issues/74326

When binary operation has `ninf` FMF, but the input does not have
`nofpclass(inf)`, we should not propagate the `ninf` FMF. Because the
transformation may produce poison value when the input has an `Inf`
element, whereas the original code will simply pass through the `Inf`
element.

Alive proof: https://alive2.llvm.org/ce/z/nkv-vE



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