OSDN Git Service

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