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