Merge branch 'address-masking'
[linux-2.6-microblaze.git] / tools / include / linux / compiler.h
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _TOOLS_LINUX_COMPILER_H_
3 #define _TOOLS_LINUX_COMPILER_H_
4
5 #ifndef __ASSEMBLY__
6
7 #include <linux/compiler_types.h>
8
9 #ifndef __compiletime_error
10 # define __compiletime_error(message)
11 #endif
12
13 #ifdef __OPTIMIZE__
14 # define __compiletime_assert(condition, msg, prefix, suffix)           \
15         do {                                                            \
16                 extern void prefix ## suffix(void) __compiletime_error(msg); \
17                 if (!(condition))                                       \
18                         prefix ## suffix();                             \
19         } while (0)
20 #else
21 # define __compiletime_assert(condition, msg, prefix, suffix) do { } while (0)
22 #endif
23
24 #define _compiletime_assert(condition, msg, prefix, suffix) \
25         __compiletime_assert(condition, msg, prefix, suffix)
26
27 /**
28  * compiletime_assert - break build and emit msg if condition is false
29  * @condition: a compile-time constant condition to check
30  * @msg:       a message to emit if condition is false
31  *
32  * In tradition of POSIX assert, this macro will break the build if the
33  * supplied condition is *false*, emitting the supplied error message if the
34  * compiler has support to do so.
35  */
36 #define compiletime_assert(condition, msg) \
37         _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
38
39 /* Optimization barrier */
40 /* The "volatile" is due to gcc bugs */
41 #define barrier() __asm__ __volatile__("": : :"memory")
42
43 #ifndef __always_inline
44 # define __always_inline        inline __attribute__((always_inline))
45 #endif
46
47 #ifndef __always_unused
48 #define __always_unused __attribute__((__unused__))
49 #endif
50
51 #ifndef __noreturn
52 #define __noreturn __attribute__((__noreturn__))
53 #endif
54
55 #ifndef unreachable
56 #define unreachable() __builtin_unreachable()
57 #endif
58
59 #ifndef noinline
60 #define noinline
61 #endif
62
63 #ifndef __nocf_check
64 #define __nocf_check __attribute__((nocf_check))
65 #endif
66
67 #ifndef __naked
68 #define __naked __attribute__((__naked__))
69 #endif
70
71 /* Are two types/vars the same type (ignoring qualifiers)? */
72 #ifndef __same_type
73 # define __same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
74 #endif
75
76 /*
77  * This returns a constant expression while determining if an argument is
78  * a constant expression, most importantly without evaluating the argument.
79  * Glory to Martin Uecker <Martin.Uecker@med.uni-goettingen.de>
80  */
81 #define __is_constexpr(x) \
82         (sizeof(int) == sizeof(*(8 ? ((void *)((long)(x) * 0l)) : (int *)8)))
83
84 #ifdef __ANDROID__
85 /*
86  * FIXME: Big hammer to get rid of tons of:
87  *   "warning: always_inline function might not be inlinable"
88  *
89  * At least on android-ndk-r12/platforms/android-24/arch-arm
90  */
91 #undef __always_inline
92 #define __always_inline inline
93 #endif
94
95 #define __user
96 #define __rcu
97 #define __read_mostly
98
99 #ifndef __attribute_const__
100 # define __attribute_const__
101 #endif
102
103 #ifndef __maybe_unused
104 # define __maybe_unused         __attribute__((unused))
105 #endif
106
107 #ifndef __used
108 # define __used         __attribute__((__unused__))
109 #endif
110
111 #ifndef __packed
112 # define __packed               __attribute__((__packed__))
113 #endif
114
115 #ifndef __force
116 # define __force
117 #endif
118
119 #ifndef __weak
120 # define __weak                 __attribute__((weak))
121 #endif
122
123 #ifndef likely
124 # define likely(x)              __builtin_expect(!!(x), 1)
125 #endif
126
127 #ifndef unlikely
128 # define unlikely(x)            __builtin_expect(!!(x), 0)
129 #endif
130
131 #ifndef __init
132 # define __init
133 #endif
134
135 #include <linux/types.h>
136
137 /*
138  * Following functions are taken from kernel sources and
139  * break aliasing rules in their original form.
140  *
141  * While kernel is compiled with -fno-strict-aliasing,
142  * perf uses -Wstrict-aliasing=3 which makes build fail
143  * under gcc 4.4.
144  *
145  * Using extra __may_alias__ type to allow aliasing
146  * in this case.
147  */
148 typedef __u8  __attribute__((__may_alias__))  __u8_alias_t;
149 typedef __u16 __attribute__((__may_alias__)) __u16_alias_t;
150 typedef __u32 __attribute__((__may_alias__)) __u32_alias_t;
151 typedef __u64 __attribute__((__may_alias__)) __u64_alias_t;
152
153 static __always_inline void __read_once_size(const volatile void *p, void *res, int size)
154 {
155         switch (size) {
156         case 1: *(__u8_alias_t  *) res = *(volatile __u8_alias_t  *) p; break;
157         case 2: *(__u16_alias_t *) res = *(volatile __u16_alias_t *) p; break;
158         case 4: *(__u32_alias_t *) res = *(volatile __u32_alias_t *) p; break;
159         case 8: *(__u64_alias_t *) res = *(volatile __u64_alias_t *) p; break;
160         default:
161                 barrier();
162                 __builtin_memcpy((void *)res, (const void *)p, size);
163                 barrier();
164         }
165 }
166
167 static __always_inline void __write_once_size(volatile void *p, void *res, int size)
168 {
169         switch (size) {
170         case 1: *(volatile  __u8_alias_t *) p = *(__u8_alias_t  *) res; break;
171         case 2: *(volatile __u16_alias_t *) p = *(__u16_alias_t *) res; break;
172         case 4: *(volatile __u32_alias_t *) p = *(__u32_alias_t *) res; break;
173         case 8: *(volatile __u64_alias_t *) p = *(__u64_alias_t *) res; break;
174         default:
175                 barrier();
176                 __builtin_memcpy((void *)p, (const void *)res, size);
177                 barrier();
178         }
179 }
180
181 /*
182  * Prevent the compiler from merging or refetching reads or writes. The
183  * compiler is also forbidden from reordering successive instances of
184  * READ_ONCE and WRITE_ONCE, but only when the compiler is aware of some
185  * particular ordering. One way to make the compiler aware of ordering is to
186  * put the two invocations of READ_ONCE or WRITE_ONCE in different C
187  * statements.
188  *
189  * These two macros will also work on aggregate data types like structs or
190  * unions. If the size of the accessed data type exceeds the word size of
191  * the machine (e.g., 32 bits or 64 bits) READ_ONCE() and WRITE_ONCE() will
192  * fall back to memcpy and print a compile-time warning.
193  *
194  * Their two major use cases are: (1) Mediating communication between
195  * process-level code and irq/NMI handlers, all running on the same CPU,
196  * and (2) Ensuring that the compiler does not fold, spindle, or otherwise
197  * mutilate accesses that either do not require ordering or that interact
198  * with an explicit memory barrier or atomic instruction that provides the
199  * required ordering.
200  */
201
202 #define READ_ONCE(x)                                    \
203 ({                                                      \
204         union { typeof(x) __val; char __c[1]; } __u =   \
205                 { .__c = { 0 } };                       \
206         __read_once_size(&(x), __u.__c, sizeof(x));     \
207         __u.__val;                                      \
208 })
209
210 #define WRITE_ONCE(x, val)                              \
211 ({                                                      \
212         union { typeof(x) __val; char __c[1]; } __u =   \
213                 { .__val = (val) };                     \
214         __write_once_size(&(x), __u.__c, sizeof(x));    \
215         __u.__val;                                      \
216 })
217
218
219 /* Indirect macros required for expanded argument pasting, eg. __LINE__. */
220 #define ___PASTE(a, b) a##b
221 #define __PASTE(a, b) ___PASTE(a, b)
222
223 #ifndef OPTIMIZER_HIDE_VAR
224 /* Make the optimizer believe the variable can be manipulated arbitrarily. */
225 #define OPTIMIZER_HIDE_VAR(var)                                         \
226         __asm__ ("" : "=r" (var) : "0" (var))
227 #endif
228
229 #endif /* __ASSEMBLY__ */
230
231 #endif /* _TOOLS_LINUX_COMPILER_H */