diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-04 13:39:42 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-04 13:39:42 -0700 |
| commit | 784e9891af88db221b57bdffbea74d1c6bf99971 (patch) | |
| tree | 3124895bbb1ed876d9951415696c7dd1bb06b208 /riscv/insns/c_addi.h | |
| parent | 84b15dac7035f7e23fa821091ce97ae30ce2b0d8 (diff) | |
| download | spike-784e9891af88db221b57bdffbea74d1c6bf99971.zip spike-784e9891af88db221b57bdffbea74d1c6bf99971.tar.gz spike-784e9891af88db221b57bdffbea74d1c6bf99971.tar.bz2 | |
Move towards RVC v1.8
Diffstat (limited to 'riscv/insns/c_addi.h')
| -rw-r--r-- | riscv/insns/c_addi.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/riscv/insns/c_addi.h b/riscv/insns/c_addi.h index cea2a18..eb98344 100644 --- a/riscv/insns/c_addi.h +++ b/riscv/insns/c_addi.h @@ -1,7 +1,2 @@ require_extension('C'); -if (insn.rvc_rd() == 0) { // c.addi16sp - WRITE_REG(X_SP, sext_xlen(RVC_SP + insn.rvc_addi16sp_imm())); -} else { - require(insn.rvc_imm() != 0); - WRITE_RD(sext_xlen(RVC_RS1 + insn.rvc_imm())); -} +WRITE_RD(sext_xlen(RVC_RS1 + insn.rvc_imm())); |