conformance_test.gno
149.05 Kb · 1908 lines
1package riscv
2
3import (
4 "testing"
5
6 "gno.land/p/moul/x/vm/vmkit/v0"
7 "gno.land/p/nt/uassert/v0"
8)
9
10// The official RISC-V conformance suite, built from
11// github.com/riscv-software-src/riscv-tests at the rv32ui and rv32um targets.
12//
13// This is the only test here that a third party wrote. Everything in
14// riscv_test.gno checks that the emulator agrees with its author's reading of
15// the spec; this checks that it agrees with the people who wrote the spec.
16//
17// The suite's own environment (env/p) sets up mtvec, delegates traps and
18// returns through mret, none of which exists on a hart with no CSRs and one
19// privilege level. So these were built against a replacement riscv_test.h that
20// keeps the parts of the contract the tests rely on and drops the machine-mode
21// ceremony. Crucially the exit convention is the suite's own, unchanged: it
22// already spells pass and fail as `li a7, 93; ecall`, which is this host's exit
23// syscall, so a0 == 0 means pass and a0 == (testnum << 1) | 1 names the case
24// that failed.
25//
26// Regenerating the corpus, the replacement header and the linker script:
27// tools/riscv-guests/conformance.
28
29// conformanceDataAddr is where the linker script puts .data, far above the
30// text segment because the text is read-only here.
31const conformanceDataAddr = 0x40000
32
33// conformanceFuel bounds a runaway test. Every case in the suite finishes in
34// well under this; a case that does not has failed in a way worth reporting as
35// a timeout rather than hanging the run.
36const conformanceFuel = 2000000
37
38type conformanceCase struct {
39 name string
40 text []uint32
41 data []uint32
42}
43
44var conformanceCases = []conformanceCase{
45 {
46 name: "rv32ui-add",
47 text: []uint32{
48 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x00C58733, 0x00000393, 0x4C771663,
49 0x00300193, 0x00100593, 0x00100613, 0x00C58733, 0x00200393, 0x4A771A63, 0x00400193, 0x00300593,
50 0x00700613, 0x00C58733, 0x00A00393, 0x48771E63, 0x00500193, 0x00000593, 0xFFFF8637, 0x00C58733,
51 0xFFFF83B7, 0x48771263, 0x00600193, 0x800005B7, 0x00000613, 0x00C58733, 0x800003B7, 0x46771663,
52 0x00700193, 0x800005B7, 0xFFFF8637, 0x00C58733, 0x7FFF83B7, 0x44771A63, 0x00800193, 0x00000593,
53 0x00008637, 0xFFF60613, 0x00C58733, 0x000083B7, 0xFFF38393, 0x42771A63, 0x00900193, 0x800005B7,
54 0xFFF58593, 0x00000613, 0x00C58733, 0x800003B7, 0xFFF38393, 0x40771A63, 0x00A00193, 0x800005B7,
55 0xFFF58593, 0x00008637, 0xFFF60613, 0x00C58733, 0x800083B7, 0xFFE38393, 0x3E771863, 0x00B00193,
56 0x800005B7, 0x00008637, 0xFFF60613, 0x00C58733, 0x800083B7, 0xFFF38393, 0x3C771863, 0x00C00193,
57 0x800005B7, 0xFFF58593, 0xFFFF8637, 0x00C58733, 0x7FFF83B7, 0xFFF38393, 0x3A771863, 0x00D00193,
58 0x00000593, 0xFFF00613, 0x00C58733, 0xFFF00393, 0x38771C63, 0x00E00193, 0xFFF00593, 0x00100613,
59 0x00C58733, 0x00000393, 0x38771063, 0x00F00193, 0xFFF00593, 0xFFF00613, 0x00C58733, 0xFFE00393,
60 0x36771463, 0x01000193, 0x00100593, 0x80000637, 0xFFF60613, 0x00C58733, 0x800003B7, 0x34771663,
61 0x01100193, 0x00D00593, 0x00B00613, 0x00C585B3, 0x01800393, 0x32759A63, 0x01200193, 0x00E00593,
62 0x00B00613, 0x00C58633, 0x01900393, 0x30761E63, 0x01300193, 0x00D00593, 0x00B585B3, 0x01A00393,
63 0x30759463, 0x01400193, 0x00000213, 0x00D00093, 0x00B00113, 0x00208733, 0x00070313, 0x00120213,
64 0x00200293, 0xFE5214E3, 0x01800393, 0x2C731E63, 0x01500193, 0x00000213, 0x00E00093, 0x00B00113,
65 0x00208733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0x01900393, 0x2A731663,
66 0x01600193, 0x00000213, 0x00F00093, 0x00B00113, 0x00208733, 0x00000013, 0x00000013, 0x00070313,
67 0x00120213, 0x00200293, 0xFE5210E3, 0x01A00393, 0x26731C63, 0x01700193, 0x00000213, 0x00D00093,
68 0x00B00113, 0x00208733, 0x00120213, 0x00200293, 0xFE5216E3, 0x01800393, 0x24771863, 0x01800193,
69 0x00000213, 0x00E00093, 0x00B00113, 0x00000013, 0x00208733, 0x00120213, 0x00200293, 0xFE5214E3,
70 0x01900393, 0x22771263, 0x01900193, 0x00000213, 0x00F00093, 0x00B00113, 0x00000013, 0x00000013,
71 0x00208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x01A00393, 0x1E771A63, 0x01A00193, 0x00000213,
72 0x00D00093, 0x00000013, 0x00B00113, 0x00208733, 0x00120213, 0x00200293, 0xFE5214E3, 0x01800393,
73 0x1C771463, 0x01B00193, 0x00000213, 0x00E00093, 0x00000013, 0x00B00113, 0x00000013, 0x00208733,
74 0x00120213, 0x00200293, 0xFE5212E3, 0x01900393, 0x18771C63, 0x01C00193, 0x00000213, 0x00F00093,
75 0x00000013, 0x00000013, 0x00B00113, 0x00208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x01A00393,
76 0x16771463, 0x01D00193, 0x00000213, 0x00B00113, 0x00D00093, 0x00208733, 0x00120213, 0x00200293,
77 0xFE5216E3, 0x01800393, 0x14771063, 0x01E00193, 0x00000213, 0x00B00113, 0x00E00093, 0x00000013,
78 0x00208733, 0x00120213, 0x00200293, 0xFE5214E3, 0x01900393, 0x10771A63, 0x01F00193, 0x00000213,
79 0x00B00113, 0x00F00093, 0x00000013, 0x00000013, 0x00208733, 0x00120213, 0x00200293, 0xFE5212E3,
80 0x01A00393, 0x0E771263, 0x02000193, 0x00000213, 0x00B00113, 0x00000013, 0x00D00093, 0x00208733,
81 0x00120213, 0x00200293, 0xFE5214E3, 0x01800393, 0x0A771C63, 0x02100193, 0x00000213, 0x00B00113,
82 0x00000013, 0x00E00093, 0x00000013, 0x00208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x01900393,
83 0x08771463, 0x02200193, 0x00000213, 0x00B00113, 0x00000013, 0x00000013, 0x00F00093, 0x00208733,
84 0x00120213, 0x00200293, 0xFE5212E3, 0x01A00393, 0x04771C63, 0x02300193, 0x00F00093, 0x00100133,
85 0x00F00393, 0x04711263, 0x02400193, 0x02000093, 0x00008133, 0x02000393, 0x02711863, 0x02500193,
86 0x000000B3, 0x00000393, 0x02709063, 0x02600193, 0x01000093, 0x01E00113, 0x00208033, 0x00000393,
87 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
88 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
89 },
90 },
91 {
92 name: "rv32ui-addi",
93 text: []uint32{
94 0x00000193, 0x0040006F, 0x00200193, 0x00000693, 0x00068713, 0x00000393, 0x26771C63, 0x00300193,
95 0x00100693, 0x00168713, 0x00200393, 0x26771263, 0x00400193, 0x00300693, 0x00768713, 0x00A00393,
96 0x24771863, 0x00500193, 0x00000693, 0x80068713, 0x80000393, 0x22771E63, 0x00600193, 0x800006B7,
97 0x00068713, 0x800003B7, 0x22771463, 0x00700193, 0x800006B7, 0x80068713, 0x800003B7, 0x80038393,
98 0x20771863, 0x00800193, 0x00000693, 0x7FF68713, 0x7FF00393, 0x1E771E63, 0x00900193, 0x800006B7,
99 0xFFF68693, 0x00068713, 0x800003B7, 0xFFF38393, 0x1E771063, 0x00A00193, 0x800006B7, 0xFFF68693,
100 0x7FF68713, 0x800003B7, 0x7FE38393, 0x1C771263, 0x00B00193, 0x800006B7, 0x7FF68713, 0x800003B7,
101 0x7FF38393, 0x1A771663, 0x00C00193, 0x800006B7, 0xFFF68693, 0x80068713, 0x7FFFF3B7, 0x7FF38393,
102 0x18771863, 0x00D00193, 0x00000693, 0xFFF68713, 0xFFF00393, 0x16771E63, 0x00E00193, 0xFFF00693,
103 0x00168713, 0x00000393, 0x16771463, 0x00F00193, 0xFFF00693, 0xFFF68713, 0xFFE00393, 0x14771A63,
104 0x01000193, 0x800006B7, 0xFFF68693, 0x00168713, 0x800003B7, 0x12771E63, 0x01100193, 0x00D00593,
105 0x00B58593, 0x01800393, 0x12759463, 0x01200193, 0x00000213, 0x00D00093, 0x00B08713, 0x00070313,
106 0x00120213, 0x00200293, 0xFE5216E3, 0x01800393, 0x10731063, 0x01300193, 0x00000213, 0x00D00093,
107 0x00A08713, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x01700393, 0x0C731A63,
108 0x01400193, 0x00000213, 0x00D00093, 0x00908713, 0x00000013, 0x00000013, 0x00070313, 0x00120213,
109 0x00200293, 0xFE5212E3, 0x01600393, 0x0A731263, 0x01500193, 0x00000213, 0x00D00093, 0x00B08713,
110 0x00120213, 0x00200293, 0xFE5218E3, 0x01800393, 0x08771063, 0x01600193, 0x00000213, 0x00D00093,
111 0x00000013, 0x00A08713, 0x00120213, 0x00200293, 0xFE5216E3, 0x01700393, 0x04771C63, 0x01700193,
112 0x00000213, 0x00D00093, 0x00000013, 0x00000013, 0x00908713, 0x00120213, 0x00200293, 0xFE5214E3,
113 0x01600393, 0x02771663, 0x01800193, 0x02000093, 0x02000393, 0x00709E63, 0x01900193, 0x02100093,
114 0x03208013, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
115 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
116 0x00000000,
117 },
118 },
119 {
120 name: "rv32ui-and",
121 text: []uint32{
122 0x00000193, 0x0040006F, 0x00200193, 0xFF0105B7, 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5F733,
123 0x0F0013B7, 0xF0038393, 0x48771C63, 0x00300193, 0x0FF015B7, 0xFF058593, 0xF0F0F637, 0x0F060613,
124 0x00C5F733, 0x00F003B7, 0x0F038393, 0x46771A63, 0x00400193, 0x00FF05B7, 0x0FF58593, 0x0F0F1637,
125 0xF0F60613, 0x00C5F733, 0x000F03B7, 0x00F38393, 0x44771863, 0x00500193, 0xF00FF5B7, 0x00F58593,
126 0xF0F0F637, 0x0F060613, 0x00C5F733, 0xF000F3B7, 0x42771863, 0x00600193, 0xFF0105B7, 0xF0058593,
127 0x0F0F1637, 0xF0F60613, 0x00C5F5B3, 0x0F0013B7, 0xF0038393, 0x40759663, 0x00700193, 0x0FF015B7,
128 0xFF058593, 0xF0F0F637, 0x0F060613, 0x00C5F633, 0x00F003B7, 0x0F038393, 0x3E761463, 0x00800193,
129 0xFF0105B7, 0xF0058593, 0x00B5F5B3, 0xFF0103B7, 0xF0038393, 0x3C759663, 0x00900193, 0x00000213,
130 0xFF0100B7, 0xF0008093, 0x0F0F1137, 0xF0F10113, 0x0020F733, 0x00070313, 0x00120213, 0x00200293,
131 0xFE5210E3, 0x0F0013B7, 0xF0038393, 0x38731A63, 0x00A00193, 0x00000213, 0x0FF010B7, 0xFF008093,
132 0xF0F0F137, 0x0F010113, 0x0020F733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFC521EE3,
133 0x00F003B7, 0x0F038393, 0x34731C63, 0x00B00193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x0F0F1137,
134 0xF0F10113, 0x0020F733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFC521CE3,
135 0x000F03B7, 0x00F38393, 0x30731C63, 0x00C00193, 0x00000213, 0xFF0100B7, 0xF0008093, 0x0F0F1137,
136 0xF0F10113, 0x0020F733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0F0013B7, 0xF0038393, 0x2E771263,
137 0x00D00193, 0x00000213, 0x0FF010B7, 0xFF008093, 0xF0F0F137, 0x0F010113, 0x00000013, 0x0020F733,
138 0x00120213, 0x00200293, 0xFE5210E3, 0x00F003B7, 0x0F038393, 0x2A771663, 0x00E00193, 0x00000213,
139 0x00FF00B7, 0x0FF08093, 0x0F0F1137, 0xF0F10113, 0x00000013, 0x00000013, 0x0020F733, 0x00120213,
140 0x00200293, 0xFC521EE3, 0x000F03B7, 0x00F38393, 0x26771863, 0x00F00193, 0x00000213, 0xFF0100B7,
141 0xF0008093, 0x00000013, 0x0F0F1137, 0xF0F10113, 0x0020F733, 0x00120213, 0x00200293, 0xFE5210E3,
142 0x0F0013B7, 0xF0038393, 0x22771C63, 0x01000193, 0x00000213, 0x0FF010B7, 0xFF008093, 0x00000013,
143 0xF0F0F137, 0x0F010113, 0x00000013, 0x0020F733, 0x00120213, 0x00200293, 0xFC521EE3, 0x00F003B7,
144 0x0F038393, 0x1E771E63, 0x01100193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x00000013, 0x00000013,
145 0x0F0F1137, 0xF0F10113, 0x0020F733, 0x00120213, 0x00200293, 0xFC521EE3, 0x000F03B7, 0x00F38393,
146 0x1C771063, 0x01200193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0xFF0100B7, 0xF0008093, 0x0020F733,
147 0x00120213, 0x00200293, 0xFE5212E3, 0x0F0013B7, 0xF0038393, 0x18771663, 0x01300193, 0x00000213,
148 0xF0F0F137, 0x0F010113, 0x0FF010B7, 0xFF008093, 0x00000013, 0x0020F733, 0x00120213, 0x00200293,
149 0xFE5210E3, 0x00F003B7, 0x0F038393, 0x14771A63, 0x01400193, 0x00000213, 0x0F0F1137, 0xF0F10113,
150 0x00FF00B7, 0x0FF08093, 0x00000013, 0x00000013, 0x0020F733, 0x00120213, 0x00200293, 0xFC521EE3,
151 0x000F03B7, 0x00F38393, 0x10771C63, 0x01500193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0x00000013,
152 0xFF0100B7, 0xF0008093, 0x0020F733, 0x00120213, 0x00200293, 0xFE5210E3, 0x0F0013B7, 0xF0038393,
153 0x0E771063, 0x01600193, 0x00000213, 0xF0F0F137, 0x0F010113, 0x00000013, 0x0FF010B7, 0xFF008093,
154 0x00000013, 0x0020F733, 0x00120213, 0x00200293, 0xFC521EE3, 0x00F003B7, 0x0F038393, 0x0A771263,
155 0x01700193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0x00000013, 0x00000013, 0x00FF00B7, 0x0FF08093,
156 0x0020F733, 0x00120213, 0x00200293, 0xFC521EE3, 0x000F03B7, 0x00F38393, 0x06771463, 0x01800193,
157 0xFF0100B7, 0xF0008093, 0x00107133, 0x00000393, 0x04711863, 0x01900193, 0x00FF00B7, 0x0FF08093,
158 0x0000F133, 0x00000393, 0x02711C63, 0x01A00193, 0x000070B3, 0x00000393, 0x02709463, 0x01B00193,
159 0x111110B7, 0x11108093, 0x22222137, 0x22210113, 0x0020F033, 0x00000393, 0x00701463, 0x02301063,
160 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F,
161 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
162 },
163 },
164 {
165 name: "rv32ui-andi",
166 text: []uint32{
167 0x00000193, 0x0040006F, 0x00200193, 0xFF0106B7, 0xF0068693, 0xF0F6F713, 0xFF0103B7, 0xF0038393,
168 0x1A771463, 0x00300193, 0x0FF016B7, 0xFF068693, 0x0F06F713, 0x0F000393, 0x18771863, 0x00400193,
169 0x00FF06B7, 0x0FF68693, 0x70F6F713, 0x00F00393, 0x16771C63, 0x00500193, 0xF00FF6B7, 0x00F68693,
170 0x0F06F713, 0x00000393, 0x16771063, 0x00600193, 0xFF0105B7, 0xF0058593, 0x0F05F593, 0x00000393,
171 0x14759463, 0x00700193, 0x00000213, 0x0FF010B7, 0xFF008093, 0x70F0F713, 0x00070313, 0x00120213,
172 0x00200293, 0xFE5214E3, 0x70000393, 0x10731E63, 0x00800193, 0x00000213, 0x00FF00B7, 0x0FF08093,
173 0x0F00F713, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0x0F000393, 0x0E731663,
174 0x00900193, 0x00000213, 0xF00FF0B7, 0x00F08093, 0xF0F0F713, 0x00000013, 0x00000013, 0x00070313,
175 0x00120213, 0x00200293, 0xFE5210E3, 0xF00FF3B7, 0x00F38393, 0x0A731A63, 0x00A00193, 0x00000213,
176 0x0FF010B7, 0xFF008093, 0x70F0F713, 0x00120213, 0x00200293, 0xFE5216E3, 0x70000393, 0x08771663,
177 0x00B00193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x00000013, 0x0F00F713, 0x00120213, 0x00200293,
178 0xFE5214E3, 0x0F000393, 0x06771063, 0x00C00193, 0x00000213, 0xF00FF0B7, 0x00F08093, 0x00000013,
179 0x00000013, 0x70F0F713, 0x00120213, 0x00200293, 0xFE5212E3, 0x00F00393, 0x02771863, 0x00D00193,
180 0x0F007093, 0x00000393, 0x02709063, 0x00E00193, 0x00FF00B7, 0x0FF08093, 0x70F0F013, 0x00000393,
181 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
182 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
183 },
184 },
185 {
186 name: "rv32ui-auipc",
187 text: []uint32{
188 0x00000193, 0x0040006F, 0x00200193, 0x00000013, 0x00002517, 0x71C50513, 0x004005EF, 0x40B50533,
189 0x000023B7, 0x71038393, 0x02751463, 0x00300193, 0xFFFFE517, 0x8FC50513, 0x004005EF, 0x40B50533,
190 0xFFFFE3B7, 0x8F038393, 0x00751463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
191 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
192 0x00000000,
193 },
194 },
195 {
196 name: "rv32ui-beq",
197 text: []uint32{
198 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x00000113, 0x00208663, 0x2A301863, 0x00301663,
199 0xFE208EE3, 0x2A301263, 0x00300193, 0x00100093, 0x00100113, 0x00208663, 0x28301863, 0x00301663,
200 0xFE208EE3, 0x28301263, 0x00400193, 0xFFF00093, 0xFFF00113, 0x00208663, 0x26301863, 0x00301663,
201 0xFE208EE3, 0x26301263, 0x00500193, 0x00000093, 0x00100113, 0x00208463, 0x00301463, 0x24301663,
202 0xFE208EE3, 0x00600193, 0x00100093, 0x00000113, 0x00208463, 0x00301463, 0x22301863, 0xFE208EE3,
203 0x00700193, 0xFFF00093, 0x00100113, 0x00208463, 0x00301463, 0x20301A63, 0xFE208EE3, 0x00800193,
204 0x00100093, 0xFFF00113, 0x00208463, 0x00301463, 0x1E301C63, 0xFE208EE3, 0x00900193, 0x00000213,
205 0x00000093, 0xFFF00113, 0x1E208063, 0x00120213, 0x00200293, 0xFE5216E3, 0x00A00193, 0x00000213,
206 0x00000093, 0xFFF00113, 0x00000013, 0x1A208E63, 0x00120213, 0x00200293, 0xFE5214E3, 0x00B00193,
207 0x00000213, 0x00000093, 0xFFF00113, 0x00000013, 0x00000013, 0x18208A63, 0x00120213, 0x00200293,
208 0xFE5212E3, 0x00C00193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x16208863, 0x00120213,
209 0x00200293, 0xFE5214E3, 0x00D00193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x00000013,
210 0x14208463, 0x00120213, 0x00200293, 0xFE5212E3, 0x00E00193, 0x00000213, 0x00000093, 0x00000013,
211 0x00000013, 0xFFF00113, 0x12208063, 0x00120213, 0x00200293, 0xFE5212E3, 0x00F00193, 0x00000213,
212 0x00000093, 0xFFF00113, 0x10208063, 0x00120213, 0x00200293, 0xFE5216E3, 0x01000193, 0x00000213,
213 0x00000093, 0xFFF00113, 0x00000013, 0x0C208E63, 0x00120213, 0x00200293, 0xFE5214E3, 0x01100193,
214 0x00000213, 0x00000093, 0xFFF00113, 0x00000013, 0x00000013, 0x0A208A63, 0x00120213, 0x00200293,
215 0xFE5212E3, 0x01200193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x08208863, 0x00120213,
216 0x00200293, 0xFE5214E3, 0x01300193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x00000013,
217 0x06208463, 0x00120213, 0x00200293, 0xFE5212E3, 0x01400193, 0x00000213, 0x00000093, 0x00000013,
218 0x00000013, 0xFFF00113, 0x04208063, 0x00120213, 0x00200293, 0xFE5212E3, 0x01500193, 0x00100093,
219 0x00000A63, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00300393,
220 0x00709463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
221 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
222 },
223 },
224 {
225 name: "rv32ui-bge",
226 text: []uint32{
227 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x00000113, 0x0020D663, 0x30301863, 0x00301663,
228 0xFE20DEE3, 0x30301263, 0x00300193, 0x00100093, 0x00100113, 0x0020D663, 0x2E301863, 0x00301663,
229 0xFE20DEE3, 0x2E301263, 0x00400193, 0xFFF00093, 0xFFF00113, 0x0020D663, 0x2C301863, 0x00301663,
230 0xFE20DEE3, 0x2C301263, 0x00500193, 0x00100093, 0x00000113, 0x0020D663, 0x2A301863, 0x00301663,
231 0xFE20DEE3, 0x2A301263, 0x00600193, 0x00100093, 0xFFF00113, 0x0020D663, 0x28301863, 0x00301663,
232 0xFE20DEE3, 0x28301263, 0x00700193, 0xFFF00093, 0xFFE00113, 0x0020D663, 0x26301863, 0x00301663,
233 0xFE20DEE3, 0x26301263, 0x00800193, 0x00000093, 0x00100113, 0x0020D463, 0x00301463, 0x24301663,
234 0xFE20DEE3, 0x00900193, 0xFFF00093, 0x00100113, 0x0020D463, 0x00301463, 0x22301863, 0xFE20DEE3,
235 0x00A00193, 0xFFE00093, 0xFFF00113, 0x0020D463, 0x00301463, 0x20301A63, 0xFE20DEE3, 0x00B00193,
236 0xFFE00093, 0x00100113, 0x0020D463, 0x00301463, 0x1E301C63, 0xFE20DEE3, 0x00C00193, 0x00000213,
237 0xFFF00093, 0x00000113, 0x1E20D063, 0x00120213, 0x00200293, 0xFE5216E3, 0x00D00193, 0x00000213,
238 0xFFF00093, 0x00000113, 0x00000013, 0x1A20DE63, 0x00120213, 0x00200293, 0xFE5214E3, 0x00E00193,
239 0x00000213, 0xFFF00093, 0x00000113, 0x00000013, 0x00000013, 0x1820DA63, 0x00120213, 0x00200293,
240 0xFE5212E3, 0x00F00193, 0x00000213, 0xFFF00093, 0x00000013, 0x00000113, 0x1620D863, 0x00120213,
241 0x00200293, 0xFE5214E3, 0x01000193, 0x00000213, 0xFFF00093, 0x00000013, 0x00000113, 0x00000013,
242 0x1420D463, 0x00120213, 0x00200293, 0xFE5212E3, 0x01100193, 0x00000213, 0xFFF00093, 0x00000013,
243 0x00000013, 0x00000113, 0x1220D063, 0x00120213, 0x00200293, 0xFE5212E3, 0x01200193, 0x00000213,
244 0xFFF00093, 0x00000113, 0x1020D063, 0x00120213, 0x00200293, 0xFE5216E3, 0x01300193, 0x00000213,
245 0xFFF00093, 0x00000113, 0x00000013, 0x0C20DE63, 0x00120213, 0x00200293, 0xFE5214E3, 0x01400193,
246 0x00000213, 0xFFF00093, 0x00000113, 0x00000013, 0x00000013, 0x0A20DA63, 0x00120213, 0x00200293,
247 0xFE5212E3, 0x01500193, 0x00000213, 0xFFF00093, 0x00000013, 0x00000113, 0x0820D863, 0x00120213,
248 0x00200293, 0xFE5214E3, 0x01600193, 0x00000213, 0xFFF00093, 0x00000013, 0x00000113, 0x00000013,
249 0x0620D463, 0x00120213, 0x00200293, 0xFE5212E3, 0x01700193, 0x00000213, 0xFFF00093, 0x00000013,
250 0x00000013, 0x00000113, 0x0420D063, 0x00120213, 0x00200293, 0xFE5212E3, 0x01800193, 0x00100093,
251 0x0000DA63, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00300393,
252 0x00709463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
253 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
254 },
255 },
256 {
257 name: "rv32ui-bgeu",
258 text: []uint32{
259 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x00000113, 0x0020F663, 0x34301263, 0x00301663,
260 0xFE20FEE3, 0x32301C63, 0x00300193, 0x00100093, 0x00100113, 0x0020F663, 0x32301263, 0x00301663,
261 0xFE20FEE3, 0x30301C63, 0x00400193, 0xFFF00093, 0xFFF00113, 0x0020F663, 0x30301263, 0x00301663,
262 0xFE20FEE3, 0x2E301C63, 0x00500193, 0x00100093, 0x00000113, 0x0020F663, 0x2E301263, 0x00301663,
263 0xFE20FEE3, 0x2C301C63, 0x00600193, 0xFFF00093, 0xFFE00113, 0x0020F663, 0x2C301263, 0x00301663,
264 0xFE20FEE3, 0x2A301C63, 0x00700193, 0xFFF00093, 0x00000113, 0x0020F663, 0x2A301263, 0x00301663,
265 0xFE20FEE3, 0x28301C63, 0x00800193, 0x00000093, 0x00100113, 0x0020F463, 0x00301463, 0x28301063,
266 0xFE20FEE3, 0x00900193, 0xFFE00093, 0xFFF00113, 0x0020F463, 0x00301463, 0x26301263, 0xFE20FEE3,
267 0x00A00193, 0x00000093, 0xFFF00113, 0x0020F463, 0x00301463, 0x24301463, 0xFE20FEE3, 0x00B00193,
268 0x800000B7, 0xFFF08093, 0x80000137, 0x0020F463, 0x00301463, 0x22301463, 0xFE20FEE3, 0x00C00193,
269 0x00000213, 0xF00000B7, 0xFFF08093, 0xF0000137, 0x2020F663, 0x00120213, 0x00200293, 0xFE5214E3,
270 0x00D00193, 0x00000213, 0xF00000B7, 0xFFF08093, 0xF0000137, 0x00000013, 0x1E20F263, 0x00120213,
271 0x00200293, 0xFE5212E3, 0x00E00193, 0x00000213, 0xF00000B7, 0xFFF08093, 0xF0000137, 0x00000013,
272 0x00000013, 0x1A20FC63, 0x00120213, 0x00200293, 0xFE5210E3, 0x00F00193, 0x00000213, 0xF00000B7,
273 0xFFF08093, 0x00000013, 0xF0000137, 0x1820F863, 0x00120213, 0x00200293, 0xFE5212E3, 0x01000193,
274 0x00000213, 0xF00000B7, 0xFFF08093, 0x00000013, 0xF0000137, 0x00000013, 0x1620F263, 0x00120213,
275 0x00200293, 0xFE5210E3, 0x01100193, 0x00000213, 0xF00000B7, 0xFFF08093, 0x00000013, 0x00000013,
276 0xF0000137, 0x1220FC63, 0x00120213, 0x00200293, 0xFE5210E3, 0x01200193, 0x00000213, 0xF00000B7,
277 0xFFF08093, 0xF0000137, 0x1020FA63, 0x00120213, 0x00200293, 0xFE5214E3, 0x01300193, 0x00000213,
278 0xF00000B7, 0xFFF08093, 0xF0000137, 0x00000013, 0x0E20F663, 0x00120213, 0x00200293, 0xFE5212E3,
279 0x01400193, 0x00000213, 0xF00000B7, 0xFFF08093, 0xF0000137, 0x00000013, 0x00000013, 0x0C20F063,
280 0x00120213, 0x00200293, 0xFE5210E3, 0x01500193, 0x00000213, 0xF00000B7, 0xFFF08093, 0x00000013,
281 0xF0000137, 0x0820FC63, 0x00120213, 0x00200293, 0xFE5212E3, 0x01600193, 0x00000213, 0xF00000B7,
282 0xFFF08093, 0x00000013, 0xF0000137, 0x00000013, 0x0620F663, 0x00120213, 0x00200293, 0xFE5210E3,
283 0x01700193, 0x00000213, 0xF00000B7, 0xFFF08093, 0x00000013, 0x00000013, 0xF0000137, 0x0420F063,
284 0x00120213, 0x00200293, 0xFE5210E3, 0x01800193, 0x00100093, 0x0000FA63, 0x00108093, 0x00108093,
285 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00300393, 0x00709463, 0x02301063, 0x0FF0000F,
286 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
287 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
288 },
289 },
290 {
291 name: "rv32ui-blt",
292 text: []uint32{
293 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x00100113, 0x0020C663, 0x2A301863, 0x00301663,
294 0xFE20CEE3, 0x2A301263, 0x00300193, 0xFFF00093, 0x00100113, 0x0020C663, 0x28301863, 0x00301663,
295 0xFE20CEE3, 0x28301263, 0x00400193, 0xFFE00093, 0xFFF00113, 0x0020C663, 0x26301863, 0x00301663,
296 0xFE20CEE3, 0x26301263, 0x00500193, 0x00100093, 0x00000113, 0x0020C463, 0x00301463, 0x24301663,
297 0xFE20CEE3, 0x00600193, 0x00100093, 0xFFF00113, 0x0020C463, 0x00301463, 0x22301863, 0xFE20CEE3,
298 0x00700193, 0xFFF00093, 0xFFE00113, 0x0020C463, 0x00301463, 0x20301A63, 0xFE20CEE3, 0x00800193,
299 0x00100093, 0xFFE00113, 0x0020C463, 0x00301463, 0x1E301C63, 0xFE20CEE3, 0x00900193, 0x00000213,
300 0x00000093, 0xFFF00113, 0x1E20C063, 0x00120213, 0x00200293, 0xFE5216E3, 0x00A00193, 0x00000213,
301 0x00000093, 0xFFF00113, 0x00000013, 0x1A20CE63, 0x00120213, 0x00200293, 0xFE5214E3, 0x00B00193,
302 0x00000213, 0x00000093, 0xFFF00113, 0x00000013, 0x00000013, 0x1820CA63, 0x00120213, 0x00200293,
303 0xFE5212E3, 0x00C00193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x1620C863, 0x00120213,
304 0x00200293, 0xFE5214E3, 0x00D00193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x00000013,
305 0x1420C463, 0x00120213, 0x00200293, 0xFE5212E3, 0x00E00193, 0x00000213, 0x00000093, 0x00000013,
306 0x00000013, 0xFFF00113, 0x1220C063, 0x00120213, 0x00200293, 0xFE5212E3, 0x00F00193, 0x00000213,
307 0x00000093, 0xFFF00113, 0x1020C063, 0x00120213, 0x00200293, 0xFE5216E3, 0x01000193, 0x00000213,
308 0x00000093, 0xFFF00113, 0x00000013, 0x0C20CE63, 0x00120213, 0x00200293, 0xFE5214E3, 0x01100193,
309 0x00000213, 0x00000093, 0xFFF00113, 0x00000013, 0x00000013, 0x0A20CA63, 0x00120213, 0x00200293,
310 0xFE5212E3, 0x01200193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x0820C863, 0x00120213,
311 0x00200293, 0xFE5214E3, 0x01300193, 0x00000213, 0x00000093, 0x00000013, 0xFFF00113, 0x00000013,
312 0x0620C463, 0x00120213, 0x00200293, 0xFE5212E3, 0x01400193, 0x00000213, 0x00000093, 0x00000013,
313 0x00000013, 0xFFF00113, 0x0420C063, 0x00120213, 0x00200293, 0xFE5212E3, 0x01500193, 0x00100093,
314 0x00104A63, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00300393,
315 0x00709463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
316 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
317 },
318 },
319 {
320 name: "rv32ui-bltu",
321 text: []uint32{
322 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x00100113, 0x0020E663, 0x2E301263, 0x00301663,
323 0xFE20EEE3, 0x2C301C63, 0x00300193, 0xFFE00093, 0xFFF00113, 0x0020E663, 0x2C301263, 0x00301663,
324 0xFE20EEE3, 0x2A301C63, 0x00400193, 0x00000093, 0xFFF00113, 0x0020E663, 0x2A301263, 0x00301663,
325 0xFE20EEE3, 0x28301C63, 0x00500193, 0x00100093, 0x00000113, 0x0020E463, 0x00301463, 0x28301063,
326 0xFE20EEE3, 0x00600193, 0xFFF00093, 0xFFE00113, 0x0020E463, 0x00301463, 0x26301263, 0xFE20EEE3,
327 0x00700193, 0xFFF00093, 0x00000113, 0x0020E463, 0x00301463, 0x24301463, 0xFE20EEE3, 0x00800193,
328 0x800000B7, 0x80000137, 0xFFF10113, 0x0020E463, 0x00301463, 0x22301463, 0xFE20EEE3, 0x00900193,
329 0x00000213, 0xF00000B7, 0xF0000137, 0xFFF10113, 0x2020E663, 0x00120213, 0x00200293, 0xFE5214E3,
330 0x00A00193, 0x00000213, 0xF00000B7, 0xF0000137, 0xFFF10113, 0x00000013, 0x1E20E263, 0x00120213,
331 0x00200293, 0xFE5212E3, 0x00B00193, 0x00000213, 0xF00000B7, 0xF0000137, 0xFFF10113, 0x00000013,
332 0x00000013, 0x1A20EC63, 0x00120213, 0x00200293, 0xFE5210E3, 0x00C00193, 0x00000213, 0xF00000B7,
333 0x00000013, 0xF0000137, 0xFFF10113, 0x1820E863, 0x00120213, 0x00200293, 0xFE5212E3, 0x00D00193,
334 0x00000213, 0xF00000B7, 0x00000013, 0xF0000137, 0xFFF10113, 0x00000013, 0x1620E263, 0x00120213,
335 0x00200293, 0xFE5210E3, 0x00E00193, 0x00000213, 0xF00000B7, 0x00000013, 0x00000013, 0xF0000137,
336 0xFFF10113, 0x1220EC63, 0x00120213, 0x00200293, 0xFE5210E3, 0x00F00193, 0x00000213, 0xF00000B7,
337 0xF0000137, 0xFFF10113, 0x1020EA63, 0x00120213, 0x00200293, 0xFE5214E3, 0x01000193, 0x00000213,
338 0xF00000B7, 0xF0000137, 0xFFF10113, 0x00000013, 0x0E20E663, 0x00120213, 0x00200293, 0xFE5212E3,
339 0x01100193, 0x00000213, 0xF00000B7, 0xF0000137, 0xFFF10113, 0x00000013, 0x00000013, 0x0C20E063,
340 0x00120213, 0x00200293, 0xFE5210E3, 0x01200193, 0x00000213, 0xF00000B7, 0x00000013, 0xF0000137,
341 0xFFF10113, 0x0820EC63, 0x00120213, 0x00200293, 0xFE5212E3, 0x01300193, 0x00000213, 0xF00000B7,
342 0x00000013, 0xF0000137, 0xFFF10113, 0x00000013, 0x0620E663, 0x00120213, 0x00200293, 0xFE5210E3,
343 0x01400193, 0x00000213, 0xF00000B7, 0x00000013, 0x00000013, 0xF0000137, 0xFFF10113, 0x0420E063,
344 0x00120213, 0x00200293, 0xFE5210E3, 0x01500193, 0x00100093, 0x00106A63, 0x00108093, 0x00108093,
345 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00300393, 0x00709463, 0x02301063, 0x0FF0000F,
346 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
347 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
348 },
349 },
350 {
351 name: "rv32ui-bne",
352 text: []uint32{
353 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x00100113, 0x00209663, 0x2A301A63, 0x00301663,
354 0xFE209EE3, 0x2A301463, 0x00300193, 0x00100093, 0x00000113, 0x00209663, 0x28301A63, 0x00301663,
355 0xFE209EE3, 0x28301463, 0x00400193, 0xFFF00093, 0x00100113, 0x00209663, 0x26301A63, 0x00301663,
356 0xFE209EE3, 0x26301463, 0x00500193, 0x00100093, 0xFFF00113, 0x00209663, 0x24301A63, 0x00301663,
357 0xFE209EE3, 0x24301463, 0x00600193, 0x00000093, 0x00000113, 0x00209463, 0x00301463, 0x22301863,
358 0xFE209EE3, 0x00700193, 0x00100093, 0x00100113, 0x00209463, 0x00301463, 0x20301A63, 0xFE209EE3,
359 0x00800193, 0xFFF00093, 0xFFF00113, 0x00209463, 0x00301463, 0x1E301C63, 0xFE209EE3, 0x00900193,
360 0x00000213, 0x00000093, 0x00000113, 0x1E209063, 0x00120213, 0x00200293, 0xFE5216E3, 0x00A00193,
361 0x00000213, 0x00000093, 0x00000113, 0x00000013, 0x1A209E63, 0x00120213, 0x00200293, 0xFE5214E3,
362 0x00B00193, 0x00000213, 0x00000093, 0x00000113, 0x00000013, 0x00000013, 0x18209A63, 0x00120213,
363 0x00200293, 0xFE5212E3, 0x00C00193, 0x00000213, 0x00000093, 0x00000013, 0x00000113, 0x16209863,
364 0x00120213, 0x00200293, 0xFE5214E3, 0x00D00193, 0x00000213, 0x00000093, 0x00000013, 0x00000113,
365 0x00000013, 0x14209463, 0x00120213, 0x00200293, 0xFE5212E3, 0x00E00193, 0x00000213, 0x00000093,
366 0x00000013, 0x00000013, 0x00000113, 0x12209063, 0x00120213, 0x00200293, 0xFE5212E3, 0x00F00193,
367 0x00000213, 0x00000093, 0x00000113, 0x10209063, 0x00120213, 0x00200293, 0xFE5216E3, 0x01000193,
368 0x00000213, 0x00000093, 0x00000113, 0x00000013, 0x0C209E63, 0x00120213, 0x00200293, 0xFE5214E3,
369 0x01100193, 0x00000213, 0x00000093, 0x00000113, 0x00000013, 0x00000013, 0x0A209A63, 0x00120213,
370 0x00200293, 0xFE5212E3, 0x01200193, 0x00000213, 0x00000093, 0x00000013, 0x00000113, 0x08209863,
371 0x00120213, 0x00200293, 0xFE5214E3, 0x01300193, 0x00000213, 0x00000093, 0x00000013, 0x00000113,
372 0x00000013, 0x06209463, 0x00120213, 0x00200293, 0xFE5212E3, 0x01400193, 0x00000213, 0x00000093,
373 0x00000013, 0x00000013, 0x00000113, 0x04209063, 0x00120213, 0x00200293, 0xFE5212E3, 0x01500193,
374 0x00100093, 0x00009A63, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00108093,
375 0x00300393, 0x00709463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893,
376 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
377 },
378 },
379 {
380 name: "rv32ui-fence_i",
381 text: []uint32{
382 0x00000193, 0x0040006F, 0x06F00693, 0x0003F517, 0xFF451503, 0x0003F597, 0xFEE59583, 0x00000013,
383 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013,
384 0x0003F297, 0xFCA29223, 0x0003F297, 0xFAB29F23, 0x0000100F, 0x0003F797, 0xFB078793, 0x00078367,
385 0x00200193, 0x00000013, 0x1BC00393, 0x06769A63, 0x06400713, 0xFFF70713, 0xFE071EE3, 0x0003F297,
386 0xF8A29823, 0x0003F297, 0xF8B29523, 0x0000100F, 0x00000013, 0x00000013, 0x00000013, 0x00000013,
387 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013, 0x00000013,
388 0x0003F797, 0xF4C78793, 0x00078367, 0x00300193, 0x00000013, 0x30900393, 0x00769463, 0x02301063,
389 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F,
390 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
391 },
392 data: []uint32{
393 0x14D68693, 0x0DE68693, 0x000307E7, 0x22B68693, 0x000307E7, 0x00000000, 0x00000000, 0x00000000,
394 },
395 },
396 {
397 name: "rv32ui-jal",
398 text: []uint32{
399 0x00000193, 0x0040006F, 0x00200193, 0x00000093, 0x0100026F, 0x00000013, 0x00000013, 0x0400006F,
400 0x00000117, 0xFF410113, 0x02411A63, 0x00300193, 0x00100093, 0x0140006F, 0x00108093, 0x00108093,
401 0x00108093, 0x00108093, 0x00108093, 0x00108093, 0x00300393, 0x00709463, 0x02301063, 0x0FF0000F,
402 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
403 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
404 },
405 },
406 {
407 name: "rv32ui-jalr",
408 text: []uint32{
409 0x00000193, 0x0040006F, 0x00200193, 0x00000293, 0x00000317, 0x01030313, 0x000302E7, 0x0E00006F,
410 0x00000317, 0xFFC30313, 0x0C629A63, 0x00300193, 0x00000297, 0x01028293, 0x000282E7, 0x0C00006F,
411 0x00000317, 0xFFC30313, 0x0A629A63, 0x00400193, 0x00000213, 0x00000317, 0x01030313, 0x000306E7,
412 0x08301E63, 0x00120213, 0x00200293, 0xFE5214E3, 0x00500193, 0x00000213, 0x00000317, 0x01430313,
413 0x00000013, 0x000306E7, 0x06301A63, 0x00120213, 0x00200293, 0xFE5212E3, 0x00600193, 0x00000213,
414 0x00000317, 0x01830313, 0x00000013, 0x00000013, 0x000306E7, 0x04301463, 0x00120213, 0x00200293,
415 0xFE5210E3, 0x00700193, 0x00100293, 0x00000317, 0x01C30313, 0xFFC30067, 0x00128293, 0x00128293,
416 0x00128293, 0x00128293, 0x00128293, 0x00128293, 0x00400393, 0x00729463, 0x02301063, 0x0FF0000F,
417 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
418 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
419 },
420 },
421 {
422 name: "rv32ui-lb",
423 text: []uint32{
424 0x00000193, 0x0040006F, 0x00200193, 0xFFF00793, 0x0003F117, 0xFF010113, 0x00010703, 0xFFF00393,
425 0x24771A63, 0x00300193, 0x00000793, 0x0003F117, 0xFD410113, 0x00110703, 0x00000393, 0x22771C63,
426 0x00400193, 0xFF000793, 0x0003F117, 0xFB810113, 0x00210703, 0xFF000393, 0x20771E63, 0x00500193,
427 0x00F00793, 0x0003F117, 0xF9C10113, 0x00310703, 0x00F00393, 0x20771063, 0x00600193, 0xFFF00793,
428 0x0003F117, 0xF8310113, 0xFFD10703, 0xFFF00393, 0x1E771263, 0x00700193, 0x00000793, 0x0003F117,
429 0xF6710113, 0xFFE10703, 0x00000393, 0x1C771463, 0x00800193, 0xFF000793, 0x0003F117, 0xF4B10113,
430 0xFFF10703, 0xFF000393, 0x1A771663, 0x00900193, 0x00F00793, 0x0003F117, 0xF2F10113, 0x00010703,
431 0x00F00393, 0x18771863, 0x00A00193, 0x0003F097, 0xF1408093, 0xFE008093, 0x02008283, 0xFFF00393,
432 0x16729A63, 0x00B00193, 0x0003F097, 0xEF808093, 0xFFA08093, 0x00708283, 0x00000393, 0x14729C63,
433 0x00C00193, 0x00000213, 0x0003F697, 0xED968693, 0x00168703, 0x00070313, 0xFF000393, 0x12731C63,
434 0x00120213, 0x00200293, 0xFE5210E3, 0x00D00193, 0x00000213, 0x0003F697, 0xEAE68693, 0x00168703,
435 0x00000013, 0x00070313, 0x00F00393, 0x10731463, 0x00120213, 0x00200293, 0xFC521EE3, 0x00E00193,
436 0x00000213, 0x0003F697, 0xE7C68693, 0x00168703, 0x00000013, 0x00000013, 0x00070313, 0x00000393,
437 0x0C731A63, 0x00120213, 0x00200293, 0xFC521CE3, 0x00F00193, 0x00000213, 0x0003F697, 0xE4968693,
438 0x00168703, 0xFF000393, 0x0A771663, 0x00120213, 0x00200293, 0xFE5212E3, 0x01000193, 0x00000213,
439 0x0003F697, 0xE2268693, 0x00000013, 0x00168703, 0x00F00393, 0x08771063, 0x00120213, 0x00200293,
440 0xFE5210E3, 0x01100193, 0x00000213, 0x0003F697, 0xDF468693, 0x00000013, 0x00000013, 0x00168703,
441 0x00000393, 0x04771863, 0x00120213, 0x00200293, 0xFC521EE3, 0x01200193, 0x0003F297, 0xDC828293,
442 0x00028103, 0x00200113, 0x00200393, 0x02711463, 0x01300193, 0x0003F297, 0xDAC28293, 0x00028103,
443 0x00000013, 0x00200113, 0x00200393, 0x00711463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193,
444 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513,
445 0x00000073, 0x00000000,
446 },
447 data: []uint32{
448 0x0FF000FF, 0x00000000, 0x00000000, 0x00000000,
449 },
450 },
451 {
452 name: "rv32ui-lbu",
453 text: []uint32{
454 0x00000193, 0x0040006F, 0x00200193, 0x0FF00793, 0x0003F117, 0xFF010113, 0x00014703, 0x0FF00393,
455 0x24771A63, 0x00300193, 0x00000793, 0x0003F117, 0xFD410113, 0x00114703, 0x00000393, 0x22771C63,
456 0x00400193, 0x0F000793, 0x0003F117, 0xFB810113, 0x00214703, 0x0F000393, 0x20771E63, 0x00500193,
457 0x00F00793, 0x0003F117, 0xF9C10113, 0x00314703, 0x00F00393, 0x20771063, 0x00600193, 0x0FF00793,
458 0x0003F117, 0xF8310113, 0xFFD14703, 0x0FF00393, 0x1E771263, 0x00700193, 0x00000793, 0x0003F117,
459 0xF6710113, 0xFFE14703, 0x00000393, 0x1C771463, 0x00800193, 0x0F000793, 0x0003F117, 0xF4B10113,
460 0xFFF14703, 0x0F000393, 0x1A771663, 0x00900193, 0x00F00793, 0x0003F117, 0xF2F10113, 0x00014703,
461 0x00F00393, 0x18771863, 0x00A00193, 0x0003F097, 0xF1408093, 0xFE008093, 0x0200C283, 0x0FF00393,
462 0x16729A63, 0x00B00193, 0x0003F097, 0xEF808093, 0xFFA08093, 0x0070C283, 0x00000393, 0x14729C63,
463 0x00C00193, 0x00000213, 0x0003F697, 0xED968693, 0x0016C703, 0x00070313, 0x0F000393, 0x12731C63,
464 0x00120213, 0x00200293, 0xFE5210E3, 0x00D00193, 0x00000213, 0x0003F697, 0xEAE68693, 0x0016C703,
465 0x00000013, 0x00070313, 0x00F00393, 0x10731463, 0x00120213, 0x00200293, 0xFC521EE3, 0x00E00193,
466 0x00000213, 0x0003F697, 0xE7C68693, 0x0016C703, 0x00000013, 0x00000013, 0x00070313, 0x00000393,
467 0x0C731A63, 0x00120213, 0x00200293, 0xFC521CE3, 0x00F00193, 0x00000213, 0x0003F697, 0xE4968693,
468 0x0016C703, 0x0F000393, 0x0A771663, 0x00120213, 0x00200293, 0xFE5212E3, 0x01000193, 0x00000213,
469 0x0003F697, 0xE2268693, 0x00000013, 0x0016C703, 0x00F00393, 0x08771063, 0x00120213, 0x00200293,
470 0xFE5210E3, 0x01100193, 0x00000213, 0x0003F697, 0xDF468693, 0x00000013, 0x00000013, 0x0016C703,
471 0x00000393, 0x04771863, 0x00120213, 0x00200293, 0xFC521EE3, 0x01200193, 0x0003F297, 0xDC828293,
472 0x0002C103, 0x00200113, 0x00200393, 0x02711463, 0x01300193, 0x0003F297, 0xDAC28293, 0x0002C103,
473 0x00000013, 0x00200113, 0x00200393, 0x00711463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193,
474 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513,
475 0x00000073, 0x00000000,
476 },
477 data: []uint32{
478 0x0FF000FF, 0x00000000, 0x00000000, 0x00000000,
479 },
480 },
481 {
482 name: "rv32ui-ld_st",
483 text: []uint32{
484 0x00000193, 0x0040006F, 0x00200193, 0x0003F117, 0xFF410113, 0xFDD00093, 0x00110023, 0x00010703,
485 0x00E10023, 0x00010103, 0xFDD00393, 0x647112E3, 0x0003F117, 0xFD010113, 0x00212423, 0x00812203,
486 0x00120023, 0x622216E3, 0x00020703, 0x627712E3, 0x00300193, 0x0003F117, 0xFAC10113, 0xFCD00093,
487 0x001100A3, 0x00110703, 0x00E100A3, 0x00110103, 0xFCD00393, 0x5E711EE3, 0x0003F117, 0xF8810113,
488 0x00212423, 0x00812203, 0x001200A3, 0x5E2212E3, 0x00120703, 0x5C771EE3, 0x00400193, 0x0003F117,
489 0xF6410113, 0xFCC00093, 0x00110123, 0x00210703, 0x00E10123, 0x00210103, 0xFCC00393, 0x5A711AE3,
490 0x0003F117, 0xF4010113, 0x00212423, 0x00812203, 0x00120123, 0x58221EE3, 0x00220703, 0x58771AE3,
491 0x00500193, 0x0003F117, 0xF1C10113, 0xFBC00093, 0x001101A3, 0x00310703, 0x00E101A3, 0x00310103,
492 0xFBC00393, 0x567116E3, 0x0003F117, 0xEF810113, 0x00212423, 0x00812203, 0x001201A3, 0x54221AE3,
493 0x00320703, 0x547716E3, 0x00600193, 0x0003F117, 0xED410113, 0xFBB00093, 0x00110223, 0x00410703,
494 0x00E10223, 0x00410103, 0xFBB00393, 0x527112E3, 0x0003F117, 0xEB010113, 0x00212423, 0x00812203,
495 0x00120223, 0x502216E3, 0x00420703, 0x507712E3, 0x00700193, 0x0003F117, 0xE8C10113, 0xFAB00093,
496 0x001102A3, 0x00510703, 0x00E102A3, 0x00510103, 0xFAB00393, 0x4C711EE3, 0x0003F117, 0xE6810113,
497 0x00212423, 0x00812203, 0x001202A3, 0x4C2212E3, 0x00520703, 0x4A771EE3, 0x00800193, 0x0003F117,
498 0xE4410113, 0x03300093, 0x00110023, 0x00010703, 0x00E10023, 0x00010103, 0x03300393, 0x48711AE3,
499 0x0003F117, 0xE2010113, 0x00212423, 0x00812203, 0x00120023, 0x46221EE3, 0x00020703, 0x46771AE3,
500 0x00900193, 0x0003F117, 0xDFC10113, 0x02300093, 0x001100A3, 0x00110703, 0x00E100A3, 0x00110103,
501 0x02300393, 0x447116E3, 0x0003F117, 0xDD810113, 0x00212423, 0x00812203, 0x001200A3, 0x42221AE3,
502 0x00120703, 0x427716E3, 0x00A00193, 0x0003F117, 0xDB410113, 0x02200093, 0x00110123, 0x00210703,
503 0x00E10123, 0x00210103, 0x02200393, 0x407112E3, 0x0003F117, 0xD9010113, 0x00212423, 0x00812203,
504 0x00120123, 0x3E2216E3, 0x00220703, 0x3E7712E3, 0x00B00193, 0x0003F117, 0xD6C10113, 0x01200093,
505 0x001101A3, 0x00310703, 0x00E101A3, 0x00310103, 0x01200393, 0x3A711EE3, 0x0003F117, 0xD4810113,
506 0x00212423, 0x00812203, 0x001201A3, 0x3A2212E3, 0x00320703, 0x38771EE3, 0x00C00193, 0x0003F117,
507 0xD2410113, 0x01100093, 0x00110223, 0x00410703, 0x00E10223, 0x00410103, 0x01100393, 0x36711AE3,
508 0x0003F117, 0xD0010113, 0x00212423, 0x00812203, 0x00120223, 0x34221EE3, 0x00420703, 0x34771AE3,
509 0x00D00193, 0x0003F117, 0xCDC10113, 0x00100093, 0x001102A3, 0x00510703, 0x00E102A3, 0x00510103,
510 0x00100393, 0x327116E3, 0x0003F117, 0xCB810113, 0x00212423, 0x00812203, 0x001202A3, 0x30221AE3,
511 0x00520703, 0x307716E3, 0x00E00193, 0x0003F117, 0xC9410113, 0x03300093, 0x00110023, 0x00014703,
512 0x00E10023, 0x00014103, 0x03300393, 0x2E7112E3, 0x0003F117, 0xC7010113, 0x00212423, 0x00812203,
513 0x00120023, 0x2C2216E3, 0x00024703, 0x2C7712E3, 0x00F00193, 0x0003F117, 0xC4C10113, 0x02300093,
514 0x001100A3, 0x00114703, 0x00E100A3, 0x00114103, 0x02300393, 0x28711EE3, 0x0003F117, 0xC2810113,
515 0x00212423, 0x00812203, 0x001200A3, 0x282212E3, 0x00124703, 0x26771EE3, 0x01000193, 0x0003F117,
516 0xC0410113, 0x02200093, 0x00110123, 0x00214703, 0x00E10123, 0x00214103, 0x02200393, 0x24711AE3,
517 0x0003F117, 0xBE010113, 0x00212423, 0x00812203, 0x00120123, 0x22221EE3, 0x00224703, 0x22771AE3,
518 0x01100193, 0x0003F117, 0xBBC10113, 0x01200093, 0x001101A3, 0x00314703, 0x00E101A3, 0x00314103,
519 0x01200393, 0x207116E3, 0x0003F117, 0xB9810113, 0x00212423, 0x00812203, 0x001201A3, 0x1E221AE3,
520 0x00324703, 0x1E7716E3, 0x01200193, 0x0003F117, 0xB7410113, 0x01100093, 0x00110223, 0x00414703,
521 0x00E10223, 0x00414103, 0x01100393, 0x1C7112E3, 0x0003F117, 0xB5010113, 0x00212423, 0x00812203,
522 0x00120223, 0x1A2216E3, 0x00424703, 0x1A7712E3, 0x01300193, 0x0003F117, 0xB2C10113, 0x00100093,
523 0x001102A3, 0x00514703, 0x00E102A3, 0x00514103, 0x00100393, 0x16711EE3, 0x0003F117, 0xB0810113,
524 0x00212423, 0x00812203, 0x001202A3, 0x162212E3, 0x00524703, 0x14771EE3, 0x01400193, 0x0003F117,
525 0xAE410113, 0xAABBD0B7, 0xCDD08093, 0x00112023, 0x00012703, 0x00E12023, 0x00012103, 0xAABBD3B7,
526 0xCDD38393, 0x127116E3, 0x0003F117, 0xAB810113, 0x00212423, 0x00812203, 0x00122023, 0x10221AE3,
527 0x00022703, 0x107716E3, 0x01500193, 0x0003F117, 0xA9410113, 0xDAABC0B7, 0xCCD08093, 0x00112223,
528 0x00412703, 0x00E12223, 0x00412103, 0xDAABC3B7, 0xCCD38393, 0x0C711EE3, 0x0003F117, 0xA6810113,
529 0x00212423, 0x00812203, 0x00122223, 0x0C2212E3, 0x00422703, 0x0A771EE3, 0x01600193, 0x0003F117,
530 0xA4410113, 0xDDAAC0B7, 0xBCC08093, 0x00112423, 0x00812703, 0x00E12423, 0x00812103, 0xDDAAC3B7,
531 0xBCC38393, 0x087116E3, 0x0003F117, 0xA1810113, 0x00212423, 0x00812203, 0x00122423, 0x06221AE3,
532 0x00822703, 0x067716E3, 0x01700193, 0x0003F117, 0x9F410113, 0xCDDAB0B7, 0xBBC08093, 0x00112623,
533 0x00C12703, 0x00E12623, 0x00C12103, 0xCDDAB3B7, 0xBBC38393, 0x02711EE3, 0x0003F117, 0x9C810113,
534 0x00212423, 0x00812203, 0x00122623, 0x022212E3, 0x00C22703, 0x00771EE3, 0x01800193, 0x0003F117,
535 0x9A410113, 0xCCDDB0B7, 0xABB08093, 0x00112823, 0x01012703, 0x00E12823, 0x01012103, 0xCCDDB3B7,
536 0xABB38393, 0x7E711663, 0x0003F117, 0x97810113, 0x00212423, 0x00812203, 0x00122823, 0x7C221A63,
537 0x01022703, 0x7C771663, 0x01900193, 0x0003F117, 0x95410113, 0xBCCDE0B7, 0xAAB08093, 0x00112A23,
538 0x01412703, 0x00E12A23, 0x01412103, 0xBCCDE3B7, 0xAAB38393, 0x78711E63, 0x0003F117, 0x92810113,
539 0x00212423, 0x00812203, 0x00122A23, 0x78221263, 0x01422703, 0x76771E63, 0x01A00193, 0x0003F117,
540 0x90410113, 0x001120B7, 0x23308093, 0x00112023, 0x00012703, 0x00E12023, 0x00012103, 0x001123B7,
541 0x23338393, 0x74711663, 0x0003F117, 0x8D810113, 0x00212423, 0x00812203, 0x00122023, 0x72221A63,
542 0x00022703, 0x72771663, 0x01B00193, 0x0003F117, 0x8B410113, 0x300110B7, 0x22308093, 0x00112223,
543 0x00412703, 0x00E12223, 0x00412103, 0x300113B7, 0x22338393, 0x6E711E63, 0x0003F117, 0x88810113,
544 0x00212423, 0x00812203, 0x00122223, 0x6E221263, 0x00422703, 0x6C771E63, 0x01C00193, 0x0003F117,
545 0x86410113, 0x330010B7, 0x12208093, 0x00112423, 0x00812703, 0x00E12423, 0x00812103, 0x330013B7,
546 0x12238393, 0x6A711663, 0x0003F117, 0x83810113, 0x00212423, 0x00812203, 0x00122423, 0x68221A63,
547 0x00822703, 0x68771663, 0x01D00193, 0x0003F117, 0x81410113, 0x233000B7, 0x11208093, 0x00112623,
548 0x00C12703, 0x00E12623, 0x00C12103, 0x233003B7, 0x11238393, 0x64711E63, 0x0003E117, 0x7E810113,
549 0x00212423, 0x00812203, 0x00122623, 0x64221263, 0x00C22703, 0x62771E63, 0x01E00193, 0x0003E117,
550 0x7C410113, 0x223300B7, 0x01108093, 0x00112823, 0x01012703, 0x00E12823, 0x01012103, 0x223303B7,
551 0x01138393, 0x60711663, 0x0003E117, 0x79810113, 0x00212423, 0x00812203, 0x00122823, 0x5E221A63,
552 0x01022703, 0x5E771663, 0x01F00193, 0x0003E117, 0x77410113, 0x122330B7, 0x00108093, 0x00112A23,
553 0x01412703, 0x00E12A23, 0x01412103, 0x122333B7, 0x00138393, 0x5A711E63, 0x0003E117, 0x74810113,
554 0x00212423, 0x00812203, 0x00122A23, 0x5A221263, 0x01422703, 0x58771E63, 0x02000193, 0x0003E117,
555 0x72410113, 0xFFFFD0B7, 0xCDD08093, 0x00111023, 0x00011703, 0x00E11023, 0x00011103, 0xFFFFD3B7,
556 0xCDD38393, 0x56711663, 0x0003E117, 0x6F810113, 0x00212423, 0x00812203, 0x00121023, 0x54221A63,
557 0x00021703, 0x54771663, 0x02100193, 0x0003E117, 0x6D410113, 0xFFFFC0B7, 0xCCD08093, 0x00111123,
558 0x00211703, 0x00E11123, 0x00211103, 0xFFFFC3B7, 0xCCD38393, 0x50711E63, 0x0003E117, 0x6A810113,
559 0x00212423, 0x00812203, 0x00121123, 0x50221263, 0x00221703, 0x4E771E63, 0x02200193, 0x0003E117,
560 0x68410113, 0xFFFFC0B7, 0xBCC08093, 0x00111223, 0x00411703, 0x00E11223, 0x00411103, 0xFFFFC3B7,
561 0xBCC38393, 0x4C711663, 0x0003E117, 0x65810113, 0x00212423, 0x00812203, 0x00121223, 0x4A221A63,
562 0x00421703, 0x4A771663, 0x02300193, 0x0003E117, 0x63410113, 0xFFFFB0B7, 0xBBC08093, 0x00111323,
563 0x00611703, 0x00E11323, 0x00611103, 0xFFFFB3B7, 0xBBC38393, 0x46711E63, 0x0003E117, 0x60810113,
564 0x00212423, 0x00812203, 0x00121323, 0x46221263, 0x00621703, 0x44771E63, 0x02400193, 0x0003E117,
565 0x5E410113, 0xFFFFB0B7, 0xABB08093, 0x00111423, 0x00811703, 0x00E11423, 0x00811103, 0xFFFFB3B7,
566 0xABB38393, 0x42711663, 0x0003E117, 0x5B810113, 0x00212423, 0x00812203, 0x00121423, 0x40221A63,
567 0x00821703, 0x40771663, 0x02500193, 0x0003E117, 0x59410113, 0xFFFFE0B7, 0xAAB08093, 0x00111523,
568 0x00A11703, 0x00E11523, 0x00A11103, 0xFFFFE3B7, 0xAAB38393, 0x3C711E63, 0x0003E117, 0x56810113,
569 0x00212423, 0x00812203, 0x00121523, 0x3C221263, 0x00A21703, 0x3A771E63, 0x02600193, 0x0003E117,
570 0x54410113, 0x000020B7, 0x23308093, 0x00111023, 0x00011703, 0x00E11023, 0x00011103, 0x000023B7,
571 0x23338393, 0x38711663, 0x0003E117, 0x51810113, 0x00212423, 0x00812203, 0x00121023, 0x36221A63,
572 0x00021703, 0x36771663, 0x02700193, 0x0003E117, 0x4F410113, 0x000010B7, 0x22308093, 0x00111123,
573 0x00211703, 0x00E11123, 0x00211103, 0x000013B7, 0x22338393, 0x32711E63, 0x0003E117, 0x4C810113,
574 0x00212423, 0x00812203, 0x00121123, 0x32221263, 0x00221703, 0x30771E63, 0x02800193, 0x0003E117,
575 0x4A410113, 0x000010B7, 0x12208093, 0x00111223, 0x00411703, 0x00E11223, 0x00411103, 0x000013B7,
576 0x12238393, 0x2E711663, 0x0003E117, 0x47810113, 0x00212423, 0x00812203, 0x00121223, 0x2C221A63,
577 0x00421703, 0x2C771663, 0x02900193, 0x0003E117, 0x45410113, 0x11200093, 0x00111323, 0x00611703,
578 0x00E11323, 0x00611103, 0x11200393, 0x2A711263, 0x0003E117, 0x43010113, 0x00212423, 0x00812203,
579 0x00121323, 0x28221663, 0x00621703, 0x28771263, 0x02A00193, 0x0003E117, 0x40C10113, 0x01100093,
580 0x00111423, 0x00811703, 0x00E11423, 0x00811103, 0x01100393, 0x24711E63, 0x0003E117, 0x3E810113,
581 0x00212423, 0x00812203, 0x00121423, 0x24221263, 0x00821703, 0x22771E63, 0x02B00193, 0x0003E117,
582 0x3C410113, 0x000030B7, 0x00108093, 0x00111523, 0x00A11703, 0x00E11523, 0x00A11103, 0x000033B7,
583 0x00138393, 0x20711663, 0x0003E117, 0x39810113, 0x00212423, 0x00812203, 0x00121523, 0x1E221A63,
584 0x00A21703, 0x1E771663, 0x02C00193, 0x0003E117, 0x37410113, 0x000020B7, 0x23308093, 0x00111023,
585 0x00015703, 0x00E11023, 0x00015103, 0x000023B7, 0x23338393, 0x1A711E63, 0x0003E117, 0x34810113,
586 0x00212423, 0x00812203, 0x00121023, 0x1A221263, 0x00025703, 0x18771E63, 0x02D00193, 0x0003E117,
587 0x32410113, 0x000010B7, 0x22308093, 0x00111123, 0x00215703, 0x00E11123, 0x00215103, 0x000013B7,
588 0x22338393, 0x16711663, 0x0003E117, 0x2F810113, 0x00212423, 0x00812203, 0x00121123, 0x14221A63,
589 0x00225703, 0x14771663, 0x02E00193, 0x0003E117, 0x2D410113, 0x000010B7, 0x12208093, 0x00111223,
590 0x00415703, 0x00E11223, 0x00415103, 0x000013B7, 0x12238393, 0x10711E63, 0x0003E117, 0x2A810113,
591 0x00212423, 0x00812203, 0x00121223, 0x10221263, 0x00425703, 0x0E771E63, 0x02F00193, 0x0003E117,
592 0x28410113, 0x11200093, 0x00111323, 0x00615703, 0x00E11323, 0x00615103, 0x11200393, 0x0C711A63,
593 0x0003E117, 0x26010113, 0x00212423, 0x00812203, 0x00121323, 0x0A221E63, 0x00625703, 0x0A771A63,
594 0x03000193, 0x0003E117, 0x23C10113, 0x01100093, 0x00111423, 0x00815703, 0x00E11423, 0x00815103,
595 0x01100393, 0x08711663, 0x0003E117, 0x21810113, 0x00212423, 0x00812203, 0x00121423, 0x06221A63,
596 0x00825703, 0x06771663, 0x03100193, 0x0003E117, 0x1F410113, 0x000030B7, 0x00108093, 0x00111523,
597 0x00A15703, 0x00E11523, 0x00A15103, 0x000033B7, 0x00138393, 0x02711E63, 0x0003E117, 0x1C810113,
598 0x00212423, 0x00812203, 0x00121523, 0x02221263, 0x00A25703, 0x00771E63, 0x0EF00513, 0x0003E597,
599 0x1A458593, 0x00A581A3, 0x00358603, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
600 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
601 0x00000000,
602 },
603 data: []uint32{
604 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
605 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
606 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
607 },
608 },
609 {
610 name: "rv32ui-lh",
611 text: []uint32{
612 0x00000193, 0x0040006F, 0x00200193, 0x0FF00793, 0x0003F117, 0xFF010113, 0x00011703, 0x0FF00393,
613 0x28771263, 0x00300193, 0xF0000793, 0x0003F117, 0xFD410113, 0x00211703, 0xF0000393, 0x26771463,
614 0x00400193, 0x000017B7, 0xFF078793, 0x0003F117, 0xFB410113, 0x00411703, 0x000013B7, 0xFF038393,
615 0x24771263, 0x00500193, 0xFFFFF7B7, 0x00F78793, 0x0003F117, 0xF9010113, 0x00611703, 0xFFFFF3B7,
616 0x00F38393, 0x22771063, 0x00600193, 0x0FF00793, 0x0003F117, 0xF7610113, 0xFFA11703, 0x0FF00393,
617 0x20771263, 0x00700193, 0xF0000793, 0x0003F117, 0xF5A10113, 0xFFC11703, 0xF0000393, 0x1E771463,
618 0x00800193, 0x000017B7, 0xFF078793, 0x0003F117, 0xF3A10113, 0xFFE11703, 0x000013B7, 0xFF038393,
619 0x1C771263, 0x00900193, 0xFFFFF7B7, 0x00F78793, 0x0003F117, 0xF1610113, 0x00011703, 0xFFFFF3B7,
620 0x00F38393, 0x1A771063, 0x00A00193, 0x0003F097, 0xEF408093, 0xFE008093, 0x02009283, 0x0FF00393,
621 0x18729263, 0x00B00193, 0x0003F097, 0xED808093, 0xFFB08093, 0x00709283, 0xF0000393, 0x16729463,
622 0x00C00193, 0x00000213, 0x0003F697, 0xEBA68693, 0x00269703, 0x00070313, 0x000013B7, 0xFF038393,
623 0x14731263, 0x00120213, 0x00200293, 0xFC521EE3, 0x00D00193, 0x00000213, 0x0003F697, 0xE8C68693,
624 0x00269703, 0x00000013, 0x00070313, 0xFFFFF3B7, 0x00F38393, 0x10731863, 0x00120213, 0x00200293,
625 0xFC521CE3, 0x00E00193, 0x00000213, 0x0003F697, 0xE5468693, 0x00269703, 0x00000013, 0x00000013,
626 0x00070313, 0xF0000393, 0x0C731E63, 0x00120213, 0x00200293, 0xFC521CE3, 0x00F00193, 0x00000213,
627 0x0003F697, 0xE2268693, 0x00269703, 0x000013B7, 0xFF038393, 0x0A771863, 0x00120213, 0x00200293,
628 0xFE5210E3, 0x01000193, 0x00000213, 0x0003F697, 0xDF868693, 0x00000013, 0x00269703, 0xFFFFF3B7,
629 0x00F38393, 0x08771063, 0x00120213, 0x00200293, 0xFC521EE3, 0x01100193, 0x00000213, 0x0003F697,
630 0xDC468693, 0x00000013, 0x00000013, 0x00269703, 0xF0000393, 0x04771863, 0x00120213, 0x00200293,
631 0xFC521EE3, 0x01200193, 0x0003F297, 0xD9828293, 0x00029103, 0x00200113, 0x00200393, 0x02711463,
632 0x01300193, 0x0003F297, 0xD7C28293, 0x00029103, 0x00000013, 0x00200113, 0x00200393, 0x00711463,
633 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073,
634 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
635 },
636 data: []uint32{
637 0xFF0000FF, 0xF00F0FF0, 0x00000000, 0x00000000,
638 },
639 },
640 {
641 name: "rv32ui-lhu",
642 text: []uint32{
643 0x00000193, 0x0040006F, 0x00200193, 0x0FF00793, 0x0003F117, 0xFF010113, 0x00015703, 0x0FF00393,
644 0x2A771063, 0x00300193, 0x000107B7, 0xF0078793, 0x0003F117, 0xFD010113, 0x00215703, 0x000103B7,
645 0xF0038393, 0x26771E63, 0x00400193, 0x000017B7, 0xFF078793, 0x0003F117, 0xFAC10113, 0x00415703,
646 0x000013B7, 0xFF038393, 0x24771C63, 0x00500193, 0x0000F7B7, 0x00F78793, 0x0003F117, 0xF8810113,
647 0x00615703, 0x0000F3B7, 0x00F38393, 0x22771A63, 0x00600193, 0x0FF00793, 0x0003F117, 0xF6E10113,
648 0xFFA15703, 0x0FF00393, 0x20771C63, 0x00700193, 0x000107B7, 0xF0078793, 0x0003F117, 0xF4E10113,
649 0xFFC15703, 0x000103B7, 0xF0038393, 0x1E771A63, 0x00800193, 0x000017B7, 0xFF078793, 0x0003F117,
650 0xF2A10113, 0xFFE15703, 0x000013B7, 0xFF038393, 0x1C771863, 0x00900193, 0x0000F7B7, 0x00F78793,
651 0x0003F117, 0xF0610113, 0x00015703, 0x0000F3B7, 0x00F38393, 0x1A771663, 0x00A00193, 0x0003F097,
652 0xEE408093, 0xFE008093, 0x0200D283, 0x0FF00393, 0x18729863, 0x00B00193, 0x0003F097, 0xEC808093,
653 0xFFB08093, 0x0070D283, 0x000103B7, 0xF0038393, 0x16729863, 0x00C00193, 0x00000213, 0x0003F697,
654 0xEA668693, 0x0026D703, 0x00070313, 0x000013B7, 0xFF038393, 0x14731663, 0x00120213, 0x00200293,
655 0xFC521EE3, 0x00D00193, 0x00000213, 0x0003F697, 0xE7868693, 0x0026D703, 0x00000013, 0x00070313,
656 0x0000F3B7, 0x00F38393, 0x10731C63, 0x00120213, 0x00200293, 0xFC521CE3, 0x00E00193, 0x00000213,
657 0x0003F697, 0xE4068693, 0x0026D703, 0x00000013, 0x00000013, 0x00070313, 0x000103B7, 0xF0038393,
658 0x0E731063, 0x00120213, 0x00200293, 0xFC521AE3, 0x00F00193, 0x00000213, 0x0003F697, 0xE0A68693,
659 0x0026D703, 0x000013B7, 0xFF038393, 0x0A771A63, 0x00120213, 0x00200293, 0xFE5210E3, 0x01000193,
660 0x00000213, 0x0003F697, 0xDE068693, 0x00000013, 0x0026D703, 0x0000F3B7, 0x00F38393, 0x08771263,
661 0x00120213, 0x00200293, 0xFC521EE3, 0x01100193, 0x00000213, 0x0003F697, 0xDAC68693, 0x00000013,
662 0x00000013, 0x0026D703, 0x000103B7, 0xF0038393, 0x04771863, 0x00120213, 0x00200293, 0xFC521CE3,
663 0x01200193, 0x0003F297, 0xD7C28293, 0x0002D103, 0x00200113, 0x00200393, 0x02711463, 0x01300193,
664 0x0003F297, 0xD6028293, 0x0002D103, 0x00000013, 0x00200113, 0x00200393, 0x00711463, 0x02301063,
665 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F,
666 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
667 },
668 data: []uint32{
669 0xFF0000FF, 0xF00F0FF0, 0x00000000, 0x00000000,
670 },
671 },
672 {
673 name: "rv32ui-lui",
674 text: []uint32{
675 0x00000193, 0x0040006F, 0x00200193, 0x000000B7, 0x00000393, 0x04709A63, 0x00300193, 0xFFFFF0B7,
676 0x4010D093, 0x80000393, 0x04709063, 0x00400193, 0x7FFFF0B7, 0x4140D093, 0x7FF00393, 0x02709663,
677 0x00500193, 0x800000B7, 0x4140D093, 0x80000393, 0x00709C63, 0x00600193, 0x80000037, 0x00000393,
678 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
679 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
680 },
681 },
682 {
683 name: "rv32ui-lw",
684 text: []uint32{
685 0x00000193, 0x0040006F, 0x00200193, 0x00FF07B7, 0x0FF78793, 0x0003F117, 0xFEC10113, 0x00012703,
686 0x00FF03B7, 0x0FF38393, 0x2A771663, 0x00300193, 0xFF0107B7, 0xF0078793, 0x0003F117, 0xFC810113,
687 0x00412703, 0xFF0103B7, 0xF0038393, 0x28771463, 0x00400193, 0x0FF017B7, 0xFF078793, 0x0003F117,
688 0xFA410113, 0x00812703, 0x0FF013B7, 0xFF038393, 0x26771263, 0x00500193, 0xF00FF7B7, 0x00F78793,
689 0x0003F117, 0xF8010113, 0x00C12703, 0xF00FF3B7, 0x00F38393, 0x24771063, 0x00600193, 0x00FF07B7,
690 0x0FF78793, 0x0003F117, 0xF6810113, 0xFF412703, 0x00FF03B7, 0x0FF38393, 0x20771E63, 0x00700193,
691 0xFF0107B7, 0xF0078793, 0x0003F117, 0xF4410113, 0xFF812703, 0xFF0103B7, 0xF0038393, 0x1E771C63,
692 0x00800193, 0x0FF017B7, 0xFF078793, 0x0003F117, 0xF2010113, 0xFFC12703, 0x0FF013B7, 0xFF038393,
693 0x1C771A63, 0x00900193, 0xF00FF7B7, 0x00F78793, 0x0003F117, 0xEFC10113, 0x00012703, 0xF00FF3B7,
694 0x00F38393, 0x1A771863, 0x00A00193, 0x0003F097, 0xED408093, 0xFE008093, 0x0200A283, 0x00FF03B7,
695 0x0FF38393, 0x18729863, 0x00B00193, 0x0003F097, 0xEB408093, 0xFFD08093, 0x0070A283, 0xFF0103B7,
696 0xF0038393, 0x16729863, 0x00C00193, 0x00000213, 0x0003F697, 0xE9468693, 0x0046A703, 0x00070313,
697 0x0FF013B7, 0xFF038393, 0x14731663, 0x00120213, 0x00200293, 0xFC521EE3, 0x00D00193, 0x00000213,
698 0x0003F697, 0xE6868693, 0x0046A703, 0x00000013, 0x00070313, 0xF00FF3B7, 0x00F38393, 0x10731C63,
699 0x00120213, 0x00200293, 0xFC521CE3, 0x00E00193, 0x00000213, 0x0003F697, 0xE2C68693, 0x0046A703,
700 0x00000013, 0x00000013, 0x00070313, 0xFF0103B7, 0xF0038393, 0x0E731063, 0x00120213, 0x00200293,
701 0xFC521AE3, 0x00F00193, 0x00000213, 0x0003F697, 0xDF868693, 0x0046A703, 0x0FF013B7, 0xFF038393,
702 0x0A771A63, 0x00120213, 0x00200293, 0xFE5210E3, 0x01000193, 0x00000213, 0x0003F697, 0xDD068693,
703 0x00000013, 0x0046A703, 0xF00FF3B7, 0x00F38393, 0x08771263, 0x00120213, 0x00200293, 0xFC521EE3,
704 0x01100193, 0x00000213, 0x0003F697, 0xD9868693, 0x00000013, 0x00000013, 0x0046A703, 0xFF0103B7,
705 0xF0038393, 0x04771863, 0x00120213, 0x00200293, 0xFC521CE3, 0x01200193, 0x0003F297, 0xD6828293,
706 0x0002A103, 0x00200113, 0x00200393, 0x02711463, 0x01300193, 0x0003F297, 0xD4C28293, 0x0002A103,
707 0x00000013, 0x00200113, 0x00200393, 0x00711463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193,
708 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513,
709 0x00000073, 0x00000000,
710 },
711 data: []uint32{
712 0x00FF00FF, 0xFF00FF00, 0x0FF00FF0, 0xF00FF00F,
713 },
714 },
715 {
716 name: "rv32ui-ma_data",
717 text: []uint32{
718 0x00000193, 0x0040006F, 0x0003F417, 0xFF840413, 0x00100193, 0x20100313, 0x00141383, 0x52731C63,
719 0x00200193, 0x20100313, 0x00145383, 0x52731463, 0x00300193, 0x04030337, 0x20130313, 0x00142383,
720 0x50731A63, 0x00400193, 0x05040337, 0x30230313, 0x00242383, 0x50731063, 0x00500193, 0x06050337,
721 0x40330313, 0x00342383, 0x4E731663, 0x01000193, 0x00002337, 0x01F30313, 0x01F41383, 0x4C731C63,
722 0x01100193, 0x00002337, 0x01F30313, 0x01F45383, 0x4C731263, 0x01200193, 0x201F2337, 0xE1D30313,
723 0x01D42383, 0x4A731863, 0x01300193, 0x21202337, 0xF1E30313, 0x01E42383, 0x48731E63, 0x01400193,
724 0x22212337, 0x01F30313, 0x01F42383, 0x48731463, 0x01F00193, 0x00004337, 0x03F30313, 0x03F41383,
725 0x46731A63, 0x02000193, 0x00004337, 0x03F30313, 0x03F45383, 0x46731063, 0x02100193, 0x403F4337,
726 0xE3D30313, 0x03D42383, 0x44731663, 0x02200193, 0x41404337, 0xF3E30313, 0x03E42383, 0x42731C63,
727 0x02300193, 0x42414337, 0x03F30313, 0x03F42383, 0x42731263, 0x02E00193, 0xFFFF8337, 0x18030313,
728 0x006410A3, 0x00141383, 0x40731663, 0x02F00193, 0x00008337, 0x38230313, 0x006410A3, 0x00145383,
729 0x3E731A63, 0x03000193, 0x87868337, 0x58430313, 0x006420A3, 0x00142383, 0x3C731E63, 0x03100193,
730 0x8B8A9337, 0x98830313, 0x00642123, 0x00242383, 0x3C731263, 0x03200193, 0x8F8E9337, 0xD8C30313,
731 0x006421A3, 0x00342383, 0x3A731663, 0x03D00193, 0xFFFFD337, 0x5D430313, 0x00641FA3, 0x01F41383,
732 0x38731A63, 0x03E00193, 0x0000D337, 0x7D630313, 0x00641FA3, 0x01F45383, 0x36731E63, 0x03F00193,
733 0xDBDAE337, 0x9D830313, 0x00642EA3, 0x01D42383, 0x36731263, 0x04000193, 0xDFDEE337, 0xDDC30313,
734 0x00642F23, 0x01E42383, 0x34731663, 0x04100193, 0xE3E2E337, 0x1E030313, 0x00642FA3, 0x01F42383,
735 0x32731A63, 0x04C00193, 0x00003337, 0x53430313, 0x02641FA3, 0x03F41383, 0x30731E63, 0x04D00193,
736 0x00003337, 0x73630313, 0x02641FA3, 0x03F45383, 0x30731263, 0x04E00193, 0x3B3A4337, 0x93830313,
737 0x02642EA3, 0x03D42383, 0x2E731663, 0x04F00193, 0x3F3E4337, 0xD3C30313, 0x02642F23, 0x03E42383,
738 0x2C731A63, 0x05000193, 0x43424337, 0x14030313, 0x02642FA3, 0x03F42383, 0x2A731E63, 0x05B00193,
739 0x0000A337, 0x99830313, 0xF9800393, 0x006410A3, 0x00140E03, 0x2BC39063, 0x05C00193, 0x0000A337,
740 0xB9A30313, 0xF9B00393, 0x006410A3, 0x00240E03, 0x29C39263, 0x05D00193, 0x0000A337, 0xD9C30313,
741 0x09C00393, 0x006410A3, 0x00144E03, 0x27C39463, 0x05E00193, 0x0000A337, 0xF9E30313, 0x09F00393,
742 0x006410A3, 0x00244E03, 0x25C39663, 0x05F00193, 0xA3A2A337, 0x1A030313, 0xFA000393, 0x006420A3,
743 0x00140E03, 0x23C39863, 0x06000193, 0xA7A6A337, 0x5A430313, 0x0A500393, 0x00642123, 0x00344E03,
744 0x21C39A63, 0x06100193, 0xABAAB337, 0x9A830313, 0xFFFFB3B7, 0xAA938393, 0x006421A3, 0x00441E03,
745 0x1FC39A63, 0x06200193, 0xAFAEB337, 0xDAC30313, 0x0000B3B7, 0xFAE38393, 0x006421A3, 0x00545E03,
746 0x1DC39A63, 0x06A00193, 0x0000F337, 0x9E830313, 0xFE800393, 0x00641FA3, 0x01F40E03, 0x1BC39C63,
747 0x06B00193, 0x0000F337, 0xBEA30313, 0xFEB00393, 0x00641FA3, 0x02040E03, 0x19C39E63, 0x06C00193,
748 0x0000F337, 0xDEC30313, 0x0EC00393, 0x00641FA3, 0x01F44E03, 0x19C39063, 0x06D00193, 0x0000F337,
749 0xFEE30313, 0x0EF00393, 0x00641FA3, 0x02044E03, 0x17C39263, 0x06E00193, 0xF3F2F337, 0x1F030313,
750 0xFF000393, 0x00642EA3, 0x01D40E03, 0x15C39463, 0x06F00193, 0xF7F6F337, 0x5F430313, 0x0F600393,
751 0x00642F23, 0x02044E03, 0x13C39663, 0x07000193, 0xFBFB0337, 0x9F830313, 0xBFA00393, 0x00642EA3,
752 0x01F41E03, 0x11C39863, 0x07100193, 0xFFFF0337, 0xDFC30313, 0x000103B7, 0xDFC38393, 0x00642FA3,
753 0x01F45E03, 0x0FC39863, 0x07900193, 0x00005337, 0x94830313, 0x04800393, 0x02641FA3, 0x03F40E03,
754 0x0DC39A63, 0x07A00193, 0x00005337, 0xB4A30313, 0x04B00393, 0x02641FA3, 0x04040E03, 0x0BC39C63,
755 0x07B00193, 0x00005337, 0xD4C30313, 0x04C00393, 0x02641FA3, 0x03F44E03, 0x09C39E63, 0x07C00193,
756 0x00005337, 0xF4E30313, 0x04F00393, 0x02641FA3, 0x04044E03, 0x09C39063, 0x07D00193, 0x53525337,
757 0x15030313, 0x05000393, 0x02642EA3, 0x03D40E03, 0x07C39263, 0x07E00193, 0x57565337, 0x55430313,
758 0x05600393, 0x02642F23, 0x04044E03, 0x05C39463, 0x07F00193, 0x5B5A6337, 0x95830313, 0x000063B7,
759 0xB5A38393, 0x02642EA3, 0x03F41E03, 0x03C39463, 0x08000193, 0x5F5E6337, 0xD5C30313, 0x000063B7,
760 0xD5C38393, 0x02642FA3, 0x03F45E03, 0x01C39463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193,
761 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513,
762 0x00000073, 0x00000000,
763 },
764 data: []uint32{
765 0x03020100, 0x07060504, 0x0B0A0908, 0x0F0E0D0C, 0x13121110, 0x17161514, 0x1B1A1918, 0x1F1E1D1C,
766 0x23222120, 0x27262524, 0x2B2A2928, 0x2F2E2D2C, 0x33323130, 0x37363534, 0x3B3A3938, 0x3F3E3D3C,
767 0x43424140, 0x47464544, 0x4B4A4948, 0x4F4E4D4C, 0x53525150, 0x57565554, 0x5B5A5958, 0x5F5E5D5C,
768 0x63626160, 0x67666564, 0x6B6A6968, 0x6F6E6D6C, 0x73727170, 0x77767574, 0x7B7A7978, 0x7F7E7D7C,
769 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
770 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
771 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
772 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
773 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
774 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
775 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050,
776 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x50505050, 0x00505050,
777 },
778 },
779 {
780 name: "rv32ui-or",
781 text: []uint32{
782 0x00000193, 0x0040006F, 0x00200193, 0xFF0105B7, 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5E733,
783 0xFF1003B7, 0xF0F38393, 0x4A771263, 0x00300193, 0x0FF015B7, 0xFF058593, 0xF0F0F637, 0x0F060613,
784 0x00C5E733, 0xFFF103B7, 0xFF038393, 0x48771063, 0x00400193, 0x00FF05B7, 0x0FF58593, 0x0F0F1637,
785 0xF0F60613, 0x00C5E733, 0x0FFF13B7, 0xFFF38393, 0x44771E63, 0x00500193, 0xF00FF5B7, 0x00F58593,
786 0xF0F0F637, 0x0F060613, 0x00C5E733, 0xF0FFF3B7, 0x0FF38393, 0x42771C63, 0x00600193, 0xFF0105B7,
787 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5E5B3, 0xFF1003B7, 0xF0F38393, 0x40759A63, 0x00700193,
788 0xFF0105B7, 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5E633, 0xFF1003B7, 0xF0F38393, 0x3E761863,
789 0x00800193, 0xFF0105B7, 0xF0058593, 0x00B5E5B3, 0xFF0103B7, 0xF0038393, 0x3C759A63, 0x00900193,
790 0x00000213, 0xFF0100B7, 0xF0008093, 0x0F0F1137, 0xF0F10113, 0x0020E733, 0x00070313, 0x00120213,
791 0x00200293, 0xFE5210E3, 0xFF1003B7, 0xF0F38393, 0x38731E63, 0x00A00193, 0x00000213, 0x0FF010B7,
792 0xFF008093, 0xF0F0F137, 0x0F010113, 0x0020E733, 0x00000013, 0x00070313, 0x00120213, 0x00200293,
793 0xFC521EE3, 0xFFF103B7, 0xFF038393, 0x36731063, 0x00B00193, 0x00000213, 0x00FF00B7, 0x0FF08093,
794 0x0F0F1137, 0xF0F10113, 0x0020E733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293,
795 0xFC521CE3, 0x0FFF13B7, 0xFFF38393, 0x32731063, 0x00C00193, 0x00000213, 0xFF0100B7, 0xF0008093,
796 0x0F0F1137, 0xF0F10113, 0x0020E733, 0x00120213, 0x00200293, 0xFE5212E3, 0xFF1003B7, 0xF0F38393,
797 0x2E771663, 0x00D00193, 0x00000213, 0x0FF010B7, 0xFF008093, 0xF0F0F137, 0x0F010113, 0x00000013,
798 0x0020E733, 0x00120213, 0x00200293, 0xFE5210E3, 0xFFF103B7, 0xFF038393, 0x2A771A63, 0x00E00193,
799 0x00000213, 0x00FF00B7, 0x0FF08093, 0x0F0F1137, 0xF0F10113, 0x00000013, 0x00000013, 0x0020E733,
800 0x00120213, 0x00200293, 0xFC521EE3, 0x0FFF13B7, 0xFFF38393, 0x26771C63, 0x00F00193, 0x00000213,
801 0xFF0100B7, 0xF0008093, 0x00000013, 0x0F0F1137, 0xF0F10113, 0x0020E733, 0x00120213, 0x00200293,
802 0xFE5210E3, 0xFF1003B7, 0xF0F38393, 0x24771063, 0x01000193, 0x00000213, 0x0FF010B7, 0xFF008093,
803 0x00000013, 0xF0F0F137, 0x0F010113, 0x00000013, 0x0020E733, 0x00120213, 0x00200293, 0xFC521EE3,
804 0xFFF103B7, 0xFF038393, 0x20771263, 0x01100193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x00000013,
805 0x00000013, 0x0F0F1137, 0xF0F10113, 0x0020E733, 0x00120213, 0x00200293, 0xFC521EE3, 0x0FFF13B7,
806 0xFFF38393, 0x1C771463, 0x01200193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0xFF0100B7, 0xF0008093,
807 0x0020E733, 0x00120213, 0x00200293, 0xFE5212E3, 0xFF1003B7, 0xF0F38393, 0x18771A63, 0x01300193,
808 0x00000213, 0xF0F0F137, 0x0F010113, 0x0FF010B7, 0xFF008093, 0x00000013, 0x0020E733, 0x00120213,
809 0x00200293, 0xFE5210E3, 0xFFF103B7, 0xFF038393, 0x14771E63, 0x01400193, 0x00000213, 0x0F0F1137,
810 0xF0F10113, 0x00FF00B7, 0x0FF08093, 0x00000013, 0x00000013, 0x0020E733, 0x00120213, 0x00200293,
811 0xFC521EE3, 0x0FFF13B7, 0xFFF38393, 0x12771063, 0x01500193, 0x00000213, 0x0F0F1137, 0xF0F10113,
812 0x00000013, 0xFF0100B7, 0xF0008093, 0x0020E733, 0x00120213, 0x00200293, 0xFE5210E3, 0xFF1003B7,
813 0xF0F38393, 0x0E771463, 0x01600193, 0x00000213, 0xF0F0F137, 0x0F010113, 0x00000013, 0x0FF010B7,
814 0xFF008093, 0x00000013, 0x0020E733, 0x00120213, 0x00200293, 0xFC521EE3, 0xFFF103B7, 0xFF038393,
815 0x0A771663, 0x01700193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0x00000013, 0x00000013, 0x00FF00B7,
816 0x0FF08093, 0x0020E733, 0x00120213, 0x00200293, 0xFC521EE3, 0x0FFF13B7, 0xFFF38393, 0x06771863,
817 0x01800193, 0xFF0100B7, 0xF0008093, 0x00106133, 0xFF0103B7, 0xF0038393, 0x04711A63, 0x01900193,
818 0x00FF00B7, 0x0FF08093, 0x0000E133, 0x00FF03B7, 0x0FF38393, 0x02711C63, 0x01A00193, 0x000060B3,
819 0x00000393, 0x02709463, 0x01B00193, 0x111110B7, 0x11108093, 0x22222137, 0x22210113, 0x0020E033,
820 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893,
821 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
822 },
823 },
824 {
825 name: "rv32ui-ori",
826 text: []uint32{
827 0x00000193, 0x0040006F, 0x00200193, 0xFF0106B7, 0xF0068693, 0xF0F6E713, 0xF0F00393, 0x1C771463,
828 0x00300193, 0x0FF016B7, 0xFF068693, 0x0F06E713, 0x0FF013B7, 0xFF038393, 0x1A771663, 0x00400193,
829 0x00FF06B7, 0x0FF68693, 0x70F6E713, 0x00FF03B7, 0x7FF38393, 0x18771863, 0x00500193, 0xF00FF6B7,
830 0x00F68693, 0x0F06E713, 0xF00FF3B7, 0x0FF38393, 0x16771A63, 0x00600193, 0xFF0105B7, 0xF0058593,
831 0x0F05E593, 0xFF0103B7, 0xFF038393, 0x14759C63, 0x00700193, 0x00000213, 0x0FF010B7, 0xFF008093,
832 0x0F00E713, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x0FF013B7, 0xFF038393, 0x12731463,
833 0x00800193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x70F0E713, 0x00000013, 0x00070313, 0x00120213,
834 0x00200293, 0xFE5212E3, 0x00FF03B7, 0x7FF38393, 0x0E731A63, 0x00900193, 0x00000213, 0xF00FF0B7,
835 0x00F08093, 0x0F00E713, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3,
836 0xF00FF3B7, 0x0FF38393, 0x0A731E63, 0x00A00193, 0x00000213, 0x0FF010B7, 0xFF008093, 0x0F00E713,
837 0x00120213, 0x00200293, 0xFE5216E3, 0x0FF013B7, 0xFF038393, 0x08771863, 0x00B00193, 0x00000213,
838 0x00FF00B7, 0x0FF08093, 0x00000013, 0xF0F0E713, 0x00120213, 0x00200293, 0xFE5214E3, 0xFFF00393,
839 0x06771263, 0x00C00193, 0x00000213, 0xF00FF0B7, 0x00F08093, 0x00000013, 0x00000013, 0x0F00E713,
840 0x00120213, 0x00200293, 0xFE5212E3, 0xF00FF3B7, 0x0FF38393, 0x02771863, 0x00D00193, 0x0F006093,
841 0x0F000393, 0x02709063, 0x00E00193, 0x00FF00B7, 0x0FF08093, 0x70F0E013, 0x00000393, 0x00701463,
842 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073,
843 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
844 },
845 },
846 {
847 name: "rv32ui-sb",
848 text: []uint32{
849 0x00000193, 0x0040006F, 0x00200193, 0x0003F117, 0xFF410113, 0xFAA00093, 0x00000797, 0x01478793,
850 0x00110023, 0x00010703, 0x0080006F, 0x00008713, 0xFAA00393, 0x44771463, 0x00300193, 0x0003F117,
851 0xFC410113, 0x00000093, 0x00000797, 0x01478793, 0x001100A3, 0x00110703, 0x0080006F, 0x00008713,
852 0x00000393, 0x40771C63, 0x00400193, 0x0003F117, 0xF9410113, 0xFFFFF0B7, 0xFA008093, 0x00000797,
853 0x01478793, 0x00110123, 0x00211703, 0x0080006F, 0x00008713, 0xFFFFF3B7, 0xFA038393, 0x3E771063,
854 0x00500193, 0x0003F117, 0xF5C10113, 0x00A00093, 0x00000797, 0x01478793, 0x001101A3, 0x00310703,
855 0x0080006F, 0x00008713, 0x00A00393, 0x3A771863, 0x00600193, 0x0003F117, 0xF3310113, 0xFAA00093,
856 0x00000797, 0x01478793, 0xFE110EA3, 0xFFD10703, 0x0080006F, 0x00008713, 0xFAA00393, 0x38771063,
857 0x00700193, 0x0003F117, 0xF0310113, 0x00000093, 0x00000797, 0x01478793, 0xFE110F23, 0xFFE10703,
858 0x0080006F, 0x00008713, 0x00000393, 0x34771863, 0x00800193, 0x0003F117, 0xED310113, 0xFA000093,
859 0x00000797, 0x01478793, 0xFE110FA3, 0xFFF10703, 0x0080006F, 0x00008713, 0xFA000393, 0x32771063,
860 0x00900193, 0x0003F117, 0xEA310113, 0x00A00093, 0x00000797, 0x01478793, 0x00110023, 0x00010703,
861 0x0080006F, 0x00008713, 0x00A00393, 0x2E771863, 0x00A00193, 0x0003F097, 0xE7408093, 0x12345137,
862 0x67810113, 0xFE008213, 0x02220023, 0x00008283, 0x07800393, 0x2C729463, 0x00B00193, 0x0003F097,
863 0xE4C08093, 0x00003137, 0x09810113, 0xFFA08093, 0x002083A3, 0x0003F217, 0xE3520213, 0x00020283,
864 0xF9800393, 0x28729C63, 0x00C00193, 0x00000213, 0xFDD00693, 0x0003F617, 0xE0C60613, 0x00D60023,
865 0x00060703, 0xFDD00393, 0x26771A63, 0x00120213, 0x00200293, 0xFC521EE3, 0x00D00193, 0x00000213,
866 0xFCD00693, 0x0003F617, 0xDDC60613, 0x00000013, 0x00D600A3, 0x00160703, 0xFCD00393, 0x24771063,
867 0x00120213, 0x00200293, 0xFC521CE3, 0x00E00193, 0x00000213, 0xFCC00693, 0x0003F617, 0xDA860613,
868 0x00000013, 0x00000013, 0x00D60123, 0x00260703, 0xFCC00393, 0x20771463, 0x00120213, 0x00200293,
869 0xFC521AE3, 0x00F00193, 0x00000213, 0xFBC00693, 0x00000013, 0x0003F617, 0xD6C60613, 0x00D601A3,
870 0x00360703, 0xFBC00393, 0x1C771A63, 0x00120213, 0x00200293, 0xFC521CE3, 0x01000193, 0x00000213,
871 0xFBB00693, 0x00000013, 0x0003F617, 0xD3860613, 0x00000013, 0x00D60223, 0x00460703, 0xFBB00393,
872 0x18771E63, 0x00120213, 0x00200293, 0xFC521AE3, 0x01100193, 0x00000213, 0xFAB00693, 0x00000013,
873 0x00000013, 0x0003F617, 0xCFC60613, 0x00D602A3, 0x00560703, 0xFAB00393, 0x16771263, 0x00120213,
874 0x00200293, 0xFC521AE3, 0x01200193, 0x00000213, 0x0003F117, 0xCD010113, 0x03300093, 0x00110023,
875 0x00010703, 0x03300393, 0x12771A63, 0x00120213, 0x00200293, 0xFC521EE3, 0x01300193, 0x00000213,
876 0x0003F117, 0xCA010113, 0x02300093, 0x00000013, 0x001100A3, 0x00110703, 0x02300393, 0x10771063,
877 0x00120213, 0x00200293, 0xFC521CE3, 0x01400193, 0x00000213, 0x0003F117, 0xC6C10113, 0x02200093,
878 0x00000013, 0x00000013, 0x00110123, 0x00210703, 0x02200393, 0x0C771463, 0x00120213, 0x00200293,
879 0xFC521AE3, 0x01500193, 0x00000213, 0x0003F117, 0xC3410113, 0x00000013, 0x01200093, 0x001101A3,
880 0x00310703, 0x01200393, 0x08771A63, 0x00120213, 0x00200293, 0xFC521CE3, 0x01600193, 0x00000213,
881 0x0003F117, 0xC0010113, 0x00000013, 0x01100093, 0x00000013, 0x00110223, 0x00410703, 0x01100393,
882 0x04771E63, 0x00120213, 0x00200293, 0xFC521AE3, 0x01700193, 0x00000213, 0x0003F117, 0xBC810113,
883 0x00000013, 0x00000013, 0x00100093, 0x001102A3, 0x00510703, 0x00100393, 0x02771263, 0x00120213,
884 0x00200293, 0xFC521AE3, 0x0EF00513, 0x0003F597, 0xB9458593, 0x00A581A3, 0x02301063, 0x0FF0000F,
885 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
886 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
887 },
888 data: []uint32{
889 0xEFEFEFEF, 0xEFEFEFEF, 0x0000EFEF, 0x00000000,
890 },
891 },
892 {
893 name: "rv32ui-sh",
894 text: []uint32{
895 0x00000193, 0x0040006F, 0x00200193, 0x0003F117, 0xFF410113, 0x0AA00093, 0x00000797, 0x01478793,
896 0x00111023, 0x00011703, 0x0080006F, 0x00008713, 0x0AA00393, 0x4C771663, 0x00300193, 0x0003F117,
897 0xFC410113, 0xFFFFB0B7, 0xA0008093, 0x00000797, 0x01478793, 0x00111123, 0x00211703, 0x0080006F,
898 0x00008713, 0xFFFFB3B7, 0xA0038393, 0x48771A63, 0x00400193, 0x0003F117, 0xF8C10113, 0xBEEF10B7,
899 0xAA008093, 0x00000797, 0x01478793, 0x00111223, 0x00412703, 0x0080006F, 0x00008713, 0xBEEF13B7,
900 0xAA038393, 0x44771E63, 0x00500193, 0x0003F117, 0xF5410113, 0xFFFFA0B7, 0x00A08093, 0x00000797,
901 0x01478793, 0x00111323, 0x00611703, 0x0080006F, 0x00008713, 0xFFFFA3B7, 0x00A38393, 0x42771263,
902 0x00600193, 0x0003F117, 0xF2A10113, 0x0AA00093, 0x00000797, 0x01478793, 0xFE111D23, 0xFFA11703,
903 0x0080006F, 0x00008713, 0x0AA00393, 0x3E771A63, 0x00700193, 0x0003F117, 0xEFA10113, 0xFFFFB0B7,
904 0xA0008093, 0x00000797, 0x01478793, 0xFE111E23, 0xFFC11703, 0x0080006F, 0x00008713, 0xFFFFB3B7,
905 0xA0038393, 0x3A771E63, 0x00800193, 0x0003F117, 0xEC210113, 0x000010B7, 0xAA008093, 0x00000797,
906 0x01478793, 0xFE111F23, 0xFFE11703, 0x0080006F, 0x00008713, 0x000013B7, 0xAA038393, 0x38771263,
907 0x00900193, 0x0003F117, 0xE8A10113, 0xFFFFA0B7, 0x00A08093, 0x00000797, 0x01478793, 0x00111023,
908 0x00011703, 0x0080006F, 0x00008713, 0xFFFFA3B7, 0x00A38393, 0x34771663, 0x00A00193, 0x0003F097,
909 0xE5408093, 0x12345137, 0x67810113, 0xFE008213, 0x02221023, 0x00009283, 0x000053B7, 0x67838393,
910 0x32729063, 0x00B00193, 0x0003F097, 0xE2808093, 0x00003137, 0x09810113, 0xFFB08093, 0x002093A3,
911 0x0003F217, 0xE1220213, 0x00021283, 0x000033B7, 0x09838393, 0x2E729663, 0x00C00193, 0x00000213,
912 0xFFFFD6B7, 0xCDD68693, 0x0003F617, 0xDD860613, 0x00D61023, 0x00061703, 0xFFFFD3B7, 0xCDD38393,
913 0x2C771063, 0x00120213, 0x00200293, 0xFC521AE3, 0x00D00193, 0x00000213, 0xFFFFC6B7, 0xCCD68693,
914 0x0003F617, 0xDA060613, 0x00000013, 0x00D61123, 0x00261703, 0xFFFFC3B7, 0xCCD38393, 0x28771263,
915 0x00120213, 0x00200293, 0xFC5218E3, 0x00E00193, 0x00000213, 0xFFFFC6B7, 0xBCC68693, 0x0003F617,
916 0xD6460613, 0x00000013, 0x00000013, 0x00D61223, 0x00461703, 0xFFFFC3B7, 0xBCC38393, 0x24771263,
917 0x00120213, 0x00200293, 0xFC5216E3, 0x00F00193, 0x00000213, 0xFFFFB6B7, 0xBBC68693, 0x00000013,
918 0x0003F617, 0xD2060613, 0x00D61323, 0x00661703, 0xFFFFB3B7, 0xBBC38393, 0x20771463, 0x00120213,
919 0x00200293, 0xFC5218E3, 0x01000193, 0x00000213, 0xFFFFB6B7, 0xABB68693, 0x00000013, 0x0003F617,
920 0xCE460613, 0x00000013, 0x00D61423, 0x00861703, 0xFFFFB3B7, 0xABB38393, 0x1C771463, 0x00120213,
921 0x00200293, 0xFC5216E3, 0x01100193, 0x00000213, 0xFFFFE6B7, 0xAAB68693, 0x00000013, 0x00000013,
922 0x0003F617, 0xCA060613, 0x00D61523, 0x00A61703, 0xFFFFE3B7, 0xAAB38393, 0x18771463, 0x00120213,
923 0x00200293, 0xFC5216E3, 0x01200193, 0x00000213, 0x0003F117, 0xC7010113, 0x000020B7, 0x23308093,
924 0x00111023, 0x00011703, 0x000023B7, 0x23338393, 0x14771863, 0x00120213, 0x00200293, 0xFC521AE3,
925 0x01300193, 0x00000213, 0x0003F117, 0xC3810113, 0x000010B7, 0x22308093, 0x00000013, 0x00111123,
926 0x00211703, 0x000013B7, 0x22338393, 0x10771A63, 0x00120213, 0x00200293, 0xFC5218E3, 0x01400193,
927 0x00000213, 0x0003F117, 0xBFC10113, 0x000010B7, 0x12208093, 0x00000013, 0x00000013, 0x00111223,
928 0x00411703, 0x000013B7, 0x12238393, 0x0C771A63, 0x00120213, 0x00200293, 0xFC5216E3, 0x01500193,
929 0x00000213, 0x0003F117, 0xBBC10113, 0x00000013, 0x11200093, 0x00111323, 0x00611703, 0x11200393,
930 0x0A771063, 0x00120213, 0x00200293, 0xFC521CE3, 0x01600193, 0x00000213, 0x0003F117, 0xB8810113,
931 0x00000013, 0x01100093, 0x00000013, 0x00111423, 0x00811703, 0x01100393, 0x06771463, 0x00120213,
932 0x00200293, 0xFC521AE3, 0x01700193, 0x00000213, 0x0003F117, 0xB5010113, 0x00000013, 0x00000013,
933 0x000030B7, 0x00108093, 0x00111523, 0x00A11703, 0x000033B7, 0x00138393, 0x02771463, 0x00120213,
934 0x00200293, 0xFC5216E3, 0x0000C537, 0xEEF50513, 0x0003F597, 0xB1058593, 0x00A59323, 0x02301063,
935 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F,
936 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
937 },
938 data: []uint32{
939 0xBEEFBEEF, 0xBEEFBEEF, 0xBEEFBEEF, 0xBEEFBEEF, 0xBEEFBEEF, 0x00000000, 0x00000000, 0x00000000,
940 },
941 },
942 {
943 name: "rv32ui-simple",
944 text: []uint32{
945 0x00000193, 0x0040006F, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
946 },
947 },
948 {
949 name: "rv32ui-sll",
950 text: []uint32{
951 0x00000193, 0x0040006F, 0x00200193, 0x00100593, 0x00000613, 0x00C59733, 0x00100393, 0x52771E63,
952 0x00300193, 0x00100593, 0x00100613, 0x00C59733, 0x00200393, 0x52771263, 0x00400193, 0x00100593,
953 0x00700613, 0x00C59733, 0x08000393, 0x50771663, 0x00500193, 0x00100593, 0x00E00613, 0x00C59733,
954 0x000043B7, 0x4E771A63, 0x00600193, 0x00100593, 0x01F00613, 0x00C59733, 0x800003B7, 0x4C771E63,
955 0x00700193, 0xFFF00593, 0x00000613, 0x00C59733, 0xFFF00393, 0x4C771263, 0x00800193, 0xFFF00593,
956 0x00100613, 0x00C59733, 0xFFE00393, 0x4A771663, 0x00900193, 0xFFF00593, 0x00700613, 0x00C59733,
957 0xF8000393, 0x48771A63, 0x00A00193, 0xFFF00593, 0x00E00613, 0x00C59733, 0xFFFFC3B7, 0x46771E63,
958 0x00B00193, 0xFFF00593, 0x01F00613, 0x00C59733, 0x800003B7, 0x46771263, 0x00C00193, 0x212125B7,
959 0x12158593, 0x00000613, 0x00C59733, 0x212123B7, 0x12138393, 0x44771263, 0x00D00193, 0x212125B7,
960 0x12158593, 0x00100613, 0x00C59733, 0x424243B7, 0x24238393, 0x42771263, 0x00E00193, 0x212125B7,
961 0x12158593, 0x00700613, 0x00C59733, 0x909093B7, 0x08038393, 0x40771263, 0x00F00193, 0x212125B7,
962 0x12158593, 0x00E00613, 0x00C59733, 0x484843B7, 0x3E771463, 0x01000193, 0x212125B7, 0x12158593,
963 0x01F00613, 0x00C59733, 0x800003B7, 0x3C771663, 0x01100193, 0x212125B7, 0x12158593, 0xFC000613,
964 0x00C59733, 0x212123B7, 0x12138393, 0x3A771663, 0x01200193, 0x212125B7, 0x12158593, 0xFC100613,
965 0x00C59733, 0x424243B7, 0x24238393, 0x38771663, 0x01300193, 0x212125B7, 0x12158593, 0xFC700613,
966 0x00C59733, 0x909093B7, 0x08038393, 0x36771663, 0x01400193, 0x212125B7, 0x12158593, 0xFCE00613,
967 0x00C59733, 0x484843B7, 0x34771863, 0x01600193, 0x00100593, 0x00700613, 0x00C595B3, 0x08000393,
968 0x32759C63, 0x01700193, 0x00100593, 0x00E00613, 0x00C59633, 0x000043B7, 0x32761063, 0x01800193,
969 0x00300593, 0x00B595B3, 0x01800393, 0x30759663, 0x01900193, 0x00000213, 0x00100093, 0x00700113,
970 0x00209733, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x08000393, 0x2E731063, 0x01A00193,
971 0x00000213, 0x00100093, 0x00E00113, 0x00209733, 0x00000013, 0x00070313, 0x00120213, 0x00200293,
972 0xFE5212E3, 0x000043B7, 0x2A731863, 0x01B00193, 0x00000213, 0x00100093, 0x01F00113, 0x00209733,
973 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3, 0x800003B7, 0x26731E63,
974 0x01C00193, 0x00000213, 0x00100093, 0x00700113, 0x00209733, 0x00120213, 0x00200293, 0xFE5216E3,
975 0x08000393, 0x24771A63, 0x01D00193, 0x00000213, 0x00100093, 0x00E00113, 0x00000013, 0x00209733,
976 0x00120213, 0x00200293, 0xFE5214E3, 0x000043B7, 0x22771463, 0x01E00193, 0x00000213, 0x00100093,
977 0x01F00113, 0x00000013, 0x00000013, 0x00209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x800003B7,
978 0x1E771C63, 0x01F00193, 0x00000213, 0x00100093, 0x00000013, 0x00700113, 0x00209733, 0x00120213,
979 0x00200293, 0xFE5214E3, 0x08000393, 0x1C771663, 0x02000193, 0x00000213, 0x00100093, 0x00000013,
980 0x00E00113, 0x00000013, 0x00209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x000043B7, 0x18771E63,
981 0x02100193, 0x00000213, 0x00100093, 0x00000013, 0x00000013, 0x01F00113, 0x00209733, 0x00120213,
982 0x00200293, 0xFE5212E3, 0x800003B7, 0x16771663, 0x02200193, 0x00000213, 0x00700113, 0x00100093,
983 0x00209733, 0x00120213, 0x00200293, 0xFE5216E3, 0x08000393, 0x14771263, 0x02300193, 0x00000213,
984 0x00E00113, 0x00100093, 0x00000013, 0x00209733, 0x00120213, 0x00200293, 0xFE5214E3, 0x000043B7,
985 0x10771C63, 0x02400193, 0x00000213, 0x01F00113, 0x00100093, 0x00000013, 0x00000013, 0x00209733,
986 0x00120213, 0x00200293, 0xFE5212E3, 0x800003B7, 0x0E771463, 0x02500193, 0x00000213, 0x00700113,
987 0x00000013, 0x00100093, 0x00209733, 0x00120213, 0x00200293, 0xFE5214E3, 0x08000393, 0x0A771E63,
988 0x02600193, 0x00000213, 0x00E00113, 0x00000013, 0x00100093, 0x00000013, 0x00209733, 0x00120213,
989 0x00200293, 0xFE5212E3, 0x000043B7, 0x08771663, 0x02700193, 0x00000213, 0x01F00113, 0x00000013,
990 0x00000013, 0x00100093, 0x00209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x800003B7, 0x04771E63,
991 0x02800193, 0x00F00093, 0x00101133, 0x00000393, 0x04711463, 0x02900193, 0x02000093, 0x00009133,
992 0x02000393, 0x02711A63, 0x02A00193, 0x000010B3, 0x00000393, 0x02709263, 0x02B00193, 0x40000093,
993 0x00100113, 0x00B11113, 0x00209033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063,
994 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893,
995 0x00000513, 0x00000073, 0x00000000,
996 },
997 },
998 {
999 name: "rv32ui-slli",
1000 text: []uint32{
1001 0x00000193, 0x0040006F, 0x00200193, 0x00100693, 0x00069713, 0x00100393, 0x26771A63, 0x00300193,
1002 0x00100693, 0x00169713, 0x00200393, 0x26771063, 0x00400193, 0x00100693, 0x00769713, 0x08000393,
1003 0x24771663, 0x00500193, 0x00100693, 0x00E69713, 0x000043B7, 0x22771C63, 0x00600193, 0x00100693,
1004 0x01F69713, 0x800003B7, 0x22771263, 0x00700193, 0xFFF00693, 0x00069713, 0xFFF00393, 0x20771863,
1005 0x00800193, 0xFFF00693, 0x00169713, 0xFFE00393, 0x1E771E63, 0x00900193, 0xFFF00693, 0x00769713,
1006 0xF8000393, 0x1E771463, 0x00A00193, 0xFFF00693, 0x00E69713, 0xFFFFC3B7, 0x1C771A63, 0x00B00193,
1007 0xFFF00693, 0x01F69713, 0x800003B7, 0x1C771063, 0x00C00193, 0x212126B7, 0x12168693, 0x00069713,
1008 0x212123B7, 0x12138393, 0x1A771263, 0x00D00193, 0x212126B7, 0x12168693, 0x00169713, 0x424243B7,
1009 0x24238393, 0x18771463, 0x00E00193, 0x212126B7, 0x12168693, 0x00769713, 0x909093B7, 0x08038393,
1010 0x16771663, 0x00F00193, 0x212126B7, 0x12168693, 0x00E69713, 0x484843B7, 0x14771A63, 0x01000193,
1011 0x212126B7, 0x12168693, 0x01F69713, 0x800003B7, 0x12771E63, 0x01100193, 0x00100593, 0x00759593,
1012 0x08000393, 0x12759463, 0x01200193, 0x00000213, 0x00100093, 0x00709713, 0x00070313, 0x00120213,
1013 0x00200293, 0xFE5216E3, 0x08000393, 0x10731063, 0x01300193, 0x00000213, 0x00100093, 0x00E09713,
1014 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x000043B7, 0x0C731A63, 0x01400193,
1015 0x00000213, 0x00100093, 0x01F09713, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293,
1016 0xFE5212E3, 0x800003B7, 0x0A731263, 0x01500193, 0x00000213, 0x00100093, 0x00709713, 0x00120213,
1017 0x00200293, 0xFE5218E3, 0x08000393, 0x08771063, 0x01600193, 0x00000213, 0x00100093, 0x00000013,
1018 0x00E09713, 0x00120213, 0x00200293, 0xFE5216E3, 0x000043B7, 0x04771C63, 0x01700193, 0x00000213,
1019 0x00100093, 0x00000013, 0x00000013, 0x01F09713, 0x00120213, 0x00200293, 0xFE5214E3, 0x800003B7,
1020 0x02771663, 0x01800193, 0x01F01093, 0x00000393, 0x00709E63, 0x01900193, 0x02100093, 0x01409013,
1021 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893,
1022 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1023 },
1024 },
1025 {
1026 name: "rv32ui-slt",
1027 text: []uint32{
1028 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x00C5A733, 0x00000393, 0x4A771A63,
1029 0x00300193, 0x00100593, 0x00100613, 0x00C5A733, 0x00000393, 0x48771E63, 0x00400193, 0x00300593,
1030 0x00700613, 0x00C5A733, 0x00100393, 0x48771263, 0x00500193, 0x00700593, 0x00300613, 0x00C5A733,
1031 0x00000393, 0x46771663, 0x00600193, 0x00000593, 0xFFFF8637, 0x00C5A733, 0x00000393, 0x44771A63,
1032 0x00700193, 0x800005B7, 0x00000613, 0x00C5A733, 0x00100393, 0x42771E63, 0x00800193, 0x800005B7,
1033 0xFFFF8637, 0x00C5A733, 0x00100393, 0x42771263, 0x00900193, 0x00000593, 0x00008637, 0xFFF60613,
1034 0x00C5A733, 0x00100393, 0x40771463, 0x00A00193, 0x800005B7, 0xFFF58593, 0x00000613, 0x00C5A733,
1035 0x00000393, 0x3E771663, 0x00B00193, 0x800005B7, 0xFFF58593, 0x00008637, 0xFFF60613, 0x00C5A733,
1036 0x00000393, 0x3C771663, 0x00C00193, 0x800005B7, 0x00008637, 0xFFF60613, 0x00C5A733, 0x00100393,
1037 0x3A771863, 0x00D00193, 0x800005B7, 0xFFF58593, 0xFFFF8637, 0x00C5A733, 0x00000393, 0x38771A63,
1038 0x00E00193, 0x00000593, 0xFFF00613, 0x00C5A733, 0x00000393, 0x36771E63, 0x00F00193, 0xFFF00593,
1039 0x00100613, 0x00C5A733, 0x00100393, 0x36771263, 0x01000193, 0xFFF00593, 0xFFF00613, 0x00C5A733,
1040 0x00000393, 0x34771663, 0x01100193, 0x00E00593, 0x00D00613, 0x00C5A5B3, 0x00000393, 0x32759A63,
1041 0x01200193, 0x00B00593, 0x00D00613, 0x00C5A633, 0x00100393, 0x30761E63, 0x01300193, 0x00D00593,
1042 0x00B5A5B3, 0x00000393, 0x30759463, 0x01400193, 0x00000213, 0x00B00093, 0x00D00113, 0x0020A733,
1043 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x00100393, 0x2C731E63, 0x01500193, 0x00000213,
1044 0x00E00093, 0x00D00113, 0x0020A733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3,
1045 0x00000393, 0x2A731663, 0x01600193, 0x00000213, 0x00C00093, 0x00D00113, 0x0020A733, 0x00000013,
1046 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3, 0x00100393, 0x26731C63, 0x01700193,
1047 0x00000213, 0x00E00093, 0x00D00113, 0x0020A733, 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393,
1048 0x24771863, 0x01800193, 0x00000213, 0x00B00093, 0x00D00113, 0x00000013, 0x0020A733, 0x00120213,
1049 0x00200293, 0xFE5214E3, 0x00100393, 0x22771263, 0x01900193, 0x00000213, 0x00F00093, 0x00D00113,
1050 0x00000013, 0x00000013, 0x0020A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00000393, 0x1E771A63,
1051 0x01A00193, 0x00000213, 0x00A00093, 0x00000013, 0x00D00113, 0x0020A733, 0x00120213, 0x00200293,
1052 0xFE5214E3, 0x00100393, 0x1C771463, 0x01B00193, 0x00000213, 0x01000093, 0x00000013, 0x00D00113,
1053 0x00000013, 0x0020A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00000393, 0x18771C63, 0x01C00193,
1054 0x00000213, 0x00900093, 0x00000013, 0x00000013, 0x00D00113, 0x0020A733, 0x00120213, 0x00200293,
1055 0xFE5212E3, 0x00100393, 0x16771463, 0x01D00193, 0x00000213, 0x00D00113, 0x01100093, 0x0020A733,
1056 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393, 0x14771063, 0x01E00193, 0x00000213, 0x00D00113,
1057 0x00800093, 0x00000013, 0x0020A733, 0x00120213, 0x00200293, 0xFE5214E3, 0x00100393, 0x10771A63,
1058 0x01F00193, 0x00000213, 0x00D00113, 0x01200093, 0x00000013, 0x00000013, 0x0020A733, 0x00120213,
1059 0x00200293, 0xFE5212E3, 0x00000393, 0x0E771263, 0x02000193, 0x00000213, 0x00D00113, 0x00000013,
1060 0x00700093, 0x0020A733, 0x00120213, 0x00200293, 0xFE5214E3, 0x00100393, 0x0A771C63, 0x02100193,
1061 0x00000213, 0x00D00113, 0x00000013, 0x01300093, 0x00000013, 0x0020A733, 0x00120213, 0x00200293,
1062 0xFE5212E3, 0x00000393, 0x08771463, 0x02200193, 0x00000213, 0x00D00113, 0x00000013, 0x00000013,
1063 0x00600093, 0x0020A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00100393, 0x04771C63, 0x02300193,
1064 0xFFF00093, 0x00102133, 0x00000393, 0x04711263, 0x02400193, 0xFFF00093, 0x0000A133, 0x00100393,
1065 0x02711863, 0x02500193, 0x000020B3, 0x00000393, 0x02709063, 0x02600193, 0x01000093, 0x01E00113,
1066 0x0020A033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1067 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1068 0x00000000,
1069 },
1070 },
1071 {
1072 name: "rv32ui-slti",
1073 text: []uint32{
1074 0x00000193, 0x0040006F, 0x00200193, 0x00000693, 0x0006A713, 0x00000393, 0x26771263, 0x00300193,
1075 0x00100693, 0x0016A713, 0x00000393, 0x24771863, 0x00400193, 0x00300693, 0x0076A713, 0x00100393,
1076 0x22771E63, 0x00500193, 0x00700693, 0x0036A713, 0x00000393, 0x22771463, 0x00600193, 0x00000693,
1077 0x8006A713, 0x00000393, 0x20771A63, 0x00700193, 0x800006B7, 0x0006A713, 0x00100393, 0x20771063,
1078 0x00800193, 0x800006B7, 0x8006A713, 0x00100393, 0x1E771663, 0x00900193, 0x00000693, 0x7FF6A713,
1079 0x00100393, 0x1C771C63, 0x00A00193, 0x800006B7, 0xFFF68693, 0x0006A713, 0x00000393, 0x1C771063,
1080 0x00B00193, 0x800006B7, 0xFFF68693, 0x7FF6A713, 0x00000393, 0x1A771463, 0x00C00193, 0x800006B7,
1081 0x7FF6A713, 0x00100393, 0x18771A63, 0x00D00193, 0x800006B7, 0xFFF68693, 0x8006A713, 0x00000393,
1082 0x16771E63, 0x00E00193, 0x00000693, 0xFFF6A713, 0x00000393, 0x16771463, 0x00F00193, 0xFFF00693,
1083 0x0016A713, 0x00100393, 0x14771A63, 0x01000193, 0xFFF00693, 0xFFF6A713, 0x00000393, 0x14771063,
1084 0x01100193, 0x00B00593, 0x00D5A593, 0x00100393, 0x12759663, 0x01200193, 0x00000213, 0x00F00093,
1085 0x00A0A713, 0x00070313, 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393, 0x10731263, 0x01300193,
1086 0x00000213, 0x00A00093, 0x0100A713, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3,
1087 0x00100393, 0x0C731C63, 0x01400193, 0x00000213, 0x01000093, 0x0090A713, 0x00000013, 0x00000013,
1088 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0x00000393, 0x0A731463, 0x01500193, 0x00000213,
1089 0x00B00093, 0x00F0A713, 0x00120213, 0x00200293, 0xFE5218E3, 0x00100393, 0x08771263, 0x01600193,
1090 0x00000213, 0x01100093, 0x00000013, 0x0080A713, 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393,
1091 0x04771E63, 0x01700193, 0x00000213, 0x00C00093, 0x00000013, 0x00000013, 0x00E0A713, 0x00120213,
1092 0x00200293, 0xFE5214E3, 0x00100393, 0x02771863, 0x01800193, 0xFFF02093, 0x00000393, 0x02709063,
1093 0x01900193, 0x00FF00B7, 0x0FF08093, 0xFFF0A013, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F,
1094 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
1095 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1096 },
1097 },
1098 {
1099 name: "rv32ui-sltiu",
1100 text: []uint32{
1101 0x00000193, 0x0040006F, 0x00200193, 0x00000693, 0x0006B713, 0x00000393, 0x26771263, 0x00300193,
1102 0x00100693, 0x0016B713, 0x00000393, 0x24771863, 0x00400193, 0x00300693, 0x0076B713, 0x00100393,
1103 0x22771E63, 0x00500193, 0x00700693, 0x0036B713, 0x00000393, 0x22771463, 0x00600193, 0x00000693,
1104 0x8006B713, 0x00100393, 0x20771A63, 0x00700193, 0x800006B7, 0x0006B713, 0x00000393, 0x20771063,
1105 0x00800193, 0x800006B7, 0x8006B713, 0x00100393, 0x1E771663, 0x00900193, 0x00000693, 0x7FF6B713,
1106 0x00100393, 0x1C771C63, 0x00A00193, 0x800006B7, 0xFFF68693, 0x0006B713, 0x00000393, 0x1C771063,
1107 0x00B00193, 0x800006B7, 0xFFF68693, 0x7FF6B713, 0x00000393, 0x1A771463, 0x00C00193, 0x800006B7,
1108 0x7FF6B713, 0x00000393, 0x18771A63, 0x00D00193, 0x800006B7, 0xFFF68693, 0x8006B713, 0x00100393,
1109 0x16771E63, 0x00E00193, 0x00000693, 0xFFF6B713, 0x00100393, 0x16771463, 0x00F00193, 0xFFF00693,
1110 0x0016B713, 0x00000393, 0x14771A63, 0x01000193, 0xFFF00693, 0xFFF6B713, 0x00000393, 0x14771063,
1111 0x01100193, 0x00B00593, 0x00D5B593, 0x00100393, 0x12759663, 0x01200193, 0x00000213, 0x00F00093,
1112 0x00A0B713, 0x00070313, 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393, 0x10731263, 0x01300193,
1113 0x00000213, 0x00A00093, 0x0100B713, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3,
1114 0x00100393, 0x0C731C63, 0x01400193, 0x00000213, 0x01000093, 0x0090B713, 0x00000013, 0x00000013,
1115 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0x00000393, 0x0A731463, 0x01500193, 0x00000213,
1116 0x00B00093, 0x00F0B713, 0x00120213, 0x00200293, 0xFE5218E3, 0x00100393, 0x08771263, 0x01600193,
1117 0x00000213, 0x01100093, 0x00000013, 0x0080B713, 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393,
1118 0x04771E63, 0x01700193, 0x00000213, 0x00C00093, 0x00000013, 0x00000013, 0x00E0B713, 0x00120213,
1119 0x00200293, 0xFE5214E3, 0x00100393, 0x02771863, 0x01800193, 0xFFF03093, 0x00100393, 0x02709063,
1120 0x01900193, 0x00FF00B7, 0x0FF08093, 0xFFF0B013, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F,
1121 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193,
1122 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1123 },
1124 },
1125 {
1126 name: "rv32ui-sltu",
1127 text: []uint32{
1128 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x00C5B733, 0x00000393, 0x4A771A63,
1129 0x00300193, 0x00100593, 0x00100613, 0x00C5B733, 0x00000393, 0x48771E63, 0x00400193, 0x00300593,
1130 0x00700613, 0x00C5B733, 0x00100393, 0x48771263, 0x00500193, 0x00700593, 0x00300613, 0x00C5B733,
1131 0x00000393, 0x46771663, 0x00600193, 0x00000593, 0xFFFF8637, 0x00C5B733, 0x00100393, 0x44771A63,
1132 0x00700193, 0x800005B7, 0x00000613, 0x00C5B733, 0x00000393, 0x42771E63, 0x00800193, 0x800005B7,
1133 0xFFFF8637, 0x00C5B733, 0x00100393, 0x42771263, 0x00900193, 0x00000593, 0x00008637, 0xFFF60613,
1134 0x00C5B733, 0x00100393, 0x40771463, 0x00A00193, 0x800005B7, 0xFFF58593, 0x00000613, 0x00C5B733,
1135 0x00000393, 0x3E771663, 0x00B00193, 0x800005B7, 0xFFF58593, 0x00008637, 0xFFF60613, 0x00C5B733,
1136 0x00000393, 0x3C771663, 0x00C00193, 0x800005B7, 0x00008637, 0xFFF60613, 0x00C5B733, 0x00000393,
1137 0x3A771863, 0x00D00193, 0x800005B7, 0xFFF58593, 0xFFFF8637, 0x00C5B733, 0x00100393, 0x38771A63,
1138 0x00E00193, 0x00000593, 0xFFF00613, 0x00C5B733, 0x00100393, 0x36771E63, 0x00F00193, 0xFFF00593,
1139 0x00100613, 0x00C5B733, 0x00000393, 0x36771263, 0x01000193, 0xFFF00593, 0xFFF00613, 0x00C5B733,
1140 0x00000393, 0x34771663, 0x01100193, 0x00E00593, 0x00D00613, 0x00C5B5B3, 0x00000393, 0x32759A63,
1141 0x01200193, 0x00B00593, 0x00D00613, 0x00C5B633, 0x00100393, 0x30761E63, 0x01300193, 0x00D00593,
1142 0x00B5B5B3, 0x00000393, 0x30759463, 0x01400193, 0x00000213, 0x00B00093, 0x00D00113, 0x0020B733,
1143 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x00100393, 0x2C731E63, 0x01500193, 0x00000213,
1144 0x00E00093, 0x00D00113, 0x0020B733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3,
1145 0x00000393, 0x2A731663, 0x01600193, 0x00000213, 0x00C00093, 0x00D00113, 0x0020B733, 0x00000013,
1146 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3, 0x00100393, 0x26731C63, 0x01700193,
1147 0x00000213, 0x00E00093, 0x00D00113, 0x0020B733, 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393,
1148 0x24771863, 0x01800193, 0x00000213, 0x00B00093, 0x00D00113, 0x00000013, 0x0020B733, 0x00120213,
1149 0x00200293, 0xFE5214E3, 0x00100393, 0x22771263, 0x01900193, 0x00000213, 0x00F00093, 0x00D00113,
1150 0x00000013, 0x00000013, 0x0020B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00000393, 0x1E771A63,
1151 0x01A00193, 0x00000213, 0x00A00093, 0x00000013, 0x00D00113, 0x0020B733, 0x00120213, 0x00200293,
1152 0xFE5214E3, 0x00100393, 0x1C771463, 0x01B00193, 0x00000213, 0x01000093, 0x00000013, 0x00D00113,
1153 0x00000013, 0x0020B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00000393, 0x18771C63, 0x01C00193,
1154 0x00000213, 0x00900093, 0x00000013, 0x00000013, 0x00D00113, 0x0020B733, 0x00120213, 0x00200293,
1155 0xFE5212E3, 0x00100393, 0x16771463, 0x01D00193, 0x00000213, 0x00D00113, 0x01100093, 0x0020B733,
1156 0x00120213, 0x00200293, 0xFE5216E3, 0x00000393, 0x14771063, 0x01E00193, 0x00000213, 0x00D00113,
1157 0x00800093, 0x00000013, 0x0020B733, 0x00120213, 0x00200293, 0xFE5214E3, 0x00100393, 0x10771A63,
1158 0x01F00193, 0x00000213, 0x00D00113, 0x01200093, 0x00000013, 0x00000013, 0x0020B733, 0x00120213,
1159 0x00200293, 0xFE5212E3, 0x00000393, 0x0E771263, 0x02000193, 0x00000213, 0x00D00113, 0x00000013,
1160 0x00700093, 0x0020B733, 0x00120213, 0x00200293, 0xFE5214E3, 0x00100393, 0x0A771C63, 0x02100193,
1161 0x00000213, 0x00D00113, 0x00000013, 0x01300093, 0x00000013, 0x0020B733, 0x00120213, 0x00200293,
1162 0xFE5212E3, 0x00000393, 0x08771463, 0x02200193, 0x00000213, 0x00D00113, 0x00000013, 0x00000013,
1163 0x00600093, 0x0020B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00100393, 0x04771C63, 0x02300193,
1164 0xFFF00093, 0x00103133, 0x00100393, 0x04711263, 0x02400193, 0xFFF00093, 0x0000B133, 0x00000393,
1165 0x02711863, 0x02500193, 0x000030B3, 0x00000393, 0x02709063, 0x02600193, 0x01000093, 0x01E00113,
1166 0x0020B033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1167 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1168 0x00000000,
1169 },
1170 },
1171 {
1172 name: "rv32ui-sra",
1173 text: []uint32{
1174 0x00000193, 0x0040006F, 0x00200193, 0x800005B7, 0x00000613, 0x40C5D733, 0x800003B7, 0x58771463,
1175 0x00300193, 0x800005B7, 0x00100613, 0x40C5D733, 0xC00003B7, 0x56771863, 0x00400193, 0x800005B7,
1176 0x00700613, 0x40C5D733, 0xFF0003B7, 0x54771C63, 0x00500193, 0x800005B7, 0x00E00613, 0x40C5D733,
1177 0xFFFE03B7, 0x54771063, 0x00600193, 0x800005B7, 0x00158593, 0x01F00613, 0x40C5D733, 0xFFF00393,
1178 0x52771263, 0x00700193, 0x800005B7, 0xFFF58593, 0x00000613, 0x40C5D733, 0x800003B7, 0xFFF38393,
1179 0x50771263, 0x00800193, 0x800005B7, 0xFFF58593, 0x00100613, 0x40C5D733, 0x400003B7, 0xFFF38393,
1180 0x4E771263, 0x00900193, 0x800005B7, 0xFFF58593, 0x00700613, 0x40C5D733, 0x010003B7, 0xFFF38393,
1181 0x4C771263, 0x00A00193, 0x800005B7, 0xFFF58593, 0x00E00613, 0x40C5D733, 0x000203B7, 0xFFF38393,
1182 0x4A771263, 0x00B00193, 0x800005B7, 0xFFF58593, 0x01F00613, 0x40C5D733, 0x00000393, 0x48771463,
1183 0x00C00193, 0x818185B7, 0x18158593, 0x00000613, 0x40C5D733, 0x818183B7, 0x18138393, 0x46771463,
1184 0x00D00193, 0x818185B7, 0x18158593, 0x00100613, 0x40C5D733, 0xC0C0C3B7, 0x0C038393, 0x44771463,
1185 0x00E00193, 0x818185B7, 0x18158593, 0x00700613, 0x40C5D733, 0xFF0303B7, 0x30338393, 0x42771463,
1186 0x00F00193, 0x818185B7, 0x18158593, 0x00E00613, 0x40C5D733, 0xFFFE03B7, 0x60638393, 0x40771463,
1187 0x01000193, 0x818185B7, 0x18158593, 0x01F00613, 0x40C5D733, 0xFFF00393, 0x3E771663, 0x01100193,
1188 0x818185B7, 0x18158593, 0xFC000613, 0x40C5D733, 0x818183B7, 0x18138393, 0x3C771663, 0x01200193,
1189 0x818185B7, 0x18158593, 0xFC100613, 0x40C5D733, 0xC0C0C3B7, 0x0C038393, 0x3A771663, 0x01300193,
1190 0x818185B7, 0x18158593, 0xFC700613, 0x40C5D733, 0xFF0303B7, 0x30338393, 0x38771663, 0x01400193,
1191 0x818185B7, 0x18158593, 0xFCE00613, 0x40C5D733, 0xFFFE03B7, 0x60638393, 0x36771663, 0x01500193,
1192 0x818185B7, 0x18158593, 0xFFF00613, 0x40C5D733, 0xFFF00393, 0x34771863, 0x01600193, 0x800005B7,
1193 0x00700613, 0x40C5D5B3, 0xFF0003B7, 0x32759C63, 0x01700193, 0x800005B7, 0x00E00613, 0x40C5D633,
1194 0xFFFE03B7, 0x32761063, 0x01800193, 0x00700593, 0x40B5D5B3, 0x00000393, 0x30759663, 0x01900193,
1195 0x00000213, 0x800000B7, 0x00700113, 0x4020D733, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3,
1196 0xFF0003B7, 0x2E731063, 0x01A00193, 0x00000213, 0x800000B7, 0x00E00113, 0x4020D733, 0x00000013,
1197 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0xFFFE03B7, 0x2A731863, 0x01B00193, 0x00000213,
1198 0x800000B7, 0x01F00113, 0x4020D733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293,
1199 0xFE5210E3, 0xFFF00393, 0x26731E63, 0x01C00193, 0x00000213, 0x800000B7, 0x00700113, 0x4020D733,
1200 0x00120213, 0x00200293, 0xFE5216E3, 0xFF0003B7, 0x24771A63, 0x01D00193, 0x00000213, 0x800000B7,
1201 0x00E00113, 0x00000013, 0x4020D733, 0x00120213, 0x00200293, 0xFE5214E3, 0xFFFE03B7, 0x22771463,
1202 0x01E00193, 0x00000213, 0x800000B7, 0x01F00113, 0x00000013, 0x00000013, 0x4020D733, 0x00120213,
1203 0x00200293, 0xFE5212E3, 0xFFF00393, 0x1E771C63, 0x01F00193, 0x00000213, 0x800000B7, 0x00000013,
1204 0x00700113, 0x4020D733, 0x00120213, 0x00200293, 0xFE5214E3, 0xFF0003B7, 0x1C771663, 0x02000193,
1205 0x00000213, 0x800000B7, 0x00000013, 0x00E00113, 0x00000013, 0x4020D733, 0x00120213, 0x00200293,
1206 0xFE5212E3, 0xFFFE03B7, 0x18771E63, 0x02100193, 0x00000213, 0x800000B7, 0x00000013, 0x00000013,
1207 0x01F00113, 0x4020D733, 0x00120213, 0x00200293, 0xFE5212E3, 0xFFF00393, 0x16771663, 0x02200193,
1208 0x00000213, 0x00700113, 0x800000B7, 0x4020D733, 0x00120213, 0x00200293, 0xFE5216E3, 0xFF0003B7,
1209 0x14771263, 0x02300193, 0x00000213, 0x00E00113, 0x800000B7, 0x00000013, 0x4020D733, 0x00120213,
1210 0x00200293, 0xFE5214E3, 0xFFFE03B7, 0x10771C63, 0x02400193, 0x00000213, 0x01F00113, 0x800000B7,
1211 0x00000013, 0x00000013, 0x4020D733, 0x00120213, 0x00200293, 0xFE5212E3, 0xFFF00393, 0x0E771463,
1212 0x02500193, 0x00000213, 0x00700113, 0x00000013, 0x800000B7, 0x4020D733, 0x00120213, 0x00200293,
1213 0xFE5214E3, 0xFF0003B7, 0x0A771E63, 0x02600193, 0x00000213, 0x00E00113, 0x00000013, 0x800000B7,
1214 0x00000013, 0x4020D733, 0x00120213, 0x00200293, 0xFE5212E3, 0xFFFE03B7, 0x08771663, 0x02700193,
1215 0x00000213, 0x01F00113, 0x00000013, 0x00000013, 0x800000B7, 0x4020D733, 0x00120213, 0x00200293,
1216 0xFE5212E3, 0xFFF00393, 0x04771E63, 0x02800193, 0x00F00093, 0x40105133, 0x00000393, 0x04711463,
1217 0x02900193, 0x02000093, 0x4000D133, 0x02000393, 0x02711A63, 0x02A00193, 0x400050B3, 0x00000393,
1218 0x02709263, 0x02B00193, 0x40000093, 0x00100113, 0x00B11113, 0x4020D033, 0x00000393, 0x00701463,
1219 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073,
1220 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1221 },
1222 },
1223 {
1224 name: "rv32ui-srai",
1225 text: []uint32{
1226 0x00000193, 0x0040006F, 0x00200193, 0x00000693, 0x4006D713, 0x00000393, 0x2A771463, 0x00300193,
1227 0x800006B7, 0x4016D713, 0xC00003B7, 0x28771A63, 0x00400193, 0x800006B7, 0x4076D713, 0xFF0003B7,
1228 0x28771063, 0x00500193, 0x800006B7, 0x40E6D713, 0xFFFE03B7, 0x26771663, 0x00600193, 0x800006B7,
1229 0x00168693, 0x41F6D713, 0xFFF00393, 0x24771A63, 0x00700193, 0x800006B7, 0xFFF68693, 0x4006D713,
1230 0x800003B7, 0xFFF38393, 0x22771C63, 0x00800193, 0x800006B7, 0xFFF68693, 0x4016D713, 0x400003B7,
1231 0xFFF38393, 0x20771E63, 0x00900193, 0x800006B7, 0xFFF68693, 0x4076D713, 0x010003B7, 0xFFF38393,
1232 0x20771063, 0x00A00193, 0x800006B7, 0xFFF68693, 0x40E6D713, 0x000203B7, 0xFFF38393, 0x1E771263,
1233 0x00B00193, 0x800006B7, 0xFFF68693, 0x41F6D713, 0x00000393, 0x1C771663, 0x00C00193, 0x818186B7,
1234 0x18168693, 0x4006D713, 0x818183B7, 0x18138393, 0x1A771863, 0x00D00193, 0x818186B7, 0x18168693,
1235 0x4016D713, 0xC0C0C3B7, 0x0C038393, 0x18771A63, 0x00E00193, 0x818186B7, 0x18168693, 0x4076D713,
1236 0xFF0303B7, 0x30338393, 0x16771C63, 0x00F00193, 0x818186B7, 0x18168693, 0x40E6D713, 0xFFFE03B7,
1237 0x60638393, 0x14771E63, 0x01000193, 0x818186B7, 0x18168693, 0x41F6D713, 0xFFF00393, 0x14771263,
1238 0x01100193, 0x800005B7, 0x4075D593, 0xFF0003B7, 0x12759863, 0x01200193, 0x00000213, 0x800000B7,
1239 0x4070D713, 0x00070313, 0x00120213, 0x00200293, 0xFE5216E3, 0xFF0003B7, 0x10731463, 0x01300193,
1240 0x00000213, 0x800000B7, 0x40E0D713, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3,
1241 0xFFFE03B7, 0x0C731E63, 0x01400193, 0x00000213, 0x800000B7, 0x00108093, 0x41F0D713, 0x00000013,
1242 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3, 0xFFF00393, 0x0A731463, 0x01500193,
1243 0x00000213, 0x800000B7, 0x4070D713, 0x00120213, 0x00200293, 0xFE5218E3, 0xFF0003B7, 0x08771263,
1244 0x01600193, 0x00000213, 0x800000B7, 0x00000013, 0x40E0D713, 0x00120213, 0x00200293, 0xFE5216E3,
1245 0xFFFE03B7, 0x04771E63, 0x01700193, 0x00000213, 0x800000B7, 0x00108093, 0x00000013, 0x00000013,
1246 0x41F0D713, 0x00120213, 0x00200293, 0xFE5212E3, 0xFFF00393, 0x02771663, 0x01800193, 0x40405093,
1247 0x00000393, 0x00709E63, 0x01900193, 0x02100093, 0x40A0D013, 0x00000393, 0x00701463, 0x02301063,
1248 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F,
1249 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1250 },
1251 },
1252 {
1253 name: "rv32ui-srl",
1254 text: []uint32{
1255 0x00000193, 0x0040006F, 0x00200193, 0x800005B7, 0x00000613, 0x00C5D733, 0x800003B7, 0x56771863,
1256 0x00300193, 0x800005B7, 0x00100613, 0x00C5D733, 0x400003B7, 0x54771C63, 0x00400193, 0x800005B7,
1257 0x00700613, 0x00C5D733, 0x010003B7, 0x54771063, 0x00500193, 0x800005B7, 0x00E00613, 0x00C5D733,
1258 0x000203B7, 0x52771463, 0x00600193, 0x800005B7, 0x00158593, 0x01F00613, 0x00C5D733, 0x00100393,
1259 0x50771663, 0x00700193, 0xFFF00593, 0x00000613, 0x00C5D733, 0xFFF00393, 0x4E771A63, 0x00800193,
1260 0xFFF00593, 0x00100613, 0x00C5D733, 0x800003B7, 0xFFF38393, 0x4C771C63, 0x00900193, 0xFFF00593,
1261 0x00700613, 0x00C5D733, 0x020003B7, 0xFFF38393, 0x4A771E63, 0x00A00193, 0xFFF00593, 0x00E00613,
1262 0x00C5D733, 0x000403B7, 0xFFF38393, 0x4A771063, 0x00B00193, 0xFFF00593, 0x01F00613, 0x00C5D733,
1263 0x00100393, 0x48771463, 0x00C00193, 0x212125B7, 0x12158593, 0x00000613, 0x00C5D733, 0x212123B7,
1264 0x12138393, 0x46771463, 0x00D00193, 0x212125B7, 0x12158593, 0x00100613, 0x00C5D733, 0x109093B7,
1265 0x09038393, 0x44771463, 0x00E00193, 0x212125B7, 0x12158593, 0x00700613, 0x00C5D733, 0x004243B7,
1266 0x24238393, 0x42771463, 0x00F00193, 0x212125B7, 0x12158593, 0x00E00613, 0x00C5D733, 0x000083B7,
1267 0x48438393, 0x40771463, 0x01000193, 0x212125B7, 0x12158593, 0x01F00613, 0x00C5D733, 0x00000393,
1268 0x3E771663, 0x01100193, 0x212125B7, 0x12158593, 0xFC000613, 0x00C5D733, 0x212123B7, 0x12138393,
1269 0x3C771663, 0x01200193, 0x212125B7, 0x12158593, 0xFC100613, 0x00C5D733, 0x109093B7, 0x09038393,
1270 0x3A771663, 0x01300193, 0x212125B7, 0x12158593, 0xFC700613, 0x00C5D733, 0x004243B7, 0x24238393,
1271 0x38771663, 0x01400193, 0x212125B7, 0x12158593, 0xFCE00613, 0x00C5D733, 0x000083B7, 0x48438393,
1272 0x36771663, 0x01500193, 0x212125B7, 0x12158593, 0xFFF00613, 0x00C5D733, 0x00000393, 0x34771863,
1273 0x01600193, 0x800005B7, 0x00700613, 0x00C5D5B3, 0x010003B7, 0x32759C63, 0x01700193, 0x800005B7,
1274 0x00E00613, 0x00C5D633, 0x000203B7, 0x32761063, 0x01800193, 0x00700593, 0x00B5D5B3, 0x00000393,
1275 0x30759663, 0x01900193, 0x00000213, 0x800000B7, 0x00700113, 0x0020D733, 0x00070313, 0x00120213,
1276 0x00200293, 0xFE5214E3, 0x010003B7, 0x2E731063, 0x01A00193, 0x00000213, 0x800000B7, 0x00E00113,
1277 0x0020D733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0x000203B7, 0x2A731863,
1278 0x01B00193, 0x00000213, 0x800000B7, 0x01F00113, 0x0020D733, 0x00000013, 0x00000013, 0x00070313,
1279 0x00120213, 0x00200293, 0xFE5210E3, 0x00100393, 0x26731E63, 0x01C00193, 0x00000213, 0x800000B7,
1280 0x00700113, 0x0020D733, 0x00120213, 0x00200293, 0xFE5216E3, 0x010003B7, 0x24771A63, 0x01D00193,
1281 0x00000213, 0x800000B7, 0x00E00113, 0x00000013, 0x0020D733, 0x00120213, 0x00200293, 0xFE5214E3,
1282 0x000203B7, 0x22771463, 0x01E00193, 0x00000213, 0x800000B7, 0x01F00113, 0x00000013, 0x00000013,
1283 0x0020D733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00100393, 0x1E771C63, 0x01F00193, 0x00000213,
1284 0x800000B7, 0x00000013, 0x00700113, 0x0020D733, 0x00120213, 0x00200293, 0xFE5214E3, 0x010003B7,
1285 0x1C771663, 0x02000193, 0x00000213, 0x800000B7, 0x00000013, 0x00E00113, 0x00000013, 0x0020D733,
1286 0x00120213, 0x00200293, 0xFE5212E3, 0x000203B7, 0x18771E63, 0x02100193, 0x00000213, 0x800000B7,
1287 0x00000013, 0x00000013, 0x01F00113, 0x0020D733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00100393,
1288 0x16771663, 0x02200193, 0x00000213, 0x00700113, 0x800000B7, 0x0020D733, 0x00120213, 0x00200293,
1289 0xFE5216E3, 0x010003B7, 0x14771263, 0x02300193, 0x00000213, 0x00E00113, 0x800000B7, 0x00000013,
1290 0x0020D733, 0x00120213, 0x00200293, 0xFE5214E3, 0x000203B7, 0x10771C63, 0x02400193, 0x00000213,
1291 0x01F00113, 0x800000B7, 0x00000013, 0x00000013, 0x0020D733, 0x00120213, 0x00200293, 0xFE5212E3,
1292 0x00100393, 0x0E771463, 0x02500193, 0x00000213, 0x00700113, 0x00000013, 0x800000B7, 0x0020D733,
1293 0x00120213, 0x00200293, 0xFE5214E3, 0x010003B7, 0x0A771E63, 0x02600193, 0x00000213, 0x00E00113,
1294 0x00000013, 0x800000B7, 0x00000013, 0x0020D733, 0x00120213, 0x00200293, 0xFE5212E3, 0x000203B7,
1295 0x08771663, 0x02700193, 0x00000213, 0x01F00113, 0x00000013, 0x00000013, 0x800000B7, 0x0020D733,
1296 0x00120213, 0x00200293, 0xFE5212E3, 0x00100393, 0x04771E63, 0x02800193, 0x00F00093, 0x00105133,
1297 0x00000393, 0x04711463, 0x02900193, 0x02000093, 0x0000D133, 0x02000393, 0x02711A63, 0x02A00193,
1298 0x000050B3, 0x00000393, 0x02709263, 0x02B00193, 0x40000093, 0x00100113, 0x00B11113, 0x0020D033,
1299 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893,
1300 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1301 },
1302 },
1303 {
1304 name: "rv32ui-srli",
1305 text: []uint32{
1306 0x00000193, 0x0040006F, 0x00200193, 0x800006B7, 0x0006D713, 0x800003B7, 0x28771863, 0x00300193,
1307 0x800006B7, 0x0016D713, 0x400003B7, 0x26771E63, 0x00400193, 0x800006B7, 0x0076D713, 0x010003B7,
1308 0x26771463, 0x00500193, 0x800006B7, 0x00E6D713, 0x000203B7, 0x24771A63, 0x00600193, 0x800006B7,
1309 0x00168693, 0x01F6D713, 0x00100393, 0x22771E63, 0x00700193, 0xFFF00693, 0x0006D713, 0xFFF00393,
1310 0x22771463, 0x00800193, 0xFFF00693, 0x0016D713, 0x800003B7, 0xFFF38393, 0x20771863, 0x00900193,
1311 0xFFF00693, 0x0076D713, 0x020003B7, 0xFFF38393, 0x1E771C63, 0x00A00193, 0xFFF00693, 0x00E6D713,
1312 0x000403B7, 0xFFF38393, 0x1E771063, 0x00B00193, 0xFFF00693, 0x01F6D713, 0x00100393, 0x1C771663,
1313 0x00C00193, 0x212126B7, 0x12168693, 0x0006D713, 0x212123B7, 0x12138393, 0x1A771863, 0x00D00193,
1314 0x212126B7, 0x12168693, 0x0016D713, 0x109093B7, 0x09038393, 0x18771A63, 0x00E00193, 0x212126B7,
1315 0x12168693, 0x0076D713, 0x004243B7, 0x24238393, 0x16771C63, 0x00F00193, 0x212126B7, 0x12168693,
1316 0x00E6D713, 0x000083B7, 0x48438393, 0x14771E63, 0x01000193, 0x212126B7, 0x12168693, 0x01F6D713,
1317 0x00000393, 0x14771263, 0x01100193, 0x800005B7, 0x0075D593, 0x010003B7, 0x12759863, 0x01200193,
1318 0x00000213, 0x800000B7, 0x0070D713, 0x00070313, 0x00120213, 0x00200293, 0xFE5216E3, 0x010003B7,
1319 0x10731463, 0x01300193, 0x00000213, 0x800000B7, 0x00E0D713, 0x00000013, 0x00070313, 0x00120213,
1320 0x00200293, 0xFE5214E3, 0x000203B7, 0x0C731E63, 0x01400193, 0x00000213, 0x800000B7, 0x00108093,
1321 0x01F0D713, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3, 0x00100393,
1322 0x0A731463, 0x01500193, 0x00000213, 0x800000B7, 0x0070D713, 0x00120213, 0x00200293, 0xFE5218E3,
1323 0x010003B7, 0x08771263, 0x01600193, 0x00000213, 0x800000B7, 0x00000013, 0x00E0D713, 0x00120213,
1324 0x00200293, 0xFE5216E3, 0x000203B7, 0x04771E63, 0x01700193, 0x00000213, 0x800000B7, 0x00108093,
1325 0x00000013, 0x00000013, 0x01F0D713, 0x00120213, 0x00200293, 0xFE5212E3, 0x00100393, 0x02771663,
1326 0x01800193, 0x00405093, 0x00000393, 0x00709E63, 0x01900193, 0x02100093, 0x00A0D013, 0x00000393,
1327 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
1328 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1329 },
1330 },
1331 {
1332 name: "rv32ui-st_ld",
1333 text: []uint32{
1334 0x00000193, 0x0040006F, 0x00200193, 0x0003F117, 0xFF410113, 0xFDD00093, 0x00110023, 0x00010703,
1335 0xFDD00393, 0x6C771663, 0x00300193, 0x0003F117, 0xFD410113, 0xFCD00093, 0x001100A3, 0x00110703,
1336 0xFCD00393, 0x6A771663, 0x00400193, 0x0003F117, 0xFB410113, 0xFCC00093, 0x00110123, 0x00210703,
1337 0xFCC00393, 0x68771663, 0x00500193, 0x0003F117, 0xF9410113, 0xFBC00093, 0x001101A3, 0x00310703,
1338 0xFBC00393, 0x66771663, 0x00600193, 0x0003F117, 0xF7410113, 0xFBB00093, 0x00110223, 0x00410703,
1339 0xFBB00393, 0x64771663, 0x00700193, 0x0003F117, 0xF5410113, 0xFAB00093, 0x001102A3, 0x00510703,
1340 0xFAB00393, 0x62771663, 0x00800193, 0x0003F117, 0xF3410113, 0x03300093, 0x00110023, 0x00010703,
1341 0x03300393, 0x60771663, 0x00900193, 0x0003F117, 0xF1410113, 0x02300093, 0x001100A3, 0x00110703,
1342 0x02300393, 0x5E771663, 0x00A00193, 0x0003F117, 0xEF410113, 0x02200093, 0x00110123, 0x00210703,
1343 0x02200393, 0x5C771663, 0x00B00193, 0x0003F117, 0xED410113, 0x01200093, 0x001101A3, 0x00310703,
1344 0x01200393, 0x5A771663, 0x00C00193, 0x0003F117, 0xEB410113, 0x01100093, 0x00110223, 0x00410703,
1345 0x01100393, 0x58771663, 0x00D00193, 0x0003F117, 0xE9410113, 0x00100093, 0x001102A3, 0x00510703,
1346 0x00100393, 0x56771663, 0x00E00193, 0x0003F117, 0xE7410113, 0x03300093, 0x00110023, 0x00014703,
1347 0x03300393, 0x54771663, 0x00F00193, 0x0003F117, 0xE5410113, 0x02300093, 0x001100A3, 0x00114703,
1348 0x02300393, 0x52771663, 0x01000193, 0x0003F117, 0xE3410113, 0x02200093, 0x00110123, 0x00214703,
1349 0x02200393, 0x50771663, 0x01100193, 0x0003F117, 0xE1410113, 0x01200093, 0x001101A3, 0x00314703,
1350 0x01200393, 0x4E771663, 0x01200193, 0x0003F117, 0xDF410113, 0x01100093, 0x00110223, 0x00414703,
1351 0x01100393, 0x4C771663, 0x01300193, 0x0003F117, 0xDD410113, 0x00100093, 0x001102A3, 0x00514703,
1352 0x00100393, 0x4A771663, 0x01400193, 0x0003F117, 0xDB410113, 0xAABBD0B7, 0xCDD08093, 0x00112023,
1353 0x00012703, 0xAABBD3B7, 0xCDD38393, 0x48771263, 0x01500193, 0x0003F117, 0xD8C10113, 0xDAABC0B7,
1354 0xCCD08093, 0x00112223, 0x00412703, 0xDAABC3B7, 0xCCD38393, 0x44771E63, 0x01600193, 0x0003F117,
1355 0xD6410113, 0xDDAAC0B7, 0xBCC08093, 0x00112423, 0x00812703, 0xDDAAC3B7, 0xBCC38393, 0x42771A63,
1356 0x01700193, 0x0003F117, 0xD3C10113, 0xCDDAB0B7, 0xBBC08093, 0x00112623, 0x00C12703, 0xCDDAB3B7,
1357 0xBBC38393, 0x40771663, 0x01800193, 0x0003F117, 0xD1410113, 0xCCDDB0B7, 0xABB08093, 0x00112823,
1358 0x01012703, 0xCCDDB3B7, 0xABB38393, 0x3E771263, 0x01900193, 0x0003F117, 0xCEC10113, 0xBCCDE0B7,
1359 0xAAB08093, 0x00112A23, 0x01412703, 0xBCCDE3B7, 0xAAB38393, 0x3A771E63, 0x01A00193, 0x0003F117,
1360 0xCC410113, 0x001120B7, 0x23308093, 0x00112023, 0x00012703, 0x001123B7, 0x23338393, 0x38771A63,
1361 0x01B00193, 0x0003F117, 0xC9C10113, 0x300110B7, 0x22308093, 0x00112223, 0x00412703, 0x300113B7,
1362 0x22338393, 0x36771663, 0x01C00193, 0x0003F117, 0xC7410113, 0x330010B7, 0x12208093, 0x00112423,
1363 0x00812703, 0x330013B7, 0x12238393, 0x34771263, 0x01D00193, 0x0003F117, 0xC4C10113, 0x233000B7,
1364 0x11208093, 0x00112623, 0x00C12703, 0x233003B7, 0x11238393, 0x30771E63, 0x01E00193, 0x0003F117,
1365 0xC2410113, 0x223300B7, 0x01108093, 0x00112823, 0x01012703, 0x223303B7, 0x01138393, 0x2E771A63,
1366 0x01F00193, 0x0003F117, 0xBFC10113, 0x122330B7, 0x00108093, 0x00112A23, 0x01412703, 0x122333B7,
1367 0x00138393, 0x2C771663, 0x02000193, 0x0003F117, 0xBD410113, 0xFFFFD0B7, 0xCDD08093, 0x00111023,
1368 0x00011703, 0xFFFFD3B7, 0xCDD38393, 0x2A771263, 0x02100193, 0x0003F117, 0xBAC10113, 0xFFFFC0B7,
1369 0xCCD08093, 0x00111123, 0x00211703, 0xFFFFC3B7, 0xCCD38393, 0x26771E63, 0x02200193, 0x0003F117,
1370 0xB8410113, 0xFFFFC0B7, 0xBCC08093, 0x00111223, 0x00411703, 0xFFFFC3B7, 0xBCC38393, 0x24771A63,
1371 0x02300193, 0x0003F117, 0xB5C10113, 0xFFFFB0B7, 0xBBC08093, 0x00111323, 0x00611703, 0xFFFFB3B7,
1372 0xBBC38393, 0x22771663, 0x02400193, 0x0003F117, 0xB3410113, 0xFFFFB0B7, 0xABB08093, 0x00111423,
1373 0x00811703, 0xFFFFB3B7, 0xABB38393, 0x20771263, 0x02500193, 0x0003F117, 0xB0C10113, 0xFFFFE0B7,
1374 0xAAB08093, 0x00111523, 0x00A11703, 0xFFFFE3B7, 0xAAB38393, 0x1C771E63, 0x02600193, 0x0003F117,
1375 0xAE410113, 0x000020B7, 0x23308093, 0x00111023, 0x00011703, 0x000023B7, 0x23338393, 0x1A771A63,
1376 0x02700193, 0x0003F117, 0xABC10113, 0x000010B7, 0x22308093, 0x00111123, 0x00211703, 0x000013B7,
1377 0x22338393, 0x18771663, 0x02800193, 0x0003F117, 0xA9410113, 0x000010B7, 0x12208093, 0x00111223,
1378 0x00411703, 0x000013B7, 0x12238393, 0x16771263, 0x02900193, 0x0003F117, 0xA6C10113, 0x11200093,
1379 0x00111323, 0x00611703, 0x11200393, 0x14771263, 0x02A00193, 0x0003F117, 0xA4C10113, 0x01100093,
1380 0x00111423, 0x00811703, 0x01100393, 0x12771263, 0x02B00193, 0x0003F117, 0xA2C10113, 0x000030B7,
1381 0x00108093, 0x00111523, 0x00A11703, 0x000033B7, 0x00138393, 0x0E771E63, 0x02C00193, 0x0003F117,
1382 0xA0410113, 0x000020B7, 0x23308093, 0x00111023, 0x00015703, 0x000023B7, 0x23338393, 0x0C771A63,
1383 0x02D00193, 0x0003F117, 0x9DC10113, 0x000010B7, 0x22308093, 0x00111123, 0x00215703, 0x000013B7,
1384 0x22338393, 0x0A771663, 0x02E00193, 0x0003F117, 0x9B410113, 0x000010B7, 0x12208093, 0x00111223,
1385 0x00415703, 0x000013B7, 0x12238393, 0x08771263, 0x02F00193, 0x0003F117, 0x98C10113, 0x11200093,
1386 0x00111323, 0x00615703, 0x11200393, 0x06771263, 0x03000193, 0x0003F117, 0x96C10113, 0x01100093,
1387 0x00111423, 0x00815703, 0x01100393, 0x04771263, 0x03100193, 0x0003F117, 0x94C10113, 0x000030B7,
1388 0x00108093, 0x00111523, 0x00A15703, 0x000033B7, 0x00138393, 0x00771E63, 0x0EF00513, 0x0003F597,
1389 0x92458593, 0x00A581A3, 0x00358603, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1390 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1391 0x00000000,
1392 },
1393 data: []uint32{
1394 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
1395 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
1396 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
1397 },
1398 },
1399 {
1400 name: "rv32ui-sub",
1401 text: []uint32{
1402 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x40C58733, 0x00000393, 0x4A771663,
1403 0x00300193, 0x00100593, 0x00100613, 0x40C58733, 0x00000393, 0x48771A63, 0x00400193, 0x00300593,
1404 0x00700613, 0x40C58733, 0xFFC00393, 0x46771E63, 0x00500193, 0x00000593, 0xFFFF8637, 0x40C58733,
1405 0x000083B7, 0x46771263, 0x00600193, 0x800005B7, 0x00000613, 0x40C58733, 0x800003B7, 0x44771663,
1406 0x00700193, 0x800005B7, 0xFFFF8637, 0x40C58733, 0x800083B7, 0x42771A63, 0x00800193, 0x00000593,
1407 0x00008637, 0xFFF60613, 0x40C58733, 0xFFFF83B7, 0x00138393, 0x40771A63, 0x00900193, 0x800005B7,
1408 0xFFF58593, 0x00000613, 0x40C58733, 0x800003B7, 0xFFF38393, 0x3E771A63, 0x00A00193, 0x800005B7,
1409 0xFFF58593, 0x00008637, 0xFFF60613, 0x40C58733, 0x7FFF83B7, 0x3C771A63, 0x00B00193, 0x800005B7,
1410 0x00008637, 0xFFF60613, 0x40C58733, 0x7FFF83B7, 0x00138393, 0x3A771A63, 0x00C00193, 0x800005B7,
1411 0xFFF58593, 0xFFFF8637, 0x40C58733, 0x800083B7, 0xFFF38393, 0x38771A63, 0x00D00193, 0x00000593,
1412 0xFFF00613, 0x40C58733, 0x00100393, 0x36771E63, 0x00E00193, 0xFFF00593, 0x00100613, 0x40C58733,
1413 0xFFE00393, 0x36771263, 0x00F00193, 0xFFF00593, 0xFFF00613, 0x40C58733, 0x00000393, 0x34771663,
1414 0x01000193, 0x00D00593, 0x00B00613, 0x40C585B3, 0x00200393, 0x32759A63, 0x01100193, 0x00E00593,
1415 0x00B00613, 0x40C58633, 0x00300393, 0x30761E63, 0x01200193, 0x00D00593, 0x40B585B3, 0x00000393,
1416 0x30759463, 0x01300193, 0x00000213, 0x00D00093, 0x00B00113, 0x40208733, 0x00070313, 0x00120213,
1417 0x00200293, 0xFE5214E3, 0x00200393, 0x2C731E63, 0x01400193, 0x00000213, 0x00E00093, 0x00B00113,
1418 0x40208733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3, 0x00300393, 0x2A731663,
1419 0x01500193, 0x00000213, 0x00F00093, 0x00B00113, 0x40208733, 0x00000013, 0x00000013, 0x00070313,
1420 0x00120213, 0x00200293, 0xFE5210E3, 0x00400393, 0x26731C63, 0x01600193, 0x00000213, 0x00D00093,
1421 0x00B00113, 0x40208733, 0x00120213, 0x00200293, 0xFE5216E3, 0x00200393, 0x24771863, 0x01700193,
1422 0x00000213, 0x00E00093, 0x00B00113, 0x00000013, 0x40208733, 0x00120213, 0x00200293, 0xFE5214E3,
1423 0x00300393, 0x22771263, 0x01800193, 0x00000213, 0x00F00093, 0x00B00113, 0x00000013, 0x00000013,
1424 0x40208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00400393, 0x1E771A63, 0x01900193, 0x00000213,
1425 0x00D00093, 0x00000013, 0x00B00113, 0x40208733, 0x00120213, 0x00200293, 0xFE5214E3, 0x00200393,
1426 0x1C771463, 0x01A00193, 0x00000213, 0x00E00093, 0x00000013, 0x00B00113, 0x00000013, 0x40208733,
1427 0x00120213, 0x00200293, 0xFE5212E3, 0x00300393, 0x18771C63, 0x01B00193, 0x00000213, 0x00F00093,
1428 0x00000013, 0x00000013, 0x00B00113, 0x40208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00400393,
1429 0x16771463, 0x01C00193, 0x00000213, 0x00B00113, 0x00D00093, 0x40208733, 0x00120213, 0x00200293,
1430 0xFE5216E3, 0x00200393, 0x14771063, 0x01D00193, 0x00000213, 0x00B00113, 0x00E00093, 0x00000013,
1431 0x40208733, 0x00120213, 0x00200293, 0xFE5214E3, 0x00300393, 0x10771A63, 0x01E00193, 0x00000213,
1432 0x00B00113, 0x00F00093, 0x00000013, 0x00000013, 0x40208733, 0x00120213, 0x00200293, 0xFE5212E3,
1433 0x00400393, 0x0E771263, 0x01F00193, 0x00000213, 0x00B00113, 0x00000013, 0x00D00093, 0x40208733,
1434 0x00120213, 0x00200293, 0xFE5214E3, 0x00200393, 0x0A771C63, 0x02000193, 0x00000213, 0x00B00113,
1435 0x00000013, 0x00E00093, 0x00000013, 0x40208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x00300393,
1436 0x08771463, 0x02100193, 0x00000213, 0x00B00113, 0x00000013, 0x00000013, 0x00F00093, 0x40208733,
1437 0x00120213, 0x00200293, 0xFE5212E3, 0x00400393, 0x04771C63, 0x02200193, 0xFF100093, 0x40100133,
1438 0x00F00393, 0x04711263, 0x02300193, 0x02000093, 0x40008133, 0x02000393, 0x02711863, 0x02400193,
1439 0x400000B3, 0x00000393, 0x02709063, 0x02500193, 0x01000093, 0x01E00113, 0x40208033, 0x00000393,
1440 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
1441 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1442 },
1443 },
1444 {
1445 name: "rv32ui-sw",
1446 text: []uint32{
1447 0x00000193, 0x0040006F, 0x00200193, 0x0003F117, 0xFF410113, 0x00AA00B7, 0x0AA08093, 0x00000797,
1448 0x01478793, 0x00112023, 0x00012703, 0x0080006F, 0x00008713, 0x00AA03B7, 0x0AA38393, 0x4C771863,
1449 0x00300193, 0x0003F117, 0xFBC10113, 0xAA00B0B7, 0xA0008093, 0x00000797, 0x01478793, 0x00112223,
1450 0x00412703, 0x0080006F, 0x00008713, 0xAA00B3B7, 0xA0038393, 0x48771C63, 0x00400193, 0x0003F117,
1451 0xF8410113, 0x0AA010B7, 0xAA008093, 0x00000797, 0x01478793, 0x00112423, 0x00812703, 0x0080006F,
1452 0x00008713, 0x0AA013B7, 0xAA038393, 0x46771063, 0x00500193, 0x0003F117, 0xF4C10113, 0xA00AA0B7,
1453 0x00A08093, 0x00000797, 0x01478793, 0x00112623, 0x00C12703, 0x0080006F, 0x00008713, 0xA00AA3B7,
1454 0x00A38393, 0x42771463, 0x00600193, 0x0003F117, 0xF3010113, 0x00AA00B7, 0x0AA08093, 0x00000797,
1455 0x01478793, 0xFE112A23, 0xFF412703, 0x0080006F, 0x00008713, 0x00AA03B7, 0x0AA38393, 0x3E771863,
1456 0x00700193, 0x0003F117, 0xEF810113, 0xAA00B0B7, 0xA0008093, 0x00000797, 0x01478793, 0xFE112C23,
1457 0xFF812703, 0x0080006F, 0x00008713, 0xAA00B3B7, 0xA0038393, 0x3A771C63, 0x00800193, 0x0003F117,
1458 0xEC010113, 0x0AA010B7, 0xAA008093, 0x00000797, 0x01478793, 0xFE112E23, 0xFFC12703, 0x0080006F,
1459 0x00008713, 0x0AA013B7, 0xAA038393, 0x38771063, 0x00900193, 0x0003F117, 0xE8810113, 0xA00AA0B7,
1460 0x00A08093, 0x00000797, 0x01478793, 0x00112023, 0x00012703, 0x0080006F, 0x00008713, 0xA00AA3B7,
1461 0x00A38393, 0x34771463, 0x00A00193, 0x0003F097, 0xE5408093, 0x12345137, 0x67810113, 0xFE008213,
1462 0x02222023, 0x0000A283, 0x123453B7, 0x67838393, 0x30729E63, 0x00B00193, 0x0003F097, 0xE2808093,
1463 0x58213137, 0x09810113, 0xFFD08093, 0x0020A3A3, 0x0003F217, 0xE1420213, 0x00022283, 0x582133B7,
1464 0x09838393, 0x2E729463, 0x00C00193, 0x00000213, 0xAABBD6B7, 0xCDD68693, 0x0003F617, 0xDC860613,
1465 0x00D62023, 0x00062703, 0xAABBD3B7, 0xCDD38393, 0x2A771E63, 0x00120213, 0x00200293, 0xFC521AE3,
1466 0x00D00193, 0x00000213, 0xDAABC6B7, 0xCCD68693, 0x0003F617, 0xD9060613, 0x00000013, 0x00D62223,
1467 0x00462703, 0xDAABC3B7, 0xCCD38393, 0x28771063, 0x00120213, 0x00200293, 0xFC5218E3, 0x00E00193,
1468 0x00000213, 0xDDAAC6B7, 0xBCC68693, 0x0003F617, 0xD5460613, 0x00000013, 0x00000013, 0x00D62423,
1469 0x00862703, 0xDDAAC3B7, 0xBCC38393, 0x24771063, 0x00120213, 0x00200293, 0xFC5216E3, 0x00F00193,
1470 0x00000213, 0xCDDAB6B7, 0xBBC68693, 0x00000013, 0x0003F617, 0xD1060613, 0x00D62623, 0x00C62703,
1471 0xCDDAB3B7, 0xBBC38393, 0x20771263, 0x00120213, 0x00200293, 0xFC5218E3, 0x01000193, 0x00000213,
1472 0xCCDDB6B7, 0xABB68693, 0x00000013, 0x0003F617, 0xCD460613, 0x00000013, 0x00D62823, 0x01062703,
1473 0xCCDDB3B7, 0xABB38393, 0x1C771263, 0x00120213, 0x00200293, 0xFC5216E3, 0x01100193, 0x00000213,
1474 0xBCCDE6B7, 0xAAB68693, 0x00000013, 0x00000013, 0x0003F617, 0xC9060613, 0x00D62A23, 0x01462703,
1475 0xBCCDE3B7, 0xAAB38393, 0x18771263, 0x00120213, 0x00200293, 0xFC5216E3, 0x01200193, 0x00000213,
1476 0x0003F117, 0xC6010113, 0x001120B7, 0x23308093, 0x00112023, 0x00012703, 0x001123B7, 0x23338393,
1477 0x14771663, 0x00120213, 0x00200293, 0xFC521AE3, 0x01300193, 0x00000213, 0x0003F117, 0xC2810113,
1478 0x300110B7, 0x22308093, 0x00000013, 0x00112223, 0x00412703, 0x300113B7, 0x22338393, 0x10771863,
1479 0x00120213, 0x00200293, 0xFC5218E3, 0x01400193, 0x00000213, 0x0003F117, 0xBEC10113, 0x330010B7,
1480 0x12208093, 0x00000013, 0x00000013, 0x00112423, 0x00812703, 0x330013B7, 0x12238393, 0x0C771863,
1481 0x00120213, 0x00200293, 0xFC5216E3, 0x01500193, 0x00000213, 0x0003F117, 0xBAC10113, 0x00000013,
1482 0x233000B7, 0x11208093, 0x00112623, 0x00C12703, 0x233003B7, 0x11238393, 0x08771A63, 0x00120213,
1483 0x00200293, 0xFC5218E3, 0x01600193, 0x00000213, 0x0003F117, 0xB7010113, 0x00000013, 0x223300B7,
1484 0x01108093, 0x00000013, 0x00112823, 0x01012703, 0x223303B7, 0x01138393, 0x04771A63, 0x00120213,
1485 0x00200293, 0xFC5216E3, 0x01700193, 0x00000213, 0x0003F117, 0xB3010113, 0x00000013, 0x00000013,
1486 0x122330B7, 0x00108093, 0x00112A23, 0x01412703, 0x122333B7, 0x00138393, 0x00771A63, 0x00120213,
1487 0x00200293, 0xFC5216E3, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893,
1488 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1489 },
1490 data: []uint32{
1491 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF,
1492 0xDEADBEEF, 0xDEADBEEF, 0x00000000, 0x00000000,
1493 },
1494 },
1495 {
1496 name: "rv32ui-xor",
1497 text: []uint32{
1498 0x00000193, 0x0040006F, 0x00200193, 0xFF0105B7, 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5C733,
1499 0xF00FF3B7, 0x00F38393, 0x4A771063, 0x00300193, 0x0FF015B7, 0xFF058593, 0xF0F0F637, 0x0F060613,
1500 0x00C5C733, 0xFF0103B7, 0xF0038393, 0x46771E63, 0x00400193, 0x00FF05B7, 0x0FF58593, 0x0F0F1637,
1501 0xF0F60613, 0x00C5C733, 0x0FF013B7, 0xFF038393, 0x44771C63, 0x00500193, 0xF00FF5B7, 0x00F58593,
1502 0xF0F0F637, 0x0F060613, 0x00C5C733, 0x00FF03B7, 0x0FF38393, 0x42771A63, 0x00600193, 0xFF0105B7,
1503 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5C5B3, 0xF00FF3B7, 0x00F38393, 0x40759863, 0x00700193,
1504 0xFF0105B7, 0xF0058593, 0x0F0F1637, 0xF0F60613, 0x00C5C633, 0xF00FF3B7, 0x00F38393, 0x3E761663,
1505 0x00800193, 0xFF0105B7, 0xF0058593, 0x00B5C5B3, 0x00000393, 0x3C759A63, 0x00900193, 0x00000213,
1506 0xFF0100B7, 0xF0008093, 0x0F0F1137, 0xF0F10113, 0x0020C733, 0x00070313, 0x00120213, 0x00200293,
1507 0xFE5210E3, 0xF00FF3B7, 0x00F38393, 0x38731E63, 0x00A00193, 0x00000213, 0x0FF010B7, 0xFF008093,
1508 0xF0F0F137, 0x0F010113, 0x0020C733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFC521EE3,
1509 0xFF0103B7, 0xF0038393, 0x36731063, 0x00B00193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x0F0F1137,
1510 0xF0F10113, 0x0020C733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFC521CE3,
1511 0x0FF013B7, 0xFF038393, 0x32731063, 0x00C00193, 0x00000213, 0xFF0100B7, 0xF0008093, 0x0F0F1137,
1512 0xF0F10113, 0x0020C733, 0x00120213, 0x00200293, 0xFE5212E3, 0xF00FF3B7, 0x00F38393, 0x2E771663,
1513 0x00D00193, 0x00000213, 0x0FF010B7, 0xFF008093, 0xF0F0F137, 0x0F010113, 0x00000013, 0x0020C733,
1514 0x00120213, 0x00200293, 0xFE5210E3, 0xFF0103B7, 0xF0038393, 0x2A771A63, 0x00E00193, 0x00000213,
1515 0x00FF00B7, 0x0FF08093, 0x0F0F1137, 0xF0F10113, 0x00000013, 0x00000013, 0x0020C733, 0x00120213,
1516 0x00200293, 0xFC521EE3, 0x0FF013B7, 0xFF038393, 0x26771C63, 0x00F00193, 0x00000213, 0xFF0100B7,
1517 0xF0008093, 0x00000013, 0x0F0F1137, 0xF0F10113, 0x0020C733, 0x00120213, 0x00200293, 0xFE5210E3,
1518 0xF00FF3B7, 0x00F38393, 0x24771063, 0x01000193, 0x00000213, 0x0FF010B7, 0xFF008093, 0x00000013,
1519 0xF0F0F137, 0x0F010113, 0x00000013, 0x0020C733, 0x00120213, 0x00200293, 0xFC521EE3, 0xFF0103B7,
1520 0xF0038393, 0x20771263, 0x01100193, 0x00000213, 0x00FF00B7, 0x0FF08093, 0x00000013, 0x00000013,
1521 0x0F0F1137, 0xF0F10113, 0x0020C733, 0x00120213, 0x00200293, 0xFC521EE3, 0x0FF013B7, 0xFF038393,
1522 0x1C771463, 0x01200193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0xFF0100B7, 0xF0008093, 0x0020C733,
1523 0x00120213, 0x00200293, 0xFE5212E3, 0xF00FF3B7, 0x00F38393, 0x18771A63, 0x01300193, 0x00000213,
1524 0xF0F0F137, 0x0F010113, 0x0FF010B7, 0xFF008093, 0x00000013, 0x0020C733, 0x00120213, 0x00200293,
1525 0xFE5210E3, 0xFF0103B7, 0xF0038393, 0x14771E63, 0x01400193, 0x00000213, 0x0F0F1137, 0xF0F10113,
1526 0x00FF00B7, 0x0FF08093, 0x00000013, 0x00000013, 0x0020C733, 0x00120213, 0x00200293, 0xFC521EE3,
1527 0x0FF013B7, 0xFF038393, 0x12771063, 0x01500193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0x00000013,
1528 0xFF0100B7, 0xF0008093, 0x0020C733, 0x00120213, 0x00200293, 0xFE5210E3, 0xF00FF3B7, 0x00F38393,
1529 0x0E771463, 0x01600193, 0x00000213, 0xF0F0F137, 0x0F010113, 0x00000013, 0x0FF010B7, 0xFF008093,
1530 0x00000013, 0x0020C733, 0x00120213, 0x00200293, 0xFC521EE3, 0xFF0103B7, 0xF0038393, 0x0A771663,
1531 0x01700193, 0x00000213, 0x0F0F1137, 0xF0F10113, 0x00000013, 0x00000013, 0x00FF00B7, 0x0FF08093,
1532 0x0020C733, 0x00120213, 0x00200293, 0xFC521EE3, 0x0FF013B7, 0xFF038393, 0x06771863, 0x01800193,
1533 0xFF0100B7, 0xF0008093, 0x00104133, 0xFF0103B7, 0xF0038393, 0x04711A63, 0x01900193, 0x00FF00B7,
1534 0x0FF08093, 0x0000C133, 0x00FF03B7, 0x0FF38393, 0x02711C63, 0x01A00193, 0x000040B3, 0x00000393,
1535 0x02709463, 0x01B00193, 0x111110B7, 0x11108093, 0x22222137, 0x22210113, 0x0020C033, 0x00000393,
1536 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
1537 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1538 },
1539 },
1540 {
1541 name: "rv32ui-xori",
1542 text: []uint32{
1543 0x00000193, 0x0040006F, 0x00200193, 0x00FF16B7, 0xF0068693, 0xF0F6C713, 0xFF00F3B7, 0x00F38393,
1544 0x1C771663, 0x00300193, 0x0FF016B7, 0xFF068693, 0x0F06C713, 0x0FF013B7, 0xF0038393, 0x1A771863,
1545 0x00400193, 0x00FF16B7, 0x8FF68693, 0x70F6C713, 0x00FF13B7, 0xFF038393, 0x18771A63, 0x00500193,
1546 0xF00FF6B7, 0x00F68693, 0x0F06C713, 0xF00FF3B7, 0x0FF38393, 0x16771C63, 0x00600193, 0xFF00F5B7,
1547 0x70058593, 0x70F5C593, 0xFF00F3B7, 0x00F38393, 0x14759E63, 0x00700193, 0x00000213, 0x0FF010B7,
1548 0xFF008093, 0x0F00C713, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x0FF013B7, 0xF0038393,
1549 0x12731663, 0x00800193, 0x00000213, 0x00FF10B7, 0x8FF08093, 0x70F0C713, 0x00000013, 0x00070313,
1550 0x00120213, 0x00200293, 0xFE5212E3, 0x00FF13B7, 0xFF038393, 0x0E731C63, 0x00900193, 0x00000213,
1551 0xF00FF0B7, 0x00F08093, 0x0F00C713, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293,
1552 0xFE5210E3, 0xF00FF3B7, 0x0FF38393, 0x0C731063, 0x00A00193, 0x00000213, 0x0FF010B7, 0xFF008093,
1553 0x0F00C713, 0x00120213, 0x00200293, 0xFE5216E3, 0x0FF013B7, 0xF0038393, 0x08771A63, 0x00B00193,
1554 0x00000213, 0x00FF10B7, 0xFFF08093, 0x00000013, 0x00F0C713, 0x00120213, 0x00200293, 0xFE5214E3,
1555 0x00FF13B7, 0xFF038393, 0x06771263, 0x00C00193, 0x00000213, 0xF00FF0B7, 0x00F08093, 0x00000013,
1556 0x00000013, 0x0F00C713, 0x00120213, 0x00200293, 0xFE5212E3, 0xF00FF3B7, 0x0FF38393, 0x02771863,
1557 0x00D00193, 0x0F004093, 0x0F000393, 0x02709063, 0x00E00193, 0x00FF00B7, 0x0FF08093, 0x70F0C013,
1558 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893,
1559 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1560 },
1561 },
1562 {
1563 name: "rv32um-div",
1564 text: []uint32{
1565 0x00000193, 0x0040006F, 0x00200193, 0x01400593, 0x00600613, 0x02C5C733, 0x00300393, 0x0C771463,
1566 0x00300193, 0xFEC00593, 0x00600613, 0x02C5C733, 0xFFD00393, 0x0A771863, 0x00400193, 0x01400593,
1567 0xFFA00613, 0x02C5C733, 0xFFD00393, 0x08771C63, 0x00500193, 0xFEC00593, 0xFFA00613, 0x02C5C733,
1568 0x00300393, 0x08771063, 0x00600193, 0x800005B7, 0x00100613, 0x02C5C733, 0x800003B7, 0x06771463,
1569 0x00700193, 0x800005B7, 0xFFF00613, 0x02C5C733, 0x800003B7, 0x04771863, 0x00800193, 0x800005B7,
1570 0x00000613, 0x02C5C733, 0xFFF00393, 0x02771C63, 0x00900193, 0x00100593, 0x00000613, 0x02C5C733,
1571 0xFFF00393, 0x02771063, 0x00A00193, 0x00000593, 0x00000613, 0x02C5C733, 0xFFF00393, 0x00771463,
1572 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073,
1573 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1574 },
1575 },
1576 {
1577 name: "rv32um-divu",
1578 text: []uint32{
1579 0x00000193, 0x0040006F, 0x00200193, 0x01400593, 0x00600613, 0x02C5D733, 0x00300393, 0x0C771663,
1580 0x00300193, 0xFEC00593, 0x00600613, 0x02C5D733, 0x2AAAB3B7, 0xAA738393, 0x0A771863, 0x00400193,
1581 0x01400593, 0xFFA00613, 0x02C5D733, 0x00000393, 0x08771C63, 0x00500193, 0xFEC00593, 0xFFA00613,
1582 0x02C5D733, 0x00000393, 0x08771063, 0x00600193, 0x800005B7, 0x00100613, 0x02C5D733, 0x800003B7,
1583 0x06771463, 0x00700193, 0x800005B7, 0xFFF00613, 0x02C5D733, 0x00000393, 0x04771863, 0x00800193,
1584 0x800005B7, 0x00000613, 0x02C5D733, 0xFFF00393, 0x02771C63, 0x00900193, 0x00100593, 0x00000613,
1585 0x02C5D733, 0xFFF00393, 0x02771063, 0x00A00193, 0x00000593, 0x00000613, 0x02C5D733, 0xFFF00393,
1586 0x00771463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513,
1587 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1588 },
1589 },
1590 {
1591 name: "rv32um-mul",
1592 text: []uint32{
1593 0x00000193, 0x0040006F, 0x02000193, 0x000085B7, 0xE0058593, 0xB6DB7637, 0xDB760613, 0x02C58733,
1594 0x00900393, 0x00939393, 0x4A771463, 0x02100193, 0x000085B7, 0xFC058593, 0xB6DB7637, 0xDB760613,
1595 0x02C58733, 0x000013B7, 0x24038393, 0x48771263, 0x00200193, 0x00000593, 0x00000613, 0x02C58733,
1596 0x00000393, 0x46771663, 0x00300193, 0x00100593, 0x00100613, 0x02C58733, 0x00100393, 0x44771A63,
1597 0x00400193, 0x00300593, 0x00700613, 0x02C58733, 0x01500393, 0x42771E63, 0x00500193, 0x00000593,
1598 0xFFFF8637, 0x02C58733, 0x00000393, 0x42771263, 0x00600193, 0x800005B7, 0x00000613, 0x02C58733,
1599 0x00000393, 0x40771663, 0x00700193, 0x800005B7, 0xFFFF8637, 0x02C58733, 0x00000393, 0x3E771A63,
1600 0x01E00193, 0xAAAAB5B7, 0xAAB58593, 0x00030637, 0xE7D60613, 0x02C58733, 0x000103B7, 0xF7F38393,
1601 0x3C771863, 0x01F00193, 0x000305B7, 0xE7D58593, 0xAAAAB637, 0xAAB60613, 0x02C58733, 0x000103B7,
1602 0xF7F38393, 0x3A771663, 0x02200193, 0xFF0005B7, 0xFF000637, 0x02C58733, 0x00000393, 0x38771A63,
1603 0x02300193, 0xFFF00593, 0xFFF00613, 0x02C58733, 0x00100393, 0x36771E63, 0x02400193, 0xFFF00593,
1604 0x00100613, 0x02C58733, 0xFFF00393, 0x36771263, 0x02500193, 0x00100593, 0xFFF00613, 0x02C58733,
1605 0xFFF00393, 0x34771663, 0x00800193, 0x00D00593, 0x00B00613, 0x02C585B3, 0x08F00393, 0x32759A63,
1606 0x00900193, 0x00E00593, 0x00B00613, 0x02C58633, 0x09A00393, 0x30761E63, 0x00A00193, 0x00D00593,
1607 0x02B585B3, 0x0A900393, 0x30759463, 0x00B00193, 0x00000213, 0x00D00093, 0x00B00113, 0x02208733,
1608 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x08F00393, 0x2C731E63, 0x00C00193, 0x00000213,
1609 0x00E00093, 0x00B00113, 0x02208733, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5212E3,
1610 0x09A00393, 0x2A731663, 0x00D00193, 0x00000213, 0x00F00093, 0x00B00113, 0x02208733, 0x00000013,
1611 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3, 0x0A500393, 0x26731C63, 0x00E00193,
1612 0x00000213, 0x00D00093, 0x00B00113, 0x02208733, 0x00120213, 0x00200293, 0xFE5216E3, 0x08F00393,
1613 0x24771863, 0x00F00193, 0x00000213, 0x00E00093, 0x00B00113, 0x00000013, 0x02208733, 0x00120213,
1614 0x00200293, 0xFE5214E3, 0x09A00393, 0x22771263, 0x01000193, 0x00000213, 0x00F00093, 0x00B00113,
1615 0x00000013, 0x00000013, 0x02208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0A500393, 0x1E771A63,
1616 0x01100193, 0x00000213, 0x00D00093, 0x00000013, 0x00B00113, 0x02208733, 0x00120213, 0x00200293,
1617 0xFE5214E3, 0x08F00393, 0x1C771463, 0x01200193, 0x00000213, 0x00E00093, 0x00000013, 0x00B00113,
1618 0x00000013, 0x02208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x09A00393, 0x18771C63, 0x01300193,
1619 0x00000213, 0x00F00093, 0x00000013, 0x00000013, 0x00B00113, 0x02208733, 0x00120213, 0x00200293,
1620 0xFE5212E3, 0x0A500393, 0x16771463, 0x01400193, 0x00000213, 0x00B00113, 0x00D00093, 0x02208733,
1621 0x00120213, 0x00200293, 0xFE5216E3, 0x08F00393, 0x14771063, 0x01500193, 0x00000213, 0x00B00113,
1622 0x00E00093, 0x00000013, 0x02208733, 0x00120213, 0x00200293, 0xFE5214E3, 0x09A00393, 0x10771A63,
1623 0x01600193, 0x00000213, 0x00B00113, 0x00F00093, 0x00000013, 0x00000013, 0x02208733, 0x00120213,
1624 0x00200293, 0xFE5212E3, 0x0A500393, 0x0E771263, 0x01700193, 0x00000213, 0x00B00113, 0x00000013,
1625 0x00D00093, 0x02208733, 0x00120213, 0x00200293, 0xFE5214E3, 0x08F00393, 0x0A771C63, 0x01800193,
1626 0x00000213, 0x00B00113, 0x00000013, 0x00E00093, 0x00000013, 0x02208733, 0x00120213, 0x00200293,
1627 0xFE5212E3, 0x09A00393, 0x08771463, 0x01900193, 0x00000213, 0x00B00113, 0x00000013, 0x00000013,
1628 0x00F00093, 0x02208733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0A500393, 0x04771C63, 0x01A00193,
1629 0x01F00093, 0x02100133, 0x00000393, 0x04711263, 0x01B00193, 0x02000093, 0x02008133, 0x00000393,
1630 0x02711863, 0x01C00193, 0x020000B3, 0x00000393, 0x02709063, 0x01D00193, 0x02100093, 0x02200113,
1631 0x02208033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1632 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1633 0x00000000,
1634 },
1635 },
1636 {
1637 name: "rv32um-mulh",
1638 text: []uint32{
1639 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x02C59733, 0x00000393, 0x4A771A63,
1640 0x00300193, 0x00100593, 0x00100613, 0x02C59733, 0x00000393, 0x48771E63, 0x00400193, 0x00300593,
1641 0x00700613, 0x02C59733, 0x00000393, 0x48771263, 0x00500193, 0x00000593, 0xFFFF8637, 0x02C59733,
1642 0x00000393, 0x46771663, 0x00600193, 0x800005B7, 0x00000613, 0x02C59733, 0x00000393, 0x44771A63,
1643 0x00700193, 0x800005B7, 0xFFFF8637, 0x02C59733, 0x000043B7, 0x42771E63, 0x01E00193, 0xAAAAB5B7,
1644 0xAAB58593, 0x00030637, 0xE7D60613, 0x02C59733, 0xFFFF03B7, 0x08138393, 0x40771C63, 0x01F00193,
1645 0x000305B7, 0xE7D58593, 0xAAAAB637, 0xAAB60613, 0x02C59733, 0xFFFF03B7, 0x08138393, 0x3E771A63,
1646 0x02000193, 0xFF0005B7, 0xFF000637, 0x02C59733, 0x000103B7, 0x3C771E63, 0x02100193, 0xFFF00593,
1647 0xFFF00613, 0x02C59733, 0x00000393, 0x3C771263, 0x02200193, 0xFFF00593, 0x00100613, 0x02C59733,
1648 0xFFF00393, 0x3A771663, 0x02300193, 0x00100593, 0xFFF00613, 0x02C59733, 0xFFF00393, 0x38771A63,
1649 0x00800193, 0x00D005B7, 0x00B00637, 0x02C595B3, 0x000093B7, 0xF0038393, 0x36759C63, 0x00900193,
1650 0x00E005B7, 0x00B00637, 0x02C59633, 0x0000A3B7, 0xA0038393, 0x34761E63, 0x00A00193, 0x00D005B7,
1651 0x02B595B3, 0x0000B3B7, 0x90038393, 0x34759263, 0x00B00193, 0x00000213, 0x00D000B7, 0x00B00137,
1652 0x02209733, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x000093B7, 0xF0038393, 0x30731A63,
1653 0x00C00193, 0x00000213, 0x00E000B7, 0x00B00137, 0x02209733, 0x00000013, 0x00070313, 0x00120213,
1654 0x00200293, 0xFE5212E3, 0x0000A3B7, 0xA0038393, 0x2E731063, 0x00D00193, 0x00000213, 0x00F000B7,
1655 0x00B00137, 0x02209733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3,
1656 0x0000A3B7, 0x50038393, 0x2A731463, 0x00E00193, 0x00000213, 0x00D000B7, 0x00B00137, 0x02209733,
1657 0x00120213, 0x00200293, 0xFE5216E3, 0x000093B7, 0xF0038393, 0x26771E63, 0x00F00193, 0x00000213,
1658 0x00E000B7, 0x00B00137, 0x00000013, 0x02209733, 0x00120213, 0x00200293, 0xFE5214E3, 0x0000A3B7,
1659 0xA0038393, 0x24771663, 0x01000193, 0x00000213, 0x00F000B7, 0x00B00137, 0x00000013, 0x00000013,
1660 0x02209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x20771C63, 0x01100193,
1661 0x00000213, 0x00D000B7, 0x00000013, 0x00B00137, 0x02209733, 0x00120213, 0x00200293, 0xFE5214E3,
1662 0x000093B7, 0xF0038393, 0x1E771463, 0x01200193, 0x00000213, 0x00E000B7, 0x00000013, 0x00B00137,
1663 0x00000013, 0x02209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0xA0038393, 0x1A771A63,
1664 0x01300193, 0x00000213, 0x00F000B7, 0x00000013, 0x00000013, 0x00B00137, 0x02209733, 0x00120213,
1665 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x18771063, 0x01400193, 0x00000213, 0x00B00137,
1666 0x00D000B7, 0x02209733, 0x00120213, 0x00200293, 0xFE5216E3, 0x000093B7, 0xF0038393, 0x14771A63,
1667 0x01500193, 0x00000213, 0x00B00137, 0x00E000B7, 0x00000013, 0x02209733, 0x00120213, 0x00200293,
1668 0xFE5214E3, 0x0000A3B7, 0xA0038393, 0x12771263, 0x01600193, 0x00000213, 0x00B00137, 0x00F000B7,
1669 0x00000013, 0x00000013, 0x02209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393,
1670 0x0E771863, 0x01700193, 0x00000213, 0x00B00137, 0x00000013, 0x00D000B7, 0x02209733, 0x00120213,
1671 0x00200293, 0xFE5214E3, 0x000093B7, 0xF0038393, 0x0C771063, 0x01800193, 0x00000213, 0x00B00137,
1672 0x00000013, 0x00E000B7, 0x00000013, 0x02209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7,
1673 0xA0038393, 0x08771663, 0x01900193, 0x00000213, 0x00B00137, 0x00000013, 0x00000013, 0x00F000B7,
1674 0x02209733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x04771C63, 0x01A00193,
1675 0x7C0000B7, 0x02101133, 0x00000393, 0x04711263, 0x01B00193, 0x800000B7, 0x02009133, 0x00000393,
1676 0x02711863, 0x01C00193, 0x020010B3, 0x00000393, 0x02709063, 0x01D00193, 0x021000B7, 0x02200137,
1677 0x02209033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1678 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1679 0x00000000,
1680 },
1681 },
1682 {
1683 name: "rv32um-mulhsu",
1684 text: []uint32{
1685 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x02C5A733, 0x00000393, 0x4A771A63,
1686 0x00300193, 0x00100593, 0x00100613, 0x02C5A733, 0x00000393, 0x48771E63, 0x00400193, 0x00300593,
1687 0x00700613, 0x02C5A733, 0x00000393, 0x48771263, 0x00500193, 0x00000593, 0xFFFF8637, 0x02C5A733,
1688 0x00000393, 0x46771663, 0x00600193, 0x800005B7, 0x00000613, 0x02C5A733, 0x00000393, 0x44771A63,
1689 0x00700193, 0x800005B7, 0xFFFF8637, 0x02C5A733, 0x800043B7, 0x42771E63, 0x01E00193, 0xAAAAB5B7,
1690 0xAAB58593, 0x00030637, 0xE7D60613, 0x02C5A733, 0xFFFF03B7, 0x08138393, 0x40771C63, 0x01F00193,
1691 0x000305B7, 0xE7D58593, 0xAAAAB637, 0xAAB60613, 0x02C5A733, 0x000203B7, 0xEFE38393, 0x3E771A63,
1692 0x02000193, 0xFF0005B7, 0xFF000637, 0x02C5A733, 0xFF0103B7, 0x3C771E63, 0x02100193, 0xFFF00593,
1693 0xFFF00613, 0x02C5A733, 0xFFF00393, 0x3C771263, 0x02200193, 0xFFF00593, 0x00100613, 0x02C5A733,
1694 0xFFF00393, 0x3A771663, 0x02300193, 0x00100593, 0xFFF00613, 0x02C5A733, 0x00000393, 0x38771A63,
1695 0x00800193, 0x00D005B7, 0x00B00637, 0x02C5A5B3, 0x000093B7, 0xF0038393, 0x36759C63, 0x00900193,
1696 0x00E005B7, 0x00B00637, 0x02C5A633, 0x0000A3B7, 0xA0038393, 0x34761E63, 0x00A00193, 0x00D005B7,
1697 0x02B5A5B3, 0x0000B3B7, 0x90038393, 0x34759263, 0x00B00193, 0x00000213, 0x00D000B7, 0x00B00137,
1698 0x0220A733, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x000093B7, 0xF0038393, 0x30731A63,
1699 0x00C00193, 0x00000213, 0x00E000B7, 0x00B00137, 0x0220A733, 0x00000013, 0x00070313, 0x00120213,
1700 0x00200293, 0xFE5212E3, 0x0000A3B7, 0xA0038393, 0x2E731063, 0x00D00193, 0x00000213, 0x00F000B7,
1701 0x00B00137, 0x0220A733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3,
1702 0x0000A3B7, 0x50038393, 0x2A731463, 0x00E00193, 0x00000213, 0x00D000B7, 0x00B00137, 0x0220A733,
1703 0x00120213, 0x00200293, 0xFE5216E3, 0x000093B7, 0xF0038393, 0x26771E63, 0x00F00193, 0x00000213,
1704 0x00E000B7, 0x00B00137, 0x00000013, 0x0220A733, 0x00120213, 0x00200293, 0xFE5214E3, 0x0000A3B7,
1705 0xA0038393, 0x24771663, 0x01000193, 0x00000213, 0x00F000B7, 0x00B00137, 0x00000013, 0x00000013,
1706 0x0220A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x20771C63, 0x01100193,
1707 0x00000213, 0x00D000B7, 0x00000013, 0x00B00137, 0x0220A733, 0x00120213, 0x00200293, 0xFE5214E3,
1708 0x000093B7, 0xF0038393, 0x1E771463, 0x01200193, 0x00000213, 0x00E000B7, 0x00000013, 0x00B00137,
1709 0x00000013, 0x0220A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0xA0038393, 0x1A771A63,
1710 0x01300193, 0x00000213, 0x00F000B7, 0x00000013, 0x00000013, 0x00B00137, 0x0220A733, 0x00120213,
1711 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x18771063, 0x01400193, 0x00000213, 0x00B00137,
1712 0x00D000B7, 0x0220A733, 0x00120213, 0x00200293, 0xFE5216E3, 0x000093B7, 0xF0038393, 0x14771A63,
1713 0x01500193, 0x00000213, 0x00B00137, 0x00E000B7, 0x00000013, 0x0220A733, 0x00120213, 0x00200293,
1714 0xFE5214E3, 0x0000A3B7, 0xA0038393, 0x12771263, 0x01600193, 0x00000213, 0x00B00137, 0x00F000B7,
1715 0x00000013, 0x00000013, 0x0220A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393,
1716 0x0E771863, 0x01700193, 0x00000213, 0x00B00137, 0x00000013, 0x00D000B7, 0x0220A733, 0x00120213,
1717 0x00200293, 0xFE5214E3, 0x000093B7, 0xF0038393, 0x0C771063, 0x01800193, 0x00000213, 0x00B00137,
1718 0x00000013, 0x00E000B7, 0x00000013, 0x0220A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7,
1719 0xA0038393, 0x08771663, 0x01900193, 0x00000213, 0x00B00137, 0x00000013, 0x00000013, 0x00F000B7,
1720 0x0220A733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x04771C63, 0x01A00193,
1721 0x7C0000B7, 0x02102133, 0x00000393, 0x04711263, 0x01B00193, 0x800000B7, 0x0200A133, 0x00000393,
1722 0x02711863, 0x01C00193, 0x020020B3, 0x00000393, 0x02709063, 0x01D00193, 0x021000B7, 0x02200137,
1723 0x0220A033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1724 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1725 0x00000000,
1726 },
1727 },
1728 {
1729 name: "rv32um-mulhu",
1730 text: []uint32{
1731 0x00000193, 0x0040006F, 0x00200193, 0x00000593, 0x00000613, 0x02C5B733, 0x00000393, 0x4A771A63,
1732 0x00300193, 0x00100593, 0x00100613, 0x02C5B733, 0x00000393, 0x48771E63, 0x00400193, 0x00300593,
1733 0x00700613, 0x02C5B733, 0x00000393, 0x48771263, 0x00500193, 0x00000593, 0xFFFF8637, 0x02C5B733,
1734 0x00000393, 0x46771663, 0x00600193, 0x800005B7, 0x00000613, 0x02C5B733, 0x00000393, 0x44771A63,
1735 0x00700193, 0x800005B7, 0xFFFF8637, 0x02C5B733, 0x7FFFC3B7, 0x42771E63, 0x01E00193, 0xAAAAB5B7,
1736 0xAAB58593, 0x00030637, 0xE7D60613, 0x02C5B733, 0x000203B7, 0xEFE38393, 0x40771C63, 0x01F00193,
1737 0x000305B7, 0xE7D58593, 0xAAAAB637, 0xAAB60613, 0x02C5B733, 0x000203B7, 0xEFE38393, 0x3E771A63,
1738 0x02000193, 0xFF0005B7, 0xFF000637, 0x02C5B733, 0xFE0103B7, 0x3C771E63, 0x02100193, 0xFFF00593,
1739 0xFFF00613, 0x02C5B733, 0xFFE00393, 0x3C771263, 0x02200193, 0xFFF00593, 0x00100613, 0x02C5B733,
1740 0x00000393, 0x3A771663, 0x02300193, 0x00100593, 0xFFF00613, 0x02C5B733, 0x00000393, 0x38771A63,
1741 0x00800193, 0x00D005B7, 0x00B00637, 0x02C5B5B3, 0x000093B7, 0xF0038393, 0x36759C63, 0x00900193,
1742 0x00E005B7, 0x00B00637, 0x02C5B633, 0x0000A3B7, 0xA0038393, 0x34761E63, 0x00A00193, 0x00D005B7,
1743 0x02B5B5B3, 0x0000B3B7, 0x90038393, 0x34759263, 0x00B00193, 0x00000213, 0x00D000B7, 0x00B00137,
1744 0x0220B733, 0x00070313, 0x00120213, 0x00200293, 0xFE5214E3, 0x000093B7, 0xF0038393, 0x30731A63,
1745 0x00C00193, 0x00000213, 0x00E000B7, 0x00B00137, 0x0220B733, 0x00000013, 0x00070313, 0x00120213,
1746 0x00200293, 0xFE5212E3, 0x0000A3B7, 0xA0038393, 0x2E731063, 0x00D00193, 0x00000213, 0x00F000B7,
1747 0x00B00137, 0x0220B733, 0x00000013, 0x00000013, 0x00070313, 0x00120213, 0x00200293, 0xFE5210E3,
1748 0x0000A3B7, 0x50038393, 0x2A731463, 0x00E00193, 0x00000213, 0x00D000B7, 0x00B00137, 0x0220B733,
1749 0x00120213, 0x00200293, 0xFE5216E3, 0x000093B7, 0xF0038393, 0x26771E63, 0x00F00193, 0x00000213,
1750 0x00E000B7, 0x00B00137, 0x00000013, 0x0220B733, 0x00120213, 0x00200293, 0xFE5214E3, 0x0000A3B7,
1751 0xA0038393, 0x24771663, 0x01000193, 0x00000213, 0x00F000B7, 0x00B00137, 0x00000013, 0x00000013,
1752 0x0220B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x20771C63, 0x01100193,
1753 0x00000213, 0x00D000B7, 0x00000013, 0x00B00137, 0x0220B733, 0x00120213, 0x00200293, 0xFE5214E3,
1754 0x000093B7, 0xF0038393, 0x1E771463, 0x01200193, 0x00000213, 0x00E000B7, 0x00000013, 0x00B00137,
1755 0x00000013, 0x0220B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0xA0038393, 0x1A771A63,
1756 0x01300193, 0x00000213, 0x00F000B7, 0x00000013, 0x00000013, 0x00B00137, 0x0220B733, 0x00120213,
1757 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x18771063, 0x01400193, 0x00000213, 0x00B00137,
1758 0x00D000B7, 0x0220B733, 0x00120213, 0x00200293, 0xFE5216E3, 0x000093B7, 0xF0038393, 0x14771A63,
1759 0x01500193, 0x00000213, 0x00B00137, 0x00E000B7, 0x00000013, 0x0220B733, 0x00120213, 0x00200293,
1760 0xFE5214E3, 0x0000A3B7, 0xA0038393, 0x12771263, 0x01600193, 0x00000213, 0x00B00137, 0x00F000B7,
1761 0x00000013, 0x00000013, 0x0220B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393,
1762 0x0E771863, 0x01700193, 0x00000213, 0x00B00137, 0x00000013, 0x00D000B7, 0x0220B733, 0x00120213,
1763 0x00200293, 0xFE5214E3, 0x000093B7, 0xF0038393, 0x0C771063, 0x01800193, 0x00000213, 0x00B00137,
1764 0x00000013, 0x00E000B7, 0x00000013, 0x0220B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7,
1765 0xA0038393, 0x08771663, 0x01900193, 0x00000213, 0x00B00137, 0x00000013, 0x00000013, 0x00F000B7,
1766 0x0220B733, 0x00120213, 0x00200293, 0xFE5212E3, 0x0000A3B7, 0x50038393, 0x04771C63, 0x01A00193,
1767 0x7C0000B7, 0x02103133, 0x00000393, 0x04711263, 0x01B00193, 0x800000B7, 0x0200B133, 0x00000393,
1768 0x02711863, 0x01C00193, 0x020030B3, 0x00000393, 0x02709063, 0x01D00193, 0x021000B7, 0x02200137,
1769 0x0220B033, 0x00000393, 0x00701463, 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193,
1770 0x05D00893, 0x00018513, 0x00000073, 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073,
1771 0x00000000,
1772 },
1773 },
1774 {
1775 name: "rv32um-rem",
1776 text: []uint32{
1777 0x00000193, 0x0040006F, 0x00200193, 0x01400593, 0x00600613, 0x02C5E733, 0x00200393, 0x0C771463,
1778 0x00300193, 0xFEC00593, 0x00600613, 0x02C5E733, 0xFFE00393, 0x0A771863, 0x00400193, 0x01400593,
1779 0xFFA00613, 0x02C5E733, 0x00200393, 0x08771C63, 0x00500193, 0xFEC00593, 0xFFA00613, 0x02C5E733,
1780 0xFFE00393, 0x08771063, 0x00600193, 0x800005B7, 0x00100613, 0x02C5E733, 0x00000393, 0x06771463,
1781 0x00700193, 0x800005B7, 0xFFF00613, 0x02C5E733, 0x00000393, 0x04771863, 0x00800193, 0x800005B7,
1782 0x00000613, 0x02C5E733, 0x800003B7, 0x02771C63, 0x00900193, 0x00100593, 0x00000613, 0x02C5E733,
1783 0x00100393, 0x02771063, 0x00A00193, 0x00000593, 0x00000613, 0x02C5E733, 0x00000393, 0x00771463,
1784 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073,
1785 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1786 },
1787 },
1788 {
1789 name: "rv32um-remu",
1790 text: []uint32{
1791 0x00000193, 0x0040006F, 0x00200193, 0x01400593, 0x00600613, 0x02C5F733, 0x00200393, 0x0C771463,
1792 0x00300193, 0xFEC00593, 0x00600613, 0x02C5F733, 0x00200393, 0x0A771863, 0x00400193, 0x01400593,
1793 0xFFA00613, 0x02C5F733, 0x01400393, 0x08771C63, 0x00500193, 0xFEC00593, 0xFFA00613, 0x02C5F733,
1794 0xFEC00393, 0x08771063, 0x00600193, 0x800005B7, 0x00100613, 0x02C5F733, 0x00000393, 0x06771463,
1795 0x00700193, 0x800005B7, 0xFFF00613, 0x02C5F733, 0x800003B7, 0x04771863, 0x00800193, 0x800005B7,
1796 0x00000613, 0x02C5F733, 0x800003B7, 0x02771C63, 0x00900193, 0x00100593, 0x00000613, 0x02C5F733,
1797 0x00100393, 0x02771063, 0x00A00193, 0x00000593, 0x00000613, 0x02C5F733, 0x00000393, 0x00771463,
1798 0x02301063, 0x0FF0000F, 0x00018063, 0x00119193, 0x0011E193, 0x05D00893, 0x00018513, 0x00000073,
1799 0x0FF0000F, 0x00100193, 0x05D00893, 0x00000513, 0x00000073, 0x00000000,
1800 },
1801 },
1802}
1803
1804// skipped names the two cases this machine cannot pass by design, with the
1805// reason, because silently dropping a conformance case is how a suite stops
1806// meaning anything.
1807var skipped = map[string]string{
1808 // FENCE.I exists to make writes to the instruction stream visible. This
1809 // machine predecodes its text and refuses stores into it, so there is no
1810 // instruction stream to make visible: self-modifying code is not
1811 // unimplemented here, it is excluded. See README, W xor X.
1812 "rv32ui-fence_i": "self-modifying code is refused by design",
1813}
1814
1815func TestRISCVConformance(t *testing.T) {
1816 ran, skips := 0, 0
1817 for _, c := range conformanceCases {
1818 if why, ok := skipped[c.name]; ok {
1819 skips++
1820 t.Log(c.name + ": skipped, " + why)
1821 continue
1822 }
1823 m, err := NewMachine(Image(c.text), entry)
1824 uassert.NoError(t, err, c.name)
1825 if m == nil {
1826 continue
1827 }
1828 if len(c.data) > 0 {
1829 uassert.NoError(t, m.LoadData(conformanceDataAddr, Image(c.data)), c.name)
1830 }
1831 _, status := m.Step(vmkit.NewTestHost(), conformanceFuel)
1832 uassert.Equal(t, "halted", status.String(), c.name+": "+m.Trap())
1833 // The suite's convention: a0 is 0 on pass, and on failure it is the
1834 // failing case number shifted left with the low bit set.
1835 a0 := m.Registers()[10]
1836 uassert.Equal(t, uint64(0), uint64(a0),
1837 c.name+" failed at its case number "+itoa(int(a0>>1)))
1838 ran++
1839 }
1840 uassert.True(t, ran >= 45, "the conformance suite must actually have run")
1841 uassert.Equal(t, len(skipped), skips, "a skip must be declared, not discovered")
1842}
1843
1844func itoa(n int) string {
1845 if n == 0 {
1846 return "0"
1847 }
1848 var b []byte
1849 for n > 0 {
1850 b = append([]byte{byte('0' + n%10)}, b...)
1851 n /= 10
1852 }
1853 return string(b)
1854}
1855
1856// A conformance suite that passes a broken emulator is worse than none, so the
1857// harness is checked against a program built to fail, using the suite's own
1858// exit convention. Without this, a change that made every case report a0 == 0
1859// would turn the whole file green and look like progress.
1860//
1861// The suite was also checked the other way, by injecting faults into exec.gno
1862// and confirming it went red and named the case:
1863//
1864// SRAI as a logical shift -> rv32ui-srai and rv32ui-lui, case 3
1865// REMU by zero returning 0 -> rv32um-remu, case 8
1866//
1867// Both are recorded here rather than left as something someone did once,
1868// because they are how you check this file still bites.
1869func TestConformanceHarnessDetectsAFailure(t *testing.T) {
1870 // The tail of RVTEST_FAIL for testnum 5: gp is shifted left and the low
1871 // bit set, so a0 is 11 and the reported case number is 5.
1872 fail := []uint32{
1873 addi(3, 0, 5), // TESTNUM = 5
1874 addi(17, 0, 93), // a7 = exit
1875 addi(10, 0, 11), // a0 = (5 << 1) | 1
1876 ecall(),
1877 }
1878 m, err := NewMachine(Image(fail), entry)
1879 uassert.NoError(t, err)
1880 if m == nil {
1881 return
1882 }
1883 _, status := m.Step(vmkit.NewTestHost(), conformanceFuel)
1884 uassert.Equal(t, "halted", status.String())
1885
1886 a0 := m.Registers()[10]
1887 uassert.False(t, a0 == 0, "a failing case must not look like a pass")
1888 uassert.Equal(t, uint64(11), uint64(a0))
1889 uassert.Equal(t, "5", itoa(int(a0>>1)), "the reported case number")
1890}
1891
1892// And the pass side, so the convention is pinned from both directions.
1893func TestConformanceHarnessRecognizesAPass(t *testing.T) {
1894 pass := []uint32{
1895 addi(3, 0, 1), // TESTNUM = 1
1896 addi(17, 0, 93), // a7 = exit
1897 addi(10, 0, 0), // a0 = 0
1898 ecall(),
1899 }
1900 m, err := NewMachine(Image(pass), entry)
1901 uassert.NoError(t, err)
1902 if m == nil {
1903 return
1904 }
1905 _, status := m.Step(vmkit.NewTestHost(), conformanceFuel)
1906 uassert.Equal(t, "halted", status.String())
1907 uassert.Equal(t, uint64(0), uint64(m.Registers()[10]))
1908}
