Merge remote-tracking branch 'origin/main' into zvfh

Makefile

@@ -58,7 +58,7 @@ CONFIGS = configs/
 
 SPIKE = spike
 PATCHER_SPIKE = build/pspike
-MARCH = rv${XLEN}gcv_zvbb_zfh
+MARCH = rv${XLEN}gcv_zvbb_zvbc_zfh_zvfh_zvkg_zvkned_zvknha_zvksed_zvksh
 MABI = lp64d
 
 ifeq ($(XLEN), 32)

Makefrag

@@ -105,6 +105,10 @@ tests = \
   vadd_vx-5 \
   vadd_vx-6 \
   vadd_vx-7 \
+  vaeskf1_vi-0 \
+  vaeskf1_vi-1 \
+  vaeskf2_vi-0 \
+  vaeskf2_vi-1 \
   vand_vi-0 \
   vand_vi-1 \
   vand_vi-2 \
@@ -215,6 +219,12 @@ tests = \
   vasubu_vx-9 \
   vbrev8_v-0 \
   vbrev_v-0 \
+  vclmul_vv-0 \
+  vclmul_vx-0 \
+  vclmul_vx-1 \
+  vclmulh_vv-0 \
+  vclmulh_vx-0 \
+  vclmulh_vx-1 \
   vclz_v-0 \
   vcompress_vm-0 \
   vcpop_m-0 \
@@ -409,6 +419,7 @@ tests = \
   vfwsub_wf-0 \
   vfwsub_wf-1 \
   vfwsub_wv-0 \
+  vghsh_vv-0 \
   vid_v-0 \
   vid_v-1 \
   viota_m-0 \
@@ -1258,6 +1269,9 @@ tests = \
   vsext_vf2-1 \
   vsext_vf4-0 \
   vsext_vf8-0 \
+  vsha2ch_vv-0 \
+  vsha2cl_vv-0 \
+  vsha2ms_vv-0 \
   vslide1down_vx-0 \
   vslide1down_vx-1 \
   vslide1down_vx-2 \
@@ -1316,6 +1330,11 @@ tests = \
   vsll_vx-5 \
   vsll_vx-6 \
   vsll_vx-7 \
+  vsm3c_vi-0 \
+  vsm3c_vi-1 \
+  vsm3me_vv-0 \
+  vsm4k_vi-0 \
+  vsm4k_vi-1 \
   vsm_v-0 \
   vsmul_vv-0 \
   vsmul_vv-1 \

configs/vaesdf.vs.toml

@@ -0,0 +1,19 @@
+name = "vaesdf.vs"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesdf.vv.toml

@@ -0,0 +1,19 @@
+name = "vaesdf.vv"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesdm.vs.toml

@@ -0,0 +1,19 @@
+name = "vaesdm.vs"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesdm.vv.toml

@@ -0,0 +1,19 @@
+name = "vaesdm.vv"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesef.vs.toml

@@ -0,0 +1,19 @@
+name = "vaesef.vs"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesef.vv.toml

@@ -0,0 +1,19 @@
+name = "vaesef.vv"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesem.vs.toml

@@ -0,0 +1,19 @@
+name = "vaesem.vs"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesem.vv.toml

@@ -0,0 +1,19 @@
+name = "vaesem.vv"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaeskf1.vi.toml

@@ -0,0 +1,19 @@
+name = "vaeskf1.vi"
+format = "vd,vs2,uimm"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaeskf2.vi.toml

@@ -0,0 +1,19 @@
+name = "vaeskf2.vi"
+format = "vd,vs2,uimm"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vaesz.vs.toml

@@ -0,0 +1,19 @@
+name = "vaesz.vs"
+format = "vd,vs2"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]

configs/vclmul.vv.toml

@@ -0,0 +1,22 @@
+name = "vclmul.vv"
+format = "vd,vs2,vs1,vm"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew64 = [
+    ["0xffffffffffff8000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0xffffffffffff8000"],
+    ["0x0000000000007fff", "0x0000000000000000"],
+    ["0x000000007fffffff", "0x0000000000007fff"],
+    ["0xffffffff80000000", "0x0000000000007fff"],
+    ["0x000000007fffffff", "0xffffffffffff8000"],
+    ["0xffffffffffffffff", "0x0000000000000001"],
+    ["0xffffffffffffffff", "0x0000000000000000"],
+    ["0xffffffffffffffff", "0xffffffffffffffff"]
+]

configs/vclmul.vx.toml

@@ -0,0 +1,22 @@
+name = "vclmul.vx"
+format = "vd,vs2,rs1,vm"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+sew64 = [
+    ["0xffffffffffff8000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0xffffffffffff8000"],
+    ["0x0000000000007fff", "0x0000000000000000"],
+    ["0x000000007fffffff", "0x0000000000007fff"],
+    ["0xffffffff80000000", "0x0000000000007fff"],
+    ["0x000000007fffffff", "0xffffffffffff8000"],
+    ["0xffffffffffffffff", "0x0000000000000001"],
+    ["0xffffffffffffffff", "0x0000000000000000"],
+    ["0xffffffffffffffff", "0xffffffffffffffff"]
+]
+

configs/vclmulh.vv.toml

@@ -0,0 +1,21 @@
+name = "vclmulh.vv"
+format = "vd,vs2,vs1,vm"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+sew64 = [
+    ["0xffffffffffff8000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0xffffffffffff8000"],
+    ["0x0000000000007fff", "0x0000000000000000"],
+    ["0x000000007fffffff", "0x0000000000007fff"],
+    ["0xffffffff80000000", "0x0000000000007fff"],
+    ["0x000000007fffffff", "0xffffffffffff8000"],
+    ["0xffffffffffffffff", "0x0000000000000001"],
+    ["0xffffffffffffffff", "0x0000000000000000"],
+    ["0xffffffffffffffff", "0xffffffffffffffff"]
+]

configs/vclmulh.vx.toml

@@ -0,0 +1,21 @@
+name = "vclmulh.vx"
+format = "vd,vs2,rs1,vm"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+sew64 = [
+    ["0xffffffffffff8000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0x0000000000000000"],
+    ["0xffffffff80000000", "0xffffffffffff8000"],
+    ["0x0000000000007fff", "0x0000000000000000"],
+    ["0x000000007fffffff", "0x0000000000007fff"],
+    ["0xffffffff80000000", "0x0000000000007fff"],
+    ["0x000000007fffffff", "0xffffffffffff8000"],
+    ["0xffffffffffffffff", "0x0000000000000001"],
+    ["0xffffffffffffffff", "0x0000000000000000"],
+    ["0xffffffffffffffff", "0xffffffffffffffff"]
+]

configs/vghsh.vv.toml

@@ -0,0 +1,19 @@
+name = "vghsh.vv"
+format = "vd,vs2,vs1"
+
+[tests]
+base = [
+    [0x0, 0x0],
+    [0x1, 0x2],
+    [0x3, 0xf]
+]
+
+sew32 = [
+    [0xfffffff8, 0x00000000],
+    [0xffffff80, 0xfffffff8],
+    [0x00007fff, 0x00000000],
+    [0x00007fff, 0x000007ff],
+    [0x00007fff, 0x00000001],
+    [0xffffffff, 0x00000000],
+    [0xffffffff, 0xffffffff]
+]