d0k wrote: I think this is wrong for fminimum. We check that LHS is not equal integer 0, but we need to check that it's exactly -0.0 or it might pick a random value in LHS. e.g. `fmin(-1.0, 0.0)` https://github.com/llvm/llvm-project/pull/142170