diff options
author | peter <peter@FreeBSD.org> | 2008-06-01 00:03:21 +0000 |
---|---|---|
committer | peter <peter@FreeBSD.org> | 2008-06-01 00:03:21 +0000 |
commit | a2be5f0c15218b0177d73b17d9bcb7589965d685 (patch) | |
tree | c9f0cd9c22378356a1716d32e13e70bc90f98b9c /gcc/function.h | |
parent | 9e0f3cc19c9df1594c9cc36cfd8fddc83c52ad12 (diff) | |
download | FreeBSD-src-a2be5f0c15218b0177d73b17d9bcb7589965d685.zip FreeBSD-src-a2be5f0c15218b0177d73b17d9bcb7589965d685.tar.gz |
Reorganize the gcc vendor import work area. This flattens out a bunch
of unnecessary path components that are relics of cvs2svn.
(These are directory moves)
Diffstat (limited to 'gcc/function.h')
-rw-r--r-- | gcc/function.h | 582 |
1 files changed, 582 insertions, 0 deletions
diff --git a/gcc/function.h b/gcc/function.h new file mode 100644 index 0000000..1903b16 --- /dev/null +++ b/gcc/function.h @@ -0,0 +1,582 @@ +/* Structure for saving state for a nested function. + Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998, + 1999, 2000, 2003, 2004, 2005 Free Software Foundation, Inc. + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify it under +the terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. + +GCC is distributed in the hope that it will be useful, but WITHOUT ANY +WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +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, 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; + enum machine_mode promoted_mode; + int unsignedp; + struct var_refs_queue *next; +}; + +/* Stack of pending (incomplete) sequences saved by `start_sequence'. + Each element describes one pending sequence. + The main insn-chain is saved in the last element of the chain, + unless the chain is empty. */ + +struct sequence_stack GTY(()) +{ + /* First and last insns in the chain of the saved sequence. */ + rtx first; + rtx last; + struct sequence_stack *next; +}; + +extern struct sequence_stack *sequence_stack; + +/* Stack of single obstacks. */ + +struct simple_obstack_stack +{ + struct obstack *obstack; + struct simple_obstack_stack *next; +}; + +struct emit_status GTY(()) +{ + /* This is reset to LAST_VIRTUAL_REGISTER + 1 at the start of each function. + After rtl generation, it is 1 plus the largest register number used. */ + int x_reg_rtx_no; + + /* Lowest label number in current function. */ + int x_first_label_num; + + /* The ends of the doubly-linked chain of rtl for the current function. + Both are reset to null at the start of rtl generation for the function. + + start_sequence saves both of these on `sequence_stack' and then starts + a new, nested sequence of insns. */ + rtx x_first_insn; + rtx x_last_insn; + + /* Stack of pending (incomplete) sequences saved by `start_sequence'. + Each element describes one pending sequence. + The main insn-chain is saved in the last element of the chain, + unless the chain is empty. */ + struct sequence_stack *sequence_stack; + + /* INSN_UID for next insn emitted. + Reset to 1 for each function compiled. */ + int x_cur_insn_uid; + + /* Location the last line-number NOTE emitted. + This is used to avoid generating duplicates. */ + location_t x_last_location; + + /* The length of the regno_pointer_align, regno_decl, and x_regno_reg_rtx + vectors. Since these vectors are needed during the expansion phase when + the total number of registers in the function is not yet known, the + vectors are copied and made bigger when necessary. */ + int regno_pointer_align_length; + + /* Indexed by pseudo register number, if nonzero gives the known alignment + for that pseudo (if REG_POINTER is set in x_regno_reg_rtx). + Allocated in parallel with x_regno_reg_rtx. */ + unsigned char * GTY ((length ("%h.x_reg_rtx_no"))) + regno_pointer_align; + + /* Indexed by pseudo register number, gives the rtx for that pseudo. + Allocated in parallel with regno_pointer_align. */ + rtx * GTY ((length ("%h.x_reg_rtx_no"))) x_regno_reg_rtx; +}; + +/* For backward compatibility... eventually these should all go away. */ +#define reg_rtx_no (cfun->emit->x_reg_rtx_no) +#define regno_reg_rtx (cfun->emit->x_regno_reg_rtx) +#define seq_stack (cfun->emit->sequence_stack) + +#define REGNO_POINTER_ALIGN(REGNO) (cfun->emit->regno_pointer_align[REGNO]) + +struct expr_status GTY(()) +{ + /* Number of units that we should eventually pop off the stack. + These are the arguments to function calls that have already returned. */ + int x_pending_stack_adjust; + + /* Under some ABIs, it is the caller's responsibility to pop arguments + pushed for function calls. A naive implementation would simply pop + the arguments immediately after each call. However, if several + function calls are made in a row, it is typically cheaper to pop + all the arguments after all of the calls are complete since a + single pop instruction can be used. Therefore, GCC attempts to + defer popping the arguments until absolutely necessary. (For + example, at the end of a conditional, the arguments must be popped, + since code outside the conditional won't know whether or not the + arguments need to be popped.) + + When INHIBIT_DEFER_POP is nonzero, however, the compiler does not + attempt to defer pops. Instead, the stack is popped immediately + after each call. Rather then setting this variable directly, use + NO_DEFER_POP and OK_DEFER_POP. */ + int x_inhibit_defer_pop; + + /* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack + boundary can be momentarily unaligned while pushing the arguments. + Record the delta since last aligned boundary here in order to get + stack alignment in the nested function calls working right. */ + int x_stack_pointer_delta; + + /* Nonzero means __builtin_saveregs has already been done in this function. + The value is the pseudoreg containing the value __builtin_saveregs + returned. */ + rtx x_saveregs_value; + + /* Similarly for __builtin_apply_args. */ + rtx x_apply_args_value; + + /* List of labels that must never be deleted. */ + rtx x_forced_labels; +}; + +#define pending_stack_adjust (cfun->expr->x_pending_stack_adjust) +#define inhibit_defer_pop (cfun->expr->x_inhibit_defer_pop) +#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 stack_pointer_delta (cfun->expr->x_stack_pointer_delta) + +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). */ + FUNCTION_FREQUENCY_UNLIKELY_EXECUTED, + /* The default value. */ + FUNCTION_FREQUENCY_NORMAL, + /* Optimize this function hard + (set only when profile feedback is available). */ + 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 expr_status *expr; + struct emit_status *emit; + struct varasm_status *varasm; + + /* The control flow graph for this function. */ + struct control_flow_graph *cfg; + + /* For function.c. */ + + /* Points to the FUNCTION_DECL of this function. */ + tree decl; + + /* Function containing this function, if any. */ + struct function *outer; + + /* Number of bytes of args popped by function being compiled on its return. + Zero if no bytes are to be popped. + May affect compilation of return insn or of function epilogue. */ + int pops_args; + + /* If function's args have a fixed size, this is that size, in bytes. + Otherwise, it is -1. + May affect compilation of return insn or of function epilogue. */ + int args_size; + + /* # bytes the prologue should push and pretend that the caller pushed them. + The prologue must do this, but only if parms can be passed in + registers. */ + int pretend_args_size; + + /* # of bytes of outgoing arguments. If ACCUMULATE_OUTGOING_ARGS is + defined, the needed space is pushed by the prologue. */ + int outgoing_args_size; + + /* This is the offset from the arg pointer to the place where the first + anonymous arg can be found, if there is one. */ + rtx arg_offset_rtx; + + /* Quantities of various kinds of registers + used for the current function's args. */ + CUMULATIVE_ARGS args_info; + + /* If nonzero, an RTL expression for the location at which the current + function returns its result. If the current function returns its + result in a register, current_function_return_rtx will always be + the hard register containing the result. */ + rtx return_rtx; + + /* The arg pointer hard register, or the pseudo into which it was copied. */ + rtx internal_arg_pointer; + + /* Opaque pointer used by get_hard_reg_initial_val and + has_hard_reg_initial_val (see integrate.[hc]). */ + struct initial_value_struct *hard_reg_initial_vals; + + /* List (chain of EXPR_LIST) of labels heading the current handlers for + nonlocal gotos. */ + rtx x_nonlocal_goto_handler_labels; + + /* Label that will go on function epilogue. + Jumping to this label serves as a "return" instruction + on machines which require execution of the epilogue on all returns. */ + rtx x_return_label; + + /* Label that will go on the end of function epilogue. + Jumping to this label serves as a "naked return" instruction + on machines which require execution of the epilogue on all returns. */ + rtx x_naked_return_label; + + /* List (chain of EXPR_LISTs) of all stack slots in this function. + Made for the sake of unshare_all_rtl. */ + rtx x_stack_slot_list; + + /* Place after which to insert the tail_recursion_label if we need one. */ + 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 + exist, or if vars stored at an offset from the argument pointer will be + needed by inner routines. */ + rtx x_arg_pointer_save_area; + + /* Offset to end of allocated area of stack frame. + If stack grows down, this is the address of the last stack slot allocated. + If stack grows up, this is the address for the next slot. */ + HOST_WIDE_INT x_frame_offset; + + /* 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; + + /* An expression that contains the non-local goto save area. The first + word is the saved frame pointer and the second is the saved stack + pointer. */ + tree nonlocal_goto_save_area; + + /* Insn after which register parms and SAVE_EXPRs are born, if nonopt. */ + rtx x_parm_birth_insn; + + /* List of all used temporaries allocated, by level. */ + VEC(temp_slot_p,gc) *x_used_temp_slots; + + /* List of available temp slots. */ + struct temp_slot *x_avail_temp_slots; + + /* This slot is initialized as 0 and is added to + during the nested function. */ + struct var_refs_queue *fixup_var_refs_queue; + + /* 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. */ + unsigned int stack_alignment_needed; + + /* Preferred alignment of the end of stack frame. */ + 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; + + /* Maximal number of entities in the single jumptable. Used to estimate + final flowgraph size. */ + int max_jumptable_ents; + + /* UIDs for LABEL_DECLs. */ + int last_label_uid; + + /* Line number of the end of the function. */ + location_t function_end_locus; + + /* Array mapping insn uids to blocks. */ + 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; + + /* Collected bit flags. */ + + /* Nonzero if function being compiled needs to be given an address + where the value should be stored. */ + unsigned int returns_struct : 1; + + /* Nonzero if function being compiled needs to + return the address of where it has put a structure value. */ + unsigned int returns_pcc_struct : 1; + + /* Nonzero if the current function returns a pointer type. */ + unsigned int returns_pointer : 1; + + /* Nonzero if function being compiled can call setjmp. */ + unsigned int calls_setjmp : 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; + + /* Nonzero if function being compiled receives nonlocal gotos + from nested functions. */ + unsigned int has_nonlocal_label : 1; + + /* Nonzero if function being compiled has nonlocal gotos to parent + function. */ + unsigned int has_nonlocal_goto : 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 + function. */ + unsigned int is_thunk : 1; + + /* This bit is used by the exception handling logic. It is set if all + calls (if any) are sibling calls. Such functions do not have to + have EH tables generated, as they cannot throw. A call to such a + function, however, should be treated as throwing if any of its callees + can throw. */ + unsigned int all_throwers_are_sibcalls : 1; + + /* Nonzero if profiling code should be generated. */ + unsigned int profile : 1; + + /* Nonzero if stack limit checking should be enabled in the current + function. */ + unsigned int limit_stack : 1; + + /* Nonzero if current function uses stdarg.h or equivalent. */ + unsigned int stdarg : 1; + + /* Nonzero if the back-end should not keep track of expressions that + determine the size of variable-sized objects. Normally, such + expressions are saved away, and then expanded when the next + function is started. For example, if a parameter has a + variable-sized type, then the size of the parameter is computed + when the function body is entered. However, some front-ends do + not desire this behavior. */ + unsigned int x_dont_save_pending_sizes_p : 1; + + /* Nonzero if the current function uses the constant pool. */ + unsigned int uses_const_pool : 1; + + /* Nonzero if the current function uses pic_offset_table_rtx. */ + unsigned int uses_pic_offset_table : 1; + + /* Nonzero if the current function needs an lsda for exception handling. */ + unsigned int uses_eh_lsda : 1; + + /* 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; +}; + +/* 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; + +/* Pointer to chain of `struct function' for containing functions. */ +extern GTY(()) struct function *outer_function_chain; + +/* Nonzero if we've already converted virtual regs to hard regs. */ +extern int virtuals_instantiated; + +/* Nonzero if at least one trampoline has been created. */ +extern int trampolines_created; + +/* For backward compatibility... eventually these should all go away. */ +#define current_function_pops_args (cfun->pops_args) +#define current_function_returns_struct (cfun->returns_struct) +#define current_function_returns_pcc_struct (cfun->returns_pcc_struct) +#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_accesses_prior_frames (cfun->accesses_prior_frames) +#define current_function_calls_eh_return (cfun->calls_eh_return) +#define current_function_is_thunk (cfun->is_thunk) +#define current_function_args_info (cfun->args_info) +#define current_function_args_size (cfun->args_size) +#define current_function_pretend_args_size (cfun->pretend_args_size) +#define current_function_outgoing_args_size (cfun->outgoing_args_size) +#define current_function_arg_offset_rtx (cfun->arg_offset_rtx) +#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_profile (cfun->profile) +#define current_function_funcdef_no (cfun->funcdef_no) +#define current_function_limit_stack (cfun->limit_stack) +#define current_function_uses_pic_offset_table (cfun->uses_pic_offset_table) +#define current_function_uses_const_pool (cfun->uses_const_pool) +#define current_function_epilogue_delay_list (cfun->epilogue_delay_list) +#define current_function_has_nonlocal_label (cfun->has_nonlocal_label) +#define current_function_has_nonlocal_goto (cfun->has_nonlocal_goto) + +#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 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 nonlocal_goto_handler_labels (cfun->x_nonlocal_goto_handler_labels) + +/* Given a function decl for a containing function, + return the `struct function' for it. */ +struct function *find_function_data (tree); + +/* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END}, + and create duplicate blocks. */ +extern void reorder_blocks (void); + +/* Set BLOCK_NUMBER for all the blocks in FN. */ +extern void number_blocks (tree); + +extern void clear_block_marks (tree); +extern tree blocks_nreverse (tree); +extern void reset_block_changes (void); +extern void record_block_change (tree); +extern void finalize_block_changes (void); +extern void check_block_change (rtx, tree *); +extern void free_block_changes (void); + +/* Return size needed for stack frame based on slots so far allocated. + 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); + +/* 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 free_after_parsing (struct function *); +extern void free_after_compilation (struct function *); + +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); +#endif + +extern rtx get_arg_pointer_save_area (struct function *); + +/* Returns the name of the current function. */ +extern const char *current_function_name (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); + +#endif /* GCC_FUNCTION_H */ |