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