diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-21 00:21:46 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-31 18:29:45 -0700 |
| commit | bdcb5b297f9919bdd1a1b6031a3b5c469e982d14 (patch) | |
| tree | a9c411e8bd1dba295217d8aa28f23b56d4f39313 /riscv/insns/c_srli.h | |
| parent | 292fef830dad9d6d8b868ba27cf4ddd80bf9243a (diff) | |
| download | riscv-isa-sim-bdcb5b297f9919bdd1a1b6031a3b5c469e982d14.zip riscv-isa-sim-bdcb5b297f9919bdd1a1b6031a3b5c469e982d14.tar.gz riscv-isa-sim-bdcb5b297f9919bdd1a1b6031a3b5c469e982d14.tar.bz2 | |
New RV64C proposal
Diffstat (limited to 'riscv/insns/c_srli.h')
| -rw-r--r-- | riscv/insns/c_srli.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h new file mode 100644 index 0000000..bf29f5f --- /dev/null +++ b/riscv/insns/c_srli.h @@ -0,0 +1,3 @@ +require_extension('C'); +require(insn.rvc_imm() < xlen); +WRITE_RD(sext_xlen(zext_xlen(RVC_RS1) >> insn.rvc_imm())); |