diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-11 14:48:11 +0200 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2020-10-22 17:00:11 -0700 |
| commit | 70d7081acb5be54ea7fa4c3f9ef9a6134a43519e (patch) | |
| tree | 6bf1c33283d13b4b197047f225d45cd253ceaccf /riscv/insns/fsrw.h | |
| parent | f1c24eff543e6f41980993f41ae1ab5ab80a7340 (diff) | |
| download | spike-70d7081acb5be54ea7fa4c3f9ef9a6134a43519e.zip spike-70d7081acb5be54ea7fa4c3f9ef9a6134a43519e.tar.gz spike-70d7081acb5be54ea7fa4c3f9ef9a6134a43519e.tar.bz2 | |
[riscv-bitmanip] Add bitmanip instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'riscv/insns/fsrw.h')
| -rw-r--r-- | riscv/insns/fsrw.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/riscv/insns/fsrw.h b/riscv/insns/fsrw.h new file mode 100644 index 0000000..1511fbe --- /dev/null +++ b/riscv/insns/fsrw.h @@ -0,0 +1,10 @@ +require_rv64; +require_extension('B'); +int shamt = RS2 & 63; +reg_t a = RS1, b = RS3; +if (shamt >= 32) { + a = RS3, b = RS1; + shamt -= 32; +} +int rshamt = -shamt & 31; +WRITE_RD(sext32(shamt ? (b << rshamt) | (zext32(a) >> shamt) : a)); |