123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936 |
- /* Structure for saving state for a nested function.
- Copyright (C) 1989-2015 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 3, 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 COPYING3. If not see
- <http://www.gnu.org/licenses/>. */
- #ifndef GCC_FUNCTION_H
- #define GCC_FUNCTION_H
- /* 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 GTY(()) sequence_stack {
- /* First and last insns in the chain of the saved sequence. */
- rtx_insn *first;
- rtx_insn *last;
- struct sequence_stack *next;
- };
- struct GTY(()) emit_status {
- /* 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_insn *x_first_insn;
- rtx_insn *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;
- /* INSN_UID for next debug insn emitted. Only used if
- --param min-nondebug-insn-uid=<value> is given with nonzero value. */
- int x_cur_debug_insn_uid;
- /* 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((skip)) regno_pointer_align;
- };
- /* Indexed by register number, gives an rtx for that register (and only
- that register). For pseudo registers, it is the unique rtx for
- that pseudo. For hard registers, it is an rtx of the mode specified
- by reg_raw_mode.
- FIXME: We could put it into emit_status struct, but gengtype is not
- able to deal with length attribute nested in top level structures. */
- extern GTY ((length ("crtl->emit.x_reg_rtx_no"))) rtx * regno_reg_rtx;
- /* For backward compatibility... eventually these should all go away. */
- #define reg_rtx_no (crtl->emit.x_reg_rtx_no)
- #define seq_stack (crtl->emit.sequence_stack)
- #define REGNO_POINTER_ALIGN(REGNO) (crtl->emit.regno_pointer_align[REGNO])
- struct GTY(()) expr_status {
- /* 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_insn_list *x_forced_labels;
- };
- typedef struct call_site_record_d *call_site_record;
- /* RTL representation of exception handling. */
- struct GTY(()) rtl_eh {
- rtx ehr_stackadj;
- rtx ehr_handler;
- rtx_code_label *ehr_label;
- rtx sjlj_fc;
- rtx_insn *sjlj_exit_after;
- vec<uchar, va_gc> *action_record_data;
- vec<call_site_record, va_gc> *call_site_record_v[2];
- };
- #define pending_stack_adjust (crtl->expr.x_pending_stack_adjust)
- #define inhibit_defer_pop (crtl->expr.x_inhibit_defer_pop)
- #define saveregs_value (crtl->expr.x_saveregs_value)
- #define apply_args_value (crtl->expr.x_apply_args_value)
- #define forced_labels (crtl->expr.x_forced_labels)
- #define stack_pointer_delta (crtl->expr.x_stack_pointer_delta)
- struct gimple_df;
- struct temp_slot;
- typedef struct temp_slot *temp_slot_p;
- struct call_site_record_d;
- struct dw_fde_node;
- class ipa_opt_pass_d;
- typedef ipa_opt_pass_d *ipa_opt_pass;
- struct GTY(()) varasm_status {
- /* If we're using a per-function constant pool, this is it. */
- struct rtx_constant_pool *pool;
- /* Number of tree-constants deferred during the expansion of this
- function. */
- unsigned int deferred_constants;
- };
- /* Information mainlined about RTL representation of incoming arguments. */
- struct GTY(()) incoming_args {
- /* 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 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;
- /* 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 info;
- /* The arg pointer hard register, or the pseudo into which it was copied. */
- rtx internal_arg_pointer;
- };
- /* Data for function partitioning. */
- struct GTY(()) function_subsections {
- /* 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;
- };
- /* Describe an empty area of space in the stack frame. These can be chained
- into a list; this is used to keep track of space wasted for alignment
- reasons. */
- struct GTY(()) frame_space
- {
- struct frame_space *next;
- HOST_WIDE_INT start;
- HOST_WIDE_INT length;
- };
- /* Datastructures maintained for currently processed function in RTL form. */
- struct GTY(()) rtl_data {
- struct expr_status expr;
- struct emit_status emit;
- struct varasm_status varasm;
- struct incoming_args args;
- struct function_subsections subsections;
- struct rtl_eh eh;
- /* For function.c */
- /* # of bytes of outgoing arguments. If ACCUMULATE_OUTGOING_ARGS is
- defined, the needed space is pushed by the prologue. */
- int outgoing_args_size;
- /* 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;
- /* If nonxero, an RTL expression for the lcoation at which the current
- function returns bounds for its result. */
- rtx return_bnd;
- /* Vector of initial-value pairs. Each pair consists of a pseudo
- register of approprite mode that stores the initial value a hard
- register REGNO, and that hard register itself. */
- /* ??? This could be a VEC but there is currently no way to define an
- opaque VEC type. */
- struct initial_value_struct *hard_reg_initial_vals;
- /* A variable living at the top of the frame that holds a known value.
- Used for detecting stack clobbers. */
- tree stack_protect_guard;
- /* List (chain of INSN_LIST) of labels heading the current handlers for
- nonlocal gotos. */
- rtx_insn_list *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_code_label *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_code_label *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_expr_list *x_stack_slot_list;
- /* List of empty areas in the stack frame. */
- struct frame_space *frame_space_list;
- /* Place after which to insert the tail_recursion_label if we need one. */
- rtx_note *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;
- /* Dynamic Realign Argument Pointer used for realigning stack. */
- rtx drap_reg;
- /* 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;
- /* Insn after which register parms and SAVE_EXPRs are born, if nonopt. */
- rtx_insn *x_parm_birth_insn;
- /* List of all used temporaries allocated, by level. */
- vec<temp_slot_p, va_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;
- /* The largest alignment needed on the stack, including requirement
- for outgoing stack alignment. */
- unsigned int stack_alignment_needed;
- /* Preferred alignment of the end of stack frame, which is preferred
- to call other functions. */
- unsigned int preferred_stack_boundary;
- /* The minimum alignment of parameter stack. */
- unsigned int parm_stack_boundary;
- /* The largest alignment of slot allocated on the stack. */
- unsigned int max_used_stack_slot_alignment;
- /* The stack alignment estimated before reload, with consideration of
- following factors:
- 1. Alignment of local stack variables (max_used_stack_slot_alignment)
- 2. Alignment requirement to call other functions
- (preferred_stack_boundary)
- 3. Alignment of non-local stack variables but might be spilled in
- local stack. */
- unsigned int stack_alignment_estimated;
- /* For reorg. */
- /* Nonzero if function being compiled called builtin_return_addr or
- builtin_frame_address with nonzero count. */
- bool accesses_prior_frames;
- /* Nonzero if the function calls __builtin_eh_return. */
- bool calls_eh_return;
- /* Nonzero if function saves all registers, e.g. if it has a nonlocal
- label that can reach the exit block via non-exceptional paths. */
- bool saves_all_registers;
- /* Nonzero if function being compiled has nonlocal gotos to parent
- function. */
- bool has_nonlocal_goto;
- /* Nonzero if function being compiled has an asm statement. */
- bool has_asm_statement;
- /* 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. */
- bool all_throwers_are_sibcalls;
- /* Nonzero if stack limit checking should be enabled in the current
- function. */
- bool limit_stack;
- /* Nonzero if profiling code should be generated. */
- bool profile;
- /* Nonzero if the current function uses the constant pool. */
- bool uses_const_pool;
- /* Nonzero if the current function uses pic_offset_table_rtx. */
- bool uses_pic_offset_table;
- /* Nonzero if the current function needs an lsda for exception handling. */
- bool uses_eh_lsda;
- /* Set when the tail call has been produced. */
- bool tail_call_emit;
- /* Nonzero if code to initialize arg_pointer_save_area has been emitted. */
- bool arg_pointer_save_area_init;
- /* Nonzero if current function must be given a frame pointer.
- Set in reload1.c or lra-eliminations.c if anything is allocated
- on the stack there. */
- bool frame_pointer_needed;
- /* When set, expand should optimize for speed. */
- bool maybe_hot_insn_p;
- /* Nonzero if function stack realignment is needed. This flag may be
- set twice: before and after reload. It is set before reload wrt
- stack alignment estimation before reload. It will be changed after
- reload if by then criteria of stack realignment is different.
- The value set after reload is the accurate one and is finalized. */
- bool stack_realign_needed;
- /* Nonzero if function stack realignment is tried. This flag is set
- only once before reload. It affects register elimination. This
- is used to generate DWARF debug info for stack variables. */
- bool stack_realign_tried;
- /* Nonzero if function being compiled needs dynamic realigned
- argument pointer (drap) if stack needs realigning. */
- bool need_drap;
- /* Nonzero if function stack realignment estimation is done, namely
- stack_realign_needed flag has been set before reload wrt estimated
- stack alignment info. */
- bool stack_realign_processed;
- /* Nonzero if function stack realignment has been finalized, namely
- stack_realign_needed flag has been set and finalized after reload. */
- bool stack_realign_finalized;
- /* True if dbr_schedule has already been called for this function. */
- bool dbr_scheduled_p;
- /* True if current function can not throw. Unlike
- TREE_NOTHROW (current_function_decl) it is set even for overwritable
- function where currently compiled version of it is nothrow. */
- bool nothrow;
- /* True if we performed shrink-wrapping for the current function. */
- bool shrink_wrapped;
- /* Nonzero if function being compiled doesn't modify the stack pointer
- (ignoring the prologue and epilogue). This is only valid after
- pass_stack_ptr_mod has run. */
- bool sp_is_unchanging;
- /* Nonzero if function being compiled doesn't contain any calls
- (ignoring the prologue and epilogue). This is set prior to
- local register allocation and is valid for the remaining
- compiler passes. */
- bool is_leaf;
- /* Nonzero if the function being compiled is a leaf function which only
- uses leaf registers. This is valid after reload (specifically after
- sched2) and is useful only if the port defines LEAF_REGISTERS. */
- bool uses_only_leaf_regs;
- /* Nonzero if the function being compiled has undergone hot/cold partitioning
- (under flag_reorder_blocks_and_partition) and has at least one cold
- block. */
- bool has_bb_partition;
- /* Nonzero if the function being compiled has completed the bb reordering
- pass. */
- bool bb_reorder_complete;
- /* Like regs_ever_live, but 1 if a reg is set or clobbered from an
- asm. Unlike regs_ever_live, elements of this array corresponding
- to eliminable regs (like the frame pointer) are set if an asm
- sets them. */
- HARD_REG_SET asm_clobbers;
- };
- #define return_label (crtl->x_return_label)
- #define naked_return_label (crtl->x_naked_return_label)
- #define stack_slot_list (crtl->x_stack_slot_list)
- #define parm_birth_insn (crtl->x_parm_birth_insn)
- #define frame_offset (crtl->x_frame_offset)
- #define stack_check_probe_note (crtl->x_stack_check_probe_note)
- #define arg_pointer_save_area (crtl->x_arg_pointer_save_area)
- #define used_temp_slots (crtl->x_used_temp_slots)
- #define avail_temp_slots (crtl->x_avail_temp_slots)
- #define temp_slot_level (crtl->x_temp_slot_level)
- #define nonlocal_goto_handler_labels (crtl->x_nonlocal_goto_handler_labels)
- #define frame_pointer_needed (crtl->frame_pointer_needed)
- #define stack_realign_fp (crtl->stack_realign_needed && !crtl->need_drap)
- #define stack_realign_drap (crtl->stack_realign_needed && crtl->need_drap)
- extern GTY(()) struct rtl_data x_rtl;
- /* Accessor to RTL datastructures. We keep them statically allocated now since
- we never keep multiple functions. For threaded compiler we might however
- want to do differently. */
- #define crtl (&x_rtl)
- struct GTY(()) stack_usage
- {
- /* # of bytes of static stack space allocated by the function. */
- HOST_WIDE_INT static_stack_size;
- /* # of bytes of dynamic stack space allocated by the function. This is
- meaningful only if has_unbounded_dynamic_stack_size is zero. */
- HOST_WIDE_INT dynamic_stack_size;
- /* # of bytes of space pushed onto the stack after the prologue. If
- !ACCUMULATE_OUTGOING_ARGS, it contains the outgoing arguments. */
- int pushed_stack_size;
- /* Nonzero if the amount of stack space allocated dynamically cannot
- be bounded at compile-time. */
- unsigned int has_unbounded_dynamic_stack_size : 1;
- };
- #define current_function_static_stack_size (cfun->su->static_stack_size)
- #define current_function_dynamic_stack_size (cfun->su->dynamic_stack_size)
- #define current_function_pushed_stack_size (cfun->su->pushed_stack_size)
- #define current_function_has_unbounded_dynamic_stack_size \
- (cfun->su->has_unbounded_dynamic_stack_size)
- #define current_function_allocates_dynamic_stack_space \
- (current_function_dynamic_stack_size != 0 \
- || current_function_has_unbounded_dynamic_stack_size)
- /* This structure can save all the important global and static variables
- describing the status of the current function. */
- struct GTY(()) function {
- struct eh_status *eh;
- /* The control flow graph for this function. */
- struct control_flow_graph *cfg;
- /* GIMPLE body for this function. */
- gimple_seq gimple_body;
- /* SSA and dataflow information. */
- struct gimple_df *gimple_df;
- /* The loops in this function. */
- struct loops *x_current_loops;
- /* The stack usage of this function. */
- struct stack_usage *su;
- /* Value histograms attached to particular statements. */
- htab_t GTY((skip)) value_histograms;
- /* For function.c. */
- /* Points to the FUNCTION_DECL of this function. */
- tree decl;
- /* 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;
- /* Vector of function local variables, functions, types and constants. */
- vec<tree, va_gc> *local_decls;
- /* In a Cilk function, the VAR_DECL for the frame descriptor. */
- tree cilk_frame_decl;
- /* For md files. */
- /* tm.h can use this to store whatever it likes. */
- struct machine_function * GTY ((maybe_undef)) machine;
- /* Language-specific code can use this to store whatever it likes. */
- struct language_function * language;
- /* Used types hash table. */
- hash_set<tree> *GTY (()) used_types_hash;
- /* Dwarf2 Frame Description Entry, containing the Call Frame Instructions
- used for unwinding. Only set when either dwarf2 unwinding or dwarf2
- debugging is enabled. */
- struct dw_fde_node *fde;
- /* Last statement uid. */
- int last_stmt_uid;
- /* Function sequence number for profiling, debugging, etc. */
- int funcdef_no;
- /* Line number of the start of the function for debugging purposes. */
- location_t function_start_locus;
- /* Line number of the end of the function. */
- location_t function_end_locus;
- /* Properties used by the pass manager. */
- unsigned int curr_properties;
- unsigned int last_verified;
- /* Non-null if the function does something that would prevent it from
- being copied; this applies to both versioning and inlining. Set to
- a string describing the reason for failure. */
- const char * GTY((skip)) cannot_be_copied_reason;
- /* Last assigned dependence info clique. */
- unsigned short last_clique;
- /* Collected bit flags. */
- /* 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;
- /* 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;
- /* This will indicate whether a function is a cilk function */
- unsigned int is_cilk_function : 1;
- /* Nonzero if this is a Cilk function that spawns. */
- unsigned int calls_cilk_spawn : 1;
-
- /* Nonzero if function being compiled receives nonlocal gotos
- from nested functions. */
- unsigned int has_nonlocal_label : 1;
- /* Nonzero if we've set cannot_be_copied_reason. I.e. if
- (cannot_be_copied_set && !cannot_be_copied_reason), the function
- can in fact be copied. */
- unsigned int cannot_be_copied_set : 1;
- /* Nonzero if current function uses stdarg.h or equivalent. */
- unsigned int stdarg : 1;
- unsigned int after_inlining : 1;
- unsigned int always_inline_functions_inlined : 1;
- /* Nonzero if function being compiled can throw synchronous non-call
- exceptions. */
- unsigned int can_throw_non_call_exceptions : 1;
- /* Nonzero if instructions that may throw exceptions but don't otherwise
- contribute to the execution of the program can be deleted. */
- unsigned int can_delete_dead_exceptions : 1;
- /* Fields below this point are not set for abstract functions; see
- allocate_struct_function. */
- /* 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 this function has local DECL_HARD_REGISTER variables.
- In this case code motion has to be done more carefully. */
- unsigned int has_local_explicit_reg_vars : 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;
- /* Nonzero if the current function contains any loops with
- loop->force_vectorize set. */
- unsigned int has_force_vectorize_loops : 1;
- /* Nonzero if the current function contains any loops with
- nonzero value in loop->simduid. */
- unsigned int has_simduid_loops : 1;
- /* Set when the tail call has been identified. */
- unsigned int tail_call_marked : 1;
- };
- /* Add the decl D to the local_decls list of FUN. */
- void add_local_decl (struct function *fun, tree d);
- #define FOR_EACH_LOCAL_DECL(FUN, I, D) \
- FOR_EACH_VEC_SAFE_ELT_REVERSE ((FUN)->local_decls, I, D)
- /* 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;
- /* In order to ensure that cfun is not set directly, we redefine it so
- that it is not an lvalue. Rather than assign to cfun, use
- push_cfun or set_cfun. */
- #define cfun (cfun + 0)
- /* 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;
- struct GTY((for_user)) types_used_by_vars_entry {
- tree type;
- tree var_decl;
- };
- struct used_type_hasher : ggc_hasher<types_used_by_vars_entry *>
- {
- static hashval_t hash (types_used_by_vars_entry *);
- static bool equal (types_used_by_vars_entry *, types_used_by_vars_entry *);
- };
- /* Hash table making the relationship between a global variable
- and the types it references in its initializer. The key of the
- entry is a referenced type, and the value is the DECL of the global
- variable. types_use_by_vars_do_hash and types_used_by_vars_eq below are
- the hash and equality functions to use for this hash table. */
- extern GTY(()) hash_table<used_type_hasher> *types_used_by_vars_hash;
- void types_used_by_var_decl_insert (tree type, tree var_decl);
- /* During parsing of a global variable, this vector contains the types
- referenced by the global variable. */
- extern GTY(()) vec<tree, va_gc> *types_used_by_cur_var_decl;
- /* Return the loop tree of FN. */
- inline struct loops *
- loops_for_fn (struct function *fn)
- {
- return fn->x_current_loops;
- }
- /* Set the loop tree of FN to LOOPS. */
- inline void
- set_loops_for_fn (struct function *fn, struct loops *loops)
- {
- gcc_checking_assert (fn->x_current_loops == NULL || loops == NULL);
- fn->x_current_loops = loops;
- }
- /* For backward compatibility... eventually these should all go away. */
- #define current_function_funcdef_no (cfun->funcdef_no)
- #define current_loops (cfun->x_current_loops)
- #define dom_computed (cfun->cfg->x_dom_computed)
- #define n_bbs_in_dom_tree (cfun->cfg->x_n_bbs_in_dom_tree)
- #define VALUE_HISTOGRAMS(fun) (fun)->value_histograms
- /* A pointer to a function to create target specific, per-function
- data structures. */
- extern struct machine_function * (*init_machine_status) (void);
- enum direction {none, upward, downward};
- /* Structure to record the size of a sequence of arguments
- as the sum of a tree-expression and a constant. This structure is
- also used to store offsets from the stack, which might be negative,
- so the variable part must be ssizetype, not sizetype. */
- struct args_size
- {
- HOST_WIDE_INT constant;
- tree var;
- };
- /* Package up various arg related fields of struct args for
- locate_and_pad_parm. */
- struct locate_and_pad_arg_data
- {
- /* Size of this argument on the stack, rounded up for any padding it
- gets. If REG_PARM_STACK_SPACE is defined, then register parms are
- counted here, otherwise they aren't. */
- struct args_size size;
- /* Offset of this argument from beginning of stack-args. */
- struct args_size offset;
- /* Offset to the start of the stack slot. Different from OFFSET
- if this arg pads downward. */
- struct args_size slot_offset;
- /* The amount that the stack pointer needs to be adjusted to
- force alignment for the next argument. */
- struct args_size alignment_pad;
- /* Which way we should pad this arg. */
- enum direction where_pad;
- /* slot_offset is at least this aligned. */
- unsigned int boundary;
- };
- /* Add the value of the tree INC to the `struct args_size' TO. */
- #define ADD_PARM_SIZE(TO, INC) \
- do { \
- tree inc = (INC); \
- if (tree_fits_shwi_p (inc)) \
- (TO).constant += tree_to_shwi (inc); \
- else if ((TO).var == 0) \
- (TO).var = fold_convert (ssizetype, inc); \
- else \
- (TO).var = size_binop (PLUS_EXPR, (TO).var, \
- fold_convert (ssizetype, inc)); \
- } while (0)
- #define SUB_PARM_SIZE(TO, DEC) \
- do { \
- tree dec = (DEC); \
- if (tree_fits_shwi_p (dec)) \
- (TO).constant -= tree_to_shwi (dec); \
- else if ((TO).var == 0) \
- (TO).var = size_binop (MINUS_EXPR, ssize_int (0), \
- fold_convert (ssizetype, dec)); \
- else \
- (TO).var = size_binop (MINUS_EXPR, (TO).var, \
- fold_convert (ssizetype, dec)); \
- } while (0)
- /* Convert the implicit sum in a `struct args_size' into a tree
- of type ssizetype. */
- #define ARGS_SIZE_TREE(SIZE) \
- ((SIZE).var == 0 ? ssize_int ((SIZE).constant) \
- : size_binop (PLUS_EXPR, fold_convert (ssizetype, (SIZE).var), \
- ssize_int ((SIZE).constant)))
- /* Convert the implicit sum in a `struct args_size' into an rtx. */
- #define ARGS_SIZE_RTX(SIZE) \
- ((SIZE).var == 0 ? GEN_INT ((SIZE).constant) \
- : expand_normal (ARGS_SIZE_TREE (SIZE)))
- #define ASLK_REDUCE_ALIGN 1
- #define ASLK_RECORD_PAD 2
- extern void push_function_context (void);
- extern void pop_function_context (void);
- /* Save and restore status information for a nested function. */
- extern void free_after_parsing (struct function *);
- extern void free_after_compilation (struct function *);
- /* 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);
- extern rtx assign_stack_local_1 (machine_mode, HOST_WIDE_INT, int, int);
- extern rtx assign_stack_local (machine_mode, HOST_WIDE_INT, int);
- extern rtx assign_stack_temp_for_type (machine_mode, HOST_WIDE_INT, tree);
- extern rtx assign_stack_temp (machine_mode, HOST_WIDE_INT);
- extern rtx assign_temp (tree, int, int);
- extern void update_temp_slot_address (rtx, rtx);
- extern void preserve_temp_slots (rtx);
- extern void free_temp_slots (void);
- extern void push_temp_slots (void);
- extern void pop_temp_slots (void);
- extern void init_temp_slots (void);
- extern rtx get_hard_reg_initial_reg (rtx);
- extern rtx get_hard_reg_initial_val (machine_mode, unsigned int);
- extern rtx has_hard_reg_initial_val (machine_mode, unsigned int);
- /* Called from gimple_expand_cfg. */
- extern unsigned int emit_initial_value_sets (void);
- extern bool initial_value_entry (int i, rtx *, rtx *);
- extern void instantiate_decl_rtl (rtx x);
- extern int aggregate_value_p (const_tree, const_tree);
- extern bool use_register_for_decl (const_tree);
- extern bool pass_by_reference (CUMULATIVE_ARGS *, machine_mode,
- tree, bool);
- extern bool reference_callee_copied (CUMULATIVE_ARGS *, machine_mode,
- tree, bool);
- extern gimple_seq gimplify_parameters (void);
- extern void locate_and_pad_parm (machine_mode, tree, int, int, int,
- tree, struct args_size *,
- struct locate_and_pad_arg_data *);
- extern void generate_setjmp_warnings (void);
- /* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END},
- and create duplicate blocks. */
- extern void reorder_blocks (void);
- extern void clear_block_marks (tree);
- extern tree blocks_nreverse (tree);
- extern tree block_chainon (tree, tree);
- /* Set BLOCK_NUMBER for all the blocks in FN. */
- extern void number_blocks (tree);
- /* cfun shouldn't be set directly; use one of these functions instead. */
- extern void set_cfun (struct function *new_cfun);
- extern void push_cfun (struct function *new_cfun);
- extern void pop_cfun (void);
- extern int get_next_funcdef_no (void);
- extern int get_last_funcdef_no (void);
- extern void allocate_struct_function (tree, bool);
- extern void push_struct_function (tree fndecl);
- extern void init_dummy_function_start (void);
- extern void init_function_start (tree);
- extern void stack_protect_epilogue (void);
- extern void expand_function_start (tree);
- extern void expand_dummy_function_end (void);
- extern void thread_prologue_and_epilogue_insns (void);
- #ifdef RTX_CODE
- extern void diddle_return_value (void (*)(rtx, void*), void*);
- extern void clobber_return_register (void);
- #endif
- extern void do_warn_unused_parameter (tree);
- extern void expand_function_end (void);
- extern rtx get_arg_pointer_save_area (void);
- extern void maybe_copy_prologue_epilogue_insn (rtx, rtx);
- extern int prologue_epilogue_contains (const_rtx);
- extern void emit_return_into_block (bool simple_p, basic_block bb);
- extern void set_return_jump_label (rtx);
- extern bool active_insn_between (rtx_insn *head, rtx_insn *tail);
- extern vec<edge> convert_jumps_to_returns (basic_block last_bb, bool simple_p,
- vec<edge> unconverted);
- extern basic_block emit_return_for_exit (edge exit_fallthru_edge,
- bool simple_p);
- extern void reposition_prologue_and_epilogue_notes (void);
- /* Returns the name of the current function. */
- extern const char *fndecl_name (tree);
- extern const char *function_name (struct function *);
- extern const char *current_function_name (void);
- extern void used_types_insert (tree);
- #endif /* GCC_FUNCTION_H */
|