/* Structure for saving state for a nested function.
|
/* Structure for saving state for a nested function.
|
Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
|
Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
|
1999, 2000, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
|
1999, 2000, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
|
|
|
This file is part of GCC.
|
This file is part of GCC.
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
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
|
the terms of the GNU General Public License as published by the Free
|
Software Foundation; either version 3, or (at your option) any later
|
Software Foundation; either version 3, or (at your option) any later
|
version.
|
version.
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
for more details.
|
for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GCC; see the file COPYING3. If not see
|
along with GCC; see the file COPYING3. If not see
|
<http://www.gnu.org/licenses/>. */
|
<http://www.gnu.org/licenses/>. */
|
|
|
#ifndef GCC_FUNCTION_H
|
#ifndef GCC_FUNCTION_H
|
#define GCC_FUNCTION_H
|
#define GCC_FUNCTION_H
|
|
|
#include "tree.h"
|
#include "tree.h"
|
#include "hashtab.h"
|
#include "hashtab.h"
|
|
|
struct var_refs_queue GTY(())
|
struct var_refs_queue GTY(())
|
{
|
{
|
rtx modified;
|
rtx modified;
|
enum machine_mode promoted_mode;
|
enum machine_mode promoted_mode;
|
int unsignedp;
|
int unsignedp;
|
struct var_refs_queue *next;
|
struct var_refs_queue *next;
|
};
|
};
|
|
|
/* Stack of pending (incomplete) sequences saved by `start_sequence'.
|
/* Stack of pending (incomplete) sequences saved by `start_sequence'.
|
Each element describes one pending sequence.
|
Each element describes one pending sequence.
|
The main insn-chain is saved in the last element of the chain,
|
The main insn-chain is saved in the last element of the chain,
|
unless the chain is empty. */
|
unless the chain is empty. */
|
|
|
struct sequence_stack GTY(())
|
struct sequence_stack GTY(())
|
{
|
{
|
/* First and last insns in the chain of the saved sequence. */
|
/* First and last insns in the chain of the saved sequence. */
|
rtx first;
|
rtx first;
|
rtx last;
|
rtx last;
|
struct sequence_stack *next;
|
struct sequence_stack *next;
|
};
|
};
|
|
|
extern struct sequence_stack *sequence_stack;
|
extern struct sequence_stack *sequence_stack;
|
|
|
/* Stack of single obstacks. */
|
/* Stack of single obstacks. */
|
|
|
struct simple_obstack_stack
|
struct simple_obstack_stack
|
{
|
{
|
struct obstack *obstack;
|
struct obstack *obstack;
|
struct simple_obstack_stack *next;
|
struct simple_obstack_stack *next;
|
};
|
};
|
|
|
struct emit_status GTY(())
|
struct emit_status GTY(())
|
{
|
{
|
/* This is reset to LAST_VIRTUAL_REGISTER + 1 at the start of each function.
|
/* 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. */
|
After rtl generation, it is 1 plus the largest register number used. */
|
int x_reg_rtx_no;
|
int x_reg_rtx_no;
|
|
|
/* Lowest label number in current function. */
|
/* Lowest label number in current function. */
|
int x_first_label_num;
|
int x_first_label_num;
|
|
|
/* The ends of the doubly-linked chain of rtl for the current function.
|
/* 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.
|
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
|
start_sequence saves both of these on `sequence_stack' and then starts
|
a new, nested sequence of insns. */
|
a new, nested sequence of insns. */
|
rtx x_first_insn;
|
rtx x_first_insn;
|
rtx x_last_insn;
|
rtx x_last_insn;
|
|
|
/* Stack of pending (incomplete) sequences saved by `start_sequence'.
|
/* Stack of pending (incomplete) sequences saved by `start_sequence'.
|
Each element describes one pending sequence.
|
Each element describes one pending sequence.
|
The main insn-chain is saved in the last element of the chain,
|
The main insn-chain is saved in the last element of the chain,
|
unless the chain is empty. */
|
unless the chain is empty. */
|
struct sequence_stack *sequence_stack;
|
struct sequence_stack *sequence_stack;
|
|
|
/* INSN_UID for next insn emitted.
|
/* INSN_UID for next insn emitted.
|
Reset to 1 for each function compiled. */
|
Reset to 1 for each function compiled. */
|
int x_cur_insn_uid;
|
int x_cur_insn_uid;
|
|
|
/* Location the last line-number NOTE emitted.
|
/* Location the last line-number NOTE emitted.
|
This is used to avoid generating duplicates. */
|
This is used to avoid generating duplicates. */
|
location_t x_last_location;
|
location_t x_last_location;
|
|
|
/* The length of the regno_pointer_align, regno_decl, and x_regno_reg_rtx
|
/* 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
|
vectors. Since these vectors are needed during the expansion phase when
|
the total number of registers in the function is not yet known, the
|
the total number of registers in the function is not yet known, the
|
vectors are copied and made bigger when necessary. */
|
vectors are copied and made bigger when necessary. */
|
int regno_pointer_align_length;
|
int regno_pointer_align_length;
|
|
|
/* Indexed by pseudo register number, if nonzero gives the known alignment
|
/* Indexed by pseudo register number, if nonzero gives the known alignment
|
for that pseudo (if REG_POINTER is set in x_regno_reg_rtx).
|
for that pseudo (if REG_POINTER is set in x_regno_reg_rtx).
|
Allocated in parallel with x_regno_reg_rtx. */
|
Allocated in parallel with x_regno_reg_rtx. */
|
unsigned char * GTY ((length ("%h.x_reg_rtx_no")))
|
unsigned char * GTY ((length ("%h.x_reg_rtx_no")))
|
regno_pointer_align;
|
regno_pointer_align;
|
|
|
/* Indexed by pseudo register number, gives the rtx for that pseudo.
|
/* Indexed by pseudo register number, gives the rtx for that pseudo.
|
Allocated in parallel with regno_pointer_align. */
|
Allocated in parallel with regno_pointer_align. */
|
rtx * GTY ((length ("%h.x_reg_rtx_no"))) x_regno_reg_rtx;
|
rtx * GTY ((length ("%h.x_reg_rtx_no"))) x_regno_reg_rtx;
|
};
|
};
|
|
|
/* For backward compatibility... eventually these should all go away. */
|
/* For backward compatibility... eventually these should all go away. */
|
#define reg_rtx_no (cfun->emit->x_reg_rtx_no)
|
#define reg_rtx_no (cfun->emit->x_reg_rtx_no)
|
#define regno_reg_rtx (cfun->emit->x_regno_reg_rtx)
|
#define regno_reg_rtx (cfun->emit->x_regno_reg_rtx)
|
#define seq_stack (cfun->emit->sequence_stack)
|
#define seq_stack (cfun->emit->sequence_stack)
|
|
|
#define REGNO_POINTER_ALIGN(REGNO) (cfun->emit->regno_pointer_align[REGNO])
|
#define REGNO_POINTER_ALIGN(REGNO) (cfun->emit->regno_pointer_align[REGNO])
|
|
|
struct expr_status GTY(())
|
struct expr_status GTY(())
|
{
|
{
|
/* Number of units that we should eventually pop off the stack.
|
/* Number of units that we should eventually pop off the stack.
|
These are the arguments to function calls that have already returned. */
|
These are the arguments to function calls that have already returned. */
|
int x_pending_stack_adjust;
|
int x_pending_stack_adjust;
|
|
|
/* Under some ABIs, it is the caller's responsibility to pop arguments
|
/* Under some ABIs, it is the caller's responsibility to pop arguments
|
pushed for function calls. A naive implementation would simply pop
|
pushed for function calls. A naive implementation would simply pop
|
the arguments immediately after each call. However, if several
|
the arguments immediately after each call. However, if several
|
function calls are made in a row, it is typically cheaper to pop
|
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
|
all the arguments after all of the calls are complete since a
|
single pop instruction can be used. Therefore, GCC attempts to
|
single pop instruction can be used. Therefore, GCC attempts to
|
defer popping the arguments until absolutely necessary. (For
|
defer popping the arguments until absolutely necessary. (For
|
example, at the end of a conditional, the arguments must be popped,
|
example, at the end of a conditional, the arguments must be popped,
|
since code outside the conditional won't know whether or not the
|
since code outside the conditional won't know whether or not the
|
arguments need to be popped.)
|
arguments need to be popped.)
|
|
|
When INHIBIT_DEFER_POP is nonzero, however, the compiler does not
|
When INHIBIT_DEFER_POP is nonzero, however, the compiler does not
|
attempt to defer pops. Instead, the stack is popped immediately
|
attempt to defer pops. Instead, the stack is popped immediately
|
after each call. Rather then setting this variable directly, use
|
after each call. Rather then setting this variable directly, use
|
NO_DEFER_POP and OK_DEFER_POP. */
|
NO_DEFER_POP and OK_DEFER_POP. */
|
int x_inhibit_defer_pop;
|
int x_inhibit_defer_pop;
|
|
|
/* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack
|
/* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack
|
boundary can be momentarily unaligned while pushing the arguments.
|
boundary can be momentarily unaligned while pushing the arguments.
|
Record the delta since last aligned boundary here in order to get
|
Record the delta since last aligned boundary here in order to get
|
stack alignment in the nested function calls working right. */
|
stack alignment in the nested function calls working right. */
|
int x_stack_pointer_delta;
|
int x_stack_pointer_delta;
|
|
|
/* Nonzero means __builtin_saveregs has already been done in this function.
|
/* Nonzero means __builtin_saveregs has already been done in this function.
|
The value is the pseudoreg containing the value __builtin_saveregs
|
The value is the pseudoreg containing the value __builtin_saveregs
|
returned. */
|
returned. */
|
rtx x_saveregs_value;
|
rtx x_saveregs_value;
|
|
|
/* Similarly for __builtin_apply_args. */
|
/* Similarly for __builtin_apply_args. */
|
rtx x_apply_args_value;
|
rtx x_apply_args_value;
|
|
|
/* List of labels that must never be deleted. */
|
/* List of labels that must never be deleted. */
|
rtx x_forced_labels;
|
rtx x_forced_labels;
|
};
|
};
|
|
|
#define pending_stack_adjust (cfun->expr->x_pending_stack_adjust)
|
#define pending_stack_adjust (cfun->expr->x_pending_stack_adjust)
|
#define inhibit_defer_pop (cfun->expr->x_inhibit_defer_pop)
|
#define inhibit_defer_pop (cfun->expr->x_inhibit_defer_pop)
|
#define saveregs_value (cfun->expr->x_saveregs_value)
|
#define saveregs_value (cfun->expr->x_saveregs_value)
|
#define apply_args_value (cfun->expr->x_apply_args_value)
|
#define apply_args_value (cfun->expr->x_apply_args_value)
|
#define forced_labels (cfun->expr->x_forced_labels)
|
#define forced_labels (cfun->expr->x_forced_labels)
|
#define stack_pointer_delta (cfun->expr->x_stack_pointer_delta)
|
#define stack_pointer_delta (cfun->expr->x_stack_pointer_delta)
|
|
|
struct temp_slot;
|
struct temp_slot;
|
typedef struct temp_slot *temp_slot_p;
|
typedef struct temp_slot *temp_slot_p;
|
|
|
DEF_VEC_P(temp_slot_p);
|
DEF_VEC_P(temp_slot_p);
|
DEF_VEC_ALLOC_P(temp_slot_p,gc);
|
DEF_VEC_ALLOC_P(temp_slot_p,gc);
|
|
|
enum function_frequency {
|
enum function_frequency {
|
/* This function most likely won't be executed at all.
|
/* This function most likely won't be executed at all.
|
(set only when profile feedback is available). */
|
(set only when profile feedback is available). */
|
FUNCTION_FREQUENCY_UNLIKELY_EXECUTED,
|
FUNCTION_FREQUENCY_UNLIKELY_EXECUTED,
|
/* The default value. */
|
/* The default value. */
|
FUNCTION_FREQUENCY_NORMAL,
|
FUNCTION_FREQUENCY_NORMAL,
|
/* Optimize this function hard
|
/* Optimize this function hard
|
(set only when profile feedback is available). */
|
(set only when profile feedback is available). */
|
FUNCTION_FREQUENCY_HOT
|
FUNCTION_FREQUENCY_HOT
|
};
|
};
|
|
|
/* This structure can save all the important global and static variables
|
/* This structure can save all the important global and static variables
|
describing the status of the current function. */
|
describing the status of the current function. */
|
|
|
struct function GTY(())
|
struct function GTY(())
|
{
|
{
|
struct eh_status *eh;
|
struct eh_status *eh;
|
struct expr_status *expr;
|
struct expr_status *expr;
|
struct emit_status *emit;
|
struct emit_status *emit;
|
struct varasm_status *varasm;
|
struct varasm_status *varasm;
|
|
|
/* The control flow graph for this function. */
|
/* The control flow graph for this function. */
|
struct control_flow_graph *cfg;
|
struct control_flow_graph *cfg;
|
|
|
/* For function.c. */
|
/* For function.c. */
|
|
|
/* Points to the FUNCTION_DECL of this function. */
|
/* Points to the FUNCTION_DECL of this function. */
|
tree decl;
|
tree decl;
|
|
|
/* Function containing this function, if any. */
|
/* Function containing this function, if any. */
|
struct function *outer;
|
struct function *outer;
|
|
|
/* Number of bytes of args popped by function being compiled on its return.
|
/* Number of bytes of args popped by function being compiled on its return.
|
Zero if no bytes are to be popped.
|
Zero if no bytes are to be popped.
|
May affect compilation of return insn or of function epilogue. */
|
May affect compilation of return insn or of function epilogue. */
|
int pops_args;
|
int pops_args;
|
|
|
/* If function's args have a fixed size, this is that size, in bytes.
|
/* If function's args have a fixed size, this is that size, in bytes.
|
Otherwise, it is -1.
|
Otherwise, it is -1.
|
May affect compilation of return insn or of function epilogue. */
|
May affect compilation of return insn or of function epilogue. */
|
int args_size;
|
int args_size;
|
|
|
/* # bytes the prologue should push and pretend that the caller pushed them.
|
/* # 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
|
The prologue must do this, but only if parms can be passed in
|
registers. */
|
registers. */
|
int pretend_args_size;
|
int pretend_args_size;
|
|
|
/* # of bytes of outgoing arguments. If ACCUMULATE_OUTGOING_ARGS is
|
/* # of bytes of outgoing arguments. If ACCUMULATE_OUTGOING_ARGS is
|
defined, the needed space is pushed by the prologue. */
|
defined, the needed space is pushed by the prologue. */
|
int outgoing_args_size;
|
int outgoing_args_size;
|
|
|
/* This is the offset from the arg pointer to the place where the first
|
/* This is the offset from the arg pointer to the place where the first
|
anonymous arg can be found, if there is one. */
|
anonymous arg can be found, if there is one. */
|
rtx arg_offset_rtx;
|
rtx arg_offset_rtx;
|
|
|
/* Quantities of various kinds of registers
|
/* Quantities of various kinds of registers
|
used for the current function's args. */
|
used for the current function's args. */
|
CUMULATIVE_ARGS args_info;
|
CUMULATIVE_ARGS args_info;
|
|
|
/* If nonzero, an RTL expression for the location at which the current
|
/* If nonzero, an RTL expression for the location at which the current
|
function returns its result. If the current function returns its
|
function returns its result. If the current function returns its
|
result in a register, current_function_return_rtx will always be
|
result in a register, current_function_return_rtx will always be
|
the hard register containing the result. */
|
the hard register containing the result. */
|
rtx return_rtx;
|
rtx return_rtx;
|
|
|
/* The arg pointer hard register, or the pseudo into which it was copied. */
|
/* The arg pointer hard register, or the pseudo into which it was copied. */
|
rtx internal_arg_pointer;
|
rtx internal_arg_pointer;
|
|
|
/* Opaque pointer used by get_hard_reg_initial_val and
|
/* Opaque pointer used by get_hard_reg_initial_val and
|
has_hard_reg_initial_val (see integrate.[hc]). */
|
has_hard_reg_initial_val (see integrate.[hc]). */
|
struct initial_value_struct *hard_reg_initial_vals;
|
struct initial_value_struct *hard_reg_initial_vals;
|
|
|
/* List (chain of EXPR_LIST) of labels heading the current handlers for
|
/* List (chain of EXPR_LIST) of labels heading the current handlers for
|
nonlocal gotos. */
|
nonlocal gotos. */
|
rtx x_nonlocal_goto_handler_labels;
|
rtx x_nonlocal_goto_handler_labels;
|
|
|
/* Label that will go on function epilogue.
|
/* Label that will go on function epilogue.
|
Jumping to this label serves as a "return" instruction
|
Jumping to this label serves as a "return" instruction
|
on machines which require execution of the epilogue on all returns. */
|
on machines which require execution of the epilogue on all returns. */
|
rtx x_return_label;
|
rtx x_return_label;
|
|
|
/* Label that will go on the end of function epilogue.
|
/* Label that will go on the end of function epilogue.
|
Jumping to this label serves as a "naked return" instruction
|
Jumping to this label serves as a "naked return" instruction
|
on machines which require execution of the epilogue on all returns. */
|
on machines which require execution of the epilogue on all returns. */
|
rtx x_naked_return_label;
|
rtx x_naked_return_label;
|
|
|
/* List (chain of EXPR_LISTs) of all stack slots in this function.
|
/* List (chain of EXPR_LISTs) of all stack slots in this function.
|
Made for the sake of unshare_all_rtl. */
|
Made for the sake of unshare_all_rtl. */
|
rtx x_stack_slot_list;
|
rtx x_stack_slot_list;
|
|
|
/* Place after which to insert the tail_recursion_label if we need one. */
|
/* Place after which to insert the tail_recursion_label if we need one. */
|
rtx x_stack_check_probe_note;
|
rtx x_stack_check_probe_note;
|
|
|
/* Location at which to save the argument pointer if it will need to be
|
/* 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
|
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
|
exist, or if vars stored at an offset from the argument pointer will be
|
needed by inner routines. */
|
needed by inner routines. */
|
rtx x_arg_pointer_save_area;
|
rtx x_arg_pointer_save_area;
|
|
|
/* Offset to end of allocated area of stack frame.
|
/* 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 down, this is the address of the last stack slot allocated.
|
If stack grows up, this is the address for the next slot. */
|
If stack grows up, this is the address for the next slot. */
|
HOST_WIDE_INT x_frame_offset;
|
HOST_WIDE_INT x_frame_offset;
|
|
|
/* A PARM_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. */
|
It will be initialized at the beginning of the function. */
|
tree static_chain_decl;
|
tree static_chain_decl;
|
|
|
/* An expression that contains the non-local goto save area. The first
|
/* 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
|
word is the saved frame pointer and the second is the saved stack
|
pointer. */
|
pointer. */
|
tree nonlocal_goto_save_area;
|
tree nonlocal_goto_save_area;
|
|
|
/* Insn after which register parms and SAVE_EXPRs are born, if nonopt. */
|
/* Insn after which register parms and SAVE_EXPRs are born, if nonopt. */
|
rtx x_parm_birth_insn;
|
rtx x_parm_birth_insn;
|
|
|
/* List of all used temporaries allocated, by level. */
|
/* List of all used temporaries allocated, by level. */
|
VEC(temp_slot_p,gc) *x_used_temp_slots;
|
VEC(temp_slot_p,gc) *x_used_temp_slots;
|
|
|
/* List of available temp slots. */
|
/* List of available temp slots. */
|
struct temp_slot *x_avail_temp_slots;
|
struct temp_slot *x_avail_temp_slots;
|
|
|
/* This slot is initialized as 0 and is added to
|
/* This slot is initialized as 0 and is added to
|
during the nested function. */
|
during the nested function. */
|
struct var_refs_queue *fixup_var_refs_queue;
|
struct var_refs_queue *fixup_var_refs_queue;
|
|
|
/* Current nesting level for temporaries. */
|
/* Current nesting level for temporaries. */
|
int x_temp_slot_level;
|
int x_temp_slot_level;
|
|
|
/* Highest label number in current function. */
|
/* Highest label number in current function. */
|
int inl_max_label_num;
|
int inl_max_label_num;
|
|
|
/* Function sequence number for profiling, debugging, etc. */
|
/* Function sequence number for profiling, debugging, etc. */
|
int funcdef_no;
|
int funcdef_no;
|
|
|
/* For flow.c. */
|
/* For flow.c. */
|
|
|
/* Highest loop depth seen so far in loop analysis. Used in flow.c
|
/* Highest loop depth seen so far in loop analysis. Used in flow.c
|
for the "failure strategy" when doing liveness analysis starting
|
for the "failure strategy" when doing liveness analysis starting
|
with non-empty initial sets. */
|
with non-empty initial sets. */
|
int max_loop_depth;
|
int max_loop_depth;
|
|
|
/* For md files. */
|
/* For md files. */
|
|
|
/* tm.h can use this to store whatever it likes. */
|
/* tm.h can use this to store whatever it likes. */
|
struct machine_function * GTY ((maybe_undef)) machine;
|
struct machine_function * GTY ((maybe_undef)) machine;
|
|
|
/* The largest alignment of slot allocated on the stack. */
|
/* The largest alignment of slot allocated on the stack. */
|
unsigned int stack_alignment_needed;
|
unsigned int stack_alignment_needed;
|
|
|
/* Preferred alignment of the end of stack frame. */
|
/* Preferred alignment of the end of stack frame. */
|
unsigned int preferred_stack_boundary;
|
unsigned int preferred_stack_boundary;
|
|
|
/* Language-specific code can use this to store whatever it likes. */
|
/* Language-specific code can use this to store whatever it likes. */
|
struct language_function * language;
|
struct language_function * language;
|
|
|
/* Used types hash table. */
|
/* Used types hash table. */
|
htab_t GTY ((param_is (union tree_node))) used_types_hash;
|
htab_t GTY ((param_is (union tree_node))) used_types_hash;
|
|
|
/* For reorg. */
|
/* For reorg. */
|
|
|
/* If some insns can be deferred to the delay slots of the epilogue, the
|
/* If some insns can be deferred to the delay slots of the epilogue, the
|
delay list for them is recorded here. */
|
delay list for them is recorded here. */
|
rtx epilogue_delay_list;
|
rtx epilogue_delay_list;
|
|
|
/* Maximal number of entities in the single jumptable. Used to estimate
|
/* Maximal number of entities in the single jumptable. Used to estimate
|
final flowgraph size. */
|
final flowgraph size. */
|
int max_jumptable_ents;
|
int max_jumptable_ents;
|
|
|
/* UIDs for LABEL_DECLs. */
|
/* UIDs for LABEL_DECLs. */
|
int last_label_uid;
|
int last_label_uid;
|
|
|
/* Line number of the end of the function. */
|
/* Line number of the end of the function. */
|
location_t function_end_locus;
|
location_t function_end_locus;
|
|
|
/* Array mapping insn uids to blocks. */
|
/* Array mapping insn uids to blocks. */
|
VEC(tree,gc) *ib_boundaries_block;
|
VEC(tree,gc) *ib_boundaries_block;
|
|
|
/* The variables unexpanded so far. */
|
/* The variables unexpanded so far. */
|
tree unexpanded_var_list;
|
tree unexpanded_var_list;
|
|
|
/* Assembly labels for the hot and cold text sections, to
|
/* Assembly labels for the hot and cold text sections, to
|
be used by debugger functions for determining the size of text
|
be used by debugger functions for determining the size of text
|
sections. */
|
sections. */
|
|
|
const char *hot_section_label;
|
const char *hot_section_label;
|
const char *cold_section_label;
|
const char *cold_section_label;
|
const char *hot_section_end_label;
|
const char *hot_section_end_label;
|
const char *cold_section_end_label;
|
const char *cold_section_end_label;
|
|
|
/* String to be used for name of cold text sections, via
|
/* String to be used for name of cold text sections, via
|
targetm.asm_out.named_section. */
|
targetm.asm_out.named_section. */
|
|
|
const char *unlikely_text_section_name;
|
const char *unlikely_text_section_name;
|
|
|
/* A variable living at the top of the frame that holds a known value.
|
/* A variable living at the top of the frame that holds a known value.
|
Used for detecting stack clobbers. */
|
Used for detecting stack clobbers. */
|
tree stack_protect_guard;
|
tree stack_protect_guard;
|
|
|
/* Collected bit flags. */
|
/* Collected bit flags. */
|
|
|
/* Nonzero if function being compiled needs to be given an address
|
/* Nonzero if function being compiled needs to be given an address
|
where the value should be stored. */
|
where the value should be stored. */
|
unsigned int returns_struct : 1;
|
unsigned int returns_struct : 1;
|
|
|
/* Nonzero if function being compiled needs to
|
/* Nonzero if function being compiled needs to
|
return the address of where it has put a structure value. */
|
return the address of where it has put a structure value. */
|
unsigned int returns_pcc_struct : 1;
|
unsigned int returns_pcc_struct : 1;
|
|
|
/* Nonzero if the current function returns a pointer type. */
|
/* Nonzero if the current function returns a pointer type. */
|
unsigned int returns_pointer : 1;
|
unsigned int returns_pointer : 1;
|
|
|
/* Nonzero if function being compiled can call setjmp. */
|
/* Nonzero if function being compiled can call setjmp. */
|
unsigned int calls_setjmp : 1;
|
unsigned int calls_setjmp : 1;
|
|
|
/* Nonzero if function being compiled can call alloca,
|
/* Nonzero if function being compiled can call alloca,
|
either as a subroutine or builtin. */
|
either as a subroutine or builtin. */
|
unsigned int calls_alloca : 1;
|
unsigned int calls_alloca : 1;
|
|
|
/* Nonzero if function being compiled called builtin_return_addr or
|
/* Nonzero if function being compiled called builtin_return_addr or
|
builtin_frame_address with nonzero count. */
|
builtin_frame_address with nonzero count. */
|
unsigned int accesses_prior_frames : 1;
|
unsigned int accesses_prior_frames : 1;
|
|
|
/* Nonzero if the function calls __builtin_eh_return. */
|
/* Nonzero if the function calls __builtin_eh_return. */
|
unsigned int calls_eh_return : 1;
|
unsigned int calls_eh_return : 1;
|
|
|
/* Nonzero if function being compiled receives nonlocal gotos
|
/* Nonzero if function being compiled receives nonlocal gotos
|
from nested functions. */
|
from nested functions. */
|
unsigned int has_nonlocal_label : 1;
|
unsigned int has_nonlocal_label : 1;
|
|
|
/* Nonzero if function being compiled has nonlocal gotos to parent
|
/* Nonzero if function being compiled has nonlocal gotos to parent
|
function. */
|
function. */
|
unsigned int has_nonlocal_goto : 1;
|
unsigned int has_nonlocal_goto : 1;
|
|
|
/* Nonzero if the current function is a thunk, i.e., a lightweight
|
/* Nonzero if the current function is a thunk, i.e., a lightweight
|
function implemented by the output_mi_thunk hook) that just
|
function implemented by the output_mi_thunk hook) that just
|
adjusts one of its arguments and forwards to another
|
adjusts one of its arguments and forwards to another
|
function. */
|
function. */
|
unsigned int is_thunk : 1;
|
unsigned int is_thunk : 1;
|
|
|
/* This bit is used by the exception handling logic. It is set if all
|
/* 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
|
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
|
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
|
function, however, should be treated as throwing if any of its callees
|
can throw. */
|
can throw. */
|
unsigned int all_throwers_are_sibcalls : 1;
|
unsigned int all_throwers_are_sibcalls : 1;
|
|
|
/* Nonzero if profiling code should be generated. */
|
/* Nonzero if profiling code should be generated. */
|
unsigned int profile : 1;
|
unsigned int profile : 1;
|
|
|
/* Nonzero if stack limit checking should be enabled in the current
|
/* Nonzero if stack limit checking should be enabled in the current
|
function. */
|
function. */
|
unsigned int limit_stack : 1;
|
unsigned int limit_stack : 1;
|
|
|
/* Nonzero if current function uses stdarg.h or equivalent. */
|
/* Nonzero if current function uses stdarg.h or equivalent. */
|
unsigned int stdarg : 1;
|
unsigned int stdarg : 1;
|
|
|
/* Nonzero if the back-end should not keep track of expressions that
|
/* Nonzero if the back-end should not keep track of expressions that
|
determine the size of variable-sized objects. Normally, such
|
determine the size of variable-sized objects. Normally, such
|
expressions are saved away, and then expanded when the next
|
expressions are saved away, and then expanded when the next
|
function is started. For example, if a parameter has a
|
function is started. For example, if a parameter has a
|
variable-sized type, then the size of the parameter is computed
|
variable-sized type, then the size of the parameter is computed
|
when the function body is entered. However, some front-ends do
|
when the function body is entered. However, some front-ends do
|
not desire this behavior. */
|
not desire this behavior. */
|
unsigned int x_dont_save_pending_sizes_p : 1;
|
unsigned int x_dont_save_pending_sizes_p : 1;
|
|
|
/* Nonzero if the current function uses the constant pool. */
|
/* Nonzero if the current function uses the constant pool. */
|
unsigned int uses_const_pool : 1;
|
unsigned int uses_const_pool : 1;
|
|
|
/* Nonzero if the current function uses pic_offset_table_rtx. */
|
/* Nonzero if the current function uses pic_offset_table_rtx. */
|
unsigned int uses_pic_offset_table : 1;
|
unsigned int uses_pic_offset_table : 1;
|
|
|
/* Nonzero if the current function needs an lsda for exception handling. */
|
/* Nonzero if the current function needs an lsda for exception handling. */
|
unsigned int uses_eh_lsda : 1;
|
unsigned int uses_eh_lsda : 1;
|
|
|
/* Nonzero if code to initialize arg_pointer_save_area has been emitted. */
|
/* Nonzero if code to initialize arg_pointer_save_area has been emitted. */
|
unsigned int arg_pointer_save_area_init : 1;
|
unsigned int arg_pointer_save_area_init : 1;
|
|
|
unsigned int after_inlining : 1;
|
unsigned int after_inlining : 1;
|
|
|
/* Set when the call to function itself has been emit. */
|
/* Set when the call to function itself has been emit. */
|
unsigned int recursive_call_emit : 1;
|
unsigned int recursive_call_emit : 1;
|
|
|
/* Set when the tail call has been produced. */
|
/* Set when the tail call has been produced. */
|
unsigned int tail_call_emit : 1;
|
unsigned int tail_call_emit : 1;
|
|
|
/* How commonly executed the function is. Initialized during branch
|
/* How commonly executed the function is. Initialized during branch
|
probabilities pass. */
|
probabilities pass. */
|
ENUM_BITFIELD (function_frequency) function_frequency : 2;
|
ENUM_BITFIELD (function_frequency) function_frequency : 2;
|
|
|
/* Number of units of general registers that need saving in stdarg
|
/* Number of units of general registers that need saving in stdarg
|
function. What unit is depends on the backend, either it is number
|
function. What unit is depends on the backend, either it is number
|
of bytes, or it can be number of registers. */
|
of bytes, or it can be number of registers. */
|
unsigned int va_list_gpr_size : 8;
|
unsigned int va_list_gpr_size : 8;
|
|
|
/* Number of units of floating point registers that need saving in stdarg
|
/* Number of units of floating point registers that need saving in stdarg
|
function. */
|
function. */
|
unsigned int va_list_fpr_size : 8;
|
unsigned int va_list_fpr_size : 8;
|
};
|
};
|
|
|
/* If va_list_[gf]pr_size is set to this, it means we don't know how
|
/* If va_list_[gf]pr_size is set to this, it means we don't know how
|
many units need to be saved. */
|
many units need to be saved. */
|
#define VA_LIST_MAX_GPR_SIZE 255
|
#define VA_LIST_MAX_GPR_SIZE 255
|
#define VA_LIST_MAX_FPR_SIZE 255
|
#define VA_LIST_MAX_FPR_SIZE 255
|
|
|
/* The function currently being compiled. */
|
/* The function currently being compiled. */
|
extern GTY(()) struct function *cfun;
|
extern GTY(()) struct function *cfun;
|
|
|
/* Pointer to chain of `struct function' for containing functions. */
|
/* Pointer to chain of `struct function' for containing functions. */
|
extern GTY(()) struct function *outer_function_chain;
|
extern GTY(()) struct function *outer_function_chain;
|
|
|
/* Nonzero if we've already converted virtual regs to hard regs. */
|
/* Nonzero if we've already converted virtual regs to hard regs. */
|
extern int virtuals_instantiated;
|
extern int virtuals_instantiated;
|
|
|
/* Nonzero if at least one trampoline has been created. */
|
/* Nonzero if at least one trampoline has been created. */
|
extern int trampolines_created;
|
extern int trampolines_created;
|
|
|
/* For backward compatibility... eventually these should all go away. */
|
/* For backward compatibility... eventually these should all go away. */
|
#define current_function_pops_args (cfun->pops_args)
|
#define current_function_pops_args (cfun->pops_args)
|
#define current_function_returns_struct (cfun->returns_struct)
|
#define current_function_returns_struct (cfun->returns_struct)
|
#define current_function_returns_pcc_struct (cfun->returns_pcc_struct)
|
#define current_function_returns_pcc_struct (cfun->returns_pcc_struct)
|
#define current_function_returns_pointer (cfun->returns_pointer)
|
#define current_function_returns_pointer (cfun->returns_pointer)
|
#define current_function_calls_setjmp (cfun->calls_setjmp)
|
#define current_function_calls_setjmp (cfun->calls_setjmp)
|
#define current_function_calls_alloca (cfun->calls_alloca)
|
#define current_function_calls_alloca (cfun->calls_alloca)
|
#define current_function_accesses_prior_frames (cfun->accesses_prior_frames)
|
#define current_function_accesses_prior_frames (cfun->accesses_prior_frames)
|
#define current_function_calls_eh_return (cfun->calls_eh_return)
|
#define current_function_calls_eh_return (cfun->calls_eh_return)
|
#define current_function_is_thunk (cfun->is_thunk)
|
#define current_function_is_thunk (cfun->is_thunk)
|
#define current_function_args_info (cfun->args_info)
|
#define current_function_args_info (cfun->args_info)
|
#define current_function_args_size (cfun->args_size)
|
#define current_function_args_size (cfun->args_size)
|
#define current_function_pretend_args_size (cfun->pretend_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_outgoing_args_size (cfun->outgoing_args_size)
|
#define current_function_arg_offset_rtx (cfun->arg_offset_rtx)
|
#define current_function_arg_offset_rtx (cfun->arg_offset_rtx)
|
#define current_function_stdarg (cfun->stdarg)
|
#define current_function_stdarg (cfun->stdarg)
|
#define current_function_internal_arg_pointer (cfun->internal_arg_pointer)
|
#define current_function_internal_arg_pointer (cfun->internal_arg_pointer)
|
#define current_function_return_rtx (cfun->return_rtx)
|
#define current_function_return_rtx (cfun->return_rtx)
|
#define current_function_profile (cfun->profile)
|
#define current_function_profile (cfun->profile)
|
#define current_function_funcdef_no (cfun->funcdef_no)
|
#define current_function_funcdef_no (cfun->funcdef_no)
|
#define current_function_limit_stack (cfun->limit_stack)
|
#define current_function_limit_stack (cfun->limit_stack)
|
#define current_function_uses_pic_offset_table (cfun->uses_pic_offset_table)
|
#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_uses_const_pool (cfun->uses_const_pool)
|
#define current_function_epilogue_delay_list (cfun->epilogue_delay_list)
|
#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_label (cfun->has_nonlocal_label)
|
#define current_function_has_nonlocal_goto (cfun->has_nonlocal_goto)
|
#define current_function_has_nonlocal_goto (cfun->has_nonlocal_goto)
|
|
|
#define return_label (cfun->x_return_label)
|
#define return_label (cfun->x_return_label)
|
#define naked_return_label (cfun->x_naked_return_label)
|
#define naked_return_label (cfun->x_naked_return_label)
|
#define stack_slot_list (cfun->x_stack_slot_list)
|
#define stack_slot_list (cfun->x_stack_slot_list)
|
#define parm_birth_insn (cfun->x_parm_birth_insn)
|
#define parm_birth_insn (cfun->x_parm_birth_insn)
|
#define frame_offset (cfun->x_frame_offset)
|
#define frame_offset (cfun->x_frame_offset)
|
#define stack_check_probe_note (cfun->x_stack_check_probe_note)
|
#define stack_check_probe_note (cfun->x_stack_check_probe_note)
|
#define arg_pointer_save_area (cfun->x_arg_pointer_save_area)
|
#define arg_pointer_save_area (cfun->x_arg_pointer_save_area)
|
#define used_temp_slots (cfun->x_used_temp_slots)
|
#define used_temp_slots (cfun->x_used_temp_slots)
|
#define avail_temp_slots (cfun->x_avail_temp_slots)
|
#define avail_temp_slots (cfun->x_avail_temp_slots)
|
#define temp_slot_level (cfun->x_temp_slot_level)
|
#define temp_slot_level (cfun->x_temp_slot_level)
|
#define nonlocal_goto_handler_labels (cfun->x_nonlocal_goto_handler_labels)
|
#define nonlocal_goto_handler_labels (cfun->x_nonlocal_goto_handler_labels)
|
|
|
/* Given a function decl for a containing function,
|
/* Given a function decl for a containing function,
|
return the `struct function' for it. */
|
return the `struct function' for it. */
|
struct function *find_function_data (tree);
|
struct function *find_function_data (tree);
|
|
|
/* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END},
|
/* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END},
|
and create duplicate blocks. */
|
and create duplicate blocks. */
|
extern void reorder_blocks (void);
|
extern void reorder_blocks (void);
|
|
|
/* Set BLOCK_NUMBER for all the blocks in FN. */
|
/* Set BLOCK_NUMBER for all the blocks in FN. */
|
extern void number_blocks (tree);
|
extern void number_blocks (tree);
|
|
|
extern void clear_block_marks (tree);
|
extern void clear_block_marks (tree);
|
extern tree blocks_nreverse (tree);
|
extern tree blocks_nreverse (tree);
|
extern void reset_block_changes (void);
|
extern void reset_block_changes (void);
|
extern void record_block_change (tree);
|
extern void record_block_change (tree);
|
extern void finalize_block_changes (void);
|
extern void finalize_block_changes (void);
|
extern void check_block_change (rtx, tree *);
|
extern void check_block_change (rtx, tree *);
|
extern void free_block_changes (void);
|
extern void free_block_changes (void);
|
|
|
/* Return size needed for stack frame based on slots so far allocated.
|
/* Return size needed for stack frame based on slots so far allocated.
|
This size counts from zero. It is not rounded to STACK_BOUNDARY;
|
This size counts from zero. It is not rounded to STACK_BOUNDARY;
|
the caller may have to do that. */
|
the caller may have to do that. */
|
extern HOST_WIDE_INT get_frame_size (void);
|
extern HOST_WIDE_INT get_frame_size (void);
|
|
|
/* Issue an error message and return TRUE if frame OFFSET overflows in
|
/* Issue an error message and return TRUE if frame OFFSET overflows in
|
the signed target pointer arithmetics for function FUNC. Otherwise
|
the signed target pointer arithmetics for function FUNC. Otherwise
|
return FALSE. */
|
return FALSE. */
|
extern bool frame_offset_overflow (HOST_WIDE_INT, tree);
|
extern bool frame_offset_overflow (HOST_WIDE_INT, tree);
|
|
|
/* A pointer to a function to create target specific, per-function
|
/* A pointer to a function to create target specific, per-function
|
data structures. */
|
data structures. */
|
extern struct machine_function * (*init_machine_status) (void);
|
extern struct machine_function * (*init_machine_status) (void);
|
|
|
/* Save and restore status information for a nested function. */
|
/* Save and restore status information for a nested function. */
|
extern void free_after_parsing (struct function *);
|
extern void free_after_parsing (struct function *);
|
extern void free_after_compilation (struct function *);
|
extern void free_after_compilation (struct function *);
|
|
|
extern void init_varasm_status (struct function *);
|
extern void init_varasm_status (struct function *);
|
|
|
#ifdef RTX_CODE
|
#ifdef RTX_CODE
|
extern void diddle_return_value (void (*)(rtx, void*), void*);
|
extern void diddle_return_value (void (*)(rtx, void*), void*);
|
extern void clobber_return_register (void);
|
extern void clobber_return_register (void);
|
#endif
|
#endif
|
|
|
extern rtx get_arg_pointer_save_area (struct function *);
|
extern rtx get_arg_pointer_save_area (struct function *);
|
|
|
/* Returns the name of the current function. */
|
/* Returns the name of the current function. */
|
extern const char *current_function_name (void);
|
extern const char *current_function_name (void);
|
|
|
extern void do_warn_unused_parameter (tree);
|
extern void do_warn_unused_parameter (tree);
|
|
|
extern bool pass_by_reference (CUMULATIVE_ARGS *, enum machine_mode,
|
extern bool pass_by_reference (CUMULATIVE_ARGS *, enum machine_mode,
|
tree, bool);
|
tree, bool);
|
extern bool reference_callee_copied (CUMULATIVE_ARGS *, enum machine_mode,
|
extern bool reference_callee_copied (CUMULATIVE_ARGS *, enum machine_mode,
|
tree, bool);
|
tree, bool);
|
|
|
extern void used_types_insert (tree);
|
extern void used_types_insert (tree);
|
|
|
#endif /* GCC_FUNCTION_H */
|
#endif /* GCC_FUNCTION_H */
|
|
|
