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