Re: [Qemu-devel] [PATCH v1 06/21] RISC-V FPU Support

[Jim Wilson]

On Tue, Jan 23, 2018 at 3:35 PM, Michael Clark <address@hidden> wrote:
> We want minimum number (minnum). It's been added to the draft spec and will
> be in riscv-spec-v2.3.pdf

In the preface of the draft, it says
• Defined the signed-zero behavior of FMIN.fmt and FMAX.fmt, and
changed their behavior on
signaling-NaN inputs to conform to the minimumNumber and maximumNumber
operations
in the proposed IEEE 754-201x specification.

But if qemu doesn't have minimumNumber support yet, then yes minNum is correct.

This is discussed a bit here
    https://github.com/riscv/riscv-isa-manual/issues/65

Jim