-if(sreg_t(RS1) < sreg_t(RS2))
+if(rv_lt(sreg_t(RS1), sreg_t(RS2)))
set_pc(BRANCH_TARGET);
-if(RS1 < RS2)
+if(rv_lt(RS1, RS2))
set_pc(BRANCH_TARGET);
-WRITE_RD(MMU.load_int8(RS1 + insn.i_imm()));
+WRITE_RD(MMU.load_int8(rv_add(RS1, insn.i_imm())));
-WRITE_RD(MMU.load_uint8(RS1 + insn.i_imm()));
+WRITE_RD(MMU.load_uint8(rv_add(RS1, insn.i_imm())));
require_rv64;
-WRITE_RD(MMU.load_int64(RS1 + insn.i_imm()));
+WRITE_RD(MMU.load_int64(rv_add(RS1, insn.i_imm())));
-WRITE_RD(MMU.load_int32(RS1 + insn.i_imm()));
+WRITE_RD(MMU.load_int32(rv_add(RS1, insn.i_imm())));