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