X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=src%2Fmath%2Fucb%2Fsqrt.h;h=35aaf33dad8abb22821b7862efdca459e6a7fa9e;hb=c58b8e7cb29f954791ffd5bc2d97ddb4d4202d0c;hp=27bb4b7856ce7ed6bdba7acf36c56447ced052b7;hpb=ae0f0fe09b7fc9d44d072c3fd08372991d852b1d;p=libc-test diff --git a/src/math/ucb/sqrt.h b/src/math/ucb/sqrt.h index 27bb4b7..35aaf33 100644 --- a/src/math/ucb/sqrt.h +++ b/src/math/ucb/sqrt.h @@ -45,8 +45,8 @@ T(RD, 0x0p+0, 0x0p+0, 0x0p+0, 0) T(RD, -0x0p+0, -0x0p+0, 0x0p+0, 0) // sqrtd(+max) is finite T(RN, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+511, -0x1p-1, INEXACT) -T(RZ, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+511, -0x1.fffffep-2, INEXACT) -T(RU, 0x1.fffffffffffffp+1023, 0x1p+512, 0x1.000002p-2, INEXACT) +T(RZ, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+511, -0x1p-1, INEXACT) +T(RU, 0x1.fffffffffffffp+1023, 0x1p+512, 0x1p-2, INEXACT) T(RD, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+511, -0x1p-1, INEXACT) // sqrtd(4457404589857209) = 66763797 T(RN, 0x1.fabf8c265b372p+51, 0x1.fd5e0a8p+25, 0x0p+0, 0) @@ -67,12 +67,12 @@ T(RD, 0x1p+2, 0x1p+1, 0x0p+0, 0) T(RN, 0x1.0000000000001p+0, 0x1p+0, -0x1p-1, INEXACT) T(RN, 0x1p+0, 0x1p+0, 0x0p+0, 0) T(RN, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1, -0x1p-1, INEXACT) -T(RZ, 0x1.0000000000001p+0, 0x1p+0, -0x1.fffffep-2, INEXACT) +T(RZ, 0x1.0000000000001p+0, 0x1p+0, -0x1p-1, INEXACT) T(RZ, 0x1p+0, 0x1p+0, 0x0p+0, 0) -T(RZ, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1, -0x1.fffffep-2, INEXACT) -T(RU, 0x1.0000000000001p+0, 0x1.0000000000001p+0, 0x1.000002p-1, INEXACT) +T(RZ, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1, -0x1p-1, INEXACT) +T(RU, 0x1.0000000000001p+0, 0x1.0000000000001p+0, 0x1p-1, INEXACT) T(RU, 0x1p+0, 0x1p+0, 0x0p+0, 0) -T(RU, 0x1.fffffffffffffp-1, 0x1p+0, 0x1.000002p-2, INEXACT) +T(RU, 0x1.fffffffffffffp-1, 0x1p+0, 0x1p-2, INEXACT) T(RD, 0x1.0000000000001p+0, 0x1p+0, -0x1p-1, INEXACT) T(RD, 0x1p+0, 0x1p+0, 0x0p+0, 0) T(RD, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1, -0x1p-1, INEXACT) @@ -272,20 +272,20 @@ T(RU, 0x1p+1020, 0x1p+510, 0x0p+0, 0) T(RU, 0x1p+1022, 0x1p+511, 0x0p+0, 0) T(RU, 0x1.ffffffffffffep-1023, 0x1.fffffffffffffp-512, 0x1p-54, INEXACT) T(RU, 0x1.0000000000002p-1022, 0x1.0000000000001p-511, 0x1.fffff8p-54, INEXACT) -T(RU, 0x1.ffffffffffff7p-1, 0x1.ffffffffffffcp-1, 0x1.000002p-1, INEXACT) +T(RU, 0x1.ffffffffffff7p-1, 0x1.ffffffffffffcp-1, 0x1p-1, INEXACT) T(RU, 0x1.ffffffffffff8p-1, 0x1.ffffffffffffcp-1, 0x1p-50, INEXACT) -T(RU, 0x1.ffffffffffff9p-1, 0x1.ffffffffffffdp-1, 0x1.000002p-1, INEXACT) +T(RU, 0x1.ffffffffffff9p-1, 0x1.ffffffffffffdp-1, 0x1p-1, INEXACT) T(RU, 0x1.ffffffffffffap-1, 0x1.ffffffffffffdp-1, 0x1.2p-51, INEXACT) -T(RU, 0x1.ffffffffffffbp-1, 0x1.ffffffffffffep-1, 0x1.000002p-1, INEXACT) +T(RU, 0x1.ffffffffffffbp-1, 0x1.ffffffffffffep-1, 0x1p-1, INEXACT) T(RU, 0x1.ffffffffffffcp-1, 0x1.ffffffffffffep-1, 0x1p-52, INEXACT) -T(RU, 0x1.ffffffffffffdp-1, 0x1.fffffffffffffp-1, 0x1.000002p-1, INEXACT) +T(RU, 0x1.ffffffffffffdp-1, 0x1.fffffffffffffp-1, 0x1p-1, INEXACT) T(RU, 0x1.ffffffffffffep-1, 0x1.fffffffffffffp-1, 0x1p-54, INEXACT) T(RU, 0x1.0000000000002p+0, 0x1.0000000000001p+0, 0x1.fffff8p-54, INEXACT) -T(RU, 0x1.0000000000003p+0, 0x1.0000000000002p+0, 0x1.000002p-1, INEXACT) +T(RU, 0x1.0000000000003p+0, 0x1.0000000000002p+0, 0x1p-1, INEXACT) T(RU, 0x1.0000000000004p+0, 0x1.0000000000002p+0, 0x1.fffffep-52, INEXACT) -T(RU, 0x1.0000000000005p+0, 0x1.0000000000003p+0, 0x1.000002p-1, INEXACT) +T(RU, 0x1.0000000000005p+0, 0x1.0000000000003p+0, 0x1p-1, INEXACT) T(RU, 0x1.0000000000006p+0, 0x1.0000000000003p+0, 0x1.2p-50, INEXACT) -T(RU, 0x1.0000000000007p+0, 0x1.0000000000004p+0, 0x1.000002p-1, INEXACT) +T(RU, 0x1.0000000000007p+0, 0x1.0000000000004p+0, 0x1p-1, INEXACT) T(RU, 0x1.ffffffffffffep+1021, 0x1.fffffffffffffp+510, 0x1p-54, INEXACT) T(RU, 0x1.0000000000002p+1022, 0x1.0000000000001p+511, 0x1.fffff8p-54, INEXACT) T(RU, nan, nan, 0x0p+0, 0) @@ -341,24 +341,24 @@ T(RZ, 0x1p+124, 0x1p+62, 0x0p+0, 0) T(RZ, 0x1p+126, 0x1p+63, 0x0p+0, 0) T(RZ, 0x1p+1020, 0x1p+510, 0x0p+0, 0) T(RZ, 0x1p+1022, 0x1p+511, 0x0p+0, 0) -T(RZ, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-512, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.0000000000002p-1022, 0x1p-511, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.ffffffffffff7p-1, 0x1.ffffffffffffbp-1, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.ffffffffffff8p-1, 0x1.ffffffffffffbp-1, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.ffffffffffff9p-1, 0x1.ffffffffffffcp-1, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.ffffffffffffap-1, 0x1.ffffffffffffcp-1, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.ffffffffffffbp-1, 0x1.ffffffffffffdp-1, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.ffffffffffffcp-1, 0x1.ffffffffffffdp-1, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.ffffffffffffdp-1, 0x1.ffffffffffffep-1, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.ffffffffffffep-1, 0x1.ffffffffffffep-1, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.0000000000002p+0, 0x1p+0, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.0000000000003p+0, 0x1.0000000000001p+0, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.0000000000004p+0, 0x1.0000000000001p+0, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.0000000000005p+0, 0x1.0000000000002p+0, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.0000000000006p+0, 0x1.0000000000002p+0, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.0000000000007p+0, 0x1.0000000000003p+0, -0x1.fffffep-2, INEXACT) -T(RZ, 0x1.ffffffffffffep+1021, 0x1.ffffffffffffep+510, -0x1.fffffep-1, INEXACT) -T(RZ, 0x1.0000000000002p+1022, 0x1p+511, -0x1.fffffep-1, INEXACT) +T(RZ, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-512, -0x1p+0, INEXACT) +T(RZ, 0x1.0000000000002p-1022, 0x1p-511, -0x1p+0, INEXACT) +T(RZ, 0x1.ffffffffffff7p-1, 0x1.ffffffffffffbp-1, -0x1p-1, INEXACT) +T(RZ, 0x1.ffffffffffff8p-1, 0x1.ffffffffffffbp-1, -0x1p+0, INEXACT) +T(RZ, 0x1.ffffffffffff9p-1, 0x1.ffffffffffffcp-1, -0x1p-1, INEXACT) +T(RZ, 0x1.ffffffffffffap-1, 0x1.ffffffffffffcp-1, -0x1p+0, INEXACT) +T(RZ, 0x1.ffffffffffffbp-1, 0x1.ffffffffffffdp-1, -0x1p-1, INEXACT) +T(RZ, 0x1.ffffffffffffcp-1, 0x1.ffffffffffffdp-1, -0x1p+0, INEXACT) +T(RZ, 0x1.ffffffffffffdp-1, 0x1.ffffffffffffep-1, -0x1p-1, INEXACT) +T(RZ, 0x1.ffffffffffffep-1, 0x1.ffffffffffffep-1, -0x1p+0, INEXACT) +T(RZ, 0x1.0000000000002p+0, 0x1p+0, -0x1p+0, INEXACT) +T(RZ, 0x1.0000000000003p+0, 0x1.0000000000001p+0, -0x1p-1, INEXACT) +T(RZ, 0x1.0000000000004p+0, 0x1.0000000000001p+0, -0x1p+0, INEXACT) +T(RZ, 0x1.0000000000005p+0, 0x1.0000000000002p+0, -0x1p-1, INEXACT) +T(RZ, 0x1.0000000000006p+0, 0x1.0000000000002p+0, -0x1p+0, INEXACT) +T(RZ, 0x1.0000000000007p+0, 0x1.0000000000003p+0, -0x1p-1, INEXACT) +T(RZ, 0x1.ffffffffffffep+1021, 0x1.ffffffffffffep+510, -0x1p+0, INEXACT) +T(RZ, 0x1.0000000000002p+1022, 0x1p+511, -0x1p+0, INEXACT) T(RZ, nan, nan, 0x0p+0, 0) T(RZ, nan, nan, 0x0p+0, 0) T(RZ, -0x1p-1074, nan, 0x0p+0, INVALID)