1 // See LICENSE for license details.
3 #include "insn_template.h"
9 reg_t
rv32_NAME(processor_t
* p
, insn_t s_insn
, reg_t pc
)
12 reg_t npc
= sext_xlen(pc
+ insn_length(OPCODE
));
13 insn_bits_t bits
= s_insn
.bits();
16 sv_insn_t
insn(bits
, voffs
);
17 #include "insns/NAME.h"
18 trace_opcode(p
, OPCODE
, s_insn
);
21 #include "insns/NAME.h"
22 trace_opcode(p
, OPCODE
, s_insn
);
27 reg_t
rv64_NAME(processor_t
* p
, insn_t s_insn
, reg_t pc
)
30 reg_t npc
= sext_xlen(pc
+ insn_length(OPCODE
));
31 insn_bits_t bits
= s_insn
.bits();
34 sv_insn_t
insn(bits
, voffs
);
35 #include "insns/NAME.h"
36 trace_opcode(p
, OPCODE
, s_insn
);
39 #include "insns/NAME.h"
40 trace_opcode(p
, OPCODE
, s_insn
);