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