History log of /llvm-project/llvm/test/Transforms/InstCombine/fmul-bool.ll (Results 1 – 1 of 1)
Revision Date Author Comments
# a4ca2250 22-Jun-2024 Alex MacLean <amaclean@nvidia.com>

[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