diff options
Diffstat (limited to 'extensions/rv64_zbs')
| -rw-r--r-- | extensions/rv64_zbs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extensions/rv64_zbs b/extensions/rv64_zbs new file mode 100644 index 0000000..4e15b66 --- /dev/null +++ b/extensions/rv64_zbs @@ -0,0 +1,4 @@ +bclri rd rs1 31..26=0x12 shamtd 14..12=1 6..2=0x04 1..0=3 +bexti rd rs1 31..26=0x12 shamtd 14..12=5 6..2=0x04 1..0=3 +binvi rd rs1 31..26=0x1a shamtd 14..12=1 6..2=0x04 1..0=3 +bseti rd rs1 31..26=0x0a shamtd 14..12=1 6..2=0x04 1..0=3 |