gcc/config/cris/cris.h

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