X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fexpr.h;h=b624413e080fb7af5cf7b10f11cf0bea4e127d51;hb=bce471493dbd17218e3acbc35ee809986ba855c0;hp=c7d600c60f7cda27b2d66bd8057f25f6133373b6;hpb=f0613857bfe9030adb2482f73961065d66cad236;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/expr.h b/gcc/expr.h index c7d600c60f7..b624413e080 100644 --- a/gcc/expr.h +++ b/gcc/expr.h @@ -1,6 +1,7 @@ /* Definitions for code generation pass of GNU compiler. Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, - 1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc. + 1999, 2000, 2001, 2002, 2003, 2004, 2005 + Free Software Foundation, Inc. This file is part of GCC. @@ -39,29 +40,9 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA #define BRANCH_COST 1 #endif -/* Macros to access the slots of a QUEUED rtx. - Here rather than in rtl.h because only the expansion pass - should ever encounter a QUEUED. */ - -/* The variable for which an increment is queued. */ -#define QUEUED_VAR(P) XEXP (P, 0) -/* If the increment has been emitted, this is the insn - that does the increment. It is zero before the increment is emitted. - If more than one insn is emitted, this is the first insn. */ -#define QUEUED_INSN(P) XEXP (P, 1) -/* If a pre-increment copy has been generated, this is the copy - (it is a temporary reg). Zero if no copy made yet. */ -#define QUEUED_COPY(P) XEXP (P, 2) -/* This is the body to use for the insn to do the increment. - It is used to emit the increment. */ -#define QUEUED_BODY(P) XEXP (P, 3) -/* Next QUEUED in the queue. */ -#define QUEUED_NEXT(P) XEXP (P, 4) - /* This is the 4th arg to `expand_expr'. EXPAND_STACK_PARM means we are possibly expanding a call param onto - the stack. Choosing a value of 2 isn't special; It just allows - some code optimization in store_expr. + the stack. EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx. EXPAND_INITIALIZER is similar but also record any labels on forced_labels. EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address @@ -69,7 +50,7 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA EXPAND_WRITE means we are only going to write to the resulting rtx. EXPAND_MEMORY means we are interested in a memory result, even if the memory is constant and we could have propagated a constant value. */ -enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM = 2, EXPAND_SUM, +enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM, EXPAND_SUM, EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE, EXPAND_MEMORY}; @@ -136,6 +117,8 @@ struct locate_and_pad_arg_data 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. */ @@ -203,27 +186,6 @@ do { \ #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) PARM_BOUNDARY #endif -#ifndef FUNCTION_ARG_PARTIAL_NREGS -#define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) 0 -#endif - -#ifndef FUNCTION_ARG_PASS_BY_REFERENCE -#define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) 0 -#endif - -#ifndef FUNCTION_ARG_CALLEE_COPIES -#define FUNCTION_ARG_CALLEE_COPIES(CUM, MODE, TYPE, NAMED) 0 -#endif - -tree split_complex_types (tree); -tree split_complex_values (tree); - -/* Nonzero if we do not know how to pass TYPE solely in registers. */ -extern bool default_must_pass_in_stack (enum machine_mode, tree); -#ifndef MUST_PASS_IN_STACK -#define MUST_PASS_IN_STACK(MODE,TYPE) default_must_pass_in_stack(MODE, TYPE) -#endif - /* Supply a default definition of STACK_SAVEAREA_MODE for emit_stack_save. Normally move_insn, so Pmode stack pointer. */ @@ -314,8 +276,7 @@ extern void emit_libcall_block (rtx, rtx, rtx, rtx); /* Create but don't emit one rtl instruction to perform certain operations. Modes must match; operands must meet the operation's predicates. - Likewise for subtraction and for just copying. - These do not call protect_from_queue; caller must do so. */ + Likewise for subtraction and for just copying. */ extern rtx gen_add2_insn (rtx, rtx); extern rtx gen_add3_insn (rtx, rtx, rtx); extern rtx gen_sub2_insn (rtx, rtx); @@ -332,6 +293,9 @@ extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx, /* Generate code to indirectly jump to a location given in the rtx LOC. */ extern void emit_indirect_jump (rtx); +/* Generate a conditional trap instruction. */ +extern rtx gen_cond_trap (enum rtx_code, rtx, rtx, rtx); + #include "insn-config.h" #ifdef HAVE_conditional_move @@ -363,32 +327,15 @@ extern rtx emit_store_flag (rtx, enum rtx_code, rtx, rtx, enum machine_mode, /* Like emit_store_flag, but always succeeds. */ extern rtx emit_store_flag_force (rtx, enum rtx_code, rtx, rtx, enum machine_mode, int, int); - -/* Functions from loop.c: */ - -/* Given an insn and condition, return a canonical description of - the test being made. */ -extern rtx canonicalize_condition (rtx, rtx, int, rtx *, rtx, int); - -/* Given a JUMP_INSN, return a canonical description of the test - being made. */ -extern rtx get_condition (rtx, rtx *, int); - -/* Generate a conditional trap instruction. */ -extern rtx gen_cond_trap (enum rtx_code, rtx, rtx, rtx); /* Functions from builtins.c: */ extern rtx expand_builtin (tree, rtx, rtx, enum machine_mode, int); extern tree std_build_builtin_va_list (void); extern void std_expand_builtin_va_start (tree, rtx); -extern rtx std_expand_builtin_va_arg (tree, tree); -extern rtx expand_builtin_va_arg (tree, tree); extern rtx default_expand_builtin (tree, rtx, rtx, enum machine_mode, int); extern void expand_builtin_setjmp_setup (rtx, rtx); extern void expand_builtin_setjmp_receiver (rtx); -extern void expand_builtin_longjmp (rtx, rtx); extern rtx expand_builtin_saveregs (void); -extern void expand_builtin_trap (void); /* Functions from expr.c: */ @@ -399,19 +346,6 @@ extern void init_expr_once (void); /* This is run at the start of compiling a function. */ extern void init_expr (void); -/* This is run at the end of compiling a function. */ -extern void finish_expr_for_function (void); - -/* Use protect_from_queue to convert a QUEUED expression - into something that you can put immediately into an instruction. */ -extern rtx protect_from_queue (rtx, int); - -/* Perform all the pending incrementations. */ -extern void emit_queue (void); - -/* Tell if something has a queued subexpression. */ -extern int queued_subexp_p (rtx); - /* Emit some rtl insns to move data between rtx's, converting machine modes. Both modes must be floating or both fixed. */ extern void convert_move (rtx, rtx, int); @@ -451,10 +385,16 @@ extern rtx gen_group_rtx (rtx); PARALLEL. */ extern void emit_group_load (rtx, rtx, tree, int); +/* Similarly, but load into new temporaries. */ +extern rtx emit_group_load_into_temps (rtx, rtx, tree, int); + /* Move a non-consecutive group of registers represented by a PARALLEL into a non-consecutive group of registers represented by a PARALLEL. */ extern void emit_group_move (rtx, rtx); +/* Move a group of registers represented by a PARALLEL into pseudos. */ +extern rtx emit_group_move_into_temps (rtx); + /* Store a BLKmode value from non-consecutive registers represented by a PARALLEL. */ extern void emit_group_store (rtx, rtx, tree, int); @@ -515,7 +455,7 @@ extern void emit_push_insn (rtx, enum machine_mode, tree, rtx, unsigned int, int, rtx, int, rtx, rtx, int, rtx); /* Expand an assignment that stores the value of FROM into TO. */ -extern rtx expand_assignment (tree, tree, int); +extern void expand_assignment (tree, tree); /* Generate code for computing expression EXP, and storing the value into TARGET. @@ -548,6 +488,9 @@ extern void expand_var (tree); arguments waiting to be popped. */ extern void init_pending_stack_adjust (void); +/* Discard any pending stack adjustment. */ +extern void discard_pending_stack_adjust (void); + /* When exiting from function, if safe, clear out any pending stack adjust so the adjustment won't get done. */ extern void clear_pending_stack_adjust (void); @@ -585,12 +528,6 @@ extern unsigned int case_values_threshold (void); /* Functions from alias.c */ #include "alias.h" -/* extern HOST_WIDE_INT get_varargs_alias_set (void); */ -/* extern HOST_WIDE_INT get_frame_alias_set (void); */ -/* extern void record_base_value (unsigned int, rtx, int); */ -/* extern void record_alias_subset (HOST_WIDE_INT, HOST_WIDE_INT); */ -/* extern HOST_WIDE_INT new_alias_set (void); */ -/* extern int can_address_p (tree); */ /* rtl.h and tree.h were included. */ @@ -601,19 +538,14 @@ extern rtx expr_size (tree); if the size can vary or is larger than an integer. */ extern HOST_WIDE_INT int_expr_size (tree); -/* Convert a stack slot address ADDR valid in function FNDECL - into an address valid in this function (using a static chain). */ -extern rtx fix_lexical_addr (rtx, tree); - -/* Return the address of the trampoline for entering nested fn FUNCTION. */ -extern rtx trampoline_address (tree); - /* Return an rtx that refers to the value returned by a function in its original home. This becomes invalid if any more code is emitted. */ extern rtx hard_function_value (tree, tree, int); extern rtx prepare_call_address (rtx, rtx, rtx *, int, int); +extern bool shift_return_value (enum machine_mode, bool, rtx); + extern rtx expand_call (tree, rtx, int); extern void fixup_tail_calls (void); @@ -697,11 +629,6 @@ extern rtx widen_memory_access (rtx, enum machine_mode, HOST_WIDE_INT); valid address. */ extern rtx validize_mem (rtx); -/* Given REF, either a MEM or a REG, and T, either the type of X or - the expression corresponding to REF, set RTX_UNCHANGING_P if - appropriate. */ -extern void maybe_set_unchanging (rtx, tree); - /* Given REF, a MEM, and T, either the type of X or the expression corresponding to REF, set the memory attributes. OBJECTP is nonzero if we are making a new object of this type. */ @@ -715,14 +642,6 @@ extern void set_mem_attributes_minus_bitpos (rtx, tree, int, HOST_WIDE_INT); /* Assemble the static constant template for function entry trampolines. */ extern rtx assemble_trampoline_template (void); -/* Given rtx, return new rtx whose address won't be affected by - any side effects. It has been copied to a new temporary reg. */ -extern rtx stabilize (rtx); - -/* Given an rtx, copy all regs it refers to into new temps - and return a modified copy that refers to the new temps. */ -extern rtx copy_all_regs (rtx); - /* Copy given rtx to a new temp reg and return that. */ extern rtx copy_to_reg (rtx); @@ -778,10 +697,6 @@ extern void probe_stack_range (HOST_WIDE_INT, rtx); in its original home. This becomes invalid if any more code is emitted. */ extern rtx hard_libcall_value (enum machine_mode); -/* Given an rtx, return an rtx for a value rounded up to a multiple - of STACK_BOUNDARY / BITS_PER_UNIT. */ -extern rtx round_push (rtx); - /* Return the mode desired by operand N of a particular bitfield insert/extract insn, or MAX_MACHINE_MODE if no such insn is available. */ @@ -791,12 +706,10 @@ extern enum machine_mode mode_for_extraction (enum extraction_pattern, int); extern rtx store_bit_field (rtx, unsigned HOST_WIDE_INT, - unsigned HOST_WIDE_INT, enum machine_mode, rtx, - HOST_WIDE_INT); + unsigned HOST_WIDE_INT, enum machine_mode, rtx); extern rtx extract_bit_field (rtx, unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT, int, rtx, - enum machine_mode, enum machine_mode, - HOST_WIDE_INT); + enum machine_mode, enum machine_mode); extern rtx expand_mult (enum machine_mode, rtx, rtx, rtx, int); extern bool const_mult_add_overflow_p (rtx, rtx, rtx, enum machine_mode, int); extern rtx expand_mult_add (rtx, rtx, rtx, rtx,enum machine_mode, int);