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