Mark xperm4/8 of Zbkx as ratified

riscv · May 5, 2024 · 4bbd012 · 4bbd012
1 parent fbbbd5d
commit 4bbd012
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 10 deletions.
diff --git a/rv_zbkx b/rv_zbkx
@@ -1,2 +1,2 @@
-$import rv_zbp::xperm4
-$import rv_zbp::xperm8
+xperm4     rd rs1 rs2 31..25=20 14..12=2 6..2=0x0C 1..0=3
+xperm8     rd rs1 rs2 31..25=20 14..12=4 6..2=0x0C 1..0=3
diff --git a/rv_zk b/rv_zk
@@ -13,8 +13,8 @@ $import rv_zbc::clmul
 $import rv_zbc::clmulh
 
 #import zbkx
-$import rv_zbp::xperm4
-$import rv_zbp::xperm8
+$import rv_zbkx::xperm4
+$import rv_zbkx::xperm8
 
 #import zknh
 # Scalar SHA256 - RV32/RV64

diff --git a/rv_zkn b/rv_zkn
@@ -13,8 +13,8 @@ $import rv_zbc::clmul
 $import rv_zbc::clmulh
 
 #import zbkx
-$import rv_zbp::xperm4
-$import rv_zbp::xperm8
+$import rv_zbkx::xperm4
+$import rv_zbkx::xperm8
 
 #import zknh
 # Scalar SHA256 - RV32/RV64

diff --git a/rv_zks b/rv_zks
@@ -13,8 +13,8 @@ $import rv_zbc::clmul
 $import rv_zbc::clmulh
 
 #import zbkx
-$import rv_zbp::xperm4
-$import rv_zbp::xperm8
+$import rv_zbkx::xperm4
+$import rv_zbkx::xperm8
 
 # Scalar SM4 - RV32, RV64
 $import rv_zksed::sm4ed

diff --git a/unratified/rv_zbp b/unratified/rv_zbp
@@ -1,3 +1 @@
-xperm4     rd rs1 rs2 31..25=20 14..12=2 6..2=0x0C 1..0=3
-xperm8     rd rs1 rs2 31..25=20 14..12=4 6..2=0x0C 1..0=3
 xperm16    rd rs1 rs2 31..25=20 14..12=6 6..2=0x0C 1..0=3