1 #ifndef __LINUX_COMPILER_H
2 #define __LINUX_COMPILER_H
7 # define __user __attribute__((noderef, address_space(1)))
8 # define __kernel __attribute__((address_space(0)))
9 # define __safe __attribute__((safe))
10 # define __force __attribute__((force))
11 # define __nocast __attribute__((nocast))
12 # define __iomem __attribute__((noderef, address_space(2)))
13 # define __must_hold(x) __attribute__((context(x,1,1)))
14 # define __acquires(x) __attribute__((context(x,0,1)))
15 # define __releases(x) __attribute__((context(x,1,0)))
16 # define __acquire(x) __context__(x,1)
17 # define __release(x) __context__(x,-1)
18 # define __cond_lock(x,c) ((c) ? ({ __acquire(x); 1; }) : 0)
19 # define __percpu __attribute__((noderef, address_space(3)))
20 #ifdef CONFIG_SPARSE_RCU_POINTER
21 # define __rcu __attribute__((noderef, address_space(4)))
22 #else /* CONFIG_SPARSE_RCU_POINTER */
24 #endif /* CONFIG_SPARSE_RCU_POINTER */
25 # define __private __attribute__((noderef))
26 extern void __chk_user_ptr(const volatile void __user *);
27 extern void __chk_io_ptr(const volatile void __iomem *);
28 # define ACCESS_PRIVATE(p, member) (*((typeof((p)->member) __force *) &(p)->member))
29 #else /* __CHECKER__ */
36 # define __chk_user_ptr(x) (void)0
37 # define __chk_io_ptr(x) (void)0
38 # define __builtin_warning(x, y...) (1)
39 # define __must_hold(x)
40 # define __acquires(x)
41 # define __releases(x)
42 # define __acquire(x) (void)0
43 # define __release(x) (void)0
44 # define __cond_lock(x,c) (c)
48 # define ACCESS_PRIVATE(p, member) ((p)->member)
49 #endif /* __CHECKER__ */
51 /* Indirect macros required for expanded argument pasting, eg. __LINE__. */
52 #define ___PASTE(a,b) a##b
53 #define __PASTE(a,b) ___PASTE(a,b)
58 #include <linux/compiler-gcc.h>
61 #if defined(CC_USING_HOTPATCH) && !defined(__CHECKER__)
62 #define notrace __attribute__((hotpatch(0,0)))
64 #define notrace __attribute__((no_instrument_function))
67 /* Intel compiler defines __GNUC__. So we will overwrite implementations
68 * coming from above header files here
70 #ifdef __INTEL_COMPILER
71 # include <linux/compiler-intel.h>
74 /* Clang compiler defines __GNUC__. So we will overwrite implementations
75 * coming from above header files here
78 #include <linux/compiler-clang.h>
82 * Generic compiler-dependent macros required for kernel
83 * build go below this comment. Actual compiler/compiler version
84 * specific implementations come from the above header files
87 struct ftrace_branch_data {
93 unsigned long correct;
94 unsigned long incorrect;
100 unsigned long miss_hit[2];
105 * Note: DISABLE_BRANCH_PROFILING can be used by special lowlevel code
106 * to disable branch tracing on a per file basis.
108 #if defined(CONFIG_TRACE_BRANCH_PROFILING) \
109 && !defined(DISABLE_BRANCH_PROFILING) && !defined(__CHECKER__)
110 void ftrace_likely_update(struct ftrace_branch_data *f, int val, int expect);
112 #define likely_notrace(x) __builtin_expect(!!(x), 1)
113 #define unlikely_notrace(x) __builtin_expect(!!(x), 0)
115 #define __branch_check__(x, expect) ({ \
117 static struct ftrace_branch_data \
118 __attribute__((__aligned__(4))) \
119 __attribute__((section("_ftrace_annotated_branch"))) \
125 ______r = likely_notrace(x); \
126 ftrace_likely_update(&______f, ______r, expect); \
131 * Using __builtin_constant_p(x) to ignore cases where the return
132 * value is always the same. This idea is taken from a similar patch
133 * written by Daniel Walker.
136 # define likely(x) (__builtin_constant_p(x) ? !!(x) : __branch_check__(x, 1))
139 # define unlikely(x) (__builtin_constant_p(x) ? !!(x) : __branch_check__(x, 0))
142 #ifdef CONFIG_PROFILE_ALL_BRANCHES
144 * "Define 'is'", Bill Clinton
145 * "Define 'if'", Steven Rostedt
147 #define if(cond, ...) __trace_if( (cond , ## __VA_ARGS__) )
148 #define __trace_if(cond) \
149 if (__builtin_constant_p(!!(cond)) ? !!(cond) : \
152 static struct ftrace_branch_data \
153 __attribute__((__aligned__(4))) \
154 __attribute__((section("_ftrace_branch"))) \
160 ______r = !!(cond); \
161 ______f.miss_hit[______r]++; \
164 #endif /* CONFIG_PROFILE_ALL_BRANCHES */
167 # define likely(x) __builtin_expect(!!(x), 1)
168 # define unlikely(x) __builtin_expect(!!(x), 0)
171 /* Optimization barrier */
173 # define barrier() __memory_barrier()
177 # define barrier_data(ptr) barrier()
180 /* workaround for GCC PR82365 if needed */
181 #ifndef barrier_before_unreachable
182 # define barrier_before_unreachable() do { } while (0)
185 /* Unreachable code */
187 # define unreachable() do { } while (1)
191 * KENTRY - kernel entry point
192 * This can be used to annotate symbols (functions or data) that are used
193 * without their linker symbol being referenced explicitly. For example,
194 * interrupt vector handlers, or functions in the kernel image that are found
197 * Not required for symbols exported with EXPORT_SYMBOL, or initcalls. Those
198 * are handled in their own way (with KEEP() in linker scripts).
200 * KENTRY can be avoided if the symbols in question are marked as KEEP() in the
201 * linker script. For example an architecture could KEEP() its entire
202 * boot/exception vector code rather than annotate each function and data.
205 # define KENTRY(sym) \
206 extern typeof(sym) sym; \
207 static const unsigned long __kentry_##sym \
209 __attribute__((section("___kentry" "+" #sym ), used)) \
210 = (unsigned long)&sym;
214 # define RELOC_HIDE(ptr, off) \
215 ({ unsigned long __ptr; \
216 __ptr = (unsigned long) (ptr); \
217 (typeof(ptr)) (__ptr + (off)); })
220 #ifndef OPTIMIZER_HIDE_VAR
221 #define OPTIMIZER_HIDE_VAR(var) barrier()
224 /* Not-quite-unique ID. */
226 # define __UNIQUE_ID(prefix) __PASTE(__PASTE(__UNIQUE_ID_, prefix), __LINE__)
229 #include <uapi/linux/types.h>
231 #define __READ_ONCE_SIZE \
234 case 1: *(__u8 *)res = *(volatile __u8 *)p; break; \
235 case 2: *(__u16 *)res = *(volatile __u16 *)p; break; \
236 case 4: *(__u32 *)res = *(volatile __u32 *)p; break; \
237 case 8: *(__u64 *)res = *(volatile __u64 *)p; break; \
240 __builtin_memcpy((void *)res, (const void *)p, size); \
245 static __always_inline
246 void __read_once_size(const volatile void *p, void *res, int size)
253 * We can't declare function 'inline' because __no_sanitize_address confilcts
254 * with inlining. Attempt to inline it may cause a build failure.
255 * https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67368
256 * '__maybe_unused' allows us to avoid defined-but-not-used warnings.
258 # define __no_kasan_or_inline __no_sanitize_address __maybe_unused
260 # define __no_kasan_or_inline __always_inline
263 static __no_kasan_or_inline
264 void __read_once_size_nocheck(const volatile void *p, void *res, int size)
269 static __always_inline void __write_once_size(volatile void *p, void *res, int size)
272 case 1: *(volatile __u8 *)p = *(__u8 *)res; break;
273 case 2: *(volatile __u16 *)p = *(__u16 *)res; break;
274 case 4: *(volatile __u32 *)p = *(__u32 *)res; break;
275 case 8: *(volatile __u64 *)p = *(__u64 *)res; break;
278 __builtin_memcpy((void *)p, (const void *)res, size);
284 * Prevent the compiler from merging or refetching reads or writes. The
285 * compiler is also forbidden from reordering successive instances of
286 * READ_ONCE, WRITE_ONCE and ACCESS_ONCE (see below), but only when the
287 * compiler is aware of some particular ordering. One way to make the
288 * compiler aware of ordering is to put the two invocations of READ_ONCE,
289 * WRITE_ONCE or ACCESS_ONCE() in different C statements.
291 * In contrast to ACCESS_ONCE these two macros will also work on aggregate
292 * data types like structs or unions. If the size of the accessed data
293 * type exceeds the word size of the machine (e.g., 32 bits or 64 bits)
294 * READ_ONCE() and WRITE_ONCE() will fall back to memcpy(). There's at
295 * least two memcpy()s: one for the __builtin_memcpy() and then one for
296 * the macro doing the copy of variable - '__u' allocated on the stack.
298 * Their two major use cases are: (1) Mediating communication between
299 * process-level code and irq/NMI handlers, all running on the same CPU,
300 * and (2) Ensuring that the compiler does not fold, spindle, or otherwise
301 * mutilate accesses that either do not require ordering or that interact
302 * with an explicit memory barrier or atomic instruction that provides the
305 #include <linux/kasan-checks.h>
307 #define __READ_ONCE(x, check) \
309 union { typeof(x) __val; char __c[1]; } __u; \
311 __read_once_size(&(x), __u.__c, sizeof(x)); \
313 __read_once_size_nocheck(&(x), __u.__c, sizeof(x)); \
316 #define READ_ONCE(x) __READ_ONCE(x, 1)
319 * Use READ_ONCE_NOCHECK() instead of READ_ONCE() if you need
320 * to hide memory access from KASAN.
322 #define READ_ONCE_NOCHECK(x) __READ_ONCE(x, 0)
324 static __no_kasan_or_inline
325 unsigned long read_word_at_a_time(const void *addr)
327 kasan_check_read(addr, 1);
328 return *(unsigned long *)addr;
331 #define WRITE_ONCE(x, val) \
333 union { typeof(x) __val; char __c[1]; } __u = \
334 { .__val = (__force typeof(x)) (val) }; \
335 __write_once_size(&(x), __u.__c, sizeof(x)); \
339 #endif /* __KERNEL__ */
341 #endif /* __ASSEMBLY__ */
345 * Allow us to mark functions as 'deprecated' and have gcc emit a nice
346 * warning for each use, in hopes of speeding the functions removal.
348 * int __deprecated foo(void)
351 # define __deprecated /* unimplemented */
355 #define __deprecated_for_modules __deprecated
357 #define __deprecated_for_modules
364 #ifndef CONFIG_ENABLE_MUST_CHECK
368 #ifndef CONFIG_ENABLE_WARN_DEPRECATED
370 #undef __deprecated_for_modules
372 #define __deprecated_for_modules
380 * Allow us to avoid 'defined but not used' warnings on functions and data,
381 * as well as force them to be emitted to the assembly file.
383 * As of gcc 3.4, static functions that are not marked with attribute((used))
384 * may be elided from the assembly file. As of gcc 3.4, static data not so
385 * marked will not be elided, but this may change in a future gcc version.
387 * NOTE: Because distributions shipped with a backported unit-at-a-time
388 * compiler in gcc 3.3, we must define __used to be __attribute__((used))
389 * for gcc >=3.3 instead of 3.4.
391 * In prior versions of gcc, such functions and data would be emitted, but
392 * would be warned about except with attribute((unused)).
394 * Mark functions that are referenced only in inline assembly as __used so
395 * the code is emitted even though it appears to be unreferenced.
398 # define __used /* unimplemented */
401 #ifndef __maybe_unused
402 # define __maybe_unused /* unimplemented */
405 #ifndef __always_unused
406 # define __always_unused /* unimplemented */
414 * Rather then using noinline to prevent stack consumption, use
415 * noinline_for_stack instead. For documentation reasons.
417 #define noinline_for_stack noinline
419 #ifndef __always_inline
420 #define __always_inline inline
423 #endif /* __KERNEL__ */
426 * From the GCC manual:
428 * Many functions do not examine any values except their arguments,
429 * and have no effects except the return value. Basically this is
430 * just slightly more strict class than the `pure' attribute above,
431 * since function is not allowed to read global memory.
433 * Note that a function that has pointer arguments and examines the
434 * data pointed to must _not_ be declared `const'. Likewise, a
435 * function that calls a non-`const' function usually must not be
436 * `const'. It does not make sense for a `const' function to return
439 #ifndef __attribute_const__
440 # define __attribute_const__ /* unimplemented */
443 #ifndef __latent_entropy
444 # define __latent_entropy
448 * Tell gcc if a function is cold. The compiler will assume any path
449 * directly leading to the call is unlikely.
456 /* Simple shorthand for a section definition */
458 # define __section(S) __attribute__ ((__section__(#S)))
465 #ifndef __norecordmcount
466 #define __norecordmcount
474 * Assume alignment of return value.
476 #ifndef __assume_aligned
477 #define __assume_aligned(a, ...)
481 /* Are two types/vars the same type (ignoring qualifiers)? */
483 # define __same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
486 /* Is this type a native word size -- useful for atomic operations */
487 #ifndef __native_word
488 # define __native_word(t) (sizeof(t) == sizeof(char) || sizeof(t) == sizeof(short) || sizeof(t) == sizeof(int) || sizeof(t) == sizeof(long))
492 # define __optimize(level)
495 /* Compile time object size, -1 for unknown */
496 #ifndef __compiletime_object_size
497 # define __compiletime_object_size(obj) -1
499 #ifndef __compiletime_warning
500 # define __compiletime_warning(message)
502 #ifndef __compiletime_error
503 # define __compiletime_error(message)
505 * Sparse complains of variable sized arrays due to the temporary variable in
506 * __compiletime_assert. Unfortunately we can't just expand it out to make
507 * sparse see a constant array size without breaking compiletime_assert on old
508 * versions of GCC (e.g. 4.2.4), so hide the array from sparse altogether.
511 # define __compiletime_error_fallback(condition) \
512 do { ((void)sizeof(char[1 - 2 * condition])); } while (0)
515 #ifndef __compiletime_error_fallback
516 # define __compiletime_error_fallback(condition) do { } while (0)
519 #define __compiletime_assert(condition, msg, prefix, suffix) \
521 bool __cond = !(condition); \
522 extern void prefix ## suffix(void) __compiletime_error(msg); \
524 prefix ## suffix(); \
525 __compiletime_error_fallback(__cond); \
528 #define _compiletime_assert(condition, msg, prefix, suffix) \
529 __compiletime_assert(condition, msg, prefix, suffix)
532 * compiletime_assert - break build and emit msg if condition is false
533 * @condition: a compile-time constant condition to check
534 * @msg: a message to emit if condition is false
536 * In tradition of POSIX assert, this macro will break the build if the
537 * supplied condition is *false*, emitting the supplied error message if the
538 * compiler has support to do so.
540 #define compiletime_assert(condition, msg) \
541 _compiletime_assert(condition, msg, __compiletime_assert_, __LINE__)
543 #define compiletime_assert_atomic_type(t) \
544 compiletime_assert(__native_word(t), \
545 "Need native word sized stores/loads for atomicity.")
548 * Prevent the compiler from merging or refetching accesses. The compiler
549 * is also forbidden from reordering successive instances of ACCESS_ONCE(),
550 * but only when the compiler is aware of some particular ordering. One way
551 * to make the compiler aware of ordering is to put the two invocations of
552 * ACCESS_ONCE() in different C statements.
554 * ACCESS_ONCE will only work on scalar types. For union types, ACCESS_ONCE
555 * on a union member will work as long as the size of the member matches the
556 * size of the union and the size is smaller than word size.
558 * The major use cases of ACCESS_ONCE used to be (1) Mediating communication
559 * between process-level code and irq/NMI handlers, all running on the same CPU,
560 * and (2) Ensuring that the compiler does not fold, spindle, or otherwise
561 * mutilate accesses that either do not require ordering or that interact
562 * with an explicit memory barrier or atomic instruction that provides the
565 * If possible use READ_ONCE()/WRITE_ONCE() instead.
567 #define __ACCESS_ONCE(x) ({ \
568 __maybe_unused typeof(x) __var = (__force typeof(x)) 0; \
569 (volatile typeof(x) *)&(x); })
570 #define ACCESS_ONCE(x) (*__ACCESS_ONCE(x))
573 * lockless_dereference() - safely load a pointer for later dereference
574 * @p: The pointer to load
576 * Similar to rcu_dereference(), but for situations where the pointed-to
577 * object's lifetime is managed by something other than RCU. That
578 * "something other" might be reference counting or simple immortality.
580 * The seemingly unused variable ___typecheck_p validates that @p is
581 * indeed a pointer type by using a pointer to typeof(*p) as the type.
582 * Taking a pointer to typeof(*p) again is needed in case p is void *.
584 #define lockless_dereference(p) \
586 typeof(p) _________p1 = READ_ONCE(p); \
587 typeof(*(p)) *___typecheck_p __maybe_unused; \
588 smp_read_barrier_depends(); /* Dependency order vs. p above. */ \
592 /* Ignore/forbid kprobes attach on very low level functions marked by this attribute: */
593 #ifdef CONFIG_KPROBES
594 # define __kprobes __attribute__((__section__(".kprobes.text")))
595 # define nokprobe_inline __always_inline
598 # define nokprobe_inline inline
600 #endif /* __LINUX_COMPILER_H */