--- /dev/null
+ reg_t (rv32_bne) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_bne) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsqrt_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsqrt_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_lwsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_lwsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnj_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnj_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_addw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_addw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmul_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmul_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_xor) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_xor) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_jal) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_jal) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_s_l) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_s_l) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_xor) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_xor) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_l_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_l_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_lw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_lw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sc_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sc_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amomax_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amomax_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_beq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_beq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_lui) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_lui) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_remu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_remu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnjx_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnjx_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_s_wu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_s_wu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fnmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fnmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_feq_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_feq_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_flw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_flw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_csrrs) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_csrrs) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_d_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_d_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_srai) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_srai) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_jal) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_jal) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_and) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_and) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_and) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_and) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoor_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoor_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_bgeu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_bgeu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fnmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fnmadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_ecall) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_ecall) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_andi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_andi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_mret) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_mret) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnjx_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnjx_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fence_i) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fence_i) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fnmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fnmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_d_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_d_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_j) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_j) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_blt) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_blt) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sltiu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sltiu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmul_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmul_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_feq_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_feq_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fclass_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fclass_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_ld) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_ld) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_add) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_add) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_srl) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_srl) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_ebreak) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmv_d_x) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmv_d_x) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmin_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmin_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmax_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmax_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_xori) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_xori) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_bnez) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_bnez) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sltu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sltu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_divuw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_divuw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fdiv_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fdiv_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_flt_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_flt_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_srli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_srli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sv_beq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sv_beq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sraw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sraw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_jr) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_jr) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amominu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amominu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_s_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_s_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_auipc) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_auipc) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_slli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_slli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_mv) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_mv) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_sub) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_sub) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsqrt_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsqrt_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fnmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fnmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_srli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_srli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnjn_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnjn_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_fsdsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_fsdsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_li) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_li) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fclass_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fclass_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoadd_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoadd_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_bltu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_bltu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_s_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_s_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lr_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lr_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_mulw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_mulw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_fld) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_fld) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_rem) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_rem) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoand_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoand_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsqrt_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsqrt_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_add) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_add) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_w_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_w_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sfence_vma) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sfence_vma) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_addi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_addi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lhu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lhu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sv_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sv_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_subw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_subw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_addiw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_addiw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnj_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnj_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_bge) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_bge) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_d_l) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_d_l) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_divw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_divw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_d_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_d_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_flt_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_flt_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_addw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_addw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_csrrwi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_mulhsu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_mulhsu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoswap_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoswap_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_subw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_subw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmv_x_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmv_x_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_d_lu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_d_lu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmin_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmin_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_mulhu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_mulhu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoswap_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoswap_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnj_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnj_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_q_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_q_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmul_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmul_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lh) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lh) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_q_lu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_q_lu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_w_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_w_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_addi4spn) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_addi4spn) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmv_x_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmv_x_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lb) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lb) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fnmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fnmsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_wu_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_wu_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_slti) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_slti) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_wfi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_wfi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_or) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_or) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsub_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_remw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_remw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lr_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lr_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_srai) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_srai) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_slliw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_slliw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_csrrc) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_csrrc) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sh) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sh) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmin_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmin_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amomaxu_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amomaxu_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_ori) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_ori) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_csrrsi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_csrrsi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_flw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_flw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sd) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sd) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_w_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_w_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sub) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sub) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fnmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fnmsub_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_slli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_slli) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_flwsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_flwsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_q_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_q_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmadd_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_csrrw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_csrrw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_s_lu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_s_lu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_csrrci) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_csrrci) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmax_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmax_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_beqz) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_beqz) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_andi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_andi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sc_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sc_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lui) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lui) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amomin_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amomin_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_jalr) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoor_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoor_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmax_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmax_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_feq_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_feq_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_mul) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_mul) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_srlw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_srlw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sb) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sb) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_fswsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_fswsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lwu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lwu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_addi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_addi) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fld) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fld) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fle_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fle_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_or) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_or) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_srliw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_srliw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoand_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoand_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_divu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_divu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_dret) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_dret) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_l_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_l_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amomax_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amomax_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amomaxu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amomaxu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnjn_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnjn_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_s_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_s_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fdiv_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fdiv_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_q_l) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_q_l) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fence) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fence) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnjx_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnjx_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fclass_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fclass_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fdiv_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fdiv_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_q_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_q_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_flt_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_flt_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amominu_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amominu_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sra) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sra) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sret) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sret) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoxor_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoxor_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_mulh) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_mulh) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sll) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sll) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lbu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lbu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_wu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_wu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sraiw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sraiw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sllw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sllw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_sw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_sw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_lu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_lu_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_swsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_swsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsub_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fle_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fle_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amomin_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amomin_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_fldsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_fldsp) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsd) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_flq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_flq) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_d_wu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_d_wu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmv_w_x) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmv_w_x) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_slt) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_slt) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fle_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fle_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_l_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_l_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_lu_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_lu_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_wu_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_wu_q) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoadd_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fmadd_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_c_sw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_c_sw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_remuw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_remuw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_div) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_div) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_lu_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_lu_s) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_lw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_lw) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fsgnjn_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fsgnjn_d) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_amoxor_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_amoxor_w) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv32_fcvt_q_wu) (processor_t* p, insn_t s_insn, reg_t pc);
+ reg_t (rv64_fcvt_q_wu) (processor_t* p, insn_t s_insn, reg_t pc);