On Tue, Jan 23, 2018 at 3:35 PM, Michael Clark <m...@sifive.com> 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