[llvm] LangRef: Clarify behaviors of nsz in fast math flag (PR #137567)

YunQiang Su via llvm-commits llvm-commits at lists.llvm.org
Thu May 15 21:08:07 PDT 2025


wzssyqa wrote:

> You want to restrict it so that it can't return -0 if both arguments are +0. I don't think that's going to happen, but I do think the current definition of nsz allows it.

In fact it may happen. I had a try to expand `FMINIMUM` with `fadd OP, 0.0`.
And finally I found that `FMINIMUM -0.0, -0.0` may return `+0.0`.
So I prefer to state  explicitly that it is not allowed.

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


More information about the llvm-commits mailing list