Zvkned: add infrastructure for Zvkned

To support the implementation of Zvkned extension in SAIL, this
creates the necessary infrastructure(i.e., a file to hold it, and the
extension macro), preparing the tree for the Zvkned implementation.

Signed-off-by: Charalampos Mitrodimas <[email protected]>

Co-authored-by: KotorinMinami <[email protected]>

Author: Charalampos Mitrodimas

Makefile.old

@@ -68,6 +68,8 @@ SAIL_DEFAULT_INST += riscv_insts_vext_fp_red.sail
 SAIL_DEFAULT_INST += riscv_insts_zicbom.sail
 SAIL_DEFAULT_INST += riscv_insts_zicboz.sail
 
+SAIL_DEFAULT_INST += riscv_insts_zvkned.sail
+
 SAIL_SEQ_INST  = $(SAIL_DEFAULT_INST) riscv_jalr_seq.sail
 SAIL_RMEM_INST = $(SAIL_DEFAULT_INST) riscv_jalr_rmem.sail riscv_insts_rmem.sail
 

model/CMakeLists.txt

@@ -76,6 +76,7 @@ foreach (xlen IN ITEMS 32 64)
                 "riscv_insts_zbkx.sail"
                 "riscv_insts_zicond.sail"
                 ${vext_srcs}
+                "riscv_insts_zvkned.sail"
                 "riscv_insts_zicbom.sail"
                 "riscv_insts_zicboz.sail"
                 "riscv_insts_zvbb.sail"
@@ -171,6 +172,7 @@ foreach (xlen IN ITEMS 32 64)
                 ${sail_vm_srcs}
                 # Shared/common code for the cryptography extension.
                 "riscv_types_kext.sail"
+                "riscv_types_zvk.sail"
             )
 
             if (variant STREQUAL "rvfi")

model/riscv_extensions.sail

@@ -113,6 +113,8 @@ enum clause extension = Ext_Zvbb
 enum clause extension = Ext_Zvkb
 // Vector Carryless Multiplication
 enum clause extension = Ext_Zvbc
+// Vector Instructions: NIST Suite: Vector AES Block Cipher
+enum clause extension = Ext_Zvkned
 
 // Count Overflow and Mode-Based Filtering
 enum clause extension = Ext_Sscofpmf