]> wimlib.net Git - wimlib/blob - include/wimlib/compiler.h
77cd27f8864ebfe0bdc0b6a4f5fc322647556ca7
[wimlib] / include / wimlib / compiler.h
1 /*
2  * compiler.h
3  *
4  * Compiler-specific definitions.  Currently, only GCC and clang are supported.
5  *
6  * Copyright 2022 Eric Biggers
7  *
8  * Permission is hereby granted, free of charge, to any person
9  * obtaining a copy of this software and associated documentation
10  * files (the "Software"), to deal in the Software without
11  * restriction, including without limitation the rights to use,
12  * copy, modify, merge, publish, distribute, sublicense, and/or sell
13  * copies of the Software, and to permit persons to whom the
14  * Software is furnished to do so, subject to the following
15  * conditions:
16  *
17  * The above copyright notice and this permission notice shall be
18  * included in all copies or substantial portions of the Software.
19  *
20  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
21  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
22  * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
23  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
24  * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
25  * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
26  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
27  * OTHER DEALINGS IN THE SOFTWARE.
28  */
29
30 #ifndef _WIMLIB_COMPILER_H
31 #define _WIMLIB_COMPILER_H
32
33 /* Is the compiler GCC of the specified version or later?  This always returns
34  * false for clang, since clang is "frozen" at GNUC 4.2.  The __has_*
35  * feature-test macros should be used to detect clang functionality instead.  */
36 #define GCC_PREREQ(major, minor)                                        \
37         (!defined(__clang__) && !defined(__INTEL_COMPILER) &&           \
38          (__GNUC__ > major ||                                           \
39           (__GNUC__ == major && __GNUC_MINOR__ >= minor)))
40
41 /* Feature-test macros defined by recent versions of clang.  */
42 #ifndef __has_attribute
43 #  define __has_attribute(attribute)    0
44 #endif
45 #ifndef __has_feature
46 #  define __has_feature(feature)        0
47 #endif
48 #ifndef __has_builtin
49 #  define __has_builtin(builtin)        0
50 #endif
51
52 /* Declare that the annotated function should always be inlined.  This might be
53  * desirable in highly tuned code, e.g. compression codecs.  */
54 #define forceinline             inline __attribute__((always_inline))
55
56 /* Declare that the annotated function should *not* be inlined.  */
57 #define noinline                __attribute__((noinline))
58
59 /* Functionally the same as 'noinline', but documents that the reason for not
60  * inlining is to prevent the annotated function from being inlined into a
61  * recursive function, thereby increasing its stack usage.  */
62 #define noinline_for_stack      noinline
63
64 /* Hint that the expression is usually true.  */
65 #define likely(expr)            __builtin_expect(!!(expr), 1)
66
67 /* Hint that the expression is usually false.  */
68 #define unlikely(expr)          __builtin_expect(!!(expr), 0)
69
70 /* Prefetch into L1 cache for read.  */
71 #define prefetchr(addr)         __builtin_prefetch((addr), 0)
72
73 /* Prefetch into L1 cache for write.  */
74 #define prefetchw(addr)         __builtin_prefetch((addr), 1)
75
76 /* Hint that the annotated function takes a printf()-like format string and
77  * arguments.  This is currently disabled on Windows because MinGW does not
78  * support this attribute on functions taking wide-character strings.  */
79 #ifdef _WIN32
80 #  define _format_attribute(type, format_str, format_start)
81 #else
82 #  define _format_attribute(type, format_str, format_start)     \
83                         __attribute__((format(type, format_str, format_start)))
84 #endif
85
86 /* Endianness definitions.  Either CPU_IS_BIG_ENDIAN() or CPU_IS_LITTLE_ENDIAN()
87  * evaluates to 1.  The other evaluates to 0.  Note that newer gcc supports
88  * __BYTE_ORDER__ for easily determining the endianness; older gcc doesn't.  In
89  * the latter case we fall back to a configure-time check.  */
90 #ifdef __BYTE_ORDER__
91 #  define CPU_IS_BIG_ENDIAN()   (__BYTE_ORDER__ == __ORDER_BIG_ENDIAN__)
92 #elif defined(HAVE_CONFIG_H)
93 #  include "config.h"
94 #  ifdef WORDS_BIGENDIAN
95 #    define CPU_IS_BIG_ENDIAN() 1
96 #  else
97 #    define CPU_IS_BIG_ENDIAN() 0
98 #  endif
99 #endif
100 #define CPU_IS_LITTLE_ENDIAN() (!CPU_IS_BIG_ENDIAN())
101
102 /* UNALIGNED_ACCESS_IS_FAST should be defined to 1 if unaligned memory accesses
103  * can be performed efficiently on the target platform.  */
104 #if defined(__x86_64__) || defined(__i386__) || \
105         defined(__ARM_FEATURE_UNALIGNED) || defined(__powerpc64__)
106 #  define UNALIGNED_ACCESS_IS_FAST 1
107 #else
108 #  define UNALIGNED_ACCESS_IS_FAST 0
109 #endif
110
111 /* Get the minimum of two variables, without multiple evaluation.  */
112 #undef min
113 #define min(a, b)  ({ typeof(a) _a = (a); typeof(b) _b = (b); \
114                     (_a < _b) ? _a : _b; })
115 #undef MIN
116 #define MIN(a, b)       min((a), (b))
117
118 /* Get the maximum of two variables, without multiple evaluation.  */
119 #undef max
120 #define max(a, b)  ({ typeof(a) _a = (a); typeof(b) _b = (b); \
121                     (_a > _b) ? _a : _b; })
122 #undef MAX
123 #define MAX(a, b)       max((a), (b))
124
125 /* Get the maximum of three variables, without multiple evaluation.  */
126 #undef max3
127 #define max3(a, b, c)   max(max((a), (b)), (c))
128
129 /* Swap the values of two variables, without multiple evaluation.  */
130 #ifndef swap
131 #  define swap(a, b) ({ typeof(a) _a = (a); (a) = (b); (b) = _a; })
132 #endif
133 #define SWAP(a, b)      swap((a), (b))
134
135 /* Optional definitions for checking with 'sparse'.  */
136 #ifdef __CHECKER__
137 #  define _bitwise_attr __attribute__((bitwise))
138 #  define _force_attr   __attribute__((force))
139 #else
140 #  define _bitwise_attr
141 #  define _force_attr
142 #endif
143
144 /* STATIC_ASSERT() - verify the truth of an expression at compilation time.  */
145 #ifdef __CHECKER__
146 #  define STATIC_ASSERT(expr)
147 #elif __STDC_VERSION__ >= 201112L
148 #  define STATIC_ASSERT(expr)   _Static_assert((expr), "")
149 #else
150 #  define STATIC_ASSERT(expr)   ((void)sizeof(char[1 - 2 * !(expr)]))
151 #endif
152
153 /* STATIC_ASSERT_ZERO() - verify the truth of an expression at compilation time
154  * and also produce a result of value '0' to be used in constant expressions */
155 #define STATIC_ASSERT_ZERO(expr) ((int)sizeof(char[-!(expr)]))
156
157 #define CONCAT_IMPL(s1, s2)     s1##s2
158
159 /* CONCAT() - concatenate two tokens at preprocessing time.  */
160 #define CONCAT(s1, s2)          CONCAT_IMPL(s1, s2)
161
162 #endif /* _WIMLIB_COMPILER_H */