summaryrefslogtreecommitdiff
path: root/lib/log2f.c
blob: 0410d0a0d18199a2c41d8f5e4524f35193efdfdc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
/* Base 2 logarithm.
   Copyright (C) 2012-2021 Free Software Foundation, Inc.

   This file is free software: you can redistribute it and/or modify
   it under the terms of the GNU Lesser General Public License as
   published by the Free Software Foundation; either version 3 of the
   License, or (at your option) any later version.

   This file is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License
   along with this program.  If not, see <https://www.gnu.org/licenses/>.  */

#include <config.h>

/* Specification.  */
#include <math.h>

#if HAVE_LOG2

float
log2f (float x)
{
  return (float) log2 ((double) x);
}

#else

/* Best possible approximation of log(2) as a 'float'.  */
#define LOG2 0.693147180559945309417232121458176568075f

/* Best possible approximation of 1/log(2) as a 'float'.  */
#define LOG2_INVERSE 1.44269504088896340735992468100189213743f

/* sqrt(0.5).  */
#define SQRT_HALF 0.707106781186547524400844362104849039284f

float
log2f (float x)
{
  if (isnanf (x))
    return x;

  if (x <= 0.0f)
    {
      if (x == 0.0f)
        /* Return -Infinity.  */
        return - HUGE_VALF;
      else
        {
          /* Return NaN.  */
#if defined _MSC_VER
          static float zero;
          return zero / zero;
#else
          return 0.0f / 0.0f;
#endif
        }
    }

  /* Decompose x into
       x = 2^e * y
     where
       e is an integer,
       1/2 < y < 2.
     Then log2(x) = e + log2(y) = e + log(y)/log(2).  */
  {
    int e;
    float y;

    y = frexpf (x, &e);
    if (y < SQRT_HALF)
      {
        y = 2.0f * y;
        e = e - 1;
      }

    return (float) e + logf (y) * LOG2_INVERSE;
  }
}

#endif