]> git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/config/fr30/fr30.h
alpha.h, [...]: Remove commented out target macro definitions and non-target-specific...
[thirdparty/gcc.git] / gcc / config / fr30 / fr30.h
1 /*{{{ Comment. */
2
3 /* Definitions of FR30 target.
4 Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
5 Contributed by Cygnus Solutions.
6
7 This file is part of GNU CC.
8
9 GNU CC is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2, or (at your option)
12 any later version.
13
14 GNU CC is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with GNU CC; see the file COPYING. If not, write to
21 the Free Software Foundation, 59 Temple Place - Suite 330,
22 Boston, MA 02111-1307, USA. */
23
24 /*}}}*/ \f
25 /*{{{ Driver configuration. */
26
27 /* Defined in svr4.h. */
28 #undef SWITCH_TAKES_ARG
29
30 /* Defined in svr4.h. */
31 #undef WORD_SWITCH_TAKES_ARG
32
33 /*}}}*/ \f
34 /*{{{ Run-time target specifications. */
35
36 #undef ASM_SPEC
37 #define ASM_SPEC "%{v}"
38
39 /* Define this to be a string constant containing `-D' options to define the
40 predefined macros that identify this machine and system. These macros will
41 be predefined unless the `-ansi' option is specified. */
42
43 #define CPP_PREDEFINES "-Dfr30 -D__fr30__ -Amachine=fr30"
44
45 /* Use LDI:20 instead of LDI:32 to load addresses. */
46 #define TARGET_SMALL_MODEL_MASK (1 << 0)
47 #define TARGET_SMALL_MODEL (target_flags & TARGET_SMALL_MODEL_MASK)
48
49 #define TARGET_DEFAULT 0
50
51 /* This declaration should be present. */
52 extern int target_flags;
53
54 #define TARGET_SWITCHES \
55 { \
56 { "small-model", TARGET_SMALL_MODEL_MASK, \
57 N_("Assume small address space") }, \
58 { "no-small-model", - TARGET_SMALL_MODEL_MASK, "" }, \
59 { "no-lsim", 0, "" }, \
60 { "", TARGET_DEFAULT, "" } \
61 }
62
63 #define TARGET_VERSION fprintf (stderr, " (fr30)");
64
65 #define CAN_DEBUG_WITHOUT_FP
66
67 #undef STARTFILE_SPEC
68 #define STARTFILE_SPEC "crt0.o%s crti.o%s crtbegin.o%s"
69
70 /* Include the OS stub library, so that the code can be simulated.
71 This is not the right way to do this. Ideally this kind of thing
72 should be done in the linker script - but I have not worked out how
73 to specify the location of a linker script in a gcc command line yet... */
74 #undef ENDFILE_SPEC
75 #define ENDFILE_SPEC "%{!mno-lsim:-lsim} crtend.o%s crtn.o%s"
76
77 /*}}}*/ \f
78 /*{{{ Storage Layout. */
79
80 #define BITS_BIG_ENDIAN 1
81
82 #define BYTES_BIG_ENDIAN 1
83
84 #define WORDS_BIG_ENDIAN 1
85
86 #define BITS_PER_UNIT 8
87
88 #define BITS_PER_WORD 32
89
90 #define UNITS_PER_WORD 4
91
92 #define POINTER_SIZE 32
93
94 #define PROMOTE_MODE(MODE,UNSIGNEDP,TYPE) \
95 do \
96 { \
97 if (GET_MODE_CLASS (MODE) == MODE_INT \
98 && GET_MODE_SIZE (MODE) < 4) \
99 (MODE) = SImode; \
100 } \
101 while (0)
102
103 #define PARM_BOUNDARY 32
104
105 #define STACK_BOUNDARY 32
106
107 #define FUNCTION_BOUNDARY 32
108
109 #define BIGGEST_ALIGNMENT 32
110
111 #define DATA_ALIGNMENT(TYPE, ALIGN) \
112 (TREE_CODE (TYPE) == ARRAY_TYPE \
113 && TYPE_MODE (TREE_TYPE (TYPE)) == QImode \
114 && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
115
116 #define CONSTANT_ALIGNMENT(EXP, ALIGN) \
117 (TREE_CODE (EXP) == STRING_CST \
118 && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
119
120 #define STRICT_ALIGNMENT 1
121
122 /* Defined in svr4.h. */
123 #define PCC_BITFIELD_TYPE_MATTERS 1
124
125 #define TARGET_FLOAT_FORMAT IEEE_FLOAT_FORMAT
126
127 /*}}}*/ \f
128 /*{{{ Layout of Source Language Data Types. */
129
130 #define CHAR_TYPE_SIZE 8
131 #define SHORT_TYPE_SIZE 16
132 #define INT_TYPE_SIZE 32
133 #define LONG_TYPE_SIZE 32
134 #define LONG_LONG_TYPE_SIZE 64
135 #define FLOAT_TYPE_SIZE 32
136 #define DOUBLE_TYPE_SIZE 64
137 #define LONG_DOUBLE_TYPE_SIZE 64
138
139 #define DEFAULT_SIGNED_CHAR 1
140
141 /*}}}*/ \f
142 /*{{{ REGISTER BASICS. */
143
144 /* Number of hardware registers known to the compiler. They receive numbers 0
145 through `FIRST_PSEUDO_REGISTER-1'; thus, the first pseudo register's number
146 really is assigned the number `FIRST_PSEUDO_REGISTER'. */
147 #define FIRST_PSEUDO_REGISTER 21
148
149 /* Fixed register assignments: */
150
151 /* Here we do a BAD THING - reserve a register for use by the machine
152 description file. There are too many places in compiler where it
153 assumes that it can issue a branch or jump instruction without
154 providing a scratch register for it, and reload just cannot cope, so
155 we keep a register back for these situations. */
156 #define COMPILER_SCRATCH_REGISTER 0
157
158 /* The register that contains the result of a function call. */
159 #define RETURN_VALUE_REGNUM 4
160
161 /* The first register that can contain the arguments to a function. */
162 #define FIRST_ARG_REGNUM 4
163
164 /* A call-used register that can be used during the function prologue. */
165 #define PROLOGUE_TMP_REGNUM COMPILER_SCRATCH_REGISTER
166
167 /* Register numbers used for passing a function's static chain pointer. If
168 register windows are used, the register number as seen by the called
169 function is `STATIC_CHAIN_INCOMING_REGNUM', while the register number as
170 seen by the calling function is `STATIC_CHAIN_REGNUM'. If these registers
171 are the same, `STATIC_CHAIN_INCOMING_REGNUM' need not be defined.
172
173 The static chain register need not be a fixed register.
174
175 If the static chain is passed in memory, these macros should not be defined;
176 instead, the next two macros should be defined. */
177 #define STATIC_CHAIN_REGNUM 12
178 /* #define STATIC_CHAIN_INCOMING_REGNUM */
179
180 /* An FR30 specific hardware register. */
181 #define ACCUMULATOR_REGNUM 13
182
183 /* The register number of the frame pointer register, which is used to access
184 automatic variables in the stack frame. On some machines, the hardware
185 determines which register this is. On other machines, you can choose any
186 register you wish for this purpose. */
187 #define FRAME_POINTER_REGNUM 14
188
189 /* The register number of the stack pointer register, which must also be a
190 fixed register according to `FIXED_REGISTERS'. On most machines, the
191 hardware determines which register this is. */
192 #define STACK_POINTER_REGNUM 15
193
194 /* The following a fake hard registers that describe some of the dedicated
195 registers on the FR30. */
196 #define CONDITION_CODE_REGNUM 16
197 #define RETURN_POINTER_REGNUM 17
198 #define MD_HIGH_REGNUM 18
199 #define MD_LOW_REGNUM 19
200
201 /* An initializer that says which registers are used for fixed purposes all
202 throughout the compiled code and are therefore not available for general
203 allocation. These would include the stack pointer, the frame pointer
204 (except on machines where that can be used as a general register when no
205 frame pointer is needed), the program counter on machines where that is
206 considered one of the addressable registers, and any other numbered register
207 with a standard use.
208
209 This information is expressed as a sequence of numbers, separated by commas
210 and surrounded by braces. The Nth number is 1 if register N is fixed, 0
211 otherwise.
212
213 The table initialized from this macro, and the table initialized by the
214 following one, may be overridden at run time either automatically, by the
215 actions of the macro `CONDITIONAL_REGISTER_USAGE', or by the user with the
216 command options `-ffixed-REG', `-fcall-used-REG' and `-fcall-saved-REG'. */
217 #define FIXED_REGISTERS \
218 { 1, 0, 0, 0, 0, 0, 0, 0, /* 0 - 7 */ \
219 0, 0, 0, 0, 0, 0, 0, 1, /* 8 - 15 */ \
220 1, 1, 1, 1, 1 } /* 16 - 20 */
221
222 /* XXX - MDL and MDH set as fixed for now - this is until I can get the
223 mul patterns working. */
224
225 /* Like `FIXED_REGISTERS' but has 1 for each register that is clobbered (in
226 general) by function calls as well as for fixed registers. This macro
227 therefore identifies the registers that are not available for general
228 allocation of values that must live across function calls.
229
230 If a register has 0 in `CALL_USED_REGISTERS', the compiler automatically
231 saves it on function entry and restores it on function exit, if the register
232 is used within the function. */
233 #define CALL_USED_REGISTERS \
234 { 1, 1, 1, 1, 1, 1, 1, 1, /* 0 - 7 */ \
235 0, 0, 0, 0, 1, 1, 0, 1, /* 8 - 15 */ \
236 1, 1, 1, 1, 1 } /* 16 - 20 */
237
238 /* A C initializer containing the assembler's names for the machine registers,
239 each one as a C string constant. This is what translates register numbers
240 in the compiler into assembler language. */
241 #define REGISTER_NAMES \
242 { "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \
243 "r8", "r9", "r10", "r11", "r12", "ac", "fp", "sp", \
244 "cc", "rp", "mdh", "mdl", "ap" \
245 }
246
247 /* If defined, a C initializer for an array of structures containing a name and
248 a register number. This macro defines additional names for hard registers,
249 thus allowing the `asm' option in declarations to refer to registers using
250 alternate names. */
251 #define ADDITIONAL_REGISTER_NAMES \
252 { \
253 {"r13", 13}, {"r14", 14}, {"r15", 15}, {"usp", 15}, {"ps", 16}\
254 }
255
256 /*}}}*/ \f
257 /*{{{ How Values Fit in Registers. */
258
259 /* A C expression for the number of consecutive hard registers, starting at
260 register number REGNO, required to hold a value of mode MODE. */
261
262 #define HARD_REGNO_NREGS(REGNO, MODE) \
263 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
264
265 /* A C expression that is nonzero if it is permissible to store a value of mode
266 MODE in hard register number REGNO (or in several registers starting with
267 that one). */
268
269 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
270
271 /* A C expression that is nonzero if it is desirable to choose register
272 allocation so as to avoid move instructions between a value of mode MODE1
273 and a value of mode MODE2.
274
275 If `HARD_REGNO_MODE_OK (R, MODE1)' and `HARD_REGNO_MODE_OK (R, MODE2)' are
276 ever different for any R, then `MODES_TIEABLE_P (MODE1, MODE2)' must be
277 zero. */
278 #define MODES_TIEABLE_P(MODE1, MODE2) 1
279
280 /*}}}*/ \f
281 /*{{{ Register Classes. */
282
283 /* An enumeral type that must be defined with all the register class names as
284 enumeral values. `NO_REGS' must be first. `ALL_REGS' must be the last
285 register class, followed by one more enumeral value, `LIM_REG_CLASSES',
286 which is not a register class but rather tells how many classes there are.
287
288 Each register class has a number, which is the value of casting the class
289 name to type `int'. The number serves as an index in many of the tables
290 described below. */
291 enum reg_class
292 {
293 NO_REGS,
294 MULTIPLY_32_REG, /* the MDL register as used by the MULH, MULUH insns */
295 MULTIPLY_64_REG, /* the MDH,MDL register pair as used by MUL and MULU */
296 LOW_REGS, /* registers 0 through 7 */
297 HIGH_REGS, /* registers 8 through 15 */
298 REAL_REGS, /* ie all the general hardware registers on the FR30 */
299 ALL_REGS,
300 LIM_REG_CLASSES
301 };
302
303 #define GENERAL_REGS REAL_REGS
304 #define N_REG_CLASSES ((int) LIM_REG_CLASSES)
305
306 /* An initializer containing the names of the register classes as C string
307 constants. These names are used in writing some of the debugging dumps. */
308 #define REG_CLASS_NAMES \
309 { \
310 "NO_REGS", \
311 "MULTIPLY_32_REG", \
312 "MULTIPLY_64_REG", \
313 "LOW_REGS", \
314 "HIGH_REGS", \
315 "REAL_REGS", \
316 "ALL_REGS" \
317 }
318
319 /* An initializer containing the contents of the register classes, as integers
320 which are bit masks. The Nth integer specifies the contents of class N.
321 The way the integer MASK is interpreted is that register R is in the class
322 if `MASK & (1 << R)' is 1.
323
324 When the machine has more than 32 registers, an integer does not suffice.
325 Then the integers are replaced by sub-initializers, braced groupings
326 containing several integers. Each sub-initializer must be suitable as an
327 initializer for the type `HARD_REG_SET' which is defined in
328 `hard-reg-set.h'. */
329 #define REG_CLASS_CONTENTS \
330 { \
331 { 0 }, \
332 { 1 << MD_LOW_REGNUM }, \
333 { (1 << MD_LOW_REGNUM) | (1 << MD_HIGH_REGNUM) }, \
334 { (1 << 8) - 1 }, \
335 { ((1 << 8) - 1) << 8 }, \
336 { (1 << CONDITION_CODE_REGNUM) - 1 }, \
337 { (1 << FIRST_PSEUDO_REGISTER) - 1 } \
338 }
339
340 /* A C expression whose value is a register class containing hard register
341 REGNO. In general there is more than one such class; choose a class which
342 is "minimal", meaning that no smaller class also contains the register. */
343 #define REGNO_REG_CLASS(REGNO) \
344 ( (REGNO) < 8 ? LOW_REGS \
345 : (REGNO) < CONDITION_CODE_REGNUM ? HIGH_REGS \
346 : (REGNO) == MD_LOW_REGNUM ? MULTIPLY_32_REG \
347 : (REGNO) == MD_HIGH_REGNUM ? MULTIPLY_64_REG \
348 : ALL_REGS)
349
350 /* A macro whose definition is the name of the class to which a valid base
351 register must belong. A base register is one used in an address which is
352 the register value plus a displacement. */
353 #define BASE_REG_CLASS REAL_REGS
354
355 /* A macro whose definition is the name of the class to which a valid index
356 register must belong. An index register is one used in an address where its
357 value is either multiplied by a scale factor or added to another register
358 (as well as added to a displacement). */
359 #define INDEX_REG_CLASS REAL_REGS
360
361 /* A C expression which defines the machine-dependent operand constraint
362 letters for register classes. If CHAR is such a letter, the value should be
363 the register class corresponding to it. Otherwise, the value should be
364 `NO_REGS'. The register letter `r', corresponding to class `GENERAL_REGS',
365 will not be passed to this macro; you do not need to handle it.
366
367 The following letters are unavailable, due to being used as
368 constraints:
369 '0'..'9'
370 '<', '>'
371 'E', 'F', 'G', 'H'
372 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P'
373 'Q', 'R', 'S', 'T', 'U'
374 'V', 'X'
375 'g', 'i', 'm', 'n', 'o', 'p', 'r', 's' */
376
377 #define REG_CLASS_FROM_LETTER(CHAR) \
378 ( (CHAR) == 'd' ? MULTIPLY_64_REG \
379 : (CHAR) == 'e' ? MULTIPLY_32_REG \
380 : (CHAR) == 'h' ? HIGH_REGS \
381 : (CHAR) == 'l' ? LOW_REGS \
382 : (CHAR) == 'a' ? ALL_REGS \
383 : NO_REGS)
384
385 /* A C expression which is nonzero if register number NUM is suitable for use
386 as a base register in operand addresses. It may be either a suitable hard
387 register or a pseudo register that has been allocated such a hard register. */
388 #define REGNO_OK_FOR_BASE_P(NUM) 1
389
390 /* A C expression which is nonzero if register number NUM is suitable for use
391 as an index register in operand addresses. It may be either a suitable hard
392 register or a pseudo register that has been allocated such a hard register.
393
394 The difference between an index register and a base register is that the
395 index register may be scaled. If an address involves the sum of two
396 registers, neither one of them scaled, then either one may be labeled the
397 "base" and the other the "index"; but whichever labeling is used must fit
398 the machine's constraints of which registers may serve in each capacity.
399 The compiler will try both labelings, looking for one that is valid, and
400 will reload one or both registers only if neither labeling works. */
401 #define REGNO_OK_FOR_INDEX_P(NUM) 1
402
403 /* A C expression that places additional restrictions on the register class to
404 use when it is necessary to copy value X into a register in class CLASS.
405 The value is a register class; perhaps CLASS, or perhaps another, smaller
406 class. On many machines, the following definition is safe:
407
408 #define PREFERRED_RELOAD_CLASS(X,CLASS) CLASS
409
410 Sometimes returning a more restrictive class makes better code. For
411 example, on the 68000, when X is an integer constant that is in range for a
412 `moveq' instruction, the value of this macro is always `DATA_REGS' as long
413 as CLASS includes the data registers. Requiring a data register guarantees
414 that a `moveq' will be used.
415
416 If X is a `const_double', by returning `NO_REGS' you can force X into a
417 memory constant. This is useful on certain machines where immediate
418 floating values cannot be loaded into certain kinds of registers. */
419 #define PREFERRED_RELOAD_CLASS(X, CLASS) CLASS
420
421 /* A C expression for the maximum number of consecutive registers of
422 class CLASS needed to hold a value of mode MODE.
423
424 This is closely related to the macro `HARD_REGNO_NREGS'. In fact, the value
425 of the macro `CLASS_MAX_NREGS (CLASS, MODE)' should be the maximum value of
426 `HARD_REGNO_NREGS (REGNO, MODE)' for all REGNO values in the class CLASS.
427
428 This macro helps control the handling of multiple-word values in
429 the reload pass. */
430 #define CLASS_MAX_NREGS(CLASS, MODE) HARD_REGNO_NREGS (0, MODE)
431
432 /*}}}*/ \f
433 /*{{{ CONSTANTS. */
434
435 /* A C expression that defines the machine-dependent operand constraint letters
436 (`I', `J', `K', .. 'P') that specify particular ranges of integer values.
437 If C is one of those letters, the expression should check that VALUE, an
438 integer, is in the appropriate range and return 1 if so, 0 otherwise. If C
439 is not one of those letters, the value should be 0 regardless of VALUE. */
440 #define CONST_OK_FOR_LETTER_P(VALUE, C) \
441 ( (C) == 'I' ? IN_RANGE (VALUE, 0, 15) \
442 : (C) == 'J' ? IN_RANGE (VALUE, -16, -1) \
443 : (C) == 'K' ? IN_RANGE (VALUE, 16, 31) \
444 : (C) == 'L' ? IN_RANGE (VALUE, 0, (1 << 8) - 1) \
445 : (C) == 'M' ? IN_RANGE (VALUE, 0, (1 << 20) - 1) \
446 : (C) == 'P' ? IN_RANGE (VALUE, -(1 << 8), (1 << 8) - 1) \
447 : 0)
448
449 /* A C expression that defines the machine-dependent operand constraint letters
450 (`G', `H') that specify particular ranges of `const_double' values.
451
452 If C is one of those letters, the expression should check that VALUE, an RTX
453 of code `const_double', is in the appropriate range and return 1 if so, 0
454 otherwise. If C is not one of those letters, the value should be 0
455 regardless of VALUE.
456
457 `const_double' is used for all floating-point constants and for `DImode'
458 fixed-point constants. A given letter can accept either or both kinds of
459 values. It can use `GET_MODE' to distinguish between these kinds. */
460 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) 0
461
462 /* A C expression that defines the optional machine-dependent constraint
463 letters (`Q', `R', `S', `T', `U') that can be used to segregate specific
464 types of operands, usually memory references, for the target machine.
465 Normally this macro will not be defined. If it is required for a particular
466 target machine, it should return 1 if VALUE corresponds to the operand type
467 represented by the constraint letter C. If C is not defined as an extra
468 constraint, the value returned should be 0 regardless of VALUE.
469
470 For example, on the ROMP, load instructions cannot have their output in r0
471 if the memory reference contains a symbolic address. Constraint letter `Q'
472 is defined as representing a memory address that does *not* contain a
473 symbolic address. An alternative is specified with a `Q' constraint on the
474 input and `r' on the output. The next alternative specifies `m' on the
475 input and a register class that does not include r0 on the output. */
476 #define EXTRA_CONSTRAINT(VALUE, C) \
477 ((C) == 'Q' ? (GET_CODE (VALUE) == MEM && GET_CODE (XEXP (VALUE, 0)) == SYMBOL_REF) : 0)
478
479 /*}}}*/ \f
480 /*{{{ Basic Stack Layout. */
481
482 /* Define this macro if pushing a word onto the stack moves the stack pointer
483 to a smaller address. */
484 #define STACK_GROWS_DOWNWARD 1
485
486 /* Define this macro if the addresses of local variable slots are at negative
487 offsets from the frame pointer. */
488 #define FRAME_GROWS_DOWNWARD 1
489
490 /* Offset from the frame pointer to the first local variable slot to be
491 allocated.
492
493 If `FRAME_GROWS_DOWNWARD', find the next slot's offset by subtracting the
494 first slot's length from `STARTING_FRAME_OFFSET'. Otherwise, it is found by
495 adding the length of the first slot to the value `STARTING_FRAME_OFFSET'. */
496 /* #define STARTING_FRAME_OFFSET -4 */
497 #define STARTING_FRAME_OFFSET 0
498
499 /* Offset from the stack pointer register to the first location at which
500 outgoing arguments are placed. If not specified, the default value of zero
501 is used. This is the proper value for most machines.
502
503 If `ARGS_GROW_DOWNWARD', this is the offset to the location above the first
504 location at which outgoing arguments are placed. */
505 #define STACK_POINTER_OFFSET 0
506
507 /* Offset from the argument pointer register to the first argument's address.
508 On some machines it may depend on the data type of the function.
509
510 If `ARGS_GROW_DOWNWARD', this is the offset to the location above the first
511 argument's address. */
512 #define FIRST_PARM_OFFSET(FUNDECL) 0
513
514 /* A C expression whose value is RTL representing the location of the incoming
515 return address at the beginning of any function, before the prologue. This
516 RTL is either a `REG', indicating that the return value is saved in `REG',
517 or a `MEM' representing a location in the stack.
518
519 You only need to define this macro if you want to support call frame
520 debugging information like that provided by DWARF 2. */
521 #define INCOMING_RETURN_ADDR_RTX gen_rtx_REG (SImode, RETURN_POINTER_REGNUM)
522
523 /*}}}*/ \f
524 /*{{{ Register That Address the Stack Frame. */
525
526 /* The register number of the arg pointer register, which is used to access the
527 function's argument list. On some machines, this is the same as the frame
528 pointer register. On some machines, the hardware determines which register
529 this is. On other machines, you can choose any register you wish for this
530 purpose. If this is not the same register as the frame pointer register,
531 then you must mark it as a fixed register according to `FIXED_REGISTERS', or
532 arrange to be able to eliminate it. */
533 #define ARG_POINTER_REGNUM 20
534
535 /*}}}*/ \f
536 /*{{{ Eliminating the Frame Pointer and the Arg Pointer. */
537
538 /* A C expression which is nonzero if a function must have and use a frame
539 pointer. This expression is evaluated in the reload pass. If its value is
540 nonzero the function will have a frame pointer.
541
542 The expression can in principle examine the current function and decide
543 according to the facts, but on most machines the constant 0 or the constant
544 1 suffices. Use 0 when the machine allows code to be generated with no
545 frame pointer, and doing so saves some time or space. Use 1 when there is
546 no possible advantage to avoiding a frame pointer.
547
548 In certain cases, the compiler does not know how to produce valid code
549 without a frame pointer. The compiler recognizes those cases and
550 automatically gives the function a frame pointer regardless of what
551 `FRAME_POINTER_REQUIRED' says. You don't need to worry about them.
552
553 In a function that does not require a frame pointer, the frame pointer
554 register can be allocated for ordinary usage, unless you mark it as a fixed
555 register. See `FIXED_REGISTERS' for more information. */
556 /* #define FRAME_POINTER_REQUIRED 0 */
557 #define FRAME_POINTER_REQUIRED \
558 (flag_omit_frame_pointer == 0 || current_function_pretend_args_size > 0)
559
560 /* If defined, this macro specifies a table of register pairs used to eliminate
561 unneeded registers that point into the stack frame. If it is not defined,
562 the only elimination attempted by the compiler is to replace references to
563 the frame pointer with references to the stack pointer.
564
565 The definition of this macro is a list of structure initializations, each of
566 which specifies an original and replacement register.
567
568 On some machines, the position of the argument pointer is not known until
569 the compilation is completed. In such a case, a separate hard register must
570 be used for the argument pointer. This register can be eliminated by
571 replacing it with either the frame pointer or the argument pointer,
572 depending on whether or not the frame pointer has been eliminated.
573
574 In this case, you might specify:
575 #define ELIMINABLE_REGS \
576 {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
577 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
578 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
579
580 Note that the elimination of the argument pointer with the stack pointer is
581 specified first since that is the preferred elimination. */
582
583 #define ELIMINABLE_REGS \
584 { \
585 {ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
586 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
587 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM} \
588 }
589
590 /* A C expression that returns non-zero if the compiler is allowed to try to
591 replace register number FROM with register number TO. This macro
592 need only be defined if `ELIMINABLE_REGS' is defined, and will usually be
593 the constant 1, since most of the cases preventing register elimination are
594 things that the compiler already knows about. */
595
596 #define CAN_ELIMINATE(FROM, TO) \
597 ((TO) == FRAME_POINTER_REGNUM || ! frame_pointer_needed)
598
599 /* This macro is similar to `INITIAL_FRAME_POINTER_OFFSET'. It specifies the
600 initial difference between the specified pair of registers. This macro must
601 be defined if `ELIMINABLE_REGS' is defined. */
602 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
603 (OFFSET) = fr30_compute_frame_size (FROM, TO)
604
605 /*}}}*/ \f
606 /*{{{ Passing Function Arguments on the Stack. */
607
608 /* Define this macro if an argument declared in a prototype as an integral type
609 smaller than `int' should actually be passed as an `int'. In addition to
610 avoiding errors in certain cases of mismatch, it also makes for better code
611 on certain machines. */
612 #define PROMOTE_PROTOTYPES 1
613
614 /* If defined, the maximum amount of space required for outgoing arguments will
615 be computed and placed into the variable
616 `current_function_outgoing_args_size'. No space will be pushed onto the
617 stack for each call; instead, the function prologue should increase the
618 stack frame size by this amount.
619
620 Defining both `PUSH_ROUNDING' and `ACCUMULATE_OUTGOING_ARGS' is not
621 proper. */
622 #define ACCUMULATE_OUTGOING_ARGS 1
623
624 /* A C expression that should indicate the number of bytes of its own arguments
625 that a function pops on returning, or 0 if the function pops no arguments
626 and the caller must therefore pop them all after the function returns.
627
628 FUNDECL is a C variable whose value is a tree node that describes the
629 function in question. Normally it is a node of type `FUNCTION_DECL' that
630 describes the declaration of the function. From this it is possible to
631 obtain the DECL_ATTRIBUTES of the function.
632
633 FUNTYPE is a C variable whose value is a tree node that describes the
634 function in question. Normally it is a node of type `FUNCTION_TYPE' that
635 describes the data type of the function. From this it is possible to obtain
636 the data types of the value and arguments (if known).
637
638 When a call to a library function is being considered, FUNTYPE will contain
639 an identifier node for the library function. Thus, if you need to
640 distinguish among various library functions, you can do so by their names.
641 Note that "library function" in this context means a function used to
642 perform arithmetic, whose name is known specially in the compiler and was
643 not mentioned in the C code being compiled.
644
645 STACK-SIZE is the number of bytes of arguments passed on the stack. If a
646 variable number of bytes is passed, it is zero, and argument popping will
647 always be the responsibility of the calling function.
648
649 On the VAX, all functions always pop their arguments, so the definition of
650 this macro is STACK-SIZE. On the 68000, using the standard calling
651 convention, no functions pop their arguments, so the value of the macro is
652 always 0 in this case. But an alternative calling convention is available
653 in which functions that take a fixed number of arguments pop them but other
654 functions (such as `printf') pop nothing (the caller pops all). When this
655 convention is in use, FUNTYPE is examined to determine whether a function
656 takes a fixed number of arguments. */
657 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACK_SIZE) 0
658
659 /* Implement `va_arg'. */
660 #define EXPAND_BUILTIN_VA_ARG(valist, type) \
661 fr30_va_arg (valist, type)
662
663 /*}}}*/ \f
664 /*{{{ Function Arguments in Registers. */
665
666 /* Nonzero if we do not know how to pass TYPE solely in registers.
667 We cannot do so in the following cases:
668
669 - if the type has variable size
670 - if the type is marked as addressable (it is required to be constructed
671 into the stack)
672 - if the type is a structure or union. */
673
674 #define MUST_PASS_IN_STACK(MODE, TYPE) \
675 (((MODE) == BLKmode) \
676 || ((TYPE) != NULL \
677 && TYPE_SIZE (TYPE) != NULL \
678 && (TREE_CODE (TYPE_SIZE (TYPE)) != INTEGER_CST \
679 || TREE_CODE (TYPE) == RECORD_TYPE \
680 || TREE_CODE (TYPE) == UNION_TYPE \
681 || TREE_CODE (TYPE) == QUAL_UNION_TYPE \
682 || TREE_ADDRESSABLE (TYPE))))
683
684 /* The number of register assigned to holding function arguments. */
685
686 #define FR30_NUM_ARG_REGS 4
687
688 /* A C expression that controls whether a function argument is passed in a
689 register, and which register.
690
691 The usual way to make the ANSI library `stdarg.h' work on a machine where
692 some arguments are usually passed in registers, is to cause nameless
693 arguments to be passed on the stack instead. This is done by making
694 `FUNCTION_ARG' return 0 whenever NAMED is 0.
695
696 You may use the macro `MUST_PASS_IN_STACK (MODE, TYPE)' in the definition of
697 this macro to determine if this argument is of a type that must be passed in
698 the stack. If `REG_PARM_STACK_SPACE' is not defined and `FUNCTION_ARG'
699 returns non-zero for such an argument, the compiler will abort. If
700 `REG_PARM_STACK_SPACE' is defined, the argument will be computed in the
701 stack and then loaded into a register. */
702
703 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
704 ( (NAMED) == 0 ? NULL_RTX \
705 : MUST_PASS_IN_STACK (MODE, TYPE) ? NULL_RTX \
706 : (CUM) >= FR30_NUM_ARG_REGS ? NULL_RTX \
707 : gen_rtx (REG, MODE, CUM + FIRST_ARG_REGNUM))
708
709 /* A C type for declaring a variable that is used as the first argument of
710 `FUNCTION_ARG' and other related values. For some target machines, the type
711 `int' suffices and can hold the number of bytes of argument so far.
712
713 There is no need to record in `CUMULATIVE_ARGS' anything about the arguments
714 that have been passed on the stack. The compiler has other variables to
715 keep track of that. For target machines on which all arguments are passed
716 on the stack, there is no need to store anything in `CUMULATIVE_ARGS';
717 however, the data structure must exist and should not be empty, so use
718 `int'. */
719 /* On the FR30 this value is an accumulating count of the number of argument
720 registers that have been filled with argument values, as opposed to say,
721 the number of bytes of argument accumulated so far. */
722 typedef int CUMULATIVE_ARGS;
723
724 /* A C expression for the number of words, at the beginning of an argument,
725 must be put in registers. The value must be zero for arguments that are
726 passed entirely in registers or that are entirely pushed on the stack.
727
728 On some machines, certain arguments must be passed partially in registers
729 and partially in memory. On these machines, typically the first N words of
730 arguments are passed in registers, and the rest on the stack. If a
731 multi-word argument (a `double' or a structure) crosses that boundary, its
732 first few words must be passed in registers and the rest must be pushed.
733 This macro tells the compiler when this occurs, and how many of the words
734 should go in registers.
735
736 `FUNCTION_ARG' for these arguments should return the first register to be
737 used by the caller for this argument; likewise `FUNCTION_INCOMING_ARG', for
738 the called function. */
739 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
740 fr30_function_arg_partial_nregs (CUM, MODE, TYPE, NAMED)
741
742 /* A C expression that indicates when an argument must be passed by reference.
743 If nonzero for an argument, a copy of that argument is made in memory and a
744 pointer to the argument is passed instead of the argument itself. The
745 pointer is passed in whatever way is appropriate for passing a pointer to
746 that type.
747
748 On machines where `REG_PARM_STACK_SPACE' is not defined, a suitable
749 definition of this macro might be:
750 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) \
751 MUST_PASS_IN_STACK (MODE, TYPE) */
752 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) \
753 MUST_PASS_IN_STACK (MODE, TYPE)
754
755 /* A C statement (sans semicolon) for initializing the variable CUM for the
756 state at the beginning of the argument list. The variable has type
757 `CUMULATIVE_ARGS'. The value of FNTYPE is the tree node for the data type
758 of the function which will receive the args, or 0 if the args are to a
759 compiler support library function. The value of INDIRECT is nonzero when
760 processing an indirect call, for example a call through a function pointer.
761 The value of INDIRECT is zero for a call to an explicitly named function, a
762 library function call, or when `INIT_CUMULATIVE_ARGS' is used to find
763 arguments for the function being compiled.
764
765 When processing a call to a compiler support library function, LIBNAME
766 identifies which one. It is a `symbol_ref' rtx which contains the name of
767 the function, as a string. LIBNAME is 0 when an ordinary C function call is
768 being processed. Thus, each time this macro is called, either LIBNAME or
769 FNTYPE is nonzero, but never both of them at once. */
770 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT) (CUM) = 0
771
772 /* A C statement (sans semicolon) to update the summarizer variable CUM to
773 advance past an argument in the argument list. The values MODE, TYPE and
774 NAMED describe that argument. Once this is done, the variable CUM is
775 suitable for analyzing the *following* argument with `FUNCTION_ARG', etc.
776
777 This macro need not do anything if the argument in question was passed on
778 the stack. The compiler knows how to track the amount of stack space used
779 for arguments without any special help. */
780 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
781 (CUM) += (NAMED) * fr30_num_arg_regs (MODE, TYPE)
782
783 /* A C expression that is nonzero if REGNO is the number of a hard register in
784 which function arguments are sometimes passed. This does *not* include
785 implicit arguments such as the static chain and the structure-value address.
786 On many machines, no registers can be used for this purpose since all
787 function arguments are pushed on the stack. */
788 #define FUNCTION_ARG_REGNO_P(REGNO) \
789 ((REGNO) >= FIRST_ARG_REGNUM && ((REGNO) < FIRST_ARG_REGNUM + FR30_NUM_ARG_REGS))
790
791 /*}}}*/ \f
792 /*{{{ How Scalar Function Values are Returned. */
793
794 /* A C expression to create an RTX representing the place where a function
795 returns a value of data type VALTYPE. VALTYPE is a tree node representing a
796 data type. Write `TYPE_MODE (VALTYPE)' to get the machine mode used to
797 represent that type. On many machines, only the mode is relevant.
798 (Actually, on most machines, scalar values are returned in the same place
799 regardless of mode).
800
801 If `PROMOTE_FUNCTION_RETURN' is defined, you must apply the same promotion
802 rules specified in `PROMOTE_MODE' if VALTYPE is a scalar type.
803
804 If the precise function being called is known, FUNC is a tree node
805 (`FUNCTION_DECL') for it; otherwise, FUNC is a null pointer. This makes it
806 possible to use a different value-returning convention for specific
807 functions when all their calls are known.
808
809 `FUNCTION_VALUE' is not used for return vales with aggregate data types,
810 because these are returned in another way. See `STRUCT_VALUE_REGNUM' and
811 related macros, below. */
812 #define FUNCTION_VALUE(VALTYPE, FUNC) \
813 gen_rtx_REG (TYPE_MODE (VALTYPE), RETURN_VALUE_REGNUM)
814
815 /* A C expression to create an RTX representing the place where a library
816 function returns a value of mode MODE. If the precise function being called
817 is known, FUNC is a tree node (`FUNCTION_DECL') for it; otherwise, FUNC is a
818 null pointer. This makes it possible to use a different value-returning
819 convention for specific functions when all their calls are known.
820
821 Note that "library function" in this context means a compiler support
822 routine, used to perform arithmetic, whose name is known specially by the
823 compiler and was not mentioned in the C code being compiled.
824
825 The definition of `LIBRARY_VALUE' need not be concerned aggregate data
826 types, because none of the library functions returns such types. */
827 #define LIBCALL_VALUE(MODE) gen_rtx (REG, MODE, RETURN_VALUE_REGNUM)
828
829 /* A C expression that is nonzero if REGNO is the number of a hard register in
830 which the values of called function may come back. */
831
832 #define FUNCTION_VALUE_REGNO_P(REGNO) ((REGNO) == RETURN_VALUE_REGNUM)
833
834 /*}}}*/ \f
835 /*{{{ How Large Values are Returned. */
836
837 /* Define this macro to be 1 if all structure and union return values must be
838 in memory. Since this results in slower code, this should be defined only
839 if needed for compatibility with other compilers or with an ABI. If you
840 define this macro to be 0, then the conventions used for structure and union
841 return values are decided by the `RETURN_IN_MEMORY' macro.
842
843 If not defined, this defaults to the value 1. */
844 #define DEFAULT_PCC_STRUCT_RETURN 1
845
846 /* If the structure value address is not passed in a register, define
847 `STRUCT_VALUE' as an expression returning an RTX for the place where the
848 address is passed. If it returns 0, the address is passed as an "invisible"
849 first argument. */
850 #define STRUCT_VALUE 0
851
852 /*}}}*/ \f
853 /*{{{ Generating Code for Profiling. */
854
855 /* A C statement or compound statement to output to FILE some assembler code to
856 call the profiling subroutine `mcount'. Before calling, the assembler code
857 must load the address of a counter variable into a register where `mcount'
858 expects to find the address. The name of this variable is `LP' followed by
859 the number LABELNO, so you would generate the name using `LP%d' in a
860 `fprintf'.
861
862 The details of how the address should be passed to `mcount' are determined
863 by your operating system environment, not by GNU CC. To figure them out,
864 compile a small program for profiling using the system's installed C
865 compiler and look at the assembler code that results. */
866 #define FUNCTION_PROFILER(FILE, LABELNO) \
867 { \
868 fprintf (FILE, "\t mov rp, r1\n" ); \
869 fprintf (FILE, "\t ldi:32 mcount, r0\n" ); \
870 fprintf (FILE, "\t call @r0\n" ); \
871 fprintf (FILE, ".word\tLP%d\n", LABELNO); \
872 }
873
874 /*}}}*/ \f
875 /*{{{ Implementing the VARARGS Macros. */
876
877 /* This macro offers an alternative to using `__builtin_saveregs' and defining
878 the macro `EXPAND_BUILTIN_SAVEREGS'. Use it to store the anonymous register
879 arguments into the stack so that all the arguments appear to have been
880 passed consecutively on the stack. Once this is done, you can use the
881 standard implementation of varargs that works for machines that pass all
882 their arguments on the stack.
883
884 The argument ARGS_SO_FAR is the `CUMULATIVE_ARGS' data structure, containing
885 the values that obtain after processing of the named arguments. The
886 arguments MODE and TYPE describe the last named argument--its machine mode
887 and its data type as a tree node.
888
889 The macro implementation should do two things: first, push onto the stack
890 all the argument registers *not* used for the named arguments, and second,
891 store the size of the data thus pushed into the `int'-valued variable whose
892 name is supplied as the argument PRETEND_ARGS_SIZE. The value that you
893 store here will serve as additional offset for setting up the stack frame.
894
895 Because you must generate code to push the anonymous arguments at compile
896 time without knowing their data types, `SETUP_INCOMING_VARARGS' is only
897 useful on machines that have just a single category of argument register and
898 use it uniformly for all data types.
899
900 If the argument SECOND_TIME is nonzero, it means that the arguments of the
901 function are being analyzed for the second time. This happens for an inline
902 function, which is not actually compiled until the end of the source file.
903 The macro `SETUP_INCOMING_VARARGS' should not generate any instructions in
904 this case. */
905 #define SETUP_INCOMING_VARARGS(ARGS_SO_FAR, MODE, TYPE, PRETEND_ARGS_SIZE, SECOND_TIME) \
906 if (! SECOND_TIME) \
907 fr30_setup_incoming_varargs (ARGS_SO_FAR, MODE, TYPE, & PRETEND_ARGS_SIZE)
908
909 /* Define this macro if the location where a function argument is passed
910 depends on whether or not it is a named argument.
911
912 This macro controls how the NAMED argument to `FUNCTION_ARG' is set for
913 varargs and stdarg functions. With this macro defined, the NAMED argument
914 is always true for named arguments, and false for unnamed arguments. If
915 this is not defined, but `SETUP_INCOMING_VARARGS' is defined, then all
916 arguments are treated as named. Otherwise, all named arguments except the
917 last are treated as named. */
918 #define STRICT_ARGUMENT_NAMING 0
919
920 /*}}}*/ \f
921 /*{{{ Trampolines for Nested Functions. */
922
923 /* On the FR30, the trampoline is:
924
925 nop
926 ldi:32 STATIC, r12
927 nop
928 ldi:32 FUNCTION, r0
929 jmp @r0
930
931 The no-ops are to guarantee that the the static chain and final
932 target are 32 bit ailgned within the trampoline. That allows us to
933 initialize those locations with simple SImode stores. The alternative
934 would be to use HImode stores. */
935
936 /* A C statement to output, on the stream FILE, assembler code for a block of
937 data that contains the constant parts of a trampoline. This code should not
938 include a label--the label is taken care of automatically. */
939 #define TRAMPOLINE_TEMPLATE(FILE) \
940 { \
941 fprintf (FILE, "\tnop\n"); \
942 fprintf (FILE, "\tldi:32\t#0, %s\n", reg_names [STATIC_CHAIN_REGNUM]); \
943 fprintf (FILE, "\tnop\n"); \
944 fprintf (FILE, "\tldi:32\t#0, %s\n", reg_names [COMPILER_SCRATCH_REGISTER]); \
945 fprintf (FILE, "\tjmp\t@%s\n", reg_names [COMPILER_SCRATCH_REGISTER]); \
946 }
947
948 /* A C expression for the size in bytes of the trampoline, as an integer. */
949 #define TRAMPOLINE_SIZE 18
950
951 /* We want the trampoline to be aligned on a 32bit boundary so that we can
952 make sure the location of the static chain & target function within
953 the trampoline is also aligned on a 32bit boundary. */
954 #define TRAMPOLINE_ALIGNMENT 32
955
956 /* A C statement to initialize the variable parts of a trampoline. ADDR is an
957 RTX for the address of the trampoline; FNADDR is an RTX for the address of
958 the nested function; STATIC_CHAIN is an RTX for the static chain value that
959 should be passed to the function when it is called. */
960 #define INITIALIZE_TRAMPOLINE(ADDR, FNADDR, STATIC_CHAIN) \
961 do \
962 { \
963 emit_move_insn (gen_rtx (MEM, SImode, plus_constant (ADDR, 4)), STATIC_CHAIN);\
964 emit_move_insn (gen_rtx (MEM, SImode, plus_constant (ADDR, 12)), FNADDR); \
965 } while (0);
966
967 /*}}}*/ \f
968 /*{{{ Addressing Modes. */
969
970 /* A C expression that is 1 if the RTX X is a constant which is a valid
971 address. On most machines, this can be defined as `CONSTANT_P (X)', but a
972 few machines are more restrictive in which constant addresses are supported.
973
974 `CONSTANT_P' accepts integer-values expressions whose values are not
975 explicitly known, such as `symbol_ref', `label_ref', and `high' expressions
976 and `const' arithmetic expressions, in addition to `const_int' and
977 `const_double' expressions. */
978 #define CONSTANT_ADDRESS_P(X) CONSTANT_P (X)
979
980 /* A number, the maximum number of registers that can appear in a valid memory
981 address. Note that it is up to you to specify a value equal to the maximum
982 number that `GO_IF_LEGITIMATE_ADDRESS' would ever accept. */
983 #define MAX_REGS_PER_ADDRESS 1
984
985 /* A C compound statement with a conditional `goto LABEL;' executed if X (an
986 RTX) is a legitimate memory address on the target machine for a memory
987 operand of mode MODE.
988
989 It usually pays to define several simpler macros to serve as subroutines for
990 this one. Otherwise it may be too complicated to understand.
991
992 This macro must exist in two variants: a strict variant and a non-strict
993 one. The strict variant is used in the reload pass. It must be defined so
994 that any pseudo-register that has not been allocated a hard register is
995 considered a memory reference. In contexts where some kind of register is
996 required, a pseudo-register with no hard register must be rejected.
997
998 The non-strict variant is used in other passes. It must be defined to
999 accept all pseudo-registers in every context where some kind of register is
1000 required.
1001
1002 Compiler source files that want to use the strict variant of this macro
1003 define the macro `REG_OK_STRICT'. You should use an `#ifdef REG_OK_STRICT'
1004 conditional to define the strict variant in that case and the non-strict
1005 variant otherwise.
1006
1007 Subroutines to check for acceptable registers for various purposes (one for
1008 base registers, one for index registers, and so on) are typically among the
1009 subroutines used to define `GO_IF_LEGITIMATE_ADDRESS'. Then only these
1010 subroutine macros need have two variants; the higher levels of macros may be
1011 the same whether strict or not.
1012
1013 Normally, constant addresses which are the sum of a `symbol_ref' and an
1014 integer are stored inside a `const' RTX to mark them as constant.
1015 Therefore, there is no need to recognize such sums specifically as
1016 legitimate addresses. Normally you would simply recognize any `const' as
1017 legitimate.
1018
1019 Usually `PRINT_OPERAND_ADDRESS' is not prepared to handle constant sums that
1020 are not marked with `const'. It assumes that a naked `plus' indicates
1021 indexing. If so, then you *must* reject such naked constant sums as
1022 illegitimate addresses, so that none of them will be given to
1023 `PRINT_OPERAND_ADDRESS'.
1024
1025 On some machines, whether a symbolic address is legitimate depends on the
1026 section that the address refers to. On these machines, define the macro
1027 `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and
1028 then check for it here. When you see a `const', you will have to look
1029 inside it to find the `symbol_ref' in order to determine the section.
1030
1031 The best way to modify the name string is by adding text to the beginning,
1032 with suitable punctuation to prevent any ambiguity. Allocate the new name
1033 in `saveable_obstack'. You will have to modify `ASM_OUTPUT_LABELREF' to
1034 remove and decode the added text and output the name accordingly, and define
1035 `STRIP_NAME_ENCODING' to access the original name string.
1036
1037 You can check the information stored here into the `symbol_ref' in the
1038 definitions of the macros `GO_IF_LEGITIMATE_ADDRESS' and
1039 `PRINT_OPERAND_ADDRESS'.
1040
1041 Used in explow.c, recog.c, reload.c. */
1042
1043 /* On the FR30 we only have one real addressing mode - an address in a
1044 register. There are three special cases however:
1045
1046 * indexed addressing using small positive offsets from the stack pointer
1047
1048 * indexed addressing using small signed offsets from the frame pointer
1049
1050 * register plus register addresing using R13 as the base register.
1051
1052 At the moment we only support the first two of these special cases. */
1053
1054 #ifdef REG_OK_STRICT
1055 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL) \
1056 do \
1057 { \
1058 if (GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X)) \
1059 goto LABEL; \
1060 if (GET_CODE (X) == PLUS \
1061 && ((MODE) == SImode || (MODE) == SFmode) \
1062 && XEXP (X, 0) == stack_pointer_rtx \
1063 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1064 && IN_RANGE (INTVAL (XEXP (X, 1)), 0, (1 << 6) - 4)) \
1065 goto LABEL; \
1066 if (GET_CODE (X) == PLUS \
1067 && ((MODE) == SImode || (MODE) == SFmode) \
1068 && XEXP (X, 0) == frame_pointer_rtx \
1069 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1070 && IN_RANGE (INTVAL (XEXP (X, 1)), -(1 << 9), (1 << 9) - 4)) \
1071 goto LABEL; \
1072 } \
1073 while (0)
1074 #else
1075 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL) \
1076 do \
1077 { \
1078 if (GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X)) \
1079 goto LABEL; \
1080 if (GET_CODE (X) == PLUS \
1081 && ((MODE) == SImode || (MODE) == SFmode) \
1082 && XEXP (X, 0) == stack_pointer_rtx \
1083 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1084 && IN_RANGE (INTVAL (XEXP (X, 1)), 0, (1 << 6) - 4)) \
1085 goto LABEL; \
1086 if (GET_CODE (X) == PLUS \
1087 && ((MODE) == SImode || (MODE) == SFmode) \
1088 && (XEXP (X, 0) == frame_pointer_rtx \
1089 || XEXP(X,0) == arg_pointer_rtx) \
1090 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1091 && IN_RANGE (INTVAL (XEXP (X, 1)), -(1 << 9), (1 << 9) - 4)) \
1092 goto LABEL; \
1093 } \
1094 while (0)
1095 #endif
1096
1097 /* A C expression that is nonzero if X (assumed to be a `reg' RTX) is valid for
1098 use as a base register. For hard registers, it should always accept those
1099 which the hardware permits and reject the others. Whether the macro accepts
1100 or rejects pseudo registers must be controlled by `REG_OK_STRICT' as
1101 described above. This usually requires two variant definitions, of which
1102 `REG_OK_STRICT' controls the one actually used. */
1103 #ifdef REG_OK_STRICT
1104 #define REG_OK_FOR_BASE_P(X) (((unsigned) REGNO (X)) <= STACK_POINTER_REGNUM)
1105 #else
1106 #define REG_OK_FOR_BASE_P(X) 1
1107 #endif
1108
1109 /* A C expression that is nonzero if X (assumed to be a `reg' RTX) is valid for
1110 use as an index register.
1111
1112 The difference between an index register and a base register is that the
1113 index register may be scaled. If an address involves the sum of two
1114 registers, neither one of them scaled, then either one may be labeled the
1115 "base" and the other the "index"; but whichever labeling is used must fit
1116 the machine's constraints of which registers may serve in each capacity.
1117 The compiler will try both labelings, looking for one that is valid, and
1118 will reload one or both registers only if neither labeling works. */
1119 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1120
1121 /* A C compound statement that attempts to replace X with a valid memory
1122 address for an operand of mode MODE. WIN will be a C statement label
1123 elsewhere in the code; the macro definition may use
1124
1125 GO_IF_LEGITIMATE_ADDRESS (MODE, X, WIN);
1126
1127 to avoid further processing if the address has become legitimate.
1128
1129 X will always be the result of a call to `break_out_memory_refs', and OLDX
1130 will be the operand that was given to that function to produce X.
1131
1132 The code generated by this macro should not alter the substructure of X. If
1133 it transforms X into a more legitimate form, it should assign X (which will
1134 always be a C variable) a new value.
1135
1136 It is not necessary for this macro to come up with a legitimate address.
1137 The compiler has standard ways of doing so in all cases. In fact, it is
1138 safe for this macro to do nothing. But often a machine-dependent strategy
1139 can generate better code. */
1140 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN)
1141
1142 /* A C statement or compound statement with a conditional `goto LABEL;'
1143 executed if memory address X (an RTX) can have different meanings depending
1144 on the machine mode of the memory reference it is used for or if the address
1145 is valid for some modes but not others.
1146
1147 Autoincrement and autodecrement addresses typically have mode-dependent
1148 effects because the amount of the increment or decrement is the size of the
1149 operand being addressed. Some machines have other mode-dependent addresses.
1150 Many RISC machines have no mode-dependent addresses.
1151
1152 You may assume that ADDR is a valid address for the machine. */
1153 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)
1154
1155 /* A C expression that is nonzero if X is a legitimate constant for an
1156 immediate operand on the target machine. You can assume that X satisfies
1157 `CONSTANT_P', so you need not check this. In fact, `1' is a suitable
1158 definition for this macro on machines where anything `CONSTANT_P' is valid. */
1159 #define LEGITIMATE_CONSTANT_P(X) 1
1160
1161 /*}}}*/ \f
1162 /*{{{ Describing Relative Costs of Operations */
1163
1164 /* Define this macro as a C expression which is nonzero if accessing less than
1165 a word of memory (i.e. a `char' or a `short') is no faster than accessing a
1166 word of memory, i.e., if such access require more than one instruction or if
1167 there is no difference in cost between byte and (aligned) word loads.
1168
1169 When this macro is not defined, the compiler will access a field by finding
1170 the smallest containing object; when it is defined, a fullword load will be
1171 used if alignment permits. Unless bytes accesses are faster than word
1172 accesses, using word accesses is preferable since it may eliminate
1173 subsequent memory access if subsequent accesses occur to other fields in the
1174 same word of the structure, but to different bytes. */
1175 #define SLOW_BYTE_ACCESS 1
1176
1177 /*}}}*/ \f
1178 /*{{{ Dividing the output into sections. */
1179
1180 /* A C expression whose value is a string containing the assembler operation
1181 that should precede instructions and read-only data. Normally `".text"' is
1182 right. */
1183 #define TEXT_SECTION_ASM_OP "\t.text"
1184
1185 /* A C expression whose value is a string containing the assembler operation to
1186 identify the following data as writable initialized data. Normally
1187 `".data"' is right. */
1188 #define DATA_SECTION_ASM_OP "\t.data"
1189
1190 /* If defined, a C expression whose value is a string containing the
1191 assembler operation to identify the following data as
1192 uninitialized global data. If not defined, and neither
1193 `ASM_OUTPUT_BSS' nor `ASM_OUTPUT_ALIGNED_BSS' are defined,
1194 uninitialized global data will be output in the data section if
1195 `-fno-common' is passed, otherwise `ASM_OUTPUT_COMMON' will be
1196 used. */
1197 #define BSS_SECTION_ASM_OP "\t.bss"
1198
1199 /*}}}*/ \f
1200 /*{{{ The Overall Framework of an Assembler File. */
1201
1202 /* A C string constant describing how to begin a comment in the target
1203 assembler language. The compiler assumes that the comment will end at the
1204 end of the line. */
1205 #define ASM_COMMENT_START ";"
1206
1207 /* A C string constant for text to be output before each `asm' statement or
1208 group of consecutive ones. Normally this is `"#APP"', which is a comment
1209 that has no effect on most assemblers but tells the GNU assembler that it
1210 must check the lines that follow for all valid assembler constructs. */
1211 #define ASM_APP_ON "#APP\n"
1212
1213 /* A C string constant for text to be output after each `asm' statement or
1214 group of consecutive ones. Normally this is `"#NO_APP"', which tells the
1215 GNU assembler to resume making the time-saving assumptions that are valid
1216 for ordinary compiler output. */
1217 #define ASM_APP_OFF "#NO_APP\n"
1218
1219 /*}}}*/ \f
1220 /*{{{ Output and Generation of Labels. */
1221
1222 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
1223 assembler definition of a label named NAME. Use the expression
1224 `assemble_name (STREAM, NAME)' to output the name itself; before and after
1225 that, output the additional assembler syntax for defining the name, and a
1226 newline. */
1227 #define ASM_OUTPUT_LABEL(STREAM, NAME) \
1228 do \
1229 { \
1230 assemble_name (STREAM, NAME); \
1231 fputs (":\n", STREAM); \
1232 } \
1233 while (0)
1234
1235 /* A C statement (sans semicolon) to output to the stdio stream STREAM some
1236 commands that will make the label NAME global; that is, available for
1237 reference from other files. Use the expression `assemble_name (STREAM,
1238 NAME)' to output the name itself; before and after that, output the
1239 additional assembler syntax for making that name global, and a newline. */
1240 #define ASM_GLOBALIZE_LABEL(STREAM,NAME) \
1241 do \
1242 { \
1243 fputs ("\t.globl ", STREAM); \
1244 assemble_name (STREAM, NAME); \
1245 fputs ("\n", STREAM); \
1246 } \
1247 while (0)
1248
1249 /* A C expression to assign to OUTVAR (which is a variable of type `char *') a
1250 newly allocated string made from the string NAME and the number NUMBER, with
1251 some suitable punctuation added. Use `alloca' to get space for the string.
1252
1253 The string will be used as an argument to `ASM_OUTPUT_LABELREF' to produce
1254 an assembler label for an internal static variable whose name is NAME.
1255 Therefore, the string must be such as to result in valid assembler code.
1256 The argument NUMBER is different each time this macro is executed; it
1257 prevents conflicts between similarly-named internal static variables in
1258 different scopes.
1259
1260 Ideally this string should not be a valid C identifier, to prevent any
1261 conflict with the user's own symbols. Most assemblers allow periods or
1262 percent signs in assembler symbols; putting at least one of these between
1263 the name and the number will suffice. */
1264 #define ASM_FORMAT_PRIVATE_NAME(OUTVAR, NAME, NUMBER) \
1265 do \
1266 { \
1267 (OUTVAR) = (char *) alloca (strlen ((NAME)) + 12); \
1268 sprintf ((OUTVAR), "%s.%ld", (NAME), (long)(NUMBER)); \
1269 } \
1270 while (0)
1271
1272 /*}}}*/ \f
1273 /*{{{ Output of Assembler Instructions. */
1274
1275 /* A C compound statement to output to stdio stream STREAM the assembler syntax
1276 for an instruction operand X. X is an RTL expression.
1277
1278 CODE is a value that can be used to specify one of several ways of printing
1279 the operand. It is used when identical operands must be printed differently
1280 depending on the context. CODE comes from the `%' specification that was
1281 used to request printing of the operand. If the specification was just
1282 `%DIGIT' then CODE is 0; if the specification was `%LTR DIGIT' then CODE is
1283 the ASCII code for LTR.
1284
1285 If X is a register, this macro should print the register's name. The names
1286 can be found in an array `reg_names' whose type is `char *[]'. `reg_names'
1287 is initialized from `REGISTER_NAMES'.
1288
1289 When the machine description has a specification `%PUNCT' (a `%' followed by
1290 a punctuation character), this macro is called with a null pointer for X and
1291 the punctuation character for CODE. */
1292 #define PRINT_OPERAND(STREAM, X, CODE) fr30_print_operand (STREAM, X, CODE)
1293
1294 /* A C expression which evaluates to true if CODE is a valid punctuation
1295 character for use in the `PRINT_OPERAND' macro. If
1296 `PRINT_OPERAND_PUNCT_VALID_P' is not defined, it means that no punctuation
1297 characters (except for the standard one, `%') are used in this way. */
1298 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) (CODE == '#')
1299
1300 /* A C compound statement to output to stdio stream STREAM the assembler syntax
1301 for an instruction operand that is a memory reference whose address is X. X
1302 is an RTL expression.
1303
1304 On some machines, the syntax for a symbolic address depends on the section
1305 that the address refers to. On these machines, define the macro
1306 `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and
1307 then check for it here. *Note Assembler Format::. */
1308 #define PRINT_OPERAND_ADDRESS(STREAM, X) fr30_print_operand_address (STREAM, X)
1309
1310 /* If defined, C string expressions to be used for the `%R', `%L', `%U', and
1311 `%I' options of `asm_fprintf' (see `final.c'). These are useful when a
1312 single `md' file must support multiple assembler formats. In that case, the
1313 various `tm.h' files can define these macros differently.
1314
1315 USER_LABEL_PREFIX is defined in svr4.h. */
1316 #define REGISTER_PREFIX "%"
1317 #define LOCAL_LABEL_PREFIX "."
1318 #define USER_LABEL_PREFIX ""
1319 #define IMMEDIATE_PREFIX ""
1320
1321 /*}}}*/ \f
1322 /*{{{ Output of Dispatch Tables. */
1323
1324 /* This macro should be provided on machines where the addresses in a dispatch
1325 table are relative to the table's own address.
1326
1327 The definition should be a C statement to output to the stdio stream STREAM
1328 an assembler pseudo-instruction to generate a difference between two labels.
1329 VALUE and REL are the numbers of two internal labels. The definitions of
1330 these labels are output using `ASM_OUTPUT_INTERNAL_LABEL', and they must be
1331 printed in the same way here. For example,
1332
1333 fprintf (STREAM, "\t.word L%d-L%d\n", VALUE, REL) */
1334 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \
1335 fprintf (STREAM, "\t.word .L%d-.L%d\n", VALUE, REL)
1336
1337 /* This macro should be provided on machines where the addresses in a dispatch
1338 table are absolute.
1339
1340 The definition should be a C statement to output to the stdio stream STREAM
1341 an assembler pseudo-instruction to generate a reference to a label. VALUE
1342 is the number of an internal label whose definition is output using
1343 `ASM_OUTPUT_INTERNAL_LABEL'. For example,
1344
1345 fprintf (STREAM, "\t.word L%d\n", VALUE) */
1346 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \
1347 fprintf (STREAM, "\t.word .L%d\n", VALUE)
1348
1349 /*}}}*/ \f
1350 /*{{{ Assembler Commands for Alignment. */
1351
1352 /* A C statement to output to the stdio stream STREAM an assembler command to
1353 advance the location counter to a multiple of 2 to the POWER bytes. POWER
1354 will be a C expression of type `int'. */
1355 #define ASM_OUTPUT_ALIGN(STREAM, POWER) \
1356 fprintf ((STREAM), "\t.p2align %d\n", (POWER))
1357
1358 /*}}}*/ \f
1359 /*{{{ Macros for SDB and Dwarf Output. */
1360
1361 /* Define this macro to allow references to structure, union, or enumeration
1362 tags that have not yet been seen to be handled. Some assemblers choke if
1363 forward tags are used, while some require it. */
1364 /* #define SDB_ALLOW_FORWARD_REFERENCES */
1365
1366 #define DWARF_LINE_MIN_INSTR_LENGTH 2
1367
1368 /*}}}*/ \f
1369 /*{{{ Miscellaneous Parameters. */
1370
1371 /* An alias for a machine mode name. This is the machine mode that elements of
1372 a jump-table should have. */
1373 #define CASE_VECTOR_MODE SImode
1374
1375 /* The maximum number of bytes that a single instruction can move quickly from
1376 memory to memory. */
1377 #define MOVE_MAX 8
1378
1379 /* A C expression which is nonzero if on this machine it is safe to "convert"
1380 an integer of INPREC bits to one of OUTPREC bits (where OUTPREC is smaller
1381 than INPREC) by merely operating on it as if it had only OUTPREC bits.
1382
1383 On many machines, this expression can be 1.
1384
1385 When `TRULY_NOOP_TRUNCATION' returns 1 for a pair of sizes for modes for
1386 which `MODES_TIEABLE_P' is 0, suboptimal code can result. If this is the
1387 case, making `TRULY_NOOP_TRUNCATION' return 0 in such cases may improve
1388 things. */
1389 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1390
1391 /* An alias for the machine mode for pointers. On most machines, define this
1392 to be the integer mode corresponding to the width of a hardware pointer;
1393 `SImode' on 32-bit machine or `DImode' on 64-bit machines. On some machines
1394 you must define this to be one of the partial integer modes, such as
1395 `PSImode'.
1396
1397 The width of `Pmode' must be at least as large as the value of
1398 `POINTER_SIZE'. If it is not equal, you must define the macro
1399 `POINTERS_EXTEND_UNSIGNED' to specify how pointers are extended to `Pmode'. */
1400 #define Pmode SImode
1401
1402 /* An alias for the machine mode used for memory references to functions being
1403 called, in `call' RTL expressions. On most machines this should be
1404 `QImode'. */
1405 #define FUNCTION_MODE QImode
1406
1407 /* If cross-compiling, don't require stdio.h etc to build libgcc.a. */
1408 #if defined CROSS_COMPILE && ! defined inhibit_libc
1409 #define inhibit_libc
1410 #endif
1411
1412 /*}}}*/ \f
1413 /*{{{ Exported variables */
1414
1415 /* Define the information needed to generate branch and scc insns. This is
1416 stored from the compare operation. Note that we can't use "rtx" here
1417 since it hasn't been defined! */
1418
1419 extern struct rtx_def * fr30_compare_op0;
1420 extern struct rtx_def * fr30_compare_op1;
1421
1422 /*}}}*/ \f
1423 /*{{{ PERDICATE_CODES. */
1424
1425 #define PREDICATE_CODES \
1426 { "stack_add_operand", { CONST_INT }}, \
1427 { "high_register_operand", { REG }}, \
1428 { "low_register_operand", { REG }}, \
1429 { "call_operand", { MEM }}, \
1430 { "fp_displacement_operand", { CONST_INT }}, \
1431 { "sp_displacement_operand", { CONST_INT }}, \
1432 { "di_operand", { CONST_INT, CONST_DOUBLE, REG, MEM }}, \
1433 { "nonimmediate_di_operand", { REG, MEM }}, \
1434 { "add_immediate_operand", { REG, CONST_INT }},
1435
1436 /*}}}*/ \f
1437
1438 /* Local Variables: */
1439 /* folded-file: t */
1440 /* End: */