diff options
Diffstat (limited to 'extensions/rv32_zbkb')
| -rw-r--r-- | extensions/rv32_zbkb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extensions/rv32_zbkb b/extensions/rv32_zbkb new file mode 100644 index 0000000..55b7be9 --- /dev/null +++ b/extensions/rv32_zbkb @@ -0,0 +1,4 @@ +$pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3 +$pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3 +$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3 +$pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13 |