annotate gcc/testsuite/gcc.c-torture/execute/cbrt.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /*
kono
parents:
diff changeset
2 * ====================================================
kono
parents:
diff changeset
3 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
kono
parents:
diff changeset
4 *
kono
parents:
diff changeset
5 * Developed at SunPro, a Sun Microsystems, Inc. business.
kono
parents:
diff changeset
6 * Permission to use, copy, modify, and distribute this
kono
parents:
diff changeset
7 * software is freely granted, provided that this notice
kono
parents:
diff changeset
8 * is preserved.
kono
parents:
diff changeset
9 * ====================================================
kono
parents:
diff changeset
10 */
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 #ifndef __vax__
kono
parents:
diff changeset
13 static const unsigned long
kono
parents:
diff changeset
14 B1 = 715094163, /* B1 = (682-0.03306235651)*2**20 */
kono
parents:
diff changeset
15 B2 = 696219795; /* B2 = (664-0.03306235651)*2**20 */
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 static const double
kono
parents:
diff changeset
18 C = 5.42857142857142815906e-01, /* 19/35 = 0x3FE15F15, 0xF15F15F1 */
kono
parents:
diff changeset
19 D = -7.05306122448979611050e-01, /* -864/1225 = 0xBFE691DE, 0x2532C834 */
kono
parents:
diff changeset
20 E = 1.41428571428571436819e+00, /* 99/70 = 0x3FF6A0EA, 0x0EA0EA0F */
kono
parents:
diff changeset
21 F = 1.60714285714285720630e+00, /* 45/28 = 0x3FF9B6DB, 0x6DB6DB6E */
kono
parents:
diff changeset
22 G = 3.57142857142857150787e-01; /* 5/14 = 0x3FD6DB6D, 0xB6DB6DB7 */
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 double
kono
parents:
diff changeset
25 cbrtl (double x)
kono
parents:
diff changeset
26 {
kono
parents:
diff changeset
27 long hx;
kono
parents:
diff changeset
28 double r,s,w;
kono
parents:
diff changeset
29 double lt;
kono
parents:
diff changeset
30 unsigned sign;
kono
parents:
diff changeset
31 typedef unsigned unsigned32 __attribute__((mode(SI)));
kono
parents:
diff changeset
32 union {
kono
parents:
diff changeset
33 double t;
kono
parents:
diff changeset
34 unsigned32 pt[2];
kono
parents:
diff changeset
35 } ut, ux;
kono
parents:
diff changeset
36 int n0;
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 ut.t = 1.0;
kono
parents:
diff changeset
39 n0 = (ut.pt[0] == 0);
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 ut.t = 0.0;
kono
parents:
diff changeset
42 ux.t = x;
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 hx = ux.pt[n0]; /* high word of x */
kono
parents:
diff changeset
45 sign=hx&0x80000000; /* sign= sign(x) */
kono
parents:
diff changeset
46 hx ^=sign;
kono
parents:
diff changeset
47 if(hx>=0x7ff00000) return(x+x); /* cbrt(NaN,INF) is itself */
kono
parents:
diff changeset
48 if((hx| ux.pt[1-n0])==0)
kono
parents:
diff changeset
49 return(ux.t); /* cbrt(0) is itself */
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 ux.pt[n0] = hx;
kono
parents:
diff changeset
52 /* rough cbrt to 5 bits */
kono
parents:
diff changeset
53 if(hx<0x00100000) /* subnormal number */
kono
parents:
diff changeset
54 {ut.pt[n0]=0x43500000; /* set t= 2**54 */
kono
parents:
diff changeset
55 ut.t*=x; ut.pt[n0]=ut.pt[n0]/3+B2;
kono
parents:
diff changeset
56 }
kono
parents:
diff changeset
57 else
kono
parents:
diff changeset
58 ut.pt[n0]=hx/3+B1;
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 /* new cbrt to 23 bits, may be implemented in single precision */
kono
parents:
diff changeset
61 r=ut.t*ut.t/ux.t;
kono
parents:
diff changeset
62 s=C+r*ut.t;
kono
parents:
diff changeset
63 ut.t*=G+F/(s+E+D/s);
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 /* chopped to 20 bits and make it larger than cbrt(x) */
kono
parents:
diff changeset
66 ut.pt[1-n0]=0; ut.pt[n0]+=0x00000001;
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68 /* one step newton iteration to 53 bits with error less than 0.667 ulps */
kono
parents:
diff changeset
69 s=ut.t*ut.t; /* t*t is exact */
kono
parents:
diff changeset
70 r=ux.t/s;
kono
parents:
diff changeset
71 w=ut.t+ut.t;
kono
parents:
diff changeset
72 r=(r-ut.t)/(w+r); /* r-s is exact */
kono
parents:
diff changeset
73 ut.t=ut.t+ut.t*r;
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 /* restore the sign bit */
kono
parents:
diff changeset
76 ut.pt[n0] |= sign;
kono
parents:
diff changeset
77
kono
parents:
diff changeset
78 lt = ut.t;
kono
parents:
diff changeset
79 lt -= (lt - (x/(lt*lt))) * 0.333333333333333333333;
kono
parents:
diff changeset
80 return lt;
kono
parents:
diff changeset
81 }
kono
parents:
diff changeset
82
kono
parents:
diff changeset
83 main ()
kono
parents:
diff changeset
84 {
kono
parents:
diff changeset
85 if ((int) (cbrtl (27.0) + 0.5) != 3)
kono
parents:
diff changeset
86 abort ();
kono
parents:
diff changeset
87
kono
parents:
diff changeset
88 exit (0);
kono
parents:
diff changeset
89 }
kono
parents:
diff changeset
90 #else
kono
parents:
diff changeset
91 main () { exit (0); }
kono
parents:
diff changeset
92 #endif