gcc/config/mmix/mmix.h

   1 /* Definitions of target machine for GNU compiler, for MMIX.
   2    Copyright (C) 2000, 2001, 2002, 2004, 2005, 2007, 2008, 2009, 2010, 2011,
   3    2012 Free Software Foundation, Inc.
   4    Contributed by Hans-Peter Nilsson (hp@bitrange.com)
   5
   6 This file is part of GCC.
   7
   8 GCC is free software; you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 3, or (at your option)
  11 any later version.
  12
  13 GCC is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC; see the file COPYING3.  If not see
  20 <http://www.gnu.org/licenses/>.  */
  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 #define MMIX_FUNCTION_ARG_SIZE(MODE, TYPE) \
  76  ((MODE) != BLKmode ? GET_MODE_SIZE (MODE) : int_size_in_bytes (TYPE))
  77
  78 /* Per-function machine data.  This is normally an opaque type just
  79    defined and used in the tm.c file, but we need to see the definition in
  80    mmix.md too.  */
  81 struct GTY(()) machine_function
  82  {
  83    int has_landing_pad;
  84    int highest_saved_stack_register;
  85    int in_prologue;
  86  };
  87
  88 /* For these target macros, there is no generic documentation here.  You
  89    should read `Using and Porting GCC' for that.  Only comments specific
  90    to the MMIX target are here.
  91
  92    There are however references to the specific texinfo node (comments
  93    with "Node:"), so there should be little or nothing amiss.  Probably
  94    the opposite, since we don't have to care about old littering and
  95    soon outdated generic comments.  */
  96
  97 /* Node: Driver */
  98
  99 /* User symbols are in the same name-space as built-in symbols, but we
 100    don't need the built-in symbols, so remove those and instead apply
 101    stricter operand checking.  Don't warn when expanding insns.  */
 102 #define ASM_SPEC "-no-predefined-syms -x"
 103
 104 /* Pass on -mset-program-start=N and -mset-data-start=M to the linker.
 105    Provide default program start 0x100 unless -mno-set-program-start.
 106    Don't do this if linking relocatably, with -r.  For a final link,
 107    produce mmo, unless ELF is requested or when linking relocatably.  */
 108 #define LINK_SPEC \
 109  "%{mset-program-start=*:--defsym __.MMIX.start..text=%*}\
 110   %{mset-data-start=*:--defsym __.MMIX.start..data=%*}\
 111   %{!mset-program-start=*:\
 112     %{!mno-set-program-start:\
 113      %{!r:--defsym __.MMIX.start..text=0x100}}}\
 114   %{!melf:%{!r:-m mmo}}%{melf|r:-m elf64mmix}"
 115
 116 /* FIXME: There's no provision for profiling here.  */
 117 #define STARTFILE_SPEC  \
 118   "crti%O%s crtbegin%O%s"
 119
 120 #define ENDFILE_SPEC "crtend%O%s crtn%O%s"
 121
 122 /* Node: Run-time Target */
 123
 124 /* Define __LONG_MAX__, since we're advised not to change glimits.h.  */
 125 #define TARGET_CPU_CPP_BUILTINS()                               \
 126   do                                                            \
 127     {                                                           \
 128       builtin_define ("__mmix__");                              \
 129       builtin_define ("__MMIX__");                              \
 130       if (TARGET_ABI_GNU)                                       \
 131         builtin_define ("__MMIX_ABI_GNU__");                    \
 132       else                                                      \
 133         builtin_define ("__MMIX_ABI_MMIXWARE__");               \
 134     }                                                           \
 135   while (0)
 136
 137 #define TARGET_DEFAULT \
 138  (MASK_BRANCH_PREDICT | MASK_BASE_ADDRESSES | MASK_USE_RETURN_INSN)
 139
 140
 141 /* Node: Per-Function Data */
 142 #define INIT_EXPANDERS mmix_init_expanders ()
 143
 144
 145 /* Node: Storage Layout */
 146 /* I see no bit-field instructions.  Anyway, the common order is from low
 147    to high, as the power of two, hence little-endian.  */
 148 #define BITS_BIG_ENDIAN 0
 149 #define BYTES_BIG_ENDIAN 1
 150 #define WORDS_BIG_ENDIAN 1
 151 #define FLOAT_WORDS_BIG_ENDIAN 1
 152 #define UNITS_PER_WORD 8
 153
 154 /* We need to align everything to 64 bits that can affect the alignment
 155    of other types.  Since address N is interpreted in MMIX as (N modulo
 156    access_size), we must align.  */
 157 #define PARM_BOUNDARY 64
 158 #define STACK_BOUNDARY 64
 159 #define FUNCTION_BOUNDARY 32
 160 #define BIGGEST_ALIGNMENT 64
 161
 162 /* This one is only used in the ADA front end.  */
 163 #define MINIMUM_ATOMIC_ALIGNMENT 8
 164
 165 /* Copied from elfos.h.  */
 166 #define MAX_OFILE_ALIGNMENT (32768 * 8)
 167
 168 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN) \
 169  mmix_data_alignment (TYPE, BASIC_ALIGN)
 170
 171 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN) \
 172  mmix_constant_alignment (CONSTANT, BASIC_ALIGN)
 173
 174 #define LOCAL_ALIGNMENT(TYPE, BASIC_ALIGN) \
 175  mmix_local_alignment (TYPE, BASIC_ALIGN)
 176
 177 /* Following other ports, this seems to most commonly be the word-size,
 178    so let's do that here too.  */
 179 #define EMPTY_FIELD_BOUNDARY 64
 180
 181 /* We chose to have this low solely for similarity with the alpha.  It has
 182    nothing to do with passing the tests dg/c99-scope-2 and
 183    execute/align-1.c.  Nothing.  Though the tests seem wrong.  Padding of
 184    the structure is automatically added to get alignment when needed if we
 185    set this to just byte-boundary.  */
 186 #define STRUCTURE_SIZE_BOUNDARY 8
 187
 188 /* The lower bits are ignored.  */
 189 #define STRICT_ALIGNMENT 1
 190
 191
 192 /* Node: Type Layout */
 193
 194 /* It might seem more natural to have 64-bit ints on a 64-bit machine,
 195    but then an occasional MMIX programmer needs to know how to put a lot
 196    of __attribute__ stuff to get to the 8, 16 and 32-bit modes rather
 197    than the "intuitive" char, short and int types.  */
 198 #define INT_TYPE_SIZE 32
 199 #define SHORT_TYPE_SIZE 16
 200 #define LONG_LONG_TYPE_SIZE 64
 201
 202 #define FLOAT_TYPE_SIZE 32
 203 #define DOUBLE_TYPE_SIZE 64
 204 #define LONG_DOUBLE_TYPE_SIZE 64
 205
 206 #define DEFAULT_SIGNED_CHAR 1
 207
 208
 209 /* Node: Register Basics */
 210 /* We tell GCC about all 256 general registers, and we also include
 211    rD, rE, rH, rJ, rR and rO (in that order) so we can describe what insns
 212    clobber them.  We use a faked register for the argument pointer.  It is
 213    always eliminated towards the frame-pointer or the stack-pointer, never
 214    output in assembly.  Any fixed register would do for this, like $255,
 215    but future debugging is easier when using a separate register.  It
 216    counts as a global register for pseudorandom reasons.  */
 217 #define FIRST_PSEUDO_REGISTER 263
 218
 219 /* We treat general registers with no assigned purpose as fixed.  The
 220    stack pointer, $254, is also fixed.  Register $255 is referred to as a
 221    temporary register in the MMIX papers, and used as such in mmixal, so
 222    it should not be used as a stack pointer.  We set it to fixed, and use
 223    it "manually" at times of despair.  */
 224 #define FIXED_REGISTERS \
 225  { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
 226    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
 227    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 228    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 229    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 230    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 231    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 232    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 233    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 234    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 235    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 236    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 237    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 238    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 239    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 240    1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, \
 241    1, 1, 0, 0, 0, 1, 1 \
 242  }
 243
 244 /* General registers are fixed and therefore "historically" marked
 245    call-used.  (FIXME: This has changed).  Registers $15..$31 are
 246    call-clobbered; we'll put arguments in $16 and up, and we need $15 for
 247    the MMIX register-stack "hole".  */
 248 #define CALL_USED_REGISTERS \
 249  { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, \
 250    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 251    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 252    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 253    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 254    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 255    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 256    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 257    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 258    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 259    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 260    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 261    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 262    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 263    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
 264    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, \
 265    1, 1, 1, 1, 1, 1, 1 \
 266  }
 267
 268 #define INCOMING_REGNO(OUT) mmix_opposite_regno (OUT, 0)
 269
 270 #define OUTGOING_REGNO(IN) mmix_opposite_regno (IN, 1)
 271
 272 /* Defining LOCAL_REGNO is necessary in presence of prologue/epilogue,
 273    else GCC will be confused that those registers aren't saved and
 274    restored.  */
 275 #define LOCAL_REGNO(REGNO) mmix_local_regno (REGNO)
 276
 277 /* Node: Allocation Order */
 278
 279 /* We should allocate registers from 0 to 31 by increasing number, because
 280    I think that's what people expect.  Beyond that, just use
 281    call-clobbered global registers first, then call-clobbered special
 282    registers.  Last, the fixed registers.  */
 283 #define MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER       \
 284  { 0, 1, 2, 3, 4, 5, 6, 7,                      \
 285    8, 9, 10, 11, 12, 13, 14, 15,                \
 286    16, 17, 18, 19, 20, 21, 22, 23,              \
 287    24, 25, 26, 27, 28, 29, 30, 31,              \
 288                                                 \
 289    252, 251, 250, 249, 248, 247,                \
 290                                                 \
 291    253,                                         \
 292                                                 \
 293    258, 260, 259,                               \
 294                                                 \
 295    32, 33, 34, 35, 36, 37, 38, 39,              \
 296    40, 41, 42, 43, 44, 45, 46, 47,              \
 297    48, 49, 50, 51, 52, 53, 54, 55,              \
 298    56, 57, 58, 59, 60, 61, 62, 63,              \
 299    64, 65, 66, 67, 68, 69, 70, 71,              \
 300    72, 73, 74, 75, 76, 77, 78, 79,              \
 301    80, 81, 82, 83, 84, 85, 86, 87,              \
 302    88, 89, 90, 91, 92, 93, 94, 95,              \
 303    96, 97, 98, 99, 100, 101, 102, 103,          \
 304    104, 105, 106, 107, 108, 109, 110, 111,      \
 305    112, 113, 114, 115, 116, 117, 118, 119,      \
 306    120, 121, 122, 123, 124, 125, 126, 127,      \
 307    128, 129, 130, 131, 132, 133, 134, 135,      \
 308    136, 137, 138, 139, 140, 141, 142, 143,      \
 309    144, 145, 146, 147, 148, 149, 150, 151,      \
 310    152, 153, 154, 155, 156, 157, 158, 159,      \
 311    160, 161, 162, 163, 164, 165, 166, 167,      \
 312    168, 169, 170, 171, 172, 173, 174, 175,      \
 313    176, 177, 178, 179, 180, 181, 182, 183,      \
 314    184, 185, 186, 187, 188, 189, 190, 191,      \
 315    192, 193, 194, 195, 196, 197, 198, 199,      \
 316    200, 201, 202, 203, 204, 205, 206, 207,      \
 317    208, 209, 210, 211, 212, 213, 214, 215,      \
 318    216, 217, 218, 219, 220, 221, 222, 223,      \
 319    224, 225, 226, 227, 228, 229, 230, 231,      \
 320    232, 233, 234, 235, 236, 237, 238, 239,      \
 321    240, 241, 242, 243, 244, 245, 246,           \
 322                                                 \
 323    254, 255, 256, 257, 261, 262                 \
 324  }
 325
 326 /* As a convenience, we put this nearby, for ease of comparison.
 327    First, call-clobbered registers in reverse order of assignment as
 328    parameters (also the top ones; not because they're parameters, but
 329    for continuity).
 330
 331    Second, saved registers that go on the register-stack.
 332
 333    Third, special registers rH, rR and rJ.  They should not normally be
 334    allocated, but since they're call-clobbered, it is cheaper to use one
 335    of them than using a call-saved register for a call-clobbered use,
 336    assuming it is referenced a very limited number of times.  Other global
 337    and fixed registers come next; they are never allocated.  */
 338 #define MMIX_GNU_ABI_REG_ALLOC_ORDER            \
 339  { 252, 251, 250, 249, 248, 247, 246,           \
 340    245, 244, 243, 242, 241, 240, 239, 238,      \
 341    237, 236, 235, 234, 233, 232, 231,           \
 342                                                 \
 343    0, 1, 2, 3, 4, 5, 6, 7,                      \
 344    8, 9, 10, 11, 12, 13, 14, 15,                \
 345    16, 17, 18, 19, 20, 21, 22, 23,              \
 346    24, 25, 26, 27, 28, 29, 30, 31,              \
 347                                                 \
 348    253,                                         \
 349                                                 \
 350    258, 260, 259,                               \
 351                                                 \
 352    32, 33, 34, 35, 36, 37, 38, 39,              \
 353    40, 41, 42, 43, 44, 45, 46, 47,              \
 354    48, 49, 50, 51, 52, 53, 54, 55,              \
 355    56, 57, 58, 59, 60, 61, 62, 63,              \
 356    64, 65, 66, 67, 68, 69, 70, 71,              \
 357    72, 73, 74, 75, 76, 77, 78, 79,              \
 358    80, 81, 82, 83, 84, 85, 86, 87,              \
 359    88, 89, 90, 91, 92, 93, 94, 95,              \
 360    96, 97, 98, 99, 100, 101, 102, 103,          \
 361    104, 105, 106, 107, 108, 109, 110, 111,      \
 362    112, 113, 114, 115, 116, 117, 118, 119,      \
 363    120, 121, 122, 123, 124, 125, 126, 127,      \
 364    128, 129, 130, 131, 132, 133, 134, 135,      \
 365    136, 137, 138, 139, 140, 141, 142, 143,      \
 366    144, 145, 146, 147, 148, 149, 150, 151,      \
 367    152, 153, 154, 155, 156, 157, 158, 159,      \
 368    160, 161, 162, 163, 164, 165, 166, 167,      \
 369    168, 169, 170, 171, 172, 173, 174, 175,      \
 370    176, 177, 178, 179, 180, 181, 182, 183,      \
 371    184, 185, 186, 187, 188, 189, 190, 191,      \
 372    192, 193, 194, 195, 196, 197, 198, 199,      \
 373    200, 201, 202, 203, 204, 205, 206, 207,      \
 374    208, 209, 210, 211, 212, 213, 214, 215,      \
 375    216, 217, 218, 219, 220, 221, 222, 223,      \
 376    224, 225, 226, 227, 228, 229, 230,           \
 377                                                 \
 378    254, 255, 256, 257, 261, 262                 \
 379  }
 380
 381 /* The default one.  */
 382 #define REG_ALLOC_ORDER MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER
 383
 384 /* Node: Values in Registers */
 385
 386 #define HARD_REGNO_NREGS(REGNO, MODE)                   \
 387    ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1)         \
 388     / UNITS_PER_WORD)
 389
 390 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
 391
 392 /* Note that no register can really be accessed in single-float mode, so
 393    we *can* say 1 here.  FIXME:  Will TRT happen for single-float, or do
 394    we have to punt to libgcc1.asm?  */
 395 #define MODES_TIEABLE_P(MODE1, MODE2) 1
 396
 397
 398 /* Node: Leaf Functions */
 399 /* (empty) */
 400
 401
 402 /* Node: Register Classes */
 403
 404 enum reg_class
 405  {
 406    NO_REGS, GENERAL_REGS, REMAINDER_REG, HIMULT_REG,
 407    SYSTEM_REGS, ALL_REGS, LIM_REG_CLASSES
 408  };
 409
 410 #define N_REG_CLASSES (int) LIM_REG_CLASSES
 411
 412 #define REG_CLASS_NAMES                                         \
 413  {"NO_REGS", "GENERAL_REGS", "REMAINDER_REG", "HIMULT_REG",     \
 414   "SYSTEM_REGS", "ALL_REGS"}
 415
 416 /* Note that the contents of each item is always 32 bits.  */
 417 #define REG_CLASS_CONTENTS                      \
 418  {{0, 0, 0, 0, 0, 0, 0, 0, 0},                  \
 419   {~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x20},       \
 420   {0, 0, 0, 0, 0, 0, 0, 0, 0x10},               \
 421   {0, 0, 0, 0, 0, 0, 0, 0, 4},                  \
 422   {0, 0, 0, 0, 0, 0, 0, 0, 0x7f},               \
 423   {~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x7f}}
 424
 425 #define REGNO_REG_CLASS(REGNO)                                  \
 426  ((REGNO) <= MMIX_LAST_GENERAL_REGISTER                         \
 427   || (REGNO) == MMIX_ARG_POINTER_REGNUM                         \
 428   ? GENERAL_REGS                                                \
 429   : (REGNO) == MMIX_REMAINDER_REGNUM ? REMAINDER_REG            \
 430   : (REGNO) == MMIX_HIMULT_REGNUM ? HIMULT_REG : SYSTEM_REGS)
 431
 432 #define BASE_REG_CLASS GENERAL_REGS
 433
 434 #define INDEX_REG_CLASS GENERAL_REGS
 435
 436 #define REGNO_OK_FOR_BASE_P(REGNO)                              \
 437  ((REGNO) <= MMIX_LAST_GENERAL_REGISTER                         \
 438   || (REGNO) == MMIX_ARG_POINTER_REGNUM                         \
 439   || (reg_renumber[REGNO] > 0                                   \
 440       && reg_renumber[REGNO] <= MMIX_LAST_GENERAL_REGISTER))
 441
 442 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P (REGNO)
 443
 444 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, X) \
 445  mmix_secondary_reload_class (CLASS, MODE, X, 1)
 446
 447 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS, MODE, X) \
 448  mmix_secondary_reload_class (CLASS, MODE, X, 0)
 449
 450 #define CLASS_MAX_NREGS(CLASS, MODE) HARD_REGNO_NREGS (CLASS, MODE)
 451
 452
 453 /* Node: Frame Layout */
 454
 455 #define STACK_GROWS_DOWNWARD
 456 #define FRAME_GROWS_DOWNWARD 1
 457
 458 #define STARTING_FRAME_OFFSET \
 459   mmix_starting_frame_offset ()
 460
 461 #define FIRST_PARM_OFFSET(FUNDECL) 0
 462
 463 #define DYNAMIC_CHAIN_ADDRESS(FRAMEADDR) \
 464  mmix_dynamic_chain_address (FRAMEADDR)
 465
 466 /* FIXME: It seems RETURN_ADDR_OFFSET is undocumented.  */
 467
 468 #define SETUP_FRAME_ADDRESSES() \
 469  mmix_setup_frame_addresses ()
 470
 471 #define RETURN_ADDR_RTX(COUNT, FRAME)           \
 472  mmix_return_addr_rtx (COUNT, FRAME)
 473
 474 /* It's in rJ before we store it somewhere.  */
 475 #define INCOMING_RETURN_ADDR_RTX \
 476  gen_rtx_REG (Pmode, MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
 477
 478 /* FIXME: This does not seem properly documented or cross-indexed.
 479    Nowhere except in the code does it say it *has* to be in the range
 480    0..255, or else it will be truncated.  That goes for the default too.  */
 481 #define DWARF_FRAME_RETURN_COLUMN \
 482  DWARF_FRAME_REGNUM (MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
 483
 484 /* No return address is stored there.  */
 485 #define INCOMING_FRAME_SP_OFFSET 0
 486
 487 /* Node: Stack Checking */
 488 /* (empty) */
 489
 490
 491 /* Node: Exception Handling */
 492
 493 #define EH_RETURN_DATA_REGNO(N) \
 494  mmix_eh_return_data_regno (N)
 495
 496 #define EH_RETURN_STACKADJ_RTX \
 497  mmix_eh_return_stackadj_rtx ()
 498
 499 #define EH_RETURN_HANDLER_RTX \
 500  mmix_eh_return_handler_rtx ()
 501
 502 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE, GLOBAL) \
 503  mmix_asm_preferred_eh_data_format (CODE, GLOBAL)
 504
 505 /* Node: Frame Registers */
 506 #define STACK_POINTER_REGNUM MMIX_STACK_POINTER_REGNUM
 507
 508 /* Perhaps we can use HARD_FRAME_POINTER_REGNUM and decide later on
 509    what register we want to use.  */
 510 #define FRAME_POINTER_REGNUM MMIX_FRAME_POINTER_REGNUM
 511 #define ARG_POINTER_REGNUM MMIX_ARG_POINTER_REGNUM
 512
 513 #define STATIC_CHAIN_REGNUM MMIX_STATIC_CHAIN_REGNUM
 514
 515
 516 /* Node: Elimination */
 517
 518 /* The frame-pointer is stored in a location that either counts to the
 519    offset of incoming parameters, or that counts to the offset of the
 520    frame, so we can't use a single offset.  We therefore eliminate those
 521    two separately.  */
 522 #define ELIMINABLE_REGS                         \
 523  {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM},   \
 524   {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM},   \
 525   {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
 526
 527 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
 528  (OFFSET) = mmix_initial_elimination_offset (FROM, TO)
 529
 530
 531 /* Node: Stack Arguments */
 532
 533 #define ACCUMULATE_OUTGOING_ARGS 1
 534
 535
 536 /* Node: Register Arguments */
 537
 538 typedef struct { int regs; int lib; } CUMULATIVE_ARGS;
 539
 540 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT, N_NAMED_ARGS) \
 541  ((CUM).regs = 0, (CUM).lib = ((LIBNAME) != 0))
 542
 543 #define FUNCTION_ARG_REGNO_P(REGNO)             \
 544  mmix_function_arg_regno_p (REGNO, 0)
 545
 546
 547 /* Node: Caller Saves */
 548 /* (empty) */
 549
 550
 551 /* Node: Function Entry */
 552
 553 /* See mmix.c for TARGET_ASM_FUNCTION_PROLOGUE and
 554    TARGET_ASM_FUNCTION_EPILOGUE.  */
 555
 556 /* We need to say that the epilogue uses the return address, so the
 557    initial-value machinery restores it.  FIXME: Some targets
 558    conditionalize on "reload_completed &&".  Investigate difference.
 559    FIXME: Not needed if nonlocal_goto_stack_level.  */
 560 #define EPILOGUE_USES(REGNO) \
 561  ((REGNO) == MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
 562
 563 /* Node: Profiling */
 564 #define FUNCTION_PROFILER(FILE, LABELNO)        \
 565  mmix_function_profiler (FILE, LABELNO)
 566
 567 /* Node: Trampolines */
 568
 569 #define TRAMPOLINE_SIZE         (4*UNITS_PER_WORD)
 570 #define TRAMPOLINE_ALIGNMENT    BITS_PER_WORD
 571
 572 /* Node: Addressing Modes */
 573
 574 #define CONSTANT_ADDRESS_P(X) \
 575  mmix_constant_address_p (X)
 576
 577 #define MAX_REGS_PER_ADDRESS 2
 578
 579
 580 /* Node: Condition Code */
 581
 582 #define SELECT_CC_MODE(OP, X, Y)                \
 583  mmix_select_cc_mode (OP, X, Y)
 584
 585 /* A definition of CANONICALIZE_COMPARISON that changed LE and GT
 586    comparisons with -1 to LT and GE respectively, and LT, LTU, GE or GEU
 587    comparisons with 256 to 255 and LE, LEU, GT and GTU has been
 588    ineffective; the code path for performing the changes did not trig for
 589    neither the GCC testsuite nor ghostscript-6.52 nor Knuth's mmix.tar.gz
 590    itself (core GCC functionality supposedly handling it) with sources
 591    from 2002-06-06.  */
 592
 593 #define REVERSIBLE_CC_MODE(MODE)                \
 594  mmix_reversible_cc_mode (MODE)
 595
 596
 597 /* Node: Costs */
 598
 599 #define SLOW_BYTE_ACCESS 0
 600
 601
 602 /* Node: Sections */
 603
 604 /* This must be a constant string, since it's used in crtstuff.c.  */
 605 #define TEXT_SECTION_ASM_OP \
 606  "\t.text ! mmixal:= 9H LOC 8B"
 607
 608 /* FIXME: Not documented.  */
 609 #define DATA_SECTION_ASM_OP \
 610  mmix_data_section_asm_op ()
 611
 612 #define READONLY_DATA_SECTION_ASM_OP    "\t.section\t.rodata"
 613
 614 /* Node: PIC */
 615 /* (empty) */
 616
 617
 618 /* Node: File Framework */
 619
 620 /* While any other punctuation character but ";" would do, we prefer "%"
 621    or "!"; "!" is an unary operator and so will not be mistakenly included
 622    in correctly formed expressions.  The hash character adds mass; catches
 623    the eye.  We can't have it as a comment char by itself, since it's a
 624    hex-number prefix.  */
 625 #define ASM_COMMENT_START "!#"
 626
 627 /* These aren't currently functional.  We just keep them as markers.  */
 628 #define ASM_APP_ON "%APP\n"
 629 #define ASM_APP_OFF "%NO_APP\n"
 630
 631 #define OUTPUT_QUOTED_STRING(STREAM, STRING) \
 632  mmix_output_quoted_string (STREAM, STRING, strlen (STRING))
 633
 634 #define TARGET_ASM_NAMED_SECTION default_elf_asm_named_section
 635
 636 /* Node: Data Output */
 637
 638 #define ASM_OUTPUT_ASCII(STREAM, PTR, LEN) \
 639  mmix_asm_output_ascii (STREAM, PTR, LEN)
 640
 641 /* Node: Uninitialized Data */
 642
 643 #define ASM_OUTPUT_ALIGNED_COMMON(ST, N, S, A) \
 644  mmix_asm_output_aligned_common (ST, N, S, A)
 645
 646 #define ASM_OUTPUT_ALIGNED_LOCAL(ST, N, S, A) \
 647  mmix_asm_output_aligned_local (ST, N, S, A)
 648
 649
 650 /* Node: Label Output */
 651
 652 #define ASM_OUTPUT_LABEL(STREAM, NAME) \
 653  mmix_asm_output_label (STREAM, NAME)
 654
 655 #define ASM_OUTPUT_INTERNAL_LABEL(STREAM, NAME) \
 656  mmix_asm_output_internal_label (STREAM, NAME)
 657
 658 #define ASM_DECLARE_REGISTER_GLOBAL(STREAM, DECL, REGNO, NAME) \
 659  mmix_asm_declare_register_global (STREAM, DECL, REGNO, NAME)
 660
 661 #define GLOBAL_ASM_OP "\t.global "
 662
 663 #define ASM_WEAKEN_LABEL(STREAM, NAME) \
 664  mmix_asm_weaken_label (STREAM, NAME)
 665
 666 #define MAKE_DECL_ONE_ONLY(DECL) \
 667  mmix_make_decl_one_only (DECL)
 668
 669 #define ASM_OUTPUT_LABELREF(STREAM, NAME) \
 670  mmix_asm_output_labelref (STREAM, NAME)
 671
 672 /* We insert a ":" to disambiguate against user symbols like L5.  */
 673 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
 674  sprintf (LABEL, "*%s:%ld", PREFIX, (long)(NUM))
 675
 676 /* Insert "::"; these are rarer than internal labels.  FIXME: Make sure no
 677    ":" is seen in the object file; we don't really want that mmixal
 678    feature visible there.  We don't want the default, which uses a dot;
 679    that'd be incompatible with mmixal.  */
 680 #define ASM_PN_FORMAT "%s::%lu"
 681
 682 #define ASM_OUTPUT_DEF(STREAM, NAME, VALUE) \
 683  mmix_asm_output_def (STREAM, NAME, VALUE)
 684
 685 /* Node: Macros for Initialization */
 686 /* We're compiling to ELF and linking to MMO; fundamental ELF features
 687    that GCC depend on are there.  */
 688
 689 /* These must be constant strings, since they're used in crtstuff.c.  */
 690 #define INIT_SECTION_ASM_OP "\t.section .init,\"ax\" ! mmixal-incompatible"
 691
 692 #define FINI_SECTION_ASM_OP "\t.section .fini,\"ax\" ! mmixal-incompatible"
 693
 694 #define OBJECT_FORMAT_ELF
 695
 696
 697 /* Node: Instruction Output */
 698
 699 /* The non-$ register names must be prefixed with ":", since they're
 700    affected by PREFIX.  We provide the non-colon names as additional
 701    names.  */
 702 #define REGISTER_NAMES                                                  \
 703  {"$0", "$1", "$2", "$3", "$4", "$5", "$6", "$7",                       \
 704   "$8", "$9", "$10", "$11", "$12", "$13", "$14", "$15",                 \
 705   "$16", "$17", "$18", "$19", "$20", "$21", "$22", "$23",               \
 706   "$24", "$25", "$26", "$27", "$28", "$29", "$30", "$31",               \
 707   "$32", "$33", "$34", "$35", "$36", "$37", "$38", "$39",               \
 708   "$40", "$41", "$42", "$43", "$44", "$45", "$46", "$47",               \
 709   "$48", "$49", "$50", "$51", "$52", "$53", "$54", "$55",               \
 710   "$56", "$57", "$58", "$59", "$60", "$61", "$62", "$63",               \
 711   "$64", "$65", "$66", "$67", "$68", "$69", "$70", "$71",               \
 712   "$72", "$73", "$74", "$75", "$76", "$77", "$78", "$79",               \
 713   "$80", "$81", "$82", "$83", "$84", "$85", "$86", "$87",               \
 714   "$88", "$89", "$90", "$91", "$92", "$93", "$94", "$95",               \
 715   "$96", "$97", "$98", "$99", "$100", "$101", "$102", "$103",           \
 716   "$104", "$105", "$106", "$107", "$108", "$109", "$110", "$111",       \
 717   "$112", "$113", "$114", "$115", "$116", "$117", "$118", "$119",       \
 718   "$120", "$121", "$122", "$123", "$124", "$125", "$126", "$127",       \
 719   "$128", "$129", "$130", "$131", "$132", "$133", "$134", "$135",       \
 720   "$136", "$137", "$138", "$139", "$140", "$141", "$142", "$143",       \
 721   "$144", "$145", "$146", "$147", "$148", "$149", "$150", "$151",       \
 722   "$152", "$153", "$154", "$155", "$156", "$157", "$158", "$159",       \
 723   "$160", "$161", "$162", "$163", "$164", "$165", "$166", "$167",       \
 724   "$168", "$169", "$170", "$171", "$172", "$173", "$174", "$175",       \
 725   "$176", "$177", "$178", "$179", "$180", "$181", "$182", "$183",       \
 726   "$184", "$185", "$186", "$187", "$188", "$189", "$190", "$191",       \
 727   "$192", "$193", "$194", "$195", "$196", "$197", "$198", "$199",       \
 728   "$200", "$201", "$202", "$203", "$204", "$205", "$206", "$207",       \
 729   "$208", "$209", "$210", "$211", "$212", "$213", "$214", "$215",       \
 730   "$216", "$217", "$218", "$219", "$220", "$221", "$222", "$223",       \
 731   "$224", "$225", "$226", "$227", "$228", "$229", "$230", "$231",       \
 732   "$232", "$233", "$234", "$235", "$236", "$237", "$238", "$239",       \
 733   "$240", "$241", "$242", "$243", "$244", "$245", "$246", "$247",       \
 734   "$248", "$249", "$250", "$251", "$252", "$253", "$254", "$255",       \
 735   ":rD",  ":rE",  ":rH",  ":rJ",  ":rR",  "ap_!BAD!", ":rO"}
 736
 737 #define ADDITIONAL_REGISTER_NAMES                       \
 738  {{"sp", 254}, {":sp", 254}, {"rD", 256}, {"rE", 257},  \
 739   {"rH", 258}, {"rJ", MMIX_rJ_REGNUM}, {"rO", MMIX_rO_REGNUM}}
 740
 741 #define ASM_OUTPUT_REG_PUSH(STREAM, REGNO) \
 742  mmix_asm_output_reg_push (STREAM, REGNO)
 743
 744 #define ASM_OUTPUT_REG_POP(STREAM, REGNO) \
 745  mmix_asm_output_reg_pop (STREAM, REGNO)
 746
 747
 748 /* Node: Dispatch Tables */
 749
 750 /* We define both types, since SImode is the better, but DImode the only
 751    possible for mmixal so that's the one actually used.  */
 752 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \
 753  mmix_asm_output_addr_diff_elt (STREAM, BODY, VALUE, REL)
 754
 755 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \
 756  mmix_asm_output_addr_vec_elt (STREAM, VALUE)
 757
 758
 759 /* Node: Exception Region Output */
 760 /* (empty) */
 761
 762 /* Node: Alignment Output */
 763
 764 #define ASM_OUTPUT_SKIP(STREAM, NBYTES) \
 765  mmix_asm_output_skip (STREAM, NBYTES)
 766
 767 #define ASM_OUTPUT_ALIGN(STREAM, POWER) \
 768  mmix_asm_output_align (STREAM, POWER)
 769
 770
 771 /* Node: All Debuggers */
 772
 773 #define DBX_REGISTER_NUMBER(REGNO) \
 774  mmix_dbx_register_number (REGNO)
 775
 776
 777 /* Node: DBX Options */
 778 /* (empty) */
 779 /* Node: DBX Hooks */
 780 /* (empty) */
 781 /* Node: File Names and DBX */
 782 /* (empty) */
 783
 784
 785 /* Node: SDB and DWARF */
 786 #define DWARF2_DEBUGGING_INFO 1
 787 #define DWARF2_ASM_LINE_DEBUG_INFO 1
 788
 789 /* Node: Misc */
 790
 791 /* There's no way to get a PC-relative offset into tables for SImode, so
 792    for the moment we have absolute entries in DImode.
 793    When we're going ELF, these should be SImode and 1.  */
 794 #define CASE_VECTOR_MODE DImode
 795 #define CASE_VECTOR_PC_RELATIVE 0
 796
 797 #define WORD_REGISTER_OPERATIONS
 798
 799 /* We have a choice, which makes this yet another parameter to tweak.  The
 800    gut feeling is currently that SIGN_EXTEND wins; "int" is more frequent
 801    than "unsigned int", and we have signed characters.  FIXME: measure.  */
 802 #define LOAD_EXTEND_OP(MODE) (TARGET_ZERO_EXTEND ? ZERO_EXTEND : SIGN_EXTEND)
 803
 804 #define MOVE_MAX 8
 805
 806 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
 807
 808 /* ??? MMIX allows a choice of STORE_FLAG_VALUE.  Revisit later,
 809    we don't have scc expanders yet.  */
 810
 811 #define Pmode DImode
 812
 813 #define FUNCTION_MODE QImode
 814
 815 #define NO_IMPLICIT_EXTERN_C
 816
 817 /* These are checked.  */
 818 #define DOLLARS_IN_IDENTIFIERS 0
 819 #define NO_DOLLAR_IN_LABEL
 820 #define NO_DOT_IN_LABEL
 821
 822 #endif /* GCC_MMIX_H */
 823 /*
 824  * Local variables:
 825  * eval: (c-set-style "gnu")
 826  * indent-tabs-mode: t
 827  * End:
 828  */