cea2a1812e3fe8aaa2729489e153864cb40951f6
1 require_extension('C');
2 if (insn
.rvc_rd() == 0) { // c.addi16sp
3 WRITE_REG(X_SP
, sext_xlen(RVC_SP
+ insn
.rvc_addi16sp_imm()));
5 require(insn
.rvc_imm() != 0);
6 WRITE_RD(sext_xlen(RVC_RS1
+ insn
.rvc_imm()));