* cfghooks.c (verify_flow_info): Check that edge probabilities are
[official-gcc.git] / gcc / hwint.h
blob2a61e3c9be658c30c9611c2ed2770e9c88888b03
1 /* HOST_WIDE_INT definitions for the GNU compiler.
2 Copyright (C) 1998-2017 Free Software Foundation, Inc.
4 This file is part of GCC.
6 Provide definitions for macros which depend on HOST_BITS_PER_INT
7 and HOST_BITS_PER_LONG. */
9 #ifndef GCC_HWINT_H
10 #define GCC_HWINT_H
12 /* This describes the machine the compiler is hosted on. */
13 #define HOST_BITS_PER_CHAR CHAR_BIT
14 #define HOST_BITS_PER_SHORT (CHAR_BIT * SIZEOF_SHORT)
15 #define HOST_BITS_PER_INT (CHAR_BIT * SIZEOF_INT)
16 #define HOST_BITS_PER_LONG (CHAR_BIT * SIZEOF_LONG)
18 /* The string that should be inserted into a printf style format to
19 indicate a "long" operand. */
20 #ifndef HOST_LONG_FORMAT
21 #define HOST_LONG_FORMAT "l"
22 #endif
24 /* The string that should be inserted into a printf style format to
25 indicate a "long long" operand. */
26 #ifndef HOST_LONG_LONG_FORMAT
27 #define HOST_LONG_LONG_FORMAT "ll"
28 #endif
30 /* If HAVE_LONG_LONG and SIZEOF_LONG_LONG aren't defined, but
31 GCC_VERSION >= 3000, assume this is the second or later stage of a
32 bootstrap, we do have long long, and it's 64 bits. (This is
33 required by C99; we do have some ports that violate that assumption
34 but they're all cross-compile-only.) Just in case, force a
35 constraint violation if that assumption is incorrect. */
36 #if !defined HAVE_LONG_LONG
37 # if GCC_VERSION >= 3000
38 # define HAVE_LONG_LONG 1
39 # define SIZEOF_LONG_LONG 8
40 extern char sizeof_long_long_must_be_8[sizeof (long long) == 8 ? 1 : -1];
41 # endif
42 #endif
44 #ifdef HAVE_LONG_LONG
45 # define HOST_BITS_PER_LONGLONG (CHAR_BIT * SIZEOF_LONG_LONG)
46 #endif
48 /* Set HOST_WIDE_INT, this should be always 64 bits.
49 The underlying type is matched to that of int64_t and assumed
50 to be either long or long long. */
52 #define HOST_BITS_PER_WIDE_INT 64
53 #if INT64_T_IS_LONG
54 # define HOST_WIDE_INT long
55 # define HOST_WIDE_INT_C(X) X ## L
56 #else
57 # if HOST_BITS_PER_LONGLONG == 64
58 # define HOST_WIDE_INT long long
59 # define HOST_WIDE_INT_C(X) X ## LL
60 # else
61 #error "Unable to find a suitable type for HOST_WIDE_INT"
62 # endif
63 #endif
65 #define HOST_WIDE_INT_UC(X) HOST_WIDE_INT_C (X ## U)
66 #define HOST_WIDE_INT_0 HOST_WIDE_INT_C (0)
67 #define HOST_WIDE_INT_0U HOST_WIDE_INT_UC (0)
68 #define HOST_WIDE_INT_1 HOST_WIDE_INT_C (1)
69 #define HOST_WIDE_INT_1U HOST_WIDE_INT_UC (1)
70 #define HOST_WIDE_INT_M1 HOST_WIDE_INT_C (-1)
71 #define HOST_WIDE_INT_M1U HOST_WIDE_INT_UC (-1)
73 /* This is a magic identifier which allows GCC to figure out the type
74 of HOST_WIDE_INT for %wd specifier checks. You must issue this
75 typedef before using the __asm_fprintf__ format attribute. */
76 typedef HOST_WIDE_INT __gcc_host_wide_int__;
78 /* Provide C99 <inttypes.h> style format definitions for 64bits. */
79 #ifndef HAVE_INTTYPES_H
80 #if INT64_T_IS_LONG
81 # define GCC_PRI64 HOST_LONG_FORMAT
82 #else
83 # define GCC_PRI64 HOST_LONG_LONG_FORMAT
84 #endif
85 #undef PRId64
86 #define PRId64 GCC_PRI64 "d"
87 #undef PRIi64
88 #define PRIi64 GCC_PRI64 "i"
89 #undef PRIo64
90 #define PRIo64 GCC_PRI64 "o"
91 #undef PRIu64
92 #define PRIu64 GCC_PRI64 "u"
93 #undef PRIx64
94 #define PRIx64 GCC_PRI64 "x"
95 #undef PRIX64
96 #define PRIX64 GCC_PRI64 "X"
97 #endif
99 /* Various printf format strings for HOST_WIDE_INT. */
101 #if INT64_T_IS_LONG
102 # define HOST_WIDE_INT_PRINT HOST_LONG_FORMAT
103 # define HOST_WIDE_INT_PRINT_C "L"
104 #else
105 # define HOST_WIDE_INT_PRINT HOST_LONG_LONG_FORMAT
106 # define HOST_WIDE_INT_PRINT_C "LL"
107 #endif
109 #define HOST_WIDE_INT_PRINT_DEC "%" PRId64
110 #define HOST_WIDE_INT_PRINT_DEC_C "%" PRId64 HOST_WIDE_INT_PRINT_C
111 #define HOST_WIDE_INT_PRINT_UNSIGNED "%" PRIu64
112 #define HOST_WIDE_INT_PRINT_HEX "%#" PRIx64
113 #define HOST_WIDE_INT_PRINT_HEX_PURE "%" PRIx64
114 #define HOST_WIDE_INT_PRINT_DOUBLE_HEX "0x%" PRIx64 "%016" PRIx64
115 #define HOST_WIDE_INT_PRINT_PADDED_HEX "%016" PRIx64
117 /* Define HOST_WIDEST_FAST_INT to the widest integer type supported
118 efficiently in hardware. (That is, the widest integer type that fits
119 in a hardware register.) Normally this is "long" but on some hosts it
120 should be "long long" or "__int64". This is no convenient way to
121 autodetect this, so such systems must set a flag in config.host; see there
122 for details. */
124 #ifdef USE_LONG_LONG_FOR_WIDEST_FAST_INT
125 # ifdef HAVE_LONG_LONG
126 # define HOST_WIDEST_FAST_INT long long
127 # define HOST_BITS_PER_WIDEST_FAST_INT HOST_BITS_PER_LONGLONG
128 # else
129 # error "Your host said it wanted to use long long but that does not exist"
130 # endif
131 #else
132 # define HOST_WIDEST_FAST_INT long
133 # define HOST_BITS_PER_WIDEST_FAST_INT HOST_BITS_PER_LONG
134 #endif
136 /* Inline functions operating on HOST_WIDE_INT. */
138 /* Return X with all but the lowest bit masked off. */
140 static inline unsigned HOST_WIDE_INT
141 least_bit_hwi (unsigned HOST_WIDE_INT x)
143 return (x & -x);
146 /* True if X is zero or a power of two. */
148 static inline bool
149 pow2_or_zerop (unsigned HOST_WIDE_INT x)
151 return least_bit_hwi (x) == x;
154 /* True if X is a power of two. */
156 static inline bool
157 pow2p_hwi (unsigned HOST_WIDE_INT x)
159 return x && pow2_or_zerop (x);
162 #if GCC_VERSION < 3004
164 extern int clz_hwi (unsigned HOST_WIDE_INT x);
165 extern int ctz_hwi (unsigned HOST_WIDE_INT x);
166 extern int ffs_hwi (unsigned HOST_WIDE_INT x);
168 /* Return the number of set bits in X. */
169 extern int popcount_hwi (unsigned HOST_WIDE_INT x);
171 /* Return log2, or -1 if not exact. */
172 extern int exact_log2 (unsigned HOST_WIDE_INT);
174 /* Return floor of log2, with -1 for zero. */
175 extern int floor_log2 (unsigned HOST_WIDE_INT);
177 /* Return the smallest n such that 2**n >= X. */
178 extern int ceil_log2 (unsigned HOST_WIDE_INT);
180 #else /* GCC_VERSION >= 3004 */
182 /* For convenience, define 0 -> word_size. */
183 static inline int
184 clz_hwi (unsigned HOST_WIDE_INT x)
186 if (x == 0)
187 return HOST_BITS_PER_WIDE_INT;
188 # if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
189 return __builtin_clzl (x);
190 # elif HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONGLONG
191 return __builtin_clzll (x);
192 # else
193 return __builtin_clz (x);
194 # endif
197 static inline int
198 ctz_hwi (unsigned HOST_WIDE_INT x)
200 if (x == 0)
201 return HOST_BITS_PER_WIDE_INT;
202 # if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
203 return __builtin_ctzl (x);
204 # elif HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONGLONG
205 return __builtin_ctzll (x);
206 # else
207 return __builtin_ctz (x);
208 # endif
211 static inline int
212 ffs_hwi (unsigned HOST_WIDE_INT x)
214 # if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
215 return __builtin_ffsl (x);
216 # elif HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONGLONG
217 return __builtin_ffsll (x);
218 # else
219 return __builtin_ffs (x);
220 # endif
223 static inline int
224 popcount_hwi (unsigned HOST_WIDE_INT x)
226 # if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
227 return __builtin_popcountl (x);
228 # elif HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONGLONG
229 return __builtin_popcountll (x);
230 # else
231 return __builtin_popcount (x);
232 # endif
235 static inline int
236 floor_log2 (unsigned HOST_WIDE_INT x)
238 return HOST_BITS_PER_WIDE_INT - 1 - clz_hwi (x);
241 static inline int
242 ceil_log2 (unsigned HOST_WIDE_INT x)
244 return floor_log2 (x - 1) + 1;
247 static inline int
248 exact_log2 (unsigned HOST_WIDE_INT x)
250 return pow2p_hwi (x) ? ctz_hwi (x) : -1;
253 #endif /* GCC_VERSION >= 3004 */
255 #define HOST_WIDE_INT_MIN (HOST_WIDE_INT) \
256 (HOST_WIDE_INT_1U << (HOST_BITS_PER_WIDE_INT - 1))
257 #define HOST_WIDE_INT_MAX (~(HOST_WIDE_INT_MIN))
259 extern HOST_WIDE_INT abs_hwi (HOST_WIDE_INT);
260 extern unsigned HOST_WIDE_INT absu_hwi (HOST_WIDE_INT);
261 extern HOST_WIDE_INT gcd (HOST_WIDE_INT, HOST_WIDE_INT);
262 extern HOST_WIDE_INT pos_mul_hwi (HOST_WIDE_INT, HOST_WIDE_INT);
263 extern HOST_WIDE_INT mul_hwi (HOST_WIDE_INT, HOST_WIDE_INT);
264 extern HOST_WIDE_INT least_common_multiple (HOST_WIDE_INT, HOST_WIDE_INT);
266 /* Like ctz_hwi, except 0 when x == 0. */
268 static inline int
269 ctz_or_zero (unsigned HOST_WIDE_INT x)
271 return ffs_hwi (x) - 1;
274 /* Sign extend SRC starting from PREC. */
276 static inline HOST_WIDE_INT
277 sext_hwi (HOST_WIDE_INT src, unsigned int prec)
279 if (prec == HOST_BITS_PER_WIDE_INT)
280 return src;
281 else
282 #if defined (__GNUC__)
284 /* Take the faster path if the implementation-defined bits it's relying
285 on are implemented the way we expect them to be. Namely, conversion
286 from unsigned to signed preserves bit pattern, and right shift of
287 a signed value propagates the sign bit.
288 We have to convert from signed to unsigned and back, because when left
289 shifting signed values, any overflow is undefined behavior. */
290 gcc_checking_assert (prec < HOST_BITS_PER_WIDE_INT);
291 int shift = HOST_BITS_PER_WIDE_INT - prec;
292 return ((HOST_WIDE_INT) ((unsigned HOST_WIDE_INT) src << shift)) >> shift;
294 #else
296 /* Fall back to the slower, well defined path otherwise. */
297 gcc_checking_assert (prec < HOST_BITS_PER_WIDE_INT);
298 HOST_WIDE_INT sign_mask = HOST_WIDE_INT_1 << (prec - 1);
299 HOST_WIDE_INT value_mask = (HOST_WIDE_INT_1U << prec) - HOST_WIDE_INT_1U;
300 return (((src & value_mask) ^ sign_mask) - sign_mask);
302 #endif
305 /* Zero extend SRC starting from PREC. */
306 static inline unsigned HOST_WIDE_INT
307 zext_hwi (unsigned HOST_WIDE_INT src, unsigned int prec)
309 if (prec == HOST_BITS_PER_WIDE_INT)
310 return src;
311 else
313 gcc_checking_assert (prec < HOST_BITS_PER_WIDE_INT);
314 return src & ((HOST_WIDE_INT_1U << prec) - 1);
318 /* Compute the absolute value of X. */
320 inline HOST_WIDE_INT
321 abs_hwi (HOST_WIDE_INT x)
323 gcc_checking_assert (x != HOST_WIDE_INT_MIN);
324 return x >= 0 ? x : -x;
327 /* Compute the absolute value of X as an unsigned type. */
329 inline unsigned HOST_WIDE_INT
330 absu_hwi (HOST_WIDE_INT x)
332 return x >= 0 ? (unsigned HOST_WIDE_INT)x : -(unsigned HOST_WIDE_INT)x;
335 #endif /* ! GCC_HWINT_H */