X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Freload.h;h=166d2ab0647724e59155ed2ea0c2ea0885d10bfc;hb=c32202c135c8b81d031829bf16372fe7d5505b8c;hp=5159c4763a6404705c4e14070d9d57b159928847;hpb=13592517181829b642b65865eab0cd0eaa1ab1ca;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/reload.h b/gcc/reload.h index 5159c4763a6..166d2ab0647 100644 --- a/gcc/reload.h +++ b/gcc/reload.h @@ -1,22 +1,23 @@ /* Communication between reload.c and reload1.c. - Copyright (C) 1987, 91-95, 97, 1998 Free Software Foundation, Inc. + Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1997, 1998, + 1999, 2000, 2001, 2003 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 2, 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 COPYING. If not, write to the Free +Software Foundation, 59 Temple Place - Suite 330, Boston, MA +02111-1307, USA. */ /* If secondary reloads are the same for inputs and outputs, define those @@ -43,7 +44,7 @@ Boston, MA 02111-1307, USA. */ #define MEMORY_MOVE_COST(MODE,CLASS,IN) 4 #endif #endif -extern int memory_move_secondary_cost PROTO ((enum machine_mode, enum reg_class, int)); +extern int memory_move_secondary_cost (enum machine_mode, enum reg_class, int); /* Maximum number of reloads we can need. */ #define MAX_RELOADS (2 * MAX_RECOG_OPERANDS * (MAX_REGS_PER_ADDRESS + 1)) @@ -67,21 +68,21 @@ extern int memory_move_secondary_cost PROTO ((enum machine_mode, enum reg_class, reloads; usually secondary reloads RELOAD_OTHER none of the above, usually multiple uses RELOAD_FOR_OTHER_ADDRESS reload for part of the address of an input - that is marked RELOAD_OTHER. + that is marked RELOAD_OTHER. This used to be "enum reload_when_needed" but some debuggers have trouble with an enum tag and variable of the same name. */ enum reload_type { - RELOAD_FOR_INPUT, RELOAD_FOR_OUTPUT, RELOAD_FOR_INSN, + RELOAD_FOR_INPUT, RELOAD_FOR_OUTPUT, RELOAD_FOR_INSN, RELOAD_FOR_INPUT_ADDRESS, RELOAD_FOR_INPADDR_ADDRESS, RELOAD_FOR_OUTPUT_ADDRESS, RELOAD_FOR_OUTADDR_ADDRESS, RELOAD_FOR_OPERAND_ADDRESS, RELOAD_FOR_OPADDR_ADDR, RELOAD_OTHER, RELOAD_FOR_OTHER_ADDRESS }; -#ifdef MAX_INSN_CODE +#ifdef GCC_INSN_CODES_H /* Each reload is recorded with a structure like this. */ struct reload { @@ -100,10 +101,10 @@ struct reload enum machine_mode outmode; /* The mode of the reload register. */ - enum mode; + enum machine_mode mode; /* the largest number of registers this reload will require. */ - int nregs; + unsigned int nregs; /* Positive amount to increment or decrement by if reload_in is a PRE_DEC, PRE_INC, POST_DEC, POST_INC. @@ -146,7 +147,7 @@ struct reload addressing an output, for addressing a non-reloaded mem ref, or for unspecified purposes (i.e., more than one of the above). */ enum reload_type when_needed; - + /* Nonzero for an optional reload. Optional reloads are ignored unless the value is already sitting in a register. */ unsigned int optional:1; @@ -163,6 +164,7 @@ extern struct reload rld[MAX_RELOADS]; extern int n_reloads; #endif +extern GTY (()) struct varray_head_tag *reg_equiv_memory_loc_varray; extern rtx *reg_equiv_constant; extern rtx *reg_equiv_memory_loc; extern rtx *reg_equiv_address; @@ -182,7 +184,7 @@ extern int reload_first_uid; /* Nonzero if indirect addressing is supported when the innermost MEM is of the form (MEM (SYMBOL_REF sym)). It is assumed that the level to - which these are valid is the same as spill_indirect_levels, above. */ + which these are valid is the same as spill_indirect_levels, above. */ extern char indirect_symref_ok; @@ -191,14 +193,6 @@ extern char double_reg_address_ok; extern int num_not_at_initial_offset; -#ifdef MAX_INSN_CODE -/* These arrays record the insn_code of insns that may be needed to - perform input and output reloads of special objects. They provide a - place to pass a scratch register. */ -extern enum insn_code reload_in_optab[]; -extern enum insn_code reload_out_optab[]; -#endif - struct needs { /* [0] is normal, [1] is nongroup. */ @@ -210,9 +204,9 @@ struct needs /* This structure describes instructions which are relevant for reload. Apart from all regular insns, this also includes CODE_LABELs, since they must be examined for register elimination. */ -struct insn_chain +struct insn_chain { - /* Links to the neighbour instructions. */ + /* Links to the neighbor instructions. */ struct insn_chain *next, *prev; /* Link through a chains set up by calculate_needs_all_insns, containing @@ -224,32 +218,13 @@ struct insn_chain /* The rtx of the insn. */ rtx insn; /* Register life information: record all live hard registers, and all - live pseudos that have a hard register. - This information is recorded for the point immediately before the insn - (in live_before), and for the point within the insn at which all - outputs have just been written to (in live_after). */ - regset live_before; - regset live_after; - - /* For each class, size of group of consecutive regs - that is needed for the reloads of this class. */ - char group_size[N_REG_CLASSES]; - /* For each class, the machine mode which requires consecutive - groups of regs of that class. - If two different modes ever require groups of one class, - they must be the same size and equally restrictive for that class, - otherwise we can't handle the complexity. */ - enum machine_mode group_mode[N_REG_CLASSES]; - - /* Indicates if a register was counted against the need for - groups. 0 means it can count against max_nongroup instead. */ - HARD_REG_SET counted_for_groups; - - /* Indicates if a register was counted against the need for - non-groups. 0 means it can become part of a new group. - During choose_reload_regs, 1 here means don't use this reg - as part of a group, even if it seems to be otherwise ok. */ - HARD_REG_SET counted_for_nongroups; + live pseudos that have a hard register. */ + regset_head live_throughout; + regset_head dead_or_set; + + /* Copies of the global variables computed by find_reloads. */ + struct reload *rld; + int n_reloads; /* Indicates which registers have already been used for spills. */ HARD_REG_SET used_spill_regs; @@ -273,128 +248,144 @@ struct insn_chain extern struct insn_chain *reload_insn_chain; /* Allocate a new insn_chain structure. */ -extern struct insn_chain *new_insn_chain PROTO((void)); +extern struct insn_chain *new_insn_chain (void); -extern void compute_use_by_pseudos PROTO((HARD_REG_SET *, regset)); +extern void compute_use_by_pseudos (HARD_REG_SET *, regset); #endif /* Functions from reload.c: */ -/* Return a memory location that will be used to copy X in mode MODE. +/* Return a memory location that will be used to copy X in mode MODE. If we haven't already made a location for this mode in this insn, call find_reloads_address on the location being returned. */ -extern rtx get_secondary_mem PROTO((rtx, enum machine_mode, - int, enum reload_type)); +extern rtx get_secondary_mem (rtx, enum machine_mode, int, enum reload_type); /* Clear any secondary memory locations we've made. */ -extern void clear_secondary_mem PROTO((void)); +extern void clear_secondary_mem (void); /* Transfer all replacements that used to be in reload FROM to be in reload TO. */ -extern void transfer_replacements PROTO((int, int)); +extern void transfer_replacements (int, int); /* IN_RTX is the value loaded by a reload that we now decided to inherit, or a subpart of it. If we have any replacements registered for IN_RTX, - chancel the reloads that were supposed to load them. - Return non-zero if we chanceled any reloads. */ -extern int remove_address_replacements PROTO((rtx in_rtx)); + cancel the reloads that were supposed to load them. + Return nonzero if we canceled any reloads. */ +extern int remove_address_replacements (rtx in_rtx); /* Like rtx_equal_p except that it allows a REG and a SUBREG to match if they are the same hard reg, and has special hacks for autoincrement and autodecrement. */ -extern int operands_match_p PROTO((rtx, rtx)); +extern int operands_match_p (rtx, rtx); -/* Return 1 if altering OP will not modify the value of CLOBBER. */ -extern int safe_from_earlyclobber PROTO((rtx, rtx)); +/* Return 1 if altering OP will not modify the value of CLOBBER. */ +extern int safe_from_earlyclobber (rtx, rtx); /* Search the body of INSN for values that need reloading and record them with push_reload. REPLACE nonzero means record also where the values occur so that subst_reloads can be used. */ -extern int find_reloads PROTO((rtx, int, int, int, short *)); +extern int find_reloads (rtx, int, int, int, short *); /* Compute the sum of X and Y, making canonicalizations assumed in an address, namely: sum constant integers, surround the sum of two constants with a CONST, put the constant as the second operand, and group the constant on the outermost sum. */ -extern rtx form_sum PROTO((rtx, rtx)); +extern rtx form_sum (rtx, rtx); /* Substitute into the current INSN the registers into which we have reloaded the things that need reloading. */ -extern void subst_reloads PROTO((void)); +extern void subst_reloads (rtx); /* Make a copy of any replacements being done into X and move those copies to locations in Y, a copy of X. We only look at the highest level of the RTL. */ -extern void copy_replacements PROTO((rtx, rtx)); +extern void copy_replacements (rtx, rtx); /* Change any replacements being done to *X to be done to *Y */ -extern void move_replacements PROTO((rtx *x, rtx *y)); +extern void move_replacements (rtx *x, rtx *y); /* If LOC was scheduled to be replaced by something, return the replacement. Otherwise, return *LOC. */ -extern rtx find_replacement PROTO((rtx *)); +extern rtx find_replacement (rtx *); /* Return nonzero if register in range [REGNO, ENDREGNO) appears either explicitly or implicitly in X other than being stored into. */ -extern int refers_to_regno_for_reload_p PROTO((int, int, rtx, rtx *)); +extern int refers_to_regno_for_reload_p (unsigned int, unsigned int, + rtx, rtx *); /* Nonzero if modifying X will affect IN. */ -extern int reg_overlap_mentioned_for_reload_p PROTO((rtx, rtx)); +extern int reg_overlap_mentioned_for_reload_p (rtx, rtx); /* Return nonzero if anything in X contains a MEM. Look also for pseudo registers. */ -extern int refers_to_mem_for_reload_p PROTO((rtx)); +extern int refers_to_mem_for_reload_p (rtx); /* Check the insns before INSN to see if there is a suitable register containing the same value as GOAL. */ -extern rtx find_equiv_reg PROTO((rtx, rtx, enum reg_class, int, short *, - int, enum machine_mode)); +extern rtx find_equiv_reg (rtx, rtx, enum reg_class, int, short *, + int, enum machine_mode); /* Return 1 if register REGNO is the subject of a clobber in insn INSN. */ -extern int regno_clobbered_p PROTO((int, rtx)); +extern int regno_clobbered_p (unsigned int, rtx, enum machine_mode, int); -/* Functions in reload1.c: */ +/* Return 1 if X is an operand of an insn that is being earlyclobbered. */ +extern int earlyclobber_operand_p (rtx); -extern int reloads_conflict PROTO ((int, int)); +/* Record one reload that needs to be performed. */ +extern int push_reload (rtx, rtx, rtx *, rtx *, enum reg_class, + enum machine_mode, enum machine_mode, + int, int, int, enum reload_type); -int count_occurrences PROTO((rtx, rtx)); +/* Functions in postreload.c: */ +extern void reload_cse_regs (rtx); + +/* Functions in reload1.c: */ +extern int reloads_conflict (int, int); /* Initialize the reload pass once per compilation. */ -extern void init_reload PROTO((void)); +extern void init_reload (void); /* The reload pass itself. */ -extern int reload PROTO((rtx, int, FILE *)); +extern int reload (rtx, int); /* Mark the slots in regs_ever_live for the hard regs used by pseudo-reg number REGNO. */ -extern void mark_home_live PROTO((int)); +extern void mark_home_live (int); /* Scan X and replace any eliminable registers (such as fp) with a replacement (such as sp), plus an offset. */ -extern rtx eliminate_regs PROTO((rtx, enum machine_mode, rtx)); +extern rtx eliminate_regs (rtx, enum machine_mode, rtx); /* Emit code to perform a reload from IN (which may be a reload register) to OUT (which may also be a reload register). IN or OUT is from operand OPNUM with reload type TYPE. */ -extern rtx gen_reload PROTO((rtx, rtx, int, enum reload_type)); +extern rtx gen_reload (rtx, rtx, int, enum reload_type); /* Deallocate the reload register used by reload number R. */ -extern void deallocate_reload_reg PROTO((int r)); +extern void deallocate_reload_reg (int r); /* Functions in caller-save.c: */ /* Initialize for caller-save. */ -extern void init_caller_save PROTO((void)); +extern void init_caller_save (void); /* Initialize save areas by showing that we haven't allocated any yet. */ -extern void init_save_areas PROTO((void)); +extern void init_save_areas (void); /* Allocate save areas for any hard registers that might need saving. */ -extern void setup_save_areas PROTO((void)); +extern void setup_save_areas (void); /* Find the places where hard regs are live across calls and save them. */ -extern void save_call_clobbered_regs PROTO((void)); +extern void save_call_clobbered_regs (void); /* Replace (subreg (reg)) with the appropriate (reg) for any operands. */ -extern void cleanup_subreg_operands PROTO ((rtx)); +extern void cleanup_subreg_operands (rtx); + +/* Debugging support. */ +extern void debug_reload_to_stream (FILE *); +extern void debug_reload (void); + +/* Compute the actual register we should reload to, in case we're + reloading to/from a register that is wider than a word. */ +extern rtx reload_adjust_reg_for_mode (rtx, enum machine_mode);