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