X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fintegrate.h;h=7c562f9daef2d7bf3a0cf9b3d73081547d80f08a;hb=fc8788d51783c21bb740f5a6dc13d5c5bd13bb9b;hp=94bf2e738d4791b1f50f91240a9a0affbf98135a;hpb=00ea394c37c227f4e347df07e6feec200285367f;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/integrate.h b/gcc/integrate.h index 94bf2e738d4..7c562f9daef 100644 --- a/gcc/integrate.h +++ b/gcc/integrate.h @@ -1,12 +1,12 @@ /* Function integration definitions for GCC - Copyright (C) 1990, 1995, 1998, 1999, 2000, 2001, 2003 - Free Software Foundation, Inc. + Copyright (C) 1990, 1995, 1998, 1999, 2000, 2001, 2003, 2004, 2005, + 2007, 2008 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 +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 @@ -15,179 +15,20 @@ 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, 59 Temple Place - Suite 330, Boston, MA -02111-1307, USA. */ +along with GCC; see the file COPYING3. If not see +. */ -#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. - - 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. - - 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. */ - tree fndecl; - /* Place to put insns needed at start of function. */ - rtx insns_at_start; - /* Mapping from old BLOCKs to new BLOCKs. */ - varray_type block_map; - /* Mapping from old registers to new registers. - It is allocated and deallocated in `expand_inline_function' */ - rtx *reg_map; -#if defined (LEAF_REGISTERS) && defined (LEAF_REG_REMAP) - /* Mapping from old leaf registers to new leaf registers. */ - rtx leaf_reg_map[FIRST_PSEUDO_REGISTER][NUM_MACHINE_MODES]; -#endif - /* 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; - - /* Target of a return insn, if needed and inlining. */ - rtx local_return_label; - - /* Indications for regs being pointers and their alignment. */ - unsigned char *regno_pointer_align; - rtx *x_regno_reg_rtx; - - /* 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 - /* Note mode of COMPARE if the mode would be otherwise lost (comparing of - two VOIDmode constants. */ - rtx compare_src; - enum machine_mode compare_mode; -}; - -/* Return a copy of an rtx (as needed), substituting pseudo-register, - labels, and frame-pointer offsets as necessary. */ -extern rtx copy_rtx_and_substitute (rtx, struct inline_remap *, int); - -/* Return a pseudo that corresponds to the value in the specified hard - reg as of the start of the function (for inlined functions, the - value at the start of the parent function). */ -extern rtx get_hard_reg_initial_val (enum machine_mode, int); -/* Likewise, but for a different than the current function, or - arbitrary expression. */ -extern rtx get_func_hard_reg_initial_val (struct function *, rtx); -/* Likewise, but iff someone else has caused it to become allocated. */ -extern rtx has_func_hard_reg_initial_val (struct function *, rtx); -/* Likewise, but for common cases. */ -extern rtx has_hard_reg_initial_val (enum machine_mode, int); +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); +extern rtx get_hard_reg_initial_reg (rtx); /* Called from rest_of_compilation. */ -extern void emit_initial_value_sets (void); +extern unsigned int emit_initial_value_sets (void); extern void allocate_initial_values (rtx *); -/* Copy a declaration when one function is substituted inline into - another. */ -extern tree copy_decl_for_inlining (tree, tree, tree); - /* 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 (tree); - -extern void try_constants (rtx, struct inline_remap *); - -/* Return the label indicated. */ -extern rtx get_label_from_map (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 ((size_t)(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; \ - } \ - } +extern bool function_attribute_inlinable_p (const_tree); -#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); \ - }