From eb901304175d51f9db9ce055c1332e02f3b83cce Mon Sep 17 00:00:00 2001
From: hirooih <24754036+hirooih@users.noreply.github.com>
Date: Tue, 9 Jan 2024 08:54:59 +0900
Subject: Add `.rv32` on rv32_zbs and rv32_zbb instructions (#220)

* Add .rv32 on rv32_zbs instructions

to be consistent with slli, srli, and srai.

Signed-off-by: Hiroo HAYASHI <24754036+hirooih@users.noreply.github.com>

* Add .rv32 on rv32_zbb instructions

- zext.h.rv32, rev8.rv32, and rori.rev32

-  rev8.rv32, and rori.rev32 are also aliased in rv32_{zk,zkn,zks,zbkb}
  - only rv32_zks is shown in the extension field

Signed-off-by: Hiroo HAYASHI <24754036+hirooih@users.noreply.github.com>

---------

Signed-off-by: Hiroo HAYASHI <24754036+hirooih@users.noreply.github.com>
---
 rv32_zkn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'rv32_zkn')

diff --git a/rv32_zkn b/rv32_zkn
index e491103..0bd9443 100644
--- a/rv32_zkn
+++ b/rv32_zkn
@@ -1,8 +1,8 @@
 #import zbkb
 $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
 
 #import zkne
 $import rv32_zkne::aes32esmi
-- 
cgit v1.1