math: add large exact float rounding tests

This CL adds trunc,ceil,floor tests for large exact float.

Change-Id: Ib7ffec1d2d50d2ac955398a3dd0fd06d494fcf4f
Reviewed-on: https://go-review.googlesource.com/c/go/+/601095
Auto-Submit: Keith Randall <khr@golang.org>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
This commit is contained in:
Meng Zhuo 2024-07-24 14:49:18 +08:00 committed by Gopher Robot
parent 700920bbb7
commit 3473d2f8ef
1 changed files with 47 additions and 5 deletions

View File

@ -899,8 +899,17 @@ var vfceilSC = []float64{
0,
Inf(1),
NaN(),
1<<52 - 1,
1<<52 - 0.5, // largest fractional float64
1 << 52,
-1 << 52,
-1<<52 + 0.5, // smallest fractional float64
-1<<52 + 1,
1 << 53,
-1 << 53,
}
var ceilSC = []float64{
var ceilBaseSC = []float64{
Inf(-1),
Copysign(0, -1),
0,
@ -908,6 +917,39 @@ var ceilSC = []float64{
NaN(),
}
var ceilSC = append(ceilBaseSC,
1<<52-1,
1<<52,
1<<52,
-1<<52,
-1<<52+1,
-1<<52+1,
1<<53,
-1<<53,
)
var floorSC = append(ceilBaseSC,
1<<52-1,
1<<52-1,
1<<52,
-1<<52,
-1<<52,
-1<<52+1,
1<<53,
-1<<53,
)
var truncSC = append(ceilBaseSC,
1<<52-1,
1<<52-1,
1<<52,
-1<<52,
-1<<52+1,
-1<<52+1,
1<<53,
-1<<53,
)
var vfcopysignSC = []float64{
Inf(-1),
Inf(1),
@ -2489,8 +2531,8 @@ func TestFloor(t *testing.T) {
}
}
for i := 0; i < len(vfceilSC); i++ {
if f := Floor(vfceilSC[i]); !alike(ceilSC[i], f) {
t.Errorf("Floor(%g) = %g, want %g", vfceilSC[i], f, ceilSC[i])
if f := Floor(vfceilSC[i]); !alike(floorSC[i], f) {
t.Errorf("Floor(%g) = %g, want %g", vfceilSC[i], f, floorSC[i])
}
}
}
@ -3034,8 +3076,8 @@ func TestTrunc(t *testing.T) {
}
}
for i := 0; i < len(vfceilSC); i++ {
if f := Trunc(vfceilSC[i]); !alike(ceilSC[i], f) {
t.Errorf("Trunc(%g) = %g, want %g", vfceilSC[i], f, ceilSC[i])
if f := Trunc(vfceilSC[i]); !alike(truncSC[i], f) {
t.Errorf("Trunc(%g) = %g, want %g", vfceilSC[i], f, truncSC[i])
}
}
}