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