Use NaN macros
[riscv-tests.git] / isa / rv64uf / fcmp.S
index 21cbf9d3f6c7da02cb22a9a7f45e3117d62a8cbb..2d7fcc243e27689c6917ccce21660dae51b81eab 100644 (file)
@@ -1,8 +1,10 @@
+# See LICENSE for license details.
+
 #*****************************************************************************
 # fcmp.S
 #-----------------------------------------------------------------------------
 #
-# Test f{eq|lt|le}.{s|d} instructions.
+# Test f{eq|lt|le}.s instructions.
 #
 
 #include "riscv_test.h"
@@ -15,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, sNaNf, 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, sNaNf, 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, sNaNf, 0)
 
   TEST_PASSFAIL