1 // See LICENSE for license details.
3 #include "insn_template.h"
5 reg_t
rv32_NAME(processor_t
* p
, insn_t insn
, reg_t pc
)
8 reg_t npc
= sext_xlen(pc
+ insn_length(OPCODE
));
9 #include "insns/NAME.h"
10 trace_opcode(p
, OPCODE
, insn
);
14 reg_t
rv64_NAME(processor_t
* p
, insn_t insn
, reg_t pc
)
17 reg_t npc
= sext_xlen(pc
+ insn_length(OPCODE
));
18 #include "insns/NAME.h"
19 trace_opcode(p
, OPCODE
, insn
);