1 /* Definitions of target machine for GNU compiler for Hitachi Super-H.
2 Copyright (C) 1993-1998, 1999 Free Software Foundation, Inc.
3 Contributed by Steve Chamberlain (sac@cygnus.com).
4 Improved by Jim Wilson (wilson@cygnus.com).
6 This file is part of GNU CC.
8 GNU CC 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 2, or (at your option)
13 GNU CC 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.
18 You should have received a copy of the GNU General Public License
19 along with GNU CC; see the file COPYING. If not, write to
20 the Free Software Foundation, 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
24 #define TARGET_VERSION \
25 fputs (" (Hitachi SH)", stderr);
27 /* Unfortunately, insn-attrtab.c doesn't include insn-codes.h. We can't
28 include it here, because hconfig.h is also included by gencodes.c . */
29 extern int code_for_indirect_jump_scratch;
31 /* Generate SDB debugging information. */
33 #define SDB_DEBUGGING_INFO
35 /* Output DBX (stabs) debugging information if doing -gstabs. */
41 #define CPP_SPEC "%{ml:-D__LITTLE_ENDIAN__} \
46 %{m4-single-only:-D__SH4_SINGLE_ONLY__} \
47 %{m4-single:-D__SH4_SINGLE__} \
49 %{!m1:%{!m2:%{!m3:%{!m3e:%{!m4:%{!m4-single:%{!m4-single-only:-D__sh1__}}}}}}} \
50 %{mhitachi:-D__HITACHI__}"
52 #define CPP_PREDEFINES "-D__sh__ -Acpu(sh) -Amachine(sh)"
54 #define ASM_SPEC "%{ml:-little} %{mrelax:-relax}"
56 #define LINK_SPEC "%{ml:-m shl} %{mrelax:-relax}"
58 /* We can not debug without a frame pointer. */
59 /* #define CAN_DEBUG_WITHOUT_FP */
61 #define CONDITIONAL_REGISTER_USAGE \
62 if (! TARGET_SH4 || ! TARGET_FMOVD) \
65 for (regno = FIRST_XD_REG; regno <= LAST_XD_REG; regno++) \
66 fixed_regs[regno] = call_used_regs[regno] = 1; \
72 for (regno = FIRST_FP_REG; regno <= LAST_FP_REG; regno++) \
73 fixed_regs[regno] = call_used_regs[regno] = 1; \
74 fixed_regs[FPUL_REG] = call_used_regs[FPUL_REG] = 1; \
78 /* Hitachi saves and restores mac registers on call. */ \
81 call_used_regs[MACH_REG] = 0; \
82 call_used_regs[MACL_REG] = 0; \
85 /* ??? Need to write documentation for all SH options and add it to the
88 /* Run-time compilation parameters selecting different hardware subsets. */
90 extern int target_flags;
91 #define ISIZE_BIT (1<<1)
92 #define DALIGN_BIT (1<<6)
93 #define SH1_BIT (1<<8)
94 #define SH2_BIT (1<<9)
95 #define SH3_BIT (1<<10)
96 #define SH3E_BIT (1<<11)
97 #define HARD_SH4_BIT (1<<5)
98 #define FPU_SINGLE_BIT (1<<7)
99 #define SH4_BIT (1<<12)
100 #define FMOVD_BIT (1<<4)
101 #define SPACE_BIT (1<<13)
102 #define BIGTABLE_BIT (1<<14)
103 #define RELAX_BIT (1<<15)
104 #define HITACHI_BIT (1<<22)
105 #define PADSTRUCT_BIT (1<<28)
106 #define LITTLE_ENDIAN_BIT (1<<29)
107 #define IEEE_BIT (1<<30)
109 /* Nonzero if we should dump out instruction size info. */
110 #define TARGET_DUMPISIZE (target_flags & ISIZE_BIT)
112 /* Nonzero to align doubles on 64 bit boundaries. */
113 #define TARGET_ALIGN_DOUBLE (target_flags & DALIGN_BIT)
115 /* Nonzero if we should generate code using type 1 insns. */
116 #define TARGET_SH1 (target_flags & SH1_BIT)
118 /* Nonzero if we should generate code using type 2 insns. */
119 #define TARGET_SH2 (target_flags & SH2_BIT)
121 /* Nonzero if we should generate code using type 3 insns. */
122 #define TARGET_SH3 (target_flags & SH3_BIT)
124 /* Nonzero if we should generate code using type 3E insns. */
125 #define TARGET_SH3E (target_flags & SH3E_BIT)
127 /* Nonzero if the cache line size is 32. */
128 #define TARGET_CACHE32 (target_flags & HARD_SH4_BIT)
130 /* Nonzero if we schedule for a superscalar implementation. */
131 #define TARGET_SUPERSCALAR (target_flags & HARD_SH4_BIT)
133 /* Nonzero if the target has separate instruction and data caches. */
134 #define TARGET_HARVARD (target_flags & HARD_SH4_BIT)
136 /* Nonzero if compiling for SH4 hardware (to be used for insn costs etc.) */
137 #define TARGET_HARD_SH4 (target_flags & HARD_SH4_BIT)
139 /* Nonzero if the default precision of th FPU is single */
140 #define TARGET_FPU_SINGLE (target_flags & FPU_SINGLE_BIT)
142 /* Nonzero if we should generate code using type 4 insns. */
143 #define TARGET_SH4 (target_flags & SH4_BIT)
145 /* Nonzero if we should generate fmovd. */
146 #define TARGET_FMOVD (target_flags & FMOVD_BIT)
148 /* Nonzero if we respect NANs. */
149 #define TARGET_IEEE (target_flags & IEEE_BIT)
151 /* Nonzero if we should generate smaller code rather than faster code. */
152 #define TARGET_SMALLCODE (target_flags & SPACE_BIT)
154 /* Nonzero to use long jump tables. */
155 #define TARGET_BIGTABLE (target_flags & BIGTABLE_BIT)
157 /* Nonzero to generate pseudo-ops needed by the assembler and linker
158 to do function call relaxing. */
159 #define TARGET_RELAX (target_flags & RELAX_BIT)
161 /* Nonzero if using Hitachi's calling convention. */
162 #define TARGET_HITACHI (target_flags & HITACHI_BIT)
164 /* Nonzero if padding structures to a multiple of 4 bytes. This is
165 incompatible with Hitachi's compiler, and gives unusual structure layouts
166 which confuse programmers.
167 ??? This option is not useful, but is retained in case there are people
168 who are still relying on it. It may be deleted in the future. */
169 #define TARGET_PADSTRUCT (target_flags & PADSTRUCT_BIT)
171 /* Nonzero if generating code for a little endian SH. */
172 #define TARGET_LITTLE_ENDIAN (target_flags & LITTLE_ENDIAN_BIT)
174 #define TARGET_SWITCHES \
177 {"3", SH3_BIT|SH2_BIT}, \
178 {"3e", SH3E_BIT|SH3_BIT|SH2_BIT|FPU_SINGLE_BIT}, \
179 {"4-single-only", SH3E_BIT|SH3_BIT|SH2_BIT|SH3E_BIT|HARD_SH4_BIT|FPU_SINGLE_BIT}, \
180 {"4-single", SH4_BIT|SH3E_BIT|SH3_BIT|SH2_BIT|HARD_SH4_BIT|FPU_SINGLE_BIT},\
181 {"4", SH4_BIT|SH3E_BIT|SH3_BIT|SH2_BIT|HARD_SH4_BIT}, \
182 {"b", -LITTLE_ENDIAN_BIT}, \
183 {"bigtable", BIGTABLE_BIT}, \
184 {"dalign", DALIGN_BIT}, \
185 {"fmovd", FMOVD_BIT}, \
186 {"hitachi", HITACHI_BIT}, \
187 {"ieee", IEEE_BIT}, \
188 {"isize", ISIZE_BIT}, \
189 {"l", LITTLE_ENDIAN_BIT}, \
190 {"no-ieee", -IEEE_BIT}, \
191 {"padstruct", PADSTRUCT_BIT}, \
192 {"relax", RELAX_BIT}, \
193 {"space", SPACE_BIT}, \
195 {"", TARGET_DEFAULT} \
198 /* This are meant to be redefined in the host dependent files */
199 #define SUBTARGET_SWITCHES
201 #define TARGET_DEFAULT (0)
203 #define OPTIMIZATION_OPTIONS(LEVEL,SIZE) \
206 flag_omit_frame_pointer = -1; \
208 sh_flag_remove_dead_before_cse = 1; \
210 target_flags |= SPACE_BIT; \
213 #define ASSEMBLER_DIALECT assembler_dialect
215 extern int assembler_dialect;
217 #define OVERRIDE_OPTIONS \
220 assembler_dialect = 0; \
229 assembler_dialect = 1; \
232 if (! TARGET_SH4 || ! TARGET_FMOVD) \
234 /* Prevent usage of explicit register names for variables \
235 for registers not present / not addressable in the \
236 target architecture. */ \
238 for (regno = (TARGET_SH3E) ? 17 : 0; \
239 regno <= 24; regno++) \
240 fp_reg_names[regno][0] = 0; \
242 if (flag_omit_frame_pointer < 0) \
243 /* The debugging information is sufficient, \
244 but gdb doesn't implement this yet */ \
246 flag_omit_frame_pointer \
247 = (PREFERRED_DEBUGGING_TYPE == DWARF_DEBUG \
248 || PREFERRED_DEBUGGING_TYPE == DWARF2_DEBUG); \
250 flag_omit_frame_pointer = 0; \
252 /* Never run scheduling before reload, since that can \
253 break global alloc, and generates slower code anyway due \
254 to the pressure on R0. */ \
255 flag_schedule_insns = 0; \
256 sh_addr_diff_vec_mode = TARGET_BIGTABLE ? SImode : HImode; \
259 /* Target machine storage layout. */
261 /* Define to use software floating point emulator for REAL_ARITHMETIC and
262 decimal <-> binary conversion. */
263 #define REAL_ARITHMETIC
265 /* Define this if most significant bit is lowest numbered
266 in instructions that operate on numbered bit-fields. */
268 #define BITS_BIG_ENDIAN 0
270 /* Define this if most significant byte of a word is the lowest numbered. */
271 #define BYTES_BIG_ENDIAN (TARGET_LITTLE_ENDIAN == 0)
273 /* Define this if most significant word of a multiword number is the lowest
275 #define WORDS_BIG_ENDIAN (TARGET_LITTLE_ENDIAN == 0)
277 /* Define this to set the endianness to use in libgcc2.c, which can
278 not depend on target_flags. */
279 #if defined(__LITTLE_ENDIAN__)
280 #define LIBGCC2_WORDS_BIG_ENDIAN 0
282 #define LIBGCC2_WORDS_BIG_ENDIAN 1
285 /* Number of bits in an addressable storage unit. */
286 #define BITS_PER_UNIT 8
288 /* Width in bits of a "word", which is the contents of a machine register.
289 Note that this is not necessarily the width of data type `int';
290 if using 16-bit ints on a 68000, this would still be 32.
291 But on a machine with 16-bit registers, this would be 16. */
292 #define BITS_PER_WORD 32
293 #define MAX_BITS_PER_WORD 32
295 /* Width of a word, in units (bytes). */
296 #define UNITS_PER_WORD 4
298 /* Width in bits of a pointer.
299 See also the macro `Pmode' defined below. */
300 #define POINTER_SIZE 32
302 /* Allocation boundary (in *bits*) for storing arguments in argument list. */
303 #define PARM_BOUNDARY 32
305 /* Boundary (in *bits*) on which stack pointer should be aligned. */
306 #define STACK_BOUNDARY BIGGEST_ALIGNMENT
308 /* The log (base 2) of the cache line size, in bytes. Processors prior to
309 SH2 have no actual cache, but they fetch code in chunks of 4 bytes.
310 The SH2/3 have 16 byte cache lines, and the SH4 has a 32 byte cache line */
311 #define CACHE_LOG (TARGET_CACHE32 ? 5 : TARGET_SH2 ? 4 : 2)
313 /* Allocation boundary (in *bits*) for the code of a function.
314 32 bit alignment is faster, because instructions are always fetched as a
315 pair from a longword boundary. */
316 #define FUNCTION_BOUNDARY (TARGET_SMALLCODE ? 16 : (1 << CACHE_LOG) * 8)
318 /* Alignment of field after `int : 0' in a structure. */
319 #define EMPTY_FIELD_BOUNDARY 32
321 /* No data type wants to be aligned rounder than this. */
322 #define BIGGEST_ALIGNMENT (TARGET_ALIGN_DOUBLE ? 64 : 32)
324 /* The best alignment to use in cases where we have a choice. */
325 #define FASTEST_ALIGNMENT 32
327 /* Make strings word-aligned so strcpy from constants will be faster. */
328 #define CONSTANT_ALIGNMENT(EXP, ALIGN) \
329 ((TREE_CODE (EXP) == STRING_CST \
330 && (ALIGN) < FASTEST_ALIGNMENT) \
331 ? FASTEST_ALIGNMENT : (ALIGN))
333 #ifndef MAX_OFILE_ALIGNMENT
334 #define MAX_OFILE_ALIGNMENT 128
337 /* Make arrays of chars word-aligned for the same reasons. */
338 #define DATA_ALIGNMENT(TYPE, ALIGN) \
339 (TREE_CODE (TYPE) == ARRAY_TYPE \
340 && TYPE_MODE (TREE_TYPE (TYPE)) == QImode \
341 && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN))
343 /* Number of bits which any structure or union's size must be a
344 multiple of. Each structure or union's size is rounded up to a
346 #define STRUCTURE_SIZE_BOUNDARY (TARGET_PADSTRUCT ? 32 : 8)
348 /* Set this nonzero if move instructions will actually fail to work
349 when given unaligned data. */
350 #define STRICT_ALIGNMENT 1
352 /* If LABEL_AFTER_BARRIER demands an alignment, return its base 2 logarithm. */
353 #define LABEL_ALIGN_AFTER_BARRIER(LABEL_AFTER_BARRIER) \
354 barrier_align (LABEL_AFTER_BARRIER)
356 #define LOOP_ALIGN(A_LABEL) \
357 ((! optimize || TARGET_HARVARD || TARGET_SMALLCODE) ? 0 : 2)
359 #define LABEL_ALIGN(A_LABEL) \
361 (PREV_INSN (A_LABEL) \
362 && GET_CODE (PREV_INSN (A_LABEL)) == INSN \
363 && GET_CODE (PATTERN (PREV_INSN (A_LABEL))) == UNSPEC_VOLATILE \
364 && XINT (PATTERN (PREV_INSN (A_LABEL)), 1) == 1) \
365 /* explicit alignment insn in constant tables. */ \
366 ? INTVAL (XVECEXP (PATTERN (PREV_INSN (A_LABEL)), 0, 0)) \
369 /* Jump tables must be 32 bit aligned, no matter the size of the element. */
370 #define ADDR_VEC_ALIGN(ADDR_VEC) 2
372 /* The base two logarithm of the known minimum alignment of an insn length. */
373 #define INSN_LENGTH_ALIGNMENT(A_INSN) \
374 (GET_CODE (A_INSN) == INSN \
376 : GET_CODE (A_INSN) == JUMP_INSN || GET_CODE (A_INSN) == CALL_INSN \
380 /* Standard register usage. */
382 /* Register allocation for the Hitachi calling convention:
388 r14 frame pointer/call saved
390 ap arg pointer (doesn't really exist, always eliminated)
391 pr subroutine return address
393 mach multiply/accumulate result, high part
394 macl multiply/accumulate result, low part.
395 fpul fp/int communication register
396 rap return address pointer register
398 fr1..fr3 scratch floating point registers
400 fr12..fr15 call saved floating point registers */
402 /* Number of actual hardware registers.
403 The hardware registers are assigned numbers for the compiler
404 from 0 to just below FIRST_PSEUDO_REGISTER.
405 All registers that the compiler knows about must be given numbers,
406 even those that are not normally considered general registers. */
414 #define SPECIAL_REG(REGNO) ((REGNO) >= 18 && (REGNO) <= 21)
417 #define FIRST_FP_REG 24
418 #define LAST_FP_REG 39
419 #define FIRST_XD_REG 40
420 #define LAST_XD_REG 47
423 #define FIRST_PSEUDO_REGISTER 49
425 /* 1 for registers that have pervasive standard uses
426 and are not available for the register allocator.
428 Mach register is fixed 'cause it's only 10 bits wide for SH1.
429 It is 32 bits wide for SH2. */
431 #define FIXED_REGISTERS \
447 /* 1 for registers not available across function calls.
448 These must include the FIXED_REGISTERS and also any
449 registers that can be used without being saved.
450 The latter must include the registers where values are returned
451 and the register where structure-value addresses are passed.
452 Aside from that, you can include as many other registers as you like. */
454 #define CALL_USED_REGISTERS \
470 /* Return number of consecutive hard regs needed starting at reg REGNO
471 to hold something of mode MODE.
472 This is ordinarily the length in words of a value of mode MODE
473 but can be less for certain modes in special long registers.
475 On the SH all but the XD regs are UNITS_PER_WORD bits wide. */
477 #define HARD_REGNO_NREGS(REGNO, MODE) \
478 ((REGNO) >= FIRST_XD_REG && (REGNO) <= LAST_XD_REG \
479 ? (GET_MODE_SIZE (MODE) / (2 * UNITS_PER_WORD)) \
480 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)) \
482 /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
483 We can allow any mode in any general register. The special registers
484 only allow SImode. Don't allow any mode in the PR. */
486 /* We cannot hold DCmode values in the XD registers because alter_reg
487 handles subregs of them incorrectly. We could work around this by
488 spacing the XD registers like the DR registers, but this would require
489 additional memory in every compilation to hold larger register vectors.
490 We could hold SFmode / SCmode values in XD registers, but that
491 would require a tertiary reload when reloading from / to memory,
492 and a secondary reload to reload from / to general regs; that
493 seems to be a loosing proposition. */
494 #define HARD_REGNO_MODE_OK(REGNO, MODE) \
495 (SPECIAL_REG (REGNO) ? (MODE) == SImode \
496 : (REGNO) == FPUL_REG ? (MODE) == SImode || (MODE) == SFmode \
497 : (REGNO) >= FIRST_FP_REG && (REGNO) <= LAST_FP_REG && (MODE) == SFmode \
499 : (REGNO) >= FIRST_FP_REG && (REGNO) <= LAST_FP_REG \
500 ? ((MODE) == SFmode \
501 || (TARGET_SH3E && (MODE) == SCmode) \
502 || (((TARGET_SH4 && (MODE) == DFmode) || (MODE) == DCmode) \
503 && (((REGNO) - FIRST_FP_REG) & 1) == 0)) \
504 : (REGNO) >= FIRST_XD_REG && (REGNO) <= LAST_XD_REG \
506 : (REGNO) == PR_REG ? 0 \
507 : (REGNO) == FPSCR_REG ? (MODE) == PSImode \
510 /* Value is 1 if it is a good idea to tie two pseudo registers
511 when one has mode MODE1 and one has mode MODE2.
512 If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
513 for any hard reg, then this must be 0 for correct output. */
515 #define MODES_TIEABLE_P(MODE1, MODE2) \
516 ((MODE1) == (MODE2) || GET_MODE_CLASS (MODE1) == GET_MODE_CLASS (MODE2))
518 /* Specify the registers used for certain standard purposes.
519 The values of these macros are register numbers. */
521 /* Define this if the program counter is overloaded on a register. */
522 /* #define PC_REGNUM 15*/
524 /* Register to use for pushing function arguments. */
525 #define STACK_POINTER_REGNUM 15
527 /* Base register for access to local variables of the function. */
528 #define FRAME_POINTER_REGNUM 14
530 /* Fake register that holds the address on the stack of the
531 current function's return address. */
532 #define RETURN_ADDRESS_POINTER_REGNUM 23
534 /* Value should be nonzero if functions must have frame pointers.
535 Zero means the frame pointer need not be set up (and parms may be accessed
536 via the stack pointer) in functions that seem suitable. */
538 #define FRAME_POINTER_REQUIRED 0
540 /* Definitions for register eliminations.
542 We have three registers that can be eliminated on the SH. First, the
543 frame pointer register can often be eliminated in favor of the stack
544 pointer register. Secondly, the argument pointer register can always be
545 eliminated; it is replaced with either the stack or frame pointer.
546 Third, there is the return address pointer, which can also be replaced
547 with either the stack or the frame pointer. */
549 /* This is an array of structures. Each structure initializes one pair
550 of eliminable registers. The "from" register number is given first,
551 followed by "to". Eliminations of the same "from" register are listed
552 in order of preference. */
554 /* If you add any registers here that are not actually hard registers,
555 and that have any alternative of elimination that doesn't always
556 apply, you need to amend calc_live_regs to exclude it, because
557 reload spills all eliminable registers where it sees an
558 can_eliminate == 0 entry, thus making them 'live' .
559 If you add any hard registers that can be eliminated in different
560 ways, you have to patch reload to spill them only when all alternatives
561 of elimination fail. */
563 #define ELIMINABLE_REGS \
564 {{ FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
565 { RETURN_ADDRESS_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
566 { RETURN_ADDRESS_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
567 { ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
568 { ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM},}
570 /* Given FROM and TO register numbers, say whether this elimination
572 #define CAN_ELIMINATE(FROM, TO) \
573 (!((FROM) == FRAME_POINTER_REGNUM && FRAME_POINTER_REQUIRED))
575 /* Define the offset between two registers, one to be eliminated, and the other
576 its replacement, at the start of a routine. */
578 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
579 OFFSET = initial_elimination_offset ((FROM), (TO))
581 /* Base register for access to arguments of the function. */
582 #define ARG_POINTER_REGNUM 16
584 /* Register in which the static-chain is passed to a function. */
585 #define STATIC_CHAIN_REGNUM 13
587 /* The register in which a struct value address is passed. */
589 #define STRUCT_VALUE_REGNUM 2
591 /* If the structure value address is not passed in a register, define
592 `STRUCT_VALUE' as an expression returning an RTX for the place
593 where the address is passed. If it returns 0, the address is
594 passed as an "invisible" first argument. */
596 /*#define STRUCT_VALUE ((rtx)0)*/
598 /* Don't default to pcc-struct-return, because we have already specified
599 exactly how to return structures in the RETURN_IN_MEMORY macro. */
601 #define DEFAULT_PCC_STRUCT_RETURN 0
603 /* Define the classes of registers for register constraints in the
604 machine description. Also define ranges of constants.
606 One of the classes must always be named ALL_REGS and include all hard regs.
607 If there is more than one class, another class must be named NO_REGS
608 and contain no registers.
610 The name GENERAL_REGS must be the name of a class (or an alias for
611 another name such as ALL_REGS). This is the class of registers
612 that is allowed by "g" or "r" in a register constraint.
613 Also, registers outside this class are allocated only when
614 instructions express preferences for them.
616 The classes must be numbered in nondecreasing order; that is,
617 a larger-numbered class must never be contained completely
618 in a smaller-numbered class.
620 For any two classes, it is very desirable that there be another
621 class that represents their union. */
623 /* The SH has two sorts of general registers, R0 and the rest. R0 can
624 be used as the destination of some of the arithmetic ops. There are
625 also some special purpose registers; the T bit register, the
626 Procedure Return Register and the Multiply Accumulate Registers. */
627 /* Place GENERAL_REGS after FPUL_REGS so that it will be preferred by
628 reg_class_subunion. We don't want to have an actual union class
629 of these, because it would only be used when both classes are calculated
630 to give the same cost, but there is only one FPUL register.
631 Besides, regclass fails to notice the different REGISTER_MOVE_COSTS
632 applying to the actual instruction alternative considered. E.g., the
633 y/r alternative of movsi_ie is considered to have no more cost that
634 the r/r alternative, which is patently untrue. */
654 #define N_REG_CLASSES (int) LIM_REG_CLASSES
656 /* Give names of register classes as strings for dump file. */
657 #define REG_CLASS_NAMES \
674 /* Define which registers fit in which classes.
675 This is an initializer for a vector of HARD_REG_SET
676 of length N_REG_CLASSES. */
678 #define REG_CLASS_CONTENTS \
680 { 0x00000000, 0x00000000 }, /* NO_REGS */ \
681 { 0x00000001, 0x00000000 }, /* R0_REGS */ \
682 { 0x00020000, 0x00000000 }, /* PR_REGS */ \
683 { 0x00040000, 0x00000000 }, /* T_REGS */ \
684 { 0x00300000, 0x00000000 }, /* MAC_REGS */ \
685 { 0x00400000, 0x00000000 }, /* FPUL_REGS */ \
686 { 0x0081FFFF, 0x00000000 }, /* GENERAL_REGS */ \
687 { 0x01000000, 0x00000000 }, /* FP0_REGS */ \
688 { 0xFF000000, 0x000000FF }, /* FP_REGS */ \
689 { 0xFF000000, 0x0000FFFF }, /* DF_REGS */ \
690 { 0x00000000, 0x00010000 }, /* FPSCR_REGS */ \
691 { 0xFF81FFFF, 0x0000FFFF }, /* GENERAL_FP_REGS */ \
692 { 0xFFFFFFFF, 0x0001FFFF }, /* ALL_REGS */ \
695 /* The same information, inverted:
696 Return the class number of the smallest class containing
697 reg number REGNO. This could be a conditional expression
698 or could index an array. */
700 extern int regno_reg_class[];
701 #define REGNO_REG_CLASS(REGNO) regno_reg_class[(REGNO)]
703 /* When defined, the compiler allows registers explicitly used in the
704 rtl to be used as spill registers but prevents the compiler from
705 extending the lifetime of these registers. */
707 #define SMALL_REGISTER_CLASSES 1
709 /* The order in which register should be allocated. */
710 /* Sometimes FP0_REGS becomes the preferred class of a floating point pseudo,
711 and GENERAL_FP_REGS the alternate class. Since FP0 is likely to be
712 spilled or used otherwise, we better have the FP_REGS allocated first. */
713 #define REG_ALLOC_ORDER \
714 { 25,26,27,28,29,30,31,24,32,33,34,35,36,37,38,39, \
715 40,41,42,43,44,45,46,47,48, \
716 1,2,3,7,6,5,4,0,8,9,10,11,12,13,14, \
717 22,15,16,17,18,19,20,21,23 }
719 /* The class value for index registers, and the one for base regs. */
720 #define INDEX_REG_CLASS R0_REGS
721 #define BASE_REG_CLASS GENERAL_REGS
723 /* Get reg_class from a letter such as appears in the machine
725 extern enum reg_class reg_class_from_letter[];
727 #define REG_CLASS_FROM_LETTER(C) \
728 ( (C) >= 'a' && (C) <= 'z' ? reg_class_from_letter[(C)-'a'] : NO_REGS )
730 /* The letters I, J, K, L and M in a register constraint string
731 can be used to stand for particular ranges of immediate operands.
732 This macro defines what the ranges are.
733 C is the letter, and VALUE is a constant value.
734 Return 1 if VALUE is in the range specified by C.
735 I: arithmetic operand -127..128, as used in add, sub, etc
736 K: shift operand 1,2,8 or 16
737 L: logical operand 0..255, as used in and, or, etc.
741 #define CONST_OK_FOR_I(VALUE) (((HOST_WIDE_INT)(VALUE))>= -128 \
742 && ((HOST_WIDE_INT)(VALUE)) <= 127)
743 #define CONST_OK_FOR_K(VALUE) ((VALUE)==1||(VALUE)==2||(VALUE)==8||(VALUE)==16)
744 #define CONST_OK_FOR_L(VALUE) (((HOST_WIDE_INT)(VALUE))>= 0 \
745 && ((HOST_WIDE_INT)(VALUE)) <= 255)
746 #define CONST_OK_FOR_M(VALUE) ((VALUE)==1)
747 #define CONST_OK_FOR_N(VALUE) ((VALUE)==0)
748 #define CONST_OK_FOR_LETTER_P(VALUE, C) \
749 ((C) == 'I' ? CONST_OK_FOR_I (VALUE) \
750 : (C) == 'K' ? CONST_OK_FOR_K (VALUE) \
751 : (C) == 'L' ? CONST_OK_FOR_L (VALUE) \
752 : (C) == 'M' ? CONST_OK_FOR_M (VALUE) \
753 : (C) == 'N' ? CONST_OK_FOR_N (VALUE) \
756 /* Similar, but for floating constants, and defining letters G and H.
757 Here VALUE is the CONST_DOUBLE rtx itself. */
759 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
760 ((C) == 'G' ? fp_zero_operand (VALUE) \
761 : (C) == 'H' ? fp_one_operand (VALUE) \
764 /* Given an rtx X being reloaded into a reg required to be
765 in class CLASS, return the class of reg to actually use.
766 In general this is just CLASS; but on some machines
767 in some cases it is preferable to use a more restrictive class. */
769 #define PREFERRED_RELOAD_CLASS(X, CLASS) (CLASS)
771 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS,MODE,X) \
772 ((((((CLASS) == FP_REGS || (CLASS) == FP0_REGS \
773 || (CLASS) == DF_REGS) \
774 && (GET_CODE (X) == REG && REGNO (X) <= AP_REG)) \
775 || (((CLASS) == GENERAL_REGS || (CLASS) == R0_REGS) \
776 && GET_CODE (X) == REG \
777 && REGNO (X) >= FIRST_FP_REG && REGNO (X) <= LAST_FP_REG)) \
780 : ((CLASS) == FPUL_REGS \
781 && (GET_CODE (X) == MEM \
782 || (GET_CODE (X) == REG \
783 && (REGNO (X) >= FIRST_PSEUDO_REGISTER \
784 || system_reg_operand (X, VOIDmode))))) \
786 : (((CLASS) == MAC_REGS || (CLASS) == PR_REGS) \
787 && GET_CODE (X) == REG && REGNO (X) > 15 \
788 && (CLASS) != REGNO_REG_CLASS (REGNO (X))) \
789 ? GENERAL_REGS : NO_REGS)
791 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS,MODE,X) \
792 ((((CLASS) == FP_REGS || (CLASS) == FP0_REGS || (CLASS) == DF_REGS) \
793 && immediate_operand ((X), (MODE)) \
794 && ! ((fp_zero_operand (X) || fp_one_operand (X)) && (MODE) == SFmode))\
796 : CLASS == FPUL_REGS && immediate_operand ((X), (MODE)) \
797 ? (GET_CODE (X) == CONST_INT && CONST_OK_FOR_I (INTVAL (X)) \
800 : (CLASS == FPSCR_REGS \
801 && ((GET_CODE (X) == REG && REGNO (X) >= FIRST_PSEUDO_REGISTER) \
802 || (GET_CODE (X) == MEM && GET_CODE (XEXP ((X), 0)) == PLUS)))\
804 : SECONDARY_OUTPUT_RELOAD_CLASS((CLASS),(MODE),(X)))
806 /* Return the maximum number of consecutive registers
807 needed to represent mode MODE in a register of class CLASS.
809 On SH this is the size of MODE in words. */
810 #define CLASS_MAX_NREGS(CLASS, MODE) \
811 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
813 /* If defined, gives a class of registers that cannot be used as the
814 operand of a SUBREG that changes the size of the object. */
816 #define CLASS_CANNOT_CHANGE_SIZE DF_REGS
818 /* Stack layout; function entry, exit and calling. */
820 /* Define the number of registers that can hold parameters.
821 These macros are used only in other macro definitions below. */
823 #define NPARM_REGS(MODE) \
824 (TARGET_SH3E && (MODE) == SFmode \
826 : TARGET_SH4 && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
827 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT) \
831 #define FIRST_PARM_REG 4
832 #define FIRST_RET_REG 0
834 #define FIRST_FP_PARM_REG (FIRST_FP_REG + 4)
835 #define FIRST_FP_RET_REG FIRST_FP_REG
837 /* Define this if pushing a word on the stack
838 makes the stack pointer a smaller address. */
839 #define STACK_GROWS_DOWNWARD
841 /* Define this macro if the addresses of local variable slots are at
842 negative offsets from the frame pointer.
844 The SH only has positive indexes, so grow the frame up. */
845 /* #define FRAME_GROWS_DOWNWARD */
847 /* Offset from the frame pointer to the first local variable slot to
849 #define STARTING_FRAME_OFFSET 0
851 /* If we generate an insn to push BYTES bytes,
852 this says how many the stack pointer really advances by. */
853 /* Don't define PUSH_ROUNDING, since the hardware doesn't do this.
854 When PUSH_ROUNDING is not defined, PARM_BOUNDARY will cause gcc to
855 do correct alignment. */
857 #define PUSH_ROUNDING(NPUSHED) (((NPUSHED) + 3) & ~3)
860 /* Offset of first parameter from the argument pointer register value. */
861 #define FIRST_PARM_OFFSET(FNDECL) 0
863 /* Value is the number of byte of arguments automatically
864 popped when returning from a subroutine call.
865 FUNDECL is the declaration node of the function (as a tree),
866 FUNTYPE is the data type of the function (as a tree),
867 or for a library call it is an identifier node for the subroutine name.
868 SIZE is the number of bytes of arguments passed on the stack.
870 On the SH, the caller does not pop any of its arguments that were passed
872 #define RETURN_POPS_ARGS(FUNDECL,FUNTYPE,SIZE) 0
874 /* Nonzero if we do not know how to pass TYPE solely in registers.
875 Values that come in registers with inconvenient padding are stored
876 to memory at the function start. */
878 #define MUST_PASS_IN_STACK(MODE,TYPE) \
880 && (TREE_CODE (TYPE_SIZE (TYPE)) != INTEGER_CST \
881 || TREE_ADDRESSABLE (TYPE)))
882 /* Some subroutine macros specific to this machine. */
884 #define BASE_RETURN_VALUE_REG(MODE) \
885 ((TARGET_SH3E && ((MODE) == SFmode)) \
887 : TARGET_SH3E && (MODE) == SCmode \
890 && ((MODE) == DFmode || (MODE) == SFmode \
891 || (MODE) == DCmode || (MODE) == SCmode )) \
895 #define BASE_ARG_REG(MODE) \
896 ((TARGET_SH3E && ((MODE) == SFmode)) \
897 ? FIRST_FP_PARM_REG \
898 : TARGET_SH4 && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
899 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT)\
900 ? FIRST_FP_PARM_REG \
903 /* Define how to find the value returned by a function.
904 VALTYPE is the data type of the value (as a tree).
905 If the precise function being called is known, FUNC is its FUNCTION_DECL;
906 otherwise, FUNC is 0.
907 For the SH, this is like LIBCALL_VALUE, except that we must change the
908 mode like PROMOTE_MODE does.
909 ??? PROMOTE_MODE is ignored for non-scalar types. The set of types
910 tested here has to be kept in sync with the one in explow.c:promote_mode. */
912 #define FUNCTION_VALUE(VALTYPE, FUNC) \
914 ((GET_MODE_CLASS (TYPE_MODE (VALTYPE)) == MODE_INT \
915 && GET_MODE_SIZE (TYPE_MODE (VALTYPE)) < UNITS_PER_WORD \
916 && (TREE_CODE (VALTYPE) == INTEGER_TYPE \
917 || TREE_CODE (VALTYPE) == ENUMERAL_TYPE \
918 || TREE_CODE (VALTYPE) == BOOLEAN_TYPE \
919 || TREE_CODE (VALTYPE) == CHAR_TYPE \
920 || TREE_CODE (VALTYPE) == REAL_TYPE \
921 || TREE_CODE (VALTYPE) == OFFSET_TYPE)) \
922 ? SImode : TYPE_MODE (VALTYPE)), \
923 BASE_RETURN_VALUE_REG (TYPE_MODE (VALTYPE)))
925 /* Define how to find the value returned by a library function
926 assuming the value has mode MODE. */
927 #define LIBCALL_VALUE(MODE) \
928 gen_rtx_REG ((MODE), BASE_RETURN_VALUE_REG (MODE));
930 /* 1 if N is a possible register number for a function value. */
931 #define FUNCTION_VALUE_REGNO_P(REGNO) \
932 ((REGNO) == FIRST_RET_REG || (TARGET_SH3E && (REGNO) == FIRST_FP_RET_REG))
934 /* 1 if N is a possible register number for function argument passing. */
935 #define FUNCTION_ARG_REGNO_P(REGNO) \
936 (((REGNO) >= FIRST_PARM_REG && (REGNO) < (FIRST_PARM_REG + 4)) \
938 && (REGNO) >= FIRST_FP_PARM_REG && (REGNO) < (FIRST_FP_PARM_REG + 8)))
940 /* Define a data type for recording info about an argument list
941 during the scan of that argument list. This data type should
942 hold all necessary information about the function itself
943 and about the args processed so far, enough to enable macros
944 such as FUNCTION_ARG to determine where the next arg should go.
946 On SH, this is a single integer, which is a number of words
947 of arguments scanned so far (including the invisible argument,
948 if any, which holds the structure-value-address).
949 Thus NARGREGS or more means all following args should go on the stack. */
951 enum sh_arg_class { SH_ARG_INT = 0, SH_ARG_FLOAT = 1 };
956 #define CUMULATIVE_ARGS struct sh_args
958 #define GET_SH_ARG_CLASS(MODE) \
959 ((TARGET_SH3E && (MODE) == SFmode) \
961 : TARGET_SH4 && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
962 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT) \
963 ? SH_ARG_FLOAT : SH_ARG_INT)
965 #define ROUND_ADVANCE(SIZE) \
966 (((SIZE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
968 /* Round a register number up to a proper boundary for an arg of mode
971 The SH doesn't care about double alignment, so we only
972 round doubles to even regs when asked to explicitly. */
974 #define ROUND_REG(CUM, MODE) \
975 (((TARGET_ALIGN_DOUBLE \
976 || (TARGET_SH4 && ((MODE) == DFmode || (MODE) == DCmode) \
977 && (CUM).arg_count[(int) SH_ARG_FLOAT] < NPARM_REGS (MODE)))\
978 && GET_MODE_UNIT_SIZE ((MODE)) > UNITS_PER_WORD) \
979 ? ((CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)] \
980 + ((CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)] & 1)) \
981 : (CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)])
983 /* Initialize a variable CUM of type CUMULATIVE_ARGS
984 for a call to a function whose data type is FNTYPE.
985 For a library call, FNTYPE is 0.
987 On SH, the offset always starts at 0: the first parm reg is always
988 the same reg for a given argument class. */
990 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT) \
992 (CUM).arg_count[(int) SH_ARG_INT] = 0; \
993 (CUM).arg_count[(int) SH_ARG_FLOAT] = 0; \
996 /* Update the data in CUM to advance over an argument
997 of mode MODE and data type TYPE.
998 (TYPE is null for libcalls where that information may not be
1001 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
1002 if (! TARGET_SH4 || PASS_IN_REG_P ((CUM), (MODE), (TYPE))) \
1003 ((CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)] \
1004 = (ROUND_REG ((CUM), (MODE)) \
1005 + ((MODE) == BLKmode \
1006 ? ROUND_ADVANCE (int_size_in_bytes (TYPE)) \
1007 : ROUND_ADVANCE (GET_MODE_SIZE (MODE)))))
1009 /* Return boolean indicating arg of mode MODE will be passed in a reg.
1010 This macro is only used in this file. */
1012 #define PASS_IN_REG_P(CUM, MODE, TYPE) \
1014 || ((! TREE_ADDRESSABLE ((tree)(TYPE))) \
1015 && (! TARGET_HITACHI || ! AGGREGATE_TYPE_P (TYPE)))) \
1017 ? ((MODE) == BLKmode \
1018 ? (((CUM).arg_count[(int) SH_ARG_INT] * UNITS_PER_WORD \
1019 + int_size_in_bytes (TYPE)) \
1020 <= NPARM_REGS (SImode) * UNITS_PER_WORD) \
1021 : ((ROUND_REG((CUM), (MODE)) \
1022 + HARD_REGNO_NREGS (BASE_ARG_REG (MODE), (MODE))) \
1023 <= NPARM_REGS (MODE))) \
1024 : ROUND_REG ((CUM), (MODE)) < NPARM_REGS (MODE)))
1026 /* Define where to put the arguments to a function.
1027 Value is zero to push the argument on the stack,
1028 or a hard register in which to store the argument.
1030 MODE is the argument's machine mode.
1031 TYPE is the data type of the argument (as a tree).
1032 This is null for libcalls where that information may
1034 CUM is a variable of type CUMULATIVE_ARGS which gives info about
1035 the preceding args and about the function being called.
1036 NAMED is nonzero if this argument is a named parameter
1037 (otherwise it is an extra parameter matching an ellipsis).
1039 On SH the first args are normally in registers
1040 and the rest are pushed. Any arg that starts within the first
1041 NPARM_REGS words is at least partially passed in a register unless
1042 its data type forbids. */
1044 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
1045 ((PASS_IN_REG_P ((CUM), (MODE), (TYPE)) \
1047 || (! TARGET_HITACHI && (TARGET_SH3E || ! current_function_varargs)))) \
1048 ? gen_rtx_REG ((MODE), \
1049 ((BASE_ARG_REG (MODE) + ROUND_REG ((CUM), (MODE))) \
1050 ^ ((MODE) == SFmode && TARGET_SH4 \
1051 && TARGET_LITTLE_ENDIAN != 0))) \
1054 #define PRETEND_OUTGOING_VARARGS_NAMED (! TARGET_HITACHI)
1056 /* For an arg passed partly in registers and partly in memory,
1057 this is the number of registers used.
1058 For args passed entirely in registers or entirely in memory, zero.
1060 We sometimes split args. */
1062 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
1063 ((PASS_IN_REG_P ((CUM), (MODE), (TYPE)) \
1065 && (ROUND_REG ((CUM), (MODE)) \
1066 + ((MODE) != BLKmode \
1067 ? ROUND_ADVANCE (GET_MODE_SIZE (MODE)) \
1068 : ROUND_ADVANCE (int_size_in_bytes (TYPE))) \
1069 - NPARM_REGS (MODE) > 0)) \
1070 ? NPARM_REGS (MODE) - ROUND_REG ((CUM), (MODE)) \
1073 extern int current_function_anonymous_args;
1075 /* Perform any needed actions needed for a function that is receiving a
1076 variable number of arguments. */
1078 #define SETUP_INCOMING_VARARGS(ASF, MODE, TYPE, PAS, ST) \
1079 current_function_anonymous_args = 1;
1081 /* Define the `__builtin_va_list' type for the ABI. */
1082 #define BUILD_VA_LIST_TYPE(VALIST) \
1083 (VALIST) = sh_build_va_list ()
1085 /* Implement `va_start' for varargs and stdarg. */
1086 #define EXPAND_BUILTIN_VA_START(stdarg, valist, nextarg) \
1087 sh_va_start (stdarg, valist, nextarg)
1089 /* Implement `va_arg'. */
1090 #define EXPAND_BUILTIN_VA_ARG(valist, type) \
1091 sh_va_arg (valist, type)
1093 /* Call the function profiler with a given profile label.
1094 We use two .aligns, so as to make sure that both the .long is aligned
1095 on a 4 byte boundary, and that the .long is a fixed distance (2 bytes)
1096 from the trapa instruction. */
1098 #define FUNCTION_PROFILER(STREAM,LABELNO) \
1100 fprintf((STREAM), "\t.align\t2\n"); \
1101 fprintf((STREAM), "\ttrapa\t#33\n"); \
1102 fprintf((STREAM), "\t.align\t2\n"); \
1103 asm_fprintf((STREAM), "\t.long\t%LLP%d\n", (LABELNO)); \
1106 /* Define this macro if the code for function profiling should come
1107 before the function prologue. Normally, the profiling code comes
1110 #define PROFILE_BEFORE_PROLOGUE
1112 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
1113 the stack pointer does not matter. The value is tested only in
1114 functions that have frame pointers.
1115 No definition is equivalent to always zero. */
1117 #define EXIT_IGNORE_STACK 1
1119 /* Generate the assembly code for function exit
1120 Just dump out any accumulated constant table. */
1122 #define FUNCTION_EPILOGUE(STREAM, SIZE) function_epilogue ((STREAM), (SIZE))
1125 On the SH, the trampoline looks like
1126 2 0002 DD02 mov.l l2,r13
1127 1 0000 D301 mov.l l1,r3
1128 3 0004 4D2B jmp @r13
1130 5 0008 00000000 l1: .long function
1131 6 000c 00000000 l2: .long area */
1133 /* Length in units of the trampoline for entering a nested function. */
1134 #define TRAMPOLINE_SIZE 16
1136 /* Alignment required for a trampoline in bits . */
1137 #define TRAMPOLINE_ALIGNMENT \
1138 ((CACHE_LOG < 3 || (TARGET_SMALLCODE && ! TARGET_HARVARD)) ? 32 : 64)
1140 /* Emit RTL insns to initialize the variable parts of a trampoline.
1141 FNADDR is an RTX for the address of the function's pure code.
1142 CXT is an RTX for the static chain value for the function. */
1144 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
1146 emit_move_insn (gen_rtx_MEM (SImode, (TRAMP)), \
1147 GEN_INT (TARGET_LITTLE_ENDIAN ? 0xd301dd02 : 0xdd02d301));\
1148 emit_move_insn (gen_rtx_MEM (SImode, plus_constant ((TRAMP), 4)), \
1149 GEN_INT (TARGET_LITTLE_ENDIAN ? 0x00094d2b : 0x4d2b0009));\
1150 emit_move_insn (gen_rtx_MEM (SImode, plus_constant ((TRAMP), 8)), \
1152 emit_move_insn (gen_rtx_MEM (SImode, plus_constant ((TRAMP), 12)), \
1154 if (TARGET_HARVARD) \
1155 emit_insn (gen_ic_invalidate_line (TRAMP)); \
1158 /* A C expression whose value is RTL representing the value of the return
1159 address for the frame COUNT steps up from the current frame.
1160 FRAMEADDR is already the frame pointer of the COUNT frame, so we
1161 can ignore COUNT. */
1163 #define RETURN_ADDR_RTX(COUNT, FRAME) \
1165 ? gen_rtx_MEM (Pmode, gen_rtx_REG (Pmode, RETURN_ADDRESS_POINTER_REGNUM)) \
1168 /* Generate necessary RTL for __builtin_saveregs(). */
1169 #define EXPAND_BUILTIN_SAVEREGS() sh_builtin_saveregs ()
1171 /* Addressing modes, and classification of registers for them. */
1172 #define HAVE_POST_INCREMENT 1
1173 /*#define HAVE_PRE_INCREMENT 1*/
1174 /*#define HAVE_POST_DECREMENT 1*/
1175 #define HAVE_PRE_DECREMENT 1
1177 #define USE_LOAD_POST_INCREMENT(mode) ((mode == SImode || mode == DImode) \
1179 #define USE_LOAD_PRE_DECREMENT(mode) 0
1180 #define USE_STORE_POST_INCREMENT(mode) 0
1181 #define USE_STORE_PRE_DECREMENT(mode) ((mode == SImode || mode == DImode) \
1184 #define MOVE_BY_PIECES_P(SIZE, ALIGN) (move_by_pieces_ninsns (SIZE, ALIGN) \
1185 < (TARGET_SMALLCODE ? 2 : \
1186 ((ALIGN >= 4) ? 16 : 2)))
1188 /* Macros to check register numbers against specific register classes. */
1190 /* These assume that REGNO is a hard or pseudo reg number.
1191 They give nonzero only if REGNO is a hard reg of the suitable class
1192 or a pseudo reg currently allocated to a suitable hard reg.
1193 Since they use reg_renumber, they are safe only once reg_renumber
1194 has been allocated, which happens in local-alloc.c. */
1196 #define REGNO_OK_FOR_BASE_P(REGNO) \
1197 ((REGNO) < PR_REG || (unsigned) reg_renumber[(REGNO)] < PR_REG)
1198 #define REGNO_OK_FOR_INDEX_P(REGNO) \
1199 ((REGNO) == 0 || (unsigned) reg_renumber[(REGNO)] == 0)
1201 /* Maximum number of registers that can appear in a valid memory
1204 #define MAX_REGS_PER_ADDRESS 2
1206 /* Recognize any constant value that is a valid address. */
1208 #define CONSTANT_ADDRESS_P(X) (GET_CODE (X) == LABEL_REF)
1210 /* Nonzero if the constant value X is a legitimate general operand. */
1212 #define LEGITIMATE_CONSTANT_P(X) \
1213 (GET_CODE (X) != CONST_DOUBLE \
1214 || GET_MODE (X) == DFmode || GET_MODE (X) == SFmode \
1215 || (TARGET_SH3E && (fp_zero_operand (X) || fp_one_operand (X))))
1217 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
1218 and check its validity for a certain class.
1219 We have two alternate definitions for each of them.
1220 The usual definition accepts all pseudo regs; the other rejects
1221 them unless they have been allocated suitable hard regs.
1222 The symbol REG_OK_STRICT causes the latter definition to be used. */
1224 #ifndef REG_OK_STRICT
1226 /* Nonzero if X is a hard reg that can be used as a base reg
1227 or if it is a pseudo reg. */
1228 #define REG_OK_FOR_BASE_P(X) \
1229 (REGNO (X) <= 16 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1231 /* Nonzero if X is a hard reg that can be used as an index
1232 or if it is a pseudo reg. */
1233 #define REG_OK_FOR_INDEX_P(X) \
1234 (REGNO (X) == 0 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1236 /* Nonzero if X/OFFSET is a hard reg that can be used as an index
1237 or if X is a pseudo reg. */
1238 #define SUBREG_OK_FOR_INDEX_P(X, OFFSET) \
1239 ((REGNO (X) == 0 && OFFSET == 0) || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1243 /* Nonzero if X is a hard reg that can be used as a base reg. */
1244 #define REG_OK_FOR_BASE_P(X) \
1245 REGNO_OK_FOR_BASE_P (REGNO (X))
1247 /* Nonzero if X is a hard reg that can be used as an index. */
1248 #define REG_OK_FOR_INDEX_P(X) \
1249 REGNO_OK_FOR_INDEX_P (REGNO (X))
1251 /* Nonzero if X/OFFSET is a hard reg that can be used as an index. */
1252 #define SUBREG_OK_FOR_INDEX_P(X, OFFSET) \
1253 (REGNO_OK_FOR_INDEX_P (REGNO (X)) && (OFFSET) == 0)
1257 /* The 'Q' constraint is a pc relative load operand. */
1258 #define EXTRA_CONSTRAINT_Q(OP) \
1259 (GET_CODE (OP) == MEM && \
1260 ((GET_CODE (XEXP ((OP), 0)) == LABEL_REF) \
1261 || (GET_CODE (XEXP ((OP), 0)) == CONST \
1262 && GET_CODE (XEXP (XEXP ((OP), 0), 0)) == PLUS \
1263 && GET_CODE (XEXP (XEXP (XEXP ((OP), 0), 0), 0)) == LABEL_REF \
1264 && GET_CODE (XEXP (XEXP (XEXP ((OP), 0), 0), 1)) == CONST_INT)))
1266 #define EXTRA_CONSTRAINT(OP, C) \
1267 ((C) == 'Q' ? EXTRA_CONSTRAINT_Q (OP) \
1270 /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
1271 that is a valid memory address for an instruction.
1272 The MODE argument is the machine mode for the MEM expression
1273 that wants to use this address.
1275 The other macros defined here are used only in GO_IF_LEGITIMATE_ADDRESS. */
1277 #define MODE_DISP_OK_4(X,MODE) \
1278 (GET_MODE_SIZE (MODE) == 4 && (unsigned) INTVAL (X) < 64 \
1279 && ! (INTVAL (X) & 3) && ! (TARGET_SH3E && (MODE) == SFmode))
1281 #define MODE_DISP_OK_8(X,MODE) \
1282 ((GET_MODE_SIZE(MODE)==8) && ((unsigned)INTVAL(X)<60) \
1283 && ! (INTVAL(X) & 3) && ! (TARGET_SH4 && (MODE) == DFmode))
1285 #define BASE_REGISTER_RTX_P(X) \
1286 ((GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X)) \
1287 || (GET_CODE (X) == SUBREG \
1288 && GET_CODE (SUBREG_REG (X)) == REG \
1289 && REG_OK_FOR_BASE_P (SUBREG_REG (X))))
1291 /* Since this must be r0, which is a single register class, we must check
1292 SUBREGs more carefully, to be sure that we don't accept one that extends
1293 outside the class. */
1294 #define INDEX_REGISTER_RTX_P(X) \
1295 ((GET_CODE (X) == REG && REG_OK_FOR_INDEX_P (X)) \
1296 || (GET_CODE (X) == SUBREG \
1297 && GET_CODE (SUBREG_REG (X)) == REG \
1298 && SUBREG_OK_FOR_INDEX_P (SUBREG_REG (X), SUBREG_WORD (X))))
1300 /* Jump to LABEL if X is a valid address RTX. This must also take
1301 REG_OK_STRICT into account when deciding about valid registers, but it uses
1302 the above macros so we are in luck.
1310 /* ??? The SH3e does not have the REG+disp addressing mode when loading values
1311 into the FRx registers. We implement this by setting the maximum offset
1312 to zero when the value is SFmode. This also restricts loading of SFmode
1313 values into the integer registers, but that can't be helped. */
1315 /* The SH allows a displacement in a QI or HI amode, but only when the
1316 other operand is R0. GCC doesn't handle this very well, so we forgo
1319 A legitimate index for a QI or HI is 0, SI can be any number 0..63,
1320 DI can be any number 0..60. */
1322 #define GO_IF_LEGITIMATE_INDEX(MODE, OP, LABEL) \
1324 if (GET_CODE (OP) == CONST_INT) \
1326 if (MODE_DISP_OK_4 ((OP), (MODE))) goto LABEL; \
1327 if (MODE_DISP_OK_8 ((OP), (MODE))) goto LABEL; \
1331 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL) \
1333 if (BASE_REGISTER_RTX_P (X)) \
1335 else if ((GET_CODE (X) == POST_INC || GET_CODE (X) == PRE_DEC) \
1336 && BASE_REGISTER_RTX_P (XEXP ((X), 0))) \
1338 else if (GET_CODE (X) == PLUS \
1339 && ((MODE) != PSImode || reload_completed)) \
1341 rtx xop0 = XEXP ((X), 0); \
1342 rtx xop1 = XEXP ((X), 1); \
1343 if (GET_MODE_SIZE (MODE) <= 8 && BASE_REGISTER_RTX_P (xop0)) \
1344 GO_IF_LEGITIMATE_INDEX ((MODE), xop1, LABEL); \
1345 if (GET_MODE_SIZE (MODE) <= 4 \
1346 || (TARGET_SH4 && TARGET_FMOVD && MODE == DFmode)) \
1348 if (BASE_REGISTER_RTX_P (xop1) && INDEX_REGISTER_RTX_P (xop0))\
1350 if (INDEX_REGISTER_RTX_P (xop1) && BASE_REGISTER_RTX_P (xop0))\
1356 /* Try machine-dependent ways of modifying an illegitimate address
1357 to be legitimate. If we find one, return the new, valid address.
1358 This macro is used in only one place: `memory_address' in explow.c.
1360 OLDX is the address as it was before break_out_memory_refs was called.
1361 In some cases it is useful to look at this to decide what needs to be done.
1363 MODE and WIN are passed so that this macro can use
1364 GO_IF_LEGITIMATE_ADDRESS.
1366 It is always safe for this macro to do nothing. It exists to recognize
1367 opportunities to optimize the output.
1369 For the SH, if X is almost suitable for indexing, but the offset is
1370 out of range, convert it into a normal form so that cse has a chance
1371 of reducing the number of address registers used. */
1373 #define LEGITIMIZE_ADDRESS(X,OLDX,MODE,WIN) \
1375 if (GET_CODE (X) == PLUS \
1376 && (GET_MODE_SIZE (MODE) == 4 \
1377 || GET_MODE_SIZE (MODE) == 8) \
1378 && GET_CODE (XEXP ((X), 1)) == CONST_INT \
1379 && BASE_REGISTER_RTX_P (XEXP ((X), 0)) \
1380 && ! (TARGET_SH4 && (MODE) == DFmode) \
1381 && ! (TARGET_SH3E && (MODE) == SFmode)) \
1383 rtx index_rtx = XEXP ((X), 1); \
1384 HOST_WIDE_INT offset = INTVAL (index_rtx), offset_base; \
1387 GO_IF_LEGITIMATE_INDEX ((MODE), index_rtx, WIN); \
1388 /* On rare occasions, we might get an unaligned pointer \
1389 that is indexed in a way to give an aligned address. \
1390 Therefore, keep the lower two bits in offset_base. */ \
1391 /* Instead of offset_base 128..131 use 124..127, so that \
1392 simple add suffices. */ \
1395 offset_base = ((offset + 4) & ~60) - 4; \
1398 offset_base = offset & ~60; \
1399 /* Sometimes the normal form does not suit DImode. We \
1400 could avoid that by using smaller ranges, but that \
1401 would give less optimized code when SImode is \
1403 if (GET_MODE_SIZE (MODE) + offset - offset_base <= 64) \
1405 sum = expand_binop (Pmode, add_optab, XEXP ((X), 0), \
1406 GEN_INT (offset_base), NULL_RTX, 0, \
1409 (X) = gen_rtx_PLUS (Pmode, sum, GEN_INT (offset - offset_base)); \
1415 /* A C compound statement that attempts to replace X, which is an address
1416 that needs reloading, with a valid memory address for an operand of
1417 mode MODE. WIN is a C statement label elsewhere in the code.
1419 Like for LEGITIMIZE_ADDRESS, for the SH we try to get a normal form
1420 of the address. That will allow inheritance of the address reloads. */
1422 #define LEGITIMIZE_RELOAD_ADDRESS(X,MODE,OPNUM,TYPE,IND_LEVELS,WIN) \
1424 if (GET_CODE (X) == PLUS \
1425 && (GET_MODE_SIZE (MODE) == 4 || GET_MODE_SIZE (MODE) == 8) \
1426 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1427 && BASE_REGISTER_RTX_P (XEXP (X, 0)) \
1428 && ! (TARGET_SH4 && (MODE) == DFmode) \
1429 && ! ((MODE) == PSImode && (TYPE) == RELOAD_FOR_INPUT_ADDRESS)) \
1431 rtx index_rtx = XEXP (X, 1); \
1432 HOST_WIDE_INT offset = INTVAL (index_rtx), offset_base; \
1435 if (TARGET_SH3E && MODE == SFmode) \
1438 push_reload (index_rtx, NULL_RTX, &XEXP (X, 1), NULL_PTR, \
1439 INDEX_REG_CLASS, Pmode, VOIDmode, 0, 0, (OPNUM), \
1443 /* Instead of offset_base 128..131 use 124..127, so that \
1444 simple add suffices. */ \
1447 offset_base = ((offset + 4) & ~60) - 4; \
1450 offset_base = offset & ~60; \
1451 /* Sometimes the normal form does not suit DImode. We \
1452 could avoid that by using smaller ranges, but that \
1453 would give less optimized code when SImode is \
1455 if (GET_MODE_SIZE (MODE) + offset - offset_base <= 64) \
1457 sum = gen_rtx (PLUS, Pmode, XEXP (X, 0), \
1458 GEN_INT (offset_base)); \
1459 X = gen_rtx (PLUS, Pmode, sum, GEN_INT (offset - offset_base));\
1460 push_reload (sum, NULL_RTX, &XEXP (X, 0), NULL_PTR, \
1461 BASE_REG_CLASS, Pmode, VOIDmode, 0, 0, (OPNUM), \
1466 /* We must re-recognize what we created before. */ \
1467 else if (GET_CODE (X) == PLUS \
1468 && (GET_MODE_SIZE (MODE) == 4 || GET_MODE_SIZE (MODE) == 8) \
1469 && GET_CODE (XEXP (X, 0)) == PLUS \
1470 && GET_CODE (XEXP (XEXP (X, 0), 1)) == CONST_INT \
1471 && BASE_REGISTER_RTX_P (XEXP (XEXP (X, 0), 0)) \
1472 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1473 && ! (TARGET_SH3E && MODE == SFmode)) \
1475 /* Because this address is so complex, we know it must have \
1476 been created by LEGITIMIZE_RELOAD_ADDRESS before; thus, \
1477 it is already unshared, and needs no further unsharing. */ \
1478 push_reload (XEXP ((X), 0), NULL_RTX, &XEXP ((X), 0), NULL_PTR, \
1479 BASE_REG_CLASS, Pmode, VOIDmode, 0, 0, (OPNUM), (TYPE));\
1484 /* Go to LABEL if ADDR (a legitimate address expression)
1485 has an effect that depends on the machine mode it is used for.
1487 ??? Strictly speaking, we should also include all indexed addressing,
1488 because the index scale factor is the length of the operand.
1489 However, the impact of GO_IF_MODE_DEPENDENT_ADDRESS would be to
1490 high if we did that. So we rely on reload to fix things up. */
1492 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL) \
1494 if (GET_CODE(ADDR) == PRE_DEC || GET_CODE(ADDR) == POST_INC) \
1498 /* Specify the machine mode that this machine uses
1499 for the index in the tablejump instruction. */
1500 #define CASE_VECTOR_MODE (TARGET_BIGTABLE ? SImode : HImode)
1502 #define CASE_VECTOR_SHORTEN_MODE(MIN_OFFSET, MAX_OFFSET, BODY) \
1503 ((MIN_OFFSET) >= 0 && (MAX_OFFSET) <= 127 \
1504 ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 0, QImode) \
1505 : (MIN_OFFSET) >= 0 && (MAX_OFFSET) <= 255 \
1506 ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 1, QImode) \
1507 : (MIN_OFFSET) >= -32768 && (MAX_OFFSET) <= 32767 ? HImode \
1510 /* Define as C expression which evaluates to nonzero if the tablejump
1511 instruction expects the table to contain offsets from the address of the
1513 Do not define this if the table should contain absolute addresses. */
1514 #define CASE_VECTOR_PC_RELATIVE 1
1516 /* Specify the tree operation to be used to convert reals to integers. */
1517 #define IMPLICIT_FIX_EXPR FIX_ROUND_EXPR
1519 /* This is the kind of divide that is easiest to do in the general case. */
1520 #define EASY_DIV_EXPR TRUNC_DIV_EXPR
1522 /* Since the SH3e has only `float' support, it is desirable to make all
1523 floating point types equivalent to `float'. */
1524 #define DOUBLE_TYPE_SIZE ((TARGET_SH3E && ! TARGET_SH4) ? 32 : 64)
1526 /* 'char' is signed by default. */
1527 #define DEFAULT_SIGNED_CHAR 1
1529 /* The type of size_t unsigned int. */
1530 #define SIZE_TYPE "unsigned int"
1532 #define WCHAR_TYPE "short unsigned int"
1533 #define WCHAR_TYPE_SIZE 16
1535 /* Don't cse the address of the function being compiled. */
1536 /*#define NO_RECURSIVE_FUNCTION_CSE 1*/
1538 /* Max number of bytes we can move from memory to memory
1539 in one reasonably fast instruction. */
1542 /* Max number of bytes we want move_by_pieces to be able to copy
1544 #define MOVE_MAX_PIECES (TARGET_SH4 ? 8 : 4)
1546 /* Define if operations between registers always perform the operation
1547 on the full register even if a narrower mode is specified. */
1548 #define WORD_REGISTER_OPERATIONS
1550 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD
1551 will either zero-extend or sign-extend. The value of this macro should
1552 be the code that says which one of the two operations is implicitly
1553 done, NIL if none. */
1554 #define LOAD_EXTEND_OP(MODE) SIGN_EXTEND
1556 /* Define if loading short immediate values into registers sign extends. */
1557 #define SHORT_IMMEDIATES_SIGN_EXTEND
1559 /* Define this if zero-extension is slow (more than one real instruction).
1560 On the SH, it's only one instruction. */
1561 /* #define SLOW_ZERO_EXTEND */
1563 /* Nonzero if access to memory by bytes is no faster than for words. */
1564 #define SLOW_BYTE_ACCESS 1
1566 /* Force sizeof(bool) == 1 to maintain binary compatibility; otherwise, the
1567 change in SLOW_BYTE_ACCESS would have changed it to 4. */
1569 /* This used to use INT_TYPE_SIZE / CHAR_TYPE_SIZE, but these are
1570 not guaranteed to be defined when BOOL_TYPE_SIZE is used. */
1571 #define BOOL_TYPE_SIZE (flag_new_abi ? BITS_PER_WORD : BITS_PER_UNIT)
1573 /* We assume that the store-condition-codes instructions store 0 for false
1574 and some other value for true. This is the value stored for true. */
1576 #define STORE_FLAG_VALUE 1
1578 /* Immediate shift counts are truncated by the output routines (or was it
1579 the assembler?). Shift counts in a register are truncated by SH. Note
1580 that the native compiler puts too large (> 32) immediate shift counts
1581 into a register and shifts by the register, letting the SH decide what
1582 to do instead of doing that itself. */
1583 /* ??? The library routines in lib1funcs.asm truncate the shift count.
1584 However, the SH3 has hardware shifts that do not truncate exactly as gcc
1585 expects - the sign bit is significant - so it appears that we need to
1586 leave this zero for correct SH3 code. */
1587 #define SHIFT_COUNT_TRUNCATED (! TARGET_SH3)
1589 /* All integers have the same format so truncation is easy. */
1590 #define TRULY_NOOP_TRUNCATION(OUTPREC,INPREC) 1
1592 /* Define this if addresses of constant functions
1593 shouldn't be put through pseudo regs where they can be cse'd.
1594 Desirable on machines where ordinary constants are expensive
1595 but a CALL with constant address is cheap. */
1596 /*#define NO_FUNCTION_CSE 1*/
1598 /* Chars and shorts should be passed as ints. */
1599 #define PROMOTE_PROTOTYPES 1
1601 /* The machine modes of pointers and functions. */
1602 #define Pmode SImode
1603 #define FUNCTION_MODE Pmode
1605 /* The relative costs of various types of constants. Note that cse.c defines
1606 REG = 1, SUBREG = 2, any node = (2 + sum of subnodes). */
1608 #define CONST_COSTS(RTX, CODE, OUTER_CODE) \
1610 if (INTVAL (RTX) == 0) \
1612 else if (CONST_OK_FOR_I (INTVAL (RTX))) \
1614 else if (((OUTER_CODE) == AND || (OUTER_CODE) == IOR || (OUTER_CODE) == XOR) \
1615 && CONST_OK_FOR_L (INTVAL (RTX))) \
1623 case CONST_DOUBLE: \
1626 #define RTX_COSTS(X, CODE, OUTER_CODE) \
1628 return (COSTS_N_INSNS (1) \
1629 + rtx_cost (XEXP ((X), 0), PLUS) \
1630 + (rtx_equal_p (XEXP ((X), 0), XEXP ((X), 1))\
1631 ? 0 : rtx_cost (XEXP ((X), 1), PLUS)));\
1633 return COSTS_N_INSNS (andcosts (X)); \
1635 return COSTS_N_INSNS (multcosts (X)); \
1639 /* Add one extra unit for the matching constraint. \
1640 Otherwise loop strength reduction would think that\
1641 a shift with different sourc and destination is \
1642 as cheap as adding a constant to a register. */ \
1643 return (COSTS_N_INSNS (shiftcosts (X)) \
1644 + rtx_cost (XEXP ((X), 0), (CODE)) \
1650 return COSTS_N_INSNS (20); \
1655 /* The multiply insn on the SH1 and the divide insns on the SH1 and SH2
1656 are actually function calls with some special constraints on arguments
1659 These macros tell reorg that the references to arguments and
1660 register clobbers for insns of type sfunc do not appear to happen
1661 until after the millicode call. This allows reorg to put insns
1662 which set the argument registers into the delay slot of the millicode
1663 call -- thus they act more like traditional CALL_INSNs.
1665 get_attr_is_sfunc will try to recognize the given insn, so make sure to
1666 filter out things it will not accept -- SEQUENCE, USE and CLOBBER insns
1669 #define INSN_SETS_ARE_DELAYED(X) \
1670 ((GET_CODE (X) == INSN \
1671 && GET_CODE (PATTERN (X)) != SEQUENCE \
1672 && GET_CODE (PATTERN (X)) != USE \
1673 && GET_CODE (PATTERN (X)) != CLOBBER \
1674 && get_attr_is_sfunc (X)))
1676 #define INSN_REFERENCES_ARE_DELAYED(X) \
1677 ((GET_CODE (X) == INSN \
1678 && GET_CODE (PATTERN (X)) != SEQUENCE \
1679 && GET_CODE (PATTERN (X)) != USE \
1680 && GET_CODE (PATTERN (X)) != CLOBBER \
1681 && get_attr_is_sfunc (X)))
1683 /* Compute the cost of an address. For the SH, all valid addresses are
1685 /* ??? Perhaps we should make reg+reg addresses have higher cost because
1686 they add to register pressure on r0. */
1688 #define ADDRESS_COST(RTX) 1
1690 /* Compute extra cost of moving data between one register class
1693 /* Regclass always uses 2 for moves in the same register class;
1694 If SECONDARY*_RELOAD_CLASS says something about the src/dst pair,
1695 it uses this information. Hence, the general register <-> floating point
1696 register information here is not used for SFmode. */
1697 #define REGISTER_MOVE_COST(SRCCLASS, DSTCLASS) \
1698 ((((DSTCLASS) == T_REGS) || ((DSTCLASS) == PR_REGS)) ? 10 \
1699 : ((((DSTCLASS) == FP0_REGS || (DSTCLASS) == FP_REGS || (DSTCLASS) == DF_REGS) \
1700 && ((SRCCLASS) == GENERAL_REGS || (SRCCLASS) == R0_REGS)) \
1701 || (((DSTCLASS) == GENERAL_REGS || (DSTCLASS) == R0_REGS) \
1702 && ((SRCCLASS) == FP0_REGS || (SRCCLASS) == FP_REGS \
1703 || (SRCCLASS) == DF_REGS))) \
1704 ? TARGET_FMOVD ? 8 : 12 \
1705 : (((DSTCLASS) == FPUL_REGS \
1706 && ((SRCCLASS) == GENERAL_REGS || (SRCCLASS) == R0_REGS)) \
1707 || (SRCCLASS == FPUL_REGS \
1708 && ((DSTCLASS) == GENERAL_REGS || (DSTCLASS) == R0_REGS))) \
1710 : (((DSTCLASS) == FPUL_REGS \
1711 && ((SRCCLASS) == PR_REGS || (SRCCLASS) == MAC_REGS \
1712 || (SRCCLASS) == T_REGS)) \
1713 || ((SRCCLASS) == FPUL_REGS \
1714 && ((DSTCLASS) == PR_REGS || (DSTCLASS) == MAC_REGS))) \
1718 /* ??? Perhaps make MEMORY_MOVE_COST depend on compiler option? This
1719 would be so that people with slow memory systems could generate
1720 different code that does fewer memory accesses. */
1722 /* A C expression for the cost of a branch instruction. A value of 1
1723 is the default; other values are interpreted relative to that.
1724 The SH1 does not have delay slots, hence we get a pipeline stall
1725 at every branch. The SH4 is superscalar, so the single delay slot
1726 is not sufficient to keep both pipelines filled. */
1727 #define BRANCH_COST (! TARGET_SH2 || TARGET_HARD_SH4 ? 2 : 1)
1729 /* Assembler output control. */
1731 /* A C string constant describing how to begin a comment in the target
1732 assembler language. The compiler assumes that the comment will end at
1733 the end of the line. */
1734 #define ASM_COMMENT_START "!"
1736 /* The text to go at the start of the assembler file. */
1737 #define ASM_FILE_START(STREAM) \
1738 output_file_start (STREAM)
1740 #define ASM_FILE_END(STREAM)
1742 #define ASM_APP_ON ""
1743 #define ASM_APP_OFF ""
1744 #define FILE_ASM_OP "\t.file\n"
1745 #define IDENT_ASM_OP "\t.ident\n"
1746 #define SET_ASM_OP ".set"
1748 /* How to change between sections. */
1750 #define TEXT_SECTION_ASM_OP "\t.text"
1751 #define DATA_SECTION_ASM_OP "\t.data"
1752 #define CTORS_SECTION_ASM_OP "\t.section\t.ctors\n"
1753 #define DTORS_SECTION_ASM_OP "\t.section\t.dtors\n"
1754 #define EXTRA_SECTIONS in_ctors, in_dtors
1755 #define EXTRA_SECTION_FUNCTIONS \
1759 if (in_section != in_ctors) \
1761 fprintf (asm_out_file, "%s\n", CTORS_SECTION_ASM_OP); \
1762 in_section = in_ctors; \
1768 if (in_section != in_dtors) \
1770 fprintf (asm_out_file, "%s\n", DTORS_SECTION_ASM_OP); \
1771 in_section = in_dtors; \
1775 /* If defined, a C expression whose value is a string containing the
1776 assembler operation to identify the following data as
1777 uninitialized global data. If not defined, and neither
1778 `ASM_OUTPUT_BSS' nor `ASM_OUTPUT_ALIGNED_BSS' are defined,
1779 uninitialized global data will be output in the data section if
1780 `-fno-common' is passed, otherwise `ASM_OUTPUT_COMMON' will be
1782 #ifndef BSS_SECTION_ASM_OP
1783 #define BSS_SECTION_ASM_OP ".section\t.bss"
1786 /* Like `ASM_OUTPUT_BSS' except takes the required alignment as a
1787 separate, explicit argument. If you define this macro, it is used
1788 in place of `ASM_OUTPUT_BSS', and gives you more flexibility in
1789 handling the required alignment of the variable. The alignment is
1790 specified as the number of bits.
1792 Try to use function `asm_output_aligned_bss' defined in file
1793 `varasm.c' when defining this macro. */
1794 #ifndef ASM_OUTPUT_ALIGNED_BSS
1795 #define ASM_OUTPUT_ALIGNED_BSS(FILE, DECL, NAME, SIZE, ALIGN) \
1796 asm_output_aligned_bss (FILE, DECL, NAME, SIZE, ALIGN)
1799 /* Define this so that jump tables go in same section as the current function,
1800 which could be text or it could be a user defined section. */
1801 #define JUMP_TABLES_IN_TEXT_SECTION 1
1803 /* A C statement to output something to the assembler file to switch to section
1804 NAME for object DECL which is either a FUNCTION_DECL, a VAR_DECL or
1805 NULL_TREE. Some target formats do not support arbitrary sections. Do not
1806 define this macro in such cases. */
1808 #define ASM_OUTPUT_SECTION_NAME(FILE, DECL, NAME, RELOC) \
1809 do { fprintf (FILE, ".section\t%s\n", NAME); } while (0)
1811 #define ASM_OUTPUT_CONSTRUCTOR(FILE,NAME) \
1812 do { ctors_section(); asm_fprintf((FILE),"\t.long\t%U%s\n", (NAME)); } while (0)
1814 #define ASM_OUTPUT_DESTRUCTOR(FILE,NAME) \
1815 do { dtors_section(); asm_fprintf((FILE),"\t.long\t%U%s\n", (NAME)); } while (0)
1817 #undef DO_GLOBAL_CTORS_BODY
1819 #define DO_GLOBAL_CTORS_BODY \
1821 typedef (*pfunc)(); \
1822 extern pfunc __ctors[]; \
1823 extern pfunc __ctors_end[]; \
1825 for (p = __ctors_end; p > __ctors; ) \
1831 #undef DO_GLOBAL_DTORS_BODY
1832 #define DO_GLOBAL_DTORS_BODY \
1834 typedef (*pfunc)(); \
1835 extern pfunc __dtors[]; \
1836 extern pfunc __dtors_end[]; \
1838 for (p = __dtors; p < __dtors_end; p++) \
1844 #define ASM_OUTPUT_REG_PUSH(file, v) \
1845 fprintf ((file), "\tmov.l\tr%d,-@r15\n", (v));
1847 #define ASM_OUTPUT_REG_POP(file, v) \
1848 fprintf ((file), "\tmov.l\t@r15+,r%d\n", (v));
1850 /* The assembler's names for the registers. RFP need not always be used as
1851 the Real framepointer; it can also be used as a normal general register.
1852 Note that the name `fp' is horribly misleading since `fp' is in fact only
1853 the argument-and-return-context pointer. */
1855 extern char fp_reg_names[][5];
1857 #define REGISTER_NAMES \
1859 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \
1860 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \
1861 "ap", "pr", "t", "gbr", "mach","macl", fp_reg_names[16], "rap", \
1862 fp_reg_names[0], fp_reg_names[1] , fp_reg_names[2], fp_reg_names[3], \
1863 fp_reg_names[4], fp_reg_names[5], fp_reg_names[6], fp_reg_names[7], \
1864 fp_reg_names[8], fp_reg_names[9], fp_reg_names[10], fp_reg_names[11], \
1865 fp_reg_names[12], fp_reg_names[13], fp_reg_names[14], fp_reg_names[15], \
1866 fp_reg_names[17], fp_reg_names[18], fp_reg_names[19], fp_reg_names[20], \
1867 fp_reg_names[21], fp_reg_names[22], fp_reg_names[23], fp_reg_names[24], \
1871 #define DEBUG_REGISTER_NAMES \
1873 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \
1874 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \
1875 "ap", "pr", "t", "gbr", "mach","macl", "fpul","rap", \
1876 "fr0","fr1","fr2", "fr3", "fr4", "fr5", "fr6", "fr7", \
1877 "fr8","fr9","fr10","fr11","fr12","fr13","fr14","fr15",\
1878 "xd0","xd2","xd4", "xd6", "xd8", "xd10","xd12","xd14", \
1882 /* DBX register number for a given compiler register number. */
1883 /* GDB has FPUL at 23 and FP0 at 25, so we must add one to all FP registers
1885 #define DBX_REGISTER_NUMBER(REGNO) \
1886 (((REGNO) >= 22 && (REGNO) <= 39) ? ((REGNO) + 1) : (REGNO))
1888 /* Output a label definition. */
1889 #define ASM_OUTPUT_LABEL(FILE,NAME) \
1890 do { assemble_name ((FILE), (NAME)); fputs (":\n", (FILE)); } while (0)
1892 /* This is how to output an assembler line
1893 that says to advance the location counter
1894 to a multiple of 2**LOG bytes. */
1896 #define ASM_OUTPUT_ALIGN(FILE,LOG) \
1898 fprintf ((FILE), "\t.align %d\n", (LOG))
1900 /* Output a function label definition. */
1901 #define ASM_DECLARE_FUNCTION_NAME(STREAM,NAME,DECL) \
1902 ASM_OUTPUT_LABEL((STREAM), (NAME))
1904 /* Output a globalising directive for a label. */
1905 #define ASM_GLOBALIZE_LABEL(STREAM,NAME) \
1906 (fprintf ((STREAM), "\t.global\t"), \
1907 assemble_name ((STREAM), (NAME)), \
1908 fputc ('\n', (STREAM)))
1910 /* The prefix to add to user-visible assembler symbols. */
1912 #define USER_LABEL_PREFIX "_"
1914 /* The prefix to add to an internally generated label. */
1916 #define LOCAL_LABEL_PREFIX ""
1918 /* Make an internal label into a string. */
1919 #define ASM_GENERATE_INTERNAL_LABEL(STRING, PREFIX, NUM) \
1920 sprintf ((STRING), "*%s%s%ld", LOCAL_LABEL_PREFIX, (PREFIX), (long)(NUM))
1922 /* Output an internal label definition. */
1923 #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM) \
1924 asm_fprintf ((FILE), "%L%s%d:\n", (PREFIX), (NUM))
1926 /* #define ASM_OUTPUT_CASE_END(STREAM,NUM,TABLE) */
1928 /* Construct a private name. */
1929 #define ASM_FORMAT_PRIVATE_NAME(OUTVAR,NAME,NUMBER) \
1930 ((OUTVAR) = (char *) alloca (strlen (NAME) + 10), \
1931 sprintf ((OUTVAR), "%s.%d", (NAME), (NUMBER)))
1933 /* Output a relative address table. */
1935 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM,BODY,VALUE,REL) \
1936 switch (GET_MODE (BODY)) \
1939 asm_fprintf ((STREAM), "\t.long\t%LL%d-%LL%d\n", (VALUE),(REL)); \
1942 asm_fprintf ((STREAM), "\t.word\t%LL%d-%LL%d\n", (VALUE),(REL)); \
1945 asm_fprintf ((STREAM), "\t.byte\t%LL%d-%LL%d\n", (VALUE),(REL)); \
1951 /* Output an absolute table element. */
1953 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM,VALUE) \
1954 if (TARGET_BIGTABLE) \
1955 asm_fprintf ((STREAM), "\t.long\t%LL%d\n", (VALUE)); \
1957 asm_fprintf ((STREAM), "\t.word\t%LL%d\n", (VALUE)); \
1959 /* Output various types of constants. */
1961 /* This is how to output an assembler line defining a `double'. */
1963 #define ASM_OUTPUT_DOUBLE(FILE,VALUE) \
1964 do { char dstr[30]; \
1965 REAL_VALUE_TO_DECIMAL ((VALUE), "%.20e", dstr); \
1966 fprintf ((FILE), "\t.double %s\n", dstr); \
1969 /* This is how to output an assembler line defining a `float' constant. */
1970 #define ASM_OUTPUT_FLOAT(FILE,VALUE) \
1971 do { char dstr[30]; \
1972 REAL_VALUE_TO_DECIMAL ((VALUE), "%.20e", dstr); \
1973 fprintf ((FILE), "\t.float %s\n", dstr); \
1976 #define ASM_OUTPUT_INT(STREAM, EXP) \
1977 (fprintf ((STREAM), "\t.long\t"), \
1978 output_addr_const ((STREAM), (EXP)), \
1979 fputc ('\n', (STREAM)))
1981 #define ASM_OUTPUT_SHORT(STREAM, EXP) \
1982 (fprintf ((STREAM), "\t.short\t"), \
1983 output_addr_const ((STREAM), (EXP)), \
1984 fputc ('\n', (STREAM)))
1986 #define ASM_OUTPUT_CHAR(STREAM, EXP) \
1987 (fprintf ((STREAM), "\t.byte\t"), \
1988 output_addr_const ((STREAM), (EXP)), \
1989 fputc ('\n', (STREAM)))
1991 #define ASM_OUTPUT_BYTE(STREAM, VALUE) \
1992 fprintf ((STREAM), "\t.byte\t%d\n", (VALUE)) \
1994 /* The next two are used for debug info when compiling with -gdwarf. */
1995 #define UNALIGNED_SHORT_ASM_OP ".uaword"
1996 #define UNALIGNED_INT_ASM_OP ".ualong"
1998 /* Loop alignment is now done in machine_dependent_reorg, so that
1999 branch shortening can know about it. */
2001 /* This is how to output an assembler line
2002 that says to advance the location counter by SIZE bytes. */
2004 #define ASM_OUTPUT_SKIP(FILE,SIZE) \
2005 fprintf ((FILE), "\t.space %d\n", (SIZE))
2007 /* This says how to output an assembler line
2008 to define a global common symbol. */
2010 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED) \
2011 ( fputs ("\t.comm ", (FILE)), \
2012 assemble_name ((FILE), (NAME)), \
2013 fprintf ((FILE), ",%d\n", (SIZE)))
2015 /* This says how to output an assembler line
2016 to define a local common symbol. */
2018 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED) \
2019 ( fputs ("\t.lcomm ", (FILE)), \
2020 assemble_name ((FILE), (NAME)), \
2021 fprintf ((FILE), ",%d\n", (SIZE)))
2023 /* The assembler's parentheses characters. */
2024 #define ASM_OPEN_PAREN "("
2025 #define ASM_CLOSE_PAREN ")"
2027 /* Target characters. */
2028 #define TARGET_BELL 007
2029 #define TARGET_BS 010
2030 #define TARGET_TAB 011
2031 #define TARGET_NEWLINE 012
2032 #define TARGET_VT 013
2033 #define TARGET_FF 014
2034 #define TARGET_CR 015
2036 /* A C statement to be executed just prior to the output of
2037 assembler code for INSN, to modify the extracted operands so
2038 they will be output differently.
2040 Here the argument OPVEC is the vector containing the operands
2041 extracted from INSN, and NOPERANDS is the number of elements of
2042 the vector which contain meaningful data for this insn.
2043 The contents of this vector are what will be used to convert the insn
2044 template into assembler code, so you can change the assembler output
2045 by changing the contents of the vector. */
2047 #define FINAL_PRESCAN_INSN(INSN, OPVEC, NOPERANDS) \
2048 final_prescan_insn ((INSN), (OPVEC), (NOPERANDS))
2050 /* Print operand X (an rtx) in assembler syntax to file FILE.
2051 CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified.
2052 For `%' followed by punctuation, CODE is the punctuation and X is null. */
2054 #define PRINT_OPERAND(STREAM, X, CODE) print_operand ((STREAM), (X), (CODE))
2056 /* Print a memory address as an operand to reference that memory location. */
2058 #define PRINT_OPERAND_ADDRESS(STREAM,X) print_operand_address ((STREAM), (X))
2060 #define PRINT_OPERAND_PUNCT_VALID_P(CHAR) \
2061 ((CHAR) == '.' || (CHAR) == '#' || (CHAR) == '@' || (CHAR) == ',' \
2064 extern struct rtx_def *sh_compare_op0;
2065 extern struct rtx_def *sh_compare_op1;
2067 /* Which processor to schedule for. The elements of the enumeration must
2068 match exactly the cpu attribute in the sh.md file. */
2070 enum processor_type {
2078 #define sh_cpu_attr ((enum attr_cpu)sh_cpu)
2079 extern enum processor_type sh_cpu;
2081 extern enum machine_mode sh_addr_diff_vec_mode;
2083 extern int optimize; /* needed for gen_casesi. */
2085 enum mdep_reorg_phase_e
2087 SH_BEFORE_MDEP_REORG,
2088 SH_INSERT_USES_LABELS,
2089 SH_SHORTEN_BRANCHES0,
2091 SH_SHORTEN_BRANCHES1,
2095 extern enum mdep_reorg_phase_e mdep_reorg_phase;
2097 #define MACHINE_DEPENDENT_REORG(X) machine_dependent_reorg(X)
2099 /* Generate calls to memcpy, memcmp and memset. */
2101 #define TARGET_MEM_FUNCTIONS
2103 /* Define this macro if you want to implement any pragmas. If defined, it
2104 is a C expression whose value is 1 if the pragma was handled by the
2105 macro, zero otherwise. */
2106 #define HANDLE_PRAGMA(GETC, UNGETC, NODE) sh_handle_pragma (GETC, UNGETC, NODE)
2108 /* Set when processing a function with pragma interrupt turned on. */
2110 extern int pragma_interrupt;
2112 /* Set to an RTX containing the address of the stack to switch to
2113 for interrupt functions. */
2114 extern struct rtx_def *sp_switch;
2116 /* A C expression whose value is nonzero if IDENTIFIER with arguments ARGS
2117 is a valid machine specific attribute for DECL.
2118 The attributes in ATTRIBUTES have previously been assigned to DECL. */
2119 #define VALID_MACHINE_DECL_ATTRIBUTE(DECL, ATTRIBUTES, IDENTIFIER, ARGS) \
2120 sh_valid_machine_decl_attribute (DECL, ATTRIBUTES, IDENTIFIER, ARGS)
2122 #define PRAGMA_INSERT_ATTRIBUTES(node, pattr, prefix_attr) \
2123 sh_pragma_insert_attributes (node, pattr, prefix_attr)
2125 extern int sh_flag_remove_dead_before_cse;
2126 extern int rtx_equal_function_value_matters;
2127 extern struct rtx_def *fpscr_rtx;
2130 /* Instructions with unfilled delay slots take up an extra two bytes for
2131 the nop in the delay slot. */
2133 #define ADJUST_INSN_LENGTH(X, LENGTH) \
2134 if (((GET_CODE (X) == INSN \
2135 && GET_CODE (PATTERN (X)) != USE \
2136 && GET_CODE (PATTERN (X)) != CLOBBER) \
2137 || GET_CODE (X) == CALL_INSN \
2138 || (GET_CODE (X) == JUMP_INSN \
2139 && GET_CODE (PATTERN (X)) != ADDR_DIFF_VEC \
2140 && GET_CODE (PATTERN (X)) != ADDR_VEC)) \
2141 && GET_CODE (PATTERN (NEXT_INSN (PREV_INSN (X)))) != SEQUENCE \
2142 && get_attr_needs_delay_slot (X) == NEEDS_DELAY_SLOT_YES) \
2145 /* Define the codes that are matched by predicates in sh.c. */
2146 #define PREDICATE_CODES \
2147 {"arith_operand", {SUBREG, REG, CONST_INT}}, \
2148 {"arith_reg_operand", {SUBREG, REG}}, \
2149 {"arith_reg_or_0_operand", {SUBREG, REG, CONST_INT}}, \
2150 {"binary_float_operator", {PLUS, MULT}}, \
2151 {"commutative_float_operator", {PLUS, MULT}}, \
2152 {"fp_arith_reg_operand", {SUBREG, REG}}, \
2153 {"fp_extended_operand", {SUBREG, REG, FLOAT_EXTEND}}, \
2154 {"fpscr_operand", {REG}}, \
2155 {"general_movsrc_operand", {SUBREG, REG, CONST_INT, MEM}}, \
2156 {"general_movdst_operand", {SUBREG, REG, CONST_INT, MEM}}, \
2157 {"logical_operand", {SUBREG, REG, CONST_INT}}, \
2158 {"noncommutative_float_operator", {MINUS, DIV}}, \
2159 {"register_operand", {SUBREG, REG}},
2161 /* Define this macro if it is advisable to hold scalars in registers
2162 in a wider mode than that declared by the program. In such cases,
2163 the value is constrained to be within the bounds of the declared
2164 type, but kept valid in the wider mode. The signedness of the
2165 extension may differ from that of the type.
2167 Leaving the unsignedp unchanged gives better code than always setting it
2168 to 0. This is despite the fact that we have only signed char and short
2169 load instructions. */
2170 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE) \
2171 if (GET_MODE_CLASS (MODE) == MODE_INT \
2172 && GET_MODE_SIZE (MODE) < UNITS_PER_WORD) \
2175 /* Defining PROMOTE_FUNCTION_ARGS eliminates some unnecessary zero/sign
2176 extensions applied to char/short functions arguments. Defining
2177 PROMOTE_FUNCTION_RETURN does the same for function returns. */
2179 #define PROMOTE_FUNCTION_ARGS
2180 #define PROMOTE_FUNCTION_RETURN
2182 /* ??? Define ACCUMULATE_OUTGOING_ARGS? This is more efficient than pushing
2183 and poping arguments. However, we do have push/pop instructions, and
2184 rather limited offsets (4 bits) in load/store instructions, so it isn't
2185 clear if this would give better code. If implemented, should check for
2186 compatibility problems. */
2188 /* A C statement (sans semicolon) to update the integer variable COST
2189 based on the relationship between INSN that is dependent on
2190 DEP_INSN through the dependence LINK. The default is to make no
2191 adjustment to COST. This can be used for example to specify to
2192 the scheduler that an output- or anti-dependence does not incur
2193 the same cost as a data-dependence. */
2195 #define ADJUST_COST(insn,link,dep_insn,cost) \
2199 if (GET_CODE(insn) == CALL_INSN) \
2201 /* The only input for a call that is timing-critical is the \
2202 function's address. */ \
2203 rtx call = PATTERN (insn); \
2205 if (GET_CODE (call) == PARALLEL) \
2206 call = XVECEXP (call, 0 ,0); \
2207 if (GET_CODE (call) == SET) \
2208 call = SET_SRC (call); \
2209 if (GET_CODE (call) == CALL && GET_CODE (XEXP (call, 0)) == MEM \
2210 && ! reg_set_p (XEXP (XEXP (call, 0), 0), dep_insn)) \
2213 /* All sfunc calls are parallels with at least four components. \
2214 Exploit this to avoid unnecessary calls to sfunc_uses_reg. */ \
2215 else if (GET_CODE (PATTERN (insn)) == PARALLEL \
2216 && XVECLEN (PATTERN (insn), 0) >= 4 \
2217 && (reg = sfunc_uses_reg (insn))) \
2219 /* Likewise, the most timing critical input for an sfuncs call \
2220 is the function address. However, sfuncs typically start \
2221 using their arguments pretty quickly. \
2222 Assume a four cycle delay before they are needed. */ \
2223 if (! reg_set_p (reg, dep_insn)) \
2224 cost -= TARGET_SUPERSCALAR ? 40 : 4; \
2226 /* Adjust load_si / pcload_si type insns latency. Use the known \
2227 nominal latency and form of the insn to speed up the check. */ \
2228 else if (cost == 3 \
2229 && GET_CODE (PATTERN (dep_insn)) == SET \
2230 /* Latency for dmpy type insns is also 3, so check the that \
2231 it's actually a move insn. */ \
2232 && general_movsrc_operand (SET_SRC (PATTERN (dep_insn)), SImode))\
2234 else if (cost == 30 \
2235 && GET_CODE (PATTERN (dep_insn)) == SET \
2236 && GET_MODE (SET_SRC (PATTERN (dep_insn))) == SImode) \
2240 #define SH_DYNAMIC_SHIFT_COST \
2241 (TARGET_HARD_SH4 ? 1 : TARGET_SH3 ? (TARGET_SMALLCODE ? 1 : 2) : 20)
OSDN Git Service
