diff options
Diffstat (limited to 'isa/rv64uf/fcmp.S')
-rw-r--r-- | isa/rv64uf/fcmp.S | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/isa/rv64uf/fcmp.S b/isa/rv64uf/fcmp.S index 24b08c7..e77ca52 100644 --- a/isa/rv64uf/fcmp.S +++ b/isa/rv64uf/fcmp.S @@ -17,13 +17,26 @@ RVTEST_CODE_BEGIN # Arithmetic tests #------------------------------------------------------------- - TEST_FP_CMP_OP_S( 2, feq.s, 1, -1.36, -1.36) - TEST_FP_CMP_OP_S( 3, fle.s, 1, -1.36, -1.36) - TEST_FP_CMP_OP_S( 4, flt.s, 0, -1.36, -1.36) - - TEST_FP_CMP_OP_S( 5, feq.s, 0, -1.37, -1.36) - TEST_FP_CMP_OP_S( 6, fle.s, 1, -1.37, -1.36) - TEST_FP_CMP_OP_S( 7, flt.s, 1, -1.37, -1.36) + TEST_FP_CMP_OP_S( 2, feq.s, 0x00, 1, -1.36, -1.36) + TEST_FP_CMP_OP_S( 3, fle.s, 0x00, 1, -1.36, -1.36) + TEST_FP_CMP_OP_S( 4, flt.s, 0x00, 0, -1.36, -1.36) + + TEST_FP_CMP_OP_S( 5, feq.s, 0x00, 0, -1.37, -1.36) + TEST_FP_CMP_OP_S( 6, fle.s, 0x00, 1, -1.37, -1.36) + TEST_FP_CMP_OP_S( 7, flt.s, 0x00, 1, -1.37, -1.36) + + # Only sNaN should signal invalid for feq. + TEST_FP_CMP_OP_S( 8, feq.s, 0x00, 0, NaN, 0) + TEST_FP_CMP_OP_S( 9, feq.s, 0x00, 0, NaN, NaN) + TEST_FP_CMP_OP_S(10, feq.s, 0x10, 0, 0f:7f800001, 0) + + # qNaN should signal invalid for fle/flt. + TEST_FP_CMP_OP_S(11, flt.s, 0x10, 0, NaN, 0) + TEST_FP_CMP_OP_S(12, flt.s, 0x10, 0, NaN, NaN) + TEST_FP_CMP_OP_S(13, flt.s, 0x10, 0, 0f:7f800001, 0) + TEST_FP_CMP_OP_S(14, fle.s, 0x10, 0, NaN, 0) + TEST_FP_CMP_OP_S(15, fle.s, 0x10, 0, NaN, NaN) + TEST_FP_CMP_OP_S(16, fle.s, 0x10, 0, 0f:7f800001, 0) TEST_PASSFAIL |