From a4576d335b11378abce1989b6c158bb479fe5fa9 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Mon, 22 May 2017 13:40:52 -0700 Subject: minNum -> minimumNumber --- isa/rv64uf/fmin.S | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'isa/rv64uf') diff --git a/isa/rv64uf/fmin.S b/isa/rv64uf/fmin.S index 5bbbf3f..8c721aa 100644 --- a/isa/rv64uf/fmin.S +++ b/isa/rv64uf/fmin.S @@ -31,11 +31,17 @@ RVTEST_CODE_BEGIN TEST_FP_OP2_S(16, fmax.s, 0, 3.14159265, 3.14159265, 0.00000001 ); TEST_FP_OP2_S(17, fmax.s, 0, -1.0, -1.0, -2.0 ); - # FMIN(sNaN, x) = canonical NaN - TEST_FP_OP2_S(20, fmax.s, 0x10, qNaNf, sNaNf, 0); + # FMIN(sNaN, x) = x + TEST_FP_OP2_S(20, fmax.s, 0x10, 1.0, sNaNf, 1.0); # FMIN(qNaN, qNaN) = canonical NaN TEST_FP_OP2_S(21, fmax.s, 0x00, qNaNf, NaN, NaN); + # -0.0 < +0.0 + TEST_FP_OP2_S(30, fmin.s, 0, -0.0, -0.0, 0.0 ); + TEST_FP_OP2_S(31, fmin.s, 0, -0.0, 0.0, -0.0 ); + TEST_FP_OP2_S(32, fmax.s, 0, 0.0, -0.0, 0.0 ); + TEST_FP_OP2_S(33, fmax.s, 0, 0.0, 0.0, -0.0 ); + TEST_PASSFAIL RVTEST_CODE_END -- cgit v1.1