[all-commits] [llvm/llvm-project] 7c135e: [InstSimplify] Treat float binop with identity as ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7c135e17fbb7178466eafce9826c896518907637
      https://github.com/llvm/llvm-project/commit/7c135e17fbb7178466eafce9826c896518907637
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-12-17 (Tue, 17 Dec 2024)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/select-equivalence-fp.ll

  Log Message:
  -----------
  [InstSimplify] Treat float binop with identity as refining (#120098)

If x is NaN, then fmul (x, 1) may produce a different NaN value.

Our float semantics explicitly permit folding fmul (x, 1) to x, but we
can't do this when we're replacing a select input, as selects are
supposed to preserve the exact bitwise value.

Fixes
https://github.com/llvm/llvm-project/pull/115152#issuecomment-2545773114.



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