Add scalar crypto bitmanip tests (#646)HEADmaster

* Add first version of tests for Krypto B Extension (Zbkb, Zbkc, Zbkx)

* Fix build of Zbkb/Zbkx tests

* Remove duplicate tests

* Fix bugs in packh, packw tests

---------

Co-authored-by: Furkan Aktas <f_rkan_aktas@proton.me>

5 files changed, 279 insertions, 0 deletions

diff --git a/isa/rv64uzbkb/Makefrag b/isa/rv64uzbkb/Makefrag
new file mode 100644
index 0000000..b116c70
--- /dev/null
+++ b/isa/rv64uzbkb/Makefrag
@@ -0,0 +1,11 @@
+rv64uzbkb_sc_tests = \
+	brev8 \
+	pack \
+	packh \
+	packw \
+
+rv64uzbkb_p_tests = $(addprefix rv64uzbkb-p-, $(rv64uzbkb_sc_tests))
+rv64uzbkb_v_tests = $(addprefix rv64uzbkb-v-, $(rv64uzbkb_sc_tests))
+rv64uzbkb_ps_tests = $(addprefix rv64uzbkb-ps-, $(rv64uzbkb_sc_tests))
+
+spike_tests += $(rv64uzbkb_p_tests) $(rv64uzbkb_v_tests)
diff --git a/isa/rv64uzbkb/brev8.S b/isa/rv64uzbkb/brev8.S
new file mode 100644
index 0000000..049644f
--- /dev/null
+++ b/isa/rv64uzbkb/brev8.S
@@ -0,0 +1,56 @@
+# See LICENSE for license details.
+
+#*****************************************************************************
+# brev8.S
+#-----------------------------------------------------------------------------
+#
+# Test brev8 instruction.
+#
+
+#include "riscv_test.h"
+#include "test_macros.h"
+
+RVTEST_RV64U
+RVTEST_CODE_BEGIN
+
+  #-------------------------------------------------------------
+  # Arithmetic tests
+  #-------------------------------------------------------------
+
+  TEST_R_OP( 2, brev8, 0x80C4A2E6, 0x01234567 );
+  TEST_R_OP( 3, brev8, 0x00000000, 0x00000000 );
+  TEST_R_OP( 4, brev8, 0xFFFFFFFF, 0xFFFFFFFF );
+  TEST_R_OP( 5, brev8, 0x55555555, 0xAAAAAAAA );
+  TEST_R_OP( 6, brev8, 0xAAAAAAAA, 0x55555555 );
+
+#if __riscv_xlen == 64
+  TEST_R_OP( 7, brev8, 0x80C4A2E680C4A2E6, 0x0123456701234567 );
+  TEST_R_OP( 8, brev8, 0x0F0F0F0F0F0F0F0F, 0xF0F0F0F0F0F0F0F0 );
+  TEST_R_OP( 9, brev8, 0xF0F0F0F0F0F0F0F0, 0x0F0F0F0F0F0F0F0F );
+  TEST_R_OP( 10, brev8, 0x0000000000000000, 0x0000000000000000 );
+  TEST_R_OP( 11, brev8, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+#endif
+
+  #-------------------------------------------------------------
+  # Source/Destination tests
+  #-------------------------------------------------------------
+
+  TEST_R_SRC1_EQ_DEST( 12, brev8, 0x80C4A2E6, 0x01234567 );
+  TEST_R_SRC1_EQ_DEST( 13, brev8, 0x55555555, 0xAAAAAAAA );
+
+  #-------------------------------------------------------------
+  # Bypassing tests
+  #-------------------------------------------------------------
+
+  TEST_R_DEST_BYPASS( 14, 0, brev8, 0x80C4A2E6, 0x01234567 );
+  TEST_R_DEST_BYPASS( 15, 1, brev8, 0x55555555, 0xAAAAAAAA );
+  TEST_R_DEST_BYPASS( 16, 2, brev8, 0xAAAAAAAA, 0x55555555 );
+
+  TEST_PASSFAIL
+
+RVTEST_CODE_END
+
+  .data
+RVTEST_DATA_BEGIN
+  TEST_DATA
+RVTEST_DATA_END
diff --git a/isa/rv64uzbkb/pack.S b/isa/rv64uzbkb/pack.S
new file mode 100644
index 0000000..df4e76c
--- /dev/null
+++ b/isa/rv64uzbkb/pack.S
@@ -0,0 +1,76 @@
+# See LICENSE for license details.
+
+#*****************************************************************************
+# pack.S
+#-----------------------------------------------------------------------------
+#
+# Test pack instruction.
+#
+
+#include "riscv_test.h"
+#include "test_macros.h"
+
+RVTEST_RV64U
+RVTEST_CODE_BEGIN
+
+  #-------------------------------------------------------------
+  # Arithmetic tests
+  #-------------------------------------------------------------
+
+  TEST_RR_OP( 2, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_OP( 3, pack, 0xFFFF00000000FFFF, 0x000000000000FFFF, 0x00000000FFFF0000 );
+  TEST_RR_OP( 4, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_OP( 5, pack, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+  TEST_RR_OP( 6, pack, 0x55555555AAAAAAAA, 0x00000000AAAAAAAA, 0x0000000055555555 );
+
+#if __riscv_xlen == 64
+  TEST_RR_OP( 7, pack, 0xDDEEFF0055667788, 0x1122334455667788, 0x99AABBCCDDEEFF00 );
+  TEST_RR_OP( 8, pack, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF, 0xFFFFFFFF00000000 );
+  TEST_RR_OP( 9, pack, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_OP( 10, pack, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+  TEST_RR_OP( 11, pack, 0x55555555AAAAAAAA, 0xAAAAAAAAAAAAAAAA, 0x5555555555555555 );
+#endif
+
+  #-------------------------------------------------------------
+  # Source/Destination tests
+  #-------------------------------------------------------------
+
+  TEST_RR_SRC1_EQ_DEST( 12, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC2_EQ_DEST( 13, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC12_EQ_DEST( 14, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF );
+
+  #-------------------------------------------------------------
+  # Bypassing tests
+  #-------------------------------------------------------------
+
+  TEST_RR_DEST_BYPASS( 15, 0, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_DEST_BYPASS( 16, 1, pack, 0xFFFF00000000FFFF, 0x000000000000FFFF, 0x00000000FFFF0000 );
+  TEST_RR_DEST_BYPASS( 17, 2, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+
+  TEST_RR_SRC12_BYPASS( 18, 0, 0, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC12_BYPASS( 19, 0, 1, pack, 0xFFFF00000000FFFF, 0x000000000000FFFF, 0x00000000FFFF0000 );
+  TEST_RR_SRC12_BYPASS( 20, 0, 2, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_SRC12_BYPASS( 21, 1, 0, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC12_BYPASS( 22, 1, 1, pack, 0xFFFF00000000FFFF, 0x000000000000FFFF, 0x00000000FFFF0000 );
+  TEST_RR_SRC12_BYPASS( 23, 2, 0, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+
+  TEST_RR_SRC21_BYPASS( 24, 0, 0, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC21_BYPASS( 25, 0, 1, pack, 0xFFFF00000000FFFF, 0x000000000000FFFF, 0x00000000FFFF0000 );
+  TEST_RR_SRC21_BYPASS( 26, 0, 2, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_SRC21_BYPASS( 27, 1, 0, pack, 0x9ABCDEF012345678, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC21_BYPASS( 28, 1, 1, pack, 0xFFFF00000000FFFF, 0x000000000000FFFF, 0x00000000FFFF0000 );
+  TEST_RR_SRC21_BYPASS( 29, 2, 0, pack, 0xFFFFFFFFFFFFFFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+
+  TEST_RR_ZEROSRC1( 30, pack, 0x9ABCDEF000000000, 0x000000009ABCDEF0 );
+  TEST_RR_ZEROSRC2( 31, pack, 0x0000000012345678, 0x0000000012345678 );
+  TEST_RR_ZEROSRC12( 32, pack, 0x0000000000000000 );
+  TEST_RR_ZERODEST( 33, pack, 0x0000000012345678, 0x000000009ABCDEF0 );
+
+  TEST_PASSFAIL
+
+RVTEST_CODE_END
+
+  .data
+RVTEST_DATA_BEGIN
+  TEST_DATA
+RVTEST_DATA_END
diff --git a/isa/rv64uzbkb/packh.S b/isa/rv64uzbkb/packh.S
new file mode 100644
index 0000000..267257f
--- /dev/null
+++ b/isa/rv64uzbkb/packh.S
@@ -0,0 +1,68 @@
+# See LICENSE for license details.
+
+#*****************************************************************************
+# packh.S
+#-----------------------------------------------------------------------------
+#
+# Test packh instruction.
+#
+
+#include "riscv_test.h"
+#include "test_macros.h"
+
+RVTEST_RV64U
+RVTEST_CODE_BEGIN
+
+  #-------------------------------------------------------------
+  # Arithmetic tests
+  #-------------------------------------------------------------
+
+  TEST_RR_OP( 2, packh, 0x0000000000000F88, 0x1122334455667788, 0x99AABBCCDDEEFF0F );
+  TEST_RR_OP( 3, packh, 0x000000000000FFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_OP( 4, packh, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+  TEST_RR_OP( 5, packh, 0x000000000000CDAB, 0x00000000000000AB, 0x00000000000000CD );
+  TEST_RR_OP( 6, packh, 0x0000000000003412, 0x0000000000000012, 0x0000000000000034 );
+
+  #-------------------------------------------------------------
+  # Source/Destination tests
+  #-------------------------------------------------------------
+
+  TEST_RR_SRC1_EQ_DEST( 7, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC2_EQ_DEST( 8, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC12_EQ_DEST( 9, packh, 0x000000000000FFFF, 0x00000000FFFFFFFF );
+
+  #-------------------------------------------------------------
+  # Bypassing tests
+  #-------------------------------------------------------------
+
+  TEST_RR_DEST_BYPASS( 10, 0, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_DEST_BYPASS( 11, 1, packh, 0x000000000000FFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_DEST_BYPASS( 12, 2, packh, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+
+  TEST_RR_SRC12_BYPASS( 13, 0, 0, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC12_BYPASS( 14, 0, 1, packh, 0x000000000000FFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_SRC12_BYPASS( 15, 0, 2, packh, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+  TEST_RR_SRC12_BYPASS( 16, 1, 0, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC12_BYPASS( 17, 1, 1, packh, 0x000000000000FFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_SRC12_BYPASS( 18, 2, 0, packh, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+
+  TEST_RR_SRC21_BYPASS( 19, 0, 0, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC21_BYPASS( 20, 0, 1, packh, 0x000000000000FFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_SRC21_BYPASS( 21, 0, 2, packh, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+  TEST_RR_SRC21_BYPASS( 22, 1, 0, packh, 0x000000000000F078, 0x0000000012345678, 0x000000009ABCDEF0 );
+  TEST_RR_SRC21_BYPASS( 23, 1, 1, packh, 0x000000000000FFFF, 0x00000000FFFFFFFF, 0x00000000FFFFFFFF );
+  TEST_RR_SRC21_BYPASS( 24, 2, 0, packh, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000 );
+
+  TEST_RR_ZEROSRC1( 25, packh, 0x000000000000F000, 0x000000009ABCDEF0 );
+  TEST_RR_ZEROSRC2( 26, packh, 0x0000000000000078, 0x0000000012345678 );
+  TEST_RR_ZEROSRC12( 27, packh, 0x0000000000000000 );
+  TEST_RR_ZERODEST( 28, packh, 0x0000000012345678, 0x000000009ABCDEF0 );
+
+  TEST_PASSFAIL
+
+RVTEST_CODE_END
+
+  .data
+RVTEST_DATA_BEGIN
+  TEST_DATA
+RVTEST_DATA_END
diff --git a/isa/rv64uzbkb/packw.S b/isa/rv64uzbkb/packw.S
new file mode 100644
index 0000000..a4f5cb3
--- /dev/null
+++ b/isa/rv64uzbkb/packw.S
@@ -0,0 +1,68 @@
+# See LICENSE for license details.
+
+#*****************************************************************************
+# packw.S
+#-----------------------------------------------------------------------------
+#
+# Test packw instruction.
+#
+
+#include "riscv_test.h"
+#include "test_macros.h"
+
+RVTEST_RV64U
+RVTEST_CODE_BEGIN
+
+  #-------------------------------------------------------------
+  # Arithmetic tests
+  #-------------------------------------------------------------
+
+  TEST_RR_OP( 2, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_OP( 3, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_OP( 4, packw, 0x0000000000007FFF, 0x0000000000007FFF, 0x0000000000000000 );
+  TEST_RR_OP( 5, packw, 0xFFFFFFFF80000000, 0x0000000000000000, 0x0000000000008000 );
+  TEST_RR_OP( 6, packw, 0x000000007FFF8000, 0x0000000000008000, 0x0000000000007FFF );
+
+  #-------------------------------------------------------------
+  # Source/Destination tests
+  #-------------------------------------------------------------
+
+  TEST_RR_SRC1_EQ_DEST( 7, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_SRC2_EQ_DEST( 8, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_SRC12_EQ_DEST( 9, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+
+  #-------------------------------------------------------------
+  # Bypassing tests
+  #-------------------------------------------------------------
+
+  TEST_RR_DEST_BYPASS( 10, 0, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_DEST_BYPASS( 11, 1, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_DEST_BYPASS( 12, 2, packw, 0x0000000000007FFF, 0x0000000000007FFF, 0x0000000000000000 );
+
+  TEST_RR_SRC12_BYPASS( 13, 0, 0, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_SRC12_BYPASS( 14, 0, 1, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_SRC12_BYPASS( 15, 0, 2, packw, 0x0000000000007FFF, 0x0000000000007FFF, 0x0000000000000000 );
+  TEST_RR_SRC12_BYPASS( 16, 1, 0, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_SRC12_BYPASS( 17, 1, 1, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_SRC12_BYPASS( 18, 2, 0, packw, 0x0000000000007FFF, 0x0000000000007FFF, 0x0000000000000000 );
+
+  TEST_RR_SRC21_BYPASS( 19, 0, 0, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_SRC21_BYPASS( 20, 0, 1, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_SRC21_BYPASS( 21, 0, 2, packw, 0x0000000000007FFF, 0x0000000000007FFF, 0x0000000000000000 );
+  TEST_RR_SRC21_BYPASS( 22, 1, 0, packw, 0x0000000056781234, 0x0000000012341234, 0x0000000056785678 );
+  TEST_RR_SRC21_BYPASS( 23, 1, 1, packw, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF );
+  TEST_RR_SRC21_BYPASS( 24, 2, 0, packw, 0x0000000000007FFF, 0x0000000000007FFF, 0x0000000000000000 );
+
+  TEST_RR_ZEROSRC1( 25, packw, 0x0000000056780000, 0x0000000056785678 );
+  TEST_RR_ZEROSRC2( 26, packw, 0x0000000000001234, 0x0000000012341234 );
+  TEST_RR_ZEROSRC12( 27, packw, 0x0000000000000000 );
+  TEST_RR_ZERODEST( 28, packw, 0x0000000012341234, 0x0000000056785678 );
+
+  TEST_PASSFAIL
+
+RVTEST_CODE_END
+
+  .data
+RVTEST_DATA_BEGIN
+  TEST_DATA
+RVTEST_DATA_END