[all-commits] [llvm/llvm-project] a4ca22: [InstCombine] (uitofp bool X) * Y --> X ? Y : 0 (#...

[Alex MacLean via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a4ca22506c96cd8508bcfb93a26941f19c7179ef
      https://github.com/llvm/llvm-project/commit/a4ca22506c96cd8508bcfb93a26941f19c7179ef
  Author: Alex MacLean <amaclean at nvidia.com>
  Date:   2024-06-22 (Sat, 22 Jun 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
    A llvm/test/Transforms/InstCombine/fmul-bool.ll

  Log Message:
  -----------
  [InstCombine] (uitofp bool X) * Y --> X ? Y : 0 (#96216)

Fold `mul (uitofp i1 X), Y` to `select i1 X, Y, 0.0` when the `mul` is
`nnan` and `nsz`

Proof: https://alive2.llvm.org/ce/z/_stiPm



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