-/* Function integration definitions for GNU C-Compiler
- Copyright (C) 1990, 1995, 1998 Free Software Foundation, Inc.
+/* Function integration definitions for GCC
+ Copyright (C) 1990, 1995, 1998, 1999, 2000, 2001, 2003, 2004, 2005,
+ 2007 Free Software Foundation, Inc.
-This file is part of GNU CC.
+This file is part of GCC.
-GNU CC 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 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.
-GNU CC 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.
+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 GNU CC; see the file COPYING. If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA. */
+along with GCC; see the file COPYING3. If not see
+<http://www.gnu.org/licenses/>. */
#include "varray.h"
-/* This structure is used to remap objects in the function being inlined to
- those belonging to the calling function. It is passed by
- expand_inline_function to its children.
+extern rtx get_hard_reg_initial_val (enum machine_mode, unsigned int);
+extern rtx has_hard_reg_initial_val (enum machine_mode, unsigned int);
+/* If a pseudo represents an initial hard reg (or expression), return
+ it, else return NULL_RTX. */
+extern rtx get_hard_reg_initial_reg (struct function *, rtx);
+/* Called from rest_of_compilation. */
+extern unsigned int emit_initial_value_sets (void);
+extern void allocate_initial_values (rtx *);
- This structure is also used when unrolling loops and otherwise
- replicating code, although not all fields are needed in this case;
- only those fields needed by copy_rtx_and_substitute() and its children
- are used.
+/* Check whether there's any attribute in a function declaration that
+ makes the function uninlinable. Returns false if it finds any,
+ true otherwise. */
+extern bool function_attribute_inlinable_p (const_tree);
- This structure is used instead of static variables because
- expand_inline_function may be called recursively via expand_expr. */
-
-struct inline_remap
-{
- /* True if we are doing function integration, false otherwise.
- Used to control whether RTX_UNCHANGING bits are copied by
- copy_rtx_and_substitute. */
- int integrating;
- /* Definition of function be inlined. */
- union tree_node *fndecl;
- /* Place to put insns needed at start of function. */
- rtx insns_at_start;
- /* Mapping from old registers to new registers.
- It is allocated and deallocated in `expand_inline_function' */
- rtx *reg_map;
- /* Mapping from old code-labels to new code-labels.
- The first element of this map is label_map[min_labelno]. */
- rtx *label_map;
- /* Mapping from old insn uid's to copied insns. The first element
- of this map is insn_map[min_insnno]; the last element is
- insn_map[max_insnno]. We keep the bounds here for when the map
- only covers a partial range of insns (such as loop unrolling or
- code replication). */
- rtx *insn_map;
- int min_insnno, max_insnno;
-
- /* Map pseudo reg number in calling function to equivalent constant. We
- cannot in general substitute constants into parameter pseudo registers,
- since some machine descriptions (many RISCs) won't always handle
- the resulting insns. So if an incoming parameter has a constant
- equivalent, we record it here, and if the resulting insn is
- recognizable, we go with it.
-
- We also use this mechanism to convert references to incoming arguments
- and stacked variables. copy_rtx_and_substitute will replace the virtual
- incoming argument and virtual stacked variables registers with new
- pseudos that contain pointers into the replacement area allocated for
- this inline instance. These pseudos are then marked as being equivalent
- to the appropriate address and substituted if valid. */
- varray_type const_equiv_varray;
- /* This is incremented for each new basic block.
- It is used to store in the age field to record the domain of validity
- of each entry in const_equiv_varray.
- A value of -1 indicates an entry for a reg which is a parm.
- All other values are "positive". */
-#define CONST_AGE_PARM (-1)
- unsigned int const_age;
-
- /* Target of the inline function being expanded, or NULL if none. */
- rtx inline_target;
- /* When an insn is being copied by copy_rtx_and_substitute,
- this is nonzero if we have copied an ASM_OPERANDS.
- In that case, it is the original input-operand vector. */
- rtvec orig_asm_operands_vector;
- /* When an insn is being copied by copy_rtx_and_substitute,
- this is nonzero if we have copied an ASM_OPERANDS.
- In that case, it is the copied input-operand vector. */
- rtvec copy_asm_operands_vector;
- /* Likewise, this is the copied constraints vector. */
- rtvec copy_asm_constraints_vector;
-
- /* Indications for regs being pointers and their alignment. */
- char *regno_pointer_flag;
- char *regno_pointer_align;
-
- /* The next few fields are used for subst_constants to record the SETs
- that it saw. */
- int num_sets;
- struct equiv_table
- {
- rtx dest;
- rtx equiv;
- } equiv_sets[MAX_RECOG_OPERANDS];
- /* Record the last thing assigned to pc. This is used for folded
- conditional branch insns. */
- rtx last_pc_value;
-#ifdef HAVE_cc0
- /* Record the last thing assigned to cc0. */
- rtx last_cc0_value;
-#endif
-};
-
-/* Return a copy of an rtx (as needed), substituting pseudo-register,
- labels, and frame-pointer offsets as necessary. */
-extern rtx copy_rtx_and_substitute PROTO((rtx, struct inline_remap *));
-
-extern void try_constants PROTO((rtx, struct inline_remap *));
-
-extern void mark_stores PROTO((rtx, rtx));
-
-/* Return the label indicated. */
-extern rtx get_label_from_map PROTO((struct inline_remap *, int));
-
-/* Set the label indicated. */
-#define set_label_in_map(MAP, I, X) ((MAP)->label_map[I] = (X))
-
-/* Unfortunately, we need a global copy of const_equiv varray for
- communication with a function called from note_stores. Be *very*
- careful that this is used properly in the presence of recursion. */
-
-extern varray_type global_const_equiv_varray;
-
-#define MAYBE_EXTEND_CONST_EQUIV_VARRAY(MAP,MAX) \
- { \
- if ((MAX) >= VARRAY_SIZE ((MAP)->const_equiv_varray)) \
- { \
- int is_global = (global_const_equiv_varray \
- == (MAP)->const_equiv_varray); \
- VARRAY_GROW ((MAP)->const_equiv_varray, (MAX)+1); \
- if (is_global) \
- global_const_equiv_varray = (MAP)->const_equiv_varray; \
- } \
- }
-
-#define SET_CONST_EQUIV_DATA(MAP,REG,RTX,AGE) \
- { \
- struct const_equiv_data *p; \
- MAYBE_EXTEND_CONST_EQUIV_VARRAY ((MAP), REGNO (REG)); \
- p = &VARRAY_CONST_EQUIV ((MAP)->const_equiv_varray, REGNO (REG)); \
- p->rtx = (RTX); \
- p->age = (AGE); \
- }