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. When bugs are removed from -fvtable-gc
192 (-fforce-addr causes invalid .vtable_entry asm in tinfo.cc and
193 nothing at all works in GCC 3.0-pre), add this line:
194 "%{mbest-lib-options:%{!moverride-best-lib-options:\
195 %{!melinux:%{!maout|melf:%{!fno-vtable-gc:-fvtable-gc}}}}}". */
196 #define CC1PLUS_SPEC ""
198 #ifdef HAVE_AS_NO_MUL_BUG_ABORT_OPTION
199 #define MAYBE_AS_NO_MUL_BUG_ABORT \
200 "%{mno-mul-bug-workaround:-no-mul-bug-abort} "
202 #define MAYBE_AS_NO_MUL_BUG_ABORT
205 /* Override previous definitions (linux.h). */
208 MAYBE_AS_NO_MUL_BUG_ABORT \
211 %{march=*:%{cpu=*:%eDo not specify both -march=... and -mcpu=...}}\
212 %{march=v32:--march=v32} %{mcpu=v32:--march=v32}"
214 /* For the cris-*-elf subtarget. */
215 #define CRIS_ASM_SUBTARGET_SPEC \
216 "--em=criself %{!march=*:%{!cpu=*:" CRIS_DEFAULT_ASM_ARCH_OPTION "}}"
218 /* FIXME: We should propagate the -melf option to make the criself
219 "emulation" unless a linker script is provided (-T*), but I don't know
220 how to do that if either of -Ttext, -Tdata or -Tbss is given but no
221 linker script, as is usually the case. Leave it to the user for the
224 Note that -melf overrides -maout except that a.out-compiled libraries
225 are linked in (multilibbing). The somewhat cryptic -rpath-link pair is
226 to avoid *only* picking up the linux multilib subdir from the "-B./"
227 option during build, while still giving it preference. We'd need some
228 %s-variant that checked for existence of some specific file. */
229 /* Override previous definitions (svr4.h). */
235 /* For the cris-*-elf subtarget. */
236 #define CRIS_LINK_SUBTARGET_SPEC \
238 %{sim2:%{!T*:-Tdata 0x4000000 -Tbss 0x8000000}}\
239 %{!r:%{O2|O3: --gc-sections}}"
241 /* Which library to get. The simulator uses a different library for
242 the low-level syscalls (implementing the Linux syscall ABI instead
243 of direct-iron accesses). Default everything with the stub "nosys"
245 /* Override previous definitions (linux.h). */
248 "%{sim*:--start-group -lc -lsyslinux --end-group}\
250 %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p} -lbsp}\
253 /* Linker startfile options; crt0 flavors.
254 We need to remove any previous definition (elfos.h). */
255 #undef STARTFILE_SPEC
256 #define STARTFILE_SPEC \
257 "%{sim*:crt1.o%s}%{!sim*:crt0.o%s}\
258 crti.o%s crtbegin.o%s"
261 #define ENDFILE_SPEC "crtend.o%s crtn.o%s"
263 #define EXTRA_SPECS \
264 {"cpp_subtarget", CRIS_CPP_SUBTARGET_SPEC}, \
265 {"cc1_subtarget", CRIS_CC1_SUBTARGET_SPEC}, \
266 {"asm_subtarget", CRIS_ASM_SUBTARGET_SPEC}, \
267 {"link_subtarget", CRIS_LINK_SUBTARGET_SPEC}, \
268 CRIS_SUBTARGET_EXTRA_SPECS
270 #define CRIS_SUBTARGET_EXTRA_SPECS
273 /* Node: Run-time Target */
275 #define TARGET_CPU_CPP_BUILTINS() \
278 builtin_define_std ("cris"); \
279 builtin_define_std ("CRIS"); \
280 builtin_define_std ("GNU_CRIS"); \
281 builtin_define ("__CRIS_ABI_version=2"); \
282 builtin_assert ("cpu=cris"); \
283 builtin_assert ("machine=cris"); \
287 /* This needs to be at least 32 bits. */
288 extern int target_flags;
290 /* Previously controlled by target_flags. */
293 /* Previously controlled by target_flags. Note that this is *not* set
295 #define TARGET_LINUX 0
297 /* For the cris-*-elf subtarget. */
298 #define CRIS_SUBTARGET_DEFAULT 0
300 #define CRIS_CPU_BASE 0
301 #define CRIS_CPU_ETRAX4 3 /* Just lz added. */
302 #define CRIS_CPU_SVINTO 8 /* Added swap, jsrc & Co., 32-bit accesses. */
303 #define CRIS_CPU_NG 10 /* Added mul[su]. */
304 #define CRIS_CPU_V32 32 /* Major changes. */
306 #ifndef TARGET_CPU_DEFAULT
307 #define TARGET_CPU_DEFAULT CRIS_CPU_BASE
310 /* Default target_flags if no switches specified. */
311 #ifndef TARGET_DEFAULT
312 # if TARGET_CPU_DEFAULT == 32
313 # define TARGET_DEFAULT \
315 + MASK_CONST_ALIGN + MASK_DATA_ALIGN \
316 + MASK_PROLOGUE_EPILOGUE)
318 # define TARGET_DEFAULT \
319 (MASK_SIDE_EFFECT_PREFIXES + MASK_STACK_ALIGN \
320 + MASK_CONST_ALIGN + MASK_DATA_ALIGN \
321 + MASK_PROLOGUE_EPILOGUE + MASK_MUL_BUG)
325 /* Local, providing a default for cris_cpu_version. */
326 #define CRIS_DEFAULT_CPU_VERSION TARGET_CPU_DEFAULT
328 #define TARGET_HAS_MUL_INSNS (cris_cpu_version >= CRIS_CPU_NG)
329 #define TARGET_HAS_LZ (cris_cpu_version >= CRIS_CPU_ETRAX4)
330 #define TARGET_HAS_SWAP (cris_cpu_version >= CRIS_CPU_SVINTO)
331 #define TARGET_V32 (cris_cpu_version >= CRIS_CPU_V32)
333 #define CRIS_SUBTARGET_HANDLE_OPTION(x, y, z)
335 #define OVERRIDE_OPTIONS cris_override_options ()
337 /* The following gives optimal code for gcc-2.7.2, but *may* be subject
338 to change. Omitting flag_force_addr gives .1-.7% faster code for gcc
339 *only*, but 1.3% larger code. On ipps it gives 5.3-10.6% slower
340 code(!) and 0.3% larger code. For products, images gets .1-1.8%
341 larger. Do not set strict aliasing from optimization options. */
342 #define OPTIMIZATION_OPTIONS(OPTIMIZE, SIZE) \
345 if ((OPTIMIZE) >= 2 || (SIZE)) \
346 flag_omit_frame_pointer = 1; \
351 /* Node: Storage Layout */
353 #define BITS_BIG_ENDIAN 0
355 #define BYTES_BIG_ENDIAN 0
357 /* WORDS_BIG_ENDIAN is not defined in the hardware, but for consistency,
358 we use little-endianness, and we may also be able to use
359 post-increment on DImode indirect. */
360 #define WORDS_BIG_ENDIAN 0
362 #define UNITS_PER_WORD 4
364 /* A combination of defining PROMOTE_FUNCTION_MODE,
365 TARGET_PROMOTE_FUNCTION_ARGS that always returns true
366 and *not* defining TARGET_PROMOTE_PROTOTYPES or PROMOTE_MODE gives the
367 best code size and speed for gcc, ipps and products in gcc-2.7.2. */
368 #define CRIS_PROMOTED_MODE(MODE, UNSIGNEDP, TYPE) \
369 (GET_MODE_CLASS (MODE) == MODE_INT && GET_MODE_SIZE (MODE) < 4) \
372 #define PROMOTE_FUNCTION_MODE(MODE, UNSIGNEDP, TYPE) \
373 (MODE) = CRIS_PROMOTED_MODE (MODE, UNSIGNEDP, TYPE)
375 /* Defining PROMOTE_FUNCTION_RETURN in gcc-2.7.2 uncovers bug 981110 (even
376 if defining FUNCTION_VALUE with MODE as PROMOTED_MODE ;-)
378 FIXME: Report this when cris.h is part of GCC, so others can easily
379 see the problem. Maybe check other systems that define
380 TARGET_PROMOTE_FUNCTION_RETURN that always returns true. */
382 /* We will be using prototype promotion, so they will be 32 bit. */
383 #define PARM_BOUNDARY 32
385 /* Stack boundary is guided by -mstack-align, -mno-stack-align,
387 Old comment: (2.1: still valid in 2.7.2?)
388 Note that to make this macro affect the alignment of stack
389 locals, a fix was required, and special precautions when handling
390 the stack pointer in various other macros (TARGET_ASM_FUNCTION_PROLOGUE
391 et al) were required. See file "function.c". If you would just define
392 this macro, it would only affect the builtin alloca and variable
393 local data (non-ANSI, non-K&R, Gnu C extension). */
394 #define STACK_BOUNDARY \
395 (TARGET_STACK_ALIGN ? (TARGET_ALIGN_BY_32 ? 32 : 16) : 8)
397 #define FUNCTION_BOUNDARY 16
399 /* Do not change BIGGEST_ALIGNMENT (when optimizing), as it will affect
400 strange places, at least in 2.1. */
401 #define BIGGEST_ALIGNMENT 8
403 /* If -m16bit, -m16-bit, -malign or -mdata-align,
404 align everything to 16 bit. */
405 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN) \
407 ? (TARGET_ALIGN_BY_32 \
408 ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN) \
409 : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
411 /* Note that CONSTANT_ALIGNMENT has the effect of making gcc believe that
412 ALL references to constant stuff (in code segment, like strings) has
413 this alignment. That is a rather rushed assumption. Luckily we do not
414 care about the "alignment" operand to builtin memcpy (only place where
415 it counts), so it doesn't affect any bad spots. */
416 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN) \
417 (TARGET_CONST_ALIGN \
418 ? (TARGET_ALIGN_BY_32 \
419 ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN) \
420 : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
422 /* FIXME: Define LOCAL_ALIGNMENT for word and dword or arrays and
423 structures (if -mstack-align=), and check that it is good. */
425 #define EMPTY_FIELD_BOUNDARY 8
427 #define STRUCTURE_SIZE_BOUNDARY 8
429 #define STRICT_ALIGNMENT 0
431 /* Remove any previous definition (elfos.h).
432 ??? If it wasn't for all the other stuff that affects layout of
433 structures and bit-fields, this could presumably cause incompatibility
434 with other GNU/Linux ports (i.e. elfos.h users). */
435 #undef PCC_BITFIELD_TYPE_MATTERS
437 /* This is only used for non-scalars. Strange stuff happens to structs
438 (FIXME: What?) if we use anything larger than largest actually used
439 datum size, so lets make it 32. The type "long long" will still work
440 as usual. We can still have DImode insns, but they will only be used
441 for scalar data (i.e. long long). */
442 #define MAX_FIXED_MODE_SIZE 32
445 /* Node: Type Layout */
447 /* Note that DOUBLE_TYPE_SIZE is not defined anymore, since the default
448 value gives a 64-bit double, which is what we now use. */
450 /* For compatibility and historical reasons, a char should be signed. */
451 #define DEFAULT_SIGNED_CHAR 1
453 /* Note that WCHAR_TYPE_SIZE is used in cexp.y,
454 where TARGET_SHORT is not available. */
456 #define WCHAR_TYPE "long int"
458 #undef WCHAR_TYPE_SIZE
459 #define WCHAR_TYPE_SIZE 32
462 /* Node: Register Basics */
464 /* We count all 16 non-special registers, SRP, a faked argument
465 pointer register, MOF and CCR/DCCR. */
466 #define FIRST_PSEUDO_REGISTER (16 + 1 + 1 + 1 + 1)
468 /* For CRIS, these are r15 (pc) and r14 (sp). Register r8 is used as a
469 frame-pointer, but is not fixed. SRP is not included in general
470 registers and will not be used automatically. All other special
471 registers are fixed at the moment. The faked argument pointer register
473 #define FIXED_REGISTERS \
474 {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0}
476 /* Register r9 is used for structure-address, r10-r13 for parameters,
477 r10- for return values. */
478 #define CALL_USED_REGISTERS \
479 {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1}
481 #define CONDITIONAL_REGISTER_USAGE cris_conditional_register_usage ()
484 /* Node: Allocation Order */
486 /* We need this on CRIS, because call-used regs should be used first,
487 (so we don't need to push). Else start using registers from r0 and up.
488 This preference is mainly because if we put call-used-regs from r0
489 and up, then we can't use movem to push the rest, (which have to be
490 saved if we use them, and movem has to start with r0).
491 Change here if you change which registers to use as call registers.
493 The actual need to explicitly prefer call-used registers improved the
494 situation a lot for 2.1, but might not actually be needed anymore.
495 Still, this order reflects what GCC should find out by itself, so it
496 probably does not hurt.
498 Order of preference: Call-used-regs first, then r0 and up, last fp &
500 Call-used regs in opposite order, so they will cause less conflict if
501 a function has few args (<= 3) and it wants a scratch reg.
502 Use struct-return address first, since very few functions use
503 structure return values so it is likely to be available. */
504 #define REG_ALLOC_ORDER \
505 {9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 14, 15, 17, 16, 18, 19}
507 /* Use MOF and ACR. Prefer ACR before any other register. Prefer MOF
508 then SRP after saved registers. The *after* is because they're only
509 useful for storage, not for things being computed, which is
510 apparently more common. */
511 #define REG_ALLOC_ORDER_V32 \
512 {15, 9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 17, 16, 14, 18, 19}
515 /* Node: Values in Registers */
517 /* The VOIDmode test is so we can omit mode on anonymous insns. FIXME:
518 Still needed in 2.9x, at least for Axis-20000319. */
519 #define HARD_REGNO_NREGS(REGNO, MODE) \
521 ? 1 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
523 /* CRIS permits all registers to hold all modes. Well, except for the
524 condition-code register. And we can't hold larger-than-register size
525 modes in the last special register that can hold a full 32 bits. */
526 #define HARD_REGNO_MODE_OK(REGNO, MODE) \
528 || (REGNO) != CRIS_CC0_REGNUM) \
529 && (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
530 || ((REGNO) != CRIS_MOF_REGNUM && (REGNO) != CRIS_ACR_REGNUM)))
532 /* Because CCmode isn't covered by the "narrower mode" statement in
533 tm.texi, we can still say all modes are tieable despite not having an
534 always 1 HARD_REGNO_MODE_OK. */
535 #define MODES_TIEABLE_P(MODE1, MODE2) 1
538 /* Node: Leaf Functions */
539 /* (no definitions) */
541 /* Node: Stack Registers */
542 /* (no definitions) */
545 /* Node: Register Classes */
547 /* FIXME: A separate class for the return register would make sense.
549 We need a separate register class to handle register allocation for
550 ACR, since it can't be used for post-increment.
552 It's not obvious, but having subunions of all movable-between
553 register classes does really help register allocation. */
557 ACR_REGS, MOF_REGS, CC0_REGS, SPECIAL_REGS,
558 SPEC_ACR_REGS, GENNONACR_REGS,
559 SPEC_GENNONACR_REGS, GENERAL_REGS,
564 #define N_REG_CLASSES (int) LIM_REG_CLASSES
566 #define REG_CLASS_NAMES \
568 "ACR_REGS", "MOF_REGS", "CC0_REGS", "SPECIAL_REGS", \
569 "SPEC_ACR_REGS", "GENNONACR_REGS", "SPEC_GENNONACR_REGS", \
570 "GENERAL_REGS", "ALL_REGS"}
572 #define CRIS_SPECIAL_REGS_CONTENTS \
573 ((1 << CRIS_SRP_REGNUM) | (1 << CRIS_MOF_REGNUM) | (1 << CRIS_CC0_REGNUM))
575 /* Count in the faked argument register in GENERAL_REGS. Keep out SRP. */
576 #define REG_CLASS_CONTENTS \
579 {1 << CRIS_ACR_REGNUM}, \
580 {1 << CRIS_MOF_REGNUM}, \
581 {1 << CRIS_CC0_REGNUM}, \
582 {CRIS_SPECIAL_REGS_CONTENTS}, \
583 {CRIS_SPECIAL_REGS_CONTENTS \
584 | (1 << CRIS_ACR_REGNUM)}, \
585 {(0xffff | (1 << CRIS_AP_REGNUM)) \
586 & ~(1 << CRIS_ACR_REGNUM)}, \
587 {(0xffff | (1 << CRIS_AP_REGNUM) \
588 | CRIS_SPECIAL_REGS_CONTENTS) \
589 & ~(1 << CRIS_ACR_REGNUM)}, \
590 {0xffff | (1 << CRIS_AP_REGNUM)}, \
591 {0xffff | (1 << CRIS_AP_REGNUM) \
592 | CRIS_SPECIAL_REGS_CONTENTS} \
595 #define REGNO_REG_CLASS(REGNO) \
596 ((REGNO) == CRIS_ACR_REGNUM ? ACR_REGS : \
597 (REGNO) == CRIS_MOF_REGNUM ? MOF_REGS : \
598 (REGNO) == CRIS_CC0_REGNUM ? CC0_REGS : \
599 (REGNO) == CRIS_SRP_REGNUM ? SPECIAL_REGS : \
602 #define BASE_REG_CLASS GENERAL_REGS
604 #define MODE_CODE_BASE_REG_CLASS(MODE, OCODE, ICODE) \
605 ((OCODE) != POST_INC ? BASE_REG_CLASS : GENNONACR_REGS)
607 #define INDEX_REG_CLASS GENERAL_REGS
609 #define REG_CLASS_FROM_LETTER(C) \
611 (C) == 'a' ? ACR_REGS : \
612 (C) == 'h' ? MOF_REGS : \
613 (C) == 'x' ? SPECIAL_REGS : \
614 (C) == 'c' ? CC0_REGS : \
618 /* Since it uses reg_renumber, it is safe only once reg_renumber
619 has been allocated, which happens in local-alloc.c. */
620 #define REGNO_OK_FOR_BASE_P(REGNO) \
621 ((REGNO) <= CRIS_LAST_GENERAL_REGISTER \
622 || (REGNO) == ARG_POINTER_REGNUM \
623 || (unsigned) reg_renumber[REGNO] <= CRIS_LAST_GENERAL_REGISTER \
624 || (unsigned) reg_renumber[REGNO] == ARG_POINTER_REGNUM)
626 /* REGNO_OK_FOR_BASE_P seems to be obsolete wrt. this one, but not yet
627 documented as such. */
628 #define REGNO_MODE_CODE_OK_FOR_BASE_P(REGNO, MODE, OCODE, ICODE) \
629 (REGNO_OK_FOR_BASE_P (REGNO) \
630 && ((OCODE) != POST_INC \
631 || !((REGNO) == CRIS_ACR_REGNUM \
632 || (unsigned) reg_renumber[REGNO] == CRIS_ACR_REGNUM)))
634 /* See REGNO_OK_FOR_BASE_P. */
635 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO)
637 /* It seems like gcc (2.7.2 and 2.9x of 2000-03-22) may send "NO_REGS" as
638 the class for a constant (testcase: __Mul in arit.c). To avoid forcing
639 out a constant into the constant pool, we will trap this case and
640 return something a bit more sane. FIXME: Check if this is a bug.
641 Beware that we must not "override" classes that can be specified as
642 constraint letters, or else asm operands using them will fail when
643 they need to be reloaded. FIXME: Investigate whether that constitutes
645 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
646 ((CLASS) != ACR_REGS \
647 && (CLASS) != MOF_REGS \
648 && (CLASS) != CC0_REGS \
649 && (CLASS) != SPECIAL_REGS \
650 ? GENERAL_REGS : (CLASS))
652 /* We can't move special registers to and from memory in smaller than
654 #define SECONDARY_RELOAD_CLASS(CLASS, MODE, X) \
655 (((CLASS) != SPECIAL_REGS && (CLASS) != MOF_REGS) \
656 || GET_MODE_SIZE (MODE) == 4 \
658 ? NO_REGS : GENERAL_REGS)
660 /* FIXME: Fix regrename.c; it should check validity of replacements,
661 not just with a silly pass-specific macro. We may miss some
662 opportunities, but we must stop regrename from creating acr++. */
663 #define HARD_REGNO_RENAME_OK(FROM, TO) ((TO) != CRIS_ACR_REGNUM)
665 /* For CRIS, this is always the size of MODE in words,
666 since all registers are the same size. To use omitted modes in
667 patterns with reload constraints, you must say the widest size
668 which is allowed for VOIDmode.
669 FIXME: Does that still apply for gcc-2.9x? Keep poisoned until such
670 patterns are added back. News: 2001-03-16: Happens as early as the
672 #define CLASS_MAX_NREGS(CLASS, MODE) \
673 ((MODE) == VOIDmode \
674 ? 1 /* + cris_fatal ("CLASS_MAX_NREGS with VOIDmode") */ \
675 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
677 /* We are now out of letters; we could use ten more. This forces us to
678 use C-code in the 'md' file. FIXME: Use some EXTRA_CONSTRAINTS. */
679 #define CONST_OK_FOR_LETTER_P(VALUE, C) \
681 /* MOVEQ, CMPQ, ANDQ, ORQ. */ \
682 (C) == 'I' ? (VALUE) >= -32 && (VALUE) <= 31 : \
684 (C) == 'J' ? (VALUE) >= 0 && (VALUE) <= 63 : \
685 /* ASRQ, BTSTQ, LSRQ, LSLQ. */ \
686 (C) == 'K' ? (VALUE) >= 0 && (VALUE) <= 31 : \
687 /* A 16-bit signed number. */ \
688 (C) == 'L' ? (VALUE) >= -32768 && (VALUE) <= 32767 : \
689 /* The constant 0 for CLEAR. */ \
690 (C) == 'M' ? (VALUE) == 0 : \
691 /* A negative ADDQ or SUBQ. */ \
692 (C) == 'N' ? (VALUE) >= -63 && (VALUE) < 0 : \
693 /* Quickened ints, QI and HI. */ \
694 (C) == 'O' ? (VALUE) >= 0 && (VALUE) <= 65535 \
695 && ((VALUE) >= (65535-31) \
696 || ((VALUE) >= (255-31) \
697 && (VALUE) <= 255 )) : \
698 /* A 16-bit number signed *or* unsigned. */ \
699 (C) == 'P' ? (VALUE) >= -32768 && (VALUE) <= 65535 : \
702 /* It is really simple to make up a 0.0; it is the same as int-0 in
704 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
705 ((C) == 'G' && ((VALUE) == CONST0_RTX (DFmode) \
706 || (VALUE) == CONST0_RTX (SFmode)))
708 /* We need this on cris to distinguish delay-slottable addressing modes. */
709 #define EXTRA_CONSTRAINT(X, C) \
711 /* Slottable address mode? */ \
712 (C) == 'Q' ? EXTRA_CONSTRAINT_Q (X) : \
713 /* Operand to BDAP or BIAP? */ \
714 (C) == 'R' ? EXTRA_CONSTRAINT_R (X) : \
715 /* A local PIC symbol? */ \
716 (C) == 'S' ? EXTRA_CONSTRAINT_S (X) : \
717 /* A three-address addressing-mode? */ \
718 (C) == 'T' ? EXTRA_CONSTRAINT_T (X) : \
719 /* A PLT symbol? */ \
720 (C) == 'U' ? EXTRA_CONSTRAINT_U (X) : \
723 #define EXTRA_MEMORY_CONSTRAINT(X, STR) ((X) == 'Q')
725 #define EXTRA_CONSTRAINT_Q(X) \
727 /* Just an indirect register (happens to also be \
728 "all" slottable memory addressing modes not \
729 covered by other constraints, i.e. '>'). */ \
730 MEM_P (X) && BASE_P (XEXP (X, 0)) \
733 #define EXTRA_CONSTRAINT_R(X) \
735 /* An operand to BDAP or BIAP: \
738 /* A [reg] or (int) [reg], maybe with post-increment. */ \
739 || BDAP_INDEX_P (X) \
740 || CONSTANT_INDEX_P (X) \
743 #define EXTRA_CONSTRAINT_T(X) \
745 /* Memory three-address operand. All are indirect-memory: */ \
747 && ((MEM_P (XEXP (X, 0)) \
748 /* Double indirect: [[reg]] or [[reg+]]? */ \
749 && (BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0)))) \
750 /* Just an explicit indirect reference: [const]? */ \
751 || CONSTANT_P (XEXP (X, 0)) \
752 /* Something that is indexed; [...+...]? */ \
753 || (GET_CODE (XEXP (X, 0)) == PLUS \
754 /* A BDAP constant: [reg+(8|16|32)bit offset]? */ \
755 && ((BASE_P (XEXP (XEXP (X, 0), 0)) \
756 && CONSTANT_INDEX_P (XEXP (XEXP (X, 0), 1))) \
757 /* A BDAP register: [reg+[reg(+)].S]? */ \
758 || (BASE_P (XEXP (XEXP (X, 0), 0)) \
759 && BDAP_INDEX_P(XEXP(XEXP(X, 0), 1))) \
760 /* Same, but with swapped arguments (no canonical \
761 ordering between e.g. REG and MEM as of LAST_UPDATED \
762 "Thu May 12 03:59:11 UTC 2005"). */ \
763 || (BASE_P (XEXP (XEXP (X, 0), 1)) \
764 && BDAP_INDEX_P (XEXP (XEXP (X, 0), 0))) \
765 /* A BIAP: [reg+reg.S] (MULT comes first). */ \
766 || (BASE_P (XEXP (XEXP (X, 0), 1)) \
767 && BIAP_INDEX_P (XEXP (XEXP (X, 0), 0)))))) \
770 /* PIC-constructs for symbols. */
771 #define EXTRA_CONSTRAINT_S(X) \
772 (flag_pic && GET_CODE (X) == CONST && cris_valid_pic_const (X, false))
774 #define EXTRA_CONSTRAINT_U(X) \
777 && cris_nonmemory_operand_or_callable_symbol (X, VOIDmode))
780 /* Node: Frame Layout */
782 #define STACK_GROWS_DOWNWARD
783 #define FRAME_GROWS_DOWNWARD 1
785 /* It seems to be indicated in the code (at least 2.1) that this is
786 better a constant, and best 0. */
787 #define STARTING_FRAME_OFFSET 0
789 #define FIRST_PARM_OFFSET(FNDECL) 0
791 #define RETURN_ADDR_RTX(COUNT, FRAMEADDR) \
792 cris_return_addr_rtx (COUNT, FRAMEADDR)
794 #define INCOMING_RETURN_ADDR_RTX gen_rtx_REG (Pmode, CRIS_SRP_REGNUM)
796 /* FIXME: Any __builtin_eh_return callers must not return anything and
797 there must not be collisions with incoming parameters. Luckily the
798 number of __builtin_eh_return callers is limited. For now return
799 parameter registers in reverse order and hope for the best. */
800 #define EH_RETURN_DATA_REGNO(N) \
801 (IN_RANGE ((N), 0, 3) ? (CRIS_FIRST_ARG_REG + 3 - (N)) : INVALID_REGNUM)
803 /* Store the stack adjustment in the structure-return-address register. */
804 #define CRIS_STACKADJ_REG CRIS_STRUCT_VALUE_REGNUM
805 #define EH_RETURN_STACKADJ_RTX gen_rtx_REG (SImode, CRIS_STACKADJ_REG)
807 #define EH_RETURN_HANDLER_RTX \
808 cris_return_addr_rtx (0, NULL)
810 #define INIT_EXPANDERS cris_init_expanders ()
812 /* FIXME: Move this to right node (it's not documented properly yet). */
813 #define DWARF_FRAME_RETURN_COLUMN DWARF_FRAME_REGNUM (CRIS_SRP_REGNUM)
815 /* FIXME: Move this to right node (it's not documented properly yet).
816 FIXME: Check what alignment we can assume regarding
817 TARGET_STACK_ALIGN and TARGET_ALIGN_BY_32. */
818 #define DWARF_CIE_DATA_ALIGNMENT -1
820 /* If we would ever need an exact mapping between canonical register
821 number and dwarf frame register, we would either need to include all
822 registers in the gcc description (with some marked fixed of course), or
823 an inverse mapping from dwarf register to gcc register. There is one
824 need in dwarf2out.c:expand_builtin_init_dwarf_reg_sizes. Right now, I
825 don't see that we need exact correspondence between DWARF *frame*
826 registers and DBX_REGISTER_NUMBER, so map them onto GCC registers. */
827 #define DWARF_FRAME_REGNUM(REG) (REG)
829 /* Node: Stack Checking */
830 /* (no definitions) FIXME: Check. */
832 /* Node: Frame Registers */
834 #define STACK_POINTER_REGNUM CRIS_SP_REGNUM
836 /* Register used for frame pointer. This is also the last of the saved
837 registers, when a frame pointer is not used. */
838 #define FRAME_POINTER_REGNUM CRIS_FP_REGNUM
840 /* Faked register, is always eliminated. We need it to eliminate
841 allocating stack slots for the return address and the frame pointer. */
842 #define ARG_POINTER_REGNUM CRIS_AP_REGNUM
844 #define STATIC_CHAIN_REGNUM CRIS_STATIC_CHAIN_REGNUM
847 /* Node: Elimination */
849 /* Really only needed if the stack frame has variable length (alloca
850 or variable sized local arguments (GNU C extension). */
851 #define FRAME_POINTER_REQUIRED 0
853 #define ELIMINABLE_REGS \
854 {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
855 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
856 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
858 /* We need not worry about when the frame-pointer is required for other
860 #define CAN_ELIMINATE(FROM, TO) 1
862 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
863 (OFFSET) = cris_initial_elimination_offset (FROM, TO)
866 /* Node: Stack Arguments */
868 /* Since many parameters take up one register each in any case,
869 defining TARGET_PROMOTE_PROTOTYPES that always returns true would
870 seem like a good idea, but measurements indicate that a combination
871 using PROMOTE_MODE is better. */
873 #define ACCUMULATE_OUTGOING_ARGS 1
875 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACKSIZE) 0
878 /* Node: Register Arguments */
880 /* The void_type_node is sent as a "closing" call. */
881 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
882 ((CUM).regs < CRIS_MAX_ARGS_IN_REGS \
883 ? gen_rtx_REG (MODE, (CRIS_FIRST_ARG_REG) + (CUM).regs) \
886 /* The differences between this and the previous, is that this one checks
887 that an argument is named, since incoming stdarg/varargs arguments are
888 pushed onto the stack, and we don't have to check against the "closing"
889 void_type_node TYPE parameter. */
890 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED) \
891 ((NAMED) && (CUM).regs < CRIS_MAX_ARGS_IN_REGS \
892 ? gen_rtx_REG (MODE, CRIS_FIRST_ARG_REG + (CUM).regs) \
895 /* Contrary to what you'd believe, defining FUNCTION_ARG_CALLEE_COPIES
896 seems like a (small total) loss, at least for gcc-2.7.2 compiling and
897 running gcc-2.1 (small win in size, small loss running -- 100.1%),
898 and similarly for size for products (.1 .. .3% bloat, sometimes win).
899 Due to the empirical likeliness of making slower code, it is not
902 /* This no longer *needs* to be a structure; but keeping it as such should
903 not hurt (and hacking the ABI is simpler). */
904 #define CUMULATIVE_ARGS struct cum_args
905 struct cum_args {int regs;};
907 /* The regs member is an integer, the number of arguments got into
909 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, FNDECL, N_NAMED_ARGS) \
912 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
913 ((CUM).regs += (3 + CRIS_FUNCTION_ARG_SIZE (MODE, TYPE)) / 4)
915 #define FUNCTION_ARG_REGNO_P(REGNO) \
916 ((REGNO) >= CRIS_FIRST_ARG_REG \
917 && (REGNO) < CRIS_FIRST_ARG_REG + (CRIS_MAX_ARGS_IN_REGS))
920 /* Node: Scalar Return */
922 /* Let's assume all functions return in r[CRIS_FIRST_ARG_REG] for the
924 #define FUNCTION_VALUE(VALTYPE, FUNC) \
925 gen_rtx_REG (TYPE_MODE (VALTYPE), CRIS_FIRST_ARG_REG)
927 #define LIBCALL_VALUE(MODE) gen_rtx_REG (MODE, CRIS_FIRST_ARG_REG)
929 #define FUNCTION_VALUE_REGNO_P(N) ((N) == CRIS_FIRST_ARG_REG)
932 /* Node: Aggregate Return */
935 /* FIXME: Let's try this some time, so we return structures in registers.
936 We would cast the result of int_size_in_bytes to unsigned, so we will
937 get a huge number for "structures" of variable size (-1). */
938 #define RETURN_IN_MEMORY(TYPE) \
939 ((unsigned) int_size_in_bytes (TYPE) > CRIS_MAX_ARGS_IN_REGS * UNITS_PER_WORD)
942 #define CRIS_STRUCT_VALUE_REGNUM ((CRIS_FIRST_ARG_REG) - 1)
945 /* Node: Caller Saves */
946 /* (no definitions) */
948 /* Node: Function entry */
950 /* See cris.c for TARGET_ASM_FUNCTION_PROLOGUE and
951 TARGET_ASM_FUNCTION_EPILOGUE. */
953 /* Node: Profiling */
955 #define FUNCTION_PROFILER(FILE, LABELNO) \
956 error ("no FUNCTION_PROFILER for CRIS")
958 /* FIXME: Some of the undefined macros might be mandatory. If so, fix
962 /* Node: Trampolines */
964 /* This looks too complicated, and it is. I assigned r7 to be the
965 static chain register, but it is call-saved, so we have to save it,
966 and come back to restore it after the call, so we have to save srp...
967 Anyway, trampolines are rare enough that we can cope with this
968 somewhat lack of elegance.
969 (Do not be tempted to "straighten up" whitespace in the asms; the
970 assembler #NO_APP state mandates strict spacing). */
971 #define TRAMPOLINE_TEMPLATE(FILE) \
976 /* This normally-unused nop insn acts as an instruction to \
977 the simulator to flush its instruction cache. None of \
978 the other instructions in the trampoline template suits \
979 as a trigger for V32. The pc-relative addressing mode \
980 works nicely as a trigger for V10. \
981 FIXME: Have specific V32 template (possibly avoiding the \
982 use of a special instruction). */ \
983 fprintf (FILE, "\tclearf x\n"); \
984 /* We have to use a register as an intermediate, choosing \
985 semi-randomly R1 (which has to not be the \
986 STATIC_CHAIN_REGNUM), so we can use it for address \
987 indirection and jsr target. */ \
988 fprintf (FILE, "\tmove $r1,$mof\n"); \
990 fprintf (FILE, "\tmove.d 0,$r1\n"); \
991 fprintf (FILE, "\tmove.d $%s,[$r1]\n", \
992 reg_names[STATIC_CHAIN_REGNUM]); \
993 fprintf (FILE, "\taddq 6,$r1\n"); \
994 fprintf (FILE, "\tmove $mof,[$r1]\n"); \
995 fprintf (FILE, "\taddq 6,$r1\n"); \
996 fprintf (FILE, "\tmove $srp,[$r1]\n"); \
998 fprintf (FILE, "\tmove.d 0,$%s\n", \
999 reg_names[STATIC_CHAIN_REGNUM]); \
1001 fprintf (FILE, "\tmove.d 0,$r1\n"); \
1002 fprintf (FILE, "\tjsr $r1\n"); \
1003 fprintf (FILE, "\tsetf\n"); \
1005 fprintf (FILE, "\tmove.d 0,$%s\n", \
1006 reg_names[STATIC_CHAIN_REGNUM]); \
1008 fprintf (FILE, "\tmove.d 0,$r1\n"); \
1010 fprintf (FILE, "\tmove.d 0,$r9\n"); \
1011 fprintf (FILE, "\tjump $r9\n"); \
1012 fprintf (FILE, "\tsetf\n"); \
1016 fprintf (FILE, "\tmove.d $%s,[$pc+20]\n", \
1017 reg_names[STATIC_CHAIN_REGNUM]); \
1018 fprintf (FILE, "\tmove $srp,[$pc+22]\n"); \
1019 fprintf (FILE, "\tmove.d 0,$%s\n", \
1020 reg_names[STATIC_CHAIN_REGNUM]); \
1021 fprintf (FILE, "\tjsr 0\n"); \
1022 fprintf (FILE, "\tmove.d 0,$%s\n", \
1023 reg_names[STATIC_CHAIN_REGNUM]); \
1024 fprintf (FILE, "\tjump 0\n"); \
1029 #define TRAMPOLINE_SIZE (TARGET_V32 ? 58 : 32)
1031 /* CRIS wants instructions on word-boundary.
1032 Note that due to a bug (reported) in 2.7.2 and earlier, this is
1033 actually treated as alignment in _bytes_, not _bits_. (Obviously
1034 this is not fatal, only a slight waste of stack space). */
1035 #define TRAMPOLINE_ALIGNMENT 16
1037 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
1041 emit_move_insn (gen_rtx_MEM (SImode, \
1042 plus_constant (TRAMP, 6)), \
1043 plus_constant (TRAMP, 38)); \
1044 emit_move_insn (gen_rtx_MEM (SImode, \
1045 plus_constant (TRAMP, 22)), \
1047 emit_move_insn (gen_rtx_MEM (SImode, \
1048 plus_constant (TRAMP, 28)), \
1053 emit_move_insn (gen_rtx_MEM (SImode, \
1054 plus_constant (TRAMP, 10)), \
1056 emit_move_insn (gen_rtx_MEM (SImode, \
1057 plus_constant (TRAMP, 16)), \
1062 /* Note that there is no need to do anything with the cache for sake of
1066 /* Node: Library Calls */
1068 /* If you change this, you have to check whatever libraries and systems
1070 #define TARGET_EDOM 33
1073 /* Node: Addressing Modes */
1075 #define HAVE_POST_INCREMENT 1
1077 #define CONSTANT_ADDRESS_P(X) CONSTANT_P (X)
1079 /* Must be a compile-time constant, so we go with the highest value
1080 among all CRIS variants. */
1081 #define MAX_REGS_PER_ADDRESS 2
1083 /* There are helper macros defined here which are used only in
1084 GO_IF_LEGITIMATE_ADDRESS.
1086 Note that you *have to* reject invalid addressing modes for mode
1087 MODE, even if it is legal for normal addressing modes. You cannot
1088 rely on the constraints to do this work. They can only be used to
1089 doublecheck your intentions. One example is that you HAVE TO reject
1090 (mem:DI (plus:SI (reg:SI x) (reg:SI y))) because for some reason
1091 this cannot be reloaded. (Which of course you can argue that gcc
1092 should have done.) FIXME: Strange. Check. */
1094 /* No symbol can be used as an index (or more correct, as a base) together
1095 with a register with PIC; the PIC register must be there. */
1096 #define CONSTANT_INDEX_P(X) \
1097 (CONSTANT_P (X) && (!flag_pic || cris_valid_pic_const (X, true)))
1099 /* True if X is a valid base register. */
1101 (REG_P (X) && REG_OK_FOR_BASE_P (X))
1103 /* True if X is a valid base register with or without autoincrement. */
1104 #define BASE_OR_AUTOINCR_P(X) \
1106 || (GET_CODE (X) == POST_INC \
1107 && BASE_P (XEXP (X, 0)) \
1108 && REGNO (XEXP (X, 0)) != CRIS_ACR_REGNUM))
1110 /* True if X is a valid (register) index for BDAP, i.e. [Rs].S or [Rs+].S. */
1111 #define BDAP_INDEX_P(X) \
1112 ((MEM_P (X) && GET_MODE (X) == SImode \
1113 && BASE_OR_AUTOINCR_P (XEXP (X, 0))) \
1114 || (GET_CODE (X) == SIGN_EXTEND \
1115 && MEM_P (XEXP (X, 0)) \
1116 && (GET_MODE (XEXP (X, 0)) == HImode \
1117 || GET_MODE (XEXP (X, 0)) == QImode) \
1118 && BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0))))
1120 /* True if X is a valid (register) index for BIAP, i.e. Rd.m. */
1121 #define BIAP_INDEX_P(X) \
1122 ((BASE_P (X) && REG_OK_FOR_INDEX_P (X)) \
1123 || (GET_CODE (X) == MULT \
1124 && BASE_P (XEXP (X, 0)) \
1125 && REG_OK_FOR_INDEX_P (XEXP (X, 0)) \
1126 && CONST_INT_P (XEXP (X, 1)) \
1127 && (INTVAL (XEXP (X, 1)) == 2 \
1128 || INTVAL (XEXP (X, 1)) == 4)))
1130 /* A PIC operand looks like a normal symbol here. At output we dress it
1131 in "[rPIC+symbol:GOT]" (global symbol) or "rPIC+symbol:GOTOFF" (local
1132 symbol) so we exclude all addressing modes where we can't replace a
1133 plain "symbol" with that. A global PIC symbol does not fit anywhere
1134 here (but is thankfully a general_operand in itself). A local PIC
1135 symbol is valid for the plain "symbol + offset" case. */
1136 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
1139 if (BASE_OR_AUTOINCR_P (X)) \
1141 else if (TARGET_V32) \
1142 /* Nothing else is valid then. */ \
1144 else if (CONSTANT_INDEX_P (X)) \
1147 else if (GET_CODE (X) == PLUS) \
1152 if ((BASE_P (x1) && CONSTANT_INDEX_P (x2)) \
1153 || (BASE_P (x2) && CONSTANT_INDEX_P (x1)) \
1154 /* BDAP Rs[+], Rd. */ \
1155 || (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
1156 && ((BASE_P (x1) && BDAP_INDEX_P (x2)) \
1157 || (BASE_P (x2) && BDAP_INDEX_P (x1)) \
1158 /* BIAP.m Rs, Rd */ \
1159 || (BASE_P (x1) && BIAP_INDEX_P (x2)) \
1160 || (BASE_P (x2) && BIAP_INDEX_P (x1))))) \
1163 else if (MEM_P (X)) \
1165 /* DIP (Rs). Reject [[reg+]] and [[reg]] for \
1166 DImode (long long). */ \
1167 if (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
1168 && (BASE_P (XEXP (X, 0)) \
1169 || BASE_OR_AUTOINCR_P (XEXP (X, 0)))) \
1174 #ifndef REG_OK_STRICT
1175 /* Nonzero if X is a hard reg that can be used as a base reg
1176 or if it is a pseudo reg. */
1177 # define REG_OK_FOR_BASE_P(X) \
1178 (REGNO (X) <= CRIS_LAST_GENERAL_REGISTER \
1179 || REGNO (X) == ARG_POINTER_REGNUM \
1180 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1182 /* Nonzero if X is a hard reg that can be used as a base reg. */
1183 # define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
1186 #ifndef REG_OK_STRICT
1187 /* Nonzero if X is a hard reg that can be used as an index
1188 or if it is a pseudo reg. */
1189 # define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1191 /* Nonzero if X is a hard reg that can be used as an index. */
1192 # define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
1195 /* For now, don't do anything. GCC does a good job most often.
1197 Maybe we could do something about gcc:s misbehavior when it
1198 recalculates frame offsets for local variables, from fp+offs to
1199 sp+offs. The resulting address expression gets screwed up
1200 sometimes, but I'm not sure that it may be fixed here, since it is
1201 already split up in several instructions (Is this still true?).
1202 FIXME: Check and adjust for gcc-2.9x. */
1203 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN) {}
1205 /* Fix reloads known to cause suboptimal spilling. */
1206 #define LEGITIMIZE_RELOAD_ADDRESS(X, MODE, OPNUM, TYPE, INDL, WIN) \
1209 if (cris_reload_address_legitimized (X, MODE, OPNUM, TYPE, INDL)) \
1214 /* In CRIS, only the postincrement address mode depends thus,
1215 since the increment depends on the size of the operand. This is now
1216 treated generically within recog.c. */
1217 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)
1219 #define LEGITIMATE_CONSTANT_P(X) 1
1222 /* Node: Condition Code */
1224 #define NOTICE_UPDATE_CC(EXP, INSN) cris_notice_update_cc (EXP, INSN)
1226 /* FIXME: Maybe define CANONICALIZE_COMPARISON later, when playing with
1227 optimizations. It is needed; currently we do this with instruction
1228 patterns and NOTICE_UPDATE_CC. */
1233 #define REGISTER_MOVE_COST(MODE, FROM, TO) \
1234 cris_register_move_cost (MODE, FROM, TO)
1236 /* This isn't strictly correct for v0..3 in buswidth-8bit mode, but
1238 #define MEMORY_MOVE_COST(M, CLASS, IN) \
1239 (((M) == QImode) ? 4 : ((M) == HImode) ? 4 : 6)
1241 /* Regardless of the presence of delay slots, the default value of 1 for
1242 BRANCH_COST is the best in the range (1, 2, 3), tested with gcc-2.7.2
1243 with testcases ipps and gcc, giving smallest and fastest code. */
1245 #define SLOW_BYTE_ACCESS 0
1247 /* This is the threshold *below* which inline move sequences of
1248 word-length sizes will be emitted. The "9" will translate to
1249 (9 - 1) * 4 = 32 bytes maximum moved, but using 16 instructions
1250 (8 instruction sequences) or less. */
1251 #define MOVE_RATIO 9
1254 /* Node: Sections */
1256 #define TEXT_SECTION_ASM_OP "\t.text"
1258 #define DATA_SECTION_ASM_OP "\t.data"
1260 #define FORCE_EH_FRAME_INFO_IN_DATA_SECTION (! TARGET_ELF)
1262 /* The jump table is immediately connected to the preceding insn. */
1263 #define JUMP_TABLES_IN_TEXT_SECTION 1
1270 enum cris_pic_symbol_type
1273 cris_got_symbol = 1,
1274 cris_rel_symbol = 2,
1275 cris_got_symbol_needing_fixup = 3,
1276 cris_invalid_pic_symbol = 4
1279 #define PIC_OFFSET_TABLE_REGNUM (flag_pic ? CRIS_GOT_REGNUM : INVALID_REGNUM)
1281 #define LEGITIMATE_PIC_OPERAND_P(X) cris_legitimate_pic_operand (X)
1284 /* Node: File Framework */
1286 /* We don't want an .ident for gcc. To avoid that but still support
1287 #ident, we override ASM_OUTPUT_IDENT and, since the gcc .ident is its
1288 only use besides ASM_OUTPUT_IDENT, undef IDENT_ASM_OP from elfos.h. */
1290 #undef ASM_OUTPUT_IDENT
1291 #define ASM_OUTPUT_IDENT(FILE, NAME) \
1292 fprintf (FILE, "%s\"%s\"\n", "\t.ident\t", NAME);
1294 #define ASM_APP_ON "#APP\n"
1296 #define ASM_APP_OFF "#NO_APP\n"
1299 /* Node: Data Output */
1301 #define OUTPUT_ADDR_CONST_EXTRA(STREAM, X, FAIL) \
1302 do { if (!cris_output_addr_const_extra (STREAM, X)) goto FAIL; } while (0)
1304 #define IS_ASM_LOGICAL_LINE_SEPARATOR(C, STR) (C) == '@'
1306 /* Node: Uninitialized Data */
1308 /* Remember to round off odd values if we want data alignment,
1309 since we cannot do that with an .align directive.
1311 Using .comm causes the space not to be reserved in .bss, but by
1312 tricks with the symbol type. Not good if other tools than binutils
1313 are used on the object files. Since ".global ... .lcomm ..." works, we
1314 use that. Use .._ALIGNED_COMMON, since gcc whines when we only have
1315 ..._COMMON, and we prefer to whine ourselves; BIGGEST_ALIGNMENT is not
1316 the one to check. This done for a.out only. */
1317 /* FIXME: I suspect a bug in gcc with alignment. Do not warn until
1318 investigated; it mucks up the testsuite results. */
1319 #define CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, LOCAL) \
1322 int align_ = (ALIGN) / BITS_PER_UNIT; \
1323 if (TARGET_DATA_ALIGN && TARGET_ALIGN_BY_32 && align_ < 4) \
1325 else if (TARGET_DATA_ALIGN && align_ < 2) \
1327 /* FIXME: Do we need this? */ \
1328 else if (align_ < 1) \
1335 fprintf ((FILE), "%s", LOCAL_ASM_OP); \
1336 assemble_name ((FILE), (NAME)); \
1337 fprintf ((FILE), "\n"); \
1339 fprintf ((FILE), "%s", COMMON_ASM_OP); \
1340 assemble_name ((FILE), (NAME)); \
1341 fprintf ((FILE), ",%u,%u\n", (int)(SIZE), align_); \
1345 /* We can't tell a one-only or weak COMM from a "global \
1346 COMM" so just make all non-locals weak. */ \
1348 ASM_WEAKEN_LABEL (FILE, NAME); \
1349 fputs ("\t.lcomm ", (FILE)); \
1350 assemble_name ((FILE), (NAME)); \
1351 fprintf ((FILE), ",%u\n", \
1352 ((int)(SIZE) + (align_ - 1)) & ~(align_ - 1)); \
1357 #define ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN) \
1358 CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 0)
1360 #undef ASM_OUTPUT_ALIGNED_DECL_LOCAL
1361 #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(FILE, DECL, NAME, SIZE, ALIGN) \
1362 CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 1)
1364 /* Node: Label Output */
1366 /* Globalizing directive for a label. */
1367 #define GLOBAL_ASM_OP "\t.global "
1369 #define SUPPORTS_WEAK 1
1371 #define ASM_OUTPUT_SYMBOL_REF(STREAM, SYM) \
1372 cris_asm_output_symbol_ref (STREAM, SYM)
1374 #define ASM_OUTPUT_LABEL_REF(STREAM, BUF) \
1375 cris_asm_output_label_ref (STREAM, BUF)
1377 /* Remove any previous definition (elfos.h). */
1378 #undef ASM_GENERATE_INTERNAL_LABEL
1379 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
1380 sprintf (LABEL, "*%s%s%ld", LOCAL_LABEL_PREFIX, PREFIX, (long) NUM)
1382 /* Node: Initialization */
1383 /* (no definitions) */
1385 /* Node: Macros for Initialization */
1386 /* (no definitions) */
1388 /* Node: Instruction Output */
1390 #define REGISTER_NAMES \
1391 {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", \
1392 "r9", "r10", "r11", "r12", "r13", "sp", "acr", "srp", "mof", "faked_ap", "dccr"}
1394 #define ADDITIONAL_REGISTER_NAMES \
1395 {{"r14", 14}, {"r15", 15}, {"pc", 15}}
1397 #define PRINT_OPERAND(FILE, X, CODE) \
1398 cris_print_operand (FILE, X, CODE)
1400 /* For delay-slot handling. */
1401 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) \
1402 ((CODE) == '#' || (CODE) == '!' || (CODE) == ':')
1404 #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \
1405 cris_print_operand_address (FILE, ADDR)
1407 /* Output an empty line to illustrate the presence of the delay slot. */
1408 #define DBR_OUTPUT_SEQEND(FILE) \
1409 fprintf (FILE, "\n")
1411 #define LOCAL_LABEL_PREFIX (TARGET_ELF ? "." : "")
1413 /* cppinit.c initializes a const array from this, so it must be constant,
1414 can't have it different based on options. Luckily, the prefix is
1415 always allowed, so let's have it on all GCC-generated code. Note that
1416 we have this verbatim everywhere in the back-end, not using %R or %s or
1418 #define REGISTER_PREFIX "$"
1420 /* Remove any previous definition (elfos.h). */
1421 /* We use -fno-leading-underscore to remove it, when necessary. */
1422 #undef USER_LABEL_PREFIX
1423 #define USER_LABEL_PREFIX "_"
1425 #define ASM_OUTPUT_REG_PUSH(FILE, REGNO) \
1428 ? "\tsubq 4,$sp\n\tmove $%s,[$sp]\n" : "\tpush $%s\n", \
1431 #define ASM_OUTPUT_REG_POP(FILE, REGNO) \
1432 fprintf (FILE, "\tmove [$sp+],$%s\n", reg_names[REGNO])
1435 /* Node: Dispatch Tables */
1437 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) \
1441 asm_fprintf (FILE, "\t.word %LL%d-.\n", VALUE); \
1443 asm_fprintf (FILE, "\t.word %LL%d-%LL%d\n", VALUE, REL); \
1447 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
1448 asm_fprintf (FILE, "\t.dword %LL%d\n", VALUE)
1450 /* Defined to also emit an .align in elfos.h. We don't want that. */
1451 #undef ASM_OUTPUT_CASE_LABEL
1453 /* Since the "bound" insn loads the comparison value if the compared<
1454 value (register) is out of bounds (0..comparison value-1), we need
1455 to output another case to catch it.
1456 The way to find it is to look for the label_ref at the else-arm inside
1457 the expanded casesi core-insn.
1458 FIXME: Check this construct when changing to new version of gcc. */
1459 #define ASM_OUTPUT_CASE_END(STREAM, NUM, TABLE) \
1460 cris_asm_output_case_end (STREAM, NUM, TABLE)
1463 /* Node: Exception Region Output */
1464 /* (no definitions) */
1465 /* FIXME: Fill in with our own optimized layout. */
1467 /* Node: Alignment Output */
1469 #define ASM_OUTPUT_ALIGN(FILE, LOG) \
1470 fprintf (FILE, "\t.align %d\n", (LOG))
1473 /* Node: All Debuggers */
1475 #define DBX_REGISTER_NUMBER(REGNO) \
1476 ((REGNO) == CRIS_SRP_REGNUM ? CRIS_CANONICAL_SRP_REGNUM : \
1477 (REGNO) == CRIS_MOF_REGNUM ? CRIS_CANONICAL_MOF_REGNUM : \
1478 (REGNO) == CRIS_CC0_REGNUM ? CRIS_CANONICAL_CC0_REGNUM : \
1481 /* FIXME: Investigate DEBUGGER_AUTO_OFFSET, DEBUGGER_ARG_OFFSET. */
1484 /* Node: DBX Options */
1486 /* Is this correct? Check later. */
1487 #define DBX_NO_XREFS
1489 #define DBX_CONTIN_LENGTH 0
1491 /* FIXME: Is this needed when we have 0 DBX_CONTIN_LENGTH? */
1492 #define DBX_CONTIN_CHAR '?'
1495 /* Node: DBX Hooks */
1496 /* (no definitions) */
1498 /* Node: File names and DBX */
1499 /* (no definitions) */
1502 /* Node: SDB and DWARF */
1503 /* (no definitions) */
1507 /* A combination of the bound (umin) insn together with a
1508 sign-extended add via the table to PC seems optimal.
1509 If the table overflows, the assembler will take care of it.
1510 Theoretically, in extreme cases (uncertain if they occur), an error
1511 will be emitted, so FIXME: Check how large case-tables are emitted,
1512 possible add an option to emit SImode case-tables. */
1513 #define CASE_VECTOR_MODE HImode
1515 #define CASE_VECTOR_PC_RELATIVE 1
1517 /* FIXME: Investigate CASE_VECTOR_SHORTEN_MODE to make sure HImode is not
1518 used when broken-.word could possibly fail (plus testcase). */
1520 #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
1522 /* This is the number of bytes that can be moved in one
1523 reasonably fast instruction sequence. For CRIS, this is two
1524 instructions: mem => reg, reg => mem. */
1527 /* Maybe SHIFT_COUNT_TRUNCATED is safe to define? FIXME: Check later. */
1529 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1531 #define CLZ_DEFINED_VALUE_AT_ZERO(MODE, VALUE) ((VALUE) = 32, 1)
1532 #define CTZ_DEFINED_VALUE_AT_ZERO(MODE, VALUE) ((VALUE) = 32, 1)
1534 #define Pmode SImode
1536 #define FUNCTION_MODE QImode
1538 #define NO_IMPLICIT_EXTERN_C
1540 /* No specific purpose other than warningless compatibility. */
1541 #define HANDLE_PRAGMA_PACK_PUSH_POP 1
1545 * eval: (c-set-style "gnu")
1546 * indent-tabs-mode: t