RV64 s{ll,ra,rl}w tests with non-canonical values
[riscv-tests.git] / isa / rv64ui / sraw.S
1 # See LICENSE for license details.
2
3 #*****************************************************************************
4 # sraw.S
5 #-----------------------------------------------------------------------------
6 #
7 # Test sraw instruction.
8 #
9
10 #include "riscv_test.h"
11 #include "test_macros.h"
12
13 RVTEST_RV64U
14 RVTEST_CODE_BEGIN
15
16 #-------------------------------------------------------------
17 # Arithmetic tests
18 #-------------------------------------------------------------
19
20 TEST_RR_OP( 2, sraw, 0xffffffff80000000, 0xffffffff80000000, 0 );
21 TEST_RR_OP( 3, sraw, 0xffffffffc0000000, 0xffffffff80000000, 1 );
22 TEST_RR_OP( 4, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
23 TEST_RR_OP( 5, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
24 TEST_RR_OP( 6, sraw, 0xffffffffffffffff, 0xffffffff80000001, 31 );
25
26 TEST_RR_OP( 7, sraw, 0x000000007fffffff, 0x000000007fffffff, 0 );
27 TEST_RR_OP( 8, sraw, 0x000000003fffffff, 0x000000007fffffff, 1 );
28 TEST_RR_OP( 9, sraw, 0x0000000000ffffff, 0x000000007fffffff, 7 );
29 TEST_RR_OP( 10, sraw, 0x000000000001ffff, 0x000000007fffffff, 14 );
30 TEST_RR_OP( 11, sraw, 0x0000000000000000, 0x000000007fffffff, 31 );
31
32 TEST_RR_OP( 12, sraw, 0xffffffff81818181, 0xffffffff81818181, 0 );
33 TEST_RR_OP( 13, sraw, 0xffffffffc0c0c0c0, 0xffffffff81818181, 1 );
34 TEST_RR_OP( 14, sraw, 0xffffffffff030303, 0xffffffff81818181, 7 );
35 TEST_RR_OP( 15, sraw, 0xfffffffffffe0606, 0xffffffff81818181, 14 );
36 TEST_RR_OP( 16, sraw, 0xffffffffffffffff, 0xffffffff81818181, 31 );
37
38 # Verify that shifts only use bottom five bits
39
40 TEST_RR_OP( 17, sraw, 0xffffffff81818181, 0xffffffff81818181, 0xffffffffffffffe0 );
41 TEST_RR_OP( 18, sraw, 0xffffffffc0c0c0c0, 0xffffffff81818181, 0xffffffffffffffe1 );
42 TEST_RR_OP( 19, sraw, 0xffffffffff030303, 0xffffffff81818181, 0xffffffffffffffe7 );
43 TEST_RR_OP( 20, sraw, 0xfffffffffffe0606, 0xffffffff81818181, 0xffffffffffffffee );
44 TEST_RR_OP( 21, sraw, 0xffffffffffffffff, 0xffffffff81818181, 0xffffffffffffffff );
45
46 # Verify that shifts ignore top 32 (using true 64-bit values)
47
48 TEST_RR_OP( 44, sraw, 0x0000000012345678, 0xffffffff12345678, 0 );
49 TEST_RR_OP( 45, sraw, 0x0000000001234567, 0xffffffff12345678, 4 );
50 TEST_RR_OP( 46, sraw, 0xffffffff92345678, 0x0000000092345678, 0 );
51 TEST_RR_OP( 47, sraw, 0xfffffffff9234567, 0x0000000092345678, 4 );
52
53 #-------------------------------------------------------------
54 # Source/Destination tests
55 #-------------------------------------------------------------
56
57 TEST_RR_SRC1_EQ_DEST( 22, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
58 TEST_RR_SRC2_EQ_DEST( 23, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
59 TEST_RR_SRC12_EQ_DEST( 24, sraw, 0, 7 );
60
61 #-------------------------------------------------------------
62 # Bypassing tests
63 #-------------------------------------------------------------
64
65 TEST_RR_DEST_BYPASS( 25, 0, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
66 TEST_RR_DEST_BYPASS( 26, 1, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
67 TEST_RR_DEST_BYPASS( 27, 2, sraw, 0xffffffffffffffff, 0xffffffff80000000, 31 );
68
69 TEST_RR_SRC12_BYPASS( 28, 0, 0, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
70 TEST_RR_SRC12_BYPASS( 29, 0, 1, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
71 TEST_RR_SRC12_BYPASS( 30, 0, 2, sraw, 0xffffffffffffffff, 0xffffffff80000000, 31 );
72 TEST_RR_SRC12_BYPASS( 31, 1, 0, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
73 TEST_RR_SRC12_BYPASS( 32, 1, 1, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
74 TEST_RR_SRC12_BYPASS( 33, 2, 0, sraw, 0xffffffffffffffff, 0xffffffff80000000, 31 );
75
76 TEST_RR_SRC21_BYPASS( 34, 0, 0, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
77 TEST_RR_SRC21_BYPASS( 35, 0, 1, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
78 TEST_RR_SRC21_BYPASS( 36, 0, 2, sraw, 0xffffffffffffffff, 0xffffffff80000000, 31 );
79 TEST_RR_SRC21_BYPASS( 37, 1, 0, sraw, 0xffffffffff000000, 0xffffffff80000000, 7 );
80 TEST_RR_SRC21_BYPASS( 38, 1, 1, sraw, 0xfffffffffffe0000, 0xffffffff80000000, 14 );
81 TEST_RR_SRC21_BYPASS( 39, 2, 0, sraw, 0xffffffffffffffff, 0xffffffff80000000, 31 );
82
83 TEST_RR_ZEROSRC1( 40, sraw, 0, 15 );
84 TEST_RR_ZEROSRC2( 41, sraw, 32, 32 );
85 TEST_RR_ZEROSRC12( 42, sraw, 0 );
86 TEST_RR_ZERODEST( 43, sraw, 1024, 2048 );
87
88 TEST_PASSFAIL
89
90 RVTEST_CODE_END
91
92 .data
93 RVTEST_DATA_BEGIN
94
95 TEST_DATA
96
97 RVTEST_DATA_END