OSDN Git Service

* function.h (struct function): Remove x_function_call_count.
[pf3gnuchains/gcc-fork.git] / gcc / function.h
1 /* Structure for saving state for a nested function.
2    Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2003, 2004 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA.  */
21
22 #ifndef GCC_FUNCTION_H
23 #define GCC_FUNCTION_H
24
25 struct var_refs_queue GTY(())
26 {
27   rtx modified;
28   enum machine_mode promoted_mode;
29   int unsignedp;
30   struct var_refs_queue *next;
31 };
32
33 /* Stack of pending (incomplete) sequences saved by `start_sequence'.
34    Each element describes one pending sequence.
35    The main insn-chain is saved in the last element of the chain,
36    unless the chain is empty.  */
37
38 struct sequence_stack GTY(())
39 {
40   /* First and last insns in the chain of the saved sequence.  */
41   rtx first;
42   rtx last;
43   tree sequence_rtl_expr;
44   struct sequence_stack *next;
45 };
46
47 extern struct sequence_stack *sequence_stack;
48
49 /* Stack of single obstacks.  */
50
51 struct simple_obstack_stack
52 {
53   struct obstack *obstack;
54   struct simple_obstack_stack *next;
55 };
56 \f
57 struct emit_status GTY(())
58 {
59   /* This is reset to LAST_VIRTUAL_REGISTER + 1 at the start of each function.
60      After rtl generation, it is 1 plus the largest register number used.  */
61   int x_reg_rtx_no;
62
63   /* Lowest label number in current function.  */
64   int x_first_label_num;
65
66   /* The ends of the doubly-linked chain of rtl for the current function.
67      Both are reset to null at the start of rtl generation for the function.
68
69      start_sequence saves both of these on `sequence_stack' along with
70      `sequence_rtl_expr' and then starts a new, nested sequence of insns.  */
71   rtx x_first_insn;
72   rtx x_last_insn;
73
74   /* RTL_EXPR within which the current sequence will be placed.  Use to
75      prevent reuse of any temporaries within the sequence until after the
76      RTL_EXPR is emitted.  */
77   tree sequence_rtl_expr;
78
79   /* Stack of pending (incomplete) sequences saved by `start_sequence'.
80      Each element describes one pending sequence.
81      The main insn-chain is saved in the last element of the chain,
82      unless the chain is empty.  */
83   struct sequence_stack *sequence_stack;
84
85   /* INSN_UID for next insn emitted.
86      Reset to 1 for each function compiled.  */
87   int x_cur_insn_uid;
88
89   /* Location the last line-number NOTE emitted.
90      This is used to avoid generating duplicates.  */
91   location_t x_last_location;
92
93   /* The length of the regno_pointer_align, regno_decl, and x_regno_reg_rtx
94      vectors.  Since these vectors are needed during the expansion phase when
95      the total number of registers in the function is not yet known, the
96      vectors are copied and made bigger when necessary.  */
97   int regno_pointer_align_length;
98
99   /* Indexed by pseudo register number, if nonzero gives the known alignment
100      for that pseudo (if REG_POINTER is set in x_regno_reg_rtx).
101      Allocated in parallel with x_regno_reg_rtx.  */
102   unsigned char * GTY ((length ("%h.x_reg_rtx_no")))
103     regno_pointer_align;
104
105   /* Indexed by pseudo register number, gives the rtx for that pseudo.
106      Allocated in parallel with regno_pointer_align.
107
108      Note MEM expressions can appear in this array due to the actions
109      of put_var_into_stack.  */
110   rtx * GTY ((length ("%h.x_reg_rtx_no"))) x_regno_reg_rtx;
111 };
112
113 /* For backward compatibility... eventually these should all go away.  */
114 #define reg_rtx_no (cfun->emit->x_reg_rtx_no)
115 #define seq_rtl_expr (cfun->emit->sequence_rtl_expr)
116 #define regno_reg_rtx (cfun->emit->x_regno_reg_rtx)
117 #define seq_stack (cfun->emit->sequence_stack)
118
119 #define REGNO_POINTER_ALIGN(REGNO) (cfun->emit->regno_pointer_align[REGNO])
120
121 struct expr_status GTY(())
122 {
123   /* Number of units that we should eventually pop off the stack.
124      These are the arguments to function calls that have already returned.  */
125   int x_pending_stack_adjust;
126
127   /* Under some ABIs, it is the caller's responsibility to pop arguments
128      pushed for function calls.  A naive implementation would simply pop
129      the arguments immediately after each call.  However, if several
130      function calls are made in a row, it is typically cheaper to pop
131      all the arguments after all of the calls are complete since a
132      single pop instruction can be used.  Therefore, GCC attempts to
133      defer popping the arguments until absolutely necessary.  (For
134      example, at the end of a conditional, the arguments must be popped,
135      since code outside the conditional won't know whether or not the
136      arguments need to be popped.)
137
138      When INHIBIT_DEFER_POP is nonzero, however, the compiler does not
139      attempt to defer pops.  Instead, the stack is popped immediately
140      after each call.  Rather then setting this variable directly, use
141      NO_DEFER_POP and OK_DEFER_POP.  */
142   int x_inhibit_defer_pop;
143
144   /* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack
145      boundary can be momentarily unaligned while pushing the arguments.
146      Record the delta since last aligned boundary here in order to get
147      stack alignment in the nested function calls working right.  */
148   int x_stack_pointer_delta;
149
150   /* Nonzero means __builtin_saveregs has already been done in this function.
151      The value is the pseudoreg containing the value __builtin_saveregs
152      returned.  */
153   rtx x_saveregs_value;
154
155   /* Similarly for __builtin_apply_args.  */
156   rtx x_apply_args_value;
157
158   /* List of labels that must never be deleted.  */
159   rtx x_forced_labels;
160
161   /* Postincrements that still need to be expanded.  */
162   rtx x_pending_chain;
163 };
164
165 #define pending_stack_adjust (cfun->expr->x_pending_stack_adjust)
166 #define inhibit_defer_pop (cfun->expr->x_inhibit_defer_pop)
167 #define saveregs_value (cfun->expr->x_saveregs_value)
168 #define apply_args_value (cfun->expr->x_apply_args_value)
169 #define forced_labels (cfun->expr->x_forced_labels)
170 #define pending_chain (cfun->expr->x_pending_chain)
171 #define stack_pointer_delta (cfun->expr->x_stack_pointer_delta)
172
173 /* This structure can save all the important global and static variables
174    describing the status of the current function.  */
175
176 struct function GTY(())
177 {
178   struct eh_status *eh;
179   struct stmt_status *stmt;
180   struct expr_status *expr;
181   struct emit_status *emit;
182   struct varasm_status *varasm;
183
184   /* For tree-optimize.c.  */
185
186   /* Saved tree and arguments during tree optimization.  Used later for
187      inlining */
188   tree saved_tree;
189   tree saved_args;
190
191   /* For function.c.  */
192
193   /* Points to the FUNCTION_DECL of this function.  */
194   tree decl;
195
196   /* Function containing this function, if any.  */
197   struct function *outer;
198
199   /* Number of bytes of args popped by function being compiled on its return.
200      Zero if no bytes are to be popped.
201      May affect compilation of return insn or of function epilogue.  */
202   int pops_args;
203
204   /* If function's args have a fixed size, this is that size, in bytes.
205      Otherwise, it is -1.
206      May affect compilation of return insn or of function epilogue.  */
207   int args_size;
208
209   /* # bytes the prologue should push and pretend that the caller pushed them.
210      The prologue must do this, but only if parms can be passed in
211      registers.  */
212   int pretend_args_size;
213
214   /* # of bytes of outgoing arguments.  If ACCUMULATE_OUTGOING_ARGS is
215      defined, the needed space is pushed by the prologue.  */
216   int outgoing_args_size;
217
218   /* This is the offset from the arg pointer to the place where the first
219      anonymous arg can be found, if there is one.  */
220   rtx arg_offset_rtx;
221
222   /* Quantities of various kinds of registers
223      used for the current function's args.  */
224   CUMULATIVE_ARGS args_info;
225
226   /* If nonzero, an RTL expression for the location at which the current
227      function returns its result.  If the current function returns its
228      result in a register, current_function_return_rtx will always be
229      the hard register containing the result.  */
230   rtx return_rtx;
231
232   /* The arg pointer hard register, or the pseudo into which it was copied.  */
233   rtx internal_arg_pointer;
234
235   /* Opaque pointer used by get_hard_reg_initial_val and
236      has_hard_reg_initial_val (see integrate.[hc]).  */
237   struct initial_value_struct *hard_reg_initial_vals;
238
239   /* List (chain of EXPR_LIST) of labels heading the current handlers for
240      nonlocal gotos.  */
241   rtx x_nonlocal_goto_handler_labels;
242
243   /* Label that will go on function epilogue.
244      Jumping to this label serves as a "return" instruction
245      on machines which require execution of the epilogue on all returns.  */
246   rtx x_return_label;
247
248   /* Label that will go on the end of function epilogue.
249      Jumping to this label serves as a "naked return" instruction
250      on machines which require execution of the epilogue on all returns.  */
251   rtx x_naked_return_label;
252
253   /* List (chain of EXPR_LISTs) of pseudo-regs of SAVE_EXPRs.
254      So we can mark them all live at the end of the function, if nonopt.  */
255   rtx x_save_expr_regs;
256
257   /* List (chain of EXPR_LISTs) of all stack slots in this function.
258      Made for the sake of unshare_all_rtl.  */
259   rtx x_stack_slot_list;
260
261   /* Chain of all RTL_EXPRs that have insns in them.  */
262   tree x_rtl_expr_chain;
263
264   /* Place after which to insert the tail_recursion_label if we need one.  */
265   rtx x_tail_recursion_reentry;
266
267   /* Location at which to save the argument pointer if it will need to be
268      referenced.  There are two cases where this is done: if nonlocal gotos
269      exist, or if vars stored at an offset from the argument pointer will be
270      needed by inner routines.  */
271   rtx x_arg_pointer_save_area;
272
273   /* Offset to end of allocated area of stack frame.
274      If stack grows down, this is the address of the last stack slot allocated.
275      If stack grows up, this is the address for the next slot.  */
276   HOST_WIDE_INT x_frame_offset;
277
278   /* A VAR_DECL that should contain the static chain for this function.
279      It will be initialized at the beginning of the function.  */
280   tree static_chain_decl;
281
282   /* An expression that contains the non-local goto save area.  The first
283      word is the saved frame pointer and the second is the saved stack 
284      pointer.  */
285   tree nonlocal_goto_save_area;
286
287   /* Insn after which register parms and SAVE_EXPRs are born, if nonopt.  */
288   rtx x_parm_birth_insn;
289
290   /* 1 + last pseudo register number possibly used for loading a copy
291      of a parameter of this function.  */
292   unsigned int x_max_parm_reg;
293
294   /* Vector indexed by REGNO, containing location on stack in which
295      to put the parm which is nominally in pseudo register REGNO,
296      if we discover that that parm must go in the stack.  The highest
297      element in this vector is one less than MAX_PARM_REG, above.  */
298   rtx * GTY ((length ("%h.x_max_parm_reg"))) x_parm_reg_stack_loc;
299
300   /* List of all used temporaries allocated, by level.  */
301   struct varray_head_tag * GTY((param_is (struct temp_slot))) x_used_temp_slots;
302
303   /* List of available temp slots.  */
304   struct temp_slot *x_avail_temp_slots;
305
306   /* Current nesting level for temporaries.  */
307   int x_temp_slot_level;
308
309   /* Current nesting level for variables in a block.  */
310   int x_var_temp_slot_level;
311
312   /* When temporaries are created by TARGET_EXPRs, they are created at
313      this level of temp_slot_level, so that they can remain allocated
314      until no longer needed.  CLEANUP_POINT_EXPRs define the lifetime
315      of TARGET_EXPRs.  */
316   int x_target_temp_slot_level;
317
318   /* This slot is initialized as 0 and is added to
319      during the nested function.  */
320   struct var_refs_queue *fixup_var_refs_queue;
321
322   /* For integrate.c.  */
323   int inlinable;
324   int no_debugging_symbols;
325   rtvec original_arg_vector;
326   tree original_decl_initial;
327   /* Highest label number in current function.  */
328   int inl_max_label_num;
329
330   /* Function sequence number for profiling, debugging, etc.  */
331   int funcdef_no;
332
333   /* For md files.  */
334
335   /* tm.h can use this to store whatever it likes.  */
336   struct machine_function * GTY ((maybe_undef)) machine;
337   /* The largest alignment of slot allocated on the stack.  */
338   int stack_alignment_needed;
339   /* Preferred alignment of the end of stack frame.  */
340   int preferred_stack_boundary;
341   /* Set when the call to function itself has been emit.  */
342   bool recursive_call_emit;
343   /* Set when the tail call has been produced.  */
344   bool tail_call_emit;
345
346   /* Language-specific code can use this to store whatever it likes.  */
347   struct language_function * language;
348
349   /* For reorg.  */
350
351   /* If some insns can be deferred to the delay slots of the epilogue, the
352      delay list for them is recorded here.  */
353   rtx epilogue_delay_list;
354
355   /* How commonly executed the function is.  Initialized during branch
356      probabilities pass.  */
357   enum function_frequency {
358     /* This function most likely won't be executed at all.
359        (set only when profile feedback is available).  */
360     FUNCTION_FREQUENCY_UNLIKELY_EXECUTED,
361     /* The default value.  */
362     FUNCTION_FREQUENCY_NORMAL,
363     /* Optimize this function hard
364        (set only when profile feedback is available).  */
365     FUNCTION_FREQUENCY_HOT
366   } function_frequency;
367
368   /* Maximal number of entities in the single jumptable.  Used to estimate
369      final flowgraph size.  */
370   int max_jumptable_ents;
371
372   /* UIDs for LABEL_DECLs.  */
373   int last_label_uid;
374
375   /* Line number of the end of the function.  */
376   location_t function_end_locus;
377
378   /* Array mapping insn uids to blocks.  */
379   struct varray_head_tag *ib_boundaries_block;
380
381   /* The variables unexpanded so far.  */
382   tree unexpanded_var_list;
383
384   /* Collected bit flags.  */
385
386   /* Nonzero if function being compiled needs to be given an address
387      where the value should be stored.  */
388   unsigned int returns_struct : 1;
389
390   /* Nonzero if function being compiled needs to
391      return the address of where it has put a structure value.  */
392   unsigned int returns_pcc_struct : 1;
393
394   /* Nonzero if the current function returns a pointer type.  */
395   unsigned int returns_pointer : 1;
396
397   /* Nonzero if function being compiled can call setjmp.  */
398   unsigned int calls_setjmp : 1;
399
400   /* Nonzero if function being compiled can call longjmp.  */
401   unsigned int calls_longjmp : 1;
402
403   /* Nonzero if function being compiled can call alloca,
404      either as a subroutine or builtin.  */
405   unsigned int calls_alloca : 1;
406
407   /* Nonzero if the function calls __builtin_eh_return.  */
408   unsigned int calls_eh_return : 1;
409
410   /* Nonzero if function being compiled receives nonlocal gotos
411      from nested functions.  */
412   unsigned int has_nonlocal_label : 1;
413
414   /* Nonzero if function being compiled has nonlocal gotos to parent
415      function.  */
416   unsigned int has_nonlocal_goto : 1;
417
418   /* Nonzero if function being compiled contains nested functions.  */
419   unsigned int contains_functions : 1;
420
421   /* Nonzero if the function being compiled issues a computed jump.  */
422   unsigned int has_computed_jump : 1;
423
424   /* Nonzero if the current function is a thunk, i.e., a lightweight
425      function implemented by the output_mi_thunk hook) that just
426      adjusts one of its arguments and forwards to another
427      function.  */
428   unsigned int is_thunk : 1;
429
430   /* This bit is used by the exception handling logic.  It is set if all
431      calls (if any) are sibling calls.  Such functions do not have to
432      have EH tables generated, as they cannot throw.  A call to such a
433      function, however, should be treated as throwing if any of its callees
434      can throw.  */
435   unsigned int all_throwers_are_sibcalls : 1;
436
437   /* Nonzero if instrumentation calls for function entry and exit should be
438      generated.  */
439   unsigned int instrument_entry_exit : 1;
440
441   /* Nonzero if profiling code should be generated.  */
442   unsigned int profile : 1;
443
444   /* Nonzero if stack limit checking should be enabled in the current
445      function.  */
446   unsigned int limit_stack : 1;
447
448   /* Nonzero if current function uses stdarg.h or equivalent.  */
449   unsigned int stdarg : 1;
450
451   /* Nonzero if the back-end should not keep track of expressions that
452      determine the size of variable-sized objects.  Normally, such
453      expressions are saved away, and then expanded when the next
454      function is started.  For example, if a parameter has a
455      variable-sized type, then the size of the parameter is computed
456      when the function body is entered.  However, some front-ends do
457      not desire this behavior.  */
458   unsigned int x_dont_save_pending_sizes_p : 1;
459
460   /* Nonzero if the current function uses the constant pool.  */
461   unsigned int uses_const_pool : 1;
462
463   /* Nonzero if the current function uses pic_offset_table_rtx.  */
464   unsigned int uses_pic_offset_table : 1;
465
466   /* Nonzero if the current function needs an lsda for exception handling.  */
467   unsigned int uses_eh_lsda : 1;
468
469   /* Nonzero if code to initialize arg_pointer_save_area has been emitted.  */
470   unsigned int arg_pointer_save_area_init : 1;
471 };
472
473 /* The function currently being compiled.  */
474 extern GTY(()) struct function *cfun;
475
476 /* Pointer to chain of `struct function' for containing functions.  */
477 extern GTY(()) struct function *outer_function_chain;
478
479 /* Nonzero if we've already converted virtual regs to hard regs.  */
480 extern int virtuals_instantiated;
481
482 /* Nonzero if at least one trampoline has been created.  */
483 extern int trampolines_created;
484
485 /* For backward compatibility... eventually these should all go away.  */
486 #define current_function_pops_args (cfun->pops_args)
487 #define current_function_returns_struct (cfun->returns_struct)
488 #define current_function_returns_pcc_struct (cfun->returns_pcc_struct)
489 #define current_function_returns_pointer (cfun->returns_pointer)
490 #define current_function_calls_setjmp (cfun->calls_setjmp)
491 #define current_function_calls_alloca (cfun->calls_alloca)
492 #define current_function_calls_longjmp (cfun->calls_longjmp)
493 #define current_function_calls_eh_return (cfun->calls_eh_return)
494 #define current_function_has_computed_jump (cfun->has_computed_jump)
495 #define current_function_contains_functions (cfun->contains_functions)
496 #define current_function_is_thunk (cfun->is_thunk)
497 #define current_function_args_info (cfun->args_info)
498 #define current_function_args_size (cfun->args_size)
499 #define current_function_pretend_args_size (cfun->pretend_args_size)
500 #define current_function_outgoing_args_size (cfun->outgoing_args_size)
501 #define current_function_arg_offset_rtx (cfun->arg_offset_rtx)
502 #define current_function_stdarg (cfun->stdarg)
503 #define current_function_internal_arg_pointer (cfun->internal_arg_pointer)
504 #define current_function_return_rtx (cfun->return_rtx)
505 #define current_function_instrument_entry_exit (cfun->instrument_entry_exit)
506 #define current_function_profile (cfun->profile)
507 #define current_function_funcdef_no (cfun->funcdef_no)
508 #define current_function_limit_stack (cfun->limit_stack)
509 #define current_function_uses_pic_offset_table (cfun->uses_pic_offset_table)
510 #define current_function_uses_const_pool (cfun->uses_const_pool)
511 #define current_function_epilogue_delay_list (cfun->epilogue_delay_list)
512 #define current_function_has_nonlocal_label (cfun->has_nonlocal_label)
513 #define current_function_has_nonlocal_goto (cfun->has_nonlocal_goto)
514
515 #define max_parm_reg (cfun->x_max_parm_reg)
516 #define parm_reg_stack_loc (cfun->x_parm_reg_stack_loc)
517 #define return_label (cfun->x_return_label)
518 #define naked_return_label (cfun->x_naked_return_label)
519 #define save_expr_regs (cfun->x_save_expr_regs)
520 #define stack_slot_list (cfun->x_stack_slot_list)
521 #define parm_birth_insn (cfun->x_parm_birth_insn)
522 #define frame_offset (cfun->x_frame_offset)
523 #define tail_recursion_reentry (cfun->x_tail_recursion_reentry)
524 #define arg_pointer_save_area (cfun->x_arg_pointer_save_area)
525 #define rtl_expr_chain (cfun->x_rtl_expr_chain)
526 #define used_temp_slots (cfun->x_used_temp_slots)
527 #define avail_temp_slots (cfun->x_avail_temp_slots)
528 #define temp_slot_level (cfun->x_temp_slot_level)
529 #define target_temp_slot_level (cfun->x_target_temp_slot_level)
530 #define var_temp_slot_level (cfun->x_var_temp_slot_level)
531 #define nonlocal_labels (cfun->x_nonlocal_labels)
532 #define nonlocal_goto_handler_labels (cfun->x_nonlocal_goto_handler_labels)
533
534 /* Given a function decl for a containing function,
535    return the `struct function' for it.  */
536 struct function *find_function_data (tree);
537
538 /* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END},
539    and create duplicate blocks.  */
540 extern void reorder_blocks (void);
541
542 /* Set BLOCK_NUMBER for all the blocks in FN.  */
543 extern void number_blocks (tree);
544
545 extern void clear_block_marks (tree);
546 extern tree blocks_nreverse (tree);
547 extern void reset_block_changes (void);
548 extern void record_block_change (tree);
549 extern void finalize_block_changes (void);
550 extern void check_block_change (rtx, tree *);
551 extern void free_block_changes (void);
552
553 /* Return size needed for stack frame based on slots so far allocated.
554    This size counts from zero.  It is not rounded to STACK_BOUNDARY;
555    the caller may have to do that.  */
556 extern HOST_WIDE_INT get_frame_size (void);
557 /* Likewise, but for a different than the current function.  */
558 extern HOST_WIDE_INT get_func_frame_size (struct function *);
559
560 /* A pointer to a function to create target specific, per-function
561    data structures.  */
562 extern struct machine_function * (*init_machine_status) (void);
563
564 /* Save and restore status information for a nested function.  */
565 extern void restore_emit_status (struct function *);
566 extern void free_after_parsing (struct function *);
567 extern void free_after_compilation (struct function *);
568
569 extern void init_varasm_status (struct function *);
570
571 #ifdef RTX_CODE
572 extern void diddle_return_value (void (*)(rtx, void*), void*);
573 extern void clobber_return_register (void);
574 extern void use_return_register (void);
575 #endif
576
577 extern rtx get_arg_pointer_save_area (struct function *);
578
579 extern void init_virtual_regs (struct emit_status *);
580 extern void instantiate_virtual_regs (void);
581
582 /* Returns the name of the current function.  */
583 extern const char *current_function_name (void);
584
585 /* Called once, at initialization, to initialize function.c.  */
586 extern void init_function_once (void);
587
588 extern void do_warn_unused_parameter (tree);
589
590 #endif  /* GCC_FUNCTION_H */