Add expand_complex_abs decl.
[official-gcc.git] / gcc / explow.c
blob4d7d5c530eacc098bac811f34fc003b215fb98f6
1 /* Subroutines for manipulating rtx's in semantically interesting ways.
2 Copyright (C) 1987, 1991 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
21 #include "config.h"
22 #include "rtl.h"
23 #include "tree.h"
24 #include "flags.h"
25 #include "expr.h"
26 #include "hard-reg-set.h"
27 #include "insn-config.h"
28 #include "recog.h"
29 #include "insn-flags.h"
30 #include "insn-codes.h"
32 /* Return an rtx for the sum of X and the integer C.
34 This fucntion should be used via the `plus_constant' macro. */
36 rtx
37 plus_constant_wide (x, c)
38 register rtx x;
39 register HOST_WIDE_INT c;
41 register RTX_CODE code;
42 register enum machine_mode mode;
43 register rtx tem;
44 int all_constant = 0;
46 if (c == 0)
47 return x;
49 restart:
51 code = GET_CODE (x);
52 mode = GET_MODE (x);
53 switch (code)
55 case CONST_INT:
56 return GEN_INT (INTVAL (x) + c);
58 case CONST_DOUBLE:
60 HOST_WIDE_INT l1 = CONST_DOUBLE_LOW (x);
61 HOST_WIDE_INT h1 = CONST_DOUBLE_HIGH (x);
62 HOST_WIDE_INT l2 = c;
63 HOST_WIDE_INT h2 = c < 0 ? ~0 : 0;
64 HOST_WIDE_INT lv, hv;
66 add_double (l1, h1, l2, h2, &lv, &hv);
68 return immed_double_const (lv, hv, VOIDmode);
71 case MEM:
72 /* If this is a reference to the constant pool, try replacing it with
73 a reference to a new constant. If the resulting address isn't
74 valid, don't return it because we have no way to validize it. */
75 if (GET_CODE (XEXP (x, 0)) == SYMBOL_REF
76 && CONSTANT_POOL_ADDRESS_P (XEXP (x, 0)))
78 tem
79 = force_const_mem (GET_MODE (x),
80 plus_constant (get_pool_constant (XEXP (x, 0)),
81 c));
82 if (memory_address_p (GET_MODE (tem), XEXP (tem, 0)))
83 return tem;
85 break;
87 case CONST:
88 /* If adding to something entirely constant, set a flag
89 so that we can add a CONST around the result. */
90 x = XEXP (x, 0);
91 all_constant = 1;
92 goto restart;
94 case SYMBOL_REF:
95 case LABEL_REF:
96 all_constant = 1;
97 break;
99 case PLUS:
100 /* The interesting case is adding the integer to a sum.
101 Look for constant term in the sum and combine
102 with C. For an integer constant term, we make a combined
103 integer. For a constant term that is not an explicit integer,
104 we cannot really combine, but group them together anyway.
106 Use a recursive call in case the remaining operand is something
107 that we handle specially, such as a SYMBOL_REF. */
109 if (GET_CODE (XEXP (x, 1)) == CONST_INT)
110 return plus_constant (XEXP (x, 0), c + INTVAL (XEXP (x, 1)));
111 else if (CONSTANT_P (XEXP (x, 0)))
112 return gen_rtx (PLUS, mode,
113 plus_constant (XEXP (x, 0), c),
114 XEXP (x, 1));
115 else if (CONSTANT_P (XEXP (x, 1)))
116 return gen_rtx (PLUS, mode,
117 XEXP (x, 0),
118 plus_constant (XEXP (x, 1), c));
121 if (c != 0)
122 x = gen_rtx (PLUS, mode, x, GEN_INT (c));
124 if (GET_CODE (x) == SYMBOL_REF || GET_CODE (x) == LABEL_REF)
125 return x;
126 else if (all_constant)
127 return gen_rtx (CONST, mode, x);
128 else
129 return x;
132 /* This is the same as `plus_constant', except that it handles LO_SUM.
134 This function should be used via the `plus_constant_for_output' macro. */
137 plus_constant_for_output_wide (x, c)
138 register rtx x;
139 register HOST_WIDE_INT c;
141 register RTX_CODE code = GET_CODE (x);
142 register enum machine_mode mode = GET_MODE (x);
143 int all_constant = 0;
145 if (GET_CODE (x) == LO_SUM)
146 return gen_rtx (LO_SUM, mode, XEXP (x, 0),
147 plus_constant_for_output (XEXP (x, 1), c));
149 else
150 return plus_constant (x, c);
153 /* If X is a sum, return a new sum like X but lacking any constant terms.
154 Add all the removed constant terms into *CONSTPTR.
155 X itself is not altered. The result != X if and only if
156 it is not isomorphic to X. */
159 eliminate_constant_term (x, constptr)
160 rtx x;
161 rtx *constptr;
163 register rtx x0, x1;
164 rtx tem;
166 if (GET_CODE (x) != PLUS)
167 return x;
169 /* First handle constants appearing at this level explicitly. */
170 if (GET_CODE (XEXP (x, 1)) == CONST_INT
171 && 0 != (tem = simplify_binary_operation (PLUS, GET_MODE (x), *constptr,
172 XEXP (x, 1)))
173 && GET_CODE (tem) == CONST_INT)
175 *constptr = tem;
176 return eliminate_constant_term (XEXP (x, 0), constptr);
179 tem = const0_rtx;
180 x0 = eliminate_constant_term (XEXP (x, 0), &tem);
181 x1 = eliminate_constant_term (XEXP (x, 1), &tem);
182 if ((x1 != XEXP (x, 1) || x0 != XEXP (x, 0))
183 && 0 != (tem = simplify_binary_operation (PLUS, GET_MODE (x),
184 *constptr, tem))
185 && GET_CODE (tem) == CONST_INT)
187 *constptr = tem;
188 return gen_rtx (PLUS, GET_MODE (x), x0, x1);
191 return x;
194 /* Returns the insn that next references REG after INSN, or 0
195 if REG is clobbered before next referenced or we cannot find
196 an insn that references REG in a straight-line piece of code. */
199 find_next_ref (reg, insn)
200 rtx reg;
201 rtx insn;
203 rtx next;
205 for (insn = NEXT_INSN (insn); insn; insn = next)
207 next = NEXT_INSN (insn);
208 if (GET_CODE (insn) == NOTE)
209 continue;
210 if (GET_CODE (insn) == CODE_LABEL
211 || GET_CODE (insn) == BARRIER)
212 return 0;
213 if (GET_CODE (insn) == INSN
214 || GET_CODE (insn) == JUMP_INSN
215 || GET_CODE (insn) == CALL_INSN)
217 if (reg_set_p (reg, insn))
218 return 0;
219 if (reg_mentioned_p (reg, PATTERN (insn)))
220 return insn;
221 if (GET_CODE (insn) == JUMP_INSN)
223 if (simplejump_p (insn))
224 next = JUMP_LABEL (insn);
225 else
226 return 0;
228 if (GET_CODE (insn) == CALL_INSN
229 && REGNO (reg) < FIRST_PSEUDO_REGISTER
230 && call_used_regs[REGNO (reg)])
231 return 0;
233 else
234 abort ();
236 return 0;
239 /* Return an rtx for the size in bytes of the value of EXP. */
242 expr_size (exp)
243 tree exp;
245 return expand_expr (size_in_bytes (TREE_TYPE (exp)),
246 NULL_RTX, TYPE_MODE (sizetype), 0);
249 /* Return a copy of X in which all memory references
250 and all constants that involve symbol refs
251 have been replaced with new temporary registers.
252 Also emit code to load the memory locations and constants
253 into those registers.
255 If X contains no such constants or memory references,
256 X itself (not a copy) is returned.
258 If a constant is found in the address that is not a legitimate constant
259 in an insn, it is left alone in the hope that it might be valid in the
260 address.
262 X may contain no arithmetic except addition, subtraction and multiplication.
263 Values returned by expand_expr with 1 for sum_ok fit this constraint. */
265 static rtx
266 break_out_memory_refs (x)
267 register rtx x;
269 if (GET_CODE (x) == MEM
270 || (CONSTANT_P (x) && LEGITIMATE_CONSTANT_P (x)
271 && GET_MODE (x) != VOIDmode))
273 register rtx temp = force_reg (GET_MODE (x), x);
274 mark_reg_pointer (temp);
275 x = temp;
277 else if (GET_CODE (x) == PLUS || GET_CODE (x) == MINUS
278 || GET_CODE (x) == MULT)
280 register rtx op0 = break_out_memory_refs (XEXP (x, 0));
281 register rtx op1 = break_out_memory_refs (XEXP (x, 1));
282 if (op0 != XEXP (x, 0) || op1 != XEXP (x, 1))
283 x = gen_rtx (GET_CODE (x), Pmode, op0, op1);
285 return x;
288 /* Given a memory address or facsimile X, construct a new address,
289 currently equivalent, that is stable: future stores won't change it.
291 X must be composed of constants, register and memory references
292 combined with addition, subtraction and multiplication:
293 in other words, just what you can get from expand_expr if sum_ok is 1.
295 Works by making copies of all regs and memory locations used
296 by X and combining them the same way X does.
297 You could also stabilize the reference to this address
298 by copying the address to a register with copy_to_reg;
299 but then you wouldn't get indexed addressing in the reference. */
302 copy_all_regs (x)
303 register rtx x;
305 if (GET_CODE (x) == REG)
307 if (REGNO (x) != FRAME_POINTER_REGNUM)
308 x = copy_to_reg (x);
310 else if (GET_CODE (x) == MEM)
311 x = copy_to_reg (x);
312 else if (GET_CODE (x) == PLUS || GET_CODE (x) == MINUS
313 || GET_CODE (x) == MULT)
315 register rtx op0 = copy_all_regs (XEXP (x, 0));
316 register rtx op1 = copy_all_regs (XEXP (x, 1));
317 if (op0 != XEXP (x, 0) || op1 != XEXP (x, 1))
318 x = gen_rtx (GET_CODE (x), Pmode, op0, op1);
320 return x;
323 /* Return something equivalent to X but valid as a memory address
324 for something of mode MODE. When X is not itself valid, this
325 works by copying X or subexpressions of it into registers. */
328 memory_address (mode, x)
329 enum machine_mode mode;
330 register rtx x;
332 register rtx oldx;
334 /* By passing constant addresses thru registers
335 we get a chance to cse them. */
336 if (! cse_not_expected && CONSTANT_P (x) && LEGITIMATE_CONSTANT_P (x))
337 return force_reg (Pmode, x);
339 /* Accept a QUEUED that refers to a REG
340 even though that isn't a valid address.
341 On attempting to put this in an insn we will call protect_from_queue
342 which will turn it into a REG, which is valid. */
343 if (GET_CODE (x) == QUEUED
344 && GET_CODE (QUEUED_VAR (x)) == REG)
345 return x;
347 /* We get better cse by rejecting indirect addressing at this stage.
348 Let the combiner create indirect addresses where appropriate.
349 For now, generate the code so that the subexpressions useful to share
350 are visible. But not if cse won't be done! */
351 oldx = x;
352 if (! cse_not_expected && GET_CODE (x) != REG)
353 x = break_out_memory_refs (x);
355 /* At this point, any valid address is accepted. */
356 GO_IF_LEGITIMATE_ADDRESS (mode, x, win);
358 /* If it was valid before but breaking out memory refs invalidated it,
359 use it the old way. */
360 if (memory_address_p (mode, oldx))
361 goto win2;
363 /* Perform machine-dependent transformations on X
364 in certain cases. This is not necessary since the code
365 below can handle all possible cases, but machine-dependent
366 transformations can make better code. */
367 LEGITIMIZE_ADDRESS (x, oldx, mode, win);
369 /* PLUS and MULT can appear in special ways
370 as the result of attempts to make an address usable for indexing.
371 Usually they are dealt with by calling force_operand, below.
372 But a sum containing constant terms is special
373 if removing them makes the sum a valid address:
374 then we generate that address in a register
375 and index off of it. We do this because it often makes
376 shorter code, and because the addresses thus generated
377 in registers often become common subexpressions. */
378 if (GET_CODE (x) == PLUS)
380 rtx constant_term = const0_rtx;
381 rtx y = eliminate_constant_term (x, &constant_term);
382 if (constant_term == const0_rtx
383 || ! memory_address_p (mode, y))
384 return force_operand (x, NULL_RTX);
386 y = gen_rtx (PLUS, GET_MODE (x), copy_to_reg (y), constant_term);
387 if (! memory_address_p (mode, y))
388 return force_operand (x, NULL_RTX);
389 return y;
391 if (GET_CODE (x) == MULT || GET_CODE (x) == MINUS)
392 return force_operand (x, NULL_RTX);
394 /* If we have a register that's an invalid address,
395 it must be a hard reg of the wrong class. Copy it to a pseudo. */
396 if (GET_CODE (x) == REG)
397 return copy_to_reg (x);
399 /* Last resort: copy the value to a register, since
400 the register is a valid address. */
401 return force_reg (Pmode, x);
403 win2:
404 x = oldx;
405 win:
406 if (flag_force_addr && ! cse_not_expected && GET_CODE (x) != REG
407 /* Don't copy an addr via a reg if it is one of our stack slots. */
408 && ! (GET_CODE (x) == PLUS
409 && (XEXP (x, 0) == virtual_stack_vars_rtx
410 || XEXP (x, 0) == virtual_incoming_args_rtx)))
412 if (general_operand (x, Pmode))
413 return force_reg (Pmode, x);
414 else
415 return force_operand (x, NULL_RTX);
417 return x;
420 /* Like `memory_address' but pretend `flag_force_addr' is 0. */
423 memory_address_noforce (mode, x)
424 enum machine_mode mode;
425 rtx x;
427 int ambient_force_addr = flag_force_addr;
428 rtx val;
430 flag_force_addr = 0;
431 val = memory_address (mode, x);
432 flag_force_addr = ambient_force_addr;
433 return val;
436 /* Convert a mem ref into one with a valid memory address.
437 Pass through anything else unchanged. */
440 validize_mem (ref)
441 rtx ref;
443 if (GET_CODE (ref) != MEM)
444 return ref;
445 if (memory_address_p (GET_MODE (ref), XEXP (ref, 0)))
446 return ref;
447 /* Don't alter REF itself, since that is probably a stack slot. */
448 return change_address (ref, GET_MODE (ref), XEXP (ref, 0));
451 /* Return a modified copy of X with its memory address copied
452 into a temporary register to protect it from side effects.
453 If X is not a MEM, it is returned unchanged (and not copied).
454 Perhaps even if it is a MEM, if there is no need to change it. */
457 stabilize (x)
458 rtx x;
460 register rtx addr;
461 if (GET_CODE (x) != MEM)
462 return x;
463 addr = XEXP (x, 0);
464 if (rtx_unstable_p (addr))
466 rtx temp = copy_all_regs (addr);
467 rtx mem;
468 if (GET_CODE (temp) != REG)
469 temp = copy_to_reg (temp);
470 mem = gen_rtx (MEM, GET_MODE (x), temp);
472 /* Mark returned memref with in_struct if it's in an array or
473 structure. Copy const and volatile from original memref. */
475 MEM_IN_STRUCT_P (mem) = MEM_IN_STRUCT_P (x) || GET_CODE (addr) == PLUS;
476 RTX_UNCHANGING_P (mem) = RTX_UNCHANGING_P (x);
477 MEM_VOLATILE_P (mem) = MEM_VOLATILE_P (x);
478 return mem;
480 return x;
483 /* Copy the value or contents of X to a new temp reg and return that reg. */
486 copy_to_reg (x)
487 rtx x;
489 register rtx temp = gen_reg_rtx (GET_MODE (x));
491 /* If not an operand, must be an address with PLUS and MULT so
492 do the computation. */
493 if (! general_operand (x, VOIDmode))
494 x = force_operand (x, temp);
496 if (x != temp)
497 emit_move_insn (temp, x);
499 return temp;
502 /* Like copy_to_reg but always give the new register mode Pmode
503 in case X is a constant. */
506 copy_addr_to_reg (x)
507 rtx x;
509 return copy_to_mode_reg (Pmode, x);
512 /* Like copy_to_reg but always give the new register mode MODE
513 in case X is a constant. */
516 copy_to_mode_reg (mode, x)
517 enum machine_mode mode;
518 rtx x;
520 register rtx temp = gen_reg_rtx (mode);
522 /* If not an operand, must be an address with PLUS and MULT so
523 do the computation. */
524 if (! general_operand (x, VOIDmode))
525 x = force_operand (x, temp);
527 if (GET_MODE (x) != mode && GET_MODE (x) != VOIDmode)
528 abort ();
529 if (x != temp)
530 emit_move_insn (temp, x);
531 return temp;
534 /* Load X into a register if it is not already one.
535 Use mode MODE for the register.
536 X should be valid for mode MODE, but it may be a constant which
537 is valid for all integer modes; that's why caller must specify MODE.
539 The caller must not alter the value in the register we return,
540 since we mark it as a "constant" register. */
543 force_reg (mode, x)
544 enum machine_mode mode;
545 rtx x;
547 register rtx temp, insn;
549 if (GET_CODE (x) == REG)
550 return x;
551 temp = gen_reg_rtx (mode);
552 insn = emit_move_insn (temp, x);
553 /* Let optimizers know that TEMP's value never changes
554 and that X can be substituted for it. */
555 if (CONSTANT_P (x))
557 rtx note = find_reg_note (insn, REG_EQUAL, NULL_RTX);
559 if (note)
560 XEXP (note, 0) = x;
561 else
562 REG_NOTES (insn) = gen_rtx (EXPR_LIST, REG_EQUAL, x, REG_NOTES (insn));
564 return temp;
567 /* If X is a memory ref, copy its contents to a new temp reg and return
568 that reg. Otherwise, return X. */
571 force_not_mem (x)
572 rtx x;
574 register rtx temp;
575 if (GET_CODE (x) != MEM || GET_MODE (x) == BLKmode)
576 return x;
577 temp = gen_reg_rtx (GET_MODE (x));
578 emit_move_insn (temp, x);
579 return temp;
582 /* Copy X to TARGET (if it's nonzero and a reg)
583 or to a new temp reg and return that reg.
584 MODE is the mode to use for X in case it is a constant. */
587 copy_to_suggested_reg (x, target, mode)
588 rtx x, target;
589 enum machine_mode mode;
591 register rtx temp;
593 if (target && GET_CODE (target) == REG)
594 temp = target;
595 else
596 temp = gen_reg_rtx (mode);
598 emit_move_insn (temp, x);
599 return temp;
602 /* Adjust the stack pointer by ADJUST (an rtx for a number of bytes).
603 This pops when ADJUST is positive. ADJUST need not be constant. */
605 void
606 adjust_stack (adjust)
607 rtx adjust;
609 rtx temp;
610 adjust = protect_from_queue (adjust, 0);
612 if (adjust == const0_rtx)
613 return;
615 temp = expand_binop (Pmode,
616 #ifdef STACK_GROWS_DOWNWARD
617 add_optab,
618 #else
619 sub_optab,
620 #endif
621 stack_pointer_rtx, adjust, stack_pointer_rtx, 0,
622 OPTAB_LIB_WIDEN);
624 if (temp != stack_pointer_rtx)
625 emit_move_insn (stack_pointer_rtx, temp);
628 /* Adjust the stack pointer by minus ADJUST (an rtx for a number of bytes).
629 This pushes when ADJUST is positive. ADJUST need not be constant. */
631 void
632 anti_adjust_stack (adjust)
633 rtx adjust;
635 rtx temp;
636 adjust = protect_from_queue (adjust, 0);
638 if (adjust == const0_rtx)
639 return;
641 temp = expand_binop (Pmode,
642 #ifdef STACK_GROWS_DOWNWARD
643 sub_optab,
644 #else
645 add_optab,
646 #endif
647 stack_pointer_rtx, adjust, stack_pointer_rtx, 0,
648 OPTAB_LIB_WIDEN);
650 if (temp != stack_pointer_rtx)
651 emit_move_insn (stack_pointer_rtx, temp);
654 /* Round the size of a block to be pushed up to the boundary required
655 by this machine. SIZE is the desired size, which need not be constant. */
658 round_push (size)
659 rtx size;
661 #ifdef STACK_BOUNDARY
662 int align = STACK_BOUNDARY / BITS_PER_UNIT;
663 if (align == 1)
664 return size;
665 if (GET_CODE (size) == CONST_INT)
667 int new = (INTVAL (size) + align - 1) / align * align;
668 if (INTVAL (size) != new)
669 size = GEN_INT (new);
671 else
673 size = expand_divmod (0, CEIL_DIV_EXPR, Pmode, size, GEN_INT (align),
674 NULL_RTX, 1);
675 size = expand_mult (Pmode, size, GEN_INT (align), NULL_RTX, 1);
677 #endif /* STACK_BOUNDARY */
678 return size;
681 /* Save the stack pointer for the purpose in SAVE_LEVEL. PSAVE is a pointer
682 to a previously-created save area. If no save area has been allocated,
683 this function will allocate one. If a save area is specified, it
684 must be of the proper mode.
686 The insns are emitted after insn AFTER, if nonzero, otherwise the insns
687 are emitted at the current position. */
689 void
690 emit_stack_save (save_level, psave, after)
691 enum save_level save_level;
692 rtx *psave;
693 rtx after;
695 rtx sa = *psave;
696 /* The default is that we use a move insn and save in a Pmode object. */
697 rtx (*fcn) () = gen_move_insn;
698 enum machine_mode mode = Pmode;
700 /* See if this machine has anything special to do for this kind of save. */
701 switch (save_level)
703 #ifdef HAVE_save_stack_block
704 case SAVE_BLOCK:
705 if (HAVE_save_stack_block)
707 fcn = gen_save_stack_block;
708 mode = insn_operand_mode[CODE_FOR_save_stack_block][0];
710 break;
711 #endif
712 #ifdef HAVE_save_stack_function
713 case SAVE_FUNCTION:
714 if (HAVE_save_stack_function)
716 fcn = gen_save_stack_function;
717 mode = insn_operand_mode[CODE_FOR_save_stack_function][0];
719 break;
720 #endif
721 #ifdef HAVE_save_stack_nonlocal
722 case SAVE_NONLOCAL:
723 if (HAVE_save_stack_nonlocal)
725 fcn = gen_save_stack_nonlocal;
726 mode = insn_operand_mode[CODE_FOR_save_stack_nonlocal][0];
728 break;
729 #endif
732 /* If there is no save area and we have to allocate one, do so. Otherwise
733 verify the save area is the proper mode. */
735 if (sa == 0)
737 if (mode != VOIDmode)
739 if (save_level == SAVE_NONLOCAL)
740 *psave = sa = assign_stack_local (mode, GET_MODE_SIZE (mode), 0);
741 else
742 *psave = sa = gen_reg_rtx (mode);
745 else
747 if (mode == VOIDmode || GET_MODE (sa) != mode)
748 abort ();
751 if (sa != 0)
752 sa = validize_mem (sa);
754 if (after)
756 rtx seq;
758 start_sequence ();
759 emit_insn (fcn (sa, stack_pointer_rtx));
760 seq = gen_sequence ();
761 end_sequence ();
762 emit_insn_after (seq, after);
764 else
765 emit_insn (fcn (sa, stack_pointer_rtx));
768 /* Restore the stack pointer for the purpose in SAVE_LEVEL. SA is the save
769 area made by emit_stack_save. If it is zero, we have nothing to do.
771 Put any emitted insns after insn AFTER, if nonzero, otherwise at
772 current position. */
774 void
775 emit_stack_restore (save_level, sa, after)
776 enum save_level save_level;
777 rtx after;
778 rtx sa;
780 /* The default is that we use a move insn. */
781 rtx (*fcn) () = gen_move_insn;
783 /* See if this machine has anything special to do for this kind of save. */
784 switch (save_level)
786 #ifdef HAVE_restore_stack_block
787 case SAVE_BLOCK:
788 if (HAVE_restore_stack_block)
789 fcn = gen_restore_stack_block;
790 break;
791 #endif
792 #ifdef HAVE_restore_stack_function
793 case SAVE_FUNCTION:
794 if (HAVE_restore_stack_function)
795 fcn = gen_restore_stack_function;
796 break;
797 #endif
798 #ifdef HAVE_restore_stack_nonlocal
800 case SAVE_NONLOCAL:
801 if (HAVE_restore_stack_nonlocal)
802 fcn = gen_restore_stack_nonlocal;
803 break;
804 #endif
807 if (sa != 0)
808 sa = validize_mem (sa);
810 if (after)
812 rtx seq;
814 start_sequence ();
815 emit_insn (fcn (stack_pointer_rtx, sa));
816 seq = gen_sequence ();
817 end_sequence ();
818 emit_insn_after (seq, after);
820 else
821 emit_insn (fcn (stack_pointer_rtx, sa));
824 /* Return an rtx representing the address of an area of memory dynamically
825 pushed on the stack. This region of memory is always aligned to
826 a multiple of BIGGEST_ALIGNMENT.
828 Any required stack pointer alignment is preserved.
830 SIZE is an rtx representing the size of the area.
831 TARGET is a place in which the address can be placed.
833 KNOWN_ALIGN is the alignment (in bits) that we know SIZE has. */
836 allocate_dynamic_stack_space (size, target, known_align)
837 rtx size;
838 rtx target;
839 int known_align;
841 /* Ensure the size is in the proper mode. */
842 if (GET_MODE (size) != VOIDmode && GET_MODE (size) != Pmode)
843 size = convert_to_mode (Pmode, size, 1);
845 /* We will need to ensure that the address we return is aligned to
846 BIGGEST_ALIGNMENT. If STACK_DYNAMIC_OFFSET is defined, we don't
847 always know its final value at this point in the compilation (it
848 might depend on the size of the outgoing parameter lists, for
849 example), so we must align the value to be returned in that case.
850 (Note that STACK_DYNAMIC_OFFSET will have a default non-zero value if
851 STACK_POINTER_OFFSET or ACCUMULATE_OUTGOING_ARGS are defined).
852 We must also do an alignment operation on the returned value if
853 the stack pointer alignment is less strict that BIGGEST_ALIGNMENT.
855 If we have to align, we must leave space in SIZE for the hole
856 that might result from the alignment operation. */
858 #if defined (STACK_DYNAMIC_OFFSET) || defined(STACK_POINTER_OFFSET) || defined (ALLOCATE_OUTGOING_ARGS)
859 #define MUST_ALIGN
860 #endif
862 #if ! defined (MUST_ALIGN) && (!defined(STACK_BOUNDARY) || STACK_BOUNDARY < BIGGEST_ALIGNMENT)
863 #define MUST_ALIGN
864 #endif
866 #ifdef MUST_ALIGN
868 #if !defined (STACK_DYNAMIC_OFFSET) && !defined (STACK_POINTER_OFFSET)
869 /* If we have to round the address up regardless of known_align,
870 make extra space regardless, also. */
871 if (known_align % BIGGEST_ALIGNMENT != 0)
872 #endif
874 if (GET_CODE (size) == CONST_INT)
875 size = GEN_INT (INTVAL (size)
876 + (BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1));
877 else
878 size = expand_binop (Pmode, add_optab, size,
879 GEN_INT (BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1),
880 NULL_RTX, 1, OPTAB_LIB_WIDEN);
883 #endif
885 #ifdef SETJMP_VIA_SAVE_AREA
886 /* If setjmp restores regs from a save area in the stack frame,
887 avoid clobbering the reg save area. Note that the offset of
888 virtual_incoming_args_rtx includes the preallocated stack args space.
889 It would be no problem to clobber that, but it's on the wrong side
890 of the old save area. */
892 rtx dynamic_offset
893 = expand_binop (Pmode, sub_optab, virtual_stack_dynamic_rtx,
894 stack_pointer_rtx, NULL_RTX, 1, OPTAB_LIB_WIDEN);
895 size = expand_binop (Pmode, add_optab, size, dynamic_offset,
896 NULL_RTX, 1, OPTAB_LIB_WIDEN);
898 #endif /* SETJMP_VIA_SAVE_AREA */
900 /* Round the size to a multiple of the required stack alignment.
901 Since the stack if presumed to be rounded before this allocation,
902 this will maintain the required alignment.
904 If the stack grows downward, we could save an insn by subtracting
905 SIZE from the stack pointer and then aligning the stack pointer.
906 The problem with this is that the stack pointer may be unaligned
907 between the execution of the subtraction and alignment insns and
908 some machines do not allow this. Even on those that do, some
909 signal handlers malfunction if a signal should occur between those
910 insns. Since this is an extremely rare event, we have no reliable
911 way of knowing which systems have this problem. So we avoid even
912 momentarily mis-aligning the stack. */
914 #ifdef STACK_BOUNDARY
915 #ifndef SETJMP_VIA_SAVE_AREA /* If we added a variable amount to SIZE,
916 we can no longer assume it is aligned. */
917 if (known_align % STACK_BOUNDARY != 0)
918 #endif
919 size = round_push (size);
920 #endif
922 do_pending_stack_adjust ();
924 /* Don't use a TARGET that isn't a pseudo. */
925 if (target == 0 || GET_CODE (target) != REG
926 || REGNO (target) < FIRST_PSEUDO_REGISTER)
927 target = gen_reg_rtx (Pmode);
929 mark_reg_pointer (target);
931 #ifndef STACK_GROWS_DOWNWARD
932 emit_move_insn (target, virtual_stack_dynamic_rtx);
933 #endif
935 /* Perform the required allocation from the stack. Some systems do
936 this differently than simply incrementing/decrementing from the
937 stack pointer. */
938 #ifdef HAVE_allocate_stack
939 if (HAVE_allocate_stack)
941 enum machine_mode mode
942 = insn_operand_mode[(int) CODE_FOR_allocate_stack][0];
944 if (insn_operand_predicate[(int) CODE_FOR_allocate_stack][0]
945 && ! ((*insn_operand_predicate[(int) CODE_FOR_allocate_stack][0])
946 (size, mode)))
947 size = copy_to_mode_reg (mode, size);
949 emit_insn (gen_allocate_stack (size));
951 else
952 #endif
953 anti_adjust_stack (size);
955 #ifdef STACK_GROWS_DOWNWARD
956 emit_move_insn (target, virtual_stack_dynamic_rtx);
957 #endif
959 #ifdef MUST_ALIGN
960 /* If virtual_stack_dynamic_rtx might not share the alignment of
961 the stack pointer register, we must always realign the stack address. */
962 #if !defined (STACK_DYNAMIC_OFFSET) && !defined (STACK_POINTER_OFFSET)
963 if (known_align % BIGGEST_ALIGNMENT != 0)
964 #endif
966 target = expand_divmod (0, CEIL_DIV_EXPR, Pmode, target,
967 GEN_INT (BIGGEST_ALIGNMENT / BITS_PER_UNIT),
968 NULL_RTX, 1);
970 target = expand_mult (Pmode, target,
971 GEN_INT (BIGGEST_ALIGNMENT / BITS_PER_UNIT),
972 NULL_RTX, 1);
974 #endif
976 /* Some systems require a particular insn to refer to the stack
977 to make the pages exist. */
978 #ifdef HAVE_probe
979 if (HAVE_probe)
980 emit_insn (gen_probe ());
981 #endif
983 return target;
986 /* Return an rtx representing the register or memory location
987 in which a scalar value of data type VALTYPE
988 was returned by a function call to function FUNC.
989 FUNC is a FUNCTION_DECL node if the precise function is known,
990 otherwise 0. */
993 hard_function_value (valtype, func)
994 tree valtype;
995 tree func;
997 return FUNCTION_VALUE (valtype, func);
1000 /* Return an rtx representing the register or memory location
1001 in which a scalar value of mode MODE was returned by a library call. */
1004 hard_libcall_value (mode)
1005 enum machine_mode mode;
1007 return LIBCALL_VALUE (mode);