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