1*84d9c625SLionel Sambuc /* $NetBSD: s_scalbnl.c,v 1.9 2013/05/20 19:40:09 joerg Exp $ */
2*84d9c625SLionel Sambuc
3*84d9c625SLionel Sambuc /*-
4*84d9c625SLionel Sambuc * Copyright (c) 2011 The NetBSD Foundation, Inc.
5*84d9c625SLionel Sambuc * All rights reserved.
6*84d9c625SLionel Sambuc *
7*84d9c625SLionel Sambuc * This code is derived from software contributed to The NetBSD Foundation
8*84d9c625SLionel Sambuc * by Joerg Sonnenberger.
9*84d9c625SLionel Sambuc *
10*84d9c625SLionel Sambuc * Redistribution and use in source and binary forms, with or without
11*84d9c625SLionel Sambuc * modification, are permitted provided that the following conditions
12*84d9c625SLionel Sambuc * are met:
13*84d9c625SLionel Sambuc * 1. Redistributions of source code must retain the above copyright
14*84d9c625SLionel Sambuc * notice, this list of conditions and the following disclaimer.
15*84d9c625SLionel Sambuc * 2. Redistributions in binary form must reproduce the above copyright
16*84d9c625SLionel Sambuc * notice, this list of conditions and the following disclaimer in the
17*84d9c625SLionel Sambuc * documentation and/or other materials provided with the distribution.
18*84d9c625SLionel Sambuc *
19*84d9c625SLionel Sambuc * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20*84d9c625SLionel Sambuc * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21*84d9c625SLionel Sambuc * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22*84d9c625SLionel Sambuc * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23*84d9c625SLionel Sambuc * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24*84d9c625SLionel Sambuc * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25*84d9c625SLionel Sambuc * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26*84d9c625SLionel Sambuc * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27*84d9c625SLionel Sambuc * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28*84d9c625SLionel Sambuc * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29*84d9c625SLionel Sambuc * POSSIBILITY OF SUCH DAMAGE.
30*84d9c625SLionel Sambuc */
31*84d9c625SLionel Sambuc
32*84d9c625SLionel Sambuc #include <sys/cdefs.h>
33*84d9c625SLionel Sambuc __RCSID("$NetBSD: s_scalbnl.c,v 1.9 2013/05/20 19:40:09 joerg Exp $");
34*84d9c625SLionel Sambuc
35*84d9c625SLionel Sambuc #include "namespace.h"
36*84d9c625SLionel Sambuc
37*84d9c625SLionel Sambuc #include <float.h>
38*84d9c625SLionel Sambuc #include <math.h>
39*84d9c625SLionel Sambuc #include <machine/ieee.h>
40*84d9c625SLionel Sambuc
41*84d9c625SLionel Sambuc #ifdef __HAVE_LONG_DOUBLE
42*84d9c625SLionel Sambuc
43*84d9c625SLionel Sambuc #ifdef _LP64
44*84d9c625SLionel Sambuc long double
scalbnl(long double x,int n)45*84d9c625SLionel Sambuc scalbnl(long double x, int n)
46*84d9c625SLionel Sambuc {
47*84d9c625SLionel Sambuc return scalblnl(x, n);
48*84d9c625SLionel Sambuc }
49*84d9c625SLionel Sambuc #else
__strong_alias(_scalbnl,_scalblnl)50*84d9c625SLionel Sambuc __strong_alias(_scalbnl, _scalblnl)
51*84d9c625SLionel Sambuc #endif
52*84d9c625SLionel Sambuc
53*84d9c625SLionel Sambuc __weak_alias(scalbnl, _scalbnl)
54*84d9c625SLionel Sambuc __weak_alias(scalblnl, _scalblnl)
55*84d9c625SLionel Sambuc __weak_alias(ldexpl, _scalbnl)
56*84d9c625SLionel Sambuc
57*84d9c625SLionel Sambuc #if LDBL_MANT_DIG == 64
58*84d9c625SLionel Sambuc #define FROM_UNDERFLOW 0x1p65L
59*84d9c625SLionel Sambuc #define TO_UNDERFLOW 0x1p-65L
60*84d9c625SLionel Sambuc #elif LDBL_MANT_DIG == 113
61*84d9c625SLionel Sambuc #define FROM_UNDERFLOW 0x1p114L
62*84d9c625SLionel Sambuc #define TO_UNDERFLOW 0x1p-114L
63*84d9c625SLionel Sambuc #else
64*84d9c625SLionel Sambuc #error Unsupported long double format
65*84d9c625SLionel Sambuc #endif
66*84d9c625SLionel Sambuc
67*84d9c625SLionel Sambuc long double
68*84d9c625SLionel Sambuc scalblnl(long double x, long n)
69*84d9c625SLionel Sambuc {
70*84d9c625SLionel Sambuc union ieee_ext_u u;
71*84d9c625SLionel Sambuc
72*84d9c625SLionel Sambuc /* Trivial cases first */
73*84d9c625SLionel Sambuc if (n == 0 || x == 0.0L)
74*84d9c625SLionel Sambuc return x;
75*84d9c625SLionel Sambuc
76*84d9c625SLionel Sambuc u.extu_ld = x;
77*84d9c625SLionel Sambuc
78*84d9c625SLionel Sambuc /* NaN and infinite don't change either, but trigger exception */
79*84d9c625SLionel Sambuc if (u.extu_ext.ext_exp == EXT_EXP_INFNAN)
80*84d9c625SLionel Sambuc return x + x;
81*84d9c625SLionel Sambuc
82*84d9c625SLionel Sambuc /* Protect against integer overflow in calculation of new exponent */
83*84d9c625SLionel Sambuc if (n > LDBL_MAX_EXP - LDBL_MIN_EXP + LDBL_MANT_DIG)
84*84d9c625SLionel Sambuc goto overflow;
85*84d9c625SLionel Sambuc if (n < LDBL_MIN_EXP - LDBL_MAX_EXP - LDBL_MANT_DIG)
86*84d9c625SLionel Sambuc goto underflow;
87*84d9c625SLionel Sambuc
88*84d9c625SLionel Sambuc /* Scale denormalized numbers slightly, so that they are normal */
89*84d9c625SLionel Sambuc if (u.extu_ext.ext_exp == 0) {
90*84d9c625SLionel Sambuc u.extu_ld *= FROM_UNDERFLOW;
91*84d9c625SLionel Sambuc n -= LDBL_MANT_DIG + 1;
92*84d9c625SLionel Sambuc }
93*84d9c625SLionel Sambuc
94*84d9c625SLionel Sambuc n += u.extu_ext.ext_exp;
95*84d9c625SLionel Sambuc if (n >= LDBL_MAX_EXP + EXT_EXP_BIAS)
96*84d9c625SLionel Sambuc goto overflow;
97*84d9c625SLionel Sambuc /* Positive exponent (incl. bias) means normal result */
98*84d9c625SLionel Sambuc if (n > 0) {
99*84d9c625SLionel Sambuc u.extu_ext.ext_exp = n;
100*84d9c625SLionel Sambuc return u.extu_ld;
101*84d9c625SLionel Sambuc }
102*84d9c625SLionel Sambuc /* Shift the exponent and let the multiply below handle subnormal */
103*84d9c625SLionel Sambuc n += LDBL_MANT_DIG + 1;
104*84d9c625SLionel Sambuc if (n <= 0)
105*84d9c625SLionel Sambuc goto underflow;
106*84d9c625SLionel Sambuc u.extu_ext.ext_exp = n;
107*84d9c625SLionel Sambuc return u.extu_ld * TO_UNDERFLOW;
108*84d9c625SLionel Sambuc
109*84d9c625SLionel Sambuc underflow:
110*84d9c625SLionel Sambuc return LDBL_MIN * copysignl(LDBL_MIN, x);
111*84d9c625SLionel Sambuc
112*84d9c625SLionel Sambuc overflow:
113*84d9c625SLionel Sambuc return LDBL_MAX * copysignl(LDBL_MAX, x);
114*84d9c625SLionel Sambuc }
115*84d9c625SLionel Sambuc
116*84d9c625SLionel Sambuc #endif
117