1
/* logb(). PowerPC/POWER7 version.
2
Copyright (C) 2012 Free Software Foundation, Inc.
3
This file is part of the GNU C Library.
5
The GNU C Library is free software; you can redistribute it and/or
6
modify it under the terms of the GNU Lesser General Public
7
License as published by the Free Software Foundation; either
8
version 2.1 of the License, or (at your option) any later version.
10
The GNU C Library is distributed in the hope that it will be useful,
11
but WITHOUT ANY WARRANTY; without even the implied warranty of
12
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13
Lesser General Public License for more details.
15
You should have received a copy of the GNU Lesser General Public
16
License along with the GNU C Library; if not, see
17
<http://www.gnu.org/licenses/>. */
19
#include <math_ldbl_opt.h>
21
/* This implementation avoids FP to INT conversions by using VSX
22
bitwise instructions over FP values. */
24
static const double two1div52 = 2.220446049250313e-16; /* 1/2**52 */
25
static const double two10m1 = -1023.0; /* 2**10 -1 */
27
/* FP mask to extract the exponent. */
29
unsigned long long mask;
31
} mask = { 0x7ff0000000000000ULL };
38
if (__builtin_expect (x == 0.0, 0))
39
/* Raise FE_DIVBYZERO and return -HUGE_VAL[LF]. */
40
return -1.0 / __builtin_fabs (x);
42
/* ret = x & 0x7ff0000000000000; */
44
"xxland %x0,%x1,%x2\n"
47
: "f" (x), "f" (mask.d));
48
/* ret = (ret >> 52) - 1023.0; */
49
ret = (ret * two1div52) + two10m1;
50
if (__builtin_expect (ret > -two10m1, 0))
51
/* Multiplication is used to set logb (+-INF) = INF. */
53
else if (__builtin_expect (ret == two10m1, 0))
55
/* POSIX specifies that denormal numbers are treated as
56
though they were normalized. */
60
EXTRACT_WORDS (ix, lx, x);
62
ma = __builtin_clz (lx) + 32;
64
ma = __builtin_clz (ix);
65
return (double) (-1023 - (ma - 12));
67
/* Test to avoid logb_downward (0.0) == -0.0. */
68
return ret == -0.0 ? 0.0 : ret;
70
weak_alias (__logb, logb)
72
strong_alias (__logb, __logbl)
73
weak_alias (__logb, logbl)
76
#if LONG_DOUBLE_COMPAT (libm, GLIBC_2_0)
77
compat_symbol (libm, logb, logbl, GLIBC_2_0);