Skip to content

Commit

Permalink
Test sew16 (zvfh) fp tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@jerryz123
jerryz123 committed Sep 23, 2024
1 parent 0f188dd commit 268a011
Show file tree
Hide file tree
Showing 109 changed files with 1,944 additions and 6 deletions.
4 changes: 2 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,9 +60,9 @@ MABI = lp64d

ifeq ($(XLEN), 32)
MABI = ilp32f
VARCH = zvl${VLEN}b_zve32f
VARCH = zvl${VLEN}b_zve32f_zfh_zvfh
else
VARCH = zvl${VLEN}b_zve64d
VARCH = zvl${VLEN}b_zve64d_zfh_zvfh
endif

RISCV_PREFIX = riscv64-unknown-elf-
Expand Down
14 changes: 14 additions & 0 deletions configs/vfadd.vf.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfadd.vf"
format = "vd,vs2,fs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfadd.vv.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,20 @@ format = "vd,vs2,vs1,vm"

[tests]

fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
5 changes: 5 additions & 0 deletions configs/vfcvt.f.x.v.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,11 @@ name = "vfcvt.f.x.v"
format = "vd,vs2,vm"

[tests]
sew16 = [
[0xffff],
[0xfffe],
[0x2],
]
sew32 = [
[0xffffffff],
[0xfffffffe],
Expand Down
5 changes: 5 additions & 0 deletions configs/vfcvt.f.xu.v.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,11 @@ name = "vfcvt.f.xu.v"
format = "vd,vs2,vm"

[tests]
sew16 = [
[0xffff],
[0xfffe],
[0x2],
]
sew32 = [
[0xffffffff],
[0xfffffffe],
Expand Down
15 changes: 15 additions & 0 deletions configs/vfcvt.rtz.x.f.v.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,21 @@ name = "vfcvt.rtz.x.f.v"
format = "vd,vs2,vm"

[tests]
sew16 = [
[0x7e00], # Quiet NaN
[0x7e01], # Quiet NaN "1"
[0x7e02], # Quiet NaN "2"
[0x7d00], # Signaling NaN
[0x7c00], # Inf
[0xfc00], # -Inf
[0x0000], # 0
[0x8000], # -0
[0xc248], # -3.14159
[0x4248], # 3.14159
[0x0001], # Subnormal
[0x03ff], # Subnormal
]

sew32 = [
[0x7fc00000], # Quiet NaN
[0x7fc00001], # Quiet NaN "1"
Expand Down
15 changes: 15 additions & 0 deletions configs/vfcvt.rtz.xu.f.v.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,21 @@ name = "vfcvt.rtz.xu.f.v"
format = "vd,vs2,vm"

[tests]
sew16 = [
[0x7e00], # Quiet NaN
[0x7e01], # Quiet NaN "1"
[0x7e02], # Quiet NaN "2"
[0x7d00], # Signaling NaN
[0x7c00], # Inf
[0xfc00], # -Inf
[0x0000], # 0
[0x8000], # -0
[0xc248], # -3.14159
[0x4248], # 3.14159
[0x0001], # Subnormal
[0x03ff], # Subnormal
]

sew32 = [
[0x7fc00000], # Quiet NaN
[0x7fc00001], # Quiet NaN "1"
Expand Down
14 changes: 14 additions & 0 deletions configs/vfcvt.x.f.v.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfcvt.x.f.v"
format = "vd,vs2,vm"

[tests]
sew16 = [
[0x7e00], # Quiet NaN
[0x7e01], # Quiet NaN "1"
[0x7e02], # Quiet NaN "2"
[0x7d00], # Signaling NaN
[0x7c00], # Inf
[0xfc00], # -Inf
[0x0000], # 0
[0x8000], # -0
[0xc248], # -3.14159
[0x4248], # 3.14159
[0x0001], # Subnormal
[0x03ff], # Subnormal
]
sew32 = [
[0x7fc00000], # Quiet NaN
[0x7fc00001], # Quiet NaN "1"
Expand Down
15 changes: 15 additions & 0 deletions configs/vfcvt.xu.f.v.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,21 @@ name = "vfcvt.xu.f.v"
format = "vd,vs2,vm"

[tests]
sew16 = [
[0x7e00], # Quiet NaN
[0x7e01], # Quiet NaN "1"
[0x7e02], # Quiet NaN "2"
[0x7d00], # Signaling NaN
[0x7c00], # Inf
[0xfc00], # -Inf
[0x0000], # 0
[0x8000], # -0
[0xc248], # -3.14159
[0x4248], # 3.14159
[0x0001], # Subnormal
[0x03ff], # Subnormal
]

sew32 = [
[0x7fc00000], # Quiet NaN
[0x7fc00001], # Quiet NaN "1"
Expand Down
14 changes: 14 additions & 0 deletions configs/vfdiv.vf.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfdiv.vf"
format = "vd,vs2,fs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfdiv.vv.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfdiv.vv"
format = "vd,vs2,vs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmacc.vf.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmacc.vf"
format = "vd,fs1,vs2,vm"

[tests]
fsew16 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
["0.002", "3.14159265", "0.00000001"],
["0.0", "1.1", "-1235.1"],
["-1.0", "-1.0", "-2.0"],
["0.002", "nan", "-nan"],
["0.0", "inf", "-inf"],
["-1.0", "quiet_nan", "signaling_nan"],
["0.002", "smallest_nonzero_float", "largest_subnormal_float"],
["0.0", "smallest_normal_float", "max_float"],
["-1.0", "-smallest_nonzero_float", "-largest_subnormal_float"],
["0.002", "-smallest_normal_float", "-max_float"]
]
fsew32 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmacc.vv.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmacc.vv"
format = "vd,vs1,vs2,vm"

[tests]
fsew16 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
["0.002", "3.14159265", "0.00000001"],
["0.0", "1.1", "-1235.1"],
["-1.0", "-1.0", "-2.0"],
["0.002", "nan", "-nan"],
["0.0", "inf", "-inf"],
["-1.0", "quiet_nan", "signaling_nan"],
["0.002", "smallest_nonzero_float", "largest_subnormal_float"],
["0.0", "smallest_normal_float", "max_float"],
["-1.0", "-smallest_nonzero_float", "-largest_subnormal_float"],
["0.002", "-smallest_normal_float", "-max_float"]
]
fsew32 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmadd.vf.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmadd.vf"
format = "vd,fs1,vs2,vm"

[tests]
fsew16 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
["0.002", "3.14159265", "0.00000001"],
["0.0", "1.1", "-1235.1"],
["-1.0", "-1.0", "-2.0"],
["0.002", "nan", "-nan"],
["0.0", "inf", "-inf"],
["-1.0", "quiet_nan", "signaling_nan"],
["0.002", "smallest_nonzero_float", "largest_subnormal_float"],
["0.0", "smallest_normal_float", "max_float"],
["-1.0", "-smallest_nonzero_float", "-largest_subnormal_float"],
["0.002", "-smallest_normal_float", "-max_float"]
]
fsew32 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmadd.vv.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmadd.vv"
format = "vd,vs1,vs2,vm"

[tests]
fsew16 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
["0.002", "3.14159265", "0.00000001"],
["0.0", "1.1", "-1235.1"],
["-1.0", "-1.0", "-2.0"],
["0.002", "nan", "-nan"],
["0.0", "inf", "-inf"],
["-1.0", "quiet_nan", "signaling_nan"],
["0.002", "smallest_nonzero_float", "largest_subnormal_float"],
["0.0", "smallest_normal_float", "max_float"],
["-1.0", "-smallest_nonzero_float", "-largest_subnormal_float"],
["0.002", "-smallest_normal_float", "-max_float"]
]
fsew32 = [
["0.0", "2.5", "1.0"],
["-1.0", "-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmax.vf.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmax.vf"
format = "vd,vs2,fs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmax.vv.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmax.vv"
format = "vd,vs2,vs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmerge.vfm.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmerge.vfm"
format = "vd,vs2,fs1,v0"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmin.vf.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmin.vf"
format = "vd,vs2,fs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
14 changes: 14 additions & 0 deletions configs/vfmin.vv.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,20 @@ name = "vfmin.vv"
format = "vd,vs2,vs1,vm"

[tests]
fsew16 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
["3.14159265", "0.00000001"],
["1.1", "-1235.1"],
["-1.0", "-2.0"],
["nan", "-nan"],
["inf", "-inf"],
["quiet_nan", "signaling_nan"],
["smallest_nonzero_float", "largest_subnormal_float"],
["smallest_normal_float", "max_float"],
["-smallest_nonzero_float", "-largest_subnormal_float"],
["-smallest_normal_float", "-max_float"]
]
fsew32 = [
["2.5", "1.0"],
["-1235.1", "1.1"],
Expand Down
Loading

0 comments on commit 268a011

Please sign in to comment.