[compiler] Mark weak functions noinline
[people/peper/gpxe.git] / src / include / compiler.h
1 #ifndef COMPILER_H
2 #define COMPILER_H
3
4 /*
5  * Doxygen can't cope with some of the more esoteric areas of C, so we
6  * make its life simpler.
7  *
8  */
9 #ifdef DOXYGEN
10 #define __attribute__(x)
11 #endif
12
13 /** @file
14  *
15  * Global compiler definitions.
16  *
17  * This file is implicitly included by every @c .c file in Etherboot.
18  * It defines global macros such as DBG().
19  *
20  * We arrange for each object to export the symbol @c obj_OBJECT
21  * (where @c OBJECT is the object name, e.g. @c rtl8139) as a global
22  * symbol, so that the linker can drag in selected object files from
23  * the library using <tt> -u obj_OBJECT </tt>.
24  *
25  */
26
27 /* Force visibility of all symbols to "hidden", i.e. inform gcc that
28  * all symbol references resolve strictly within our final binary.
29  * This avoids unnecessary PLT/GOT entries on x86_64.
30  *
31  * This is a stronger claim than specifying "-fvisibility=hidden",
32  * since it also affects symbols marked with "extern".
33  */
34 #ifndef ASSEMBLY
35 #if __GNUC__ >= 4
36 #pragma GCC visibility push(hidden)
37 #endif
38 #endif /* ASSEMBLY */
39
40 #undef _S1
41 #undef _S2
42 #undef _C1
43 #undef _C2
44
45 /** Concatenate non-expanded arguments */
46 #define _C1( x, y ) x ## y
47 /** Concatenate expanded arguments */
48 #define _C2( x, y ) _C1 ( x, y )
49
50 /** Stringify non-expanded argument */
51 #define _S1( x ) #x
52 /** Stringify expanded argument */
53 #define _S2( x ) _S1 ( x )
54
55 /**
56  * @defgroup symmacros Macros to provide or require explicit symbols
57  * @{
58  */
59
60 /** Provide a symbol within this object file */
61 #ifdef ASSEMBLY
62 #define PROVIDE_SYMBOL( _sym )                          \
63         .globl  _sym ;                                  \
64         .comm   _sym, 0
65 #else /* ASSEMBLY */
66 #define PROVIDE_SYMBOL( _sym )                          \
67         char _sym[0]
68 #endif /* ASSEMBLY */
69
70 /** Require a symbol within this object file
71  *
72  * The symbol is referenced by a relocation in a discarded section, so
73  * if it is not available at link time the link will fail.
74  */
75 #ifdef ASSEMBLY
76 #define REQUIRE_SYMBOL( _sym )                          \
77         .section ".discard", "a", @progbits ;           \
78         .extern _sym ;                                  \
79         .long   _sym ;                                  \
80         .previous
81 #else /* ASSEMBLY */
82 #define REQUIRE_SYMBOL( _sym )                          \
83         extern char _sym;                               \
84         static char * _C2 ( _C2 ( __require_, _sym ), _C2 ( _, __LINE__ ) ) \
85                 __attribute__ (( section ( ".discard" ), used )) \
86                 = &_sym
87 #endif
88
89 /** Request that a symbol be available at runtime
90  *
91  * The requested symbol is entered as undefined into the symbol table
92  * for this object, so the linker will pull in other object files as
93  * necessary to satisfy the reference. However, the undefined symbol
94  * is not referenced in any relocations, so the link can still succeed
95  * if no file contains it.
96  *
97  * A symbol passed to this macro may not be referenced anywhere
98  * else in the file. If you want to do that, see IMPORT_SYMBOL().
99  */
100 #ifdef ASSEMBLY
101 #define REQUEST_SYMBOL( _sym )                          \
102         .equ    __need_ ## _sym, _sym
103 #else /* ASSEMBLY */
104 #define REQUEST_SYMBOL( _sym )                          \
105         __asm__ ( ".equ\t__need_" #_sym ", " #_sym )
106 #endif /* ASSEMBLY */
107
108 /** Set up a symbol to be usable in another file by IMPORT_SYMBOL()
109  *
110  * The symbol must already be marked as global.
111  */
112 #define EXPORT_SYMBOL( _sym )   PROVIDE_SYMBOL ( __export_ ## _sym )
113
114 /** Make a symbol usable to this file if available at link time
115  *
116  * If no file passed to the linker contains the symbol, it will have
117  * @c NULL value to future uses. Keep in mind that the symbol value is
118  * really the @e address of a variable or function; see the code
119  * snippet below.
120  *
121  * In C using IMPORT_SYMBOL, you must specify the declaration as the
122  * second argument, for instance
123  *
124  * @code
125  *   IMPORT_SYMBOL ( my_func, int my_func ( int arg ) );
126  *   IMPORT_SYMBOL ( my_var, int my_var );
127  *
128  *   void use_imports ( void ) {
129  *      if ( my_func && &my_var )
130  *         my_var = my_func ( my_var );
131  *   }
132  * @endcode
133  *
134  * GCC considers a weak declaration to override a strong one no matter
135  * which comes first, so it is safe to include a header file declaring
136  * the imported symbol normally, but providing the declaration to
137  * IMPORT_SYMBOL is still required.
138  *
139  * If no EXPORT_SYMBOL declaration exists for the imported symbol in
140  * another file, the behavior will be most likely be identical to that
141  * for an unavailable symbol.
142  */
143 #ifdef ASSEMBLY
144 #define IMPORT_SYMBOL( _sym )                           \
145         REQUEST_SYMBOL ( __export_ ## _sym ) ;          \
146         .weak   _sym
147 #else /* ASSEMBLY */
148 #define IMPORT_SYMBOL( _sym, _decl )                    \
149         REQUEST_SYMBOL ( __export_ ## _sym ) ;          \
150         extern _decl __attribute__ (( weak ))
151 #endif
152
153 /** @} */
154
155 /**
156  * @defgroup objmacros Macros to provide or require explicit objects
157  * @{
158  */
159
160 #define PREFIX_OBJECT( _prefix ) _C2 ( _prefix, OBJECT )
161 #define OBJECT_SYMBOL PREFIX_OBJECT ( obj_ )
162 #define REQUEST_EXPANDED( _sym ) REQUEST_SYMBOL ( _sym )
163 #define CONFIG_SYMBOL PREFIX_OBJECT ( obj_config_ )
164
165 /** Always provide the symbol for the current object (defined by -DOBJECT) */
166 PROVIDE_SYMBOL ( OBJECT_SYMBOL );
167
168 /** Pull in an object-specific configuration file if available */
169 REQUEST_EXPANDED ( CONFIG_SYMBOL );
170
171 /** Explicitly require another object */
172 #define REQUIRE_OBJECT( _obj ) REQUIRE_SYMBOL ( obj_ ## _obj )
173
174 /** Pull in another object if it exists */
175 #define REQUEST_OBJECT( _obj ) REQUEST_SYMBOL ( obj_ ## _obj )
176
177 /** @} */
178
179 /** Select file identifier for errno.h (if used) */
180 #define ERRFILE PREFIX_OBJECT ( ERRFILE_ )
181
182 #ifndef ASSEMBLY
183
184 /** Declare a function as weak (use *before* the definition)
185  *
186  * Due to a bug in at least GCC 4.4.4 and earlier, weak symbols may be inlined
187  * if they have hidden visibility (see above for why hidden visibility is
188  * used).  This results in the non-weak symbol never being used, so explicitly
189  * mark the function as noinline to prevent inlining.
190  */
191 #define __weak          __attribute__ (( weak )) __attribute (( noinline ))
192
193 #endif
194
195 /** @defgroup dbg Debugging infrastructure
196  * @{
197  */
198 #ifndef ASSEMBLY
199
200 /** @def DBG
201  *
202  * Print a debugging message.
203  *
204  * The debug level is set at build time by specifying the @c DEBUG=
205  * parameter on the @c make command line.  For example, to enable
206  * debugging for the PCI bus functions (in pci.c) in a @c .dsk image
207  * for the @c rtl8139 card, you could use the command line
208  *
209  * @code
210  *
211  *   make bin/rtl8139.dsk DEBUG=pci
212  *
213  * @endcode
214  *
215  * This will enable the debugging statements (DBG()) in pci.c.  If
216  * debugging is not enabled, DBG() statements will be ignored.
217  *
218  * You can enable debugging in several objects simultaneously by
219  * separating them with commas, as in
220  *
221  * @code
222  *
223  *   make bin/rtl8139.dsk DEBUG=pci,buffer,heap
224  *
225  * @endcode
226  *
227  * You can increase the debugging level for an object by specifying it
228  * with @c :N, where @c N is the level, as in
229  *
230  * @code
231  *
232  *   make bin/rtl8139.dsk DEBUG=pci,buffer:2,heap
233  *
234  * @endcode
235  *
236  * which would enable debugging for the PCI, buffer-handling and
237  * heap-allocation code, with the buffer-handling code at level 2.
238  *
239  */
240
241 /*
242  * If debug_OBJECT is set to a true value, the macro DBG(...) will
243  * expand to printf(...) when compiling OBJECT, and the symbol
244  * DEBUG_LEVEL will be inserted into the object file.
245  *
246  */
247 #define DEBUG_SYMBOL PREFIX_OBJECT ( debug_ )
248
249 /** printf() for debugging
250  *
251  * This function exists so that the DBG() macros can expand to
252  * printf() calls without dragging the printf() prototype into scope.
253  *
254  * As far as the compiler is concerned, dbg_printf() and printf() are
255  * completely unrelated calls; it's only at the assembly stage that
256  * references to the dbg_printf symbol are collapsed into references
257  * to the printf symbol.
258  */
259 extern int __attribute__ (( format ( printf, 1, 2 ) )) 
260 dbg_printf ( const char *fmt, ... ) asm ( "printf" );
261
262 extern void dbg_autocolourise ( unsigned long id );
263 extern void dbg_decolourise ( void );
264 extern void dbg_hex_dump_da ( unsigned long dispaddr,
265                               const void *data, unsigned long len );
266
267 #if DEBUG_SYMBOL
268 #define DBGLVL_MAX DEBUG_SYMBOL
269 #else
270 #define DBGLVL_MAX 0
271 #endif
272
273 /* Allow for selective disabling of enabled debug levels */
274 #if DBGLVL_MAX
275 int __debug_disable;
276 #define DBGLVL ( DBGLVL_MAX & ~__debug_disable )
277 #define DBG_DISABLE( level ) do {                               \
278         __debug_disable |= ( (level) & DBGLVL_MAX );            \
279         } while ( 0 )
280 #define DBG_ENABLE( level ) do {                                \
281         __debug_disable &= ~( (level) & DBGLVL_MAX );           \
282         } while ( 0 )
283 #else
284 #define DBGLVL 0
285 #define DBG_DISABLE( level ) do { } while ( 0 )
286 #define DBG_ENABLE( level ) do { } while ( 0 )
287 #endif
288
289 #define DBGLVL_LOG      1
290 #define DBG_LOG         ( DBGLVL & DBGLVL_LOG )
291 #define DBGLVL_EXTRA    2
292 #define DBG_EXTRA       ( DBGLVL & DBGLVL_EXTRA )
293 #define DBGLVL_PROFILE  4
294 #define DBG_PROFILE     ( DBGLVL & DBGLVL_PROFILE )
295 #define DBGLVL_IO       8
296 #define DBG_IO          ( DBGLVL & DBGLVL_IO )
297
298 /**
299  * Print debugging message if we are at a certain debug level
300  *
301  * @v level             Debug level
302  * @v ...               printf() argument list
303  */
304 #define DBG_IF( level, ... ) do {                               \
305                 if ( DBG_ ## level ) {                          \
306                         dbg_printf ( __VA_ARGS__ );             \
307                 }                                               \
308         } while ( 0 )
309
310 /**
311  * Print a hex dump if we are at a certain debug level
312  *
313  * @v level             Debug level
314  * @v dispaddr          Display address
315  * @v data              Data to print
316  * @v len               Length of data
317  */
318 #define DBG_HDA_IF( level, dispaddr, data, len )  do {          \
319                 if ( DBG_ ## level ) {                          \
320                         union {                                 \
321                                 unsigned long ul;               \
322                                 typeof ( dispaddr ) raw;        \
323                         } da;                                   \
324                         da.raw = dispaddr;                      \
325                         dbg_hex_dump_da ( da.ul, data, len );   \
326                 }                                               \
327         } while ( 0 )
328
329 /**
330  * Print a hex dump if we are at a certain debug level
331  *
332  * @v level             Debug level
333  * @v data              Data to print
334  * @v len               Length of data
335  */
336 #define DBG_HD_IF( level, data, len ) do {                      \
337                 const void *_data = data;                       \
338                 DBG_HDA_IF ( level, _data, _data, len );        \
339         } while ( 0 )
340
341 /**
342  * Select colour for debug messages if we are at a certain debug level
343  *
344  * @v level             Debug level
345  * @v id                Message stream ID
346  */
347 #define DBG_AC_IF( level, id ) do {                             \
348                 if ( DBG_ ## level ) {                          \
349                         union {                                 \
350                                 unsigned long ul;               \
351                                 typeof ( id ) raw;              \
352                         } dbg_stream;                           \
353                         dbg_stream.raw = id;                    \
354                         dbg_autocolourise ( dbg_stream.ul );    \
355                 }                                               \
356         } while ( 0 )
357
358 /**
359  * Revert colour for debug messages if we are at a certain debug level
360  *
361  * @v level             Debug level
362  */
363 #define DBG_DC_IF( level ) do {                                 \
364                 if ( DBG_ ## level ) {                          \
365                         dbg_decolourise();                      \
366                 }                                               \
367         } while ( 0 )
368
369 /* Autocolourising versions of the DBGxxx_IF() macros */
370
371 #define DBGC_IF( level, id, ... ) do {                          \
372                 DBG_AC_IF ( level, id );                        \
373                 DBG_IF ( level, __VA_ARGS__ );                  \
374                 DBG_DC_IF ( level );                            \
375         } while ( 0 )
376
377 #define DBGC_HDA_IF( level, id, ... ) do {                      \
378                 DBG_AC_IF ( level, id );                        \
379                 DBG_HDA_IF ( level, __VA_ARGS__ );              \
380                 DBG_DC_IF ( level );                            \
381         } while ( 0 )
382
383 #define DBGC_HD_IF( level, id, ... ) do {                       \
384                 DBG_AC_IF ( level, id );                        \
385                 DBG_HD_IF ( level, __VA_ARGS__ );               \
386                 DBG_DC_IF ( level );                            \
387         } while ( 0 )
388
389 /* Versions of the DBGxxx_IF() macros that imply DBGxxx_IF( LOG, ... )*/
390
391 #define DBG( ... )              DBG_IF          ( LOG, __VA_ARGS__ )
392 #define DBG_HDA( ... )          DBG_HDA_IF      ( LOG, __VA_ARGS__ )
393 #define DBG_HD( ... )           DBG_HD_IF       ( LOG, __VA_ARGS__ )
394 #define DBGC( ... )             DBGC_IF         ( LOG, __VA_ARGS__ )
395 #define DBGC_HDA( ... )         DBGC_HDA_IF     ( LOG, __VA_ARGS__ )
396 #define DBGC_HD( ... )          DBGC_HD_IF      ( LOG, __VA_ARGS__ )
397
398 /* Versions of the DBGxxx_IF() macros that imply DBGxxx_IF( EXTRA, ... )*/
399
400 #define DBG2( ... )             DBG_IF          ( EXTRA, __VA_ARGS__ )
401 #define DBG2_HDA( ... )         DBG_HDA_IF      ( EXTRA, __VA_ARGS__ )
402 #define DBG2_HD( ... )          DBG_HD_IF       ( EXTRA, __VA_ARGS__ )
403 #define DBGC2( ... )            DBGC_IF         ( EXTRA, __VA_ARGS__ )
404 #define DBGC2_HDA( ... )        DBGC_HDA_IF     ( EXTRA, __VA_ARGS__ )
405 #define DBGC2_HD( ... )         DBGC_HD_IF      ( EXTRA, __VA_ARGS__ )
406
407 /* Versions of the DBGxxx_IF() macros that imply DBGxxx_IF( PROFILE, ... )*/
408
409 #define DBGP( ... )             DBG_IF          ( PROFILE, __VA_ARGS__ )
410 #define DBGP_HDA( ... )         DBG_HDA_IF      ( PROFILE, __VA_ARGS__ )
411 #define DBGP_HD( ... )          DBG_HD_IF       ( PROFILE, __VA_ARGS__ )
412 #define DBGCP( ... )            DBGC_IF         ( PROFILE, __VA_ARGS__ )
413 #define DBGCP_HDA( ... )        DBGC_HDA_IF     ( PROFILE, __VA_ARGS__ )
414 #define DBGCP_HD( ... )         DBGC_HD_IF      ( PROFILE, __VA_ARGS__ )
415
416 /* Versions of the DBGxxx_IF() macros that imply DBGxxx_IF( IO, ... )*/
417
418 #define DBGIO( ... )            DBG_IF          ( IO, __VA_ARGS__ )
419 #define DBGIO_HDA( ... )        DBG_HDA_IF      ( IO, __VA_ARGS__ )
420 #define DBGIO_HD( ... )         DBG_HD_IF       ( IO, __VA_ARGS__ )
421 #define DBGCIO( ... )           DBGC_IF         ( IO, __VA_ARGS__ )
422 #define DBGCIO_HDA( ... )       DBGC_HDA_IF     ( IO, __VA_ARGS__ )
423 #define DBGCIO_HD( ... )        DBGC_HD_IF      ( IO, __VA_ARGS__ )
424
425
426 #if DEBUG_SYMBOL == 0
427 #define NDEBUG
428 #endif
429
430 #endif /* ASSEMBLY */
431 /** @} */
432
433 /** @defgroup attrs Miscellaneous attributes
434  * @{
435  */
436 #ifndef ASSEMBLY
437
438 /** Declare a variable or data structure as unused. */
439 #define __unused __attribute__ (( unused ))
440
441 /**
442  * Declare a function as pure - i.e. without side effects
443  */
444 #define __pure __attribute__ (( pure ))
445
446 /**
447  * Declare a function as const - i.e. it does not access global memory
448  * (including dereferencing pointers passed to it) at all.
449  * Must also not call any non-const functions.
450  */
451 #define __const __attribute__ (( const ))
452
453 /**
454  * Declare a function's pointer parameters as non-null - i.e. force
455  * compiler to check pointers at compile time and enable possible
456  * optimizations based on that fact
457  */
458 #define __nonnull __attribute__ (( nonnull ))
459
460 /**
461  * Declare a pointer returned by a function as a unique memory address
462  * as returned by malloc-type functions.
463  */
464 #define __malloc __attribute__ (( malloc ))
465
466 /**
467  * Declare a function as used.
468  *
469  * Necessary only if the function is called only from assembler code.
470  */
471 #define __used __attribute__ (( used ))
472
473 /** Declare a data structure to be aligned with 16-byte alignment */
474 #define __aligned __attribute__ (( aligned ( 16 ) ))
475
476 /** Declare a function to be always inline */
477 #define __always_inline __attribute__ (( always_inline ))
478
479 /**
480  * Shared data.
481  *
482  * To save space in the binary when multiple-driver images are
483  * compiled, uninitialised data areas can be shared between drivers.
484  * This will typically be used to share statically-allocated receive
485  * and transmit buffers between drivers.
486  *
487  * Use as e.g.
488  *
489  * @code
490  *
491  *   struct {
492  *      char    rx_buf[NUM_RX_BUF][RX_BUF_SIZE];
493  *      char    tx_buf[TX_BUF_SIZE];
494  *   } my_static_data __shared;
495  *
496  * @endcode
497  *
498  */
499 #define __shared __asm__ ( "_shared_bss" ) __aligned
500
501 #endif /* ASSEMBLY */
502 /** @} */
503
504 /**
505  * Optimisation barrier
506  */
507 #ifndef ASSEMBLY
508 #define barrier() __asm__ __volatile__ ( "" : : : "memory" )
509 #endif /* ASSEMBLY */
510
511 /**
512  * @defgroup licences Licence declarations
513  *
514  * For reasons that are partly historical, various different files
515  * within the gPXE codebase have differing licences.
516  *
517  * @{
518  */
519
520 /** Declare a file as being in the public domain
521  *
522  * This licence declaration is applicable when a file states itself to
523  * be in the public domain.
524  */
525 #define FILE_LICENCE_PUBLIC_DOMAIN \
526         PROVIDE_SYMBOL ( __licence_public_domain )
527
528 /** Declare a file as being under version 2 (or later) of the GNU GPL
529  *
530  * This licence declaration is applicable when a file states itself to
531  * be licensed under the GNU GPL; "either version 2 of the License, or
532  * (at your option) any later version".
533  */
534 #define FILE_LICENCE_GPL2_OR_LATER \
535         PROVIDE_SYMBOL ( __licence_gpl2_or_later )
536
537 /** Declare a file as being under version 2 of the GNU GPL
538  *
539  * This licence declaration is applicable when a file states itself to
540  * be licensed under version 2 of the GPL, and does not include the
541  * "or, at your option, any later version" clause.
542  */
543 #define FILE_LICENCE_GPL2_ONLY \
544         PROVIDE_SYMBOL ( __licence_gpl2_only )
545
546 /** Declare a file as being under any version of the GNU GPL
547  *
548  * This licence declaration is applicable when a file states itself to
549  * be licensed under the GPL, but does not specify a version.
550  *
551  * According to section 9 of the GPLv2, "If the Program does not
552  * specify a version number of this License, you may choose any
553  * version ever published by the Free Software Foundation".
554  */
555 #define FILE_LICENCE_GPL_ANY \
556         PROVIDE_SYMBOL ( __licence_gpl_any )
557
558 /** Declare a file as being under the three-clause BSD licence
559  *
560  * This licence declaration is applicable when a file states itself to
561  * be licensed under terms allowing redistribution in source and
562  * binary forms (with or without modification) provided that:
563  *
564  *     redistributions of source code retain the copyright notice,
565  *     list of conditions and any attached disclaimers
566  *
567  *     redistributions in binary form reproduce the copyright notice,
568  *     list of conditions and any attached disclaimers in the
569  *     documentation and/or other materials provided with the
570  *     distribution
571  *
572  *     the name of the author is not used to endorse or promote
573  *     products derived from the software without specific prior
574  *     written permission
575  *
576  * It is not necessary for the file to explicitly state that it is
577  * under a "BSD" licence; only that the licensing terms be
578  * functionally equivalent to the standard three-clause BSD licence.
579  */
580 #define FILE_LICENCE_BSD3 \
581         PROVIDE_SYMBOL ( __licence_bsd3 )
582
583 /** Declare a file as being under the two-clause BSD licence
584  *
585  * This licence declaration is applicable when a file states itself to
586  * be licensed under terms allowing redistribution in source and
587  * binary forms (with or without modification) provided that:
588  *
589  *     redistributions of source code retain the copyright notice,
590  *     list of conditions and any attached disclaimers
591  *
592  *     redistributions in binary form reproduce the copyright notice,
593  *     list of conditions and any attached disclaimers in the
594  *     documentation and/or other materials provided with the
595  *     distribution
596  *
597  * It is not necessary for the file to explicitly state that it is
598  * under a "BSD" licence; only that the licensing terms be
599  * functionally equivalent to the standard two-clause BSD licence.
600  */
601 #define FILE_LICENCE_BSD2 \
602         PROVIDE_SYMBOL ( __licence_bsd2 )
603
604 /** Declare a file as being under the one-clause MIT-style licence
605  *
606  * This licence declaration is applicable when a file states itself to
607  * be licensed under terms allowing redistribution for any purpose
608  * with or without fee, provided that the copyright notice and
609  * permission notice appear in all copies.
610  */
611 #define FILE_LICENCE_MIT \
612         PROVIDE_SYMBOL ( __licence_mit )
613
614 /** Declare a particular licence as applying to a file */
615 #define FILE_LICENCE( _licence ) FILE_LICENCE_ ## _licence
616
617 /** @} */
618
619 /* This file itself is under GPLv2-or-later */
620 FILE_LICENCE ( GPL2_OR_LATER );
621
622 #include <bits/compiler.h>
623
624 #endif /* COMPILER_H */