OSDN Git Service

2002-04-28 Franz Sirl <Franz.Sirl-kernel@lauterbach.com>
[pf3gnuchains/gcc-fork.git] / gcc / output.h
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,
4    1999, 2000, 2001, 2002 Free Software Foundation, Inc.
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 2, 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 COPYING.  If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
21 02111-1307, USA.  */
22
23 /* Compute branch alignments based on frequency information in the CFG.  */
24 extern void compute_alignments  PARAMS ((void));
25
26 /* Initialize data in final at the beginning of a compilation.  */
27 extern void init_final          PARAMS ((const char *));
28
29 /* Called at end of source file,
30    to output the block-profiling table for this entire compilation.  */
31 extern void end_final           PARAMS ((const char *));
32
33 /* Enable APP processing of subsequent output.
34    Used before the output from an `asm' statement.  */
35 extern void app_enable          PARAMS ((void));
36
37 /* Disable APP processing of subsequent output.
38    Called from varasm.c before most kinds of output.  */
39 extern void app_disable         PARAMS ((void));
40
41 /* Return the number of slots filled in the current
42    delayed branch sequence (we don't count the insn needing the
43    delay slot).   Zero if not in a delayed branch sequence.  */
44 extern int dbr_sequence_length  PARAMS ((void));
45
46 /* Indicate that branch shortening hasn't yet been done.  */
47 extern void init_insn_lengths   PARAMS ((void));
48
49 #ifdef RTX_CODE
50 /* Obtain the current length of an insn.  If branch shortening has been done,
51    get its actual length.  Otherwise, get its maximum length.  */
52 extern int get_attr_length      PARAMS ((rtx));
53
54 /* Make a pass over all insns and compute their actual lengths by shortening
55    any branches of variable length if possible.  */
56 extern void shorten_branches    PARAMS ((rtx));
57
58 /* Output assembler code for the start of a function,
59    and initialize some of the variables in this file
60    for the new function.  The label for the function and associated
61    assembler pseudo-ops have already been output in
62    `assemble_start_function'.  */
63 extern void final_start_function  PARAMS ((rtx, FILE *, int));
64
65 /* Output assembler code for the end of a function.
66    For clarity, args are same as those of `final_start_function'
67    even though not all of them are needed.  */
68 extern void final_end_function  PARAMS ((void));
69
70 /* Output assembler code for some insns: all or part of a function.  */
71 extern void final               PARAMS ((rtx, FILE *, int, int));
72
73 /* The final scan for one insn, INSN.  Args are same as in `final', except
74    that INSN is the insn being scanned.  Value returned is the next insn to
75    be scanned.  */
76 extern rtx final_scan_insn      PARAMS ((rtx, FILE *, int, int, int));
77
78 /* Replace a SUBREG with a REG or a MEM, based on the thing it is a
79    subreg of.  */
80 extern rtx alter_subreg PARAMS ((rtx *));
81
82 /* Report inconsistency between the assembler template and the operands.
83    In an `asm', it's the user's fault; otherwise, the compiler's fault.  */
84 extern void output_operand_lossage  PARAMS ((const char *, ...)) ATTRIBUTE_PRINTF_1;
85
86 /* Output a string of assembler code, substituting insn operands.
87    Defined in final.c.  */
88 extern void output_asm_insn     PARAMS ((const char *, rtx *));
89
90 /* Compute a worst-case reference address of a branch so that it
91    can be safely used in the presence of aligned labels.
92    Defined in final.c.  */
93 extern int insn_current_reference_address       PARAMS ((rtx));
94
95 /* Find the alignment associated with a CODE_LABEL.
96    Defined in final.c.  */
97 extern int label_to_alignment   PARAMS ((rtx));
98
99 /* Output a LABEL_REF, or a bare CODE_LABEL, as an assembler symbol.  */
100 extern void output_asm_label    PARAMS ((rtx));
101
102 /* Print a memory reference operand for address X
103    using machine-dependent assembler syntax.  */
104 extern void output_address      PARAMS ((rtx));
105
106 /* Print an integer constant expression in assembler syntax.
107    Addition and subtraction are the only arithmetic
108    that may appear in these expressions.  */
109 extern void output_addr_const PARAMS ((FILE *, rtx));
110
111 /* Output a string of assembler code, substituting numbers, strings
112    and fixed syntactic prefixes.  */
113 extern void asm_fprintf         PARAMS ((FILE *file, const char *p, ...));
114
115 /* Split up a CONST_DOUBLE or integer constant rtx into two rtx's for single
116    words.  */
117 extern void split_double        PARAMS ((rtx, rtx *, rtx *));
118
119 /* Return nonzero if this function has no function calls.  */
120 extern int leaf_function_p      PARAMS ((void));
121
122 /* Return 1 if branch is an forward branch.
123    Uses insn_shuid array, so it works only in the final pass.  May be used by
124    output templates to add branch prediction hints, for example.  */
125 extern int final_forward_branch_p PARAMS ((rtx));
126
127 /* Return 1 if this function uses only the registers that can be
128    safely renumbered.  */
129 extern int only_leaf_regs_used  PARAMS ((void));
130
131 /* Scan IN_RTX and its subexpressions, and renumber all regs into those
132    available in leaf functions.  */
133 extern void leaf_renumber_regs_insn PARAMS ((rtx));
134
135 /* Locate the proper template for the given insn-code.  */
136 extern const char *get_insn_template PARAMS ((int, rtx));
137
138 /* Add function NAME to the weak symbols list.  VALUE is a weak alias
139    associated with NAME.  */
140 extern int add_weak PARAMS ((tree, const char *, const char *));
141
142 /* Functions in flow.c */
143 extern void allocate_for_life_analysis  PARAMS ((void));
144 extern int regno_uninitialized          PARAMS ((unsigned int));
145 extern int regno_clobbered_at_setjmp    PARAMS ((int));
146 extern void find_basic_blocks           PARAMS ((rtx, int, FILE *));
147 extern bool cleanup_cfg                 PARAMS ((int));
148 extern void check_function_return_warnings PARAMS ((void));
149 #endif
150
151 /* Functions in varasm.c.  */
152
153 /* Tell assembler to switch to text section.  */
154 extern void text_section                PARAMS ((void));
155
156 /* Tell assembler to switch to data section.  */
157 extern void data_section                PARAMS ((void));
158
159 /* Tell assembler to make sure its in the data section.  */
160 extern void force_data_section          PARAMS ((void));
161
162 /* Tell assembler to switch to read-only data section.  This is normally
163    the text section.  */
164 extern void readonly_data_section       PARAMS ((void));
165
166 /* Determine if we're in the text section.  */
167 extern int in_text_section              PARAMS ((void));
168
169 #ifdef CTORS_SECTION_ASM_OP
170 extern void ctors_section PARAMS ((void));
171 #endif
172
173 #ifdef DTORS_SECTION_ASM_OP
174 extern void dtors_section PARAMS ((void));
175 #endif
176
177 #ifdef BSS_SECTION_ASM_OP
178 extern void bss_section PARAMS ((void));
179 #endif
180
181 #ifdef CONST_SECTION_ASM_OP
182 extern void const_section PARAMS ((void));
183 #endif
184
185 #ifdef INIT_SECTION_ASM_OP
186 extern void init_section PARAMS ((void));
187 #endif
188
189 #ifdef FINI_SECTION_ASM_OP
190 extern void fini_section PARAMS ((void));
191 #endif
192
193 #ifdef EXPORTS_SECTION_ASM_OP
194 extern void exports_section PARAMS ((void));
195 #endif
196
197 #ifdef TDESC_SECTION_ASM_OP
198 extern void tdesc_section PARAMS ((void));
199 #endif
200
201 #ifdef DRECTVE_SECTION_ASM_OP
202 extern void drectve_section PARAMS ((void));
203 #endif
204
205 #ifdef SDATA_SECTION_ASM_OP
206 extern void sdata_section PARAMS ((void));
207 #endif
208
209 #ifdef RDATA_SECTION_ASM_OP
210 extern void rdata_section PARAMS ((void));
211 #endif
212
213 #ifdef TREE_CODE
214 /* Tell assembler to change to section NAME for DECL.
215    If DECL is NULL, just switch to section NAME.
216    If NAME is NULL, get the name from DECL.
217    If RELOC is 1, the initializer for DECL contains relocs.  */
218 extern void named_section               PARAMS ((tree, const char *, int));
219
220 /* Tell assembler to switch to the section for function DECL.  */
221 extern void function_section            PARAMS ((tree));
222
223 /* Tell assembler to switch to the section for string merging.  */
224 extern void mergeable_string_section    PARAMS ((tree, unsigned HOST_WIDE_INT,
225                                                  unsigned int));
226
227 /* Tell assembler to switch to the section for constant merging.  */
228 extern void mergeable_constant_section  PARAMS ((enum machine_mode,
229                                                  unsigned HOST_WIDE_INT,
230                                                  unsigned int));
231
232 /* Declare DECL to be a weak symbol.  */
233 extern void declare_weak                PARAMS ((tree));
234 /* Merge weak status.  */
235 extern void merge_weak                  PARAMS ((tree, tree));
236 #endif /* TREE_CODE */
237
238 /* Emit any pending weak declarations.  */
239 extern void weak_finish                 PARAMS ((void));
240
241 /* Decode an `asm' spec for a declaration as a register name.
242    Return the register number, or -1 if nothing specified,
243    or -2 if the ASMSPEC is not `cc' or `memory' and is not recognized,
244    or -3 if ASMSPEC is `cc' and is not recognized,
245    or -4 if ASMSPEC is `memory' and is not recognized.
246    Accept an exact spelling or a decimal number.
247    Prefixes such as % are optional.  */
248 extern int decode_reg_name              PARAMS ((const char *));
249
250 #ifdef TREE_CODE
251 /* Make the rtl for variable VAR be volatile.
252    Use this only for static variables.  */
253 extern void make_var_volatile           PARAMS ((tree));
254
255 /* Output alignment directive to align for constant expression EXP.  */
256 extern void assemble_constant_align     PARAMS ((tree));
257
258 extern void assemble_alias              PARAMS ((tree, tree));
259
260 extern void assemble_visibility         PARAMS ((tree, const char *));
261
262 /* Output a string of literal assembler code
263    for an `asm' keyword used between functions.  */
264 extern void assemble_asm                PARAMS ((tree));
265
266 /* Output assembler code for the constant pool of a function and associated
267    with defining the name of the function.  DECL describes the function.
268    NAME is the function's name.  For the constant pool, we use the current
269    constant pool data.  */
270 extern void assemble_start_function     PARAMS ((tree, const char *));
271
272 /* Output assembler code associated with defining the size of the
273    function.  DECL describes the function.  NAME is the function's name.  */
274 extern void assemble_end_function       PARAMS ((tree, const char *));
275
276 /* Assemble everything that is needed for a variable or function declaration.
277    Not used for automatic variables, and not used for function definitions.
278    Should not be called for variables of incomplete structure type.
279
280    TOP_LEVEL is nonzero if this variable has file scope.
281    AT_END is nonzero if this is the special handling, at end of compilation,
282    to define things that have had only tentative definitions.
283    DONT_OUTPUT_DATA if nonzero means don't actually output the
284    initial value (that will be done by the caller).  */
285 extern void assemble_variable           PARAMS ((tree, int, int, int));
286
287 /* Output something to declare an external symbol to the assembler.
288    (Most assemblers don't need this, so we normally output nothing.)
289    Do nothing if DECL is not external.  */
290 extern void assemble_external           PARAMS ((tree));
291 #endif /* TREE_CODE */
292
293 /* Assemble code to leave SIZE bytes of zeros.  */
294 extern void assemble_zeros              PARAMS ((int));
295
296 /* Assemble an alignment pseudo op for an ALIGN-bit boundary.  */
297 extern void assemble_align              PARAMS ((int));
298 extern void assemble_eh_align           PARAMS ((int));
299
300 /* Assemble a string constant with the specified C string as contents.  */
301 extern void assemble_string             PARAMS ((const char *, int));
302
303 #ifdef RTX_CODE
304 /* Similar, for calling a library function FUN.  */
305 extern void assemble_external_libcall   PARAMS ((rtx));
306 #endif
307
308 /* Declare the label NAME global.  */
309 extern void assemble_global             PARAMS ((const char *));
310
311 /* Assemble a label named NAME.  */
312 extern void assemble_label              PARAMS ((const char *));
313 extern void assemble_eh_label           PARAMS ((const char *));
314
315 /* Output to FILE a reference to the assembler name of a C-level name NAME.
316    If NAME starts with a *, the rest of NAME is output verbatim.
317    Otherwise NAME is transformed in an implementation-defined way
318    (usually by the addition of an underscore).
319    Many macros in the tm file are defined to call this function.  */
320 extern void assemble_name               PARAMS ((FILE *, const char *));
321
322 /* Return the assembler directive for creating a given kind of integer
323    object.  SIZE is the number of bytes in the object and ALIGNED_P
324    indicates whether it is known to be aligned.  Return NULL if the
325    assembly dialect has no such directive.
326
327    The returned string should be printed at the start of a new line and
328    be followed immediately by the object's initial value.  */
329 extern const char *integer_asm_op       PARAMS ((int, int));
330
331 #ifdef RTX_CODE
332 /* Use directive OP to assemble an integer object X.  Print OP at the
333    start of the line, followed immediately by the value of X.  */
334 extern void assemble_integer_with_op    PARAMS ((const char *, rtx));
335
336 /* The default implementation of the asm_out.integer target hook.  */
337 extern bool default_assemble_integer    PARAMS ((rtx, unsigned int, int));
338
339 /* Assemble the integer constant X into an object of SIZE bytes.  ALIGN is
340    the alignment of the integer in bits.  Return 1 if we were able to output
341    the constant, otherwise 0.  If FORCE is non-zero, abort if we can't output
342    the constant.  */
343 extern bool assemble_integer            PARAMS ((rtx, unsigned, unsigned, int));
344
345 /* An interface to assemble_integer for the common case in which a value is
346    fully aligned and must be printed.  VALUE is the value of the integer
347    object and SIZE is the number of bytes it contains.  */
348 #define assemble_aligned_integer(SIZE, VALUE) \
349   assemble_integer (VALUE, SIZE, (SIZE) * BITS_PER_UNIT, 1)
350
351 #ifdef REAL_VALUE_TYPE
352 /* Assemble the floating-point constant D into an object of size MODE.  */
353 extern void assemble_real               PARAMS ((REAL_VALUE_TYPE,
354                                                  enum machine_mode,
355                                                  unsigned));
356 #endif
357 #endif
358
359 /* At the end of a function, forget the memory-constants
360    previously made for CONST_DOUBLEs.  Mark them as not on real_constant_chain.
361    Also clear out real_constant_chain and clear out all the chain-pointers.  */
362 extern void clear_const_double_mem      PARAMS ((void));
363
364 /* Start deferring output of subconstants.  */
365 extern void defer_addressed_constants   PARAMS ((void));
366
367 /* Stop deferring output of subconstants,
368    and output now all those that have been deferred.  */
369 extern void output_deferred_addressed_constants PARAMS ((void));
370
371 /* Return the size of the constant pool.  */
372 extern int get_pool_size                PARAMS ((void));
373
374 #ifdef HAVE_peephole
375 extern rtx peephole                     PARAMS ((rtx));
376 #endif
377
378 #ifdef TREE_CODE
379 /* Write all the constants in the constant pool.  */
380 extern void output_constant_pool        PARAMS ((const char *, tree));
381
382 /* Return nonzero if VALUE is a valid constant-valued expression
383    for use in initializing a static variable; one that can be an
384    element of a "constant" initializer.
385
386    Return null_pointer_node if the value is absolute;
387    if it is relocatable, return the variable that determines the relocation.
388    We assume that VALUE has been folded as much as possible;
389    therefore, we do not need to check for such things as
390    arithmetic-combinations of integers.  */
391 extern tree initializer_constant_valid_p        PARAMS ((tree, tree));
392
393 /* Output assembler code for constant EXP to FILE, with no label.
394    This includes the pseudo-op such as ".int" or ".byte", and a newline.
395    Assumes output_addressed_constants has been done on EXP already.
396
397    Generate exactly SIZE bytes of assembler data, padding at the end
398    with zeros if necessary.  SIZE must always be specified.
399
400    ALIGN is the alignment in bits that may be assumed for the data.  */
401 extern void output_constant             PARAMS ((tree, HOST_WIDE_INT,
402                                                  unsigned int));
403 #endif
404
405 #ifdef RTX_CODE
406 /* When outputting delayed branch sequences, this rtx holds the
407    sequence being output.  It is null when no delayed branch
408    sequence is being output, so it can be used as a test in the
409    insn output code.
410
411    This variable is defined  in final.c.  */
412 extern rtx final_sequence;
413 #endif
414
415 /* The line number of the beginning of the current function.  Various
416    md code needs this so that it can output relative linenumbers.  */
417
418 #ifdef SDB_DEBUGGING_INFO /* Avoid undef sym in certain broken linkers.  */
419 extern int sdb_begin_function_line;
420 #endif
421
422 /* File in which assembler code is being written.  */
423
424 #ifdef BUFSIZ
425 extern FILE *asm_out_file;
426 #endif
427
428 /* The first global object in the file.  */
429 extern const char *first_global_object_name;
430
431 /* The first weak object in the file.  */
432 extern const char *weak_global_object_name;
433
434 /* Nonzero if function being compiled doesn't contain any calls
435    (ignoring the prologue and epilogue).  This is set prior to
436    local register allocation and is valid for the remaining
437    compiler passes.  */
438
439 extern int current_function_is_leaf;
440
441 /* Nonzero if function being compiled doesn't contain any instructions
442    that can throw an exception.  This is set prior to final.  */
443
444 extern int current_function_nothrow;
445
446 /* Nonzero if function being compiled doesn't modify the stack pointer
447    (ignoring the prologue and epilogue).  This is only valid after
448    life_analysis has run.  */
449
450 extern int current_function_sp_is_unchanging;
451
452 /* Nonzero if the function being compiled is a leaf function which only
453    uses leaf registers.  This is valid after reload (specifically after
454    sched2) and is useful only if the port defines LEAF_REGISTERS.  */
455
456 extern int current_function_uses_only_leaf_regs;
457
458 /* Default file in which to dump debug output.  */
459
460 #ifdef BUFSIZ
461 extern FILE *rtl_dump_file;
462 #endif
463
464 /* Nonnull if the insn currently being emitted was a COND_EXEC pattern.  */
465 extern struct rtx_def *current_insn_predicate;
466
467 /* Last insn processed by final_scan_insn.  */
468 extern struct rtx_def *current_output_insn;
469
470 /* Nonzero while outputting an `asm' with operands.
471    This means that inconsistencies are the user's fault, so don't abort.
472    The precise value is the insn being output, to pass to error_for_asm.  */
473 extern rtx this_is_asm_operands;
474
475 /* Decide whether DECL needs to be in a writable section.  RELOC is the same
476    as for SELECT_SECTION.  */
477
478 #define DECL_READONLY_SECTION(DECL,RELOC)               \
479   (TREE_READONLY (DECL)                                 \
480    && ! TREE_THIS_VOLATILE (DECL)                       \
481    && DECL_INITIAL (DECL)                               \
482    && (DECL_INITIAL (DECL) == error_mark_node           \
483        || TREE_CONSTANT (DECL_INITIAL (DECL)))          \
484    && ! (RELOC && (flag_pic || DECL_ONE_ONLY (DECL))))
485
486 /* User label prefix in effect for this compilation.  */
487 extern const char *user_label_prefix;
488
489 /* This macro gets just the user-specified name
490    out of the string in a SYMBOL_REF.  On most machines,
491    we discard the * if any and that's all.  */
492 #ifndef STRIP_NAME_ENCODING
493 #define STRIP_NAME_ENCODING(VAR,SYMBOL_NAME) \
494   (VAR) = ((SYMBOL_NAME) + ((SYMBOL_NAME)[0] == '*'))
495 #endif
496
497 /* Default target function prologue and epilogue assembler output.  */
498 extern void default_function_pro_epilogue PARAMS ((FILE *, HOST_WIDE_INT));
499
500 /* Tell assembler to switch to the section for the exception table.  */
501 extern void default_exception_section   PARAMS ((void));
502
503 /* Tell assembler to switch to the section for the EH frames.  */
504 extern void default_eh_frame_section    PARAMS ((void));
505
506 /* Default target hook that outputs nothing to a stream.  */
507 extern void no_asm_to_stream PARAMS ((FILE *));
508
509 /* Flags controling properties of a section.  */
510 #define SECTION_ENTSIZE  0x000ff        /* entity size in section */
511 #define SECTION_CODE     0x00100        /* contains code */
512 #define SECTION_WRITE    0x00200        /* data is writable */
513 #define SECTION_DEBUG    0x00400        /* contains debug data */
514 #define SECTION_LINKONCE 0x00800        /* is linkonce */
515 #define SECTION_SMALL    0x01000        /* contains "small data" */
516 #define SECTION_BSS      0x02000        /* contains zeros only */
517 #define SECTION_FORGET   0x04000        /* forget that we've entered the section */
518 #define SECTION_MERGE    0x08000        /* contains mergeable data */
519 #define SECTION_STRINGS  0x10000        /* contains zero terminated strings without
520                                            embedded zeros */
521 #define SECTION_OVERRIDE 0x20000        /* allow override of default flags */
522 #define SECTION_MACH_DEP 0x40000        /* subsequent bits reserved for target */
523
524 extern unsigned int get_named_section_flags PARAMS ((const char *));
525 extern bool set_named_section_flags     PARAMS ((const char *, unsigned int));
526 extern void named_section_flags         PARAMS ((const char *, unsigned int));
527 extern bool named_section_first_declaration PARAMS((const char *));
528
529 union tree_node;
530 extern unsigned int default_section_type_flags PARAMS ((union tree_node *,
531                                                         const char *, int));
532
533 extern void default_no_named_section PARAMS ((const char *, unsigned int));
534 extern void default_elf_asm_named_section PARAMS ((const char *, unsigned int));
535 extern void default_coff_asm_named_section PARAMS ((const char *,
536                                                     unsigned int));
537 extern void default_pe_asm_named_section PARAMS ((const char *, unsigned int));
538
539 extern void default_stabs_asm_out_destructor PARAMS ((struct rtx_def *, int));
540 extern void default_named_section_asm_out_destructor PARAMS ((struct rtx_def *,
541                                                               int));
542 extern void default_dtor_section_asm_out_destructor PARAMS ((struct rtx_def *,
543                                                              int));
544 extern void default_stabs_asm_out_constructor PARAMS ((struct rtx_def *, int));
545 extern void default_named_section_asm_out_constructor PARAMS ((struct rtx_def *,
546                                                                int));
547 extern void default_ctor_section_asm_out_constructor PARAMS ((struct rtx_def *,
548                                                               int));
549
550 /* Emit data for vtable gc for GNU binutils.  */
551 extern void assemble_vtable_entry PARAMS ((struct rtx_def *, HOST_WIDE_INT));
552 extern void assemble_vtable_inherit PARAMS ((struct rtx_def *,
553                                              struct rtx_def *));