gcc/ada/
[official-gcc.git] / gcc / config / pdp11 / pdp11.c
blob5e66e786e047445d1ba65535afc1672ad0bc2427
1 /* Subroutines for gcc2 for pdp11.
2 Copyright (C) 1994-2014 Free Software Foundation, Inc.
3 Contributed by Michael K. Gschwind (mike@vlsivie.tuwien.ac.at).
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)
10 any later version.
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/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "tm.h"
25 #include "rtl.h"
26 #include "regs.h"
27 #include "hard-reg-set.h"
28 #include "insn-config.h"
29 #include "conditions.h"
30 #include "hashtab.h"
31 #include "hash-set.h"
32 #include "vec.h"
33 #include "machmode.h"
34 #include "input.h"
35 #include "function.h"
36 #include "output.h"
37 #include "insn-attr.h"
38 #include "flags.h"
39 #include "recog.h"
40 #include "tree.h"
41 #include "stor-layout.h"
42 #include "varasm.h"
43 #include "calls.h"
44 #include "expr.h"
45 #include "diagnostic-core.h"
46 #include "tm_p.h"
47 #include "target.h"
48 #include "target-def.h"
49 #include "dominance.h"
50 #include "cfg.h"
51 #include "cfgrtl.h"
52 #include "cfganal.h"
53 #include "lcm.h"
54 #include "cfgbuild.h"
55 #include "cfgcleanup.h"
56 #include "predict.h"
57 #include "basic-block.h"
58 #include "df.h"
59 #include "opts.h"
60 #include "dbxout.h"
61 #include "builtins.h"
63 /* this is the current value returned by the macro FIRST_PARM_OFFSET
64 defined in tm.h */
65 int current_first_parm_offset;
67 /* Routines to encode/decode pdp11 floats */
68 static void encode_pdp11_f (const struct real_format *fmt,
69 long *, const REAL_VALUE_TYPE *);
70 static void decode_pdp11_f (const struct real_format *,
71 REAL_VALUE_TYPE *, const long *);
72 static void encode_pdp11_d (const struct real_format *fmt,
73 long *, const REAL_VALUE_TYPE *);
74 static void decode_pdp11_d (const struct real_format *,
75 REAL_VALUE_TYPE *, const long *);
77 /* These two are taken from the corresponding vax descriptors
78 in real.c, changing only the encode/decode routine pointers. */
79 const struct real_format pdp11_f_format =
81 encode_pdp11_f,
82 decode_pdp11_f,
84 24,
85 24,
86 -127,
87 127,
88 15,
89 15,
90 false,
91 false,
92 false,
93 false,
94 false,
95 false,
96 false,
97 false
100 const struct real_format pdp11_d_format =
102 encode_pdp11_d,
103 decode_pdp11_d,
107 -127,
108 127,
111 false,
112 false,
113 false,
114 false,
115 false,
116 false,
117 false,
118 false
121 static void
122 encode_pdp11_f (const struct real_format *fmt ATTRIBUTE_UNUSED, long *buf,
123 const REAL_VALUE_TYPE *r)
125 (*vax_f_format.encode) (fmt, buf, r);
126 buf[0] = ((buf[0] >> 16) & 0xffff) | ((buf[0] & 0xffff) << 16);
129 static void
130 decode_pdp11_f (const struct real_format *fmt ATTRIBUTE_UNUSED,
131 REAL_VALUE_TYPE *r, const long *buf)
133 long tbuf;
134 tbuf = ((buf[0] >> 16) & 0xffff) | ((buf[0] & 0xffff) << 16);
135 (*vax_f_format.decode) (fmt, r, &tbuf);
138 static void
139 encode_pdp11_d (const struct real_format *fmt ATTRIBUTE_UNUSED, long *buf,
140 const REAL_VALUE_TYPE *r)
142 (*vax_d_format.encode) (fmt, buf, r);
143 buf[0] = ((buf[0] >> 16) & 0xffff) | ((buf[0] & 0xffff) << 16);
144 buf[1] = ((buf[1] >> 16) & 0xffff) | ((buf[1] & 0xffff) << 16);
147 static void
148 decode_pdp11_d (const struct real_format *fmt ATTRIBUTE_UNUSED,
149 REAL_VALUE_TYPE *r, const long *buf)
151 long tbuf[2];
152 tbuf[0] = ((buf[0] >> 16) & 0xffff) | ((buf[0] & 0xffff) << 16);
153 tbuf[1] = ((buf[1] >> 16) & 0xffff) | ((buf[1] & 0xffff) << 16);
154 (*vax_d_format.decode) (fmt, r, tbuf);
157 /* This is where the condition code register lives. */
158 /* rtx cc0_reg_rtx; - no longer needed? */
160 static const char *singlemove_string (rtx *);
161 static bool pdp11_assemble_integer (rtx, unsigned int, int);
162 static bool pdp11_rtx_costs (rtx, int, int, int, int *, bool);
163 static bool pdp11_return_in_memory (const_tree, const_tree);
164 static rtx pdp11_function_value (const_tree, const_tree, bool);
165 static rtx pdp11_libcall_value (machine_mode, const_rtx);
166 static bool pdp11_function_value_regno_p (const unsigned int);
167 static void pdp11_trampoline_init (rtx, tree, rtx);
168 static rtx pdp11_function_arg (cumulative_args_t, machine_mode,
169 const_tree, bool);
170 static void pdp11_function_arg_advance (cumulative_args_t,
171 machine_mode, const_tree, bool);
172 static void pdp11_conditional_register_usage (void);
173 static bool pdp11_legitimate_constant_p (machine_mode, rtx);
175 static bool pdp11_scalar_mode_supported_p (machine_mode);
177 /* Initialize the GCC target structure. */
178 #undef TARGET_ASM_BYTE_OP
179 #define TARGET_ASM_BYTE_OP NULL
180 #undef TARGET_ASM_ALIGNED_HI_OP
181 #define TARGET_ASM_ALIGNED_HI_OP NULL
182 #undef TARGET_ASM_ALIGNED_SI_OP
183 #define TARGET_ASM_ALIGNED_SI_OP NULL
184 #undef TARGET_ASM_INTEGER
185 #define TARGET_ASM_INTEGER pdp11_assemble_integer
187 #undef TARGET_ASM_OPEN_PAREN
188 #define TARGET_ASM_OPEN_PAREN "["
189 #undef TARGET_ASM_CLOSE_PAREN
190 #define TARGET_ASM_CLOSE_PAREN "]"
192 #undef TARGET_RTX_COSTS
193 #define TARGET_RTX_COSTS pdp11_rtx_costs
195 #undef TARGET_FUNCTION_ARG
196 #define TARGET_FUNCTION_ARG pdp11_function_arg
197 #undef TARGET_FUNCTION_ARG_ADVANCE
198 #define TARGET_FUNCTION_ARG_ADVANCE pdp11_function_arg_advance
200 #undef TARGET_RETURN_IN_MEMORY
201 #define TARGET_RETURN_IN_MEMORY pdp11_return_in_memory
203 #undef TARGET_FUNCTION_VALUE
204 #define TARGET_FUNCTION_VALUE pdp11_function_value
205 #undef TARGET_LIBCALL_VALUE
206 #define TARGET_LIBCALL_VALUE pdp11_libcall_value
207 #undef TARGET_FUNCTION_VALUE_REGNO_P
208 #define TARGET_FUNCTION_VALUE_REGNO_P pdp11_function_value_regno_p
210 #undef TARGET_TRAMPOLINE_INIT
211 #define TARGET_TRAMPOLINE_INIT pdp11_trampoline_init
213 #undef TARGET_SECONDARY_RELOAD
214 #define TARGET_SECONDARY_RELOAD pdp11_secondary_reload
216 #undef TARGET_REGISTER_MOVE_COST
217 #define TARGET_REGISTER_MOVE_COST pdp11_register_move_cost
219 #undef TARGET_PREFERRED_RELOAD_CLASS
220 #define TARGET_PREFERRED_RELOAD_CLASS pdp11_preferred_reload_class
222 #undef TARGET_PREFERRED_OUTPUT_RELOAD_CLASS
223 #define TARGET_PREFERRED_OUTPUT_RELOAD_CLASS pdp11_preferred_output_reload_class
225 #undef TARGET_LEGITIMATE_ADDRESS_P
226 #define TARGET_LEGITIMATE_ADDRESS_P pdp11_legitimate_address_p
228 #undef TARGET_CONDITIONAL_REGISTER_USAGE
229 #define TARGET_CONDITIONAL_REGISTER_USAGE pdp11_conditional_register_usage
231 #undef TARGET_ASM_FUNCTION_SECTION
232 #define TARGET_ASM_FUNCTION_SECTION pdp11_function_section
234 #undef TARGET_PRINT_OPERAND
235 #define TARGET_PRINT_OPERAND pdp11_asm_print_operand
237 #undef TARGET_PRINT_OPERAND_PUNCT_VALID_P
238 #define TARGET_PRINT_OPERAND_PUNCT_VALID_P pdp11_asm_print_operand_punct_valid_p
240 #undef TARGET_LEGITIMATE_CONSTANT_P
241 #define TARGET_LEGITIMATE_CONSTANT_P pdp11_legitimate_constant_p
243 #undef TARGET_SCALAR_MODE_SUPPORTED_P
244 #define TARGET_SCALAR_MODE_SUPPORTED_P pdp11_scalar_mode_supported_p
246 /* A helper function to determine if REGNO should be saved in the
247 current function's stack frame. */
249 static inline bool
250 pdp11_saved_regno (unsigned regno)
252 return !call_used_regs[regno] && df_regs_ever_live_p (regno);
255 /* Expand the function prologue. */
257 void
258 pdp11_expand_prologue (void)
260 HOST_WIDE_INT fsize = get_frame_size ();
261 unsigned regno;
262 rtx x, via_ac = NULL;
264 /* If we are outputting code for main, the switch FPU to the
265 right mode if TARGET_FPU. */
266 if (MAIN_NAME_P (DECL_NAME (current_function_decl)) && TARGET_FPU)
268 emit_insn (gen_setd ());
269 emit_insn (gen_seti ());
272 if (frame_pointer_needed)
274 x = gen_rtx_PRE_DEC (Pmode, stack_pointer_rtx);
275 x = gen_frame_mem (Pmode, x);
276 emit_move_insn (x, hard_frame_pointer_rtx);
278 emit_move_insn (hard_frame_pointer_rtx, stack_pointer_rtx);
281 /* Make frame. */
282 if (fsize)
284 emit_insn (gen_addhi3 (stack_pointer_rtx, stack_pointer_rtx,
285 GEN_INT (-fsize)));
287 /* Prevent frame references via the frame pointer from being
288 scheduled before the frame is allocated. */
289 if (frame_pointer_needed)
290 emit_insn (gen_blockage ());
293 /* Save CPU registers. */
294 for (regno = R0_REGNUM; regno <= PC_REGNUM; regno++)
295 if (pdp11_saved_regno (regno)
296 && (regno != HARD_FRAME_POINTER_REGNUM || !frame_pointer_needed))
298 x = gen_rtx_PRE_DEC (Pmode, stack_pointer_rtx);
299 x = gen_frame_mem (Pmode, x);
300 emit_move_insn (x, gen_rtx_REG (Pmode, regno));
303 /* Save FPU registers. */
304 for (regno = AC0_REGNUM; regno <= AC3_REGNUM; regno++)
305 if (pdp11_saved_regno (regno))
307 x = gen_rtx_PRE_DEC (Pmode, stack_pointer_rtx);
308 x = gen_frame_mem (DFmode, x);
309 via_ac = gen_rtx_REG (DFmode, regno);
310 emit_move_insn (x, via_ac);
313 /* ??? Maybe make ac4, ac5 call used regs?? */
314 for (regno = AC4_REGNUM; regno <= AC5_REGNUM; regno++)
315 if (pdp11_saved_regno (regno))
317 gcc_assert (via_ac != NULL);
318 emit_move_insn (via_ac, gen_rtx_REG (DFmode, regno));
320 x = gen_rtx_PRE_DEC (Pmode, stack_pointer_rtx);
321 x = gen_frame_mem (DFmode, x);
322 emit_move_insn (x, via_ac);
326 /* The function epilogue should not depend on the current stack pointer!
327 It should use the frame pointer only. This is mandatory because
328 of alloca; we also take advantage of it to omit stack adjustments
329 before returning. */
331 /* Maybe we can make leaf functions faster by switching to the
332 second register file - this way we don't have to save regs!
333 leaf functions are ~ 50% of all functions (dynamically!)
335 set/clear bit 11 (dec. 2048) of status word for switching register files -
336 but how can we do this? the pdp11/45 manual says bit may only
337 be set (p.24), but not cleared!
339 switching to kernel is probably more expensive, so we'll leave it
340 like this and not use the second set of registers...
342 maybe as option if you want to generate code for kernel mode? */
344 void
345 pdp11_expand_epilogue (void)
347 HOST_WIDE_INT fsize = get_frame_size ();
348 unsigned regno;
349 rtx x, reg, via_ac = NULL;
351 if (pdp11_saved_regno (AC4_REGNUM) || pdp11_saved_regno (AC5_REGNUM))
353 /* Find a temporary with which to restore AC4/5. */
354 for (regno = AC0_REGNUM; regno <= AC3_REGNUM; regno++)
355 if (pdp11_saved_regno (regno))
357 via_ac = gen_rtx_REG (DFmode, regno);
358 break;
362 /* If possible, restore registers via pops. */
363 if (!frame_pointer_needed || crtl->sp_is_unchanging)
365 /* Restore registers via pops. */
367 for (regno = AC5_REGNUM; regno >= AC0_REGNUM; regno--)
368 if (pdp11_saved_regno (regno))
370 x = gen_rtx_POST_INC (Pmode, stack_pointer_rtx);
371 x = gen_frame_mem (DFmode, x);
372 reg = gen_rtx_REG (DFmode, regno);
374 if (LOAD_FPU_REG_P (regno))
375 emit_move_insn (reg, x);
376 else
378 emit_move_insn (via_ac, x);
379 emit_move_insn (reg, via_ac);
383 for (regno = PC_REGNUM; regno >= R0_REGNUM + 2; regno--)
384 if (pdp11_saved_regno (regno)
385 && (regno != HARD_FRAME_POINTER_REGNUM || !frame_pointer_needed))
387 x = gen_rtx_POST_INC (Pmode, stack_pointer_rtx);
388 x = gen_frame_mem (Pmode, x);
389 emit_move_insn (gen_rtx_REG (Pmode, regno), x);
392 else
394 /* Restore registers via moves. */
395 /* ??? If more than a few registers need to be restored, it's smaller
396 to generate a pointer through which we can emit pops. Consider
397 that moves cost 2*NREG words and pops cost NREG+3 words. This
398 means that the crossover is NREG=3.
400 Possible registers to use are:
401 (1) The first call-saved general register. This register will
402 be restored with the last pop.
403 (2) R1, if it's not used as a return register.
404 (3) FP itself. This option may result in +4 words, since we
405 may need two add imm,rn instructions instead of just one.
406 This also has the downside that we're not representing
407 the unwind info in any way, so during the epilogue the
408 debugger may get lost. */
410 HOST_WIDE_INT ofs = -pdp11_sp_frame_offset ();
412 for (regno = AC5_REGNUM; regno >= AC0_REGNUM; regno--)
413 if (pdp11_saved_regno (regno))
415 x = plus_constant (Pmode, hard_frame_pointer_rtx, ofs);
416 x = gen_frame_mem (DFmode, x);
417 reg = gen_rtx_REG (DFmode, regno);
419 if (LOAD_FPU_REG_P (regno))
420 emit_move_insn (reg, x);
421 else
423 emit_move_insn (via_ac, x);
424 emit_move_insn (reg, via_ac);
426 ofs += 8;
429 for (regno = PC_REGNUM; regno >= R0_REGNUM + 2; regno--)
430 if (pdp11_saved_regno (regno)
431 && (regno != HARD_FRAME_POINTER_REGNUM || !frame_pointer_needed))
433 x = plus_constant (Pmode, hard_frame_pointer_rtx, ofs);
434 x = gen_frame_mem (Pmode, x);
435 emit_move_insn (gen_rtx_REG (Pmode, regno), x);
436 ofs += 2;
440 /* Deallocate the stack frame. */
441 if (fsize)
443 /* Prevent frame references via any pointer from being
444 scheduled after the frame is deallocated. */
445 emit_insn (gen_blockage ());
447 if (frame_pointer_needed)
449 /* We can deallocate the frame with a single move. */
450 emit_move_insn (stack_pointer_rtx, hard_frame_pointer_rtx);
452 else
453 emit_insn (gen_addhi3 (stack_pointer_rtx, stack_pointer_rtx,
454 GEN_INT (fsize)));
457 if (frame_pointer_needed)
459 x = gen_rtx_POST_INC (Pmode, stack_pointer_rtx);
460 x = gen_frame_mem (Pmode, x);
461 emit_move_insn (hard_frame_pointer_rtx, x);
464 emit_jump_insn (gen_return ());
467 /* Return the best assembler insn template
468 for moving operands[1] into operands[0] as a fullword. */
469 static const char *
470 singlemove_string (rtx *operands)
472 if (operands[1] != const0_rtx)
473 return "mov %1,%0";
475 return "clr %0";
479 /* Expand multi-word operands (SImode or DImode) into the 2 or 4
480 corresponding HImode operands. The number of operands is given
481 as the third argument, and the required order of the parts as
482 the fourth argument. */
483 bool
484 pdp11_expand_operands (rtx *operands, rtx exops[][2], int opcount,
485 pdp11_action *action, pdp11_partorder order)
487 int words, op, w, i, sh;
488 pdp11_partorder useorder;
489 bool sameoff = false;
490 enum { REGOP, OFFSOP, MEMOP, PUSHOP, POPOP, CNSTOP, RNDOP } optype;
491 REAL_VALUE_TYPE r;
492 long sval[2];
494 words = GET_MODE_BITSIZE (GET_MODE (operands[0])) / 16;
496 /* If either piece order is accepted and one is pre-decrement
497 while the other is post-increment, set order to be high order
498 word first. That will force the pre-decrement to be turned
499 into a pointer adjust, then offset addressing.
500 Otherwise, if either operand uses pre-decrement, that means
501 the order is low order first.
502 Otherwise, if both operands are registers and destination is
503 higher than source and they overlap, do low order word (highest
504 register number) first. */
505 useorder = either;
506 if (opcount == 2)
508 if (!REG_P (operands[0]) && !REG_P (operands[1]) &&
509 !(CONSTANT_P (operands[1]) ||
510 GET_CODE (operands[1]) == CONST_DOUBLE) &&
511 ((GET_CODE (XEXP (operands[0], 0)) == POST_INC &&
512 GET_CODE (XEXP (operands[1], 0)) == PRE_DEC) ||
513 (GET_CODE (XEXP (operands[0], 0)) == PRE_DEC &&
514 GET_CODE (XEXP (operands[1], 0)) == POST_INC)))
515 useorder = big;
516 else if ((!REG_P (operands[0]) &&
517 GET_CODE (XEXP (operands[0], 0)) == PRE_DEC) ||
518 (!REG_P (operands[1]) &&
519 !(CONSTANT_P (operands[1]) ||
520 GET_CODE (operands[1]) == CONST_DOUBLE) &&
521 GET_CODE (XEXP (operands[1], 0)) == PRE_DEC))
522 useorder = little;
523 else if (REG_P (operands[0]) && REG_P (operands[1]) &&
524 REGNO (operands[0]) > REGNO (operands[1]) &&
525 REGNO (operands[0]) < REGNO (operands[1]) + words)
526 useorder = little;
528 /* Check for source == offset from register and dest == push of
529 the same register. In that case, we have to use the same
530 offset (the one for the low order word) for all words, because
531 the push increases the offset to each source word.
532 In theory there are other cases like this, for example dest == pop,
533 but those don't occur in real life so ignore those. */
534 if (GET_CODE (operands[0]) == MEM
535 && GET_CODE (XEXP (operands[0], 0)) == PRE_DEC
536 && REGNO (XEXP (XEXP (operands[0], 0), 0)) == STACK_POINTER_REGNUM
537 && reg_overlap_mentioned_p (stack_pointer_rtx, operands[1]))
538 sameoff = true;
541 /* If the caller didn't specify order, use the one we computed,
542 or high word first if we don't care either. If the caller did
543 specify, verify we don't have a problem with that order.
544 (If it matters to the caller, constraints need to be used to
545 ensure this case doesn't occur). */
546 if (order == either)
547 order = (useorder == either) ? big : useorder;
548 else
549 gcc_assert (useorder == either || useorder == order);
552 for (op = 0; op < opcount; op++)
554 /* First classify the operand. */
555 if (REG_P (operands[op]))
556 optype = REGOP;
557 else if (CONSTANT_P (operands[op])
558 || GET_CODE (operands[op]) == CONST_DOUBLE)
559 optype = CNSTOP;
560 else if (GET_CODE (XEXP (operands[op], 0)) == POST_INC)
561 optype = POPOP;
562 else if (GET_CODE (XEXP (operands[op], 0)) == PRE_DEC)
563 optype = PUSHOP;
564 else if (!reload_in_progress || offsettable_memref_p (operands[op]))
565 optype = OFFSOP;
566 else if (GET_CODE (operands[op]) == MEM)
567 optype = MEMOP;
568 else
569 optype = RNDOP;
571 /* Check for the cases that the operand constraints are not
572 supposed to allow to happen. Return failure for such cases. */
573 if (optype == RNDOP)
574 return false;
576 if (action != NULL)
577 action[op] = no_action;
579 /* If the operand uses pre-decrement addressing but we
580 want to get the parts high order first,
581 decrement the former register explicitly
582 and change the operand into ordinary indexing. */
583 if (optype == PUSHOP && order == big)
585 gcc_assert (action != NULL);
586 action[op] = dec_before;
587 operands[op] = gen_rtx_MEM (GET_MODE (operands[op]),
588 XEXP (XEXP (operands[op], 0), 0));
589 optype = OFFSOP;
591 /* If the operand uses post-increment mode but we want
592 to get the parts low order first, change the operand
593 into ordinary indexing and remember to increment
594 the register explicitly when we're done. */
595 else if (optype == POPOP && order == little)
597 gcc_assert (action != NULL);
598 action[op] = inc_after;
599 operands[op] = gen_rtx_MEM (GET_MODE (operands[op]),
600 XEXP (XEXP (operands[op], 0), 0));
601 optype = OFFSOP;
604 if (GET_CODE (operands[op]) == CONST_DOUBLE)
606 REAL_VALUE_FROM_CONST_DOUBLE (r, operands[op]);
607 REAL_VALUE_TO_TARGET_DOUBLE (r, sval);
610 for (i = 0; i < words; i++)
612 if (order == big)
613 w = i;
614 else if (sameoff)
615 w = words - 1;
616 else
617 w = words - 1 - i;
619 /* Set the output operand to be word "w" of the input. */
620 if (optype == REGOP)
621 exops[i][op] = gen_rtx_REG (HImode, REGNO (operands[op]) + w);
622 else if (optype == OFFSOP)
623 exops[i][op] = adjust_address (operands[op], HImode, w * 2);
624 else if (optype == CNSTOP)
626 if (GET_CODE (operands[op]) == CONST_DOUBLE)
628 sh = 16 - (w & 1) * 16;
629 exops[i][op] = gen_rtx_CONST_INT (HImode, (sval[w / 2] >> sh) & 0xffff);
631 else
633 sh = ((words - 1 - w) * 16);
634 exops[i][op] = gen_rtx_CONST_INT (HImode, trunc_int_for_mode (INTVAL(operands[op]) >> sh, HImode));
637 else
638 exops[i][op] = operands[op];
641 return true;
644 /* Output assembler code to perform a multiple-word move insn
645 with operands OPERANDS. This moves 2 or 4 words depending
646 on the machine mode of the operands. */
648 const char *
649 output_move_multiple (rtx *operands)
651 rtx exops[4][2];
652 pdp11_action action[2];
653 int i, words;
655 words = GET_MODE_BITSIZE (GET_MODE (operands[0])) / 16;
657 pdp11_expand_operands (operands, exops, 2, action, either);
659 /* Check for explicit decrement before. */
660 if (action[0] == dec_before)
662 operands[0] = XEXP (operands[0], 0);
663 output_asm_insn ("sub $4,%0", operands);
665 if (action[1] == dec_before)
667 operands[1] = XEXP (operands[1], 0);
668 output_asm_insn ("sub $4,%1", operands);
671 /* Do the words. */
672 for (i = 0; i < words; i++)
673 output_asm_insn (singlemove_string (exops[i]), exops[i]);
675 /* Check for increment after. */
676 if (action[0] == inc_after)
678 operands[0] = XEXP (operands[0], 0);
679 output_asm_insn ("add $4,%0", operands);
681 if (action[1] == inc_after)
683 operands[1] = XEXP (operands[1], 0);
684 output_asm_insn ("add $4,%1", operands);
687 return "";
690 /* Output an ascii string. */
691 void
692 output_ascii (FILE *file, const char *p, int size)
694 int i;
696 /* This used to output .byte "string", which doesn't work with the UNIX
697 assembler and I think not with DEC ones either. */
698 fprintf (file, "\t.byte ");
700 for (i = 0; i < size; i++)
702 register int c = p[i];
703 if (c < 0)
704 c += 256;
705 fprintf (file, "%#o", c);
706 if (i < size - 1)
707 putc (',', file);
709 putc ('\n', file);
713 void
714 pdp11_asm_output_var (FILE *file, const char *name, int size,
715 int align, bool global)
717 if (align > 8)
718 fprintf (file, "\n\t.even\n");
719 if (global)
721 fprintf (file, ".globl ");
722 assemble_name (file, name);
724 fprintf (file, "\n");
725 assemble_name (file, name);
726 fprintf (file, ": .=.+ %#ho\n", (unsigned short)size);
729 static void
730 pdp11_asm_print_operand (FILE *file, rtx x, int code)
732 REAL_VALUE_TYPE r;
733 long sval[2];
735 if (code == '#')
736 fprintf (file, "#");
737 else if (code == '@')
739 if (TARGET_UNIX_ASM)
740 fprintf (file, "*");
741 else
742 fprintf (file, "@");
744 else if (GET_CODE (x) == REG)
745 fprintf (file, "%s", reg_names[REGNO (x)]);
746 else if (GET_CODE (x) == MEM)
747 output_address (XEXP (x, 0));
748 else if (GET_CODE (x) == CONST_DOUBLE && GET_MODE (x) != SImode)
750 REAL_VALUE_FROM_CONST_DOUBLE (r, x);
751 REAL_VALUE_TO_TARGET_DOUBLE (r, sval);
752 fprintf (file, "$%#lo", sval[0] >> 16);
754 else
756 putc ('$', file);
757 output_addr_const_pdp11 (file, x);
761 static bool
762 pdp11_asm_print_operand_punct_valid_p (unsigned char c)
764 return (c == '#' || c == '@');
767 void
768 print_operand_address (FILE *file, register rtx addr)
770 register rtx breg;
771 rtx offset;
772 int again = 0;
774 retry:
776 switch (GET_CODE (addr))
778 case MEM:
779 if (TARGET_UNIX_ASM)
780 fprintf (file, "*");
781 else
782 fprintf (file, "@");
783 addr = XEXP (addr, 0);
784 again = 1;
785 goto retry;
787 case REG:
788 fprintf (file, "(%s)", reg_names[REGNO (addr)]);
789 break;
791 case PRE_MODIFY:
792 case PRE_DEC:
793 fprintf (file, "-(%s)", reg_names[REGNO (XEXP (addr, 0))]);
794 break;
796 case POST_MODIFY:
797 case POST_INC:
798 fprintf (file, "(%s)+", reg_names[REGNO (XEXP (addr, 0))]);
799 break;
801 case PLUS:
802 breg = 0;
803 offset = 0;
804 if (CONSTANT_ADDRESS_P (XEXP (addr, 0))
805 || GET_CODE (XEXP (addr, 0)) == MEM)
807 offset = XEXP (addr, 0);
808 addr = XEXP (addr, 1);
810 else if (CONSTANT_ADDRESS_P (XEXP (addr, 1))
811 || GET_CODE (XEXP (addr, 1)) == MEM)
813 offset = XEXP (addr, 1);
814 addr = XEXP (addr, 0);
816 if (GET_CODE (addr) != PLUS)
818 else if (GET_CODE (XEXP (addr, 0)) == REG)
820 breg = XEXP (addr, 0);
821 addr = XEXP (addr, 1);
823 else if (GET_CODE (XEXP (addr, 1)) == REG)
825 breg = XEXP (addr, 1);
826 addr = XEXP (addr, 0);
828 if (GET_CODE (addr) == REG)
830 gcc_assert (breg == 0);
831 breg = addr;
832 addr = 0;
834 if (offset != 0)
836 gcc_assert (addr == 0);
837 addr = offset;
839 if (addr != 0)
840 output_addr_const_pdp11 (file, addr);
841 if (breg != 0)
843 gcc_assert (GET_CODE (breg) == REG);
844 fprintf (file, "(%s)", reg_names[REGNO (breg)]);
846 break;
848 default:
849 if (!again && GET_CODE (addr) == CONST_INT)
851 /* Absolute (integer number) address. */
852 if (!TARGET_UNIX_ASM)
853 fprintf (file, "@$");
855 output_addr_const_pdp11 (file, addr);
859 /* Target hook to assemble integer objects. We need to use the
860 pdp-specific version of output_addr_const. */
862 static bool
863 pdp11_assemble_integer (rtx x, unsigned int size, int aligned_p)
865 if (aligned_p)
866 switch (size)
868 case 1:
869 fprintf (asm_out_file, "\t.byte\t");
870 output_addr_const_pdp11 (asm_out_file, GEN_INT (INTVAL (x) & 0xff));
872 fprintf (asm_out_file, " /* char */\n");
873 return true;
875 case 2:
876 fprintf (asm_out_file, TARGET_UNIX_ASM ? "\t" : "\t.word\t");
877 output_addr_const_pdp11 (asm_out_file, x);
878 fprintf (asm_out_file, " /* short */\n");
879 return true;
881 return default_assemble_integer (x, size, aligned_p);
885 /* register move costs, indexed by regs */
887 static const int move_costs[N_REG_CLASSES][N_REG_CLASSES] =
889 /* NO MUL GEN LFPU NLFPU FPU ALL */
891 /* NO */ { 0, 0, 0, 0, 0, 0, 0},
892 /* MUL */ { 0, 2, 2, 22, 22, 22, 22},
893 /* GEN */ { 0, 2, 2, 22, 22, 22, 22},
894 /* LFPU */ { 0, 22, 22, 2, 2, 2, 22},
895 /* NLFPU */ { 0, 22, 22, 2, 10, 10, 22},
896 /* FPU */ { 0, 22, 22, 2, 10, 10, 22},
897 /* ALL */ { 0, 22, 22, 22, 22, 22, 22}
901 /* -- note that some moves are tremendously expensive,
902 because they require lots of tricks! do we have to
903 charge the costs incurred by secondary reload class
904 -- as we do here with 10 -- or not ? */
906 static int
907 pdp11_register_move_cost (machine_mode mode ATTRIBUTE_UNUSED,
908 reg_class_t c1, reg_class_t c2)
910 return move_costs[(int)c1][(int)c2];
913 static bool
914 pdp11_rtx_costs (rtx x, int code, int outer_code ATTRIBUTE_UNUSED,
915 int opno ATTRIBUTE_UNUSED, int *total,
916 bool speed ATTRIBUTE_UNUSED)
918 switch (code)
920 case CONST_INT:
921 if (INTVAL (x) == 0 || INTVAL (x) == -1 || INTVAL (x) == 1)
923 *total = 0;
924 return true;
926 /* FALLTHRU */
928 case CONST:
929 case LABEL_REF:
930 case SYMBOL_REF:
931 /* Twice as expensive as REG. */
932 *total = 2;
933 return true;
935 case CONST_DOUBLE:
936 /* Twice (or 4 times) as expensive as 16 bit. */
937 *total = 4;
938 return true;
940 case MULT:
941 /* ??? There is something wrong in MULT because MULT is not
942 as cheap as total = 2 even if we can shift! */
943 /* If optimizing for size make mult etc cheap, but not 1, so when
944 in doubt the faster insn is chosen. */
945 if (optimize_size)
946 *total = COSTS_N_INSNS (2);
947 else
948 *total = COSTS_N_INSNS (11);
949 return false;
951 case DIV:
952 if (optimize_size)
953 *total = COSTS_N_INSNS (2);
954 else
955 *total = COSTS_N_INSNS (25);
956 return false;
958 case MOD:
959 if (optimize_size)
960 *total = COSTS_N_INSNS (2);
961 else
962 *total = COSTS_N_INSNS (26);
963 return false;
965 case ABS:
966 /* Equivalent to length, so same for optimize_size. */
967 *total = COSTS_N_INSNS (3);
968 return false;
970 case ZERO_EXTEND:
971 /* Only used for qi->hi. */
972 *total = COSTS_N_INSNS (1);
973 return false;
975 case SIGN_EXTEND:
976 if (GET_MODE (x) == HImode)
977 *total = COSTS_N_INSNS (1);
978 else if (GET_MODE (x) == SImode)
979 *total = COSTS_N_INSNS (6);
980 else
981 *total = COSTS_N_INSNS (2);
982 return false;
984 case ASHIFT:
985 case LSHIFTRT:
986 case ASHIFTRT:
987 if (optimize_size)
988 *total = COSTS_N_INSNS (1);
989 else if (GET_MODE (x) == QImode)
991 if (GET_CODE (XEXP (x, 1)) != CONST_INT)
992 *total = COSTS_N_INSNS (8); /* worst case */
993 else
994 *total = COSTS_N_INSNS (INTVAL (XEXP (x, 1)));
996 else if (GET_MODE (x) == HImode)
998 if (GET_CODE (XEXP (x, 1)) == CONST_INT)
1000 if (abs (INTVAL (XEXP (x, 1))) == 1)
1001 *total = COSTS_N_INSNS (1);
1002 else
1003 *total = COSTS_N_INSNS (2.5 + 0.5 * INTVAL (XEXP (x, 1)));
1005 else
1006 *total = COSTS_N_INSNS (10); /* worst case */
1008 else if (GET_MODE (x) == SImode)
1010 if (GET_CODE (XEXP (x, 1)) == CONST_INT)
1011 *total = COSTS_N_INSNS (2.5 + 0.5 * INTVAL (XEXP (x, 1)));
1012 else /* worst case */
1013 *total = COSTS_N_INSNS (18);
1015 return false;
1017 default:
1018 return false;
1022 const char *
1023 output_jump (enum rtx_code code, int inv, int length)
1025 static int x = 0;
1027 static char buf[1000];
1028 const char *pos, *neg;
1030 if (cc_prev_status.flags & CC_NO_OVERFLOW)
1032 switch (code)
1034 case GTU: code = GT; break;
1035 case LTU: code = LT; break;
1036 case GEU: code = GE; break;
1037 case LEU: code = LE; break;
1038 default: ;
1041 switch (code)
1043 case EQ: pos = "beq", neg = "bne"; break;
1044 case NE: pos = "bne", neg = "beq"; break;
1045 case GT: pos = "bgt", neg = "ble"; break;
1046 case GTU: pos = "bhi", neg = "blos"; break;
1047 case LT: pos = "blt", neg = "bge"; break;
1048 case LTU: pos = "blo", neg = "bhis"; break;
1049 case GE: pos = "bge", neg = "blt"; break;
1050 case GEU: pos = "bhis", neg = "blo"; break;
1051 case LE: pos = "ble", neg = "bgt"; break;
1052 case LEU: pos = "blos", neg = "bhi"; break;
1053 default: gcc_unreachable ();
1056 #if 0
1057 /* currently we don't need this, because the tstdf and cmpdf
1058 copy the condition code immediately, and other float operations are not
1059 yet recognized as changing the FCC - if so, then the length-cost of all
1060 jump insns increases by one, because we have to potentially copy the
1061 FCC! */
1062 if (cc_status.flags & CC_IN_FPU)
1063 output_asm_insn("cfcc", NULL);
1064 #endif
1066 switch (length)
1068 case 2:
1070 sprintf(buf, "%s %%l1", inv ? neg : pos);
1072 return buf;
1074 case 6:
1076 sprintf(buf, "%s JMP_%d\n\tjmp %%l1\nJMP_%d:", inv ? pos : neg, x, x);
1078 x++;
1080 return buf;
1082 default:
1084 gcc_unreachable ();
1089 void
1090 notice_update_cc_on_set(rtx exp, rtx insn ATTRIBUTE_UNUSED)
1092 if (GET_CODE (SET_DEST (exp)) == CC0)
1094 cc_status.flags = 0;
1095 cc_status.value1 = SET_DEST (exp);
1096 cc_status.value2 = SET_SRC (exp);
1098 else if (GET_CODE (SET_SRC (exp)) == CALL)
1100 CC_STATUS_INIT;
1102 else if (SET_DEST(exp) == pc_rtx)
1104 /* jump */
1106 else if (GET_MODE (SET_DEST(exp)) == HImode
1107 || GET_MODE (SET_DEST(exp)) == QImode)
1109 cc_status.flags = GET_CODE (SET_SRC(exp)) == MINUS ? 0 : CC_NO_OVERFLOW;
1110 cc_status.value1 = SET_SRC (exp);
1111 cc_status.value2 = SET_DEST (exp);
1113 if (cc_status.value1 && GET_CODE (cc_status.value1) == REG
1114 && cc_status.value2
1115 && reg_overlap_mentioned_p (cc_status.value1, cc_status.value2))
1116 cc_status.value2 = 0;
1117 if (cc_status.value1 && GET_CODE (cc_status.value1) == MEM
1118 && cc_status.value2
1119 && GET_CODE (cc_status.value2) == MEM)
1120 cc_status.value2 = 0;
1122 else
1124 CC_STATUS_INIT;
1130 simple_memory_operand(rtx op, machine_mode mode ATTRIBUTE_UNUSED)
1132 rtx addr;
1134 /* Eliminate non-memory operations */
1135 if (GET_CODE (op) != MEM)
1136 return FALSE;
1138 #if 0
1139 /* dword operations really put out 2 instructions, so eliminate them. */
1140 if (GET_MODE_SIZE (GET_MODE (op)) > (HAVE_64BIT_P () ? 8 : 4))
1141 return FALSE;
1142 #endif
1144 /* Decode the address now. */
1146 indirection:
1148 addr = XEXP (op, 0);
1150 switch (GET_CODE (addr))
1152 case REG:
1153 /* (R0) - no extra cost */
1154 return 1;
1156 case PRE_DEC:
1157 case POST_INC:
1158 /* -(R0), (R0)+ - cheap! */
1159 return 0;
1161 case MEM:
1162 /* cheap - is encoded in addressing mode info!
1164 -- except for @(R0), which has to be @0(R0) !!! */
1166 if (GET_CODE (XEXP (addr, 0)) == REG)
1167 return 0;
1169 op=addr;
1170 goto indirection;
1172 case CONST_INT:
1173 case LABEL_REF:
1174 case CONST:
1175 case SYMBOL_REF:
1176 /* @#address - extra cost */
1177 return 0;
1179 case PLUS:
1180 /* X(R0) - extra cost */
1181 return 0;
1183 default:
1184 break;
1187 return FALSE;
1192 * output a block move:
1194 * operands[0] ... to
1195 * operands[1] ... from
1196 * operands[2] ... length
1197 * operands[3] ... alignment
1198 * operands[4] ... scratch register
1202 const char *
1203 output_block_move(rtx *operands)
1205 static int count = 0;
1206 char buf[200];
1207 int unroll;
1208 int lastbyte = 0;
1210 /* Move of zero bytes is a NOP. */
1211 if (operands[2] == const0_rtx)
1212 return "";
1214 /* Look for moves by small constant byte counts, those we'll
1215 expand to straight line code. */
1216 if (CONSTANT_P (operands[2]))
1218 if (INTVAL (operands[2]) < 16
1219 && (!optimize_size || INTVAL (operands[2]) < 5)
1220 && INTVAL (operands[3]) == 1)
1222 register int i;
1224 for (i = 1; i <= INTVAL (operands[2]); i++)
1225 output_asm_insn("movb (%1)+, (%0)+", operands);
1227 return "";
1229 else if (INTVAL(operands[2]) < 32
1230 && (!optimize_size || INTVAL (operands[2]) < 9)
1231 && INTVAL (operands[3]) >= 2)
1233 register int i;
1235 for (i = 1; i <= INTVAL (operands[2]) / 2; i++)
1236 output_asm_insn ("mov (%1)+, (%0)+", operands);
1237 if (INTVAL (operands[2]) & 1)
1238 output_asm_insn ("movb (%1), (%0)", operands);
1240 return "";
1244 /* Ideally we'd look for moves that are multiples of 4 or 8
1245 bytes and handle those by unrolling the move loop. That
1246 makes for a lot of code if done at run time, but it's ok
1247 for constant counts. Also, for variable counts we have
1248 to worry about odd byte count with even aligned pointers.
1249 On 11/40 and up we handle that case; on older machines
1250 we don't and just use byte-wise moves all the time. */
1252 if (CONSTANT_P (operands[2]) )
1254 if (INTVAL (operands[3]) < 2)
1255 unroll = 0;
1256 else
1258 lastbyte = INTVAL (operands[2]) & 1;
1260 if (optimize_size || INTVAL (operands[2]) & 2)
1261 unroll = 1;
1262 else if (INTVAL (operands[2]) & 4)
1263 unroll = 2;
1264 else
1265 unroll = 3;
1268 /* Loop count is byte count scaled by unroll. */
1269 operands[2] = GEN_INT (INTVAL (operands[2]) >> unroll);
1270 output_asm_insn ("mov %2, %4", operands);
1272 else
1274 /* Variable byte count; use the input register
1275 as the scratch. */
1276 operands[4] = operands[2];
1278 /* Decide whether to move by words, and check
1279 the byte count for zero. */
1280 if (TARGET_40_PLUS && INTVAL (operands[3]) > 1)
1282 unroll = 1;
1283 output_asm_insn ("asr %4", operands);
1285 else
1287 unroll = 0;
1288 output_asm_insn ("tst %4", operands);
1290 sprintf (buf, "beq movestrhi%d", count + 1);
1291 output_asm_insn (buf, NULL);
1294 /* Output the loop label. */
1295 sprintf (buf, "\nmovestrhi%d:", count);
1296 output_asm_insn (buf, NULL);
1298 /* Output the appropriate move instructions. */
1299 switch (unroll)
1301 case 0:
1302 output_asm_insn ("movb (%1)+, (%0)+", operands);
1303 break;
1305 case 1:
1306 output_asm_insn ("mov (%1)+, (%0)+", operands);
1307 break;
1309 case 2:
1310 output_asm_insn ("mov (%1)+, (%0)+", operands);
1311 output_asm_insn ("mov (%1)+, (%0)+", operands);
1312 break;
1314 default:
1315 output_asm_insn ("mov (%1)+, (%0)+", operands);
1316 output_asm_insn ("mov (%1)+, (%0)+", operands);
1317 output_asm_insn ("mov (%1)+, (%0)+", operands);
1318 output_asm_insn ("mov (%1)+, (%0)+", operands);
1319 break;
1322 /* Output the decrement and test. */
1323 if (TARGET_40_PLUS)
1325 sprintf (buf, "sob %%4, movestrhi%d", count);
1326 output_asm_insn (buf, operands);
1328 else
1330 output_asm_insn ("dec %4", operands);
1331 sprintf (buf, "bgt movestrhi%d", count);
1332 output_asm_insn (buf, NULL);
1334 count ++;
1336 /* If constant odd byte count, move the last byte. */
1337 if (lastbyte)
1338 output_asm_insn ("movb (%1), (%0)", operands);
1339 else if (!CONSTANT_P (operands[2]))
1341 /* Output the destination label for the zero byte count check. */
1342 sprintf (buf, "\nmovestrhi%d:", count);
1343 output_asm_insn (buf, NULL);
1344 count++;
1346 /* If we did word moves, check for trailing last byte. */
1347 if (unroll)
1349 sprintf (buf, "bcc movestrhi%d", count);
1350 output_asm_insn (buf, NULL);
1351 output_asm_insn ("movb (%1), (%0)", operands);
1352 sprintf (buf, "\nmovestrhi%d:", count);
1353 output_asm_insn (buf, NULL);
1354 count++;
1358 return "";
1361 /* This function checks whether a real value can be encoded as
1362 a literal, i.e., addressing mode 27. In that mode, real values
1363 are one word values, so the remaining 48 bits have to be zero. */
1365 legitimate_const_double_p (rtx address)
1367 REAL_VALUE_TYPE r;
1368 long sval[2];
1369 REAL_VALUE_FROM_CONST_DOUBLE (r, address);
1370 REAL_VALUE_TO_TARGET_DOUBLE (r, sval);
1371 if ((sval[0] & 0xffff) == 0 && sval[1] == 0)
1372 return 1;
1373 return 0;
1376 /* Implement CANNOT_CHANGE_MODE_CLASS. */
1377 bool
1378 pdp11_cannot_change_mode_class (machine_mode from,
1379 machine_mode to,
1380 enum reg_class rclass)
1382 /* Also, FPU registers contain a whole float value and the parts of
1383 it are not separately accessible.
1385 So we disallow all mode changes involving FPRs. */
1386 if (FLOAT_MODE_P (from) != FLOAT_MODE_P (to))
1387 return true;
1389 return reg_classes_intersect_p (FPU_REGS, rclass);
1392 /* TARGET_PREFERRED_RELOAD_CLASS
1394 Given an rtx X being reloaded into a reg required to be
1395 in class CLASS, return the class of reg to actually use.
1396 In general this is just CLASS; but on some machines
1397 in some cases it is preferable to use a more restrictive class.
1399 loading is easier into LOAD_FPU_REGS than FPU_REGS! */
1401 static reg_class_t
1402 pdp11_preferred_reload_class (rtx x, reg_class_t rclass)
1404 if (rclass == FPU_REGS)
1405 return LOAD_FPU_REGS;
1406 if (rclass == ALL_REGS)
1408 if (FLOAT_MODE_P (GET_MODE (x)))
1409 return LOAD_FPU_REGS;
1410 else
1411 return GENERAL_REGS;
1413 return rclass;
1416 /* TARGET_PREFERRED_OUTPUT_RELOAD_CLASS
1418 Given an rtx X being reloaded into a reg required to be
1419 in class CLASS, return the class of reg to actually use.
1420 In general this is just CLASS; but on some machines
1421 in some cases it is preferable to use a more restrictive class.
1423 loading is easier into LOAD_FPU_REGS than FPU_REGS! */
1425 static reg_class_t
1426 pdp11_preferred_output_reload_class (rtx x, reg_class_t rclass)
1428 if (rclass == FPU_REGS)
1429 return LOAD_FPU_REGS;
1430 if (rclass == ALL_REGS)
1432 if (FLOAT_MODE_P (GET_MODE (x)))
1433 return LOAD_FPU_REGS;
1434 else
1435 return GENERAL_REGS;
1437 return rclass;
1441 /* TARGET_SECONDARY_RELOAD.
1443 FPU registers AC4 and AC5 (class NO_LOAD_FPU_REGS) require an
1444 intermediate register (AC0-AC3: LOAD_FPU_REGS). Everything else
1445 can be loade/stored directly. */
1446 static reg_class_t
1447 pdp11_secondary_reload (bool in_p ATTRIBUTE_UNUSED,
1448 rtx x,
1449 reg_class_t reload_class,
1450 machine_mode reload_mode ATTRIBUTE_UNUSED,
1451 secondary_reload_info *sri ATTRIBUTE_UNUSED)
1453 if (reload_class != NO_LOAD_FPU_REGS || GET_CODE (x) != REG ||
1454 REGNO_REG_CLASS (REGNO (x)) == LOAD_FPU_REGS)
1455 return NO_REGS;
1457 return LOAD_FPU_REGS;
1460 /* Target routine to check if register to register move requires memory.
1462 The answer is yes if we're going between general register and FPU
1463 registers. The mode doesn't matter in making this check.
1465 bool
1466 pdp11_secondary_memory_needed (reg_class_t c1, reg_class_t c2,
1467 machine_mode mode ATTRIBUTE_UNUSED)
1469 int fromfloat = (c1 == LOAD_FPU_REGS || c1 == NO_LOAD_FPU_REGS ||
1470 c1 == FPU_REGS);
1471 int tofloat = (c2 == LOAD_FPU_REGS || c2 == NO_LOAD_FPU_REGS ||
1472 c2 == FPU_REGS);
1474 return (fromfloat != tofloat);
1477 /* TARGET_LEGITIMATE_ADDRESS_P recognizes an RTL expression
1478 that is a valid memory address for an instruction.
1479 The MODE argument is the machine mode for the MEM expression
1480 that wants to use this address.
1484 static bool
1485 pdp11_legitimate_address_p (machine_mode mode,
1486 rtx operand, bool strict)
1488 rtx xfoob;
1490 /* accept @#address */
1491 if (CONSTANT_ADDRESS_P (operand))
1492 return true;
1494 switch (GET_CODE (operand))
1496 case REG:
1497 /* accept (R0) */
1498 return !strict || REGNO_OK_FOR_BASE_P (REGNO (operand));
1500 case PLUS:
1501 /* accept X(R0) */
1502 return GET_CODE (XEXP (operand, 0)) == REG
1503 && (!strict || REGNO_OK_FOR_BASE_P (REGNO (XEXP (operand, 0))))
1504 && CONSTANT_ADDRESS_P (XEXP (operand, 1));
1506 case PRE_DEC:
1507 /* accept -(R0) */
1508 return GET_CODE (XEXP (operand, 0)) == REG
1509 && (!strict || REGNO_OK_FOR_BASE_P (REGNO (XEXP (operand, 0))));
1511 case POST_INC:
1512 /* accept (R0)+ */
1513 return GET_CODE (XEXP (operand, 0)) == REG
1514 && (!strict || REGNO_OK_FOR_BASE_P (REGNO (XEXP (operand, 0))));
1516 case PRE_MODIFY:
1517 /* accept -(SP) -- which uses PRE_MODIFY for byte mode */
1518 return GET_CODE (XEXP (operand, 0)) == REG
1519 && REGNO (XEXP (operand, 0)) == STACK_POINTER_REGNUM
1520 && GET_CODE ((xfoob = XEXP (operand, 1))) == PLUS
1521 && GET_CODE (XEXP (xfoob, 0)) == REG
1522 && REGNO (XEXP (xfoob, 0)) == STACK_POINTER_REGNUM
1523 && CONSTANT_P (XEXP (xfoob, 1))
1524 && INTVAL (XEXP (xfoob,1)) == -2;
1526 case POST_MODIFY:
1527 /* accept (SP)+ -- which uses POST_MODIFY for byte mode */
1528 return GET_CODE (XEXP (operand, 0)) == REG
1529 && REGNO (XEXP (operand, 0)) == STACK_POINTER_REGNUM
1530 && GET_CODE ((xfoob = XEXP (operand, 1))) == PLUS
1531 && GET_CODE (XEXP (xfoob, 0)) == REG
1532 && REGNO (XEXP (xfoob, 0)) == STACK_POINTER_REGNUM
1533 && CONSTANT_P (XEXP (xfoob, 1))
1534 && INTVAL (XEXP (xfoob,1)) == 2;
1536 case MEM:
1537 /* handle another level of indirection ! */
1538 xfoob = XEXP (operand, 0);
1540 /* (MEM:xx (MEM:xx ())) is not valid for SI, DI and currently
1541 also forbidden for float, because we have to handle this
1542 in output_move_double and/or output_move_quad() - we could
1543 do it, but currently it's not worth it!!!
1544 now that DFmode cannot go into CPU register file,
1545 maybe I should allow float ...
1546 but then I have to handle memory-to-memory moves in movdf ?? */
1547 if (GET_MODE_BITSIZE(mode) > 16)
1548 return false;
1550 /* accept @address */
1551 if (CONSTANT_ADDRESS_P (xfoob))
1552 return true;
1554 switch (GET_CODE (xfoob))
1556 case REG:
1557 /* accept @(R0) - which is @0(R0) */
1558 return !strict || REGNO_OK_FOR_BASE_P(REGNO (xfoob));
1560 case PLUS:
1561 /* accept @X(R0) */
1562 return GET_CODE (XEXP (xfoob, 0)) == REG
1563 && (!strict || REGNO_OK_FOR_BASE_P (REGNO (XEXP (xfoob, 0))))
1564 && CONSTANT_ADDRESS_P (XEXP (xfoob, 1));
1566 case PRE_DEC:
1567 /* accept @-(R0) */
1568 return GET_CODE (XEXP (xfoob, 0)) == REG
1569 && (!strict || REGNO_OK_FOR_BASE_P (REGNO (XEXP (xfoob, 0))));
1571 case POST_INC:
1572 /* accept @(R0)+ */
1573 return GET_CODE (XEXP (xfoob, 0)) == REG
1574 && (!strict || REGNO_OK_FOR_BASE_P (REGNO (XEXP (xfoob, 0))));
1576 default:
1577 /* anything else is invalid */
1578 return false;
1581 default:
1582 /* anything else is invalid */
1583 return false;
1587 /* Return the class number of the smallest class containing
1588 reg number REGNO. */
1589 enum reg_class
1590 pdp11_regno_reg_class (int regno)
1592 if (regno == FRAME_POINTER_REGNUM || regno == ARG_POINTER_REGNUM)
1593 return GENERAL_REGS;
1594 else if (regno > AC3_REGNUM)
1595 return NO_LOAD_FPU_REGS;
1596 else if (regno >= AC0_REGNUM)
1597 return LOAD_FPU_REGS;
1598 else if (regno & 1)
1599 return MUL_REGS;
1600 else
1601 return GENERAL_REGS;
1606 pdp11_sp_frame_offset (void)
1608 int offset = 0, regno;
1609 offset = get_frame_size();
1610 for (regno = 0; regno <= PC_REGNUM; regno++)
1611 if (pdp11_saved_regno (regno))
1612 offset += 2;
1613 for (regno = AC0_REGNUM; regno <= AC5_REGNUM; regno++)
1614 if (pdp11_saved_regno (regno))
1615 offset += 8;
1617 return offset;
1620 /* Return the offset between two registers, one to be eliminated, and the other
1621 its replacement, at the start of a routine. */
1624 pdp11_initial_elimination_offset (int from, int to)
1626 int spoff;
1628 if (from == ARG_POINTER_REGNUM && to == HARD_FRAME_POINTER_REGNUM)
1629 return 4;
1630 else if (from == FRAME_POINTER_REGNUM
1631 && to == HARD_FRAME_POINTER_REGNUM)
1632 return 0;
1633 else
1635 gcc_assert (to == STACK_POINTER_REGNUM);
1637 /* Get the size of the register save area. */
1638 spoff = pdp11_sp_frame_offset ();
1639 if (from == FRAME_POINTER_REGNUM)
1640 return spoff;
1642 gcc_assert (from == ARG_POINTER_REGNUM);
1644 /* If there is a frame pointer, that is saved too. */
1645 if (frame_pointer_needed)
1646 spoff += 2;
1648 /* Account for the saved PC in the function call. */
1649 return spoff + 2;
1653 /* A copy of output_addr_const modified for pdp11 expression syntax.
1654 output_addr_const also gets called for %cDIGIT and %nDIGIT, which we don't
1655 use, and for debugging output, which we don't support with this port either.
1656 So this copy should get called whenever needed.
1658 void
1659 output_addr_const_pdp11 (FILE *file, rtx x)
1661 char buf[256];
1662 int i;
1664 restart:
1665 switch (GET_CODE (x))
1667 case PC:
1668 gcc_assert (flag_pic);
1669 putc ('.', file);
1670 break;
1672 case SYMBOL_REF:
1673 assemble_name (file, XSTR (x, 0));
1674 break;
1676 case LABEL_REF:
1677 ASM_GENERATE_INTERNAL_LABEL (buf, "L", CODE_LABEL_NUMBER (XEXP (x, 0)));
1678 assemble_name (file, buf);
1679 break;
1681 case CODE_LABEL:
1682 ASM_GENERATE_INTERNAL_LABEL (buf, "L", CODE_LABEL_NUMBER (x));
1683 assemble_name (file, buf);
1684 break;
1686 case CONST_INT:
1687 i = INTVAL (x);
1688 if (i < 0)
1690 i = -i;
1691 fprintf (file, "-");
1693 fprintf (file, "%#o", i & 0xffff);
1694 break;
1696 case CONST:
1697 /* This used to output parentheses around the expression,
1698 but that does not work on the 386 (either ATT or BSD assembler). */
1699 output_addr_const_pdp11 (file, XEXP (x, 0));
1700 break;
1702 case CONST_DOUBLE:
1703 if (GET_MODE (x) == VOIDmode)
1705 /* We can use %o if the number is one word and positive. */
1706 gcc_assert (!CONST_DOUBLE_HIGH (x));
1707 fprintf (file, "%#ho", (unsigned short) CONST_DOUBLE_LOW (x));
1709 else
1710 /* We can't handle floating point constants;
1711 PRINT_OPERAND must handle them. */
1712 output_operand_lossage ("floating constant misused");
1713 break;
1715 case PLUS:
1716 /* Some assemblers need integer constants to appear last (e.g. masm). */
1717 if (GET_CODE (XEXP (x, 0)) == CONST_INT)
1719 output_addr_const_pdp11 (file, XEXP (x, 1));
1720 if (INTVAL (XEXP (x, 0)) >= 0)
1721 fprintf (file, "+");
1722 output_addr_const_pdp11 (file, XEXP (x, 0));
1724 else
1726 output_addr_const_pdp11 (file, XEXP (x, 0));
1727 if (INTVAL (XEXP (x, 1)) >= 0)
1728 fprintf (file, "+");
1729 output_addr_const_pdp11 (file, XEXP (x, 1));
1731 break;
1733 case MINUS:
1734 /* Avoid outputting things like x-x or x+5-x,
1735 since some assemblers can't handle that. */
1736 x = simplify_subtraction (x);
1737 if (GET_CODE (x) != MINUS)
1738 goto restart;
1740 output_addr_const_pdp11 (file, XEXP (x, 0));
1741 if (GET_CODE (XEXP (x, 1)) != CONST_INT
1742 || INTVAL (XEXP (x, 1)) >= 0)
1743 fprintf (file, "-");
1744 output_addr_const_pdp11 (file, XEXP (x, 1));
1745 break;
1747 case ZERO_EXTEND:
1748 case SIGN_EXTEND:
1749 output_addr_const_pdp11 (file, XEXP (x, 0));
1750 break;
1752 default:
1753 output_operand_lossage ("invalid expression as operand");
1757 /* Worker function for TARGET_RETURN_IN_MEMORY. */
1759 static bool
1760 pdp11_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED)
1762 /* Integers 32 bits and under, and scalar floats (if FPU), are returned
1763 in registers. The rest go into memory. */
1764 return (TYPE_MODE (type) == DImode
1765 || (FLOAT_MODE_P (TYPE_MODE (type)) && ! TARGET_AC0)
1766 || TREE_CODE (type) == VECTOR_TYPE
1767 || COMPLEX_MODE_P (TYPE_MODE (type)));
1770 /* Worker function for TARGET_FUNCTION_VALUE.
1772 On the pdp11 the value is found in R0 (or ac0??? not without FPU!!!! ) */
1774 static rtx
1775 pdp11_function_value (const_tree valtype,
1776 const_tree fntype_or_decl ATTRIBUTE_UNUSED,
1777 bool outgoing ATTRIBUTE_UNUSED)
1779 return gen_rtx_REG (TYPE_MODE (valtype),
1780 BASE_RETURN_VALUE_REG(TYPE_MODE(valtype)));
1783 /* Worker function for TARGET_LIBCALL_VALUE. */
1785 static rtx
1786 pdp11_libcall_value (machine_mode mode,
1787 const_rtx fun ATTRIBUTE_UNUSED)
1789 return gen_rtx_REG (mode, BASE_RETURN_VALUE_REG(mode));
1792 /* Worker function for TARGET_FUNCTION_VALUE_REGNO_P.
1794 On the pdp, the first "output" reg is the only register thus used.
1796 maybe ac0 ? - as option someday! */
1798 static bool
1799 pdp11_function_value_regno_p (const unsigned int regno)
1801 return (regno == RETVAL_REGNUM) || (TARGET_AC0 && (regno == AC0_REGNUM));
1804 /* Worker function for TARGET_TRAMPOLINE_INIT.
1806 trampoline - how should i do it in separate i+d ?
1807 have some allocate_trampoline magic???
1809 the following should work for shared I/D:
1811 MOV #STATIC, $4 01270Y 0x0000 <- STATIC; Y = STATIC_CHAIN_REGNUM
1812 JMP @#FUNCTION 000137 0x0000 <- FUNCTION
1815 static void
1816 pdp11_trampoline_init (rtx m_tramp, tree fndecl, rtx chain_value)
1818 rtx fnaddr = XEXP (DECL_RTL (fndecl), 0);
1819 rtx mem;
1821 gcc_assert (!TARGET_SPLIT);
1823 mem = adjust_address (m_tramp, HImode, 0);
1824 emit_move_insn (mem, GEN_INT (012700+STATIC_CHAIN_REGNUM));
1825 mem = adjust_address (m_tramp, HImode, 2);
1826 emit_move_insn (mem, chain_value);
1827 mem = adjust_address (m_tramp, HImode, 4);
1828 emit_move_insn (mem, GEN_INT (000137));
1829 emit_move_insn (mem, fnaddr);
1832 /* Worker function for TARGET_FUNCTION_ARG.
1834 Determine where to put an argument to a function.
1835 Value is zero to push the argument on the stack,
1836 or a hard register in which to store the argument.
1838 MODE is the argument's machine mode.
1839 TYPE is the data type of the argument (as a tree).
1840 This is null for libcalls where that information may
1841 not be available.
1842 CUM is a variable of type CUMULATIVE_ARGS which gives info about
1843 the preceding args and about the function being called.
1844 NAMED is nonzero if this argument is a named parameter
1845 (otherwise it is an extra parameter matching an ellipsis). */
1847 static rtx
1848 pdp11_function_arg (cumulative_args_t cum ATTRIBUTE_UNUSED,
1849 machine_mode mode ATTRIBUTE_UNUSED,
1850 const_tree type ATTRIBUTE_UNUSED,
1851 bool named ATTRIBUTE_UNUSED)
1853 return NULL_RTX;
1856 /* Worker function for TARGET_FUNCTION_ARG_ADVANCE.
1858 Update the data in CUM to advance over an argument of mode MODE and
1859 data type TYPE. (TYPE is null for libcalls where that information
1860 may not be available.) */
1862 static void
1863 pdp11_function_arg_advance (cumulative_args_t cum_v, machine_mode mode,
1864 const_tree type, bool named ATTRIBUTE_UNUSED)
1866 CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v);
1868 *cum += (mode != BLKmode
1869 ? GET_MODE_SIZE (mode)
1870 : int_size_in_bytes (type));
1873 /* Make sure everything's fine if we *don't* have an FPU.
1874 This assumes that putting a register in fixed_regs will keep the
1875 compiler's mitts completely off it. We don't bother to zero it out
1876 of register classes. Also fix incompatible register naming with
1877 the UNIX assembler. */
1879 static void
1880 pdp11_conditional_register_usage (void)
1882 int i;
1883 HARD_REG_SET x;
1884 if (!TARGET_FPU)
1886 COPY_HARD_REG_SET (x, reg_class_contents[(int)FPU_REGS]);
1887 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++ )
1888 if (TEST_HARD_REG_BIT (x, i))
1889 fixed_regs[i] = call_used_regs[i] = 1;
1892 if (TARGET_AC0)
1893 call_used_regs[AC0_REGNUM] = 1;
1894 if (TARGET_UNIX_ASM)
1896 /* Change names of FPU registers for the UNIX assembler. */
1897 reg_names[8] = "fr0";
1898 reg_names[9] = "fr1";
1899 reg_names[10] = "fr2";
1900 reg_names[11] = "fr3";
1901 reg_names[12] = "fr4";
1902 reg_names[13] = "fr5";
1906 static section *
1907 pdp11_function_section (tree decl ATTRIBUTE_UNUSED,
1908 enum node_frequency freq ATTRIBUTE_UNUSED,
1909 bool startup ATTRIBUTE_UNUSED,
1910 bool exit ATTRIBUTE_UNUSED)
1912 return NULL;
1915 /* Implement TARGET_LEGITIMATE_CONSTANT_P. */
1917 static bool
1918 pdp11_legitimate_constant_p (machine_mode mode ATTRIBUTE_UNUSED, rtx x)
1920 return GET_CODE (x) != CONST_DOUBLE || legitimate_const_double_p (x);
1923 /* Implement TARGET_SCALAR_MODE_SUPPORTED_P. */
1925 static bool
1926 pdp11_scalar_mode_supported_p (machine_mode mode)
1928 /* Support SFmode even with -mfloat64. */
1929 if (mode == SFmode)
1930 return true;
1931 return default_scalar_mode_supported_p (mode);
1934 struct gcc_target targetm = TARGET_INITIALIZER;