Test qNaN and sNaN inputs to FP comparisons
[riscv-tests.git] / isa / rv64ud / fcmp.S
1 # See LICENSE for license details.
2
3 #*****************************************************************************
4 # fcmp.S
5 #-----------------------------------------------------------------------------
6 #
7 # Test f{eq|lt|le}.d instructions.
8 #
9
10 #include "riscv_test.h"
11 #include "test_macros.h"
12
13 RVTEST_RV64UF
14 RVTEST_CODE_BEGIN
15
16 #-------------------------------------------------------------
17 # Arithmetic tests
18 #-------------------------------------------------------------
19
20 TEST_FP_CMP_OP_D( 2, feq.d, 0x00, 1, -1.36, -1.36)
21 TEST_FP_CMP_OP_D( 3, fle.d, 0x00, 1, -1.36, -1.36)
22 TEST_FP_CMP_OP_D( 4, flt.d, 0x00, 0, -1.36, -1.36)
23
24 TEST_FP_CMP_OP_D( 5, feq.d, 0x00, 0, -1.37, -1.36)
25 TEST_FP_CMP_OP_D( 6, fle.d, 0x00, 1, -1.37, -1.36)
26 TEST_FP_CMP_OP_D( 7, flt.d, 0x00, 1, -1.37, -1.36)
27
28 # Only sNaN should signal invalid for feq.
29 TEST_FP_CMP_OP_D( 8, feq.d, 0x00, 0, NaN, 0)
30 TEST_FP_CMP_OP_D( 9, feq.d, 0x00, 0, NaN, NaN)
31 TEST_FP_CMP_OP_D(10, feq.d, 0x10, 0, 0d:7ff0000000000001, 0)
32
33 # qNaN should signal invalid for fle/flt.
34 TEST_FP_CMP_OP_D(11, flt.d, 0x10, 0, NaN, 0)
35 TEST_FP_CMP_OP_D(12, flt.d, 0x10, 0, NaN, NaN)
36 TEST_FP_CMP_OP_D(13, flt.d, 0x10, 0, 0d:7ff0000000000001, 0)
37 TEST_FP_CMP_OP_D(14, fle.d, 0x10, 0, NaN, 0)
38 TEST_FP_CMP_OP_D(15, fle.d, 0x10, 0, NaN, NaN)
39 TEST_FP_CMP_OP_D(16, fle.d, 0x10, 0, 0d:7ff0000000000001, 0)
40
41 TEST_PASSFAIL
42
43 RVTEST_CODE_END
44
45 .data
46 RVTEST_DATA_BEGIN
47
48 TEST_DATA
49
50 RVTEST_DATA_END