1 /* Definitions for GCC. Part of the machine description for CRIS.
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007
3 Free Software Foundation, Inc.
4 Contributed by Axis Communications. Written by Hans-Peter Nilsson.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 /* After the first "Node:" comment comes all preprocessor directives and
23 attached declarations described in the info files, the "Using and
24 Porting GCC" manual (uapgcc), in the same order as found in the "Target
25 macros" section in the gcc-2.9x CVS edition of 2000-03-17. FIXME: Not
26 really, but needs an update anyway.
28 There is no generic copy-of-uapgcc comment, you'll have to see uapgcc
29 for that. If applicable, there is a CRIS-specific comment. The order
30 of macro definitions follow the order in the manual. Every section in
31 the manual (node in the info pages) has an introductory `Node:
32 <subchapter>' comment. If no macros are defined for a section, only
33 the section-comment is present. */
35 /* Note that other header files (e.g. config/elfos.h, config/linux.h,
36 config/cris/linux.h and config/cris/aout.h) are responsible for lots of
37 settings not repeated below. This file contains general CRIS
38 definitions and definitions for the cris-*-elf subtarget. */
40 /* We don't want to use gcc_assert for everything, as that can be
42 #define CRIS_ASSERT(x) \
43 do { if (!(x)) internal_error ("CRIS-port assertion failed: " #x); } while (0)
45 /* Replacement for REG_P since it does not match SUBREGs. Happens for
46 testcase Axis-20000320 with gcc-2.9x. */
48 (REG_P (x) || (GET_CODE (x) == SUBREG && REG_P (XEXP (x, 0))))
50 /* Last register in main register bank r0..r15. */
51 #define CRIS_LAST_GENERAL_REGISTER 15
53 /* Descriptions of registers used for arguments. */
54 #define CRIS_FIRST_ARG_REG 10
55 #define CRIS_MAX_ARGS_IN_REGS 4
57 /* See also *_REGNUM constants in cris.md. */
59 /* Most of the time, we need the index into the register-names array.
60 When passing debug-info, we need the real hardware register number. */
61 #define CRIS_CANONICAL_SRP_REGNUM (16 + 11)
62 #define CRIS_CANONICAL_MOF_REGNUM (16 + 7)
63 /* We have CCR in all models including v10, but that's 16 bits, so let's
64 prefer the DCCR number, which is a DMA pointer in pre-v8, so we'll
65 never clash with it for GCC purposes. */
66 #define CRIS_CANONICAL_CC0_REGNUM (16 + 13)
68 /* When generating PIC, these suffixes are added to the names of non-local
69 functions when being output. Contrary to other ports, we have offsets
70 relative to the GOT, not the PC. We might implement PC-relative PLT
71 semantics later for the general case; they are used in some cases right
72 now, such as MI thunks. */
73 #define CRIS_GOTPLT_SUFFIX ":GOTPLT"
74 #define CRIS_PLT_GOTOFFSET_SUFFIX ":PLTG"
75 #define CRIS_PLT_PCOFFSET_SUFFIX ":PLT"
77 #define CRIS_FUNCTION_ARG_SIZE(MODE, TYPE) \
78 ((MODE) != BLKmode ? GET_MODE_SIZE (MODE) \
79 : (unsigned) int_size_in_bytes (TYPE))
81 /* Which CPU version this is. The parsed and adjusted cris_cpu_str. */
82 extern int cris_cpu_version
;
84 /* Changing the order used to be necessary to put the fourth __make_dp
85 argument (a DImode parameter) in registers, to fit with the libfunc
86 parameter passing scheme used for intrinsic functions. FIXME: Check
87 performance and maybe remove definition from TARGET_LIBGCC2_CFLAGS now
88 that it isn't strictly necessary. We used to do this through
89 TARGET_LIBGCC2_CFLAGS, but that became increasingly difficult as the
90 parenthesis (that needed quoting) travels through several layers of
91 make and shell invocations. */
93 #define __make_dp(a,b,c,d) __cris_make_dp(d,a,b,c)
99 /* When using make with defaults.mak for Sun this will handily remove
100 any "-target sun*" switches. */
101 /* We need to override any previous definitions (linux.h) */
102 #undef WORD_SWITCH_TAKES_ARG
103 #define WORD_SWITCH_TAKES_ARG(STR) \
104 (DEFAULT_WORD_SWITCH_TAKES_ARG (STR) \
105 || !strcmp (STR, "target"))
107 /* Also provide canonical vN definitions when user specifies an alias.
108 Note that -melf overrides -maout. */
111 "%{mtune=*:-D__tune_%* %{mtune=v*:-D__CRIS_arch_tune=%*}\
112 %{mtune=etrax4:-D__tune_v3 -D__CRIS_arch_tune=3}\
113 %{mtune=etrax100:-D__tune_v8 -D__CRIS_arch_tune=8}\
114 %{mtune=svinto:-D__tune_v8 -D__CRIS_arch_tune=8}\
115 %{mtune=etrax100lx:-D__tune_v10 -D__CRIS_arch_tune=10}\
116 %{mtune=ng:-D__tune_v10 -D__CRIS_arch_tune=10}}\
117 %{mcpu=*:-D__arch_%* %{mcpu=v*:-D__CRIS_arch_version=%*}\
118 %{mcpu=etrax4:-D__arch_v3 -D__CRIS_arch_version=3}\
119 %{mcpu=etrax100:-D__arch_v8 -D__CRIS_arch_version=8}\
120 %{mcpu=svinto:-D__arch_v8 -D__CRIS_arch_version=8}\
121 %{mcpu=etrax100lx:-D__arch_v10 -D__CRIS_arch_version=10}\
122 %{mcpu=ng:-D__arch_v10 -D__CRIS_arch_version=10}}\
123 %{march=*:-D__arch_%* %{march=v*:-D__CRIS_arch_version=%*}\
124 %{march=etrax4:-D__arch_v3 -D__CRIS_arch_version=3}\
125 %{march=etrax100:-D__arch_v8 -D__CRIS_arch_version=8}\
126 %{march=svinto:-D__arch_v8 -D__CRIS_arch_version=8}\
127 %{march=etrax100lx:-D__arch_v10 -D__CRIS_arch_version=10}\
128 %{march=ng:-D__arch_v10 -D__CRIS_arch_version=10}}\
129 %{metrax100:-D__arch__v8 -D__CRIS_arch_version=8}\
130 %{metrax4:-D__arch__v3 -D__CRIS_arch_version=3}\
133 /* For the cris-*-elf subtarget. */
135 #define CRIS_DEFAULT_TUNE "10"
136 #define CRIS_ARCH_CPP_DEFAULT
137 #define CRIS_DEFAULT_ASM_ARCH_OPTION ""
139 #ifdef TARGET_CPU_DEFAULT
140 #if TARGET_CPU_DEFAULT != 32 && TARGET_CPU_DEFAULT != 10
141 #error "Due to '()'; e.g. '#define TARGET_CPU_DEFAULT (10)', stringize TARGET_CPU_DEFAULT isn't useful: update manually."
144 #if TARGET_CPU_DEFAULT == 32
145 #undef CRIS_DEFAULT_TUNE
146 #define CRIS_DEFAULT_TUNE "32"
147 /* To enable use of "generic" cris-axis-elf binutils, always pass the
148 architecture option to GAS. (We don't do this for non-v32.) */
149 #undef CRIS_DEFAULT_ASM_ARCH_OPTION
150 #define CRIS_DEFAULT_ASM_ARCH_OPTION "--march=v32"
153 #undef CRIS_ARCH_CPP_DEFAULT
154 #define CRIS_ARCH_CPP_DEFAULT \
158 %{!mtune=*:-D__tune_v" CRIS_DEFAULT_TUNE "}\
159 -D__arch_v"CRIS_DEFAULT_TUNE\
160 " -D__CRIS_arch_version=" CRIS_DEFAULT_TUNE "}}}"
163 #define CRIS_CPP_SUBTARGET_SPEC \
164 "%{mbest-lib-options:\
165 %{!moverride-best-lib-options:\
166 %{!march=*:%{!metrax*:%{!mcpu=*:\
167 -D__tune_v" CRIS_DEFAULT_TUNE \
168 " -D__CRIS_arch_tune=" CRIS_DEFAULT_TUNE "}}}}}"\
169 CRIS_ARCH_CPP_DEFAULT
171 /* Remove those Sun-make "target" switches. */
172 /* Override previous definitions (linux.h). */
176 %{metrax4:-march=v3}\
177 %{metrax100:-march=v8}\
180 /* For the cris-*-elf subtarget. */
181 #define CRIS_CC1_SUBTARGET_SPEC \
183 %{mbest-lib-options:\
184 %{!moverride-best-lib-options:\
185 %{!march=*:%{!mcpu=*:-mtune=v" CRIS_DEFAULT_TUNE\
186 " -D__CRIS_arch_tune=" CRIS_DEFAULT_TUNE "}}\
187 %{!finhibit-size-directive:\
188 %{!fno-function-sections: -ffunction-sections}\
189 %{!fno-data-sections: -fdata-sections}}}}"
191 /* This adds to CC1_SPEC. */
192 #define CC1PLUS_SPEC ""
194 #ifdef HAVE_AS_NO_MUL_BUG_ABORT_OPTION
195 #define MAYBE_AS_NO_MUL_BUG_ABORT \
196 "%{mno-mul-bug-workaround:-no-mul-bug-abort} "
198 #define MAYBE_AS_NO_MUL_BUG_ABORT
201 /* Override previous definitions (linux.h). */
204 MAYBE_AS_NO_MUL_BUG_ABORT \
207 %{march=*:%{cpu=*:%eDo not specify both -march=... and -mcpu=...}}\
208 %{march=v32:--march=v32} %{mcpu=v32:--march=v32}"
210 /* For the cris-*-elf subtarget. */
211 #define CRIS_ASM_SUBTARGET_SPEC \
212 "--em=criself %{!march=*:%{!cpu=*:" CRIS_DEFAULT_ASM_ARCH_OPTION "}}"
214 /* FIXME: We should propagate the -melf option to make the criself
215 "emulation" unless a linker script is provided (-T*), but I don't know
216 how to do that if either of -Ttext, -Tdata or -Tbss is given but no
217 linker script, as is usually the case. Leave it to the user for the
220 Note that -melf overrides -maout except that a.out-compiled libraries
221 are linked in (multilibbing). The somewhat cryptic -rpath-link pair is
222 to avoid *only* picking up the linux multilib subdir from the "-B./"
223 option during build, while still giving it preference. We'd need some
224 %s-variant that checked for existence of some specific file. */
225 /* Override previous definitions (svr4.h). */
231 /* For the cris-*-elf subtarget. */
232 #define CRIS_LINK_SUBTARGET_SPEC \
234 %{sim2:%{!T*:-Tdata 0x4000000 -Tbss 0x8000000}}\
235 %{!r:%{O2|O3: --gc-sections}}"
237 /* Which library to get. The simulator uses a different library for
238 the low-level syscalls (implementing the Linux syscall ABI instead
239 of direct-iron accesses). Default everything with the stub "nosys"
241 /* Override previous definitions (linux.h). */
244 "%{sim*:--start-group -lc -lsyslinux --end-group}\
246 %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p} -lbsp}\
249 /* Linker startfile options; crt0 flavors.
250 We need to remove any previous definition (elfos.h). */
251 #undef STARTFILE_SPEC
252 #define STARTFILE_SPEC \
253 "%{sim*:crt1.o%s}%{!sim*:crt0.o%s}\
254 crti.o%s crtbegin.o%s"
257 #define ENDFILE_SPEC "crtend.o%s crtn.o%s"
259 #define EXTRA_SPECS \
260 {"cpp_subtarget", CRIS_CPP_SUBTARGET_SPEC}, \
261 {"cc1_subtarget", CRIS_CC1_SUBTARGET_SPEC}, \
262 {"asm_subtarget", CRIS_ASM_SUBTARGET_SPEC}, \
263 {"link_subtarget", CRIS_LINK_SUBTARGET_SPEC}, \
264 CRIS_SUBTARGET_EXTRA_SPECS
266 #define CRIS_SUBTARGET_EXTRA_SPECS
269 /* Node: Run-time Target */
271 #define TARGET_CPU_CPP_BUILTINS() \
274 builtin_define_std ("cris"); \
275 builtin_define_std ("CRIS"); \
276 builtin_define_std ("GNU_CRIS"); \
277 builtin_define ("__CRIS_ABI_version=2"); \
278 builtin_assert ("cpu=cris"); \
279 builtin_assert ("machine=cris"); \
283 /* This needs to be at least 32 bits. */
284 extern int target_flags
;
286 /* Previously controlled by target_flags. */
289 /* Previously controlled by target_flags. Note that this is *not* set
291 #define TARGET_LINUX 0
293 /* For the cris-*-elf subtarget. */
294 #define CRIS_SUBTARGET_DEFAULT 0
296 #define CRIS_CPU_BASE 0
297 #define CRIS_CPU_ETRAX4 3 /* Just lz added. */
298 #define CRIS_CPU_SVINTO 8 /* Added swap, jsrc & Co., 32-bit accesses. */
299 #define CRIS_CPU_NG 10 /* Added mul[su]. */
300 #define CRIS_CPU_V32 32 /* Major changes. */
302 #ifndef TARGET_CPU_DEFAULT
303 #define TARGET_CPU_DEFAULT CRIS_CPU_BASE
306 /* Default target_flags if no switches specified. */
307 #ifndef TARGET_DEFAULT
308 # if TARGET_CPU_DEFAULT == 32
309 # define TARGET_DEFAULT \
311 + MASK_CONST_ALIGN + MASK_DATA_ALIGN \
312 + MASK_PROLOGUE_EPILOGUE)
314 # define TARGET_DEFAULT \
315 (MASK_SIDE_EFFECT_PREFIXES + MASK_STACK_ALIGN \
316 + MASK_CONST_ALIGN + MASK_DATA_ALIGN \
317 + MASK_PROLOGUE_EPILOGUE + MASK_MUL_BUG)
321 /* Local, providing a default for cris_cpu_version. */
322 #define CRIS_DEFAULT_CPU_VERSION TARGET_CPU_DEFAULT
324 #define TARGET_HAS_MUL_INSNS (cris_cpu_version >= CRIS_CPU_NG)
325 #define TARGET_HAS_LZ (cris_cpu_version >= CRIS_CPU_ETRAX4)
326 #define TARGET_HAS_SWAP (cris_cpu_version >= CRIS_CPU_SVINTO)
327 #define TARGET_V32 (cris_cpu_version >= CRIS_CPU_V32)
329 #define CRIS_SUBTARGET_HANDLE_OPTION(x, y, z)
331 #define OVERRIDE_OPTIONS cris_override_options ()
333 #define OPTIMIZATION_OPTIONS(OPTIMIZE, SIZE) \
336 if ((OPTIMIZE) >= 2 || (SIZE)) \
337 flag_omit_frame_pointer = 1; \
342 /* Node: Storage Layout */
344 #define BITS_BIG_ENDIAN 0
346 #define BYTES_BIG_ENDIAN 0
348 /* WORDS_BIG_ENDIAN is not defined in the hardware, but for consistency,
349 we use little-endianness, and we may also be able to use
350 post-increment on DImode indirect. */
351 #define WORDS_BIG_ENDIAN 0
353 #define UNITS_PER_WORD 4
355 /* A combination of defining PROMOTE_FUNCTION_MODE,
356 TARGET_PROMOTE_FUNCTION_ARGS that always returns true
357 and *not* defining TARGET_PROMOTE_PROTOTYPES or PROMOTE_MODE gives the
358 best code size and speed for gcc, ipps and products in gcc-2.7.2. */
359 #define CRIS_PROMOTED_MODE(MODE, UNSIGNEDP, TYPE) \
360 (GET_MODE_CLASS (MODE) == MODE_INT && GET_MODE_SIZE (MODE) < 4) \
363 #define PROMOTE_FUNCTION_MODE(MODE, UNSIGNEDP, TYPE) \
364 (MODE) = CRIS_PROMOTED_MODE (MODE, UNSIGNEDP, TYPE)
366 /* Defining PROMOTE_FUNCTION_RETURN in gcc-2.7.2 uncovers bug 981110 (even
367 if defining FUNCTION_VALUE with MODE as PROMOTED_MODE ;-)
369 FIXME: Report this when cris.h is part of GCC, so others can easily
370 see the problem. Maybe check other systems that define
371 TARGET_PROMOTE_FUNCTION_RETURN that always returns true. */
373 /* We will be using prototype promotion, so they will be 32 bit. */
374 #define PARM_BOUNDARY 32
376 /* Stack boundary is guided by -mstack-align, -mno-stack-align,
378 Old comment: (2.1: still valid in 2.7.2?)
379 Note that to make this macro affect the alignment of stack
380 locals, a fix was required, and special precautions when handling
381 the stack pointer in various other macros (TARGET_ASM_FUNCTION_PROLOGUE
382 et al) were required. See file "function.c". If you would just define
383 this macro, it would only affect the builtin alloca and variable
384 local data (non-ANSI, non-K&R, Gnu C extension). */
385 #define STACK_BOUNDARY \
386 (TARGET_STACK_ALIGN ? (TARGET_ALIGN_BY_32 ? 32 : 16) : 8)
388 #define FUNCTION_BOUNDARY 16
390 /* Do not change BIGGEST_ALIGNMENT (when optimizing), as it will affect
391 strange places, at least in 2.1. */
392 #define BIGGEST_ALIGNMENT 8
394 /* If -m16bit, -m16-bit, -malign or -mdata-align,
395 align everything to 16 bit. */
396 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN) \
398 ? (TARGET_ALIGN_BY_32 \
399 ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN) \
400 : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
402 /* Note that CONSTANT_ALIGNMENT has the effect of making gcc believe that
403 ALL references to constant stuff (in code segment, like strings) has
404 this alignment. That is a rather rushed assumption. Luckily we do not
405 care about the "alignment" operand to builtin memcpy (only place where
406 it counts), so it doesn't affect any bad spots. */
407 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN) \
408 (TARGET_CONST_ALIGN \
409 ? (TARGET_ALIGN_BY_32 \
410 ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN) \
411 : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
413 /* FIXME: Define LOCAL_ALIGNMENT for word and dword or arrays and
414 structures (if -mstack-align=), and check that it is good. */
416 #define EMPTY_FIELD_BOUNDARY 8
418 #define STRUCTURE_SIZE_BOUNDARY 8
420 #define STRICT_ALIGNMENT 0
422 /* Remove any previous definition (elfos.h).
423 ??? If it wasn't for all the other stuff that affects layout of
424 structures and bit-fields, this could presumably cause incompatibility
425 with other GNU/Linux ports (i.e. elfos.h users). */
426 #undef PCC_BITFIELD_TYPE_MATTERS
428 /* This is only used for non-scalars. Strange stuff happens to structs
429 (FIXME: What?) if we use anything larger than largest actually used
430 datum size, so lets make it 32. The type "long long" will still work
431 as usual. We can still have DImode insns, but they will only be used
432 for scalar data (i.e. long long). */
433 #define MAX_FIXED_MODE_SIZE 32
436 /* Node: Type Layout */
438 /* Note that DOUBLE_TYPE_SIZE is not defined anymore, since the default
439 value gives a 64-bit double, which is what we now use. */
441 /* For compatibility and historical reasons, a char should be signed. */
442 #define DEFAULT_SIGNED_CHAR 1
444 /* Note that WCHAR_TYPE_SIZE is used in cexp.y,
445 where TARGET_SHORT is not available. */
447 #define WCHAR_TYPE "long int"
449 #undef WCHAR_TYPE_SIZE
450 #define WCHAR_TYPE_SIZE 32
453 /* Node: Register Basics */
455 /* We count all 16 non-special registers, SRP, a faked argument
456 pointer register, MOF and CCR/DCCR. */
457 #define FIRST_PSEUDO_REGISTER (16 + 1 + 1 + 1 + 1)
459 /* For CRIS, these are r15 (pc) and r14 (sp). Register r8 is used as a
460 frame-pointer, but is not fixed. SRP is not included in general
461 registers and will not be used automatically. All other special
462 registers are fixed at the moment. The faked argument pointer register
464 #define FIXED_REGISTERS \
465 {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0}
467 /* Register r9 is used for structure-address, r10-r13 for parameters,
468 r10- for return values. */
469 #define CALL_USED_REGISTERS \
470 {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1}
472 #define CONDITIONAL_REGISTER_USAGE cris_conditional_register_usage ()
475 /* Node: Allocation Order */
477 /* We need this on CRIS, because call-used regs should be used first,
478 (so we don't need to push). Else start using registers from r0 and up.
479 This preference is mainly because if we put call-used-regs from r0
480 and up, then we can't use movem to push the rest, (which have to be
481 saved if we use them, and movem has to start with r0).
482 Change here if you change which registers to use as call registers.
484 The actual need to explicitly prefer call-used registers improved the
485 situation a lot for 2.1, but might not actually be needed anymore.
486 Still, this order reflects what GCC should find out by itself, so it
487 probably does not hurt.
489 Order of preference: Call-used-regs first, then r0 and up, last fp &
491 Call-used regs in opposite order, so they will cause less conflict if
492 a function has few args (<= 3) and it wants a scratch reg.
493 Use struct-return address first, since very few functions use
494 structure return values so it is likely to be available. */
495 #define REG_ALLOC_ORDER \
496 {9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 14, 15, 17, 16, 18, 19}
498 /* Use MOF and ACR. Prefer ACR before any other register. Prefer MOF
499 then SRP after saved registers. The *after* is because they're only
500 useful for storage, not for things being computed, which is
501 apparently more common. */
502 #define REG_ALLOC_ORDER_V32 \
503 {15, 9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 17, 16, 14, 18, 19}
506 /* Node: Values in Registers */
508 /* The VOIDmode test is so we can omit mode on anonymous insns. FIXME:
509 Still needed in 2.9x, at least for Axis-20000319. */
510 #define HARD_REGNO_NREGS(REGNO, MODE) \
512 ? 1 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
514 /* CRIS permits all registers to hold all modes. Well, except for the
515 condition-code register. And we can't hold larger-than-register size
516 modes in the last special register that can hold a full 32 bits. */
517 #define HARD_REGNO_MODE_OK(REGNO, MODE) \
519 || (REGNO) != CRIS_CC0_REGNUM) \
520 && (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
521 || ((REGNO) != CRIS_MOF_REGNUM && (REGNO) != CRIS_ACR_REGNUM)))
523 /* Because CCmode isn't covered by the "narrower mode" statement in
524 tm.texi, we can still say all modes are tieable despite not having an
525 always 1 HARD_REGNO_MODE_OK. */
526 #define MODES_TIEABLE_P(MODE1, MODE2) 1
529 /* Node: Leaf Functions */
530 /* (no definitions) */
532 /* Node: Stack Registers */
533 /* (no definitions) */
536 /* Node: Register Classes */
538 /* FIXME: A separate class for the return register would make sense.
540 We need a separate register class to handle register allocation for
541 ACR, since it can't be used for post-increment.
543 It's not obvious, but having subunions of all movable-between
544 register classes does really help register allocation. */
548 ACR_REGS
, MOF_REGS
, CC0_REGS
, SPECIAL_REGS
,
549 SPEC_ACR_REGS
, GENNONACR_REGS
,
550 SPEC_GENNONACR_REGS
, GENERAL_REGS
,
555 #define N_REG_CLASSES (int) LIM_REG_CLASSES
557 #define REG_CLASS_NAMES \
559 "ACR_REGS", "MOF_REGS", "CC0_REGS", "SPECIAL_REGS", \
560 "SPEC_ACR_REGS", "GENNONACR_REGS", "SPEC_GENNONACR_REGS", \
561 "GENERAL_REGS", "ALL_REGS"}
563 #define CRIS_SPECIAL_REGS_CONTENTS \
564 ((1 << CRIS_SRP_REGNUM) | (1 << CRIS_MOF_REGNUM) | (1 << CRIS_CC0_REGNUM))
566 /* Count in the faked argument register in GENERAL_REGS. Keep out SRP. */
567 #define REG_CLASS_CONTENTS \
570 {1 << CRIS_ACR_REGNUM}, \
571 {1 << CRIS_MOF_REGNUM}, \
572 {1 << CRIS_CC0_REGNUM}, \
573 {CRIS_SPECIAL_REGS_CONTENTS}, \
574 {CRIS_SPECIAL_REGS_CONTENTS \
575 | (1 << CRIS_ACR_REGNUM)}, \
576 {(0xffff | (1 << CRIS_AP_REGNUM)) \
577 & ~(1 << CRIS_ACR_REGNUM)}, \
578 {(0xffff | (1 << CRIS_AP_REGNUM) \
579 | CRIS_SPECIAL_REGS_CONTENTS) \
580 & ~(1 << CRIS_ACR_REGNUM)}, \
581 {0xffff | (1 << CRIS_AP_REGNUM)}, \
582 {0xffff | (1 << CRIS_AP_REGNUM) \
583 | CRIS_SPECIAL_REGS_CONTENTS} \
586 #define REGNO_REG_CLASS(REGNO) \
587 ((REGNO) == CRIS_ACR_REGNUM ? ACR_REGS : \
588 (REGNO) == CRIS_MOF_REGNUM ? MOF_REGS : \
589 (REGNO) == CRIS_CC0_REGNUM ? CC0_REGS : \
590 (REGNO) == CRIS_SRP_REGNUM ? SPECIAL_REGS : \
593 #define BASE_REG_CLASS GENERAL_REGS
595 #define MODE_CODE_BASE_REG_CLASS(MODE, OCODE, ICODE) \
596 ((OCODE) != POST_INC ? BASE_REG_CLASS : GENNONACR_REGS)
598 #define INDEX_REG_CLASS GENERAL_REGS
600 #define REG_CLASS_FROM_LETTER(C) \
602 (C) == 'a' ? ACR_REGS : \
603 (C) == 'b' ? GENNONACR_REGS : \
604 (C) == 'h' ? MOF_REGS : \
605 (C) == 'x' ? SPECIAL_REGS : \
606 (C) == 'c' ? CC0_REGS : \
610 /* Since it uses reg_renumber, it is safe only once reg_renumber
611 has been allocated, which happens in local-alloc.c. */
612 #define REGNO_OK_FOR_BASE_P(REGNO) \
613 ((REGNO) <= CRIS_LAST_GENERAL_REGISTER \
614 || (REGNO) == ARG_POINTER_REGNUM \
615 || (unsigned) reg_renumber[REGNO] <= CRIS_LAST_GENERAL_REGISTER \
616 || (unsigned) reg_renumber[REGNO] == ARG_POINTER_REGNUM)
618 /* REGNO_OK_FOR_BASE_P seems to be obsolete wrt. this one, but not yet
619 documented as such. */
620 #define REGNO_MODE_CODE_OK_FOR_BASE_P(REGNO, MODE, OCODE, ICODE) \
621 (REGNO_OK_FOR_BASE_P (REGNO) \
622 && ((OCODE) != POST_INC \
623 || !((REGNO) == CRIS_ACR_REGNUM \
624 || (unsigned) reg_renumber[REGNO] == CRIS_ACR_REGNUM)))
626 /* See REGNO_OK_FOR_BASE_P. */
627 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO)
629 /* It seems like gcc (2.7.2 and 2.9x of 2000-03-22) may send "NO_REGS" as
630 the class for a constant (testcase: __Mul in arit.c). To avoid forcing
631 out a constant into the constant pool, we will trap this case and
632 return something a bit more sane. FIXME: Check if this is a bug.
633 Beware that we must not "override" classes that can be specified as
634 constraint letters, or else asm operands using them will fail when
635 they need to be reloaded. FIXME: Investigate whether that constitutes
637 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
638 ((CLASS) != ACR_REGS \
639 && (CLASS) != MOF_REGS \
640 && (CLASS) != CC0_REGS \
641 && (CLASS) != SPECIAL_REGS \
642 ? GENERAL_REGS : (CLASS))
644 /* We can't move special registers to and from memory in smaller than
646 #define SECONDARY_RELOAD_CLASS(CLASS, MODE, X) \
647 (((CLASS) != SPECIAL_REGS && (CLASS) != MOF_REGS) \
648 || GET_MODE_SIZE (MODE) == 4 \
650 ? NO_REGS : GENERAL_REGS)
652 /* FIXME: Fix regrename.c; it should check validity of replacements,
653 not just with a silly pass-specific macro. We may miss some
654 opportunities, but we must stop regrename from creating acr++. */
655 #define HARD_REGNO_RENAME_OK(FROM, TO) ((TO) != CRIS_ACR_REGNUM)
657 /* For CRIS, this is always the size of MODE in words,
658 since all registers are the same size. To use omitted modes in
659 patterns with reload constraints, you must say the widest size
660 which is allowed for VOIDmode.
661 FIXME: Does that still apply for gcc-2.9x? Keep poisoned until such
662 patterns are added back. News: 2001-03-16: Happens as early as the
664 #define CLASS_MAX_NREGS(CLASS, MODE) \
665 ((MODE) == VOIDmode \
666 ? 1 /* + cris_fatal ("CLASS_MAX_NREGS with VOIDmode") */ \
667 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
669 /* We are now out of letters; we could use ten more. This forces us to
670 use C-code in the 'md' file. FIXME: Use some EXTRA_CONSTRAINTS. */
671 #define CRIS_CONST_OK_FOR_LETTER_P(VALUE, C) \
673 /* MOVEQ, CMPQ, ANDQ, ORQ. */ \
674 (C) == 'I' ? (VALUE) >= -32 && (VALUE) <= 31 : \
676 (C) == 'J' ? (VALUE) >= 0 && (VALUE) <= 63 : \
677 /* ASRQ, BTSTQ, LSRQ, LSLQ. */ \
678 (C) == 'K' ? (VALUE) >= 0 && (VALUE) <= 31 : \
679 /* A 16-bit signed number. */ \
680 (C) == 'L' ? (VALUE) >= -32768 && (VALUE) <= 32767 : \
681 /* The constant 0 for CLEAR. */ \
682 (C) == 'M' ? (VALUE) == 0 : \
683 /* A negative ADDQ or SUBQ. */ \
684 (C) == 'N' ? (VALUE) >= -63 && (VALUE) < 0 : \
685 /* Quickened ints, QI and HI. */ \
686 (C) == 'O' ? (VALUE) >= 0 && (VALUE) <= 65535 \
687 && ((VALUE) >= (65535-31) \
688 || ((VALUE) >= (255-31) \
689 && (VALUE) <= 255 )) : \
690 /* A 16-bit number signed *or* unsigned. */ \
691 (C) == 'P' ? (VALUE) >= -32768 && (VALUE) <= 65535 : \
694 #define CONST_OK_FOR_CONSTRAINT_P(VALUE, C, S) \
696 ((C) != 'K' || (S)[1] == 'c') \
697 ? CRIS_CONST_OK_FOR_LETTER_P (VALUE, C) : \
698 ((C) == 'K' && (S)[1] == 'p') \
699 ? exact_log2 (VALUE) >= 0 : \
702 #define CONSTRAINT_LEN(C, S) ((C) == 'K' ? 2 : DEFAULT_CONSTRAINT_LEN (C, S))
704 /* It is really simple to make up a 0.0; it is the same as int-0 in
706 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
707 ((C) == 'G' && ((VALUE) == CONST0_RTX (DFmode) \
708 || (VALUE) == CONST0_RTX (SFmode)))
710 /* We need this on cris to distinguish delay-slottable addressing modes. */
711 #define EXTRA_CONSTRAINT(X, C) \
713 /* Slottable address mode? */ \
714 (C) == 'Q' ? EXTRA_CONSTRAINT_Q (X) : \
715 /* Operand to BDAP or BIAP? */ \
716 (C) == 'R' ? EXTRA_CONSTRAINT_R (X) : \
717 /* A local PIC symbol? */ \
718 (C) == 'S' ? EXTRA_CONSTRAINT_S (X) : \
719 /* A three-address addressing-mode? */ \
720 (C) == 'T' ? EXTRA_CONSTRAINT_T (X) : \
721 /* A PLT symbol? */ \
722 (C) == 'U' ? EXTRA_CONSTRAINT_U (X) : \
725 #define EXTRA_MEMORY_CONSTRAINT(X, STR) ((X) == 'Q')
727 #define EXTRA_CONSTRAINT_Q(X) \
729 /* Just an indirect register (happens to also be \
730 "all" slottable memory addressing modes not \
731 covered by other constraints, i.e. '>'). */ \
732 MEM_P (X) && BASE_P (XEXP (X, 0)) \
735 #define EXTRA_CONSTRAINT_R(X) \
737 /* An operand to BDAP or BIAP: \
740 /* A [reg] or (int) [reg], maybe with post-increment. */ \
741 || BDAP_INDEX_P (X) \
742 || CONSTANT_INDEX_P (X) \
745 #define EXTRA_CONSTRAINT_T(X) \
747 /* Memory three-address operand. All are indirect-memory: */ \
749 && ((MEM_P (XEXP (X, 0)) \
750 /* Double indirect: [[reg]] or [[reg+]]? */ \
751 && (BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0)))) \
752 /* Just an explicit indirect reference: [const]? */ \
753 || CONSTANT_P (XEXP (X, 0)) \
754 /* Something that is indexed; [...+...]? */ \
755 || (GET_CODE (XEXP (X, 0)) == PLUS \
756 /* A BDAP constant: [reg+(8|16|32)bit offset]? */ \
757 && ((BASE_P (XEXP (XEXP (X, 0), 0)) \
758 && CONSTANT_INDEX_P (XEXP (XEXP (X, 0), 1))) \
759 /* A BDAP register: [reg+[reg(+)].S]? */ \
760 || (BASE_P (XEXP (XEXP (X, 0), 0)) \
761 && BDAP_INDEX_P(XEXP(XEXP(X, 0), 1))) \
762 /* Same, but with swapped arguments (no canonical \
763 ordering between e.g. REG and MEM as of LAST_UPDATED \
764 "Thu May 12 03:59:11 UTC 2005"). */ \
765 || (BASE_P (XEXP (XEXP (X, 0), 1)) \
766 && BDAP_INDEX_P (XEXP (XEXP (X, 0), 0))) \
767 /* A BIAP: [reg+reg.S] (MULT comes first). */ \
768 || (BASE_P (XEXP (XEXP (X, 0), 1)) \
769 && BIAP_INDEX_P (XEXP (XEXP (X, 0), 0)))))) \
772 /* PIC-constructs for symbols. */
773 #define EXTRA_CONSTRAINT_S(X) \
774 (flag_pic && GET_CODE (X) == CONST && cris_valid_pic_const (X, false))
776 #define EXTRA_CONSTRAINT_U(X) \
779 && cris_nonmemory_operand_or_callable_symbol (X, VOIDmode))
782 /* Node: Frame Layout */
784 #define STACK_GROWS_DOWNWARD
785 #define FRAME_GROWS_DOWNWARD 1
787 /* It seems to be indicated in the code (at least 2.1) that this is
788 better a constant, and best 0. */
789 #define STARTING_FRAME_OFFSET 0
791 #define FIRST_PARM_OFFSET(FNDECL) 0
793 #define RETURN_ADDR_RTX(COUNT, FRAMEADDR) \
794 cris_return_addr_rtx (COUNT, FRAMEADDR)
796 #define INCOMING_RETURN_ADDR_RTX gen_rtx_REG (Pmode, CRIS_SRP_REGNUM)
798 /* FIXME: Any __builtin_eh_return callers must not return anything and
799 there must not be collisions with incoming parameters. Luckily the
800 number of __builtin_eh_return callers is limited. For now return
801 parameter registers in reverse order and hope for the best. */
802 #define EH_RETURN_DATA_REGNO(N) \
803 (IN_RANGE ((N), 0, 3) ? (CRIS_FIRST_ARG_REG + 3 - (N)) : INVALID_REGNUM)
805 /* Store the stack adjustment in the structure-return-address register. */
806 #define CRIS_STACKADJ_REG CRIS_STRUCT_VALUE_REGNUM
807 #define EH_RETURN_STACKADJ_RTX gen_rtx_REG (SImode, CRIS_STACKADJ_REG)
809 #define EH_RETURN_HANDLER_RTX \
810 cris_return_addr_rtx (0, NULL)
812 #define INIT_EXPANDERS cris_init_expanders ()
814 /* FIXME: Move this to right node (it's not documented properly yet). */
815 #define DWARF_FRAME_RETURN_COLUMN DWARF_FRAME_REGNUM (CRIS_SRP_REGNUM)
817 /* FIXME: Move this to right node (it's not documented properly yet).
818 FIXME: Check what alignment we can assume regarding
819 TARGET_STACK_ALIGN and TARGET_ALIGN_BY_32. */
820 #define DWARF_CIE_DATA_ALIGNMENT -1
822 /* If we would ever need an exact mapping between canonical register
823 number and dwarf frame register, we would either need to include all
824 registers in the gcc description (with some marked fixed of course), or
825 an inverse mapping from dwarf register to gcc register. There is one
826 need in dwarf2out.c:expand_builtin_init_dwarf_reg_sizes. Right now, I
827 don't see that we need exact correspondence between DWARF *frame*
828 registers and DBX_REGISTER_NUMBER, so map them onto GCC registers. */
829 #define DWARF_FRAME_REGNUM(REG) (REG)
831 /* Node: Stack Checking */
832 /* (no definitions) FIXME: Check. */
834 /* Node: Frame Registers */
836 #define STACK_POINTER_REGNUM CRIS_SP_REGNUM
838 /* Register used for frame pointer. This is also the last of the saved
839 registers, when a frame pointer is not used. */
840 #define FRAME_POINTER_REGNUM CRIS_FP_REGNUM
842 /* Faked register, is always eliminated. We need it to eliminate
843 allocating stack slots for the return address and the frame pointer. */
844 #define ARG_POINTER_REGNUM CRIS_AP_REGNUM
846 #define STATIC_CHAIN_REGNUM CRIS_STATIC_CHAIN_REGNUM
849 /* Node: Elimination */
851 /* Really only needed if the stack frame has variable length (alloca
852 or variable sized local arguments (GNU C extension). */
853 #define FRAME_POINTER_REQUIRED 0
855 #define ELIMINABLE_REGS \
856 {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
857 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
858 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
860 /* We need not worry about when the frame-pointer is required for other
862 #define CAN_ELIMINATE(FROM, TO) 1
864 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
865 (OFFSET) = cris_initial_elimination_offset (FROM, TO)
868 /* Node: Stack Arguments */
870 /* Since many parameters take up one register each in any case,
871 defining TARGET_PROMOTE_PROTOTYPES that always returns true would
872 seem like a good idea, but measurements indicate that a combination
873 using PROMOTE_MODE is better. */
875 #define ACCUMULATE_OUTGOING_ARGS 1
877 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACKSIZE) 0
880 /* Node: Register Arguments */
882 /* The void_type_node is sent as a "closing" call. */
883 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
884 ((CUM).regs < CRIS_MAX_ARGS_IN_REGS \
885 ? gen_rtx_REG (MODE, (CRIS_FIRST_ARG_REG) + (CUM).regs) \
888 /* The differences between this and the previous, is that this one checks
889 that an argument is named, since incoming stdarg/varargs arguments are
890 pushed onto the stack, and we don't have to check against the "closing"
891 void_type_node TYPE parameter. */
892 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED) \
893 ((NAMED) && (CUM).regs < CRIS_MAX_ARGS_IN_REGS \
894 ? gen_rtx_REG (MODE, CRIS_FIRST_ARG_REG + (CUM).regs) \
897 /* Contrary to what you'd believe, defining FUNCTION_ARG_CALLEE_COPIES
898 seems like a (small total) loss, at least for gcc-2.7.2 compiling and
899 running gcc-2.1 (small win in size, small loss running -- 100.1%),
900 and similarly for size for products (.1 .. .3% bloat, sometimes win).
901 Due to the empirical likeliness of making slower code, it is not
904 /* This no longer *needs* to be a structure; but keeping it as such should
905 not hurt (and hacking the ABI is simpler). */
906 #define CUMULATIVE_ARGS struct cum_args
907 struct cum_args
{int regs
;};
909 /* The regs member is an integer, the number of arguments got into
911 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, FNDECL, N_NAMED_ARGS) \
914 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
915 ((CUM).regs += (3 + CRIS_FUNCTION_ARG_SIZE (MODE, TYPE)) / 4)
917 #define FUNCTION_ARG_REGNO_P(REGNO) \
918 ((REGNO) >= CRIS_FIRST_ARG_REG \
919 && (REGNO) < CRIS_FIRST_ARG_REG + (CRIS_MAX_ARGS_IN_REGS))
922 /* Node: Scalar Return */
924 /* Let's assume all functions return in r[CRIS_FIRST_ARG_REG] for the
926 #define FUNCTION_VALUE(VALTYPE, FUNC) \
927 gen_rtx_REG (TYPE_MODE (VALTYPE), CRIS_FIRST_ARG_REG)
929 #define LIBCALL_VALUE(MODE) gen_rtx_REG (MODE, CRIS_FIRST_ARG_REG)
931 #define FUNCTION_VALUE_REGNO_P(N) ((N) == CRIS_FIRST_ARG_REG)
934 /* Node: Aggregate Return */
936 #define CRIS_STRUCT_VALUE_REGNUM ((CRIS_FIRST_ARG_REG) - 1)
939 /* Node: Caller Saves */
940 /* (no definitions) */
942 /* Node: Function entry */
944 /* See cris.c for TARGET_ASM_FUNCTION_PROLOGUE and
945 TARGET_ASM_FUNCTION_EPILOGUE. */
947 /* Node: Profiling */
949 #define FUNCTION_PROFILER(FILE, LABELNO) \
950 error ("no FUNCTION_PROFILER for CRIS")
952 /* FIXME: Some of the undefined macros might be mandatory. If so, fix
956 /* Node: Trampolines */
958 /* This looks too complicated, and it is. I assigned r7 to be the
959 static chain register, but it is call-saved, so we have to save it,
960 and come back to restore it after the call, so we have to save srp...
961 Anyway, trampolines are rare enough that we can cope with this
962 somewhat lack of elegance.
963 (Do not be tempted to "straighten up" whitespace in the asms; the
964 assembler #NO_APP state mandates strict spacing). */
965 #define TRAMPOLINE_TEMPLATE(FILE) \
970 /* This normally-unused nop insn acts as an instruction to \
971 the simulator to flush its instruction cache. None of \
972 the other instructions in the trampoline template suits \
973 as a trigger for V32. The pc-relative addressing mode \
974 works nicely as a trigger for V10. \
975 FIXME: Have specific V32 template (possibly avoiding the \
976 use of a special instruction). */ \
977 fprintf (FILE, "\tclearf x\n"); \
978 /* We have to use a register as an intermediate, choosing \
979 semi-randomly R1 (which has to not be the \
980 STATIC_CHAIN_REGNUM), so we can use it for address \
981 indirection and jsr target. */ \
982 fprintf (FILE, "\tmove $r1,$mof\n"); \
984 fprintf (FILE, "\tmove.d 0,$r1\n"); \
985 fprintf (FILE, "\tmove.d $%s,[$r1]\n", \
986 reg_names[STATIC_CHAIN_REGNUM]); \
987 fprintf (FILE, "\taddq 6,$r1\n"); \
988 fprintf (FILE, "\tmove $mof,[$r1]\n"); \
989 fprintf (FILE, "\taddq 6,$r1\n"); \
990 fprintf (FILE, "\tmove $srp,[$r1]\n"); \
992 fprintf (FILE, "\tmove.d 0,$%s\n", \
993 reg_names[STATIC_CHAIN_REGNUM]); \
995 fprintf (FILE, "\tmove.d 0,$r1\n"); \
996 fprintf (FILE, "\tjsr $r1\n"); \
997 fprintf (FILE, "\tsetf\n"); \
999 fprintf (FILE, "\tmove.d 0,$%s\n", \
1000 reg_names[STATIC_CHAIN_REGNUM]); \
1002 fprintf (FILE, "\tmove.d 0,$r1\n"); \
1004 fprintf (FILE, "\tmove.d 0,$r9\n"); \
1005 fprintf (FILE, "\tjump $r9\n"); \
1006 fprintf (FILE, "\tsetf\n"); \
1010 fprintf (FILE, "\tmove.d $%s,[$pc+20]\n", \
1011 reg_names[STATIC_CHAIN_REGNUM]); \
1012 fprintf (FILE, "\tmove $srp,[$pc+22]\n"); \
1013 fprintf (FILE, "\tmove.d 0,$%s\n", \
1014 reg_names[STATIC_CHAIN_REGNUM]); \
1015 fprintf (FILE, "\tjsr 0\n"); \
1016 fprintf (FILE, "\tmove.d 0,$%s\n", \
1017 reg_names[STATIC_CHAIN_REGNUM]); \
1018 fprintf (FILE, "\tjump 0\n"); \
1023 #define TRAMPOLINE_SIZE (TARGET_V32 ? 58 : 32)
1025 /* CRIS wants instructions on word-boundary.
1026 Note that due to a bug (reported) in 2.7.2 and earlier, this is
1027 actually treated as alignment in _bytes_, not _bits_. (Obviously
1028 this is not fatal, only a slight waste of stack space). */
1029 #define TRAMPOLINE_ALIGNMENT 16
1031 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
1035 emit_move_insn (gen_rtx_MEM (SImode, \
1036 plus_constant (TRAMP, 6)), \
1037 plus_constant (TRAMP, 38)); \
1038 emit_move_insn (gen_rtx_MEM (SImode, \
1039 plus_constant (TRAMP, 22)), \
1041 emit_move_insn (gen_rtx_MEM (SImode, \
1042 plus_constant (TRAMP, 28)), \
1047 emit_move_insn (gen_rtx_MEM (SImode, \
1048 plus_constant (TRAMP, 10)), \
1050 emit_move_insn (gen_rtx_MEM (SImode, \
1051 plus_constant (TRAMP, 16)), \
1056 /* Note that there is no need to do anything with the cache for sake of
1060 /* Node: Library Calls */
1062 /* If you change this, you have to check whatever libraries and systems
1064 #define TARGET_EDOM 33
1067 /* Node: Addressing Modes */
1069 #define HAVE_POST_INCREMENT 1
1071 #define CONSTANT_ADDRESS_P(X) CONSTANT_P (X)
1073 /* Must be a compile-time constant, so we go with the highest value
1074 among all CRIS variants. */
1075 #define MAX_REGS_PER_ADDRESS 2
1077 /* There are helper macros defined here which are used only in
1078 GO_IF_LEGITIMATE_ADDRESS.
1080 Note that you *have to* reject invalid addressing modes for mode
1081 MODE, even if it is legal for normal addressing modes. You cannot
1082 rely on the constraints to do this work. They can only be used to
1083 doublecheck your intentions. One example is that you HAVE TO reject
1084 (mem:DI (plus:SI (reg:SI x) (reg:SI y))) because for some reason
1085 this cannot be reloaded. (Which of course you can argue that gcc
1086 should have done.) FIXME: Strange. Check. */
1088 /* No symbol can be used as an index (or more correct, as a base) together
1089 with a register with PIC; the PIC register must be there. */
1090 #define CONSTANT_INDEX_P(X) \
1091 (CONSTANT_P (X) && (!flag_pic || cris_valid_pic_const (X, true)))
1093 /* True if X is a valid base register. */
1095 (REG_P (X) && REG_OK_FOR_BASE_P (X))
1097 /* True if X is a valid base register with or without autoincrement. */
1098 #define BASE_OR_AUTOINCR_P(X) \
1100 || (GET_CODE (X) == POST_INC \
1101 && BASE_P (XEXP (X, 0)) \
1102 && REGNO (XEXP (X, 0)) != CRIS_ACR_REGNUM))
1104 /* True if X is a valid (register) index for BDAP, i.e. [Rs].S or [Rs+].S. */
1105 #define BDAP_INDEX_P(X) \
1106 ((MEM_P (X) && GET_MODE (X) == SImode \
1107 && BASE_OR_AUTOINCR_P (XEXP (X, 0))) \
1108 || (GET_CODE (X) == SIGN_EXTEND \
1109 && MEM_P (XEXP (X, 0)) \
1110 && (GET_MODE (XEXP (X, 0)) == HImode \
1111 || GET_MODE (XEXP (X, 0)) == QImode) \
1112 && BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0))))
1114 /* True if X is a valid (register) index for BIAP, i.e. Rd.m. */
1115 #define BIAP_INDEX_P(X) \
1116 ((BASE_P (X) && REG_OK_FOR_INDEX_P (X)) \
1117 || (GET_CODE (X) == MULT \
1118 && BASE_P (XEXP (X, 0)) \
1119 && REG_OK_FOR_INDEX_P (XEXP (X, 0)) \
1120 && CONST_INT_P (XEXP (X, 1)) \
1121 && (INTVAL (XEXP (X, 1)) == 2 \
1122 || INTVAL (XEXP (X, 1)) == 4)))
1124 /* A PIC operand looks like a normal symbol here. At output we dress it
1125 in "[rPIC+symbol:GOT]" (global symbol) or "rPIC+symbol:GOTOFF" (local
1126 symbol) so we exclude all addressing modes where we can't replace a
1127 plain "symbol" with that. A global PIC symbol does not fit anywhere
1128 here (but is thankfully a general_operand in itself). A local PIC
1129 symbol is valid for the plain "symbol + offset" case. */
1130 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
1133 if (BASE_OR_AUTOINCR_P (X)) \
1135 else if (TARGET_V32) \
1136 /* Nothing else is valid then. */ \
1138 else if (CONSTANT_INDEX_P (X)) \
1141 else if (GET_CODE (X) == PLUS) \
1146 if ((BASE_P (x1) && CONSTANT_INDEX_P (x2)) \
1147 || (BASE_P (x2) && CONSTANT_INDEX_P (x1)) \
1148 /* BDAP Rs[+], Rd. */ \
1149 || (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
1150 && ((BASE_P (x1) && BDAP_INDEX_P (x2)) \
1151 || (BASE_P (x2) && BDAP_INDEX_P (x1)) \
1152 /* BIAP.m Rs, Rd */ \
1153 || (BASE_P (x1) && BIAP_INDEX_P (x2)) \
1154 || (BASE_P (x2) && BIAP_INDEX_P (x1))))) \
1157 else if (MEM_P (X)) \
1159 /* DIP (Rs). Reject [[reg+]] and [[reg]] for \
1160 DImode (long long). */ \
1161 if (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
1162 && (BASE_P (XEXP (X, 0)) \
1163 || BASE_OR_AUTOINCR_P (XEXP (X, 0)))) \
1168 #ifndef REG_OK_STRICT
1169 /* Nonzero if X is a hard reg that can be used as a base reg
1170 or if it is a pseudo reg. */
1171 # define REG_OK_FOR_BASE_P(X) \
1172 (REGNO (X) <= CRIS_LAST_GENERAL_REGISTER \
1173 || REGNO (X) == ARG_POINTER_REGNUM \
1174 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1176 /* Nonzero if X is a hard reg that can be used as a base reg. */
1177 # define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
1180 #ifndef REG_OK_STRICT
1181 /* Nonzero if X is a hard reg that can be used as an index
1182 or if it is a pseudo reg. */
1183 # define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1185 /* Nonzero if X is a hard reg that can be used as an index. */
1186 # define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
1189 /* For now, don't do anything. GCC does a good job most often.
1191 Maybe we could do something about gcc:s misbehavior when it
1192 recalculates frame offsets for local variables, from fp+offs to
1193 sp+offs. The resulting address expression gets screwed up
1194 sometimes, but I'm not sure that it may be fixed here, since it is
1195 already split up in several instructions (Is this still true?).
1196 FIXME: Check and adjust for gcc-2.9x. */
1197 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN) {}
1199 /* Fix reloads known to cause suboptimal spilling. */
1200 #define LEGITIMIZE_RELOAD_ADDRESS(X, MODE, OPNUM, TYPE, INDL, WIN) \
1203 if (cris_reload_address_legitimized (X, MODE, OPNUM, TYPE, INDL)) \
1208 /* In CRIS, only the postincrement address mode depends thus,
1209 since the increment depends on the size of the operand. This is now
1210 treated generically within recog.c. */
1211 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)
1213 #define LEGITIMATE_CONSTANT_P(X) 1
1216 /* Node: Condition Code */
1218 #define NOTICE_UPDATE_CC(EXP, INSN) cris_notice_update_cc (EXP, INSN)
1220 /* FIXME: Maybe define CANONICALIZE_COMPARISON later, when playing with
1221 optimizations. It is needed; currently we do this with instruction
1222 patterns and NOTICE_UPDATE_CC. */
1227 #define REGISTER_MOVE_COST(MODE, FROM, TO) \
1228 cris_register_move_cost (MODE, FROM, TO)
1230 /* This isn't strictly correct for v0..3 in buswidth-8bit mode, but
1232 #define MEMORY_MOVE_COST(M, CLASS, IN) \
1233 (((M) == QImode) ? 4 : ((M) == HImode) ? 4 : 6)
1235 /* Regardless of the presence of delay slots, the default value of 1 for
1236 BRANCH_COST is the best in the range (1, 2, 3), tested with gcc-2.7.2
1237 with testcases ipps and gcc, giving smallest and fastest code. */
1239 #define SLOW_BYTE_ACCESS 0
1241 /* This is the threshold *below* which inline move sequences of
1242 word-length sizes will be emitted. The "9" will translate to
1243 (9 - 1) * 4 = 32 bytes maximum moved, but using 16 instructions
1244 (8 instruction sequences) or less. */
1245 #define MOVE_RATIO 9
1248 /* Node: Sections */
1250 #define TEXT_SECTION_ASM_OP "\t.text"
1252 #define DATA_SECTION_ASM_OP "\t.data"
1254 #define FORCE_EH_FRAME_INFO_IN_DATA_SECTION (! TARGET_ELF)
1256 /* The jump table is immediately connected to the preceding insn. */
1257 #define JUMP_TABLES_IN_TEXT_SECTION 1
1264 enum cris_pic_symbol_type
1267 cris_got_symbol
= 1,
1268 cris_rel_symbol
= 2,
1269 cris_got_symbol_needing_fixup
= 3,
1270 cris_invalid_pic_symbol
= 4
1273 #define PIC_OFFSET_TABLE_REGNUM (flag_pic ? CRIS_GOT_REGNUM : INVALID_REGNUM)
1275 #define LEGITIMATE_PIC_OPERAND_P(X) cris_legitimate_pic_operand (X)
1278 /* Node: File Framework */
1280 /* We don't want an .ident for gcc. To avoid that but still support
1281 #ident, we override ASM_OUTPUT_IDENT and, since the gcc .ident is its
1282 only use besides ASM_OUTPUT_IDENT, undef IDENT_ASM_OP from elfos.h. */
1284 #undef ASM_OUTPUT_IDENT
1285 #define ASM_OUTPUT_IDENT(FILE, NAME) \
1286 fprintf (FILE, "%s\"%s\"\n", "\t.ident\t", NAME);
1288 #define ASM_APP_ON "#APP\n"
1290 #define ASM_APP_OFF "#NO_APP\n"
1293 /* Node: Data Output */
1295 #define OUTPUT_ADDR_CONST_EXTRA(STREAM, X, FAIL) \
1296 do { if (!cris_output_addr_const_extra (STREAM, X)) goto FAIL; } while (0)
1298 #define IS_ASM_LOGICAL_LINE_SEPARATOR(C, STR) (C) == '@'
1300 /* Node: Uninitialized Data */
1302 /* Remember to round off odd values if we want data alignment,
1303 since we cannot do that with an .align directive.
1305 Using .comm causes the space not to be reserved in .bss, but by
1306 tricks with the symbol type. Not good if other tools than binutils
1307 are used on the object files. Since ".global ... .lcomm ..." works, we
1308 use that. Use .._ALIGNED_COMMON, since gcc whines when we only have
1309 ..._COMMON, and we prefer to whine ourselves; BIGGEST_ALIGNMENT is not
1310 the one to check. This done for a.out only. */
1311 /* FIXME: I suspect a bug in gcc with alignment. Do not warn until
1312 investigated; it mucks up the testsuite results. */
1313 #define CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, LOCAL) \
1316 int align_ = (ALIGN) / BITS_PER_UNIT; \
1317 if (TARGET_DATA_ALIGN && TARGET_ALIGN_BY_32 && align_ < 4) \
1319 else if (TARGET_DATA_ALIGN && align_ < 2) \
1321 /* FIXME: Do we need this? */ \
1322 else if (align_ < 1) \
1329 fprintf ((FILE), "%s", LOCAL_ASM_OP); \
1330 assemble_name ((FILE), (NAME)); \
1331 fprintf ((FILE), "\n"); \
1333 fprintf ((FILE), "%s", COMMON_ASM_OP); \
1334 assemble_name ((FILE), (NAME)); \
1335 fprintf ((FILE), ",%u,%u\n", (int)(SIZE), align_); \
1339 /* We can't tell a one-only or weak COMM from a "global \
1340 COMM" so just make all non-locals weak. */ \
1342 ASM_WEAKEN_LABEL (FILE, NAME); \
1343 fputs ("\t.lcomm ", (FILE)); \
1344 assemble_name ((FILE), (NAME)); \
1345 fprintf ((FILE), ",%u\n", \
1346 ((int)(SIZE) + (align_ - 1)) & ~(align_ - 1)); \
1351 #define ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN) \
1352 CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 0)
1354 #undef ASM_OUTPUT_ALIGNED_DECL_LOCAL
1355 #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(FILE, DECL, NAME, SIZE, ALIGN) \
1356 CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 1)
1358 /* Node: Label Output */
1360 /* Globalizing directive for a label. */
1361 #define GLOBAL_ASM_OP "\t.global "
1363 #define SUPPORTS_WEAK 1
1365 #define ASM_OUTPUT_SYMBOL_REF(STREAM, SYM) \
1366 cris_asm_output_symbol_ref (STREAM, SYM)
1368 #define ASM_OUTPUT_LABEL_REF(STREAM, BUF) \
1369 cris_asm_output_label_ref (STREAM, BUF)
1371 /* Remove any previous definition (elfos.h). */
1372 #undef ASM_GENERATE_INTERNAL_LABEL
1373 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
1374 sprintf (LABEL, "*%s%s%ld", LOCAL_LABEL_PREFIX, PREFIX, (long) NUM)
1376 /* Node: Initialization */
1377 /* (no definitions) */
1379 /* Node: Macros for Initialization */
1380 /* (no definitions) */
1382 /* Node: Instruction Output */
1384 #define REGISTER_NAMES \
1385 {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", \
1386 "r9", "r10", "r11", "r12", "r13", "sp", "acr", "srp", "mof", "faked_ap", "dccr"}
1388 #define ADDITIONAL_REGISTER_NAMES \
1389 {{"r14", 14}, {"r15", 15}, {"pc", 15}}
1391 #define PRINT_OPERAND(FILE, X, CODE) \
1392 cris_print_operand (FILE, X, CODE)
1394 /* For delay-slot handling. */
1395 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) \
1396 ((CODE) == '#' || (CODE) == '!' || (CODE) == ':')
1398 #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \
1399 cris_print_operand_address (FILE, ADDR)
1401 /* Output an empty line to illustrate the presence of the delay slot. */
1402 #define DBR_OUTPUT_SEQEND(FILE) \
1403 fprintf (FILE, "\n")
1405 #define LOCAL_LABEL_PREFIX (TARGET_ELF ? "." : "")
1407 /* cppinit.c initializes a const array from this, so it must be constant,
1408 can't have it different based on options. Luckily, the prefix is
1409 always allowed, so let's have it on all GCC-generated code. Note that
1410 we have this verbatim everywhere in the back-end, not using %R or %s or
1412 #define REGISTER_PREFIX "$"
1414 /* Remove any previous definition (elfos.h). */
1415 /* We use -fno-leading-underscore to remove it, when necessary. */
1416 #undef USER_LABEL_PREFIX
1417 #define USER_LABEL_PREFIX "_"
1419 #define ASM_OUTPUT_REG_PUSH(FILE, REGNO) \
1422 ? "\tsubq 4,$sp\n\tmove $%s,[$sp]\n" : "\tpush $%s\n", \
1425 #define ASM_OUTPUT_REG_POP(FILE, REGNO) \
1426 fprintf (FILE, "\tmove [$sp+],$%s\n", reg_names[REGNO])
1429 /* Node: Dispatch Tables */
1431 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) \
1435 asm_fprintf (FILE, "\t.word %LL%d-.\n", VALUE); \
1437 asm_fprintf (FILE, "\t.word %LL%d-%LL%d\n", VALUE, REL); \
1441 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
1442 asm_fprintf (FILE, "\t.dword %LL%d\n", VALUE)
1444 /* Defined to also emit an .align in elfos.h. We don't want that. */
1445 #undef ASM_OUTPUT_CASE_LABEL
1447 /* Since the "bound" insn loads the comparison value if the compared<
1448 value (register) is out of bounds (0..comparison value-1), we need
1449 to output another case to catch it.
1450 The way to find it is to look for the label_ref at the else-arm inside
1451 the expanded casesi core-insn.
1452 FIXME: Check this construct when changing to new version of gcc. */
1453 #define ASM_OUTPUT_CASE_END(STREAM, NUM, TABLE) \
1454 cris_asm_output_case_end (STREAM, NUM, TABLE)
1457 /* Node: Exception Region Output */
1458 /* (no definitions) */
1459 /* FIXME: Fill in with our own optimized layout. */
1461 /* Node: Alignment Output */
1463 #define ASM_OUTPUT_ALIGN(FILE, LOG) \
1464 fprintf (FILE, "\t.align %d\n", (LOG))
1467 /* Node: All Debuggers */
1469 #define DBX_REGISTER_NUMBER(REGNO) \
1470 ((REGNO) == CRIS_SRP_REGNUM ? CRIS_CANONICAL_SRP_REGNUM : \
1471 (REGNO) == CRIS_MOF_REGNUM ? CRIS_CANONICAL_MOF_REGNUM : \
1472 (REGNO) == CRIS_CC0_REGNUM ? CRIS_CANONICAL_CC0_REGNUM : \
1475 /* FIXME: Investigate DEBUGGER_AUTO_OFFSET, DEBUGGER_ARG_OFFSET. */
1478 /* Node: DBX Options */
1480 /* Is this correct? Check later. */
1481 #define DBX_NO_XREFS
1483 #define DBX_CONTIN_LENGTH 0
1485 /* FIXME: Is this needed when we have 0 DBX_CONTIN_LENGTH? */
1486 #define DBX_CONTIN_CHAR '?'
1489 /* Node: DBX Hooks */
1490 /* (no definitions) */
1492 /* Node: File names and DBX */
1493 /* (no definitions) */
1496 /* Node: SDB and DWARF */
1497 /* (no definitions) */
1501 /* A combination of the bound (umin) insn together with a
1502 sign-extended add via the table to PC seems optimal.
1503 If the table overflows, the assembler will take care of it.
1504 Theoretically, in extreme cases (uncertain if they occur), an error
1505 will be emitted, so FIXME: Check how large case-tables are emitted,
1506 possible add an option to emit SImode case-tables. */
1507 #define CASE_VECTOR_MODE HImode
1509 #define CASE_VECTOR_PC_RELATIVE 1
1511 /* FIXME: Investigate CASE_VECTOR_SHORTEN_MODE to make sure HImode is not
1512 used when broken-.word could possibly fail (plus testcase). */
1514 #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
1516 /* This is the number of bytes that can be moved in one
1517 reasonably fast instruction sequence. For CRIS, this is two
1518 instructions: mem => reg, reg => mem. */
1521 /* Maybe SHIFT_COUNT_TRUNCATED is safe to define? FIXME: Check later. */
1523 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1525 #define CLZ_DEFINED_VALUE_AT_ZERO(MODE, VALUE) ((VALUE) = 32, 1)
1526 #define CTZ_DEFINED_VALUE_AT_ZERO(MODE, VALUE) ((VALUE) = 32, 1)
1528 #define Pmode SImode
1530 #define FUNCTION_MODE QImode
1532 #define NO_IMPLICIT_EXTERN_C
1534 /* No specific purpose other than warningless compatibility. */
1535 #define HANDLE_PRAGMA_PACK_PUSH_POP 1
1539 * eval: (c-set-style "gnu")
1540 * indent-tabs-mode: t
projects / thirdparty / gcc.git / blob