OSDN Git Service

* 1750a.h, a29k.h, arc.h, arm.h, c4x.h, clipper.h, cris.h, d30v.h,
[pf3gnuchains/gcc-fork.git] / gcc / config / cris / cris.h
1 /* Definitions for GCC.  Part of the machine description for CRIS.
2    Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
3    Contributed by Axis Communications.  Written by Hans-Peter Nilsson.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA.  */
21
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.
27
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.  */
34
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.  */
39
40 /* Replacement for REG_P since it does not match SUBREGs.  Happens for
41    testcase Axis-20000320 with gcc-2.9x.  */
42 #define REG_S_P(x) \
43  (REG_P (x) || (GET_CODE (x) == SUBREG && REG_P (XEXP (x, 0))))
44
45 /* Last register in main register bank r0..r15.  */
46 #define CRIS_LAST_GENERAL_REGISTER 15
47
48 /* Descriptions of registers used for arguments.  */
49 #define CRIS_FIRST_ARG_REG 10
50 #define CRIS_MAX_ARGS_IN_REGS 4
51
52 /* Other convenience definitions.  */
53 #define CRIS_PC_REGNUM 15
54 #define CRIS_SRP_REGNUM 16
55
56 /* Most of the time, we need the index into the register-names array.
57    When passing debug-info, we need the real register number.  */
58 #define CRIS_CANONICAL_SRP_REGNUM (16 + 11)
59 #define CRIS_CANONICAL_MOF_REGNUM (16 + 7)
60
61 /* When generating PIC, these suffixes are added to the names of non-local
62    functions when being output.  Contrary to other ports, we have offsets
63    relative to the GOT, not the PC.  We might implement PC-relative PLT
64    semantics later for the general case; they are used in some cases right
65    now, such as MI thunks.  */
66 #define CRIS_GOTPLT_SUFFIX ":GOTPLT"
67 #define CRIS_PLT_GOTOFFSET_SUFFIX ":PLTG"
68 #define CRIS_PLT_PCOFFSET_SUFFIX ":PLT"
69
70 #define CRIS_FUNCTION_ARG_SIZE(MODE, TYPE)      \
71   ((MODE) != BLKmode ? GET_MODE_SIZE (MODE)     \
72    : (unsigned) int_size_in_bytes (TYPE))
73
74 /* Check for max allowed stackframe. A "const char *" to be parsed.  */
75 extern const char *cris_max_stackframe_str;
76
77 /* Which CPU version this is.  A "const char *" to be parsed.  */
78 extern const char *cris_cpu_str;
79
80 /* Which CPU version this is.  The parsed and adjusted cris_cpu_str.  */
81 extern int cris_cpu_version;
82
83 /* Which CPU version to tune for.  A "const char *" to be parsed.  */
84 extern const char *cris_tune_str;
85
86 /* The argument to "-melinux-stacksize=".  We don't parse it currently;
87    it's just passed on to the linker.  We might want to do something
88    here someday.  */
89 extern const char *cris_elinux_stacksize_str;
90
91 /* Changing the order used to be necessary to put the fourth __make_dp
92    argument (a DImode parameter) in registers, to fit with the libfunc
93    parameter passing scheme used for intrinsic functions.  FIXME: Check
94    performance and maybe remove definition from TARGET_LIBGCC2_CFLAGS now
95    that it isn't strictly necessary.  We used to do this through
96    TARGET_LIBGCC2_CFLAGS, but that became increasingly difficult as the
97    parenthesis (that needed quoting) travels through several layers of
98    make and shell invocations.  */
99 #ifdef IN_LIBGCC2
100 #define __make_dp(a,b,c,d) __cris_make_dp(d,a,b,c)
101 #endif
102
103
104 /* Node: Driver */
105
106 /* When using make with defaults.mak for Sun this will handily remove
107    any "-target sun*" switches.  */
108 /* We need to override any previous definitions (linux.h) */
109 #undef WORD_SWITCH_TAKES_ARG
110 #define WORD_SWITCH_TAKES_ARG(STR)              \
111  (DEFAULT_WORD_SWITCH_TAKES_ARG (STR)           \
112   || !strcmp (STR, "target"))
113
114 /* Also provide canonical vN definitions when user specifies an alias.
115    Note that -melf overrides -maout.  */
116
117 /* The `-$' is here mostly due to the integrated preprocessor not
118    handling the builtin expansion of "#define __REGISTER_PREFIX__ $"
119    gracefully.  This is slightly redundant although not incorrect.
120    We're quite alone defining REGISTER_PREFIX as "$" so it's unlikely
121    someone will fight for us.  This year in the mountains.
122    Note that for -melinux and -mlinux, command-line -isystem options are
123    emitted both before and after the synthesized one.  We can't remove all
124    of them: a %{<isystem} will only remove the first one and %{<isystem*}
125    will not do TRT.  Those extra occurrences are harmless anyway.  */
126 #define CPP_SPEC \
127  "-$ -D__CRIS_ABI_version=2\
128   %{mtune=*:-D__tune_%* %{mtune=v*:-D__CRIS_arch_tune=%*}}\
129    %{mtune=etrax4:-D__tune_v3 -D__CRIS_arch_tune=3}\
130    %{mtune=etrax100:-D__tune_v8 -D__CRIS_arch_tune=8}\
131    %{mtune=svinto:-D__tune_v8 -D__CRIS_arch_tune=8}\
132    %{mtune=etrax100lx:-D__tune_v10 -D__CRIS_arch_tune=10}\
133    %{mtune=ng:-D__tune_v10 -D__CRIS_arch_tune=10}\
134   %{mcpu=*:-D__arch_%* %{mcpu=v*:-D__CRIS_arch_version=%*}}\
135    %{mcpu=etrax4:-D__arch_v3 -D__CRIS_arch_version=3}\
136    %{mcpu=etrax100:-D__arch_v8 -D__CRIS_arch_version=8}\
137    %{mcpu=svinto:-D__arch_v8 -D__CRIS_arch_version=8}\
138    %{mcpu=etrax100lx:-D__arch_v10 -D__CRIS_arch_version=10}\
139    %{mcpu=ng:-D__arch_v10 -D__CRIS_arch_version=10}\
140   %{march=*:-D__arch_%* %{march=v*:-D__CRIS_arch_version=%*}}\
141    %{march=etrax4:-D__arch_v3 -D__CRIS_arch_version=3}\
142    %{march=etrax100:-D__arch_v8 -D__CRIS_arch_version=8}\
143    %{march=svinto:-D__arch_v8 -D__CRIS_arch_version=8}\
144    %{march=etrax100lx:-D__arch_v10 -D__CRIS_arch_version=10}\
145    %{march=ng:-D__arch_v10 -D__CRIS_arch_version=10}\
146   %{metrax100:-D__arch__v8 -D__CRIS_arch_version=8}\
147   %{metrax4:-D__arch__v3 -D__CRIS_arch_version=3}\
148   %(cpp_subtarget)"
149
150 /* For the cris-*-elf subtarget.  */
151 #define CRIS_CPP_SUBTARGET_SPEC \
152  "-D__ELF__\
153   %{mbest-lib-options:\
154    %{!moverride-best-lib-options:\
155     %{!march=*:%{!metrax*:%{!mcpu=*:-D__tune_v10 -D__CRIS_arch_tune=10}}}}}"
156
157 /* Remove those Sun-make "target" switches.  */
158 /* Override previous definitions (linux.h).  */
159 #undef CC1_SPEC
160 #define CC1_SPEC \
161  "%{target*:}\
162   %{metrax4:-march=v3}\
163   %{metrax100:-march=v8}\
164   %(cc1_subtarget)"
165
166 /* For the cris-*-elf subtarget.  */
167 #define CRIS_CC1_SUBTARGET_SPEC \
168  "-melf\
169   %{mbest-lib-options:\
170    %{!moverride-best-lib-options:\
171     %{!march=*:%{!mcpu=*:-mtune=v10 -D__CRIS_arch_tune=10}}\
172     %{!finhibit-size-directive:\
173       %{!fno-function-sections: -ffunction-sections}\
174       %{!fno-data-sections: -fdata-sections}}}}"
175
176 /* This adds to CC1_SPEC.  When bugs are removed from -fvtable-gc
177    (-fforce-addr causes invalid .vtable_entry asm in tinfo.cc and
178    nothing at all works in GCC 3.0-pre), add this line:
179    "%{mbest-lib-options:%{!moverride-best-lib-options:\
180    %{!melinux:%{!maout|melf:%{!fno-vtable-gc:-fvtable-gc}}}}}".  */
181 #define CC1PLUS_SPEC ""
182
183 /* Override previous definitions (linux.h).  */
184 #undef ASM_SPEC
185 #define ASM_SPEC \
186  "%{v:-v}\
187   %(asm_subtarget)"
188
189 /* For the cris-*-elf subtarget.  */
190 #define CRIS_ASM_SUBTARGET_SPEC "--em=criself"
191
192 /* FIXME: We should propagate the -melf option to make the criself
193    "emulation" unless a linker script is provided (-T*), but I don't know
194    how to do that if either of -Ttext, -Tdata or -Tbss is given but no
195    linker script, as is usually the case.  Leave it to the user for the
196    time being.
197
198    Note that -melf overrides -maout except that a.out-compiled libraries
199    are linked in (multilibbing).  The somewhat cryptic -rpath-link pair is
200    to avoid *only* picking up the linux multilib subdir from the "-B./"
201    option during build, while still giving it preference.  We'd need some
202    %s-variant that checked for existence of some specific file.  */
203 /* Override previous definitions (svr4.h).  */
204 #undef LINK_SPEC
205 #define LINK_SPEC \
206  "%{v:--verbose}\
207   %(link_subtarget)"
208
209 /* For the cris-*-elf subtarget.  */
210 #define CRIS_LINK_SUBTARGET_SPEC \
211  "-mcriself\
212   %{sim2:%{!T*:-Tdata 0x4000000 -Tbss 0x8000000}}\
213   %{O2|O3: --gc-sections}"
214
215 /* Which library to get.  The only difference from the default is to get
216    libsc.a if -sim is given to the driver.  Repeat -lc -lsysX
217    {X=sim,linux}, because libsysX needs (at least) errno from libc, and
218    then we want to resolve new unknowns in libc against libsysX, not
219    libnosys.  */
220 /* Override previous definitions (linux.h).  */
221 #undef LIB_SPEC
222 #define LIB_SPEC \
223  "%{sim*:-lc -lsyssim -lc -lsyssim}\
224   %{!sim*:%{g*:-lg}\
225     %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p} -lbsp}\
226   -lnosys"
227
228 /* Linker startfile options; crt0 flavors.
229
230    At the moment there are no gcrt0.o or mcrt0.o, but keep them here and
231    link them to crt0.o to be prepared.  Use scrt0.c if running the
232    simulator, linear style, or s2crt0.c if fixed style.  */
233 /* We need to remove any previous definition (elfos.h).  */
234 #undef STARTFILE_SPEC
235 #define STARTFILE_SPEC \
236  "%{sim2:s2crt0.o%s}\
237   %{!sim2:%{sim:scrt0.o%s}\
238    %{!sim:%{pg:gcrt0.o%s}\
239     %{!pg:%{p:mcrt0.o%s}%{!p:crt0.o%s}}}}\
240   crtbegin.o%s"
241
242 #undef ENDFILE_SPEC
243 #define ENDFILE_SPEC "crtend.o%s"
244
245 #define EXTRA_SPECS                             \
246   {"cpp_subtarget", CRIS_CPP_SUBTARGET_SPEC},   \
247   {"cc1_subtarget", CRIS_CC1_SUBTARGET_SPEC},   \
248   {"asm_subtarget", CRIS_ASM_SUBTARGET_SPEC},   \
249   {"link_subtarget", CRIS_LINK_SUBTARGET_SPEC}, \
250   CRIS_SUBTARGET_EXTRA_SPECS
251
252 #define CRIS_SUBTARGET_EXTRA_SPECS
253
254
255 /* Node: Run-time Target */
256
257 /* Only keep the non-varying ones here.  */
258 #define CPP_PREDEFINES  "-Dcris -DCRIS -DGNU_CRIS"
259
260 /* This needs to be at least 32 bits.  */
261 extern int target_flags;
262
263 /* Currently this just affects aligment.  FIXME:  Redundant with
264    TARGET_ALIGN_BY_32, or put machine stuff here?  */
265 #define TARGET_MASK_SVINTO 1
266 #define TARGET_SVINTO (target_flags & TARGET_MASK_SVINTO)
267
268 /* If to use condition-codes generated by insns other than the
269    immediately preceding compare/test insn.
270     Used to check for errors in notice_update_cc.  */
271 #define TARGET_MASK_CCINIT 2
272 #define TARGET_CCINIT (target_flags & TARGET_MASK_CCINIT)
273
274 /* Debug option.  */
275 #define TARGET_MASK_PDEBUG 4
276 #define TARGET_PDEBUG (target_flags & TARGET_MASK_PDEBUG)
277
278 /* If to use side-effect patterns.  Used to debug the [rx=ry+i] type
279    patterns.  */
280 #define TARGET_MASK_SIDE_EFFECT_PREFIXES 8
281 #define TARGET_SIDE_EFFECT_PREFIXES \
282  (target_flags & TARGET_MASK_SIDE_EFFECT_PREFIXES)
283
284 /* If to expand mul into mstep.  Only used when making libc.a.  */
285 #define TARGET_MASK_EXPAND_MUL 16
286 #define TARGET_EXPAND_MUL (target_flags & TARGET_MASK_EXPAND_MUL)
287
288 /* If to *keep* (not force) alignment of stack at 16 bits.  */
289 #define TARGET_MASK_STACK_ALIGN 32
290 #define TARGET_STACK_ALIGN (target_flags & TARGET_MASK_STACK_ALIGN)
291
292 /* If to do alignment on individual non-modifiable objects.  */
293 #define TARGET_MASK_CONST_ALIGN 64
294 #define TARGET_CONST_ALIGN (target_flags & TARGET_MASK_CONST_ALIGN)
295
296 /* If to do alignment on individual modifiable objects.  */
297 #define TARGET_MASK_DATA_ALIGN 128
298 #define TARGET_DATA_ALIGN (target_flags & TARGET_MASK_DATA_ALIGN)
299
300 /* If not to omit function prologue and epilogue.  */
301 #define TARGET_MASK_PROLOGUE_EPILOGUE 256
302 #define TARGET_PROLOGUE_EPILOGUE (target_flags & TARGET_MASK_PROLOGUE_EPILOGUE)
303
304 /* Instructions additions from Etrax 4 and up.
305    (Just "lz", which we don't really generate from GCC -- yet).  */
306 #define TARGET_MASK_ETRAX4_ADD 512
307 #define TARGET_ETRAX4_ADD (target_flags & TARGET_MASK_ETRAX4_ADD)
308
309 /* Say that all alignment specifications say to prefer 32 rather
310    than 16 bits.  */
311 #define TARGET_MASK_ALIGN_BY_32 1024
312 #define TARGET_ALIGN_BY_32 (target_flags & TARGET_MASK_ALIGN_BY_32)
313
314 /* This condition is of limited use, as gcc is riddled with #ifdef:s
315    controlling this, rather than if (...):s.  */
316 #define TARGET_MASK_ELF 2048
317 #define TARGET_ELF (target_flags & TARGET_MASK_ELF)
318
319 /* Currently just used to error-check other options.  Note that this is
320    *not* set for -melinux.  */
321 #define TARGET_MASK_LINUX 4096
322 #define TARGET_LINUX (target_flags & TARGET_MASK_LINUX)
323
324 /* There's a small setup cost with using GOTPLT references, but should
325    in total be a win both in code-size and execution-time.  */
326 #define TARGET_MASK_AVOID_GOTPLT 8192
327 #define TARGET_AVOID_GOTPLT (target_flags & TARGET_MASK_AVOID_GOTPLT)
328
329 #define TARGET_SWITCHES                                                 \
330  {                                                                      \
331   /* No "no-etrax" as it does not really imply any model.               \
332      On the other hand, "etrax" implies the common (and large)          \
333      subset matching all models.  */                                    \
334   {"etrax4",                             TARGET_MASK_ETRAX4_ADD,        \
335    N_("Compile for ETRAX 4 (CRIS v3)")},                                \
336   {"no-etrax4",                         -TARGET_MASK_ETRAX4_ADD, ""},   \
337   {"etrax100",                       (TARGET_MASK_SVINTO                \
338                                       + TARGET_MASK_ETRAX4_ADD          \
339                                       + TARGET_MASK_ALIGN_BY_32),       \
340    N_("Compile for ETRAX 100 (CRIS v8)")},                              \
341   {"no-etrax100",                   -(TARGET_MASK_SVINTO                \
342                                       + TARGET_MASK_ETRAX4_ADD), ""},   \
343   {"pdebug",                                 TARGET_MASK_PDEBUG,        \
344    N_("Emit verbose debug information in assembly code")},              \
345   {"no-pdebug",                             -TARGET_MASK_PDEBUG, ""},   \
346   {"cc-init",                                TARGET_MASK_CCINIT,        \
347    N_("Do not use condition codes from normal instructions")},          \
348   {"no-cc-init",                            -TARGET_MASK_CCINIT, ""},   \
349   {"side-effects",             TARGET_MASK_SIDE_EFFECT_PREFIXES, ""},   \
350   {"no-side-effects",         -TARGET_MASK_SIDE_EFFECT_PREFIXES,        \
351    N_("Do not emit addressing modes with side-effect assignment")},     \
352   {"stack-align",                       TARGET_MASK_STACK_ALIGN, ""},   \
353   {"no-stack-align",                   -TARGET_MASK_STACK_ALIGN,        \
354    N_("Do not tune stack alignment")},                                  \
355   {"data-align",                         TARGET_MASK_DATA_ALIGN, ""},   \
356   {"no-data-align",                     -TARGET_MASK_DATA_ALIGN,        \
357    N_("Do not tune writable data alignment")},                          \
358   {"const-align",                       TARGET_MASK_CONST_ALIGN, ""},   \
359   {"no-const-align",                   -TARGET_MASK_CONST_ALIGN,        \
360    N_("Do not tune code and read-only data alignment")},                \
361   {"32-bit",                        (TARGET_MASK_STACK_ALIGN            \
362                                      + TARGET_MASK_CONST_ALIGN          \
363                                      + TARGET_MASK_DATA_ALIGN           \
364                                      + TARGET_MASK_ALIGN_BY_32), ""},   \
365   {"32bit",                         (TARGET_MASK_STACK_ALIGN            \
366                                      + TARGET_MASK_CONST_ALIGN          \
367                                      + TARGET_MASK_DATA_ALIGN           \
368                                      + TARGET_MASK_ALIGN_BY_32),        \
369    N_("Align code and data to 32 bits")},                               \
370   {"16-bit",                         (TARGET_MASK_STACK_ALIGN           \
371                                       + TARGET_MASK_CONST_ALIGN         \
372                                       + TARGET_MASK_DATA_ALIGN), ""},   \
373   {"16bit",                          (TARGET_MASK_STACK_ALIGN           \
374                                       + TARGET_MASK_CONST_ALIGN         \
375                                       + TARGET_MASK_DATA_ALIGN), ""},   \
376   {"8-bit",                         -(TARGET_MASK_STACK_ALIGN           \
377                                       + TARGET_MASK_CONST_ALIGN         \
378                                       + TARGET_MASK_DATA_ALIGN), ""},   \
379   {"8bit",                          -(TARGET_MASK_STACK_ALIGN           \
380                                       + TARGET_MASK_CONST_ALIGN         \
381                                       + TARGET_MASK_DATA_ALIGN),        \
382    N_("Don't align items in code or data")},                            \
383   {"prologue-epilogue",           TARGET_MASK_PROLOGUE_EPILOGUE, ""},   \
384   {"no-prologue-epilogue",       -TARGET_MASK_PROLOGUE_EPILOGUE,        \
385    N_("Do not emit function prologue or epilogue")},                    \
386   /* We have to handle this m-option here since we can't wash it off in \
387      both CC1_SPEC and CC1PLUS_SPEC.  */                                \
388   {"best-lib-options",                                        0,        \
389  N_("Use the most feature-enabling options allowed by other options")}, \
390                                                                         \
391   /* We must call it "override-" since calling it "no-" will cause      \
392      gcc.c to forget it, if there's a "later" -mbest-lib-options.       \
393      Kludgy, but needed for some multilibbed files.  */                 \
394   {"override-best-lib-options",                               0,        \
395    N_("Override -mbest-lib-options")},                                  \
396   CRIS_SUBTARGET_SWITCHES                                               \
397   {"",                  TARGET_DEFAULT | CRIS_SUBTARGET_DEFAULT, ""}}   \
398
399 /* For the cris-*-elf subtarget.  */
400 #define CRIS_SUBTARGET_SWITCHES \
401  {"elf", 0, ""},
402
403 /* Default target_flags if no switches specified.  */
404 #ifndef TARGET_DEFAULT
405 # define TARGET_DEFAULT \
406  (TARGET_MASK_SIDE_EFFECT_PREFIXES + TARGET_MASK_STACK_ALIGN \
407   + TARGET_MASK_CONST_ALIGN + TARGET_MASK_DATA_ALIGN \
408   + TARGET_MASK_PROLOGUE_EPILOGUE)
409 #endif
410
411 /* For the cris-*-elf subtarget.  */
412 #define CRIS_SUBTARGET_DEFAULT TARGET_MASK_ELF
413
414 #define CRIS_CPU_BASE 0
415 #define CRIS_CPU_ETRAX4 3       /* Just lz added.  */
416 #define CRIS_CPU_SVINTO 8       /* Added swap, jsrc & Co., 32-bit accesses.  */
417 #define CRIS_CPU_NG 10          /* Added mul[su].  */
418
419 /* Local, providing a default for cris_cpu_version.  */
420 #define CRIS_DEFAULT_CPU_VERSION CRIS_CPU_BASE
421
422 #define TARGET_HAS_MUL_INSNS (cris_cpu_version >= CRIS_CPU_NG)
423
424 #define TARGET_OPTIONS                                                  \
425  {{"cpu=", &cris_cpu_str, ""},                                          \
426   {"arch=", &cris_cpu_str,                                              \
427    N_("Generate code for the specified chip or CPU version")},          \
428   {"tune=", &cris_tune_str,                                             \
429    N_("Tune alignment for the specified chip or CPU version")},         \
430   {"max-stackframe=", &cris_max_stackframe_str,                         \
431    N_("Warn when a stackframe is larger than the specified size")},     \
432   CRIS_SUBTARGET_LONG_OPTIONS                                           \
433   {"ax-stackframe=", &cris_max_stackframe_str, ""}}
434
435 #define CRIS_SUBTARGET_LONG_OPTIONS
436
437 /* Print subsidiary information on the compiler version in use.
438    Do not use VD.D syntax (D=digit), since this will cause confusion
439    with the base gcc version among users, when we ask which version of
440    gcc-cris they are using.  Please use some flavor of "R<number>" for
441    the version (no need for major.minor versions, I believe).  */
442 #define TARGET_VERSION \
443  fprintf (stderr, " [Axis CRIS release R36a%s]", CRIS_SUBTARGET_VERSION)
444
445 /* For the cris-*-elf subtarget.  */
446 #define CRIS_SUBTARGET_VERSION " - generic ELF"
447
448 #define OVERRIDE_OPTIONS cris_override_options ()
449
450 /* The following gives optimal code for gcc-2.7.2, but *may* be subject
451    to change.  Omitting flag_force_addr gives .1-.7% faster code for gcc
452    *only*, but 1.3% larger code.  On ipps it gives 5.3-10.6% slower
453    code(!) and 0.3% larger code.  For products, images gets .1-1.8%
454    larger.  Do not set strict aliasing from optimization options.  */
455 #define OPTIMIZATION_OPTIONS(OPTIMIZE, SIZE)    \
456   do                                            \
457     {                                           \
458       if ((OPTIMIZE) >= 2 || (SIZE))            \
459         {                                       \
460           flag_force_addr = 1;                  \
461           flag_omit_frame_pointer = 1;          \
462         }                                       \
463     }                                           \
464   while (0)
465
466
467 /* Node: Storage Layout */
468
469 #define BITS_BIG_ENDIAN 0
470
471 #define BYTES_BIG_ENDIAN 0
472
473 /* WORDS_BIG_ENDIAN is not defined in the hardware, but for consistency,
474    we use little-endianness, and we may also be able to use
475    post-increment on DImode indirect.  */
476 #define WORDS_BIG_ENDIAN 0
477
478 #define UNITS_PER_WORD 4
479
480 /* A combination of defining PROMOTE_MODE, PROMOTE_FUNCTION_ARGS,
481    PROMOTE_FOR_CALL_ONLY and *not* defining PROMOTE_PROTOTYPES gives the
482    best code size and speed for gcc, ipps and products in gcc-2.7.2.  */
483 #define CRIS_PROMOTED_MODE(MODE, UNSIGNEDP, TYPE) \
484  (GET_MODE_CLASS (MODE) == MODE_INT && GET_MODE_SIZE (MODE) < 4) \
485   ? SImode : MODE
486
487 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE)  \
488   (MODE) = CRIS_PROMOTED_MODE (MODE, UNSIGNEDP, TYPE)
489
490 #define PROMOTE_FUNCTION_ARGS
491
492 /* Defining PROMOTE_FUNCTION_RETURN in gcc-2.7.2 uncovers bug 981110 (even
493    if defining FUNCTION_VALUE with MODE as PROMOTED_MODE ;-)
494
495    FIXME: Report this when cris.h is part of GCC, so others can easily
496    see the problem.  Maybe check other systems that define
497    PROMOTE_FUNCTION_RETURN.  */
498 #define PROMOTE_FOR_CALL_ONLY
499
500 /* We will be using prototype promotion, so they will be 32 bit.  */
501 #define PARM_BOUNDARY 32
502
503 /* Stack boundary is guided by -mstack-align, -mno-stack-align,
504    -malign.
505    Old comment: (2.1: still valid in 2.7.2?)
506     Note that to make this macro affect the alignment of stack
507    locals, a fix was required, and special precautions when handling
508    the stack pointer in various other macros (TARGET_ASM_FUNCTION_PROLOGUE
509    et al) were required.  See file "function.c".  If you would just define
510    this macro, it would only affect the builtin alloca and variable
511    local data (non-ANSI, non-K&R, Gnu C extension).  */
512 #define STACK_BOUNDARY \
513  (TARGET_STACK_ALIGN ? (TARGET_ALIGN_BY_32 ? 32 : 16) : 8)
514
515 #define FUNCTION_BOUNDARY 16
516
517 /* Do not change BIGGEST_ALIGNMENT (when optimizing), as it will affect
518    strange places, at least in 2.1.  */
519 #define BIGGEST_ALIGNMENT 8
520
521 /* If -m16bit,  -m16-bit, -malign or -mdata-align,
522    align everything to 16 bit.  */
523 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN)                       \
524  (TARGET_DATA_ALIGN                                             \
525   ? (TARGET_ALIGN_BY_32                                         \
526      ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN)                    \
527      : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
528
529 /* Note that CONSTANT_ALIGNMENT has the effect of making gcc believe that
530    ALL references to constant stuff (in code segment, like strings) has
531    this alignment.  That is a rather rushed assumption.  Luckily we do not
532    care about the "alignment" operand to builtin memcpy (only place where
533    it counts), so it doesn't affect any bad spots.  */
534 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN)               \
535  (TARGET_CONST_ALIGN                                            \
536   ? (TARGET_ALIGN_BY_32                                         \
537      ? (BASIC_ALIGN < 32 ? 32 : BASIC_ALIGN)                    \
538      : (BASIC_ALIGN < 16 ? 16 : BASIC_ALIGN)) : BASIC_ALIGN)
539
540 /* FIXME: Define LOCAL_ALIGNMENT for word and dword or arrays and
541    structures (if -mstack-align=), and check that it is good.  */
542
543 #define EMPTY_FIELD_BOUNDARY 8
544
545 #define STRUCTURE_SIZE_BOUNDARY 8
546
547 #define STRICT_ALIGNMENT 0
548
549 /* Remove any previous definition (elfos.h).
550    ??? If it wasn't for all the other stuff that affects layout of
551    structures and bit-fields, this could presumably cause incompatibility
552    with other GNU/Linux ports (i.e. elfos.h users).  */
553 #undef PCC_BITFIELD_TYPE_MATTERS
554
555 /* This is only used for non-scalars.  Strange stuff happens to structs
556    (FIXME: What?) if we use anything larger than largest actually used
557    datum size, so lets make it 32.  The type "long long" will still work
558    as usual.  We can still have DImode insns, but they will only be used
559    for scalar data (i.e. long long).  */
560 #define MAX_FIXED_MODE_SIZE 32
561
562
563 /* Node: Type Layout */
564
565 /* Note that DOUBLE_TYPE_SIZE is not defined anymore, since the default
566    value gives a 64-bit double, which is what we now use.  */
567
568 /* For compatibility and historical reasons, a char should be signed.  */
569 #define DEFAULT_SIGNED_CHAR 1
570
571 /* No DEFAULT_SHORT_ENUMS, please.  */
572
573 /* Note that WCHAR_TYPE_SIZE is used in cexp.y,
574    where TARGET_SHORT is not available.  */
575 #undef WCHAR_TYPE
576 #define WCHAR_TYPE "long int"
577
578 #undef WCHAR_TYPE_SIZE
579 #define WCHAR_TYPE_SIZE 32
580
581
582 /* Node: Register Basics */
583
584 /*  We count all 16 non-special registers, SRP and a faked argument
585     pointer register.  */
586 #define FIRST_PSEUDO_REGISTER (16 + 1 + 1)
587
588 /* For CRIS, these are r15 (pc) and r14 (sp). Register r8 is used as a
589    frame-pointer, but is not fixed.  SRP is not included in general
590    registers and will not be used automatically.  All other special
591    registers are fixed at the moment.  The faked argument pointer register
592    is fixed too.  */
593 #define FIXED_REGISTERS \
594  {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1}
595
596 /* Register r9 is used for structure-address, r10-r13 for parameters,
597    r10- for return values.  */
598 #define CALL_USED_REGISTERS \
599  {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1}
600
601 #define CONDITIONAL_REGISTER_USAGE cris_conditional_register_usage ()
602
603
604 /* Node: Allocation Order */
605
606 /* We need this on CRIS, because call-used regs should be used first,
607    (so we don't need to push).  Else start using registers from r0 and up.
608     This preference is mainly because if we put call-used-regs from r0
609    and up, then we can't use movem to push the rest, (which have to be
610    saved if we use them, and movem has to start with r0).
611    Change here if you change which registers to use as call registers.
612
613    The actual need to explicitly prefer call-used registers improved the
614    situation a lot for 2.1, but might not actually be needed anymore.
615    Still, this order reflects what GCC should find out by itself, so it
616    probably does not hurt.
617
618    Order of preference: Call-used-regs first, then r0 and up, last fp &
619    sp & pc as fillers.
620    Call-used regs in opposite order, so they will cause less conflict if
621    a function has few args (<= 3) and it wants a scratch reg.
622     Use struct-return address first, since very few functions use
623    structure return values so it is likely to be available.  */
624 #define REG_ALLOC_ORDER \
625  {9, 13, 12, 11, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 14, 15, 16, 17}
626
627
628 /* Node: Values in Registers */
629
630 /* The VOIDmode test is so we can omit mode on anonymous insns.  FIXME:
631    Still needed in 2.9x, at least for Axis-20000319.  */
632 #define HARD_REGNO_NREGS(REGNO, MODE)   \
633  (MODE == VOIDmode \
634   ? 1 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
635
636 /* CRIS permits all registers to hold all modes.  */
637 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
638
639 #define MODES_TIEABLE_P(MODE1, MODE2)  1
640
641
642 /* Node: Leaf Functions */
643 /* (no definitions) */
644
645 /* Node: Stack Registers */
646 /* (no definitions) */
647
648
649 /* Node: Register Classes */
650
651 /* CRIS has only one kind of registers, so NO_REGS and ALL_REGS
652    are the only classes.  FIXME: It actually makes sense to have another
653    class for special registers, and yet another class for the
654    multiply-overflow register in v10; then a class for the return
655    register also makes sense.  */
656 enum reg_class {NO_REGS, ALL_REGS, LIM_REG_CLASSES};
657
658 #define N_REG_CLASSES (int) LIM_REG_CLASSES
659
660 #define REG_CLASS_NAMES {"NO_REGS", "ALL_REGS"}
661
662 #define GENERAL_REGS ALL_REGS
663
664 /* Count in the faked argument register in GENERAL_REGS.  Keep out SRP.  */
665 #define REG_CLASS_CONTENTS {{0}, {0x2ffff}}
666
667 #define REGNO_REG_CLASS(REGNO) GENERAL_REGS
668
669 #define BASE_REG_CLASS GENERAL_REGS
670
671 #define INDEX_REG_CLASS GENERAL_REGS
672
673 /* Get reg_class from a letter such as appears in the machine
674    description.  No letters are used, since 'r' is used for any
675    register.  */
676 #define REG_CLASS_FROM_LETTER(C) NO_REGS
677
678 /* Since it uses reg_renumber, it is safe only once reg_renumber
679    has been allocated, which happens in local-alloc.c.  */
680 #define REGNO_OK_FOR_BASE_P(REGNO)                                      \
681  ((REGNO) <= CRIS_LAST_GENERAL_REGISTER                                 \
682   || (REGNO) == ARG_POINTER_REGNUM                                      \
683   || (unsigned) reg_renumber[REGNO] <= CRIS_LAST_GENERAL_REGISTER       \
684   || (unsigned) reg_renumber[REGNO] == ARG_POINTER_REGNUM)
685
686 /* See REGNO_OK_FOR_BASE_P.  */
687 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO)
688
689 /* It seems like gcc (2.7.2 and 2.9x of 2000-03-22) may send "NO_REGS" as
690    the class for a constant (testcase: __Mul in arit.c).  To avoid forcing
691    out a constant into the constant pool, we will trap this case and
692    return something a bit more sane.  FIXME: Check if this is a bug.  */
693 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
694  ((CLASS) == NO_REGS ? GENERAL_REGS : (CLASS))
695
696 /* For CRIS, this is always the size of MODE in words,
697    since all registers are the same size.  To use omitted modes in
698    patterns with reload constraints, you must say the widest size
699    which is allowed for VOIDmode.
700    FIXME:  Does that still apply for gcc-2.9x?  Keep poisoned until such
701    patterns are added back.  News: 2001-03-16: Happens as early as the
702    underscore-test.  */
703 #define CLASS_MAX_NREGS(CLASS, MODE)                                    \
704  ((MODE) == VOIDmode                                                    \
705   ? 1 /* + cris_fatal ("CLASS_MAX_NREGS with VOIDmode") */              \
706   : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
707
708 /* We are now out of letters; we could use ten more.  This forces us to
709    use C-code in the 'md' file.  FIXME: Use some EXTRA_CONSTRAINTS.  */
710 #define CONST_OK_FOR_LETTER_P(VALUE, C)                 \
711  (                                                      \
712   /* MOVEQ, CMPQ, ANDQ, ORQ.  */                        \
713   (C) == 'I' ? (VALUE) >= -32 && (VALUE) <= 31 :        \
714   /* ADDQ, SUBQ.  */                                    \
715   (C) == 'J' ? (VALUE) >= 0 && (VALUE) <= 63 :          \
716   /* ASRQ, BTSTQ, LSRQ, LSLQ.  */                       \
717   (C) == 'K' ? (VALUE) >= 0 && (VALUE) <= 31 :          \
718   /* A 16-bit signed number.  */                        \
719   (C) == 'L' ? (VALUE) >= -32768 && (VALUE) <= 32767 :  \
720   /* The constant 0 for CLEAR.  */                      \
721   (C) == 'M' ? (VALUE) == 0 :                           \
722   /* A negative ADDQ or SUBQ.  */                       \
723   (C) == 'N' ? (VALUE) >= -63 && (VALUE) < 0 :          \
724   /* Quickened ints, QI and HI.  */                     \
725   (C) == 'O' ? (VALUE) >= 0 && (VALUE) <= 65535         \
726                 && ((VALUE) >= (65535-31)               \
727                     || ((VALUE) >= (255-31)             \
728                         && (VALUE) <= 255 )) :          \
729   /* A 16-bit number signed *or* unsigned.  */          \
730   (C) == 'P' ? (VALUE) >= -32768 && (VALUE) <= 65535 :  \
731   0)
732
733 /* It is really simple to make up a 0.0; it is the same as int-0 in
734    IEEE754.  */
735 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C)                  \
736  ((C) == 'G' && ((VALUE) == CONST0_RTX (DFmode)                 \
737                  || (VALUE) == CONST0_RTX (SFmode)))
738
739 /* We need this on cris to distinguish delay-slottable addressing modes.  */
740 #define EXTRA_CONSTRAINT(X, C)                  \
741  (                                              \
742   /* Slottable address mode?  */                \
743   (C) == 'Q' ? EXTRA_CONSTRAINT_Q (X) :         \
744   /* Operand to BDAP or BIAP?  */               \
745   (C) == 'R' ? EXTRA_CONSTRAINT_R (X) :         \
746   /* A local PIC symbol?  */                    \
747   (C) == 'S' ? EXTRA_CONSTRAINT_S (X) :         \
748   /* A three-address addressing-mode?  */       \
749   (C) == 'T' ? EXTRA_CONSTRAINT_T (X) :         \
750   /* A global PIC symbol?  */                   \
751   (C) == 'U' ? EXTRA_CONSTRAINT_U (X) :         \
752   0)
753
754 #define EXTRA_CONSTRAINT_Q(X)                           \
755  (                                                      \
756   /* Slottable addressing modes:                        \
757      A register?  FIXME: Unnecessary.  */               \
758   (BASE_P (X) && REGNO (X) != CRIS_PC_REGNUM)           \
759   /* Indirect register: [reg]?  */                      \
760   || (GET_CODE (X) == MEM && BASE_P (XEXP (X, 0))       \
761       && REGNO (XEXP (X, 0)) != CRIS_PC_REGNUM)         \
762  )
763
764 #define EXTRA_CONSTRAINT_R(X)                                   \
765  (                                                              \
766   /* An operand to BDAP or BIAP:                                \
767      A BIAP; r.S? */                                            \
768   BIAP_INDEX_P (X)                                              \
769   /* A [reg] or (int) [reg], maybe with post-increment.  */     \
770   || BDAP_INDEX_P (X)                                           \
771   || CONSTANT_INDEX_P (X)                                       \
772  )
773
774 #define EXTRA_CONSTRAINT_T(X)                                           \
775  (                                                                      \
776   /* Memory three-address operand.  All are indirect-memory:  */        \
777   GET_CODE (X) == MEM                                                   \
778   && ((GET_CODE (XEXP (X, 0)) == MEM                                    \
779        /* Double indirect: [[reg]] or [[reg+]]?  */                     \
780        && (BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0))))                 \
781       /* Just an explicit indirect reference: [const]?  */              \
782       || CONSTANT_P (XEXP (X, 0))                                       \
783       /* Something that is indexed; [...+...]?  */                      \
784       || (GET_CODE (XEXP (X, 0)) == PLUS                                \
785           /* A BDAP constant: [reg+(8|16|32)bit offset]?  */            \
786           && ((BASE_P (XEXP (XEXP (X, 0), 0))                           \
787                && CONSTANT_INDEX_P (XEXP (XEXP (X, 0), 1)))             \
788               /* Swap arguments to the above.  FIXME: gcc-2.9x? */      \
789               || (BASE_P (XEXP (XEXP (X, 0), 1))                        \
790                   && CONSTANT_INDEX_P (XEXP (XEXP (X, 0), 0)))          \
791               /* A BDAP register: [reg+[reg(+)].S]?  */                 \
792               || (BASE_P (XEXP (XEXP (X, 0), 0))                        \
793                   && BDAP_INDEX_P(XEXP(XEXP(X, 0), 1)))                 \
794               /* Same, but with swapped arguments.  */                  \
795               || (BASE_P (XEXP (XEXP (X, 0), 1))                        \
796                   && BDAP_INDEX_P (XEXP (XEXP (X, 0), 0)))              \
797               /* A BIAP: [reg+reg.S].  */                               \
798               || (BASE_P (XEXP (XEXP (X, 0), 0))                        \
799                   && BIAP_INDEX_P (XEXP (XEXP (X, 0), 1)))              \
800               /* Same, but with swapped arguments.  */                  \
801               || (BASE_P (XEXP (XEXP (X, 0), 1))                        \
802                   && BIAP_INDEX_P (XEXP (XEXP (X, 0), 0))))))           \
803  )
804
805 #define EXTRA_CONSTRAINT_S(X) \
806  (flag_pic && CONSTANT_P (X) && cris_gotless_symbol (X))
807
808 #define EXTRA_CONSTRAINT_U(X) \
809  (flag_pic && CONSTANT_P (X) && cris_got_symbol (X))
810
811
812 /* Node: Frame Layout */
813
814 #define STACK_GROWS_DOWNWARD
815 #define FRAME_GROWS_DOWNWARD
816
817 /* It seems to be indicated in the code (at least 2.1) that this is
818    better a constant, and best 0.  */
819 #define STARTING_FRAME_OFFSET 0
820
821 #define FIRST_PARM_OFFSET(FNDECL) 0
822
823 #define RETURN_ADDR_RTX(COUNT, FRAMEADDR) \
824  cris_return_addr_rtx (COUNT, FRAMEADDR)
825
826 #define INCOMING_RETURN_ADDR_RTX gen_rtx (REG, Pmode, CRIS_SRP_REGNUM)
827
828 /* FIXME: Any __builtin_eh_return callers must not return anything and
829    there must not be collisions with incoming parameters.  Luckily the
830    number of __builtin_eh_return callers is limited.  For now return
831    parameter registers in reverse order and hope for the best.  */
832 #define EH_RETURN_DATA_REGNO(N) \
833   (IN_RANGE ((N), 0, 3) ? (CRIS_FIRST_ARG_REG + 3 - (N)) : INVALID_REGNUM)
834
835 /* Store the stack adjustment in the structure-return-address register.  */
836 #define CRIS_STACKADJ_REG STRUCT_VALUE_REGNUM
837 #define EH_RETURN_STACKADJ_RTX gen_rtx_REG (SImode, CRIS_STACKADJ_REG)
838
839 #define EH_RETURN_HANDLER_RTX \
840   cris_return_addr_rtx (0, NULL)
841
842 #define INIT_EXPANDERS cris_init_expanders ()
843
844 /* FIXME: Move this to right node (it's not documented properly yet).  */
845 #define DWARF_FRAME_RETURN_COLUMN DWARF_FRAME_REGNUM (CRIS_SRP_REGNUM)
846
847 /* FIXME: Move this to right node (it's not documented properly yet).
848    FIXME: Check what alignment we can assume regarding
849    TARGET_STACK_ALIGN and TARGET_ALIGN_BY_32.  */
850 #define DWARF_CIE_DATA_ALIGNMENT -1
851
852 /* If we would ever need an exact mapping between canonical register
853    number and dwarf frame register, we would either need to include all
854    registers in the gcc decription (with some marked fixed of course), or
855    an inverse mapping from dwarf register to gcc register.  There is one
856    need in dwarf2out.c:expand_builtin_init_dwarf_reg_sizes.  Right now, I
857    don't see that we need exact correspondence between DWARF *frame*
858    registers and DBX_REGISTER_NUMBER, so map them onto GCC registers.  */
859 #define DWARF_FRAME_REGNUM(REG) (REG)
860
861 /* Node: Stack Checking */
862 /* (no definitions) FIXME: Check.  */
863
864 /* Node: Frame Registers */
865
866 #define STACK_POINTER_REGNUM 14
867
868 /* Register used for frame pointer.  This is also the last of the saved
869    registers, when a frame pointer is not used.  */
870 #define FRAME_POINTER_REGNUM 8
871
872 /* Faked register, is always eliminated.  We need it to eliminate
873    allocating stack slots for the return address and the frame pointer.  */
874 #define ARG_POINTER_REGNUM 17
875
876 #define STATIC_CHAIN_REGNUM 7
877
878
879 /* Node: Elimination */
880
881 /* Really only needed if the stack frame has variable length (alloca
882    or variable sized local arguments (GNU C extension).  */
883 #define FRAME_POINTER_REQUIRED 0
884
885 #define ELIMINABLE_REGS                         \
886  {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM},   \
887   {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM},   \
888   {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
889
890 /* We need not worry about when the frame-pointer is required for other
891    reasons.  */
892 #define CAN_ELIMINATE(FROM, TO) 1
893
894 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
895  (OFFSET) = cris_initial_elimination_offset (FROM, TO)
896
897
898 /* Node: Stack Arguments */
899
900 /* Since many parameters take up one register each in any case,
901    PROMOTE_PROTOTYPES would seem like a good idea, but measurements
902    indicate that a combination using PROMOTE_MODE is better.  */
903
904 #define ACCUMULATE_OUTGOING_ARGS 1
905
906 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACKSIZE) 0
907
908
909 /* Node: Register Arguments */
910
911 /* The void_type_node is sent as a "closing" call.  We have to stop it
912    since it's invalid to FUNCTION_ARG_PASS_BY_REFERENCE (or was invalid at
913    some time).  */
914 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED)                    \
915  ((CUM).regs < CRIS_MAX_ARGS_IN_REGS                            \
916   && (TYPE) != void_type_node                                   \
917   && ! FUNCTION_ARG_PASS_BY_REFERENCE (CUM, MODE, TYPE, NAMED)  \
918   ? gen_rtx (REG, MODE, (CRIS_FIRST_ARG_REG) + (CUM).regs)      \
919   : NULL_RTX)
920
921 /* The differences between this and the previous, is that this one checks
922    that an argument is named, since incoming stdarg/varargs arguments are
923    pushed onto the stack, and we don't have to check against the "closing"
924    void_type_node TYPE parameter.  */
925 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED)                   \
926  (((NAMED) && (CUM).regs < CRIS_MAX_ARGS_IN_REGS                        \
927    && ! FUNCTION_ARG_PASS_BY_REFERENCE (CUM, MODE, TYPE, NAMED))        \
928   ? gen_rtx (REG, MODE, CRIS_FIRST_ARG_REG + (CUM).regs)                \
929   : NULL_RTX)
930
931 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED)      \
932  (((CUM).regs == (CRIS_MAX_ARGS_IN_REGS - 1)                    \
933    && !MUST_PASS_IN_STACK (MODE, TYPE)                          \
934    && CRIS_FUNCTION_ARG_SIZE (MODE, TYPE) > 4                   \
935    && CRIS_FUNCTION_ARG_SIZE (MODE, TYPE) <= 8)                 \
936   ? 1 : 0)
937
938 /* Structs may be passed by value, but they must not be more than 8
939    bytes long.  */
940 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED)          \
941  (MUST_PASS_IN_STACK (MODE, TYPE)                                       \
942   || CRIS_FUNCTION_ARG_SIZE (MODE, TYPE) > 8)                           \
943
944 /* Contrary to what you'd believe, defining FUNCTION_ARG_CALLEE_COPIES
945    seems like a (small total) loss, at least for gcc-2.7.2 compiling and
946    running gcc-2.1 (small win in size, small loss running -- 100.1%),
947    and similarly for size for products (.1 .. .3% bloat, sometimes win).
948    Due to the empirical likeliness of making slower code, it is not
949    defined.  */
950
951 /* This no longer *needs* to be a structure; but keeping it as such should
952    not hurt (and hacking the ABI is simpler).  */
953 #define CUMULATIVE_ARGS struct cum_args
954 struct cum_args {int regs;};
955
956 /* The regs member is an integer, the number of arguments got into
957    registers so far, and lib is nonzero if init_cumulative_args was
958    found to generate a call to a library function.  */
959 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT)      \
960  ((CUM).regs = 0)
961
962 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)            \
963  ((CUM).regs                                                    \
964   = (FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED)     \
965      ? (CRIS_MAX_ARGS_IN_REGS) + 1                              \
966      : ((CUM).regs                                              \
967         + (3 + (CRIS_FUNCTION_ARG_SIZE (MODE, TYPE))) / 4)))
968
969 #define FUNCTION_ARG_REGNO_P(REGNO)                     \
970  ((REGNO) >= CRIS_FIRST_ARG_REG                         \
971   && (REGNO) < CRIS_FIRST_ARG_REG + (CRIS_MAX_ARGS_IN_REGS))
972
973
974 /* Node: Scalar Return */
975
976 /* Let's assume all functions return in r[CRIS_FIRST_ARG_REG] for the
977    time being.  */
978 #define FUNCTION_VALUE(VALTYPE, FUNC)  \
979  gen_rtx (REG, TYPE_MODE (VALTYPE), CRIS_FIRST_ARG_REG)
980
981 #define LIBCALL_VALUE(MODE) gen_rtx (REG, MODE, CRIS_FIRST_ARG_REG)
982
983 #define FUNCTION_VALUE_REGNO_P(N) ((N) == CRIS_FIRST_ARG_REG)
984
985
986 /* Node: Aggregate Return */
987
988 #if 0
989 /* FIXME: Let's try this some time, so we return structures in registers.
990    We would cast the result of int_size_in_bytes to unsigned, so we will
991    get a huge number for "structures" of variable size (-1).  */
992 #define RETURN_IN_MEMORY(TYPE) \
993  ((unsigned) int_size_in_bytes (TYPE) > CRIS_MAX_ARGS_IN_REGS * UNITS_PER_WORD)
994 #endif
995
996 #define STRUCT_VALUE_REGNUM ((CRIS_FIRST_ARG_REG) - 1)
997
998
999 /* Node: Caller Saves */
1000 /* (no definitions) */
1001
1002 /* Node: Function entry */
1003
1004 /* See cris.c for TARGET_ASM_FUNCTION_PROLOGUE and
1005    TARGET_ASM_FUNCTION_EPILOGUE.  */
1006
1007 /* If the epilogue uses the "ret" insn, we need to fill the
1008    delay slot.  */
1009 #define DELAY_SLOTS_FOR_EPILOGUE cris_delay_slots_for_epilogue ()
1010
1011 #define ELIGIBLE_FOR_EPILOGUE_DELAY(INSN, N) \
1012   cris_eligible_for_epilogue_delay (INSN)
1013
1014 #define ASM_OUTPUT_MI_THUNK(FILE, THUNK_FNDECL, DELTA, FUNCTION) \
1015  cris_asm_output_mi_thunk(FILE, THUNK_FNDECL, DELTA, FUNCTION)
1016
1017
1018 /* Node: Profiling */
1019
1020 #define FUNCTION_PROFILER(FILE, LABELNO)  \
1021  error ("no FUNCTION_PROFILER for CRIS")
1022
1023 /* FIXME: Some of the undefined macros might be mandatory.  If so, fix
1024    documentation.  */
1025
1026
1027 /* Node: Varargs */
1028
1029 /* We save the register number of the first anonymous argument in
1030    first_vararg_reg, and take care of this in the function prologue.
1031    This behaviour is used by at least one more port (the ARM?), but
1032    may be unsafe when compiling nested functions.  (With varargs? Hairy.)
1033    Note that nested-functions is a GNU C extension.
1034
1035    FIXME: We can actually put the size in PRETEND and deduce the number
1036    of registers from it in the prologue and epilogue.  */
1037 #define SETUP_INCOMING_VARARGS(ARGSSF, MODE, TYPE, PRETEND, SECOND)     \
1038   do                                                                    \
1039     {                                                                   \
1040       if ((ARGSSF).regs < (CRIS_MAX_ARGS_IN_REGS))                      \
1041         (PRETEND) = ((CRIS_MAX_ARGS_IN_REGS) - (ARGSSF).regs) * 4;      \
1042       if (TARGET_PDEBUG)                                                \
1043         {                                                               \
1044           fprintf (asm_out_file,                                        \
1045                    "\n; VA:: %s: %d args before, anon @ #%d, %dtime\n", \
1046                    current_function_varargs ? "OLD" : "ANSI",           \
1047                    (ARGSSF).regs, PRETEND, SECOND);                     \
1048         }                                                               \
1049     }                                                                   \
1050   while (0)
1051
1052 /* FIXME: This and other EXPAND_BUILTIN_VA_... target macros are not
1053    documented, although used by several targets.  */
1054 #define EXPAND_BUILTIN_VA_ARG(VALIST, TYPE) \
1055  cris_expand_builtin_va_arg (VALIST, TYPE)
1056
1057
1058 /* Node: Trampolines */
1059
1060 /* This looks too complicated, and it is.  I assigned r7 to be the
1061    static chain register, but it is call-saved, so we have to save it,
1062    and come back to restore it after the call, so we have to save srp...
1063    Anyway, trampolines are rare enough that we can cope with this
1064    somewhat lack of elegance.
1065     (Do not be tempted to "straighten up" whitespace in the asms; the
1066    assembler #NO_APP state mandates strict spacing).  */
1067 #define TRAMPOLINE_TEMPLATE(FILE)               \
1068   do                                            \
1069     {                                           \
1070       fprintf (FILE, "\tmove.d $%s,[$pc+20]\n", \
1071                reg_names[STATIC_CHAIN_REGNUM]); \
1072       fprintf (FILE, "\tmove $srp,[$pc+22]\n"); \
1073       fprintf (FILE, "\tmove.d 0,$%s\n",        \
1074                reg_names[STATIC_CHAIN_REGNUM]); \
1075       fprintf (FILE, "\tjsr 0\n");              \
1076       fprintf (FILE, "\tmove.d 0,$%s\n",        \
1077                reg_names[STATIC_CHAIN_REGNUM]); \
1078       fprintf (FILE, "\tjump 0\n");             \
1079     }                                           \
1080   while (0)
1081
1082 #define TRAMPOLINE_SIZE 32
1083
1084 /* CRIS wants instructions on word-boundary.
1085    Note that due to a bug (reported) in 2.7.2 and earlier, this is
1086    actually treated as alignment in _bytes_, not _bits_.  (Obviously
1087    this is not fatal, only a slight waste of stack space).  */
1088 #define TRAMPOLINE_ALIGNMENT 16
1089
1090 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT)               \
1091   do                                                            \
1092     {                                                           \
1093       emit_move_insn (gen_rtx (MEM, SImode,                     \
1094                                plus_constant (TRAMP, 10)),      \
1095                       CXT);                                     \
1096       emit_move_insn (gen_rtx (MEM, SImode,                     \
1097                                plus_constant (TRAMP, 16)),      \
1098                       FNADDR);                                  \
1099     }                                                           \
1100   while (0)
1101
1102 /* Note that there is no need to do anything with the cache for sake of
1103    a trampoline.  */
1104
1105
1106 /* Node: Library Calls */
1107
1108 #define MULSI3_LIBCALL "__Mul"
1109 #define DIVSI3_LIBCALL "__Div"
1110 #define UDIVSI3_LIBCALL "__Udiv"
1111 #define MODSI3_LIBCALL "__Mod"
1112 #define UMODSI3_LIBCALL "__Umod"
1113
1114 /* If you change this, you have to check whatever libraries and systems
1115    that use it.  */
1116 #define TARGET_EDOM 33
1117
1118
1119 /* Node: Addressing Modes */
1120
1121 #define HAVE_POST_INCREMENT 1
1122
1123 #define CONSTANT_ADDRESS_P(X) CONSTANT_P (X)
1124
1125 #define MAX_REGS_PER_ADDRESS 2
1126
1127 /* There are helper macros defined here which are used only in
1128    GO_IF_LEGITIMATE_ADDRESS.
1129
1130    Note that you *have to* reject invalid addressing modes for mode
1131    MODE, even if it is legal for normal addressing modes.  You cannot
1132    rely on the constraints to do this work.  They can only be used to
1133    doublecheck your intentions.  One example is that you HAVE TO reject
1134    (mem:DI (plus:SI (reg:SI x) (reg:SI y))) because for some reason
1135    this cannot be reloaded.  (Which of course you can argue that gcc
1136    should have done.)  FIXME:  Strange.  Check.  */
1137
1138 /* No symbol can be used as an index (or more correct, as a base) together
1139    with a register with PIC; the PIC register must be there.  */
1140 #define CONSTANT_INDEX_P(X) \
1141  (CONSTANT_P (X) && !(flag_pic && cris_symbol (X)))
1142
1143 /* True if X is a valid base register.  */
1144 #define BASE_P(X) \
1145  (REG_P (X) && REG_OK_FOR_BASE_P (X))
1146
1147 /* True if X is a valid base register with or without autoincrement.  */
1148 #define BASE_OR_AUTOINCR_P(X) \
1149  (BASE_P (X) || (GET_CODE (X) == POST_INC && BASE_P (XEXP (X, 0))))
1150
1151 /* True if X is a valid (register) index for BDAP, i.e. [Rs].S or [Rs+].S.  */
1152 #define BDAP_INDEX_P(X)                                 \
1153  ((GET_CODE (X) == MEM && GET_MODE (X) == SImode        \
1154    && BASE_OR_AUTOINCR_P (XEXP (X, 0)))                 \
1155   || (GET_CODE (X) == SIGN_EXTEND                       \
1156       && GET_CODE (XEXP (X, 0)) == MEM                  \
1157       && (GET_MODE (XEXP (X, 0)) == HImode              \
1158           || GET_MODE (XEXP (X, 0)) == QImode)          \
1159       && BASE_OR_AUTOINCR_P (XEXP (XEXP (X, 0), 0))))
1160
1161 /* True if X is a valid (register) index for BIAP, i.e. Rd.m.  */
1162 #define BIAP_INDEX_P(X)                         \
1163  ((BASE_P (X) && REG_OK_FOR_INDEX_P (X))        \
1164   || (GET_CODE (X) == MULT                      \
1165       && BASE_P (XEXP (X, 0))                   \
1166       && REG_OK_FOR_INDEX_P (XEXP (X, 0))       \
1167       && GET_CODE (XEXP (X, 1)) == CONST_INT    \
1168       && (INTVAL (XEXP (X, 1)) == 2             \
1169           || INTVAL (XEXP (X, 1)) == 4)))
1170
1171 /* True if X is an address that doesn't need a prefix i.e. [Rs] or [Rs+].  */
1172 #define SIMPLE_ADDRESS_P(X) \
1173  (BASE_P (X)                                            \
1174   || (GET_CODE (X) == POST_INC                          \
1175       && BASE_P (XEXP (X, 0))))
1176
1177 /* A PIC operand looks like a normal symbol here.  At output we dress it
1178    in "[rPIC+symbol:GOT]" (global symbol) or "rPIC+symbol:GOTOFF" (local
1179    symbol) so we exclude all addressing modes where we can't replace a
1180    plain "symbol" with that.  A global PIC symbol does not fit anywhere
1181    here (but is thankfully a general_operand in itself).  A local PIC
1182    symbol is valid for the plain "symbol + offset" case.  */
1183 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR)                 \
1184  {                                                              \
1185    rtx x1, x2;                                                  \
1186    if (SIMPLE_ADDRESS_P (X))                                    \
1187      goto ADDR;                                                 \
1188    if (CONSTANT_P (X)                                           \
1189        && (! flag_pic                                           \
1190            || cris_gotless_symbol (X)                           \
1191            || ! cris_symbol (X)))                               \
1192      goto ADDR;                                                 \
1193    /* Indexed?  */                                              \
1194    if (GET_CODE (X) == PLUS)                                    \
1195      {                                                          \
1196        x1 = XEXP (X, 0);                                        \
1197        x2 = XEXP (X, 1);                                        \
1198        /* BDAP o, Rd.  */                                       \
1199        if ((BASE_P (x1) && CONSTANT_INDEX_P (x2))               \
1200            || (BASE_P (x2) && CONSTANT_INDEX_P (x1))            \
1201             /* BDAP Rs[+], Rd.  */                              \
1202            || (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD           \
1203                && ((BASE_P (x1) && BDAP_INDEX_P (x2))           \
1204                    || (BASE_P (x2) && BDAP_INDEX_P (x1))        \
1205                    /* BIAP.m Rs, Rd */                          \
1206                    || (BASE_P (x1) && BIAP_INDEX_P (x2))        \
1207                    || (BASE_P (x2) && BIAP_INDEX_P (x1)))))     \
1208          goto ADDR;                                             \
1209      }                                                          \
1210    else if (GET_CODE (X) == MEM)                                \
1211      {                                                          \
1212        /* DIP (Rs).  Reject [[reg+]] and [[reg]] for            \
1213           DImode (long long).  */                               \
1214        if (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD               \
1215            && (BASE_P (XEXP (X, 0))                             \
1216                || BASE_OR_AUTOINCR_P (XEXP (X, 0))))            \
1217          goto ADDR;                                             \
1218      }                                                          \
1219  }
1220
1221 #ifndef REG_OK_STRICT
1222  /* Nonzero if X is a hard reg that can be used as a base reg
1223     or if it is a pseudo reg.  */
1224 # define REG_OK_FOR_BASE_P(X)                   \
1225  (REGNO (X) <= CRIS_LAST_GENERAL_REGISTER       \
1226   || REGNO (X) == ARG_POINTER_REGNUM            \
1227   || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1228 #else
1229  /* Nonzero if X is a hard reg that can be used as a base reg.  */
1230 # define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
1231 #endif
1232
1233 #ifndef REG_OK_STRICT
1234  /* Nonzero if X is a hard reg that can be used as an index
1235     or if it is a pseudo reg.  */
1236 # define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1237 #else
1238  /* Nonzero if X is a hard reg that can be used as an index.  */
1239 # define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
1240 #endif
1241
1242 /* For now, don't do anything.  GCC does a good job most often.
1243
1244     Maybe we could do something about gcc:s misbehaviour when it
1245    recalculates frame offsets for local variables, from fp+offs to
1246    sp+offs.  The resulting address expression gets screwed up
1247    sometimes, but I'm not sure that it may be fixed here, since it is
1248    already split up in several instructions (Is this still true?).
1249    FIXME: Check and adjust for gcc-2.9x.  */
1250 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN) {}
1251
1252 /* Functionality import from EGCS.
1253    Kludge to solve Axis-990219: Work around imperfection in
1254    reload_load_address1:
1255     (plus (sign_extend (mem:qi (reg))) (reg))
1256    should be reloaded as (plus (reg) (reg)), not
1257     (plus (sign_extend (reg)) (reg)).
1258    There are no checks that reload_load_address_1 "reloads"
1259    addresses correctly, so invalidness is not caught or
1260    corrected.
1261     When the right thing happens, the "something_reloaded" kludge can
1262    be removed.  The right thing does not appear to happen for
1263    EGCS CVS as of this date (above).  */
1264
1265 #define LEGITIMIZE_RELOAD_ADDRESS(X, MODE, OPNUM, TYPE, IND_LEVELS, WIN) \
1266   do                                                                    \
1267     {                                                                   \
1268       if (GET_CODE (X) == PLUS                                          \
1269           && REG_P (XEXP (X, 1))                                        \
1270           && GET_CODE (XEXP (X, 0)) == SIGN_EXTEND                      \
1271           && GET_CODE (XEXP (XEXP (X, 0), 0)) == MEM                    \
1272           && (GET_MODE (XEXP (XEXP (X, 0), 0)) == HImode                \
1273               || GET_MODE (XEXP (XEXP (X, 0), 0)) == QImode)            \
1274           && (REG_P (XEXP (XEXP (XEXP (X, 0), 0), 0))                   \
1275               || (GET_CODE (XEXP (XEXP (XEXP (X, 0), 0), 0))            \
1276                   == POST_INC                                           \
1277                   && REG_P (XEXP (XEXP (XEXP (XEXP (X, 0), 0), 0),      \
1278                                   0)))))                                \
1279         {                                                               \
1280           int something_reloaded = 0;                                   \
1281                                                                         \
1282           if (REGNO (XEXP (X, 1)) >= FIRST_PSEUDO_REGISTER)             \
1283             {                                                           \
1284               /* Second reg is pseudo, reload it.  */                   \
1285               push_reload (XEXP (X, 1), NULL_RTX, &XEXP (X, 1),         \
1286                            NULL,                                        \
1287                            GENERAL_REGS, GET_MODE (X), VOIDmode, 0, 0,  \
1288                            OPNUM, TYPE);                                \
1289               something_reloaded = 1;                                   \
1290             }                                                           \
1291                                                                         \
1292           if (REG_P (XEXP (XEXP (X, 0), 0))                             \
1293               && (REGNO (XEXP (XEXP (X, 0), 0))                         \
1294                   >= FIRST_PSEUDO_REGISTER))                            \
1295             {                                                           \
1296               /* First one is a pseudo - reload that.  */               \
1297               push_reload (XEXP (XEXP (X, 0), 0), NULL_RTX,             \
1298                            &XEXP (XEXP (X, 0), 0), NULL,                \
1299                            GENERAL_REGS,                                \
1300                            GET_MODE (X), VOIDmode, 0, 0, OPNUM, TYPE);  \
1301               something_reloaded = 1;                                   \
1302             }                                                           \
1303                                                                         \
1304           if (! something_reloaded                                      \
1305               || (GET_CODE (XEXP (XEXP (X, 0), 0)) == POST_INC          \
1306                   && (REGNO (XEXP (XEXP (XEXP (X, 0), 0), 0))           \
1307                       >= FIRST_PSEUDO_REGISTER)))                       \
1308             /* Reload the sign_extend.  Happens if neither reg is a     \
1309                pseudo, or the first one was inside post_increment.  */  \
1310             push_reload (XEXP (X, 0), NULL_RTX, &XEXP (X, 0), NULL,     \
1311                          GENERAL_REGS, GET_MODE (X), VOIDmode, 0, 0,    \
1312                          OPNUM, TYPE);                                  \
1313           goto WIN;                                                     \
1314         }                                                               \
1315     }                                                                   \
1316   while (0)
1317
1318 /* In CRIS, only the postincrement address mode depends thus,
1319    since the increment depends on the size of the operand.  */
1320 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)       \
1321   do                                                    \
1322     {                                                   \
1323       if (GET_CODE (ADDR) == POST_INC)                  \
1324         goto LABEL;                                     \
1325     }                                                   \
1326   while (0)
1327
1328 #define LEGITIMATE_CONSTANT_P(X) 1
1329
1330
1331 /* Node: Condition Code */
1332
1333 #define NOTICE_UPDATE_CC(EXP, INSN) cris_notice_update_cc (EXP, INSN)
1334
1335 /* FIXME: Maybe define CANONICALIZE_COMPARISON later, when playing with
1336    optimizations.  It is needed; currently we do this with instruction
1337    patterns and NOTICE_UPDATE_CC.  */
1338
1339
1340 /* Node: Costs */
1341
1342 #define CONST_COSTS(RTX, CODE, OUTER_CODE)                              \
1343  case CONST_INT:                                                        \
1344    if (INTVAL (RTX) == 0)                                               \
1345      return 0;                                                          \
1346    if (INTVAL (RTX) < 32 && INTVAL (RTX) >= -32)                        \
1347      return 1;                                                          \
1348    /* Eight or 16 bits are a word and cycle more expensive.  */         \
1349    if (INTVAL (RTX) <= 32767 && INTVAL (RTX) >= -32768)                 \
1350      return 2;                                                          \
1351    /* A 32 bit constant (or very seldom, unsigned 16 bits) costs        \
1352       another word.  FIXME: This isn't linear to 16 bits.  */           \
1353    return 4;                                                            \
1354  case LABEL_REF:                                                        \
1355    return 6;                                                            \
1356  case CONST:                                                            \
1357  case SYMBOL_REF:                                                       \
1358    /* For PIC, we need a prefix (if it isn't already there),            \
1359       and the PIC register.  For a global PIC symbol, we also need a    \
1360       read of the GOT.  */                                              \
1361    return                                                               \
1362      flag_pic ? (cris_got_symbol (RTX) ? (2 + 4 + 6) : (2 + 6)) : 6;    \
1363  case CONST_DOUBLE:                                                     \
1364    if (RTX != CONST0_RTX (GET_MODE (RTX) == VOIDmode ? DImode           \
1365                           : GET_MODE (RTX)))                            \
1366      return 12;                                                         \
1367    /* Make 0.0 cheap, else test-insns will not be used.  */             \
1368    return 0;
1369
1370 #define RTX_COSTS(X, CODE, OUTER_CODE)                                  \
1371  case MULT:                                                             \
1372    /* Identify values that are no powers of two.  Powers of 2 are       \
1373       taken care of already and those values should not be              \
1374       changed.  */                                                      \
1375    if (GET_CODE (XEXP (X, 1)) != CONST_INT                              \
1376        || exact_log2 (INTVAL (XEXP (X, 1)) < 0))                        \
1377      {                                                                  \
1378         /* If we have a multiply insn, then the cost is between         \
1379            1 and 2 "fast" instructions.  */                             \
1380         if (TARGET_HAS_MUL_INSNS)                                       \
1381           return COSTS_N_INSNS (1) + COSTS_N_INSNS (1) /2;              \
1382                                                                         \
1383         /* Estimate as 4 + 4 * #ofbits.  */                             \
1384         return COSTS_N_INSNS (132);                                     \
1385      }                                                                  \
1386      break;                                                             \
1387  case UDIV:                                                             \
1388  case MOD:                                                              \
1389  case UMOD:                                                             \
1390  case DIV:                                                              \
1391    if (GET_CODE (XEXP (X, 1)) != CONST_INT                              \
1392        || exact_log2 (INTVAL (XEXP (X, 1)) < 0))                        \
1393      /* Estimate this as 4 + 8 * #of bits.  */                          \
1394      return COSTS_N_INSNS (260);                                        \
1395                                                                         \
1396  case AND:                                                              \
1397    if (GET_CODE (XEXP (X, 1)) == CONST_INT                              \
1398        /* Two constants may actually happen before optimization.  */    \
1399        && GET_CODE (XEXP (X, 0)) != CONST_INT                           \
1400        && !CONST_OK_FOR_LETTER_P (INTVAL (XEXP (X, 1)), 'I'))           \
1401      return                                                             \
1402        rtx_cost (XEXP (X, 0), OUTER_CODE) + 2                           \
1403        + 2 * GET_MODE_NUNITS (GET_MODE (XEXP (X, 0)));                  \
1404                                                                         \
1405  case ZERO_EXTEND: case SIGN_EXTEND:                                    \
1406    /* Same as move. If embedded in other insn, cost is 0.  */           \
1407    return rtx_cost (XEXP (X, 0), OUTER_CODE);
1408
1409 #define ADDRESS_COST(X) cris_address_cost (X)
1410
1411 /* FIXME: Need to define REGISTER_MOVE_COST when more register classes are
1412    introduced.  */
1413
1414 /* This isn't strictly correct for v0..3 in buswidth-8bit mode, but
1415    should suffice.  */
1416 #define MEMORY_MOVE_COST(M, CLASS, IN) \
1417  (((M) == QImode) ? 4 : ((M) == HImode) ? 4 : 6)
1418
1419 /* Regardless of the presence of delay slots, the default value of 1 for
1420    BRANCH_COST is the best in the range (1, 2, 3), tested with gcc-2.7.2
1421    with testcases ipps and gcc, giving smallest and fastest code.  */
1422
1423 #define SLOW_BYTE_ACCESS 0
1424
1425 /* This is the threshold *below* which inline move sequences of
1426    word-length sizes will be emitted.  The "9" will translate to
1427    (9 - 1) * 4 = 32 bytes maximum moved, but using 16 instructions
1428    (8 instruction sequences) or less.  */
1429 #define MOVE_RATIO 9
1430
1431
1432 /* Node: Sections */
1433
1434 #define TEXT_SECTION_ASM_OP "\t.text"
1435
1436 #define DATA_SECTION_ASM_OP "\t.data"
1437
1438 #define FORCE_EH_FRAME_INFO_IN_DATA_SECTION (! TARGET_ELF)
1439
1440 /* The jump table is immediately connected to the preceding insn.  */
1441 #define JUMP_TABLES_IN_TEXT_SECTION 1
1442
1443 /* We need to code in PIC-specific flags into SYMBOL_REF_FLAG.  */
1444
1445 #define ENCODE_SECTION_INFO(EXP, FIRST) cris_encode_section_info (EXP, FIRST)
1446
1447 /* We pull a little trick to register the _fini function with atexit,
1448    after (presumably) registering the eh frame info, since we don't handle
1449    _fini (a.k.a. ___fini_start) in crt0 or have a crti for "pure" ELF.  If
1450    you change this, don't forget that you can't have library function
1451    references (e.g. to atexit) in crtend.o, since those won't be resolved
1452    to libraries; those are linked in *before* crtend.o.  */
1453 #ifdef CRT_BEGIN
1454 # define CRT_CALL_STATIC_FUNCTION(SECTION_OP, FUNC)             \
1455 static void __attribute__((__used__))                           \
1456 call_ ## FUNC (void)                                            \
1457 {                                                               \
1458   asm (SECTION_OP);                                             \
1459   FUNC ();                                                      \
1460   if (__builtin_strcmp (#FUNC, "frame_dummy") == 0)             \
1461    {                                                            \
1462      extern void __fini__start (void);                          \
1463      atexit (__fini__start);                                    \
1464    }                                                            \
1465   asm (TEXT_SECTION_ASM_OP);                                    \
1466 }
1467 #endif
1468
1469 /* Node: PIC */
1470
1471 #define PIC_OFFSET_TABLE_REGNUM 0
1472
1473 #define LEGITIMATE_PIC_OPERAND_P(X) cris_legitimate_pic_operand (X)
1474
1475
1476 /* Node: File Framework */
1477
1478 /* NO_APP *only at file start* means faster assembly.
1479    It also means comments are not allowed.
1480    In some cases comments will be output for debugging purposes.
1481    Make sure they are allowed then.  */
1482 /* Override previous definitions (elfos.h).  */
1483 #undef ASM_FILE_START
1484 #define ASM_FILE_START(STREAM)                                  \
1485   do                                                            \
1486     {                                                           \
1487       if (TARGET_PDEBUG || flag_print_asm_name)                 \
1488         fprintf ((STREAM), "#APP\n");                           \
1489       else                                                      \
1490         fprintf ((STREAM), "#NO_APP\n");                        \
1491       if (TARGET_ELF)                                           \
1492         output_file_directive ((STREAM), main_input_filename);  \
1493     }                                                           \
1494   while (0)
1495
1496 /* Override previous definitions (elfos.h).  */
1497 #undef ASM_FILE_END
1498 #define ASM_FILE_END(STREAM)
1499
1500 /* We don't want an .ident for gcc.  To avoid that but still support
1501    #ident, we override ASM_OUTPUT_IDENT and, since the gcc .ident is its
1502    only use besides ASM_OUTPUT_IDENT, undef IDENT_ASM_OP from elfos.h.  */
1503 #undef IDENT_ASM_OP
1504 #undef ASM_OUTPUT_IDENT
1505 #define ASM_OUTPUT_IDENT(FILE, NAME) \
1506   fprintf (FILE, "%s\"%s\"\n", "\t.ident\t", NAME);
1507
1508 #define ASM_APP_ON "#APP\n"
1509
1510 #define ASM_APP_OFF "#NO_APP\n"
1511
1512
1513 /* Node: Data Output */
1514
1515 #define IS_ASM_LOGICAL_LINE_SEPARATOR(C) (C) == '@'
1516
1517 /* Node: Uninitialized Data */
1518
1519 /* Remember to round off odd values if we want data alignment,
1520    since we cannot do that with an .align directive.
1521
1522    Using .comm causes the space not to be reserved in .bss, but by
1523    tricks with the symbol type.  Not good if other tools than binutils
1524    are used on the object files.  Since ".global ... .lcomm ..." works, we
1525    use that.  Use .._ALIGNED_COMMON, since gcc whines when we only have
1526    ..._COMMON, and we prefer to whine ourselves; BIGGEST_ALIGNMENT is not
1527    the one to check.  This done for a.out only.  */
1528 /* FIXME: I suspect a bug in gcc with alignment.  Do not warn until
1529    investigated; it mucks up the testsuite results.  */
1530 #define CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, LOCAL) \
1531   do                                                                    \
1532     {                                                                   \
1533       int align_ = (ALIGN) / BITS_PER_UNIT;                             \
1534       if (TARGET_DATA_ALIGN && TARGET_ALIGN_BY_32 && align_ < 4)        \
1535         align_ = 4;                                                     \
1536       else if (TARGET_DATA_ALIGN && align_ < 2)                         \
1537         align_ = 2;                                                     \
1538       /* FIXME: Do we need this?  */                                    \
1539       else if (align_ < 1)                                              \
1540         align_ = 1;                                                     \
1541                                                                         \
1542       if (TARGET_ELF)                                                   \
1543         {                                                               \
1544           if (LOCAL)                                                    \
1545             {                                                           \
1546               fprintf ((FILE), "%s", LOCAL_ASM_OP);                     \
1547               assemble_name ((FILE), (NAME));                           \
1548               fprintf ((FILE), "\n");                                   \
1549             }                                                           \
1550           fprintf ((FILE), "%s", COMMON_ASM_OP);                        \
1551           assemble_name ((FILE), (NAME));                               \
1552           fprintf ((FILE), ",%u,%u\n", (SIZE), align_);                 \
1553         }                                                               \
1554       else                                                              \
1555         {                                                               \
1556           /* We can't tell a one-only or weak COMM from a "global       \
1557              COMM" so just make all non-locals weak.  */                \
1558           if (! (LOCAL))                                                \
1559             ASM_WEAKEN_LABEL (FILE, NAME);                              \
1560           fputs ("\t.lcomm ", (FILE));                                  \
1561           assemble_name ((FILE), (NAME));                               \
1562           fprintf ((FILE), ",%u\n",                                     \
1563                    ((SIZE) + (align_ - 1)) & ~(align_ - 1));            \
1564         }                                                               \
1565     }                                                                   \
1566   while (0)
1567
1568 #define ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN) \
1569  CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 0)
1570
1571 #undef ASM_OUTPUT_ALIGNED_DECL_LOCAL
1572 #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(FILE, DECL, NAME, SIZE, ALIGN) \
1573  CRIS_ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN, 1)
1574
1575 /* FIXME: define ASM_OUTPUT_SHARED_COMMON and emit an error when it is
1576    used with -melinux and a.out.  */
1577
1578 /* Node: Label Output */
1579
1580 #define ASM_OUTPUT_LABEL(FILE, NAME)            \
1581   do                                            \
1582     {                                           \
1583       assemble_name (FILE, NAME);               \
1584       fputs (":\n", FILE);                      \
1585     }                                           \
1586   while (0)
1587
1588 #define ASM_GLOBALIZE_LABEL(FILE, NAME)         \
1589   do                                            \
1590     {                                           \
1591       fputs ("\t.global ", FILE);               \
1592       assemble_name (FILE, NAME);               \
1593       fputs ("\n", FILE);                       \
1594     }                                           \
1595   while (0)
1596
1597 #define SUPPORTS_WEAK 1
1598
1599 /* FIXME: This macro isn't documented, but this would probably be an
1600    appropriate location.  It's only used in crtstuff.c, else we'd have to
1601    handle (to #undef or ignore it) in a.out.  */
1602 #define HAVE_GAS_HIDDEN 1
1603
1604 #undef  ASM_OUTPUT_INTERNAL_LABEL
1605 #define ASM_OUTPUT_INTERNAL_LABEL(FILE, PREFIX, NUM)    \
1606   do                                                    \
1607     {                                                   \
1608       asm_fprintf (FILE, "%L%s%d:\n", PREFIX, NUM);     \
1609     }                                                   \
1610   while (0)
1611
1612 /* Remove any previous definition (elfos.h).  */
1613 #undef ASM_GENERATE_INTERNAL_LABEL
1614 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
1615   sprintf (LABEL, "*%s%s%ld", LOCAL_LABEL_PREFIX, PREFIX, (long) NUM)
1616
1617 #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO)          \
1618   do                                                            \
1619     {                                                           \
1620       (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10);        \
1621       sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO));           \
1622     }                                                           \
1623   while (0)
1624
1625
1626 /* Node: Initialization */
1627 /* (no definitions) */
1628
1629 /* Node: Macros for Initialization */
1630 /* (no definitions) */
1631
1632 /* Node: Instruction Output */
1633
1634 #define REGISTER_NAMES                                  \
1635  {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", \
1636   "r9", "r10", "r11", "r12", "r13", "sp", "pc", "srp", "faked_ap"}
1637
1638 #define ADDITIONAL_REGISTER_NAMES \
1639  {{"r14", 14}, {"r15", 15}}
1640
1641 #define PRINT_OPERAND(FILE, X, CODE)            \
1642  cris_print_operand (FILE, X, CODE)
1643
1644 /* For delay-slot handling.  */
1645 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) (CODE == '#')
1646
1647 #define PRINT_OPERAND_ADDRESS(FILE, ADDR)       \
1648    cris_print_operand_address (FILE, ADDR)
1649
1650 /* Output an empty line to illustrate the presence of the delay slot.  */
1651 #define DBR_OUTPUT_SEQEND(FILE) \
1652   fprintf (FILE, "\n")
1653
1654 #define LOCAL_LABEL_PREFIX (TARGET_ELF ? "." : "")
1655
1656 /* cppinit.c initializes a const array from this, so it must be constant,
1657    can't have it different based on options.  Luckily, the prefix is
1658    always allowed, so let's have it on all GCC-generated code.  Note that
1659    we have this verbatim everywhere in the back-end, not using %R or %s or
1660    such.  */
1661 #define REGISTER_PREFIX "$"
1662
1663 /* Remove any previous definition (elfos.h).  */
1664 /* We use -fno-leading-underscore to remove it, when necessary.  */
1665 #undef USER_LABEL_PREFIX
1666 #define USER_LABEL_PREFIX "_"
1667
1668 #define ASM_OUTPUT_REG_PUSH(FILE, REGNO) \
1669   fprintf (FILE, "\tpush $%s\n", reg_names[REGNO])
1670
1671 #define ASM_OUTPUT_REG_POP(FILE, REGNO) \
1672   fprintf (FILE, "\tpop $%s\n", reg_names[REGNO])
1673
1674
1675 /* Node: Dispatch Tables */
1676
1677 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL)        \
1678   asm_fprintf (FILE, "\t.word %LL%d-%LL%d\n", VALUE, REL)
1679
1680 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE)  \
1681   asm_fprintf (FILE, "\t.dword %LL%d\n", VALUE)
1682
1683 /* Defined to also emit an .align in elfos.h.  We don't want that.  */
1684 #undef ASM_OUTPUT_CASE_LABEL
1685
1686 /* Since the "bound" insn loads the comparison value if the compared<
1687    value (register) is out of bounds (0..comparison value-1), we need
1688    to output another case to catch it.
1689    The way to find it is to look for the label_ref at the else-arm inside
1690    the expanded casesi core-insn.
1691    FIXME: Check this construct when changing to new version of gcc.  */
1692 #define ASM_OUTPUT_CASE_END(STREAM, NUM, TABLE)                         \
1693   do                                                                    \
1694     {                                                                   \
1695       asm_fprintf (STREAM, "\t.word %LL%d-%LL%d%s\n",                   \
1696                    CODE_LABEL_NUMBER                                    \
1697                     (XEXP (XEXP (XEXP                                   \
1698                                   (XVECEXP                              \
1699                                     (PATTERN (PREV_INSN (PREV_INSN      \
1700                                                           (TABLE))),    \
1701                                      0, 0), 1), 2), 0)),                \
1702                    NUM,                                                 \
1703                    (TARGET_PDEBUG ? "; default" : ""));                 \
1704     }                                                                   \
1705   while (0)
1706
1707
1708 /* Node: Exception Region Output */
1709 /* (no definitions) */
1710 /* FIXME: Fill in with our own optimized layout.  */
1711
1712 /* Node: Alignment Output */
1713
1714 #define ASM_OUTPUT_ALIGN(FILE, LOG)  \
1715  fprintf (FILE, "\t.align %d\n", (LOG))
1716
1717
1718 /* Node: All Debuggers */
1719
1720 #define DBX_REGISTER_NUMBER(REGNO) \
1721  ((REGNO) == CRIS_SRP_REGNUM ? CRIS_CANONICAL_SRP_REGNUM : (REGNO))
1722
1723 /* FIXME: Investigate DEBUGGER_AUTO_OFFSET, DEBUGGER_ARG_OFFSET.  */
1724
1725
1726 /* Node: DBX Options */
1727
1728 /* Is this correct? Check later.  */
1729 #define DBX_NO_XREFS
1730
1731 #define DBX_CONTIN_LENGTH 0
1732
1733 /* FIXME: Is this needed when we have 0 DBX_CONTIN_LENGTH?  */
1734 #define DBX_CONTIN_CHAR '?'
1735
1736
1737 /* Node: DBX Hooks */
1738 /* (no definitions) */
1739
1740 /* Node: File names and DBX */
1741 /* (no definitions) */
1742
1743
1744 /* Node: SDB and DWARF */
1745 /* (no definitions) */
1746
1747 /* Node: Misc */
1748
1749 /* FIXME: Check this one more time.  */
1750 #define PREDICATE_CODES                                 \
1751  {"cris_orthogonal_operator",                           \
1752   {PLUS, MINUS, IOR, AND, UMIN}},                       \
1753  {"cris_commutative_orth_op",                           \
1754   {PLUS, IOR, AND, UMIN}},                              \
1755  {"cris_operand_extend_operator",                       \
1756   {PLUS, MINUS, UMIN}},                                 \
1757  {"cris_extend_operator",                               \
1758   {ZERO_EXTEND, SIGN_EXTEND}},                          \
1759  {"cris_plus_or_bound_operator",                        \
1760   {PLUS, UMIN}},                                        \
1761  {"cris_bdap_operand",                                  \
1762   {SUBREG, REG, LABEL_REF, SYMBOL_REF, MEM, CONST_INT,  \
1763    CONST_DOUBLE, CONST, SIGN_EXTEND}},                  \
1764  {"cris_bdap_biap_operand",                             \
1765   {SUBREG, REG, LABEL_REF, SYMBOL_REF, MEM, CONST_INT,  \
1766    CONST_DOUBLE, CONST, SIGN_EXTEND, MULT}},            \
1767  {"cris_general_operand_or_gotless_symbol",             \
1768   {CONST_INT, CONST_DOUBLE, CONST, SYMBOL_REF,          \
1769    LABEL_REF, SUBREG, REG, MEM}},                       \
1770  {"cris_general_operand_or_symbol",                     \
1771   {CONST_INT, CONST_DOUBLE, CONST, SYMBOL_REF,          \
1772    LABEL_REF, SUBREG, REG, MEM}},                       \
1773  {"cris_general_operand_or_plt_symbol",                 \
1774   {CONST_INT, CONST_DOUBLE, CONST, SYMBOL_REF,          \
1775    LABEL_REF, SUBREG, REG, MEM}},                       \
1776  {"cris_mem_call_operand",                              \
1777   {MEM}},
1778
1779 /* A combination of the bound (umin) insn together with a
1780    sign-extended add via the table to PC seems optimal.
1781    If the table overflows, the assembler will take care of it.
1782    Theoretically, in extreme cases (uncertain if they occur), an error
1783    will be emitted, so FIXME: Check how large case-tables are emitted,
1784    possible add an option to emit SImode case-tables.  */
1785 #define CASE_VECTOR_MODE HImode
1786
1787 #define CASE_VECTOR_PC_RELATIVE 1
1788
1789 /* FIXME: Investigate CASE_VECTOR_SHORTEN_MODE to make sure HImode is not
1790    used when broken-.word could possibly fail (plus test-case).  */
1791
1792 #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
1793
1794 /* This is the number of bytes that can be moved in one
1795    reasonably fast instruction sequence.  For CRIS, this is two
1796    instructions: mem => reg, reg => mem.  */
1797 #define MOVE_MAX 4
1798
1799 /* Maybe SHIFT_COUNT_TRUNCATED is safe to define?  FIXME: Check later.  */
1800
1801 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1802
1803 #define STORE_FLAG_VALUE 1
1804
1805 #define Pmode SImode
1806
1807 #define FUNCTION_MODE QImode
1808
1809 #define NO_IMPLICIT_EXTERN_C
1810
1811 /*
1812  * Local variables:
1813  * eval: (c-set-style "gnu")
1814  * indent-tabs-mode: t
1815  * End:
1816  */