OSDN Git Service

2008-12-09 Tobias Grosser <grosser@fim.uni-passau.de>
[pf3gnuchains/gcc-fork.git] / gcc / calls.c
1 /* Convert function calls to rtl insns, for GNU C compiler.
2    Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
4    Free Software Foundation, Inc.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3.  If not see
20 <http://www.gnu.org/licenses/>.  */
21
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "tm.h"
26 #include "rtl.h"
27 #include "tree.h"
28 #include "gimple.h"
29 #include "flags.h"
30 #include "expr.h"
31 #include "optabs.h"
32 #include "libfuncs.h"
33 #include "function.h"
34 #include "regs.h"
35 #include "toplev.h"
36 #include "output.h"
37 #include "tm_p.h"
38 #include "timevar.h"
39 #include "sbitmap.h"
40 #include "langhooks.h"
41 #include "target.h"
42 #include "cgraph.h"
43 #include "except.h"
44 #include "dbgcnt.h"
45 #include "tree-flow.h"
46
47 /* Like PREFERRED_STACK_BOUNDARY but in units of bytes, not bits.  */
48 #define STACK_BYTES (PREFERRED_STACK_BOUNDARY / BITS_PER_UNIT)
49
50 /* Data structure and subroutines used within expand_call.  */
51
52 struct arg_data
53 {
54   /* Tree node for this argument.  */
55   tree tree_value;
56   /* Mode for value; TYPE_MODE unless promoted.  */
57   enum machine_mode mode;
58   /* Current RTL value for argument, or 0 if it isn't precomputed.  */
59   rtx value;
60   /* Initially-compute RTL value for argument; only for const functions.  */
61   rtx initial_value;
62   /* Register to pass this argument in, 0 if passed on stack, or an
63      PARALLEL if the arg is to be copied into multiple non-contiguous
64      registers.  */
65   rtx reg;
66   /* Register to pass this argument in when generating tail call sequence.
67      This is not the same register as for normal calls on machines with
68      register windows.  */
69   rtx tail_call_reg;
70   /* If REG is a PARALLEL, this is a copy of VALUE pulled into the correct
71      form for emit_group_move.  */
72   rtx parallel_value;
73   /* If REG was promoted from the actual mode of the argument expression,
74      indicates whether the promotion is sign- or zero-extended.  */
75   int unsignedp;
76   /* Number of bytes to put in registers.  0 means put the whole arg
77      in registers.  Also 0 if not passed in registers.  */
78   int partial;
79   /* Nonzero if argument must be passed on stack.
80      Note that some arguments may be passed on the stack
81      even though pass_on_stack is zero, just because FUNCTION_ARG says so.
82      pass_on_stack identifies arguments that *cannot* go in registers.  */
83   int pass_on_stack;
84   /* Some fields packaged up for locate_and_pad_parm.  */
85   struct locate_and_pad_arg_data locate;
86   /* Location on the stack at which parameter should be stored.  The store
87      has already been done if STACK == VALUE.  */
88   rtx stack;
89   /* Location on the stack of the start of this argument slot.  This can
90      differ from STACK if this arg pads downward.  This location is known
91      to be aligned to FUNCTION_ARG_BOUNDARY.  */
92   rtx stack_slot;
93   /* Place that this stack area has been saved, if needed.  */
94   rtx save_area;
95   /* If an argument's alignment does not permit direct copying into registers,
96      copy in smaller-sized pieces into pseudos.  These are stored in a
97      block pointed to by this field.  The next field says how many
98      word-sized pseudos we made.  */
99   rtx *aligned_regs;
100   int n_aligned_regs;
101 };
102
103 /* A vector of one char per byte of stack space.  A byte if nonzero if
104    the corresponding stack location has been used.
105    This vector is used to prevent a function call within an argument from
106    clobbering any stack already set up.  */
107 static char *stack_usage_map;
108
109 /* Size of STACK_USAGE_MAP.  */
110 static int highest_outgoing_arg_in_use;
111
112 /* A bitmap of virtual-incoming stack space.  Bit is set if the corresponding
113    stack location's tail call argument has been already stored into the stack.
114    This bitmap is used to prevent sibling call optimization if function tries
115    to use parent's incoming argument slots when they have been already
116    overwritten with tail call arguments.  */
117 static sbitmap stored_args_map;
118
119 /* stack_arg_under_construction is nonzero when an argument may be
120    initialized with a constructor call (including a C function that
121    returns a BLKmode struct) and expand_call must take special action
122    to make sure the object being constructed does not overlap the
123    argument list for the constructor call.  */
124 static int stack_arg_under_construction;
125
126 static void emit_call_1 (rtx, tree, tree, tree, HOST_WIDE_INT, HOST_WIDE_INT,
127                          HOST_WIDE_INT, rtx, rtx, int, rtx, int,
128                          CUMULATIVE_ARGS *);
129 static void precompute_register_parameters (int, struct arg_data *, int *);
130 static int store_one_arg (struct arg_data *, rtx, int, int, int);
131 static void store_unaligned_arguments_into_pseudos (struct arg_data *, int);
132 static int finalize_must_preallocate (int, int, struct arg_data *,
133                                       struct args_size *);
134 static void precompute_arguments (int, struct arg_data *);
135 static int compute_argument_block_size (int, struct args_size *, tree, tree, int);
136 static void initialize_argument_information (int, struct arg_data *,
137                                              struct args_size *, int,
138                                              tree, tree,
139                                              tree, tree, CUMULATIVE_ARGS *, int,
140                                              rtx *, int *, int *, int *,
141                                              bool *, bool);
142 static void compute_argument_addresses (struct arg_data *, rtx, int);
143 static rtx rtx_for_function_call (tree, tree);
144 static void load_register_parameters (struct arg_data *, int, rtx *, int,
145                                       int, int *);
146 static rtx emit_library_call_value_1 (int, rtx, rtx, enum libcall_type,
147                                       enum machine_mode, int, va_list);
148 static int special_function_p (const_tree, int);
149 static int check_sibcall_argument_overlap_1 (rtx);
150 static int check_sibcall_argument_overlap (rtx, struct arg_data *, int);
151
152 static int combine_pending_stack_adjustment_and_call (int, struct args_size *,
153                                                       unsigned int);
154 static tree split_complex_types (tree);
155
156 #ifdef REG_PARM_STACK_SPACE
157 static rtx save_fixed_argument_area (int, rtx, int *, int *);
158 static void restore_fixed_argument_area (rtx, rtx, int, int);
159 #endif
160 \f
161 /* Force FUNEXP into a form suitable for the address of a CALL,
162    and return that as an rtx.  Also load the static chain register
163    if FNDECL is a nested function.
164
165    CALL_FUSAGE points to a variable holding the prospective
166    CALL_INSN_FUNCTION_USAGE information.  */
167
168 rtx
169 prepare_call_address (rtx funexp, rtx static_chain_value,
170                       rtx *call_fusage, int reg_parm_seen, int sibcallp)
171 {
172   /* Make a valid memory address and copy constants through pseudo-regs,
173      but not for a constant address if -fno-function-cse.  */
174   if (GET_CODE (funexp) != SYMBOL_REF)
175     /* If we are using registers for parameters, force the
176        function address into a register now.  */
177     funexp = ((SMALL_REGISTER_CLASSES && reg_parm_seen)
178               ? force_not_mem (memory_address (FUNCTION_MODE, funexp))
179               : memory_address (FUNCTION_MODE, funexp));
180   else if (! sibcallp)
181     {
182 #ifndef NO_FUNCTION_CSE
183       if (optimize && ! flag_no_function_cse)
184         funexp = force_reg (Pmode, funexp);
185 #endif
186     }
187
188   if (static_chain_value != 0)
189     {
190       static_chain_value = convert_memory_address (Pmode, static_chain_value);
191       emit_move_insn (static_chain_rtx, static_chain_value);
192
193       if (REG_P (static_chain_rtx))
194         use_reg (call_fusage, static_chain_rtx);
195     }
196
197   return funexp;
198 }
199
200 /* Generate instructions to call function FUNEXP,
201    and optionally pop the results.
202    The CALL_INSN is the first insn generated.
203
204    FNDECL is the declaration node of the function.  This is given to the
205    macro RETURN_POPS_ARGS to determine whether this function pops its own args.
206
207    FUNTYPE is the data type of the function.  This is given to the macro
208    RETURN_POPS_ARGS to determine whether this function pops its own args.
209    We used to allow an identifier for library functions, but that doesn't
210    work when the return type is an aggregate type and the calling convention
211    says that the pointer to this aggregate is to be popped by the callee.
212
213    STACK_SIZE is the number of bytes of arguments on the stack,
214    ROUNDED_STACK_SIZE is that number rounded up to
215    PREFERRED_STACK_BOUNDARY; zero if the size is variable.  This is
216    both to put into the call insn and to generate explicit popping
217    code if necessary.
218
219    STRUCT_VALUE_SIZE is the number of bytes wanted in a structure value.
220    It is zero if this call doesn't want a structure value.
221
222    NEXT_ARG_REG is the rtx that results from executing
223      FUNCTION_ARG (args_so_far, VOIDmode, void_type_node, 1)
224    just after all the args have had their registers assigned.
225    This could be whatever you like, but normally it is the first
226    arg-register beyond those used for args in this call,
227    or 0 if all the arg-registers are used in this call.
228    It is passed on to `gen_call' so you can put this info in the call insn.
229
230    VALREG is a hard register in which a value is returned,
231    or 0 if the call does not return a value.
232
233    OLD_INHIBIT_DEFER_POP is the value that `inhibit_defer_pop' had before
234    the args to this call were processed.
235    We restore `inhibit_defer_pop' to that value.
236
237    CALL_FUSAGE is either empty or an EXPR_LIST of USE expressions that
238    denote registers used by the called function.  */
239
240 static void
241 emit_call_1 (rtx funexp, tree fntree, tree fndecl ATTRIBUTE_UNUSED,
242              tree funtype ATTRIBUTE_UNUSED,
243              HOST_WIDE_INT stack_size ATTRIBUTE_UNUSED,
244              HOST_WIDE_INT rounded_stack_size,
245              HOST_WIDE_INT struct_value_size ATTRIBUTE_UNUSED,
246              rtx next_arg_reg ATTRIBUTE_UNUSED, rtx valreg,
247              int old_inhibit_defer_pop, rtx call_fusage, int ecf_flags,
248              CUMULATIVE_ARGS *args_so_far ATTRIBUTE_UNUSED)
249 {
250   rtx rounded_stack_size_rtx = GEN_INT (rounded_stack_size);
251   rtx call_insn;
252   int already_popped = 0;
253   HOST_WIDE_INT n_popped = RETURN_POPS_ARGS (fndecl, funtype, stack_size);
254 #if defined (HAVE_call) && defined (HAVE_call_value)
255   rtx struct_value_size_rtx;
256   struct_value_size_rtx = GEN_INT (struct_value_size);
257 #endif
258
259 #ifdef CALL_POPS_ARGS
260   n_popped += CALL_POPS_ARGS (* args_so_far);
261 #endif
262
263   /* Ensure address is valid.  SYMBOL_REF is already valid, so no need,
264      and we don't want to load it into a register as an optimization,
265      because prepare_call_address already did it if it should be done.  */
266   if (GET_CODE (funexp) != SYMBOL_REF)
267     funexp = memory_address (FUNCTION_MODE, funexp);
268
269 #if defined (HAVE_sibcall_pop) && defined (HAVE_sibcall_value_pop)
270   if ((ecf_flags & ECF_SIBCALL)
271       && HAVE_sibcall_pop && HAVE_sibcall_value_pop
272       && (n_popped > 0 || stack_size == 0))
273     {
274       rtx n_pop = GEN_INT (n_popped);
275       rtx pat;
276
277       /* If this subroutine pops its own args, record that in the call insn
278          if possible, for the sake of frame pointer elimination.  */
279
280       if (valreg)
281         pat = GEN_SIBCALL_VALUE_POP (valreg,
282                                      gen_rtx_MEM (FUNCTION_MODE, funexp),
283                                      rounded_stack_size_rtx, next_arg_reg,
284                                      n_pop);
285       else
286         pat = GEN_SIBCALL_POP (gen_rtx_MEM (FUNCTION_MODE, funexp),
287                                rounded_stack_size_rtx, next_arg_reg, n_pop);
288
289       emit_call_insn (pat);
290       already_popped = 1;
291     }
292   else
293 #endif
294
295 #if defined (HAVE_call_pop) && defined (HAVE_call_value_pop)
296   /* If the target has "call" or "call_value" insns, then prefer them
297      if no arguments are actually popped.  If the target does not have
298      "call" or "call_value" insns, then we must use the popping versions
299      even if the call has no arguments to pop.  */
300 #if defined (HAVE_call) && defined (HAVE_call_value)
301   if (HAVE_call && HAVE_call_value && HAVE_call_pop && HAVE_call_value_pop
302       && n_popped > 0)
303 #else
304   if (HAVE_call_pop && HAVE_call_value_pop)
305 #endif
306     {
307       rtx n_pop = GEN_INT (n_popped);
308       rtx pat;
309
310       /* If this subroutine pops its own args, record that in the call insn
311          if possible, for the sake of frame pointer elimination.  */
312
313       if (valreg)
314         pat = GEN_CALL_VALUE_POP (valreg,
315                                   gen_rtx_MEM (FUNCTION_MODE, funexp),
316                                   rounded_stack_size_rtx, next_arg_reg, n_pop);
317       else
318         pat = GEN_CALL_POP (gen_rtx_MEM (FUNCTION_MODE, funexp),
319                             rounded_stack_size_rtx, next_arg_reg, n_pop);
320
321       emit_call_insn (pat);
322       already_popped = 1;
323     }
324   else
325 #endif
326
327 #if defined (HAVE_sibcall) && defined (HAVE_sibcall_value)
328   if ((ecf_flags & ECF_SIBCALL)
329       && HAVE_sibcall && HAVE_sibcall_value)
330     {
331       if (valreg)
332         emit_call_insn (GEN_SIBCALL_VALUE (valreg,
333                                            gen_rtx_MEM (FUNCTION_MODE, funexp),
334                                            rounded_stack_size_rtx,
335                                            next_arg_reg, NULL_RTX));
336       else
337         emit_call_insn (GEN_SIBCALL (gen_rtx_MEM (FUNCTION_MODE, funexp),
338                                      rounded_stack_size_rtx, next_arg_reg,
339                                      struct_value_size_rtx));
340     }
341   else
342 #endif
343
344 #if defined (HAVE_call) && defined (HAVE_call_value)
345   if (HAVE_call && HAVE_call_value)
346     {
347       if (valreg)
348         emit_call_insn (GEN_CALL_VALUE (valreg,
349                                         gen_rtx_MEM (FUNCTION_MODE, funexp),
350                                         rounded_stack_size_rtx, next_arg_reg,
351                                         NULL_RTX));
352       else
353         emit_call_insn (GEN_CALL (gen_rtx_MEM (FUNCTION_MODE, funexp),
354                                   rounded_stack_size_rtx, next_arg_reg,
355                                   struct_value_size_rtx));
356     }
357   else
358 #endif
359     gcc_unreachable ();
360
361   /* Find the call we just emitted.  */
362   call_insn = last_call_insn ();
363
364   /* Put the register usage information there.  */
365   add_function_usage_to (call_insn, call_fusage);
366
367   /* If this is a const call, then set the insn's unchanging bit.  */
368   if (ecf_flags & ECF_CONST)
369     RTL_CONST_CALL_P (call_insn) = 1;
370
371   /* If this is a pure call, then set the insn's unchanging bit.  */
372   if (ecf_flags & ECF_PURE)
373     RTL_PURE_CALL_P (call_insn) = 1;
374
375   /* If this is a const call, then set the insn's unchanging bit.  */
376   if (ecf_flags & ECF_LOOPING_CONST_OR_PURE)
377     RTL_LOOPING_CONST_OR_PURE_CALL_P (call_insn) = 1;
378
379   /* If this call can't throw, attach a REG_EH_REGION reg note to that
380      effect.  */
381   if (ecf_flags & ECF_NOTHROW)
382     add_reg_note (call_insn, REG_EH_REGION, const0_rtx);
383   else
384     {
385       int rn = lookup_expr_eh_region (fntree);
386
387       /* If rn < 0, then either (1) tree-ssa not used or (2) doesn't
388          throw, which we already took care of.  */
389       if (rn > 0)
390         add_reg_note (call_insn, REG_EH_REGION, GEN_INT (rn));
391     }
392
393   if (ecf_flags & ECF_NORETURN)
394     add_reg_note (call_insn, REG_NORETURN, const0_rtx);
395
396   if (ecf_flags & ECF_RETURNS_TWICE)
397     {
398       add_reg_note (call_insn, REG_SETJMP, const0_rtx);
399       cfun->calls_setjmp = 1;
400     }
401
402   SIBLING_CALL_P (call_insn) = ((ecf_flags & ECF_SIBCALL) != 0);
403
404   /* Restore this now, so that we do defer pops for this call's args
405      if the context of the call as a whole permits.  */
406   inhibit_defer_pop = old_inhibit_defer_pop;
407
408   if (n_popped > 0)
409     {
410       if (!already_popped)
411         CALL_INSN_FUNCTION_USAGE (call_insn)
412           = gen_rtx_EXPR_LIST (VOIDmode,
413                                gen_rtx_CLOBBER (VOIDmode, stack_pointer_rtx),
414                                CALL_INSN_FUNCTION_USAGE (call_insn));
415       rounded_stack_size -= n_popped;
416       rounded_stack_size_rtx = GEN_INT (rounded_stack_size);
417       stack_pointer_delta -= n_popped;
418
419       /* If popup is needed, stack realign must use DRAP  */
420       if (SUPPORTS_STACK_ALIGNMENT)
421         crtl->need_drap = true;
422     }
423
424   if (!ACCUMULATE_OUTGOING_ARGS)
425     {
426       /* If returning from the subroutine does not automatically pop the args,
427          we need an instruction to pop them sooner or later.
428          Perhaps do it now; perhaps just record how much space to pop later.
429
430          If returning from the subroutine does pop the args, indicate that the
431          stack pointer will be changed.  */
432
433       if (rounded_stack_size != 0)
434         {
435           if (ecf_flags & ECF_NORETURN)
436             /* Just pretend we did the pop.  */
437             stack_pointer_delta -= rounded_stack_size;
438           else if (flag_defer_pop && inhibit_defer_pop == 0
439               && ! (ecf_flags & (ECF_CONST | ECF_PURE)))
440             pending_stack_adjust += rounded_stack_size;
441           else
442             adjust_stack (rounded_stack_size_rtx);
443         }
444     }
445   /* When we accumulate outgoing args, we must avoid any stack manipulations.
446      Restore the stack pointer to its original value now.  Usually
447      ACCUMULATE_OUTGOING_ARGS targets don't get here, but there are exceptions.
448      On  i386 ACCUMULATE_OUTGOING_ARGS can be enabled on demand, and
449      popping variants of functions exist as well.
450
451      ??? We may optimize similar to defer_pop above, but it is
452      probably not worthwhile.
453
454      ??? It will be worthwhile to enable combine_stack_adjustments even for
455      such machines.  */
456   else if (n_popped)
457     anti_adjust_stack (GEN_INT (n_popped));
458 }
459
460 /* Determine if the function identified by NAME and FNDECL is one with
461    special properties we wish to know about.
462
463    For example, if the function might return more than one time (setjmp), then
464    set RETURNS_TWICE to a nonzero value.
465
466    Similarly set NORETURN if the function is in the longjmp family.
467
468    Set MAY_BE_ALLOCA for any memory allocation function that might allocate
469    space from the stack such as alloca.  */
470
471 static int
472 special_function_p (const_tree fndecl, int flags)
473 {
474   if (fndecl && DECL_NAME (fndecl)
475       && IDENTIFIER_LENGTH (DECL_NAME (fndecl)) <= 17
476       /* Exclude functions not at the file scope, or not `extern',
477          since they are not the magic functions we would otherwise
478          think they are.
479          FIXME: this should be handled with attributes, not with this
480          hacky imitation of DECL_ASSEMBLER_NAME.  It's (also) wrong
481          because you can declare fork() inside a function if you
482          wish.  */
483       && (DECL_CONTEXT (fndecl) == NULL_TREE
484           || TREE_CODE (DECL_CONTEXT (fndecl)) == TRANSLATION_UNIT_DECL)
485       && TREE_PUBLIC (fndecl))
486     {
487       const char *name = IDENTIFIER_POINTER (DECL_NAME (fndecl));
488       const char *tname = name;
489
490       /* We assume that alloca will always be called by name.  It
491          makes no sense to pass it as a pointer-to-function to
492          anything that does not understand its behavior.  */
493       if (((IDENTIFIER_LENGTH (DECL_NAME (fndecl)) == 6
494             && name[0] == 'a'
495             && ! strcmp (name, "alloca"))
496            || (IDENTIFIER_LENGTH (DECL_NAME (fndecl)) == 16
497                && name[0] == '_'
498                && ! strcmp (name, "__builtin_alloca"))))
499         flags |= ECF_MAY_BE_ALLOCA;
500
501       /* Disregard prefix _, __ or __x.  */
502       if (name[0] == '_')
503         {
504           if (name[1] == '_' && name[2] == 'x')
505             tname += 3;
506           else if (name[1] == '_')
507             tname += 2;
508           else
509             tname += 1;
510         }
511
512       if (tname[0] == 's')
513         {
514           if ((tname[1] == 'e'
515                && (! strcmp (tname, "setjmp")
516                    || ! strcmp (tname, "setjmp_syscall")))
517               || (tname[1] == 'i'
518                   && ! strcmp (tname, "sigsetjmp"))
519               || (tname[1] == 'a'
520                   && ! strcmp (tname, "savectx")))
521             flags |= ECF_RETURNS_TWICE;
522
523           if (tname[1] == 'i'
524               && ! strcmp (tname, "siglongjmp"))
525             flags |= ECF_NORETURN;
526         }
527       else if ((tname[0] == 'q' && tname[1] == 's'
528                 && ! strcmp (tname, "qsetjmp"))
529                || (tname[0] == 'v' && tname[1] == 'f'
530                    && ! strcmp (tname, "vfork"))
531                || (tname[0] == 'g' && tname[1] == 'e'
532                    && !strcmp (tname, "getcontext")))
533         flags |= ECF_RETURNS_TWICE;
534
535       else if (tname[0] == 'l' && tname[1] == 'o'
536                && ! strcmp (tname, "longjmp"))
537         flags |= ECF_NORETURN;
538     }
539
540   return flags;
541 }
542
543 /* Return nonzero when FNDECL represents a call to setjmp.  */
544
545 int
546 setjmp_call_p (const_tree fndecl)
547 {
548   return special_function_p (fndecl, 0) & ECF_RETURNS_TWICE;
549 }
550
551
552 /* Return true if STMT is an alloca call.  */
553
554 bool
555 gimple_alloca_call_p (const_gimple stmt)
556 {
557   tree fndecl;
558
559   if (!is_gimple_call (stmt))
560     return false;
561
562   fndecl = gimple_call_fndecl (stmt);
563   if (fndecl && (special_function_p (fndecl, 0) & ECF_MAY_BE_ALLOCA))
564     return true;
565
566   return false;
567 }
568
569 /* Return true when exp contains alloca call.  */
570
571 bool
572 alloca_call_p (const_tree exp)
573 {
574   if (TREE_CODE (exp) == CALL_EXPR
575       && TREE_CODE (CALL_EXPR_FN (exp)) == ADDR_EXPR
576       && (TREE_CODE (TREE_OPERAND (CALL_EXPR_FN (exp), 0)) == FUNCTION_DECL)
577       && (special_function_p (TREE_OPERAND (CALL_EXPR_FN (exp), 0), 0)
578           & ECF_MAY_BE_ALLOCA))
579     return true;
580   return false;
581 }
582
583 /* Detect flags (function attributes) from the function decl or type node.  */
584
585 int
586 flags_from_decl_or_type (const_tree exp)
587 {
588   int flags = 0;
589   const_tree type = exp;
590
591   if (DECL_P (exp))
592     {
593       type = TREE_TYPE (exp);
594
595       /* The function exp may have the `malloc' attribute.  */
596       if (DECL_IS_MALLOC (exp))
597         flags |= ECF_MALLOC;
598
599       /* The function exp may have the `returns_twice' attribute.  */
600       if (DECL_IS_RETURNS_TWICE (exp))
601         flags |= ECF_RETURNS_TWICE;
602
603       /* Process the pure and const attributes.  */
604       if (TREE_READONLY (exp) && ! TREE_THIS_VOLATILE (exp))
605         flags |= ECF_CONST;
606       if (DECL_PURE_P (exp))
607         flags |= ECF_PURE;
608       if (DECL_LOOPING_CONST_OR_PURE_P (exp))
609         flags |= ECF_LOOPING_CONST_OR_PURE;
610
611       if (DECL_IS_NOVOPS (exp))
612         flags |= ECF_NOVOPS;
613
614       if (TREE_NOTHROW (exp))
615         flags |= ECF_NOTHROW;
616
617       flags = special_function_p (exp, flags);
618     }
619   else if (TYPE_P (exp) && TYPE_READONLY (exp) && ! TREE_THIS_VOLATILE (exp))
620     flags |= ECF_CONST;
621
622   if (TREE_THIS_VOLATILE (exp))
623     flags |= ECF_NORETURN;
624
625   return flags;
626 }
627
628 /* Detect flags from a CALL_EXPR.  */
629
630 int
631 call_expr_flags (const_tree t)
632 {
633   int flags;
634   tree decl = get_callee_fndecl (t);
635
636   if (decl)
637     flags = flags_from_decl_or_type (decl);
638   else
639     {
640       t = TREE_TYPE (CALL_EXPR_FN (t));
641       if (t && TREE_CODE (t) == POINTER_TYPE)
642         flags = flags_from_decl_or_type (TREE_TYPE (t));
643       else
644         flags = 0;
645     }
646
647   return flags;
648 }
649
650 /* Precompute all register parameters as described by ARGS, storing values
651    into fields within the ARGS array.
652
653    NUM_ACTUALS indicates the total number elements in the ARGS array.
654
655    Set REG_PARM_SEEN if we encounter a register parameter.  */
656
657 static void
658 precompute_register_parameters (int num_actuals, struct arg_data *args,
659                                 int *reg_parm_seen)
660 {
661   int i;
662
663   *reg_parm_seen = 0;
664
665   for (i = 0; i < num_actuals; i++)
666     if (args[i].reg != 0 && ! args[i].pass_on_stack)
667       {
668         *reg_parm_seen = 1;
669
670         if (args[i].value == 0)
671           {
672             push_temp_slots ();
673             args[i].value = expand_normal (args[i].tree_value);
674             preserve_temp_slots (args[i].value);
675             pop_temp_slots ();
676           }
677
678         /* If the value is a non-legitimate constant, force it into a
679            pseudo now.  TLS symbols sometimes need a call to resolve.  */
680         if (CONSTANT_P (args[i].value)
681             && !LEGITIMATE_CONSTANT_P (args[i].value))
682           args[i].value = force_reg (args[i].mode, args[i].value);
683
684         /* If we are to promote the function arg to a wider mode,
685            do it now.  */
686
687         if (args[i].mode != TYPE_MODE (TREE_TYPE (args[i].tree_value)))
688           args[i].value
689             = convert_modes (args[i].mode,
690                              TYPE_MODE (TREE_TYPE (args[i].tree_value)),
691                              args[i].value, args[i].unsignedp);
692
693         /* If we're going to have to load the value by parts, pull the
694            parts into pseudos.  The part extraction process can involve
695            non-trivial computation.  */
696         if (GET_CODE (args[i].reg) == PARALLEL)
697           {
698             tree type = TREE_TYPE (args[i].tree_value);
699             args[i].parallel_value
700               = emit_group_load_into_temps (args[i].reg, args[i].value,
701                                             type, int_size_in_bytes (type));
702           }
703
704         /* If the value is expensive, and we are inside an appropriately
705            short loop, put the value into a pseudo and then put the pseudo
706            into the hard reg.
707
708            For small register classes, also do this if this call uses
709            register parameters.  This is to avoid reload conflicts while
710            loading the parameters registers.  */
711
712         else if ((! (REG_P (args[i].value)
713                      || (GET_CODE (args[i].value) == SUBREG
714                          && REG_P (SUBREG_REG (args[i].value)))))
715                  && args[i].mode != BLKmode
716                  && rtx_cost (args[i].value, SET, optimize_insn_for_speed_p ())
717                     > COSTS_N_INSNS (1)
718                  && ((SMALL_REGISTER_CLASSES && *reg_parm_seen)
719                      || optimize))
720           args[i].value = copy_to_mode_reg (args[i].mode, args[i].value);
721       }
722 }
723
724 #ifdef REG_PARM_STACK_SPACE
725
726   /* The argument list is the property of the called routine and it
727      may clobber it.  If the fixed area has been used for previous
728      parameters, we must save and restore it.  */
729
730 static rtx
731 save_fixed_argument_area (int reg_parm_stack_space, rtx argblock, int *low_to_save, int *high_to_save)
732 {
733   int low;
734   int high;
735
736   /* Compute the boundary of the area that needs to be saved, if any.  */
737   high = reg_parm_stack_space;
738 #ifdef ARGS_GROW_DOWNWARD
739   high += 1;
740 #endif
741   if (high > highest_outgoing_arg_in_use)
742     high = highest_outgoing_arg_in_use;
743
744   for (low = 0; low < high; low++)
745     if (stack_usage_map[low] != 0)
746       {
747         int num_to_save;
748         enum machine_mode save_mode;
749         int delta;
750         rtx stack_area;
751         rtx save_area;
752
753         while (stack_usage_map[--high] == 0)
754           ;
755
756         *low_to_save = low;
757         *high_to_save = high;
758
759         num_to_save = high - low + 1;
760         save_mode = mode_for_size (num_to_save * BITS_PER_UNIT, MODE_INT, 1);
761
762         /* If we don't have the required alignment, must do this
763            in BLKmode.  */
764         if ((low & (MIN (GET_MODE_SIZE (save_mode),
765                          BIGGEST_ALIGNMENT / UNITS_PER_WORD) - 1)))
766           save_mode = BLKmode;
767
768 #ifdef ARGS_GROW_DOWNWARD
769         delta = -high;
770 #else
771         delta = low;
772 #endif
773         stack_area = gen_rtx_MEM (save_mode,
774                                   memory_address (save_mode,
775                                                   plus_constant (argblock,
776                                                                  delta)));
777
778         set_mem_align (stack_area, PARM_BOUNDARY);
779         if (save_mode == BLKmode)
780           {
781             save_area = assign_stack_temp (BLKmode, num_to_save, 0);
782             emit_block_move (validize_mem (save_area), stack_area,
783                              GEN_INT (num_to_save), BLOCK_OP_CALL_PARM);
784           }
785         else
786           {
787             save_area = gen_reg_rtx (save_mode);
788             emit_move_insn (save_area, stack_area);
789           }
790
791         return save_area;
792       }
793
794   return NULL_RTX;
795 }
796
797 static void
798 restore_fixed_argument_area (rtx save_area, rtx argblock, int high_to_save, int low_to_save)
799 {
800   enum machine_mode save_mode = GET_MODE (save_area);
801   int delta;
802   rtx stack_area;
803
804 #ifdef ARGS_GROW_DOWNWARD
805   delta = -high_to_save;
806 #else
807   delta = low_to_save;
808 #endif
809   stack_area = gen_rtx_MEM (save_mode,
810                             memory_address (save_mode,
811                                             plus_constant (argblock, delta)));
812   set_mem_align (stack_area, PARM_BOUNDARY);
813
814   if (save_mode != BLKmode)
815     emit_move_insn (stack_area, save_area);
816   else
817     emit_block_move (stack_area, validize_mem (save_area),
818                      GEN_INT (high_to_save - low_to_save + 1),
819                      BLOCK_OP_CALL_PARM);
820 }
821 #endif /* REG_PARM_STACK_SPACE */
822
823 /* If any elements in ARGS refer to parameters that are to be passed in
824    registers, but not in memory, and whose alignment does not permit a
825    direct copy into registers.  Copy the values into a group of pseudos
826    which we will later copy into the appropriate hard registers.
827
828    Pseudos for each unaligned argument will be stored into the array
829    args[argnum].aligned_regs.  The caller is responsible for deallocating
830    the aligned_regs array if it is nonzero.  */
831
832 static void
833 store_unaligned_arguments_into_pseudos (struct arg_data *args, int num_actuals)
834 {
835   int i, j;
836
837   for (i = 0; i < num_actuals; i++)
838     if (args[i].reg != 0 && ! args[i].pass_on_stack
839         && args[i].mode == BLKmode
840         && MEM_P (args[i].value)
841         && (MEM_ALIGN (args[i].value)
842             < (unsigned int) MIN (BIGGEST_ALIGNMENT, BITS_PER_WORD)))
843       {
844         int bytes = int_size_in_bytes (TREE_TYPE (args[i].tree_value));
845         int endian_correction = 0;
846
847         if (args[i].partial)
848           {
849             gcc_assert (args[i].partial % UNITS_PER_WORD == 0);
850             args[i].n_aligned_regs = args[i].partial / UNITS_PER_WORD;
851           }
852         else
853           {
854             args[i].n_aligned_regs
855               = (bytes + UNITS_PER_WORD - 1) / UNITS_PER_WORD;
856           }
857
858         args[i].aligned_regs = XNEWVEC (rtx, args[i].n_aligned_regs);
859
860         /* Structures smaller than a word are normally aligned to the
861            least significant byte.  On a BYTES_BIG_ENDIAN machine,
862            this means we must skip the empty high order bytes when
863            calculating the bit offset.  */
864         if (bytes < UNITS_PER_WORD
865 #ifdef BLOCK_REG_PADDING
866             && (BLOCK_REG_PADDING (args[i].mode,
867                                    TREE_TYPE (args[i].tree_value), 1)
868                 == downward)
869 #else
870             && BYTES_BIG_ENDIAN
871 #endif
872             )
873           endian_correction = BITS_PER_WORD - bytes * BITS_PER_UNIT;
874
875         for (j = 0; j < args[i].n_aligned_regs; j++)
876           {
877             rtx reg = gen_reg_rtx (word_mode);
878             rtx word = operand_subword_force (args[i].value, j, BLKmode);
879             int bitsize = MIN (bytes * BITS_PER_UNIT, BITS_PER_WORD);
880
881             args[i].aligned_regs[j] = reg;
882             word = extract_bit_field (word, bitsize, 0, 1, NULL_RTX,
883                                       word_mode, word_mode);
884
885             /* There is no need to restrict this code to loading items
886                in TYPE_ALIGN sized hunks.  The bitfield instructions can
887                load up entire word sized registers efficiently.
888
889                ??? This may not be needed anymore.
890                We use to emit a clobber here but that doesn't let later
891                passes optimize the instructions we emit.  By storing 0 into
892                the register later passes know the first AND to zero out the
893                bitfield being set in the register is unnecessary.  The store
894                of 0 will be deleted as will at least the first AND.  */
895
896             emit_move_insn (reg, const0_rtx);
897
898             bytes -= bitsize / BITS_PER_UNIT;
899             store_bit_field (reg, bitsize, endian_correction, word_mode,
900                              word);
901           }
902       }
903 }
904
905 /* Fill in ARGS_SIZE and ARGS array based on the parameters found in
906    CALL_EXPR EXP.  
907
908    NUM_ACTUALS is the total number of parameters.
909
910    N_NAMED_ARGS is the total number of named arguments.
911
912    STRUCT_VALUE_ADDR_VALUE is the implicit argument for a struct return
913    value, or null.
914
915    FNDECL is the tree code for the target of this call (if known)
916
917    ARGS_SO_FAR holds state needed by the target to know where to place
918    the next argument.
919
920    REG_PARM_STACK_SPACE is the number of bytes of stack space reserved
921    for arguments which are passed in registers.
922
923    OLD_STACK_LEVEL is a pointer to an rtx which olds the old stack level
924    and may be modified by this routine.
925
926    OLD_PENDING_ADJ, MUST_PREALLOCATE and FLAGS are pointers to integer
927    flags which may may be modified by this routine.
928
929    MAY_TAILCALL is cleared if we encounter an invisible pass-by-reference
930    that requires allocation of stack space.
931
932    CALL_FROM_THUNK_P is true if this call is the jump from a thunk to
933    the thunked-to function.  */
934
935 static void
936 initialize_argument_information (int num_actuals ATTRIBUTE_UNUSED,
937                                  struct arg_data *args,
938                                  struct args_size *args_size,
939                                  int n_named_args ATTRIBUTE_UNUSED,
940                                  tree exp, tree struct_value_addr_value,
941                                  tree fndecl, tree fntype,
942                                  CUMULATIVE_ARGS *args_so_far,
943                                  int reg_parm_stack_space,
944                                  rtx *old_stack_level, int *old_pending_adj,
945                                  int *must_preallocate, int *ecf_flags,
946                                  bool *may_tailcall, bool call_from_thunk_p)
947 {
948   /* 1 if scanning parms front to back, -1 if scanning back to front.  */
949   int inc;
950
951   /* Count arg position in order args appear.  */
952   int argpos;
953
954   int i;
955
956   args_size->constant = 0;
957   args_size->var = 0;
958
959   /* In this loop, we consider args in the order they are written.
960      We fill up ARGS from the front or from the back if necessary
961      so that in any case the first arg to be pushed ends up at the front.  */
962
963   if (PUSH_ARGS_REVERSED)
964     {
965       i = num_actuals - 1, inc = -1;
966       /* In this case, must reverse order of args
967          so that we compute and push the last arg first.  */
968     }
969   else
970     {
971       i = 0, inc = 1;
972     }
973
974   /* First fill in the actual arguments in the ARGS array, splitting
975      complex arguments if necessary.  */
976   {
977     int j = i;
978     call_expr_arg_iterator iter;
979     tree arg;
980
981     if (struct_value_addr_value)
982       {
983         args[j].tree_value = struct_value_addr_value;
984         j += inc;
985       }
986     FOR_EACH_CALL_EXPR_ARG (arg, iter, exp)
987       {
988         tree argtype = TREE_TYPE (arg);
989         if (targetm.calls.split_complex_arg
990             && argtype
991             && TREE_CODE (argtype) == COMPLEX_TYPE
992             && targetm.calls.split_complex_arg (argtype))
993           {
994             tree subtype = TREE_TYPE (argtype);
995             arg = save_expr (arg);
996             args[j].tree_value = build1 (REALPART_EXPR, subtype, arg);
997             j += inc;
998             args[j].tree_value = build1 (IMAGPART_EXPR, subtype, arg);
999           }
1000         else
1001           args[j].tree_value = arg;
1002         j += inc;
1003       }
1004   }
1005
1006   /* I counts args in order (to be) pushed; ARGPOS counts in order written.  */
1007   for (argpos = 0; argpos < num_actuals; i += inc, argpos++)
1008     {
1009       tree type = TREE_TYPE (args[i].tree_value);
1010       int unsignedp;
1011       enum machine_mode mode;
1012
1013       /* Replace erroneous argument with constant zero.  */
1014       if (type == error_mark_node || !COMPLETE_TYPE_P (type))
1015         args[i].tree_value = integer_zero_node, type = integer_type_node;
1016
1017       /* If TYPE is a transparent union, pass things the way we would
1018          pass the first field of the union.  We have already verified that
1019          the modes are the same.  */
1020       if (TREE_CODE (type) == UNION_TYPE && TYPE_TRANSPARENT_UNION (type))
1021         type = TREE_TYPE (TYPE_FIELDS (type));
1022
1023       /* Decide where to pass this arg.
1024
1025          args[i].reg is nonzero if all or part is passed in registers.
1026
1027          args[i].partial is nonzero if part but not all is passed in registers,
1028          and the exact value says how many bytes are passed in registers.
1029
1030          args[i].pass_on_stack is nonzero if the argument must at least be
1031          computed on the stack.  It may then be loaded back into registers
1032          if args[i].reg is nonzero.
1033
1034          These decisions are driven by the FUNCTION_... macros and must agree
1035          with those made by function.c.  */
1036
1037       /* See if this argument should be passed by invisible reference.  */
1038       if (pass_by_reference (args_so_far, TYPE_MODE (type),
1039                              type, argpos < n_named_args))
1040         {
1041           bool callee_copies;
1042           tree base;
1043
1044           callee_copies
1045             = reference_callee_copied (args_so_far, TYPE_MODE (type),
1046                                        type, argpos < n_named_args);
1047
1048           /* If we're compiling a thunk, pass through invisible references
1049              instead of making a copy.  */
1050           if (call_from_thunk_p
1051               || (callee_copies
1052                   && !TREE_ADDRESSABLE (type)
1053                   && (base = get_base_address (args[i].tree_value))
1054                   && (!DECL_P (base) || MEM_P (DECL_RTL (base)))))
1055             {
1056               /* We can't use sibcalls if a callee-copied argument is
1057                  stored in the current function's frame.  */
1058               if (!call_from_thunk_p && DECL_P (base) && !TREE_STATIC (base))
1059                 *may_tailcall = false;
1060
1061               args[i].tree_value = build_fold_addr_expr (args[i].tree_value);
1062               type = TREE_TYPE (args[i].tree_value);
1063
1064               if (*ecf_flags & ECF_CONST)
1065                 *ecf_flags &= ~(ECF_CONST | ECF_LOOPING_CONST_OR_PURE);
1066             }
1067           else
1068             {
1069               /* We make a copy of the object and pass the address to the
1070                  function being called.  */
1071               rtx copy;
1072
1073               if (!COMPLETE_TYPE_P (type)
1074                   || TREE_CODE (TYPE_SIZE_UNIT (type)) != INTEGER_CST
1075                   || (flag_stack_check == GENERIC_STACK_CHECK
1076                       && compare_tree_int (TYPE_SIZE_UNIT (type),
1077                                            STACK_CHECK_MAX_VAR_SIZE) > 0))
1078                 {
1079                   /* This is a variable-sized object.  Make space on the stack
1080                      for it.  */
1081                   rtx size_rtx = expr_size (args[i].tree_value);
1082
1083                   if (*old_stack_level == 0)
1084                     {
1085                       emit_stack_save (SAVE_BLOCK, old_stack_level, NULL_RTX);
1086                       *old_pending_adj = pending_stack_adjust;
1087                       pending_stack_adjust = 0;
1088                     }
1089
1090                   copy = gen_rtx_MEM (BLKmode,
1091                                       allocate_dynamic_stack_space
1092                                       (size_rtx, NULL_RTX, TYPE_ALIGN (type)));
1093                   set_mem_attributes (copy, type, 1);
1094                 }
1095               else
1096                 copy = assign_temp (type, 0, 1, 0);
1097
1098               store_expr (args[i].tree_value, copy, 0, false);
1099
1100               /* Just change the const function to pure and then let
1101                  the next test clear the pure based on
1102                  callee_copies.  */
1103               if (*ecf_flags & ECF_CONST)
1104                 {
1105                   *ecf_flags &= ~ECF_CONST;
1106                   *ecf_flags |= ECF_PURE;
1107                 }
1108
1109               if (!callee_copies && *ecf_flags & ECF_PURE)
1110                 *ecf_flags &= ~(ECF_PURE | ECF_LOOPING_CONST_OR_PURE);
1111
1112               args[i].tree_value
1113                 = build_fold_addr_expr (make_tree (type, copy));
1114               type = TREE_TYPE (args[i].tree_value);
1115               *may_tailcall = false;
1116             }
1117         }
1118
1119       mode = TYPE_MODE (type);
1120       unsignedp = TYPE_UNSIGNED (type);
1121
1122       if (targetm.calls.promote_function_args (fndecl
1123                                                ? TREE_TYPE (fndecl)
1124                                                : fntype))
1125         mode = promote_mode (type, mode, &unsignedp, 1);
1126
1127       args[i].unsignedp = unsignedp;
1128       args[i].mode = mode;
1129
1130       args[i].reg = FUNCTION_ARG (*args_so_far, mode, type,
1131                                   argpos < n_named_args);
1132 #ifdef FUNCTION_INCOMING_ARG
1133       /* If this is a sibling call and the machine has register windows, the
1134          register window has to be unwinded before calling the routine, so
1135          arguments have to go into the incoming registers.  */
1136       args[i].tail_call_reg = FUNCTION_INCOMING_ARG (*args_so_far, mode, type,
1137                                                      argpos < n_named_args);
1138 #else
1139       args[i].tail_call_reg = args[i].reg;
1140 #endif
1141
1142       if (args[i].reg)
1143         args[i].partial
1144           = targetm.calls.arg_partial_bytes (args_so_far, mode, type,
1145                                              argpos < n_named_args);
1146
1147       args[i].pass_on_stack = targetm.calls.must_pass_in_stack (mode, type);
1148
1149       /* If FUNCTION_ARG returned a (parallel [(expr_list (nil) ...) ...]),
1150          it means that we are to pass this arg in the register(s) designated
1151          by the PARALLEL, but also to pass it in the stack.  */
1152       if (args[i].reg && GET_CODE (args[i].reg) == PARALLEL
1153           && XEXP (XVECEXP (args[i].reg, 0, 0), 0) == 0)
1154         args[i].pass_on_stack = 1;
1155
1156       /* If this is an addressable type, we must preallocate the stack
1157          since we must evaluate the object into its final location.
1158
1159          If this is to be passed in both registers and the stack, it is simpler
1160          to preallocate.  */
1161       if (TREE_ADDRESSABLE (type)
1162           || (args[i].pass_on_stack && args[i].reg != 0))
1163         *must_preallocate = 1;
1164
1165       /* Compute the stack-size of this argument.  */
1166       if (args[i].reg == 0 || args[i].partial != 0
1167           || reg_parm_stack_space > 0
1168           || args[i].pass_on_stack)
1169         locate_and_pad_parm (mode, type,
1170 #ifdef STACK_PARMS_IN_REG_PARM_AREA
1171                              1,
1172 #else
1173                              args[i].reg != 0,
1174 #endif
1175                              args[i].pass_on_stack ? 0 : args[i].partial,
1176                              fndecl, args_size, &args[i].locate);
1177 #ifdef BLOCK_REG_PADDING
1178       else
1179         /* The argument is passed entirely in registers.  See at which
1180            end it should be padded.  */
1181         args[i].locate.where_pad =
1182           BLOCK_REG_PADDING (mode, type,
1183                              int_size_in_bytes (type) <= UNITS_PER_WORD);
1184 #endif
1185
1186       /* Update ARGS_SIZE, the total stack space for args so far.  */
1187
1188       args_size->constant += args[i].locate.size.constant;
1189       if (args[i].locate.size.var)
1190         ADD_PARM_SIZE (*args_size, args[i].locate.size.var);
1191
1192       /* Increment ARGS_SO_FAR, which has info about which arg-registers
1193          have been used, etc.  */
1194
1195       FUNCTION_ARG_ADVANCE (*args_so_far, TYPE_MODE (type), type,
1196                             argpos < n_named_args);
1197     }
1198 }
1199
1200 /* Update ARGS_SIZE to contain the total size for the argument block.
1201    Return the original constant component of the argument block's size.
1202
1203    REG_PARM_STACK_SPACE holds the number of bytes of stack space reserved
1204    for arguments passed in registers.  */
1205
1206 static int
1207 compute_argument_block_size (int reg_parm_stack_space,
1208                              struct args_size *args_size,
1209                              tree fndecl ATTRIBUTE_UNUSED,
1210                              tree fntype ATTRIBUTE_UNUSED,
1211                              int preferred_stack_boundary ATTRIBUTE_UNUSED)
1212 {
1213   int unadjusted_args_size = args_size->constant;
1214
1215   /* For accumulate outgoing args mode we don't need to align, since the frame
1216      will be already aligned.  Align to STACK_BOUNDARY in order to prevent
1217      backends from generating misaligned frame sizes.  */
1218   if (ACCUMULATE_OUTGOING_ARGS && preferred_stack_boundary > STACK_BOUNDARY)
1219     preferred_stack_boundary = STACK_BOUNDARY;
1220
1221   /* Compute the actual size of the argument block required.  The variable
1222      and constant sizes must be combined, the size may have to be rounded,
1223      and there may be a minimum required size.  */
1224
1225   if (args_size->var)
1226     {
1227       args_size->var = ARGS_SIZE_TREE (*args_size);
1228       args_size->constant = 0;
1229
1230       preferred_stack_boundary /= BITS_PER_UNIT;
1231       if (preferred_stack_boundary > 1)
1232         {
1233           /* We don't handle this case yet.  To handle it correctly we have
1234              to add the delta, round and subtract the delta.
1235              Currently no machine description requires this support.  */
1236           gcc_assert (!(stack_pointer_delta & (preferred_stack_boundary - 1)));
1237           args_size->var = round_up (args_size->var, preferred_stack_boundary);
1238         }
1239
1240       if (reg_parm_stack_space > 0)
1241         {
1242           args_size->var
1243             = size_binop (MAX_EXPR, args_size->var,
1244                           ssize_int (reg_parm_stack_space));
1245
1246           /* The area corresponding to register parameters is not to count in
1247              the size of the block we need.  So make the adjustment.  */
1248           if (! OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl))))
1249             args_size->var
1250               = size_binop (MINUS_EXPR, args_size->var,
1251                             ssize_int (reg_parm_stack_space));
1252         }
1253     }
1254   else
1255     {
1256       preferred_stack_boundary /= BITS_PER_UNIT;
1257       if (preferred_stack_boundary < 1)
1258         preferred_stack_boundary = 1;
1259       args_size->constant = (((args_size->constant
1260                                + stack_pointer_delta
1261                                + preferred_stack_boundary - 1)
1262                               / preferred_stack_boundary
1263                               * preferred_stack_boundary)
1264                              - stack_pointer_delta);
1265
1266       args_size->constant = MAX (args_size->constant,
1267                                  reg_parm_stack_space);
1268
1269       if (! OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl))))
1270         args_size->constant -= reg_parm_stack_space;
1271     }
1272   return unadjusted_args_size;
1273 }
1274
1275 /* Precompute parameters as needed for a function call.
1276
1277    FLAGS is mask of ECF_* constants.
1278
1279    NUM_ACTUALS is the number of arguments.
1280
1281    ARGS is an array containing information for each argument; this
1282    routine fills in the INITIAL_VALUE and VALUE fields for each
1283    precomputed argument.  */
1284
1285 static void
1286 precompute_arguments (int num_actuals, struct arg_data *args)
1287 {
1288   int i;
1289
1290   /* If this is a libcall, then precompute all arguments so that we do not
1291      get extraneous instructions emitted as part of the libcall sequence.  */
1292
1293   /* If we preallocated the stack space, and some arguments must be passed
1294      on the stack, then we must precompute any parameter which contains a
1295      function call which will store arguments on the stack.
1296      Otherwise, evaluating the parameter may clobber previous parameters
1297      which have already been stored into the stack.  (we have code to avoid
1298      such case by saving the outgoing stack arguments, but it results in
1299      worse code)  */
1300   if (!ACCUMULATE_OUTGOING_ARGS)
1301     return;
1302
1303   for (i = 0; i < num_actuals; i++)
1304     {
1305       enum machine_mode mode;
1306
1307       if (TREE_CODE (args[i].tree_value) != CALL_EXPR)
1308         continue;
1309
1310       /* If this is an addressable type, we cannot pre-evaluate it.  */
1311       gcc_assert (!TREE_ADDRESSABLE (TREE_TYPE (args[i].tree_value)));
1312
1313       args[i].initial_value = args[i].value
1314         = expand_normal (args[i].tree_value);
1315
1316       mode = TYPE_MODE (TREE_TYPE (args[i].tree_value));
1317       if (mode != args[i].mode)
1318         {
1319           args[i].value
1320             = convert_modes (args[i].mode, mode,
1321                              args[i].value, args[i].unsignedp);
1322 #if defined(PROMOTE_FUNCTION_MODE) && !defined(PROMOTE_MODE)
1323           /* CSE will replace this only if it contains args[i].value
1324              pseudo, so convert it down to the declared mode using
1325              a SUBREG.  */
1326           if (REG_P (args[i].value)
1327               && GET_MODE_CLASS (args[i].mode) == MODE_INT)
1328             {
1329               args[i].initial_value
1330                 = gen_lowpart_SUBREG (mode, args[i].value);
1331               SUBREG_PROMOTED_VAR_P (args[i].initial_value) = 1;
1332               SUBREG_PROMOTED_UNSIGNED_SET (args[i].initial_value,
1333                                             args[i].unsignedp);
1334             }
1335 #endif
1336         }
1337     }
1338 }
1339
1340 /* Given the current state of MUST_PREALLOCATE and information about
1341    arguments to a function call in NUM_ACTUALS, ARGS and ARGS_SIZE,
1342    compute and return the final value for MUST_PREALLOCATE.  */
1343
1344 static int
1345 finalize_must_preallocate (int must_preallocate, int num_actuals, 
1346                            struct arg_data *args, struct args_size *args_size)
1347 {
1348   /* See if we have or want to preallocate stack space.
1349
1350      If we would have to push a partially-in-regs parm
1351      before other stack parms, preallocate stack space instead.
1352
1353      If the size of some parm is not a multiple of the required stack
1354      alignment, we must preallocate.
1355
1356      If the total size of arguments that would otherwise create a copy in
1357      a temporary (such as a CALL) is more than half the total argument list
1358      size, preallocation is faster.
1359
1360      Another reason to preallocate is if we have a machine (like the m88k)
1361      where stack alignment is required to be maintained between every
1362      pair of insns, not just when the call is made.  However, we assume here
1363      that such machines either do not have push insns (and hence preallocation
1364      would occur anyway) or the problem is taken care of with
1365      PUSH_ROUNDING.  */
1366
1367   if (! must_preallocate)
1368     {
1369       int partial_seen = 0;
1370       int copy_to_evaluate_size = 0;
1371       int i;
1372
1373       for (i = 0; i < num_actuals && ! must_preallocate; i++)
1374         {
1375           if (args[i].partial > 0 && ! args[i].pass_on_stack)
1376             partial_seen = 1;
1377           else if (partial_seen && args[i].reg == 0)
1378             must_preallocate = 1;
1379
1380           if (TYPE_MODE (TREE_TYPE (args[i].tree_value)) == BLKmode
1381               && (TREE_CODE (args[i].tree_value) == CALL_EXPR
1382                   || TREE_CODE (args[i].tree_value) == TARGET_EXPR
1383                   || TREE_CODE (args[i].tree_value) == COND_EXPR
1384                   || TREE_ADDRESSABLE (TREE_TYPE (args[i].tree_value))))
1385             copy_to_evaluate_size
1386               += int_size_in_bytes (TREE_TYPE (args[i].tree_value));
1387         }
1388
1389       if (copy_to_evaluate_size * 2 >= args_size->constant
1390           && args_size->constant > 0)
1391         must_preallocate = 1;
1392     }
1393   return must_preallocate;
1394 }
1395
1396 /* If we preallocated stack space, compute the address of each argument
1397    and store it into the ARGS array.
1398
1399    We need not ensure it is a valid memory address here; it will be
1400    validized when it is used.
1401
1402    ARGBLOCK is an rtx for the address of the outgoing arguments.  */
1403
1404 static void
1405 compute_argument_addresses (struct arg_data *args, rtx argblock, int num_actuals)
1406 {
1407   if (argblock)
1408     {
1409       rtx arg_reg = argblock;
1410       int i, arg_offset = 0;
1411
1412       if (GET_CODE (argblock) == PLUS)
1413         arg_reg = XEXP (argblock, 0), arg_offset = INTVAL (XEXP (argblock, 1));
1414
1415       for (i = 0; i < num_actuals; i++)
1416         {
1417           rtx offset = ARGS_SIZE_RTX (args[i].locate.offset);
1418           rtx slot_offset = ARGS_SIZE_RTX (args[i].locate.slot_offset);
1419           rtx addr;
1420           unsigned int align, boundary;
1421           unsigned int units_on_stack = 0;
1422           enum machine_mode partial_mode = VOIDmode;
1423
1424           /* Skip this parm if it will not be passed on the stack.  */
1425           if (! args[i].pass_on_stack
1426               && args[i].reg != 0
1427               && args[i].partial == 0)
1428             continue;
1429
1430           if (GET_CODE (offset) == CONST_INT)
1431             addr = plus_constant (arg_reg, INTVAL (offset));
1432           else
1433             addr = gen_rtx_PLUS (Pmode, arg_reg, offset);
1434
1435           addr = plus_constant (addr, arg_offset);
1436
1437           if (args[i].partial != 0)
1438             {
1439               /* Only part of the parameter is being passed on the stack.
1440                  Generate a simple memory reference of the correct size.  */
1441               units_on_stack = args[i].locate.size.constant;
1442               partial_mode = mode_for_size (units_on_stack * BITS_PER_UNIT,
1443                                             MODE_INT, 1);
1444               args[i].stack = gen_rtx_MEM (partial_mode, addr);
1445               set_mem_size (args[i].stack, GEN_INT (units_on_stack));
1446             }
1447           else
1448             {
1449               args[i].stack = gen_rtx_MEM (args[i].mode, addr);
1450               set_mem_attributes (args[i].stack,
1451                                   TREE_TYPE (args[i].tree_value), 1);
1452             }
1453           align = BITS_PER_UNIT;
1454           boundary = args[i].locate.boundary;
1455           if (args[i].locate.where_pad != downward)
1456             align = boundary;
1457           else if (GET_CODE (offset) == CONST_INT)
1458             {
1459               align = INTVAL (offset) * BITS_PER_UNIT | boundary;
1460               align = align & -align;
1461             }
1462           set_mem_align (args[i].stack, align);
1463
1464           if (GET_CODE (slot_offset) == CONST_INT)
1465             addr = plus_constant (arg_reg, INTVAL (slot_offset));
1466           else
1467             addr = gen_rtx_PLUS (Pmode, arg_reg, slot_offset);
1468
1469           addr = plus_constant (addr, arg_offset);
1470
1471           if (args[i].partial != 0)
1472             {
1473               /* Only part of the parameter is being passed on the stack.
1474                  Generate a simple memory reference of the correct size.
1475                */
1476               args[i].stack_slot = gen_rtx_MEM (partial_mode, addr);
1477               set_mem_size (args[i].stack_slot, GEN_INT (units_on_stack));
1478             }
1479           else
1480             {
1481               args[i].stack_slot = gen_rtx_MEM (args[i].mode, addr);
1482               set_mem_attributes (args[i].stack_slot,
1483                                   TREE_TYPE (args[i].tree_value), 1);
1484             }
1485           set_mem_align (args[i].stack_slot, args[i].locate.boundary);
1486
1487           /* Function incoming arguments may overlap with sibling call
1488              outgoing arguments and we cannot allow reordering of reads
1489              from function arguments with stores to outgoing arguments
1490              of sibling calls.  */
1491           set_mem_alias_set (args[i].stack, 0);
1492           set_mem_alias_set (args[i].stack_slot, 0);
1493         }
1494     }
1495 }
1496
1497 /* Given a FNDECL and EXP, return an rtx suitable for use as a target address
1498    in a call instruction.
1499
1500    FNDECL is the tree node for the target function.  For an indirect call
1501    FNDECL will be NULL_TREE.
1502
1503    ADDR is the operand 0 of CALL_EXPR for this call.  */
1504
1505 static rtx
1506 rtx_for_function_call (tree fndecl, tree addr)
1507 {
1508   rtx funexp;
1509
1510   /* Get the function to call, in the form of RTL.  */
1511   if (fndecl)
1512     {
1513       /* If this is the first use of the function, see if we need to
1514          make an external definition for it.  */
1515       if (!TREE_USED (fndecl) && fndecl != current_function_decl)
1516         {
1517           assemble_external (fndecl);
1518           TREE_USED (fndecl) = 1;
1519         }
1520
1521       /* Get a SYMBOL_REF rtx for the function address.  */
1522       funexp = XEXP (DECL_RTL (fndecl), 0);
1523     }
1524   else
1525     /* Generate an rtx (probably a pseudo-register) for the address.  */
1526     {
1527       push_temp_slots ();
1528       funexp = expand_normal (addr);
1529       pop_temp_slots ();        /* FUNEXP can't be BLKmode.  */
1530     }
1531   return funexp;
1532 }
1533
1534 /* Return true if and only if SIZE storage units (usually bytes)
1535    starting from address ADDR overlap with already clobbered argument
1536    area.  This function is used to determine if we should give up a
1537    sibcall.  */
1538
1539 static bool
1540 mem_overlaps_already_clobbered_arg_p (rtx addr, unsigned HOST_WIDE_INT size)
1541 {
1542   HOST_WIDE_INT i;
1543
1544   if (addr == crtl->args.internal_arg_pointer)
1545     i = 0;
1546   else if (GET_CODE (addr) == PLUS
1547            && XEXP (addr, 0) == crtl->args.internal_arg_pointer
1548            && GET_CODE (XEXP (addr, 1)) == CONST_INT)
1549     i = INTVAL (XEXP (addr, 1));
1550   /* Return true for arg pointer based indexed addressing.  */
1551   else if (GET_CODE (addr) == PLUS
1552            && (XEXP (addr, 0) == crtl->args.internal_arg_pointer
1553                || XEXP (addr, 1) == crtl->args.internal_arg_pointer))
1554     return true;
1555   else
1556     return false;
1557
1558 #ifdef ARGS_GROW_DOWNWARD
1559   i = -i - size;
1560 #endif
1561   if (size > 0)
1562     {
1563       unsigned HOST_WIDE_INT k;
1564
1565       for (k = 0; k < size; k++)
1566         if (i + k < stored_args_map->n_bits
1567             && TEST_BIT (stored_args_map, i + k))
1568           return true;
1569     }
1570
1571   return false;
1572 }
1573
1574 /* Do the register loads required for any wholly-register parms or any
1575    parms which are passed both on the stack and in a register.  Their
1576    expressions were already evaluated.
1577
1578    Mark all register-parms as living through the call, putting these USE
1579    insns in the CALL_INSN_FUNCTION_USAGE field.
1580
1581    When IS_SIBCALL, perform the check_sibcall_argument_overlap
1582    checking, setting *SIBCALL_FAILURE if appropriate.  */
1583
1584 static void
1585 load_register_parameters (struct arg_data *args, int num_actuals,
1586                           rtx *call_fusage, int flags, int is_sibcall,
1587                           int *sibcall_failure)
1588 {
1589   int i, j;
1590
1591   for (i = 0; i < num_actuals; i++)
1592     {
1593       rtx reg = ((flags & ECF_SIBCALL)
1594                  ? args[i].tail_call_reg : args[i].reg);
1595       if (reg)
1596         {
1597           int partial = args[i].partial;
1598           int nregs;
1599           int size = 0;
1600           rtx before_arg = get_last_insn ();
1601           /* Set non-negative if we must move a word at a time, even if
1602              just one word (e.g, partial == 4 && mode == DFmode).  Set
1603              to -1 if we just use a normal move insn.  This value can be
1604              zero if the argument is a zero size structure.  */
1605           nregs = -1;
1606           if (GET_CODE (reg) == PARALLEL)
1607             ;
1608           else if (partial)
1609             {
1610               gcc_assert (partial % UNITS_PER_WORD == 0);
1611               nregs = partial / UNITS_PER_WORD;
1612             }
1613           else if (TYPE_MODE (TREE_TYPE (args[i].tree_value)) == BLKmode)
1614             {
1615               size = int_size_in_bytes (TREE_TYPE (args[i].tree_value));
1616               nregs = (size + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD;
1617             }
1618           else
1619             size = GET_MODE_SIZE (args[i].mode);
1620
1621           /* Handle calls that pass values in multiple non-contiguous
1622              locations.  The Irix 6 ABI has examples of this.  */
1623
1624           if (GET_CODE (reg) == PARALLEL)
1625             emit_group_move (reg, args[i].parallel_value);
1626
1627           /* If simple case, just do move.  If normal partial, store_one_arg
1628              has already loaded the register for us.  In all other cases,
1629              load the register(s) from memory.  */
1630
1631           else if (nregs == -1)
1632             {
1633               emit_move_insn (reg, args[i].value);
1634 #ifdef BLOCK_REG_PADDING
1635               /* Handle case where we have a value that needs shifting
1636                  up to the msb.  eg. a QImode value and we're padding
1637                  upward on a BYTES_BIG_ENDIAN machine.  */
1638               if (size < UNITS_PER_WORD
1639                   && (args[i].locate.where_pad
1640                       == (BYTES_BIG_ENDIAN ? upward : downward)))
1641                 {
1642                   rtx x;
1643                   int shift = (UNITS_PER_WORD - size) * BITS_PER_UNIT;
1644
1645                   /* Assigning REG here rather than a temp makes CALL_FUSAGE
1646                      report the whole reg as used.  Strictly speaking, the
1647                      call only uses SIZE bytes at the msb end, but it doesn't
1648                      seem worth generating rtl to say that.  */
1649                   reg = gen_rtx_REG (word_mode, REGNO (reg));
1650                   x = expand_shift (LSHIFT_EXPR, word_mode, reg,
1651                                     build_int_cst (NULL_TREE, shift),
1652                                     reg, 1);
1653                   if (x != reg)
1654                     emit_move_insn (reg, x);
1655                 }
1656 #endif
1657             }
1658
1659           /* If we have pre-computed the values to put in the registers in
1660              the case of non-aligned structures, copy them in now.  */
1661
1662           else if (args[i].n_aligned_regs != 0)
1663             for (j = 0; j < args[i].n_aligned_regs; j++)
1664               emit_move_insn (gen_rtx_REG (word_mode, REGNO (reg) + j),
1665                               args[i].aligned_regs[j]);
1666
1667           else if (partial == 0 || args[i].pass_on_stack)
1668             {
1669               rtx mem = validize_mem (args[i].value);
1670
1671               /* Check for overlap with already clobbered argument area.  */
1672               if (is_sibcall
1673                   && mem_overlaps_already_clobbered_arg_p (XEXP (args[i].value, 0),
1674                                                            size))
1675                 *sibcall_failure = 1;
1676
1677               /* Handle a BLKmode that needs shifting.  */
1678               if (nregs == 1 && size < UNITS_PER_WORD
1679 #ifdef BLOCK_REG_PADDING
1680                   && args[i].locate.where_pad == downward
1681 #else
1682                   && BYTES_BIG_ENDIAN
1683 #endif
1684                  )
1685                 {
1686                   rtx tem = operand_subword_force (mem, 0, args[i].mode);
1687                   rtx ri = gen_rtx_REG (word_mode, REGNO (reg));
1688                   rtx x = gen_reg_rtx (word_mode);
1689                   int shift = (UNITS_PER_WORD - size) * BITS_PER_UNIT;
1690                   enum tree_code dir = BYTES_BIG_ENDIAN ? RSHIFT_EXPR
1691                                                         : LSHIFT_EXPR;
1692
1693                   emit_move_insn (x, tem);
1694                   x = expand_shift (dir, word_mode, x,
1695                                     build_int_cst (NULL_TREE, shift),
1696                                     ri, 1);
1697                   if (x != ri)
1698                     emit_move_insn (ri, x);
1699                 }
1700               else
1701                 move_block_to_reg (REGNO (reg), mem, nregs, args[i].mode);
1702             }
1703
1704           /* When a parameter is a block, and perhaps in other cases, it is
1705              possible that it did a load from an argument slot that was
1706              already clobbered.  */
1707           if (is_sibcall
1708               && check_sibcall_argument_overlap (before_arg, &args[i], 0))
1709             *sibcall_failure = 1;
1710
1711           /* Handle calls that pass values in multiple non-contiguous
1712              locations.  The Irix 6 ABI has examples of this.  */
1713           if (GET_CODE (reg) == PARALLEL)
1714             use_group_regs (call_fusage, reg);
1715           else if (nregs == -1)
1716             use_reg (call_fusage, reg);
1717           else if (nregs > 0)
1718             use_regs (call_fusage, REGNO (reg), nregs);
1719         }
1720     }
1721 }
1722
1723 /* We need to pop PENDING_STACK_ADJUST bytes.  But, if the arguments
1724    wouldn't fill up an even multiple of PREFERRED_UNIT_STACK_BOUNDARY
1725    bytes, then we would need to push some additional bytes to pad the
1726    arguments.  So, we compute an adjust to the stack pointer for an
1727    amount that will leave the stack under-aligned by UNADJUSTED_ARGS_SIZE
1728    bytes.  Then, when the arguments are pushed the stack will be perfectly
1729    aligned.  ARGS_SIZE->CONSTANT is set to the number of bytes that should
1730    be popped after the call.  Returns the adjustment.  */
1731
1732 static int
1733 combine_pending_stack_adjustment_and_call (int unadjusted_args_size,
1734                                            struct args_size *args_size,
1735                                            unsigned int preferred_unit_stack_boundary)
1736 {
1737   /* The number of bytes to pop so that the stack will be
1738      under-aligned by UNADJUSTED_ARGS_SIZE bytes.  */
1739   HOST_WIDE_INT adjustment;
1740   /* The alignment of the stack after the arguments are pushed, if we
1741      just pushed the arguments without adjust the stack here.  */
1742   unsigned HOST_WIDE_INT unadjusted_alignment;
1743
1744   unadjusted_alignment
1745     = ((stack_pointer_delta + unadjusted_args_size)
1746        % preferred_unit_stack_boundary);
1747
1748   /* We want to get rid of as many of the PENDING_STACK_ADJUST bytes
1749      as possible -- leaving just enough left to cancel out the
1750      UNADJUSTED_ALIGNMENT.  In other words, we want to ensure that the
1751      PENDING_STACK_ADJUST is non-negative, and congruent to
1752      -UNADJUSTED_ALIGNMENT modulo the PREFERRED_UNIT_STACK_BOUNDARY.  */
1753
1754   /* Begin by trying to pop all the bytes.  */
1755   unadjusted_alignment
1756     = (unadjusted_alignment
1757        - (pending_stack_adjust % preferred_unit_stack_boundary));
1758   adjustment = pending_stack_adjust;
1759   /* Push enough additional bytes that the stack will be aligned
1760      after the arguments are pushed.  */
1761   if (preferred_unit_stack_boundary > 1)
1762     {
1763       if (unadjusted_alignment > 0)
1764         adjustment -= preferred_unit_stack_boundary - unadjusted_alignment;
1765       else
1766         adjustment += unadjusted_alignment;
1767     }
1768
1769   /* Now, sets ARGS_SIZE->CONSTANT so that we pop the right number of
1770      bytes after the call.  The right number is the entire
1771      PENDING_STACK_ADJUST less our ADJUSTMENT plus the amount required
1772      by the arguments in the first place.  */
1773   args_size->constant
1774     = pending_stack_adjust - adjustment + unadjusted_args_size;
1775
1776   return adjustment;
1777 }
1778
1779 /* Scan X expression if it does not dereference any argument slots
1780    we already clobbered by tail call arguments (as noted in stored_args_map
1781    bitmap).
1782    Return nonzero if X expression dereferences such argument slots,
1783    zero otherwise.  */
1784
1785 static int
1786 check_sibcall_argument_overlap_1 (rtx x)
1787 {
1788   RTX_CODE code;
1789   int i, j;
1790   const char *fmt;
1791
1792   if (x == NULL_RTX)
1793     return 0;
1794
1795   code = GET_CODE (x);
1796
1797   if (code == MEM)
1798     return mem_overlaps_already_clobbered_arg_p (XEXP (x, 0),
1799                                                  GET_MODE_SIZE (GET_MODE (x)));
1800
1801   /* Scan all subexpressions.  */
1802   fmt = GET_RTX_FORMAT (code);
1803   for (i = 0; i < GET_RTX_LENGTH (code); i++, fmt++)
1804     {
1805       if (*fmt == 'e')
1806         {
1807           if (check_sibcall_argument_overlap_1 (XEXP (x, i)))
1808             return 1;
1809         }
1810       else if (*fmt == 'E')
1811         {
1812           for (j = 0; j < XVECLEN (x, i); j++)
1813             if (check_sibcall_argument_overlap_1 (XVECEXP (x, i, j)))
1814               return 1;
1815         }
1816     }
1817   return 0;
1818 }
1819
1820 /* Scan sequence after INSN if it does not dereference any argument slots
1821    we already clobbered by tail call arguments (as noted in stored_args_map
1822    bitmap).  If MARK_STORED_ARGS_MAP, add stack slots for ARG to
1823    stored_args_map bitmap afterwards (when ARG is a register MARK_STORED_ARGS_MAP
1824    should be 0).  Return nonzero if sequence after INSN dereferences such argument
1825    slots, zero otherwise.  */
1826
1827 static int
1828 check_sibcall_argument_overlap (rtx insn, struct arg_data *arg, int mark_stored_args_map)
1829 {
1830   int low, high;
1831
1832   if (insn == NULL_RTX)
1833     insn = get_insns ();
1834   else
1835     insn = NEXT_INSN (insn);
1836
1837   for (; insn; insn = NEXT_INSN (insn))
1838     if (INSN_P (insn)
1839         && check_sibcall_argument_overlap_1 (PATTERN (insn)))
1840       break;
1841
1842   if (mark_stored_args_map)
1843     {
1844 #ifdef ARGS_GROW_DOWNWARD
1845       low = -arg->locate.slot_offset.constant - arg->locate.size.constant;
1846 #else
1847       low = arg->locate.slot_offset.constant;
1848 #endif
1849
1850       for (high = low + arg->locate.size.constant; low < high; low++)
1851         SET_BIT (stored_args_map, low);
1852     }
1853   return insn != NULL_RTX;
1854 }
1855
1856 /* Given that a function returns a value of mode MODE at the most
1857    significant end of hard register VALUE, shift VALUE left or right
1858    as specified by LEFT_P.  Return true if some action was needed.  */
1859
1860 bool
1861 shift_return_value (enum machine_mode mode, bool left_p, rtx value)
1862 {
1863   HOST_WIDE_INT shift;
1864
1865   gcc_assert (REG_P (value) && HARD_REGISTER_P (value));
1866   shift = GET_MODE_BITSIZE (GET_MODE (value)) - GET_MODE_BITSIZE (mode);
1867   if (shift == 0)
1868     return false;
1869
1870   /* Use ashr rather than lshr for right shifts.  This is for the benefit
1871      of the MIPS port, which requires SImode values to be sign-extended
1872      when stored in 64-bit registers.  */
1873   if (!force_expand_binop (GET_MODE (value), left_p ? ashl_optab : ashr_optab,
1874                            value, GEN_INT (shift), value, 1, OPTAB_WIDEN))
1875     gcc_unreachable ();
1876   return true;
1877 }
1878
1879 /* If X is a likely-spilled register value, copy it to a pseudo
1880    register and return that register.  Return X otherwise.  */
1881
1882 static rtx
1883 avoid_likely_spilled_reg (rtx x)
1884 {
1885   rtx new_rtx;
1886
1887   if (REG_P (x)
1888       && HARD_REGISTER_P (x)
1889       && CLASS_LIKELY_SPILLED_P (REGNO_REG_CLASS (REGNO (x))))
1890     {
1891       /* Make sure that we generate a REG rather than a CONCAT.
1892          Moves into CONCATs can need nontrivial instructions,
1893          and the whole point of this function is to avoid
1894          using the hard register directly in such a situation.  */
1895       generating_concat_p = 0;
1896       new_rtx = gen_reg_rtx (GET_MODE (x));
1897       generating_concat_p = 1;
1898       emit_move_insn (new_rtx, x);
1899       return new_rtx;
1900     }
1901   return x;
1902 }
1903
1904 /* Generate all the code for a CALL_EXPR exp
1905    and return an rtx for its value.
1906    Store the value in TARGET (specified as an rtx) if convenient.
1907    If the value is stored in TARGET then TARGET is returned.
1908    If IGNORE is nonzero, then we ignore the value of the function call.  */
1909
1910 rtx
1911 expand_call (tree exp, rtx target, int ignore)
1912 {
1913   /* Nonzero if we are currently expanding a call.  */
1914   static int currently_expanding_call = 0;
1915
1916   /* RTX for the function to be called.  */
1917   rtx funexp;
1918   /* Sequence of insns to perform a normal "call".  */
1919   rtx normal_call_insns = NULL_RTX;
1920   /* Sequence of insns to perform a tail "call".  */
1921   rtx tail_call_insns = NULL_RTX;
1922   /* Data type of the function.  */
1923   tree funtype;
1924   tree type_arg_types;
1925   /* Declaration of the function being called,
1926      or 0 if the function is computed (not known by name).  */
1927   tree fndecl = 0;
1928   /* The type of the function being called.  */
1929   tree fntype;
1930   bool try_tail_call = CALL_EXPR_TAILCALL (exp);
1931   int pass;
1932
1933   /* Register in which non-BLKmode value will be returned,
1934      or 0 if no value or if value is BLKmode.  */
1935   rtx valreg;
1936   /* Address where we should return a BLKmode value;
1937      0 if value not BLKmode.  */
1938   rtx structure_value_addr = 0;
1939   /* Nonzero if that address is being passed by treating it as
1940      an extra, implicit first parameter.  Otherwise,
1941      it is passed by being copied directly into struct_value_rtx.  */
1942   int structure_value_addr_parm = 0;
1943   /* Holds the value of implicit argument for the struct value.  */
1944   tree structure_value_addr_value = NULL_TREE;
1945   /* Size of aggregate value wanted, or zero if none wanted
1946      or if we are using the non-reentrant PCC calling convention
1947      or expecting the value in registers.  */
1948   HOST_WIDE_INT struct_value_size = 0;
1949   /* Nonzero if called function returns an aggregate in memory PCC style,
1950      by returning the address of where to find it.  */
1951   int pcc_struct_value = 0;
1952   rtx struct_value = 0;
1953
1954   /* Number of actual parameters in this call, including struct value addr.  */
1955   int num_actuals;
1956   /* Number of named args.  Args after this are anonymous ones
1957      and they must all go on the stack.  */
1958   int n_named_args;
1959   /* Number of complex actual arguments that need to be split.  */
1960   int num_complex_actuals = 0;
1961
1962   /* Vector of information about each argument.
1963      Arguments are numbered in the order they will be pushed,
1964      not the order they are written.  */
1965   struct arg_data *args;
1966
1967   /* Total size in bytes of all the stack-parms scanned so far.  */
1968   struct args_size args_size;
1969   struct args_size adjusted_args_size;
1970   /* Size of arguments before any adjustments (such as rounding).  */
1971   int unadjusted_args_size;
1972   /* Data on reg parms scanned so far.  */
1973   CUMULATIVE_ARGS args_so_far;
1974   /* Nonzero if a reg parm has been scanned.  */
1975   int reg_parm_seen;
1976   /* Nonzero if this is an indirect function call.  */
1977
1978   /* Nonzero if we must avoid push-insns in the args for this call.
1979      If stack space is allocated for register parameters, but not by the
1980      caller, then it is preallocated in the fixed part of the stack frame.
1981      So the entire argument block must then be preallocated (i.e., we
1982      ignore PUSH_ROUNDING in that case).  */
1983
1984   int must_preallocate = !PUSH_ARGS;
1985
1986   /* Size of the stack reserved for parameter registers.  */
1987   int reg_parm_stack_space = 0;
1988
1989   /* Address of space preallocated for stack parms
1990      (on machines that lack push insns), or 0 if space not preallocated.  */
1991   rtx argblock = 0;
1992
1993   /* Mask of ECF_ flags.  */
1994   int flags = 0;
1995 #ifdef REG_PARM_STACK_SPACE
1996   /* Define the boundary of the register parm stack space that needs to be
1997      saved, if any.  */
1998   int low_to_save, high_to_save;
1999   rtx save_area = 0;            /* Place that it is saved */
2000 #endif
2001
2002   int initial_highest_arg_in_use = highest_outgoing_arg_in_use;
2003   char *initial_stack_usage_map = stack_usage_map;
2004   char *stack_usage_map_buf = NULL;
2005
2006   int old_stack_allocated;
2007
2008   /* State variables to track stack modifications.  */
2009   rtx old_stack_level = 0;
2010   int old_stack_arg_under_construction = 0;
2011   int old_pending_adj = 0;
2012   int old_inhibit_defer_pop = inhibit_defer_pop;
2013
2014   /* Some stack pointer alterations we make are performed via
2015      allocate_dynamic_stack_space. This modifies the stack_pointer_delta,
2016      which we then also need to save/restore along the way.  */
2017   int old_stack_pointer_delta = 0;
2018
2019   rtx call_fusage;
2020   tree p = CALL_EXPR_FN (exp);
2021   tree addr = CALL_EXPR_FN (exp);
2022   int i;
2023   /* The alignment of the stack, in bits.  */
2024   unsigned HOST_WIDE_INT preferred_stack_boundary;
2025   /* The alignment of the stack, in bytes.  */
2026   unsigned HOST_WIDE_INT preferred_unit_stack_boundary;
2027   /* The static chain value to use for this call.  */
2028   rtx static_chain_value;
2029   /* See if this is "nothrow" function call.  */
2030   if (TREE_NOTHROW (exp))
2031     flags |= ECF_NOTHROW;
2032
2033   /* See if we can find a DECL-node for the actual function, and get the
2034      function attributes (flags) from the function decl or type node.  */
2035   fndecl = get_callee_fndecl (exp);
2036   if (fndecl)
2037     {
2038       fntype = TREE_TYPE (fndecl);
2039       flags |= flags_from_decl_or_type (fndecl);
2040     }
2041   else
2042     {
2043       fntype = TREE_TYPE (TREE_TYPE (p));
2044       flags |= flags_from_decl_or_type (fntype);
2045     }
2046
2047   struct_value = targetm.calls.struct_value_rtx (fntype, 0);
2048
2049   /* Warn if this value is an aggregate type,
2050      regardless of which calling convention we are using for it.  */
2051   if (AGGREGATE_TYPE_P (TREE_TYPE (exp)))
2052     warning (OPT_Waggregate_return, "function call has aggregate value");
2053
2054   /* If the result of a non looping pure or const function call is
2055      ignored (or void), and none of its arguments are volatile, we can
2056      avoid expanding the call and just evaluate the arguments for
2057      side-effects.  */
2058   if ((flags & (ECF_CONST | ECF_PURE))
2059       && (!(flags & ECF_LOOPING_CONST_OR_PURE))
2060       && (ignore || target == const0_rtx
2061           || TYPE_MODE (TREE_TYPE (exp)) == VOIDmode))
2062     {
2063       bool volatilep = false;
2064       tree arg;
2065       call_expr_arg_iterator iter;
2066
2067       FOR_EACH_CALL_EXPR_ARG (arg, iter, exp)
2068         if (TREE_THIS_VOLATILE (arg))
2069           {
2070             volatilep = true;
2071             break;
2072           }
2073
2074       if (! volatilep)
2075         {
2076           FOR_EACH_CALL_EXPR_ARG (arg, iter, exp)
2077             expand_expr (arg, const0_rtx, VOIDmode, EXPAND_NORMAL);
2078           return const0_rtx;
2079         }
2080     }
2081
2082 #ifdef REG_PARM_STACK_SPACE
2083   reg_parm_stack_space = REG_PARM_STACK_SPACE (!fndecl ? fntype : fndecl);
2084 #endif
2085
2086   if (! OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl)))
2087       && reg_parm_stack_space > 0 && PUSH_ARGS)
2088     must_preallocate = 1;
2089
2090   /* Set up a place to return a structure.  */
2091
2092   /* Cater to broken compilers.  */
2093   if (aggregate_value_p (exp, (!fndecl ? fntype : fndecl)))
2094     {
2095       /* This call returns a big structure.  */
2096       flags &= ~(ECF_CONST | ECF_PURE | ECF_LOOPING_CONST_OR_PURE);
2097
2098 #ifdef PCC_STATIC_STRUCT_RETURN
2099       {
2100         pcc_struct_value = 1;
2101       }
2102 #else /* not PCC_STATIC_STRUCT_RETURN */
2103       {
2104         struct_value_size = int_size_in_bytes (TREE_TYPE (exp));
2105
2106         if (target && MEM_P (target) && CALL_EXPR_RETURN_SLOT_OPT (exp))
2107           structure_value_addr = XEXP (target, 0);
2108         else
2109           {
2110             /* For variable-sized objects, we must be called with a target
2111                specified.  If we were to allocate space on the stack here,
2112                we would have no way of knowing when to free it.  */
2113             rtx d = assign_temp (TREE_TYPE (exp), 0, 1, 1);
2114
2115             mark_temp_addr_taken (d);
2116             structure_value_addr = XEXP (d, 0);
2117             target = 0;
2118           }
2119       }
2120 #endif /* not PCC_STATIC_STRUCT_RETURN */
2121     }
2122
2123   /* Figure out the amount to which the stack should be aligned.  */
2124   preferred_stack_boundary = PREFERRED_STACK_BOUNDARY;
2125   if (fndecl)
2126     {
2127       struct cgraph_rtl_info *i = cgraph_rtl_info (fndecl);
2128       /* Without automatic stack alignment, we can't increase preferred
2129          stack boundary.  With automatic stack alignment, it is
2130          unnecessary since unless we can guarantee that all callers will
2131          align the outgoing stack properly, callee has to align its
2132          stack anyway.  */
2133       if (i
2134           && i->preferred_incoming_stack_boundary
2135           && i->preferred_incoming_stack_boundary < preferred_stack_boundary)
2136         preferred_stack_boundary = i->preferred_incoming_stack_boundary;
2137     }
2138
2139   /* Operand 0 is a pointer-to-function; get the type of the function.  */
2140   funtype = TREE_TYPE (addr);
2141   gcc_assert (POINTER_TYPE_P (funtype));
2142   funtype = TREE_TYPE (funtype);
2143
2144   /* Count whether there are actual complex arguments that need to be split
2145      into their real and imaginary parts.  Munge the type_arg_types
2146      appropriately here as well.  */
2147   if (targetm.calls.split_complex_arg)
2148     {
2149       call_expr_arg_iterator iter;
2150       tree arg;
2151       FOR_EACH_CALL_EXPR_ARG (arg, iter, exp)
2152         {
2153           tree type = TREE_TYPE (arg);
2154           if (type && TREE_CODE (type) == COMPLEX_TYPE
2155               && targetm.calls.split_complex_arg (type))
2156             num_complex_actuals++;
2157         }
2158       type_arg_types = split_complex_types (TYPE_ARG_TYPES (funtype));
2159     }
2160   else
2161     type_arg_types = TYPE_ARG_TYPES (funtype);
2162
2163   if (flags & ECF_MAY_BE_ALLOCA)
2164     cfun->calls_alloca = 1;
2165
2166   /* If struct_value_rtx is 0, it means pass the address
2167      as if it were an extra parameter.  Put the argument expression
2168      in structure_value_addr_value.  */
2169   if (structure_value_addr && struct_value == 0)
2170     {
2171       /* If structure_value_addr is a REG other than
2172          virtual_outgoing_args_rtx, we can use always use it.  If it
2173          is not a REG, we must always copy it into a register.
2174          If it is virtual_outgoing_args_rtx, we must copy it to another
2175          register in some cases.  */
2176       rtx temp = (!REG_P (structure_value_addr)
2177                   || (ACCUMULATE_OUTGOING_ARGS
2178                       && stack_arg_under_construction
2179                       && structure_value_addr == virtual_outgoing_args_rtx)
2180                   ? copy_addr_to_reg (convert_memory_address
2181                                       (Pmode, structure_value_addr))
2182                   : structure_value_addr);
2183
2184       structure_value_addr_value =
2185         make_tree (build_pointer_type (TREE_TYPE (funtype)), temp);
2186       structure_value_addr_parm = 1;
2187     }
2188
2189   /* Count the arguments and set NUM_ACTUALS.  */
2190   num_actuals =
2191     call_expr_nargs (exp) + num_complex_actuals + structure_value_addr_parm;
2192
2193   /* Compute number of named args.
2194      First, do a raw count of the args for INIT_CUMULATIVE_ARGS.  */
2195
2196   if (type_arg_types != 0)
2197     n_named_args
2198       = (list_length (type_arg_types)
2199          /* Count the struct value address, if it is passed as a parm.  */
2200          + structure_value_addr_parm);
2201   else
2202     /* If we know nothing, treat all args as named.  */
2203     n_named_args = num_actuals;
2204
2205   /* Start updating where the next arg would go.
2206
2207      On some machines (such as the PA) indirect calls have a different
2208      calling convention than normal calls.  The fourth argument in
2209      INIT_CUMULATIVE_ARGS tells the backend if this is an indirect call
2210      or not.  */
2211   INIT_CUMULATIVE_ARGS (args_so_far, funtype, NULL_RTX, fndecl, n_named_args);
2212
2213   /* Now possibly adjust the number of named args.
2214      Normally, don't include the last named arg if anonymous args follow.
2215      We do include the last named arg if
2216      targetm.calls.strict_argument_naming() returns nonzero.
2217      (If no anonymous args follow, the result of list_length is actually
2218      one too large.  This is harmless.)
2219
2220      If targetm.calls.pretend_outgoing_varargs_named() returns
2221      nonzero, and targetm.calls.strict_argument_naming() returns zero,
2222      this machine will be able to place unnamed args that were passed
2223      in registers into the stack.  So treat all args as named.  This
2224      allows the insns emitting for a specific argument list to be
2225      independent of the function declaration.
2226
2227      If targetm.calls.pretend_outgoing_varargs_named() returns zero,
2228      we do not have any reliable way to pass unnamed args in
2229      registers, so we must force them into memory.  */
2230
2231   if (type_arg_types != 0
2232       && targetm.calls.strict_argument_naming (&args_so_far))
2233     ;
2234   else if (type_arg_types != 0
2235            && ! targetm.calls.pretend_outgoing_varargs_named (&args_so_far))
2236     /* Don't include the last named arg.  */
2237     --n_named_args;
2238   else
2239     /* Treat all args as named.  */
2240     n_named_args = num_actuals;
2241
2242   /* Make a vector to hold all the information about each arg.  */
2243   args = XALLOCAVEC (struct arg_data, num_actuals);
2244   memset (args, 0, num_actuals * sizeof (struct arg_data));
2245
2246   /* Build up entries in the ARGS array, compute the size of the
2247      arguments into ARGS_SIZE, etc.  */
2248   initialize_argument_information (num_actuals, args, &args_size,
2249                                    n_named_args, exp,
2250                                    structure_value_addr_value, fndecl, fntype,
2251                                    &args_so_far, reg_parm_stack_space,
2252                                    &old_stack_level, &old_pending_adj,
2253                                    &must_preallocate, &flags,
2254                                    &try_tail_call, CALL_FROM_THUNK_P (exp));
2255
2256   if (args_size.var)
2257     must_preallocate = 1;
2258
2259   /* Now make final decision about preallocating stack space.  */
2260   must_preallocate = finalize_must_preallocate (must_preallocate,
2261                                                 num_actuals, args,
2262                                                 &args_size);
2263
2264   /* If the structure value address will reference the stack pointer, we
2265      must stabilize it.  We don't need to do this if we know that we are
2266      not going to adjust the stack pointer in processing this call.  */
2267
2268   if (structure_value_addr
2269       && (reg_mentioned_p (virtual_stack_dynamic_rtx, structure_value_addr)
2270           || reg_mentioned_p (virtual_outgoing_args_rtx,
2271                               structure_value_addr))
2272       && (args_size.var
2273           || (!ACCUMULATE_OUTGOING_ARGS && args_size.constant)))
2274     structure_value_addr = copy_to_reg (structure_value_addr);
2275
2276   /* Tail calls can make things harder to debug, and we've traditionally
2277      pushed these optimizations into -O2.  Don't try if we're already
2278      expanding a call, as that means we're an argument.  Don't try if
2279      there's cleanups, as we know there's code to follow the call.  */
2280
2281   if (currently_expanding_call++ != 0
2282       || !flag_optimize_sibling_calls
2283       || args_size.var
2284       || lookup_expr_eh_region (exp) >= 0
2285       || dbg_cnt (tail_call) == false)
2286     try_tail_call = 0;
2287
2288   /*  Rest of purposes for tail call optimizations to fail.  */
2289   if (
2290 #ifdef HAVE_sibcall_epilogue
2291       !HAVE_sibcall_epilogue
2292 #else
2293       1
2294 #endif
2295       || !try_tail_call
2296       /* Doing sibling call optimization needs some work, since
2297          structure_value_addr can be allocated on the stack.
2298          It does not seem worth the effort since few optimizable
2299          sibling calls will return a structure.  */
2300       || structure_value_addr != NULL_RTX
2301       /* Check whether the target is able to optimize the call
2302          into a sibcall.  */
2303       || !targetm.function_ok_for_sibcall (fndecl, exp)
2304       /* Functions that do not return exactly once may not be sibcall
2305          optimized.  */
2306       || (flags & (ECF_RETURNS_TWICE | ECF_NORETURN))
2307       || TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (addr)))
2308       /* If the called function is nested in the current one, it might access
2309          some of the caller's arguments, but could clobber them beforehand if
2310          the argument areas are shared.  */
2311       || (fndecl && decl_function_context (fndecl) == current_function_decl)
2312       /* If this function requires more stack slots than the current
2313          function, we cannot change it into a sibling call.
2314          crtl->args.pretend_args_size is not part of the
2315          stack allocated by our caller.  */
2316       || args_size.constant > (crtl->args.size
2317                                - crtl->args.pretend_args_size)
2318       /* If the callee pops its own arguments, then it must pop exactly
2319          the same number of arguments as the current function.  */
2320       || (RETURN_POPS_ARGS (fndecl, funtype, args_size.constant)
2321           != RETURN_POPS_ARGS (current_function_decl,
2322                                TREE_TYPE (current_function_decl),
2323                                crtl->args.size))
2324       || !lang_hooks.decls.ok_for_sibcall (fndecl))
2325     try_tail_call = 0;
2326
2327   /* Ensure current function's preferred stack boundary is at least
2328      what we need.  Stack alignment may also increase preferred stack
2329      boundary.  */
2330   if (crtl->preferred_stack_boundary < preferred_stack_boundary)
2331     crtl->preferred_stack_boundary = preferred_stack_boundary;
2332   else
2333     preferred_stack_boundary = crtl->preferred_stack_boundary;
2334
2335   preferred_unit_stack_boundary = preferred_stack_boundary / BITS_PER_UNIT;
2336
2337   /* We want to make two insn chains; one for a sibling call, the other
2338      for a normal call.  We will select one of the two chains after
2339      initial RTL generation is complete.  */
2340   for (pass = try_tail_call ? 0 : 1; pass < 2; pass++)
2341     {
2342       int sibcall_failure = 0;
2343       /* We want to emit any pending stack adjustments before the tail
2344          recursion "call".  That way we know any adjustment after the tail
2345          recursion call can be ignored if we indeed use the tail
2346          call expansion.  */
2347       int save_pending_stack_adjust = 0;
2348       int save_stack_pointer_delta = 0;
2349       rtx insns;
2350       rtx before_call, next_arg_reg, after_args;
2351
2352       if (pass == 0)
2353         {
2354           /* State variables we need to save and restore between
2355              iterations.  */
2356           save_pending_stack_adjust = pending_stack_adjust;
2357           save_stack_pointer_delta = stack_pointer_delta;
2358         }
2359       if (pass)
2360         flags &= ~ECF_SIBCALL;
2361       else
2362         flags |= ECF_SIBCALL;
2363
2364       /* Other state variables that we must reinitialize each time
2365          through the loop (that are not initialized by the loop itself).  */
2366       argblock = 0;
2367       call_fusage = 0;
2368
2369       /* Start a new sequence for the normal call case.
2370
2371          From this point on, if the sibling call fails, we want to set
2372          sibcall_failure instead of continuing the loop.  */
2373       start_sequence ();
2374
2375       /* Don't let pending stack adjusts add up to too much.
2376          Also, do all pending adjustments now if there is any chance
2377          this might be a call to alloca or if we are expanding a sibling
2378          call sequence.
2379          Also do the adjustments before a throwing call, otherwise
2380          exception handling can fail; PR 19225. */
2381       if (pending_stack_adjust >= 32
2382           || (pending_stack_adjust > 0
2383               && (flags & ECF_MAY_BE_ALLOCA))
2384           || (pending_stack_adjust > 0
2385               && flag_exceptions && !(flags & ECF_NOTHROW))
2386           || pass == 0)
2387         do_pending_stack_adjust ();
2388
2389       /* Precompute any arguments as needed.  */
2390       if (pass)
2391         precompute_arguments (num_actuals, args);
2392
2393       /* Now we are about to start emitting insns that can be deleted
2394          if a libcall is deleted.  */
2395       if (pass && (flags & ECF_MALLOC))
2396         start_sequence ();
2397
2398       if (pass == 0 && crtl->stack_protect_guard)
2399         stack_protect_epilogue ();
2400
2401       adjusted_args_size = args_size;
2402       /* Compute the actual size of the argument block required.  The variable
2403          and constant sizes must be combined, the size may have to be rounded,
2404          and there may be a minimum required size.  When generating a sibcall
2405          pattern, do not round up, since we'll be re-using whatever space our
2406          caller provided.  */
2407       unadjusted_args_size
2408         = compute_argument_block_size (reg_parm_stack_space,
2409                                        &adjusted_args_size,
2410                                        fndecl, fntype,
2411                                        (pass == 0 ? 0
2412                                         : preferred_stack_boundary));
2413
2414       old_stack_allocated = stack_pointer_delta - pending_stack_adjust;
2415
2416       /* The argument block when performing a sibling call is the
2417          incoming argument block.  */
2418       if (pass == 0)
2419         {
2420           argblock = crtl->args.internal_arg_pointer;
2421           argblock
2422 #ifdef STACK_GROWS_DOWNWARD
2423             = plus_constant (argblock, crtl->args.pretend_args_size);
2424 #else
2425             = plus_constant (argblock, -crtl->args.pretend_args_size);
2426 #endif
2427           stored_args_map = sbitmap_alloc (args_size.constant);
2428           sbitmap_zero (stored_args_map);
2429         }
2430
2431       /* If we have no actual push instructions, or shouldn't use them,
2432          make space for all args right now.  */
2433       else if (adjusted_args_size.var != 0)
2434         {
2435           if (old_stack_level == 0)
2436             {
2437               emit_stack_save (SAVE_BLOCK, &old_stack_level, NULL_RTX);
2438               old_stack_pointer_delta = stack_pointer_delta;
2439               old_pending_adj = pending_stack_adjust;
2440               pending_stack_adjust = 0;
2441               /* stack_arg_under_construction says whether a stack arg is
2442                  being constructed at the old stack level.  Pushing the stack
2443                  gets a clean outgoing argument block.  */
2444               old_stack_arg_under_construction = stack_arg_under_construction;
2445               stack_arg_under_construction = 0;
2446             }
2447           argblock = push_block (ARGS_SIZE_RTX (adjusted_args_size), 0, 0);
2448         }
2449       else
2450         {
2451           /* Note that we must go through the motions of allocating an argument
2452              block even if the size is zero because we may be storing args
2453              in the area reserved for register arguments, which may be part of
2454              the stack frame.  */
2455
2456           int needed = adjusted_args_size.constant;
2457
2458           /* Store the maximum argument space used.  It will be pushed by
2459              the prologue (if ACCUMULATE_OUTGOING_ARGS, or stack overflow
2460              checking).  */
2461
2462           if (needed > crtl->outgoing_args_size)
2463             crtl->outgoing_args_size = needed;
2464
2465           if (must_preallocate)
2466             {
2467               if (ACCUMULATE_OUTGOING_ARGS)
2468                 {
2469                   /* Since the stack pointer will never be pushed, it is
2470                      possible for the evaluation of a parm to clobber
2471                      something we have already written to the stack.
2472                      Since most function calls on RISC machines do not use
2473                      the stack, this is uncommon, but must work correctly.
2474
2475                      Therefore, we save any area of the stack that was already
2476                      written and that we are using.  Here we set up to do this
2477                      by making a new stack usage map from the old one.  The
2478                      actual save will be done by store_one_arg.
2479
2480                      Another approach might be to try to reorder the argument
2481                      evaluations to avoid this conflicting stack usage.  */
2482
2483                   /* Since we will be writing into the entire argument area,
2484                      the map must be allocated for its entire size, not just
2485                      the part that is the responsibility of the caller.  */
2486                   if (! OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl))))
2487                     needed += reg_parm_stack_space;
2488
2489 #ifdef ARGS_GROW_DOWNWARD
2490                   highest_outgoing_arg_in_use = MAX (initial_highest_arg_in_use,
2491                                                      needed + 1);
2492 #else
2493                   highest_outgoing_arg_in_use = MAX (initial_highest_arg_in_use,
2494                                                      needed);
2495 #endif
2496                   if (stack_usage_map_buf)
2497                     free (stack_usage_map_buf);
2498                   stack_usage_map_buf = XNEWVEC (char, highest_outgoing_arg_in_use);
2499                   stack_usage_map = stack_usage_map_buf;
2500
2501                   if (initial_highest_arg_in_use)
2502                     memcpy (stack_usage_map, initial_stack_usage_map,
2503                             initial_highest_arg_in_use);
2504
2505                   if (initial_highest_arg_in_use != highest_outgoing_arg_in_use)
2506                     memset (&stack_usage_map[initial_highest_arg_in_use], 0,
2507                            (highest_outgoing_arg_in_use
2508                             - initial_highest_arg_in_use));
2509                   needed = 0;
2510
2511                   /* The address of the outgoing argument list must not be
2512                      copied to a register here, because argblock would be left
2513                      pointing to the wrong place after the call to
2514                      allocate_dynamic_stack_space below.  */
2515
2516                   argblock = virtual_outgoing_args_rtx;
2517                 }
2518               else
2519                 {
2520                   if (inhibit_defer_pop == 0)
2521                     {
2522                       /* Try to reuse some or all of the pending_stack_adjust
2523                          to get this space.  */
2524                       needed
2525                         = (combine_pending_stack_adjustment_and_call
2526                            (unadjusted_args_size,
2527                             &adjusted_args_size,
2528                             preferred_unit_stack_boundary));
2529
2530                       /* combine_pending_stack_adjustment_and_call computes
2531                          an adjustment before the arguments are allocated.
2532                          Account for them and see whether or not the stack
2533                          needs to go up or down.  */
2534                       needed = unadjusted_args_size - needed;
2535
2536                       if (needed < 0)
2537                         {
2538                           /* We're releasing stack space.  */
2539                           /* ??? We can avoid any adjustment at all if we're
2540                              already aligned.  FIXME.  */
2541                           pending_stack_adjust = -needed;
2542                           do_pending_stack_adjust ();
2543                           needed = 0;
2544                         }
2545                       else
2546                         /* We need to allocate space.  We'll do that in
2547                            push_block below.  */
2548                         pending_stack_adjust = 0;
2549                     }
2550
2551                   /* Special case this because overhead of `push_block' in
2552                      this case is non-trivial.  */
2553                   if (needed == 0)
2554                     argblock = virtual_outgoing_args_rtx;
2555                   else
2556                     {
2557                       argblock = push_block (GEN_INT (needed), 0, 0);
2558 #ifdef ARGS_GROW_DOWNWARD
2559                       argblock = plus_constant (argblock, needed);
2560 #endif
2561                     }
2562
2563                   /* We only really need to call `copy_to_reg' in the case
2564                      where push insns are going to be used to pass ARGBLOCK
2565                      to a function call in ARGS.  In that case, the stack
2566                      pointer changes value from the allocation point to the
2567                      call point, and hence the value of
2568                      VIRTUAL_OUTGOING_ARGS_RTX changes as well.  But might
2569                      as well always do it.  */
2570                   argblock = copy_to_reg (argblock);
2571                 }
2572             }
2573         }
2574
2575       if (ACCUMULATE_OUTGOING_ARGS)
2576         {
2577           /* The save/restore code in store_one_arg handles all
2578              cases except one: a constructor call (including a C
2579              function returning a BLKmode struct) to initialize
2580              an argument.  */
2581           if (stack_arg_under_construction)
2582             {
2583               rtx push_size
2584                 = GEN_INT (adjusted_args_size.constant
2585                            + (OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype
2586                                                                       : TREE_TYPE (fndecl))) ? 0
2587                               : reg_parm_stack_space));
2588               if (old_stack_level == 0)
2589                 {
2590                   emit_stack_save (SAVE_BLOCK, &old_stack_level,
2591                                    NULL_RTX);
2592                   old_stack_pointer_delta = stack_pointer_delta;
2593                   old_pending_adj = pending_stack_adjust;
2594                   pending_stack_adjust = 0;
2595                   /* stack_arg_under_construction says whether a stack
2596                      arg is being constructed at the old stack level.
2597                      Pushing the stack gets a clean outgoing argument
2598                      block.  */
2599                   old_stack_arg_under_construction
2600                     = stack_arg_under_construction;
2601                   stack_arg_under_construction = 0;
2602                   /* Make a new map for the new argument list.  */
2603                   if (stack_usage_map_buf)
2604                     free (stack_usage_map_buf);
2605                   stack_usage_map_buf = XCNEWVEC (char, highest_outgoing_arg_in_use);
2606                   stack_usage_map = stack_usage_map_buf;
2607                   highest_outgoing_arg_in_use = 0;
2608                 }
2609               allocate_dynamic_stack_space (push_size, NULL_RTX,
2610                                             BITS_PER_UNIT);
2611             }
2612
2613           /* If argument evaluation might modify the stack pointer,
2614              copy the address of the argument list to a register.  */
2615           for (i = 0; i < num_actuals; i++)
2616             if (args[i].pass_on_stack)
2617               {
2618                 argblock = copy_addr_to_reg (argblock);
2619                 break;
2620               }
2621         }
2622
2623       compute_argument_addresses (args, argblock, num_actuals);
2624
2625       /* If we push args individually in reverse order, perform stack alignment
2626          before the first push (the last arg).  */
2627       if (PUSH_ARGS_REVERSED && argblock == 0
2628           && adjusted_args_size.constant != unadjusted_args_size)
2629         {
2630           /* When the stack adjustment is pending, we get better code
2631              by combining the adjustments.  */
2632           if (pending_stack_adjust
2633               && ! inhibit_defer_pop)
2634             {
2635               pending_stack_adjust
2636                 = (combine_pending_stack_adjustment_and_call
2637                    (unadjusted_args_size,
2638                     &adjusted_args_size,
2639                     preferred_unit_stack_boundary));
2640               do_pending_stack_adjust ();
2641             }
2642           else if (argblock == 0)
2643             anti_adjust_stack (GEN_INT (adjusted_args_size.constant
2644                                         - unadjusted_args_size));
2645         }
2646       /* Now that the stack is properly aligned, pops can't safely
2647          be deferred during the evaluation of the arguments.  */
2648       NO_DEFER_POP;
2649
2650       funexp = rtx_for_function_call (fndecl, addr);
2651
2652       /* Figure out the register where the value, if any, will come back.  */
2653       valreg = 0;
2654       if (TYPE_MODE (TREE_TYPE (exp)) != VOIDmode
2655           && ! structure_value_addr)
2656         {
2657           if (pcc_struct_value)
2658             valreg = hard_function_value (build_pointer_type (TREE_TYPE (exp)),
2659                                           fndecl, NULL, (pass == 0));
2660           else
2661             valreg = hard_function_value (TREE_TYPE (exp), fndecl, fntype,
2662                                           (pass == 0));
2663
2664           /* If VALREG is a PARALLEL whose first member has a zero
2665              offset, use that.  This is for targets such as m68k that
2666              return the same value in multiple places.  */
2667           if (GET_CODE (valreg) == PARALLEL)
2668             {
2669               rtx elem = XVECEXP (valreg, 0, 0);
2670               rtx where = XEXP (elem, 0);
2671               rtx offset = XEXP (elem, 1);
2672               if (offset == const0_rtx
2673                   && GET_MODE (where) == GET_MODE (valreg))
2674                 valreg = where;
2675             }
2676         }
2677
2678       /* Precompute all register parameters.  It isn't safe to compute anything
2679          once we have started filling any specific hard regs.  */
2680       precompute_register_parameters (num_actuals, args, &reg_parm_seen);
2681
2682       if (CALL_EXPR_STATIC_CHAIN (exp))
2683         static_chain_value = expand_normal (CALL_EXPR_STATIC_CHAIN (exp));
2684       else
2685         static_chain_value = 0;
2686
2687 #ifdef REG_PARM_STACK_SPACE
2688       /* Save the fixed argument area if it's part of the caller's frame and
2689          is clobbered by argument setup for this call.  */
2690       if (ACCUMULATE_OUTGOING_ARGS && pass)
2691         save_area = save_fixed_argument_area (reg_parm_stack_space, argblock,
2692                                               &low_to_save, &high_to_save);
2693 #endif
2694
2695       /* Now store (and compute if necessary) all non-register parms.
2696          These come before register parms, since they can require block-moves,
2697          which could clobber the registers used for register parms.
2698          Parms which have partial registers are not stored here,
2699          but we do preallocate space here if they want that.  */
2700
2701       for (i = 0; i < num_actuals; i++)
2702         if (args[i].reg == 0 || args[i].pass_on_stack)
2703           {
2704             rtx before_arg = get_last_insn ();
2705
2706             if (store_one_arg (&args[i], argblock, flags,
2707                                adjusted_args_size.var != 0,
2708                                reg_parm_stack_space)
2709                 || (pass == 0
2710                     && check_sibcall_argument_overlap (before_arg,
2711                                                        &args[i], 1)))
2712               sibcall_failure = 1;
2713
2714             if (flags & ECF_CONST
2715                 && args[i].stack
2716                 && args[i].value == args[i].stack)
2717               call_fusage = gen_rtx_EXPR_LIST (VOIDmode,
2718                                                gen_rtx_USE (VOIDmode,
2719                                                             args[i].value),
2720                                                call_fusage);
2721           }
2722
2723       /* If we have a parm that is passed in registers but not in memory
2724          and whose alignment does not permit a direct copy into registers,
2725          make a group of pseudos that correspond to each register that we
2726          will later fill.  */
2727       if (STRICT_ALIGNMENT)
2728         store_unaligned_arguments_into_pseudos (args, num_actuals);
2729
2730       /* Now store any partially-in-registers parm.
2731          This is the last place a block-move can happen.  */
2732       if (reg_parm_seen)
2733         for (i = 0; i < num_actuals; i++)
2734           if (args[i].partial != 0 && ! args[i].pass_on_stack)
2735             {
2736               rtx before_arg = get_last_insn ();
2737
2738               if (store_one_arg (&args[i], argblock, flags,
2739                                  adjusted_args_size.var != 0,
2740                                  reg_parm_stack_space)
2741                   || (pass == 0
2742                       && check_sibcall_argument_overlap (before_arg,
2743                                                          &args[i], 1)))
2744                 sibcall_failure = 1;
2745             }
2746
2747       /* If we pushed args in forward order, perform stack alignment
2748          after pushing the last arg.  */
2749       if (!PUSH_ARGS_REVERSED && argblock == 0)
2750         anti_adjust_stack (GEN_INT (adjusted_args_size.constant
2751                                     - unadjusted_args_size));
2752
2753       /* If register arguments require space on the stack and stack space
2754          was not preallocated, allocate stack space here for arguments
2755          passed in registers.  */
2756       if (OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl)))
2757           && !ACCUMULATE_OUTGOING_ARGS
2758           && must_preallocate == 0 && reg_parm_stack_space > 0)
2759         anti_adjust_stack (GEN_INT (reg_parm_stack_space));
2760
2761       /* Pass the function the address in which to return a
2762          structure value.  */
2763       if (pass != 0 && structure_value_addr && ! structure_value_addr_parm)
2764         {
2765           structure_value_addr
2766             = convert_memory_address (Pmode, structure_value_addr);
2767           emit_move_insn (struct_value,
2768                           force_reg (Pmode,
2769                                      force_operand (structure_value_addr,
2770                                                     NULL_RTX)));
2771
2772           if (REG_P (struct_value))
2773             use_reg (&call_fusage, struct_value);
2774         }
2775
2776       after_args = get_last_insn ();
2777       funexp = prepare_call_address (funexp, static_chain_value,
2778                                      &call_fusage, reg_parm_seen, pass == 0);
2779
2780       load_register_parameters (args, num_actuals, &call_fusage, flags,
2781                                 pass == 0, &sibcall_failure);
2782
2783       /* Save a pointer to the last insn before the call, so that we can
2784          later safely search backwards to find the CALL_INSN.  */
2785       before_call = get_last_insn ();
2786
2787       /* Set up next argument register.  For sibling calls on machines
2788          with register windows this should be the incoming register.  */
2789 #ifdef FUNCTION_INCOMING_ARG
2790       if (pass == 0)
2791         next_arg_reg = FUNCTION_INCOMING_ARG (args_so_far, VOIDmode,
2792                                               void_type_node, 1);
2793       else
2794 #endif
2795         next_arg_reg = FUNCTION_ARG (args_so_far, VOIDmode,
2796                                      void_type_node, 1);
2797
2798       /* All arguments and registers used for the call must be set up by
2799          now!  */
2800
2801       /* Stack must be properly aligned now.  */
2802       gcc_assert (!pass
2803                   || !(stack_pointer_delta % preferred_unit_stack_boundary));
2804
2805       /* Generate the actual call instruction.  */
2806       emit_call_1 (funexp, exp, fndecl, funtype, unadjusted_args_size,
2807                    adjusted_args_size.constant, struct_value_size,
2808                    next_arg_reg, valreg, old_inhibit_defer_pop, call_fusage,
2809                    flags, & args_so_far);
2810
2811       /* If the call setup or the call itself overlaps with anything
2812          of the argument setup we probably clobbered our call address.
2813          In that case we can't do sibcalls.  */
2814       if (pass == 0
2815           && check_sibcall_argument_overlap (after_args, 0, 0))
2816         sibcall_failure = 1;
2817
2818       /* If a non-BLKmode value is returned at the most significant end
2819          of a register, shift the register right by the appropriate amount
2820          and update VALREG accordingly.  BLKmode values are handled by the
2821          group load/store machinery below.  */
2822       if (!structure_value_addr
2823           && !pcc_struct_value
2824           && TYPE_MODE (TREE_TYPE (exp)) != BLKmode
2825           && targetm.calls.return_in_msb (TREE_TYPE (exp)))
2826         {
2827           if (shift_return_value (TYPE_MODE (TREE_TYPE (exp)), false, valreg))
2828             sibcall_failure = 1;
2829           valreg = gen_rtx_REG (TYPE_MODE (TREE_TYPE (exp)), REGNO (valreg));
2830         }
2831
2832       if (pass && (flags & ECF_MALLOC))
2833         {
2834           rtx temp = gen_reg_rtx (GET_MODE (valreg));
2835           rtx last, insns;
2836
2837           /* The return value from a malloc-like function is a pointer.  */
2838           if (TREE_CODE (TREE_TYPE (exp)) == POINTER_TYPE)
2839             mark_reg_pointer (temp, BIGGEST_ALIGNMENT);
2840
2841           emit_move_insn (temp, valreg);
2842
2843           /* The return value from a malloc-like function can not alias
2844              anything else.  */
2845           last = get_last_insn ();
2846           add_reg_note (last, REG_NOALIAS, temp);
2847
2848           /* Write out the sequence.  */
2849           insns = get_insns ();
2850           end_sequence ();
2851           emit_insn (insns);
2852           valreg = temp;
2853         }
2854
2855       /* For calls to `setjmp', etc., inform
2856          function.c:setjmp_warnings that it should complain if
2857          nonvolatile values are live.  For functions that cannot
2858          return, inform flow that control does not fall through.  */
2859
2860       if ((flags & ECF_NORETURN) || pass == 0)
2861         {
2862           /* The barrier must be emitted
2863              immediately after the CALL_INSN.  Some ports emit more
2864              than just a CALL_INSN above, so we must search for it here.  */
2865
2866           rtx last = get_last_insn ();
2867           while (!CALL_P (last))
2868             {
2869               last = PREV_INSN (last);
2870               /* There was no CALL_INSN?  */
2871               gcc_assert (last != before_call);
2872             }
2873
2874           emit_barrier_after (last);
2875
2876           /* Stack adjustments after a noreturn call are dead code.
2877              However when NO_DEFER_POP is in effect, we must preserve
2878              stack_pointer_delta.  */
2879           if (inhibit_defer_pop == 0)
2880             {
2881               stack_pointer_delta = old_stack_allocated;
2882               pending_stack_adjust = 0;
2883             }
2884         }
2885
2886       /* If value type not void, return an rtx for the value.  */
2887
2888       if (TYPE_MODE (TREE_TYPE (exp)) == VOIDmode
2889           || ignore)
2890         target = const0_rtx;
2891       else if (structure_value_addr)
2892         {
2893           if (target == 0 || !MEM_P (target))
2894             {
2895               target
2896                 = gen_rtx_MEM (TYPE_MODE (TREE_TYPE (exp)),
2897                                memory_address (TYPE_MODE (TREE_TYPE (exp)),
2898                                                structure_value_addr));
2899               set_mem_attributes (target, exp, 1);
2900             }
2901         }
2902       else if (pcc_struct_value)
2903         {
2904           /* This is the special C++ case where we need to
2905              know what the true target was.  We take care to
2906              never use this value more than once in one expression.  */
2907           target = gen_rtx_MEM (TYPE_MODE (TREE_TYPE (exp)),
2908                                 copy_to_reg (valreg));
2909           set_mem_attributes (target, exp, 1);
2910         }
2911       /* Handle calls that return values in multiple non-contiguous locations.
2912          The Irix 6 ABI has examples of this.  */
2913       else if (GET_CODE (valreg) == PARALLEL)
2914         {
2915           if (target == 0)
2916             {
2917               /* This will only be assigned once, so it can be readonly.  */
2918               tree nt = build_qualified_type (TREE_TYPE (exp),
2919                                               (TYPE_QUALS (TREE_TYPE (exp))
2920                                                | TYPE_QUAL_CONST));
2921
2922               target = assign_temp (nt, 0, 1, 1);
2923             }
2924
2925           if (! rtx_equal_p (target, valreg))
2926             emit_group_store (target, valreg, TREE_TYPE (exp),
2927                               int_size_in_bytes (TREE_TYPE (exp)));
2928
2929           /* We can not support sibling calls for this case.  */
2930           sibcall_failure = 1;
2931         }
2932       else if (target
2933                && GET_MODE (target) == TYPE_MODE (TREE_TYPE (exp))
2934                && GET_MODE (target) == GET_MODE (valreg))
2935         {
2936           bool may_overlap = false;
2937
2938           /* We have to copy a return value in a CLASS_LIKELY_SPILLED hard
2939              reg to a plain register.  */
2940           if (!REG_P (target) || HARD_REGISTER_P (target))
2941             valreg = avoid_likely_spilled_reg (valreg);
2942
2943           /* If TARGET is a MEM in the argument area, and we have
2944              saved part of the argument area, then we can't store
2945              directly into TARGET as it may get overwritten when we
2946              restore the argument save area below.  Don't work too
2947              hard though and simply force TARGET to a register if it
2948              is a MEM; the optimizer is quite likely to sort it out.  */
2949           if (ACCUMULATE_OUTGOING_ARGS && pass && MEM_P (target))
2950             for (i = 0; i < num_actuals; i++)
2951               if (args[i].save_area)
2952                 {
2953                   may_overlap = true;
2954                   break;
2955                 }
2956
2957           if (may_overlap)
2958             target = copy_to_reg (valreg);
2959           else
2960             {
2961               /* TARGET and VALREG cannot be equal at this point
2962                  because the latter would not have
2963                  REG_FUNCTION_VALUE_P true, while the former would if
2964                  it were referring to the same register.
2965
2966                  If they refer to the same register, this move will be
2967                  a no-op, except when function inlining is being
2968                  done.  */
2969               emit_move_insn (target, valreg);
2970
2971               /* If we are setting a MEM, this code must be executed.
2972                  Since it is emitted after the call insn, sibcall
2973                  optimization cannot be performed in that case.  */
2974               if (MEM_P (target))
2975                 sibcall_failure = 1;
2976             }
2977         }
2978       else if (TYPE_MODE (TREE_TYPE (exp)) == BLKmode)
2979         {
2980           target = copy_blkmode_from_reg (target, valreg, TREE_TYPE (exp));
2981
2982           /* We can not support sibling calls for this case.  */
2983           sibcall_failure = 1;
2984         }
2985       else
2986         target = copy_to_reg (avoid_likely_spilled_reg (valreg));
2987
2988       if (targetm.calls.promote_function_return(funtype))
2989         {
2990           /* If we promoted this return value, make the proper SUBREG.
2991              TARGET might be const0_rtx here, so be careful.  */
2992           if (REG_P (target)
2993               && TYPE_MODE (TREE_TYPE (exp)) != BLKmode
2994               && GET_MODE (target) != TYPE_MODE (TREE_TYPE (exp)))
2995             {
2996               tree type = TREE_TYPE (exp);
2997               int unsignedp = TYPE_UNSIGNED (type);
2998               int offset = 0;
2999               enum machine_mode pmode;
3000
3001               pmode = promote_mode (type, TYPE_MODE (type), &unsignedp, 1);
3002               /* If we don't promote as expected, something is wrong.  */
3003               gcc_assert (GET_MODE (target) == pmode);
3004
3005               if ((WORDS_BIG_ENDIAN || BYTES_BIG_ENDIAN)
3006                   && (GET_MODE_SIZE (GET_MODE (target))
3007                       > GET_MODE_SIZE (TYPE_MODE (type))))
3008                 {
3009                   offset = GET_MODE_SIZE (GET_MODE (target))
3010                     - GET_MODE_SIZE (TYPE_MODE (type));
3011                   if (! BYTES_BIG_ENDIAN)
3012                     offset = (offset / UNITS_PER_WORD) * UNITS_PER_WORD;
3013                   else if (! WORDS_BIG_ENDIAN)
3014                     offset %= UNITS_PER_WORD;
3015                 }
3016               target = gen_rtx_SUBREG (TYPE_MODE (type), target, offset);
3017               SUBREG_PROMOTED_VAR_P (target) = 1;
3018               SUBREG_PROMOTED_UNSIGNED_SET (target, unsignedp);
3019             }
3020         }
3021
3022       /* If size of args is variable or this was a constructor call for a stack
3023          argument, restore saved stack-pointer value.  */
3024
3025       if (old_stack_level)
3026         {
3027           emit_stack_restore (SAVE_BLOCK, old_stack_level, NULL_RTX);
3028           stack_pointer_delta = old_stack_pointer_delta;
3029           pending_stack_adjust = old_pending_adj;
3030           old_stack_allocated = stack_pointer_delta - pending_stack_adjust;
3031           stack_arg_under_construction = old_stack_arg_under_construction;
3032           highest_outgoing_arg_in_use = initial_highest_arg_in_use;
3033           stack_usage_map = initial_stack_usage_map;
3034           sibcall_failure = 1;
3035         }
3036       else if (ACCUMULATE_OUTGOING_ARGS && pass)
3037         {
3038 #ifdef REG_PARM_STACK_SPACE
3039           if (save_area)
3040             restore_fixed_argument_area (save_area, argblock,
3041                                          high_to_save, low_to_save);
3042 #endif
3043
3044           /* If we saved any argument areas, restore them.  */
3045           for (i = 0; i < num_actuals; i++)
3046             if (args[i].save_area)
3047               {
3048                 enum machine_mode save_mode = GET_MODE (args[i].save_area);
3049                 rtx stack_area
3050                   = gen_rtx_MEM (save_mode,
3051                                  memory_address (save_mode,
3052                                                  XEXP (args[i].stack_slot, 0)));
3053
3054                 if (save_mode != BLKmode)
3055                   emit_move_insn (stack_area, args[i].save_area);
3056                 else
3057                   emit_block_move (stack_area, args[i].save_area,
3058                                    GEN_INT (args[i].locate.size.constant),
3059                                    BLOCK_OP_CALL_PARM);
3060               }
3061
3062           highest_outgoing_arg_in_use = initial_highest_arg_in_use;
3063           stack_usage_map = initial_stack_usage_map;
3064         }
3065
3066       /* If this was alloca, record the new stack level for nonlocal gotos.
3067          Check for the handler slots since we might not have a save area
3068          for non-local gotos.  */
3069
3070       if ((flags & ECF_MAY_BE_ALLOCA) && cfun->nonlocal_goto_save_area != 0)
3071         update_nonlocal_goto_save_area ();
3072
3073       /* Free up storage we no longer need.  */
3074       for (i = 0; i < num_actuals; ++i)
3075         if (args[i].aligned_regs)
3076           free (args[i].aligned_regs);
3077
3078       insns = get_insns ();
3079       end_sequence ();
3080
3081       if (pass == 0)
3082         {
3083           tail_call_insns = insns;
3084
3085           /* Restore the pending stack adjustment now that we have
3086              finished generating the sibling call sequence.  */
3087
3088           pending_stack_adjust = save_pending_stack_adjust;
3089           stack_pointer_delta = save_stack_pointer_delta;
3090
3091           /* Prepare arg structure for next iteration.  */
3092           for (i = 0; i < num_actuals; i++)
3093             {
3094               args[i].value = 0;
3095               args[i].aligned_regs = 0;
3096               args[i].stack = 0;
3097             }
3098
3099           sbitmap_free (stored_args_map);
3100         }
3101       else
3102         {
3103           normal_call_insns = insns;
3104
3105           /* Verify that we've deallocated all the stack we used.  */
3106           gcc_assert ((flags & ECF_NORETURN)
3107                       || (old_stack_allocated
3108                           == stack_pointer_delta - pending_stack_adjust));
3109         }
3110
3111       /* If something prevents making this a sibling call,
3112          zero out the sequence.  */
3113       if (sibcall_failure)
3114         tail_call_insns = NULL_RTX;
3115       else
3116         break;
3117     }
3118
3119   /* If tail call production succeeded, we need to remove REG_EQUIV notes on
3120      arguments too, as argument area is now clobbered by the call.  */
3121   if (tail_call_insns)
3122     {
3123       emit_insn (tail_call_insns);
3124       crtl->tail_call_emit = true;
3125     }
3126   else
3127     emit_insn (normal_call_insns);
3128
3129   currently_expanding_call--;
3130
3131   if (stack_usage_map_buf)
3132     free (stack_usage_map_buf);
3133
3134   return target;
3135 }
3136
3137 /* A sibling call sequence invalidates any REG_EQUIV notes made for
3138    this function's incoming arguments.
3139
3140    At the start of RTL generation we know the only REG_EQUIV notes
3141    in the rtl chain are those for incoming arguments, so we can look
3142    for REG_EQUIV notes between the start of the function and the
3143    NOTE_INSN_FUNCTION_BEG.
3144
3145    This is (slight) overkill.  We could keep track of the highest
3146    argument we clobber and be more selective in removing notes, but it
3147    does not seem to be worth the effort.  */
3148
3149 void
3150 fixup_tail_calls (void)
3151 {
3152   rtx insn;
3153
3154   for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
3155     {
3156       rtx note;
3157
3158       /* There are never REG_EQUIV notes for the incoming arguments
3159          after the NOTE_INSN_FUNCTION_BEG note, so stop if we see it.  */
3160       if (NOTE_P (insn)
3161           && NOTE_KIND (insn) == NOTE_INSN_FUNCTION_BEG)
3162         break;
3163
3164       note = find_reg_note (insn, REG_EQUIV, 0);
3165       if (note)
3166         remove_note (insn, note);
3167       note = find_reg_note (insn, REG_EQUIV, 0);
3168       gcc_assert (!note);
3169     }
3170 }
3171
3172 /* Traverse a list of TYPES and expand all complex types into their
3173    components.  */
3174 static tree
3175 split_complex_types (tree types)
3176 {
3177   tree p;
3178
3179   /* Before allocating memory, check for the common case of no complex.  */
3180   for (p = types; p; p = TREE_CHAIN (p))
3181     {
3182       tree type = TREE_VALUE (p);
3183       if (TREE_CODE (type) == COMPLEX_TYPE
3184           && targetm.calls.split_complex_arg (type))
3185         goto found;
3186     }
3187   return types;
3188
3189  found:
3190   types = copy_list (types);
3191
3192   for (p = types; p; p = TREE_CHAIN (p))
3193     {
3194       tree complex_type = TREE_VALUE (p);
3195
3196       if (TREE_CODE (complex_type) == COMPLEX_TYPE
3197           && targetm.calls.split_complex_arg (complex_type))
3198         {
3199           tree next, imag;
3200
3201           /* Rewrite complex type with component type.  */
3202           TREE_VALUE (p) = TREE_TYPE (complex_type);
3203           next = TREE_CHAIN (p);
3204
3205           /* Add another component type for the imaginary part.  */
3206           imag = build_tree_list (NULL_TREE, TREE_VALUE (p));
3207           TREE_CHAIN (p) = imag;
3208           TREE_CHAIN (imag) = next;
3209
3210           /* Skip the newly created node.  */
3211           p = TREE_CHAIN (p);
3212         }
3213     }
3214
3215   return types;
3216 }
3217 \f
3218 /* Output a library call to function FUN (a SYMBOL_REF rtx).
3219    The RETVAL parameter specifies whether return value needs to be saved, other
3220    parameters are documented in the emit_library_call function below.  */
3221
3222 static rtx
3223 emit_library_call_value_1 (int retval, rtx orgfun, rtx value,
3224                            enum libcall_type fn_type,
3225                            enum machine_mode outmode, int nargs, va_list p)
3226 {
3227   /* Total size in bytes of all the stack-parms scanned so far.  */
3228   struct args_size args_size;
3229   /* Size of arguments before any adjustments (such as rounding).  */
3230   struct args_size original_args_size;
3231   int argnum;
3232   rtx fun;
3233   /* Todo, choose the correct decl type of orgfun. Sadly this information
3234      isn't present here, so we default to native calling abi here.  */
3235   tree fndecl ATTRIBUTE_UNUSED = NULL_TREE; /* library calls default to host calling abi ? */
3236   tree fntype ATTRIBUTE_UNUSED = NULL_TREE; /* library calls default to host calling abi ? */
3237   int inc;
3238   int count;
3239   rtx argblock = 0;
3240   CUMULATIVE_ARGS args_so_far;
3241   struct arg
3242   {
3243     rtx value;
3244     enum machine_mode mode;
3245     rtx reg;
3246     int partial;
3247     struct locate_and_pad_arg_data locate;
3248     rtx save_area;
3249   };
3250   struct arg *argvec;
3251   int old_inhibit_defer_pop = inhibit_defer_pop;
3252   rtx call_fusage = 0;
3253   rtx mem_value = 0;
3254   rtx valreg;
3255   int pcc_struct_value = 0;
3256   int struct_value_size = 0;
3257   int flags;
3258   int reg_parm_stack_space = 0;
3259   int needed;
3260   rtx before_call;
3261   tree tfom;                    /* type_for_mode (outmode, 0) */
3262
3263 #ifdef REG_PARM_STACK_SPACE
3264   /* Define the boundary of the register parm stack space that needs to be
3265      save, if any.  */
3266   int low_to_save = 0, high_to_save = 0;
3267   rtx save_area = 0;            /* Place that it is saved.  */
3268 #endif
3269
3270   /* Size of the stack reserved for parameter registers.  */
3271   int initial_highest_arg_in_use = highest_outgoing_arg_in_use;
3272   char *initial_stack_usage_map = stack_usage_map;
3273   char *stack_usage_map_buf = NULL;
3274
3275   rtx struct_value = targetm.calls.struct_value_rtx (0, 0);
3276
3277 #ifdef REG_PARM_STACK_SPACE
3278   reg_parm_stack_space = REG_PARM_STACK_SPACE ((tree) 0);
3279 #endif
3280
3281   /* By default, library functions can not throw.  */
3282   flags = ECF_NOTHROW;
3283
3284   switch (fn_type)
3285     {
3286     case LCT_NORMAL:
3287       break;
3288     case LCT_CONST:
3289       flags |= ECF_CONST;
3290       break;
3291     case LCT_PURE:
3292       flags |= ECF_PURE;
3293       break;
3294     case LCT_NORETURN:
3295       flags |= ECF_NORETURN;
3296       break;
3297     case LCT_THROW:
3298       flags = ECF_NORETURN;
3299       break;
3300     case LCT_RETURNS_TWICE:
3301       flags = ECF_RETURNS_TWICE;
3302       break;
3303     }
3304   fun = orgfun;
3305
3306   /* Ensure current function's preferred stack boundary is at least
3307      what we need.  */
3308   if (crtl->preferred_stack_boundary < PREFERRED_STACK_BOUNDARY)
3309     crtl->preferred_stack_boundary = PREFERRED_STACK_BOUNDARY;
3310
3311   /* If this kind of value comes back in memory,
3312      decide where in memory it should come back.  */
3313   if (outmode != VOIDmode)
3314     {
3315       tfom = lang_hooks.types.type_for_mode (outmode, 0);
3316       if (aggregate_value_p (tfom, 0))
3317         {
3318 #ifdef PCC_STATIC_STRUCT_RETURN
3319           rtx pointer_reg
3320             = hard_function_value (build_pointer_type (tfom), 0, 0, 0);
3321           mem_value = gen_rtx_MEM (outmode, pointer_reg);
3322           pcc_struct_value = 1;
3323           if (value == 0)
3324             value = gen_reg_rtx (outmode);
3325 #else /* not PCC_STATIC_STRUCT_RETURN */
3326           struct_value_size = GET_MODE_SIZE (outmode);
3327           if (value != 0 && MEM_P (value))
3328             mem_value = value;
3329           else
3330             mem_value = assign_temp (tfom, 0, 1, 1);
3331 #endif
3332           /* This call returns a big structure.  */
3333           flags &= ~(ECF_CONST | ECF_PURE | ECF_LOOPING_CONST_OR_PURE);
3334         }
3335     }
3336   else
3337     tfom = void_type_node;
3338
3339   /* ??? Unfinished: must pass the memory address as an argument.  */
3340
3341   /* Copy all the libcall-arguments out of the varargs data
3342      and into a vector ARGVEC.
3343
3344      Compute how to pass each argument.  We only support a very small subset
3345      of the full argument passing conventions to limit complexity here since
3346      library functions shouldn't have many args.  */
3347
3348   argvec = XALLOCAVEC (struct arg, nargs + 1);
3349   memset (argvec, 0, (nargs + 1) * sizeof (struct arg));
3350
3351 #ifdef INIT_CUMULATIVE_LIBCALL_ARGS
3352   INIT_CUMULATIVE_LIBCALL_ARGS (args_so_far, outmode, fun);
3353 #else
3354   INIT_CUMULATIVE_ARGS (args_so_far, NULL_TREE, fun, 0, nargs);
3355 #endif
3356
3357   args_size.constant = 0;
3358   args_size.var = 0;
3359
3360   count = 0;
3361
3362   push_temp_slots ();
3363
3364   /* If there's a structure value address to be passed,
3365      either pass it in the special place, or pass it as an extra argument.  */
3366   if (mem_value && struct_value == 0 && ! pcc_struct_value)
3367     {
3368       rtx addr = XEXP (mem_value, 0);
3369
3370       nargs++;
3371
3372       /* Make sure it is a reasonable operand for a move or push insn.  */
3373       if (!REG_P (addr) && !MEM_P (addr)
3374           && ! (CONSTANT_P (addr) && LEGITIMATE_CONSTANT_P (addr)))
3375         addr = force_operand (addr, NULL_RTX);
3376
3377       argvec[count].value = addr;
3378       argvec[count].mode = Pmode;
3379       argvec[count].partial = 0;
3380
3381       argvec[count].reg = FUNCTION_ARG (args_so_far, Pmode, NULL_TREE, 1);
3382       gcc_assert (targetm.calls.arg_partial_bytes (&args_so_far, Pmode,
3383                                                    NULL_TREE, 1) == 0);
3384
3385       locate_and_pad_parm (Pmode, NULL_TREE,
3386 #ifdef STACK_PARMS_IN_REG_PARM_AREA
3387                            1,
3388 #else
3389                            argvec[count].reg != 0,
3390 #endif
3391                            0, NULL_TREE, &args_size, &argvec[count].locate);
3392
3393       if (argvec[count].reg == 0 || argvec[count].partial != 0
3394           || reg_parm_stack_space > 0)
3395         args_size.constant += argvec[count].locate.size.constant;
3396
3397       FUNCTION_ARG_ADVANCE (args_so_far, Pmode, (tree) 0, 1);
3398
3399       count++;
3400     }
3401
3402   for (; count < nargs; count++)
3403     {
3404       rtx val = va_arg (p, rtx);
3405       enum machine_mode mode = va_arg (p, enum machine_mode);
3406
3407       /* We cannot convert the arg value to the mode the library wants here;
3408          must do it earlier where we know the signedness of the arg.  */
3409       gcc_assert (mode != BLKmode
3410                   && (GET_MODE (val) == mode || GET_MODE (val) == VOIDmode));
3411
3412       /* Make sure it is a reasonable operand for a move or push insn.  */
3413       if (!REG_P (val) && !MEM_P (val)
3414           && ! (CONSTANT_P (val) && LEGITIMATE_CONSTANT_P (val)))
3415         val = force_operand (val, NULL_RTX);
3416
3417       if (pass_by_reference (&args_so_far, mode, NULL_TREE, 1))
3418         {
3419           rtx slot;
3420           int must_copy
3421             = !reference_callee_copied (&args_so_far, mode, NULL_TREE, 1);
3422
3423           /* If this was a CONST function, it is now PURE since it now
3424              reads memory.  */
3425           if (flags & ECF_CONST)
3426             {
3427               flags &= ~ECF_CONST;
3428               flags |= ECF_PURE;
3429             }
3430
3431           if (MEM_P (val) && !must_copy)
3432             slot = val;
3433           else
3434             {
3435               slot = assign_temp (lang_hooks.types.type_for_mode (mode, 0),
3436                                   0, 1, 1);
3437               emit_move_insn (slot, val);
3438             }
3439
3440           call_fusage = gen_rtx_EXPR_LIST (VOIDmode,
3441                                            gen_rtx_USE (VOIDmode, slot),
3442                                            call_fusage);
3443           if (must_copy)
3444             call_fusage = gen_rtx_EXPR_LIST (VOIDmode,
3445                                              gen_rtx_CLOBBER (VOIDmode,
3446                                                               slot),
3447                                              call_fusage);
3448
3449           mode = Pmode;
3450           val = force_operand (XEXP (slot, 0), NULL_RTX);
3451         }
3452
3453       argvec[count].value = val;
3454       argvec[count].mode = mode;
3455
3456       argvec[count].reg = FUNCTION_ARG (args_so_far, mode, NULL_TREE, 1);
3457
3458       argvec[count].partial
3459         = targetm.calls.arg_partial_bytes (&args_so_far, mode, NULL_TREE, 1);
3460
3461       locate_and_pad_parm (mode, NULL_TREE,
3462 #ifdef STACK_PARMS_IN_REG_PARM_AREA
3463                            1,
3464 #else
3465                            argvec[count].reg != 0,
3466 #endif
3467                            argvec[count].partial,
3468                            NULL_TREE, &args_size, &argvec[count].locate);
3469
3470       gcc_assert (!argvec[count].locate.size.var);
3471
3472       if (argvec[count].reg == 0 || argvec[count].partial != 0
3473           || reg_parm_stack_space > 0)
3474         args_size.constant += argvec[count].locate.size.constant;
3475
3476       FUNCTION_ARG_ADVANCE (args_so_far, mode, (tree) 0, 1);
3477     }
3478
3479   /* If this machine requires an external definition for library
3480      functions, write one out.  */
3481   assemble_external_libcall (fun);
3482
3483   original_args_size = args_size;
3484   args_size.constant = (((args_size.constant
3485                           + stack_pointer_delta
3486                           + STACK_BYTES - 1)
3487                           / STACK_BYTES
3488                           * STACK_BYTES)
3489                          - stack_pointer_delta);
3490
3491   args_size.constant = MAX (args_size.constant,
3492                             reg_parm_stack_space);
3493
3494   if (! OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl))))
3495     args_size.constant -= reg_parm_stack_space;
3496
3497   if (args_size.constant > crtl->outgoing_args_size)
3498     crtl->outgoing_args_size = args_size.constant;
3499
3500   if (ACCUMULATE_OUTGOING_ARGS)
3501     {
3502       /* Since the stack pointer will never be pushed, it is possible for
3503          the evaluation of a parm to clobber something we have already
3504          written to the stack.  Since most function calls on RISC machines
3505          do not use the stack, this is uncommon, but must work correctly.
3506
3507          Therefore, we save any area of the stack that was already written
3508          and that we are using.  Here we set up to do this by making a new
3509          stack usage map from the old one.
3510
3511          Another approach might be to try to reorder the argument
3512          evaluations to avoid this conflicting stack usage.  */
3513
3514       needed = args_size.constant;
3515
3516       /* Since we will be writing into the entire argument area, the
3517          map must be allocated for its entire size, not just the part that
3518          is the responsibility of the caller.  */
3519       if (! OUTGOING_REG_PARM_STACK_SPACE ((!fndecl ? fntype : TREE_TYPE (fndecl))))
3520         needed += reg_parm_stack_space;
3521
3522 #ifdef ARGS_GROW_DOWNWARD
3523       highest_outgoing_arg_in_use = MAX (initial_highest_arg_in_use,
3524                                          needed + 1);
3525 #else
3526       highest_outgoing_arg_in_use = MAX (initial_highest_arg_in_use,
3527                                          needed);
3528 #endif
3529       stack_usage_map_buf = XNEWVEC (char, highest_outgoing_arg_in_use);
3530       stack_usage_map = stack_usage_map_buf;
3531
3532       if (initial_highest_arg_in_use)
3533         memcpy (stack_usage_map, initial_stack_usage_map,
3534                 initial_highest_arg_in_use);
3535
3536       if (initial_highest_arg_in_use != highest_outgoing_arg_in_use)
3537         memset (&stack_usage_map[initial_highest_arg_in_use], 0,
3538                highest_outgoing_arg_in_use - initial_highest_arg_in_use);
3539       needed = 0;
3540
3541       /* We must be careful to use virtual regs before they're instantiated,
3542          and real regs afterwards.  Loop optimization, for example, can create
3543          new libcalls after we've instantiated the virtual regs, and if we
3544          use virtuals anyway, they won't match the rtl patterns.  */
3545
3546       if (virtuals_instantiated)
3547         argblock = plus_constant (stack_pointer_rtx, STACK_POINTER_OFFSET);
3548       else
3549         argblock = virtual_outgoing_args_rtx;
3550     }
3551   else
3552     {
3553       if (!PUSH_ARGS)
3554         argblock = push_block (GEN_INT (args_size.constant), 0, 0);
3555     }
3556
3557   /* If we push args individually in reverse order, perform stack alignment
3558      before the first push (the last arg).  */
3559   if (argblock == 0 && PUSH_ARGS_REVERSED)
3560     anti_adjust_stack (GEN_INT (args_size.constant
3561                                 - original_args_size.constant));
3562
3563   if (PUSH_ARGS_REVERSED)
3564     {
3565       inc = -1;
3566       argnum = nargs - 1;
3567     }
3568   else
3569     {
3570       inc = 1;
3571       argnum = 0;
3572     }
3573
3574 #ifdef REG_PARM_STACK_SPACE
3575   if (ACCUMULATE_OUTGOING_ARGS)
3576     {
3577       /* The argument list is the property of the called routine and it
3578          may clobber it.  If the fixed area has been used for previous
3579          parameters, we must save and restore it.  */
3580       save_area = save_fixed_argument_area (reg_parm_stack_space, argblock,
3581                                             &low_to_save, &high_to_save);
3582     }
3583 #endif
3584
3585   /* Push the args that need to be pushed.  */
3586
3587   /* ARGNUM indexes the ARGVEC array in the order in which the arguments
3588      are to be pushed.  */
3589   for (count = 0; count < nargs; count++, argnum += inc)
3590     {
3591       enum machine_mode mode = argvec[argnum].mode;
3592       rtx val = argvec[argnum].value;
3593       rtx reg = argvec[argnum].reg;
3594       int partial = argvec[argnum].partial;
3595       int lower_bound = 0, upper_bound = 0, i;
3596
3597       if (! (reg != 0 && partial == 0))
3598         {
3599           if (ACCUMULATE_OUTGOING_ARGS)
3600             {
3601               /* If this is being stored into a pre-allocated, fixed-size,
3602                  stack area, save any previous data at that location.  */
3603
3604 #ifdef ARGS_GROW_DOWNWARD
3605               /* stack_slot is negative, but we want to index stack_usage_map
3606                  with positive values.  */
3607               upper_bound = -argvec[argnum].locate.offset.constant + 1;
3608               lower_bound = upper_bound - argvec[argnum].locate.size.constant;
3609 #else
3610               lower_bound = argvec[argnum].locate.offset.constant;
3611               upper_bound = lower_bound + argvec[argnum].locate.size.constant;
3612 #endif
3613
3614               i = lower_bound;
3615               /* Don't worry about things in the fixed argument area;
3616                  it has already been saved.  */
3617               if (i < reg_parm_stack_space)
3618                 i = reg_parm_stack_space;
3619               while (i < upper_bound && stack_usage_map[i] == 0)
3620                 i++;
3621
3622               if (i < upper_bound)
3623                 {
3624                   /* We need to make a save area.  */
3625                   unsigned int size
3626                     = argvec[argnum].locate.size.constant * BITS_PER_UNIT;
3627                   enum machine_mode save_mode
3628                     = mode_for_size (size, MODE_INT, 1);
3629                   rtx adr
3630                     = plus_constant (argblock,
3631                                      argvec[argnum].locate.offset.constant);
3632                   rtx stack_area
3633                     = gen_rtx_MEM (save_mode, memory_address (save_mode, adr));
3634
3635                   if (save_mode == BLKmode)
3636                     {
3637                       argvec[argnum].save_area
3638                         = assign_stack_temp (BLKmode,
3639                                              argvec[argnum].locate.size.constant,
3640                                              0);
3641
3642                       emit_block_move (validize_mem (argvec[argnum].save_area),
3643                                        stack_area,
3644                                        GEN_INT (argvec[argnum].locate.size.constant),
3645                                        BLOCK_OP_CALL_PARM);
3646                     }
3647                   else
3648                     {
3649                       argvec[argnum].save_area = gen_reg_rtx (save_mode);
3650
3651                       emit_move_insn (argvec[argnum].save_area, stack_area);
3652                     }
3653                 }
3654             }
3655
3656           emit_push_insn (val, mode, NULL_TREE, NULL_RTX, PARM_BOUNDARY,
3657                           partial, reg, 0, argblock,
3658                           GEN_INT (argvec[argnum].locate.offset.constant),
3659                           reg_parm_stack_space,
3660                           ARGS_SIZE_RTX (argvec[argnum].locate.alignment_pad));
3661
3662           /* Now mark the segment we just used.  */
3663           if (ACCUMULATE_OUTGOING_ARGS)
3664             for (i = lower_bound; i < upper_bound; i++)
3665               stack_usage_map[i] = 1;
3666
3667           NO_DEFER_POP;
3668
3669           if (flags & ECF_CONST)
3670             {
3671               rtx use;
3672
3673               /* Indicate argument access so that alias.c knows that these
3674                  values are live.  */
3675               if (argblock)
3676                 use = plus_constant (argblock,
3677                                      argvec[argnum].locate.offset.constant);
3678               else
3679                 /* When arguments are pushed, trying to tell alias.c where
3680                    exactly this argument is won't work, because the
3681                    auto-increment causes confusion.  So we merely indicate
3682                    that we access something with a known mode somewhere on
3683                    the stack.  */
3684                 use = gen_rtx_PLUS (Pmode, virtual_outgoing_args_rtx,
3685                                     gen_rtx_SCRATCH (Pmode));
3686               use = gen_rtx_MEM (argvec[argnum].mode, use);
3687               use = gen_rtx_USE (VOIDmode, use);
3688               call_fusage = gen_rtx_EXPR_LIST (VOIDmode, use, call_fusage);
3689             }
3690         }
3691     }
3692
3693   /* If we pushed args in forward order, perform stack alignment
3694      after pushing the last arg.  */
3695   if (argblock == 0 && !PUSH_ARGS_REVERSED)
3696     anti_adjust_stack (GEN_INT (args_size.constant
3697                                 - original_args_size.constant));
3698
3699   if (PUSH_ARGS_REVERSED)
3700     argnum = nargs - 1;
3701   else
3702     argnum = 0;
3703
3704   fun = prepare_call_address (fun, NULL, &call_fusage, 0, 0);
3705
3706   /* Now load any reg parms into their regs.  */
3707
3708   /* ARGNUM indexes the ARGVEC array in the order in which the arguments
3709      are to be pushed.  */
3710   for (count = 0; count < nargs; count++, argnum += inc)
3711     {
3712       enum machine_mode mode = argvec[argnum].mode;
3713       rtx val = argvec[argnum].value;
3714       rtx reg = argvec[argnum].reg;
3715       int partial = argvec[argnum].partial;
3716
3717       /* Handle calls that pass values in multiple non-contiguous
3718          locations.  The PA64 has examples of this for library calls.  */
3719       if (reg != 0 && GET_CODE (reg) == PARALLEL)
3720         emit_group_load (reg, val, NULL_TREE, GET_MODE_SIZE (mode));
3721       else if (reg != 0 && partial == 0)
3722         emit_move_insn (reg, val);
3723
3724       NO_DEFER_POP;
3725     }
3726
3727   /* Any regs containing parms remain in use through the call.  */
3728   for (count = 0; count < nargs; count++)
3729     {
3730       rtx reg = argvec[count].reg;
3731       if (reg != 0 && GET_CODE (reg) == PARALLEL)
3732         use_group_regs (&call_fusage, reg);
3733       else if (reg != 0)
3734         {
3735           int partial = argvec[count].partial;
3736           if (partial)
3737             {
3738               int nregs;
3739               gcc_assert (partial % UNITS_PER_WORD == 0);
3740               nregs = partial / UNITS_PER_WORD;
3741               use_regs (&call_fusage, REGNO (reg), nregs);
3742             }
3743           else
3744             use_reg (&call_fusage, reg);
3745         }
3746     }
3747
3748   /* Pass the function the address in which to return a structure value.  */
3749   if (mem_value != 0 && struct_value != 0 && ! pcc_struct_value)
3750     {
3751       emit_move_insn (struct_value,
3752                       force_reg (Pmode,
3753                                  force_operand (XEXP (mem_value, 0),
3754                                                 NULL_RTX)));
3755       if (REG_P (struct_value))
3756         use_reg (&call_fusage, struct_value);
3757     }
3758
3759   /* Don't allow popping to be deferred, since then
3760      cse'ing of library calls could delete a call and leave the pop.  */
3761   NO_DEFER_POP;
3762   valreg = (mem_value == 0 && outmode != VOIDmode
3763             ? hard_libcall_value (outmode) : NULL_RTX);
3764
3765   /* Stack must be properly aligned now.  */
3766   gcc_assert (!(stack_pointer_delta
3767                 & (PREFERRED_STACK_BOUNDARY / BITS_PER_UNIT - 1)));
3768
3769   before_call = get_last_insn ();
3770
3771   /* We pass the old value of inhibit_defer_pop + 1 to emit_call_1, which
3772      will set inhibit_defer_pop to that value.  */
3773   /* The return type is needed to decide how many bytes the function pops.
3774      Signedness plays no role in that, so for simplicity, we pretend it's
3775      always signed.  We also assume that the list of arguments passed has
3776      no impact, so we pretend it is unknown.  */
3777
3778   emit_call_1 (fun, NULL,
3779                get_identifier (XSTR (orgfun, 0)),
3780                build_function_type (tfom, NULL_TREE),
3781                original_args_size.constant, args_size.constant,
3782                struct_value_size,
3783                FUNCTION_ARG (args_so_far, VOIDmode, void_type_node, 1),
3784                valreg,
3785                old_inhibit_defer_pop + 1, call_fusage, flags, & args_so_far);
3786
3787   /* For calls to `setjmp', etc., inform function.c:setjmp_warnings
3788      that it should complain if nonvolatile values are live.  For
3789      functions that cannot return, inform flow that control does not
3790      fall through.  */
3791
3792   if (flags & ECF_NORETURN)
3793     {
3794       /* The barrier note must be emitted
3795          immediately after the CALL_INSN.  Some ports emit more than
3796          just a CALL_INSN above, so we must search for it here.  */
3797
3798       rtx last = get_last_insn ();
3799       while (!CALL_P (last))
3800         {
3801           last = PREV_INSN (last);
3802           /* There was no CALL_INSN?  */
3803           gcc_assert (last != before_call);
3804         }
3805
3806       emit_barrier_after (last);
3807     }
3808
3809   /* Now restore inhibit_defer_pop to its actual original value.  */
3810   OK_DEFER_POP;
3811
3812   pop_temp_slots ();
3813
3814   /* Copy the value to the right place.  */
3815   if (outmode != VOIDmode && retval)
3816     {
3817       if (mem_value)
3818         {
3819           if (value == 0)
3820             value = mem_value;
3821           if (value != mem_value)
3822             emit_move_insn (value, mem_value);
3823         }
3824       else if (GET_CODE (valreg) == PARALLEL)
3825         {
3826           if (value == 0)
3827             value = gen_reg_rtx (outmode);
3828           emit_group_store (value, valreg, NULL_TREE, GET_MODE_SIZE (outmode));
3829         }
3830       else
3831         {
3832           /* Convert to the proper mode if PROMOTE_MODE has been active.  */
3833           if (GET_MODE (valreg) != outmode)
3834             {
3835               int unsignedp = TYPE_UNSIGNED (tfom);
3836
3837               gcc_assert (targetm.calls.promote_function_return (tfom));
3838               gcc_assert (promote_mode (tfom, outmode, &unsignedp, 0)
3839                           == GET_MODE (valreg));
3840
3841               valreg = convert_modes (outmode, GET_MODE (valreg), valreg, 0);
3842             }
3843
3844           if (value != 0)
3845             emit_move_insn (value, valreg);
3846           else
3847             value = valreg;
3848         }
3849     }
3850
3851   if (ACCUMULATE_OUTGOING_ARGS)
3852     {
3853 #ifdef REG_PARM_STACK_SPACE
3854       if (save_area)
3855         restore_fixed_argument_area (save_area, argblock,
3856                                      high_to_save, low_to_save);
3857 #endif
3858
3859       /* If we saved any argument areas, restore them.  */
3860       for (count = 0; count < nargs; count++)
3861         if (argvec[count].save_area)
3862           {
3863             enum machine_mode save_mode = GET_MODE (argvec[count].save_area);
3864             rtx adr = plus_constant (argblock,
3865                                      argvec[count].locate.offset.constant);
3866             rtx stack_area = gen_rtx_MEM (save_mode,
3867                                           memory_address (save_mode, adr));
3868
3869             if (save_mode == BLKmode)
3870               emit_block_move (stack_area,
3871                                validize_mem (argvec[count].save_area),
3872                                GEN_INT (argvec[count].locate.size.constant),
3873                                BLOCK_OP_CALL_PARM);
3874             else
3875               emit_move_insn (stack_area, argvec[count].save_area);
3876           }
3877
3878       highest_outgoing_arg_in_use = initial_highest_arg_in_use;
3879       stack_usage_map = initial_stack_usage_map;
3880     }
3881
3882   if (stack_usage_map_buf)
3883     free (stack_usage_map_buf);
3884
3885   return value;
3886
3887 }
3888 \f
3889 /* Output a library call to function FUN (a SYMBOL_REF rtx)
3890    (emitting the queue unless NO_QUEUE is nonzero),
3891    for a value of mode OUTMODE,
3892    with NARGS different arguments, passed as alternating rtx values
3893    and machine_modes to convert them to.
3894
3895    FN_TYPE should be LCT_NORMAL for `normal' calls, LCT_CONST for
3896    `const' calls, LCT_PURE for `pure' calls, or other LCT_ value for
3897    other types of library calls.  */
3898
3899 void
3900 emit_library_call (rtx orgfun, enum libcall_type fn_type,
3901                    enum machine_mode outmode, int nargs, ...)
3902 {
3903   va_list p;
3904
3905   va_start (p, nargs);
3906   emit_library_call_value_1 (0, orgfun, NULL_RTX, fn_type, outmode, nargs, p);
3907   va_end (p);
3908 }
3909 \f
3910 /* Like emit_library_call except that an extra argument, VALUE,
3911    comes second and says where to store the result.
3912    (If VALUE is zero, this function chooses a convenient way
3913    to return the value.
3914
3915    This function returns an rtx for where the value is to be found.
3916    If VALUE is nonzero, VALUE is returned.  */
3917
3918 rtx
3919 emit_library_call_value (rtx orgfun, rtx value,
3920                          enum libcall_type fn_type,
3921                          enum machine_mode outmode, int nargs, ...)
3922 {
3923   rtx result;
3924   va_list p;
3925
3926   va_start (p, nargs);
3927   result = emit_library_call_value_1 (1, orgfun, value, fn_type, outmode,
3928                                       nargs, p);
3929   va_end (p);
3930
3931   return result;
3932 }
3933 \f
3934 /* Store a single argument for a function call
3935    into the register or memory area where it must be passed.
3936    *ARG describes the argument value and where to pass it.
3937
3938    ARGBLOCK is the address of the stack-block for all the arguments,
3939    or 0 on a machine where arguments are pushed individually.
3940
3941    MAY_BE_ALLOCA nonzero says this could be a call to `alloca'
3942    so must be careful about how the stack is used.
3943
3944    VARIABLE_SIZE nonzero says that this was a variable-sized outgoing
3945    argument stack.  This is used if ACCUMULATE_OUTGOING_ARGS to indicate
3946    that we need not worry about saving and restoring the stack.
3947
3948    FNDECL is the declaration of the function we are calling.
3949
3950    Return nonzero if this arg should cause sibcall failure,
3951    zero otherwise.  */
3952
3953 static int
3954 store_one_arg (struct arg_data *arg, rtx argblock, int flags,
3955                int variable_size ATTRIBUTE_UNUSED, int reg_parm_stack_space)
3956 {
3957   tree pval = arg->tree_value;
3958   rtx reg = 0;
3959   int partial = 0;
3960   int used = 0;
3961   int i, lower_bound = 0, upper_bound = 0;
3962   int sibcall_failure = 0;
3963
3964   if (TREE_CODE (pval) == ERROR_MARK)
3965     return 1;
3966
3967   /* Push a new temporary level for any temporaries we make for
3968      this argument.  */
3969   push_temp_slots ();
3970
3971   if (ACCUMULATE_OUTGOING_ARGS && !(flags & ECF_SIBCALL))
3972     {
3973       /* If this is being stored into a pre-allocated, fixed-size, stack area,
3974          save any previous data at that location.  */
3975       if (argblock && ! variable_size && arg->stack)
3976         {
3977 #ifdef ARGS_GROW_DOWNWARD
3978           /* stack_slot is negative, but we want to index stack_usage_map
3979              with positive values.  */
3980           if (GET_CODE (XEXP (arg->stack_slot, 0)) == PLUS)
3981             upper_bound = -INTVAL (XEXP (XEXP (arg->stack_slot, 0), 1)) + 1;
3982           else
3983             upper_bound = 0;
3984
3985           lower_bound = upper_bound - arg->locate.size.constant;
3986 #else
3987           if (GET_CODE (XEXP (arg->stack_slot, 0)) == PLUS)
3988             lower_bound = INTVAL (XEXP (XEXP (arg->stack_slot, 0), 1));
3989           else
3990             lower_bound = 0;
3991
3992           upper_bound = lower_bound + arg->locate.size.constant;
3993 #endif
3994
3995           i = lower_bound;
3996           /* Don't worry about things in the fixed argument area;
3997              it has already been saved.  */
3998           if (i < reg_parm_stack_space)
3999             i = reg_parm_stack_space;
4000           while (i < upper_bound && stack_usage_map[i] == 0)
4001             i++;
4002
4003           if (i < upper_bound)
4004             {
4005               /* We need to make a save area.  */
4006               unsigned int size = arg->locate.size.constant * BITS_PER_UNIT;
4007               enum machine_mode save_mode = mode_for_size (size, MODE_INT, 1);
4008               rtx adr = memory_address (save_mode, XEXP (arg->stack_slot, 0));
4009               rtx stack_area = gen_rtx_MEM (save_mode, adr);
4010
4011               if (save_mode == BLKmode)
4012                 {
4013                   tree ot = TREE_TYPE (arg->tree_value);
4014                   tree nt = build_qualified_type (ot, (TYPE_QUALS (ot)
4015                                                        | TYPE_QUAL_CONST));
4016
4017                   arg->save_area = assign_temp (nt, 0, 1, 1);
4018                   preserve_temp_slots (arg->save_area);
4019                   emit_block_move (validize_mem (arg->save_area), stack_area,
4020                                    GEN_INT (arg->locate.size.constant),
4021                                    BLOCK_OP_CALL_PARM);
4022                 }
4023               else
4024                 {
4025                   arg->save_area = gen_reg_rtx (save_mode);
4026                   emit_move_insn (arg->save_area, stack_area);
4027                 }
4028             }
4029         }
4030     }
4031
4032   /* If this isn't going to be placed on both the stack and in registers,
4033      set up the register and number of words.  */
4034   if (! arg->pass_on_stack)
4035     {
4036       if (flags & ECF_SIBCALL)
4037         reg = arg->tail_call_reg;
4038       else
4039         reg = arg->reg;
4040       partial = arg->partial;
4041     }
4042
4043   /* Being passed entirely in a register.  We shouldn't be called in
4044      this case.  */
4045   gcc_assert (reg == 0 || partial != 0);
4046
4047   /* If this arg needs special alignment, don't load the registers
4048      here.  */
4049   if (arg->n_aligned_regs != 0)
4050     reg = 0;
4051
4052   /* If this is being passed partially in a register, we can't evaluate
4053      it directly into its stack slot.  Otherwise, we can.  */
4054   if (arg->value == 0)
4055     {
4056       /* stack_arg_under_construction is nonzero if a function argument is
4057          being evaluated directly into the outgoing argument list and
4058          expand_call must take special action to preserve the argument list
4059          if it is called recursively.
4060
4061          For scalar function arguments stack_usage_map is sufficient to
4062          determine which stack slots must be saved and restored.  Scalar
4063          arguments in general have pass_on_stack == 0.
4064
4065          If this argument is initialized by a function which takes the
4066          address of the argument (a C++ constructor or a C function
4067          returning a BLKmode structure), then stack_usage_map is
4068          insufficient and expand_call must push the stack around the
4069          function call.  Such arguments have pass_on_stack == 1.
4070
4071          Note that it is always safe to set stack_arg_under_construction,
4072          but this generates suboptimal code if set when not needed.  */
4073
4074       if (arg->pass_on_stack)
4075         stack_arg_under_construction++;
4076
4077       arg->value = expand_expr (pval,
4078                                 (partial
4079                                  || TYPE_MODE (TREE_TYPE (pval)) != arg->mode)
4080                                 ? NULL_RTX : arg->stack,
4081                                 VOIDmode, EXPAND_STACK_PARM);
4082
4083       /* If we are promoting object (or for any other reason) the mode
4084          doesn't agree, convert the mode.  */
4085
4086       if (arg->mode != TYPE_MODE (TREE_TYPE (pval)))
4087         arg->value = convert_modes (arg->mode, TYPE_MODE (TREE_TYPE (pval)),
4088                                     arg->value, arg->unsignedp);
4089
4090       if (arg->pass_on_stack)
4091         stack_arg_under_construction--;
4092     }
4093
4094   /* Check for overlap with already clobbered argument area.  */
4095   if ((flags & ECF_SIBCALL)
4096       && MEM_P (arg->value)
4097       && mem_overlaps_already_clobbered_arg_p (XEXP (arg->value, 0),
4098                                                arg->locate.size.constant))
4099     sibcall_failure = 1;
4100
4101   /* Don't allow anything left on stack from computation
4102      of argument to alloca.  */
4103   if (flags & ECF_MAY_BE_ALLOCA)
4104     do_pending_stack_adjust ();
4105
4106   if (arg->value == arg->stack)
4107     /* If the value is already in the stack slot, we are done.  */
4108     ;
4109   else if (arg->mode != BLKmode)
4110     {
4111       int size;
4112       unsigned int parm_align;
4113
4114       /* Argument is a scalar, not entirely passed in registers.
4115          (If part is passed in registers, arg->partial says how much
4116          and emit_push_insn will take care of putting it there.)
4117
4118          Push it, and if its size is less than the
4119          amount of space allocated to it,
4120          also bump stack pointer by the additional space.
4121          Note that in C the default argument promotions
4122          will prevent such mismatches.  */
4123
4124       size = GET_MODE_SIZE (arg->mode);
4125       /* Compute how much space the push instruction will push.
4126          On many machines, pushing a byte will advance the stack
4127          pointer by a halfword.  */
4128 #ifdef PUSH_ROUNDING
4129       size = PUSH_ROUNDING (size);
4130 #endif
4131       used = size;
4132
4133       /* Compute how much space the argument should get:
4134          round up to a multiple of the alignment for arguments.  */
4135       if (none != FUNCTION_ARG_PADDING (arg->mode, TREE_TYPE (pval)))
4136         used = (((size + PARM_BOUNDARY / BITS_PER_UNIT - 1)
4137                  / (PARM_BOUNDARY / BITS_PER_UNIT))
4138                 * (PARM_BOUNDARY / BITS_PER_UNIT));
4139
4140       /* Compute the alignment of the pushed argument.  */
4141       parm_align = arg->locate.boundary;
4142       if (FUNCTION_ARG_PADDING (arg->mode, TREE_TYPE (pval)) == downward)
4143         {
4144           int pad = used - size;
4145           if (pad)
4146             {
4147               unsigned int pad_align = (pad & -pad) * BITS_PER_UNIT;
4148               parm_align = MIN (parm_align, pad_align);
4149             }
4150         }
4151
4152       /* This isn't already where we want it on the stack, so put it there.
4153          This can either be done with push or copy insns.  */
4154       emit_push_insn (arg->value, arg->mode, TREE_TYPE (pval), NULL_RTX,
4155                       parm_align, partial, reg, used - size, argblock,
4156                       ARGS_SIZE_RTX (arg->locate.offset), reg_parm_stack_space,
4157                       ARGS_SIZE_RTX (arg->locate.alignment_pad));
4158
4159       /* Unless this is a partially-in-register argument, the argument is now
4160          in the stack.  */
4161       if (partial == 0)
4162         arg->value = arg->stack;
4163     }
4164   else
4165     {
4166       /* BLKmode, at least partly to be pushed.  */
4167
4168       unsigned int parm_align;
4169       int excess;
4170       rtx size_rtx;
4171
4172       /* Pushing a nonscalar.
4173          If part is passed in registers, PARTIAL says how much
4174          and emit_push_insn will take care of putting it there.  */
4175
4176       /* Round its size up to a multiple
4177          of the allocation unit for arguments.  */
4178
4179       if (arg->locate.size.var != 0)
4180         {
4181           excess = 0;
4182           size_rtx = ARGS_SIZE_RTX (arg->locate.size);
4183         }
4184       else
4185         {
4186           /* PUSH_ROUNDING has no effect on us, because emit_push_insn
4187              for BLKmode is careful to avoid it.  */
4188           excess = (arg->locate.size.constant
4189                     - int_size_in_bytes (TREE_TYPE (pval))
4190                     + partial);
4191           size_rtx = expand_expr (size_in_bytes (TREE_TYPE (pval)),
4192                                   NULL_RTX, TYPE_MODE (sizetype), 0);
4193         }
4194
4195       parm_align = arg->locate.boundary;
4196
4197       /* When an argument is padded down, the block is aligned to
4198          PARM_BOUNDARY, but the actual argument isn't.  */
4199       if (FUNCTION_ARG_PADDING (arg->mode, TREE_TYPE (pval)) == downward)
4200         {
4201           if (arg->locate.size.var)
4202             parm_align = BITS_PER_UNIT;
4203           else if (excess)
4204             {
4205               unsigned int excess_align = (excess & -excess) * BITS_PER_UNIT;
4206               parm_align = MIN (parm_align, excess_align);
4207             }
4208         }
4209
4210       if ((flags & ECF_SIBCALL) && MEM_P (arg->value))
4211         {
4212           /* emit_push_insn might not work properly if arg->value and
4213              argblock + arg->locate.offset areas overlap.  */
4214           rtx x = arg->value;
4215           int i = 0;
4216
4217           if (XEXP (x, 0) == crtl->args.internal_arg_pointer
4218               || (GET_CODE (XEXP (x, 0)) == PLUS
4219                   && XEXP (XEXP (x, 0), 0) ==
4220                      crtl->args.internal_arg_pointer
4221                   && GET_CODE (XEXP (XEXP (x, 0), 1)) == CONST_INT))
4222             {
4223               if (XEXP (x, 0) != crtl->args.internal_arg_pointer)
4224                 i = INTVAL (XEXP (XEXP (x, 0), 1));
4225
4226               /* expand_call should ensure this.  */
4227               gcc_assert (!arg->locate.offset.var
4228                           && arg->locate.size.var == 0
4229                           && GET_CODE (size_rtx) == CONST_INT);
4230
4231               if (arg->locate.offset.constant > i)
4232                 {
4233                   if (arg->locate.offset.constant < i + INTVAL (size_rtx))
4234                     sibcall_failure = 1;
4235                 }
4236               else if (arg->locate.offset.constant < i)
4237                 {
4238                   /* Use arg->locate.size.constant instead of size_rtx
4239                      because we only care about the part of the argument
4240                      on the stack.  */
4241                   if (i < (arg->locate.offset.constant
4242                            + arg->locate.size.constant))
4243                     sibcall_failure = 1;
4244                 }
4245               else
4246                 {
4247                   /* Even though they appear to be at the same location,
4248                      if part of the outgoing argument is in registers,
4249                      they aren't really at the same location.  Check for
4250                      this by making sure that the incoming size is the
4251                      same as the outgoing size.  */
4252                   if (arg->locate.size.constant != INTVAL (size_rtx))
4253                     sibcall_failure = 1;
4254                 }
4255             }
4256         }
4257
4258       emit_push_insn (arg->value, arg->mode, TREE_TYPE (pval), size_rtx,
4259                       parm_align, partial, reg, excess, argblock,
4260                       ARGS_SIZE_RTX (arg->locate.offset), reg_parm_stack_space,
4261                       ARGS_SIZE_RTX (arg->locate.alignment_pad));
4262
4263       /* Unless this is a partially-in-register argument, the argument is now
4264          in the stack.
4265
4266          ??? Unlike the case above, in which we want the actual
4267          address of the data, so that we can load it directly into a
4268          register, here we want the address of the stack slot, so that
4269          it's properly aligned for word-by-word copying or something
4270          like that.  It's not clear that this is always correct.  */
4271       if (partial == 0)
4272         arg->value = arg->stack_slot;
4273     }
4274
4275   if (arg->reg && GET_CODE (arg->reg) == PARALLEL)
4276     {
4277       tree type = TREE_TYPE (arg->tree_value);
4278       arg->parallel_value
4279         = emit_group_load_into_temps (arg->reg, arg->value, type,
4280                                       int_size_in_bytes (type));
4281     }
4282
4283   /* Mark all slots this store used.  */
4284   if (ACCUMULATE_OUTGOING_ARGS && !(flags & ECF_SIBCALL)
4285       && argblock && ! variable_size && arg->stack)
4286     for (i = lower_bound; i < upper_bound; i++)
4287       stack_usage_map[i] = 1;
4288
4289   /* Once we have pushed something, pops can't safely
4290      be deferred during the rest of the arguments.  */
4291   NO_DEFER_POP;
4292
4293   /* Free any temporary slots made in processing this argument.  Show
4294      that we might have taken the address of something and pushed that
4295      as an operand.  */
4296   preserve_temp_slots (NULL_RTX);
4297   free_temp_slots ();
4298   pop_temp_slots ();
4299
4300   return sibcall_failure;
4301 }
4302
4303 /* Nonzero if we do not know how to pass TYPE solely in registers.  */
4304
4305 bool
4306 must_pass_in_stack_var_size (enum machine_mode mode ATTRIBUTE_UNUSED,
4307                              const_tree type)
4308 {
4309   if (!type)
4310     return false;
4311
4312   /* If the type has variable size...  */
4313   if (TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
4314     return true;
4315
4316   /* If the type is marked as addressable (it is required
4317      to be constructed into the stack)...  */
4318   if (TREE_ADDRESSABLE (type))
4319     return true;
4320
4321   return false;
4322 }
4323
4324 /* Another version of the TARGET_MUST_PASS_IN_STACK hook.  This one
4325    takes trailing padding of a structure into account.  */
4326 /* ??? Should be able to merge these two by examining BLOCK_REG_PADDING.  */
4327
4328 bool
4329 must_pass_in_stack_var_size_or_pad (enum machine_mode mode, const_tree type)
4330 {
4331   if (!type)
4332     return false;
4333
4334   /* If the type has variable size...  */
4335   if (TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
4336     return true;
4337
4338   /* If the type is marked as addressable (it is required
4339      to be constructed into the stack)...  */
4340   if (TREE_ADDRESSABLE (type))
4341     return true;
4342
4343   /* If the padding and mode of the type is such that a copy into
4344      a register would put it into the wrong part of the register.  */
4345   if (mode == BLKmode
4346       && int_size_in_bytes (type) % (PARM_BOUNDARY / BITS_PER_UNIT)
4347       && (FUNCTION_ARG_PADDING (mode, type)
4348           == (BYTES_BIG_ENDIAN ? upward : downward)))
4349     return true;
4350
4351   return false;
4352 }