1 // See LICENSE for license details.
7 #include "platform.h" // softfloat isNaNF32UI, etc.
8 #include "internals.h" // ditto
11 reg_t
processor_t::rv32_NAME(insn_t insn
, reg_t pc
)
14 reg_t npc
= sext_xprlen(pc
+ insn_length(OPCODE
));
15 #include "insns/NAME.h"
19 reg_t
processor_t::rv64_NAME(insn_t insn
, reg_t pc
)
22 reg_t npc
= sext_xprlen(pc
+ insn_length(OPCODE
));
23 #include "insns/NAME.h"