1*5b2ba9d3SPiotr Jasiukajtis /*
2*5b2ba9d3SPiotr Jasiukajtis * CDDL HEADER START
3*5b2ba9d3SPiotr Jasiukajtis *
4*5b2ba9d3SPiotr Jasiukajtis * The contents of this file are subject to the terms of the
5*5b2ba9d3SPiotr Jasiukajtis * Common Development and Distribution License (the "License").
6*5b2ba9d3SPiotr Jasiukajtis * You may not use this file except in compliance with the License.
7*5b2ba9d3SPiotr Jasiukajtis *
8*5b2ba9d3SPiotr Jasiukajtis * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9*5b2ba9d3SPiotr Jasiukajtis * or http://www.opensolaris.org/os/licensing.
10*5b2ba9d3SPiotr Jasiukajtis * See the License for the specific language governing permissions
11*5b2ba9d3SPiotr Jasiukajtis * and limitations under the License.
12*5b2ba9d3SPiotr Jasiukajtis *
13*5b2ba9d3SPiotr Jasiukajtis * When distributing Covered Code, include this CDDL HEADER in each
14*5b2ba9d3SPiotr Jasiukajtis * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15*5b2ba9d3SPiotr Jasiukajtis * If applicable, add the following below this CDDL HEADER, with the
16*5b2ba9d3SPiotr Jasiukajtis * fields enclosed by brackets "[]" replaced with your own identifying
17*5b2ba9d3SPiotr Jasiukajtis * information: Portions Copyright [yyyy] [name of copyright owner]
18*5b2ba9d3SPiotr Jasiukajtis *
19*5b2ba9d3SPiotr Jasiukajtis * CDDL HEADER END
20*5b2ba9d3SPiotr Jasiukajtis */
21*5b2ba9d3SPiotr Jasiukajtis
22*5b2ba9d3SPiotr Jasiukajtis /*
23*5b2ba9d3SPiotr Jasiukajtis * Copyright 2011 Nexenta Systems, Inc. All rights reserved.
24*5b2ba9d3SPiotr Jasiukajtis */
25*5b2ba9d3SPiotr Jasiukajtis /*
26*5b2ba9d3SPiotr Jasiukajtis * Copyright 2006 Sun Microsystems, Inc. All rights reserved.
27*5b2ba9d3SPiotr Jasiukajtis * Use is subject to license terms.
28*5b2ba9d3SPiotr Jasiukajtis */
29*5b2ba9d3SPiotr Jasiukajtis
30*5b2ba9d3SPiotr Jasiukajtis #pragma weak frexp = __frexp
31*5b2ba9d3SPiotr Jasiukajtis
32*5b2ba9d3SPiotr Jasiukajtis /*
33*5b2ba9d3SPiotr Jasiukajtis * frexp(x, exp) returns the normalized significand of x and sets
34*5b2ba9d3SPiotr Jasiukajtis * *exp so that x = r*2^(*exp) where r is the return value. If x
35*5b2ba9d3SPiotr Jasiukajtis * is finite and nonzero, 1/2 <= |r| < 1.
36*5b2ba9d3SPiotr Jasiukajtis *
37*5b2ba9d3SPiotr Jasiukajtis * If x is zero, infinite or NaN, frexp returns x and sets *exp = 0.
38*5b2ba9d3SPiotr Jasiukajtis * (The relevant standards do not specify *exp when x is infinite or
39*5b2ba9d3SPiotr Jasiukajtis * NaN, but this code sets it anyway.)
40*5b2ba9d3SPiotr Jasiukajtis *
41*5b2ba9d3SPiotr Jasiukajtis * If x is a signaling NaN, this code returns x without attempting
42*5b2ba9d3SPiotr Jasiukajtis * to raise the invalid operation exception. If x is subnormal,
43*5b2ba9d3SPiotr Jasiukajtis * this code treats it as nonzero regardless of nonstandard mode.
44*5b2ba9d3SPiotr Jasiukajtis */
45*5b2ba9d3SPiotr Jasiukajtis
46*5b2ba9d3SPiotr Jasiukajtis #include "libm.h"
47*5b2ba9d3SPiotr Jasiukajtis
48*5b2ba9d3SPiotr Jasiukajtis double
__frexp(double x,int * exp)49*5b2ba9d3SPiotr Jasiukajtis __frexp(double x, int *exp) {
50*5b2ba9d3SPiotr Jasiukajtis union {
51*5b2ba9d3SPiotr Jasiukajtis unsigned i[2];
52*5b2ba9d3SPiotr Jasiukajtis double d;
53*5b2ba9d3SPiotr Jasiukajtis } xx, yy;
54*5b2ba9d3SPiotr Jasiukajtis double t;
55*5b2ba9d3SPiotr Jasiukajtis unsigned hx;
56*5b2ba9d3SPiotr Jasiukajtis int e;
57*5b2ba9d3SPiotr Jasiukajtis
58*5b2ba9d3SPiotr Jasiukajtis xx.d = x;
59*5b2ba9d3SPiotr Jasiukajtis hx = xx.i[HIWORD] & ~0x80000000;
60*5b2ba9d3SPiotr Jasiukajtis
61*5b2ba9d3SPiotr Jasiukajtis if (hx >= 0x7ff00000) { /* x is infinite or NaN */
62*5b2ba9d3SPiotr Jasiukajtis *exp = 0;
63*5b2ba9d3SPiotr Jasiukajtis return (x);
64*5b2ba9d3SPiotr Jasiukajtis }
65*5b2ba9d3SPiotr Jasiukajtis
66*5b2ba9d3SPiotr Jasiukajtis e = 0;
67*5b2ba9d3SPiotr Jasiukajtis if (hx < 0x00100000) { /* x is subnormal or zero */
68*5b2ba9d3SPiotr Jasiukajtis if ((hx | xx.i[LOWORD]) == 0) {
69*5b2ba9d3SPiotr Jasiukajtis *exp = 0;
70*5b2ba9d3SPiotr Jasiukajtis return (x);
71*5b2ba9d3SPiotr Jasiukajtis }
72*5b2ba9d3SPiotr Jasiukajtis
73*5b2ba9d3SPiotr Jasiukajtis /*
74*5b2ba9d3SPiotr Jasiukajtis * normalize x by regarding it as an integer
75*5b2ba9d3SPiotr Jasiukajtis *
76*5b2ba9d3SPiotr Jasiukajtis * Here we use 32-bit integer arithmetic to avoid trapping
77*5b2ba9d3SPiotr Jasiukajtis * or emulating 64-bit arithmetic. If 64-bit arithmetic is
78*5b2ba9d3SPiotr Jasiukajtis * available (e.g., in SPARC V9), do this instead:
79*5b2ba9d3SPiotr Jasiukajtis *
80*5b2ba9d3SPiotr Jasiukajtis * long lx = ((long) hx << 32) | xx.i[LOWORD];
81*5b2ba9d3SPiotr Jasiukajtis * xx.d = (xx.i[HIWORD] < 0)? -lx : lx;
82*5b2ba9d3SPiotr Jasiukajtis *
83*5b2ba9d3SPiotr Jasiukajtis * If subnormal arithmetic doesn't trap, just multiply x by
84*5b2ba9d3SPiotr Jasiukajtis * a power of two.
85*5b2ba9d3SPiotr Jasiukajtis */
86*5b2ba9d3SPiotr Jasiukajtis yy.i[HIWORD] = 0x43300000 | hx;
87*5b2ba9d3SPiotr Jasiukajtis yy.i[LOWORD] = xx.i[LOWORD];
88*5b2ba9d3SPiotr Jasiukajtis t = yy.d;
89*5b2ba9d3SPiotr Jasiukajtis yy.i[HIWORD] = 0x43300000;
90*5b2ba9d3SPiotr Jasiukajtis yy.i[LOWORD] = 0;
91*5b2ba9d3SPiotr Jasiukajtis t -= yy.d; /* t = |x| scaled */
92*5b2ba9d3SPiotr Jasiukajtis xx.d = ((int)xx.i[HIWORD] < 0)? -t : t;
93*5b2ba9d3SPiotr Jasiukajtis hx = xx.i[HIWORD] & ~0x80000000;
94*5b2ba9d3SPiotr Jasiukajtis e = -1074;
95*5b2ba9d3SPiotr Jasiukajtis }
96*5b2ba9d3SPiotr Jasiukajtis
97*5b2ba9d3SPiotr Jasiukajtis /* now xx.d is normal */
98*5b2ba9d3SPiotr Jasiukajtis xx.i[HIWORD] = (xx.i[HIWORD] & ~0x7ff00000) | 0x3fe00000;
99*5b2ba9d3SPiotr Jasiukajtis *exp = e + (hx >> 20) - 0x3fe;
100*5b2ba9d3SPiotr Jasiukajtis return (xx.d);
101*5b2ba9d3SPiotr Jasiukajtis }
102