polkavm 0.29.1

A fast and secure RISC-V based virtual machine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361

// This file was AUTOGENERATED. DO NOT EDIT.
riscv_test!(riscv_unoptimized_rv32ua_amoadd_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoadd_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amoadd_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoadd_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amoand_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoand_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amoand_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoand_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amomax_w, "../../../guest-programs/riscv-tests/output/rv32ua/amomax_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amomax_w, "../../../guest-programs/riscv-tests/output/rv32ua/amomax_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amomaxu_w, "../../../guest-programs/riscv-tests/output/rv32ua/amomaxu_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amomaxu_w, "../../../guest-programs/riscv-tests/output/rv32ua/amomaxu_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amomin_w, "../../../guest-programs/riscv-tests/output/rv32ua/amomin_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amomin_w, "../../../guest-programs/riscv-tests/output/rv32ua/amomin_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amominu_w, "../../../guest-programs/riscv-tests/output/rv32ua/amominu_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amominu_w, "../../../guest-programs/riscv-tests/output/rv32ua/amominu_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amoor_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoor_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amoor_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoor_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amoswap_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoswap_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amoswap_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoswap_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ua_amoxor_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoxor_w.elf", S0, false);
riscv_test!(riscv_optimized_rv32ua_amoxor_w, "../../../guest-programs/riscv-tests/output/rv32ua/amoxor_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uc_rvc, "../../../guest-programs/riscv-tests/output/rv32uc/rvc.elf", A4, false);
riscv_test!(riscv_optimized_rv32uc_rvc, "../../../guest-programs/riscv-tests/output/rv32uc/rvc.elf", A4, true);
riscv_test!(riscv_unoptimized_rv32ui_add, "../../../guest-programs/riscv-tests/output/rv32ui/add.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_add, "../../../guest-programs/riscv-tests/output/rv32ui/add.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_addi, "../../../guest-programs/riscv-tests/output/rv32ui/addi.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_addi, "../../../guest-programs/riscv-tests/output/rv32ui/addi.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_and, "../../../guest-programs/riscv-tests/output/rv32ui/and.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_and, "../../../guest-programs/riscv-tests/output/rv32ui/and.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_andi, "../../../guest-programs/riscv-tests/output/rv32ui/andi.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_andi, "../../../guest-programs/riscv-tests/output/rv32ui/andi.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_beq, "../../../guest-programs/riscv-tests/output/rv32ui/beq.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_beq, "../../../guest-programs/riscv-tests/output/rv32ui/beq.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_bge, "../../../guest-programs/riscv-tests/output/rv32ui/bge.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_bge, "../../../guest-programs/riscv-tests/output/rv32ui/bge.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_bgeu, "../../../guest-programs/riscv-tests/output/rv32ui/bgeu.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_bgeu, "../../../guest-programs/riscv-tests/output/rv32ui/bgeu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_blt, "../../../guest-programs/riscv-tests/output/rv32ui/blt.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_blt, "../../../guest-programs/riscv-tests/output/rv32ui/blt.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_bltu, "../../../guest-programs/riscv-tests/output/rv32ui/bltu.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_bltu, "../../../guest-programs/riscv-tests/output/rv32ui/bltu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_bne, "../../../guest-programs/riscv-tests/output/rv32ui/bne.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_bne, "../../../guest-programs/riscv-tests/output/rv32ui/bne.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_jal, "../../../guest-programs/riscv-tests/output/rv32ui/jal.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_jal, "../../../guest-programs/riscv-tests/output/rv32ui/jal.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_jalr, "../../../guest-programs/riscv-tests/output/rv32ui/jalr.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_jalr, "../../../guest-programs/riscv-tests/output/rv32ui/jalr.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_lb, "../../../guest-programs/riscv-tests/output/rv32ui/lb.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_lb, "../../../guest-programs/riscv-tests/output/rv32ui/lb.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_lbu, "../../../guest-programs/riscv-tests/output/rv32ui/lbu.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_lbu, "../../../guest-programs/riscv-tests/output/rv32ui/lbu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_lh, "../../../guest-programs/riscv-tests/output/rv32ui/lh.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_lh, "../../../guest-programs/riscv-tests/output/rv32ui/lh.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_lhu, "../../../guest-programs/riscv-tests/output/rv32ui/lhu.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_lhu, "../../../guest-programs/riscv-tests/output/rv32ui/lhu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_lui, "../../../guest-programs/riscv-tests/output/rv32ui/lui.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_lui, "../../../guest-programs/riscv-tests/output/rv32ui/lui.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_lw, "../../../guest-programs/riscv-tests/output/rv32ui/lw.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_lw, "../../../guest-programs/riscv-tests/output/rv32ui/lw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_ma_data, "../../../guest-programs/riscv-tests/output/rv32ui/ma_data.elf", A5, false);
riscv_test!(riscv_optimized_rv32ui_ma_data, "../../../guest-programs/riscv-tests/output/rv32ui/ma_data.elf", A5, true);
riscv_test!(riscv_unoptimized_rv32ui_or, "../../../guest-programs/riscv-tests/output/rv32ui/or.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_or, "../../../guest-programs/riscv-tests/output/rv32ui/or.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_ori, "../../../guest-programs/riscv-tests/output/rv32ui/ori.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_ori, "../../../guest-programs/riscv-tests/output/rv32ui/ori.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sb, "../../../guest-programs/riscv-tests/output/rv32ui/sb.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sb, "../../../guest-programs/riscv-tests/output/rv32ui/sb.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sh, "../../../guest-programs/riscv-tests/output/rv32ui/sh.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sh, "../../../guest-programs/riscv-tests/output/rv32ui/sh.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_simple, "../../../guest-programs/riscv-tests/output/rv32ui/simple.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_simple, "../../../guest-programs/riscv-tests/output/rv32ui/simple.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sll, "../../../guest-programs/riscv-tests/output/rv32ui/sll.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sll, "../../../guest-programs/riscv-tests/output/rv32ui/sll.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_slli, "../../../guest-programs/riscv-tests/output/rv32ui/slli.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_slli, "../../../guest-programs/riscv-tests/output/rv32ui/slli.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_slt, "../../../guest-programs/riscv-tests/output/rv32ui/slt.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_slt, "../../../guest-programs/riscv-tests/output/rv32ui/slt.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_slti, "../../../guest-programs/riscv-tests/output/rv32ui/slti.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_slti, "../../../guest-programs/riscv-tests/output/rv32ui/slti.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sltiu, "../../../guest-programs/riscv-tests/output/rv32ui/sltiu.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sltiu, "../../../guest-programs/riscv-tests/output/rv32ui/sltiu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sltu, "../../../guest-programs/riscv-tests/output/rv32ui/sltu.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sltu, "../../../guest-programs/riscv-tests/output/rv32ui/sltu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sra, "../../../guest-programs/riscv-tests/output/rv32ui/sra.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sra, "../../../guest-programs/riscv-tests/output/rv32ui/sra.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_srai, "../../../guest-programs/riscv-tests/output/rv32ui/srai.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_srai, "../../../guest-programs/riscv-tests/output/rv32ui/srai.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_srl, "../../../guest-programs/riscv-tests/output/rv32ui/srl.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_srl, "../../../guest-programs/riscv-tests/output/rv32ui/srl.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_srli, "../../../guest-programs/riscv-tests/output/rv32ui/srli.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_srli, "../../../guest-programs/riscv-tests/output/rv32ui/srli.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sub, "../../../guest-programs/riscv-tests/output/rv32ui/sub.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sub, "../../../guest-programs/riscv-tests/output/rv32ui/sub.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_sw, "../../../guest-programs/riscv-tests/output/rv32ui/sw.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_sw, "../../../guest-programs/riscv-tests/output/rv32ui/sw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_xor, "../../../guest-programs/riscv-tests/output/rv32ui/xor.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_xor, "../../../guest-programs/riscv-tests/output/rv32ui/xor.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32ui_xori, "../../../guest-programs/riscv-tests/output/rv32ui/xori.elf", S0, false);
riscv_test!(riscv_optimized_rv32ui_xori, "../../../guest-programs/riscv-tests/output/rv32ui/xori.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_div, "../../../guest-programs/riscv-tests/output/rv32um/div.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_div, "../../../guest-programs/riscv-tests/output/rv32um/div.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_divu, "../../../guest-programs/riscv-tests/output/rv32um/divu.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_divu, "../../../guest-programs/riscv-tests/output/rv32um/divu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_mul, "../../../guest-programs/riscv-tests/output/rv32um/mul.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_mul, "../../../guest-programs/riscv-tests/output/rv32um/mul.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_mulh, "../../../guest-programs/riscv-tests/output/rv32um/mulh.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_mulh, "../../../guest-programs/riscv-tests/output/rv32um/mulh.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_mulhsu, "../../../guest-programs/riscv-tests/output/rv32um/mulhsu.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_mulhsu, "../../../guest-programs/riscv-tests/output/rv32um/mulhsu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_mulhu, "../../../guest-programs/riscv-tests/output/rv32um/mulhu.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_mulhu, "../../../guest-programs/riscv-tests/output/rv32um/mulhu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_rem, "../../../guest-programs/riscv-tests/output/rv32um/rem.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_rem, "../../../guest-programs/riscv-tests/output/rv32um/rem.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32um_remu, "../../../guest-programs/riscv-tests/output/rv32um/remu.elf", S0, false);
riscv_test!(riscv_optimized_rv32um_remu, "../../../guest-programs/riscv-tests/output/rv32um/remu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_andn, "../../../guest-programs/riscv-tests/output/rv32uzbb/andn.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_andn, "../../../guest-programs/riscv-tests/output/rv32uzbb/andn.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_clz, "../../../guest-programs/riscv-tests/output/rv32uzbb/clz.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_clz, "../../../guest-programs/riscv-tests/output/rv32uzbb/clz.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_cpop, "../../../guest-programs/riscv-tests/output/rv32uzbb/cpop.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_cpop, "../../../guest-programs/riscv-tests/output/rv32uzbb/cpop.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_ctz, "../../../guest-programs/riscv-tests/output/rv32uzbb/ctz.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_ctz, "../../../guest-programs/riscv-tests/output/rv32uzbb/ctz.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_max, "../../../guest-programs/riscv-tests/output/rv32uzbb/max.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_max, "../../../guest-programs/riscv-tests/output/rv32uzbb/max.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_maxu, "../../../guest-programs/riscv-tests/output/rv32uzbb/maxu.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_maxu, "../../../guest-programs/riscv-tests/output/rv32uzbb/maxu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_min, "../../../guest-programs/riscv-tests/output/rv32uzbb/min.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_min, "../../../guest-programs/riscv-tests/output/rv32uzbb/min.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_minu, "../../../guest-programs/riscv-tests/output/rv32uzbb/minu.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_minu, "../../../guest-programs/riscv-tests/output/rv32uzbb/minu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_orc_b, "../../../guest-programs/riscv-tests/output/rv32uzbb/orc_b.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_orc_b, "../../../guest-programs/riscv-tests/output/rv32uzbb/orc_b.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_orn, "../../../guest-programs/riscv-tests/output/rv32uzbb/orn.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_orn, "../../../guest-programs/riscv-tests/output/rv32uzbb/orn.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_rev8, "../../../guest-programs/riscv-tests/output/rv32uzbb/rev8.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_rev8, "../../../guest-programs/riscv-tests/output/rv32uzbb/rev8.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_rol, "../../../guest-programs/riscv-tests/output/rv32uzbb/rol.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_rol, "../../../guest-programs/riscv-tests/output/rv32uzbb/rol.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_ror, "../../../guest-programs/riscv-tests/output/rv32uzbb/ror.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_ror, "../../../guest-programs/riscv-tests/output/rv32uzbb/ror.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_rori, "../../../guest-programs/riscv-tests/output/rv32uzbb/rori.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_rori, "../../../guest-programs/riscv-tests/output/rv32uzbb/rori.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_sext_b, "../../../guest-programs/riscv-tests/output/rv32uzbb/sext_b.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_sext_b, "../../../guest-programs/riscv-tests/output/rv32uzbb/sext_b.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_sext_h, "../../../guest-programs/riscv-tests/output/rv32uzbb/sext_h.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_sext_h, "../../../guest-programs/riscv-tests/output/rv32uzbb/sext_h.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_xnor, "../../../guest-programs/riscv-tests/output/rv32uzbb/xnor.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_xnor, "../../../guest-programs/riscv-tests/output/rv32uzbb/xnor.elf", S0, true);
riscv_test!(riscv_unoptimized_rv32uzbb_zext_h, "../../../guest-programs/riscv-tests/output/rv32uzbb/zext_h.elf", S0, false);
riscv_test!(riscv_optimized_rv32uzbb_zext_h, "../../../guest-programs/riscv-tests/output/rv32uzbb/zext_h.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoadd_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoadd_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoadd_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoadd_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoadd_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoadd_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoadd_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoadd_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoand_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoand_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoand_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoand_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoand_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoand_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoand_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoand_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amomax_d, "../../../guest-programs/riscv-tests/output/rv64ua/amomax_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amomax_d, "../../../guest-programs/riscv-tests/output/rv64ua/amomax_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amomax_w, "../../../guest-programs/riscv-tests/output/rv64ua/amomax_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amomax_w, "../../../guest-programs/riscv-tests/output/rv64ua/amomax_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amomaxu_d, "../../../guest-programs/riscv-tests/output/rv64ua/amomaxu_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amomaxu_d, "../../../guest-programs/riscv-tests/output/rv64ua/amomaxu_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amomaxu_w, "../../../guest-programs/riscv-tests/output/rv64ua/amomaxu_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amomaxu_w, "../../../guest-programs/riscv-tests/output/rv64ua/amomaxu_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amomin_d, "../../../guest-programs/riscv-tests/output/rv64ua/amomin_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amomin_d, "../../../guest-programs/riscv-tests/output/rv64ua/amomin_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amomin_w, "../../../guest-programs/riscv-tests/output/rv64ua/amomin_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amomin_w, "../../../guest-programs/riscv-tests/output/rv64ua/amomin_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amominu_d, "../../../guest-programs/riscv-tests/output/rv64ua/amominu_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amominu_d, "../../../guest-programs/riscv-tests/output/rv64ua/amominu_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amominu_w, "../../../guest-programs/riscv-tests/output/rv64ua/amominu_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amominu_w, "../../../guest-programs/riscv-tests/output/rv64ua/amominu_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoor_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoor_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoor_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoor_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoor_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoor_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoor_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoor_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoswap_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoswap_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoswap_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoswap_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoswap_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoswap_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoswap_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoswap_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoxor_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoxor_d.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoxor_d, "../../../guest-programs/riscv-tests/output/rv64ua/amoxor_d.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ua_amoxor_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoxor_w.elf", S0, false);
riscv_test!(riscv_optimized_rv64ua_amoxor_w, "../../../guest-programs/riscv-tests/output/rv64ua/amoxor_w.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uc_rvc, "../../../guest-programs/riscv-tests/output/rv64uc/rvc.elf", A4, false);
riscv_test!(riscv_optimized_rv64uc_rvc, "../../../guest-programs/riscv-tests/output/rv64uc/rvc.elf", A4, true);
riscv_test!(riscv_unoptimized_rv64ui_add, "../../../guest-programs/riscv-tests/output/rv64ui/add.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_add, "../../../guest-programs/riscv-tests/output/rv64ui/add.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_addi, "../../../guest-programs/riscv-tests/output/rv64ui/addi.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_addi, "../../../guest-programs/riscv-tests/output/rv64ui/addi.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_addiw, "../../../guest-programs/riscv-tests/output/rv64ui/addiw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_addiw, "../../../guest-programs/riscv-tests/output/rv64ui/addiw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_addw, "../../../guest-programs/riscv-tests/output/rv64ui/addw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_addw, "../../../guest-programs/riscv-tests/output/rv64ui/addw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_and, "../../../guest-programs/riscv-tests/output/rv64ui/and.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_and, "../../../guest-programs/riscv-tests/output/rv64ui/and.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_andi, "../../../guest-programs/riscv-tests/output/rv64ui/andi.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_andi, "../../../guest-programs/riscv-tests/output/rv64ui/andi.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_beq, "../../../guest-programs/riscv-tests/output/rv64ui/beq.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_beq, "../../../guest-programs/riscv-tests/output/rv64ui/beq.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_bge, "../../../guest-programs/riscv-tests/output/rv64ui/bge.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_bge, "../../../guest-programs/riscv-tests/output/rv64ui/bge.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_bgeu, "../../../guest-programs/riscv-tests/output/rv64ui/bgeu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_bgeu, "../../../guest-programs/riscv-tests/output/rv64ui/bgeu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_blt, "../../../guest-programs/riscv-tests/output/rv64ui/blt.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_blt, "../../../guest-programs/riscv-tests/output/rv64ui/blt.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_bltu, "../../../guest-programs/riscv-tests/output/rv64ui/bltu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_bltu, "../../../guest-programs/riscv-tests/output/rv64ui/bltu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_bne, "../../../guest-programs/riscv-tests/output/rv64ui/bne.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_bne, "../../../guest-programs/riscv-tests/output/rv64ui/bne.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_jal, "../../../guest-programs/riscv-tests/output/rv64ui/jal.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_jal, "../../../guest-programs/riscv-tests/output/rv64ui/jal.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_jalr, "../../../guest-programs/riscv-tests/output/rv64ui/jalr.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_jalr, "../../../guest-programs/riscv-tests/output/rv64ui/jalr.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lb, "../../../guest-programs/riscv-tests/output/rv64ui/lb.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lb, "../../../guest-programs/riscv-tests/output/rv64ui/lb.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lbu, "../../../guest-programs/riscv-tests/output/rv64ui/lbu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lbu, "../../../guest-programs/riscv-tests/output/rv64ui/lbu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_ld, "../../../guest-programs/riscv-tests/output/rv64ui/ld.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_ld, "../../../guest-programs/riscv-tests/output/rv64ui/ld.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lh, "../../../guest-programs/riscv-tests/output/rv64ui/lh.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lh, "../../../guest-programs/riscv-tests/output/rv64ui/lh.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lhu, "../../../guest-programs/riscv-tests/output/rv64ui/lhu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lhu, "../../../guest-programs/riscv-tests/output/rv64ui/lhu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lui, "../../../guest-programs/riscv-tests/output/rv64ui/lui.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lui, "../../../guest-programs/riscv-tests/output/rv64ui/lui.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lw, "../../../guest-programs/riscv-tests/output/rv64ui/lw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lw, "../../../guest-programs/riscv-tests/output/rv64ui/lw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_lwu, "../../../guest-programs/riscv-tests/output/rv64ui/lwu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_lwu, "../../../guest-programs/riscv-tests/output/rv64ui/lwu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_ma_data, "../../../guest-programs/riscv-tests/output/rv64ui/ma_data.elf", A5, false);
riscv_test!(riscv_optimized_rv64ui_ma_data, "../../../guest-programs/riscv-tests/output/rv64ui/ma_data.elf", A5, true);
riscv_test!(riscv_unoptimized_rv64ui_or, "../../../guest-programs/riscv-tests/output/rv64ui/or.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_or, "../../../guest-programs/riscv-tests/output/rv64ui/or.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_ori, "../../../guest-programs/riscv-tests/output/rv64ui/ori.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_ori, "../../../guest-programs/riscv-tests/output/rv64ui/ori.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sb, "../../../guest-programs/riscv-tests/output/rv64ui/sb.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sb, "../../../guest-programs/riscv-tests/output/rv64ui/sb.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sd, "../../../guest-programs/riscv-tests/output/rv64ui/sd.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sd, "../../../guest-programs/riscv-tests/output/rv64ui/sd.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sh, "../../../guest-programs/riscv-tests/output/rv64ui/sh.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sh, "../../../guest-programs/riscv-tests/output/rv64ui/sh.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_simple, "../../../guest-programs/riscv-tests/output/rv64ui/simple.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_simple, "../../../guest-programs/riscv-tests/output/rv64ui/simple.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sll, "../../../guest-programs/riscv-tests/output/rv64ui/sll.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sll, "../../../guest-programs/riscv-tests/output/rv64ui/sll.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_slli, "../../../guest-programs/riscv-tests/output/rv64ui/slli.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_slli, "../../../guest-programs/riscv-tests/output/rv64ui/slli.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_slliw, "../../../guest-programs/riscv-tests/output/rv64ui/slliw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_slliw, "../../../guest-programs/riscv-tests/output/rv64ui/slliw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sllw, "../../../guest-programs/riscv-tests/output/rv64ui/sllw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sllw, "../../../guest-programs/riscv-tests/output/rv64ui/sllw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_slt, "../../../guest-programs/riscv-tests/output/rv64ui/slt.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_slt, "../../../guest-programs/riscv-tests/output/rv64ui/slt.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_slti, "../../../guest-programs/riscv-tests/output/rv64ui/slti.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_slti, "../../../guest-programs/riscv-tests/output/rv64ui/slti.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sltiu, "../../../guest-programs/riscv-tests/output/rv64ui/sltiu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sltiu, "../../../guest-programs/riscv-tests/output/rv64ui/sltiu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sltu, "../../../guest-programs/riscv-tests/output/rv64ui/sltu.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sltu, "../../../guest-programs/riscv-tests/output/rv64ui/sltu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sra, "../../../guest-programs/riscv-tests/output/rv64ui/sra.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sra, "../../../guest-programs/riscv-tests/output/rv64ui/sra.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_srai, "../../../guest-programs/riscv-tests/output/rv64ui/srai.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_srai, "../../../guest-programs/riscv-tests/output/rv64ui/srai.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sraiw, "../../../guest-programs/riscv-tests/output/rv64ui/sraiw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sraiw, "../../../guest-programs/riscv-tests/output/rv64ui/sraiw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sraw, "../../../guest-programs/riscv-tests/output/rv64ui/sraw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sraw, "../../../guest-programs/riscv-tests/output/rv64ui/sraw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_srl, "../../../guest-programs/riscv-tests/output/rv64ui/srl.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_srl, "../../../guest-programs/riscv-tests/output/rv64ui/srl.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_srli, "../../../guest-programs/riscv-tests/output/rv64ui/srli.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_srli, "../../../guest-programs/riscv-tests/output/rv64ui/srli.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_srliw, "../../../guest-programs/riscv-tests/output/rv64ui/srliw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_srliw, "../../../guest-programs/riscv-tests/output/rv64ui/srliw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_srlw, "../../../guest-programs/riscv-tests/output/rv64ui/srlw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_srlw, "../../../guest-programs/riscv-tests/output/rv64ui/srlw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sub, "../../../guest-programs/riscv-tests/output/rv64ui/sub.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sub, "../../../guest-programs/riscv-tests/output/rv64ui/sub.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_subw, "../../../guest-programs/riscv-tests/output/rv64ui/subw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_subw, "../../../guest-programs/riscv-tests/output/rv64ui/subw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_sw, "../../../guest-programs/riscv-tests/output/rv64ui/sw.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_sw, "../../../guest-programs/riscv-tests/output/rv64ui/sw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_xor, "../../../guest-programs/riscv-tests/output/rv64ui/xor.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_xor, "../../../guest-programs/riscv-tests/output/rv64ui/xor.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64ui_xori, "../../../guest-programs/riscv-tests/output/rv64ui/xori.elf", S0, false);
riscv_test!(riscv_optimized_rv64ui_xori, "../../../guest-programs/riscv-tests/output/rv64ui/xori.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_div, "../../../guest-programs/riscv-tests/output/rv64um/div.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_div, "../../../guest-programs/riscv-tests/output/rv64um/div.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_divu, "../../../guest-programs/riscv-tests/output/rv64um/divu.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_divu, "../../../guest-programs/riscv-tests/output/rv64um/divu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_divuw, "../../../guest-programs/riscv-tests/output/rv64um/divuw.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_divuw, "../../../guest-programs/riscv-tests/output/rv64um/divuw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_divw, "../../../guest-programs/riscv-tests/output/rv64um/divw.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_divw, "../../../guest-programs/riscv-tests/output/rv64um/divw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_mul, "../../../guest-programs/riscv-tests/output/rv64um/mul.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_mul, "../../../guest-programs/riscv-tests/output/rv64um/mul.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_mulh, "../../../guest-programs/riscv-tests/output/rv64um/mulh.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_mulh, "../../../guest-programs/riscv-tests/output/rv64um/mulh.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_mulhsu, "../../../guest-programs/riscv-tests/output/rv64um/mulhsu.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_mulhsu, "../../../guest-programs/riscv-tests/output/rv64um/mulhsu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_mulhu, "../../../guest-programs/riscv-tests/output/rv64um/mulhu.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_mulhu, "../../../guest-programs/riscv-tests/output/rv64um/mulhu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_mulw, "../../../guest-programs/riscv-tests/output/rv64um/mulw.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_mulw, "../../../guest-programs/riscv-tests/output/rv64um/mulw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_rem, "../../../guest-programs/riscv-tests/output/rv64um/rem.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_rem, "../../../guest-programs/riscv-tests/output/rv64um/rem.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_remu, "../../../guest-programs/riscv-tests/output/rv64um/remu.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_remu, "../../../guest-programs/riscv-tests/output/rv64um/remu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_remuw, "../../../guest-programs/riscv-tests/output/rv64um/remuw.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_remuw, "../../../guest-programs/riscv-tests/output/rv64um/remuw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64um_remw, "../../../guest-programs/riscv-tests/output/rv64um/remw.elf", S0, false);
riscv_test!(riscv_optimized_rv64um_remw, "../../../guest-programs/riscv-tests/output/rv64um/remw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_andn, "../../../guest-programs/riscv-tests/output/rv64uzbb/andn.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_andn, "../../../guest-programs/riscv-tests/output/rv64uzbb/andn.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_clz, "../../../guest-programs/riscv-tests/output/rv64uzbb/clz.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_clz, "../../../guest-programs/riscv-tests/output/rv64uzbb/clz.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_clzw, "../../../guest-programs/riscv-tests/output/rv64uzbb/clzw.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_clzw, "../../../guest-programs/riscv-tests/output/rv64uzbb/clzw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_cpop, "../../../guest-programs/riscv-tests/output/rv64uzbb/cpop.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_cpop, "../../../guest-programs/riscv-tests/output/rv64uzbb/cpop.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_cpopw, "../../../guest-programs/riscv-tests/output/rv64uzbb/cpopw.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_cpopw, "../../../guest-programs/riscv-tests/output/rv64uzbb/cpopw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_ctz, "../../../guest-programs/riscv-tests/output/rv64uzbb/ctz.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_ctz, "../../../guest-programs/riscv-tests/output/rv64uzbb/ctz.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_ctzw, "../../../guest-programs/riscv-tests/output/rv64uzbb/ctzw.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_ctzw, "../../../guest-programs/riscv-tests/output/rv64uzbb/ctzw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_max, "../../../guest-programs/riscv-tests/output/rv64uzbb/max.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_max, "../../../guest-programs/riscv-tests/output/rv64uzbb/max.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_maxu, "../../../guest-programs/riscv-tests/output/rv64uzbb/maxu.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_maxu, "../../../guest-programs/riscv-tests/output/rv64uzbb/maxu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_min, "../../../guest-programs/riscv-tests/output/rv64uzbb/min.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_min, "../../../guest-programs/riscv-tests/output/rv64uzbb/min.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_minu, "../../../guest-programs/riscv-tests/output/rv64uzbb/minu.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_minu, "../../../guest-programs/riscv-tests/output/rv64uzbb/minu.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_orc_b, "../../../guest-programs/riscv-tests/output/rv64uzbb/orc_b.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_orc_b, "../../../guest-programs/riscv-tests/output/rv64uzbb/orc_b.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_orn, "../../../guest-programs/riscv-tests/output/rv64uzbb/orn.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_orn, "../../../guest-programs/riscv-tests/output/rv64uzbb/orn.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_rev8, "../../../guest-programs/riscv-tests/output/rv64uzbb/rev8.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_rev8, "../../../guest-programs/riscv-tests/output/rv64uzbb/rev8.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_rol, "../../../guest-programs/riscv-tests/output/rv64uzbb/rol.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_rol, "../../../guest-programs/riscv-tests/output/rv64uzbb/rol.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_rolw, "../../../guest-programs/riscv-tests/output/rv64uzbb/rolw.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_rolw, "../../../guest-programs/riscv-tests/output/rv64uzbb/rolw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_ror, "../../../guest-programs/riscv-tests/output/rv64uzbb/ror.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_ror, "../../../guest-programs/riscv-tests/output/rv64uzbb/ror.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_rori, "../../../guest-programs/riscv-tests/output/rv64uzbb/rori.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_rori, "../../../guest-programs/riscv-tests/output/rv64uzbb/rori.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_roriw, "../../../guest-programs/riscv-tests/output/rv64uzbb/roriw.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_roriw, "../../../guest-programs/riscv-tests/output/rv64uzbb/roriw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_rorw, "../../../guest-programs/riscv-tests/output/rv64uzbb/rorw.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_rorw, "../../../guest-programs/riscv-tests/output/rv64uzbb/rorw.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_sext_b, "../../../guest-programs/riscv-tests/output/rv64uzbb/sext_b.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_sext_b, "../../../guest-programs/riscv-tests/output/rv64uzbb/sext_b.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_sext_h, "../../../guest-programs/riscv-tests/output/rv64uzbb/sext_h.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_sext_h, "../../../guest-programs/riscv-tests/output/rv64uzbb/sext_h.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_xnor, "../../../guest-programs/riscv-tests/output/rv64uzbb/xnor.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_xnor, "../../../guest-programs/riscv-tests/output/rv64uzbb/xnor.elf", S0, true);
riscv_test!(riscv_unoptimized_rv64uzbb_zext_h, "../../../guest-programs/riscv-tests/output/rv64uzbb/zext_h.elf", S0, false);
riscv_test!(riscv_optimized_rv64uzbb_zext_h, "../../../guest-programs/riscv-tests/output/rv64uzbb/zext_h.elf", S0, true);