OSDN Git Service

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