OSDN Git Service

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