gcc/config/mmix/mmix.h

   1 /* Definitions of target machine for GNU compiler, for MMIX.
   2    Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc.
   3    Contributed by Hans-Peter Nilsson (hp@bitrange.com)
   4
   5 This file is part of GNU CC.
   6
   7 GNU CC 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 GNU CC 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 GNU CC; 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 #ifndef GCC_MMIX_H
  23 #define GCC_MMIX_H
  24
  25 /* First, some local helper macros.  Note that the "default" value of
  26    FIXED_REGISTERS, CALL_USED_REGISTERS, REG_ALLOC_ORDER and
  27    REG_CLASS_CONTENTS depend on these values.  */
  28 #define MMIX_RESERVED_GNU_ARG_0_REGNUM 231
  29 #define MMIX_FIRST_ARG_REGNUM \
  30   (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 16)
  31 #define MMIX_FIRST_INCOMING_ARG_REGNUM \
  32   (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 0)
  33 #define MMIX_MAX_ARGS_IN_REGS 16
  34
  35 /* FIXME: This one isn't fully implemented yet.  Return values larger than
  36    one register are passed by reference in MMIX_STRUCT_VALUE_REGNUM by the
  37    caller, except for return values of type "complex".  */
  38 #define MMIX_MAX_REGS_FOR_VALUE 16
  39 #define MMIX_RETURN_VALUE_REGNUM \
  40   (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 15)
  41 #define MMIX_OUTGOING_RETURN_VALUE_REGNUM \
  42   (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 0)
  43 #define MMIX_STRUCT_VALUE_REGNUM 251
  44 #define MMIX_STATIC_CHAIN_REGNUM 252
  45 #define MMIX_FRAME_POINTER_REGNUM 253
  46 #define MMIX_STACK_POINTER_REGNUM 254
  47 #define MMIX_LAST_GENERAL_REGISTER 255
  48 #define MMIX_INCOMING_RETURN_ADDRESS_REGNUM MMIX_rJ_REGNUM
  49 #define MMIX_HIMULT_REGNUM 258
  50 #define MMIX_REMAINDER_REGNUM 260
  51 #define MMIX_ARG_POINTER_REGNUM 261
  52 #define MMIX_LAST_REGISTER_FILE_REGNUM 31
  53
  54 /* Four registers; "ideally, these registers should be call-clobbered", so
  55    just grab a bunch of the common clobbered registers.  FIXME: Last
  56    registers of return-value should be used, with an error if there's a
  57    return-value (that collides in size).  */
  58 #define MMIX_EH_RETURN_DATA_REGNO_START (MMIX_STRUCT_VALUE_REGNUM - 4)
  59
  60 /* Try to keep the definitions from running away on their own.  */
  61 #if (MMIX_EH_RETURN_DATA_REGNO_START \
  62      != MMIX_RESERVED_GNU_ARG_0_REGNUM + MMIX_MAX_ARGS_IN_REGS)
  63  #error MMIX register definition inconsistency
  64 #endif
  65
  66 #if (MMIX_MAX_REGS_FOR_VALUE + MMIX_MAX_ARGS_IN_REGS > 32)
  67  #error MMIX parameters and return values bad, more than 32 registers
  68 #endif
  69
  70 /* This chosen as "a call-clobbered hard register that is otherwise
  71    untouched by the epilogue".  */
  72 #define MMIX_EH_RETURN_STACKADJ_REGNUM MMIX_STATIC_CHAIN_REGNUM
  73
  74 #ifdef REG_OK_STRICT
  75 # define MMIX_REG_OK_STRICT 1
  76 #else
  77 # define MMIX_REG_OK_STRICT 0
  78 #endif
  79
  80 #define MMIX_FUNCTION_ARG_SIZE(MODE, TYPE) \
  81  ((MODE) != BLKmode ? GET_MODE_SIZE (MODE) : int_size_in_bytes (TYPE))
  82
  83 /* Declarations for helper variables that are not tied to a particular
  84    target macro.  */
  85 extern struct rtx_def *mmix_compare_op0;
  86 extern struct rtx_def *mmix_compare_op1;
  87
  88 /* Per-function machine data.  This is normally an opaque type just
  89    defined and used in the tm.c file, but we need to see the definition in
  90    mmix.md too.  */
  91 struct machine_function
  92  {
  93    int has_landing_pad;
  94  };
  95
  96 /* For these target macros, there is no generic documentation here.  You
  97    should read `Using and Porting GCC' for that.  Only comments specific
  98    to the MMIX target are here.
  99
 100    There are however references to the specific texinfo node (comments
 101    with "Node:"), so there should be little or nothing amiss.  Probably
 102    the opposite, since we don't have to care about old littering and
 103    soon outdated generic comments.  */
 104
 105 /* Node: Driver */
 106
 107 /* When both ABI:s work, this is how we tell them apart in code.  The
 108    GNU abi is implied the default.  Also implied in TARGET_DEFAULT.  */
 109 #define CPP_SPEC \
 110  "%{mabi=gnu:-D__MMIX_ABI_GNU__\
 111     %{mabi=mmixware:\
 112       %eoptions -mabi=mmixware and -mabi=gnu are mutually exclusive}}\
 113   %{!mabi=gnu:-D__MMIX_ABI_MMIXWARE__}"
 114
 115 /* User symbols are in the same name-space as built-in symbols, but we
 116    don't need the built-in symbols, so remove those and instead apply
 117    stricter operand checking.  Don't warn when expanding insns.  */
 118 #define ASM_SPEC "-no-predefined-syms -x"
 119
 120 /* Pass on -mset-program-start=N and -mset-data-start=M to the linker.
 121    Provide default program start 0x100 unless -mno-set-program-start.
 122    Link to ELF if requested.  */
 123 #define LINK_SPEC \
 124  "%{mset-program-start=*:--defsym __.MMIX.start..text=%*}\
 125   %{mset-data-start=*:--defsym __.MMIX.start..data=%*}\
 126   %{!mset-program-start=*:\
 127     %{!mno-set-program-start:--defsym __.MMIX.start..text=0x100}}\
 128   %{!melf:-m mmo}%{melf:-m elf64mmix}"
 129
 130 /* Put unused option values here.  */
 131 extern const char *mmix_cc1_ignored_option;
 132
 133 #define TARGET_OPTIONS                                  \
 134    {{"set-program-start=", &mmix_cc1_ignored_option,    \
 135   N_("Set start-address of the program") },             \
 136     {"set-data-start=", &mmix_cc1_ignored_option,       \
 137   N_("Set start-address of data")}}
 138
 139 /* FIXME: There's no provision for profiling here.  */
 140 #define STARTFILE_SPEC  \
 141   "crti%O%s crtbegin%O%s"
 142
 143 #define ENDFILE_SPEC "crtend%O%s crtn%O%s"
 144
 145 /* Node: Run-time Target */
 146
 147 /* Define __LONG_MAX__, since we're advised not to change glimits.h.  */
 148 #define CPP_PREDEFINES "-D__mmix__ -D__MMIX__ -D__LONG_MAX__=9223372036854775807L"
 149
 150 extern int target_flags;
 151
 152 #define TARGET_MASK_LIBFUNCS 1
 153 #define TARGET_MASK_ABI_GNU 2
 154 #define TARGET_MASK_FCMP_EPSILON 4
 155 #define TARGET_MASK_ZERO_EXTEND 8
 156 #define TARGET_MASK_KNUTH_DIVISION 16
 157 #define TARGET_MASK_TOPLEVEL_SYMBOLS 32
 158 #define TARGET_MASK_BRANCH_PREDICT 64
 159
 160 /* We use the term "base address" since that's what Knuth uses.  The base
 161    address goes in a global register.  When addressing, it's more like
 162    "base address plus offset", with the offset being 0..255 from the base,
 163    which itself can be a symbol plus an offset.  The effect is like having
 164    a constant pool in global registers, code offseting from those
 165    registers (automatically causing a request for a suitable constant base
 166    address register) without having to know the specific register or the
 167    specific offset.  */
 168 #define TARGET_MASK_BASE_ADDRESSES 128
 169
 170 /* FIXME: Get rid of this one.  */
 171 #define TARGET_LIBFUNC (target_flags & TARGET_MASK_LIBFUNCS)
 172 #define TARGET_ABI_GNU (target_flags & TARGET_MASK_ABI_GNU)
 173 #define TARGET_FCMP_EPSILON (target_flags & TARGET_MASK_FCMP_EPSILON)
 174 #define TARGET_ZERO_EXTEND (target_flags & TARGET_MASK_ZERO_EXTEND)
 175 #define TARGET_KNUTH_DIVISION (target_flags & TARGET_MASK_KNUTH_DIVISION)
 176 #define TARGET_TOPLEVEL_SYMBOLS (target_flags & TARGET_MASK_TOPLEVEL_SYMBOLS)
 177 #define TARGET_BRANCH_PREDICT (target_flags & TARGET_MASK_BRANCH_PREDICT)
 178 #define TARGET_BASE_ADDRESSES (target_flags & TARGET_MASK_BASE_ADDRESSES)
 179
 180 #define TARGET_DEFAULT \
 181  (TARGET_MASK_BRANCH_PREDICT | TARGET_MASK_BASE_ADDRESSES)
 182
 183 /* FIXME: Provide a way to *load* the epsilon register.  */
 184 #define TARGET_SWITCHES                                                 \
 185  {{"libfuncs",          TARGET_MASK_LIBFUNCS,                           \
 186    N_("For intrinsics library: pass all parameters in registers")},     \
 187   {"no-libfuncs",       -TARGET_MASK_LIBFUNCS, ""},                     \
 188   {"abi=mmixware",      -TARGET_MASK_ABI_GNU,                           \
 189    N_("Use register stack for parameters and return value")},           \
 190   {"abi=gnu",           TARGET_MASK_ABI_GNU,                            \
 191    N_("Use call-clobbered registers for parameters and return value")}, \
 192   {"epsilon",           TARGET_MASK_FCMP_EPSILON,                       \
 193    N_("Use epsilon-respecting floating point compare instructions")},   \
 194   {"no-epsilon",        -TARGET_MASK_FCMP_EPSILON, ""},                 \
 195   {"zero-extend",       TARGET_MASK_ZERO_EXTEND,                        \
 196    N_("Use zero-extending memory loads, not sign-extending ones")},     \
 197   {"no-zero-extend",    -TARGET_MASK_ZERO_EXTEND,  ""},                 \
 198   {"knuthdiv",          TARGET_MASK_KNUTH_DIVISION,                     \
 199    N_("Generate divide results with reminder having the same sign as the\
 200  divisor (not the dividend)")},                                         \
 201   {"no-knuthdiv",       -TARGET_MASK_KNUTH_DIVISION, ""},               \
 202   {"toplevel-symbols",  TARGET_MASK_TOPLEVEL_SYMBOLS,                   \
 203    N_("Prepend global symbols with \":\" (for use with PREFIX)")},      \
 204   {"no-toplevel-symbols", -TARGET_MASK_TOPLEVEL_SYMBOLS,                \
 205    N_("Do not provide a default start-address 0x100 of the program")},  \
 206   {"elf", 0,                                                            \
 207    N_("Link to emit program in ELF format (rather than mmo)")},         \
 208   {"branch-predict",    TARGET_MASK_BRANCH_PREDICT,                     \
 209    N_("Use P-mnemonics for branches statically predicted as taken")},   \
 210   {"no-branch-predict", -TARGET_MASK_BRANCH_PREDICT,                    \
 211    N_("Don't use P-mnemonics for branches")},                           \
 212   {"base-addresses",    TARGET_MASK_BASE_ADDRESSES,                     \
 213    N_("Use addresses that allocate global registers")},                 \
 214   {"no-base-addresses", -TARGET_MASK_BASE_ADDRESSES,                    \
 215    N_("Do not use addresses that allocate global registers")},          \
 216   {"",                  TARGET_DEFAULT, ""}}
 217
 218 /* Unfortunately, this must not reference anything in "mmix.c".  */
 219 #define TARGET_VERSION \
 220   fprintf (stderr, " (MMIX)")
 221
 222 #define OVERRIDE_OPTIONS mmix_override_options ()
 223
 224 #define OPTIMIZATION_OPTIONS(LEVEL, SIZE)       \
 225   do                                            \
 226     {                                           \
 227       if (LEVEL >= 1)                           \
 228         flag_regmove = TRUE;                    \
 229                                                 \
 230       if (SIZE || LEVEL > 1)                    \
 231         {                                       \
 232           flag_omit_frame_pointer = TRUE;       \
 233           flag_strength_reduce = FALSE;         \
 234         }                                       \
 235     }                                           \
 236   while (0)
 237
 238 /* This one will have to wait a little bit; right now we can't debug
 239    neither with or without a frame-pointer.  */
 240 /* #define CAN_DEBUG_WITHOUT_FP */
 241
 242
 243 /* Node: Per-Function Data */
 244 #define INIT_EXPANDERS mmix_init_expanders ()
 245
 246
 247 /* Node: Storage Layout */
 248 /* I see no bitfield instructions.  Anyway, the common order is from low
 249    to high, as the power of two, hence little-endian.  */
 250 #define BITS_BIG_ENDIAN 0
 251 #define BYTES_BIG_ENDIAN 1
 252 #define WORDS_BIG_ENDIAN 1
 253 #define FLOAT_WORDS_BIG_ENDIAN 1
 254 #define BITS_PER_WORD 64
 255 #define UNITS_PER_WORD 8
 256 #define POINTER_SIZE 64
 257
 258 /* FIXME: This macro is correlated to MAX_FIXED_MODE_SIZE in that
 259    e.g. this macro must not be 8 (default, UNITS_PER_WORD) when
 260    MAX_FIXED_MODE_SIZE is 64 (default, DImode), or really: this must be
 261    set manually if MAX_FIXED_MODE_SIZE is not at least twice the register
 262    size.  By setting it to 4, we don't have to worry about TImode things
 263    yet.  Revisit, perhaps get TImode going or get some solution that does
 264    not mandate TImode or lie in other ways.  */
 265 #define MIN_UNITS_PER_WORD 4
 266
 267 /* FIXME: Promotion of modes currently generates slow code, extending
 268    before every operation.  */
 269
 270 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE)     \
 271  do {                                           \
 272   if (GET_MODE_CLASS (MODE) == MODE_INT         \
 273       && GET_MODE_SIZE (MODE) < 8)              \
 274    {                                            \
 275      (MODE) = DImode;                           \
 276      /* Do the following some time later,       \
 277         scrutinizing differences.  */           \
 278      if (0) (UNSIGNEDP) = 0;                    \
 279    }                                            \
 280  } while (0)
 281
 282 #define PROMOTE_FUNCTION_ARGS
 283
 284 #if 0
 285 /* Apparently not doing TRT if int < register-size.  FIXME: Perhaps
 286    FUNCTION_VALUE and LIBCALL_VALUE needs tweaking as some ports say.  */
 287 #define PROMOTE_FUNCTION_RETURN
 288 #endif
 289
 290 /* I'm a little bit undecided about this one.  It might be beneficial to
 291    promote all operations.  */
 292 #define PROMOTE_FOR_CALL_ONLY
 293
 294 /* We need to align everything to 64 bits that can affect the alignment
 295    of other types.  Since address N is interpreted in MMIX as (N modulo
 296    access_size), we must align.  */
 297 #define PARM_BOUNDARY 64
 298 #define STACK_BOUNDARY 64
 299 #define FUNCTION_BOUNDARY 32
 300 #define BIGGEST_ALIGNMENT 64
 301
 302 /* This one is only used in the ADA front end.  */
 303 #define MINIMUM_ATOMIC_ALIGNMENT 8
 304
 305 /* Copied from elfos.h.  */
 306 #define MAX_OFILE_ALIGNMENT (32768 * 8)
 307
 308 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN) \
 309  mmix_data_alignment (TYPE, BASIC_ALIGN)
 310
 311 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN) \
 312  mmix_constant_alignment (CONSTANT, BASIC_ALIGN)
 313
 314 #define LOCAL_ALIGNMENT(TYPE, BASIC_ALIGN) \
 315  mmix_local_alignment (TYPE, BASIC_ALIGN)
 316
 317 /* Following other ports, this seems to most commonly be the word-size,
 318    so let's do that here too.  */
 319 #define EMPTY_FIELD_BOUNDARY 64
 320
 321 /* We chose to have this low solely for similarity with the alpha.  It has
 322    nothing to do with passing the tests dg/c99-scope-2 and
 323    execute/align-1.c.  Nothing.  Though the tests seem wrong.  Padding of
 324    the structure is automatically added to get alignment when needed if we
 325    set this to just byte-boundary.  */
 326 #define STRUCTURE_SIZE_BOUNDARY 8
 327
 328 /* The lower bits are ignored.  */
 329 #define STRICT_ALIGNMENT 1
 330
 331
 332 /* Node: Type Layout */
 333
 334 /* It might seem more natural to have 64-bit ints on a 64-bit machine,
 335    but then an occasional MMIX programmer needs to know how to put a lot
 336    of __attribute__ stuff to get to the 8, 16 and 32-bit modes rather
 337    than the "intuitive" char, short and int types.  */
 338 #define INT_TYPE_SIZE 32
 339 #define SHORT_TYPE_SIZE 16
 340 #define LONG_LONG_TYPE_SIZE 64
 341
 342 #define FLOAT_TYPE_SIZE 32
 343 #define DOUBLE_TYPE_SIZE 64
 344 #define LONG_DOUBLE_TYPE_SIZE 64
 345
 346 #define DEFAULT_SIGNED_CHAR 1
 347
 348 /* I have no rationale for this other than pointing at Alpha.  */
 349 #define WCHAR_TYPE "unsigned int"
 350 #define WCHAR_TYPE_SIZE 32
 351
 352
 353 /* Node: Register Basics */
 354 /* We tell GCC about all 256 general registers, and we also include
 355    rD, rE, rH, rJ and rR (in that order) so we can describe what insns
 356    clobber them.  We use a faked register for the argument pointer.  It is
 357    always eliminated towards the frame-pointer or the stack-pointer, never
 358    output in assembly.  Any fixed register would do for this, like $255,
 359    but future debugging is easier when using a separate register.  It
 360    counts as a global register for pseudorandom reasons.  */
 361 #define FIRST_PSEUDO_REGISTER 262
 362
 363 /* We treat general registers with no assigned purpose as fixed.  The
 364    stack pointer, $254, is also fixed.  Register $255 is referred to as a
 365    temporary register in the MMIX papers, and used as such in mmixal, so
 366    it should not be used as a stack pointer.  We set it to fixed, and use
 367    it "manually" at times of despair.  */
 368 #define FIXED_REGISTERS \
 369  { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
 370    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
 371    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 372    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 373    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 374    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 375    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 376    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 377    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 378    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 379    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 380    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 381    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 382    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 383    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 384    1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, \
 385    1, 1, 0, 0, 0, 1 \
 386  }
 387
 388 /* General registers are fixed and therefore "historically" marked
 389    call-used.  (FIXME: This has changed).  Registers $15..$31 are
 390    call-clobbered; we'll put arguments in $16 and up, and we need $15 for
 391    the MMIX register-stack "hole".  */
 392 #define CALL_USED_REGISTERS \
 393  { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, \
 394    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 395    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 396    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 397    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 398    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 399    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 400    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 401    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 402    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 403    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 404    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 405    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 406    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 407    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 408    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, \
 409    1, 1, 1, 1, 1, 1 \
 410  }
 411
 412 #define CONDITIONAL_REGISTER_USAGE mmix_conditional_register_usage ()
 413
 414 /* No LOCAL_REGNO, INCOMING_REGNO or OUTGOING_REGNO, since those macros
 415    are not usable for MMIX: it doesn't have a fixed register window size.
 416    FIXME: Perhaps we should say something about $0..$15 may sometimes be
 417    the incoming $16..$31.  Those macros need better documentation; it
 418    looks like they're just bogus and that FUNCTION_INCOMING_ARG_REGNO_P
 419    and FUNCTION_OUTGOING_VALUE should be used where they're used.  For the
 420    moment, do nothing; things seem to work anyway.  */
 421
 422
 423 /* Node: Allocation Order */
 424
 425 /* We should allocate registers from 0 to 31 by increasing number, because
 426    I think that's what people expect.  Beyond that, just use
 427    call-clobbered global registers first, then call-clobbered special
 428    registers.  Last, the fixed registers.  */
 429 #define MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER       \
 430  { 0, 1, 2, 3, 4, 5, 6, 7,                      \
 431    8, 9, 10, 11, 12, 13, 14, 15,                \
 432    16, 17, 18, 19, 20, 21, 22, 23,              \
 433    24, 25, 26, 27, 28, 29, 30, 31,              \
 434                                                 \
 435    252, 251, 250, 249, 248, 247,                \
 436                                                 \
 437    253,                                         \
 438                                                 \
 439    258, 260, 259,                               \
 440                                                 \
 441    32, 33, 34, 35, 36, 37, 38, 39,              \
 442    40, 41, 42, 43, 44, 45, 46, 47,              \
 443    48, 49, 50, 51, 52, 53, 54, 55,              \
 444    56, 57, 58, 59, 60, 61, 62, 63,              \
 445    64, 65, 66, 67, 68, 69, 70, 71,              \
 446    72, 73, 74, 75, 76, 77, 78, 79,              \
 447    80, 81, 82, 83, 84, 85, 86, 87,              \
 448    88, 89, 90, 91, 92, 93, 94, 95,              \
 449    96, 97, 98, 99, 100, 101, 102, 103,          \
 450    104, 105, 106, 107, 108, 109, 110, 111,      \
 451    112, 113, 114, 115, 116, 117, 118, 119,      \
 452    120, 121, 122, 123, 124, 125, 126, 127,      \
 453    128, 129, 130, 131, 132, 133, 134, 135,      \
 454    136, 137, 138, 139, 140, 141, 142, 143,      \
 455    144, 145, 146, 147, 148, 149, 150, 151,      \
 456    152, 153, 154, 155, 156, 157, 158, 159,      \
 457    160, 161, 162, 163, 164, 165, 166, 167,      \
 458    168, 169, 170, 171, 172, 173, 174, 175,      \
 459    176, 177, 178, 179, 180, 181, 182, 183,      \
 460    184, 185, 186, 187, 188, 189, 190, 191,      \
 461    192, 193, 194, 195, 196, 197, 198, 199,      \
 462    200, 201, 202, 203, 204, 205, 206, 207,      \
 463    208, 209, 210, 211, 212, 213, 214, 215,      \
 464    216, 217, 218, 219, 220, 221, 222, 223,      \
 465    224, 225, 226, 227, 228, 229, 230, 231,      \
 466    232, 233, 234, 235, 236, 237, 238, 239,      \
 467    240, 241, 242, 243, 244, 245, 246,           \
 468                                                 \
 469    254, 255, 256, 257, 261                      \
 470  }
 471
 472 /* As a convenience, we put this nearby, for ease of comparison.
 473    First, call-clobbered registers in reverse order of assignment as
 474    parameters (also the top ones; not because they're parameters, but
 475    for continuity).
 476
 477    Second, saved registers that go on the register-stack.
 478
 479    Third, special registers rH, rR and rJ.  They should not normally be
 480    allocated, but since they're call-clobbered, it is cheaper to use one
 481    of them than using a call-saved register for a call-clobbered use,
 482    assuming it is referenced a very limited number of times.  Other global
 483    and fixed registers come next; they are never allocated.  */
 484 #define MMIX_GNU_ABI_REG_ALLOC_ORDER            \
 485 {  252, 251, 250, 249, 248, 247, 246,           \
 486    245, 244, 243, 242, 241, 240, 239, 238,      \
 487    237, 236, 235, 234, 233, 232, 231,           \
 488                                                 \
 489    0, 1, 2, 3, 4, 5, 6, 7,                      \
 490    8, 9, 10, 11, 12, 13, 14, 15,                \
 491    16, 17, 18, 19, 20, 21, 22, 23,              \
 492    24, 25, 26, 27, 28, 29, 30, 31,              \
 493                                                 \
 494    253,                                         \
 495                                                 \
 496    258, 260, 259,                               \
 497                                                 \
 498    32, 33, 34, 35, 36, 37, 38, 39,              \
 499    40, 41, 42, 43, 44, 45, 46, 47,              \
 500    48, 49, 50, 51, 52, 53, 54, 55,              \
 501    56, 57, 58, 59, 60, 61, 62, 63,              \
 502    64, 65, 66, 67, 68, 69, 70, 71,              \
 503    72, 73, 74, 75, 76, 77, 78, 79,              \
 504    80, 81, 82, 83, 84, 85, 86, 87,              \
 505    88, 89, 90, 91, 92, 93, 94, 95,              \
 506    96, 97, 98, 99, 100, 101, 102, 103,          \
 507    104, 105, 106, 107, 108, 109, 110, 111,      \
 508    112, 113, 114, 115, 116, 117, 118, 119,      \
 509    120, 121, 122, 123, 124, 125, 126, 127,      \
 510    128, 129, 130, 131, 132, 133, 134, 135,      \
 511    136, 137, 138, 139, 140, 141, 142, 143,      \
 512    144, 145, 146, 147, 148, 149, 150, 151,      \
 513    152, 153, 154, 155, 156, 157, 158, 159,      \
 514    160, 161, 162, 163, 164, 165, 166, 167,      \
 515    168, 169, 170, 171, 172, 173, 174, 175,      \
 516    176, 177, 178, 179, 180, 181, 182, 183,      \
 517    184, 185, 186, 187, 188, 189, 190, 191,      \
 518    192, 193, 194, 195, 196, 197, 198, 199,      \
 519    200, 201, 202, 203, 204, 205, 206, 207,      \
 520    208, 209, 210, 211, 212, 213, 214, 215,      \
 521    216, 217, 218, 219, 220, 221, 222, 223,      \
 522    224, 225, 226, 227, 228, 229, 230,           \
 523                                                 \
 524    254, 255, 256, 257, 261                      \
 525  }
 526
 527 /* The default one.  */
 528 #define REG_ALLOC_ORDER MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER
 529
 530 /* Node: Values in Registers */
 531
 532 #define HARD_REGNO_NREGS(REGNO, MODE)                   \
 533    ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1)         \
 534     / UNITS_PER_WORD)
 535
 536 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
 537
 538 /* Note that no register can really be accessed in single-float mode, so
 539    we *can* say 1 here.  FIXME:  Will TRT happen for single-float, or do
 540    we have to punt to libgcc1.asm?  */
 541 #define MODES_TIEABLE_P(MODE1, MODE2) 1
 542
 543
 544 /* Node: Leaf Functions */
 545 /* (empty) */
 546
 547
 548 /* Node: Register Classes */
 549
 550 enum reg_class
 551 {
 552   NO_REGS, GENERAL_REGS, REMAINDER_REG, HIMULT_REG,
 553   SYSTEM_REGS, ALL_REGS, LIM_REG_CLASSES
 554 };
 555
 556 #define N_REG_CLASSES (int) LIM_REG_CLASSES
 557
 558 #define REG_CLASS_NAMES                                         \
 559  {"NO_REGS", "GENERAL_REGS", "REMAINDER_REG", "HIMULT_REG",     \
 560   "SYSTEM_REGS", "ALL_REGS"}
 561
 562 /* Note that the contents of each item is always 32 bits.  */
 563 #define REG_CLASS_CONTENTS                      \
 564  {{0, 0, 0, 0, 0, 0, 0, 0, 0},                  \
 565   {~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x20},       \
 566   {0, 0, 0, 0, 0, 0, 0, 0, 0x10},               \
 567   {0, 0, 0, 0, 0, 0, 0, 0, 4},                  \
 568   {0, 0, 0, 0, 0, 0, 0, 0, 0x3f},               \
 569   {~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x3f}}
 570
 571 #define REGNO_REG_CLASS(REGNO)                                  \
 572  ((REGNO) <= MMIX_LAST_GENERAL_REGISTER                         \
 573   || (REGNO) == MMIX_ARG_POINTER_REGNUM                         \
 574   ? GENERAL_REGS                                                \
 575   : (REGNO) == MMIX_REMAINDER_REGNUM ? REMAINDER_REG            \
 576   : (REGNO) == MMIX_HIMULT_REGNUM ? HIMULT_REG : SYSTEM_REGS)
 577
 578 #define BASE_REG_CLASS GENERAL_REGS
 579
 580 #define INDEX_REG_CLASS GENERAL_REGS
 581
 582 #define REG_CLASS_FROM_LETTER(CHAR)             \
 583  ((CHAR) == 'x' ? SYSTEM_REGS                   \
 584   : (CHAR) == 'y' ? REMAINDER_REG               \
 585   : (CHAR) == 'z' ? HIMULT_REG : NO_REGS)
 586
 587 #define REGNO_OK_FOR_BASE_P(REGNO)                              \
 588  ((REGNO) <= MMIX_LAST_GENERAL_REGISTER                         \
 589   || (REGNO) == MMIX_ARG_POINTER_REGNUM                         \
 590   || (reg_renumber[REGNO] > 0                                   \
 591       && reg_renumber[REGNO] <= MMIX_LAST_GENERAL_REGISTER))
 592
 593 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P (REGNO)
 594
 595 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
 596  mmix_preferred_reload_class (X, CLASS)
 597
 598 #define PREFERRED_OUTPUT_RELOAD_CLASS(X, CLASS) \
 599  mmix_preferred_output_reload_class (X, CLASS)
 600
 601 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, X) \
 602  mmix_secondary_reload_class (CLASS, MODE, X, 1)
 603
 604 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS, MODE, X) \
 605  mmix_secondary_reload_class (CLASS, MODE, X, 0)
 606
 607 #define CLASS_MAX_NREGS(CLASS, MODE) HARD_REGNO_NREGS (CLASS, MODE)
 608
 609 #define CONST_OK_FOR_LETTER_P(VALUE, C) \
 610  mmix_const_ok_for_letter_p (VALUE, C)
 611
 612 #define EXTRA_CONSTRAINT(VALUE, C)      \
 613  mmix_extra_constraint (VALUE, C, MMIX_REG_OK_STRICT)
 614
 615 /* Do we need anything serious here?  Yes, any FLOT constant.  */
 616 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C)                  \
 617  mmix_const_double_ok_for_letter_p (VALUE, C)
 618
 619
 620 /* Node: Frame Layout */
 621
 622 #define STACK_GROWS_DOWNWARD
 623 #define FRAME_GROWS_DOWNWARD
 624
 625 #define STARTING_FRAME_OFFSET \
 626   mmix_starting_frame_offset ()
 627
 628 /* There is a stack slot between the frame-pointer and the first
 629    parameter, where the return address is sometimes stored.  FIXME:
 630    Unnecessary.  */
 631 #define FIRST_PARM_OFFSET(FUNDECL) 8
 632
 633 #define DYNAMIC_CHAIN_ADDRESS(FRAMEADDR) \
 634  mmix_dynamic_chain_address (FRAMEADDR)
 635
 636 /* FIXME: It seems RETURN_ADDR_OFFSET is undocumented.  */
 637
 638 #define SETUP_FRAME_ADDRESSES() \
 639  mmix_setup_frame_addresses ()
 640
 641 #define RETURN_ADDR_RTX(COUNT, FRAME)           \
 642  mmix_return_addr_rtx (COUNT, FRAME)
 643
 644 /* It's in rJ before we store it somewhere.  */
 645 #define INCOMING_RETURN_ADDR_RTX \
 646  gen_rtx_REG (Pmode, MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
 647
 648 /* FIXME: This does not seem properly documented or cross-indexed.
 649    Nowhere except in the code does it say it *has* to be in the range
 650    0..255, or else it will be truncated.  That goes for the default too.  */
 651 #define DWARF_FRAME_RETURN_COLUMN \
 652  DWARF_FRAME_REGNUM (MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
 653
 654 /* No return address is stored there.  */
 655 #define INCOMING_FRAME_SP_OFFSET 0
 656
 657 /* Node: Stack Checking */
 658 /* (empty) */
 659
 660
 661 /* Node: Exception Handling */
 662
 663 #define EH_RETURN_DATA_REGNO(N) \
 664  mmix_eh_return_data_regno (N)
 665
 666 #define EH_RETURN_STACKADJ_RTX \
 667  mmix_eh_return_stackadj_rtx ()
 668
 669 #define EH_RETURN_HANDLER_RTX \
 670  mmix_eh_return_handler_rtx ()
 671
 672 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE, GLOBAL) \
 673  mmix_asm_preferred_eh_data_format (CODE, GLOBAL)
 674
 675 /* Node: Frame Registers */
 676 #define STACK_POINTER_REGNUM MMIX_STACK_POINTER_REGNUM
 677
 678 /* Perhaps we can use HARD_FRAME_POINTER_REGNUM and decide later on
 679    what register we want to use.  */
 680 #define FRAME_POINTER_REGNUM MMIX_FRAME_POINTER_REGNUM
 681 #define ARG_POINTER_REGNUM MMIX_ARG_POINTER_REGNUM
 682
 683 #define STATIC_CHAIN_REGNUM MMIX_STATIC_CHAIN_REGNUM
 684
 685
 686 /* Node: Elimination */
 687 /* FIXME: Is this requirement built-in?  Anyway, we should try to get rid
 688    of it; we can deduce the value.  */
 689 #define FRAME_POINTER_REQUIRED (nonlocal_goto_stack_level != NULL_RTX)
 690
 691 /* The frame-pointer is stored in a location that either counts to the
 692    offset of incoming parameters, or that counts to the offset of the
 693    frame, so we can't use a single offset.  We therefore eliminate those
 694    two separately.  */
 695 #define ELIMINABLE_REGS                         \
 696  {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM},   \
 697   {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM},   \
 698   {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
 699
 700 /* We need not worry about when the frame-pointer is required for other
 701    reasons; GCC takes care of those cases.  */
 702 #define CAN_ELIMINATE(FROM, TO) 1
 703
 704 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
 705  (OFFSET) = mmix_initial_elimination_offset (FROM, TO);
 706
 707
 708 /* Node: Stack Arguments */
 709
 710 #define ACCUMULATE_OUTGOING_ARGS 1
 711
 712 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACKSIZE) 0
 713
 714
 715 /* Node: Register Arguments */
 716 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED)    \
 717  mmix_function_arg (&(CUM), MODE, TYPE, NAMED, 0)
 718
 719 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED)   \
 720  mmix_function_arg (&(CUM), MODE, TYPE, NAMED, 1)
 721
 722 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED)  \
 723  mmix_function_arg_pass_by_reference (&(CUM), MODE, TYPE, NAMED)
 724
 725 /* This *sounds* good, but does not seem to be implemented correctly to
 726    be a win; at least it wasn't in 2.7.2.  FIXME: Check and perhaps
 727    replace with a big comment.  */
 728 #define FUNCTION_ARG_CALLEE_COPIES(CUM, MODE, TYPE, NAMED) 1
 729
 730 typedef struct { int regs; int lib; int now_varargs; } CUMULATIVE_ARGS;
 731
 732 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT)    \
 733  ((CUM).regs = 0, (CUM).lib = ((LIBNAME) != 0), (CUM).now_varargs = 0)
 734
 735 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)            \
 736  ((CUM).regs                                                    \
 737   = ((MUST_PASS_IN_STACK (MODE, TYPE))                          \
 738      || (MMIX_FUNCTION_ARG_SIZE (MODE, TYPE) > 8                \
 739          && !TARGET_LIBFUNC && !(CUM).lib))                     \
 740   ? (MMIX_MAX_ARGS_IN_REGS) + 1                                 \
 741   : (CUM).regs + (7 + (MMIX_FUNCTION_ARG_SIZE (MODE, TYPE))) / 8)
 742
 743 #define FUNCTION_ARG_REGNO_P(REGNO)             \
 744  mmix_function_arg_regno_p (REGNO, 0)
 745
 746 #define FUNCTION_INCOMING_ARG_REGNO_P(REGNO)            \
 747  mmix_function_arg_regno_p (REGNO, 1)
 748
 749
 750 /* Node: Register Arguments */
 751
 752 #define FUNCTION_VALUE(VALTYPE, FUNC)  \
 753  gen_rtx_REG (TYPE_MODE (VALTYPE), MMIX_RETURN_VALUE_REGNUM)
 754
 755 /* This needs to take care of the register hole for complex return values.  */
 756 #define FUNCTION_OUTGOING_VALUE(VALTYPE, FUNC)  \
 757  mmix_function_outgoing_value (VALTYPE, FUNC)
 758
 759 #define LIBCALL_VALUE(MODE) \
 760  gen_rtx_REG (MODE, MMIX_OUTGOING_RETURN_VALUE_REGNUM)
 761
 762 #define FUNCTION_VALUE_REGNO_P(REGNO) \
 763  ((REGNO) == MMIX_OUTGOING_RETURN_VALUE_REGNUM)
 764
 765
 766 /* Node: Aggregate Return */
 767
 768 #define STRUCT_VALUE_REGNUM MMIX_STRUCT_VALUE_REGNUM
 769
 770
 771 /* Node: Caller Saves */
 772 /* (empty) */
 773
 774
 775 /* Node: Function Entry */
 776
 777 /* See mmix.c for TARGET_ASM_FUNCTION_PROLOGUE and
 778    TARGET_ASM_FUNCTION_EPILOGUE.  */
 779
 780 /* We need to say that the epilogue uses the return address, so the
 781    initial-value machinery restores it.  FIXME: Some targets
 782    conditionalize on "reload_completed &&".  Investigate difference.
 783    FIXME: Not needed if nonlocal_goto_stack_level.  */
 784 #define EPILOGUE_USES(REGNO) \
 785  ((REGNO) == MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
 786
 787 #define ASM_OUTPUT_MI_THUNK(FILE, THUNK_FNDECL, DELTA, FUNCTION)        \
 788  mmix_asm_output_mi_thunk (FILE, THUNK_FNDECL, DELTA, FUNCTION)
 789
 790
 791 /* Node: Profiling */
 792 #define FUNCTION_PROFILER(FILE, LABELNO)        \
 793  mmix_function_profiler (FILE, LABELNO)
 794
 795 /* Node: Varargs */
 796
 797 /* For the moment, let's stick to pushing argument registers on the stack.
 798    Later, we can parse all arguments in registers, to improve
 799    performance.  */
 800 #define SETUP_INCOMING_VARARGS(A, M, T, P, S)   \
 801  mmix_setup_incoming_varargs(&(A), M, T, &(P), S)
 802
 803 /* FIXME: This and other EXPAND_BUILTIN_VA_... target macros are not
 804    documented, although used by several targets.  */
 805 #define EXPAND_BUILTIN_VA_ARG(VALIST, TYPE) \
 806  mmix_expand_builtin_va_arg (VALIST, TYPE)
 807
 808 /* Node: Trampolines */
 809
 810 #define TRAMPOLINE_TEMPLATE(FILE) \
 811  mmix_trampoline_template (FILE)
 812
 813 #define TRAMPOLINE_SIZE mmix_trampoline_size
 814 #define INITIALIZE_TRAMPOLINE(ADDR, FNADDR, STATIC_CHAIN) \
 815  mmix_initialize_trampoline (ADDR, FNADDR, STATIC_CHAIN)
 816
 817
 818 /* Node: Library Calls */
 819
 820 #define TARGET_MEM_FUNCTIONS
 821
 822
 823 /* Node: Addressing Modes */
 824
 825 #define CONSTANT_ADDRESS_P(X) \
 826  mmix_constant_address_p (X)
 827
 828 #define MAX_REGS_PER_ADDRESS 2
 829
 830 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL)                \
 831  if (mmix_legitimate_address (MODE, X, MMIX_REG_OK_STRICT))     \
 832    goto LABEL
 833
 834 #ifndef REG_OK_STRICT
 835 # define REG_OK_FOR_BASE_P(X)                   \
 836   (REGNO (X) <= MMIX_LAST_GENERAL_REGISTER      \
 837    || REGNO (X) == MMIX_ARG_POINTER_REGNUM      \
 838    || REGNO (X) >= FIRST_PSEUDO_REGISTER)
 839 #else
 840 # define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
 841 #endif /* REG_OK_STRICT */
 842
 843 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
 844
 845 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN)
 846
 847 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)
 848
 849 #define LEGITIMATE_CONSTANT_P(X) \
 850  mmix_legitimate_constant_p (X)
 851
 852
 853 /* Node: Condition Code */
 854
 855 #define EXTRA_CC_MODES                          \
 856  CC(CC_UNSmode, "CC_UNS")                       \
 857  CC(CC_FPmode, "CC_FP")                         \
 858  CC(CC_FPEQmode, "CC_FPEQ")                     \
 859  CC(CC_FUNmode, "CC_FUN")
 860
 861 #define SELECT_CC_MODE(OP, X, Y)                \
 862  mmix_select_cc_mode (OP, X, Y)
 863
 864 #define CANONICALIZE_COMPARISON(CODE, OP0, OP1)         \
 865  mmix_canonicalize_comparison (&(CODE), &(OP0), &(OP1));
 866
 867 #define REVERSIBLE_CC_MODE(MODE)                \
 868  mmix_reversible_cc_mode (MODE)
 869
 870
 871 /* Node: Costs */
 872
 873 /* This one takes on both the RTX_COSTS and CONST_COSTS tasks.  */
 874 #define DEFAULT_RTX_COSTS(X, CODE, OUTER_CODE)                  \
 875  {                                                              \
 876    int mmix_rtx_cost;                                           \
 877    if (mmix_rtx_cost_recalculated (X, CODE, OUTER_CODE,         \
 878                                    &mmix_rtx_cost))             \
 879      return mmix_rtx_cost;                                      \
 880  }
 881
 882 #define ADDRESS_COST(ADDRESS) mmix_address_cost (ADDRESS)
 883
 884 /* The special registers can only move to and from general regs, and we
 885    need to check that their constraints match, so say 3 for them.  */
 886 /* WARNING: gcc-2.7.2.2 i686-pc-linux-gnulibc1 (as shipped with RH 4.2)
 887    miscompiles reload1.c:reload_cse_simplify_set; a call to
 888    reload_cse_regno_equal_p is missing when checking if a substitution of
 889    a register setting is valid if this is defined to just the expression
 890    in mmix_register_move_cost.
 891
 892    Symptom: a (all?) register setting is optimized away for e.g.
 893    "char *p1(char *p) { return p+1; }" and the value of register zero ($0)
 894    is returned.
 895
 896    We can workaround by making this a function call - unknown if this
 897    causes dire speed effects.  */
 898 #define REGISTER_MOVE_COST(MODE, FROM, TO) \
 899  mmix_register_move_cost (MODE, FROM, TO)
 900
 901 #define SLOW_BYTE_ACCESS 0
 902
 903
 904 /* Node: Sections */
 905
 906 /* This must be a constant string, since it's used in crtstuff.c.  */
 907 #define TEXT_SECTION_ASM_OP \
 908  "\t.text ! mmixal:= 9H LOC 8B"
 909
 910 /* FIXME: Not documented.  */
 911 #define DATA_SECTION_ASM_OP \
 912  mmix_data_section_asm_op ()
 913
 914 /* Stuff copied from elfos.h.  */
 915 #define EXTRA_SECTIONS in_const
 916
 917 #define EXTRA_SECTION_FUNCTIONS         \
 918   CONST_SECTION_FUNCTION
 919
 920 #define READONLY_DATA_SECTION() const_section ()
 921
 922 #define CONST_SECTION_ASM_OP    "\t.section\t.rodata"
 923
 924 #define CONST_SECTION_FUNCTION                                  \
 925 void                                                            \
 926 const_section ()                                                \
 927 {                                                               \
 928   if (in_section != in_const)                                   \
 929     {                                                           \
 930       fprintf (asm_out_file, "%s\n", CONST_SECTION_ASM_OP);     \
 931       in_section = in_const;                                    \
 932     }                                                           \
 933 }
 934
 935 #undef  SELECT_RTX_SECTION
 936 #define SELECT_RTX_SECTION(MODE, RTX, ALIGN) const_section ()
 937
 938 #define SELECT_SECTION(DECL, RELOC, ALIGN) \
 939  mmix_select_section (DECL, RELOC, ALIGN)
 940
 941 #define ENCODE_SECTION_INFO(DECL) \
 942  mmix_encode_section_info (DECL)
 943
 944 #define STRIP_NAME_ENCODING(VAR, SYM_NAME) \
 945  (VAR) = mmix_strip_name_encoding (SYM_NAME)
 946
 947 #define UNIQUE_SECTION(DECL, RELOC) \
 948   mmix_unique_section (decl, reloc)
 949
 950 /* Node: PIC */
 951 /* (empty) */
 952
 953
 954 /* Node: File Framework */
 955
 956 #define ASM_FILE_START(STREAM) \
 957  mmix_asm_file_start (STREAM)
 958
 959 #define ASM_FILE_END(STREAM) \
 960  mmix_asm_file_end (STREAM)
 961
 962 /* While any other punctuation character but ";" would do, we prefer "%"
 963    or "!"; "!" is an unary operator and so will not be mistakenly included
 964    in correctly formed expressions.  The hash character adds mass; catches
 965    the eye.  We can't have it as a comment char by itself, since it's a
 966    hex-number prefix.  */
 967 #define ASM_COMMENT_START "!#"
 968
 969 /* These aren't currently functional.  We just keep them as markers.  */
 970 #define ASM_APP_ON "%APP\n"
 971 #define ASM_APP_OFF "%NO_APP\n"
 972
 973 #define ASM_OUTPUT_SOURCE_FILENAME(STREAM, NAME) \
 974  mmix_asm_output_source_filename (STREAM, NAME)
 975
 976 #define OUTPUT_QUOTED_STRING(STREAM, STRING) \
 977  mmix_output_quoted_string (STREAM, STRING, strlen (STRING))
 978
 979 #define ASM_OUTPUT_SOURCE_LINE(STREAM, LINE) \
 980  mmix_asm_output_source_line  (STREAM, LINE)
 981
 982 #define TARGET_ASM_NAMED_SECTION default_elf_asm_named_section
 983
 984
 985 /* Node: Data Output */
 986
 987 #define ASM_OUTPUT_ASCII(STREAM, PTR, LEN) \
 988  mmix_asm_output_ascii (STREAM, PTR, LEN)
 989
 990 /* Node: Uninitialized Data */
 991
 992 #define ASM_OUTPUT_ALIGNED_COMMON(ST, N, S, A) \
 993  mmix_asm_output_aligned_common (ST, N, S, A)
 994
 995 #define ASM_OUTPUT_ALIGNED_LOCAL(ST, N, S, A) \
 996  mmix_asm_output_aligned_local (ST, N, S, A)
 997
 998
 999 /* Node: Label Output */
1000
1001 #define ASM_OUTPUT_LABEL(STREAM, NAME) \
1002  mmix_asm_output_label (STREAM, NAME)
1003
1004 #define ASM_DECLARE_REGISTER_GLOBAL(STREAM, DECL, REGNO, NAME) \
1005  mmix_asm_declare_register_global (STREAM, DECL, REGNO, NAME)
1006
1007 #define ASM_GLOBALIZE_LABEL(STREAM, NAME) \
1008  mmix_asm_globalize_label (STREAM, NAME)
1009
1010 #define ASM_WEAKEN_LABEL(STREAM, NAME) \
1011  mmix_asm_weaken_label (STREAM, NAME)
1012
1013 #define MAKE_DECL_ONE_ONLY(DECL) \
1014  mmix_make_decl_one_only (DECL)
1015
1016 #define ASM_OUTPUT_LABELREF(STREAM, NAME) \
1017  mmix_asm_output_labelref (STREAM, NAME)
1018
1019 #define ASM_OUTPUT_INTERNAL_LABEL(STREAM, PREFIX, NUM) \
1020  mmix_asm_output_internal_label (STREAM, PREFIX, NUM)
1021
1022 /* We insert a ":" to disambiguate against user symbols like L5.  */
1023 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
1024  sprintf (LABEL, "*%s:%ld", PREFIX, (long)(NUM))
1025
1026 /* Insert "::"; these are rarer than internal labels.  FIXME: Make sure no
1027    ":" is seen in the object file; we don't really want that mmixal
1028    feature visible there.  We don't want the default, which uses a dot;
1029    that'd be incompatible with mmixal.  */
1030 #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO)          \
1031  ((OUTPUT) = (char *) alloca (strlen ((NAME)) + 2 + 10),        \
1032   sprintf ((OUTPUT), "%s::%d", (NAME), (LABELNO)))
1033
1034 #define ASM_OUTPUT_DEF(STREAM, NAME, VALUE) \
1035  mmix_asm_output_def (STREAM, NAME, VALUE)
1036
1037 #define ASM_OUTPUT_DEFINE_LABEL_DIFFERENCE_SYMBOL(STREAM, SY, HI, LO) \
1038  mmix_asm_output_define_label_difference_symbol (STREAM, SY, HI, LO)
1039
1040
1041 /* Node: Macros for Initialization */
1042 /* We're compiling to ELF and linking to MMO; all ELF features that GCC
1043    care for are there.  FIXME: Are they?  */
1044
1045 /* These must be constant strings, since they're used in crtstuff.c.  */
1046 #define INIT_SECTION_ASM_OP "\t.section .init,\"ax\" ! mmixal-incompatible"
1047
1048 #define FINI_SECTION_ASM_OP "\t.section .fini,\"ax\" ! mmixal-incompatible"
1049
1050 #define OBJECT_FORMAT_ELF
1051
1052
1053 /* Node: Instruction Output */
1054
1055 /* The non-$ register names must be prefixed with ":", since they're
1056    affected by PREFIX.  We provide the non-colon names as additional
1057    names.  */
1058 #define REGISTER_NAMES                                                  \
1059  {"$0", "$1", "$2", "$3", "$4", "$5", "$6", "$7",                       \
1060   "$8", "$9", "$10", "$11", "$12", "$13", "$14", "$15",                 \
1061   "$16", "$17", "$18", "$19", "$20", "$21", "$22", "$23",               \
1062   "$24", "$25", "$26", "$27", "$28", "$29", "$30", "$31",               \
1063   "$32", "$33", "$34", "$35", "$36", "$37", "$38", "$39",               \
1064   "$40", "$41", "$42", "$43", "$44", "$45", "$46", "$47",               \
1065   "$48", "$49", "$50", "$51", "$52", "$53", "$54", "$55",               \
1066   "$56", "$57", "$58", "$59", "$60", "$61", "$62", "$63",               \
1067   "$64", "$65", "$66", "$67", "$68", "$69", "$70", "$71",               \
1068   "$72", "$73", "$74", "$75", "$76", "$77", "$78", "$79",               \
1069   "$80", "$81", "$82", "$83", "$84", "$85", "$86", "$87",               \
1070   "$88", "$89", "$90", "$91", "$92", "$93", "$94", "$95",               \
1071   "$96", "$97", "$98", "$99", "$100", "$101", "$102", "$103",           \
1072   "$104", "$105", "$106", "$107", "$108", "$109", "$110", "$111",       \
1073   "$112", "$113", "$114", "$115", "$116", "$117", "$118", "$119",       \
1074   "$120", "$121", "$122", "$123", "$124", "$125", "$126", "$127",       \
1075   "$128", "$129", "$130", "$131", "$132", "$133", "$134", "$135",       \
1076   "$136", "$137", "$138", "$139", "$140", "$141", "$142", "$143",       \
1077   "$144", "$145", "$146", "$147", "$148", "$149", "$150", "$151",       \
1078   "$152", "$153", "$154", "$155", "$156", "$157", "$158", "$159",       \
1079   "$160", "$161", "$162", "$163", "$164", "$165", "$166", "$167",       \
1080   "$168", "$169", "$170", "$171", "$172", "$173", "$174", "$175",       \
1081   "$176", "$177", "$178", "$179", "$180", "$181", "$182", "$183",       \
1082   "$184", "$185", "$186", "$187", "$188", "$189", "$190", "$191",       \
1083   "$192", "$193", "$194", "$195", "$196", "$197", "$198", "$199",       \
1084   "$200", "$201", "$202", "$203", "$204", "$205", "$206", "$207",       \
1085   "$208", "$209", "$210", "$211", "$212", "$213", "$214", "$215",       \
1086   "$216", "$217", "$218", "$219", "$220", "$221", "$222", "$223",       \
1087   "$224", "$225", "$226", "$227", "$228", "$229", "$230", "$231",       \
1088   "$232", "$233", "$234", "$235", "$236", "$237", "$238", "$239",       \
1089   "$240", "$241", "$242", "$243", "$244", "$245", "$246", "$247",       \
1090   "$248", "$249", "$250", "$251", "$252", "$253", "$254", "$255",       \
1091   ":rD",  ":rE",  ":rH",  ":rJ",  ":rR",  "ap_!BAD!"}
1092
1093 #define ADDITIONAL_REGISTER_NAMES                       \
1094  {{"sp", 254}, {":sp", 254}, {"rD", 256}, {"rE", 257},  \
1095   {"rH", 258}, {"rJ", MMIX_rJ_REGNUM}}
1096
1097 #define PRINT_OPERAND(STREAM, X, CODE) \
1098  mmix_print_operand (STREAM, X, CODE)
1099
1100 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) \
1101  mmix_print_operand_punct_valid_p (CODE)
1102
1103 #define PRINT_OPERAND_ADDRESS(STREAM, X) \
1104  mmix_print_operand_address (STREAM, X)
1105
1106 #if 0
1107 #define USER_LABEL_PREFIX "_"
1108 #endif
1109
1110 #define ASM_OUTPUT_REG_PUSH(STREAM, REGNO) \
1111  mmix_asm_output_reg_push (STREAM, REGNO)
1112
1113 #define ASM_OUTPUT_REG_POP(STREAM, REGNO) \
1114  mmix_asm_output_reg_pop (STREAM, REGNO)
1115
1116
1117 /* Node: Dispatch Tables */
1118
1119 /* We define both types, since SImode is the better, but DImode the only
1120    possible for mmixal so that's the one actually used.  */
1121 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \
1122  mmix_asm_output_addr_diff_elt (STREAM, BODY, VALUE, REL)
1123
1124 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \
1125  mmix_asm_output_addr_vec_elt (STREAM, VALUE)
1126
1127
1128 /* Node: Exception Region Output */
1129 /* (empty) */
1130
1131 /* Node: Alignment Output */
1132
1133 #define ASM_OUTPUT_SKIP(STREAM, NBYTES) \
1134  mmix_asm_output_skip (STREAM, NBYTES)
1135
1136 #define ASM_OUTPUT_ALIGN(STREAM, POWER) \
1137  mmix_asm_output_align (STREAM, POWER)
1138
1139
1140 /* Node: All Debuggers */
1141
1142 #define DBX_REGISTER_NUMBER(REGNO) \
1143  mmix_dbx_register_number (REGNO)
1144
1145
1146 /* Node: DBX Options */
1147 /* (empty) */
1148 /* Node: DBX Hooks */
1149 /* (empty) */
1150 /* Node: File Names and DBX */
1151 /* (empty) */
1152
1153
1154 /* Node: SDB and DWARF */
1155 #define DWARF2_DEBUGGING_INFO
1156 #define DWARF2_ASM_LINE_DEBUG_INFO 1
1157
1158 /* Node: Cross-compilation */
1159
1160 /* FIXME: I don't know whether it is best to tweak emit-rtl.c to handle
1161    the case where sizeof (float) == word_size / 2 on the target, or to fix
1162    real.h to define REAL_ARITHMETIC in that case.  Anyway, it should be
1163    documented that a target can define this to force emulation.  Note that
1164    we don't check #ifdef CROSS_COMPILE here; not even if mmix gets
1165    self-hosted must we do that.  Case gcc.c-torture/compile/930611-1.c.  */
1166 #define REAL_ARITHMETIC
1167
1168
1169 /* Node: Misc */
1170
1171 #define PREDICATE_CODES                         \
1172  {"mmix_reg_cc_operand", {SUBREG, REG}},        \
1173  {"mmix_foldable_comparison_operator",          \
1174   {NE, EQ, GE, GT, LE, LT}},                    \
1175  /* All '<', actually.  */                      \
1176  {"mmix_comparison_operator",                   \
1177   {NE, EQ, GE, GT, LE, LT, GEU, GTU, LEU,       \
1178    LTU, UNORDERED, ORDERED, UNEQ, UNGE, UNLE,   \
1179    UNLT, LTGT}},                                \
1180  {"mmix_symbolic_or_address_operand",           \
1181   {SYMBOL_REF, LABEL_REF, CONST,                \
1182    SUBREG, REG, PLUS}},                         \
1183  {"mmix_reg_or_constant_operand",               \
1184   {CONST_INT, CONST_DOUBLE, SUBREG, REG}},      \
1185  {"mmix_reg_or_8bit_or_256_operand",            \
1186   {CONST_INT, CONST_DOUBLE, SUBREG, REG}},      \
1187  {"mmix_reg_or_8bit_operand",                   \
1188   {CONST_INT, CONST_DOUBLE, SUBREG, REG}},      \
1189  {"mmix_reg_or_0_operand",                      \
1190   {CONST_INT, CONST_DOUBLE, SUBREG, REG}},
1191
1192 #define SPECIAL_MODE_PREDICATES "mmix_symbolic_or_address_operand",
1193
1194 /* There's no way to get a PC-relative offset into tables for SImode, so
1195    for the moment we have absolute entries in DImode.
1196    When we're going ELF, these should be SImode and 1.  */
1197 #define CASE_VECTOR_MODE DImode
1198 #define CASE_VECTOR_PC_RELATIVE 0
1199
1200 #define WORD_REGISTER_OPERATIONS
1201
1202 /* We have a choice, which makes this yet another parameter to tweak.  The
1203    gut feeling is currently that SIGN_EXTEND wins; "int" is more frequent
1204    than "unsigned int", and we have signed characters.  FIXME: measure.  */
1205 #define LOAD_EXTEND_OP(MODE) (TARGET_ZERO_EXTEND ? ZERO_EXTEND : SIGN_EXTEND)
1206
1207 #define MOVE_MAX 8
1208
1209 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1210
1211 /* We have a choice here too.  */
1212 #if 0
1213 /* FIXME:  Revisit, we don't have scc expanders yet.  */
1214 #define STORE_FLAG_VALUE 1
1215 #endif
1216
1217 #define Pmode DImode
1218
1219 #define FUNCTION_MODE QImode
1220
1221 /* When in due time we *will* have some specific headers.  */
1222 #define NO_IMPLICIT_EXTERN_C
1223
1224 #define HANDLE_SYSV_PRAGMA
1225
1226 /* These are checked.  */
1227 #define DOLLARS_IN_IDENTIFIERS 0
1228 #define NO_DOLLAR_IN_LABEL
1229 #define NO_DOT_IN_LABEL
1230
1231 #endif /* GCC_MMIX_H */
1232 /*
1233  * Local variables:
1234  * eval: (c-set-style "gnu")
1235  * indent-tabs-mode: t
1236  * End:
1237  */