OSDN Git Service

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