gcc/config/mmix/mmix.h

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