1 /* FR30 specific functions.
2 Copyright (C) 1998-2015 Free Software Foundation, Inc.
3 Contributed by Cygnus Solutions.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
25 #include "coretypes.h"
29 #include "hard-reg-set.h"
30 #include "insn-config.h"
31 #include "conditions.h"
32 #include "insn-attr.h"
38 #include "double-int.h"
45 #include "fold-const.h"
46 #include "stor-layout.h"
51 #include "statistics.h"
53 #include "fixed-value.h"
63 #include "dominance.h"
69 #include "cfgcleanup.h"
71 #include "basic-block.h"
73 #include "diagnostic-core.h"
76 #include "target-def.h"
80 /*{{{ Function Prologues & Epilogues */
82 /* The FR30 stack looks like this:
84 Before call After call
86 +-----------------------+ +-----------------------+ high
88 | local variables, | | local variables, |
89 | reg save area, etc. | | reg save area, etc. |
91 +-----------------------+ +-----------------------+
93 | args to the func that | | args to this func. |
94 | is being called that | | |
95 SP ->| do not fit in regs | | |
96 +-----------------------+ +-----------------------+
97 | args that used to be | \
98 | in regs; only created | | pretend_size
99 AP-> | for vararg funcs | /
100 +-----------------------+
102 | register save area | |
104 +-----------------------+ | reg_size
106 +-----------------------+ |
107 FP ->| previous frame ptr | /
108 +-----------------------+
110 | local variables | | var_size
112 +-----------------------+
114 low | room for args to | |
115 memory | other funcs called | | args_size
118 +-----------------------+
120 Note, AP is a fake hard register. It will be eliminated in favor of
121 SP or FP as appropriate.
123 Note, Some or all of the stack sections above may be omitted if they
126 /* Structure to be filled in by fr30_compute_frame_size() with register
127 save masks, and offsets for the current function. */
128 struct fr30_frame_info
130 unsigned int total_size
; /* # Bytes that the entire frame takes up. */
131 unsigned int pretend_size
; /* # Bytes we push and pretend caller did. */
132 unsigned int args_size
; /* # Bytes that outgoing arguments take up. */
133 unsigned int reg_size
; /* # Bytes needed to store regs. */
134 unsigned int var_size
; /* # Bytes that variables take up. */
135 unsigned int frame_size
; /* # Bytes in current frame. */
136 unsigned int gmask
; /* Mask of saved registers. */
137 unsigned int save_fp
; /* Nonzero if frame pointer must be saved. */
138 unsigned int save_rp
; /* Nonzero if return pointer must be saved. */
139 int initialised
; /* Nonzero if frame size already calculated. */
142 /* Current frame information calculated by fr30_compute_frame_size(). */
143 static struct fr30_frame_info current_frame_info
;
145 /* Zero structure to initialize current_frame_info. */
146 static struct fr30_frame_info zero_frame_info
;
148 static void fr30_setup_incoming_varargs (cumulative_args_t
, machine_mode
,
150 static bool fr30_must_pass_in_stack (machine_mode
, const_tree
);
151 static int fr30_arg_partial_bytes (cumulative_args_t
, machine_mode
,
153 static rtx
fr30_function_arg (cumulative_args_t
, machine_mode
,
155 static void fr30_function_arg_advance (cumulative_args_t
, machine_mode
,
157 static bool fr30_frame_pointer_required (void);
158 static rtx
fr30_function_value (const_tree
, const_tree
, bool);
159 static rtx
fr30_libcall_value (machine_mode
, const_rtx
);
160 static bool fr30_function_value_regno_p (const unsigned int);
161 static bool fr30_can_eliminate (const int, const int);
162 static void fr30_asm_trampoline_template (FILE *);
163 static void fr30_trampoline_init (rtx
, tree
, rtx
);
164 static int fr30_num_arg_regs (machine_mode
, const_tree
);
166 #define FRAME_POINTER_MASK (1 << (FRAME_POINTER_REGNUM))
167 #define RETURN_POINTER_MASK (1 << (RETURN_POINTER_REGNUM))
169 /* Tell prologue and epilogue if register REGNO should be saved / restored.
170 The return address and frame pointer are treated separately.
171 Don't consider them here. */
172 #define MUST_SAVE_REGISTER(regno) \
173 ( (regno) != RETURN_POINTER_REGNUM \
174 && (regno) != FRAME_POINTER_REGNUM \
175 && df_regs_ever_live_p (regno) \
176 && ! call_used_regs [regno] )
178 #define MUST_SAVE_FRAME_POINTER (df_regs_ever_live_p (FRAME_POINTER_REGNUM) || frame_pointer_needed)
179 #define MUST_SAVE_RETURN_POINTER (df_regs_ever_live_p (RETURN_POINTER_REGNUM) || crtl->profile)
181 #if UNITS_PER_WORD == 4
182 #define WORD_ALIGN(SIZE) (((SIZE) + 3) & ~3)
185 /* Initialize the GCC target structure. */
186 #undef TARGET_ASM_ALIGNED_HI_OP
187 #define TARGET_ASM_ALIGNED_HI_OP "\t.hword\t"
188 #undef TARGET_ASM_ALIGNED_SI_OP
189 #define TARGET_ASM_ALIGNED_SI_OP "\t.word\t"
191 #undef TARGET_PROMOTE_PROTOTYPES
192 #define TARGET_PROMOTE_PROTOTYPES hook_bool_const_tree_true
193 #undef TARGET_PASS_BY_REFERENCE
194 #define TARGET_PASS_BY_REFERENCE hook_pass_by_reference_must_pass_in_stack
195 #undef TARGET_ARG_PARTIAL_BYTES
196 #define TARGET_ARG_PARTIAL_BYTES fr30_arg_partial_bytes
197 #undef TARGET_FUNCTION_ARG
198 #define TARGET_FUNCTION_ARG fr30_function_arg
199 #undef TARGET_FUNCTION_ARG_ADVANCE
200 #define TARGET_FUNCTION_ARG_ADVANCE fr30_function_arg_advance
202 #undef TARGET_FUNCTION_VALUE
203 #define TARGET_FUNCTION_VALUE fr30_function_value
204 #undef TARGET_LIBCALL_VALUE
205 #define TARGET_LIBCALL_VALUE fr30_libcall_value
206 #undef TARGET_FUNCTION_VALUE_REGNO_P
207 #define TARGET_FUNCTION_VALUE_REGNO_P fr30_function_value_regno_p
209 #undef TARGET_SETUP_INCOMING_VARARGS
210 #define TARGET_SETUP_INCOMING_VARARGS fr30_setup_incoming_varargs
211 #undef TARGET_MUST_PASS_IN_STACK
212 #define TARGET_MUST_PASS_IN_STACK fr30_must_pass_in_stack
214 #undef TARGET_FRAME_POINTER_REQUIRED
215 #define TARGET_FRAME_POINTER_REQUIRED fr30_frame_pointer_required
217 #undef TARGET_CAN_ELIMINATE
218 #define TARGET_CAN_ELIMINATE fr30_can_eliminate
220 #undef TARGET_ASM_TRAMPOLINE_TEMPLATE
221 #define TARGET_ASM_TRAMPOLINE_TEMPLATE fr30_asm_trampoline_template
222 #undef TARGET_TRAMPOLINE_INIT
223 #define TARGET_TRAMPOLINE_INIT fr30_trampoline_init
225 struct gcc_target targetm
= TARGET_INITIALIZER
;
228 /* Worker function for TARGET_CAN_ELIMINATE. */
231 fr30_can_eliminate (const int from ATTRIBUTE_UNUSED
, const int to
)
233 return (to
== FRAME_POINTER_REGNUM
|| ! frame_pointer_needed
);
236 /* Returns the number of bytes offset between FROM_REG and TO_REG
237 for the current function. As a side effect it fills in the
238 current_frame_info structure, if the data is available. */
240 fr30_compute_frame_size (int from_reg
, int to_reg
)
243 unsigned int return_value
;
244 unsigned int var_size
;
245 unsigned int args_size
;
246 unsigned int pretend_size
;
247 unsigned int reg_size
;
250 var_size
= WORD_ALIGN (get_frame_size ());
251 args_size
= WORD_ALIGN (crtl
->outgoing_args_size
);
252 pretend_size
= crtl
->args
.pretend_args_size
;
257 /* Calculate space needed for registers. */
258 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
260 if (MUST_SAVE_REGISTER (regno
))
262 reg_size
+= UNITS_PER_WORD
;
267 current_frame_info
.save_fp
= MUST_SAVE_FRAME_POINTER
;
268 current_frame_info
.save_rp
= MUST_SAVE_RETURN_POINTER
;
270 reg_size
+= (current_frame_info
.save_fp
+ current_frame_info
.save_rp
)
273 /* Save computed information. */
274 current_frame_info
.pretend_size
= pretend_size
;
275 current_frame_info
.var_size
= var_size
;
276 current_frame_info
.args_size
= args_size
;
277 current_frame_info
.reg_size
= reg_size
;
278 current_frame_info
.frame_size
= args_size
+ var_size
;
279 current_frame_info
.total_size
= args_size
+ var_size
+ reg_size
+ pretend_size
;
280 current_frame_info
.gmask
= gmask
;
281 current_frame_info
.initialised
= reload_completed
;
283 /* Calculate the required distance. */
286 if (to_reg
== STACK_POINTER_REGNUM
)
287 return_value
+= args_size
+ var_size
;
289 if (from_reg
== ARG_POINTER_REGNUM
)
290 return_value
+= reg_size
;
295 /* Called after register allocation to add any instructions needed for the
296 prologue. Using a prologue insn is favored compared to putting all of the
297 instructions in output_function_prologue(), since it allows the scheduler
298 to intermix instructions with the saves of the caller saved registers. In
299 some cases, it might be necessary to emit a barrier instruction as the last
300 insn to prevent such scheduling. */
303 fr30_expand_prologue (void)
308 if (! current_frame_info
.initialised
)
309 fr30_compute_frame_size (0, 0);
311 /* This cases shouldn't happen. Catch it now. */
312 gcc_assert (current_frame_info
.total_size
|| !current_frame_info
.gmask
);
314 /* Allocate space for register arguments if this is a variadic function. */
315 if (current_frame_info
.pretend_size
)
317 int regs_to_save
= current_frame_info
.pretend_size
/ UNITS_PER_WORD
;
319 /* Push argument registers into the pretend arg area. */
320 for (regno
= FIRST_ARG_REGNUM
+ FR30_NUM_ARG_REGS
; regno
--, regs_to_save
--;)
322 insn
= emit_insn (gen_movsi_push (gen_rtx_REG (Pmode
, regno
)));
323 RTX_FRAME_RELATED_P (insn
) = 1;
327 if (current_frame_info
.gmask
)
329 /* Save any needed call-saved regs. */
330 for (regno
= STACK_POINTER_REGNUM
; regno
--;)
332 if ((current_frame_info
.gmask
& (1 << regno
)) != 0)
334 insn
= emit_insn (gen_movsi_push (gen_rtx_REG (Pmode
, regno
)));
335 RTX_FRAME_RELATED_P (insn
) = 1;
340 /* Save return address if necessary. */
341 if (current_frame_info
.save_rp
)
343 insn
= emit_insn (gen_movsi_push (gen_rtx_REG (Pmode
,
344 RETURN_POINTER_REGNUM
)));
345 RTX_FRAME_RELATED_P (insn
) = 1;
348 /* Save old frame pointer and create new one, if necessary. */
349 if (current_frame_info
.save_fp
)
351 if (current_frame_info
.frame_size
< ((1 << 10) - UNITS_PER_WORD
))
353 int enter_size
= current_frame_info
.frame_size
+ UNITS_PER_WORD
;
356 insn
= emit_insn (gen_enter_func (GEN_INT (enter_size
)));
357 RTX_FRAME_RELATED_P (insn
) = 1;
359 pattern
= PATTERN (insn
);
361 /* Also mark all 3 subexpressions as RTX_FRAME_RELATED_P. */
362 if (GET_CODE (pattern
) == PARALLEL
)
365 for (x
= XVECLEN (pattern
, 0); x
--;)
367 rtx part
= XVECEXP (pattern
, 0, x
);
369 /* One of the insns in the ENTER pattern updates the
370 frame pointer. If we do not actually need the frame
371 pointer in this function then this is a side effect
372 rather than a desired effect, so we do not mark that
373 insn as being related to the frame set up. Doing this
374 allows us to compile the crash66.C test file in the
376 if (! frame_pointer_needed
377 && GET_CODE (part
) == SET
378 && SET_DEST (part
) == hard_frame_pointer_rtx
)
379 RTX_FRAME_RELATED_P (part
) = 0;
381 RTX_FRAME_RELATED_P (part
) = 1;
387 insn
= emit_insn (gen_movsi_push (frame_pointer_rtx
));
388 RTX_FRAME_RELATED_P (insn
) = 1;
390 if (frame_pointer_needed
)
392 insn
= emit_insn (gen_movsi (frame_pointer_rtx
, stack_pointer_rtx
));
393 RTX_FRAME_RELATED_P (insn
) = 1;
398 /* Allocate the stack frame. */
399 if (current_frame_info
.frame_size
== 0)
400 ; /* Nothing to do. */
401 else if (current_frame_info
.save_fp
402 && current_frame_info
.frame_size
< ((1 << 10) - UNITS_PER_WORD
))
403 ; /* Nothing to do. */
404 else if (current_frame_info
.frame_size
<= 512)
406 insn
= emit_insn (gen_add_to_stack
407 (GEN_INT (- (signed) current_frame_info
.frame_size
)));
408 RTX_FRAME_RELATED_P (insn
) = 1;
412 rtx tmp
= gen_rtx_REG (Pmode
, PROLOGUE_TMP_REGNUM
);
413 insn
= emit_insn (gen_movsi (tmp
, GEN_INT (current_frame_info
.frame_size
)));
414 RTX_FRAME_RELATED_P (insn
) = 1;
415 insn
= emit_insn (gen_subsi3 (stack_pointer_rtx
, stack_pointer_rtx
, tmp
));
416 RTX_FRAME_RELATED_P (insn
) = 1;
420 emit_insn (gen_blockage ());
423 /* Called after register allocation to add any instructions needed for the
424 epilogue. Using an epilogue insn is favored compared to putting all of the
425 instructions in output_function_epilogue(), since it allows the scheduler
426 to intermix instructions with the restores of the caller saved registers.
427 In some cases, it might be necessary to emit a barrier instruction as the
428 first insn to prevent such scheduling. */
430 fr30_expand_epilogue (void)
434 /* Perform the inversion operations of the prologue. */
435 gcc_assert (current_frame_info
.initialised
);
437 /* Pop local variables and arguments off the stack.
438 If frame_pointer_needed is TRUE then the frame pointer register
439 has actually been used as a frame pointer, and we can recover
440 the stack pointer from it, otherwise we must unwind the stack
442 if (current_frame_info
.frame_size
> 0)
444 if (current_frame_info
.save_fp
&& frame_pointer_needed
)
446 emit_insn (gen_leave_func ());
447 current_frame_info
.save_fp
= 0;
449 else if (current_frame_info
.frame_size
<= 508)
450 emit_insn (gen_add_to_stack
451 (GEN_INT (current_frame_info
.frame_size
)));
454 rtx tmp
= gen_rtx_REG (Pmode
, PROLOGUE_TMP_REGNUM
);
455 emit_insn (gen_movsi (tmp
, GEN_INT (current_frame_info
.frame_size
)));
456 emit_insn (gen_addsi3 (stack_pointer_rtx
, stack_pointer_rtx
, tmp
));
460 if (current_frame_info
.save_fp
)
461 emit_insn (gen_movsi_pop (frame_pointer_rtx
));
463 /* Pop all the registers that were pushed. */
464 if (current_frame_info
.save_rp
)
465 emit_insn (gen_movsi_pop (gen_rtx_REG (Pmode
, RETURN_POINTER_REGNUM
)));
467 for (regno
= 0; regno
< STACK_POINTER_REGNUM
; regno
++)
468 if (current_frame_info
.gmask
& (1 << regno
))
469 emit_insn (gen_movsi_pop (gen_rtx_REG (Pmode
, regno
)));
471 if (current_frame_info
.pretend_size
)
472 emit_insn (gen_add_to_stack (GEN_INT (current_frame_info
.pretend_size
)));
474 /* Reset state info for each function. */
475 current_frame_info
= zero_frame_info
;
477 emit_jump_insn (gen_return_from_func ());
480 /* Do any needed setup for a variadic function. We must create a register
481 parameter block, and then copy any anonymous arguments, plus the last
482 named argument, from registers into memory. * copying actually done in
483 fr30_expand_prologue().
485 ARG_REGS_USED_SO_FAR has *not* been updated for the last named argument
486 which has type TYPE and mode MODE, and we rely on this fact. */
488 fr30_setup_incoming_varargs (cumulative_args_t arg_regs_used_so_far_v
,
490 tree type ATTRIBUTE_UNUSED
,
492 int second_time ATTRIBUTE_UNUSED
)
494 CUMULATIVE_ARGS
*arg_regs_used_so_far
495 = get_cumulative_args (arg_regs_used_so_far_v
);
498 /* All BLKmode values are passed by reference. */
499 gcc_assert (mode
!= BLKmode
);
501 /* ??? This run-time test as well as the code inside the if
502 statement is probably unnecessary. */
503 if (targetm
.calls
.strict_argument_naming (arg_regs_used_so_far_v
))
504 /* If TARGET_STRICT_ARGUMENT_NAMING returns true, then the last named
505 arg must not be treated as an anonymous arg. */
506 /* ??? This is a pointer increment, which makes no sense. */
507 arg_regs_used_so_far
+= fr30_num_arg_regs (mode
, type
);
509 size
= FR30_NUM_ARG_REGS
- (* arg_regs_used_so_far
);
514 * pretend_size
= (size
* UNITS_PER_WORD
);
518 /*{{{ Printing operands */
520 /* Print a memory address as an operand to reference that memory location. */
523 fr30_print_operand_address (FILE *stream
, rtx address
)
525 switch (GET_CODE (address
))
528 output_addr_const (stream
, address
);
532 fprintf (stderr
, "code = %x\n", GET_CODE (address
));
534 output_operand_lossage ("fr30_print_operand_address: unhandled address");
539 /* Print an operand. */
542 fr30_print_operand (FILE *file
, rtx x
, int code
)
549 /* Output a :D if this instruction is delayed. */
550 if (dbr_sequence_length () != 0)
555 /* Compute the register name of the second register in a hi/lo
557 if (GET_CODE (x
) != REG
)
558 output_operand_lossage ("fr30_print_operand: unrecognized %%p code");
560 fprintf (file
, "r%d", REGNO (x
) + 1);
564 /* Convert GCC's comparison operators into FR30 comparison codes. */
565 switch (GET_CODE (x
))
567 case EQ
: fprintf (file
, "eq"); break;
568 case NE
: fprintf (file
, "ne"); break;
569 case LT
: fprintf (file
, "lt"); break;
570 case LE
: fprintf (file
, "le"); break;
571 case GT
: fprintf (file
, "gt"); break;
572 case GE
: fprintf (file
, "ge"); break;
573 case LTU
: fprintf (file
, "c"); break;
574 case LEU
: fprintf (file
, "ls"); break;
575 case GTU
: fprintf (file
, "hi"); break;
576 case GEU
: fprintf (file
, "nc"); break;
578 output_operand_lossage ("fr30_print_operand: unrecognized %%b code");
584 /* Convert GCC's comparison operators into the complimentary FR30
586 switch (GET_CODE (x
))
588 case EQ
: fprintf (file
, "ne"); break;
589 case NE
: fprintf (file
, "eq"); break;
590 case LT
: fprintf (file
, "ge"); break;
591 case LE
: fprintf (file
, "gt"); break;
592 case GT
: fprintf (file
, "le"); break;
593 case GE
: fprintf (file
, "lt"); break;
594 case LTU
: fprintf (file
, "nc"); break;
595 case LEU
: fprintf (file
, "hi"); break;
596 case GTU
: fprintf (file
, "ls"); break;
597 case GEU
: fprintf (file
, "c"); break;
599 output_operand_lossage ("fr30_print_operand: unrecognized %%B code");
605 /* Print a signed byte value as an unsigned value. */
606 if (GET_CODE (x
) != CONST_INT
)
607 output_operand_lossage ("fr30_print_operand: invalid operand to %%A code");
616 fprintf (file
, HOST_WIDE_INT_PRINT_DEC
, val
);
621 if (GET_CODE (x
) != CONST_INT
624 output_operand_lossage ("fr30_print_operand: invalid %%x code");
626 fprintf (file
, HOST_WIDE_INT_PRINT_DEC
, INTVAL (x
) - 16);
630 if (GET_CODE (x
) != CONST_DOUBLE
)
631 output_operand_lossage ("fr30_print_operand: invalid %%F code");
636 real_to_decimal (str
, CONST_DOUBLE_REAL_VALUE (x
),
647 fprintf (stderr
, "unknown code = %x\n", code
);
648 output_operand_lossage ("fr30_print_operand: unknown code");
652 switch (GET_CODE (x
))
655 fputs (reg_names
[REGNO (x
)], file
);
661 switch (GET_CODE (x0
))
664 gcc_assert ((unsigned) REGNO (x0
) < ARRAY_SIZE (reg_names
));
665 fprintf (file
, "@%s", reg_names
[REGNO (x0
)]);
669 if (GET_CODE (XEXP (x0
, 0)) != REG
670 || REGNO (XEXP (x0
, 0)) < FRAME_POINTER_REGNUM
671 || REGNO (XEXP (x0
, 0)) > STACK_POINTER_REGNUM
672 || GET_CODE (XEXP (x0
, 1)) != CONST_INT
)
674 fprintf (stderr
, "bad INDEXed address:");
676 output_operand_lossage ("fr30_print_operand: unhandled MEM");
678 else if (REGNO (XEXP (x0
, 0)) == FRAME_POINTER_REGNUM
)
680 HOST_WIDE_INT val
= INTVAL (XEXP (x0
, 1));
681 if (val
< -(1 << 9) || val
> ((1 << 9) - 4))
683 fprintf (stderr
, "frame INDEX out of range:");
685 output_operand_lossage ("fr30_print_operand: unhandled MEM");
687 fprintf (file
, "@(r14, #" HOST_WIDE_INT_PRINT_DEC
")", val
);
691 HOST_WIDE_INT val
= INTVAL (XEXP (x0
, 1));
692 if (val
< 0 || val
> ((1 << 6) - 4))
694 fprintf (stderr
, "stack INDEX out of range:");
696 output_operand_lossage ("fr30_print_operand: unhandled MEM");
698 fprintf (file
, "@(r15, #" HOST_WIDE_INT_PRINT_DEC
")", val
);
707 fprintf (stderr
, "bad MEM code = %x\n", GET_CODE (x0
));
709 output_operand_lossage ("fr30_print_operand: unhandled MEM");
715 /* We handle SFmode constants here as output_addr_const doesn't. */
716 if (GET_MODE (x
) == SFmode
)
721 REAL_VALUE_FROM_CONST_DOUBLE (d
, x
);
722 REAL_VALUE_TO_TARGET_SINGLE (d
, l
);
723 fprintf (file
, "0x%08lx", l
);
727 /* Fall through. Let output_addr_const deal with it. */
729 output_addr_const (file
, x
);
738 /* Implements TARGET_FUNCTION_VALUE. */
741 fr30_function_value (const_tree valtype
,
742 const_tree fntype_or_decli ATTRIBUTE_UNUSED
,
743 bool outgoing ATTRIBUTE_UNUSED
)
745 return gen_rtx_REG (TYPE_MODE (valtype
), RETURN_VALUE_REGNUM
);
748 /* Implements TARGET_LIBCALL_VALUE. */
751 fr30_libcall_value (machine_mode mode
,
752 const_rtx fun ATTRIBUTE_UNUSED
)
754 return gen_rtx_REG (mode
, RETURN_VALUE_REGNUM
);
757 /* Implements TARGET_FUNCTION_VALUE_REGNO_P. */
760 fr30_function_value_regno_p (const unsigned int regno
)
762 return (regno
== RETURN_VALUE_REGNUM
);
765 /*{{{ Function arguments */
767 /* Return true if we should pass an argument on the stack rather than
771 fr30_must_pass_in_stack (machine_mode mode
, const_tree type
)
777 return AGGREGATE_TYPE_P (type
);
780 /* Compute the number of word sized registers needed to hold a
781 function argument of mode INT_MODE and tree type TYPE. */
783 fr30_num_arg_regs (machine_mode mode
, const_tree type
)
787 if (targetm
.calls
.must_pass_in_stack (mode
, type
))
790 if (type
&& mode
== BLKmode
)
791 size
= int_size_in_bytes (type
);
793 size
= GET_MODE_SIZE (mode
);
795 return (size
+ UNITS_PER_WORD
- 1) / UNITS_PER_WORD
;
798 /* Returns the number of bytes in which *part* of a parameter of machine
799 mode MODE and tree type TYPE (which may be NULL if the type is not known).
800 If the argument fits entirely in the argument registers, or entirely on
801 the stack, then 0 is returned.
802 CUM is the number of argument registers already used by earlier
803 parameters to the function. */
806 fr30_arg_partial_bytes (cumulative_args_t cum_v
, machine_mode mode
,
807 tree type
, bool named
)
809 CUMULATIVE_ARGS
*cum
= get_cumulative_args (cum_v
);
811 /* Unnamed arguments, i.e. those that are prototyped as ...
812 are always passed on the stack.
813 Also check here to see if all the argument registers are full. */
814 if (named
== 0 || *cum
>= FR30_NUM_ARG_REGS
)
817 /* Work out how many argument registers would be needed if this
818 parameter were to be passed entirely in registers. If there
819 are sufficient argument registers available (or if no registers
820 are needed because the parameter must be passed on the stack)
821 then return zero, as this parameter does not require partial
822 register, partial stack stack space. */
823 if (*cum
+ fr30_num_arg_regs (mode
, type
) <= FR30_NUM_ARG_REGS
)
826 return (FR30_NUM_ARG_REGS
- *cum
) * UNITS_PER_WORD
;
830 fr30_function_arg (cumulative_args_t cum_v
, machine_mode mode
,
831 const_tree type
, bool named
)
833 CUMULATIVE_ARGS
*cum
= get_cumulative_args (cum_v
);
836 || fr30_must_pass_in_stack (mode
, type
)
837 || *cum
>= FR30_NUM_ARG_REGS
)
840 return gen_rtx_REG (mode
, *cum
+ FIRST_ARG_REGNUM
);
843 /* A C statement (sans semicolon) to update the summarizer variable CUM to
844 advance past an argument in the argument list. The values MODE, TYPE and
845 NAMED describe that argument. Once this is done, the variable CUM is
846 suitable for analyzing the *following* argument with `FUNCTION_ARG', etc.
848 This macro need not do anything if the argument in question was passed on
849 the stack. The compiler knows how to track the amount of stack space used
850 for arguments without any special help. */
852 fr30_function_arg_advance (cumulative_args_t cum
, machine_mode mode
,
853 const_tree type
, bool named
)
855 *get_cumulative_args (cum
) += named
* fr30_num_arg_regs (mode
, type
);
859 /*{{{ Operand predicates */
862 #define Mmode machine_mode
865 /* Returns true iff all the registers in the operands array
866 are in descending or ascending order. */
868 fr30_check_multiple_regs (rtx
*operands
, int num_operands
, int descending
)
872 unsigned int prev_regno
= 0;
874 while (num_operands
--)
876 if (GET_CODE (operands
[num_operands
]) != REG
)
879 if (REGNO (operands
[num_operands
]) < prev_regno
)
882 prev_regno
= REGNO (operands
[num_operands
]);
887 unsigned int prev_regno
= CONDITION_CODE_REGNUM
;
889 while (num_operands
--)
891 if (GET_CODE (operands
[num_operands
]) != REG
)
894 if (REGNO (operands
[num_operands
]) > prev_regno
)
897 prev_regno
= REGNO (operands
[num_operands
]);
905 fr30_const_double_is_zero (rtx operand
)
909 if (operand
== NULL
|| GET_CODE (operand
) != CONST_DOUBLE
)
912 REAL_VALUE_FROM_CONST_DOUBLE (d
, operand
);
914 return REAL_VALUES_EQUAL (d
, dconst0
);
918 /*{{{ Instruction Output Routines */
920 /* Output a double word move.
921 It must be REG<-REG, REG<-MEM, MEM<-REG or REG<-CONST.
922 On the FR30 we are constrained by the fact that it does not
923 support offsetable addresses, and so we have to load the
924 address of the secnd word into the second destination register
925 before we can use it. */
928 fr30_move_double (rtx
* operands
)
930 rtx src
= operands
[1];
931 rtx dest
= operands
[0];
932 enum rtx_code src_code
= GET_CODE (src
);
933 enum rtx_code dest_code
= GET_CODE (dest
);
934 machine_mode mode
= GET_MODE (dest
);
939 if (dest_code
== REG
)
943 int reverse
= (REGNO (dest
) == REGNO (src
) + 1);
945 /* We normally copy the low-numbered register first. However, if
946 the first register of operand 0 is the same as the second register
947 of operand 1, we must copy in the opposite order. */
948 emit_insn (gen_rtx_SET (operand_subword (dest
, reverse
, TRUE
, mode
),
949 operand_subword (src
, reverse
, TRUE
, mode
)));
952 (gen_rtx_SET (operand_subword (dest
, !reverse
, TRUE
, mode
),
953 operand_subword (src
, !reverse
, TRUE
, mode
)));
955 else if (src_code
== MEM
)
957 rtx addr
= XEXP (src
, 0);
958 rtx dest0
= operand_subword (dest
, 0, TRUE
, mode
);
959 rtx dest1
= operand_subword (dest
, 1, TRUE
, mode
);
962 gcc_assert (GET_CODE (addr
) == REG
);
964 /* Copy the address before clobbering it. See PR 34174. */
965 emit_insn (gen_rtx_SET (dest1
, addr
));
966 emit_insn (gen_rtx_SET (dest0
, adjust_address (src
, SImode
, 0)));
967 emit_insn (gen_rtx_SET (dest1
, plus_constant (SImode
, dest1
,
970 new_mem
= gen_rtx_MEM (SImode
, dest1
);
971 MEM_COPY_ATTRIBUTES (new_mem
, src
);
973 emit_insn (gen_rtx_SET (dest1
, new_mem
));
975 else if (src_code
== CONST_INT
|| src_code
== CONST_DOUBLE
)
978 split_double (src
, &words
[0], &words
[1]);
979 emit_insn (gen_rtx_SET (operand_subword (dest
, 0, TRUE
, mode
),
982 emit_insn (gen_rtx_SET (operand_subword (dest
, 1, TRUE
, mode
),
986 else if (src_code
== REG
&& dest_code
== MEM
)
988 rtx addr
= XEXP (dest
, 0);
992 gcc_assert (GET_CODE (addr
) == REG
);
994 src0
= operand_subword (src
, 0, TRUE
, mode
);
995 src1
= operand_subword (src
, 1, TRUE
, mode
);
997 emit_move_insn (adjust_address (dest
, SImode
, 0), src0
);
999 if (REGNO (addr
) == STACK_POINTER_REGNUM
1000 || REGNO (addr
) == FRAME_POINTER_REGNUM
)
1001 emit_insn (gen_rtx_SET (adjust_address (dest
, SImode
, UNITS_PER_WORD
),
1006 rtx scratch_reg_r0
= gen_rtx_REG (SImode
, 0);
1008 /* We need a scratch register to hold the value of 'address + 4'.
1009 We use r0 for this purpose. It is used for example for long
1010 jumps and is already marked to not be used by normal register
1012 emit_insn (gen_movsi_internal (scratch_reg_r0
, addr
));
1013 emit_insn (gen_addsi_small_int (scratch_reg_r0
, scratch_reg_r0
,
1014 GEN_INT (UNITS_PER_WORD
)));
1015 new_mem
= gen_rtx_MEM (SImode
, scratch_reg_r0
);
1016 MEM_COPY_ATTRIBUTES (new_mem
, dest
);
1017 emit_move_insn (new_mem
, src1
);
1018 emit_insn (gen_blockage ());
1022 /* This should have been prevented by the constraints on movdi_insn. */
1031 /* Implement TARGET_FRAME_POINTER_REQUIRED. */
1034 fr30_frame_pointer_required (void)
1036 return (flag_omit_frame_pointer
== 0 || crtl
->args
.pretend_args_size
> 0);
1040 /*{{{ Trampoline Output Routines */
1042 /* Implement TARGET_ASM_TRAMPOLINE_TEMPLATE.
1043 On the FR30, the trampoline is:
1051 The no-ops are to guarantee that the static chain and final
1052 target are 32 bit aligned within the trampoline. That allows us to
1053 initialize those locations with simple SImode stores. The alternative
1054 would be to use HImode stores. */
1057 fr30_asm_trampoline_template (FILE *f
)
1059 fprintf (f
, "\tnop\n");
1060 fprintf (f
, "\tldi:32\t#0, %s\n", reg_names
[STATIC_CHAIN_REGNUM
]);
1061 fprintf (f
, "\tnop\n");
1062 fprintf (f
, "\tldi:32\t#0, %s\n", reg_names
[COMPILER_SCRATCH_REGISTER
]);
1063 fprintf (f
, "\tjmp\t@%s\n", reg_names
[COMPILER_SCRATCH_REGISTER
]);
1066 /* Implement TARGET_TRAMPOLINE_INIT. */
1069 fr30_trampoline_init (rtx m_tramp
, tree fndecl
, rtx chain_value
)
1071 rtx fnaddr
= XEXP (DECL_RTL (fndecl
), 0);
1074 emit_block_move (m_tramp
, assemble_trampoline_template (),
1075 GEN_INT (TRAMPOLINE_SIZE
), BLOCK_OP_NORMAL
);
1077 mem
= adjust_address (m_tramp
, SImode
, 4);
1078 emit_move_insn (mem
, chain_value
);
1079 mem
= adjust_address (m_tramp
, SImode
, 12);
1080 emit_move_insn (mem
, fnaddr
);
1084 /* Local Variables: */
1085 /* folded-file: t */