wzssyqa wrote: > Say you write `fmax(x+0, 1.0)`, and x is an snan. The result is unpredictable unless you use constrained intrinsic. If we optimize out the "+0", it produces qnan; if we don't, it returns 1.0. done https://github.com/llvm/llvm-project/pull/112852