X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Ffunction.h;h=85431944e68cf0d68c9884a00c318fe0927cf88d;hb=5865514819db1b7b720f3b1da912b1758c39e2a0;hp=4a057625bcfdbe784f3fa16b2d24a011f648dec7;hpb=67c155cb511cac5924bf843a667d9da60b42c481;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/function.h b/gcc/function.h index 4a057625bcf..85431944e68 100644 --- a/gcc/function.h +++ b/gcc/function.h @@ -1,6 +1,6 @@ /* Structure for saving state for a nested function. Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998, - 1999, 2000, 2003, 2004 Free Software Foundation, Inc. + 1999, 2000, 2003, 2004, 2005 Free Software Foundation, Inc. This file is part of GCC. @@ -16,12 +16,15 @@ for more details. You should have received a copy of the GNU General Public License along with GCC; see the file COPYING. If not, write to the Free -Software Foundation, 59 Temple Place - Suite 330, Boston, MA -02111-1307, USA. */ +Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA +02110-1301, USA. */ #ifndef GCC_FUNCTION_H #define GCC_FUNCTION_H +#include "tree.h" +#include "hashtab.h" + struct var_refs_queue GTY(()) { rtx modified; @@ -97,10 +100,7 @@ struct emit_status GTY(()) regno_pointer_align; /* Indexed by pseudo register number, gives the rtx for that pseudo. - Allocated in parallel with regno_pointer_align. - - Note MEM expressions can appear in this array due to the actions - of put_var_into_stack. */ + Allocated in parallel with regno_pointer_align. */ rtx * GTY ((length ("%h.x_reg_rtx_no"))) x_regno_reg_rtx; }; @@ -150,9 +150,6 @@ struct expr_status GTY(()) /* List of labels that must never be deleted. */ rtx x_forced_labels; - - /* Postincrements that still need to be expanded. */ - rtx x_pending_chain; }; #define pending_stack_adjust (cfun->expr->x_pending_stack_adjust) @@ -160,26 +157,46 @@ struct expr_status GTY(()) #define saveregs_value (cfun->expr->x_saveregs_value) #define apply_args_value (cfun->expr->x_apply_args_value) #define forced_labels (cfun->expr->x_forced_labels) -#define pending_chain (cfun->expr->x_pending_chain) #define stack_pointer_delta (cfun->expr->x_stack_pointer_delta) +struct gimple_df; +struct temp_slot; +typedef struct temp_slot *temp_slot_p; + +DEF_VEC_P(temp_slot_p); +DEF_VEC_ALLOC_P(temp_slot_p,gc); + +enum function_frequency { + /* This function most likely won't be executed at all. + (set only when profile feedback is available or via function attribute). */ + FUNCTION_FREQUENCY_UNLIKELY_EXECUTED, + /* The default value. */ + FUNCTION_FREQUENCY_NORMAL, + /* Optimize this function hard + (set only when profile feedback is available or via function attribute). */ + FUNCTION_FREQUENCY_HOT +}; + /* This structure can save all the important global and static variables describing the status of the current function. */ struct function GTY(()) { struct eh_status *eh; - struct stmt_status *stmt; struct expr_status *expr; struct emit_status *emit; struct varasm_status *varasm; - /* For tree-optimize.c. */ + /* The control flow graph for this function. */ + struct control_flow_graph *cfg; + /* SSA and dataflow information. */ + struct gimple_df *gimple_df; + + /* The loops in this function. */ + struct loops * GTY((skip)) x_current_loops; - /* Saved tree and arguments during tree optimization. Used later for - inlining */ - tree saved_tree; - tree saved_args; + /* Value histograms attached to particular statements. */ + htab_t GTY((skip)) value_histograms; /* For function.c. */ @@ -248,7 +265,7 @@ struct function GTY(()) rtx x_stack_slot_list; /* Place after which to insert the tail_recursion_label if we need one. */ - rtx x_tail_recursion_reentry; + rtx x_stack_check_probe_note; /* Location at which to save the argument pointer if it will need to be referenced. There are two cases where this is done: if nonlocal gotos @@ -261,7 +278,7 @@ struct function GTY(()) If stack grows up, this is the address for the next slot. */ HOST_WIDE_INT x_frame_offset; - /* A VAR_DECL that should contain the static chain for this function. + /* A PARM_DECL that should contain the static chain for this function. It will be initialized at the beginning of the function. */ tree static_chain_decl; @@ -273,84 +290,55 @@ struct function GTY(()) /* Insn after which register parms and SAVE_EXPRs are born, if nonopt. */ rtx x_parm_birth_insn; - /* 1 + last pseudo register number possibly used for loading a copy - of a parameter of this function. */ - unsigned int x_max_parm_reg; - - /* Vector indexed by REGNO, containing location on stack in which - to put the parm which is nominally in pseudo register REGNO, - if we discover that that parm must go in the stack. The highest - element in this vector is one less than MAX_PARM_REG, above. */ - rtx * GTY ((length ("%h.x_max_parm_reg"))) x_parm_reg_stack_loc; - /* List of all used temporaries allocated, by level. */ - struct varray_head_tag * GTY((param_is (struct temp_slot))) x_used_temp_slots; + VEC(temp_slot_p,gc) *x_used_temp_slots; /* List of available temp slots. */ struct temp_slot *x_avail_temp_slots; - /* Current nesting level for temporaries. */ - int x_temp_slot_level; - - /* Current nesting level for variables in a block. */ - int x_var_temp_slot_level; - - /* When temporaries are created by TARGET_EXPRs, they are created at - this level of temp_slot_level, so that they can remain allocated - until no longer needed. CLEANUP_POINT_EXPRs define the lifetime - of TARGET_EXPRs. */ - int x_target_temp_slot_level; - /* This slot is initialized as 0 and is added to during the nested function. */ struct var_refs_queue *fixup_var_refs_queue; - /* For integrate.c. */ - int inlinable; - int no_debugging_symbols; - rtvec original_arg_vector; - tree original_decl_initial; + /* Current nesting level for temporaries. */ + int x_temp_slot_level; + /* Highest label number in current function. */ int inl_max_label_num; /* Function sequence number for profiling, debugging, etc. */ int funcdef_no; + /* For flow.c. */ + + /* Highest loop depth seen so far in loop analysis. Used in flow.c + for the "failure strategy" when doing liveness analysis starting + with non-empty initial sets. */ + int max_loop_depth; + /* For md files. */ /* tm.h can use this to store whatever it likes. */ struct machine_function * GTY ((maybe_undef)) machine; + /* The largest alignment of slot allocated on the stack. */ - int stack_alignment_needed; + unsigned int stack_alignment_needed; + /* Preferred alignment of the end of stack frame. */ - int preferred_stack_boundary; - /* Set when the call to function itself has been emit. */ - bool recursive_call_emit; - /* Set when the tail call has been produced. */ - bool tail_call_emit; + unsigned int preferred_stack_boundary; /* Language-specific code can use this to store whatever it likes. */ struct language_function * language; + /* Used types hash table. */ + htab_t GTY ((param_is (union tree_node))) used_types_hash; + /* For reorg. */ /* If some insns can be deferred to the delay slots of the epilogue, the delay list for them is recorded here. */ rtx epilogue_delay_list; - /* How commonly executed the function is. Initialized during branch - probabilities pass. */ - enum function_frequency { - /* This function most likely won't be executed at all. - (set only when profile feedback is available). */ - FUNCTION_FREQUENCY_UNLIKELY_EXECUTED, - /* The default value. */ - FUNCTION_FREQUENCY_NORMAL, - /* Optimize this function hard - (set only when profile feedback is available). */ - FUNCTION_FREQUENCY_HOT - } function_frequency; - /* Maximal number of entities in the single jumptable. Used to estimate final flowgraph size. */ int max_jumptable_ents; @@ -362,11 +350,33 @@ struct function GTY(()) location_t function_end_locus; /* Array mapping insn uids to blocks. */ - struct varray_head_tag *ib_boundaries_block; + VEC(tree,gc) *ib_boundaries_block; /* The variables unexpanded so far. */ tree unexpanded_var_list; + /* Assembly labels for the hot and cold text sections, to + be used by debugger functions for determining the size of text + sections. */ + + const char *hot_section_label; + const char *cold_section_label; + const char *hot_section_end_label; + const char *cold_section_end_label; + + /* String to be used for name of cold text sections, via + targetm.asm_out.named_section. */ + + const char *unlikely_text_section_name; + + /* A variable living at the top of the frame that holds a known value. + Used for detecting stack clobbers. */ + tree stack_protect_guard; + + /* Properties used by the pass manager. */ + unsigned int curr_properties; + unsigned int last_verified; + /* Collected bit flags. */ /* Nonzero if function being compiled needs to be given an address @@ -383,13 +393,14 @@ struct function GTY(()) /* Nonzero if function being compiled can call setjmp. */ unsigned int calls_setjmp : 1; - /* Nonzero if function being compiled can call longjmp. */ - unsigned int calls_longjmp : 1; - /* Nonzero if function being compiled can call alloca, either as a subroutine or builtin. */ unsigned int calls_alloca : 1; + /* Nonzero if function being compiled called builtin_return_addr or + builtin_frame_address with nonzero count. */ + unsigned int accesses_prior_frames : 1; + /* Nonzero if the function calls __builtin_eh_return. */ unsigned int calls_eh_return : 1; @@ -401,12 +412,6 @@ struct function GTY(()) function. */ unsigned int has_nonlocal_goto : 1; - /* Nonzero if function being compiled contains nested functions. */ - unsigned int contains_functions : 1; - - /* Nonzero if the function being compiled issues a computed jump. */ - unsigned int has_computed_jump : 1; - /* Nonzero if the current function is a thunk, i.e., a lightweight function implemented by the output_mi_thunk hook) that just adjusts one of its arguments and forwards to another @@ -420,10 +425,6 @@ struct function GTY(()) can throw. */ unsigned int all_throwers_are_sibcalls : 1; - /* Nonzero if instrumentation calls for function entry and exit should be - generated. */ - unsigned int instrument_entry_exit : 1; - /* Nonzero if profiling code should be generated. */ unsigned int profile : 1; @@ -454,8 +455,39 @@ struct function GTY(()) /* Nonzero if code to initialize arg_pointer_save_area has been emitted. */ unsigned int arg_pointer_save_area_init : 1; + + unsigned int after_inlining : 1; + + /* Set when the call to function itself has been emit. */ + unsigned int recursive_call_emit : 1; + + /* Set when the tail call has been produced. */ + unsigned int tail_call_emit : 1; + + /* How commonly executed the function is. Initialized during branch + probabilities pass. */ + ENUM_BITFIELD (function_frequency) function_frequency : 2; + + /* Number of units of general registers that need saving in stdarg + function. What unit is depends on the backend, either it is number + of bytes, or it can be number of registers. */ + unsigned int va_list_gpr_size : 8; + + /* Number of units of floating point registers that need saving in stdarg + function. */ + unsigned int va_list_fpr_size : 8; + + /* FIXME tuples: This bit is temporarily here to mark when a + function has been gimplified, so we can make sure we're not + creating non GIMPLE tuples after gimplification. */ + unsigned gimplified : 1; }; +/* If va_list_[gf]pr_size is set to this, it means we don't know how + many units need to be saved. */ +#define VA_LIST_MAX_GPR_SIZE 255 +#define VA_LIST_MAX_FPR_SIZE 255 + /* The function currently being compiled. */ extern GTY(()) struct function *cfun; @@ -475,10 +507,8 @@ extern int trampolines_created; #define current_function_returns_pointer (cfun->returns_pointer) #define current_function_calls_setjmp (cfun->calls_setjmp) #define current_function_calls_alloca (cfun->calls_alloca) -#define current_function_calls_longjmp (cfun->calls_longjmp) +#define current_function_accesses_prior_frames (cfun->accesses_prior_frames) #define current_function_calls_eh_return (cfun->calls_eh_return) -#define current_function_has_computed_jump (cfun->has_computed_jump) -#define current_function_contains_functions (cfun->contains_functions) #define current_function_is_thunk (cfun->is_thunk) #define current_function_args_info (cfun->args_info) #define current_function_args_size (cfun->args_size) @@ -488,7 +518,6 @@ extern int trampolines_created; #define current_function_stdarg (cfun->stdarg) #define current_function_internal_arg_pointer (cfun->internal_arg_pointer) #define current_function_return_rtx (cfun->return_rtx) -#define current_function_instrument_entry_exit (cfun->instrument_entry_exit) #define current_function_profile (cfun->profile) #define current_function_funcdef_no (cfun->funcdef_no) #define current_function_limit_stack (cfun->limit_stack) @@ -498,22 +527,19 @@ extern int trampolines_created; #define current_function_has_nonlocal_label (cfun->has_nonlocal_label) #define current_function_has_nonlocal_goto (cfun->has_nonlocal_goto) -#define max_parm_reg (cfun->x_max_parm_reg) -#define parm_reg_stack_loc (cfun->x_parm_reg_stack_loc) #define return_label (cfun->x_return_label) #define naked_return_label (cfun->x_naked_return_label) #define stack_slot_list (cfun->x_stack_slot_list) #define parm_birth_insn (cfun->x_parm_birth_insn) #define frame_offset (cfun->x_frame_offset) -#define tail_recursion_reentry (cfun->x_tail_recursion_reentry) +#define stack_check_probe_note (cfun->x_stack_check_probe_note) #define arg_pointer_save_area (cfun->x_arg_pointer_save_area) #define used_temp_slots (cfun->x_used_temp_slots) #define avail_temp_slots (cfun->x_avail_temp_slots) #define temp_slot_level (cfun->x_temp_slot_level) -#define target_temp_slot_level (cfun->x_target_temp_slot_level) -#define var_temp_slot_level (cfun->x_var_temp_slot_level) -#define nonlocal_labels (cfun->x_nonlocal_labels) #define nonlocal_goto_handler_labels (cfun->x_nonlocal_goto_handler_labels) +#define current_loops (cfun->x_current_loops) +#define VALUE_HISTOGRAMS(fun) (fun)->value_histograms /* Given a function decl for a containing function, return the `struct function' for it. */ @@ -538,15 +564,17 @@ extern void free_block_changes (void); This size counts from zero. It is not rounded to STACK_BOUNDARY; the caller may have to do that. */ extern HOST_WIDE_INT get_frame_size (void); -/* Likewise, but for a different than the current function. */ -extern HOST_WIDE_INT get_func_frame_size (struct function *); + +/* Issue an error message and return TRUE if frame OFFSET overflows in + the signed target pointer arithmetics for function FUNC. Otherwise + return FALSE. */ +extern bool frame_offset_overflow (HOST_WIDE_INT, tree); /* A pointer to a function to create target specific, per-function data structures. */ extern struct machine_function * (*init_machine_status) (void); /* Save and restore status information for a nested function. */ -extern void restore_emit_status (struct function *); extern void free_after_parsing (struct function *); extern void free_after_compilation (struct function *); @@ -555,20 +583,21 @@ extern void init_varasm_status (struct function *); #ifdef RTX_CODE extern void diddle_return_value (void (*)(rtx, void*), void*); extern void clobber_return_register (void); -extern void use_return_register (void); #endif extern rtx get_arg_pointer_save_area (struct function *); -extern void init_virtual_regs (struct emit_status *); -extern void instantiate_virtual_regs (void); - /* Returns the name of the current function. */ extern const char *current_function_name (void); -/* Called once, at initialization, to initialize function.c. */ -extern void init_function_once (void); - extern void do_warn_unused_parameter (tree); +extern bool pass_by_reference (CUMULATIVE_ARGS *, enum machine_mode, + tree, bool); +extern bool reference_callee_copied (CUMULATIVE_ARGS *, enum machine_mode, + tree, bool); + +extern void used_types_insert (tree); + +extern int get_next_funcdef_no (void); #endif /* GCC_FUNCTION_H */