aboutsummaryrefslogtreecommitdiff
path: root/rv32_zbkb
diff options
context:
space:
mode:
Diffstat (limited to 'rv32_zbkb')
-rw-r--r--rv32_zbkb4
1 files changed, 2 insertions, 2 deletions
diff --git a/rv32_zbkb b/rv32_zbkb
index f791453..e302531 100644
--- a/rv32_zbkb
+++ b/rv32_zbkb
@@ -1,4 +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 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
-$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x698 14..12=5 6..0=0x13
+$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