compiler.h 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465
  1. #ifndef __LINUX_COMPILER_H
  2. #define __LINUX_COMPILER_H
  3. #ifndef __ASSEMBLY__
  4. #ifdef __CHECKER__
  5. # define __user __attribute__((noderef, address_space(1)))
  6. # define __kernel __attribute__((address_space(0)))
  7. # define __safe __attribute__((safe))
  8. # define __force __attribute__((force))
  9. # define __nocast __attribute__((nocast))
  10. # define __iomem __attribute__((noderef, address_space(2)))
  11. # define __must_hold(x) __attribute__((context(x,1,1)))
  12. # define __acquires(x) __attribute__((context(x,0,1)))
  13. # define __releases(x) __attribute__((context(x,1,0)))
  14. # define __acquire(x) __context__(x,1)
  15. # define __release(x) __context__(x,-1)
  16. # define __cond_lock(x,c) ((c) ? ({ __acquire(x); 1; }) : 0)
  17. # define __percpu __attribute__((noderef, address_space(3)))
  18. #ifdef CONFIG_SPARSE_RCU_POINTER
  19. # define __rcu __attribute__((noderef, address_space(4)))
  20. #else
  21. # define __rcu
  22. #endif
  23. extern void __chk_user_ptr(const volatile void __user *);
  24. extern void __chk_io_ptr(const volatile void __iomem *);
  25. #else
  26. # define __user
  27. # define __kernel
  28. # define __safe
  29. # define __force
  30. # define __nocast
  31. # define __iomem
  32. # define __chk_user_ptr(x) (void)0
  33. # define __chk_io_ptr(x) (void)0
  34. # define __builtin_warning(x, y...) (1)
  35. # define __must_hold(x)
  36. # define __acquires(x)
  37. # define __releases(x)
  38. # define __acquire(x) (void)0
  39. # define __release(x) (void)0
  40. # define __cond_lock(x,c) (c)
  41. # define __percpu
  42. # define __rcu
  43. #endif
  44. /* Indirect macros required for expanded argument pasting, eg. __LINE__. */
  45. #define ___PASTE(a,b) a##b
  46. #define __PASTE(a,b) ___PASTE(a,b)
  47. #ifdef __KERNEL__
  48. #ifdef __GNUC__
  49. #include <linux/compiler-gcc.h>
  50. #endif
  51. #define notrace __attribute__((no_instrument_function))
  52. /* Intel compiler defines __GNUC__. So we will overwrite implementations
  53. * coming from above header files here
  54. */
  55. #ifdef __INTEL_COMPILER
  56. # include <linux/compiler-intel.h>
  57. #endif
  58. /* Clang compiler defines __GNUC__. So we will overwrite implementations
  59. * coming from above header files here
  60. */
  61. #ifdef __clang__
  62. #include <linux/compiler-clang.h>
  63. #endif
  64. /*
  65. * Generic compiler-dependent macros required for kernel
  66. * build go below this comment. Actual compiler/compiler version
  67. * specific implementations come from the above header files
  68. */
  69. struct ftrace_branch_data {
  70. const char *func;
  71. const char *file;
  72. unsigned line;
  73. union {
  74. struct {
  75. unsigned long correct;
  76. unsigned long incorrect;
  77. };
  78. struct {
  79. unsigned long miss;
  80. unsigned long hit;
  81. };
  82. unsigned long miss_hit[2];
  83. };
  84. };
  85. /*
  86. * Note: DISABLE_BRANCH_PROFILING can be used by special lowlevel code
  87. * to disable branch tracing on a per file basis.
  88. */
  89. #if defined(CONFIG_TRACE_BRANCH_PROFILING) \
  90. && !defined(DISABLE_BRANCH_PROFILING) && !defined(__CHECKER__)
  91. void ftrace_likely_update(struct ftrace_branch_data *f, int val, int expect);
  92. #define likely_notrace(x) __builtin_expect(!!(x), 1)
  93. #define unlikely_notrace(x) __builtin_expect(!!(x), 0)
  94. #define __branch_check__(x, expect) ({ \
  95. int ______r; \
  96. static struct ftrace_branch_data \
  97. __attribute__((__aligned__(4))) \
  98. __attribute__((section("_ftrace_annotated_branch"))) \
  99. ______f = { \
  100. .func = __func__, \
  101. .file = __FILE__, \
  102. .line = __LINE__, \
  103. }; \
  104. ______r = likely_notrace(x); \
  105. ftrace_likely_update(&______f, ______r, expect); \
  106. ______r; \
  107. })
  108. /*
  109. * Using __builtin_constant_p(x) to ignore cases where the return
  110. * value is always the same. This idea is taken from a similar patch
  111. * written by Daniel Walker.
  112. */
  113. # ifndef likely
  114. # define likely(x) (__builtin_constant_p(x) ? !!(x) : __branch_check__(x, 1))
  115. # endif
  116. # ifndef unlikely
  117. # define unlikely(x) (__builtin_constant_p(x) ? !!(x) : __branch_check__(x, 0))
  118. # endif
  119. #ifdef CONFIG_PROFILE_ALL_BRANCHES
  120. /*
  121. * "Define 'is'", Bill Clinton
  122. * "Define 'if'", Steven Rostedt
  123. */
  124. #define if(cond, ...) __trace_if( (cond , ## __VA_ARGS__) )
  125. #define __trace_if(cond) \
  126. if (__builtin_constant_p((cond)) ? !!(cond) : \
  127. ({ \
  128. int ______r; \
  129. static struct ftrace_branch_data \
  130. __attribute__((__aligned__(4))) \
  131. __attribute__((section("_ftrace_branch"))) \
  132. ______f = { \
  133. .func = __func__, \
  134. .file = __FILE__, \
  135. .line = __LINE__, \
  136. }; \
  137. ______r = !!(cond); \
  138. ______f.miss_hit[______r]++; \
  139. ______r; \
  140. }))
  141. #endif /* CONFIG_PROFILE_ALL_BRANCHES */
  142. #else
  143. # define likely(x) __builtin_expect(!!(x), 1)
  144. # define unlikely(x) __builtin_expect(!!(x), 0)
  145. #endif
  146. /* Optimization barrier */
  147. #ifndef barrier
  148. # define barrier() __memory_barrier()
  149. #endif
  150. /* Unreachable code */
  151. #ifndef unreachable
  152. # define unreachable() do { } while (1)
  153. #endif
  154. #ifndef RELOC_HIDE
  155. # define RELOC_HIDE(ptr, off) \
  156. ({ unsigned long __ptr; \
  157. __ptr = (unsigned long) (ptr); \
  158. (typeof(ptr)) (__ptr + (off)); })
  159. #endif
  160. #ifndef OPTIMIZER_HIDE_VAR
  161. #define OPTIMIZER_HIDE_VAR(var) barrier()
  162. #endif
  163. /* Not-quite-unique ID. */
  164. #ifndef __UNIQUE_ID
  165. # define __UNIQUE_ID(prefix) __PASTE(__PASTE(__UNIQUE_ID_, prefix), __LINE__)
  166. #endif
  167. #include <uapi/linux/types.h>
  168. static __always_inline void data_access_exceeds_word_size(void)
  169. #ifdef __compiletime_warning
  170. __compiletime_warning("data access exceeds word size and won't be atomic")
  171. #endif
  172. ;
  173. static __always_inline void data_access_exceeds_word_size(void)
  174. {
  175. }
  176. static __always_inline void __read_once_size(volatile void *p, void *res, int size)
  177. {
  178. switch (size) {
  179. case 1: *(__u8 *)res = *(volatile __u8 *)p; break;
  180. case 2: *(__u16 *)res = *(volatile __u16 *)p; break;
  181. case 4: *(__u32 *)res = *(volatile __u32 *)p; break;
  182. #ifdef CONFIG_64BIT
  183. case 8: *(__u64 *)res = *(volatile __u64 *)p; break;
  184. #endif
  185. default:
  186. barrier();
  187. __builtin_memcpy((void *)res, (const void *)p, size);
  188. data_access_exceeds_word_size();
  189. barrier();
  190. }
  191. }
  192. static __always_inline void __assign_once_size(volatile void *p, void *res, int size)
  193. {
  194. switch (size) {
  195. case 1: *(volatile __u8 *)p = *(__u8 *)res; break;
  196. case 2: *(volatile __u16 *)p = *(__u16 *)res; break;
  197. case 4: *(volatile __u32 *)p = *(__u32 *)res; break;
  198. #ifdef CONFIG_64BIT
  199. case 8: *(volatile __u64 *)p = *(__u64 *)res; break;
  200. #endif
  201. default:
  202. barrier();
  203. __builtin_memcpy((void *)p, (const void *)res, size);
  204. data_access_exceeds_word_size();
  205. barrier();
  206. }
  207. }
  208. /*
  209. * Prevent the compiler from merging or refetching reads or writes. The
  210. * compiler is also forbidden from reordering successive instances of
  211. * READ_ONCE, ASSIGN_ONCE and ACCESS_ONCE (see below), but only when the
  212. * compiler is aware of some particular ordering. One way to make the
  213. * compiler aware of ordering is to put the two invocations of READ_ONCE,
  214. * ASSIGN_ONCE or ACCESS_ONCE() in different C statements.
  215. *
  216. * In contrast to ACCESS_ONCE these two macros will also work on aggregate
  217. * data types like structs or unions. If the size of the accessed data
  218. * type exceeds the word size of the machine (e.g., 32 bits or 64 bits)
  219. * READ_ONCE() and ASSIGN_ONCE() will fall back to memcpy and print a
  220. * compile-time warning.
  221. *
  222. * Their two major use cases are: (1) Mediating communication between
  223. * process-level code and irq/NMI handlers, all running on the same CPU,
  224. * and (2) Ensuring that the compiler does not fold, spindle, or otherwise
  225. * mutilate accesses that either do not require ordering or that interact
  226. * with an explicit memory barrier or atomic instruction that provides the
  227. * required ordering.
  228. */
  229. #define READ_ONCE(x) \
  230. ({ typeof(x) __val; __read_once_size(&x, &__val, sizeof(__val)); __val; })
  231. #define ASSIGN_ONCE(val, x) \
  232. ({ typeof(x) __val; __val = val; __assign_once_size(&x, &__val, sizeof(__val)); __val; })
  233. #endif /* __KERNEL__ */
  234. #endif /* __ASSEMBLY__ */
  235. #ifdef __KERNEL__
  236. /*
  237. * Allow us to mark functions as 'deprecated' and have gcc emit a nice
  238. * warning for each use, in hopes of speeding the functions removal.
  239. * Usage is:
  240. * int __deprecated foo(void)
  241. */
  242. #ifndef __deprecated
  243. # define __deprecated /* unimplemented */
  244. #endif
  245. #ifdef MODULE
  246. #define __deprecated_for_modules __deprecated
  247. #else
  248. #define __deprecated_for_modules
  249. #endif
  250. #ifndef __must_check
  251. #define __must_check
  252. #endif
  253. #ifndef CONFIG_ENABLE_MUST_CHECK
  254. #undef __must_check
  255. #define __must_check
  256. #endif
  257. #ifndef CONFIG_ENABLE_WARN_DEPRECATED
  258. #undef __deprecated
  259. #undef __deprecated_for_modules
  260. #define __deprecated
  261. #define __deprecated_for_modules
  262. #endif
  263. /*
  264. * Allow us to avoid 'defined but not used' warnings on functions and data,
  265. * as well as force them to be emitted to the assembly file.
  266. *
  267. * As of gcc 3.4, static functions that are not marked with attribute((used))
  268. * may be elided from the assembly file. As of gcc 3.4, static data not so
  269. * marked will not be elided, but this may change in a future gcc version.
  270. *
  271. * NOTE: Because distributions shipped with a backported unit-at-a-time
  272. * compiler in gcc 3.3, we must define __used to be __attribute__((used))
  273. * for gcc >=3.3 instead of 3.4.
  274. *
  275. * In prior versions of gcc, such functions and data would be emitted, but
  276. * would be warned about except with attribute((unused)).
  277. *
  278. * Mark functions that are referenced only in inline assembly as __used so
  279. * the code is emitted even though it appears to be unreferenced.
  280. */
  281. #ifndef __used
  282. # define __used /* unimplemented */
  283. #endif
  284. #ifndef __maybe_unused
  285. # define __maybe_unused /* unimplemented */
  286. #endif
  287. #ifndef __always_unused
  288. # define __always_unused /* unimplemented */
  289. #endif
  290. #ifndef noinline
  291. #define noinline
  292. #endif
  293. /*
  294. * Rather then using noinline to prevent stack consumption, use
  295. * noinline_for_stack instead. For documentation reasons.
  296. */
  297. #define noinline_for_stack noinline
  298. #ifndef __always_inline
  299. #define __always_inline inline
  300. #endif
  301. #endif /* __KERNEL__ */
  302. /*
  303. * From the GCC manual:
  304. *
  305. * Many functions do not examine any values except their arguments,
  306. * and have no effects except the return value. Basically this is
  307. * just slightly more strict class than the `pure' attribute above,
  308. * since function is not allowed to read global memory.
  309. *
  310. * Note that a function that has pointer arguments and examines the
  311. * data pointed to must _not_ be declared `const'. Likewise, a
  312. * function that calls a non-`const' function usually must not be
  313. * `const'. It does not make sense for a `const' function to return
  314. * `void'.
  315. */
  316. #ifndef __attribute_const__
  317. # define __attribute_const__ /* unimplemented */
  318. #endif
  319. /*
  320. * Tell gcc if a function is cold. The compiler will assume any path
  321. * directly leading to the call is unlikely.
  322. */
  323. #ifndef __cold
  324. #define __cold
  325. #endif
  326. /* Simple shorthand for a section definition */
  327. #ifndef __section
  328. # define __section(S) __attribute__ ((__section__(#S)))
  329. #endif
  330. #ifndef __visible
  331. #define __visible
  332. #endif
  333. /* Are two types/vars the same type (ignoring qualifiers)? */
  334. #ifndef __same_type
  335. # define __same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
  336. #endif
  337. /* Is this type a native word size -- useful for atomic operations */
  338. #ifndef __native_word
  339. # define __native_word(t) (sizeof(t) == sizeof(char) || sizeof(t) == sizeof(short) || sizeof(t) == sizeof(int) || sizeof(t) == sizeof(long))
  340. #endif
  341. /* Compile time object size, -1 for unknown */
  342. #ifndef __compiletime_object_size
  343. # define __compiletime_object_size(obj) -1
  344. #endif
  345. #ifndef __compiletime_warning
  346. # define __compiletime_warning(message)
  347. #endif
  348. #ifndef __compiletime_error
  349. # define __compiletime_error(message)
  350. /*
  351. * Sparse complains of variable sized arrays due to the temporary variable in
  352. * __compiletime_assert. Unfortunately we can't just expand it out to make
  353. * sparse see a constant array size without breaking compiletime_assert on old
  354. * versions of GCC (e.g. 4.2.4), so hide the array from sparse altogether.
  355. */
  356. # ifndef __CHECKER__
  357. # define __compiletime_error_fallback(condition) \
  358. do { ((void)sizeof(char[1 - 2 * condition])); } while (0)
  359. # endif
  360. #endif
  361. #ifndef __compiletime_error_fallback
  362. # define __compiletime_error_fallback(condition) do { } while (0)
  363. #endif
  364. #define __compiletime_assert(condition, msg, prefix, suffix) \
  365. do { \
  366. bool __cond = !(condition); \
  367. extern void prefix ## suffix(void) __compiletime_error(msg); \
  368. if (__cond) \
  369. prefix ## suffix(); \
  370. __compiletime_error_fallback(__cond); \
  371. } while (0)
  372. #define _compiletime_assert(condition, msg, prefix, suffix) \
  373. __compiletime_assert(condition, msg, prefix, suffix)
  374. /**
  375. * compiletime_assert - break build and emit msg if condition is false
  376. * @condition: a compile-time constant condition to check
  377. * @msg: a message to emit if condition is false
  378. *
  379. * In tradition of POSIX assert, this macro will break the build if the
  380. * supplied condition is *false*, emitting the supplied error message if the
  381. * compiler has support to do so.
  382. */
  383. #define compiletime_assert(condition, msg) \
  384. _compiletime_assert(condition, msg, __compiletime_assert_, __LINE__)
  385. #define compiletime_assert_atomic_type(t) \
  386. compiletime_assert(__native_word(t), \
  387. "Need native word sized stores/loads for atomicity.")
  388. /*
  389. * Prevent the compiler from merging or refetching accesses. The compiler
  390. * is also forbidden from reordering successive instances of ACCESS_ONCE(),
  391. * but only when the compiler is aware of some particular ordering. One way
  392. * to make the compiler aware of ordering is to put the two invocations of
  393. * ACCESS_ONCE() in different C statements.
  394. *
  395. * This macro does absolutely -nothing- to prevent the CPU from reordering,
  396. * merging, or refetching absolutely anything at any time. Its main intended
  397. * use is to mediate communication between process-level code and irq/NMI
  398. * handlers, all running on the same CPU.
  399. */
  400. #define ACCESS_ONCE(x) (*(volatile typeof(x) *)&(x))
  401. /* Ignore/forbid kprobes attach on very low level functions marked by this attribute: */
  402. #ifdef CONFIG_KPROBES
  403. # define __kprobes __attribute__((__section__(".kprobes.text")))
  404. # define nokprobe_inline __always_inline
  405. #else
  406. # define __kprobes
  407. # define nokprobe_inline inline
  408. #endif
  409. #endif /* __LINUX_COMPILER_H */