From 4bbd0127147a23e987b8084ff68133ac1f297e64 Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue Date: Sun, 5 May 2024 17:02:35 -0500 Subject: [PATCH] Mark xperm4/8 of Zbkx as ratified --- rv_zbkx | 4 ++-- rv_zk | 4 ++-- rv_zkn | 4 ++-- rv_zks | 4 ++-- unratified/rv_zbp | 2 -- 5 files changed, 8 insertions(+), 10 deletions(-) diff --git a/rv_zbkx b/rv_zbkx index f6b64d94..12bc0b49 100644 --- 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 index c4dc854a..bdd85145 100644 --- 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 index c4dc854a..bdd85145 100644 --- 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 index f88a09b9..20516f34 100644 --- 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 index 61c47d3f..bd95dd26 100644 --- 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