add comment
[riscv-isa-sim.git] / riscv / sv_insn_decl.h
1 reg_t (rv32_bne) (processor_t* p, insn_t s_insn, reg_t pc);
2 reg_t (rv64_bne) (processor_t* p, insn_t s_insn, reg_t pc);
3 reg_t (rv32_fsqrt_s) (processor_t* p, insn_t s_insn, reg_t pc);
4 reg_t (rv64_fsqrt_s) (processor_t* p, insn_t s_insn, reg_t pc);
5 reg_t (rv32_c_lwsp) (processor_t* p, insn_t s_insn, reg_t pc);
6 reg_t (rv64_c_lwsp) (processor_t* p, insn_t s_insn, reg_t pc);
7 reg_t (rv32_fsgnj_d) (processor_t* p, insn_t s_insn, reg_t pc);
8 reg_t (rv64_fsgnj_d) (processor_t* p, insn_t s_insn, reg_t pc);
9 reg_t (rv32_addw) (processor_t* p, insn_t s_insn, reg_t pc);
10 reg_t (rv64_addw) (processor_t* p, insn_t s_insn, reg_t pc);
11 reg_t (rv32_fadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
12 reg_t (rv64_fadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
13 reg_t (rv32_fmul_s) (processor_t* p, insn_t s_insn, reg_t pc);
14 reg_t (rv64_fmul_s) (processor_t* p, insn_t s_insn, reg_t pc);
15 reg_t (rv32_fmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
16 reg_t (rv64_fmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
17 reg_t (rv32_xor) (processor_t* p, insn_t s_insn, reg_t pc);
18 reg_t (rv64_xor) (processor_t* p, insn_t s_insn, reg_t pc);
19 reg_t (rv32_jal) (processor_t* p, insn_t s_insn, reg_t pc);
20 reg_t (rv64_jal) (processor_t* p, insn_t s_insn, reg_t pc);
21 reg_t (rv32_c_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
22 reg_t (rv64_c_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
23 reg_t (rv32_fcvt_s_l) (processor_t* p, insn_t s_insn, reg_t pc);
24 reg_t (rv64_fcvt_s_l) (processor_t* p, insn_t s_insn, reg_t pc);
25 reg_t (rv32_c_xor) (processor_t* p, insn_t s_insn, reg_t pc);
26 reg_t (rv64_c_xor) (processor_t* p, insn_t s_insn, reg_t pc);
27 reg_t (rv32_fcvt_l_q) (processor_t* p, insn_t s_insn, reg_t pc);
28 reg_t (rv64_fcvt_l_q) (processor_t* p, insn_t s_insn, reg_t pc);
29 reg_t (rv32_c_lw) (processor_t* p, insn_t s_insn, reg_t pc);
30 reg_t (rv64_c_lw) (processor_t* p, insn_t s_insn, reg_t pc);
31 reg_t (rv32_sc_d) (processor_t* p, insn_t s_insn, reg_t pc);
32 reg_t (rv64_sc_d) (processor_t* p, insn_t s_insn, reg_t pc);
33 reg_t (rv32_amomax_w) (processor_t* p, insn_t s_insn, reg_t pc);
34 reg_t (rv64_amomax_w) (processor_t* p, insn_t s_insn, reg_t pc);
35 reg_t (rv32_beq) (processor_t* p, insn_t s_insn, reg_t pc);
36 reg_t (rv64_beq) (processor_t* p, insn_t s_insn, reg_t pc);
37 reg_t (rv32_c_lui) (processor_t* p, insn_t s_insn, reg_t pc);
38 reg_t (rv64_c_lui) (processor_t* p, insn_t s_insn, reg_t pc);
39 reg_t (rv32_remu) (processor_t* p, insn_t s_insn, reg_t pc);
40 reg_t (rv64_remu) (processor_t* p, insn_t s_insn, reg_t pc);
41 reg_t (rv32_fsgnjx_d) (processor_t* p, insn_t s_insn, reg_t pc);
42 reg_t (rv64_fsgnjx_d) (processor_t* p, insn_t s_insn, reg_t pc);
43 reg_t (rv32_fcvt_s_wu) (processor_t* p, insn_t s_insn, reg_t pc);
44 reg_t (rv64_fcvt_s_wu) (processor_t* p, insn_t s_insn, reg_t pc);
45 reg_t (rv32_c_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
46 reg_t (rv64_c_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
47 reg_t (rv32_fnmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
48 reg_t (rv64_fnmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
49 reg_t (rv32_feq_d) (processor_t* p, insn_t s_insn, reg_t pc);
50 reg_t (rv64_feq_d) (processor_t* p, insn_t s_insn, reg_t pc);
51 reg_t (rv32_c_flw) (processor_t* p, insn_t s_insn, reg_t pc);
52 reg_t (rv64_c_flw) (processor_t* p, insn_t s_insn, reg_t pc);
53 reg_t (rv32_fsq) (processor_t* p, insn_t s_insn, reg_t pc);
54 reg_t (rv64_fsq) (processor_t* p, insn_t s_insn, reg_t pc);
55 reg_t (rv32_csrrs) (processor_t* p, insn_t s_insn, reg_t pc);
56 reg_t (rv64_csrrs) (processor_t* p, insn_t s_insn, reg_t pc);
57 reg_t (rv32_fcvt_d_q) (processor_t* p, insn_t s_insn, reg_t pc);
58 reg_t (rv64_fcvt_d_q) (processor_t* p, insn_t s_insn, reg_t pc);
59 reg_t (rv32_c_srai) (processor_t* p, insn_t s_insn, reg_t pc);
60 reg_t (rv64_c_srai) (processor_t* p, insn_t s_insn, reg_t pc);
61 reg_t (rv32_c_jal) (processor_t* p, insn_t s_insn, reg_t pc);
62 reg_t (rv64_c_jal) (processor_t* p, insn_t s_insn, reg_t pc);
63 reg_t (rv32_and) (processor_t* p, insn_t s_insn, reg_t pc);
64 reg_t (rv64_and) (processor_t* p, insn_t s_insn, reg_t pc);
65 reg_t (rv32_c_and) (processor_t* p, insn_t s_insn, reg_t pc);
66 reg_t (rv64_c_and) (processor_t* p, insn_t s_insn, reg_t pc);
67 reg_t (rv32_amoor_w) (processor_t* p, insn_t s_insn, reg_t pc);
68 reg_t (rv64_amoor_w) (processor_t* p, insn_t s_insn, reg_t pc);
69 reg_t (rv32_bgeu) (processor_t* p, insn_t s_insn, reg_t pc);
70 reg_t (rv64_bgeu) (processor_t* p, insn_t s_insn, reg_t pc);
71 reg_t (rv32_fnmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
72 reg_t (rv64_fnmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
73 reg_t (rv32_ecall) (processor_t* p, insn_t s_insn, reg_t pc);
74 reg_t (rv64_ecall) (processor_t* p, insn_t s_insn, reg_t pc);
75 reg_t (rv32_c_andi) (processor_t* p, insn_t s_insn, reg_t pc);
76 reg_t (rv64_c_andi) (processor_t* p, insn_t s_insn, reg_t pc);
77 reg_t (rv32_mret) (processor_t* p, insn_t s_insn, reg_t pc);
78 reg_t (rv64_mret) (processor_t* p, insn_t s_insn, reg_t pc);
79 reg_t (rv32_fsgnjx_q) (processor_t* p, insn_t s_insn, reg_t pc);
80 reg_t (rv64_fsgnjx_q) (processor_t* p, insn_t s_insn, reg_t pc);
81 reg_t (rv32_fsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
82 reg_t (rv64_fsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
83 reg_t (rv32_fence_i) (processor_t* p, insn_t s_insn, reg_t pc);
84 reg_t (rv64_fence_i) (processor_t* p, insn_t s_insn, reg_t pc);
85 reg_t (rv32_fnmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
86 reg_t (rv64_fnmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
87 reg_t (rv32_fcvt_d_w) (processor_t* p, insn_t s_insn, reg_t pc);
88 reg_t (rv64_fcvt_d_w) (processor_t* p, insn_t s_insn, reg_t pc);
89 reg_t (rv32_c_j) (processor_t* p, insn_t s_insn, reg_t pc);
90 reg_t (rv64_c_j) (processor_t* p, insn_t s_insn, reg_t pc);
91 reg_t (rv32_blt) (processor_t* p, insn_t s_insn, reg_t pc);
92 reg_t (rv64_blt) (processor_t* p, insn_t s_insn, reg_t pc);
93 reg_t (rv32_sltiu) (processor_t* p, insn_t s_insn, reg_t pc);
94 reg_t (rv64_sltiu) (processor_t* p, insn_t s_insn, reg_t pc);
95 reg_t (rv32_fmul_q) (processor_t* p, insn_t s_insn, reg_t pc);
96 reg_t (rv64_fmul_q) (processor_t* p, insn_t s_insn, reg_t pc);
97 reg_t (rv32_feq_q) (processor_t* p, insn_t s_insn, reg_t pc);
98 reg_t (rv64_feq_q) (processor_t* p, insn_t s_insn, reg_t pc);
99 reg_t (rv32_fclass_q) (processor_t* p, insn_t s_insn, reg_t pc);
100 reg_t (rv64_fclass_q) (processor_t* p, insn_t s_insn, reg_t pc);
101 reg_t (rv32_ld) (processor_t* p, insn_t s_insn, reg_t pc);
102 reg_t (rv64_ld) (processor_t* p, insn_t s_insn, reg_t pc);
103 reg_t (rv32_c_add) (processor_t* p, insn_t s_insn, reg_t pc);
104 reg_t (rv64_c_add) (processor_t* p, insn_t s_insn, reg_t pc);
105 reg_t (rv32_srl) (processor_t* p, insn_t s_insn, reg_t pc);
106 reg_t (rv64_srl) (processor_t* p, insn_t s_insn, reg_t pc);
107 reg_t (rv32_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
108 reg_t (rv64_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
109 reg_t (rv32_fmv_d_x) (processor_t* p, insn_t s_insn, reg_t pc);
110 reg_t (rv64_fmv_d_x) (processor_t* p, insn_t s_insn, reg_t pc);
111 reg_t (rv32_fmin_s) (processor_t* p, insn_t s_insn, reg_t pc);
112 reg_t (rv64_fmin_s) (processor_t* p, insn_t s_insn, reg_t pc);
113 reg_t (rv32_fmax_d) (processor_t* p, insn_t s_insn, reg_t pc);
114 reg_t (rv64_fmax_d) (processor_t* p, insn_t s_insn, reg_t pc);
115 reg_t (rv32_c_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
116 reg_t (rv64_c_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
117 reg_t (rv32_xori) (processor_t* p, insn_t s_insn, reg_t pc);
118 reg_t (rv64_xori) (processor_t* p, insn_t s_insn, reg_t pc);
119 reg_t (rv32_c_bnez) (processor_t* p, insn_t s_insn, reg_t pc);
120 reg_t (rv64_c_bnez) (processor_t* p, insn_t s_insn, reg_t pc);
121 reg_t (rv32_sltu) (processor_t* p, insn_t s_insn, reg_t pc);
122 reg_t (rv64_sltu) (processor_t* p, insn_t s_insn, reg_t pc);
123 reg_t (rv32_divuw) (processor_t* p, insn_t s_insn, reg_t pc);
124 reg_t (rv64_divuw) (processor_t* p, insn_t s_insn, reg_t pc);
125 reg_t (rv32_fdiv_s) (processor_t* p, insn_t s_insn, reg_t pc);
126 reg_t (rv64_fdiv_s) (processor_t* p, insn_t s_insn, reg_t pc);
127 reg_t (rv32_flt_d) (processor_t* p, insn_t s_insn, reg_t pc);
128 reg_t (rv64_flt_d) (processor_t* p, insn_t s_insn, reg_t pc);
129 reg_t (rv32_c_srli) (processor_t* p, insn_t s_insn, reg_t pc);
130 reg_t (rv64_c_srli) (processor_t* p, insn_t s_insn, reg_t pc);
131 reg_t (rv32_sv_beq) (processor_t* p, insn_t s_insn, reg_t pc);
132 reg_t (rv64_sv_beq) (processor_t* p, insn_t s_insn, reg_t pc);
133 reg_t (rv32_sraw) (processor_t* p, insn_t s_insn, reg_t pc);
134 reg_t (rv64_sraw) (processor_t* p, insn_t s_insn, reg_t pc);
135 reg_t (rv32_c_jr) (processor_t* p, insn_t s_insn, reg_t pc);
136 reg_t (rv64_c_jr) (processor_t* p, insn_t s_insn, reg_t pc);
137 reg_t (rv32_amominu_d) (processor_t* p, insn_t s_insn, reg_t pc);
138 reg_t (rv64_amominu_d) (processor_t* p, insn_t s_insn, reg_t pc);
139 reg_t (rv32_fcvt_s_w) (processor_t* p, insn_t s_insn, reg_t pc);
140 reg_t (rv64_fcvt_s_w) (processor_t* p, insn_t s_insn, reg_t pc);
141 reg_t (rv32_auipc) (processor_t* p, insn_t s_insn, reg_t pc);
142 reg_t (rv64_auipc) (processor_t* p, insn_t s_insn, reg_t pc);
143 reg_t (rv32_slli) (processor_t* p, insn_t s_insn, reg_t pc);
144 reg_t (rv64_slli) (processor_t* p, insn_t s_insn, reg_t pc);
145 reg_t (rv32_c_mv) (processor_t* p, insn_t s_insn, reg_t pc);
146 reg_t (rv64_c_mv) (processor_t* p, insn_t s_insn, reg_t pc);
147 reg_t (rv32_c_sub) (processor_t* p, insn_t s_insn, reg_t pc);
148 reg_t (rv64_c_sub) (processor_t* p, insn_t s_insn, reg_t pc);
149 reg_t (rv32_fsqrt_q) (processor_t* p, insn_t s_insn, reg_t pc);
150 reg_t (rv64_fsqrt_q) (processor_t* p, insn_t s_insn, reg_t pc);
151 reg_t (rv32_fnmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
152 reg_t (rv64_fnmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
153 reg_t (rv32_srli) (processor_t* p, insn_t s_insn, reg_t pc);
154 reg_t (rv64_srli) (processor_t* p, insn_t s_insn, reg_t pc);
155 reg_t (rv32_fsgnjn_q) (processor_t* p, insn_t s_insn, reg_t pc);
156 reg_t (rv64_fsgnjn_q) (processor_t* p, insn_t s_insn, reg_t pc);
157 reg_t (rv32_c_fsdsp) (processor_t* p, insn_t s_insn, reg_t pc);
158 reg_t (rv64_c_fsdsp) (processor_t* p, insn_t s_insn, reg_t pc);
159 reg_t (rv32_c_li) (processor_t* p, insn_t s_insn, reg_t pc);
160 reg_t (rv64_c_li) (processor_t* p, insn_t s_insn, reg_t pc);
161 reg_t (rv32_fclass_s) (processor_t* p, insn_t s_insn, reg_t pc);
162 reg_t (rv64_fclass_s) (processor_t* p, insn_t s_insn, reg_t pc);
163 reg_t (rv32_amoadd_w) (processor_t* p, insn_t s_insn, reg_t pc);
164 reg_t (rv64_amoadd_w) (processor_t* p, insn_t s_insn, reg_t pc);
165 reg_t (rv32_bltu) (processor_t* p, insn_t s_insn, reg_t pc);
166 reg_t (rv64_bltu) (processor_t* p, insn_t s_insn, reg_t pc);
167 reg_t (rv32_fcvt_s_q) (processor_t* p, insn_t s_insn, reg_t pc);
168 reg_t (rv64_fcvt_s_q) (processor_t* p, insn_t s_insn, reg_t pc);
169 reg_t (rv32_lr_d) (processor_t* p, insn_t s_insn, reg_t pc);
170 reg_t (rv64_lr_d) (processor_t* p, insn_t s_insn, reg_t pc);
171 reg_t (rv32_mulw) (processor_t* p, insn_t s_insn, reg_t pc);
172 reg_t (rv64_mulw) (processor_t* p, insn_t s_insn, reg_t pc);
173 reg_t (rv32_c_fld) (processor_t* p, insn_t s_insn, reg_t pc);
174 reg_t (rv64_c_fld) (processor_t* p, insn_t s_insn, reg_t pc);
175 reg_t (rv32_rem) (processor_t* p, insn_t s_insn, reg_t pc);
176 reg_t (rv64_rem) (processor_t* p, insn_t s_insn, reg_t pc);
177 reg_t (rv32_amoand_d) (processor_t* p, insn_t s_insn, reg_t pc);
178 reg_t (rv64_amoand_d) (processor_t* p, insn_t s_insn, reg_t pc);
179 reg_t (rv32_fsqrt_d) (processor_t* p, insn_t s_insn, reg_t pc);
180 reg_t (rv64_fsqrt_d) (processor_t* p, insn_t s_insn, reg_t pc);
181 reg_t (rv32_add) (processor_t* p, insn_t s_insn, reg_t pc);
182 reg_t (rv64_add) (processor_t* p, insn_t s_insn, reg_t pc);
183 reg_t (rv32_fcvt_w_s) (processor_t* p, insn_t s_insn, reg_t pc);
184 reg_t (rv64_fcvt_w_s) (processor_t* p, insn_t s_insn, reg_t pc);
185 reg_t (rv32_sfence_vma) (processor_t* p, insn_t s_insn, reg_t pc);
186 reg_t (rv64_sfence_vma) (processor_t* p, insn_t s_insn, reg_t pc);
187 reg_t (rv32_fmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
188 reg_t (rv64_fmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
189 reg_t (rv32_c_addi) (processor_t* p, insn_t s_insn, reg_t pc);
190 reg_t (rv64_c_addi) (processor_t* p, insn_t s_insn, reg_t pc);
191 reg_t (rv32_lhu) (processor_t* p, insn_t s_insn, reg_t pc);
192 reg_t (rv64_lhu) (processor_t* p, insn_t s_insn, reg_t pc);
193 reg_t (rv32_sv_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
194 reg_t (rv64_sv_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
195 reg_t (rv32_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
196 reg_t (rv64_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
197 reg_t (rv32_subw) (processor_t* p, insn_t s_insn, reg_t pc);
198 reg_t (rv64_subw) (processor_t* p, insn_t s_insn, reg_t pc);
199 reg_t (rv32_addiw) (processor_t* p, insn_t s_insn, reg_t pc);
200 reg_t (rv64_addiw) (processor_t* p, insn_t s_insn, reg_t pc);
201 reg_t (rv32_fsgnj_s) (processor_t* p, insn_t s_insn, reg_t pc);
202 reg_t (rv64_fsgnj_s) (processor_t* p, insn_t s_insn, reg_t pc);
203 reg_t (rv32_bge) (processor_t* p, insn_t s_insn, reg_t pc);
204 reg_t (rv64_bge) (processor_t* p, insn_t s_insn, reg_t pc);
205 reg_t (rv32_fcvt_d_l) (processor_t* p, insn_t s_insn, reg_t pc);
206 reg_t (rv64_fcvt_d_l) (processor_t* p, insn_t s_insn, reg_t pc);
207 reg_t (rv32_divw) (processor_t* p, insn_t s_insn, reg_t pc);
208 reg_t (rv64_divw) (processor_t* p, insn_t s_insn, reg_t pc);
209 reg_t (rv32_fcvt_d_s) (processor_t* p, insn_t s_insn, reg_t pc);
210 reg_t (rv64_fcvt_d_s) (processor_t* p, insn_t s_insn, reg_t pc);
211 reg_t (rv32_flt_q) (processor_t* p, insn_t s_insn, reg_t pc);
212 reg_t (rv64_flt_q) (processor_t* p, insn_t s_insn, reg_t pc);
213 reg_t (rv32_c_addw) (processor_t* p, insn_t s_insn, reg_t pc);
214 reg_t (rv64_c_addw) (processor_t* p, insn_t s_insn, reg_t pc);
215 reg_t (rv32_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
216 reg_t (rv64_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
217 reg_t (rv32_mulhsu) (processor_t* p, insn_t s_insn, reg_t pc);
218 reg_t (rv64_mulhsu) (processor_t* p, insn_t s_insn, reg_t pc);
219 reg_t (rv32_amoswap_w) (processor_t* p, insn_t s_insn, reg_t pc);
220 reg_t (rv64_amoswap_w) (processor_t* p, insn_t s_insn, reg_t pc);
221 reg_t (rv32_fmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
222 reg_t (rv64_fmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
223 reg_t (rv32_c_subw) (processor_t* p, insn_t s_insn, reg_t pc);
224 reg_t (rv64_c_subw) (processor_t* p, insn_t s_insn, reg_t pc);
225 reg_t (rv32_fmv_x_d) (processor_t* p, insn_t s_insn, reg_t pc);
226 reg_t (rv64_fmv_x_d) (processor_t* p, insn_t s_insn, reg_t pc);
227 reg_t (rv32_fcvt_d_lu) (processor_t* p, insn_t s_insn, reg_t pc);
228 reg_t (rv64_fcvt_d_lu) (processor_t* p, insn_t s_insn, reg_t pc);
229 reg_t (rv32_fmin_d) (processor_t* p, insn_t s_insn, reg_t pc);
230 reg_t (rv64_fmin_d) (processor_t* p, insn_t s_insn, reg_t pc);
231 reg_t (rv32_mulhu) (processor_t* p, insn_t s_insn, reg_t pc);
232 reg_t (rv64_mulhu) (processor_t* p, insn_t s_insn, reg_t pc);
233 reg_t (rv32_amoswap_d) (processor_t* p, insn_t s_insn, reg_t pc);
234 reg_t (rv64_amoswap_d) (processor_t* p, insn_t s_insn, reg_t pc);
235 reg_t (rv32_fsgnj_q) (processor_t* p, insn_t s_insn, reg_t pc);
236 reg_t (rv64_fsgnj_q) (processor_t* p, insn_t s_insn, reg_t pc);
237 reg_t (rv32_fcvt_q_d) (processor_t* p, insn_t s_insn, reg_t pc);
238 reg_t (rv64_fcvt_q_d) (processor_t* p, insn_t s_insn, reg_t pc);
239 reg_t (rv32_fmul_d) (processor_t* p, insn_t s_insn, reg_t pc);
240 reg_t (rv64_fmul_d) (processor_t* p, insn_t s_insn, reg_t pc);
241 reg_t (rv32_lh) (processor_t* p, insn_t s_insn, reg_t pc);
242 reg_t (rv64_lh) (processor_t* p, insn_t s_insn, reg_t pc);
243 reg_t (rv32_fcvt_q_lu) (processor_t* p, insn_t s_insn, reg_t pc);
244 reg_t (rv64_fcvt_q_lu) (processor_t* p, insn_t s_insn, reg_t pc);
245 reg_t (rv32_fcvt_w_q) (processor_t* p, insn_t s_insn, reg_t pc);
246 reg_t (rv64_fcvt_w_q) (processor_t* p, insn_t s_insn, reg_t pc);
247 reg_t (rv32_c_addi4spn) (processor_t* p, insn_t s_insn, reg_t pc);
248 reg_t (rv64_c_addi4spn) (processor_t* p, insn_t s_insn, reg_t pc);
249 reg_t (rv32_fmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
250 reg_t (rv64_fmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
251 reg_t (rv32_fmv_x_w) (processor_t* p, insn_t s_insn, reg_t pc);
252 reg_t (rv64_fmv_x_w) (processor_t* p, insn_t s_insn, reg_t pc);
253 reg_t (rv32_lb) (processor_t* p, insn_t s_insn, reg_t pc);
254 reg_t (rv64_lb) (processor_t* p, insn_t s_insn, reg_t pc);
255 reg_t (rv32_fnmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
256 reg_t (rv64_fnmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
257 reg_t (rv32_fcvt_wu_s) (processor_t* p, insn_t s_insn, reg_t pc);
258 reg_t (rv64_fcvt_wu_s) (processor_t* p, insn_t s_insn, reg_t pc);
259 reg_t (rv32_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
260 reg_t (rv64_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
261 reg_t (rv32_slti) (processor_t* p, insn_t s_insn, reg_t pc);
262 reg_t (rv64_slti) (processor_t* p, insn_t s_insn, reg_t pc);
263 reg_t (rv32_wfi) (processor_t* p, insn_t s_insn, reg_t pc);
264 reg_t (rv64_wfi) (processor_t* p, insn_t s_insn, reg_t pc);
265 reg_t (rv32_c_or) (processor_t* p, insn_t s_insn, reg_t pc);
266 reg_t (rv64_c_or) (processor_t* p, insn_t s_insn, reg_t pc);
267 reg_t (rv32_fsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
268 reg_t (rv64_fsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
269 reg_t (rv32_fadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
270 reg_t (rv64_fadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
271 reg_t (rv32_remw) (processor_t* p, insn_t s_insn, reg_t pc);
272 reg_t (rv64_remw) (processor_t* p, insn_t s_insn, reg_t pc);
273 reg_t (rv32_lr_w) (processor_t* p, insn_t s_insn, reg_t pc);
274 reg_t (rv64_lr_w) (processor_t* p, insn_t s_insn, reg_t pc);
275 reg_t (rv32_srai) (processor_t* p, insn_t s_insn, reg_t pc);
276 reg_t (rv64_srai) (processor_t* p, insn_t s_insn, reg_t pc);
277 reg_t (rv32_slliw) (processor_t* p, insn_t s_insn, reg_t pc);
278 reg_t (rv64_slliw) (processor_t* p, insn_t s_insn, reg_t pc);
279 reg_t (rv32_csrrc) (processor_t* p, insn_t s_insn, reg_t pc);
280 reg_t (rv64_csrrc) (processor_t* p, insn_t s_insn, reg_t pc);
281 reg_t (rv32_sh) (processor_t* p, insn_t s_insn, reg_t pc);
282 reg_t (rv64_sh) (processor_t* p, insn_t s_insn, reg_t pc);
283 reg_t (rv32_fmin_q) (processor_t* p, insn_t s_insn, reg_t pc);
284 reg_t (rv64_fmin_q) (processor_t* p, insn_t s_insn, reg_t pc);
285 reg_t (rv32_amomaxu_w) (processor_t* p, insn_t s_insn, reg_t pc);
286 reg_t (rv64_amomaxu_w) (processor_t* p, insn_t s_insn, reg_t pc);
287 reg_t (rv32_ori) (processor_t* p, insn_t s_insn, reg_t pc);
288 reg_t (rv64_ori) (processor_t* p, insn_t s_insn, reg_t pc);
289 reg_t (rv32_csrrsi) (processor_t* p, insn_t s_insn, reg_t pc);
290 reg_t (rv64_csrrsi) (processor_t* p, insn_t s_insn, reg_t pc);
291 reg_t (rv32_flw) (processor_t* p, insn_t s_insn, reg_t pc);
292 reg_t (rv64_flw) (processor_t* p, insn_t s_insn, reg_t pc);
293 reg_t (rv32_sd) (processor_t* p, insn_t s_insn, reg_t pc);
294 reg_t (rv64_sd) (processor_t* p, insn_t s_insn, reg_t pc);
295 reg_t (rv32_fcvt_w_d) (processor_t* p, insn_t s_insn, reg_t pc);
296 reg_t (rv64_fcvt_w_d) (processor_t* p, insn_t s_insn, reg_t pc);
297 reg_t (rv32_sub) (processor_t* p, insn_t s_insn, reg_t pc);
298 reg_t (rv64_sub) (processor_t* p, insn_t s_insn, reg_t pc);
299 reg_t (rv32_fnmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
300 reg_t (rv64_fnmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
301 reg_t (rv32_c_slli) (processor_t* p, insn_t s_insn, reg_t pc);
302 reg_t (rv64_c_slli) (processor_t* p, insn_t s_insn, reg_t pc);
303 reg_t (rv32_c_flwsp) (processor_t* p, insn_t s_insn, reg_t pc);
304 reg_t (rv64_c_flwsp) (processor_t* p, insn_t s_insn, reg_t pc);
305 reg_t (rv32_fcvt_q_w) (processor_t* p, insn_t s_insn, reg_t pc);
306 reg_t (rv64_fcvt_q_w) (processor_t* p, insn_t s_insn, reg_t pc);
307 reg_t (rv32_fmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
308 reg_t (rv64_fmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
309 reg_t (rv32_csrrw) (processor_t* p, insn_t s_insn, reg_t pc);
310 reg_t (rv64_csrrw) (processor_t* p, insn_t s_insn, reg_t pc);
311 reg_t (rv32_fcvt_s_lu) (processor_t* p, insn_t s_insn, reg_t pc);
312 reg_t (rv64_fcvt_s_lu) (processor_t* p, insn_t s_insn, reg_t pc);
313 reg_t (rv32_csrrci) (processor_t* p, insn_t s_insn, reg_t pc);
314 reg_t (rv64_csrrci) (processor_t* p, insn_t s_insn, reg_t pc);
315 reg_t (rv32_fmax_s) (processor_t* p, insn_t s_insn, reg_t pc);
316 reg_t (rv64_fmax_s) (processor_t* p, insn_t s_insn, reg_t pc);
317 reg_t (rv32_c_beqz) (processor_t* p, insn_t s_insn, reg_t pc);
318 reg_t (rv64_c_beqz) (processor_t* p, insn_t s_insn, reg_t pc);
319 reg_t (rv32_andi) (processor_t* p, insn_t s_insn, reg_t pc);
320 reg_t (rv64_andi) (processor_t* p, insn_t s_insn, reg_t pc);
321 reg_t (rv32_sc_w) (processor_t* p, insn_t s_insn, reg_t pc);
322 reg_t (rv64_sc_w) (processor_t* p, insn_t s_insn, reg_t pc);
323 reg_t (rv32_lui) (processor_t* p, insn_t s_insn, reg_t pc);
324 reg_t (rv64_lui) (processor_t* p, insn_t s_insn, reg_t pc);
325 reg_t (rv32_amomin_d) (processor_t* p, insn_t s_insn, reg_t pc);
326 reg_t (rv64_amomin_d) (processor_t* p, insn_t s_insn, reg_t pc);
327 reg_t (rv32_c_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
328 reg_t (rv64_c_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
329 reg_t (rv32_amoor_d) (processor_t* p, insn_t s_insn, reg_t pc);
330 reg_t (rv64_amoor_d) (processor_t* p, insn_t s_insn, reg_t pc);
331 reg_t (rv32_fmax_q) (processor_t* p, insn_t s_insn, reg_t pc);
332 reg_t (rv64_fmax_q) (processor_t* p, insn_t s_insn, reg_t pc);
333 reg_t (rv32_feq_s) (processor_t* p, insn_t s_insn, reg_t pc);
334 reg_t (rv64_feq_s) (processor_t* p, insn_t s_insn, reg_t pc);
335 reg_t (rv32_mul) (processor_t* p, insn_t s_insn, reg_t pc);
336 reg_t (rv64_mul) (processor_t* p, insn_t s_insn, reg_t pc);
337 reg_t (rv32_srlw) (processor_t* p, insn_t s_insn, reg_t pc);
338 reg_t (rv64_srlw) (processor_t* p, insn_t s_insn, reg_t pc);
339 reg_t (rv32_sb) (processor_t* p, insn_t s_insn, reg_t pc);
340 reg_t (rv64_sb) (processor_t* p, insn_t s_insn, reg_t pc);
341 reg_t (rv32_c_fswsp) (processor_t* p, insn_t s_insn, reg_t pc);
342 reg_t (rv64_c_fswsp) (processor_t* p, insn_t s_insn, reg_t pc);
343 reg_t (rv32_lwu) (processor_t* p, insn_t s_insn, reg_t pc);
344 reg_t (rv64_lwu) (processor_t* p, insn_t s_insn, reg_t pc);
345 reg_t (rv32_addi) (processor_t* p, insn_t s_insn, reg_t pc);
346 reg_t (rv64_addi) (processor_t* p, insn_t s_insn, reg_t pc);
347 reg_t (rv32_fld) (processor_t* p, insn_t s_insn, reg_t pc);
348 reg_t (rv64_fld) (processor_t* p, insn_t s_insn, reg_t pc);
349 reg_t (rv32_fle_d) (processor_t* p, insn_t s_insn, reg_t pc);
350 reg_t (rv64_fle_d) (processor_t* p, insn_t s_insn, reg_t pc);
351 reg_t (rv32_or) (processor_t* p, insn_t s_insn, reg_t pc);
352 reg_t (rv64_or) (processor_t* p, insn_t s_insn, reg_t pc);
353 reg_t (rv32_srliw) (processor_t* p, insn_t s_insn, reg_t pc);
354 reg_t (rv64_srliw) (processor_t* p, insn_t s_insn, reg_t pc);
355 reg_t (rv32_amoand_w) (processor_t* p, insn_t s_insn, reg_t pc);
356 reg_t (rv64_amoand_w) (processor_t* p, insn_t s_insn, reg_t pc);
357 reg_t (rv32_divu) (processor_t* p, insn_t s_insn, reg_t pc);
358 reg_t (rv64_divu) (processor_t* p, insn_t s_insn, reg_t pc);
359 reg_t (rv32_fadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
360 reg_t (rv64_fadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
361 reg_t (rv32_dret) (processor_t* p, insn_t s_insn, reg_t pc);
362 reg_t (rv64_dret) (processor_t* p, insn_t s_insn, reg_t pc);
363 reg_t (rv32_fcvt_l_s) (processor_t* p, insn_t s_insn, reg_t pc);
364 reg_t (rv64_fcvt_l_s) (processor_t* p, insn_t s_insn, reg_t pc);
365 reg_t (rv32_amomax_d) (processor_t* p, insn_t s_insn, reg_t pc);
366 reg_t (rv64_amomax_d) (processor_t* p, insn_t s_insn, reg_t pc);
367 reg_t (rv32_amomaxu_d) (processor_t* p, insn_t s_insn, reg_t pc);
368 reg_t (rv64_amomaxu_d) (processor_t* p, insn_t s_insn, reg_t pc);
369 reg_t (rv32_fsgnjn_s) (processor_t* p, insn_t s_insn, reg_t pc);
370 reg_t (rv64_fsgnjn_s) (processor_t* p, insn_t s_insn, reg_t pc);
371 reg_t (rv32_fcvt_s_d) (processor_t* p, insn_t s_insn, reg_t pc);
372 reg_t (rv64_fcvt_s_d) (processor_t* p, insn_t s_insn, reg_t pc);
373 reg_t (rv32_fdiv_d) (processor_t* p, insn_t s_insn, reg_t pc);
374 reg_t (rv64_fdiv_d) (processor_t* p, insn_t s_insn, reg_t pc);
375 reg_t (rv32_fcvt_q_l) (processor_t* p, insn_t s_insn, reg_t pc);
376 reg_t (rv64_fcvt_q_l) (processor_t* p, insn_t s_insn, reg_t pc);
377 reg_t (rv32_fence) (processor_t* p, insn_t s_insn, reg_t pc);
378 reg_t (rv64_fence) (processor_t* p, insn_t s_insn, reg_t pc);
379 reg_t (rv32_fsgnjx_s) (processor_t* p, insn_t s_insn, reg_t pc);
380 reg_t (rv64_fsgnjx_s) (processor_t* p, insn_t s_insn, reg_t pc);
381 reg_t (rv32_fclass_d) (processor_t* p, insn_t s_insn, reg_t pc);
382 reg_t (rv64_fclass_d) (processor_t* p, insn_t s_insn, reg_t pc);
383 reg_t (rv32_fdiv_q) (processor_t* p, insn_t s_insn, reg_t pc);
384 reg_t (rv64_fdiv_q) (processor_t* p, insn_t s_insn, reg_t pc);
385 reg_t (rv32_fcvt_q_s) (processor_t* p, insn_t s_insn, reg_t pc);
386 reg_t (rv64_fcvt_q_s) (processor_t* p, insn_t s_insn, reg_t pc);
387 reg_t (rv32_flt_s) (processor_t* p, insn_t s_insn, reg_t pc);
388 reg_t (rv64_flt_s) (processor_t* p, insn_t s_insn, reg_t pc);
389 reg_t (rv32_amominu_w) (processor_t* p, insn_t s_insn, reg_t pc);
390 reg_t (rv64_amominu_w) (processor_t* p, insn_t s_insn, reg_t pc);
391 reg_t (rv32_sra) (processor_t* p, insn_t s_insn, reg_t pc);
392 reg_t (rv64_sra) (processor_t* p, insn_t s_insn, reg_t pc);
393 reg_t (rv32_sret) (processor_t* p, insn_t s_insn, reg_t pc);
394 reg_t (rv64_sret) (processor_t* p, insn_t s_insn, reg_t pc);
395 reg_t (rv32_amoxor_d) (processor_t* p, insn_t s_insn, reg_t pc);
396 reg_t (rv64_amoxor_d) (processor_t* p, insn_t s_insn, reg_t pc);
397 reg_t (rv32_mulh) (processor_t* p, insn_t s_insn, reg_t pc);
398 reg_t (rv64_mulh) (processor_t* p, insn_t s_insn, reg_t pc);
399 reg_t (rv32_sll) (processor_t* p, insn_t s_insn, reg_t pc);
400 reg_t (rv64_sll) (processor_t* p, insn_t s_insn, reg_t pc);
401 reg_t (rv32_lbu) (processor_t* p, insn_t s_insn, reg_t pc);
402 reg_t (rv64_lbu) (processor_t* p, insn_t s_insn, reg_t pc);
403 reg_t (rv32_fcvt_wu_d) (processor_t* p, insn_t s_insn, reg_t pc);
404 reg_t (rv64_fcvt_wu_d) (processor_t* p, insn_t s_insn, reg_t pc);
405 reg_t (rv32_sraiw) (processor_t* p, insn_t s_insn, reg_t pc);
406 reg_t (rv64_sraiw) (processor_t* p, insn_t s_insn, reg_t pc);
407 reg_t (rv32_sllw) (processor_t* p, insn_t s_insn, reg_t pc);
408 reg_t (rv64_sllw) (processor_t* p, insn_t s_insn, reg_t pc);
409 reg_t (rv32_sw) (processor_t* p, insn_t s_insn, reg_t pc);
410 reg_t (rv64_sw) (processor_t* p, insn_t s_insn, reg_t pc);
411 reg_t (rv32_fcvt_lu_d) (processor_t* p, insn_t s_insn, reg_t pc);
412 reg_t (rv64_fcvt_lu_d) (processor_t* p, insn_t s_insn, reg_t pc);
413 reg_t (rv32_c_swsp) (processor_t* p, insn_t s_insn, reg_t pc);
414 reg_t (rv64_c_swsp) (processor_t* p, insn_t s_insn, reg_t pc);
415 reg_t (rv32_fsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
416 reg_t (rv64_fsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
417 reg_t (rv32_fle_s) (processor_t* p, insn_t s_insn, reg_t pc);
418 reg_t (rv64_fle_s) (processor_t* p, insn_t s_insn, reg_t pc);
419 reg_t (rv32_amomin_w) (processor_t* p, insn_t s_insn, reg_t pc);
420 reg_t (rv64_amomin_w) (processor_t* p, insn_t s_insn, reg_t pc);
421 reg_t (rv32_c_fldsp) (processor_t* p, insn_t s_insn, reg_t pc);
422 reg_t (rv64_c_fldsp) (processor_t* p, insn_t s_insn, reg_t pc);
423 reg_t (rv32_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
424 reg_t (rv64_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
425 reg_t (rv32_flq) (processor_t* p, insn_t s_insn, reg_t pc);
426 reg_t (rv64_flq) (processor_t* p, insn_t s_insn, reg_t pc);
427 reg_t (rv32_fcvt_d_wu) (processor_t* p, insn_t s_insn, reg_t pc);
428 reg_t (rv64_fcvt_d_wu) (processor_t* p, insn_t s_insn, reg_t pc);
429 reg_t (rv32_fmv_w_x) (processor_t* p, insn_t s_insn, reg_t pc);
430 reg_t (rv64_fmv_w_x) (processor_t* p, insn_t s_insn, reg_t pc);
431 reg_t (rv32_slt) (processor_t* p, insn_t s_insn, reg_t pc);
432 reg_t (rv64_slt) (processor_t* p, insn_t s_insn, reg_t pc);
433 reg_t (rv32_fle_q) (processor_t* p, insn_t s_insn, reg_t pc);
434 reg_t (rv64_fle_q) (processor_t* p, insn_t s_insn, reg_t pc);
435 reg_t (rv32_fcvt_l_d) (processor_t* p, insn_t s_insn, reg_t pc);
436 reg_t (rv64_fcvt_l_d) (processor_t* p, insn_t s_insn, reg_t pc);
437 reg_t (rv32_fcvt_lu_q) (processor_t* p, insn_t s_insn, reg_t pc);
438 reg_t (rv64_fcvt_lu_q) (processor_t* p, insn_t s_insn, reg_t pc);
439 reg_t (rv32_fcvt_wu_q) (processor_t* p, insn_t s_insn, reg_t pc);
440 reg_t (rv64_fcvt_wu_q) (processor_t* p, insn_t s_insn, reg_t pc);
441 reg_t (rv32_amoadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
442 reg_t (rv64_amoadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
443 reg_t (rv32_fmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
444 reg_t (rv64_fmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
445 reg_t (rv32_c_sw) (processor_t* p, insn_t s_insn, reg_t pc);
446 reg_t (rv64_c_sw) (processor_t* p, insn_t s_insn, reg_t pc);
447 reg_t (rv32_remuw) (processor_t* p, insn_t s_insn, reg_t pc);
448 reg_t (rv64_remuw) (processor_t* p, insn_t s_insn, reg_t pc);
449 reg_t (rv32_div) (processor_t* p, insn_t s_insn, reg_t pc);
450 reg_t (rv64_div) (processor_t* p, insn_t s_insn, reg_t pc);
451 reg_t (rv32_fcvt_lu_s) (processor_t* p, insn_t s_insn, reg_t pc);
452 reg_t (rv64_fcvt_lu_s) (processor_t* p, insn_t s_insn, reg_t pc);
453 reg_t (rv32_lw) (processor_t* p, insn_t s_insn, reg_t pc);
454 reg_t (rv64_lw) (processor_t* p, insn_t s_insn, reg_t pc);
455 reg_t (rv32_fsgnjn_d) (processor_t* p, insn_t s_insn, reg_t pc);
456 reg_t (rv64_fsgnjn_d) (processor_t* p, insn_t s_insn, reg_t pc);
457 reg_t (rv32_amoxor_w) (processor_t* p, insn_t s_insn, reg_t pc);
458 reg_t (rv64_amoxor_w) (processor_t* p, insn_t s_insn, reg_t pc);
459 reg_t (rv32_fcvt_q_wu) (processor_t* p, insn_t s_insn, reg_t pc);
460 reg_t (rv64_fcvt_q_wu) (processor_t* p, insn_t s_insn, reg_t pc);