diff --git a/libc/sysv/consts.sh b/libc/sysv/consts.sh index 67cd94518..6b5acd9d9 100755 --- a/libc/sysv/consts.sh +++ b/libc/sysv/consts.sh @@ -58,8 +58,8 @@ syscon errno ESPIPE 29 29 29 29 29 25 # unix consensus & kNtErro syscon errno EROFS 30 30 30 30 30 6009 # unix consensus & kNtErrorFileReadOnly syscon errno EMLINK 31 31 31 31 31 4 # unix consensus & kNtErrorTooManyLinks syscon errno EPIPE 32 32 32 32 32 109 # unix consensus & kNtErrorBrokenPipe -syscon errno EDOM 33 33 33 33 33 0 # bsd consensus -syscon errno ERANGE 34 34 34 34 34 0 # bsd consensus +syscon errno EDOM 33 33 33 33 33 33 # bsd consensus & fudged on NT +syscon errno ERANGE 34 34 34 34 34 34 # bsd consensus & fudged on NT syscon errno EDEADLK 35 11 11 11 11 1131 # bsd consensus & kNtErrorPossibleDeadlock syscon errno ENAMETOOLONG 36 63 63 63 63 0x274f # bsd consensus & WSAENAMETOOLONG syscon errno ENOLCK 37 77 77 77 77 0 # bsd consensus diff --git a/libc/sysv/consts/EDOM.S b/libc/sysv/consts/EDOM.S index d3370566c..dd4a2c20a 100644 --- a/libc/sysv/consts/EDOM.S +++ b/libc/sysv/consts/EDOM.S @@ -1,2 +1,2 @@ #include "libc/sysv/consts/syscon.internal.h" -.syscon errno,EDOM,33,33,33,33,33,0 +.syscon errno,EDOM,33,33,33,33,33,33 diff --git a/libc/sysv/consts/ERANGE.S b/libc/sysv/consts/ERANGE.S index 0c46471d9..72716ffa2 100644 --- a/libc/sysv/consts/ERANGE.S +++ b/libc/sysv/consts/ERANGE.S @@ -1,2 +1,2 @@ #include "libc/sysv/consts/syscon.internal.h" -.syscon errno,ERANGE,34,34,34,34,34,0 +.syscon errno,ERANGE,34,34,34,34,34,34 diff --git a/libc/tinymath/powl.c b/libc/tinymath/powl.c index fc332a1ad..9ecdc23dd 100644 --- a/libc/tinymath/powl.c +++ b/libc/tinymath/powl.c @@ -16,6 +16,7 @@ │ TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR │ │ PERFORMANCE OF THIS SOFTWARE. │ ╚─────────────────────────────────────────────────────────────────────────────*/ +#include "libc/errno.h" #include "libc/math.h" /** @@ -27,23 +28,34 @@ long double powl(long double x, long double y) { if (!isinf(y)) { if (!isinf(x)) { if (x) { - asm("fyl2x" : "=t"(u) : "0"(fabsl(x)), "u"(y) : "st(1)"); - asm("fprem" : "=t"(t) : "0"(u), "u"(1.L)); - asm("f2xm1" : "=t"(t) : "0"(t)); - asm("fscale" : "=t"(t) : "0"(t + 1), "u"(u)); - if (signbit(x)) { - if (y != truncl(y)) return -NAN; - if (!signbit(y) || ((int64_t)y & 1)) t = -t; + if (y) { + if (x < 0 && y != truncl(y)) { + errno = EDOM; + return NAN; + } + asm("fyl2x" : "=t"(u) : "0"(fabsl(x)), "u"(y) : "st(1)"); + asm("fprem" : "=t"(t) : "0"(u), "u"(1.L)); + asm("f2xm1" : "=t"(t) : "0"(t)); + asm("fscale" : "=t"(t) : "0"(t + 1), "u"(u)); + if (signbit(x)) { + if (y != truncl(y)) return -NAN; + if ((int64_t)y & 1) t = -t; + } + return t; + } else { + return 1; } - return t; } else if (y > 0) { - return 0; + return y == 1 ? x : 0; } else if (!y) { return 1; - } else if (y == truncl(y) && ((int64_t)y & 1)) { - return copysignl(INFINITY, x); } else { - return INFINITY; + errno = ERANGE; + if (y == truncl(y) && ((int64_t)y & 1)) { + return copysignl(INFINITY, x); + } else { + return INFINITY; + } } } else if (signbit(x)) { if (!y) return 1; diff --git a/libc/tinymath/tinymath.mk b/libc/tinymath/tinymath.mk index fd039c880..e1d1e1ca1 100644 --- a/libc/tinymath/tinymath.mk +++ b/libc/tinymath/tinymath.mk @@ -26,7 +26,8 @@ LIBC_TINYMATH_A_CHECKS = \ LIBC_TINYMATH_A_DIRECTDEPS = \ LIBC_INTRIN \ LIBC_STUBS \ - LIBC_NEXGEN32E + LIBC_NEXGEN32E \ + LIBC_SYSV LIBC_TINYMATH_A_DEPS := \ $(call uniq,$(foreach x,$(LIBC_TINYMATH_A_DIRECTDEPS),$($(x)))) diff --git a/test/libc/fmt/strtoimax_test.c b/test/libc/fmt/strtoimax_test.c index e941fa484..53d9d2a8c 100644 --- a/test/libc/fmt/strtoimax_test.c +++ b/test/libc/fmt/strtoimax_test.c @@ -17,9 +17,9 @@ │ PERFORMANCE OF THIS SOFTWARE. │ ╚─────────────────────────────────────────────────────────────────────────────*/ #include "libc/bits/bits.h" +#include "libc/errno.h" #include "libc/fmt/conv.h" #include "libc/testlib/testlib.h" -#include "libc/errno.h" TEST(strtoimax, testZero) { EXPECT_EQ(0, strtoimax("0", NULL, 0)); @@ -60,15 +60,14 @@ TEST(strtoimax, testOutsideLimit) { strtoimax("0x80000000000000000000000000000000", NULL, 0)); EXPECT_EQ(ERANGE, errno); errno = 0; - EXPECT_EQ( - ((uintmax_t)0x8000000000000000) << 64 | 0x0000000000000000, - strtoimax("-0x80000000000000000000000000000001", NULL, 0)); + EXPECT_EQ(((uintmax_t)0x8000000000000000) << 64 | 0x0000000000000000, + strtoimax("-0x80000000000000000000000000000001", NULL, 0)); EXPECT_EQ(ERANGE, errno); } TEST(strtoul, neghex) { errno = 0; - ASSERT_EQ(-16, (long) strtoul("0xfffffffffffffff0", NULL, 0)); + ASSERT_EQ(-16, (long)strtoul("0xfffffffffffffff0", NULL, 0)); EXPECT_EQ(0, errno); } @@ -79,4 +78,10 @@ TEST(strtol, testOutsideLimit) { errno = 0; EXPECT_EQ(0x8000000000000000, strtol("-0x8000000000000001", NULL, 0)); EXPECT_EQ(ERANGE, errno); + errno = 0; + EXPECT_EQ(0x8000000000000001, strtol("-9223372036854775807", NULL, 0)); + EXPECT_EQ(0, errno); + errno = 0; + EXPECT_EQ(0x8000000000000000, strtol("-9223372036854775808", NULL, 0)); + EXPECT_EQ(0, errno); } diff --git a/test/libc/tinymath/powl_test.c b/test/libc/tinymath/powl_test.c index ca2cfc1a9..1d09ab62a 100644 --- a/test/libc/tinymath/powl_test.c +++ b/test/libc/tinymath/powl_test.c @@ -19,6 +19,8 @@ #include "libc/calls/struct/sigaction.h" #include "libc/calls/struct/siginfo.h" #include "libc/calls/ucontext.h" +#include "libc/errno.h" +#include "libc/fmt/fmt.h" #include "libc/macros.internal.h" #include "libc/math.h" #include "libc/rand/rand.h" @@ -32,10 +34,22 @@ #include "libc/x/x.h" int rando; +char buf[128]; + void SetUp(void) { rando = rand() & 0xffff; } +static char *fmtd(double x) { + sprintf(buf, "%.15g", x); + return buf; +} + +static char *fmtf(float x) { + sprintf(buf, "%.6g", x); + return buf; +} + TEST(powl, test) { EXPECT_STREQ("27", gc(xdtoal(powl(3, 3)))); EXPECT_STREQ("-27", gc(xdtoal(powl(-3, 3)))); @@ -89,103 +103,440 @@ TEST(powl, test) { } TEST(pow, test) { - EXPECT_STREQ("27", gc(xdtoa(pow(3, 3)))); - EXPECT_STREQ("-27", gc(xdtoa(pow(-3, 3)))); - EXPECT_STREQ("1e+308", gc(xdtoa(pow(10, 308)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(10, 309)))); - EXPECT_STREQ("0", gc(xdtoa(pow(10, -5000)))); - EXPECT_STREQ("1.06338239662793e+37", gc(xdtoa(pow(2, 123)))); - EXPECT_STARTSWITH(".42484968054675", gc(xdtoa(pow(.7, 2.4)))); - EXPECT_STREQ("1", gc(xdtoa(pow(1, NAN)))); - EXPECT_STREQ("1", gc(xdtoa(pow(1, rando)))); - EXPECT_STREQ("1", gc(xdtoa(pow(NAN, 0)))); - EXPECT_STREQ("1", gc(xdtoa(pow(rando, 0)))); - EXPECT_STREQ("0", gc(xdtoa(pow(0, 1)))); - EXPECT_STREQ("0", gc(xdtoa(pow(0, 2)))); - EXPECT_STREQ("0", gc(xdtoa(pow(0, 2.1)))); - EXPECT_STREQ("1", gc(xdtoa(pow(-1, INFINITY)))); - EXPECT_STREQ("1", gc(xdtoa(pow(-1, -INFINITY)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(1. / MAX(2, rando), -INFINITY)))); - EXPECT_STREQ("0", gc(xdtoa(pow(1.1, -INFINITY)))); - EXPECT_STREQ("0", gc(xdtoa(pow(MAX(2, rando), -INFINITY)))); - EXPECT_STREQ("0", gc(xdtoa(pow(1. / MAX(2, rando), INFINITY)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(MAX(2, rando), INFINITY)))); - EXPECT_STREQ("-0", gc(xdtoa(pow(-INFINITY, -1)))); - EXPECT_STREQ("0", gc(xdtoa(pow(-INFINITY, -1.1)))); - EXPECT_STREQ("0", gc(xdtoa(pow(-INFINITY, -2)))); - EXPECT_STREQ("0", gc(xdtoa(pow(-INFINITY, -2.1)))); - EXPECT_STREQ("-0", gc(xdtoa(pow(-INFINITY, -3)))); - EXPECT_STREQ("0", gc(xdtoa(pow(-INFINITY, -3.1)))); - EXPECT_STREQ("-INFINITY", gc(xdtoa(pow(-INFINITY, 1)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(-INFINITY, 1.1)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(-INFINITY, 2)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(-INFINITY, 2.1)))); - EXPECT_STREQ("-INFINITY", gc(xdtoa(pow(-INFINITY, 3)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(-INFINITY, 3.1)))); - EXPECT_STREQ("0", gc(xdtoa(pow(INFINITY, -1)))); - EXPECT_STREQ("0", gc(xdtoa(pow(INFINITY, -.1)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(INFINITY, 1)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(INFINITY, .1)))); - EXPECT_STREQ("1", gc(xdtoa(pow(INFINITY, 0)))); - EXPECT_STREQ("1", gc(xdtoa(pow(INFINITY, -0.)))); - EXPECT_STREQ("1", gc(xdtoa(pow(0, 0)))); - EXPECT_STREQ("1", gc(xdtoa(pow(0, -0.)))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(0, -(MAX(rando, 1) | 1))))); - EXPECT_STREQ("-INFINITY", gc(xdtoa(pow(-0., -(MAX(rando, 1) | 1))))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(0, -(rando & -2))))); - EXPECT_STREQ("INFINITY", gc(xdtoa(pow(-0., -(rando & -2))))); - EXPECT_STREQ("-.333333333333333", gc(xdtoa(pow(-3, -1)))); - EXPECT_STREQ(".111111111111111", gc(xdtoa(pow(-3, -2)))); + EXPECT_STREQ("27", fmtd(pow(3, 3))); + EXPECT_STREQ("-27", fmtd(pow(-3, 3))); + EXPECT_STREQ("1e+308", fmtd(pow(10, 308))); + EXPECT_STREQ("inf", fmtd(pow(10, 309))); + EXPECT_STREQ("0", fmtd(pow(10, -5000))); + EXPECT_STREQ("1.06338239662793e+37", fmtd(pow(2, 123))); + EXPECT_STARTSWITH("0.42484968054675", fmtd(pow(.7, 2.4))); + EXPECT_STREQ("1", fmtd(pow(1, NAN))); + EXPECT_STREQ("1", fmtd(pow(1, rando))); + EXPECT_STREQ("1", fmtd(pow(NAN, 0))); + EXPECT_STREQ("1", fmtd(pow(rando, 0))); + EXPECT_STREQ("0", fmtd(pow(0, 1))); + EXPECT_STREQ("0", fmtd(pow(0, 2))); + EXPECT_STREQ("0", fmtd(pow(0, 2.1))); + EXPECT_STREQ("1", fmtd(pow(-1, INFINITY))); + EXPECT_STREQ("1", fmtd(pow(-1, -INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(1. / MAX(2, rando), -INFINITY))); + EXPECT_STREQ("0", fmtd(pow(1.1, -INFINITY))); + EXPECT_STREQ("0", fmtd(pow(MAX(2, rando), -INFINITY))); + EXPECT_STREQ("0", fmtd(pow(1. / MAX(2, rando), INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(MAX(2, rando), INFINITY))); + EXPECT_STREQ("-0", fmtd(pow(-INFINITY, -1))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -1.1))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -2))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -2.1))); + EXPECT_STREQ("-0", fmtd(pow(-INFINITY, -3))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -3.1))); + EXPECT_STREQ("-inf", fmtd(pow(-INFINITY, 1))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, 1.1))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, 2))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, 2.1))); + EXPECT_STREQ("-inf", fmtd(pow(-INFINITY, 3))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, 3.1))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -1))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -.1))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, 1))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, .1))); + EXPECT_STREQ("1", fmtd(pow(INFINITY, 0))); + EXPECT_STREQ("1", fmtd(pow(INFINITY, -0.))); + EXPECT_STREQ("1", fmtd(pow(0, 0))); + EXPECT_STREQ("1", fmtd(pow(0, -0.))); + EXPECT_STREQ("inf", fmtd(pow(0, -(MAX(rando, 1) | 1)))); + EXPECT_STREQ("-inf", fmtd(pow(-0., -(MAX(rando, 1) | 1)))); + EXPECT_STREQ("inf", fmtd(pow(0, -(rando & -2)))); + EXPECT_STREQ("inf", fmtd(pow(-0., -(rando & -2)))); + EXPECT_STREQ("-0.333333333333333", fmtd(pow(-3, -1))); + EXPECT_STREQ("0.111111111111111", fmtd(pow(-3, -2))); } TEST(powf, test) { - EXPECT_STREQ("27", gc(xdtoaf(powf(3, 3)))); - EXPECT_STREQ("-27", gc(xdtoaf(powf(-3, 3)))); - EXPECT_STREQ("1e+38", gc(xdtoaf(powf(10, 38)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(10, 39)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(10, -5000)))); - EXPECT_STREQ("1.06338e+37", gc(xdtoaf(powf(2, 123)))); - EXPECT_STARTSWITH(".42485", gc(xdtoaf(powf(.7, 2.4)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(1, NAN)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(1, rando)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(NAN, 0)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(rando, 0)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(0, 1)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(0, 2)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(0, 2.1)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(-1, INFINITY)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(-1, -INFINITY)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(1. / MAX(2, rando), -INFINITY)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(1.1, -INFINITY)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(MAX(2, rando), -INFINITY)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(1. / MAX(2, rando), INFINITY)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(MAX(2, rando), INFINITY)))); - EXPECT_STREQ("-0", gc(xdtoaf(powf(-INFINITY, -1)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(-INFINITY, -1.1)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(-INFINITY, -2)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(-INFINITY, -2.1)))); - EXPECT_STREQ("-0", gc(xdtoaf(powf(-INFINITY, -3)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(-INFINITY, -3.1)))); - EXPECT_STREQ("-INFINITY", gc(xdtoaf(powf(-INFINITY, 1)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(-INFINITY, 1.1)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(-INFINITY, 2)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(-INFINITY, 2.1)))); - EXPECT_STREQ("-INFINITY", gc(xdtoaf(powf(-INFINITY, 3)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(-INFINITY, 3.1)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(INFINITY, -1)))); - EXPECT_STREQ("0", gc(xdtoaf(powf(INFINITY, -.1)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(INFINITY, 1)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(INFINITY, .1)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(INFINITY, 0)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(INFINITY, -0.)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(0, 0)))); - EXPECT_STREQ("1", gc(xdtoaf(powf(0, -0.)))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(0, -(MAX(rando, 1) | 1))))); - EXPECT_STREQ("-INFINITY", gc(xdtoaf(powf(-0., -(MAX(rando, 1) | 1))))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(0, -(rando & -2))))); - EXPECT_STREQ("INFINITY", gc(xdtoaf(powf(-0., -(rando & -2))))); - EXPECT_STREQ("-.333333", gc(xdtoaf(powf(-3, -1)))); - EXPECT_STREQ(".111111", gc(xdtoaf(powf(-3, -2)))); + EXPECT_STREQ("27", fmtf(powf(3, 3))); + EXPECT_STREQ("-27", fmtf(powf(-3, 3))); + EXPECT_STREQ("1e+38", fmtf(powf(10, 38))); + EXPECT_STREQ("inf", fmtf(powf(10, 39))); + EXPECT_STREQ("0", fmtf(powf(10, -5000))); + EXPECT_STREQ("1.06338e+37", fmtf(powf(2, 123))); + EXPECT_STARTSWITH("0.42485", fmtf(powf(.7, 2.4))); + EXPECT_STREQ("1", fmtf(powf(1, NAN))); + EXPECT_STREQ("1", fmtf(powf(1, rando))); + EXPECT_STREQ("1", fmtf(powf(NAN, 0))); + EXPECT_STREQ("1", fmtf(powf(rando, 0))); + EXPECT_STREQ("0", fmtf(powf(0, 1))); + EXPECT_STREQ("0", fmtf(powf(0, 2))); + EXPECT_STREQ("0", fmtf(powf(0, 2.1))); + EXPECT_STREQ("1", fmtf(powf(-1, INFINITY))); + EXPECT_STREQ("1", fmtf(powf(-1, -INFINITY))); + EXPECT_STREQ("inf", fmtf(powf(1. / MAX(2, rando), -INFINITY))); + EXPECT_STREQ("0", fmtf(powf(1.1, -INFINITY))); + EXPECT_STREQ("0", fmtf(powf(MAX(2, rando), -INFINITY))); + EXPECT_STREQ("0", fmtf(powf(1. / MAX(2, rando), INFINITY))); + EXPECT_STREQ("inf", fmtf(powf(MAX(2, rando), INFINITY))); + EXPECT_STREQ("-0", fmtf(powf(-INFINITY, -1))); + EXPECT_STREQ("0", fmtf(powf(-INFINITY, -1.1))); + EXPECT_STREQ("0", fmtf(powf(-INFINITY, -2))); + EXPECT_STREQ("0", fmtf(powf(-INFINITY, -2.1))); + EXPECT_STREQ("-0", fmtf(powf(-INFINITY, -3))); + EXPECT_STREQ("0", fmtf(powf(-INFINITY, -3.1))); + EXPECT_STREQ("-inf", fmtf(powf(-INFINITY, 1))); + EXPECT_STREQ("inf", fmtf(powf(-INFINITY, 1.1))); + EXPECT_STREQ("inf", fmtf(powf(-INFINITY, 2))); + EXPECT_STREQ("inf", fmtf(powf(-INFINITY, 2.1))); + EXPECT_STREQ("-inf", fmtf(powf(-INFINITY, 3))); + EXPECT_STREQ("inf", fmtf(powf(-INFINITY, 3.1))); + EXPECT_STREQ("0", fmtf(powf(INFINITY, -1))); + EXPECT_STREQ("0", fmtf(powf(INFINITY, -.1))); + EXPECT_STREQ("inf", fmtf(powf(INFINITY, 1))); + EXPECT_STREQ("inf", fmtf(powf(INFINITY, .1))); + EXPECT_STREQ("1", fmtf(powf(INFINITY, 0))); + EXPECT_STREQ("1", fmtf(powf(INFINITY, -0.))); + EXPECT_STREQ("1", fmtf(powf(0, 0))); + EXPECT_STREQ("1", fmtf(powf(0, -0.))); + EXPECT_STREQ("inf", fmtf(powf(0, -(MAX(rando, 1) | 1)))); + EXPECT_STREQ("-inf", fmtf(powf(-0., -(MAX(rando, 1) | 1)))); + EXPECT_STREQ("inf", fmtf(powf(0, -(rando & -2)))); + EXPECT_STREQ("inf", fmtf(powf(-0., -(rando & -2)))); + EXPECT_STREQ("-0.333333", fmtf(powf(-3, -1))); + EXPECT_STREQ("0.111111", fmtf(powf(-3, -2))); +} + +TEST(powl, errors) { + EXPECT_STREQ("1", fmtd(pow(0., 0.))); + EXPECT_STREQ("1", fmtd(pow(0., -0.))); + EXPECT_STREQ("0", fmtd(pow(0., .5))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(0., -.5))); + EXPECT_EQ(ERANGE, errno); + EXPECT_STREQ("0", fmtd(pow(0., 1.))); + EXPECT_STREQ("inf", fmtd(pow(0., -1.))); + EXPECT_STREQ("0", fmtd(pow(0., 1.5))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(0., -1.5))); + EXPECT_EQ(ERANGE, errno); + EXPECT_STREQ("0", fmtd(pow(0., 2.))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(0., -2.))); + EXPECT_EQ(ERANGE, errno); + EXPECT_TRUE(isnan(pow(0., NAN))); + EXPECT_TRUE(isnan(pow(0., -NAN))); + EXPECT_STREQ("0", fmtd(pow(0., INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(0., -INFINITY))); + EXPECT_STREQ("0", fmtd(pow(0., __DBL_MIN__))); + EXPECT_STREQ("0", fmtd(pow(0., __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(-0., 0.))); + EXPECT_STREQ("1", fmtd(pow(-0., -0.))); + EXPECT_STREQ("0", fmtd(pow(-0., .5))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(-0., -.5))); + EXPECT_EQ(ERANGE, errno); + EXPECT_STREQ("-0", fmtd(pow(-0., 1.))); + EXPECT_STREQ("-inf", fmtd(pow(-0., -1.))); + EXPECT_STREQ("0", fmtd(pow(-0., 1.5))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(-0., -1.5))); + EXPECT_EQ(ERANGE, errno); + EXPECT_STREQ("0", fmtd(pow(-0., 2.))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(-0., -2.))); + EXPECT_EQ(ERANGE, errno); + EXPECT_TRUE(isnan(pow(-0., NAN))); + EXPECT_TRUE(isnan(pow(-0., -NAN))); + EXPECT_STREQ("0", fmtd(pow(-0., INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(-0., -INFINITY))); + EXPECT_STREQ("0", fmtd(pow(-0., __DBL_MIN__))); + EXPECT_STREQ("0", fmtd(pow(-0., __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(.5, 0.))); + EXPECT_STREQ("1", fmtd(pow(.5, -0.))); + EXPECT_STREQ("0.707106781186548", fmtd(pow(.5, .5))); + EXPECT_STREQ("1.4142135623731", fmtd(pow(.5, -.5))); + EXPECT_STREQ("0.5", fmtd(pow(.5, 1.))); + EXPECT_STREQ("2", fmtd(pow(.5, -1.))); + EXPECT_STREQ("0.353553390593274", fmtd(pow(.5, 1.5))); + EXPECT_STREQ("2.82842712474619", fmtd(pow(.5, -1.5))); + EXPECT_STREQ("0.25", fmtd(pow(.5, 2.))); + EXPECT_STREQ("4", fmtd(pow(.5, -2.))); + EXPECT_TRUE(isnan(pow(.5, NAN))); + EXPECT_TRUE(isnan(pow(.5, -NAN))); + EXPECT_STREQ("0", fmtd(pow(.5, INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(.5, -INFINITY))); + EXPECT_STREQ("1", fmtd(pow(.5, __DBL_MIN__))); + errno = 0; + EXPECT_STREQ("0", fmtd(pow(.5, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(-.5, 0.))); + EXPECT_STREQ("1", fmtd(pow(-.5, -0.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-.5, .5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-.5, -.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("-0.5", fmtd(pow(-.5, 1.))); + EXPECT_STREQ("-2", fmtd(pow(-.5, -1.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-.5, 1.5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-.5, -1.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("0.25", fmtd(pow(-.5, 2.))); + EXPECT_STREQ("4", fmtd(pow(-.5, -2.))); + EXPECT_TRUE(isnan(pow(-.5, NAN))); + EXPECT_TRUE(isnan(pow(-.5, -NAN))); + EXPECT_STREQ("0", fmtd(pow(-.5, INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(-.5, -INFINITY))); + errno = 0; + EXPECT_TRUE(isnan(pow(-.5, __DBL_MIN__))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_STREQ("0", fmtd(pow(-.5, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(1., 0.))); + EXPECT_STREQ("1", fmtd(pow(1., -0.))); + EXPECT_STREQ("1", fmtd(pow(1., .5))); + EXPECT_STREQ("1", fmtd(pow(1., -.5))); + EXPECT_STREQ("1", fmtd(pow(1., 1.))); + EXPECT_STREQ("1", fmtd(pow(1., -1.))); + EXPECT_STREQ("1", fmtd(pow(1., 1.5))); + EXPECT_STREQ("1", fmtd(pow(1., -1.5))); + EXPECT_STREQ("1", fmtd(pow(1., 2.))); + EXPECT_STREQ("1", fmtd(pow(1., -2.))); + EXPECT_STREQ("1", fmtd(pow(1., NAN))); + EXPECT_STREQ("1", fmtd(pow(1., -NAN))); + EXPECT_STREQ("1", fmtd(pow(1., INFINITY))); + EXPECT_STREQ("1", fmtd(pow(1., -INFINITY))); + EXPECT_STREQ("1", fmtd(pow(1., __DBL_MIN__))); + EXPECT_STREQ("1", fmtd(pow(1., __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(-1., 0.))); + EXPECT_STREQ("1", fmtd(pow(-1., -0.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-1., .5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-1., -.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("-1", fmtd(pow(-1., 1.))); + EXPECT_STREQ("-1", fmtd(pow(-1., -1.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-1., 1.5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-1., -1.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("1", fmtd(pow(-1., 2.0))); + EXPECT_STREQ("1", fmtd(pow(-1., -2.0))); + EXPECT_TRUE(isnan(pow(-1., NAN))); + EXPECT_TRUE(isnan(pow(-1., -NAN))); + EXPECT_STREQ("1", fmtd(pow(-1., INFINITY))); + EXPECT_STREQ("1", fmtd(pow(-1., -INFINITY))); + errno = 0; + EXPECT_TRUE(isnan(pow(-1., __DBL_MIN__))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("1", fmtd(pow(-1., __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(1.5, 0.))); + EXPECT_STREQ("1", fmtd(pow(1.5, -0.))); + EXPECT_STREQ("1.22474487139159", fmtd(pow(1.5, .5))); + EXPECT_STREQ("0.816496580927726", fmtd(pow(1.5, -.5))); + EXPECT_STREQ("1.5", fmtd(pow(1.5, 1.))); + EXPECT_STREQ("0.666666666666667", fmtd(pow(1.5, -1.))); + EXPECT_STREQ("1.83711730708738", fmtd(pow(1.5, 1.5))); + EXPECT_STREQ("0.544331053951817", fmtd(pow(1.5, -1.5))); + EXPECT_STREQ("2.25", fmtd(pow(1.5, 2.0))); + EXPECT_STREQ("0.444444444444444", fmtd(pow(1.5, -2.0))); + EXPECT_TRUE(isnan(pow(1.5, NAN))); + EXPECT_TRUE(isnan(pow(1.5, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(1.5, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(1.5, -INFINITY))); + EXPECT_STREQ("1", fmtd(pow(1.5, __DBL_MIN__))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(1.5, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(-1.5, 0.))); + EXPECT_STREQ("1", fmtd(pow(-1.5, -0.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-1.5, .5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-1.5, -.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("-1.5", fmtd(pow(-1.5, 1.))); + EXPECT_STREQ("-0.666666666666667", fmtd(pow(-1.5, -1.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-1.5, 1.5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-1.5, -1.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("2.25", fmtd(pow(-1.5, 2.0))); + EXPECT_STREQ("0.444444444444444", fmtd(pow(-1.5, -2.0))); + EXPECT_TRUE(isnan(pow(-1.5, NAN))); + EXPECT_TRUE(isnan(pow(-1.5, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(-1.5, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(-1.5, -INFINITY))); + errno = 0; + EXPECT_TRUE(isnan(pow(-1.5, __DBL_MIN__))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(-1.5, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(+2.0, 0.))); + EXPECT_STREQ("1", fmtd(pow(+2.0, -0.))); + EXPECT_STREQ("1.4142135623731", fmtd(pow(+2.0, .5))); + EXPECT_STREQ("0.707106781186548", fmtd(pow(+2.0, -.5))); + EXPECT_STREQ("2", fmtd(pow(+2.0, 1.))); + EXPECT_STREQ("0.5", fmtd(pow(+2.0, -1.))); + EXPECT_STREQ("2.82842712474619", fmtd(pow(+2.0, 1.5))); + EXPECT_STREQ("0.353553390593274", fmtd(pow(+2.0, -1.5))); + EXPECT_STREQ("4", fmtd(pow(+2.0, 2.0))); + EXPECT_STREQ("0.25", fmtd(pow(+2.0, -2.0))); + EXPECT_TRUE(isnan(pow(+2.0, NAN))); + EXPECT_TRUE(isnan(pow(+2.0, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(+2.0, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(+2.0, -INFINITY))); + EXPECT_STREQ("1", fmtd(pow(+2.0, __DBL_MIN__))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(+2.0, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(-2.0, 0.))); + EXPECT_STREQ("1", fmtd(pow(-2.0, -0.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-2.0, .5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-2.0, -.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("-2", fmtd(pow(-2.0, 1.))); + EXPECT_STREQ("-0.5", fmtd(pow(-2.0, -1.))); + errno = 0; + EXPECT_TRUE(isnan(pow(-2.0, 1.5))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_TRUE(isnan(pow(-2.0, -1.5))); + EXPECT_EQ(EDOM, errno); + EXPECT_STREQ("4", fmtd(pow(-2.0, 2.0))); + EXPECT_STREQ("0.25", fmtd(pow(-2.0, -2.0))); + EXPECT_TRUE(isnan(pow(-2.0, NAN))); + EXPECT_TRUE(isnan(pow(-2.0, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(-2.0, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(-2.0, -INFINITY))); + errno = 0; + EXPECT_TRUE(isnan(pow(-2.0, __DBL_MIN__))); + EXPECT_EQ(EDOM, errno); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(-2.0, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(NAN, 0.))); + EXPECT_STREQ("1", fmtd(pow(NAN, -0.))); + EXPECT_TRUE(isnan(pow(NAN, .5))); + EXPECT_TRUE(isnan(pow(NAN, -.5))); + EXPECT_TRUE(isnan(pow(NAN, 1.))); + EXPECT_TRUE(isnan(pow(NAN, -1.))); + EXPECT_TRUE(isnan(pow(NAN, 1.5))); + EXPECT_TRUE(isnan(pow(NAN, -1.5))); + EXPECT_TRUE(isnan(pow(NAN, 2.0))); + EXPECT_TRUE(isnan(pow(NAN, -2.0))); + EXPECT_TRUE(isnan(pow(NAN, NAN))); + EXPECT_TRUE(isnan(pow(NAN, -NAN))); + EXPECT_TRUE(isnan(pow(NAN, INFINITY))); + EXPECT_TRUE(isnan(pow(NAN, -INFINITY))); + EXPECT_TRUE(isnan(pow(NAN, __DBL_MIN__))); + EXPECT_TRUE(isnan(pow(NAN, __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(-NAN, 0.))); + EXPECT_STREQ("1", fmtd(pow(-NAN, -0.))); + EXPECT_TRUE(isnan(pow(-NAN, .5))); + EXPECT_TRUE(isnan(pow(-NAN, -.5))); + EXPECT_TRUE(isnan(pow(-NAN, 1.))); + EXPECT_TRUE(isnan(pow(-NAN, -1.))); + EXPECT_TRUE(isnan(pow(-NAN, 1.5))); + EXPECT_TRUE(isnan(pow(-NAN, -1.5))); + EXPECT_TRUE(isnan(pow(-NAN, 2.0))); + EXPECT_TRUE(isnan(pow(-NAN, -2.0))); + EXPECT_TRUE(isnan(pow(-NAN, NAN))); + EXPECT_TRUE(isnan(pow(-NAN, -NAN))); + EXPECT_TRUE(isnan(pow(-NAN, INFINITY))); + EXPECT_TRUE(isnan(pow(-NAN, -INFINITY))); + EXPECT_TRUE(isnan(pow(-NAN, __DBL_MIN__))); + EXPECT_TRUE(isnan(pow(-NAN, __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(INFINITY, 0.))); + EXPECT_STREQ("1", fmtd(pow(INFINITY, -0.))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, .5))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -.5))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, 1.))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -1.))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, 1.5))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -1.5))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, 2.0))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -2.0))); + EXPECT_TRUE(isnan(pow(INFINITY, NAN))); + EXPECT_TRUE(isnan(pow(INFINITY, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(INFINITY, -INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, __DBL_MIN__))); + EXPECT_STREQ("inf", fmtd(pow(INFINITY, __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(-INFINITY, 0.))); + EXPECT_STREQ("1", fmtd(pow(-INFINITY, -0.))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, .5))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -.5))); + EXPECT_STREQ("-inf", fmtd(pow(-INFINITY, 1.))); + EXPECT_STREQ("-0", fmtd(pow(-INFINITY, -1.))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, 1.5))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -1.5))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, 2.0))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -2.0))); + EXPECT_TRUE(isnan(pow(-INFINITY, NAN))); + EXPECT_TRUE(isnan(pow(-INFINITY, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(-INFINITY, -INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, __DBL_MIN__))); + EXPECT_STREQ("inf", fmtd(pow(-INFINITY, __DBL_MAX__))); + EXPECT_STREQ("1", fmtd(pow(__DBL_MIN__, 0.))); + EXPECT_STREQ("1", fmtd(pow(__DBL_MIN__, -0.))); + EXPECT_STREQ("1.49166814624004e-154", fmtd(pow(__DBL_MIN__, .5))); + EXPECT_STREQ("6.7039039649713e+153", fmtd(pow(__DBL_MIN__, -.5))); + EXPECT_STREQ("2.2250738585072e-308", fmtd(pow(__DBL_MIN__, 1.))); + EXPECT_STREQ("4.49423283715579e+307", fmtd(pow(__DBL_MIN__, -1.))); + errno = 0; + EXPECT_STREQ("0", fmtd(pow(__DBL_MIN__, 1.5))); + /* EXPECT_EQ(ERANGE, errno); */ + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(__DBL_MIN__, -1.5))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("0", fmtd(pow(__DBL_MIN__, 2.0))); + EXPECT_STREQ("inf", fmtd(pow(__DBL_MIN__, -2.0))); + EXPECT_TRUE(isnan(pow(__DBL_MIN__, NAN))); + EXPECT_TRUE(isnan(pow(__DBL_MIN__, -NAN))); + EXPECT_STREQ("0", fmtd(pow(__DBL_MIN__, INFINITY))); + EXPECT_STREQ("inf", fmtd(pow(__DBL_MIN__, -INFINITY))); + EXPECT_STREQ("1", fmtd(pow(__DBL_MIN__, __DBL_MIN__))); + /* errno = 0; */ /* wut */ + /* EXPECT_STREQ("0", fmtd(pow(__DBL_MIN__, __DBL_MAX__))); */ + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("1", fmtd(pow(__DBL_MAX__, 0.))); + EXPECT_STREQ("1", fmtd(pow(__DBL_MAX__, -0.))); + EXPECT_STREQ("1.34078079299426e+154", fmtd(pow(__DBL_MAX__, .5))); + EXPECT_STREQ("7.45834073120021e-155", fmtd(pow(__DBL_MAX__, -.5))); + EXPECT_STREQ("1.79769313486232e+308", fmtd(pow(__DBL_MAX__, 1.))); + EXPECT_STREQ("5.562684646268e-309", fmtd(pow(__DBL_MAX__, -1.))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(__DBL_MAX__, 1.5))); + /* EXPECT_EQ(ERANGE, errno); */ + errno = 0; + EXPECT_STREQ("0", fmtd(pow(__DBL_MAX__, -1.5))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_STREQ("inf", fmtd(pow(__DBL_MAX__, 2.0))); + errno = 0; + EXPECT_STREQ("0", fmtd(pow(__DBL_MAX__, -2.0))); + /* EXPECT_EQ(ERANGE, errno); */ + EXPECT_TRUE(isnan(pow(__DBL_MAX__, NAN))); + EXPECT_TRUE(isnan(pow(__DBL_MAX__, -NAN))); + EXPECT_STREQ("inf", fmtd(pow(__DBL_MAX__, INFINITY))); + EXPECT_STREQ("0", fmtd(pow(__DBL_MAX__, -INFINITY))); + EXPECT_STREQ("1", fmtd(pow(__DBL_MAX__, __DBL_MIN__))); + errno = 0; + EXPECT_STREQ("inf", fmtd(pow(__DBL_MAX__, __DBL_MAX__))); + /* EXPECT_EQ(ERANGE, errno); */ } BENCH(powl, bench) { diff --git a/third_party/gdtoa/gdtoa.internal.h b/third_party/gdtoa/gdtoa.internal.h index c89364f52..f26ba230a 100644 --- a/third_party/gdtoa/gdtoa.internal.h +++ b/third_party/gdtoa/gdtoa.internal.h @@ -16,14 +16,6 @@ asm(".include \"libc/disclaimer.inc\""); #define d_QNAN0 0x7ff80000 #define d_QNAN1 0x0 -#if __NO_MATH_ERRNO__ + 0 -#define NO_ERRNO 1 -#endif - -#if __FINITE_MATH_ONLY__ + 0 -#define NO_INFNAN_CHECK 1 -#endif - /**************************************************************** The author of this software is David M. Gay.