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