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_xprlen(pc
+ insn_length(OPCODE
));
9 #include "insns/NAME.h"
13 reg_t
rv64_NAME(processor_t
* p
, insn_t insn
, reg_t pc
)
16 reg_t npc
= sext_xprlen(pc
+ insn_length(OPCODE
));
17 #include "insns/NAME.h"