]> gcc.gnu.org Git - gcc.git/blob - gcc/config/clipper/clipper.h
1f66de9401b1b9d8b900d4d7fa6ef3e1092ca53d
[gcc.git] / gcc / config / clipper / clipper.h
1 /* Definitions of target machine for GNU compiler. Clipper version.
2 Copyright (C) 1987, 1988, 1991, 1993, 1994 Free Software Foundation, Inc.
3 Contributed by Holger Teutsch (holger@hotbso.rhein-main.de)
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, 675 Mass Ave, Cambridge, MA 02139, USA. */
20
21 extern struct rtx_def *clipper_builtin_saveregs ();
22 extern int clipper_frame_size ();
23
24 /* Print subsidiary information on the compiler version in use. */
25
26 #define TARGET_VERSION fprintf (stderr, " (clipper)");
27
28 /* Run-time compilation parameters selecting different hardware subsets. */
29
30 extern int target_flags;
31
32 /* Macros used in the machine description to test the flags. */
33
34 /* Macro to define tables used to set the flags.
35 This is a list in braces of pairs in braces,
36 each pair being { "NAME", VALUE }
37 where VALUE is the bits to set or minus the bits to clear.
38 An empty string NAME is used to identify the default VALUE. */
39
40 #define TARGET_SWITCHES \
41 { { "c400", 1 }, \
42 { "c300", -1 }, \
43 { "", TARGET_DEFAULT} }
44
45 #define TARGET_C400 1
46 #define TARGET_C300 0
47
48 /* Default target_flags if no switches specified. */
49
50 #ifndef TARGET_DEFAULT
51 #define TARGET_DEFAULT TARGET_C300
52 #endif
53
54 /* Show that we can debug generated code without a frame pointer. */
55 #define CAN_DEBUG_WITHOUT_FP
56 \f
57 /* Target machine storage layout */
58
59 /* Define this if most significant bit is lowest numbered
60 in instructions that operate on numbered bit-fields. */
61
62 #define BITS_BIG_ENDIAN 0
63
64 /* Define this if most significant byte of a word is the lowest numbered. */
65
66 #define BYTES_BIG_ENDIAN 0
67
68 /* Define this if most significant word of a multiword number is the lowest
69 numbered. */
70
71 #define WORDS_BIG_ENDIAN 0
72
73 /* Number of bits in an addressable storage unit */
74 #define BITS_PER_UNIT 8
75
76 /* Width in bits of a "word", which is the contents of a machine register.
77 Note that this is not necessarily the width of data type `int';
78 if using 16-bit ints on a 68000, this would still be 32.
79 But on a machine with 16-bit registers, this would be 16. */
80 #define BITS_PER_WORD 32
81
82 /* Width of a word, in units (bytes). */
83 #define UNITS_PER_WORD 4
84
85 /* Width in bits of a pointer.
86 See also the macro `Pmode' defined below. */
87 #define POINTER_SIZE 32
88
89 /* Allocation boundary (in *bits*) for storing arguments in argument list. */
90 #define PARM_BOUNDARY 32
91
92 /* Largest alignment for stack parameters (if greater than PARM_BOUNDARY). */
93 #define MAX_PARM_BOUNDARY 64
94
95 /* Allocation boundary (in *bits*) for the code of a function. */
96 #define FUNCTION_BOUNDARY 128
97
98 /* Alignment of field after `int : 0' in a structure. */
99 #define EMPTY_FIELD_BOUNDARY 32
100
101 /* Every structure's size must be a multiple of this. */
102 #define STRUCTURE_SIZE_BOUNDARY 8
103
104 /* A bitfield declared as `int' forces `int' alignment for the struct. */
105 #define PCC_BITFIELD_TYPE_MATTERS 1
106
107 /* No data type wants to be aligned rounder than this. */
108 #define BIGGEST_ALIGNMENT 64
109
110 /* No structure field wants to be aligned rounder than this. */
111 #define BIGGEST_FIELD_ALIGNMENT 64
112
113 /* Make strcpy of constants fast. */
114 #define CONSTANT_ALIGNMENT(CODE, TYPEALIGN) \
115 ((TYPEALIGN) < 32 ? 32 : (TYPEALIGN))
116
117 /* Make arrays of chars word-aligned for the same reasons. */
118 #define DATA_ALIGNMENT(TYPE, ALIGN) \
119 (TREE_CODE (TYPE) == ARRAY_TYPE \
120 && TYPE_MODE (TREE_TYPE (TYPE)) == QImode \
121 && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
122
123 /* Set this nonzero if move instructions will actually fail to work
124 when given unaligned data. */
125 #define STRICT_ALIGNMENT 1
126
127 /* Let's keep the stack somewhat aligned. */
128 #define STACK_BOUNDARY 64
129
130 /* Define this macro if it is advisible to hold scalars in registers
131 in a wider mode than that declared by the program. In such cases,
132 the value is constrained to be within the bounds of the declared
133 type, but kept valid in the wider mode. The signedness of the
134 extension may differ from that of the type.
135
136 For Clipper, we always store objects in a full register. */
137
138 #define PROMOTE_MODE(MODE,UNSIGNEDP,TYPE) \
139 if (GET_MODE_CLASS (MODE) == MODE_INT \
140 && GET_MODE_SIZE (MODE) < UNITS_PER_WORD) \
141 { \
142 (UNSIGNEDP) = 0; \
143 (MODE) = SImode; \
144 }
145
146
147 /* Define this if function arguments should also be promoted using the above
148 procedure. */
149
150 /* FIXME: do we loose compatibility to acc if we define this? */
151
152 /* #define PROMOTE_FUNCTION_ARGS */
153
154 /* Likewise, if the function return value is promoted. */
155
156 /* #define PROMOTE_FUNCTION_RETURN */
157
158 \f
159 /* Standard register usage. */
160
161 /* Number of actual hardware registers.
162 The hardware registers are assigned numbers for the compiler
163 from 0 to just below FIRST_PSEUDO_REGISTER.
164 All registers that the compiler knows about must be given numbers,
165 even those that are not normally considered general registers. */
166 #define FIRST_PSEUDO_REGISTER 32
167
168 /* 1 for registers that have pervasive standard uses
169 and are not available for the register allocator.
170 On the clipper, these are the FP and SP . */
171 #define FIXED_REGISTERS \
172 {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1,\
173 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1} /* Default: C300 */
174
175 /* 1 for registers not available across function calls.
176 These must include the FIXED_REGISTERS and also any
177 registers that can be used without being saved.
178 The latter must include the registers where values are returned
179 and the register where structure-value addresses are passed.
180 Aside from that, you can include as many other registers as you like. */
181 #define CALL_USED_REGISTERS \
182 {1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1,\
183 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1} /* default: C300 */
184
185 /* Zero or more C statements that may conditionally modify two
186 variables `fixed_regs' and `call_used_regs' (both of type `char
187 []') after they have been initialized from the two preceding
188 macros. A C400 has additional floating registers f8 -> f15 */
189
190 #define CONDITIONAL_REGISTER_USAGE \
191 if (target_flags & TARGET_C400) \
192 { int i; \
193 for (i = 24; i < 32; i++) fixed_regs[i] = call_used_regs[i] = 0; }
194
195 /* Return number of consecutive hard regs needed starting at reg REGNO
196 to hold something of mode MODE.
197 This is ordinarily the length in words of a value of mode MODE
198 but can be less for certain modes in special long registers.
199 On the clipper, fp registers are 64 bits. */
200
201 #define HARD_REGNO_NREGS(REGNO, MODE) \
202 ((REGNO) >= 16 ? 1 \
203 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
204
205 /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
206 On the clipper 0-15 may hold any mode but DImode and DFmode must be even.
207 Registers 16-31 hold SFmode and DFmode */
208
209 #define HARD_REGNO_MODE_OK(REGNO, MODE) \
210 ((REGNO) < 16 \
211 ? ((MODE) != DImode && (MODE) != DFmode || ((REGNO) & 1) == 0) \
212 : ((MODE) == SFmode || (MODE) == DFmode))
213
214 /* Value is 1 if it is a good idea to tie two pseudo registers
215 when one has mode MODE1 and one has mode MODE2.
216 If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
217 for any hard reg, then this must be 0 for correct output. */
218 #define MODES_TIEABLE_P(MODE1, MODE2) ((MODE1) == (MODE2))
219
220 /* Specify the registers used for certain standard purposes.
221 The values of these macros are register numbers. */
222
223 /* clipper has extra PC */
224 /* #define PC_REGNUM */
225
226 /* Register to use for pushing function arguments. */
227 #define STACK_POINTER_REGNUM 15
228
229 /* Base register for access to local variables of the function. */
230 #define FRAME_POINTER_REGNUM 14
231
232 /* Value should be nonzero if functions must have frame pointers.
233 Zero means the frame pointer need not be set up (and parms
234 may be accessed via the stack pointer) in functions that seem suitable.
235 This is computed in `reload', in reload1.c. */
236 #define FRAME_POINTER_REQUIRED \
237 (! leaf_function_p ())
238
239 /* Base register for access to arguments of the function. */
240 #define ARG_POINTER_REGNUM FRAME_POINTER_REGNUM
241
242 /* Register in which static-chain is passed to a function. */
243 #define STATIC_CHAIN_REGNUM 2
244
245 /* Register in which address to store a structure value
246 is passed to a function. */
247 #define STRUCT_VALUE_REGNUM 0
248 \f
249 /* Define the classes of registers for register constraints in the
250 machine description. Also define ranges of constants.
251
252 One of the classes must always be named ALL_REGS and include all hard regs.
253 If there is more than one class, another class must be named NO_REGS
254 and contain no registers.
255
256 The name GENERAL_REGS must be the name of a class (or an alias for
257 another name such as ALL_REGS). This is the class of registers
258 that is allowed by "g" or "r" in a register constraint.
259 Also, registers outside this class are allocated only when
260 instructions express preferences for them.
261
262 The classes must be numbered in nondecreasing order; that is,
263 a larger-numbered class must never be contained completely
264 in a smaller-numbered class.
265
266 For any two classes, it is very desirable that there be another
267 class that represents their union. */
268
269 /* The clipper has general and FP regs. */
270
271 enum reg_class { NO_REGS, GENERAL_REGS, FLOAT_REGS, ALL_REGS, LIM_REG_CLASSES};
272
273 #define N_REG_CLASSES (int) LIM_REG_CLASSES
274
275 /* Give names of register classes as strings for dump file. */
276
277 #define REG_CLASS_NAMES \
278 {"NO_REGS", "GENERAL_REGS", "FLOAT_REGS", "ALL_REGS" }
279
280 /* Define which registers fit in which classes.
281 This is an initializer for a vector of HARD_REG_SET
282 of length N_REG_CLASSES. */
283
284 #define REG_CLASS_CONTENTS {0, 0x0000ffff, 0xffff0000, 0xffffffff}
285
286 /* The same information, inverted:
287 Return the class number of the smallest class containing
288 reg number REGNO. This could be a conditional expression
289 or could index an array. */
290
291 #define REGNO_REG_CLASS(REGNO) ((REGNO) >= 16 ? FLOAT_REGS : GENERAL_REGS)
292
293 /* The class value for index registers, and the one for base regs. */
294
295 #define INDEX_REG_CLASS GENERAL_REGS
296 #define BASE_REG_CLASS GENERAL_REGS
297
298 /* Get reg_class from a letter such as appears in the machine description. */
299
300 #define REG_CLASS_FROM_LETTER(C) \
301 ((C) == 'r' ? GENERAL_REGS : ((C) == 'f' ? FLOAT_REGS: NO_REGS))
302
303 /* The letters I, J, K, L and M in a register constraint string
304 can be used to stand for particular ranges of immediate operands.
305 This macro defines what the ranges are.
306 C is the letter, and VALUE is a constant value.
307 Return 1 if VALUE is in the range specified by C. */
308
309 #define CONST_OK_FOR_LETTER_P(VALUE, C) 0
310
311 /* Similar, but for floating constants, and defining letters G and H.
312 Here VALUE is the CONST_DOUBLE rtx itself. */
313
314 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) 0
315
316 /* Optional extra constraints for this machine. */
317
318 /* #define EXTRA_CONSTRAINT(OP, C) */
319
320
321 /* Given an rtx X being reloaded into a reg required to be
322 in class CLASS, return the class of reg to actually use.
323 In general this is just CLASS; but on some machines
324 in some cases it is preferable to use a more restrictive class. */
325
326 #define PREFERRED_RELOAD_CLASS(X,CLASS) (CLASS)
327
328 /* Return the maximum number of consecutive registers
329 needed to represent mode MODE in a register of class CLASS. */
330
331 #define CLASS_MAX_NREGS(CLASS, MODE) \
332 ((CLASS) == FLOAT_REGS \
333 ? 1 \
334 : (GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
335 \f
336 /* Stack layout; function entry, exit and calling. */
337
338 /* Define this if pushing a word on the stack
339 makes the stack pointer a smaller address. */
340 #define STACK_GROWS_DOWNWARD
341
342 /* Define this if longjmp restores from saved registers
343 rather than from what setjmp saved. */
344 /* #define LONGJMP_RESTORE_FROM_STACK */
345
346 /* Define this if the nominal address of the stack frame
347 is at the high-address end of the local variables;
348 that is, each additional local variable allocated
349 goes at a more negative offset in the frame. */
350 #define FRAME_GROWS_DOWNWARD
351
352 /* Offset within stack frame to start allocating local variables at.
353 If FRAME_GROWS_DOWNWARD, this is the offset to the END of the
354 first local allocated. Otherwise, it is the offset to the BEGINNING
355 of the first local allocated. */
356 #define STARTING_FRAME_OFFSET 0
357
358 /* Given an rtx for the address of a frame,
359 return an rtx for the address of the word in the frame
360 that holds the dynamic chain--the previous frame's address. */
361 #define DYNAMIC_CHAIN_ADDRESS(frame) (frame)
362
363 /* If we generate an insn to push BYTES bytes,
364 this says how many the stack pointer really advances by. */
365
366 /* #define PUSH_ROUNDING(BYTES) (BYTES) */
367
368 /* Keep the stack pointer constant throughout the function. */
369 /* we can't set this for clipper as library calls may have 3 args and we pass
370 only 2 args in regs. */
371
372 /* #define ACCUMULATE_OUTGOING_ARGS */
373
374
375 /* Offset of first parameter from the argument pointer register value.
376 size of PC + FP */
377
378 #define FIRST_PARM_OFFSET(FNDECL) 8
379
380 /* Value is the number of bytes of arguments automatically
381 popped when returning from a subroutine call.
382 FUNTYPE is the data type of the function (as a tree),
383 or for a library call it is an identifier node for the subroutine name.
384 SIZE is the number of bytes of arguments passed on the stack. */
385
386 #define RETURN_POPS_ARGS(FUNTYPE,SIZE) 0
387
388 /* Define how to find the value returned by a function.
389 VALTYPE is the data type of the value (as a tree).
390 If the precise function being called is known, FUNC is its FUNCTION_DECL;
391 otherwise, FUNC is 0. */
392
393 #define FUNCTION_VALUE(VALTYPE, FUNC) \
394 gen_rtx (REG, TYPE_MODE (VALTYPE), ((TYPE_MODE (VALTYPE) == SFmode ||\
395 TYPE_MODE (VALTYPE) == DFmode) ? \
396 16 : 0))
397
398 /* Define how to find the value returned by a library function
399 assuming the value has mode MODE. */
400
401 #define LIBCALL_VALUE(MODE) \
402 gen_rtx (REG, (MODE), ((MODE) == SFmode || (MODE) == DFmode ? 16 : 0))
403
404
405 /* 1 if N is a possible register number for a function value
406 as seen by the caller. */
407
408 #define FUNCTION_VALUE_REGNO_P(N) ((N) == 0 || (N) == 16)
409
410 /* 1 if N is a possible register number for function argument passing. */
411
412 #define FUNCTION_ARG_REGNO_P(N) \
413 ((N) == 0 || (N) == 1 || (N) == 16 || (N) == 17)
414
415 /* Define this if PCC uses the nonreentrant convention for returning
416 structure and union values. Old Green Hills C-Clipper returns static
417 structs but the newer Apogee compiler passes structs as hidden arg 0.
418 Structs etc are always passed in memory */
419
420 /* #define PCC_STATIC_STRUCT_RETURN */
421
422 \f
423 /* Define a data type for recording info about an argument list
424 during the scan of that argument list. This data type should
425 hold all necessary information about the function itself
426 and about the args processed so far, enough to enable macros
427 such as FUNCTION_ARG to determine where the next arg should go.
428
429 Clipper uses 2 register 'slots' that pass arguments in r0/r1 or f0/f1.
430 An argument that must be passed in memory (struct... ) leaves that slot
431 free.
432 We pass 'long long' only in registers when both slots are free.
433 Returned structs must be allocated by the caller, the address is passed
434 in r0.
435
436 struct ss {..}
437
438 fun (i,j,k) i in r0, j in r1, k on stack
439 fun (s,j,k) s on stack, j in r1, k on stack
440 fun (i,s,k) i in r0, s on stack, k on stack
441 s1 = fun (i,s,k) &s1 in r0, i in r1, s on stack, k on stack
442
443 We must keep enough information for varargs/stdargs.
444
445 _clipper_cum_args is a struct of 2 integers, with
446 num = slots used
447 size = size of all stack args = offset to next arg without alignment
448
449 If we use stdarg.h, size points to the first unnamed arg,
450 see va-clipper.h */
451
452 struct _clipper_cum_args { int num; int size; };
453
454 #define CUMULATIVE_ARGS struct _clipper_cum_args
455
456 /* Initialize a variable CUM of type CUMULATIVE_ARGS
457 for a call to a function whose data type is FNTYPE.
458 For a library call, FNTYPE is 0.
459
460 clipper passes the address of a struct in r0, set num = 1 in this case */
461
462 #define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME) \
463 ((CUM).num = ((FNTYPE) != 0 && aggregate_value_p (TREE_TYPE (FNTYPE))), \
464 (CUM).size = 0)
465
466 /* internal helper : size of an argument */
467
468 #define CLIPPER_ARG_SIZE(MODE, TYPE) \
469 (((MODE) != BLKmode \
470 ? (GET_MODE_SIZE (MODE) + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD \
471 : (int_size_in_bytes (TYPE) + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD) \
472 * UNITS_PER_WORD)
473
474 /* Update the data in CUM to advance over an argument
475 of mode MODE and data type TYPE.
476 (TYPE is null for libcalls where that information may not be available.) */
477
478 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
479 do \
480 { \
481 int reg = 0; \
482 \
483 if ((CUM).num < 2 \
484 && (GET_MODE_CLASS(MODE)==MODE_INT || GET_MODE_CLASS(MODE)==MODE_FLOAT) \
485 && (GET_MODE_SIZE (MODE) <= 8) \
486 && ((TYPE) == NULL || !AGGREGATE_TYPE_P(TYPE)) \
487 && ((MODE) != DImode || (CUM).num == 0)) \
488 { \
489 reg = 1; \
490 if ((MODE) == DImode) \
491 (CUM).num = 1; \
492 } \
493 \
494 (CUM).num++; \
495 \
496 if (! reg) \
497 { \
498 int align = FUNCTION_ARG_BOUNDARY (MODE, TYPE) / BITS_PER_UNIT; \
499 (CUM).size += align - 1; \
500 (CUM).size &= ~(align - 1); \
501 (CUM).size += CLIPPER_ARG_SIZE (MODE, TYPE); \
502 } \
503 } while (0)
504
505 /* Define where to put the arguments to a function.
506 Value is zero to push the argument on the stack,
507 or a hard register in which to store the argument.
508
509 MODE is the argument's machine mode.
510 TYPE is the data type of the argument (as a tree).
511 This is null for libcalls where that information may
512 not be available.
513 CUM is a variable of type CUMULATIVE_ARGS which gives info about
514 the preceding args and about the function being called.
515 NAMED is nonzero if this argument is a named parameter
516 (otherwise it is an extra parameter matching an ellipsis).
517
518 2 args may go into regs. These must be MODE_INT or MODE_FLOAT but only
519 if they really fit into ONE register. The exception is a DImode arg
520 that occupies both register slots. */
521
522 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
523 (((CUM).num < 2 \
524 && (GET_MODE_CLASS(MODE)==MODE_INT || GET_MODE_CLASS(MODE)==MODE_FLOAT) \
525 && (GET_MODE_SIZE (MODE) <= 8) \
526 && ((TYPE) == NULL || !AGGREGATE_TYPE_P(TYPE)) \
527 && ((MODE) != DImode || (CUM).num == 0)) \
528 ? gen_rtx (REG, (MODE), \
529 GET_MODE_CLASS(MODE) == MODE_FLOAT ? (CUM).num+16 : (CUM).num) \
530 : 0)
531
532 /* If defined, a C expression that gives the alignment boundary, in bits,
533 of an argument with the specified mode and type. If it is not defined,
534 `PARM_BOUNDARY' is used for all arguments. */
535
536 #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) \
537 (((TYPE) ? TYPE_ALIGN (TYPE) : GET_MODE_SIZE (MODE)) <= PARM_BOUNDARY \
538 ? PARM_BOUNDARY : 2 * PARM_BOUNDARY)
539
540 /* For an arg passed partly in registers and partly in memory,
541 this is the number of registers used.
542 For args passed entirely in registers or entirely in memory, zero.
543 Clipper never passed args partially in regs/mem. */
544
545 /* #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) 0 */
546
547 /* Generate necessary RTL for __builtin_saveregs().
548 ARGLIST is the argument list; see expr.c. */
549
550 #define EXPAND_BUILTIN_SAVEREGS(ARGLIST) clipper_builtin_saveregs (ARGLIST)
551
552 /* This macro generates the assembly code for function entry.
553 FILE is a stdio stream to output the code to.
554 SIZE is an int: how many units of temporary storage to allocate.
555 Refer to the array `regs_ever_live' to determine which registers
556 to save; `regs_ever_live[I]' is nonzero if register number I
557 is ever used in the function. This macro is responsible for
558 knowing which registers should not be saved even if used. */
559
560 #define FUNCTION_PROLOGUE(FILE, SIZE) output_function_prologue (FILE,SIZE)
561
562 /* Output assembler code to FILE to increment profiler label # LABELNO
563 for profiling a function entry. */
564
565 #define FUNCTION_PROFILER(FILE, LABELNO) /* FIXME */
566
567 /* Output assembler code to FILE to initialize this source file's
568 basic block profiling info, if that has not already been done. */
569
570 #define FUNCTION_BLOCK_PROFILER(FILE, LABELNO) /* FIXME */
571
572 /* Output assembler code to FILE to increment the entry-count for
573 the BLOCKNO'th basic block in this source file. */
574
575 #define BLOCK_PROFILER(FILE, BLOCKNO) /* FIXME */
576
577 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
578 the stack pointer does not matter. The value is tested only in
579 functions that have frame pointers.
580 No definition is equivalent to always zero. */
581
582 #define EXIT_IGNORE_STACK 1
583
584 /* This macro generates the assembly code for function exit,
585 on machines that need it. If FUNCTION_EPILOGUE is not defined
586 then individual return instructions are generated for each
587 return statement. Args are same as for FUNCTION_PROLOGUE. */
588
589 #define FUNCTION_EPILOGUE(FILE, SIZE) output_function_epilogue(FILE,SIZE)
590
591 /* Store in the variable DEPTH the initial difference between the
592 frame pointer reg contents and the stack pointer reg contents,
593 as of the start of the function body. This depends on the layout
594 of the fixed parts of the stack frame and on how registers are saved. */
595
596 #define INITIAL_FRAME_POINTER_OFFSET(DEPTH) \
597 DEPTH = clipper_frame_size (get_frame_size ())
598
599
600 /* Output assembler code for a block containing the constant parts
601 of a trampoline, leaving space for the variable parts. */
602
603 #define TRAMPOLINE_TEMPLATE(FILE) \
604 { \
605 fputs ("\t.word 0x459F,0x0004\t# call sp,.+4\n", FILE); \
606 fputs ("\tmovw (sp),r3\n", FILE); \
607 fputs ("\taddq $4,sp\n", FILE); \
608 fputs ("\tloadw 20(r3),r2\n", FILE); \
609 fputs ("\tloadw 24(r3),r3\n", FILE); \
610 fputs ("\tb (r3)\n", FILE); \
611 fputs ("\t.long 0,0\n", FILE); \
612 }
613
614 /* Length in units of the trampoline for entering a nested function. */
615
616 #define TRAMPOLINE_SIZE 32
617
618 /* Alignment required for a trampoline. 128 is used to find the
619 beginning of a line in the instruction cache and to allow for
620 instruction cache lines of up to 128 bytes. */
621
622 #define TRAMPOLINE_ALIGNMENT 128
623
624 /* Section in which to place the trampoline. */
625
626 #define TRAMPOLINE_SECTION text_section
627
628 /* Emit RTL insns to initialize the variable parts of a trampoline.
629 FNADDR is an RTX for the address of the function's pure code.
630 CXT is an RTX for the static chain value for the function. */
631
632 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
633 { \
634 emit_move_insn (gen_rtx (MEM, SImode, plus_constant (TRAMP, 24)), CXT); \
635 emit_move_insn (gen_rtx (MEM, SImode, plus_constant (TRAMP, 28)), FNADDR); \
636 }
637 \f
638 /* Addressing modes, and classification of registers for them. */
639
640 /* #define HAVE_POST_DECREMENT */
641
642 /* #define HAVE_PRE_INCREMENT */
643
644 /* Macros to check register numbers against specific register classes. */
645
646 /* These assume that REGNO is a hard or pseudo reg number.
647 They give nonzero only if REGNO is a hard reg of the suitable class
648 or a pseudo reg currently allocated to a suitable hard reg.
649 Since they use reg_renumber, they are safe only once reg_renumber
650 has been allocated, which happens in local-alloc.c. */
651
652 #define REGNO_OK_FOR_INDEX_P(regno) \
653 ((regno) < 16 || (unsigned)reg_renumber[regno] < 16)
654 #define REGNO_OK_FOR_BASE_P(regno) \
655 ((regno) < 16 || (unsigned)reg_renumber[regno] < 16)
656 \f
657 /* Maximum number of registers that can appear in a valid memory address. */
658
659 #define MAX_REGS_PER_ADDRESS 2
660
661 /* 1 if X is an rtx for a constant that is a valid address. */
662
663 #define CONSTANT_ADDRESS_P(X) \
664 (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \
665 || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST \
666 || GET_CODE (X) == HIGH)
667
668 /* Nonzero if the constant value X is a legitimate general operand.
669 It is given that X satisfies CONSTANT_P or is a CONST_DOUBLE. */
670
671 #define LEGITIMATE_CONSTANT_P(X) 1
672
673 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
674 and check its validity for a certain class.
675 We have two alternate definitions for each of them.
676 The usual definition accepts all pseudo regs; the other rejects
677 them unless they have been allocated suitable hard regs.
678 The symbol REG_OK_STRICT causes the latter definition to be used.
679
680 Most source files want to accept pseudo regs in the hope that
681 they will get allocated to the class that the insn wants them to be in.
682 Source files for reload pass need to be strict.
683 After reload, it makes no difference, since pseudo regs have
684 been eliminated by then. */
685
686 /* clipper doesn't have true indexing */
687
688 #ifndef REG_OK_STRICT
689
690 /* Nonzero if X is a hard reg that can be used as an index
691 or if it is a pseudo reg. */
692
693 #define REG_OK_FOR_INDEX_P(X) \
694 (REGNO (X) < 16 || REGNO(X) >= FIRST_PSEUDO_REGISTER)
695
696 /* Nonzero if X is a hard reg that can be used as a base reg
697 or if it is a pseudo reg. */
698
699 #define REG_OK_FOR_BASE_P(X) \
700 (REGNO (X) < 16 || REGNO(X) >= FIRST_PSEUDO_REGISTER)
701
702 #else
703
704 /* Nonzero if X is a hard reg that can be used as an index. */
705 #define REG_OK_FOR_INDEX_P(X) (REGNO(X) < 16)
706
707 /* Nonzero if X is a hard reg that can be used as a base reg. */
708 #define REG_OK_FOR_BASE_P(X) (REGNO(X) < 16)
709
710 #endif
711 \f
712 /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
713 that is a valid memory address for an instruction.
714 The MODE argument is the machine mode for the MEM expression
715 that wants to use this address.
716
717 The other macros defined here are used only in GO_IF_LEGITIMATE_ADDRESS,
718 except for CONSTANT_ADDRESS_P which is actually machine-independent. */
719
720 /* Non-zero if X is an address which can be indirected. */
721
722 #define INDIRECTABLE_CONSTANT_ADDRESS_P(X) 0
723
724 #define INDIRECTABLE_ADDRESS_P(X) \
725 (GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X))
726
727 /* Go to ADDR if X is a valid address not using indexing.
728 (This much is the easy part.) */
729
730 #define GO_IF_NONINDEXED_ADDRESS(X, ADDR) \
731 { if (CONSTANT_ADDRESS_P (X)) goto ADDR; \
732 if (INDIRECTABLE_ADDRESS_P (X)) goto ADDR; }
733
734 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
735 { register rtx xfoo = (X); \
736 GO_IF_NONINDEXED_ADDRESS (xfoo, ADDR); \
737 if (GET_CODE (xfoo) == PLUS) \
738 { register rtx xfoo0, xfoo1; \
739 xfoo0 = XEXP (xfoo, 0); \
740 xfoo1 = XEXP (xfoo, 1); \
741 /* handle reg + reg -> [r1](r0) */ \
742 if (INDIRECTABLE_ADDRESS_P (xfoo0) && INDIRECTABLE_ADDRESS_P (xfoo1)) \
743 goto ADDR; \
744 /* Handle <symbol>(reg) -> xxx(r0) */ \
745 if (INDIRECTABLE_ADDRESS_P (xfoo0) && CONSTANT_ADDRESS_P (xfoo1)) \
746 goto ADDR; \
747 if (INDIRECTABLE_ADDRESS_P (xfoo1) && CONSTANT_ADDRESS_P (xfoo0)) \
748 goto ADDR; }}
749
750 \f
751 /* Try machine-dependent ways of modifying an illegitimate address
752 to be legitimate. If we find one, return the new, valid address.
753 This macro is used in only one place: `memory_address' in explow.c.
754
755 OLDX is the address as it was before break_out_memory_refs was called.
756 In some cases it is useful to look at this to decide what needs to be done.
757
758 MODE and WIN are passed so that this macro can use
759 GO_IF_LEGITIMATE_ADDRESS.
760
761 It is always safe for this macro to do nothing. It exists to recognize
762 opportunities to optimize the output.
763
764 For the clipper, nothing needs to be done. */
765
766 #define LEGITIMIZE_ADDRESS(X,OLDX,MODE,WIN) {}
767
768 /* Go to LABEL if ADDR (a legitimate address expression)
769 has an effect that depends on the machine mode it is used for. */
770
771 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL) {}
772
773 \f
774 /* Specify the machine mode that this machine uses
775 for the index in the tablejump instruction. */
776 #define CASE_VECTOR_MODE SImode
777
778 /* Define this if the case instruction expects the table
779 to contain offsets from the address of the table.
780 Do not define this if the table should contain absolute addresses. */
781 /* #define CASE_VECTOR_PC_RELATIVE */
782
783 /* Define this if the case instruction drops through after the table
784 when the index is out of range. Don't define it if the case insn
785 jumps to the default label instead. */
786 /* #define CASE_DROPS_THROUGH */
787
788 /* Define if operations between registers always perform the operation
789 on the full register even if a narrower mode is specified. */
790 #define WORD_REGISTER_OPERATIONS
791
792 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD
793 will either zero-extend or sign-extend. The value of this macro should
794 be the code that says which one of the two operations is implicitly
795 done, NIL if none. */
796 #define LOAD_EXTEND_OP(MODE) SIGN_EXTEND
797
798 /* Specify the tree operation to be used to convert reals to integers. */
799 #define IMPLICIT_FIX_EXPR FIX_ROUND_EXPR
800
801 /* This is the kind of divide that is easiest to do in the general case. */
802 #define EASY_DIV_EXPR TRUNC_DIV_EXPR
803
804 /* Define this as 1 if `char' should by default be signed; else as 0. */
805 #define DEFAULT_SIGNED_CHAR 1
806
807 /* This flag, if defined, says the same insns that convert to a signed fixnum
808 also convert validly to an unsigned one. */
809 #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
810
811 /* Max number of bytes we can move from memory to memory
812 in one reasonably fast instruction. */
813 #define MOVE_MAX 4
814
815 /* MOVE_RATIO is the number of move instructions that is better than a
816 block move. Make this large on clipper, since the block move is very
817 inefficient with small blocks, and the hard register needs of the
818 block move require much reload work. */
819
820 #define MOVE_RATIO 20
821
822 /* Define this if zero-extension is slow (more than one real instruction). */
823 /* #define SLOW_ZERO_EXTEND */
824
825 /* Nonzero if access to memory by bytes is slow and undesirable. */
826 #define SLOW_BYTE_ACCESS 0
827
828 /* Define if shifts truncate the shift count
829 which implies one can omit a sign-extension or zero-extension
830 of a shift count. */
831 /* #define SHIFT_COUNT_TRUNCATED */
832
833 /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits
834 is done just by pretending it is already truncated. */
835 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
836
837 /* Specify the machine mode that pointers have.
838 After generation of rtl, the compiler makes no further distinction
839 between pointers and any other objects of this machine mode. */
840 #define Pmode SImode
841
842 /* A function address in a call instruction
843 is a byte address (for indexing purposes)
844 so give the MEM rtx a byte's mode. */
845 #define FUNCTION_MODE QImode
846
847 /* This machine uses IEEE floats. */
848
849 #define TARGET_FLOAT_FORMAT IEEE_FLOAT_FORMAT
850
851 /* Check a `double' value for validity for a particular machine mode.
852 This is defined to avoid crashes outputting certain constants.
853 Since we output the number in hex, the assembler won't choke on it. */
854 /* #define CHECK_FLOAT_VALUE(MODE,VALUE) */
855
856
857 /* Compute the cost of computing a constant rtl expression RTX
858 whose rtx-code is CODE. The body of this macro is a portion
859 of a switch statement. If the code is computed here,
860 return it with a return statement. Otherwise, break from the switch. */
861
862 /* On a Clipper, constants from 0..15 are cheap because they can use the
863 'quick' mode. */
864
865 #define CONST_COSTS(RTX,CODE,OUTER_CODE) \
866 case CONST_INT: \
867 if (0 <= INTVAL (RTX) && INTVAL(RTX) <= 15 ) return 0; \
868 return 1; \
869 case CONST: \
870 case LABEL_REF: \
871 case SYMBOL_REF: \
872 return 3; \
873 case CONST_DOUBLE: \
874 return 5;
875
876 /* Provide the costs of a rtl expression. This is in the body of a
877 switch on CODE. */
878
879 #define RTX_COSTS(X,CODE,OUTER_CODE) \
880 case MULT: \
881 return COSTS_N_INSNS (4); \
882 case DIV: \
883 case UDIV: \
884 case MOD: \
885 case UMOD: \
886 return COSTS_N_INSNS (40); \
887 case ASHIFT: \
888 case LSHIFTRT: \
889 case ASHIFTRT: \
890 return COSTS_N_INSNS (2); \
891 case SIGN_EXTEND: \
892 return (GET_CODE (XEXP (X,0)) == REG ? COSTS_N_INSNS (3) : 4);
893
894 /* Specify the cost of a branch insn; roughly the number of extra insns that
895 should be added to avoid a branch */
896
897 /* #define BRANCH_COST 0 */
898
899 \f
900 /* Tell final.c how to eliminate redundant test instructions. */
901
902 /* Here we define machine-dependent flags and fields in cc_status
903 (see `conditions.h'). No extra ones are needed for the clipper. */
904
905 /* Store in cc_status the expressions
906 that the condition codes will describe
907 after execution of an instruction whose pattern is EXP.
908 Do not alter them if the instruction would not alter the cc's. */
909
910 #define NOTICE_UPDATE_CC(EXP, INSN) \
911 { \
912 enum attr_cc cc = get_attr_cc (INSN); \
913 rtx dest = SET_DEST (EXP); \
914 switch (cc) \
915 { \
916 case CC_CHANGE0: \
917 if (GET_CODE (EXP) == PARALLEL) abort(); \
918 if (cc_status.value1 && rtx_equal_p (dest, cc_status.value1) || \
919 cc_status.value2 && rtx_equal_p (dest, cc_status.value2)) \
920 CC_STATUS_INIT; \
921 break; \
922 \
923 case CC_SET1: \
924 if (GET_CODE (EXP) == PARALLEL) abort(); \
925 cc_status.flags = 0; \
926 cc_status.value1 = dest; \
927 cc_status.value2 = 0; \
928 break; \
929 \
930 case CC_SET2: \
931 if (GET_CODE (EXP) == PARALLEL) abort(); \
932 cc_status.flags = 0; \
933 cc_status.value1 = dest; \
934 cc_status.value2 = SET_SRC (EXP); \
935 break; \
936 \
937 case CC_UNCHANGED: \
938 break; \
939 \
940 case CC_CLOBBER: \
941 CC_STATUS_INIT; \
942 break; \
943 \
944 default: \
945 abort (); \
946 } \
947 }
948
949 \f
950 /* Control the assembler format that we output. */
951
952 /* Output at beginning of assembler file. */
953
954 #define ASM_FILE_START(FILE) fprintf (FILE, "#NO_APP\n");
955
956 /* Output to assembler file text saying following lines
957 may contain character constants, extra white space, comments, etc. */
958
959 #define ASM_APP_ON "#APP\n"
960
961 /* Output to assembler file text saying following lines
962 no longer contain unusual constructs. */
963
964 #define ASM_APP_OFF "#NO_APP\n"
965
966 /* Output before read-only data. */
967
968 #define TEXT_SECTION_ASM_OP ".text"
969
970 /* Output before writable data. */
971
972 #define DATA_SECTION_ASM_OP ".data"
973
974 /* How to refer to registers in assembler output.
975 This sequence is indexed by compiler's hard-register-number (see above). */
976
977 #define REGISTER_NAMES \
978 {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", \
979 "r9", "r10", "r11", "r12", "r13", "fp", "sp", \
980 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", \
981 "f9", "f10", "f11", "f12", "f13", "f14", "f15" }
982
983 /* How to renumber registers for dbx and gdb.
984 Clipper needs no change in the numeration. */
985
986 #define DBX_REGISTER_NUMBER(REGNO) (REGNO)
987
988
989 /* This is how to output the definition of a user-level label named NAME,
990 such as the label on a static function or variable NAME. */
991
992 #define ASM_OUTPUT_LABEL(FILE,NAME) \
993 do { assemble_name (FILE, NAME); fputs (":\n", FILE); } while (0)
994
995 /* This is how to output a command to make the user-level label named NAME
996 defined for reference from other files. */
997
998 #define ASM_GLOBALIZE_LABEL(FILE,NAME) \
999 do { fputs (".globl ", FILE); assemble_name (FILE, NAME); fputs ("\n", FILE);} while (0)
1000
1001 /* This is how to output an assembler line defining an `int' constant. */
1002
1003 #define ASM_OUTPUT_INT(FILE,VALUE) \
1004 ( fprintf (FILE, "\t.long "), \
1005 output_addr_const (FILE, (VALUE)), \
1006 fprintf (FILE, "\n"))
1007
1008 /* Likewise for `char' and `short' constants. */
1009
1010 #define ASM_OUTPUT_SHORT(FILE,VALUE) \
1011 ( fprintf (FILE, "\t.word "), \
1012 output_addr_const (FILE, (VALUE)), \
1013 fprintf (FILE, "\n"))
1014
1015 #define ASM_OUTPUT_CHAR(FILE,VALUE) \
1016 ( fprintf (FILE, "\t.byte "), \
1017 output_addr_const (FILE, (VALUE)), \
1018 fprintf (FILE, "\n"))
1019
1020 /* This is how to output an assembler line for a numeric constant byte. */
1021
1022 #define ASM_OUTPUT_BYTE(FILE,VALUE) \
1023 fprintf (FILE, "\t.byte 0x%x\n", (VALUE))
1024
1025 /* This is how to output an insn to push a register on the stack.
1026 It need not be very fast code. */
1027
1028 #define ASM_OUTPUT_REG_PUSH(FILE,REGNO) \
1029 fprintf (FILE, "\tsubq $8,sp\n\t%s %s,(sp)\n", \
1030 (REGNO) < 16 ? "storw" : "stord", reg_names[REGNO])
1031
1032 /* This is how to output an insn to pop a register from the stack.
1033 It need not be very fast code. */
1034
1035 #define ASM_OUTPUT_REG_POP(FILE,REGNO) \
1036 fprintf (FILE, "\t%s (sp),%s\n\t\addq $8,sp\n", \
1037 (REGNO) < 16 ? "loadw" : "loadd", reg_names[REGNO])
1038 /* This is how to output an element of a case-vector that is absolute */
1039
1040 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
1041 fprintf (FILE, "\t.long .L%d\n", VALUE)
1042
1043 /* This is how to output an element of a case-vector that is relative. */
1044
1045 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, VALUE, REL) \
1046 fprintf (FILE, "\t.word .L%d-.L%d\n", VALUE, REL)
1047
1048 /* This is how to output an assembler line
1049 that says to advance the location counter by SIZE bytes. */
1050
1051 #define ASM_OUTPUT_SKIP(FILE,SIZE) \
1052 fprintf (FILE, "\t.space %u\n", (SIZE))
1053
1054 /* This says how to output an assembler line
1055 to define a local common symbol. */
1056
1057 #define ASM_OUTPUT_ALIGNED_LOCAL(FILE,NAME,SIZE,ALIGN) \
1058 ( data_section (), \
1059 fputs ("\t.bss\t", (FILE)), \
1060 assemble_name ((FILE), (NAME)), \
1061 fprintf ((FILE), ",%u,%u\n", (SIZE), (ALIGN)/BITS_PER_UNIT))
1062
1063 /* Store in OUTPUT a string (made with alloca) containing
1064 an assembler-name for a local static variable named NAME.
1065 LABELNO is an integer which is different for each call. */
1066
1067 #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \
1068 ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10), \
1069 sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO)))
1070
1071 /* Define the parentheses used to group arithmetic operations
1072 in assembler code. */
1073
1074 #define ASM_OPEN_PAREN "("
1075 #define ASM_CLOSE_PAREN ")"
1076
1077 /* Define results of standard character escape sequences. */
1078 #define TARGET_BELL 007
1079 #define TARGET_BS 010
1080 #define TARGET_TAB 011
1081 #define TARGET_NEWLINE 012
1082 #define TARGET_VT 013
1083 #define TARGET_FF 014
1084 #define TARGET_CR 015
1085
1086 /* Print an instruction operand X on file FILE.
1087 CODE is the code from the %-spec that requested printing this operand;
1088 if `%z3' was used to print operand 3, then CODE is 'z'.
1089
1090 Clipper operand formatting codes:
1091
1092 letter print
1093 C reverse branch condition
1094 */
1095
1096 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) \
1097 ((CODE) == 'C')
1098
1099 #define PRINT_OPERAND(FILE, X, CODE) \
1100 { extern char *rev_cond_name (); \
1101 if (CODE == 'C') \
1102 fputs (rev_cond_name (X), FILE); \
1103 else if (GET_CODE (X) == REG) \
1104 fprintf (FILE, "%s", reg_names[REGNO (X)]); \
1105 else if (GET_CODE (X) == MEM) \
1106 output_address (XEXP (X, 0)); \
1107 else { putc ('$', FILE); output_addr_const (FILE, X); }}
1108
1109 /* Print a memory operand whose address is X, on file FILE.
1110 This uses a function in output-clipper.c. */
1111
1112 #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \
1113 print_operand_address (FILE, ADDR)
1114
1115 /* Define the codes that are matched by predicates in clipper.c */
1116
1117 #define PREDICATE_CODES \
1118 {"int_reg_operand", {SUBREG, REG}}, \
1119 {"fp_reg_operand", {SUBREG, REG}},
This page took 0.098697 seconds and 4 git commands to generate.