[all-commits] [llvm/llvm-project] 3ec0c5: [InstCombine] Propagate FMF from select instead of...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3ec0c5c7fef03985b43432c6b914c289d8a5435e
      https://github.com/llvm/llvm-project/commit/3ec0c5c7fef03985b43432c6b914c289d8a5435e
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-05-31 (Sat, 31 May 2025)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
    M llvm/test/Transforms/InstCombine/clamp-to-minmax.ll
    M llvm/test/Transforms/InstCombine/fcmp-fadd-select.ll
    M llvm/test/Transforms/InstCombine/minmax-fold.ll
    M llvm/test/Transforms/InstCombine/minmax-fp.ll
    M llvm/test/Transforms/InstCombine/unordered-fcmp-select.ll
    M llvm/test/Transforms/PhaseOrdering/AArch64/predicated-reduction.ll

  Log Message:
  -----------
  [InstCombine] Propagate FMF from select instead of fcmp (#141010)

Previously,
https://github.com/llvm/llvm-project/commit/3d6b53980ce4ee855484fc8ae6ac3f99c85e48c3
propagates FMF from fcmp to avoid performance regressions. With the help
of https://github.com/llvm/llvm-project/pull/139861,
https://github.com/llvm/llvm-project/pull/141015, and
https://github.com/llvm/llvm-project/pull/141914, we can still convert
SPF into fabs/minnum/maxnum intrinsics even if some flags are missing.
This patch propagates FMF from select to address the long-standing
issue.

Closes https://github.com/llvm/llvm-project/issues/140994.



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