Refactor Zvkned extension

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

Author: nadime15

Makefile.old

@@ -74,8 +74,6 @@ SAIL_DEFAULT_INST += riscv_insts_zcmop.sail
 
 SAIL_DEFAULT_INST += riscv_insts_zvkned.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

@@ -84,7 +84,6 @@ 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"
@@ -182,7 +181,6 @@ foreach (xlen IN ITEMS 32 64)
                 "riscv_mem.sail"
                 ${sail_vm_srcs}
                 # Shared/common code for the cryptography extension.
-                "riscv_zvk_utils.sail"
                 "riscv_types_kext.sail"
                 "riscv_zvk_utils.sail"
                 "riscv_inst_retire.sail"

model/riscv_insts_vext_utils.sail

@@ -191,6 +191,17 @@ function write_velem_quad(vd, SEW, input, i) = {
     write_single_element(SEW, 4 * i + j, vd, slice(input, j * SEW, SEW));
 }
 
+/* Extracts 4 consecutive vector elements starting from index 4*i and returns a vector */
+val get_velem_quad_vec : forall 'n 'm 'p, 'n > 0 & 8 <= 'm <= 64  & 'p >= 0 & 4 * 'p + 3 < 'n. (vector('n, bits('m)), int('p)) -> vector(4, bits('m))
+function get_velem_quad_vec(v, i) = [ v[4 * i + 3], v[4 * i + 2], v[4 * i + 1], v[4 * i] ]
+
+/* Writes each of the 4 elements from the input vector to the vector register vd, starting at position 4 * i */
+val write_velem_quad_vec : forall 'p 'n, 8 <= 'n <= 64 & 'p >= 0. (vregidx, int('n), vector(4, bits('n)), int('p)) -> unit
+function write_velem_quad_vec(vd, SEW, input, i) = {
+  foreach(j from 0 to 3)
+    write_single_element(SEW, 4 * i + j, vd, input[j]);
+}
+
 /* Get the starting element index from csr vtype */
 val get_start_element : unit -> result(nat, unit)
 function get_start_element() = {