2013-11-29 16:27:55 +00:00
|
|
|
# libm test inputs for gen-auto-libm-tests.c.
|
|
|
|
|
# Copyright (C) 1997-2013 Free Software Foundation, Inc.
|
|
|
|
|
# This file is part of the GNU C Library.
|
|
|
|
|
#
|
|
|
|
|
# The GNU C Library is free software; you can redistribute it and/or
|
|
|
|
|
# modify it under the terms of the GNU Lesser General Public
|
|
|
|
|
# License as published by the Free Software Foundation; either
|
|
|
|
|
# version 2.1 of the License, or (at your option) any later version.
|
|
|
|
|
#
|
|
|
|
|
# The GNU C Library is distributed in the hope that it will be useful,
|
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
|
# Lesser General Public License for more details.
|
|
|
|
|
#
|
|
|
|
|
# You should have received a copy of the GNU Lesser General Public
|
|
|
|
|
# License along with the GNU C Library; if not, see
|
|
|
|
|
# <http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
2013-11-30 22:04:13 +00:00
|
|
|
acos 0
|
|
|
|
|
acos -0
|
|
|
|
|
acos 1
|
|
|
|
|
acos -1
|
|
|
|
|
acos 0.5
|
|
|
|
|
acos -0.5
|
|
|
|
|
acos 0.75
|
|
|
|
|
acos 2e-17
|
|
|
|
|
acos 0.0625
|
|
|
|
|
acos 0x0.ffffffp0
|
|
|
|
|
acos -0x0.ffffffp0
|
|
|
|
|
acos 0x0.ffffffff8p0
|
|
|
|
|
acos -0x0.ffffffff8p0
|
|
|
|
|
acos 0x0.ffffffffffffp0
|
|
|
|
|
acos -0x0.ffffffffffffp0
|
|
|
|
|
acos 0x0.ffffffffffffffffp0
|
|
|
|
|
acos -0x0.ffffffffffffffffp0
|
|
|
|
|
|
|
|
|
|
acosh 1
|
|
|
|
|
acosh 7
|
|
|
|
|
|
|
|
|
|
asin 0
|
|
|
|
|
asin -0
|
|
|
|
|
asin 0.5
|
|
|
|
|
asin -0.5
|
|
|
|
|
asin 1.0
|
|
|
|
|
asin -1.0
|
|
|
|
|
asin 0.75
|
|
|
|
|
asin 0x0.ffffffp0
|
|
|
|
|
asin -0x0.ffffffp0
|
|
|
|
|
asin 0x0.ffffffff8p0
|
|
|
|
|
asin -0x0.ffffffff8p0
|
|
|
|
|
asin 0x0.ffffffffffffp0
|
|
|
|
|
asin -0x0.ffffffffffffp0
|
|
|
|
|
asin 0x0.ffffffffffffffffp0
|
|
|
|
|
asin -0x0.ffffffffffffffffp0
|
|
|
|
|
|
|
|
|
|
asinh 0
|
|
|
|
|
asinh -0
|
|
|
|
|
asinh 0.75
|
|
|
|
|
|
|
|
|
|
atan 0
|
|
|
|
|
atan -0
|
|
|
|
|
atan max
|
|
|
|
|
atan -max
|
|
|
|
|
atan 1
|
|
|
|
|
atan -1
|
|
|
|
|
atan 0.75
|
|
|
|
|
# Bug 15319: underflow exception may be missing.
|
|
|
|
|
atan 0x1p-100 missing-underflow
|
|
|
|
|
atan 0x1p-600 missing-underflow
|
|
|
|
|
atan 0x1p-10000 missing-underflow
|
|
|
|
|
|
|
|
|
|
atanh 0
|
|
|
|
|
atanh -0
|
|
|
|
|
atanh 0.75
|
|
|
|
|
|
|
|
|
|
cbrt 0.0
|
|
|
|
|
cbrt -0
|
|
|
|
|
cbrt -0.001
|
|
|
|
|
cbrt 8
|
|
|
|
|
cbrt -27.0
|
|
|
|
|
cbrt 0.9921875
|
|
|
|
|
cbrt 0.75
|
|
|
|
|
cbrt 0x1p16383
|
|
|
|
|
cbrt 0x1p-16383
|
|
|
|
|
|
|
|
|
|
cos 0
|
|
|
|
|
cos -0
|
|
|
|
|
cos pi/3
|
|
|
|
|
cos 2pi/3
|
|
|
|
|
cos pi/2
|
|
|
|
|
cos 0.75
|
|
|
|
|
cos 0x1p65
|
|
|
|
|
cos -0x1p65
|
|
|
|
|
cos 0.80190127184058835
|
|
|
|
|
cos 0x1.442f74p+15
|
|
|
|
|
cos 1e22
|
|
|
|
|
cos 0x1p1023
|
|
|
|
|
cos 0x1p16383
|
|
|
|
|
cos 0x1p+120
|
|
|
|
|
cos 0x1p+127
|
|
|
|
|
cos 0x1.fffff8p+127
|
|
|
|
|
cos 0x1.fffffep+127
|
|
|
|
|
cos 0x1p+50
|
|
|
|
|
cos 0x1p+28
|
|
|
|
|
cos 0x1.000000cf4a2a2p0
|
|
|
|
|
cos 0x1.0000010b239a9p0
|
|
|
|
|
cos 0x1.00000162a932bp0
|
|
|
|
|
cos 0x1.000002d452a10p0
|
|
|
|
|
cos 0x1.000005bc7d86dp0
|
|
|
|
|
cos 1
|
|
|
|
|
cos 2
|
|
|
|
|
cos 3
|
|
|
|
|
cos 4
|
|
|
|
|
cos 5
|
|
|
|
|
cos 6
|
|
|
|
|
cos 7
|
|
|
|
|
cos 8
|
|
|
|
|
cos 9
|
|
|
|
|
cos 10
|
|
|
|
|
|
|
|
|
|
cosh 0
|
|
|
|
|
cosh -0
|
|
|
|
|
cosh 0.75
|
|
|
|
|
cosh 709.8893558127259666434838436543941497802734375
|
|
|
|
|
cosh -709.8893558127259666434838436543941497802734375
|
|
|
|
|
cosh 22
|
|
|
|
|
cosh 23
|
|
|
|
|
cosh 24
|
|
|
|
|
|
2013-12-03 16:22:49 +00:00
|
|
|
erf 0
|
|
|
|
|
erf -0
|
|
|
|
|
erf 0.125
|
|
|
|
|
erf 0.75
|
|
|
|
|
erf 1.25
|
|
|
|
|
erf 2.0
|
|
|
|
|
erf 4.125
|
|
|
|
|
erf 27.0
|
|
|
|
|
erf -27.0
|
|
|
|
|
erf -0x1.fffffffffffff8p-2
|
|
|
|
|
|
|
|
|
|
erfc 0.0
|
|
|
|
|
erfc -0
|
|
|
|
|
erfc 0.125
|
|
|
|
|
erfc 0.75
|
|
|
|
|
erfc 1.25
|
|
|
|
|
erfc 2.0
|
|
|
|
|
erfc 0x1.f7303cp+1
|
|
|
|
|
erfc 4.125
|
|
|
|
|
erfc 0x1.ffa002p+2
|
|
|
|
|
erfc 0x1.ffffc8p+2
|
|
|
|
|
erfc -0x1.fffffffffffff8p-2
|
2013-12-03 16:25:18 +00:00
|
|
|
erfc 26.0
|
|
|
|
|
erfc 27.0
|
|
|
|
|
erfc 28.0
|
2013-12-03 16:22:49 +00:00
|
|
|
erfc 0x1.ffff56789abcdef0123456789a8p+2
|
2013-12-03 16:25:18 +00:00
|
|
|
erfc 100
|
|
|
|
|
erfc 106
|
|
|
|
|
erfc 106.5
|
|
|
|
|
erfc 106.625
|
|
|
|
|
erfc 107
|
|
|
|
|
erfc 108
|
|
|
|
|
erfc 1000
|
|
|
|
|
erfc max
|
2013-12-03 16:22:49 +00:00
|
|
|
|
|
|
|
|
exp 0
|
|
|
|
|
exp -0
|
|
|
|
|
exp 1
|
|
|
|
|
exp 2
|
|
|
|
|
exp 3
|
|
|
|
|
exp 0.75
|
|
|
|
|
exp 50.0
|
|
|
|
|
exp 88.72269439697265625
|
|
|
|
|
exp 709.75
|
|
|
|
|
# Bug 16284: results on directed rounding may be incorrect.
|
|
|
|
|
exp 1000.0 xfail-rounding:dbl-64
|
|
|
|
|
exp 710 xfail-rounding:dbl-64
|
|
|
|
|
exp -1234
|
|
|
|
|
# Bug 16284: results on directed rounding may be incorrect.
|
|
|
|
|
exp 1e5 xfail-rounding:dbl-64
|
|
|
|
|
exp max xfail-rounding:dbl-64
|
|
|
|
|
exp -max
|
|
|
|
|
|
|
|
|
|
exp10 0
|
|
|
|
|
exp10 -0
|
|
|
|
|
exp10 3
|
|
|
|
|
exp10 -1
|
|
|
|
|
exp10 36
|
|
|
|
|
exp10 -36
|
|
|
|
|
exp10 305
|
|
|
|
|
exp10 -305
|
|
|
|
|
exp10 4932
|
|
|
|
|
exp10 -4932
|
|
|
|
|
exp10 1e5
|
|
|
|
|
exp10 -1e5
|
|
|
|
|
exp10 1e6
|
|
|
|
|
exp10 -1e6
|
|
|
|
|
exp10 max
|
|
|
|
|
exp10 -max
|
|
|
|
|
exp10 0.75
|
|
|
|
|
|
|
|
|
|
exp2 0
|
|
|
|
|
exp2 -0
|
|
|
|
|
exp2 10
|
|
|
|
|
exp2 -1
|
|
|
|
|
exp2 1e6
|
|
|
|
|
# Bug 16283: errno may not be set on underflow.
|
|
|
|
|
exp2 -1e6 missing-errno
|
|
|
|
|
exp2 max
|
|
|
|
|
# Bug 16283: errno may not be set on underflow.
|
|
|
|
|
exp2 -max missing-errno
|
|
|
|
|
exp2 0.75
|
|
|
|
|
exp2 100.5
|
|
|
|
|
exp2 127
|
|
|
|
|
exp2 -149
|
|
|
|
|
exp2 1000.25
|
|
|
|
|
exp2 1023
|
|
|
|
|
# Bug 16283: errno may not be set on underflow.
|
|
|
|
|
exp2 -1074 missing-errno
|
|
|
|
|
exp2 16383
|
|
|
|
|
# Bug 16283: errno may not be set on underflow.
|
|
|
|
|
exp2 -16400 missing-errno
|
|
|
|
|
|
|
|
|
|
expm1 0
|
|
|
|
|
expm1 -0
|
|
|
|
|
expm1 1
|
|
|
|
|
expm1 0.75
|
|
|
|
|
expm1 50.0
|
|
|
|
|
expm1 127.0
|
|
|
|
|
expm1 500.0
|
|
|
|
|
expm1 11356.25
|
|
|
|
|
expm1 -10.0
|
|
|
|
|
expm1 -16.0
|
|
|
|
|
expm1 -17.0
|
|
|
|
|
expm1 -18.0
|
|
|
|
|
expm1 -36.0
|
|
|
|
|
expm1 -37.0
|
|
|
|
|
expm1 -38.0
|
|
|
|
|
expm1 -44.0
|
|
|
|
|
expm1 -45.0
|
|
|
|
|
expm1 -46.0
|
|
|
|
|
expm1 -73.0
|
|
|
|
|
expm1 -74.0
|
|
|
|
|
expm1 -75.0
|
|
|
|
|
expm1 -78.0
|
|
|
|
|
expm1 -79.0
|
|
|
|
|
expm1 -80.0
|
|
|
|
|
expm1 -100.0
|
|
|
|
|
expm1 -1000.0
|
|
|
|
|
expm1 -10000.0
|
|
|
|
|
expm1 -100000.0
|
|
|
|
|
expm1 100000.0
|
|
|
|
|
expm1 max
|
|
|
|
|
expm1 -max
|
|
|
|
|
|
|
|
|
|
j0 -1.0
|
|
|
|
|
j0 0.0
|
|
|
|
|
j0 0.125
|
|
|
|
|
j0 0.75
|
|
|
|
|
j0 1.0
|
|
|
|
|
j0 1.5
|
|
|
|
|
j0 2.0
|
|
|
|
|
j0 8.0
|
|
|
|
|
j0 10.0
|
|
|
|
|
j0 4.0
|
|
|
|
|
j0 -4.0
|
|
|
|
|
j0 0x1.d7ce3ap+107
|
|
|
|
|
j0 -0x1.001000001p+593
|
|
|
|
|
j0 0x1p1023
|
|
|
|
|
j0 0x1p16382
|
|
|
|
|
j0 0x1p16383
|
|
|
|
|
|
|
|
|
|
j1 -1.0
|
|
|
|
|
j1 0.0
|
|
|
|
|
j1 0.125
|
|
|
|
|
j1 0.75
|
|
|
|
|
j1 1.0
|
|
|
|
|
j1 1.5
|
|
|
|
|
j1 2.0
|
|
|
|
|
j1 8.0
|
|
|
|
|
j1 10.0
|
|
|
|
|
j1 0x1.3ffp+74
|
|
|
|
|
j1 0x1.ff00000000002p+840
|
|
|
|
|
j1 0x1p1023
|
|
|
|
|
j1 0x1p16382
|
|
|
|
|
j1 0x1p16383
|
|
|
|
|
|
2013-11-29 16:27:55 +00:00
|
|
|
sqrt 0
|
|
|
|
|
sqrt -0
|
|
|
|
|
sqrt 2209
|
|
|
|
|
sqrt 4
|
|
|
|
|
sqrt 2
|
|
|
|
|
sqrt 0.25
|
|
|
|
|
sqrt 6642.25
|
|
|
|
|
sqrt 15190.5625
|
|
|
|
|
sqrt 0.75
|
2013-11-29 16:31:16 +00:00
|
|
|
sqrt 0x1.fffffffffffffp+1023
|
|
|
|
|
sqrt 0x1.ffffffffffffbp+1023
|
|
|
|
|
sqrt 0x1.ffffffffffff7p+1023
|
|
|
|
|
sqrt 0x1.ffffffffffff3p+1023
|
|
|
|
|
sqrt 0x1.fffffffffffefp+1023
|
|
|
|
|
sqrt 0x1.fffffffffffebp+1023
|
|
|
|
|
sqrt 0x1.fffffffffffe7p+1023
|
|
|
|
|
sqrt 0x1.fffffffffffe3p+1023
|
|
|
|
|
sqrt 0x1.fffffffffffdfp+1023
|
|
|
|
|
sqrt 0x1.fffffffffffdbp+1023
|
|
|
|
|
sqrt 0x1.fffffffffffd7p+1023
|
|
|
|
|
sqrt 0x1.0000000000003p-1022
|
|
|
|
|
sqrt 0x1.0000000000007p-1022
|
|
|
|
|
sqrt 0x1.000000000000bp-1022
|
|
|
|
|
sqrt 0x1.000000000000fp-1022
|
|
|
|
|
sqrt 0x1.0000000000013p-1022
|
|
|
|
|
sqrt 0x1.0000000000017p-1022
|
|
|
|
|
sqrt 0x1.000000000001bp-1022
|
|
|
|
|
sqrt 0x1.000000000001fp-1022
|
|
|
|
|
sqrt 0x1.0000000000023p-1022
|
|
|
|
|
sqrt 0x1.0000000000027p-1022
|
|
|
|
|
sqrt 0x1.000000000002bp-1022
|
|
|
|
|
sqrt 0x1.000000000002fp-1022
|
|
|
|
|
sqrt 0x1.0000000000033p-1022
|
|
|
|
|
sqrt 0x1.0000000000037p-1022
|
|
|
|
|
sqrt 0x1.7167bc36eaa3bp+6
|
|
|
|
|
sqrt 0x1.7570994273ad7p+6
|
|
|
|
|
sqrt 0x1.7dae969442fe6p+6
|
|
|
|
|
sqrt 0x1.7f8444fcf67e5p+6
|
|
|
|
|
sqrt 0x1.8364650e63a54p+6
|
|
|
|
|
sqrt 0x1.85bedd274edd8p+6
|
|
|
|
|
sqrt 0x1.8609cf496ab77p+6
|
|
|
|
|
sqrt 0x1.873849c70a375p+6
|
|
|
|
|
sqrt 0x1.8919c962cbaaep+6
|
|
|
|
|
sqrt 0x1.8de4493e22dc6p+6
|
|
|
|
|
sqrt 0x1.924829a17a288p+6
|
|
|
|
|
sqrt 0x1.92702cd992f12p+6
|
|
|
|
|
sqrt 0x1.92b763a8311fdp+6
|
|
|
|
|
sqrt 0x1.947da013c7293p+6
|
|
|
|
|
sqrt 0x1.9536091c494d2p+6
|
|
|
|
|
sqrt 0x1.61b04c6p-1019
|
|
|
|
|
sqrt 0x1.93789f1p-1018
|
|
|
|
|
sqrt 0x1.a1989b4p-1018
|
|
|
|
|
sqrt 0x1.f93bc9p-1018
|
|
|
|
|
sqrt 0x1.2f675e3p-1017
|
|
|
|
|
sqrt 0x1.a158508p-1017
|
|
|
|
|
sqrt 0x1.cd31f078p-1017
|
|
|
|
|
sqrt 0x1.33b43b08p-1016
|
|
|
|
|
sqrt 0x1.6e66a858p-1016
|
|
|
|
|
sqrt 0x1.8661cbf8p-1016
|
|
|
|
|
sqrt 0x1.bbb221b4p-1016
|
|
|
|
|
sqrt 0x1.c4942f3cp-1016
|
|
|
|
|
sqrt 0x1.dbb258c8p-1016
|
|
|
|
|
sqrt 0x1.57103ea4p-1015
|
|
|
|
|
sqrt 0x1.9b294f88p-1015
|
|
|
|
|
sqrt 0x1.0000000000001p+0
|
|
|
|
|
sqrt 0x1.fffffffffffffp-1
|
