add invert/zeroing addu subvl predicate test
[riscv-tests.git] / isa / rv64ui / sv_addi_predicated_subvl.S
1 #include "riscv_test.h"
2 #include "sv_test_macros.h"
3
4 RVTEST_RV64U # Define TVM used by program.
5
6 #define SV_PREDICATION_TEST( pred, inv, zero, expect1, expect2 ) \
7 \
8 SV_LDD_DATA( x2, testdata , 0); \
9 SV_LDD_DATA( x3, testdata+8 , 0); \
10 SV_LDD_DATA( x4, testdata+16, 0); \
11 SV_LDD_DATA( x5, testdata+24, 0); \
12 \
13 li x6, pred; \
14 \
15 SET_SV_MVL( 2); \
16 SET_SV_CSR( 1, 3, SV_W_8BIT, 3, 1); \
17 SET_SV_PRED_CSR( 1, 3, zero, inv, 6, 0); \
18 SET_SV_VL( 2); \
19 SET_SV_SUBVL( 2); \
20 \
21 addi x3, x3, 1; \
22 \
23 SET_SV_SUBVL( 1); \
24 CLR_SV_CSRS(); \
25 SET_SV_VL( 1); \
26 SET_SV_MVL( 1); \
27 \
28 TEST_SV_IMM( x2, 1001); \
29 TEST_SV_IMM( x3, expect1); \
30 TEST_SV_IMM( x4, expect2); \
31 TEST_SV_IMM( x5, 1002);
32
33
34 # SV test: vector-vector add
35 #
36 # sets up x3 and x4 with data, sets VL to 2, and carries out
37 # an "add 1 to x3". which actually means "add 1 to x3 *AND* add 1 to x4"
38
39 # Test code region.
40 RVTEST_CODE_BEGIN # Start of test code.
41
42 # no zeroing, no inversion
43 SV_PREDICATION_TEST( 0x1, 0, 0, 0x41424445, 0 )
44 SV_PREDICATION_TEST( 0x2, 0, 0, 0x42434344, 0 )
45 SV_PREDICATION_TEST( 0x3, 0, 0, 0x42434445, 0 )
46 SV_PREDICATION_TEST( 0x0, 0, 0, 0x41424344, 0 )
47
48 # zeroing, no inversion
49 SV_PREDICATION_TEST( 0x1, 0, 1, 0x00004445, 0 )
50 SV_PREDICATION_TEST( 0x2, 0, 1, 0x42430000, 0 )
51 SV_PREDICATION_TEST( 0x3, 0, 1, 0x42434445, 0 )
52 SV_PREDICATION_TEST( 0x0, 0, 1, 0x00000000, 0 )
53
54 # no zeroing, inversion
55 SV_PREDICATION_TEST( 0x1, 1, 0, 0x42434344, 0 )
56 SV_PREDICATION_TEST( 0x2, 1, 0, 0x41424445, 0 )
57 SV_PREDICATION_TEST( 0x3, 1, 0, 0x41424344, 0 )
58 SV_PREDICATION_TEST( 0x0, 1, 0, 0x42434445, 0 )
59
60 # zeroing, inversion
61 SV_PREDICATION_TEST( 0x1, 1, 1, 0x42430000, 0 )
62 SV_PREDICATION_TEST( 0x2, 1, 1, 0x00004445, 0 )
63 SV_PREDICATION_TEST( 0x3, 1, 1, 0x00000000, 0 )
64 SV_PREDICATION_TEST( 0x0, 1, 1, 0x42434445, 0 )
65
66 RVTEST_PASS # Signal success.
67 fail:
68 RVTEST_FAIL
69 RVTEST_CODE_END # End of test code.
70
71 # Input data section.
72 # This section is optional, and this data is NOT saved in the output.
73 .data
74 .align 3
75 testdata:
76 .dword 1001
77 .dword 0x41424344
78 .dword 0x00000000
79 .dword 1002
80
81 # Output data section.
82 RVTEST_DATA_BEGIN # Start of test output data region.
83 .align 3
84 result:
85 .dword -1
86 .dword -1
87 .dword -1
88 RVTEST_DATA_END # End of test output data region.
89