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