add fp field to each instruction

chipsalliance · Oct 18, 2024 · 0e30e55 · 0e30e55
1 parent 43f23aa
commit 0e30e55
Show file tree

Hide file tree

Showing 240 changed files with 243 additions and 3 deletions.
diff --git a/configs/vaesdf.vs.toml b/configs/vaesdf.vs.toml
@@ -1,4 +1,5 @@
 name = "vaesdf.vs"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesdf.vv.toml b/configs/vaesdf.vv.toml
@@ -1,4 +1,5 @@
 name = "vaesdf.vv"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesdm.vs.toml b/configs/vaesdm.vs.toml
@@ -1,4 +1,5 @@
 name = "vaesdm.vs"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesdm.vv.toml b/configs/vaesdm.vv.toml
@@ -1,4 +1,5 @@
 name = "vaesdm.vv"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesef.vs.toml b/configs/vaesef.vs.toml
@@ -1,4 +1,5 @@
 name = "vaesef.vs"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesef.vv.toml b/configs/vaesef.vv.toml
@@ -1,4 +1,5 @@
 name = "vaesef.vv"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesem.vs.toml b/configs/vaesem.vs.toml
@@ -1,4 +1,5 @@
 name = "vaesem.vs"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaesem.vv.toml b/configs/vaesem.vv.toml
@@ -1,4 +1,5 @@
 name = "vaesem.vv"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vaeskf1.vi.toml b/configs/vaeskf1.vi.toml
@@ -1,4 +1,5 @@
 name = "vaeskf1.vi"
+fp = true
 format = "vd,vs2,uimm"
 
 [tests]

diff --git a/configs/vaeskf2.vi.toml b/configs/vaeskf2.vi.toml
@@ -1,4 +1,5 @@
 name = "vaeskf2.vi"
+fp = true
 format = "vd,vs2,uimm"
 
 [tests]

diff --git a/configs/vaesz.vs.toml b/configs/vaesz.vs.toml
@@ -1,4 +1,5 @@
 name = "vaesz.vs"
+fp = true
 format = "vd,vs2"
 
 [tests]

diff --git a/configs/vandn.vv.toml b/configs/vandn.vv.toml
@@ -1,4 +1,5 @@
 name = "vandn.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]

diff --git a/configs/vandn.vx.toml b/configs/vandn.vx.toml
@@ -1,4 +1,5 @@
 name = "vandn.vx"
+fp = true
 format = "vd,vs2,rs1,vm"
 
 [tests]

diff --git a/configs/vbrev.v.toml b/configs/vbrev.v.toml
@@ -1,4 +1,5 @@
 name = "vbrev.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vbrev8.v.toml b/configs/vbrev8.v.toml
@@ -1,4 +1,5 @@
 name = "vbrev8.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vclmul.vv.toml b/configs/vclmul.vv.toml
@@ -1,4 +1,5 @@
 name = "vclmul.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]
@@ -19,4 +20,4 @@ sew64 = [
     ["0xffffffffffffffff", "0x0000000000000001"],
     ["0xffffffffffffffff", "0x0000000000000000"],
     ["0xffffffffffffffff", "0xffffffffffffffff"]
-]
+]
diff --git a/configs/vclmul.vx.toml b/configs/vclmul.vx.toml
@@ -1,4 +1,5 @@
 name = "vclmul.vx"
+fp = true
 format = "vd,vs2,rs1,vm"
 
 [tests]

diff --git a/configs/vclmulh.vv.toml b/configs/vclmulh.vv.toml
@@ -1,4 +1,5 @@
 name = "vclmulh.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]
@@ -18,4 +19,4 @@ sew64 = [
     ["0xffffffffffffffff", "0x0000000000000001"],
     ["0xffffffffffffffff", "0x0000000000000000"],
     ["0xffffffffffffffff", "0xffffffffffffffff"]
-]
+]
diff --git a/configs/vclmulh.vx.toml b/configs/vclmulh.vx.toml
@@ -1,4 +1,5 @@
 name = "vclmulh.vx"
+fp = true
 format = "vd,vs2,rs1,vm"
 
 [tests]
@@ -18,4 +19,4 @@ sew64 = [
     ["0xffffffffffffffff", "0x0000000000000001"],
     ["0xffffffffffffffff", "0x0000000000000000"],
     ["0xffffffffffffffff", "0xffffffffffffffff"]
-]
+]
diff --git a/configs/vclz.v.toml b/configs/vclz.v.toml
@@ -1,4 +1,5 @@
 name = "vclz.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vcpop.v.toml b/configs/vcpop.v.toml
@@ -1,4 +1,5 @@
 name = "vcpop.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vctz.v.toml b/configs/vctz.v.toml
@@ -1,4 +1,5 @@
 name = "vctz.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfadd.vf.toml b/configs/vfadd.vf.toml
@@ -1,4 +1,5 @@
 name = "vfadd.vf"
+fp = true
 format = "vd,vs2,fs1,vm"
 
 [tests]

diff --git a/configs/vfadd.vv.toml b/configs/vfadd.vv.toml
@@ -1,4 +1,5 @@
 name = "vfadd.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]

diff --git a/configs/vfclass.v.toml b/configs/vfclass.v.toml
@@ -1,4 +1,5 @@
 name = "vfclass.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfcvt.f.x.v.toml b/configs/vfcvt.f.x.v.toml
@@ -1,4 +1,5 @@
 name = "vfcvt.f.x.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfcvt.f.xu.v.toml b/configs/vfcvt.f.xu.v.toml
@@ -1,4 +1,5 @@
 name = "vfcvt.f.xu.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfcvt.rtz.x.f.v.toml b/configs/vfcvt.rtz.x.f.v.toml
@@ -1,4 +1,5 @@
 name = "vfcvt.rtz.x.f.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfcvt.rtz.xu.f.v.toml b/configs/vfcvt.rtz.xu.f.v.toml
@@ -1,4 +1,5 @@
 name = "vfcvt.rtz.xu.f.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfcvt.x.f.v.toml b/configs/vfcvt.x.f.v.toml
@@ -1,4 +1,5 @@
 name = "vfcvt.x.f.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfcvt.xu.f.v.toml b/configs/vfcvt.xu.f.v.toml
@@ -1,4 +1,5 @@
 name = "vfcvt.xu.f.v"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfdiv.vf.toml b/configs/vfdiv.vf.toml
@@ -1,4 +1,5 @@
 name = "vfdiv.vf"
+fp = true
 format = "vd,vs2,fs1,vm"
 
 [tests]

diff --git a/configs/vfdiv.vv.toml b/configs/vfdiv.vv.toml
@@ -1,4 +1,5 @@
 name = "vfdiv.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]

diff --git a/configs/vfmacc.vf.toml b/configs/vfmacc.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmacc.vf"
+fp = true
 format = "vd,fs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmacc.vv.toml b/configs/vfmacc.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmacc.vv"
+fp = true
 format = "vd,vs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmadd.vf.toml b/configs/vfmadd.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmadd.vf"
+fp = true
 format = "vd,fs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmadd.vv.toml b/configs/vfmadd.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmadd.vv"
+fp = true
 format = "vd,vs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmax.vf.toml b/configs/vfmax.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmax.vf"
+fp = true
 format = "vd,vs2,fs1,vm"
 
 [tests]

diff --git a/configs/vfmax.vv.toml b/configs/vfmax.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmax.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]

diff --git a/configs/vfmerge.vfm.toml b/configs/vfmerge.vfm.toml
@@ -1,4 +1,5 @@
 name = "vfmerge.vfm"
+fp = true
 format = "vd,vs2,fs1,v0"
 
 [tests]

diff --git a/configs/vfmin.vf.toml b/configs/vfmin.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmin.vf"
+fp = true
 format = "vd,vs2,fs1,vm"
 
 [tests]

diff --git a/configs/vfmin.vv.toml b/configs/vfmin.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmin.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]

diff --git a/configs/vfmsac.vf.toml b/configs/vfmsac.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmsac.vf"
+fp = true
 format = "vd,fs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmsac.vv.toml b/configs/vfmsac.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmsac.vv"
+fp = true
 format = "vd,vs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmsub.vf.toml b/configs/vfmsub.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmsub.vf"
+fp = true
 format = "vd,fs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmsub.vv.toml b/configs/vfmsub.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmsub.vv"
+fp = true
 format = "vd,vs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfmul.vf.toml b/configs/vfmul.vf.toml
@@ -1,4 +1,5 @@
 name = "vfmul.vf"
+fp = true
 format = "vd,vs2,fs1,vm"
 
 [tests]

diff --git a/configs/vfmul.vv.toml b/configs/vfmul.vv.toml
@@ -1,4 +1,5 @@
 name = "vfmul.vv"
+fp = true
 format = "vd,vs2,vs1,vm"
 
 [tests]

diff --git a/configs/vfmv.f.s.toml b/configs/vfmv.f.s.toml
@@ -1,4 +1,5 @@
 name = "vfmv.f.s"
+fp = true
 format = "fd,vs2"
 
 [tests]

diff --git a/configs/vfmv.s.f.toml b/configs/vfmv.s.f.toml
@@ -1,4 +1,5 @@
 name = "vfmv.s.f"
+fp = true
 format = "vd,fs1"
 
 [tests]

diff --git a/configs/vfmv.v.f.toml b/configs/vfmv.v.f.toml
@@ -1,4 +1,5 @@
 name = "vfmv.v.f"
+fp = true
 format = "vd,fs1"
 
 [tests]

diff --git a/configs/vfncvt.f.f.w.toml b/configs/vfncvt.f.f.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.f.f.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.f.x.w.toml b/configs/vfncvt.f.x.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.f.x.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.f.xu.w.toml b/configs/vfncvt.f.xu.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.f.xu.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.rod.f.f.w.toml b/configs/vfncvt.rod.f.f.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.rod.f.f.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.rtz.x.f.w.toml b/configs/vfncvt.rtz.x.f.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.rtz.x.f.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.rtz.xu.f.w.toml b/configs/vfncvt.rtz.xu.f.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.rtz.xu.f.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.x.f.w.toml b/configs/vfncvt.x.f.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.x.f.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfncvt.xu.f.w.toml b/configs/vfncvt.xu.f.w.toml
@@ -1,4 +1,5 @@
 name = "vfncvt.xu.f.w"
+fp = true
 format = "vd,vs2,vm"
 
 [tests]

diff --git a/configs/vfnmacc.vf.toml b/configs/vfnmacc.vf.toml
@@ -1,4 +1,5 @@
 name = "vfnmacc.vf"
+fp = true
 format = "vd,fs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfnmacc.vv.toml b/configs/vfnmacc.vv.toml
@@ -1,4 +1,5 @@
 name = "vfnmacc.vv"
+fp = true
 format = "vd,vs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfnmadd.vf.toml b/configs/vfnmadd.vf.toml
@@ -1,4 +1,5 @@
 name = "vfnmadd.vf"
+fp = true
 format = "vd,fs1,vs2,vm"
 
 [tests]

diff --git a/configs/vfnmadd.vv.toml b/configs/vfnmadd.vv.toml
@@ -1,4 +1,5 @@
 name = "vfnmadd.vv"
+fp = true
 format = "vd,vs1,vs2,vm"
 
 [tests]