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>

3 files changed, 152 insertions, 0 deletions

diff --git a/isa/rv64uzbkx/Makefrag b/isa/rv64uzbkx/Makefrag
new file mode 100644
index 0000000..d700933
--- /dev/null
+++ b/isa/rv64uzbkx/Makefrag
@@ -0,0 +1,9 @@
+rv64uzbkx_sc_tests = \
+	xperm8 \
+	xperm4
+
+rv64uzbkx_p_tests = $(addprefix rv64uzbkx-p-, $(rv64uzbkx_sc_tests))
+rv64uzbkx_v_tests = $(addprefix rv64uzbkx-v-, $(rv64uzbkx_sc_tests))
+rv64uzbkx_ps_tests = $(addprefix rv64uzbkx-ps-, $(rv64uzbkx_sc_tests))
+
+spike_tests += $(rv64uzbkx_p_tests) $(rv64uzbkx_v_tests)
diff --git a/isa/rv64uzbkx/xperm4.S b/isa/rv64uzbkx/xperm4.S
new file mode 100644
index 0000000..6759e87
--- /dev/null
+++ b/isa/rv64uzbkx/xperm4.S
@@ -0,0 +1,72 @@
+# See LICENSE for license details.
+
+#*****************************************************************************
+# xperm4.S
+#-----------------------------------------------------------------------------
+#
+# Test xperm4 instruction.
+#
+
+#include "riscv_test.h"
+#include "test_macros.h"
+
+RVTEST_RV64U
+RVTEST_CODE_BEGIN
+
+  #-------------------------------------------------------------
+  # Arithmetic tests
+  #-------------------------------------------------------------
+
+  TEST_RR_OP( 2, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_OP( 3, xperm4, 0xFFFFFFFFFFFFFFF0, 0x00000000FFFFFFFF, 0x0000000012345678 );
+  TEST_RR_OP( 4, xperm4, 0x0000000000000000, 0x0000000000000000, 0x0000000012345678 );
+  TEST_RR_OP( 5, xperm4, 0x0000000012345670, 0x0000000076543210, 0x0000000012345678 );
+
+  TEST_RR_OP( 6, xperm4, 0xEDCBA9876543210F, 0x0123456789ABCDEF, 0x123456789ABCDEF0 );
+  TEST_RR_OP( 7, xperm4, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0x123456789ABCDEF0 );
+  TEST_RR_OP( 8, xperm4, 0x0000000000000000, 0x0000000000000000, 0x123456789ABCDEF0 );
+  TEST_RR_OP( 9, xperm4, 0x123456789ABCDEF0, 0xFEDCBA9876543210, 0x123456789ABCDEF0 );
+
+  #-------------------------------------------------------------
+  # Source/Destination tests
+  #-------------------------------------------------------------
+
+  TEST_RR_SRC1_EQ_DEST( 10, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_SRC2_EQ_DEST( 11, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_SRC12_EQ_DEST( 12, xperm4, 0xFFFFFFFF00000000, 0x00000000FFFFFFFF );
+
+  #-------------------------------------------------------------
+  # Bypassing tests
+  #-------------------------------------------------------------
+
+  TEST_RR_DEST_BYPASS( 13, 0, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_DEST_BYPASS( 14, 1, xperm4, 0xFFFFFFFFFFFFFFF0, 0x00000000FFFFFFFF, 0x0000000012345678 );
+  TEST_RR_DEST_BYPASS( 15, 2, xperm4, 0x0000000000000000, 0x0000000000000000, 0x0000000012345678 );
+
+  TEST_RR_SRC12_BYPASS( 16, 0, 0, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_SRC12_BYPASS( 17, 0, 1, xperm4, 0xFFFFFFFFFFFFFFF0, 0x00000000FFFFFFFF, 0x0000000012345678 );
+  TEST_RR_SRC12_BYPASS( 18, 0, 2, xperm4, 0x0000000000000000, 0x0000000000000000, 0x0000000012345678 );
+  TEST_RR_SRC12_BYPASS( 19, 1, 0, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_SRC12_BYPASS( 20, 1, 1, xperm4, 0xFFFFFFFFFFFFFFF0, 0x00000000FFFFFFFF, 0x0000000012345678 );
+  TEST_RR_SRC12_BYPASS( 21, 2, 0, xperm4, 0x0000000000000000, 0x0000000000000000, 0x0000000012345678 );
+
+  TEST_RR_SRC21_BYPASS( 22, 0, 0, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_SRC21_BYPASS( 23, 0, 1, xperm4, 0xFFFFFFFFFFFFFFF0, 0x00000000FFFFFFFF, 0x0000000012345678 );
+  TEST_RR_SRC21_BYPASS( 24, 0, 2, xperm4, 0x0000000000000000, 0x0000000000000000, 0x0000000012345678 );
+  TEST_RR_SRC21_BYPASS( 25, 1, 0, xperm4, 0x7777777765432100, 0x0000000001234567, 0x0000000012345678 );
+  TEST_RR_SRC21_BYPASS( 26, 1, 1, xperm4, 0xFFFFFFFFFFFFFFF0, 0x00000000FFFFFFFF, 0x0000000012345678 );
+  TEST_RR_SRC21_BYPASS( 27, 2, 0, xperm4, 0x0000000000000000, 0x0000000000000000, 0x0000000012345678 );
+
+  TEST_RR_ZEROSRC1( 28, xperm4, 0x0000000000000000, 0x0000000012345678 );
+  TEST_RR_ZEROSRC2( 29, xperm4, 0x7777777777777777, 0x0000000001234567 );
+  TEST_RR_ZEROSRC12( 30, xperm4, 0x0000000000000000 );
+  TEST_RR_ZERODEST( 31, xperm4, 0x0000000001234567, 0x0000000012345678 );
+
+  TEST_PASSFAIL
+
+RVTEST_CODE_END
+
+  .data
+RVTEST_DATA_BEGIN
+  TEST_DATA
+RVTEST_DATA_END
diff --git a/isa/rv64uzbkx/xperm8.S b/isa/rv64uzbkx/xperm8.S
new file mode 100644
index 0000000..79200ae
--- /dev/null
+++ b/isa/rv64uzbkx/xperm8.S
@@ -0,0 +1,71 @@
+# See LICENSE for license details.
+
+#*****************************************************************************
+# xperm8.S
+#-----------------------------------------------------------------------------
+#
+# Test xperm8 instruction for RV64.
+#
+
+#include "riscv_test.h"
+#include "test_macros.h"
+
+RVTEST_RV64U
+RVTEST_CODE_BEGIN
+
+  #-------------------------------------------------------------
+  # Arithmetic tests
+  #-------------------------------------------------------------
+
+  TEST_RR_OP( 2, xperm8, 0x0706050403020100, 0x0706050403020100, 0x0706050403020100 );
+  TEST_RR_OP( 3, xperm8, 0x8877665544332211, 0x8877665544332211, 0x0706050403020100 );
+  TEST_RR_OP( 4, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_OP( 5, xperm8, 0x6767676767676767, 0xCAFEBABE01234567, 0x0000000000000000 );
+  TEST_RR_OP( 6, xperm8, 0x2244668822446688, 0x1122334455667788, 0x0604020006040200 );
+  TEST_RR_OP( 7, xperm8, 0x00AA00BB00CC00DD, 0xAABBCCDDEEFF0011, 0x0F070E060D050C04 );
+  TEST_RR_OP( 8, xperm8, 0x00FF00FF00FF00FF, 0xFFFFFFFFFFFFFFFF, 0x0807080708070807 );
+  TEST_RR_OP( 9, xperm8, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0x0F0E0D0C0B0A0908 );
+
+  #-------------------------------------------------------------
+  # Source/Destination tests
+  #-------------------------------------------------------------
+
+  TEST_RR_SRC1_EQ_DEST( 10, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC2_EQ_DEST( 11, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC12_EQ_DEST( 12, xperm8, 0x0706050403020100, 0x0706050403020100 );
+
+  #-------------------------------------------------------------
+  # Bypassing tests
+  #-------------------------------------------------------------
+
+  TEST_RR_DEST_BYPASS( 13, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_DEST_BYPASS( 14, 1, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_DEST_BYPASS( 15, 2, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+
+  TEST_RR_SRC12_BYPASS( 16, 0, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC12_BYPASS( 17, 0, 1, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC12_BYPASS( 18, 0, 2, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC12_BYPASS( 19, 1, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC12_BYPASS( 20, 1, 1, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC12_BYPASS( 21, 2, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+
+  TEST_RR_SRC21_BYPASS( 22, 0, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC21_BYPASS( 23, 0, 1, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC21_BYPASS( 24, 0, 2, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC21_BYPASS( 25, 1, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC21_BYPASS( 26, 1, 1, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+  TEST_RR_SRC21_BYPASS( 27, 2, 0, xperm8, 0xBEBAFECAEFBEADDE, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+
+  TEST_RR_ZEROSRC1( 28, xperm8, 0x0000000000000000, 0x1234567812345678 );
+  TEST_RR_ZEROSRC2( 29, xperm8, 0xBEBEBEBEBEBEBEBE, 0xCAFEBABECAFEBABE );
+  TEST_RR_ZEROSRC12( 30, xperm8, 0x0000000000000000 );
+  TEST_RR_ZERODEST( 31, xperm8, 0xDEADBEEFCAFEBABE, 0x0001020304050607 );
+
+  TEST_PASSFAIL
+
+RVTEST_CODE_END
+
+  .data
+RVTEST_DATA_BEGIN
+  TEST_DATA
+RVTEST_DATA_END
\ No newline at end of file