[llvm] [InstCombine] foldFPSignBitOps - fabs(X) * fabs(X) -> freeze(X) * freeze(X) (PR #120072)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Our de-facto policy is to not accept fixes for "undef multi-use" miscompiles in existing transforms (with a possible exception for facts derived from select conditions).

I don't believe we have observed even a single real-world miscompile due to this issue, and this entire category will go away as soon as undef goes away.

https://github.com/llvm/llvm-project/pull/120072