Mercurial > hg > CbC > CbC_gcc
annotate gcc/output.h @ 66:b362627d71ba
bug-fix: modify tail-call-optimization enforcing rules. (calls.c.)
| author | Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 14 Dec 2010 03:58:33 +0900 |
| parents | 77e2b8dfacca |
| children | f6334be47118 |
| rev | line source |
|---|---|
| 0 | 1 /* Declarations for insn-output.c. These functions are defined in recog.c, |
| 2 final.c, and varasm.c. | |
| 3 Copyright (C) 1987, 1991, 1994, 1997, 1998, 1999, 2000, 2001, 2002, | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
4 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
| 0 | 5 |
| 6 This file is part of GCC. | |
| 7 | |
| 8 GCC is free software; you can redistribute it and/or modify it under | |
| 9 the terms of the GNU General Public License as published by the Free | |
| 10 Software Foundation; either version 3, or (at your option) any later | |
| 11 version. | |
| 12 | |
| 13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
| 14 WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 16 for more details. | |
| 17 | |
| 18 You should have received a copy of the GNU General Public License | |
| 19 along with GCC; see the file COPYING3. If not see | |
| 20 <http://www.gnu.org/licenses/>. */ | |
| 21 | |
| 22 #ifndef GCC_OUTPUT_H | |
| 23 #define GCC_OUTPUT_H | |
| 24 | |
| 25 /* Initialize data in final at the beginning of a compilation. */ | |
| 26 extern void init_final (const char *); | |
| 27 | |
| 28 /* Enable APP processing of subsequent output. | |
| 29 Used before the output from an `asm' statement. */ | |
| 30 extern void app_enable (void); | |
| 31 | |
| 32 /* Disable APP processing of subsequent output. | |
| 33 Called from varasm.c before most kinds of output. */ | |
| 34 extern void app_disable (void); | |
| 35 | |
| 36 /* Return the number of slots filled in the current | |
| 37 delayed branch sequence (we don't count the insn needing the | |
| 38 delay slot). Zero if not in a delayed branch sequence. */ | |
| 39 extern int dbr_sequence_length (void); | |
| 40 | |
| 41 /* Indicate that branch shortening hasn't yet been done. */ | |
| 42 extern void init_insn_lengths (void); | |
| 43 | |
| 44 /* Obtain the current length of an insn. If branch shortening has been done, | |
| 45 get its actual length. Otherwise, get its maximum length. */ | |
| 46 extern int get_attr_length (rtx); | |
| 47 | |
| 48 /* Obtain the current length of an insn. If branch shortening has been done, | |
| 49 get its actual length. Otherwise, get its minimum length. */ | |
| 50 extern int get_attr_min_length (rtx); | |
| 51 | |
| 52 /* Make a pass over all insns and compute their actual lengths by shortening | |
| 53 any branches of variable length if possible. */ | |
| 54 extern void shorten_branches (rtx); | |
| 55 | |
| 56 /* Output assembler code for the start of a function, | |
| 57 and initialize some of the variables in this file | |
| 58 for the new function. The label for the function and associated | |
| 59 assembler pseudo-ops have already been output in | |
| 60 `assemble_start_function'. */ | |
| 61 extern void final_start_function (rtx, FILE *, int); | |
| 62 | |
| 63 /* Output assembler code for the end of a function. | |
| 64 For clarity, args are same as those of `final_start_function' | |
| 65 even though not all of them are needed. */ | |
| 66 extern void final_end_function (void); | |
| 67 | |
| 68 /* Output assembler code for some insns: all or part of a function. */ | |
| 69 extern void final (rtx, FILE *, int); | |
| 70 | |
| 71 /* The final scan for one insn, INSN. Args are same as in `final', except | |
| 72 that INSN is the insn being scanned. Value returned is the next insn to | |
| 73 be scanned. */ | |
| 74 extern rtx final_scan_insn (rtx, FILE *, int, int, int *); | |
| 75 | |
| 76 /* Replace a SUBREG with a REG or a MEM, based on the thing it is a | |
| 77 subreg of. */ | |
| 78 extern rtx alter_subreg (rtx *); | |
| 79 | |
| 80 /* Report inconsistency between the assembler template and the operands. | |
| 81 In an `asm', it's the user's fault; otherwise, the compiler's fault. */ | |
| 82 extern void output_operand_lossage (const char *, ...) ATTRIBUTE_PRINTF_1; | |
| 83 | |
| 84 /* Output a string of assembler code, substituting insn operands. | |
| 85 Defined in final.c. */ | |
| 86 extern void output_asm_insn (const char *, rtx *); | |
| 87 | |
| 88 /* Compute a worst-case reference address of a branch so that it | |
| 89 can be safely used in the presence of aligned labels. | |
| 90 Defined in final.c. */ | |
| 91 extern int insn_current_reference_address (rtx); | |
| 92 | |
| 93 /* Find the alignment associated with a CODE_LABEL. | |
| 94 Defined in final.c. */ | |
| 95 extern int label_to_alignment (rtx); | |
| 96 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
97 /* Find the alignment maximum skip associated with a CODE_LABEL. |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
98 Defined in final.c. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
99 extern int label_to_max_skip (rtx); |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
100 |
| 0 | 101 /* Output a LABEL_REF, or a bare CODE_LABEL, as an assembler symbol. */ |
| 102 extern void output_asm_label (rtx); | |
| 103 | |
| 104 /* Marks SYMBOL_REFs in x as referenced through use of assemble_external. */ | |
| 105 extern void mark_symbol_refs_as_used (rtx); | |
| 106 | |
| 107 /* Print a memory reference operand for address X | |
| 108 using machine-dependent assembler syntax. */ | |
| 109 extern void output_address (rtx); | |
| 110 | |
| 111 /* Print an integer constant expression in assembler syntax. | |
| 112 Addition and subtraction are the only arithmetic | |
| 113 that may appear in these expressions. */ | |
| 114 extern void output_addr_const (FILE *, rtx); | |
| 115 | |
| 116 /* Output a string of assembler code, substituting numbers, strings | |
| 117 and fixed syntactic prefixes. */ | |
| 118 #if GCC_VERSION >= 3004 | |
| 119 #define ATTRIBUTE_ASM_FPRINTF(m, n) __attribute__ ((__format__ (__asm_fprintf__, m, n))) ATTRIBUTE_NONNULL(m) | |
| 120 /* This is a magic identifier which allows GCC to figure out the type | |
| 121 of HOST_WIDE_INT for %wd specifier checks. You must issue this | |
| 122 typedef before using the __asm_fprintf__ format attribute. */ | |
| 123 typedef HOST_WIDE_INT __gcc_host_wide_int__; | |
| 124 #else | |
| 125 #define ATTRIBUTE_ASM_FPRINTF(m, n) ATTRIBUTE_NONNULL(m) | |
| 126 #endif | |
| 127 | |
| 128 extern void asm_fprintf (FILE *file, const char *p, ...) | |
| 129 ATTRIBUTE_ASM_FPRINTF(2, 3); | |
| 130 | |
| 131 /* Split up a CONST_DOUBLE or integer constant rtx into two rtx's for single | |
| 132 words. */ | |
| 133 extern void split_double (rtx, rtx *, rtx *); | |
| 134 | |
| 135 /* Return nonzero if this function has no function calls. */ | |
| 136 extern int leaf_function_p (void); | |
| 137 | |
| 138 /* Return 1 if branch is a forward branch. | |
| 139 Uses insn_shuid array, so it works only in the final pass. May be used by | |
| 140 output templates to add branch prediction hints, for example. */ | |
| 141 extern int final_forward_branch_p (rtx); | |
| 142 | |
| 143 /* Return 1 if this function uses only the registers that can be | |
| 144 safely renumbered. */ | |
| 145 extern int only_leaf_regs_used (void); | |
| 146 | |
| 147 /* Scan IN_RTX and its subexpressions, and renumber all regs into those | |
| 148 available in leaf functions. */ | |
| 149 extern void leaf_renumber_regs_insn (rtx); | |
| 150 | |
| 151 /* Locate the proper template for the given insn-code. */ | |
| 152 extern const char *get_insn_template (int, rtx); | |
| 153 | |
| 154 /* Functions in varasm.c. */ | |
| 155 | |
| 156 /* Declare DECL to be a weak symbol. */ | |
| 157 extern void declare_weak (tree); | |
| 158 /* Merge weak status. */ | |
| 159 extern void merge_weak (tree, tree); | |
| 160 | |
| 161 /* Emit any pending weak declarations. */ | |
| 162 extern void weak_finish (void); | |
| 163 | |
| 164 /* Emit any pending emutls declarations and initializations. */ | |
| 165 extern void emutls_finish (void); | |
| 166 | |
| 167 /* Decode an `asm' spec for a declaration as a register name. | |
| 168 Return the register number, or -1 if nothing specified, | |
| 169 or -2 if the ASMSPEC is not `cc' or `memory' and is not recognized, | |
| 170 or -3 if ASMSPEC is `cc' and is not recognized, | |
| 171 or -4 if ASMSPEC is `memory' and is not recognized. | |
| 172 Accept an exact spelling or a decimal number. | |
| 173 Prefixes such as % are optional. */ | |
| 174 extern int decode_reg_name (const char *); | |
| 175 | |
| 176 extern void assemble_alias (tree, tree); | |
| 177 | |
| 178 extern void default_assemble_visibility (tree, int); | |
| 179 | |
| 180 /* Output a string of literal assembler code | |
| 181 for an `asm' keyword used between functions. */ | |
| 182 extern void assemble_asm (tree); | |
| 183 | |
| 184 /* Output assembler code for the constant pool of a function and associated | |
| 185 with defining the name of the function. DECL describes the function. | |
| 186 NAME is the function's name. For the constant pool, we use the current | |
| 187 constant pool data. */ | |
| 188 extern void assemble_start_function (tree, const char *); | |
| 189 | |
| 190 /* Output assembler code associated with defining the size of the | |
| 191 function. DECL describes the function. NAME is the function's name. */ | |
| 192 extern void assemble_end_function (tree, const char *); | |
| 193 | |
| 194 /* Assemble everything that is needed for a variable or function declaration. | |
| 195 Not used for automatic variables, and not used for function definitions. | |
| 196 Should not be called for variables of incomplete structure type. | |
| 197 | |
| 198 TOP_LEVEL is nonzero if this variable has file scope. | |
| 199 AT_END is nonzero if this is the special handling, at end of compilation, | |
| 200 to define things that have had only tentative definitions. | |
| 201 DONT_OUTPUT_DATA if nonzero means don't actually output the | |
| 202 initial value (that will be done by the caller). */ | |
| 203 extern void assemble_variable (tree, int, int, int); | |
| 204 | |
| 205 /* Compute the alignment of variable specified by DECL. | |
| 206 DONT_OUTPUT_DATA is from assemble_variable. */ | |
| 207 extern void align_variable (tree decl, bool dont_output_data); | |
| 208 | |
| 209 /* Queue for outputting something to declare an external symbol to the | |
| 210 assembler. (Most assemblers don't need this, so we normally output | |
| 211 nothing.) Do nothing if DECL is not external. */ | |
| 212 extern void assemble_external (tree); | |
| 213 | |
| 214 /* Assemble code to leave SIZE bytes of zeros. */ | |
| 215 extern void assemble_zeros (unsigned HOST_WIDE_INT); | |
| 216 | |
| 217 /* Assemble an alignment pseudo op for an ALIGN-bit boundary. */ | |
| 218 extern void assemble_align (int); | |
| 219 | |
| 220 /* Assemble a string constant with the specified C string as contents. */ | |
| 221 extern void assemble_string (const char *, int); | |
| 222 | |
| 223 /* Similar, for calling a library function FUN. */ | |
| 224 extern void assemble_external_libcall (rtx); | |
| 225 | |
| 226 /* Assemble a label named NAME. */ | |
| 227 extern void assemble_label (const char *); | |
| 228 | |
| 229 /* Output to FILE (an assembly file) a reference to NAME. If NAME | |
| 230 starts with a *, the rest of NAME is output verbatim. Otherwise | |
| 231 NAME is transformed in a target-specific way (usually by the | |
| 232 addition of an underscore). */ | |
| 233 extern void assemble_name_raw (FILE *, const char *); | |
| 234 | |
| 235 /* Like assemble_name_raw, but should be used when NAME might refer to | |
| 236 an entity that is also represented as a tree (like a function or | |
| 237 variable). If NAME does refer to such an entity, that entity will | |
| 238 be marked as referenced. */ | |
| 239 extern void assemble_name (FILE *, const char *); | |
| 240 | |
| 241 /* Return the assembler directive for creating a given kind of integer | |
| 242 object. SIZE is the number of bytes in the object and ALIGNED_P | |
| 243 indicates whether it is known to be aligned. Return NULL if the | |
| 244 assembly dialect has no such directive. | |
| 245 | |
| 246 The returned string should be printed at the start of a new line and | |
| 247 be followed immediately by the object's initial value. */ | |
| 248 extern const char *integer_asm_op (int, int); | |
| 249 | |
| 250 /* Use directive OP to assemble an integer object X. Print OP at the | |
| 251 start of the line, followed immediately by the value of X. */ | |
| 252 extern void assemble_integer_with_op (const char *, rtx); | |
| 253 | |
| 254 /* The default implementation of the asm_out.integer target hook. */ | |
| 255 extern bool default_assemble_integer (rtx, unsigned int, int); | |
| 256 | |
| 257 /* Assemble the integer constant X into an object of SIZE bytes. ALIGN is | |
| 258 the alignment of the integer in bits. Return 1 if we were able to output | |
| 259 the constant, otherwise 0. If FORCE is nonzero the constant must | |
| 260 be outputable. */ | |
| 261 extern bool assemble_integer (rtx, unsigned, unsigned, int); | |
| 262 | |
| 263 /* An interface to assemble_integer for the common case in which a value is | |
| 264 fully aligned and must be printed. VALUE is the value of the integer | |
| 265 object and SIZE is the number of bytes it contains. */ | |
| 266 #define assemble_aligned_integer(SIZE, VALUE) \ | |
| 267 assemble_integer (VALUE, SIZE, (SIZE) * BITS_PER_UNIT, 1) | |
| 268 | |
| 269 #ifdef REAL_VALUE_TYPE_SIZE | |
| 270 /* Assemble the floating-point constant D into an object of size MODE. */ | |
| 271 extern void assemble_real (REAL_VALUE_TYPE, enum machine_mode, unsigned); | |
| 272 #endif | |
| 273 | |
| 274 /* Write the address of the entity given by SYMBOL to SEC. */ | |
| 275 extern void assemble_addr_to_section (rtx, section *); | |
| 276 | |
| 277 /* Return the size of the constant pool. */ | |
| 278 extern int get_pool_size (void); | |
| 279 | |
| 280 #ifdef HAVE_peephole | |
| 281 extern rtx peephole (rtx); | |
| 282 #endif | |
| 283 | |
| 284 extern void output_shared_constant_pool (void); | |
| 285 | |
| 286 extern void output_object_blocks (void); | |
| 287 | |
| 288 /* Whether a constructor CTOR is a valid static constant initializer if all | |
| 289 its elements are. This used to be internal to initializer_constant_valid_p | |
| 290 and has been exposed to let other functions like categorize_ctor_elements | |
| 291 evaluate the property while walking a constructor for other purposes. */ | |
| 292 | |
| 293 extern bool constructor_static_from_elts_p (const_tree); | |
| 294 | |
| 295 /* Return nonzero if VALUE is a valid constant-valued expression | |
| 296 for use in initializing a static variable; one that can be an | |
| 297 element of a "constant" initializer. | |
| 298 | |
| 299 Return null_pointer_node if the value is absolute; | |
| 300 if it is relocatable, return the variable that determines the relocation. | |
| 301 We assume that VALUE has been folded as much as possible; | |
| 302 therefore, we do not need to check for such things as | |
| 303 arithmetic-combinations of integers. */ | |
| 304 extern tree initializer_constant_valid_p (tree, tree); | |
| 305 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
306 /* Return true if VALUE is a valid constant-valued expression |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
307 for use in initializing a static bit-field; one that can be |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
308 an element of a "constant" initializer. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
309 extern bool initializer_constant_valid_for_bitfield_p (tree); |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
310 |
| 0 | 311 /* Output assembler code for constant EXP to FILE, with no label. |
| 312 This includes the pseudo-op such as ".int" or ".byte", and a newline. | |
| 313 Assumes output_addressed_constants has been done on EXP already. | |
| 314 | |
| 315 Generate exactly SIZE bytes of assembler data, padding at the end | |
| 316 with zeros if necessary. SIZE must always be specified. | |
| 317 | |
| 318 ALIGN is the alignment in bits that may be assumed for the data. */ | |
| 319 extern void output_constant (tree, unsigned HOST_WIDE_INT, unsigned int); | |
| 320 | |
| 321 /* When outputting delayed branch sequences, this rtx holds the | |
| 322 sequence being output. It is null when no delayed branch | |
| 323 sequence is being output, so it can be used as a test in the | |
| 324 insn output code. | |
| 325 | |
| 326 This variable is defined in final.c. */ | |
| 327 extern rtx final_sequence; | |
| 328 | |
| 329 /* The line number of the beginning of the current function. Various | |
| 330 md code needs this so that it can output relative linenumbers. */ | |
| 331 | |
| 332 #ifdef SDB_DEBUGGING_INFO /* Avoid undef sym in certain broken linkers. */ | |
| 333 extern int sdb_begin_function_line; | |
| 334 #endif | |
| 335 | |
| 336 /* File in which assembler code is being written. */ | |
| 337 | |
| 338 #ifdef BUFSIZ | |
| 339 extern FILE *asm_out_file; | |
| 340 #endif | |
| 341 | |
| 342 /* The first global object in the file. */ | |
| 343 extern const char *first_global_object_name; | |
| 344 | |
| 345 /* The first weak object in the file. */ | |
| 346 extern const char *weak_global_object_name; | |
| 347 | |
| 348 /* Nonzero if function being compiled doesn't contain any calls | |
| 349 (ignoring the prologue and epilogue). This is set prior to | |
| 350 local register allocation and is valid for the remaining | |
| 351 compiler passes. */ | |
| 352 | |
| 353 extern int current_function_is_leaf; | |
| 354 | |
| 355 /* Nonzero if function being compiled doesn't modify the stack pointer | |
| 356 (ignoring the prologue and epilogue). This is only valid after | |
| 357 pass_stack_ptr_mod has run. */ | |
| 358 | |
| 359 extern int current_function_sp_is_unchanging; | |
| 360 | |
| 361 /* Nonzero if the function being compiled is a leaf function which only | |
| 362 uses leaf registers. This is valid after reload (specifically after | |
| 363 sched2) and is useful only if the port defines LEAF_REGISTERS. */ | |
| 364 | |
| 365 extern int current_function_uses_only_leaf_regs; | |
| 366 | |
| 367 /* Default file in which to dump debug output. */ | |
| 368 | |
| 369 #ifdef BUFSIZ | |
| 370 extern FILE *dump_file; | |
| 371 #endif | |
| 372 | |
| 373 /* Nonnull if the insn currently being emitted was a COND_EXEC pattern. */ | |
| 374 extern rtx current_insn_predicate; | |
| 375 | |
| 376 /* Last insn processed by final_scan_insn. */ | |
| 377 extern rtx current_output_insn; | |
| 378 | |
| 379 /* Nonzero while outputting an `asm' with operands. | |
| 380 This means that inconsistencies are the user's fault, so don't die. | |
| 381 The precise value is the insn being output, to pass to error_for_asm. */ | |
| 382 extern rtx this_is_asm_operands; | |
| 383 | |
| 384 /* Carry information from ASM_DECLARE_OBJECT_NAME | |
| 385 to ASM_FINISH_DECLARE_OBJECT. */ | |
| 386 extern int size_directive_output; | |
| 387 extern tree last_assemble_variable_decl; | |
| 388 | |
| 389 extern bool first_function_block_is_cold; | |
| 390 | |
| 391 /* Decide whether DECL needs to be in a writable section. | |
| 392 RELOC is the same as for SELECT_SECTION. */ | |
| 393 extern bool decl_readonly_section (const_tree, int); | |
| 394 | |
| 395 /* This can be used to compute RELOC for the function above, when | |
| 396 given a constant expression. */ | |
| 397 extern int compute_reloc_for_constant (tree); | |
| 398 | |
| 399 /* User label prefix in effect for this compilation. */ | |
| 400 extern const char *user_label_prefix; | |
| 401 | |
| 402 /* Default target function prologue and epilogue assembler output. */ | |
| 403 extern void default_function_pro_epilogue (FILE *, HOST_WIDE_INT); | |
| 404 | |
| 405 /* Default target hook that outputs nothing to a stream. */ | |
| 406 extern void no_asm_to_stream (FILE *); | |
| 407 | |
| 408 /* Flags controlling properties of a section. */ | |
| 409 #define SECTION_ENTSIZE 0x000ff /* entity size in section */ | |
| 410 #define SECTION_CODE 0x00100 /* contains code */ | |
| 411 #define SECTION_WRITE 0x00200 /* data is writable */ | |
| 412 #define SECTION_DEBUG 0x00400 /* contains debug data */ | |
| 413 #define SECTION_LINKONCE 0x00800 /* is linkonce */ | |
| 414 #define SECTION_SMALL 0x01000 /* contains "small data" */ | |
| 415 #define SECTION_BSS 0x02000 /* contains zeros only */ | |
| 416 #define SECTION_FORGET 0x04000 /* forget that we've entered the section */ | |
| 417 #define SECTION_MERGE 0x08000 /* contains mergeable data */ | |
| 418 #define SECTION_STRINGS 0x10000 /* contains zero terminated strings without | |
| 419 embedded zeros */ | |
| 420 #define SECTION_OVERRIDE 0x20000 /* allow override of default flags */ | |
| 421 #define SECTION_TLS 0x40000 /* contains thread-local storage */ | |
| 422 #define SECTION_NOTYPE 0x80000 /* don't output @progbits */ | |
| 423 #define SECTION_DECLARED 0x100000 /* section has been used */ | |
| 424 #define SECTION_STYLE_MASK 0x600000 /* bits used for SECTION_STYLE */ | |
| 425 #define SECTION_COMMON 0x800000 /* contains common data */ | |
| 426 #define SECTION_MACH_DEP 0x1000000 /* subsequent bits reserved for target */ | |
| 427 | |
| 428 /* This SECTION_STYLE is used for unnamed sections that we can switch | |
| 429 to using a special assembler directive. */ | |
| 430 #define SECTION_UNNAMED 0x000000 | |
| 431 | |
| 432 /* This SECTION_STYLE is used for named sections that we can switch | |
| 433 to using a general section directive. */ | |
| 434 #define SECTION_NAMED 0x200000 | |
| 435 | |
| 436 /* This SECTION_STYLE is used for sections that we cannot switch to at | |
| 437 all. The choice of section is implied by the directive that we use | |
| 438 to declare the object. */ | |
| 439 #define SECTION_NOSWITCH 0x400000 | |
| 440 | |
| 441 /* A helper function for default_elf_select_section and | |
| 442 default_elf_unique_section. Categorizes the DECL. */ | |
| 443 | |
| 444 enum section_category | |
| 445 { | |
| 446 SECCAT_TEXT, | |
| 447 | |
| 448 SECCAT_RODATA, | |
| 449 SECCAT_RODATA_MERGE_STR, | |
| 450 SECCAT_RODATA_MERGE_STR_INIT, | |
| 451 SECCAT_RODATA_MERGE_CONST, | |
| 452 SECCAT_SRODATA, | |
| 453 | |
| 454 SECCAT_DATA, | |
| 455 | |
| 456 /* To optimize loading of shared programs, define following subsections | |
| 457 of data section: | |
| 458 _REL Contains data that has relocations, so they get grouped | |
| 459 together and dynamic linker will visit fewer pages in memory. | |
| 460 _RO Contains data that is otherwise read-only. This is useful | |
| 461 with prelinking as most relocations won't be dynamically | |
| 462 linked and thus stay read only. | |
| 463 _LOCAL Marks data containing relocations only to local objects. | |
| 464 These relocations will get fully resolved by prelinking. */ | |
| 465 SECCAT_DATA_REL, | |
| 466 SECCAT_DATA_REL_LOCAL, | |
| 467 SECCAT_DATA_REL_RO, | |
| 468 SECCAT_DATA_REL_RO_LOCAL, | |
| 469 | |
| 470 SECCAT_SDATA, | |
| 471 SECCAT_TDATA, | |
| 472 | |
| 473 SECCAT_BSS, | |
| 474 SECCAT_SBSS, | |
| 475 SECCAT_TBSS, | |
| 476 | |
| 477 SECCAT_EMUTLS_VAR, | |
| 478 SECCAT_EMUTLS_TMPL | |
| 479 }; | |
| 480 | |
| 481 /* Information that is provided by all instances of the section type. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
482 struct GTY(()) section_common { |
| 0 | 483 /* The set of SECTION_* flags that apply to this section. */ |
| 484 unsigned int flags; | |
| 485 }; | |
| 486 | |
| 487 /* Information about a SECTION_NAMED section. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
488 struct GTY(()) named_section { |
| 0 | 489 struct section_common common; |
| 490 | |
| 491 /* The name of the section. */ | |
| 492 const char *name; | |
| 493 | |
| 494 /* If nonnull, the VAR_DECL or FUNCTION_DECL with which the | |
| 495 section is associated. */ | |
| 496 tree decl; | |
| 497 }; | |
| 498 | |
| 499 /* A callback that writes the assembly code for switching to an unnamed | |
| 500 section. The argument provides callback-specific data. */ | |
| 501 typedef void (*unnamed_section_callback) (const void *); | |
| 502 | |
| 503 /* Information about a SECTION_UNNAMED section. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
504 struct GTY(()) unnamed_section { |
| 0 | 505 struct section_common common; |
| 506 | |
| 507 /* The callback used to switch to the section, and the data that | |
| 508 should be passed to the callback. */ | |
| 509 unnamed_section_callback GTY ((skip)) callback; | |
| 510 const void *GTY ((skip)) data; | |
| 511 | |
| 512 /* The next entry in the chain of unnamed sections. */ | |
| 513 section *next; | |
| 514 }; | |
| 515 | |
| 516 /* A callback that writes the assembly code for a decl in a | |
| 517 SECTION_NOSWITCH section. DECL is the decl that should be assembled | |
| 518 and NAME is the name of its SYMBOL_REF. SIZE is the size of the decl | |
| 519 in bytes and ROUNDED is that size rounded up to the next | |
| 520 BIGGEST_ALIGNMENT / BITS_PER_UNIT boundary. | |
| 521 | |
| 522 Return true if the callback used DECL_ALIGN to set the object's | |
| 523 alignment. A false return value implies that we are relying | |
| 524 on the rounded size to align the decl. */ | |
| 525 typedef bool (*noswitch_section_callback) (tree decl, const char *name, | |
| 526 unsigned HOST_WIDE_INT size, | |
| 527 unsigned HOST_WIDE_INT rounded); | |
| 528 | |
| 529 /* Information about a SECTION_NOSWITCH section. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
530 struct GTY(()) noswitch_section { |
| 0 | 531 struct section_common common; |
| 532 | |
| 533 /* The callback used to assemble decls in this section. */ | |
| 534 noswitch_section_callback GTY ((skip)) callback; | |
| 535 }; | |
| 536 | |
| 537 /* Information about a section, which may be named or unnamed. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
538 union GTY ((desc ("SECTION_STYLE (&(%h))"))) section { |
| 0 | 539 struct section_common GTY ((skip)) common; |
| 540 struct named_section GTY ((tag ("SECTION_NAMED"))) named; | |
| 541 struct unnamed_section GTY ((tag ("SECTION_UNNAMED"))) unnamed; | |
| 542 struct noswitch_section GTY ((tag ("SECTION_NOSWITCH"))) noswitch; | |
| 543 }; | |
| 544 | |
| 545 /* Return the style of section SECT. */ | |
| 546 #define SECTION_STYLE(SECT) ((SECT)->common.flags & SECTION_STYLE_MASK) | |
| 547 | |
| 548 struct object_block; | |
| 549 | |
| 550 /* Special well-known sections. */ | |
| 551 extern GTY(()) section *text_section; | |
| 552 extern GTY(()) section *data_section; | |
| 553 extern GTY(()) section *readonly_data_section; | |
| 554 extern GTY(()) section *sdata_section; | |
| 555 extern GTY(()) section *ctors_section; | |
| 556 extern GTY(()) section *dtors_section; | |
| 557 extern GTY(()) section *bss_section; | |
| 558 extern GTY(()) section *sbss_section; | |
| 559 extern GTY(()) section *exception_section; | |
| 560 extern GTY(()) section *eh_frame_section; | |
| 561 extern GTY(()) section *tls_comm_section; | |
| 562 extern GTY(()) section *comm_section; | |
| 563 extern GTY(()) section *lcomm_section; | |
| 564 extern GTY(()) section *bss_noswitch_section; | |
| 565 | |
| 566 extern GTY(()) section *in_section; | |
| 567 extern GTY(()) bool in_cold_section_p; | |
| 568 | |
| 569 extern section *get_unnamed_section (unsigned int, void (*) (const void *), | |
| 570 const void *); | |
| 571 extern section *get_section (const char *, unsigned int, tree); | |
| 572 extern section *get_named_section (tree, const char *, int); | |
| 573 extern void place_block_symbol (rtx); | |
| 574 extern rtx get_section_anchor (struct object_block *, HOST_WIDE_INT, | |
| 575 enum tls_model); | |
| 576 extern section *mergeable_constant_section (enum machine_mode, | |
| 577 unsigned HOST_WIDE_INT, | |
| 578 unsigned int); | |
| 579 extern section *function_section (tree); | |
| 580 extern section *unlikely_text_section (void); | |
| 581 extern section *current_function_section (void); | |
| 582 | |
| 583 /* Return the numbered .ctors.N (if CONSTRUCTOR_P) or .dtors.N (if | |
| 584 not) section for PRIORITY. */ | |
| 585 extern section *get_cdtor_priority_section (int, bool); | |
| 586 | |
| 587 extern bool unlikely_text_section_p (section *); | |
| 588 extern void switch_to_section (section *); | |
| 589 extern void output_section_asm_op (const void *); | |
| 590 | |
| 591 extern unsigned int default_section_type_flags (tree, const char *, int); | |
| 592 | |
| 593 extern bool have_global_bss_p (void); | |
| 594 extern void default_no_named_section (const char *, unsigned int, tree); | |
| 595 extern void default_elf_asm_named_section (const char *, unsigned int, tree); | |
| 596 extern enum section_category categorize_decl_for_section (const_tree, int); | |
| 597 extern void default_coff_asm_named_section (const char *, unsigned int, tree); | |
| 598 extern void default_pe_asm_named_section (const char *, unsigned int, tree); | |
| 599 | |
| 600 extern void default_stabs_asm_out_destructor (rtx, int); | |
| 601 extern void default_named_section_asm_out_destructor (rtx, int); | |
| 602 extern void default_dtor_section_asm_out_destructor (rtx, int); | |
| 603 extern void default_stabs_asm_out_constructor (rtx, int); | |
| 604 extern void default_named_section_asm_out_constructor (rtx, int); | |
| 605 extern void default_ctor_section_asm_out_constructor (rtx, int); | |
| 606 | |
| 607 extern section *default_select_section (tree, int, unsigned HOST_WIDE_INT); | |
| 608 extern section *default_elf_select_section (tree, int, unsigned HOST_WIDE_INT); | |
| 609 extern void default_unique_section (tree, int); | |
| 610 extern section *default_function_rodata_section (tree); | |
| 611 extern section *default_no_function_rodata_section (tree); | |
| 612 extern section *default_select_rtx_section (enum machine_mode, rtx, | |
| 613 unsigned HOST_WIDE_INT); | |
| 614 extern section *default_elf_select_rtx_section (enum machine_mode, rtx, | |
| 615 unsigned HOST_WIDE_INT); | |
| 616 extern void default_encode_section_info (tree, rtx, int); | |
| 617 extern const char *default_strip_name_encoding (const char *); | |
| 618 extern void default_asm_output_anchor (rtx); | |
| 619 extern bool default_use_anchors_for_symbol_p (const_rtx); | |
| 620 extern bool default_binds_local_p (const_tree); | |
| 621 extern bool default_binds_local_p_1 (const_tree, int); | |
| 622 extern void default_globalize_label (FILE *, const char *); | |
| 623 extern void default_globalize_decl_name (FILE *, tree); | |
| 624 extern void default_emit_unwind_label (FILE *, tree, int, int); | |
| 625 extern void default_emit_except_table_label (FILE *); | |
| 626 extern void default_internal_label (FILE *, const char *, unsigned long); | |
| 627 extern void default_file_start (void); | |
| 628 extern void file_end_indicate_exec_stack (void); | |
| 629 | |
| 630 extern void default_elf_asm_output_external (FILE *file, tree, | |
| 631 const char *); | |
| 632 extern int maybe_assemble_visibility (tree); | |
| 633 | |
| 634 extern int default_address_cost (rtx, bool); | |
| 635 | |
| 636 /* dbxout helper functions */ | |
| 637 #if defined DBX_DEBUGGING_INFO || defined XCOFF_DEBUGGING_INFO | |
| 638 | |
| 639 extern void dbxout_int (int); | |
| 640 extern void dbxout_stabd (int, int); | |
| 641 extern void dbxout_begin_stabn (int); | |
| 642 extern void dbxout_begin_stabn_sline (int); | |
| 643 extern void dbxout_begin_empty_stabs (int); | |
| 644 extern void dbxout_begin_simple_stabs (const char *, int); | |
| 645 extern void dbxout_begin_simple_stabs_desc (const char *, int, int); | |
| 646 | |
| 647 extern void dbxout_stab_value_zero (void); | |
| 648 extern void dbxout_stab_value_label (const char *); | |
| 649 extern void dbxout_stab_value_label_diff (const char *, const char *); | |
| 650 extern void dbxout_stab_value_internal_label (const char *, int *); | |
| 651 extern void dbxout_stab_value_internal_label_diff (const char *, int *, | |
| 652 const char *); | |
| 653 | |
| 654 #endif | |
| 655 | |
| 656 #endif /* ! GCC_OUTPUT_H */ |