Robert P. J. Day | 94f582f | 2007-10-16 23:26:11 -0700 | [diff] [blame] | 1 | #ifndef __LINUX_COMPILER_H |
| 2 | #error "Please don't include <linux/compiler-gcc.h> directly, include <linux/compiler.h> instead." |
| 3 | #endif |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 | |
| 5 | /* |
| 6 | * Common definitions for all gcc versions go here. |
| 7 | */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 8 | #define GCC_VERSION (__GNUC__ * 10000 \ |
| 9 | + __GNUC_MINOR__ * 100 \ |
| 10 | + __GNUC_PATCHLEVEL__) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 11 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | /* Optimization barrier */ |
Daniel Borkmann | 7829fb0 | 2015-04-30 04:13:52 +0200 | [diff] [blame] | 13 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 14 | /* The "volatile" is due to gcc bugs */ |
| 15 | #define barrier() __asm__ __volatile__("": : :"memory") |
Daniel Borkmann | 7829fb0 | 2015-04-30 04:13:52 +0200 | [diff] [blame] | 16 | /* |
| 17 | * This version is i.e. to prevent dead stores elimination on @ptr |
| 18 | * where gcc and llvm may behave differently when otherwise using |
| 19 | * normal barrier(): while gcc behavior gets along with a normal |
| 20 | * barrier(), llvm needs an explicit input variable to be assumed |
| 21 | * clobbered. The issue is as follows: while the inline asm might |
| 22 | * access any memory it wants, the compiler could have fit all of |
| 23 | * @ptr into memory registers instead, and since @ptr never escaped |
| 24 | * from that, it proofed that the inline asm wasn't touching any of |
| 25 | * it. This version works well with both compilers, i.e. we're telling |
| 26 | * the compiler that the inline asm absolutely may see the contents |
| 27 | * of @ptr. See also: https://llvm.org/bugs/show_bug.cgi?id=15495 |
| 28 | */ |
| 29 | #define barrier_data(ptr) __asm__ __volatile__("": :"r"(ptr) :"memory") |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 30 | |
Anton Blanchard | c8d5246 | 2006-01-10 18:21:20 +1100 | [diff] [blame] | 31 | /* |
Andi Kleen | 85c210e | 2009-01-09 16:40:53 -0800 | [diff] [blame] | 32 | * This macro obfuscates arithmetic on a variable address so that gcc |
| 33 | * shouldn't recognize the original var, and make assumptions about it. |
| 34 | * |
| 35 | * This is needed because the C standard makes it undefined to do |
| 36 | * pointer arithmetic on "objects" outside their boundaries and the |
| 37 | * gcc optimizers assume this is the case. In particular they |
| 38 | * assume such arithmetic does not wrap. |
| 39 | * |
| 40 | * A miscompilation has been observed because of this on PPC. |
| 41 | * To work around it we hide the relationship of the pointer and the object |
| 42 | * using this macro. |
| 43 | * |
Anton Blanchard | c8d5246 | 2006-01-10 18:21:20 +1100 | [diff] [blame] | 44 | * Versions of the ppc64 compiler before 4.1 had a bug where use of |
| 45 | * RELOC_HIDE could trash r30. The bug can be worked around by changing |
| 46 | * the inline assembly constraint from =g to =r, in this particular |
| 47 | * case either is valid. |
| 48 | */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 49 | #define RELOC_HIDE(ptr, off) \ |
| 50 | ({ \ |
| 51 | unsigned long __ptr; \ |
| 52 | __asm__ ("" : "=r"(__ptr) : "0"(ptr)); \ |
| 53 | (typeof(ptr)) (__ptr + (off)); \ |
| 54 | }) |
Andrew Morton | a136564 | 2006-01-08 01:04:09 -0800 | [diff] [blame] | 55 | |
Cesar Eduardo Barros | fe8c8a1 | 2013-11-25 22:00:41 -0200 | [diff] [blame] | 56 | /* Make the optimizer believe the variable can be manipulated arbitrarily. */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 57 | #define OPTIMIZER_HIDE_VAR(var) \ |
| 58 | __asm__ ("" : "=r" (var) : "0" (var)) |
Cesar Eduardo Barros | fe8c8a1 | 2013-11-25 22:00:41 -0200 | [diff] [blame] | 59 | |
KOSAKI Motohiro | 5bd7e6a | 2011-05-24 17:13:17 -0700 | [diff] [blame] | 60 | #ifdef __CHECKER__ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 61 | #define __must_be_array(a) 0 |
KOSAKI Motohiro | 5bd7e6a | 2011-05-24 17:13:17 -0700 | [diff] [blame] | 62 | #else |
Rusty Russell | c5e631cf | 2007-05-06 14:51:05 -0700 | [diff] [blame] | 63 | /* &a[0] degrades to a pointer: a different type from an array */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 64 | #define __must_be_array(a) BUILD_BUG_ON_ZERO(__same_type((a), &(a)[0])) |
KOSAKI Motohiro | 5bd7e6a | 2011-05-24 17:13:17 -0700 | [diff] [blame] | 65 | #endif |
Andrew Morton | a136564 | 2006-01-08 01:04:09 -0800 | [diff] [blame] | 66 | |
Ingo Molnar | 60a3cdd | 2008-03-03 12:38:52 +0100 | [diff] [blame] | 67 | /* |
Ingo Molnar | ae3a006 | 2008-04-30 00:15:31 +0200 | [diff] [blame] | 68 | * Force always-inline if the user requests it so via the .config, |
| 69 | * or if gcc is too old: |
Ingo Molnar | 60a3cdd | 2008-03-03 12:38:52 +0100 | [diff] [blame] | 70 | */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 71 | #if !defined(CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING) || \ |
Ingo Molnar | ae3a006 | 2008-04-30 00:15:31 +0200 | [diff] [blame] | 72 | !defined(CONFIG_OPTIMIZE_INLINING) || (__GNUC__ < 4) |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 73 | #define inline inline __attribute__((always_inline)) notrace |
| 74 | #define __inline__ __inline__ __attribute__((always_inline)) notrace |
| 75 | #define __inline __inline __attribute__((always_inline)) notrace |
Steven Rostedt | 45959ee | 2011-12-12 15:22:41 -0500 | [diff] [blame] | 76 | #else |
| 77 | /* A lot of inline functions can cause havoc with function tracing */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 78 | #define inline inline notrace |
| 79 | #define __inline__ __inline__ notrace |
| 80 | #define __inline __inline notrace |
Ingo Molnar | 60a3cdd | 2008-03-03 12:38:52 +0100 | [diff] [blame] | 81 | #endif |
| 82 | |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 83 | #define __always_inline inline __attribute__((always_inline)) |
| 84 | #define noinline __attribute__((noinline)) |
| 85 | |
| 86 | #define __deprecated __attribute__((deprecated)) |
| 87 | #define __packed __attribute__((packed)) |
| 88 | #define __weak __attribute__((weak)) |
| 89 | #define __alias(symbol) __attribute__((alias(#symbol))) |
Uwe Kleine-König | 446c92b | 2009-03-12 18:03:16 +0100 | [diff] [blame] | 90 | |
| 91 | /* |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 92 | * it doesn't make sense on ARM (currently the only user of __naked) |
| 93 | * to trace naked functions because then mcount is called without |
| 94 | * stack and frame pointer being set up and there is no chance to |
| 95 | * restore the lr register to the value before mcount was called. |
Mikael Pettersson | 9c69520 | 2010-06-29 15:05:25 -0700 | [diff] [blame] | 96 | * |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 97 | * The asm() bodies of naked functions often depend on standard calling |
| 98 | * conventions, therefore they must be noinline and noclone. |
| 99 | * |
| 100 | * GCC 4.[56] currently fail to enforce this, so we must do so ourselves. |
| 101 | * See GCC PR44290. |
Uwe Kleine-König | 446c92b | 2009-03-12 18:03:16 +0100 | [diff] [blame] | 102 | */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 103 | #define __naked __attribute__((naked)) noinline __noclone notrace |
Uwe Kleine-König | 446c92b | 2009-03-12 18:03:16 +0100 | [diff] [blame] | 104 | |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 105 | #define __noreturn __attribute__((noreturn)) |
Ralf Baechle | e8c4431 | 2007-10-18 03:07:07 -0700 | [diff] [blame] | 106 | |
| 107 | /* |
| 108 | * From the GCC manual: |
| 109 | * |
| 110 | * Many functions have no effects except the return value and their |
| 111 | * return value depends only on the parameters and/or global |
| 112 | * variables. Such a function can be subject to common subexpression |
| 113 | * elimination and loop optimization just as an arithmetic operator |
| 114 | * would be. |
| 115 | * [...] |
| 116 | */ |
Joe Perches | f6d133f8 | 2015-06-25 15:01:00 -0700 | [diff] [blame^] | 117 | #define __pure __attribute__((pure)) |
| 118 | #define __aligned(x) __attribute__((aligned(x))) |
| 119 | #define __printf(a, b) __attribute__((format(printf, a, b))) |
| 120 | #define __scanf(a, b) __attribute__((format(scanf, a, b))) |
| 121 | #define __attribute_const__ __attribute__((__const__)) |
| 122 | #define __maybe_unused __attribute__((unused)) |
| 123 | #define __always_unused __attribute__((unused)) |
Linus Torvalds | f153b82 | 2009-01-02 09:23:03 -0800 | [diff] [blame] | 124 | |
| 125 | #define __gcc_header(x) #x |
| 126 | #define _gcc_header(x) __gcc_header(linux/compiler-gcc##x.h) |
| 127 | #define gcc_header(x) _gcc_header(x) |
| 128 | #include gcc_header(__GNUC__) |
Mikael Pettersson | 9c69520 | 2010-06-29 15:05:25 -0700 | [diff] [blame] | 129 | |
| 130 | #if !defined(__noclone) |
| 131 | #define __noclone /* not needed */ |
| 132 | #endif |
Borislav Petkov | c837fb3 | 2011-03-22 16:33:55 -0700 | [diff] [blame] | 133 | |
| 134 | /* |
| 135 | * A trick to suppress uninitialized variable warning without generating any |
| 136 | * code |
| 137 | */ |
| 138 | #define uninitialized_var(x) x = x |