annotate lib/integer_length.c @ 17907:0a1c2535cad9

euidaccess: Fix Android build * modules/euidaccess (Depends-on): Add fcntl-h to ensure that AT_EACCESS gets declared.
author Kevin Cernekee <cernekee@google.com>
date Wed, 11 Feb 2015 15:22:54 -0800
parents ab58d4870664
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15952
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* integer_length - find most significant bit in an 'unsigned int'.
17848
ab58d4870664 version-etc: new year
Paul Eggert <eggert@cs.ucla.edu>
parents: 17587
diff changeset
2 Copyright (C) 2011-2015 Free Software Foundation, Inc.
15952
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 /* Written by Bruno Haible <bruno@clisp.org>, 2011. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 #include <config.h>
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21 /* Specification. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 #include "integer_length.h"
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24 #include <limits.h>
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 #include "float+.h"
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27
16506
fa4e9b981eb4 Avoid compilation errors with MSVC option -fp:strict.
Bruno Haible <bruno@clisp.org>
parents: 16201
diff changeset
28 /* MSVC with option -fp:strict refuses to compile constant initializers that
fa4e9b981eb4 Avoid compilation errors with MSVC option -fp:strict.
Bruno Haible <bruno@clisp.org>
parents: 16201
diff changeset
29 contain floating-point operations. Pacify this compiler. */
fa4e9b981eb4 Avoid compilation errors with MSVC option -fp:strict.
Bruno Haible <bruno@clisp.org>
parents: 16201
diff changeset
30 #ifdef _MSC_VER
fa4e9b981eb4 Avoid compilation errors with MSVC option -fp:strict.
Bruno Haible <bruno@clisp.org>
parents: 16201
diff changeset
31 # pragma fenv_access (off)
fa4e9b981eb4 Avoid compilation errors with MSVC option -fp:strict.
Bruno Haible <bruno@clisp.org>
parents: 16201
diff changeset
32 #endif
fa4e9b981eb4 Avoid compilation errors with MSVC option -fp:strict.
Bruno Haible <bruno@clisp.org>
parents: 16201
diff changeset
33
15952
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34 #define NBITS (sizeof (unsigned int) * CHAR_BIT)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36 int
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 integer_length (unsigned int x)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 #if __GNUC__ > 3 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 4)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
40 if (x == 0)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
41 return 0;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
42 else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
43 return NBITS - __builtin_clz (x);
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
44 #else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 # if defined DBL_EXPBIT0_WORD && defined DBL_EXPBIT0_BIT
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46 if (NBITS <= DBL_MANT_BIT)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 /* Use 'double' operations.
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
49 Assumes an IEEE 754 'double' implementation. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
50 # define DBL_EXP_MASK ((DBL_MAX_EXP - DBL_MIN_EXP) | 7)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
51 # define DBL_EXP_BIAS (DBL_EXP_MASK / 2 - 1)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
52 # define NWORDS \
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
53 ((sizeof (double) + sizeof (unsigned int) - 1) / sizeof (unsigned int))
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54 typedef union { double value; unsigned int word[NWORDS]; }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 memory_double;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
57 if (x == 0)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
58 return 0;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
59 else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
60 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
61 memory_double m;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
62 unsigned int exponent;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
63
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
64 if (1)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
65 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
66 /* Use a single integer to floating-point conversion. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
67 m.value = x;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
68 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
69 else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
70 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
71 /* Use a single floating-point subtraction. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
72 /* 2^(DBL_MANT_DIG-1). */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
73 static const double TWO_DBL_MANT_DIG =
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
74 /* Assume DBL_MANT_DIG <= 5 * 31.
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
75 Use the identity
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
76 n = floor(n/5) + floor((n+1)/5) + ... + floor((n+4)/5). */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
77 (double) (1U << ((DBL_MANT_DIG - 1) / 5))
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
78 * (double) (1U << ((DBL_MANT_DIG - 1 + 1) / 5))
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
79 * (double) (1U << ((DBL_MANT_DIG - 1 + 2) / 5))
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
80 * (double) (1U << ((DBL_MANT_DIG - 1 + 3) / 5))
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
81 * (double) (1U << ((DBL_MANT_DIG - 1 + 4) / 5));
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
82
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
83 /* Construct 2^(DBL_MANT_DIG-1) + x by hand. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
84 m.word[DBL_EXPBIT0_WORD] =
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
85 (DBL_MANT_DIG + DBL_EXP_BIAS) << DBL_EXPBIT0_BIT;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
86 m.word[1 - DBL_EXPBIT0_WORD] = x;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
87
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
88 /* Subtract 2^(DBL_MANT_DIG-1). */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
89 m.value = m.value - TWO_DBL_MANT_DIG;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
90 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
91
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
92 exponent =
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
93 (m.word[DBL_EXPBIT0_WORD] >> DBL_EXPBIT0_BIT) & DBL_EXP_MASK;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
94 return exponent - DBL_EXP_BIAS;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
95 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
96 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
97 else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
98 # endif
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
99 if (NBITS == 32)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
100 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
101 /* 6 comparisons. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
102 if (x != 0)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
103 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
104 int result = 1;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
105 if (x >= 0x10000)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
106 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
107 x = x >> 16;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
108 result += 16;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
109 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
110 if (x >= 0x100)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
111 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
112 x = x >> 8;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
113 result += 8;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
114 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
115 if (x >= 0x10)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
116 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
117 x = x >> 4;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
118 result += 4;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
119 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
120 if (x >= 0x4)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
121 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
122 x = x >> 2;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
123 result += 2;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
124 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
125 if (x >= 0x2)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
126 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
127 x = x >> 1;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
128 result += 1;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
129 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
130 return result;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
131 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
132 else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
133 return 0;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
134 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
135 else
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
136 {
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
137 /* Naive loop.
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
138 Works for any value of NBITS. */
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
139 int j;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
140
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
141 for (j = NBITS - 1; j >= 0; j--)
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
142 if (x & (1U << j))
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
143 return j + 1;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
144 return 0;
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
145 }
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
146 #endif
10da83926c24 New module 'integer_length'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
147 }