comparison gcc/config/fr30/fr30.c @ 0:a06113de4d67

first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children 77e2b8dfacca
comparison
equal deleted inserted replaced
-1:000000000000 0:a06113de4d67
1 /* FR30 specific functions.
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2004, 2005, 2007, 2008
3 Free Software Foundation, Inc.
4 Contributed by Cygnus Solutions.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
12
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
21
22 /*{{{ Includes */
23
24 #include "config.h"
25 #include "system.h"
26 #include "coretypes.h"
27 #include "tm.h"
28 #include "rtl.h"
29 #include "regs.h"
30 #include "hard-reg-set.h"
31 #include "real.h"
32 #include "insn-config.h"
33 #include "conditions.h"
34 #include "insn-attr.h"
35 #include "flags.h"
36 #include "recog.h"
37 #include "tree.h"
38 #include "output.h"
39 #include "expr.h"
40 #include "obstack.h"
41 #include "except.h"
42 #include "function.h"
43 #include "toplev.h"
44 #include "tm_p.h"
45 #include "target.h"
46 #include "target-def.h"
47
48 /*}}}*/
49 /*{{{ Function Prologues & Epilogues */
50
51 /* Define the information needed to generate branch and scc insns. This is
52 stored from the compare operation. */
53
54 struct rtx_def * fr30_compare_op0;
55 struct rtx_def * fr30_compare_op1;
56
57 /* The FR30 stack looks like this:
58
59 Before call After call
60 FP ->| | | |
61 +-----------------------+ +-----------------------+ high
62 | | | | memory
63 | local variables, | | local variables, |
64 | reg save area, etc. | | reg save area, etc. |
65 | | | |
66 +-----------------------+ +-----------------------+
67 | | | |
68 | args to the func that | | args to this func. |
69 | is being called that | | |
70 SP ->| do not fit in regs | | |
71 +-----------------------+ +-----------------------+
72 | args that used to be | \
73 | in regs; only created | | pretend_size
74 AP-> | for vararg funcs | /
75 +-----------------------+
76 | | \
77 | register save area | |
78 | | |
79 +-----------------------+ | reg_size
80 | return address | |
81 +-----------------------+ |
82 FP ->| previous frame ptr | /
83 +-----------------------+
84 | | \
85 | local variables | | var_size
86 | | /
87 +-----------------------+
88 | | \
89 low | room for args to | |
90 memory | other funcs called | | args_size
91 | from this one | |
92 SP ->| | /
93 +-----------------------+
94
95 Note, AP is a fake hard register. It will be eliminated in favor of
96 SP or FP as appropriate.
97
98 Note, Some or all of the stack sections above may be omitted if they
99 are not needed. */
100
101 /* Structure to be filled in by fr30_compute_frame_size() with register
102 save masks, and offsets for the current function. */
103 struct fr30_frame_info
104 {
105 unsigned int total_size; /* # Bytes that the entire frame takes up. */
106 unsigned int pretend_size; /* # Bytes we push and pretend caller did. */
107 unsigned int args_size; /* # Bytes that outgoing arguments take up. */
108 unsigned int reg_size; /* # Bytes needed to store regs. */
109 unsigned int var_size; /* # Bytes that variables take up. */
110 unsigned int frame_size; /* # Bytes in current frame. */
111 unsigned int gmask; /* Mask of saved registers. */
112 unsigned int save_fp; /* Nonzero if frame pointer must be saved. */
113 unsigned int save_rp; /* Nonzero if return pointer must be saved. */
114 int initialised; /* Nonzero if frame size already calculated. */
115 };
116
117 /* Current frame information calculated by fr30_compute_frame_size(). */
118 static struct fr30_frame_info current_frame_info;
119
120 /* Zero structure to initialize current_frame_info. */
121 static struct fr30_frame_info zero_frame_info;
122
123 static void fr30_setup_incoming_varargs (CUMULATIVE_ARGS *, enum machine_mode,
124 tree, int *, int);
125 static bool fr30_must_pass_in_stack (enum machine_mode, const_tree);
126 static int fr30_arg_partial_bytes (CUMULATIVE_ARGS *, enum machine_mode,
127 tree, bool);
128
129
130 #define FRAME_POINTER_MASK (1 << (FRAME_POINTER_REGNUM))
131 #define RETURN_POINTER_MASK (1 << (RETURN_POINTER_REGNUM))
132
133 /* Tell prologue and epilogue if register REGNO should be saved / restored.
134 The return address and frame pointer are treated separately.
135 Don't consider them here. */
136 #define MUST_SAVE_REGISTER(regno) \
137 ( (regno) != RETURN_POINTER_REGNUM \
138 && (regno) != FRAME_POINTER_REGNUM \
139 && df_regs_ever_live_p (regno) \
140 && ! call_used_regs [regno] )
141
142 #define MUST_SAVE_FRAME_POINTER (df_regs_ever_live_p (FRAME_POINTER_REGNUM) || frame_pointer_needed)
143 #define MUST_SAVE_RETURN_POINTER (df_regs_ever_live_p (RETURN_POINTER_REGNUM) || crtl->profile)
144
145 #if UNITS_PER_WORD == 4
146 #define WORD_ALIGN(SIZE) (((SIZE) + 3) & ~3)
147 #endif
148
149 /* Initialize the GCC target structure. */
150 #undef TARGET_ASM_ALIGNED_HI_OP
151 #define TARGET_ASM_ALIGNED_HI_OP "\t.hword\t"
152 #undef TARGET_ASM_ALIGNED_SI_OP
153 #define TARGET_ASM_ALIGNED_SI_OP "\t.word\t"
154
155 #undef TARGET_PROMOTE_PROTOTYPES
156 #define TARGET_PROMOTE_PROTOTYPES hook_bool_const_tree_true
157 #undef TARGET_PASS_BY_REFERENCE
158 #define TARGET_PASS_BY_REFERENCE hook_pass_by_reference_must_pass_in_stack
159 #undef TARGET_ARG_PARTIAL_BYTES
160 #define TARGET_ARG_PARTIAL_BYTES fr30_arg_partial_bytes
161
162 #undef TARGET_SETUP_INCOMING_VARARGS
163 #define TARGET_SETUP_INCOMING_VARARGS fr30_setup_incoming_varargs
164 #undef TARGET_MUST_PASS_IN_STACK
165 #define TARGET_MUST_PASS_IN_STACK fr30_must_pass_in_stack
166
167 struct gcc_target targetm = TARGET_INITIALIZER;
168
169 /* Returns the number of bytes offset between FROM_REG and TO_REG
170 for the current function. As a side effect it fills in the
171 current_frame_info structure, if the data is available. */
172 unsigned int
173 fr30_compute_frame_size (int from_reg, int to_reg)
174 {
175 int regno;
176 unsigned int return_value;
177 unsigned int var_size;
178 unsigned int args_size;
179 unsigned int pretend_size;
180 unsigned int reg_size;
181 unsigned int gmask;
182
183 var_size = WORD_ALIGN (get_frame_size ());
184 args_size = WORD_ALIGN (crtl->outgoing_args_size);
185 pretend_size = crtl->args.pretend_args_size;
186
187 reg_size = 0;
188 gmask = 0;
189
190 /* Calculate space needed for registers. */
191 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno ++)
192 {
193 if (MUST_SAVE_REGISTER (regno))
194 {
195 reg_size += UNITS_PER_WORD;
196 gmask |= 1 << regno;
197 }
198 }
199
200 current_frame_info.save_fp = MUST_SAVE_FRAME_POINTER;
201 current_frame_info.save_rp = MUST_SAVE_RETURN_POINTER;
202
203 reg_size += (current_frame_info.save_fp + current_frame_info.save_rp)
204 * UNITS_PER_WORD;
205
206 /* Save computed information. */
207 current_frame_info.pretend_size = pretend_size;
208 current_frame_info.var_size = var_size;
209 current_frame_info.args_size = args_size;
210 current_frame_info.reg_size = reg_size;
211 current_frame_info.frame_size = args_size + var_size;
212 current_frame_info.total_size = args_size + var_size + reg_size + pretend_size;
213 current_frame_info.gmask = gmask;
214 current_frame_info.initialised = reload_completed;
215
216 /* Calculate the required distance. */
217 return_value = 0;
218
219 if (to_reg == STACK_POINTER_REGNUM)
220 return_value += args_size + var_size;
221
222 if (from_reg == ARG_POINTER_REGNUM)
223 return_value += reg_size;
224
225 return return_value;
226 }
227
228 /* Called after register allocation to add any instructions needed for the
229 prologue. Using a prologue insn is favored compared to putting all of the
230 instructions in output_function_prologue(), since it allows the scheduler
231 to intermix instructions with the saves of the caller saved registers. In
232 some cases, it might be necessary to emit a barrier instruction as the last
233 insn to prevent such scheduling. */
234
235 void
236 fr30_expand_prologue (void)
237 {
238 int regno;
239 rtx insn;
240
241 if (! current_frame_info.initialised)
242 fr30_compute_frame_size (0, 0);
243
244 /* This cases shouldn't happen. Catch it now. */
245 gcc_assert (current_frame_info.total_size || !current_frame_info.gmask);
246
247 /* Allocate space for register arguments if this is a variadic function. */
248 if (current_frame_info.pretend_size)
249 {
250 int regs_to_save = current_frame_info.pretend_size / UNITS_PER_WORD;
251
252 /* Push argument registers into the pretend arg area. */
253 for (regno = FIRST_ARG_REGNUM + FR30_NUM_ARG_REGS; regno --, regs_to_save --;)
254 {
255 insn = emit_insn (gen_movsi_push (gen_rtx_REG (Pmode, regno)));
256 RTX_FRAME_RELATED_P (insn) = 1;
257 }
258 }
259
260 if (current_frame_info.gmask)
261 {
262 /* Save any needed call-saved regs. */
263 for (regno = STACK_POINTER_REGNUM; regno--;)
264 {
265 if ((current_frame_info.gmask & (1 << regno)) != 0)
266 {
267 insn = emit_insn (gen_movsi_push (gen_rtx_REG (Pmode, regno)));
268 RTX_FRAME_RELATED_P (insn) = 1;
269 }
270 }
271 }
272
273 /* Save return address if necessary. */
274 if (current_frame_info.save_rp)
275 {
276 insn = emit_insn (gen_movsi_push (gen_rtx_REG (Pmode,
277 RETURN_POINTER_REGNUM)));
278 RTX_FRAME_RELATED_P (insn) = 1;
279 }
280
281 /* Save old frame pointer and create new one, if necessary. */
282 if (current_frame_info.save_fp)
283 {
284 if (current_frame_info.frame_size < ((1 << 10) - UNITS_PER_WORD))
285 {
286 int enter_size = current_frame_info.frame_size + UNITS_PER_WORD;
287 rtx pattern;
288
289 insn = emit_insn (gen_enter_func (GEN_INT (enter_size)));
290 RTX_FRAME_RELATED_P (insn) = 1;
291
292 pattern = PATTERN (insn);
293
294 /* Also mark all 3 subexpressions as RTX_FRAME_RELATED_P. */
295 if (GET_CODE (pattern) == PARALLEL)
296 {
297 int x;
298 for (x = XVECLEN (pattern, 0); x--;)
299 {
300 rtx part = XVECEXP (pattern, 0, x);
301
302 /* One of the insns in the ENTER pattern updates the
303 frame pointer. If we do not actually need the frame
304 pointer in this function then this is a side effect
305 rather than a desired effect, so we do not mark that
306 insn as being related to the frame set up. Doing this
307 allows us to compile the crash66.C test file in the
308 G++ testsuite. */
309 if (! frame_pointer_needed
310 && GET_CODE (part) == SET
311 && SET_DEST (part) == hard_frame_pointer_rtx)
312 RTX_FRAME_RELATED_P (part) = 0;
313 else
314 RTX_FRAME_RELATED_P (part) = 1;
315 }
316 }
317 }
318 else
319 {
320 insn = emit_insn (gen_movsi_push (frame_pointer_rtx));
321 RTX_FRAME_RELATED_P (insn) = 1;
322
323 if (frame_pointer_needed)
324 {
325 insn = emit_insn (gen_movsi (frame_pointer_rtx, stack_pointer_rtx));
326 RTX_FRAME_RELATED_P (insn) = 1;
327 }
328 }
329 }
330
331 /* Allocate the stack frame. */
332 if (current_frame_info.frame_size == 0)
333 ; /* Nothing to do. */
334 else if (current_frame_info.save_fp
335 && current_frame_info.frame_size < ((1 << 10) - UNITS_PER_WORD))
336 ; /* Nothing to do. */
337 else if (current_frame_info.frame_size <= 512)
338 {
339 insn = emit_insn (gen_add_to_stack
340 (GEN_INT (- (signed) current_frame_info.frame_size)));
341 RTX_FRAME_RELATED_P (insn) = 1;
342 }
343 else
344 {
345 rtx tmp = gen_rtx_REG (Pmode, PROLOGUE_TMP_REGNUM);
346 insn = emit_insn (gen_movsi (tmp, GEN_INT (current_frame_info.frame_size)));
347 RTX_FRAME_RELATED_P (insn) = 1;
348 insn = emit_insn (gen_subsi3 (stack_pointer_rtx, stack_pointer_rtx, tmp));
349 RTX_FRAME_RELATED_P (insn) = 1;
350 }
351
352 if (crtl->profile)
353 emit_insn (gen_blockage ());
354 }
355
356 /* Called after register allocation to add any instructions needed for the
357 epilogue. Using an epilogue insn is favored compared to putting all of the
358 instructions in output_function_epilogue(), since it allows the scheduler
359 to intermix instructions with the restores of the caller saved registers.
360 In some cases, it might be necessary to emit a barrier instruction as the
361 first insn to prevent such scheduling. */
362 void
363 fr30_expand_epilogue (void)
364 {
365 int regno;
366
367 /* Perform the inversion operations of the prologue. */
368 gcc_assert (current_frame_info.initialised);
369
370 /* Pop local variables and arguments off the stack.
371 If frame_pointer_needed is TRUE then the frame pointer register
372 has actually been used as a frame pointer, and we can recover
373 the stack pointer from it, otherwise we must unwind the stack
374 manually. */
375 if (current_frame_info.frame_size > 0)
376 {
377 if (current_frame_info.save_fp && frame_pointer_needed)
378 {
379 emit_insn (gen_leave_func ());
380 current_frame_info.save_fp = 0;
381 }
382 else if (current_frame_info.frame_size <= 508)
383 emit_insn (gen_add_to_stack
384 (GEN_INT (current_frame_info.frame_size)));
385 else
386 {
387 rtx tmp = gen_rtx_REG (Pmode, PROLOGUE_TMP_REGNUM);
388 emit_insn (gen_movsi (tmp, GEN_INT (current_frame_info.frame_size)));
389 emit_insn (gen_addsi3 (stack_pointer_rtx, stack_pointer_rtx, tmp));
390 }
391 }
392
393 if (current_frame_info.save_fp)
394 emit_insn (gen_movsi_pop (frame_pointer_rtx));
395
396 /* Pop all the registers that were pushed. */
397 if (current_frame_info.save_rp)
398 emit_insn (gen_movsi_pop (gen_rtx_REG (Pmode, RETURN_POINTER_REGNUM)));
399
400 for (regno = 0; regno < STACK_POINTER_REGNUM; regno ++)
401 if (current_frame_info.gmask & (1 << regno))
402 emit_insn (gen_movsi_pop (gen_rtx_REG (Pmode, regno)));
403
404 if (current_frame_info.pretend_size)
405 emit_insn (gen_add_to_stack (GEN_INT (current_frame_info.pretend_size)));
406
407 /* Reset state info for each function. */
408 current_frame_info = zero_frame_info;
409
410 emit_jump_insn (gen_return_from_func ());
411 }
412
413 /* Do any needed setup for a variadic function. We must create a register
414 parameter block, and then copy any anonymous arguments, plus the last
415 named argument, from registers into memory. * copying actually done in
416 fr30_expand_prologue().
417
418 ARG_REGS_USED_SO_FAR has *not* been updated for the last named argument
419 which has type TYPE and mode MODE, and we rely on this fact. */
420 void
421 fr30_setup_incoming_varargs (CUMULATIVE_ARGS *arg_regs_used_so_far,
422 enum machine_mode mode,
423 tree type ATTRIBUTE_UNUSED,
424 int *pretend_size,
425 int second_time ATTRIBUTE_UNUSED)
426 {
427 int size;
428
429 /* All BLKmode values are passed by reference. */
430 gcc_assert (mode != BLKmode);
431
432 /* ??? This run-time test as well as the code inside the if
433 statement is probably unnecessary. */
434 if (targetm.calls.strict_argument_naming (arg_regs_used_so_far))
435 /* If TARGET_STRICT_ARGUMENT_NAMING returns true, then the last named
436 arg must not be treated as an anonymous arg. */
437 arg_regs_used_so_far += fr30_num_arg_regs (mode, type);
438
439 size = FR30_NUM_ARG_REGS - (* arg_regs_used_so_far);
440
441 if (size <= 0)
442 return;
443
444 * pretend_size = (size * UNITS_PER_WORD);
445 }
446
447 /*}}}*/
448 /*{{{ Printing operands */
449
450 /* Print a memory address as an operand to reference that memory location. */
451
452 void
453 fr30_print_operand_address (FILE *stream, rtx address)
454 {
455 switch (GET_CODE (address))
456 {
457 case SYMBOL_REF:
458 output_addr_const (stream, address);
459 break;
460
461 default:
462 fprintf (stderr, "code = %x\n", GET_CODE (address));
463 debug_rtx (address);
464 output_operand_lossage ("fr30_print_operand_address: unhandled address");
465 break;
466 }
467 }
468
469 /* Print an operand. */
470
471 void
472 fr30_print_operand (FILE *file, rtx x, int code)
473 {
474 rtx x0;
475
476 switch (code)
477 {
478 case '#':
479 /* Output a :D if this instruction is delayed. */
480 if (dbr_sequence_length () != 0)
481 fputs (":D", file);
482 return;
483
484 case 'p':
485 /* Compute the register name of the second register in a hi/lo
486 register pair. */
487 if (GET_CODE (x) != REG)
488 output_operand_lossage ("fr30_print_operand: unrecognized %%p code");
489 else
490 fprintf (file, "r%d", REGNO (x) + 1);
491 return;
492
493 case 'b':
494 /* Convert GCC's comparison operators into FR30 comparison codes. */
495 switch (GET_CODE (x))
496 {
497 case EQ: fprintf (file, "eq"); break;
498 case NE: fprintf (file, "ne"); break;
499 case LT: fprintf (file, "lt"); break;
500 case LE: fprintf (file, "le"); break;
501 case GT: fprintf (file, "gt"); break;
502 case GE: fprintf (file, "ge"); break;
503 case LTU: fprintf (file, "c"); break;
504 case LEU: fprintf (file, "ls"); break;
505 case GTU: fprintf (file, "hi"); break;
506 case GEU: fprintf (file, "nc"); break;
507 default:
508 output_operand_lossage ("fr30_print_operand: unrecognized %%b code");
509 break;
510 }
511 return;
512
513 case 'B':
514 /* Convert GCC's comparison operators into the complimentary FR30
515 comparison codes. */
516 switch (GET_CODE (x))
517 {
518 case EQ: fprintf (file, "ne"); break;
519 case NE: fprintf (file, "eq"); break;
520 case LT: fprintf (file, "ge"); break;
521 case LE: fprintf (file, "gt"); break;
522 case GT: fprintf (file, "le"); break;
523 case GE: fprintf (file, "lt"); break;
524 case LTU: fprintf (file, "nc"); break;
525 case LEU: fprintf (file, "hi"); break;
526 case GTU: fprintf (file, "ls"); break;
527 case GEU: fprintf (file, "c"); break;
528 default:
529 output_operand_lossage ("fr30_print_operand: unrecognized %%B code");
530 break;
531 }
532 return;
533
534 case 'A':
535 /* Print a signed byte value as an unsigned value. */
536 if (GET_CODE (x) != CONST_INT)
537 output_operand_lossage ("fr30_print_operand: invalid operand to %%A code");
538 else
539 {
540 HOST_WIDE_INT val;
541
542 val = INTVAL (x);
543
544 val &= 0xff;
545
546 fprintf (file, HOST_WIDE_INT_PRINT_DEC, val);
547 }
548 return;
549
550 case 'x':
551 if (GET_CODE (x) != CONST_INT
552 || INTVAL (x) < 16
553 || INTVAL (x) > 32)
554 output_operand_lossage ("fr30_print_operand: invalid %%x code");
555 else
556 fprintf (file, HOST_WIDE_INT_PRINT_DEC, INTVAL (x) - 16);
557 return;
558
559 case 'F':
560 if (GET_CODE (x) != CONST_DOUBLE)
561 output_operand_lossage ("fr30_print_operand: invalid %%F code");
562 else
563 {
564 char str[30];
565
566 real_to_decimal (str, CONST_DOUBLE_REAL_VALUE (x),
567 sizeof (str), 0, 1);
568 fputs (str, file);
569 }
570 return;
571
572 case 0:
573 /* Handled below. */
574 break;
575
576 default:
577 fprintf (stderr, "unknown code = %x\n", code);
578 output_operand_lossage ("fr30_print_operand: unknown code");
579 return;
580 }
581
582 switch (GET_CODE (x))
583 {
584 case REG:
585 fputs (reg_names [REGNO (x)], file);
586 break;
587
588 case MEM:
589 x0 = XEXP (x,0);
590
591 switch (GET_CODE (x0))
592 {
593 case REG:
594 gcc_assert ((unsigned) REGNO (x0) < ARRAY_SIZE (reg_names));
595 fprintf (file, "@%s", reg_names [REGNO (x0)]);
596 break;
597
598 case PLUS:
599 if (GET_CODE (XEXP (x0, 0)) != REG
600 || REGNO (XEXP (x0, 0)) < FRAME_POINTER_REGNUM
601 || REGNO (XEXP (x0, 0)) > STACK_POINTER_REGNUM
602 || GET_CODE (XEXP (x0, 1)) != CONST_INT)
603 {
604 fprintf (stderr, "bad INDEXed address:");
605 debug_rtx (x);
606 output_operand_lossage ("fr30_print_operand: unhandled MEM");
607 }
608 else if (REGNO (XEXP (x0, 0)) == FRAME_POINTER_REGNUM)
609 {
610 HOST_WIDE_INT val = INTVAL (XEXP (x0, 1));
611 if (val < -(1 << 9) || val > ((1 << 9) - 4))
612 {
613 fprintf (stderr, "frame INDEX out of range:");
614 debug_rtx (x);
615 output_operand_lossage ("fr30_print_operand: unhandled MEM");
616 }
617 fprintf (file, "@(r14, #" HOST_WIDE_INT_PRINT_DEC ")", val);
618 }
619 else
620 {
621 HOST_WIDE_INT val = INTVAL (XEXP (x0, 1));
622 if (val < 0 || val > ((1 << 6) - 4))
623 {
624 fprintf (stderr, "stack INDEX out of range:");
625 debug_rtx (x);
626 output_operand_lossage ("fr30_print_operand: unhandled MEM");
627 }
628 fprintf (file, "@(r15, #" HOST_WIDE_INT_PRINT_DEC ")", val);
629 }
630 break;
631
632 case SYMBOL_REF:
633 output_address (x0);
634 break;
635
636 default:
637 fprintf (stderr, "bad MEM code = %x\n", GET_CODE (x0));
638 debug_rtx (x);
639 output_operand_lossage ("fr30_print_operand: unhandled MEM");
640 break;
641 }
642 break;
643
644 case CONST_DOUBLE :
645 /* We handle SFmode constants here as output_addr_const doesn't. */
646 if (GET_MODE (x) == SFmode)
647 {
648 REAL_VALUE_TYPE d;
649 long l;
650
651 REAL_VALUE_FROM_CONST_DOUBLE (d, x);
652 REAL_VALUE_TO_TARGET_SINGLE (d, l);
653 fprintf (file, "0x%08lx", l);
654 break;
655 }
656
657 /* Fall through. Let output_addr_const deal with it. */
658 default:
659 output_addr_const (file, x);
660 break;
661 }
662
663 return;
664 }
665
666 /*}}}*/
667 /*{{{ Function arguments */
668
669 /* Return true if we should pass an argument on the stack rather than
670 in registers. */
671
672 static bool
673 fr30_must_pass_in_stack (enum machine_mode mode, const_tree type)
674 {
675 if (mode == BLKmode)
676 return true;
677 if (type == NULL)
678 return false;
679 return AGGREGATE_TYPE_P (type);
680 }
681
682 /* Compute the number of word sized registers needed to hold a
683 function argument of mode INT_MODE and tree type TYPE. */
684 int
685 fr30_num_arg_regs (enum machine_mode mode, tree type)
686 {
687 int size;
688
689 if (targetm.calls.must_pass_in_stack (mode, type))
690 return 0;
691
692 if (type && mode == BLKmode)
693 size = int_size_in_bytes (type);
694 else
695 size = GET_MODE_SIZE (mode);
696
697 return (size + UNITS_PER_WORD - 1) / UNITS_PER_WORD;
698 }
699
700 /* Returns the number of bytes in which *part* of a parameter of machine
701 mode MODE and tree type TYPE (which may be NULL if the type is not known).
702 If the argument fits entirely in the argument registers, or entirely on
703 the stack, then 0 is returned.
704 CUM is the number of argument registers already used by earlier
705 parameters to the function. */
706
707 static int
708 fr30_arg_partial_bytes (CUMULATIVE_ARGS *cum, enum machine_mode mode,
709 tree type, bool named)
710 {
711 /* Unnamed arguments, i.e. those that are prototyped as ...
712 are always passed on the stack.
713 Also check here to see if all the argument registers are full. */
714 if (named == 0 || *cum >= FR30_NUM_ARG_REGS)
715 return 0;
716
717 /* Work out how many argument registers would be needed if this
718 parameter were to be passed entirely in registers. If there
719 are sufficient argument registers available (or if no registers
720 are needed because the parameter must be passed on the stack)
721 then return zero, as this parameter does not require partial
722 register, partial stack stack space. */
723 if (*cum + fr30_num_arg_regs (mode, type) <= FR30_NUM_ARG_REGS)
724 return 0;
725
726 return (FR30_NUM_ARG_REGS - *cum) * UNITS_PER_WORD;
727 }
728
729 /*}}}*/
730 /*{{{ Operand predicates */
731
732 #ifndef Mmode
733 #define Mmode enum machine_mode
734 #endif
735
736 /* Returns true iff all the registers in the operands array
737 are in descending or ascending order. */
738 int
739 fr30_check_multiple_regs (rtx *operands, int num_operands, int descending)
740 {
741 if (descending)
742 {
743 unsigned int prev_regno = 0;
744
745 while (num_operands --)
746 {
747 if (GET_CODE (operands [num_operands]) != REG)
748 return 0;
749
750 if (REGNO (operands [num_operands]) < prev_regno)
751 return 0;
752
753 prev_regno = REGNO (operands [num_operands]);
754 }
755 }
756 else
757 {
758 unsigned int prev_regno = CONDITION_CODE_REGNUM;
759
760 while (num_operands --)
761 {
762 if (GET_CODE (operands [num_operands]) != REG)
763 return 0;
764
765 if (REGNO (operands [num_operands]) > prev_regno)
766 return 0;
767
768 prev_regno = REGNO (operands [num_operands]);
769 }
770 }
771
772 return 1;
773 }
774
775 int
776 fr30_const_double_is_zero (rtx operand)
777 {
778 REAL_VALUE_TYPE d;
779
780 if (operand == NULL || GET_CODE (operand) != CONST_DOUBLE)
781 return 0;
782
783 REAL_VALUE_FROM_CONST_DOUBLE (d, operand);
784
785 return REAL_VALUES_EQUAL (d, dconst0);
786 }
787
788 /*}}}*/
789 /*{{{ Instruction Output Routines */
790
791 /* Output a double word move.
792 It must be REG<-REG, REG<-MEM, MEM<-REG or REG<-CONST.
793 On the FR30 we are constrained by the fact that it does not
794 support offsetable addresses, and so we have to load the
795 address of the secnd word into the second destination register
796 before we can use it. */
797
798 rtx
799 fr30_move_double (rtx * operands)
800 {
801 rtx src = operands[1];
802 rtx dest = operands[0];
803 enum rtx_code src_code = GET_CODE (src);
804 enum rtx_code dest_code = GET_CODE (dest);
805 enum machine_mode mode = GET_MODE (dest);
806 rtx val;
807
808 start_sequence ();
809
810 if (dest_code == REG)
811 {
812 if (src_code == REG)
813 {
814 int reverse = (REGNO (dest) == REGNO (src) + 1);
815
816 /* We normally copy the low-numbered register first. However, if
817 the first register of operand 0 is the same as the second register
818 of operand 1, we must copy in the opposite order. */
819 emit_insn (gen_rtx_SET (VOIDmode,
820 operand_subword (dest, reverse, TRUE, mode),
821 operand_subword (src, reverse, TRUE, mode)));
822
823 emit_insn (gen_rtx_SET (VOIDmode,
824 operand_subword (dest, !reverse, TRUE, mode),
825 operand_subword (src, !reverse, TRUE, mode)));
826 }
827 else if (src_code == MEM)
828 {
829 rtx addr = XEXP (src, 0);
830 int dregno = REGNO (dest);
831 rtx dest0 = operand_subword (dest, 0, TRUE, mode);;
832 rtx dest1 = operand_subword (dest, 1, TRUE, mode);;
833 rtx new_mem;
834
835 gcc_assert (GET_CODE (addr) == REG);
836
837 /* Copy the address before clobbering it. See PR 34174. */
838 emit_insn (gen_rtx_SET (SImode, dest1, addr));
839 emit_insn (gen_rtx_SET (VOIDmode, dest0,
840 adjust_address (src, SImode, 0)));
841 emit_insn (gen_rtx_SET (SImode, dest1,
842 plus_constant (dest1, UNITS_PER_WORD)));
843
844 new_mem = gen_rtx_MEM (SImode, dest1);
845 MEM_COPY_ATTRIBUTES (new_mem, src);
846
847 emit_insn (gen_rtx_SET (VOIDmode, dest1, new_mem));
848 }
849 else if (src_code == CONST_INT || src_code == CONST_DOUBLE)
850 {
851 rtx words[2];
852 split_double (src, &words[0], &words[1]);
853 emit_insn (gen_rtx_SET (VOIDmode,
854 operand_subword (dest, 0, TRUE, mode),
855 words[0]));
856
857 emit_insn (gen_rtx_SET (VOIDmode,
858 operand_subword (dest, 1, TRUE, mode),
859 words[1]));
860 }
861 }
862 else if (src_code == REG && dest_code == MEM)
863 {
864 rtx addr = XEXP (dest, 0);
865 rtx src0;
866 rtx src1;
867
868 gcc_assert (GET_CODE (addr) == REG);
869
870 src0 = operand_subword (src, 0, TRUE, mode);
871 src1 = operand_subword (src, 1, TRUE, mode);
872
873 emit_move_insn (adjust_address (dest, SImode, 0), src0);
874
875 if (REGNO (addr) == STACK_POINTER_REGNUM
876 || REGNO (addr) == FRAME_POINTER_REGNUM)
877 emit_insn (gen_rtx_SET (VOIDmode,
878 adjust_address (dest, SImode, UNITS_PER_WORD),
879 src1));
880 else
881 {
882 rtx new_mem;
883 rtx scratch_reg_r0 = gen_rtx_REG (SImode, 0);
884
885 /* We need a scratch register to hold the value of 'address + 4'.
886 We use r0 for this purpose. It is used for example for long
887 jumps and is already marked to not be used by normal register
888 allocation. */
889 emit_insn (gen_movsi_internal (scratch_reg_r0, addr));
890 emit_insn (gen_addsi_small_int (scratch_reg_r0, scratch_reg_r0,
891 GEN_INT (UNITS_PER_WORD)));
892 new_mem = gen_rtx_MEM (SImode, scratch_reg_r0);
893 MEM_COPY_ATTRIBUTES (new_mem, dest);
894 emit_move_insn (new_mem, src1);
895 emit_insn (gen_blockage ());
896 }
897 }
898 else
899 /* This should have been prevented by the constraints on movdi_insn. */
900 gcc_unreachable ();
901
902 val = get_insns ();
903 end_sequence ();
904
905 return val;
906 }
907
908 /*}}}*/
909 /* Local Variables: */
910 /* folded-file: t */
911 /* End: */