reg_t rv32_NAME(processor_t* p, insn_t insn, reg_t pc)
{
- int xprlen = 32;
- reg_t npc = sext_xprlen(pc + insn_length(OPCODE));
+ int xlen = 32;
+ reg_t npc = sext_xlen(pc + insn_length(OPCODE));
#include "insns/NAME.h"
+ trace_opcode(p, OPCODE, insn);
return npc;
}
reg_t rv64_NAME(processor_t* p, insn_t insn, reg_t pc)
{
- int xprlen = 64;
- reg_t npc = sext_xprlen(pc + insn_length(OPCODE));
+ int xlen = 64;
+ reg_t npc = sext_xlen(pc + insn_length(OPCODE));
#include "insns/NAME.h"
+ trace_opcode(p, OPCODE, insn);
return npc;
}