1 /* Definitions for GCC. Part of the machine description for CRIS.
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008,
3 2009, 2010 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 /* Previously controlled by target_flags. */
286 /* Previously controlled by target_flags. Note that this is *not* set
288 #define TARGET_LINUX 0
290 /* For the cris-*-elf subtarget. */
291 #define CRIS_SUBTARGET_DEFAULT 0
293 #define CRIS_CPU_BASE 0
294 #define CRIS_CPU_ETRAX4 3 /* Just lz added. */
295 #define CRIS_CPU_SVINTO 8 /* Added swap, jsrc & Co., 32-bit accesses. */
296 #define CRIS_CPU_NG 10 /* Added mul[su]. */
297 #define CRIS_CPU_V32 32 /* Major changes. */
299 #ifndef TARGET_CPU_DEFAULT
300 #define TARGET_CPU_DEFAULT CRIS_CPU_BASE
303 /* Default target_flags if no switches specified. */
304 #ifndef TARGET_DEFAULT
305 # if TARGET_CPU_DEFAULT == 32
306 # define TARGET_DEFAULT \
308 + MASK_CONST_ALIGN + MASK_DATA_ALIGN \
309 + MASK_PROLOGUE_EPILOGUE)
311 # define TARGET_DEFAULT \
312 (MASK_SIDE_EFFECT_PREFIXES + MASK_STACK_ALIGN \
313 + MASK_CONST_ALIGN + MASK_DATA_ALIGN \
314 + MASK_PROLOGUE_EPILOGUE + MASK_MUL_BUG)
318 /* Local, providing a default for cris_cpu_version. */
319 #define CRIS_DEFAULT_CPU_VERSION TARGET_CPU_DEFAULT
321 #define TARGET_HAS_MUL_INSNS (cris_cpu_version >= CRIS_CPU_NG)
322 #define TARGET_HAS_LZ (cris_cpu_version >= CRIS_CPU_ETRAX4)
323 #define TARGET_HAS_SWAP (cris_cpu_version >= CRIS_CPU_SVINTO)
324 #define TARGET_V32 (cris_cpu_version >= CRIS_CPU_V32)
326 #define CRIS_SUBTARGET_HANDLE_OPTION(x, y, z)
328 /* Node: Storage Layout */
330 #define BITS_BIG_ENDIAN 0
332 #define BYTES_BIG_ENDIAN 0
334 /* WORDS_BIG_ENDIAN is not defined in the hardware, but for consistency,
335 we use little-endianness, and we may also be able to use
336 post-increment on DImode indirect. */
337 #define WORDS_BIG_ENDIAN 0
339 #define UNITS_PER_WORD 4
341 #define CRIS_PROMOTED_MODE(MODE, UNSIGNEDP, TYPE) \
342 (GET_MODE_CLASS (MODE) == MODE_INT && GET_MODE_SIZE (MODE) < 4) \
345 /* We will be using prototype promotion, so they will be 32 bit. */
346 #define PARM_BOUNDARY 32
348 /* Stack boundary is guided by -mstack-align, -mno-stack-align,
350 Old comment: (2.1: still valid in 2.7.2?)
351 Note that to make this macro affect the alignment of stack
352 locals, a fix was required, and special precautions when handling
353 the stack pointer in various other macros (TARGET_ASM_FUNCTION_PROLOGUE
354 et al) were required. See file "function.c". If you would just define
355 this macro, it would only affect the builtin alloca and variable
356 local data (non-ANSI, non-K&R, Gnu C extension). */
357 #define STACK_BOUNDARY \
358 (TARGET_STACK_ALIGN ? (TARGET_ALIGN_BY_32 ? 32 : 16) : 8)
360 #define FUNCTION_BOUNDARY 16
362 /* Do not change BIGGEST_ALIGNMENT (when optimizing), as it will affect
363 strange places, at least in 2.1. */
364 #define BIGGEST_ALIGNMENT 8
366 /* If -m16bit, -m16-bit, -malign or -mdata-align,
367 align everything to 16 bit. */
368 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN) \
370 ? (TARGET_ALIGN_BY_32 \
371 ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN) \
372 : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
374 /* Note that CONSTANT_ALIGNMENT has the effect of making gcc believe that
375 ALL references to constant stuff (in code segment, like strings) has
376 this alignment. That is a rather rushed assumption. Luckily we do not
377 care about the "alignment" operand to builtin memcpy (only place where
378 it counts), so it doesn't affect any bad spots. */
379 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN) \
380 (TARGET_CONST_ALIGN \
381 ? (TARGET_ALIGN_BY_32 \
382 ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN) \
383 : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
385 /* FIXME: Define LOCAL_ALIGNMENT for word and dword or arrays and
386 structures (if -mstack-align=), and check that it is good. */
388 #define EMPTY_FIELD_BOUNDARY 8
390 #define STRUCTURE_SIZE_BOUNDARY 8
392 #define STRICT_ALIGNMENT 0
394 /* Remove any previous definition (elfos.h).
395 ??? If it wasn't for all the other stuff that affects layout of
396 structures and bit-fields, this could presumably cause incompatibility
397 with other GNU/Linux ports (i.e. elfos.h users). */
398 #undef PCC_BITFIELD_TYPE_MATTERS
400 /* This is only used for non-scalars. Strange stuff happens to structs
401 (FIXME: What?) if we use anything larger than largest actually used
402 datum size, so lets make it 32. The type "long long" will still work
403 as usual. We can still have DImode insns, but they will only be used
404 for scalar data (i.e. long long). */
405 #define MAX_FIXED_MODE_SIZE 32
408 /* Node: Type Layout */
410 /* Note that DOUBLE_TYPE_SIZE is not defined anymore, since the default
411 value gives a 64-bit double, which is what we now use. */
413 /* For compatibility and historical reasons, a char should be signed. */
414 #define DEFAULT_SIGNED_CHAR 1
416 /* Note that WCHAR_TYPE_SIZE is used in cexp.y,
417 where TARGET_SHORT is not available. */
419 #define WCHAR_TYPE "long int"
421 #undef WCHAR_TYPE_SIZE
422 #define WCHAR_TYPE_SIZE 32
425 /* Node: Register Basics */
427 /* We count all 16 non-special registers, SRP, a faked argument
428 pointer register, MOF and CCR/DCCR. */
429 #define FIRST_PSEUDO_REGISTER (16 + 1 + 1 + 1 + 1)
431 /* For CRIS, these are r15 (pc) and r14 (sp). Register r8 is used as a
432 frame-pointer, but is not fixed. SRP is not included in general
433 registers and will not be used automatically. All other special
434 registers are fixed at the moment. The faked argument pointer register
436 #define FIXED_REGISTERS \
437 {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0}
439 /* Register r9 is used for structure-address, r10-r13 for parameters,
440 r10- for return values. */
441 #define CALL_USED_REGISTERS \
442 {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1}
444 #define CONDITIONAL_REGISTER_USAGE cris_conditional_register_usage ()
447 /* Node: Allocation Order */
449 /* We need this on CRIS, because call-used regs should be used first,
450 (so we don't need to push). Else start using registers from r0 and up.
451 This preference is mainly because if we put call-used-regs from r0
452 and up, then we can't use movem to push the rest, (which have to be
453 saved if we use them, and movem has to start with r0).
454 Change here if you change which registers to use as call registers.
456 The actual need to explicitly prefer call-used registers improved the
457 situation a lot for 2.1, but might not actually be needed anymore.
458 Still, this order reflects what GCC should find out by itself, so it
459 probably does not hurt.
461 Order of preference: Call-used-regs first, then r0 and up, last fp &
463 Call-used regs in opposite order, so they will cause less conflict if
464 a function has few args (<= 3) and it wants a scratch reg.
465 Use struct-return address first, since very few functions use
466 structure return values so it is likely to be available. */
467 #define REG_ALLOC_ORDER \
468 {9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 14, 15, 17, 16, 18, 19}
470 /* Use MOF and ACR. Prefer ACR before any other register. Prefer MOF
471 then SRP after saved registers. The *after* is because they're only
472 useful for storage, not for things being computed, which is
473 apparently more common. */
474 #define REG_ALLOC_ORDER_V32 \
475 {15, 9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 17, 16, 14, 18, 19}
478 /* Node: Values in Registers */
480 /* The VOIDmode test is so we can omit mode on anonymous insns. FIXME:
481 Still needed in 2.9x, at least for Axis-20000319. */
482 #define HARD_REGNO_NREGS(REGNO, MODE) \
484 ? 1 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
486 /* CRIS permits all registers to hold all modes. Well, except for the
487 condition-code register. And we can't hold larger-than-register size
488 modes in the last special register that can hold a full 32 bits. */
489 #define HARD_REGNO_MODE_OK(REGNO, MODE) \
491 || (REGNO) != CRIS_CC0_REGNUM) \
492 && (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
493 || ((REGNO) != CRIS_MOF_REGNUM && (REGNO) != CRIS_ACR_REGNUM)))
495 /* Because CCmode isn't covered by the "narrower mode" statement in
496 tm.texi, we can still say all modes are tieable despite not having an
497 always 1 HARD_REGNO_MODE_OK. */
498 #define MODES_TIEABLE_P(MODE1, MODE2) 1
501 /* Node: Leaf Functions */
502 /* (no definitions) */
504 /* Node: Stack Registers */
505 /* (no definitions) */
508 /* Node: Register Classes */
510 /* FIXME: A separate class for the return register would make sense.
512 We need a separate register class to handle register allocation for
513 ACR, since it can't be used for post-increment.
515 It's not obvious, but having subunions of all movable-between
516 register classes does really help register allocation. */
520 ACR_REGS, MOF_REGS, CC0_REGS, SPECIAL_REGS,
521 SPEC_ACR_REGS, GENNONACR_REGS,
522 SPEC_GENNONACR_REGS, GENERAL_REGS,
527 #define N_REG_CLASSES (int) LIM_REG_CLASSES
529 #define REG_CLASS_NAMES \
531 "ACR_REGS", "MOF_REGS", "CC0_REGS", "SPECIAL_REGS", \
532 "SPEC_ACR_REGS", "GENNONACR_REGS", "SPEC_GENNONACR_REGS", \
533 "GENERAL_REGS", "ALL_REGS"}
535 #define CRIS_SPECIAL_REGS_CONTENTS \
536 ((1 << CRIS_SRP_REGNUM) | (1 << CRIS_MOF_REGNUM) | (1 << CRIS_CC0_REGNUM))
538 /* Count in the faked argument register in GENERAL_REGS. Keep out SRP. */
539 #define REG_CLASS_CONTENTS \
542 {1 << CRIS_ACR_REGNUM}, \
543 {1 << CRIS_MOF_REGNUM}, \
544 {1 << CRIS_CC0_REGNUM}, \
545 {CRIS_SPECIAL_REGS_CONTENTS}, \
546 {CRIS_SPECIAL_REGS_CONTENTS \
547 | (1 << CRIS_ACR_REGNUM)}, \
548 {(0xffff | (1 << CRIS_AP_REGNUM)) \
549 & ~(1 << CRIS_ACR_REGNUM)}, \
550 {(0xffff | (1 << CRIS_AP_REGNUM) \
551 | CRIS_SPECIAL_REGS_CONTENTS) \
552 & ~(1 << CRIS_ACR_REGNUM)}, \
553 {0xffff | (1 << CRIS_AP_REGNUM)}, \
554 {0xffff | (1 << CRIS_AP_REGNUM) \
555 | CRIS_SPECIAL_REGS_CONTENTS} \
558 #define REGNO_REG_CLASS(REGNO) \
559 ((REGNO) == CRIS_ACR_REGNUM ? ACR_REGS : \
560 (REGNO) == CRIS_MOF_REGNUM ? MOF_REGS : \
561 (REGNO) == CRIS_CC0_REGNUM ? CC0_REGS : \
562 (REGNO) == CRIS_SRP_REGNUM ? SPECIAL_REGS : \
565 #define BASE_REG_CLASS GENERAL_REGS
567 #define MODE_CODE_BASE_REG_CLASS(MODE, OCODE, ICODE) \
568 ((OCODE) != POST_INC ? BASE_REG_CLASS : GENNONACR_REGS)
570 #define INDEX_REG_CLASS GENERAL_REGS
572 #define IRA_COVER_CLASSES { GENERAL_REGS, SPECIAL_REGS, LIM_REG_CLASSES }
574 #define REG_CLASS_FROM_LETTER(C) \
576 (C) == 'a' ? ACR_REGS : \
577 (C) == 'b' ? GENNONACR_REGS : \
578 (C) == 'h' ? MOF_REGS : \
579 (C) == 'x' ? SPECIAL_REGS : \
580 (C) == 'c' ? CC0_REGS : \
584 /* Since it uses reg_renumber, it is safe only once reg_renumber
585 has been allocated, which happens in local-alloc.c. */
586 #define REGNO_OK_FOR_BASE_P(REGNO) \
587 ((REGNO) <= CRIS_LAST_GENERAL_REGISTER \
588 || (REGNO) == ARG_POINTER_REGNUM \
589 || (unsigned) reg_renumber[REGNO] <= CRIS_LAST_GENERAL_REGISTER \
590 || (unsigned) reg_renumber[REGNO] == ARG_POINTER_REGNUM)
592 /* REGNO_OK_FOR_BASE_P seems to be obsolete wrt. this one, but not yet
593 documented as such. */
594 #define REGNO_MODE_CODE_OK_FOR_BASE_P(REGNO, MODE, OCODE, ICODE) \
595 (REGNO_OK_FOR_BASE_P (REGNO) \
596 && ((OCODE) != POST_INC \
597 || !((REGNO) == CRIS_ACR_REGNUM \
598 || (unsigned) reg_renumber[REGNO] == CRIS_ACR_REGNUM)))
600 /* See REGNO_OK_FOR_BASE_P. */
601 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO)
603 /* It seems like gcc (2.7.2 and 2.9x of 2000-03-22) may send "NO_REGS" as
604 the class for a constant (testcase: __Mul in arit.c). To avoid forcing
605 out a constant into the constant pool, we will trap this case and
606 return something a bit more sane. FIXME: Check if this is a bug.
607 Beware that we must not "override" classes that can be specified as
608 constraint letters, or else asm operands using them will fail when
609 they need to be reloaded. FIXME: Investigate whether that constitutes
611 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
612 ((CLASS) != ACR_REGS \
613 && (CLASS) != MOF_REGS \
614 && (CLASS) != CC0_REGS \
615 && (CLASS) != SPECIAL_REGS \
616 ? GENERAL_REGS : (CLASS))
618 /* We can't move special registers to and from memory in smaller than
619 word_mode. We also can't move between special registers. Luckily,
620 -1, as returned by true_regnum for non-sub/registers, is valid as a
621 parameter to our REGNO_REG_CLASS, returning GENERAL_REGS, so we get
622 the effect that any X that isn't a special-register is treated as
623 a non-empty intersection with GENERAL_REGS. */
624 #define SECONDARY_RELOAD_CLASS(CLASS, MODE, X) \
625 ((((CLASS) == SPECIAL_REGS || (CLASS) == MOF_REGS) \
626 && ((GET_MODE_SIZE (MODE) < 4 && MEM_P (X)) \
627 || !reg_classes_intersect_p (REGNO_REG_CLASS (true_regnum (X)), \
629 ? GENERAL_REGS : NO_REGS)
631 /* FIXME: Fix regrename.c; it should check validity of replacements,
632 not just with a silly pass-specific macro. We may miss some
633 opportunities, but we must stop regrename from creating acr++. */
634 #define HARD_REGNO_RENAME_OK(FROM, TO) ((TO) != CRIS_ACR_REGNUM)
636 /* For CRIS, this is always the size of MODE in words,
637 since all registers are the same size. To use omitted modes in
638 patterns with reload constraints, you must say the widest size
639 which is allowed for VOIDmode.
640 FIXME: Does that still apply for gcc-2.9x? Keep poisoned until such
641 patterns are added back. News: 2001-03-16: Happens as early as the
643 #define CLASS_MAX_NREGS(CLASS, MODE) \
644 ((MODE) == VOIDmode \
645 ? 1 /* + cris_fatal ("CLASS_MAX_NREGS with VOIDmode") */ \
646 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
648 /* We are now out of letters; we could use ten more. This forces us to
649 use C-code in the 'md' file. FIXME: Use some EXTRA_CONSTRAINTS. */
650 #define CRIS_CONST_OK_FOR_LETTER_P(VALUE, C) \
652 /* MOVEQ, CMPQ, ANDQ, ORQ. */ \
653 (C) == 'I' ? (VALUE) >= -32 && (VALUE) <= 31 : \
655 (C) == 'J' ? (VALUE) >= 0 && (VALUE) <= 63 : \
656 /* ASRQ, BTSTQ, LSRQ, LSLQ. */ \
657 (C) == 'K' ? (VALUE) >= 0 && (VALUE) <= 31 : \
658 /* A 16-bit signed number. */ \
659 (C) == 'L' ? (VALUE) >= -32768 && (VALUE) <= 32767 : \
660 /* The constant 0 for CLEAR. */ \
661 (C) == 'M' ? (VALUE) == 0 : \
662 /* A negative ADDQ or SUBQ. */ \
663 (C) == 'N' ? (VALUE) >= -63 && (VALUE) < 0 : \
664 /* Quickened ints, QI and HI. */ \
665 (C) == 'O' ? (VALUE) >= 0 && (VALUE) <= 65535 \
666 && ((VALUE) >= (65535-31) \
667 || ((VALUE) >= (255-31) \
668 && (VALUE) <= 255 )) : \
669 /* A 16-bit number signed *or* unsigned. */ \
670 (C) == 'P' ? (VALUE) >= -32768 && (VALUE) <= 65535 : \
673 #define CONST_OK_FOR_CONSTRAINT_P(VALUE, C, S) \
675 ((C) != 'K' || (S)[1] == 'c') \
676 ? CRIS_CONST_OK_FOR_LETTER_P (VALUE, C) : \
677 ((C) == 'K' && (S)[1] == 'p') \
678 ? exact_log2 (VALUE) >= 0 : \
681 #define CONSTRAINT_LEN(C, S) ((C) == 'K' ? 2 : DEFAULT_CONSTRAINT_LEN (C, S))
683 /* It is really simple to make up a 0.0; it is the same as int-0 in
685 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
686 ((C) == 'G' && ((VALUE) == CONST0_RTX (DFmode) \
687 || (VALUE) == CONST0_RTX (SFmode)))
689 /* We need this on cris to distinguish delay-slottable addressing modes. */
690 #define EXTRA_CONSTRAINT(X, C) \
692 /* Slottable address mode? */ \
693 (C) == 'Q' ? EXTRA_CONSTRAINT_Q (X) : \
694 /* Operand to BDAP or BIAP? */ \
695 (C) == 'R' ? EXTRA_CONSTRAINT_R (X) : \
696 /* A local PIC symbol? */ \
697 (C) == 'S' ? EXTRA_CONSTRAINT_S (X) : \
698 /* A three-address addressing-mode? */ \
699 (C) == 'T' ? EXTRA_CONSTRAINT_T (X) : \
700 /* A PLT symbol? */ \
701 (C) == 'U' ? EXTRA_CONSTRAINT_U (X) : \
704 #define EXTRA_MEMORY_CONSTRAINT(X, STR) ((X) == 'Q')
706 #define EXTRA_CONSTRAINT_Q(X) \
708 /* Just an indirect register (happens to also be \
709 "all" slottable memory addressing modes not \
710 covered by other constraints, i.e. '>'). */ \
711 MEM_P (X) && BASE_P (XEXP (X, 0)) \
714 #define EXTRA_CONSTRAINT_R(X) \
716 /* An operand to BDAP or BIAP: \
719 /* A [reg] or (int) [reg], maybe with post-increment. */ \
720 || BDAP_INDEX_P (X) \
721 || CONSTANT_INDEX_P (X) \
724 #define EXTRA_CONSTRAINT_T(X) \
726 /* Memory three-address operand. All are indirect-memory: */ \
728 && ((MEM_P (XEXP (X, 0)) \
729 /* Double indirect: [[reg]] or [[reg+]]? */ \
730 && (BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0)))) \
731 /* Just an explicit indirect reference: [const]? */ \
732 || CONSTANT_P (XEXP (X, 0)) \
733 /* Something that is indexed; [...+...]? */ \
734 || (GET_CODE (XEXP (X, 0)) == PLUS \
735 /* A BDAP constant: [reg+(8|16|32)bit offset]? */ \
736 && ((BASE_P (XEXP (XEXP (X, 0), 0)) \
737 && CONSTANT_INDEX_P (XEXP (XEXP (X, 0), 1))) \
738 /* A BDAP register: [reg+[reg(+)].S]? */ \
739 || (BASE_P (XEXP (XEXP (X, 0), 0)) \
740 && BDAP_INDEX_P(XEXP(XEXP(X, 0), 1))) \
741 /* Same, but with swapped arguments (no canonical \
742 ordering between e.g. REG and MEM as of LAST_UPDATED \
743 "Thu May 12 03:59:11 UTC 2005"). */ \
744 || (BASE_P (XEXP (XEXP (X, 0), 1)) \
745 && BDAP_INDEX_P (XEXP (XEXP (X, 0), 0))) \
746 /* A BIAP: [reg+reg.S] (MULT comes first). */ \
747 || (BASE_P (XEXP (XEXP (X, 0), 1)) \
748 && BIAP_INDEX_P (XEXP (XEXP (X, 0), 0)))))) \
751 /* PIC-constructs for symbols. */
752 #define EXTRA_CONSTRAINT_S(X) \
753 (flag_pic && GET_CODE (X) == CONST && cris_valid_pic_const (X, false))
755 #define EXTRA_CONSTRAINT_U(X) \
758 && cris_nonmemory_operand_or_callable_symbol (X, VOIDmode))
761 /* Node: Frame Layout */
763 #define STACK_GROWS_DOWNWARD
764 #define FRAME_GROWS_DOWNWARD 1
766 /* It seems to be indicated in the code (at least 2.1) that this is
767 better a constant, and best 0. */
768 #define STARTING_FRAME_OFFSET 0
770 #define FIRST_PARM_OFFSET(FNDECL) 0
772 #define RETURN_ADDR_RTX(COUNT, FRAMEADDR) \
773 cris_return_addr_rtx (COUNT, FRAMEADDR)
775 #define INCOMING_RETURN_ADDR_RTX gen_rtx_REG (Pmode, CRIS_SRP_REGNUM)
777 /* FIXME: Any __builtin_eh_return callers must not return anything and
778 there must not be collisions with incoming parameters. Luckily the
779 number of __builtin_eh_return callers is limited. For now return
780 parameter registers in reverse order and hope for the best. */
781 #define EH_RETURN_DATA_REGNO(N) \
782 (IN_RANGE ((N), 0, 3) ? (CRIS_FIRST_ARG_REG + 3 - (N)) : INVALID_REGNUM)
784 /* Store the stack adjustment in the structure-return-address register. */
785 #define CRIS_STACKADJ_REG CRIS_STRUCT_VALUE_REGNUM
786 #define EH_RETURN_STACKADJ_RTX gen_rtx_REG (SImode, CRIS_STACKADJ_REG)
788 #define EH_RETURN_HANDLER_RTX \
789 cris_return_addr_rtx (0, NULL)
791 #define INIT_EXPANDERS cris_init_expanders ()
793 /* FIXME: Move this to right node (it's not documented properly yet). */
794 #define DWARF_FRAME_RETURN_COLUMN DWARF_FRAME_REGNUM (CRIS_SRP_REGNUM)
796 /* FIXME: Move this to right node (it's not documented properly yet).
797 FIXME: Check what alignment we can assume regarding
798 TARGET_STACK_ALIGN and TARGET_ALIGN_BY_32. */
799 #define DWARF_CIE_DATA_ALIGNMENT -1
801 /* If we would ever need an exact mapping between canonical register
802 number and dwarf frame register, we would either need to include all
803 registers in the gcc description (with some marked fixed of course), or
804 an inverse mapping from dwarf register to gcc register. There is one
805 need in dwarf2out.c:expand_builtin_init_dwarf_reg_sizes. Right now, I
806 don't see that we need exact correspondence between DWARF *frame*
807 registers and DBX_REGISTER_NUMBER, so map them onto GCC registers. */
808 #define DWARF_FRAME_REGNUM(REG) (REG)
810 /* Node: Stack Checking */
811 /* (no definitions) FIXME: Check. */
813 /* Node: Frame Registers */
815 #define STACK_POINTER_REGNUM CRIS_SP_REGNUM
817 /* Register used for frame pointer. This is also the last of the saved
818 registers, when a frame pointer is not used. */
819 #define FRAME_POINTER_REGNUM CRIS_FP_REGNUM
821 /* Faked register, is always eliminated. We need it to eliminate
822 allocating stack slots for the return address and the frame pointer. */
823 #define ARG_POINTER_REGNUM CRIS_AP_REGNUM
825 #define STATIC_CHAIN_REGNUM CRIS_STATIC_CHAIN_REGNUM
828 /* Node: Elimination */
830 #define ELIMINABLE_REGS \
831 {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
832 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
833 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
835 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
836 (OFFSET) = cris_initial_elimination_offset (FROM, TO)
839 /* Node: Stack Arguments */
841 /* Since many parameters take up one register each in any case,
842 defining TARGET_PROMOTE_PROTOTYPES that always returns true would
843 seem like a good idea, but measurements indicate that a combination
844 using PROMOTE_MODE is better. */
846 #define ACCUMULATE_OUTGOING_ARGS 1
849 /* Node: Register Arguments */
851 /* The void_type_node is sent as a "closing" call. */
852 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
853 ((CUM).regs < CRIS_MAX_ARGS_IN_REGS \
854 ? gen_rtx_REG (MODE, (CRIS_FIRST_ARG_REG) + (CUM).regs) \
857 /* The differences between this and the previous, is that this one checks
858 that an argument is named, since incoming stdarg/varargs arguments are
859 pushed onto the stack, and we don't have to check against the "closing"
860 void_type_node TYPE parameter. */
861 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED) \
862 ((NAMED) && (CUM).regs < CRIS_MAX_ARGS_IN_REGS \
863 ? gen_rtx_REG (MODE, CRIS_FIRST_ARG_REG + (CUM).regs) \
866 /* Contrary to what you'd believe, defining FUNCTION_ARG_CALLEE_COPIES
867 seems like a (small total) loss, at least for gcc-2.7.2 compiling and
868 running gcc-2.1 (small win in size, small loss running -- 100.1%),
869 and similarly for size for products (.1 .. .3% bloat, sometimes win).
870 Due to the empirical likeliness of making slower code, it is not
873 /* This no longer *needs* to be a structure; but keeping it as such should
874 not hurt (and hacking the ABI is simpler). */
875 #define CUMULATIVE_ARGS struct cum_args
876 struct cum_args {int regs;};
878 /* The regs member is an integer, the number of arguments got into
880 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, FNDECL, N_NAMED_ARGS) \
883 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
884 ((CUM).regs += (3 + CRIS_FUNCTION_ARG_SIZE (MODE, TYPE)) / 4)
886 #define FUNCTION_ARG_REGNO_P(REGNO) \
887 ((REGNO) >= CRIS_FIRST_ARG_REG \
888 && (REGNO) < CRIS_FIRST_ARG_REG + (CRIS_MAX_ARGS_IN_REGS))
891 /* Node: Scalar Return */
893 #define FUNCTION_VALUE_REGNO_P(N) cris_function_value_regno_p (N)
897 /* Node: Aggregate Return */
899 #define CRIS_STRUCT_VALUE_REGNUM ((CRIS_FIRST_ARG_REG) - 1)
902 /* Node: Caller Saves */
903 /* (no definitions) */
905 /* Node: Function entry */
907 /* See cris.c for TARGET_ASM_FUNCTION_PROLOGUE and
908 TARGET_ASM_FUNCTION_EPILOGUE. */
910 /* Node: Profiling */
912 #define FUNCTION_PROFILER(FILE, LABELNO) \
913 error ("no FUNCTION_PROFILER for CRIS")
915 /* FIXME: Some of the undefined macros might be mandatory. If so, fix
919 /* Node: Trampolines */
921 #define TRAMPOLINE_SIZE (TARGET_V32 ? 58 : 32)
923 /* CRIS wants instructions on word-boundary. */
924 #define TRAMPOLINE_ALIGNMENT 16
926 /* Node: Library Calls */
928 /* If you change this, you have to check whatever libraries and systems
930 #define TARGET_EDOM 33
933 /* Node: Addressing Modes */
935 #define HAVE_POST_INCREMENT 1
937 /* Must be a compile-time constant, so we go with the highest value
938 among all CRIS variants. */
939 #define MAX_REGS_PER_ADDRESS 2
941 /* There are helper macros defined here which are used only in
942 GO_IF_LEGITIMATE_ADDRESS.
944 Note that you *have to* reject invalid addressing modes for mode
945 MODE, even if it is legal for normal addressing modes. You cannot
946 rely on the constraints to do this work. They can only be used to
947 doublecheck your intentions. One example is that you HAVE TO reject
948 (mem:DI (plus:SI (reg:SI x) (reg:SI y))) because for some reason
949 this cannot be reloaded. (Which of course you can argue that gcc
950 should have done.) FIXME: Strange. Check. */
952 /* No symbol can be used as an index (or more correct, as a base) together
953 with a register with PIC; the PIC register must be there. */
954 #define CONSTANT_INDEX_P(X) \
955 (CONSTANT_P (X) && (!flag_pic || cris_valid_pic_const (X, true)))
957 /* True if X is a valid base register. */
959 (REG_P (X) && REG_OK_FOR_BASE_P (X))
961 /* True if X is a valid base register with or without autoincrement. */
962 #define BASE_OR_AUTOINCR_P(X) \
964 || (GET_CODE (X) == POST_INC \
965 && BASE_P (XEXP (X, 0)) \
966 && REGNO (XEXP (X, 0)) != CRIS_ACR_REGNUM))
968 /* True if X is a valid (register) index for BDAP, i.e. [Rs].S or [Rs+].S. */
969 #define BDAP_INDEX_P(X) \
970 ((MEM_P (X) && GET_MODE (X) == SImode \
971 && BASE_OR_AUTOINCR_P (XEXP (X, 0))) \
972 || (GET_CODE (X) == SIGN_EXTEND \
973 && MEM_P (XEXP (X, 0)) \
974 && (GET_MODE (XEXP (X, 0)) == HImode \
975 || GET_MODE (XEXP (X, 0)) == QImode) \
976 && BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0))))
978 /* True if X is a valid (register) index for BIAP, i.e. Rd.m. */
979 #define BIAP_INDEX_P(X) \
980 ((BASE_P (X) && REG_OK_FOR_INDEX_P (X)) \
981 || (GET_CODE (X) == MULT \
982 && BASE_P (XEXP (X, 0)) \
983 && REG_OK_FOR_INDEX_P (XEXP (X, 0)) \
984 && CONST_INT_P (XEXP (X, 1)) \
985 && (INTVAL (XEXP (X, 1)) == 2 \
986 || INTVAL (XEXP (X, 1)) == 4)))
988 /* A PIC operand looks like a normal symbol here. At output we dress it
989 in "[rPIC+symbol:GOT]" (global symbol) or "rPIC+symbol:GOTOFF" (local
990 symbol) so we exclude all addressing modes where we can't replace a
991 plain "symbol" with that. A global PIC symbol does not fit anywhere
992 here (but is thankfully a general_operand in itself). A local PIC
993 symbol is valid for the plain "symbol + offset" case. */
994 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
997 if (BASE_OR_AUTOINCR_P (X)) \
999 else if (TARGET_V32) \
1000 /* Nothing else is valid then. */ \
1002 else if (CONSTANT_INDEX_P (X)) \
1005 else if (GET_CODE (X) == PLUS) \
1010 if ((BASE_P (x1) && CONSTANT_INDEX_P (x2)) \
1011 || (BASE_P (x2) && CONSTANT_INDEX_P (x1)) \
1012 /* BDAP Rs[+], Rd. */ \
1013 || (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
1014 && ((BASE_P (x1) && BDAP_INDEX_P (x2)) \
1015 || (BASE_P (x2) && BDAP_INDEX_P (x1)) \
1016 /* BIAP.m Rs, Rd */ \
1017 || (BASE_P (x1) && BIAP_INDEX_P (x2)) \
1018 || (BASE_P (x2) && BIAP_INDEX_P (x1))))) \
1021 else if (MEM_P (X)) \
1023 /* DIP (Rs). Reject [[reg+]] and [[reg]] for \
1024 DImode (long long). */ \
1025 if (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD \
1026 && (BASE_P (XEXP (X, 0)) \
1027 || BASE_OR_AUTOINCR_P (XEXP (X, 0)))) \
1032 #ifndef REG_OK_STRICT
1033 /* Nonzero if X is a hard reg that can be used as a base reg
1034 or if it is a pseudo reg. */
1035 # define REG_OK_FOR_BASE_P(X) \
1036 (REGNO (X) <= CRIS_LAST_GENERAL_REGISTER \
1037 || REGNO (X) == ARG_POINTER_REGNUM \
1038 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1040 /* Nonzero if X is a hard reg that can be used as a base reg. */
1041 # define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
1044 #ifndef REG_OK_STRICT
1045 /* Nonzero if X is a hard reg that can be used as an index
1046 or if it is a pseudo reg. */
1047 # define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1049 /* Nonzero if X is a hard reg that can be used as an index. */
1050 # define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
1053 /* Fix reloads known to cause suboptimal spilling. */
1054 #define LEGITIMIZE_RELOAD_ADDRESS(X, MODE, OPNUM, TYPE, INDL, WIN) \
1057 if (cris_reload_address_legitimized (X, MODE, OPNUM, TYPE, INDL)) \
1062 #define LEGITIMATE_CONSTANT_P(X) 1
1065 /* Node: Condition Code */
1067 #define NOTICE_UPDATE_CC(EXP, INSN) cris_notice_update_cc (EXP, INSN)
1069 /* FIXME: Maybe define CANONICALIZE_COMPARISON later, when playing with
1070 optimizations. It is needed; currently we do this with instruction
1071 patterns and NOTICE_UPDATE_CC. */
1076 /* Regardless of the presence of delay slots, the default value of 1 for
1077 BRANCH_COST is the best in the range (1, 2, 3), tested with gcc-2.7.2
1078 with testcases ipps and gcc, giving smallest and fastest code. */
1080 #define SLOW_BYTE_ACCESS 0
1082 /* This is the threshold *below* which inline move sequences of
1083 word-length sizes will be emitted. The "9" will translate to
1084 (9 - 1) * 4 = 32 bytes maximum moved, but using 16 instructions
1085 (8 instruction sequences) or less. */
1086 #define MOVE_RATIO(speed) 9
1089 /* Node: Sections */
1091 #define TEXT_SECTION_ASM_OP "\t.text"
1093 #define DATA_SECTION_ASM_OP "\t.data"
1095 #define FORCE_EH_FRAME_INFO_IN_DATA_SECTION (! TARGET_ELF)
1097 /* The jump table is immediately connected to the preceding insn. */
1098 #define JUMP_TABLES_IN_TEXT_SECTION 1
1105 enum cris_pic_symbol_type
1108 cris_got_symbol = 1,
1109 cris_rel_symbol = 2,
1110 cris_got_symbol_needing_fixup = 3,
1111 cris_invalid_pic_symbol = 4
1114 #define PIC_OFFSET_TABLE_REGNUM (flag_pic ? CRIS_GOT_REGNUM : INVALID_REGNUM)
1116 #define LEGITIMATE_PIC_OPERAND_P(X) cris_legitimate_pic_operand (X)
1119 /* Node: File Framework */
1121 /* We don't want an .ident for gcc. To avoid that but still support
1122 #ident, we override ASM_OUTPUT_IDENT and, since the gcc .ident is its
1123 only use besides ASM_OUTPUT_IDENT, undef IDENT_ASM_OP from elfos.h. */
1125 #undef ASM_OUTPUT_IDENT
1126 #define ASM_OUTPUT_IDENT(FILE, NAME) \
1127 fprintf (FILE, "%s\"%s\"\n", "\t.ident\t", NAME);
1129 #define ASM_APP_ON "#APP\n"
1131 #define ASM_APP_OFF "#NO_APP\n"
1134 /* Node: Data Output */
1136 #define OUTPUT_ADDR_CONST_EXTRA(STREAM, X, FAIL) \
1137 do { if (!cris_output_addr_const_extra (STREAM, X)) goto FAIL; } while (0)
1139 #define IS_ASM_LOGICAL_LINE_SEPARATOR(C, STR) (C) == '@'
1141 /* Node: Uninitialized Data */
1143 /* Remember to round off odd values if we want data alignment,
1144 since we cannot do that with an .align directive.
1146 Using .comm causes the space not to be reserved in .bss, but by
1147 tricks with the symbol type. Not good if other tools than binutils
1148 are used on the object files. Since ".global ... .lcomm ..." works, we
1149 use that. Use .._ALIGNED_COMMON, since gcc whines when we only have
1150 ..._COMMON, and we prefer to whine ourselves; BIGGEST_ALIGNMENT is not
1151 the one to check. This done for a.out only. */
1152 /* FIXME: I suspect a bug in gcc with alignment. Do not warn until
1153 investigated; it mucks up the testsuite results. */
1154 #define CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, LOCAL) \
1157 int align_ = (ALIGN) / BITS_PER_UNIT; \
1158 if (TARGET_DATA_ALIGN && TARGET_ALIGN_BY_32 && align_ < 4) \
1160 else if (TARGET_DATA_ALIGN && align_ < 2) \
1162 /* FIXME: Do we need this? */ \
1163 else if (align_ < 1) \
1170 fprintf ((FILE), "%s", LOCAL_ASM_OP); \
1171 assemble_name ((FILE), (NAME)); \
1172 fprintf ((FILE), "\n"); \
1174 fprintf ((FILE), "%s", COMMON_ASM_OP); \
1175 assemble_name ((FILE), (NAME)); \
1176 fprintf ((FILE), ",%u,%u\n", (int)(SIZE), align_); \
1180 /* We can't tell a one-only or weak COMM from a "global \
1181 COMM" so just make all non-locals weak. */ \
1183 ASM_WEAKEN_LABEL (FILE, NAME); \
1184 fputs ("\t.lcomm ", (FILE)); \
1185 assemble_name ((FILE), (NAME)); \
1186 fprintf ((FILE), ",%u\n", \
1187 ((int)(SIZE) + (align_ - 1)) & ~(align_ - 1)); \
1192 #define ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN) \
1193 CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 0)
1195 #undef ASM_OUTPUT_ALIGNED_DECL_LOCAL
1196 #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(FILE, DECL, NAME, SIZE, ALIGN) \
1197 CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 1)
1199 /* Node: Label Output */
1201 /* Globalizing directive for a label. */
1202 #define GLOBAL_ASM_OP "\t.global "
1204 #define SUPPORTS_WEAK 1
1206 #define ASM_OUTPUT_SYMBOL_REF(STREAM, SYM) \
1207 cris_asm_output_symbol_ref (STREAM, SYM)
1209 #define ASM_OUTPUT_LABEL_REF(STREAM, BUF) \
1210 cris_asm_output_label_ref (STREAM, BUF)
1212 /* Remove any previous definition (elfos.h). */
1213 #undef ASM_GENERATE_INTERNAL_LABEL
1214 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
1215 sprintf (LABEL, "*%s%s%ld", LOCAL_LABEL_PREFIX, PREFIX, (long) NUM)
1217 /* Node: Initialization */
1218 /* (no definitions) */
1220 /* Node: Macros for Initialization */
1221 /* (no definitions) */
1223 /* Node: Instruction Output */
1225 #define REGISTER_NAMES \
1226 {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", \
1227 "r9", "r10", "r11", "r12", "r13", "sp", "acr", "srp", "mof", "faked_ap", "dccr"}
1229 #define ADDITIONAL_REGISTER_NAMES \
1230 {{"r14", 14}, {"r15", 15}, {"pc", 15}}
1232 /* Output an empty line to illustrate the presence of the delay slot. */
1233 #define DBR_OUTPUT_SEQEND(FILE) \
1234 fprintf (FILE, "\n")
1236 #define LOCAL_LABEL_PREFIX (TARGET_ELF ? "." : "")
1238 /* cppinit.c initializes a const array from this, so it must be constant,
1239 can't have it different based on options. Luckily, the prefix is
1240 always allowed, so let's have it on all GCC-generated code. Note that
1241 we have this verbatim everywhere in the back-end, not using %R or %s or
1243 #define REGISTER_PREFIX "$"
1245 /* Remove any previous definition (elfos.h). */
1246 /* We use -fno-leading-underscore to remove it, when necessary. */
1247 #undef USER_LABEL_PREFIX
1248 #define USER_LABEL_PREFIX "_"
1250 #define ASM_OUTPUT_REG_PUSH(FILE, REGNO) \
1253 ? "\tsubq 4,$sp\n\tmove $%s,[$sp]\n" : "\tpush $%s\n", \
1256 #define ASM_OUTPUT_REG_POP(FILE, REGNO) \
1257 fprintf (FILE, "\tmove [$sp+],$%s\n", reg_names[REGNO])
1260 /* Node: Dispatch Tables */
1262 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) \
1266 asm_fprintf (FILE, "\t.word %LL%d-.\n", VALUE); \
1268 asm_fprintf (FILE, "\t.word %LL%d-%LL%d\n", VALUE, REL); \
1272 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
1273 asm_fprintf (FILE, "\t.dword %LL%d\n", VALUE)
1275 /* Defined to also emit an .align in elfos.h. We don't want that. */
1276 #undef ASM_OUTPUT_CASE_LABEL
1278 /* Since the "bound" insn loads the comparison value if the compared<
1279 value (register) is out of bounds (0..comparison value-1), we need
1280 to output another case to catch it.
1281 The way to find it is to look for the label_ref at the else-arm inside
1282 the expanded casesi core-insn.
1283 FIXME: Check this construct when changing to new version of gcc. */
1284 #define ASM_OUTPUT_CASE_END(STREAM, NUM, TABLE) \
1285 cris_asm_output_case_end (STREAM, NUM, TABLE)
1288 /* Node: Exception Region Output */
1289 /* (no definitions) */
1290 /* FIXME: Fill in with our own optimized layout. */
1292 /* Node: Alignment Output */
1294 #define ASM_OUTPUT_ALIGN(FILE, LOG) \
1295 fprintf (FILE, "\t.align %d\n", (LOG))
1298 /* Node: All Debuggers */
1300 #define DBX_REGISTER_NUMBER(REGNO) \
1301 ((REGNO) == CRIS_SRP_REGNUM ? CRIS_CANONICAL_SRP_REGNUM : \
1302 (REGNO) == CRIS_MOF_REGNUM ? CRIS_CANONICAL_MOF_REGNUM : \
1303 (REGNO) == CRIS_CC0_REGNUM ? CRIS_CANONICAL_CC0_REGNUM : \
1306 /* FIXME: Investigate DEBUGGER_AUTO_OFFSET, DEBUGGER_ARG_OFFSET. */
1309 /* Node: DBX Options */
1311 /* Is this correct? Check later. */
1312 #define DBX_NO_XREFS
1314 #define DBX_CONTIN_LENGTH 0
1316 /* FIXME: Is this needed when we have 0 DBX_CONTIN_LENGTH? */
1317 #define DBX_CONTIN_CHAR '?'
1320 /* Node: DBX Hooks */
1321 /* (no definitions) */
1323 /* Node: File names and DBX */
1324 /* (no definitions) */
1327 /* Node: SDB and DWARF */
1328 /* (no definitions) */
1332 /* A combination of the bound (umin) insn together with a
1333 sign-extended add via the table to PC seems optimal.
1334 If the table overflows, the assembler will take care of it.
1335 Theoretically, in extreme cases (uncertain if they occur), an error
1336 will be emitted, so FIXME: Check how large case-tables are emitted,
1337 possible add an option to emit SImode case-tables. */
1338 #define CASE_VECTOR_MODE HImode
1340 #define CASE_VECTOR_PC_RELATIVE 1
1342 /* FIXME: Investigate CASE_VECTOR_SHORTEN_MODE to make sure HImode is not
1343 used when broken-.word could possibly fail (plus testcase). */
1345 #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
1347 /* This is the number of bytes that can be moved in one
1348 reasonably fast instruction sequence. For CRIS, this is two
1349 instructions: mem => reg, reg => mem. */
1352 /* Maybe SHIFT_COUNT_TRUNCATED is safe to define? FIXME: Check later. */
1354 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1356 #define CLZ_DEFINED_VALUE_AT_ZERO(MODE, VALUE) ((VALUE) = 32, 1)
1357 #define CTZ_DEFINED_VALUE_AT_ZERO(MODE, VALUE) ((VALUE) = 32, 1)
1359 #define Pmode SImode
1361 #define FUNCTION_MODE QImode
1363 #define NO_IMPLICIT_EXTERN_C
1365 /* No specific purpose other than warningless compatibility. */
1366 #define HANDLE_PRAGMA_PACK_PUSH_POP 1
1370 * eval: (c-set-style "gnu")
1371 * indent-tabs-mode: t