1 /* Definitions of target machine for Mitsubishi D30V.
2 Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002
3 Free Software Foundation, Inc.
4 Contributed by Cygnus Solutions.
6 This file is part of GNU CC.
8 GNU CC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GNU CC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GNU CC; see the file COPYING. If not, write to
20 the Free Software Foundation, 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
25 /* D30V specific macros */
27 /* Align an address */
28 #define D30V_ALIGN(addr,align) (((addr) + (align) - 1) & ~((align) - 1))
31 /* Driver configuration */
33 /* Defined in svr4.h. */
34 /* #define SWITCH_TAKES_ARG(CHAR) */
36 /* Defined in svr4.h. */
37 /* #define WORD_SWITCH_TAKES_ARG(NAME) */
39 /* Defined in svr4.h. */
42 %{!mno-asm-optimize: %{O*: %{!O0: -O} %{O0: %{masm-optimize: -O}}}} \
43 %{v} %{n} %{T} %{Ym,*} %{Yd,*} %{Wa,*:%*}"
45 /* Defined in svr4.h. */
46 /* #define ASM_FINAL_SPEC "" */
48 /* Defined in svr4.h. */
53 %{static:-dn -Bstatic} \
54 %{shared:-G -dy -z text} \
55 %{symbolic:-Bsymbolic -G -dy -z text} \
59 %{mextmem: -m d30v_e} %{mextmemory: -m d30v_e} %{monchip: -m d30v_o}"
61 /* Defined in svr4.h. */
63 #define LIB_SPEC "--start-group -lsim -lc --end-group"
65 /* Defined in svr4.h. */
67 #define STARTFILE_SPEC "crt0%O%s crtbegin%O%s"
69 /* Defined in svr4.h. */
71 #define ENDFILE_SPEC "crtend%O%s"
73 /* Defined in svr4.h for host compilers. */
74 /* #define MD_EXEC_PREFIX "" */
76 /* Defined in svr4.h for host compilers. */
77 /* #define MD_STARTFILE_PREFIX "" */
80 /* Run-time target specifications */
82 #define CPP_PREDEFINES "-D__D30V__ -Amachine=d30v"
84 /* This declaration should be present. */
85 extern int target_flags;
87 #define MASK_NO_COND_MOVE 0x00000001 /* disable conditional moves */
89 #define MASK_DEBUG_ARG 0x10000000 /* debug argument handling */
90 #define MASK_DEBUG_STACK 0x20000000 /* debug stack allocations */
91 #define MASK_DEBUG_ADDR 0x40000000 /* debug GO_IF_LEGITIMATE_ADDRESS */
93 #define TARGET_NO_COND_MOVE (target_flags & MASK_NO_COND_MOVE)
94 #define TARGET_DEBUG_ARG (target_flags & MASK_DEBUG_ARG)
95 #define TARGET_DEBUG_STACK (target_flags & MASK_DEBUG_STACK)
96 #define TARGET_DEBUG_ADDR (target_flags & MASK_DEBUG_ADDR)
98 #define TARGET_COND_MOVE (! TARGET_NO_COND_MOVE)
100 /* Default switches used. */
101 #ifndef TARGET_DEFAULT
102 #define TARGET_DEFAULT 0
105 #define TARGET_SWITCHES \
107 { "cond-move", -MASK_NO_COND_MOVE, \
108 N_("Enable use of conditional move instructions") }, \
110 { "no-cond-move", MASK_NO_COND_MOVE, \
111 N_("Disable use of conditional move instructions") }, \
113 { "debug-arg", MASK_DEBUG_ARG, \
114 N_("Debug argument support in compiler") }, \
116 { "debug-stack", MASK_DEBUG_STACK, \
117 N_("Debug stack support in compiler") }, \
119 { "debug-addr", MASK_DEBUG_ADDR, \
120 N_("Debug memory address support in compiler") }, \
122 { "asm-optimize", 0, \
123 N_("Make adjacent short instructions parallel if possible") }, \
125 { "no-asm-optimize", 0, \
126 N_("Do not make adjacent short instructions parallel") }, \
129 N_("Link programs/data to be in external memory by default") }, \
132 N_("Link programs/data to be in external memory by default") }, \
135 N_("Link programs/data to be in onchip memory by default") }, \
137 { "", TARGET_DEFAULT, "" }, \
140 #define TARGET_OPTIONS \
142 {"branch-cost=", &d30v_branch_cost_string, \
143 N_("Change the branch costs within the compiler") }, \
145 {"cond-exec=", &d30v_cond_exec_string, \
146 N_("Change the threshold for conversion to conditional execution") }, \
149 #define TARGET_VERSION fprintf (stderr, " d30v")
151 #define OVERRIDE_OPTIONS override_options ()
153 #define CAN_DEBUG_WITHOUT_FP
158 #define BITS_BIG_ENDIAN 1
160 #define BYTES_BIG_ENDIAN 1
162 #define WORDS_BIG_ENDIAN 1
164 #define UNITS_PER_WORD 4
166 #define PROMOTE_MODE(MODE,UNSIGNEDP,TYPE) \
168 if (GET_MODE_CLASS (MODE) == MODE_INT \
169 && GET_MODE_SIZE (MODE) < 4) \
173 #define PARM_BOUNDARY 32
175 #define STACK_BOUNDARY 64
177 #define FUNCTION_BOUNDARY 64
179 #define BIGGEST_ALIGNMENT 64
181 /* Defined in svr4.h. */
182 /* #define MAX_OFILE_ALIGNMENT */
184 #define DATA_ALIGNMENT(TYPE, ALIGN) \
185 (TREE_CODE (TYPE) == ARRAY_TYPE \
186 && TYPE_MODE (TREE_TYPE (TYPE)) == QImode \
187 && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
189 #define CONSTANT_ALIGNMENT(EXP, ALIGN) \
190 (TREE_CODE (EXP) == STRING_CST \
191 && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
193 #define STRICT_ALIGNMENT 1
195 /* Defined in svr4.h. */
197 #define PCC_BITFIELD_TYPE_MATTERS 1
199 #define TARGET_FLOAT_FORMAT IEEE_FLOAT_FORMAT
202 /* Layout of Source Language Data Types */
204 #define INT_TYPE_SIZE 32
206 #define SHORT_TYPE_SIZE 16
208 #define LONG_TYPE_SIZE 32
210 #define LONG_LONG_TYPE_SIZE 64
212 #define FLOAT_TYPE_SIZE 32
214 #define DOUBLE_TYPE_SIZE 64
216 #define LONG_DOUBLE_TYPE_SIZE 64
218 #define DEFAULT_SIGNED_CHAR 1
220 /* Defined in svr4.h. */
221 /* #define SIZE_TYPE */
223 /* Defined in svr4.h. */
224 /* #define PTRDIFF_TYPE */
226 /* Defined in svr4.h. */
227 /* #define WCHAR_TYPE */
229 /* Defined in svr4.h. */
230 /* #define WCHAR_TYPE_SIZE */
233 /* D30V register layout. */
235 /* Return true if a value is inside a range */
236 #define IN_RANGE_P(VALUE, LOW, HIGH) \
237 (((unsigned)((VALUE) - (LOW))) <= ((unsigned)((HIGH) - (LOW))))
239 /* General purpose registers. */
240 #define GPR_FIRST 0 /* First gpr */
241 #define GPR_LAST (GPR_FIRST + 63) /* Last gpr */
242 #define GPR_R0 GPR_FIRST /* R0, constant 0 */
243 #define GPR_ARG_FIRST (GPR_FIRST + 2) /* R2, first argument reg */
244 #define GPR_ARG_LAST (GPR_FIRST + 17) /* R17, last argument reg */
245 #define GPR_RET_VALUE GPR_ARG_FIRST /* R2, function return reg */
246 #define GPR_ATMP_FIRST (GPR_FIRST + 20) /* R20, tmp to save accs */
247 #define GPR_ATMP_LAST (GPR_FIRST + 21) /* R21, tmp to save accs */
248 #define GPR_STACK_TMP (GPR_FIRST + 22) /* R22, tmp for saving stack */
249 #define GPR_RES_FIRST (GPR_FIRST + 32) /* R32, first reserved reg */
250 #define GPR_RES_LAST (GPR_FIRST + 35) /* R35, last reserved reg */
251 #define GPR_FP (GPR_FIRST + 61) /* Frame pointer */
252 #define GPR_LINK (GPR_FIRST + 62) /* Return address register */
253 #define GPR_SP (GPR_FIRST + 63) /* Stack pointer */
255 /* Argument register that is eliminated in favor of the frame and/or stack
256 pointer. Also add register to point to where the return address is
258 #define SPECIAL_REG_FIRST (GPR_LAST + 1)
259 #define SPECIAL_REG_LAST (SPECIAL_REG_FIRST)
260 #define ARG_POINTER_REGNUM (SPECIAL_REG_FIRST + 0)
261 #define SPECIAL_REG_P(R) ((R) == SPECIAL_REG_FIRST)
263 #define GPR_OR_SPECIAL_REG_P(R) IN_RANGE_P (R, GPR_FIRST, SPECIAL_REG_LAST)
264 #define GPR_P(R) IN_RANGE_P (R, GPR_FIRST, GPR_LAST)
265 #define GPR_OR_PSEUDO_P(R) (GPR_OR_SPECIAL_REG_P (R) \
266 || (R) >= FIRST_PSEUDO_REGISTER)
269 #define FLAG_FIRST (SPECIAL_REG_LAST + 1) /* First flag */
270 #define FLAG_LAST (FLAG_FIRST + 7) /* Last flag */
271 #define FLAG_F0 (FLAG_FIRST) /* F0, used in prediction */
272 #define FLAG_F1 (FLAG_FIRST + 1) /* F1, used in prediction */
273 #define FLAG_F2 (FLAG_FIRST + 2) /* F2, general flag */
274 #define FLAG_F3 (FLAG_FIRST + 3) /* F3, general flag */
275 #define FLAG_SAT (FLAG_FIRST + 4) /* F4, saturation flag */
276 #define FLAG_OVERFLOW (FLAG_FIRST + 5) /* F5, overflow flag */
277 #define FLAG_ACC_OVER (FLAG_FIRST + 6) /* F6, accumulated overflow */
278 #define FLAG_CARRY (FLAG_FIRST + 7) /* F7, carry/borrow flag */
279 #define FLAG_BORROW FLAG_CARRY
281 #define FLAG_P(R) IN_RANGE_P (R, FLAG_FIRST, FLAG_LAST)
282 #define FLAG_OR_PSEUDO_P(R) (FLAG_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
284 #define BR_FLAG_P(R) IN_RANGE_P (R, FLAG_F0, FLAG_F1)
285 #define BR_FLAG_OR_PSEUDO_P(R) (BR_FLAG_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
288 #define ACCUM_FIRST (FLAG_LAST + 1) /* First accumulator */
289 #define ACCUM_A0 ACCUM_FIRST /* Register A0 */
290 #define ACCUM_A1 (ACCUM_FIRST + 1) /* Register A1 */
291 #define ACCUM_LAST (ACCUM_FIRST + 1) /* Last accumulator */
293 #define ACCUM_P(R) IN_RANGE_P (R, ACCUM_FIRST, ACCUM_LAST)
294 #define ACCUM_OR_PSEUDO_P(R) (ACCUM_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
296 /* Special registers. Note, we only define the registers that can actually
298 #define CR_FIRST (ACCUM_LAST + 1) /* First CR */
299 #define CR_LAST (CR_FIRST + 14) /* Last CR */
300 #define CR_PSW (CR_FIRST + 0) /* CR0, Program status word */
301 #define CR_BPSW (CR_FIRST + 1) /* CR1, Backup PSW */
302 #define CR_PC (CR_FIRST + 2) /* CR2, Program counter */
303 #define CR_BPC (CR_FIRST + 3) /* CR3, Backup PC */
304 #define CR_DPSW (CR_FIRST + 4) /* CR4, Debug PSW */
305 #define CR_DPC (CR_FIRST + 5) /* CR5, Debug PC */
306 #define CR_RPT_C (CR_FIRST + 6) /* CR7, loop count register */
307 #define CR_RPT_S (CR_FIRST + 7) /* CR8, loop start address */
308 #define CR_RPT_E (CR_FIRST + 8) /* CR9, loop end address */
309 #define CR_MOD_S (CR_FIRST + 9) /* CR10, modulo address start*/
310 #define CR_MOD_E (CR_FIRST + 10) /* CR11, modulo address */
311 #define CR_IBA (CR_FIRST + 11) /* CR14, Interrupt break addr */
312 #define CR_EIT_VB (CR_FIRST + 12) /* CR15, EIT vector address */
313 #define CR_INT_S (CR_FIRST + 13) /* CR16, Interrupt status */
314 #define CR_INT_M (CR_FIRST + 14) /* CR17, Interrupt mask */
316 #define CR_P(R) IN_RANGE_P (R, CR_FIRST, CR_LAST)
317 #define CR_OR_PSEUDO_P(R) (CR_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
320 /* Register Basics */
322 /* Number of hardware registers known to the compiler. They receive numbers 0
323 through `FIRST_PSEUDO_REGISTER-1'; thus, the first pseudo register's number
324 really is assigned the number `FIRST_PSEUDO_REGISTER'. */
325 #define FIRST_PSEUDO_REGISTER (CR_LAST + 1)
327 /* An initializer that says which registers are used for fixed purposes all
328 throughout the compiled code and are therefore not available for general
329 allocation. These would include the stack pointer, the frame pointer
330 (except on machines where that can be used as a general register when no
331 frame pointer is needed), the program counter on machines where that is
332 considered one of the addressable registers, and any other numbered register
335 This information is expressed as a sequence of numbers, separated by commas
336 and surrounded by braces. The Nth number is 1 if register N is fixed, 0
339 The table initialized from this macro, and the table initialized by the
340 following one, may be overridden at run time either automatically, by the
341 actions of the macro `CONDITIONAL_REGISTER_USAGE', or by the user with the
342 command options `-ffixed-REG', `-fcall-used-REG' and `-fcall-saved-REG'. */
343 #define FIXED_REGISTERS \
345 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* R0 - R15 */ \
346 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, /* R16 - R31 */ \
347 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* R32 - R47 */ \
348 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, /* R48 - R63 */ \
350 0, 0, 0, 0, 1, 1, 1, 1, /* F0 - F7 */ \
351 0, 0, /* A0 - A1 */ \
352 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* CRs */ \
355 /* Like `FIXED_REGISTERS' but has 1 for each register that is clobbered (in
356 general) by function calls as well as for fixed registers. This macro
357 therefore identifies the registers that are not available for general
358 allocation of values that must live across function calls.
360 If a register has 0 in `CALL_USED_REGISTERS', the compiler automatically
361 saves it on function entry and restores it on function exit, if the register
362 is used within the function. */
363 #define CALL_USED_REGISTERS \
365 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* R0 - R15 */ \
366 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* R16 - R31 */ \
367 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* R32 - R47 */ \
368 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, /* R48 - R63 */ \
370 1, 1, 1, 1, 1, 1, 1, 1, /* F0 - F7 */ \
371 1, 0, /* A0 - A1 */ \
372 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* CRs */ \
375 /* Zero or more C statements that may conditionally modify two variables
376 `fixed_regs' and `call_used_regs' (both of type `char []') after they have
377 been initialized from the two preceding macros.
379 This is necessary in case the fixed or call-clobbered registers depend on
382 You need not define this macro if it has no work to do.
384 If the usage of an entire class of registers depends on the target flags,
385 you may indicate this to GCC by using this macro to modify `fixed_regs' and
386 `call_used_regs' to 1 for each of the registers in the classes which should
387 not be used by GCC. Also define the macro `REG_CLASS_FROM_LETTER' to return
388 `NO_REGS' if it is called with a letter for a class that shouldn't be used.
390 (However, if this class is not included in `GENERAL_REGS' and all of the
391 insn patterns whose constraints permit this class are controlled by target
392 switches, then GCC will automatically avoid using these registers when the
393 target switches are opposed to them.) */
394 /* #define CONDITIONAL_REGISTER_USAGE */
396 /* If this macro is defined and has a nonzero value, it means that `setjmp' and
397 related functions fail to save the registers, or that `longjmp' fails to
398 restore them. To compensate, the compiler avoids putting variables in
399 registers in functions that use `setjmp'. */
400 /* #define NON_SAVING_SETJMP */
402 /* Define this macro if the target machine has register windows. This C
403 expression returns the register number as seen by the called function
404 corresponding to the register number OUT as seen by the calling function.
405 Return OUT if register number OUT is not an outbound register. */
406 /* #define INCOMING_REGNO(OUT) */
408 /* Define this macro if the target machine has register windows. This C
409 expression returns the register number as seen by the calling function
410 corresponding to the register number IN as seen by the called function.
411 Return IN if register number IN is not an inbound register. */
412 /* #define OUTGOING_REGNO(IN) */
415 /* Order of allocation of registers */
417 /* If defined, an initializer for a vector of integers, containing the numbers
418 of hard registers in the order in which GNU CC should prefer to use them
419 (from most preferred to least).
421 If this macro is not defined, registers are used lowest numbered first (all
424 One use of this macro is on machines where the highest numbered registers
425 must always be saved and the save-multiple-registers instruction supports
426 only sequences of consecutive registers. On such machines, define
427 `REG_ALLOC_ORDER' to be an initializer that lists the highest numbered
428 allocatable register first. */
430 #define REG_ALLOC_ORDER \
432 /* volatile registers */ \
433 GPR_FIRST + 2, GPR_FIRST + 3, GPR_FIRST + 4, GPR_FIRST + 5, \
434 GPR_FIRST + 6, GPR_FIRST + 7, GPR_FIRST + 8, GPR_FIRST + 9, \
435 GPR_FIRST + 10, GPR_FIRST + 11, GPR_FIRST + 12, GPR_FIRST + 13, \
436 GPR_FIRST + 14, GPR_FIRST + 15, GPR_FIRST + 16, GPR_FIRST + 17, \
437 GPR_FIRST + 18, GPR_FIRST + 19, GPR_FIRST + 20, GPR_FIRST + 21, \
438 GPR_FIRST + 22, GPR_FIRST + 23, GPR_FIRST + 24, GPR_FIRST + 25, \
441 /* saved registers */ \
442 GPR_FIRST + 34, GPR_FIRST + 35, GPR_FIRST + 36, GPR_FIRST + 37, \
443 GPR_FIRST + 38, GPR_FIRST + 39, GPR_FIRST + 40, GPR_FIRST + 41, \
444 GPR_FIRST + 42, GPR_FIRST + 43, GPR_FIRST + 44, GPR_FIRST + 45, \
445 GPR_FIRST + 46, GPR_FIRST + 47, GPR_FIRST + 48, GPR_FIRST + 49, \
446 GPR_FIRST + 50, GPR_FIRST + 51, GPR_FIRST + 52, GPR_FIRST + 53, \
447 GPR_FIRST + 54, GPR_FIRST + 55, GPR_FIRST + 56, GPR_FIRST + 57, \
448 GPR_FIRST + 58, GPR_FIRST + 59, GPR_FIRST + 60, GPR_FIRST + 61, \
452 FLAG_F2, FLAG_F3, FLAG_F0, FLAG_F1, \
453 FLAG_SAT, FLAG_OVERFLOW, FLAG_ACC_OVER, FLAG_CARRY, \
456 ACCUM_FIRST + 0, ACCUM_FIRST + 1, \
458 /* fixed registers */ \
459 GPR_FIRST + 0, GPR_FIRST + 26, GPR_FIRST + 27, GPR_FIRST + 28, \
460 GPR_FIRST + 29, GPR_FIRST + 30, GPR_FIRST + 31, GPR_FIRST + 32, \
461 GPR_FIRST + 33, GPR_FIRST + 63, \
462 CR_PSW, CR_BPSW, CR_PC, CR_BPC, \
463 CR_DPSW, CR_DPC, CR_RPT_C, CR_RPT_S, \
464 CR_RPT_E, CR_MOD_S, CR_MOD_E, CR_IBA, \
465 CR_EIT_VB, CR_INT_S, CR_INT_M, \
466 ARG_POINTER_REGNUM, \
469 /* A C statement (sans semicolon) to choose the order in which to allocate hard
470 registers for pseudo-registers local to a basic block.
472 Store the desired register order in the array `reg_alloc_order'. Element 0
473 should be the register to allocate first; element 1, the next register; and
476 The macro body should not assume anything about the contents of
477 `reg_alloc_order' before execution of the macro.
479 On most machines, it is not necessary to define this macro. */
480 /* #define ORDER_REGS_FOR_LOCAL_ALLOC */
483 /* How Values Fit in Registers */
485 /* A C expression for the number of consecutive hard registers, starting at
486 register number REGNO, required to hold a value of mode MODE.
488 On a machine where all registers are exactly one word, a suitable definition
491 #define HARD_REGNO_NREGS(REGNO, MODE) \
492 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) \
493 / UNITS_PER_WORD)) */
495 #define HARD_REGNO_NREGS(REGNO, MODE) \
496 (ACCUM_P (REGNO) ? ((GET_MODE_SIZE (MODE) + 2*UNITS_PER_WORD - 1) \
497 / (2*UNITS_PER_WORD)) \
498 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) \
501 /* A C expression that is nonzero if it is permissible to store a value of mode
502 MODE in hard register number REGNO (or in several registers starting with
503 that one). For a machine where all registers are equivalent, a suitable
506 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
508 It is not necessary for this macro to check for the numbers of fixed
509 registers, because the allocation mechanism considers them to be always
512 On some machines, double-precision values must be kept in even/odd register
513 pairs. The way to implement that is to define this macro to reject odd
514 register numbers for such modes.
516 The minimum requirement for a mode to be OK in a register is that the
517 `movMODE' instruction pattern support moves between the register and any
518 other hard register for which the mode is OK; and that moving a value into
519 the register and back out not alter it.
521 Since the same instruction used to move `SImode' will work for all narrower
522 integer modes, it is not necessary on any machine for `HARD_REGNO_MODE_OK'
523 to distinguish between these modes, provided you define patterns `movhi',
524 etc., to take advantage of this. This is useful because of the interaction
525 between `HARD_REGNO_MODE_OK' and `MODES_TIEABLE_P'; it is very desirable for
526 all integer modes to be tieable.
528 Many machines have special registers for floating point arithmetic. Often
529 people assume that floating point machine modes are allowed only in floating
530 point registers. This is not true. Any registers that can hold integers
531 can safely *hold* a floating point machine mode, whether or not floating
532 arithmetic can be done on it in those registers. Integer move instructions
533 can be used to move the values.
535 On some machines, though, the converse is true: fixed-point machine modes
536 may not go in floating registers. This is true if the floating registers
537 normalize any value stored in them, because storing a non-floating value
538 there would garble it. In this case, `HARD_REGNO_MODE_OK' should reject
539 fixed-point machine modes in floating registers. But if the floating
540 registers do not automatically normalize, if you can store any bit pattern
541 in one and retrieve it unchanged without a trap, then any machine mode may
542 go in a floating register, so you can define this macro to say so.
544 The primary significance of special floating registers is rather that they
545 are the registers acceptable in floating point arithmetic instructions.
546 However, this is of no concern to `HARD_REGNO_MODE_OK'. You handle it by
547 writing the proper constraints for those instructions.
549 On some machines, the floating registers are especially slow to access, so
550 that it is better to store a value in a stack frame than in such a register
551 if floating point arithmetic is not being done. As long as the floating
552 registers are not in class `GENERAL_REGS', they will not be used unless some
553 pattern's constraint asks for one. */
555 extern unsigned char hard_regno_mode_ok[][FIRST_PSEUDO_REGISTER];
556 #define HARD_REGNO_MODE_OK(REGNO, MODE) hard_regno_mode_ok[ (int)MODE ][ REGNO ]
558 /* A C expression that is nonzero if it is desirable to choose register
559 allocation so as to avoid move instructions between a value of mode MODE1
560 and a value of mode MODE2.
562 If `HARD_REGNO_MODE_OK (R, MODE1)' and `HARD_REGNO_MODE_OK (R, MODE2)' are
563 ever different for any R, then `MODES_TIEABLE_P (MODE1, MODE2)' must be
566 extern unsigned char modes_tieable_p[];
567 #define MODES_TIEABLE_P(MODE1, MODE2) \
568 modes_tieable_p[ (((int)(MODE1)) * (NUM_MACHINE_MODES)) + (int)(MODE2) ]
570 /* Define this macro if the compiler should avoid copies to/from CCmode
571 registers. You should only define this macro if support fo copying to/from
572 CCmode is incomplete. */
574 /* On the D30V, copying to/from CCmode is complete, but since there are only
575 two CC registers usable for conditional tests, this helps gcse not compound
576 the reload problem. */
577 #define AVOID_CCMODE_COPIES
580 /* Handling Leaf Functions */
582 /* A C initializer for a vector, indexed by hard register number, which
583 contains 1 for a register that is allowable in a candidate for leaf function
586 If leaf function treatment involves renumbering the registers, then the
587 registers marked here should be the ones before renumbering--those that GNU
588 CC would ordinarily allocate. The registers which will actually be used in
589 the assembler code, after renumbering, should not be marked with 1 in this
592 Define this macro only if the target machine offers a way to optimize the
593 treatment of leaf functions. */
594 /* #define LEAF_REGISTERS */
596 /* A C expression whose value is the register number to which REGNO should be
597 renumbered, when a function is treated as a leaf function.
599 If REGNO is a register number which should not appear in a leaf function
600 before renumbering, then the expression should yield -1, which will cause
601 the compiler to abort.
603 Define this macro only if the target machine offers a way to optimize the
604 treatment of leaf functions, and registers need to be renumbered to do this. */
605 /* #define LEAF_REG_REMAP(REGNO) */
608 /* Registers That Form a Stack. */
610 /* Define this if the machine has any stack-like registers. */
611 /* #define STACK_REGS */
613 /* The number of the first stack-like register. This one is the top
615 /* #define FIRST_STACK_REG */
617 /* The number of the last stack-like register. This one is the
618 bottom of the stack. */
619 /* #define LAST_STACK_REG */
622 /* Register Classes */
624 /* An enumeral type that must be defined with all the register class names as
625 enumeral values. `NO_REGS' must be first. `ALL_REGS' must be the last
626 register class, followed by one more enumeral value, `LIM_REG_CLASSES',
627 which is not a register class but rather tells how many classes there are.
629 Each register class has a number, which is the value of casting the class
630 name to type `int'. The number serves as an index in many of the tables
649 #define GENERAL_REGS GPR_REGS
651 /* The number of distinct register classes, defined as follows:
653 #define N_REG_CLASSES (int) LIM_REG_CLASSES */
654 #define N_REG_CLASSES ((int) LIM_REG_CLASSES)
656 /* An initializer containing the names of the register classes as C string
657 constants. These names are used in writing some of the debugging dumps. */
658 #define REG_CLASS_NAMES \
674 /* Create mask bits for 3rd word of REG_CLASS_CONTENTS */
675 #define MASK_WORD3(REG) ((long)1 << ((REG) - 64))
678 #define REPEAT_MASK MASK_WORD3 (CR_RPT_C)
679 #define CR_MASK (MASK_WORD3 (CR_PSW) | MASK_WORD3 (CR_BPSW) \
680 | MASK_WORD3 (CR_PC) | MASK_WORD3 (CR_BPC) \
681 | MASK_WORD3 (CR_DPSW) | MASK_WORD3 (CR_DPC) \
682 | MASK_WORD3 (CR_RPT_C) | MASK_WORD3 (CR_RPT_S) \
683 | MASK_WORD3 (CR_RPT_E) | MASK_WORD3 (CR_MOD_S) \
684 | MASK_WORD3 (CR_MOD_E) | MASK_WORD3 (CR_IBA) \
685 | MASK_WORD3 (CR_EIT_VB) | MASK_WORD3 (CR_INT_S) \
686 | MASK_WORD3 (CR_INT_M))
688 #define ACCUM_MASK (MASK_WORD3 (ACCUM_A0) | MASK_WORD3 (ACCUM_A1))
689 #define OTHER_FLAG_MASK (MASK_WORD3 (FLAG_F2) | MASK_WORD3 (FLAG_F3) \
690 | MASK_WORD3 (FLAG_SAT) | MASK_WORD3 (FLAG_OVERFLOW) \
691 | MASK_WORD3 (FLAG_ACC_OVER) | MASK_WORD3 (FLAG_CARRY))
693 #define F0_MASK MASK_WORD3 (FLAG_F0)
694 #define F1_MASK MASK_WORD3 (FLAG_F1)
695 #define BR_FLAG_MASK (F0_MASK | F1_MASK)
696 #define FLAG_MASK (BR_FLAG_MASK | OTHER_FLAG_MASK)
697 #define SPECIAL_MASK MASK_WORD3 (ARG_POINTER_REGNUM)
699 #define ALL_MASK (CR_MASK | ACCUM_MASK | FLAG_MASK | SPECIAL_MASK)
701 /* An initializer containing the contents of the register classes, as integers
702 which are bit masks. The Nth integer specifies the contents of class N.
703 The way the integer MASK is interpreted is that register R is in the class
704 if `MASK & (1 << R)' is 1.
706 When the machine has more than 32 registers, an integer does not suffice.
707 Then the integers are replaced by sub-initializers, braced groupings
708 containing several integers. Each sub-initializer must be suitable as an
709 initializer for the type `HARD_REG_SET' which is defined in
711 #define REG_CLASS_CONTENTS \
713 { 0x00000000, 0x00000000, NO_MASK }, /* NO_REGS */ \
714 { 0x00000000, 0x00000000, REPEAT_MASK }, /* REPEAT_REGS */ \
715 { 0x00000000, 0x00000000, CR_MASK }, /* CR_REGS */ \
716 { 0x00000000, 0x00000000, ACCUM_MASK }, /* ACCUM_REGS */ \
717 { 0x00000000, 0x00000000, OTHER_FLAG_MASK }, /* OTHER_FLAG_REGS */ \
718 { 0x00000000, 0x00000000, F0_MASK }, /* F0_REGS */ \
719 { 0x00000000, 0x00000000, F1_MASK }, /* F1_REGS */ \
720 { 0x00000000, 0x00000000, BR_FLAG_MASK }, /* BR_FLAG_REGS */ \
721 { 0x00000000, 0x00000000, FLAG_MASK }, /* FLAG_REGS */ \
722 { 0xfffffffc, 0x3fffffff, NO_MASK }, /* EVEN_REGS */ \
723 { 0xffffffff, 0xffffffff, SPECIAL_MASK }, /* GPR_REGS */ \
724 { 0xffffffff, 0xffffffff, ALL_MASK }, /* ALL_REGS */ \
727 /* A C expression whose value is a register class containing hard register
728 REGNO. In general there is more than one such class; choose a class which
729 is "minimal", meaning that no smaller class also contains the register. */
731 extern enum reg_class regno_reg_class[FIRST_PSEUDO_REGISTER];
732 #define REGNO_REG_CLASS(REGNO) regno_reg_class[ (REGNO) ]
734 /* A macro whose definition is the name of the class to which a valid base
735 register must belong. A base register is one used in an address which is
736 the register value plus a displacement. */
737 #define BASE_REG_CLASS GPR_REGS
739 /* A macro whose definition is the name of the class to which a valid index
740 register must belong. An index register is one used in an address where its
741 value is either multiplied by a scale factor or added to another register
742 (as well as added to a displacement). */
743 #define INDEX_REG_CLASS GPR_REGS
745 /* A C expression which defines the machine-dependent operand constraint
746 letters for register classes. If CHAR is such a letter, the value should be
747 the register class corresponding to it. Otherwise, the value should be
748 `NO_REGS'. The register letter `r', corresponding to class `GENERAL_REGS',
749 will not be passed to this macro; you do not need to handle it.
751 The following letters are unavailable, due to being used as
756 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P'
757 'Q', 'R', 'S', 'T', 'U'
759 'g', 'i', 'm', 'n', 'o', 'p', 'r', 's' */
761 extern enum reg_class reg_class_from_letter[256];
762 #define REG_CLASS_FROM_LETTER(CHAR) reg_class_from_letter[(unsigned char)(CHAR)]
764 /* A C expression which is nonzero if register number NUM is suitable for use
765 as a base register in operand addresses. It may be either a suitable hard
766 register or a pseudo register that has been allocated such a hard register. */
768 #define REGNO_OK_FOR_BASE_P(NUM) \
769 ((NUM) < FIRST_PSEUDO_REGISTER \
771 : (reg_renumber[NUM] >= 0 && GPR_P (reg_renumber[NUM])))
774 /* A C expression which is nonzero if register number NUM is suitable for use
775 as an index register in operand addresses. It may be either a suitable hard
776 register or a pseudo register that has been allocated such a hard register.
778 The difference between an index register and a base register is that the
779 index register may be scaled. If an address involves the sum of two
780 registers, neither one of them scaled, then either one may be labeled the
781 "base" and the other the "index"; but whichever labeling is used must fit
782 the machine's constraints of which registers may serve in each capacity.
783 The compiler will try both labelings, looking for one that is valid, and
784 will reload one or both registers only if neither labeling works. */
786 #define REGNO_OK_FOR_INDEX_P(NUM) \
787 ((NUM) < FIRST_PSEUDO_REGISTER \
789 : (reg_renumber[NUM] >= 0 && GPR_P (reg_renumber[NUM])))
791 /* A C expression that places additional restrictions on the register class to
792 use when it is necessary to copy value X into a register in class CLASS.
793 The value is a register class; perhaps CLASS, or perhaps another, smaller
794 class. On many machines, the following definition is safe:
796 #define PREFERRED_RELOAD_CLASS(X,CLASS) CLASS
798 Sometimes returning a more restrictive class makes better code. For
799 example, on the 68000, when X is an integer constant that is in range for a
800 `moveq' instruction, the value of this macro is always `DATA_REGS' as long
801 as CLASS includes the data registers. Requiring a data register guarantees
802 that a `moveq' will be used.
804 If X is a `const_double', by returning `NO_REGS' you can force X into a
805 memory constant. This is useful on certain machines where immediate
806 floating values cannot be loaded into certain kinds of registers. */
807 #define PREFERRED_RELOAD_CLASS(X, CLASS) CLASS
809 /* Like `PREFERRED_RELOAD_CLASS', but for output reloads instead of input
810 reloads. If you don't define this macro, the default is to use CLASS,
812 /* #define PREFERRED_OUTPUT_RELOAD_CLASS(X, CLASS) */
814 /* A C expression that places additional restrictions on the register class to
815 use when it is necessary to be able to hold a value of mode MODE in a reload
816 register for which class CLASS would ordinarily be used.
818 Unlike `PREFERRED_RELOAD_CLASS', this macro should be used when there are
819 certain modes that simply can't go in certain reload classes.
821 The value is a register class; perhaps CLASS, or perhaps another, smaller
824 Don't define this macro unless the target machine has limitations which
825 require the macro to do something nontrivial. */
826 /* #define LIMIT_RELOAD_CLASS(MODE, CLASS) */
828 /* Many machines have some registers that cannot be copied directly to or from
829 memory or even from other types of registers. An example is the `MQ'
830 register, which on most machines, can only be copied to or from general
831 registers, but not memory. Some machines allow copying all registers to and
832 from memory, but require a scratch register for stores to some memory
833 locations (e.g., those with symbolic address on the RT, and those with
834 certain symbolic address on the Sparc when compiling PIC). In some cases,
835 both an intermediate and a scratch register are required.
837 You should define these macros to indicate to the reload phase that it may
838 need to allocate at least one register for a reload in addition to the
839 register to contain the data. Specifically, if copying X to a register
840 CLASS in MODE requires an intermediate register, you should define
841 `SECONDARY_INPUT_RELOAD_CLASS' to return the largest register class all of
842 whose registers can be used as intermediate registers or scratch registers.
844 If copying a register CLASS in MODE to X requires an intermediate or scratch
845 register, `SECONDARY_OUTPUT_RELOAD_CLASS' should be defined to return the
846 largest register class required. If the requirements for input and output
847 reloads are the same, the macro `SECONDARY_RELOAD_CLASS' should be used
848 instead of defining both macros identically.
850 The values returned by these macros are often `GENERAL_REGS'. Return
851 `NO_REGS' if no spare register is needed; i.e., if X can be directly copied
852 to or from a register of CLASS in MODE without requiring a scratch register.
853 Do not define this macro if it would always return `NO_REGS'.
855 If a scratch register is required (either with or without an intermediate
856 register), you should define patterns for `reload_inM' or `reload_outM', as
857 required (*note Standard Names::.. These patterns, which will normally be
858 implemented with a `define_expand', should be similar to the `movM'
859 patterns, except that operand 2 is the scratch register.
861 Define constraints for the reload register and scratch register that contain
862 a single register class. If the original reload register (whose class is
863 CLASS) can meet the constraint given in the pattern, the value returned by
864 these macros is used for the class of the scratch register. Otherwise, two
865 additional reload registers are required. Their classes are obtained from
866 the constraints in the insn pattern.
868 X might be a pseudo-register or a `subreg' of a pseudo-register, which could
869 either be in a hard register or in memory. Use `true_regnum' to find out;
870 it will return -1 if the pseudo is in memory and the hard register number if
873 These macros should not be used in the case where a particular class of
874 registers can only be copied to memory and not to another class of
875 registers. In that case, secondary reload registers are not needed and
876 would not be helpful. Instead, a stack location must be used to perform the
877 copy and the `movM' pattern should use memory as an intermediate storage.
878 This case often occurs between floating-point and general registers. */
880 #define SECONDARY_RELOAD_CLASS(CLASS, MODE, X) \
881 ((CLASS) == GPR_REGS ? NO_REGS \
882 : (CLASS) == EVEN_REGS ? NO_REGS \
883 : (CLASS) == ACCUM_REGS ? EVEN_REGS \
886 /* #define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, X) */
887 /* #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS, MODE, X) */
889 /* Certain machines have the property that some registers cannot be copied to
890 some other registers without using memory. Define this macro on those
891 machines to be a C expression that is non-zero if objects of mode M in
892 registers of CLASS1 can only be copied to registers of class CLASS2 by
893 storing a register of CLASS1 into memory and loading that memory location
894 into a register of CLASS2.
896 Do not define this macro if its value would always be zero. */
897 /* #define SECONDARY_MEMORY_NEEDED(CLASS1, CLASS2, M) */
899 /* Normally when `SECONDARY_MEMORY_NEEDED' is defined, the compiler allocates a
900 stack slot for a memory location needed for register copies. If this macro
901 is defined, the compiler instead uses the memory location defined by this
904 Do not define this macro if you do not define
905 `SECONDARY_MEMORY_NEEDED'. */
906 /* #define SECONDARY_MEMORY_NEEDED_RTX(MODE) */
908 /* When the compiler needs a secondary memory location to copy between two
909 registers of mode MODE, it normally allocates sufficient memory to hold a
910 quantity of `BITS_PER_WORD' bits and performs the store and load operations
911 in a mode that many bits wide and whose class is the same as that of MODE.
913 This is right thing to do on most machines because it ensures that all bits
914 of the register are copied and prevents accesses to the registers in a
915 narrower mode, which some machines prohibit for floating-point registers.
917 However, this default behavior is not correct on some machines, such as the
918 DEC Alpha, that store short integers in floating-point registers differently
919 than in integer registers. On those machines, the default widening will not
920 work correctly and you must define this macro to suppress that widening in
921 some cases. See the file `alpha.h' for details.
923 Do not define this macro if you do not define `SECONDARY_MEMORY_NEEDED' or
924 if widening MODE to a mode that is `BITS_PER_WORD' bits wide is correct for
926 /* #define SECONDARY_MEMORY_NEEDED_MODE(MODE) */
928 /* Normally the compiler avoids choosing registers that have been explicitly
929 mentioned in the rtl as spill registers (these registers are normally those
930 used to pass parameters and return values). However, some machines have so
931 few registers of certain classes that there would not be enough registers to
932 use as spill registers if this were done.
934 Define `SMALL_REGISTER_CLASSES' to be an expression with a non-zero value on
935 these machines. When this macro has a non-zero value, the compiler allows
936 registers explicitly used in the rtl to be used as spill registers but
937 avoids extending the lifetime of these registers.
939 It is always safe to define this macro with a non-zero value, but if you
940 unnecessarily define it, you will reduce the amount of optimizations that
941 can be performed in some cases. If you do not define this macro with a
942 non-zero value when it is required, the compiler will run out of spill
943 registers and print a fatal error message. For most machines, you should
944 not define this macro at all. */
945 /* #define SMALL_REGISTER_CLASSES */
947 /* A C expression whose value is nonzero if pseudos that have been assigned to
948 registers of class CLASS would likely be spilled because registers of CLASS
949 are needed for spill registers.
951 The default value of this macro returns 1 if CLASS has exactly one register
952 and zero otherwise. On most machines, this default should be used. Only
953 define this macro to some other expression if pseudo allocated by
954 `local-alloc.c' end up in memory because their hard registers were needed
955 for spill registers. If this macro returns nonzero for those classes, those
956 pseudos will only be allocated by `global.c', which knows how to reallocate
957 the pseudo to another register. If there would not be another register
958 available for reallocation, you should not change the definition of this
959 macro since the only effect of such a definition would be to slow down
960 register allocation. */
961 #define CLASS_LIKELY_SPILLED_P(CLASS) \
962 ((CLASS) != GPR_REGS && (CLASS) != EVEN_REGS)
964 /* A C expression for the maximum number of consecutive registers of
965 class CLASS needed to hold a value of mode MODE.
967 This is closely related to the macro `HARD_REGNO_NREGS'. In fact, the value
968 of the macro `CLASS_MAX_NREGS (CLASS, MODE)' should be the maximum value of
969 `HARD_REGNO_NREGS (REGNO, MODE)' for all REGNO values in the class CLASS.
971 This macro helps control the handling of multiple-word values in
974 #define CLASS_MAX_NREGS(CLASS, MODE) \
975 (((CLASS) == ACCUM_REGS) \
976 ? ((GET_MODE_SIZE (MODE) + 8 - 1) / 8) \
977 : ((GET_MODE_SIZE (MODE) + 4 - 1) / 4))
979 /* A C expression that defines the machine-dependent operand constraint letters
980 (`I', `J', `K', .. 'P') that specify particular ranges of integer values.
981 If C is one of those letters, the expression should check that VALUE, an
982 integer, is in the appropriate range and return 1 if so, 0 otherwise. If C
983 is not one of those letters, the value should be 0 regardless of VALUE. */
984 #define CONST_OK_FOR_LETTER_P(VALUE, C) \
985 ((C) == 'I' ? IN_RANGE_P (VALUE, -32, 31) \
986 : (C) == 'J' ? IN_RANGE_P (VALUE, 0, 31) \
987 : (C) == 'K' ? IN_RANGE_P (exact_log2 (VALUE), 0, 31) \
988 : (C) == 'L' ? IN_RANGE_P (exact_log2 (~ (VALUE)), 0, 31) \
989 : (C) == 'M' ? ((VALUE) == 32) \
990 : (C) == 'N' ? ((VALUE) == 1) \
991 : (C) == 'O' ? ((VALUE) == 0) \
992 : (C) == 'P' ? IN_RANGE_P (VALUE, 32, 63) \
995 /* A C expression that defines the machine-dependent operand constraint letters
996 (`G', `H') that specify particular ranges of `const_double' values.
998 If C is one of those letters, the expression should check that VALUE, an RTX
999 of code `const_double', is in the appropriate range and return 1 if so, 0
1000 otherwise. If C is not one of those letters, the value should be 0
1001 regardless of VALUE.
1003 `const_double' is used for all floating-point constants and for `DImode'
1004 fixed-point constants. A given letter can accept either or both kinds of
1005 values. It can use `GET_MODE' to distinguish between these kinds. */
1006 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
1007 ((C) == 'G' ? (CONST_DOUBLE_LOW (VALUE) == 0 \
1008 && CONST_DOUBLE_HIGH (VALUE) == 0) \
1009 : (C) == 'H' ? FALSE \
1012 /* A C expression that defines the optional machine-dependent constraint
1013 letters (`Q', `R', `S', `T', `U') that can be used to segregate specific
1014 types of operands, usually memory references, for the target machine.
1015 Normally this macro will not be defined. If it is required for a particular
1016 target machine, it should return 1 if VALUE corresponds to the operand type
1017 represented by the constraint letter C. If C is not defined as an extra
1018 constraint, the value returned should be 0 regardless of VALUE.
1020 For example, on the ROMP, load instructions cannot have their output in r0
1021 if the memory reference contains a symbolic address. Constraint letter `Q'
1022 is defined as representing a memory address that does *not* contain a
1023 symbolic address. An alternative is specified with a `Q' constraint on the
1024 input and `r' on the output. The next alternative specifies `m' on the
1025 input and a register class that does not include r0 on the output. */
1027 #define EXTRA_CONSTRAINT(VALUE, C) \
1028 (((C) == 'Q') ? short_memory_operand ((VALUE), GET_MODE (VALUE)) \
1029 : ((C) == 'R') ? single_reg_memory_operand ((VALUE), GET_MODE (VALUE)) \
1030 : ((C) == 'S') ? const_addr_memory_operand ((VALUE), GET_MODE (VALUE)) \
1031 : ((C) == 'T') ? long_memory_operand ((VALUE), GET_MODE (VALUE)) \
1032 : ((C) == 'U') ? FALSE \
1036 /* Basic Stack Layout */
1040 /* Structure used to define the d30v stack */
1041 typedef struct d30v_stack {
1042 int varargs_p; /* whether this is a varargs function */
1043 int varargs_size; /* size to hold varargs args passed in regs */
1044 int vars_size; /* variable save area size */
1045 int parm_size; /* outgoing parameter size */
1046 int gpr_size; /* size of saved GPR registers */
1047 int accum_size; /* size of saved ACCUM registers */
1048 int total_size; /* total bytes allocated for stack */
1049 /* which registers are to be saved */
1050 int save_offset; /* offset from new sp to start saving vars at */
1051 int link_offset; /* offset r62 is saved at */
1052 int memrefs_varargs; /* # of 2 word memory references for varargs */
1053 int memrefs_2words; /* # of 2 word memory references */
1054 int memrefs_1word; /* # of 1 word memory references */
1055 /* 1 for ldw/stw ops; 2 for ld2w/st2w ops */
1056 unsigned char save_p[FIRST_PSEUDO_REGISTER];
1059 /* Define this macro if pushing a word onto the stack moves the stack pointer
1060 to a smaller address.
1062 When we say, "define this macro if ...," it means that the compiler checks
1063 this macro only with `#ifdef' so the precise definition used does not
1065 #define STACK_GROWS_DOWNWARD 1
1067 /* Define this macro if the addresses of local variable slots are at negative
1068 offsets from the frame pointer. */
1069 /* #define FRAME_GROWS_DOWNWARD */
1071 /* Define this macro if successive arguments to a function occupy decreasing
1072 addresses on the stack. */
1073 /* #define ARGS_GROW_DOWNWARD */
1075 /* Offset from the frame pointer to the first local variable slot to be
1078 If `FRAME_GROWS_DOWNWARD', find the next slot's offset by subtracting the
1079 first slot's length from `STARTING_FRAME_OFFSET'. Otherwise, it is found by
1080 adding the length of the first slot to the value `STARTING_FRAME_OFFSET'. */
1082 #define STARTING_FRAME_OFFSET \
1083 (D30V_ALIGN (current_function_outgoing_args_size, \
1084 (STACK_BOUNDARY / BITS_PER_UNIT)))
1086 /* Offset from the stack pointer register to the first location at which
1087 outgoing arguments are placed. If not specified, the default value of zero
1088 is used. This is the proper value for most machines.
1090 If `ARGS_GROW_DOWNWARD', this is the offset to the location above the first
1091 location at which outgoing arguments are placed. */
1092 /* #define STACK_POINTER_OFFSET */
1094 /* Offset from the argument pointer register to the first argument's address.
1095 On some machines it may depend on the data type of the function.
1097 If `ARGS_GROW_DOWNWARD', this is the offset to the location above the first
1098 argument's address. */
1099 #define FIRST_PARM_OFFSET(FUNDECL) 0
1101 /* Offset from the stack pointer register to an item dynamically allocated on
1102 the stack, e.g., by `alloca'.
1104 The default value for this macro is `STACK_POINTER_OFFSET' plus the length
1105 of the outgoing arguments. The default is correct for most machines. See
1106 `function.c' for details. */
1107 /* #define STACK_DYNAMIC_OFFSET(FUNDECL) */
1109 /* A C expression whose value is RTL representing the address in a stack frame
1110 where the pointer to the caller's frame is stored. Assume that FRAMEADDR is
1111 an RTL expression for the address of the stack frame itself.
1113 If you don't define this macro, the default is to return the value of
1114 FRAMEADDR--that is, the stack frame address is also the address of the stack
1115 word that points to the previous frame. */
1116 /* #define DYNAMIC_CHAIN_ADDRESS(FRAMEADDR) */
1118 /* If defined, a C expression that produces the machine-specific code to setup
1119 the stack so that arbitrary frames can be accessed. For example, on the
1120 Sparc, we must flush all of the register windows to the stack before we can
1121 access arbitrary stack frames. This macro will seldom need to be defined. */
1122 /* #define SETUP_FRAME_ADDRESSES() */
1124 /* A C expression whose value is RTL representing the value of the return
1125 address for the frame COUNT steps up from the current frame, after the
1126 prologue. FRAMEADDR is the frame pointer of the COUNT frame, or the frame
1127 pointer of the COUNT - 1 frame if `RETURN_ADDR_IN_PREVIOUS_FRAME' is
1130 The value of the expression must always be the correct address when COUNT is
1131 zero, but may be `NULL_RTX' if there is not way to determine the return
1132 address of other frames. */
1134 /* ??? This definition fails for leaf functions. There is currently no
1135 general solution for this problem. */
1137 /* ??? There appears to be no way to get the return address of any previous
1138 frame except by disassembling instructions in the prologue/epilogue.
1139 So currently we support only the current frame. */
1141 #define RETURN_ADDR_RTX(COUNT, FRAME) \
1142 ((COUNT) == 0 ? d30v_return_addr() : const0_rtx)
1144 /* Define this if the return address of a particular stack frame is
1145 accessed from the frame pointer of the previous stack frame. */
1146 /* #define RETURN_ADDR_IN_PREVIOUS_FRAME */
1148 /* A C expression whose value is RTL representing the location of the incoming
1149 return address at the beginning of any function, before the prologue. This
1150 RTL is either a `REG', indicating that the return value is saved in `REG',
1151 or a `MEM' representing a location in the stack.
1153 You only need to define this macro if you want to support call frame
1154 debugging information like that provided by DWARF 2. */
1156 /* Before the prologue, RA lives in r62. */
1157 #define INCOMING_RETURN_ADDR_RTX gen_rtx (REG, Pmode, GPR_LINK)
1159 /* A C expression whose value is an integer giving the offset, in bytes, from
1160 the value of the stack pointer register to the top of the stack frame at the
1161 beginning of any function, before the prologue. The top of the frame is
1162 defined to be the value of the stack pointer in the previous frame, just
1163 before the call instruction.
1165 You only need to define this macro if you want to support call frame
1166 debugging information like that provided by DWARF 2. */
1167 #define INCOMING_FRAME_SP_OFFSET 0
1169 /* Initialize data used by insn expanders. This is called from insn_emit,
1170 once for every function before code is generated. */
1172 #define INIT_EXPANDERS d30v_init_expanders ()
1175 /* Stack Checking. */
1177 /* A nonzero value if stack checking is done by the configuration files in a
1178 machine-dependent manner. You should define this macro if stack checking is
1179 require by the ABI of your machine or if you would like to have to stack
1180 checking in some more efficient way than GNU CC's portable approach. The
1181 default value of this macro is zero. */
1182 /* #define STACK_CHECK_BUILTIN */
1184 /* An integer representing the interval at which GNU CC must generate stack
1185 probe instructions. You will normally define this macro to be no larger
1186 than the size of the "guard pages" at the end of a stack area. The default
1187 value of 4096 is suitable for most systems. */
1188 /* #define STACK_CHECK_PROBE_INTERVAL */
1190 /* An integer which is nonzero if GNU CC should perform the stack probe as a
1191 load instruction and zero if GNU CC should use a store instruction. The
1192 default is zero, which is the most efficient choice on most systems. */
1193 /* #define STACK_CHECK_PROBE_LOAD */
1195 /* The number of bytes of stack needed to recover from a stack overflow, for
1196 languages where such a recovery is supported. The default value of 75 words
1197 should be adequate for most machines. */
1198 /* #define STACK_CHECK_PROTECT */
1200 /* The maximum size of a stack frame, in bytes. GNU CC will generate probe
1201 instructions in non-leaf functions to ensure at least this many bytes of
1202 stack are available. If a stack frame is larger than this size, stack
1203 checking will not be reliable and GNU CC will issue a warning. The default
1204 is chosen so that GNU CC only generates one instruction on most systems.
1205 You should normally not change the default value of this macro. */
1206 /* #define STACK_CHECK_MAX_FRAME_SIZE */
1208 /* GNU CC uses this value to generate the above warning message. It represents
1209 the amount of fixed frame used by a function, not including space for any
1210 callee-saved registers, temporaries and user variables. You need only
1211 specify an upper bound for this amount and will normally use the default of
1213 /* #define STACK_CHECK_FIXED_FRAME_SIZE */
1215 /* The maximum size, in bytes, of an object that GNU CC will place in the fixed
1216 area of the stack frame when the user specifies `-fstack-check'. GNU CC
1217 computed the default from the values of the above macros and you will
1218 normally not need to override that default. */
1219 /* #define STACK_CHECK_MAX_VAR_SIZE */
1222 /* Register That Address the Stack Frame. */
1224 /* The register number of the stack pointer register, which must also be a
1225 fixed register according to `FIXED_REGISTERS'. On most machines, the
1226 hardware determines which register this is. */
1227 #define STACK_POINTER_REGNUM GPR_SP
1229 /* The register number of the frame pointer register, which is used to access
1230 automatic variables in the stack frame. On some machines, the hardware
1231 determines which register this is. On other machines, you can choose any
1232 register you wish for this purpose. */
1233 #define FRAME_POINTER_REGNUM GPR_FP
1235 /* On some machines the offset between the frame pointer and starting offset of
1236 the automatic variables is not known until after register allocation has
1237 been done (for example, because the saved registers are between these two
1238 locations). On those machines, define `FRAME_POINTER_REGNUM' the number of
1239 a special, fixed register to be used internally until the offset is known,
1240 and define `HARD_FRAME_POINTER_REGNUM' to be actual the hard register number
1241 used for the frame pointer.
1243 You should define this macro only in the very rare circumstances when it is
1244 not possible to calculate the offset between the frame pointer and the
1245 automatic variables until after register allocation has been completed.
1246 When this macro is defined, you must also indicate in your definition of
1247 `ELIMINABLE_REGS' how to eliminate `FRAME_POINTER_REGNUM' into either
1248 `HARD_FRAME_POINTER_REGNUM' or `STACK_POINTER_REGNUM'.
1250 Do not define this macro if it would be the same as `FRAME_POINTER_REGNUM'. */
1251 /* #define HARD_FRAME_POINTER_REGNUM */
1253 /* The register number of the arg pointer register, which is used to access the
1254 function's argument list. On some machines, this is the same as the frame
1255 pointer register. On some machines, the hardware determines which register
1256 this is. On other machines, you can choose any register you wish for this
1257 purpose. If this is not the same register as the frame pointer register,
1258 then you must mark it as a fixed register according to `FIXED_REGISTERS', or
1259 arrange to be able to eliminate it (*note Elimination::.). */
1260 /* #define ARG_POINTER_REGNUM */
1262 /* The register number of the return address pointer register, which is used to
1263 access the current function's return address from the stack. On some
1264 machines, the return address is not at a fixed offset from the frame pointer
1265 or stack pointer or argument pointer. This register can be defined to point
1266 to the return address on the stack, and then be converted by
1267 `ELIMINABLE_REGS' into either the frame pointer or stack pointer.
1269 Do not define this macro unless there is no other way to get the return
1270 address from the stack. */
1271 /* #define RETURN_ADDRESS_POINTER_REGNUM */
1273 /* Register numbers used for passing a function's static chain pointer. If
1274 register windows are used, the register number as seen by the called
1275 function is `STATIC_CHAIN_INCOMING_REGNUM', while the register number as
1276 seen by the calling function is `STATIC_CHAIN_REGNUM'. If these registers
1277 are the same, `STATIC_CHAIN_INCOMING_REGNUM' need not be defined.
1279 The static chain register need not be a fixed register.
1281 If the static chain is passed in memory, these macros should not be defined;
1282 instead, the next two macros should be defined. */
1284 #define STATIC_CHAIN_REGNUM (GPR_FIRST + 18)
1285 /* #define STATIC_CHAIN_INCOMING_REGNUM */
1287 /* If the static chain is passed in memory, these macros provide rtx giving
1288 `mem' expressions that denote where they are stored. `STATIC_CHAIN' and
1289 `STATIC_CHAIN_INCOMING' give the locations as seen by the calling and called
1290 functions, respectively. Often the former will be at an offset from the
1291 stack pointer and the latter at an offset from the frame pointer.
1293 The variables `stack_pointer_rtx', `frame_pointer_rtx', and
1294 `arg_pointer_rtx' will have been initialized prior to the use of these
1295 macros and should be used to refer to those items.
1297 If the static chain is passed in a register, the two previous
1298 macros should be defined instead. */
1299 /* #define STATIC_CHAIN */
1300 /* #define STATIC_CHAIN_INCOMING */
1303 /* Eliminating the Frame Pointer and the Arg Pointer */
1305 /* A C expression which is nonzero if a function must have and use a frame
1306 pointer. This expression is evaluated in the reload pass. If its value is
1307 nonzero the function will have a frame pointer.
1309 The expression can in principle examine the current function and decide
1310 according to the facts, but on most machines the constant 0 or the constant
1311 1 suffices. Use 0 when the machine allows code to be generated with no
1312 frame pointer, and doing so saves some time or space. Use 1 when there is
1313 no possible advantage to avoiding a frame pointer.
1315 In certain cases, the compiler does not know how to produce valid code
1316 without a frame pointer. The compiler recognizes those cases and
1317 automatically gives the function a frame pointer regardless of what
1318 `FRAME_POINTER_REQUIRED' says. You don't need to worry about them.
1320 In a function that does not require a frame pointer, the frame pointer
1321 register can be allocated for ordinary usage, unless you mark it as a fixed
1322 register. See `FIXED_REGISTERS' for more information. */
1323 #define FRAME_POINTER_REQUIRED 0
1325 /* A C statement to store in the variable DEPTH-VAR the difference between the
1326 frame pointer and the stack pointer values immediately after the function
1327 prologue. The value would be computed from information such as the result
1328 of `get_frame_size ()' and the tables of registers `regs_ever_live' and
1331 If `ELIMINABLE_REGS' is defined, this macro will be not be used and need not
1332 be defined. Otherwise, it must be defined even if `FRAME_POINTER_REQUIRED'
1333 is defined to always be true; in that case, you may set DEPTH-VAR to
1335 /* #define INITIAL_FRAME_POINTER_OFFSET(DEPTH_VAR) */
1337 /* If defined, this macro specifies a table of register pairs used to eliminate
1338 unneeded registers that point into the stack frame. If it is not defined,
1339 the only elimination attempted by the compiler is to replace references to
1340 the frame pointer with references to the stack pointer.
1342 The definition of this macro is a list of structure initializations, each of
1343 which specifies an original and replacement register.
1345 On some machines, the position of the argument pointer is not known until
1346 the compilation is completed. In such a case, a separate hard register must
1347 be used for the argument pointer. This register can be eliminated by
1348 replacing it with either the frame pointer or the argument pointer,
1349 depending on whether or not the frame pointer has been eliminated.
1351 In this case, you might specify:
1352 #define ELIMINABLE_REGS \
1353 {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
1354 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
1355 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
1357 Note that the elimination of the argument pointer with the stack pointer is
1358 specified first since that is the preferred elimination. */
1359 #define ELIMINABLE_REGS \
1361 { ARG_POINTER_REGNUM, STACK_POINTER_REGNUM }, \
1362 { ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM }, \
1363 { FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM } \
1366 /* A C expression that returns non-zero if the compiler is allowed to try to
1367 replace register number FROM-REG with register number TO-REG. This macro
1368 need only be defined if `ELIMINABLE_REGS' is defined, and will usually be
1369 the constant 1, since most of the cases preventing register elimination are
1370 things that the compiler already knows about. */
1372 #define CAN_ELIMINATE(FROM, TO) \
1373 ((FROM) == ARG_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM \
1374 ? ! frame_pointer_needed \
1377 /* This macro is similar to `INITIAL_FRAME_POINTER_OFFSET'. It specifies the
1378 initial difference between the specified pair of registers. This macro must
1379 be defined if `ELIMINABLE_REGS' is defined. */
1381 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
1383 d30v_stack_t *info = d30v_stack_info (); \
1385 if ((FROM) == FRAME_POINTER_REGNUM) \
1387 else if ((FROM) == ARG_POINTER_REGNUM) \
1388 (OFFSET) = info->total_size - current_function_pretend_args_size; \
1394 /* Passing Function Arguments on the Stack */
1396 /* Define this macro if an argument declared in a prototype as an integral type
1397 smaller than `int' should actually be passed as an `int'. In addition to
1398 avoiding errors in certain cases of mismatch, it also makes for better code
1399 on certain machines. */
1400 /* #define PROMOTE_PROTOTYPES */
1402 /* A C expression that is the number of bytes actually pushed onto the stack
1403 when an instruction attempts to push NPUSHED bytes.
1405 If the target machine does not have a push instruction, do not define this
1406 macro. That directs GNU CC to use an alternate strategy: to allocate the
1407 entire argument block and then store the arguments into it.
1409 On some machines, the definition
1411 #define PUSH_ROUNDING(BYTES) (BYTES)
1413 will suffice. But on other machines, instructions that appear to push one
1414 byte actually push two bytes in an attempt to maintain alignment. Then the
1415 definition should be
1417 #define PUSH_ROUNDING(BYTES) (((BYTES) + 1) & ~1) */
1418 /* #define PUSH_ROUNDING(NPUSHED) */
1420 /* If defined, the maximum amount of space required for outgoing arguments will
1421 be computed and placed into the variable
1422 `current_function_outgoing_args_size'. No space will be pushed onto the
1423 stack for each call; instead, the function prologue should increase the
1424 stack frame size by this amount.
1426 Defining both `PUSH_ROUNDING' and `ACCUMULATE_OUTGOING_ARGS' is not
1428 #define ACCUMULATE_OUTGOING_ARGS 1
1430 /* Define this macro if functions should assume that stack space has been
1431 allocated for arguments even when their values are passed in registers.
1433 The value of this macro is the size, in bytes, of the area reserved for
1434 arguments passed in registers for the function represented by FNDECL.
1436 This space can be allocated by the caller, or be a part of the
1437 machine-dependent stack frame: `OUTGOING_REG_PARM_STACK_SPACE' says
1439 /* #define REG_PARM_STACK_SPACE(FNDECL) */
1441 /* Define these macros in addition to the one above if functions might allocate
1442 stack space for arguments even when their values are passed in registers.
1443 These should be used when the stack space allocated for arguments in
1444 registers is not a simple constant independent of the function declaration.
1446 The value of the first macro is the size, in bytes, of the area that we
1447 should initially assume would be reserved for arguments passed in registers.
1449 The value of the second macro is the actual size, in bytes, of the area that
1450 will be reserved for arguments passed in registers. This takes two
1451 arguments: an integer representing the number of bytes of fixed sized
1452 arguments on the stack, and a tree representing the number of bytes of
1453 variable sized arguments on the stack.
1455 When these macros are defined, `REG_PARM_STACK_SPACE' will only be called
1456 for libcall functions, the current function, or for a function being called
1457 when it is known that such stack space must be allocated. In each case this
1458 value can be easily computed.
1460 When deciding whether a called function needs such stack space, and how much
1461 space to reserve, GNU CC uses these two macros instead of
1462 `REG_PARM_STACK_SPACE'. */
1463 /* #define MAYBE_REG_PARM_STACK_SPACE */
1464 /* #define FINAL_REG_PARM_STACK_SPACE(CONST_SIZE, VAR_SIZE) */
1466 /* Define this if it is the responsibility of the caller to allocate the area
1467 reserved for arguments passed in registers.
1469 If `ACCUMULATE_OUTGOING_ARGS' is defined, this macro controls whether the
1470 space for these arguments counts in the value of
1471 `current_function_outgoing_args_size'. */
1472 /* #define OUTGOING_REG_PARM_STACK_SPACE */
1474 /* Define this macro if `REG_PARM_STACK_SPACE' is defined, but the stack
1475 parameters don't skip the area specified by it.
1477 Normally, when a parameter is not passed in registers, it is placed on the
1478 stack beyond the `REG_PARM_STACK_SPACE' area. Defining this macro
1479 suppresses this behavior and causes the parameter to be passed on the stack
1480 in its natural location. */
1481 /* #define STACK_PARMS_IN_REG_PARM_AREA */
1483 /* A C expression that should indicate the number of bytes of its own arguments
1484 that a function pops on returning, or 0 if the function pops no arguments
1485 and the caller must therefore pop them all after the function returns.
1487 FUNDECL is a C variable whose value is a tree node that describes the
1488 function in question. Normally it is a node of type `FUNCTION_DECL' that
1489 describes the declaration of the function. From this it is possible to
1490 obtain the DECL_ATTRIBUTES of the function.
1492 FUNTYPE is a C variable whose value is a tree node that describes the
1493 function in question. Normally it is a node of type `FUNCTION_TYPE' that
1494 describes the data type of the function. From this it is possible to obtain
1495 the data types of the value and arguments (if known).
1497 When a call to a library function is being considered, FUNTYPE will contain
1498 an identifier node for the library function. Thus, if you need to
1499 distinguish among various library functions, you can do so by their names.
1500 Note that "library function" in this context means a function used to
1501 perform arithmetic, whose name is known specially in the compiler and was
1502 not mentioned in the C code being compiled.
1504 STACK-SIZE is the number of bytes of arguments passed on the stack. If a
1505 variable number of bytes is passed, it is zero, and argument popping will
1506 always be the responsibility of the calling function.
1508 On the VAX, all functions always pop their arguments, so the definition of
1509 this macro is STACK-SIZE. On the 68000, using the standard calling
1510 convention, no functions pop their arguments, so the value of the macro is
1511 always 0 in this case. But an alternative calling convention is available
1512 in which functions that take a fixed number of arguments pop them but other
1513 functions (such as `printf') pop nothing (the caller pops all). When this
1514 convention is in use, FUNTYPE is examined to determine whether a function
1515 takes a fixed number of arguments. */
1516 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACK_SIZE) 0
1519 /* Function Arguments in Registers */
1521 /* A C expression that controls whether a function argument is passed in a
1522 register, and which register.
1524 The arguments are CUM, which summarizes all the previous arguments; MODE,
1525 the machine mode of the argument; TYPE, the data type of the argument as a
1526 tree node or 0 if that is not known (which happens for C support library
1527 functions); and NAMED, which is 1 for an ordinary argument and 0 for
1528 nameless arguments that correspond to `...' in the called function's
1531 The value of the expression should either be a `reg' RTX for the hard
1532 register in which to pass the argument, or zero to pass the argument on the
1535 For machines like the VAX and 68000, where normally all arguments are
1536 pushed, zero suffices as a definition.
1538 The usual way to make the ANSI library `stdarg.h' work on a machine where
1539 some arguments are usually passed in registers, is to cause nameless
1540 arguments to be passed on the stack instead. This is done by making
1541 `FUNCTION_ARG' return 0 whenever NAMED is 0.
1543 You may use the macro `MUST_PASS_IN_STACK (MODE, TYPE)' in the definition of
1544 this macro to determine if this argument is of a type that must be passed in
1545 the stack. If `REG_PARM_STACK_SPACE' is not defined and `FUNCTION_ARG'
1546 returns non-zero for such an argument, the compiler will abort. If
1547 `REG_PARM_STACK_SPACE' is defined, the argument will be computed in the
1548 stack and then loaded into a register. */
1550 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
1551 d30v_function_arg (&CUM, (int)MODE, TYPE, NAMED, FALSE)
1553 /* Define this macro if the target machine has "register windows", so that the
1554 register in which a function sees an arguments is not necessarily the same
1555 as the one in which the caller passed the argument.
1557 For such machines, `FUNCTION_ARG' computes the register in which the caller
1558 passes the value, and `FUNCTION_INCOMING_ARG' should be defined in a similar
1559 fashion to tell the function being called where the arguments will arrive.
1561 If `FUNCTION_INCOMING_ARG' is not defined, `FUNCTION_ARG' serves both
1564 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED) \
1565 d30v_function_arg (&CUM, (int)MODE, TYPE, NAMED, TRUE)
1567 /* A C expression for the number of words, at the beginning of an argument,
1568 must be put in registers. The value must be zero for arguments that are
1569 passed entirely in registers or that are entirely pushed on the stack.
1571 On some machines, certain arguments must be passed partially in registers
1572 and partially in memory. On these machines, typically the first N words of
1573 arguments are passed in registers, and the rest on the stack. If a
1574 multi-word argument (a `double' or a structure) crosses that boundary, its
1575 first few words must be passed in registers and the rest must be pushed.
1576 This macro tells the compiler when this occurs, and how many of the words
1577 should go in registers.
1579 `FUNCTION_ARG' for these arguments should return the first register to be
1580 used by the caller for this argument; likewise `FUNCTION_INCOMING_ARG', for
1581 the called function. */
1582 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
1583 d30v_function_arg_partial_nregs (&CUM, (int)MODE, TYPE, NAMED)
1585 /* A C expression that indicates when an argument must be passed by reference.
1586 If nonzero for an argument, a copy of that argument is made in memory and a
1587 pointer to the argument is passed instead of the argument itself. The
1588 pointer is passed in whatever way is appropriate for passing a pointer to
1591 On machines where `REG_PARM_STACK_SPACE' is not defined, a suitable
1592 definition of this macro might be
1593 #define FUNCTION_ARG_PASS_BY_REFERENCE\
1594 (CUM, MODE, TYPE, NAMED) \
1595 MUST_PASS_IN_STACK (MODE, TYPE) */
1596 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) 0
1598 /* If defined, a C expression that indicates when it is the called function's
1599 responsibility to make a copy of arguments passed by invisible reference.
1600 Normally, the caller makes a copy and passes the address of the copy to the
1601 routine being called. When FUNCTION_ARG_CALLEE_COPIES is defined and is
1602 nonzero, the caller does not make a copy. Instead, it passes a pointer to
1603 the "live" value. The called function must not modify this value. If it
1604 can be determined that the value won't be modified, it need not make a copy;
1605 otherwise a copy must be made. */
1606 /* #define FUNCTION_ARG_CALLEE_COPIES(CUM, MODE, TYPE, NAMED) */
1608 /* A C type for declaring a variable that is used as the first argument of
1609 `FUNCTION_ARG' and other related values. For some target machines, the type
1610 `int' suffices and can hold the number of bytes of argument so far.
1612 There is no need to record in `CUMULATIVE_ARGS' anything about the arguments
1613 that have been passed on the stack. The compiler has other variables to
1614 keep track of that. For target machines on which all arguments are passed
1615 on the stack, there is no need to store anything in `CUMULATIVE_ARGS';
1616 however, the data structure must exist and should not be empty, so use
1618 typedef int CUMULATIVE_ARGS;
1620 /* A C statement (sans semicolon) for initializing the variable CUM for the
1621 state at the beginning of the argument list. The variable has type
1622 `CUMULATIVE_ARGS'. The value of FNTYPE is the tree node for the data type
1623 of the function which will receive the args, or 0 if the args are to a
1624 compiler support library function. The value of INDIRECT is nonzero when
1625 processing an indirect call, for example a call through a function pointer.
1626 The value of INDIRECT is zero for a call to an explicitly named function, a
1627 library function call, or when `INIT_CUMULATIVE_ARGS' is used to find
1628 arguments for the function being compiled.
1630 When processing a call to a compiler support library function, LIBNAME
1631 identifies which one. It is a `symbol_ref' rtx which contains the name of
1632 the function, as a string. LIBNAME is 0 when an ordinary C function call is
1633 being processed. Thus, each time this macro is called, either LIBNAME or
1634 FNTYPE is nonzero, but never both of them at once. */
1636 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT) \
1637 d30v_init_cumulative_args (&CUM, FNTYPE, LIBNAME, INDIRECT, FALSE)
1639 /* Like `INIT_CUMULATIVE_ARGS' but overrides it for the purposes of finding the
1640 arguments for the function being compiled. If this macro is undefined,
1641 `INIT_CUMULATIVE_ARGS' is used instead.
1643 The value passed for LIBNAME is always 0, since library routines with
1644 special calling conventions are never compiled with GNU CC. The argument
1645 LIBNAME exists for symmetry with `INIT_CUMULATIVE_ARGS'. */
1647 #define INIT_CUMULATIVE_INCOMING_ARGS(CUM, FNTYPE, LIBNAME) \
1648 d30v_init_cumulative_args (&CUM, FNTYPE, LIBNAME, FALSE, TRUE)
1650 /* A C statement (sans semicolon) to update the summarizer variable CUM to
1651 advance past an argument in the argument list. The values MODE, TYPE and
1652 NAMED describe that argument. Once this is done, the variable CUM is
1653 suitable for analyzing the *following* argument with `FUNCTION_ARG', etc.
1655 This macro need not do anything if the argument in question was passed on
1656 the stack. The compiler knows how to track the amount of stack space used
1657 for arguments without any special help. */
1659 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
1660 d30v_function_arg_advance (&CUM, (int) MODE, TYPE, NAMED)
1662 /* If defined, a C expression which determines whether, and in which direction,
1663 to pad out an argument with extra space. The value should be of type `enum
1664 direction': either `upward' to pad above the argument, `downward' to pad
1665 below, or `none' to inhibit padding.
1667 The *amount* of padding is always just enough to reach the next multiple of
1668 `FUNCTION_ARG_BOUNDARY'; this macro does not control it.
1670 This macro has a default definition which is right for most systems. For
1671 little-endian machines, the default is to pad upward. For big-endian
1672 machines, the default is to pad downward for an argument of constant size
1673 shorter than an `int', and upward otherwise. */
1674 /* #define FUNCTION_ARG_PADDING(MODE, TYPE) */
1676 /* If defined, a C expression that gives the alignment boundary, in bits, of an
1677 argument with the specified mode and type. If it is not defined,
1678 `PARM_BOUNDARY' is used for all arguments. */
1680 #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) \
1681 d30v_function_arg_boundary ((int) MODE, TYPE)
1683 /* A C expression that is nonzero if REGNO is the number of a hard register in
1684 which function arguments are sometimes passed. This does *not* include
1685 implicit arguments such as the static chain and the structure-value address.
1686 On many machines, no registers can be used for this purpose since all
1687 function arguments are pushed on the stack. */
1689 #define FUNCTION_ARG_REGNO_P(REGNO) \
1690 IN_RANGE_P (REGNO, GPR_ARG_FIRST, GPR_ARG_LAST)
1693 /* How Scalar Function Values are Returned */
1695 /* A C expression to create an RTX representing the place where a function
1696 returns a value of data type VALTYPE. VALTYPE is a tree node representing a
1697 data type. Write `TYPE_MODE (VALTYPE)' to get the machine mode used to
1698 represent that type. On many machines, only the mode is relevant.
1699 (Actually, on most machines, scalar values are returned in the same place
1700 regardless of mode).
1702 If `PROMOTE_FUNCTION_RETURN' is defined, you must apply the same promotion
1703 rules specified in `PROMOTE_MODE' if VALTYPE is a scalar type.
1705 If the precise function being called is known, FUNC is a tree node
1706 (`FUNCTION_DECL') for it; otherwise, FUNC is a null pointer. This makes it
1707 possible to use a different value-returning convention for specific
1708 functions when all their calls are known.
1710 `FUNCTION_VALUE' is not used for return vales with aggregate data types,
1711 because these are returned in another way. See `STRUCT_VALUE_REGNUM' and
1712 related macros, below. */
1714 #define FUNCTION_VALUE(VALTYPE, FUNC) \
1715 gen_rtx (REG, TYPE_MODE (VALTYPE), GPR_RET_VALUE)
1717 /* Define this macro if the target machine has "register windows" so that the
1718 register in which a function returns its value is not the same as the one in
1719 which the caller sees the value.
1721 For such machines, `FUNCTION_VALUE' computes the register in which the
1722 caller will see the value. `FUNCTION_OUTGOING_VALUE' should be defined in a
1723 similar fashion to tell the function where to put the value.
1725 If `FUNCTION_OUTGOING_VALUE' is not defined, `FUNCTION_VALUE' serves both
1728 `FUNCTION_OUTGOING_VALUE' is not used for return vales with aggregate data
1729 types, because these are returned in another way. See `STRUCT_VALUE_REGNUM'
1730 and related macros, below. */
1731 /* #define FUNCTION_OUTGOING_VALUE(VALTYPE, FUNC) */
1733 /* A C expression to create an RTX representing the place where a library
1734 function returns a value of mode MODE. If the precise function being called
1735 is known, FUNC is a tree node (`FUNCTION_DECL') for it; otherwise, FUNC is a
1736 null pointer. This makes it possible to use a different value-returning
1737 convention for specific functions when all their calls are known.
1739 Note that "library function" in this context means a compiler support
1740 routine, used to perform arithmetic, whose name is known specially by the
1741 compiler and was not mentioned in the C code being compiled.
1743 The definition of `LIBRARY_VALUE' need not be concerned aggregate data
1744 types, because none of the library functions returns such types. */
1746 #define LIBCALL_VALUE(MODE) gen_rtx (REG, MODE, GPR_RET_VALUE)
1748 /* A C expression that is nonzero if REGNO is the number of a hard register in
1749 which the values of called function may come back.
1751 A register whose use for returning values is limited to serving as the
1752 second of a pair (for a value of type `double', say) need not be recognized
1753 by this macro. So for most machines, this definition suffices:
1755 #define FUNCTION_VALUE_REGNO_P(N) ((N) == 0)
1757 If the machine has register windows, so that the caller and the called
1758 function use different registers for the return value, this macro should
1759 recognize only the caller's register numbers. */
1761 #define FUNCTION_VALUE_REGNO_P(REGNO) ((REGNO) == GPR_RET_VALUE)
1763 /* Define this macro if `untyped_call' and `untyped_return' need more space
1764 than is implied by `FUNCTION_VALUE_REGNO_P' for saving and restoring an
1765 arbitrary return value. */
1766 /* #define APPLY_RESULT_SIZE */
1769 /* How Large Values are Returned */
1771 /* A C expression which can inhibit the returning of certain function values in
1772 registers, based on the type of value. A nonzero value says to return the
1773 function value in memory, just as large structures are always returned.
1774 Here TYPE will be a C expression of type `tree', representing the data type
1777 Note that values of mode `BLKmode' must be explicitly handled by this macro.
1778 Also, the option `-fpcc-struct-return' takes effect regardless of this
1779 macro. On most systems, it is possible to leave the macro undefined; this
1780 causes a default definition to be used, whose value is the constant 1 for
1781 `BLKmode' values, and 0 otherwise.
1783 Do not use this macro to indicate that structures and unions should always
1784 be returned in memory. You should instead use `DEFAULT_PCC_STRUCT_RETURN'
1785 to indicate this. */
1786 /* #define RETURN_IN_MEMORY(TYPE) */
1788 /* Define this macro to be 1 if all structure and union return values must be
1789 in memory. Since this results in slower code, this should be defined only
1790 if needed for compatibility with other compilers or with an ABI. If you
1791 define this macro to be 0, then the conventions used for structure and union
1792 return values are decided by the `RETURN_IN_MEMORY' macro.
1794 If not defined, this defaults to the value 1. */
1795 /* #define DEFAULT_PCC_STRUCT_RETURN */
1797 /* If the structure value address is passed in a register, then
1798 `STRUCT_VALUE_REGNUM' should be the number of that register. */
1800 #define STRUCT_VALUE_REGNUM GPR_ARG_FIRST
1802 /* If the structure value address is not passed in a register, define
1803 `STRUCT_VALUE' as an expression returning an RTX for the place where the
1804 address is passed. If it returns 0, the address is passed as an "invisible"
1807 #define STRUCT_VALUE 0
1809 /* On some architectures the place where the structure value address is found
1810 by the called function is not the same place that the caller put it. This
1811 can be due to register windows, or it could be because the function prologue
1812 moves it to a different place.
1814 If the incoming location of the structure value address is in a register,
1815 define this macro as the register number. */
1816 /* #define STRUCT_VALUE_INCOMING_REGNUM */
1818 /* If the incoming location is not a register, then you should define
1819 `STRUCT_VALUE_INCOMING' as an expression for an RTX for where the called
1820 function should find the value. If it should find the value on the stack,
1821 define this to create a `mem' which refers to the frame pointer. A
1822 definition of 0 means that the address is passed as an "invisible" first
1824 /* #define STRUCT_VALUE_INCOMING */
1826 /* Define this macro if the usual system convention on the target machine for
1827 returning structures and unions is for the called function to return the
1828 address of a static variable containing the value.
1830 Do not define this if the usual system convention is for the caller to pass
1831 an address to the subroutine.
1833 This macro has effect in `-fpcc-struct-return' mode, but it does nothing
1834 when you use `-freg-struct-return' mode. */
1835 /* #define PCC_STATIC_STRUCT_RETURN */
1838 /* Caller-Saves Register Allocation */
1840 /* Define this macro if function calls on the target machine do not preserve
1841 any registers; in other words, if `CALL_USED_REGISTERS' has 1 for all
1842 registers. This macro enables `-fcaller-saves' by default. Eventually that
1843 option will be enabled by default on all machines and both the option and
1844 this macro will be eliminated. */
1845 /* #define DEFAULT_CALLER_SAVES */
1847 /* A C expression to determine whether it is worthwhile to consider placing a
1848 pseudo-register in a call-clobbered hard register and saving and restoring
1849 it around each function call. The expression should be 1 when this is worth
1850 doing, and 0 otherwise.
1852 If you don't define this macro, a default is used which is good on most
1853 machines: `4 * CALLS < REFS'. */
1854 /* #define CALLER_SAVE_PROFITABLE(REFS, CALLS) */
1857 /* #define EXIT_IGNORE_STACK */
1859 /* Define this macro as a C expression that is nonzero for registers
1860 are used by the epilogue or the `return' pattern. The stack and
1861 frame pointer registers are already be assumed to be used as
1863 #define EPILOGUE_USES(REGNO) ((REGNO) == GPR_LINK)
1865 /* Define this macro if the function epilogue contains delay slots to which
1866 instructions from the rest of the function can be "moved". The definition
1867 should be a C expression whose value is an integer representing the number
1868 of delay slots there. */
1869 /* #define DELAY_SLOTS_FOR_EPILOGUE */
1871 /* A C expression that returns 1 if INSN can be placed in delay slot number N
1874 The argument N is an integer which identifies the delay slot now being
1875 considered (since different slots may have different rules of eligibility).
1876 It is never negative and is always less than the number of epilogue delay
1877 slots (what `DELAY_SLOTS_FOR_EPILOGUE' returns). If you reject a particular
1878 insn for a given delay slot, in principle, it may be reconsidered for a
1879 subsequent delay slot. Also, other insns may (at least in principle) be
1880 considered for the so far unfilled delay slot.
1882 The insns accepted to fill the epilogue delay slots are put in an
1883 RTL list made with `insn_list' objects, stored in the variable
1884 `current_function_epilogue_delay_list'. The insn for the first
1885 delay slot comes first in the list. Your definition of the function
1886 output_function_epilogue() should fill the delay slots by outputting the
1887 insns in this list, usually by calling `final_scan_insn'.
1889 You need not define this macro if you did not define
1890 `DELAY_SLOTS_FOR_EPILOGUE'. */
1891 /* #define ELIGIBLE_FOR_EPILOGUE_DELAY(INSN, N) */
1893 /* A C compound statement that outputs the assembler code for a thunk function,
1894 used to implement C++ virtual function calls with multiple inheritance. The
1895 thunk acts as a wrapper around a virtual function, adjusting the implicit
1896 object parameter before handing control off to the real function.
1898 First, emit code to add the integer DELTA to the location that contains the
1899 incoming first argument. Assume that this argument contains a pointer, and
1900 is the one used to pass the `this' pointer in C++. This is the incoming
1901 argument *before* the function prologue, e.g. `%o0' on a sparc. The
1902 addition must preserve the values of all other incoming arguments.
1904 After the addition, emit code to jump to FUNCTION, which is a
1905 `FUNCTION_DECL'. This is a direct pure jump, not a call, and does not touch
1906 the return address. Hence returning from FUNCTION will return to whoever
1907 called the current `thunk'.
1909 The effect must be as if FUNCTION had been called directly with the
1910 adjusted first argument. This macro is responsible for emitting
1911 all of the code for a thunk function; output_function_prologue()
1912 and output_function_epilogue() are not invoked.
1914 The THUNK_FNDECL is redundant. (DELTA and FUNCTION have already been
1915 extracted from it.) It might possibly be useful on some targets, but
1918 If you do not define this macro, the target-independent code in the C++
1919 frontend will generate a less efficient heavyweight thunk that calls
1920 FUNCTION instead of jumping to it. The generic approach does not support
1922 /* #define ASM_OUTPUT_MI_THUNK(FILE, THUNK_FNDECL, DELTA, FUNCTION) */
1924 /* A C structure for machine-specific, per-function data.
1925 This is added to the cfun structure. */
1926 typedef struct machine_function
1928 /* Additionsl stack adjustment in __builtin_eh_throw. */
1929 struct rtx_def * eh_epilogue_sp_ofs;
1933 /* Generating Code for Profiling. */
1935 /* A C statement or compound statement to output to FILE some assembler code to
1936 call the profiling subroutine `mcount'. Before calling, the assembler code
1937 must load the address of a counter variable into a register where `mcount'
1938 expects to find the address. The name of this variable is `LP' followed by
1939 the number LABELNO, so you would generate the name using `LP%d' in a
1942 The details of how the address should be passed to `mcount' are determined
1943 by your operating system environment, not by GNU CC. To figure them out,
1944 compile a small program for profiling using the system's installed C
1945 compiler and look at the assembler code that results. */
1947 #define FUNCTION_PROFILER(FILE, LABELNO) d30v_function_profiler (FILE, LABELNO)
1949 /* Define this macro if the code for function profiling should come before the
1950 function prologue. Normally, the profiling code comes after. */
1951 /* #define PROFILE_BEFORE_PROLOGUE */
1954 /* Implementing the Varargs Macros. */
1956 /* If defined, is a C expression that produces the machine-specific code for a
1957 call to `__builtin_saveregs'. This code will be moved to the very beginning
1958 of the function, before any parameter access are made. The return value of
1959 this function should be an RTX that contains the value to use as the return
1960 of `__builtin_saveregs'.
1962 If this macro is not defined, the compiler will output an ordinary call to
1963 the library function `__builtin_saveregs'. */
1965 #define EXPAND_BUILTIN_SAVEREGS() d30v_expand_builtin_saveregs ()
1967 /* This macro offers an alternative to using `__builtin_saveregs' and defining
1968 the macro `EXPAND_BUILTIN_SAVEREGS'. Use it to store the anonymous register
1969 arguments into the stack so that all the arguments appear to have been
1970 passed consecutively on the stack. Once this is done, you can use the
1971 standard implementation of varargs that works for machines that pass all
1972 their arguments on the stack.
1974 The argument ARGS_SO_FAR is the `CUMULATIVE_ARGS' data structure, containing
1975 the values that obtain after processing of the named arguments. The
1976 arguments MODE and TYPE describe the last named argument--its machine mode
1977 and its data type as a tree node.
1979 The macro implementation should do two things: first, push onto the stack
1980 all the argument registers *not* used for the named arguments, and second,
1981 store the size of the data thus pushed into the `int'-valued variable whose
1982 name is supplied as the argument PRETEND_ARGS_SIZE. The value that you
1983 store here will serve as additional offset for setting up the stack frame.
1985 Because you must generate code to push the anonymous arguments at compile
1986 time without knowing their data types, `SETUP_INCOMING_VARARGS' is only
1987 useful on machines that have just a single category of argument register and
1988 use it uniformly for all data types.
1990 If the argument SECOND_TIME is nonzero, it means that the arguments of the
1991 function are being analyzed for the second time. This happens for an inline
1992 function, which is not actually compiled until the end of the source file.
1993 The macro `SETUP_INCOMING_VARARGS' should not generate any instructions in
1996 #define SETUP_INCOMING_VARARGS(ARGS_SO_FAR, MODE, TYPE, PRETEND_ARGS_SIZE, SECOND_TIME) \
1997 d30v_setup_incoming_varargs (&ARGS_SO_FAR, (int) MODE, TYPE, \
1998 &PRETEND_ARGS_SIZE, SECOND_TIME)
2000 /* Define this macro if the location where a function argument is passed
2001 depends on whether or not it is a named argument.
2003 This macro controls how the NAMED argument to `FUNCTION_ARG' is set for
2004 varargs and stdarg functions. With this macro defined, the NAMED argument
2005 is always true for named arguments, and false for unnamed arguments. If
2006 this is not defined, but `SETUP_INCOMING_VARARGS' is defined, then all
2007 arguments are treated as named. Otherwise, all named arguments except the
2008 last are treated as named. */
2009 /* #define STRICT_ARGUMENT_NAMING */
2011 /* Build up the stdarg/varargs va_list type tree, assinging it to NODE. If not
2012 defined, it is assumed that va_list is a void * pointer. */
2014 #define BUILD_VA_LIST_TYPE(VALIST) \
2015 (VALIST) = d30v_build_va_list ()
2018 /* Implement the stdarg/varargs va_start macro. STDARG_P is non-zero if this
2019 is stdarg.h instead of varargs.h. VALIST is the tree of the va_list
2020 variable to initialize. NEXTARG is the machine independent notion of the
2021 'next' argument after the variable arguments. If not defined, a standard
2022 implementation will be defined that works for arguments passed on the stack. */
2024 #define EXPAND_BUILTIN_VA_START(STDARG_P, VALIST, NEXTARG) \
2025 (d30v_expand_builtin_va_start(STDARG_P, VALIST, NEXTARG))
2027 /* Implement the stdarg/varargs va_arg macro. VALIST is the variable of type
2028 va_list as a tree, TYPE is the type passed to va_arg. */
2030 #define EXPAND_BUILTIN_VA_ARG(VALIST, TYPE) \
2031 (d30v_expand_builtin_va_arg (VALIST, TYPE))
2033 /* Implement the stdarg/varargs va_end macro.
2034 VALIST is the variable of type va_list as a tree. */
2036 /* #define EXPAND_BUILTIN_VA_END(VALIST) */
2040 /* Trampolines for Nested Functions. */
2042 /* A C statement to output, on the stream FILE, assembler code for a block of
2043 data that contains the constant parts of a trampoline. This code should not
2044 include a label--the label is taken care of automatically. */
2045 /* #define TRAMPOLINE_TEMPLATE(FILE) d30v_trampoline_template (FILE) */
2047 /* The name of a subroutine to switch to the section in which the trampoline
2048 template is to be placed (*note Sections::.). The default is a value of
2049 `readonly_data_section', which places the trampoline in the section
2050 containing read-only data. */
2051 /* #define TRAMPOLINE_SECTION */
2053 /* A C expression for the size in bytes of the trampoline, as an integer. */
2054 #define TRAMPOLINE_SIZE (d30v_trampoline_size ())
2056 /* Alignment required for trampolines, in bits.
2058 If you don't define this macro, the value of `BIGGEST_ALIGNMENT' is used for
2059 aligning trampolines. */
2060 #define TRAMPOLINE_ALIGNMENT 64
2062 /* A C statement to initialize the variable parts of a trampoline. ADDR is an
2063 RTX for the address of the trampoline; FNADDR is an RTX for the address of
2064 the nested function; STATIC_CHAIN is an RTX for the static chain value that
2065 should be passed to the function when it is called. */
2066 #define INITIALIZE_TRAMPOLINE(ADDR, FNADDR, STATIC_CHAIN) \
2067 d30v_initialize_trampoline (ADDR, FNADDR, STATIC_CHAIN)
2069 /* A C expression to allocate run-time space for a trampoline. The expression
2070 value should be an RTX representing a memory reference to the space for the
2073 If this macro is not defined, by default the trampoline is allocated as a
2074 stack slot. This default is right for most machines. The exceptions are
2075 machines where it is impossible to execute instructions in the stack area.
2076 On such machines, you may have to implement a separate stack, using this
2077 macro in conjunction with output_function_prologue () and
2078 output_function_epilogue ().
2080 FP points to a data structure, a `struct function', which describes the
2081 compilation status of the immediate containing function of the function
2082 which the trampoline is for. Normally (when `ALLOCATE_TRAMPOLINE' is not
2083 defined), the stack slot for the trampoline is in the stack frame of this
2084 containing function. Other allocation strategies probably must do something
2085 analogous with this information. */
2086 /* #define ALLOCATE_TRAMPOLINE(FP) */
2088 /* Implementing trampolines is difficult on many machines because they have
2089 separate instruction and data caches. Writing into a stack location fails
2090 to clear the memory in the instruction cache, so when the program jumps to
2091 that location, it executes the old contents.
2093 Here are two possible solutions. One is to clear the relevant parts of the
2094 instruction cache whenever a trampoline is set up. The other is to make all
2095 trampolines identical, by having them jump to a standard subroutine. The
2096 former technique makes trampoline execution faster; the latter makes
2097 initialization faster.
2099 To clear the instruction cache when a trampoline is initialized, define the
2100 following macros which describe the shape of the cache. */
2102 /* The total size in bytes of the cache. */
2103 /* #define INSN_CACHE_SIZE */
2105 /* The length in bytes of each cache line. The cache is divided into cache
2106 lines which are disjoint slots, each holding a contiguous chunk of data
2107 fetched from memory. Each time data is brought into the cache, an entire
2108 line is read at once. The data loaded into a cache line is always aligned
2109 on a boundary equal to the line size. */
2110 /* #define INSN_CACHE_LINE_WIDTH */
2112 /* The number of alternative cache lines that can hold any particular memory
2114 /* #define INSN_CACHE_DEPTH */
2116 /* Alternatively, if the machine has system calls or instructions to clear the
2117 instruction cache directly, you can define the following macro. */
2119 /* If defined, expands to a C expression clearing the *instruction cache* in
2120 the specified interval. If it is not defined, and the macro INSN_CACHE_SIZE
2121 is defined, some generic code is generated to clear the cache. The
2122 definition of this macro would typically be a series of `asm' statements.
2123 Both BEG and END are both pointer expressions. */
2124 /* #define CLEAR_INSN_CACHE (BEG, END) */
2126 /* To use a standard subroutine, define the following macro. In addition, you
2127 must make sure that the instructions in a trampoline fill an entire cache
2128 line with identical instructions, or else ensure that the beginning of the
2129 trampoline code is always aligned at the same point in its cache line. Look
2130 in `m68k.h' as a guide. */
2132 /* Define this macro if trampolines need a special subroutine to do their work.
2133 The macro should expand to a series of `asm' statements which will be
2134 compiled with GNU CC. They go in a library function named
2135 `__transfer_from_trampoline'.
2137 If you need to avoid executing the ordinary prologue code of a compiled C
2138 function when you jump to the subroutine, you can do so by placing a special
2139 label of your own in the assembler code. Use one `asm' statement to
2140 generate an assembler label, and another to make the label global. Then
2141 trampolines can use that label to jump directly to your special assembler
2143 /* #define TRANSFER_FROM_TRAMPOLINE */
2146 /* Implicit Calls to Library Routines */
2148 /* A C string constant giving the name of the function to call for
2149 multiplication of one signed full-word by another. If you do not define
2150 this macro, the default name is used, which is `__mulsi3', a function
2151 defined in `libgcc.a'. */
2152 /* #define MULSI3_LIBCALL */
2154 /* A C string constant giving the name of the function to call for division of
2155 one signed full-word by another. If you do not define this macro, the
2156 default name is used, which is `__divsi3', a function defined in `libgcc.a'. */
2157 /* #define DIVSI3_LIBCALL */
2159 /* A C string constant giving the name of the function to call for division of
2160 one unsigned full-word by another. If you do not define this macro, the
2161 default name is used, which is `__udivsi3', a function defined in
2163 /* #define UDIVSI3_LIBCALL */
2165 /* A C string constant giving the name of the function to call for the
2166 remainder in division of one signed full-word by another. If you do not
2167 define this macro, the default name is used, which is `__modsi3', a function
2168 defined in `libgcc.a'. */
2169 /* #define MODSI3_LIBCALL */
2171 /* A C string constant giving the name of the function to call for the
2172 remainder in division of one unsigned full-word by another. If you do not
2173 define this macro, the default name is used, which is `__umodsi3', a
2174 function defined in `libgcc.a'. */
2175 /* #define UMODSI3_LIBCALL */
2177 /* A C string constant giving the name of the function to call for
2178 multiplication of one signed double-word by another. If you do not define
2179 this macro, the default name is used, which is `__muldi3', a function
2180 defined in `libgcc.a'. */
2181 /* #define MULDI3_LIBCALL */
2183 /* A C string constant giving the name of the function to call for division of
2184 one signed double-word by another. If you do not define this macro, the
2185 default name is used, which is `__divdi3', a function defined in `libgcc.a'. */
2186 /* #define DIVDI3_LIBCALL */
2188 /* A C string constant giving the name of the function to call for division of
2189 one unsigned full-word by another. If you do not define this macro, the
2190 default name is used, which is `__udivdi3', a function defined in
2192 /* #define UDIVDI3_LIBCALL */
2194 /* A C string constant giving the name of the function to call for the
2195 remainder in division of one signed double-word by another. If you do not
2196 define this macro, the default name is used, which is `__moddi3', a function
2197 defined in `libgcc.a'. */
2198 /* #define MODDI3_LIBCALL */
2200 /* A C string constant giving the name of the function to call for the
2201 remainder in division of one unsigned full-word by another. If you do not
2202 define this macro, the default name is used, which is `__umoddi3', a
2203 function defined in `libgcc.a'. */
2204 /* #define UMODDI3_LIBCALL */
2206 /* Define this macro as a C statement that declares additional library routines
2207 renames existing ones. `init_optabs' calls this macro after initializing all
2208 the normal library routines. */
2209 /* #define INIT_TARGET_OPTABS */
2211 /* The value of `EDOM' on the target machine, as a C integer constant
2212 expression. If you don't define this macro, GNU CC does not attempt to
2213 deposit the value of `EDOM' into `errno' directly. Look in
2214 `/usr/include/errno.h' to find the value of `EDOM' on your system.
2216 If you do not define `TARGET_EDOM', then compiled code reports domain errors
2217 by calling the library function and letting it report the error. If
2218 mathematical functions on your system use `matherr' when there is an error,
2219 then you should leave `TARGET_EDOM' undefined so that `matherr' is used
2221 /* #define TARGET_EDOM */
2223 /* Define this macro as a C expression to create an rtl expression that refers
2224 to the global "variable" `errno'. (On certain systems, `errno' may not
2225 actually be a variable.) If you don't define this macro, a reasonable
2227 /* #define GEN_ERRNO_RTX */
2229 /* Define this macro if GNU CC should generate calls to the System V (and ANSI
2230 C) library functions `memcpy' and `memset' rather than the BSD functions
2231 `bcopy' and `bzero'.
2233 Defined in svr4.h. */
2234 /* #define TARGET_MEM_FUNCTIONS */
2236 /* Define this macro to generate code for Objective C message sending using the
2237 calling convention of the NeXT system. This calling convention involves
2238 passing the object, the selector and the method arguments all at once to the
2239 method-lookup library function.
2241 The default calling convention passes just the object and the selector to
2242 the lookup function, which returns a pointer to the method. */
2243 /* #define NEXT_OBJC_RUNTIME */
2246 /* Addressing Modes */
2248 /* Define this macro if the machine supports post-increment addressing. */
2249 #define HAVE_POST_INCREMENT 1
2251 /* Similar for other kinds of addressing. */
2252 /* #define HAVE_PRE_INCREMENT 0 */
2253 #define HAVE_POST_DECREMENT 1
2254 /* #define HAVE_PRE_DECREMENT 0 */
2256 /* A C expression that is 1 if the RTX X is a constant which is a valid
2257 address. On most machines, this can be defined as `CONSTANT_P (X)', but a
2258 few machines are more restrictive in which constant addresses are supported.
2260 `CONSTANT_P' accepts integer-values expressions whose values are not
2261 explicitly known, such as `symbol_ref', `label_ref', and `high' expressions
2262 and `const' arithmetic expressions, in addition to `const_int' and
2263 `const_double' expressions. */
2264 #define CONSTANT_ADDRESS_P(X) CONSTANT_P (X)
2266 /* A number, the maximum number of registers that can appear in a valid memory
2267 address. Note that it is up to you to specify a value equal to the maximum
2268 number that `GO_IF_LEGITIMATE_ADDRESS' would ever accept. */
2269 #define MAX_REGS_PER_ADDRESS 2
2271 /* A C compound statement with a conditional `goto LABEL;' executed if X (an
2272 RTX) is a legitimate memory address on the target machine for a memory
2273 operand of mode MODE.
2275 It usually pays to define several simpler macros to serve as subroutines for
2276 this one. Otherwise it may be too complicated to understand.
2278 This macro must exist in two variants: a strict variant and a non-strict
2279 one. The strict variant is used in the reload pass. It must be defined so
2280 that any pseudo-register that has not been allocated a hard register is
2281 considered a memory reference. In contexts where some kind of register is
2282 required, a pseudo-register with no hard register must be rejected.
2284 The non-strict variant is used in other passes. It must be defined to
2285 accept all pseudo-registers in every context where some kind of register is
2288 Compiler source files that want to use the strict variant of this macro
2289 define the macro `REG_OK_STRICT'. You should use an `#ifdef REG_OK_STRICT'
2290 conditional to define the strict variant in that case and the non-strict
2293 Subroutines to check for acceptable registers for various purposes (one for
2294 base registers, one for index registers, and so on) are typically among the
2295 subroutines used to define `GO_IF_LEGITIMATE_ADDRESS'. Then only these
2296 subroutine macros need have two variants; the higher levels of macros may be
2297 the same whether strict or not.
2299 Normally, constant addresses which are the sum of a `symbol_ref' and an
2300 integer are stored inside a `const' RTX to mark them as constant.
2301 Therefore, there is no need to recognize such sums specifically as
2302 legitimate addresses. Normally you would simply recognize any `const' as
2305 Usually `PRINT_OPERAND_ADDRESS' is not prepared to handle constant sums that
2306 are not marked with `const'. It assumes that a naked `plus' indicates
2307 indexing. If so, then you *must* reject such naked constant sums as
2308 illegitimate addresses, so that none of them will be given to
2309 `PRINT_OPERAND_ADDRESS'.
2311 On some machines, whether a symbolic address is legitimate depends on the
2312 section that the address refers to. On these machines, define the macro
2313 `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and
2314 then check for it here. When you see a `const', you will have to look
2315 inside it to find the `symbol_ref' in order to determine the section. *Note
2318 The best way to modify the name string is by adding text to the beginning,
2319 with suitable punctuation to prevent any ambiguity. Allocate the new name
2320 in `saveable_obstack'. You will have to modify `ASM_OUTPUT_LABELREF' to
2321 remove and decode the added text and output the name accordingly, and define
2322 `STRIP_NAME_ENCODING' to access the original name string.
2324 You can check the information stored here into the `symbol_ref' in the
2325 definitions of the macros `GO_IF_LEGITIMATE_ADDRESS' and
2326 `PRINT_OPERAND_ADDRESS'. */
2328 #ifdef REG_OK_STRICT
2329 #define REG_OK_STRICT_P 1
2331 #define REG_OK_STRICT_P 0
2334 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
2336 if (d30v_legitimate_address_p ((int)MODE, X, REG_OK_STRICT_P)) \
2340 /* A C expression that is nonzero if X (assumed to be a `reg' RTX) is valid for
2341 use as a base register. For hard registers, it should always accept those
2342 which the hardware permits and reject the others. Whether the macro accepts
2343 or rejects pseudo registers must be controlled by `REG_OK_STRICT' as
2344 described above. This usually requires two variant definitions, of which
2345 `REG_OK_STRICT' controls the one actually used. */
2347 #ifdef REG_OK_STRICT
2348 #define REG_OK_FOR_BASE_P(X) (GPR_P (REGNO (X)))
2350 #define REG_OK_FOR_BASE_P(X) (GPR_OR_PSEUDO_P (REGNO (X)))
2353 /* A C expression that is nonzero if X (assumed to be a `reg' RTX) is valid for
2354 use as an index register.
2356 The difference between an index register and a base register is that the
2357 index register may be scaled. If an address involves the sum of two
2358 registers, neither one of them scaled, then either one may be labeled the
2359 "base" and the other the "index"; but whichever labeling is used must fit
2360 the machine's constraints of which registers may serve in each capacity.
2361 The compiler will try both labelings, looking for one that is valid, and
2362 will reload one or both registers only if neither labeling works. */
2364 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
2366 /* A C compound statement that attempts to replace X with a valid memory
2367 address for an operand of mode MODE. WIN will be a C statement label
2368 elsewhere in the code; the macro definition may use
2370 GO_IF_LEGITIMATE_ADDRESS (MODE, X, WIN);
2372 to avoid further processing if the address has become legitimate.
2374 X will always be the result of a call to `break_out_memory_refs', and OLDX
2375 will be the operand that was given to that function to produce X.
2377 The code generated by this macro should not alter the substructure of X. If
2378 it transforms X into a more legitimate form, it should assign X (which will
2379 always be a C variable) a new value.
2381 It is not necessary for this macro to come up with a legitimate address.
2382 The compiler has standard ways of doing so in all cases. In fact, it is
2383 safe for this macro to do nothing. But often a machine-dependent strategy
2384 can generate better code. */
2386 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN) \
2388 rtx y = d30v_legitimize_address (X, OLDX, (int)MODE, REG_OK_STRICT_P); \
2392 GO_IF_LEGITIMATE_ADDRESS (MODE, X, WIN); \
2396 /* A C statement or compound statement with a conditional `goto LABEL;'
2397 executed if memory address X (an RTX) can have different meanings depending
2398 on the machine mode of the memory reference it is used for or if the address
2399 is valid for some modes but not others.
2401 Autoincrement and autodecrement addresses typically have mode-dependent
2402 effects because the amount of the increment or decrement is the size of the
2403 operand being addressed. Some machines have other mode-dependent addresses.
2404 Many RISC machines have no mode-dependent addresses.
2406 You may assume that ADDR is a valid address for the machine. */
2408 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL) \
2410 if (d30v_mode_dependent_address_p (ADDR)) \
2414 /* A C expression that is nonzero if X is a legitimate constant for an
2415 immediate operand on the target machine. You can assume that X satisfies
2416 `CONSTANT_P', so you need not check this. In fact, `1' is a suitable
2417 definition for this macro on machines where anything `CONSTANT_P' is valid. */
2418 #define LEGITIMATE_CONSTANT_P(X) 1
2421 /* Condition Code Status */
2423 /* C code for a data type which is used for declaring the `mdep' component of
2424 `cc_status'. It defaults to `int'.
2426 This macro is not used on machines that do not use `cc0'. */
2427 /* #define CC_STATUS_MDEP */
2429 /* A C expression to initialize the `mdep' field to "empty". The default
2430 definition does nothing, since most machines don't use the field anyway. If
2431 you want to use the field, you should probably define this macro to
2434 This macro is not used on machines that do not use `cc0'. */
2435 /* #define CC_STATUS_MDEP_INIT */
2437 /* A C compound statement to set the components of `cc_status' appropriately
2438 for an insn INSN whose body is EXP. It is this macro's responsibility to
2439 recognize insns that set the condition code as a byproduct of other activity
2440 as well as those that explicitly set `(cc0)'.
2442 This macro is not used on machines that do not use `cc0'.
2444 If there are insns that do not set the condition code but do alter other
2445 machine registers, this macro must check to see whether they invalidate the
2446 expressions that the condition code is recorded as reflecting. For example,
2447 on the 68000, insns that store in address registers do not set the condition
2448 code, which means that usually `NOTICE_UPDATE_CC' can leave `cc_status'
2449 unaltered for such insns. But suppose that the previous insn set the
2450 condition code based on location `a4@(102)' and the current insn stores a
2451 new value in `a4'. Although the condition code is not changed by this, it
2452 will no longer be true that it reflects the contents of `a4@(102)'.
2453 Therefore, `NOTICE_UPDATE_CC' must alter `cc_status' in this case to say
2454 that nothing is known about the condition code value.
2456 The definition of `NOTICE_UPDATE_CC' must be prepared to deal with the
2457 results of peephole optimization: insns whose patterns are `parallel' RTXs
2458 containing various `reg', `mem' or constants which are just the operands.
2459 The RTL structure of these insns is not sufficient to indicate what the
2460 insns actually do. What `NOTICE_UPDATE_CC' should do when it sees one is
2461 just to run `CC_STATUS_INIT'.
2463 A possible definition of `NOTICE_UPDATE_CC' is to call a function that looks
2464 at an attribute (*note Insn Attributes::.) named, for example, `cc'. This
2465 avoids having detailed information about patterns in two places, the `md'
2466 file and in `NOTICE_UPDATE_CC'. */
2467 /* #define NOTICE_UPDATE_CC(EXP, INSN) */
2469 /* A list of names to be used for additional modes for condition code values in
2470 registers (*note Jump Patterns::.). These names are added to `enum
2471 machine_mode' and all have class `MODE_CC'. By convention, they should
2472 start with `CC' and end with `mode'.
2474 You should only define this macro if your machine does not use `cc0' and
2475 only if additional modes are required. */
2476 /* #define EXTRA_CC_MODES */
2478 /* Returns a mode from class `MODE_CC' to be used when comparison operation
2479 code OP is applied to rtx X and Y. For example, on the Sparc,
2480 `SELECT_CC_MODE' is defined as (see *note Jump Patterns::. for a
2481 description of the reason for this definition)
2483 #define SELECT_CC_MODE(OP,X,Y) \
2484 (GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT \
2485 ? ((OP == EQ || OP == NE) ? CCFPmode : CCFPEmode) \
2486 : ((GET_CODE (X) == PLUS || GET_CODE (X) == MINUS \
2487 || GET_CODE (X) == NEG) \
2488 ? CC_NOOVmode : CCmode))
2490 You need not define this macro if `EXTRA_CC_MODES' is not defined. */
2491 /* #define SELECT_CC_MODE(OP, X, Y) */
2493 /* One some machines not all possible comparisons are defined, but you can
2494 convert an invalid comparison into a valid one. For example, the Alpha does
2495 not have a `GT' comparison, but you can use an `LT' comparison instead and
2496 swap the order of the operands.
2498 On such machines, define this macro to be a C statement to do any required
2499 conversions. CODE is the initial comparison code and OP0 and OP1 are the
2500 left and right operands of the comparison, respectively. You should modify
2501 CODE, OP0, and OP1 as required.
2503 GNU CC will not assume that the comparison resulting from this macro is
2504 valid but will see if the resulting insn matches a pattern in the `md' file.
2506 You need not define this macro if it would never change the comparison code
2508 /* #define CANONICALIZE_COMPARISON(CODE, OP0, OP1) */
2510 /* A C expression whose value is one if it is always safe to reverse a
2511 comparison whose mode is MODE. If `SELECT_CC_MODE' can ever return MODE for
2512 a floating-point inequality comparison, then `REVERSIBLE_CC_MODE (MODE)'
2515 You need not define this macro if it would always returns zero or if the
2516 floating-point format is anything other than `IEEE_FLOAT_FORMAT'. For
2517 example, here is the definition used on the Sparc, where floating-point
2518 inequality comparisons are always given `CCFPEmode':
2520 #define REVERSIBLE_CC_MODE(MODE) ((MODE) != CCFPEmode) */
2521 /* #define REVERSIBLE_CC_MODE(MODE) */
2524 /* Describing Relative Costs of Operations */
2526 /* A part of a C `switch' statement that describes the relative costs of
2527 constant RTL expressions. It must contain `case' labels for expression
2528 codes `const_int', `const', `symbol_ref', `label_ref' and `const_double'.
2529 Each case must ultimately reach a `return' statement to return the relative
2530 cost of the use of that kind of constant value in an expression. The cost
2531 may depend on the precise value of the constant, which is available for
2532 examination in X, and the rtx code of the expression in which it is
2533 contained, found in OUTER_CODE.
2535 CODE is the expression code--redundant, since it can be obtained with
2538 /* On the d30v, consider operatnds that fit in a short instruction very
2539 cheap. However, at this time, it causes cse to generate incorrect
2540 code, so disable it for now. */
2542 #define CONST_COSTS(X, CODE, OUTER_CODE) \
2544 if (IN_RANGE_P (INTVAL (X), 0, 31)) \
2546 else if ((OUTER_CODE) == LEU && (OUTER_CODE) == LTU \
2547 && (OUTER_CODE) == GEU && (OUTER_CODE) == GTU) \
2548 return IN_RANGE_P (INTVAL (X), 32, 63) ? 0 : COSTS_N_INSNS (2); \
2550 return IN_RANGE_P (INTVAL (X), -31, -1) ? 0 : COSTS_N_INSNS (2); \
2554 return COSTS_N_INSNS (2); \
2555 case CONST_DOUBLE: \
2556 return COSTS_N_INSNS ((GET_MODE (X) == SFmode) ? 2 : 4);
2558 #define CONST_COSTS(X, CODE, OUTER_CODE)
2561 /* Like `CONST_COSTS' but applies to nonconstant RTL expressions. This can be
2562 used, for example, to indicate how costly a multiply instruction is. In
2563 writing this macro, you can use the construct `COSTS_N_INSNS (N)' to specify
2564 a cost equal to N fast instructions. OUTER_CODE is the code of the
2565 expression in which X is contained.
2567 This macro is optional; do not define it if the default cost assumptions are
2568 adequate for the target machine. */
2569 #define RTX_COSTS(X, CODE, OUTER_CODE) \
2571 return COSTS_N_INSNS ((GET_CODE (XEXP (x, 1)) == CONST_INT \
2572 && exact_log2 (INTVAL (XEXP (x, 1))) >= 0) \
2575 /* An expression giving the cost of an addressing mode that contains ADDRESS.
2576 If not defined, the cost is computed from the ADDRESS expression and the
2577 `CONST_COSTS' values.
2579 For most CISC machines, the default cost is a good approximation of the true
2580 cost of the addressing mode. However, on RISC machines, all instructions
2581 normally have the same length and execution time. Hence all addresses will
2584 In cases where more than one form of an address is known, the form with the
2585 lowest cost will be used. If multiple forms have the same, lowest, cost,
2586 the one that is the most complex will be used.
2588 For example, suppose an address that is equal to the sum of a register and a
2589 constant is used twice in the same basic block. When this macro is not
2590 defined, the address will be computed in a register and memory references
2591 will be indirect through that register. On machines where the cost of the
2592 addressing mode containing the sum is no higher than that of a simple
2593 indirect reference, this will produce an additional instruction and possibly
2594 require an additional register. Proper specification of this macro
2595 eliminates this overhead for such machines.
2597 Similar use of this macro is made in strength reduction of loops.
2599 ADDRESS need not be valid as an address. In such a case, the cost is not
2600 relevant and can be any value; invalid addresses need not be assigned a
2603 On machines where an address involving more than one register is as cheap as
2604 an address computation involving only one register, defining `ADDRESS_COST'
2605 to reflect this can cause two registers to be live over a region of code
2606 where only one would have been if `ADDRESS_COST' were not defined in that
2607 manner. This effect should be considered in the definition of this macro.
2608 Equivalent costs should probably only be given to addresses with different
2609 numbers of registers on machines with lots of registers.
2611 This macro will normally either not be defined or be defined as a constant. */
2612 #define ADDRESS_COST(ADDRESS) 0
2614 /* A C expression for the cost of moving data from a register in class FROM to
2615 one in class TO. The classes are expressed using the enumeration values
2616 such as `GENERAL_REGS'. A value of 4 is the default; other values are
2617 interpreted relative to that.
2619 It is not required that the cost always equal 2 when FROM is the same as TO;
2620 on some machines it is expensive to move between registers if they are not
2623 If reload sees an insn consisting of a single `set' between two hard
2624 registers, and if `REGISTER_MOVE_COST' applied to their classes returns a
2625 value of 2, reload does not check to ensure that the constraints of the insn
2626 are met. Setting a cost of other than 2 will allow reload to verify that
2627 the constraints are met. You should do this if the `movM' pattern's
2628 constraints do not allow such copying. */
2630 #define REGISTER_MOVE_COST(MODE, FROM, TO) \
2631 (((FROM) != GPR_REGS && (FROM) != EVEN_REGS \
2632 && (TO) != GPR_REGS && (TO) != EVEN_REGS) ? 4 : 2)
2634 /* A C expression for the cost of moving data of mode M between a register and
2635 memory. A value of 2 is the default; this cost is relative to those in
2636 `REGISTER_MOVE_COST'.
2638 If moving between registers and memory is more expensive than between two
2639 registers, you should define this macro to express the relative cost. */
2640 #define MEMORY_MOVE_COST(M,C,I) 4
2642 /* A C expression for the cost of a branch instruction. A value of 1 is the
2643 default; other values are interpreted relative to that. */
2645 #define BRANCH_COST d30v_branch_cost
2647 #define D30V_DEFAULT_BRANCH_COST 2
2649 /* Values of the -mbranch-cost=n string. */
2650 extern int d30v_branch_cost;
2651 extern const char *d30v_branch_cost_string;
2653 /* Here are additional macros which do not specify precise relative costs, but
2654 only that certain actions are more expensive than GNU CC would ordinarily
2657 /* Define this macro as a C expression which is nonzero if accessing less than
2658 a word of memory (i.e. a `char' or a `short') is no faster than accessing a
2659 word of memory, i.e., if such access require more than one instruction or if
2660 there is no difference in cost between byte and (aligned) word loads.
2662 When this macro is not defined, the compiler will access a field by finding
2663 the smallest containing object; when it is defined, a fullword load will be
2664 used if alignment permits. Unless bytes accesses are faster than word
2665 accesses, using word accesses is preferable since it may eliminate
2666 subsequent memory access if subsequent accesses occur to other fields in the
2667 same word of the structure, but to different bytes. */
2668 #define SLOW_BYTE_ACCESS 1
2670 /* Define this macro to be the value 1 if unaligned accesses have a cost many
2671 times greater than aligned accesses, for example if they are emulated in a
2674 When this macro is non-zero, the compiler will act as if `STRICT_ALIGNMENT'
2675 were non-zero when generating code for block moves. This can cause
2676 significantly more instructions to be produced. Therefore, do not set this
2677 macro non-zero if unaligned accesses only add a cycle or two to the time for
2680 If the value of this macro is always zero, it need not be defined. */
2681 /* #define SLOW_UNALIGNED_ACCESS */
2683 /* Define this macro to inhibit strength reduction of memory addresses. (On
2684 some machines, such strength reduction seems to do harm rather than good.) */
2685 /* #define DONT_REDUCE_ADDR */
2687 /* The number of scalar move insns which should be generated instead of a
2688 string move insn or a library call. Increasing the value will always make
2689 code faster, but eventually incurs high cost in increased code size.
2691 If you don't define this, a reasonable default is used. */
2692 /* #define MOVE_RATIO */
2694 /* Define this macro if it is as good or better to call a constant function
2695 address than to call an address kept in a register. */
2696 #define NO_FUNCTION_CSE
2698 /* Define this macro if it is as good or better for a function to call itself
2699 with an explicit address than to call an address kept in a register. */
2700 /* #define NO_RECURSIVE_FUNCTION_CSE */
2703 /* Dividing the output into sections. */
2705 /* A C expression whose value is a string containing the assembler operation
2706 that should precede instructions and read-only data. Normally `".text"' is
2708 #define TEXT_SECTION_ASM_OP "\t.text"
2710 /* A C expression whose value is a string containing the assembler operation to
2711 identify the following data as writable initialized data. Normally
2712 `".data"' is right. */
2713 #define DATA_SECTION_ASM_OP "\t.data"
2715 /* if defined, a C expression whose value is a string containing the assembler
2716 operation to identify the following data as shared data. If not defined,
2717 `DATA_SECTION_ASM_OP' will be used. */
2718 /* #define SHARED_SECTION_ASM_OP */
2720 /* If defined, a C expression whose value is a string containing the
2721 assembler operation to identify the following data as
2722 uninitialized global data. If not defined, and neither
2723 `ASM_OUTPUT_BSS' nor `ASM_OUTPUT_ALIGNED_BSS' are defined,
2724 uninitialized global data will be output in the data section if
2725 `-fno-common' is passed, otherwise `ASM_OUTPUT_COMMON' will be
2727 #define BSS_SECTION_ASM_OP "\t.bss"
2729 /* If defined, a C expression whose value is a string containing the
2730 assembler operation to identify the following data as
2731 uninitialized global shared data. If not defined, and
2732 `BSS_SECTION_ASM_OP' is, the latter will be used. */
2733 /* #define SHARED_BSS_SECTION_ASM_OP */
2735 /* A list of names for sections other than the standard two, which are
2736 `in_text' and `in_data'. You need not define this macro on a system with no
2737 other sections (that GCC needs to use).
2739 Defined in svr4.h. */
2740 /* #define EXTRA_SECTIONS */
2742 /* One or more functions to be defined in `varasm.c'. These functions should
2743 do jobs analogous to those of `text_section' and `data_section', for your
2744 additional sections. Do not define this macro if you do not define
2747 Defined in svr4.h. */
2748 /* #define EXTRA_SECTION_FUNCTIONS */
2750 /* On most machines, read-only variables, constants, and jump tables are placed
2751 in the text section. If this is not the case on your machine, this macro
2752 should be defined to be the name of a function (either `data_section' or a
2753 function defined in `EXTRA_SECTIONS') that switches to the section to be
2754 used for read-only items.
2756 If these items should be placed in the text section, this macro should not
2758 /* #define READONLY_DATA_SECTION */
2760 /* A C statement or statements to switch to the appropriate section for output
2761 of EXP. You can assume that EXP is either a `VAR_DECL' node or a constant
2762 of some sort. RELOC indicates whether the initial value of EXP requires
2763 link-time relocations. Select the section by calling `text_section' or one
2764 of the alternatives for other sections.
2766 Do not define this macro if you put all read-only variables and constants in
2767 the read-only data section (usually the text section).
2769 Defined in svr4.h. */
2770 /* #define SELECT_SECTION(EXP, RELOC, ALIGN) */
2772 /* A C statement or statements to switch to the appropriate section for output
2773 of RTX in mode MODE. You can assume that RTX is some kind of constant in
2774 RTL. The argument MODE is redundant except in the case of a `const_int'
2775 rtx. Select the section by calling `text_section' or one of the
2776 alternatives for other sections.
2778 Do not define this macro if you put all constants in the read-only data
2781 Defined in svr4.h. */
2782 /* #define SELECT_RTX_SECTION(MODE, RTX, ALIGN) */
2784 /* Define this macro if jump tables (for `tablejump' insns) should be output in
2785 the text section, along with the assembler instructions. Otherwise, the
2786 readonly data section is used.
2788 This macro is irrelevant if there is no separate readonly data section. */
2789 /* #define JUMP_TABLES_IN_TEXT_SECTION */
2791 /* Decode SYM_NAME and store the real name part in VAR, sans the characters
2792 that encode section info. Define this macro if `ENCODE_SECTION_INFO' alters
2793 the symbol's name string. */
2794 /* #define STRIP_NAME_ENCODING(VAR, SYM_NAME) */
2796 /* A C statement to build up a unique section name, expressed as a
2797 STRING_CST node, and assign it to `DECL_SECTION_NAME (DECL)'.
2798 RELOC indicates whether the initial value of EXP requires
2799 link-time relocations. If you do not define this macro, GNU CC
2800 will use the symbol name prefixed by `.' as the section name.
2802 Defined in svr4.h. */
2803 /* #define UNIQUE_SECTION(DECL, RELOC) */
2806 /* Position Independent Code. */
2808 /* The register number of the register used to address a table of static data
2809 addresses in memory. In some cases this register is defined by a
2810 processor's "application binary interface" (ABI). When this macro is
2811 defined, RTL is generated for this register once, as with the stack pointer
2812 and frame pointer registers. If this macro is not defined, it is up to the
2813 machine-dependent files to allocate such a register (if necessary). */
2814 /* #define PIC_OFFSET_TABLE_REGNUM */
2816 /* Define this macro if the register defined by `PIC_OFFSET_TABLE_REGNUM' is
2817 clobbered by calls. Do not define this macro if `PIC_OFFSET_TABLE_REGNUM'
2819 /* #define PIC_OFFSET_TABLE_REG_CALL_CLOBBERED */
2821 /* By generating position-independent code, when two different programs (A and
2822 B) share a common library (libC.a), the text of the library can be shared
2823 whether or not the library is linked at the same address for both programs.
2824 In some of these environments, position-independent code requires not only
2825 the use of different addressing modes, but also special code to enable the
2826 use of these addressing modes.
2828 The `FINALIZE_PIC' macro serves as a hook to emit these special codes once
2829 the function is being compiled into assembly code, but not before. (It is
2830 not done before, because in the case of compiling an inline function, it
2831 would lead to multiple PIC prologues being included in functions which used
2832 inline functions and were compiled to assembly language.) */
2833 /* #define FINALIZE_PIC */
2835 /* A C expression that is nonzero if X is a legitimate immediate operand on the
2836 target machine when generating position independent code. You can assume
2837 that X satisfies `CONSTANT_P', so you need not check this. You can also
2838 assume FLAG_PIC is true, so you need not check it either. You need not
2839 define this macro if all constants (including `SYMBOL_REF') can be immediate
2840 operands when generating position independent code. */
2841 /* #define LEGITIMATE_PIC_OPERAND_P(X) */
2844 /* The Overall Framework of an Assembler File. */
2846 /* A C expression which outputs to the stdio stream STREAM some appropriate
2847 text to go at the start of an assembler file.
2849 Normally this macro is defined to output a line containing `#NO_APP', which
2850 is a comment that has no effect on most assemblers but tells the GNU
2851 assembler that it can save time by not checking for certain assembler
2854 On systems that use SDB, it is necessary to output certain commands; see
2857 Defined in svr4.h. */
2859 /* #define ASM_FILE_START(STREAM) \
2860 output_file_directive ((STREAM), main_input_filename) */
2862 /* A C expression which outputs to the stdio stream STREAM some appropriate
2863 text to go at the end of an assembler file.
2865 If this macro is not defined, the default is to output nothing special at
2866 the end of the file. Most systems don't require any definition.
2868 On systems that use SDB, it is necessary to output certain commands; see
2871 Defined in svr4.h. */
2872 /* #define ASM_FILE_END(STREAM) */
2874 /* A C string constant describing how to begin a comment in the target
2875 assembler language. The compiler assumes that the comment will end at the
2877 #define ASM_COMMENT_START ";"
2879 /* A C string constant for text to be output before each `asm' statement or
2880 group of consecutive ones. Normally this is `"#APP"', which is a comment
2881 that has no effect on most assemblers but tells the GNU assembler that it
2882 must check the lines that follow for all valid assembler constructs. */
2883 #define ASM_APP_ON "#APP\n"
2885 /* A C string constant for text to be output after each `asm' statement or
2886 group of consecutive ones. Normally this is `"#NO_APP"', which tells the
2887 GNU assembler to resume making the time-saving assumptions that are valid
2888 for ordinary compiler output. */
2889 #define ASM_APP_OFF "#NO_APP\n"
2891 /* A C statement to output COFF information or DWARF debugging information
2892 which indicates that filename NAME is the current source file to the stdio
2895 This macro need not be defined if the standard form of output for the file
2896 format in use is appropriate. */
2897 /* #define ASM_OUTPUT_SOURCE_FILENAME(STREAM, NAME) */
2899 /* A C statement to output DBX or SDB debugging information before code for
2900 line number LINE of the current source file to the stdio stream STREAM.
2902 This macro need not be defined if the standard form of debugging information
2903 for the debugger in use is appropriate.
2905 Defined in svr4.h. */
2906 /* #define ASM_OUTPUT_SOURCE_LINE(STREAM, LINE) */
2908 /* A C statement to output something to the assembler file to handle a `#ident'
2909 directive containing the text STRING. If this macro is not defined, nothing
2910 is output for a `#ident' directive.
2912 Defined in svr4.h. */
2913 /* #define ASM_OUTPUT_IDENT(STREAM, STRING) */
2915 /* A C statement to output any assembler statements which are required to
2916 precede any Objective C object definitions or message sending. The
2917 statement is executed only when compiling an Objective C program. */
2918 /* #define OBJC_PROLOGUE */
2921 /* Output of Data. */
2923 /* A C statement to output to the stdio stream STREAM an assembler instruction
2924 to assemble a string constant containing the LEN bytes at PTR. PTR will be
2925 a C expression of type `char *' and LEN a C expression of type `int'.
2927 If the assembler has a `.ascii' pseudo-op as found in the Berkeley Unix
2928 assembler, do not define the macro `ASM_OUTPUT_ASCII'.
2930 Defined in svr4.h. */
2931 /* #define ASM_OUTPUT_ASCII(STREAM, PTR, LEN) */
2933 /* You may define this macro as a C expression. You should define the
2934 expression to have a non-zero value if GNU CC should output the
2935 constant pool for a function before the code for the function, or
2936 a zero value if GNU CC should output the constant pool after the
2937 function. If you do not define this macro, the usual case, GNU CC
2938 will output the constant pool before the function. */
2939 /* #define CONSTANT_POOL_BEFORE_FUNCTION */
2941 /* A C statement to output assembler commands to define the start of the
2942 constant pool for a function. FUNNAME is a string giving the name of the
2943 function. Should the return type of the function be required, it can be
2944 obtained via FUNDECL. SIZE is the size, in bytes, of the constant pool that
2945 will be written immediately after this call.
2947 If no constant-pool prefix is required, the usual case, this macro need not
2949 /* #define ASM_OUTPUT_POOL_PROLOGUE(FILE FUNNAME FUNDECL SIZE) */
2951 /* A C statement (with or without semicolon) to output a constant in the
2952 constant pool, if it needs special treatment. (This macro need not do
2953 anything for RTL expressions that can be output normally.)
2955 The argument FILE is the standard I/O stream to output the assembler code
2956 on. X is the RTL expression for the constant to output, and MODE is the
2957 machine mode (in case X is a `const_int'). ALIGN is the required alignment
2958 for the value X; you should output an assembler directive to force this much
2961 The argument LABELNO is a number to use in an internal label for the address
2962 of this pool entry. The definition of this macro is responsible for
2963 outputting the label definition at the proper place. Here is how to do
2966 ASM_OUTPUT_INTERNAL_LABEL (FILE, "LC", LABELNO);
2968 When you output a pool entry specially, you should end with a `goto' to the
2969 label JUMPTO. This will prevent the same pool entry from being output a
2970 second time in the usual manner.
2972 You need not define this macro if it would do nothing. */
2973 /* #define ASM_OUTPUT_SPECIAL_POOL_ENTRY(FILE, X, MODE, ALIGN, LABELNO, JUMPTO) */
2975 /* Define this macro as a C expression which is nonzero if the constant EXP, of
2976 type `tree', should be output after the code for a function. The compiler
2977 will normally output all constants before the function; you need not define
2978 this macro if this is OK. */
2979 /* #define CONSTANT_AFTER_FUNCTION_P(EXP) */
2981 /* A C statement to output assembler commands to at the end of the constant
2982 pool for a function. FUNNAME is a string giving the name of the function.
2983 Should the return type of the function be required, you can obtain it via
2984 FUNDECL. SIZE is the size, in bytes, of the constant pool that GNU CC wrote
2985 immediately before this call.
2987 If no constant-pool epilogue is required, the usual case, you need not
2988 define this macro. */
2989 /* #define ASM_OUTPUT_POOL_EPILOGUE (FILE FUNNAME FUNDECL SIZE) */
2991 /* Define this macro as a C expression which is nonzero if C is used as a
2992 logical line separator by the assembler.
2994 If you do not define this macro, the default is that only the character `;'
2995 is treated as a logical line separator. */
2996 /* #define IS_ASM_LOGICAL_LINE_SEPARATOR(C) */
2998 /* These macros are provided by `real.h' for writing the definitions of
2999 `ASM_OUTPUT_DOUBLE' and the like: */
3002 /* Output of Uninitialized Variables. */
3004 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
3005 assembler definition of a common-label named NAME whose size is SIZE bytes.
3006 The variable ROUNDED is the size rounded up to whatever alignment the caller
3009 Use the expression `assemble_name (STREAM, NAME)' to output the name itself;
3010 before and after that, output the additional assembler syntax for defining
3011 the name, and a newline.
3013 This macro controls how the assembler definitions of uninitialized global
3014 variables are output. */
3015 /* #define ASM_OUTPUT_COMMON(STREAM, NAME, SIZE, ROUNDED) */
3017 /* Like `ASM_OUTPUT_COMMON' except takes the required alignment as a separate,
3018 explicit argument. If you define this macro, it is used in place of
3019 `ASM_OUTPUT_COMMON', and gives you more flexibility in handling the required
3020 alignment of the variable. The alignment is specified as the number of
3023 Defined in svr4.h. */
3024 /* #define ASM_OUTPUT_ALIGNED_COMMON(STREAM, NAME, SIZE, ALIGNMENT) */
3026 /* Like ASM_OUTPUT_ALIGNED_COMMON except that it takes an additional argument -
3027 the DECL of the variable to be output, if there is one. This macro can be
3028 called with DECL == NULL_TREE. If you define this macro, it is used in
3029 place of both ASM_OUTPUT_COMMON and ASM_OUTPUT_ALIGNED_COMMON, and gives you
3030 more flexibility in handling the destination of the variable. */
3031 /* #define ASM_OUTPUT_DECL_COMMON (STREAM, DECL, NAME, SIZE, ALIGNMENT) */
3033 /* If defined, it is similar to `ASM_OUTPUT_COMMON', except that it is used
3034 when NAME is shared. If not defined, `ASM_OUTPUT_COMMON' will be used. */
3035 /* #define ASM_OUTPUT_SHARED_COMMON(STREAM, NAME, SIZE, ROUNDED) */
3037 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
3038 assembler definition of uninitialized global DECL named NAME whose size is
3039 SIZE bytes. The variable ROUNDED is the size rounded up to whatever
3040 alignment the caller wants.
3042 Try to use function `asm_output_bss' defined in `varasm.c' when defining
3043 this macro. If unable, use the expression `assemble_name (STREAM, NAME)' to
3044 output the name itself; before and after that, output the additional
3045 assembler syntax for defining the name, and a newline.
3047 This macro controls how the assembler definitions of uninitialized global
3048 variables are output. This macro exists to properly support languages like
3049 `c++' which do not have `common' data. However, this macro currently is not
3050 defined for all targets. If this macro and `ASM_OUTPUT_ALIGNED_BSS' are not
3051 defined then `ASM_OUTPUT_COMMON' or `ASM_OUTPUT_ALIGNED_COMMON' or
3052 `ASM_OUTPUT_DECL_COMMON' is used. */
3053 /* #define ASM_OUTPUT_BSS(STREAM, DECL, NAME, SIZE, ROUNDED) */
3055 /* Like `ASM_OUTPUT_BSS' except takes the required alignment as a separate,
3056 explicit argument. If you define this macro, it is used in place of
3057 `ASM_OUTPUT_BSS', and gives you more flexibility in handling the required
3058 alignment of the variable. The alignment is specified as the number of
3061 Try to use function `asm_output_aligned_bss' defined in file `varasm.c' when
3062 defining this macro. */
3063 /* #define ASM_OUTPUT_ALIGNED_BSS(STREAM, DECL, NAME, SIZE, ALIGNMENT) */
3065 /* If defined, it is similar to `ASM_OUTPUT_BSS', except that it is used when
3066 NAME is shared. If not defined, `ASM_OUTPUT_BSS' will be used. */
3067 /* #define ASM_OUTPUT_SHARED_BSS(STREAM, DECL, NAME, SIZE, ROUNDED) */
3069 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
3070 assembler definition of a local-common-label named NAME whose size is SIZE
3071 bytes. The variable ROUNDED is the size rounded up to whatever alignment
3074 Use the expression `assemble_name (STREAM, NAME)' to output the name itself;
3075 before and after that, output the additional assembler syntax for defining
3076 the name, and a newline.
3078 This macro controls how the assembler definitions of uninitialized static
3079 variables are output. */
3080 /* #define ASM_OUTPUT_LOCAL(STREAM, NAME, SIZE, ROUNDED) */
3082 /* Like `ASM_OUTPUT_LOCAL' except takes the required alignment as a separate,
3083 explicit argument. If you define this macro, it is used in place of
3084 `ASM_OUTPUT_LOCAL', and gives you more flexibility in handling the required
3085 alignment of the variable. The alignment is specified as the number of
3088 Defined in svr4.h. */
3089 /* #define ASM_OUTPUT_ALIGNED_LOCAL(STREAM, NAME, SIZE, ALIGNMENT) */
3091 /* Like `ASM_OUTPUT_ALIGNED_LOCAL' except that it takes an additional
3092 parameter - the DECL of variable to be output, if there is one.
3093 This macro can be called with DECL == NULL_TREE. If you define
3094 this macro, it is used in place of `ASM_OUTPUT_LOCAL' and
3095 `ASM_OUTPUT_ALIGNED_LOCAL', and gives you more flexibility in
3096 handling the destination of the variable. */
3097 /* #define ASM_OUTPUT_DECL_LOCAL(STREAM, DECL, NAME, SIZE, ALIGNMENT) */
3099 /* If defined, it is similar to `ASM_OUTPUT_LOCAL', except that it is used when
3100 NAME is shared. If not defined, `ASM_OUTPUT_LOCAL' will be used. */
3101 /* #define ASM_OUTPUT_SHARED_LOCAL (STREAM, NAME, SIZE, ROUNDED) */
3104 /* Output and Generation of Labels. */
3106 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
3107 assembler definition of a label named NAME. Use the expression
3108 `assemble_name (STREAM, NAME)' to output the name itself; before and after
3109 that, output the additional assembler syntax for defining the name, and a
3112 #define ASM_OUTPUT_LABEL(STREAM, NAME) \
3114 assemble_name (STREAM, NAME); \
3115 fputs (":\n", STREAM); \
3118 /* A C statement (sans semicolon) to output to the stdio stream STREAM any text
3119 necessary for declaring the name NAME of a function which is being defined.
3120 This macro is responsible for outputting the label definition (perhaps using
3121 `ASM_OUTPUT_LABEL'). The argument DECL is the `FUNCTION_DECL' tree node
3122 representing the function.
3124 If this macro is not defined, then the function name is defined in the usual
3125 manner as a label (by means of `ASM_OUTPUT_LABEL').
3127 Defined in svr4.h. */
3128 /* #define ASM_DECLARE_FUNCTION_NAME(STREAM, NAME, DECL) */
3130 /* A C statement (sans semicolon) to output to the stdio stream STREAM any text
3131 necessary for declaring the size of a function which is being defined. The
3132 argument NAME is the name of the function. The argument DECL is the
3133 `FUNCTION_DECL' tree node representing the function.
3135 If this macro is not defined, then the function size is not defined.
3137 Defined in svr4.h. */
3138 /* #define ASM_DECLARE_FUNCTION_SIZE(STREAM, NAME, DECL) */
3140 /* A C statement (sans semicolon) to output to the stdio stream STREAM any text
3141 necessary for declaring the name NAME of an initialized variable which is
3142 being defined. This macro must output the label definition (perhaps using
3143 `ASM_OUTPUT_LABEL'). The argument DECL is the `VAR_DECL' tree node
3144 representing the variable.
3146 If this macro is not defined, then the variable name is defined in the usual
3147 manner as a label (by means of `ASM_OUTPUT_LABEL').
3149 Defined in svr4.h. */
3150 /* #define ASM_DECLARE_OBJECT_NAME(STREAM, NAME, DECL) */
3152 /* A C statement (sans semicolon) to finish up declaring a variable name once
3153 the compiler has processed its initializer fully and thus has had a chance
3154 to determine the size of an array when controlled by an initializer. This
3155 is used on systems where it's necessary to declare something about the size
3158 If you don't define this macro, that is equivalent to defining it to do
3161 Defined in svr4.h. */
3162 /* #define ASM_FINISH_DECLARE_OBJECT(STREAM, DECL, TOPLEVEL, ATEND) */
3164 /* A C statement (sans semicolon) to output to the stdio stream STREAM some
3165 commands that will make the label NAME global; that is, available for
3166 reference from other files. Use the expression `assemble_name (STREAM,
3167 NAME)' to output the name itself; before and after that, output the
3168 additional assembler syntax for making that name global, and a newline. */
3170 #define ASM_GLOBALIZE_LABEL(STREAM,NAME) \
3172 fputs ("\t.globl ", STREAM); \
3173 assemble_name (STREAM, NAME); \
3174 fputs ("\n", STREAM); \
3177 /* A C statement (sans semicolon) to output to the stdio stream STREAM some
3178 commands that will make the label NAME weak; that is, available for
3179 reference from other files but only used if no other definition is
3180 available. Use the expression `assemble_name (STREAM, NAME)' to output the
3181 name itself; before and after that, output the additional assembler syntax
3182 for making that name weak, and a newline.
3184 If you don't define this macro, GNU CC will not support weak symbols and you
3185 should not define the `SUPPORTS_WEAK' macro.
3187 Defined in svr4.h. */
3188 /* #define ASM_WEAKEN_LABEL */
3190 /* A C expression which evaluates to true if the target supports weak symbols.
3192 If you don't define this macro, `defaults.h' provides a default definition.
3193 If `ASM_WEAKEN_LABEL' is defined, the default definition is `1'; otherwise,
3194 it is `0'. Define this macro if you want to control weak symbol support
3195 with a compiler flag such as `-melf'. */
3196 /* #define SUPPORTS_WEAK */
3198 /* A C statement (sans semicolon) to mark DECL to be emitted as a
3199 public symbol such that extra copies in multiple translation units
3200 will be discarded by the linker. Define this macro if your object
3201 file format provides support for this concept, such as the `COMDAT'
3202 section flags in the Microsoft Windows PE/COFF format, and this
3203 support requires changes to DECL, such as putting it in a separate
3206 Defined in svr4.h. */
3207 /* #define MAKE_DECL_ONE_ONLY */
3209 /* A C expression which evaluates to true if the target supports one-only
3212 If you don't define this macro, `varasm.c' provides a default definition.
3213 If `MAKE_DECL_ONE_ONLY' is defined, the default definition is `1';
3214 otherwise, it is `0'. Define this macro if you want to control one-only
3215 symbol support with a compiler flag, or if setting the `DECL_ONE_ONLY' flag
3216 is enough to mark a declaration to be emitted as one-only. */
3217 /* #define SUPPORTS_ONE_ONLY */
3219 /* A C statement (sans semicolon) to output to the stdio stream STREAM any text
3220 necessary for declaring the name of an external symbol named NAME which is
3221 referenced in this compilation but not defined. The value of DECL is the
3222 tree node for the declaration.
3224 This macro need not be defined if it does not need to output anything. The
3225 GNU assembler and most Unix assemblers don't require anything. */
3226 /* #define ASM_OUTPUT_EXTERNAL(STREAM, DECL, NAME) */
3228 /* A C statement (sans semicolon) to output on STREAM an assembler pseudo-op to
3229 declare a library function name external. The name of the library function
3230 is given by SYMREF, which has type `rtx' and is a `symbol_ref'.
3232 This macro need not be defined if it does not need to output anything. The
3233 GNU assembler and most Unix assemblers don't require anything.
3235 Defined in svr4.h. */
3236 /* #define ASM_OUTPUT_EXTERNAL_LIBCALL(STREAM, SYMREF) */
3238 /* A C statement (sans semicolon) to output to the stdio stream STREAM a
3239 reference in assembler syntax to a label named NAME. This should add `_' to
3240 the front of the name, if that is customary on your operating system, as it
3241 is in most Berkeley Unix systems. This macro is used in `assemble_name'. */
3242 /* #define ASM_OUTPUT_LABELREF(STREAM, NAME) */
3244 /* A C statement to output to the stdio stream STREAM a label whose name is
3245 made from the string PREFIX and the number NUM.
3247 It is absolutely essential that these labels be distinct from the labels
3248 used for user-level functions and variables. Otherwise, certain programs
3249 will have name conflicts with internal labels.
3251 It is desirable to exclude internal labels from the symbol table of the
3252 object file. Most assemblers have a naming convention for labels that
3253 should be excluded; on many systems, the letter `L' at the beginning of a
3254 label has this effect. You should find out what convention your system
3255 uses, and follow it.
3257 The usual definition of this macro is as follows:
3259 fprintf (STREAM, "L%s%d:\n", PREFIX, NUM)
3261 Defined in svr4.h. */
3262 /* #define ASM_OUTPUT_INTERNAL_LABEL(STREAM, PREFIX, NUM) */
3264 /* A C statement to store into the string STRING a label whose name is made
3265 from the string PREFIX and the number NUM.
3267 This string, when output subsequently by `assemble_name', should produce the
3268 output that `ASM_OUTPUT_INTERNAL_LABEL' would produce with the same PREFIX
3271 If the string begins with `*', then `assemble_name' will output the rest of
3272 the string unchanged. It is often convenient for
3273 `ASM_GENERATE_INTERNAL_LABEL' to use `*' in this way. If the string doesn't
3274 start with `*', then `ASM_OUTPUT_LABELREF' gets to output the string, and
3275 may change it. (Of course, `ASM_OUTPUT_LABELREF' is also part of your
3276 machine description, so you should know what it does on your machine.)
3278 Defined in svr4.h. */
3281 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
3283 sprintf (LABEL, "*.%s%d", PREFIX, NUM); \
3287 /* A C expression to assign to OUTVAR (which is a variable of type `char *') a
3288 newly allocated string made from the string NAME and the number NUMBER, with
3289 some suitable punctuation added. Use `alloca' to get space for the string.
3291 The string will be used as an argument to `ASM_OUTPUT_LABELREF' to produce
3292 an assembler label for an internal static variable whose name is NAME.
3293 Therefore, the string must be such as to result in valid assembler code.
3294 The argument NUMBER is different each time this macro is executed; it
3295 prevents conflicts between similarly-named internal static variables in
3298 Ideally this string should not be a valid C identifier, to prevent any
3299 conflict with the user's own symbols. Most assemblers allow periods or
3300 percent signs in assembler symbols; putting at least one of these between
3301 the name and the number will suffice. */
3303 #define ASM_FORMAT_PRIVATE_NAME(OUTVAR, NAME, NUMBER) \
3305 (OUTVAR) = (char *) alloca (strlen ((NAME)) + 12); \
3306 sprintf ((OUTVAR), "%s.%ld", (NAME), (long)(NUMBER)); \
3309 /* A C statement to output to the stdio stream STREAM assembler code which
3310 defines (equates) the symbol NAME to have the value VALUE.
3312 If SET_ASM_OP is defined, a default definition is provided which is correct
3315 Defined in svr4.h. */
3316 /* #define ASM_OUTPUT_DEF(STREAM, NAME, VALUE) */
3318 /* A C statement to output to the stdio stream STREAM assembler code which
3319 defines (equates) the weak symbol NAME to have the value VALUE.
3321 Define this macro if the target only supports weak aliases; define
3322 ASM_OUTPUT_DEF instead if possible. */
3323 /* #define ASM_OUTPUT_WEAK_ALIAS (STREAM, NAME, VALUE) */
3325 /* Define this macro to override the default assembler names used for Objective
3328 The default name is a unique method number followed by the name of the class
3329 (e.g. `_1_Foo'). For methods in categories, the name of the category is
3330 also included in the assembler name (e.g. `_1_Foo_Bar').
3332 These names are safe on most systems, but make debugging difficult since the
3333 method's selector is not present in the name. Therefore, particular systems
3334 define other ways of computing names.
3336 BUF is an expression of type `char *' which gives you a buffer in which to
3337 store the name; its length is as long as CLASS_NAME, CAT_NAME and SEL_NAME
3338 put together, plus 50 characters extra.
3340 The argument IS_INST specifies whether the method is an instance method or a
3341 class method; CLASS_NAME is the name of the class; CAT_NAME is the name of
3342 the category (or NULL if the method is not in a category); and SEL_NAME is
3343 the name of the selector.
3345 On systems where the assembler can handle quoted names, you can use this
3346 macro to provide more human-readable names. */
3347 /* #define OBJC_GEN_METHOD_LABEL(BUF, IS_INST, CLASS_NAME, CAT_NAME, SEL_NAME) */
3350 /* Macros Controlling Initialization Routines. */
3352 /* If defined, a C string constant for the assembler operation to identify the
3353 following data as initialization code. If not defined, GNU CC will assume
3354 such a section does not exist. When you are using special sections for
3355 initialization and termination functions, this macro also controls how
3356 `crtstuff.c' and `libgcc2.c' arrange to run the initialization functions.
3358 Defined in svr4.h. */
3359 /* #define INIT_SECTION_ASM_OP */
3360 #undef INIT_SECTION_ASM_OP
3362 /* If defined, `main' will not call `__main' as described above. This macro
3363 should be defined for systems that control the contents of the init section
3364 on a symbol-by-symbol basis, such as OSF/1, and should not be defined
3365 explicitly for systems that support `INIT_SECTION_ASM_OP'. */
3366 /* #define HAS_INIT_SECTION */
3368 /* If defined, a C string constant for a switch that tells the linker that the
3369 following symbol is an initialization routine. */
3370 /* #define LD_INIT_SWITCH */
3372 /* If defined, a C string constant for a switch that tells the linker that the
3373 following symbol is a finalization routine. */
3374 /* #define LD_FINI_SWITCH */
3376 /* If defined, `main' will call `__main' despite the presence of
3377 `INIT_SECTION_ASM_OP'. This macro should be defined for systems where the
3378 init section is not actually run automatically, but is still useful for
3379 collecting the lists of constructors and destructors. */
3380 #define INVOKE__main
3382 /* If your system uses `collect2' as the means of processing constructors, then
3383 that program normally uses `nm' to scan an object file for constructor
3384 functions to be called. On certain kinds of systems, you can define these
3385 macros to make `collect2' work faster (and, in some cases, make it work at
3388 /* Define this macro if the system uses COFF (Common Object File Format) object
3389 files, so that `collect2' can assume this format and scan object files
3390 directly for dynamic constructor/destructor functions. */
3391 /* #define OBJECT_FORMAT_COFF */
3393 /* Define this macro if the system uses ROSE format object files, so that
3394 `collect2' can assume this format and scan object files directly for dynamic
3395 constructor/destructor functions.
3397 These macros are effective only in a native compiler; `collect2' as
3398 part of a cross compiler always uses `nm' for the target machine. */
3399 /* #define OBJECT_FORMAT_ROSE */
3401 /* Define this macro if the system uses ELF format object files.
3403 Defined in svr4.h. */
3404 /* #define OBJECT_FORMAT_ELF */
3406 /* Define this macro as a C string constant containing the file name to use to
3407 execute `nm'. The default is to search the path normally for `nm'.
3409 If your system supports shared libraries and has a program to list the
3410 dynamic dependencies of a given library or executable, you can define these
3411 macros to enable support for running initialization and termination
3412 functions in shared libraries: */
3413 /* #define REAL_NM_FILE_NAME */
3415 /* Define this macro to a C string constant containing the name of the program
3416 which lists dynamic dependencies, like `"ldd"' under SunOS 4. */
3417 /* #define LDD_SUFFIX */
3419 /* Define this macro to be C code that extracts filenames from the output of
3420 the program denoted by `LDD_SUFFIX'. PTR is a variable of type `char *'
3421 that points to the beginning of a line of output from `LDD_SUFFIX'. If the
3422 line lists a dynamic dependency, the code must advance PTR to the beginning
3423 of the filename on that line. Otherwise, it must set PTR to `NULL'. */
3424 /* #define PARSE_LDD_OUTPUT (PTR) */
3427 /* Output of Assembler Instructions. */
3429 /* A C initializer containing the assembler's names for the machine registers,
3430 each one as a C string constant. This is what translates register numbers
3431 in the compiler into assembler language. */
3432 #define REGISTER_NAMES \
3434 "r0", "r1", "r2", "r3", \
3435 "r4", "r5", "r6", "r7", \
3436 "r8", "r9", "r10", "r11", \
3437 "r12", "r13", "r14", "r15", \
3438 "r16", "r17", "r18", "r19", \
3439 "r20", "r21", "r22", "r23", \
3440 "r24", "r25", "r26", "r27", \
3441 "r28", "r29", "r30", "r31", \
3442 "r32", "r33", "r34", "r35", \
3443 "r36", "r37", "r38", "r39", \
3444 "r40", "r41", "r42", "r43", \
3445 "r44", "r45", "r46", "r47", \
3446 "r48", "r49", "r50", "r51", \
3447 "r52", "r53", "r54", "r55", \
3448 "r56", "r57", "r58", "r59", \
3449 "r60", "r61", "link", "sp", \
3451 "f0", "f1", "f2", "f3", \
3452 "s", "v", "va", "c", \
3454 "psw", "bpsw", "pc", "bpc", \
3455 "dpsw", "dpc", "rpt_c", "rpt_s", \
3456 "rpt_e", "mod_s", "mod_e", "iba", \
3457 "eit_vb", "int_s", "int_m", \
3460 /* If defined, a C initializer for an array of structures containing a name and
3461 a register number. This macro defines additional names for hard registers,
3462 thus allowing the `asm' option in declarations to refer to registers using
3464 #define ADDITIONAL_REGISTER_NAMES \
3466 {"r62", GPR_LINK}, \
3469 {"f5", FLAG_OVERFLOW}, \
3470 {"f6", FLAG_ACC_OVER}, \
3471 {"f7", FLAG_CARRY}, \
3472 {"carry", FLAG_CARRY}, \
3473 {"borrow", FLAG_BORROW}, \
3474 {"b", FLAG_BORROW}, \
3481 {"cr7", CR_RPT_C}, \
3482 {"cr8", CR_RPT_S}, \
3483 {"cr9", CR_RPT_E}, \
3484 {"cr10", CR_MOD_S}, \
3485 {"cr11", CR_MOD_E}, \
3487 {"cr15", CR_EIT_VB}, \
3488 {"cr16", CR_INT_S}, \
3489 {"cr17", CR_INT_M} \
3492 /* Define this macro if you are using an unusual assembler that requires
3493 different names for the machine instructions.
3495 The definition is a C statement or statements which output an assembler
3496 instruction opcode to the stdio stream STREAM. The macro-operand PTR is a
3497 variable of type `char *' which points to the opcode name in its "internal"
3498 form--the form that is written in the machine description. The definition
3499 should output the opcode name to STREAM, performing any translation you
3500 desire, and increment the variable PTR to point at the end of the opcode so
3501 that it will not be output twice.
3503 In fact, your macro definition may process less than the entire opcode name,
3504 or more than the opcode name; but if you want to process text that includes
3505 `%'-sequences to substitute operands, you must take care of the substitution
3506 yourself. Just be sure to increment PTR over whatever text should not be
3509 If you need to look at the operand values, they can be found as the elements
3510 of `recog_data.operand'.
3512 If the macro definition does nothing, the instruction is output in the usual
3514 /* #define ASM_OUTPUT_OPCODE(STREAM, PTR) */
3516 /* If defined, a C statement to be executed just prior to the output of
3517 assembler code for INSN, to modify the extracted operands so they will be
3520 Here the argument OPVEC is the vector containing the operands extracted from
3521 INSN, and NOPERANDS is the number of elements of the vector which contain
3522 meaningful data for this insn. The contents of this vector are what will be
3523 used to convert the insn template into assembler code, so you can change the
3524 assembler output by changing the contents of the vector.
3526 This macro is useful when various assembler syntaxes share a single file of
3527 instruction patterns; by defining this macro differently, you can cause a
3528 large class of instructions to be output differently (such as with
3529 rearranged operands). Naturally, variations in assembler syntax affecting
3530 individual insn patterns ought to be handled by writing conditional output
3531 routines in those patterns.
3533 If this macro is not defined, it is equivalent to a null statement. */
3534 /* #define FINAL_PRESCAN_INSN(INSN, OPVEC, NOPERANDS) */
3536 /* If defined, `FINAL_PRESCAN_INSN' will be called on each
3537 `CODE_LABEL'. In that case, OPVEC will be a null pointer and
3538 NOPERANDS will be zero. */
3539 /* #define FINAL_PRESCAN_LABEL */
3541 /* A C compound statement to output to stdio stream STREAM the assembler syntax
3542 for an instruction operand X. X is an RTL expression.
3544 CODE is a value that can be used to specify one of several ways of printing
3545 the operand. It is used when identical operands must be printed differently
3546 depending on the context. CODE comes from the `%' specification that was
3547 used to request printing of the operand. If the specification was just
3548 `%DIGIT' then CODE is 0; if the specification was `%LTR DIGIT' then CODE is
3549 the ASCII code for LTR.
3551 If X is a register, this macro should print the register's name. The names
3552 can be found in an array `reg_names' whose type is `char *[]'. `reg_names'
3553 is initialized from `REGISTER_NAMES'.
3555 When the machine description has a specification `%PUNCT' (a `%' followed by
3556 a punctuation character), this macro is called with a null pointer for X and
3557 the punctuation character for CODE.
3559 Standard operand flags that are handled elsewhere:
3560 `=' Output a number unique to each instruction in the compilation.
3561 `a' Substitute an operand as if it were a memory reference.
3562 `c' Omit the syntax that indicates an immediate operand.
3563 `l' Substitute a LABEL_REF into a jump instruction.
3564 `n' Like %cDIGIT, except negate the value before printing.
3566 The d30v specific operand flags are:
3568 `f' Print a SF constant as an int.
3569 `s' Subtract 32 and negate.
3570 `A' Print accumulator number without an `a' in front of it.
3571 `B' Print bit offset for BSET, etc. instructions.
3572 `E' Print u if this is zero extend, nothing if this is sign extend.
3573 `F' Emit /{f,t,x}{f,t,x} for executing a false condition.
3574 `L' Print the lower half of a 64 bit item.
3575 `M' Print a memory reference for ld/st instructions.
3576 `R' Return appropriate cmp instruction for relational test.
3578 `T' Emit /{f,t,x}{f,t,x} for executing a true condition.
3579 `U' Print the upper half of a 64 bit item. */
3581 #define PRINT_OPERAND(STREAM, X, CODE) d30v_print_operand (STREAM, X, CODE)
3583 /* A C expression which evaluates to true if CODE is a valid punctuation
3584 character for use in the `PRINT_OPERAND' macro. If
3585 `PRINT_OPERAND_PUNCT_VALID_P' is not defined, it means that no punctuation
3586 characters (except for the standard one, `%') are used in this way. */
3588 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) ((CODE) == '.' || (CODE) == ':')
3590 /* A C compound statement to output to stdio stream STREAM the assembler syntax
3591 for an instruction operand that is a memory reference whose address is X. X
3592 is an RTL expression.
3594 On some machines, the syntax for a symbolic address depends on the section
3595 that the address refers to. On these machines, define the macro
3596 `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and
3597 then check for it here. *Note Assembler Format::. */
3599 #define PRINT_OPERAND_ADDRESS(STREAM, X) d30v_print_operand_address (STREAM, X)
3601 /* A C statement, to be executed after all slot-filler instructions have been
3602 output. If necessary, call `dbr_sequence_length' to determine the number of
3603 slots filled in a sequence (zero if not currently outputting a sequence), to
3604 decide how many no-ops to output, or whatever.
3606 Don't define this macro if it has nothing to do, but it is helpful in
3607 reading assembly output if the extent of the delay sequence is made explicit
3608 (e.g. with white space).
3610 Note that output routines for instructions with delay slots must be prepared
3611 to deal with not being output as part of a sequence (i.e. when the
3612 scheduling pass is not run, or when no slot fillers could be found.) The
3613 variable `final_sequence' is null when not processing a sequence, otherwise
3614 it contains the `sequence' rtx being output. */
3615 /* #define DBR_OUTPUT_SEQEND(FILE) */
3617 /* If defined, C string expressions to be used for the `%R', `%L', `%U', and
3618 `%I' options of `asm_fprintf' (see `final.c'). These are useful when a
3619 single `md' file must support multiple assembler formats. In that case, the
3620 various `tm.h' files can define these macros differently.
3622 USER_LABEL_PREFIX is defined in svr4.h. */
3624 #define REGISTER_PREFIX "%"
3625 #define LOCAL_LABEL_PREFIX "."
3626 #define USER_LABEL_PREFIX ""
3627 #define IMMEDIATE_PREFIX ""
3629 /* If your target supports multiple dialects of assembler language (such as
3630 different opcodes), define this macro as a C expression that gives the
3631 numeric index of the assembler language dialect to use, with zero as the
3634 If this macro is defined, you may use `{option0|option1|option2...}'
3635 constructs in the output templates of patterns (*note Output Template::.) or
3636 in the first argument of `asm_fprintf'. This construct outputs `option0',
3637 `option1' or `option2', etc., if the value of `ASSEMBLER_DIALECT' is zero,
3638 one or two, etc. Any special characters within these strings retain their
3641 If you do not define this macro, the characters `{', `|' and `}' do not have
3642 any special meaning when used in templates or operands to `asm_fprintf'.
3644 Define the macros `REGISTER_PREFIX', `LOCAL_LABEL_PREFIX',
3645 `USER_LABEL_PREFIX' and `IMMEDIATE_PREFIX' if you can express the variations
3646 in assemble language syntax with that mechanism. Define `ASSEMBLER_DIALECT'
3647 and use the `{option0|option1}' syntax if the syntax variant are larger and
3648 involve such things as different opcodes or operand order. */
3649 /* #define ASSEMBLER_DIALECT */
3651 /* A C expression to output to STREAM some assembler code which will push hard
3652 register number REGNO onto the stack. The code need not be optimal, since
3653 this macro is used only when profiling. */
3654 /* #define ASM_OUTPUT_REG_PUSH (STREAM, REGNO) */
3656 /* A C expression to output to STREAM some assembler code which will pop hard
3657 register number REGNO off of the stack. The code need not be optimal, since
3658 this macro is used only when profiling. */
3659 /* #define ASM_OUTPUT_REG_POP (STREAM, REGNO) */
3662 /* Output of dispatch tables. */
3664 /* This macro should be provided on machines where the addresses in a dispatch
3665 table are relative to the table's own address.
3667 The definition should be a C statement to output to the stdio stream STREAM
3668 an assembler pseudo-instruction to generate a difference between two labels.
3669 VALUE and REL are the numbers of two internal labels. The definitions of
3670 these labels are output using `ASM_OUTPUT_INTERNAL_LABEL', and they must be
3671 printed in the same way here. For example,
3673 fprintf (STREAM, "\t.word L%d-L%d\n", VALUE, REL) */
3675 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \
3676 fprintf (STREAM, "\t.word .L%d-.L%d\n", VALUE, REL)
3678 /* This macro should be provided on machines where the addresses in a dispatch
3681 The definition should be a C statement to output to the stdio stream STREAM
3682 an assembler pseudo-instruction to generate a reference to a label. VALUE
3683 is the number of an internal label whose definition is output using
3684 `ASM_OUTPUT_INTERNAL_LABEL'. For example,
3686 fprintf (STREAM, "\t.word L%d\n", VALUE) */
3688 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \
3689 fprintf (STREAM, "\t.word .L%d\n", VALUE)
3691 /* Define this if the label before a jump-table needs to be output specially.
3692 The first three arguments are the same as for `ASM_OUTPUT_INTERNAL_LABEL';
3693 the fourth argument is the jump-table which follows (a `jump_insn'
3694 containing an `addr_vec' or `addr_diff_vec').
3696 This feature is used on system V to output a `swbeg' statement for the
3699 If this macro is not defined, these labels are output with
3700 `ASM_OUTPUT_INTERNAL_LABEL'.
3702 Defined in svr4.h. */
3703 /* #define ASM_OUTPUT_CASE_LABEL(STREAM, PREFIX, NUM, TABLE) */
3705 /* Define this if something special must be output at the end of a jump-table.
3706 The definition should be a C statement to be executed after the assembler
3707 code for the table is written. It should write the appropriate code to
3708 stdio stream STREAM. The argument TABLE is the jump-table insn, and NUM is
3709 the label-number of the preceding label.
3711 If this macro is not defined, nothing special is output at the end of the
3713 /* #define ASM_OUTPUT_CASE_END(STREAM, NUM, TABLE) */
3716 /* Assembler Commands for Exception Regions. */
3718 /* An rtx used to mask the return address found via RETURN_ADDR_RTX, so that it
3719 does not contain any extraneous set bits in it. */
3720 /* #define MASK_RETURN_ADDR */
3722 /* Define this macro to 0 if your target supports DWARF 2 frame unwind
3723 information, but it does not yet work with exception handling. Otherwise,
3724 if your target supports this information (if it defines
3725 `INCOMING_RETURN_ADDR_RTX'), GCC will provide a default definition of 1.
3727 If this macro is defined to 1, the DWARF 2 unwinder will be the default
3728 exception handling mechanism; otherwise, setjmp/longjmp will be used by
3731 If this macro is defined to anything, the DWARF 2 unwinder will be used
3732 instead of inline unwinders and __unwind_function in the non-setjmp case. */
3733 /* #define DWARF2_UNWIND_INFO */
3736 /* Assembler Commands for Alignment. */
3738 /* The alignment (log base 2) to put in front of LABEL, which follows
3741 This macro need not be defined if you don't want any special alignment to be
3742 done at such a time. Most machine descriptions do not currently define the
3744 /* #define LABEL_ALIGN_AFTER_BARRIER(LABEL) */
3746 /* The desired alignment for the location counter at the beginning
3749 This macro need not be defined if you don't want any special alignment to be
3750 done at such a time. Most machine descriptions do not currently define the
3752 /* #define LOOP_ALIGN(LABEL) */
3754 /* A C statement to output to the stdio stream STREAM an assembler instruction
3755 to advance the location counter by NBYTES bytes. Those bytes should be zero
3756 when loaded. NBYTES will be a C expression of type `int'.
3758 Defined in svr4.h. */
3759 /* #define ASM_OUTPUT_SKIP(STREAM, NBYTES) \
3760 fprintf (STREAM, "\t.zero\t%u\n", (NBYTES)) */
3762 /* Define this macro if `ASM_OUTPUT_SKIP' should not be used in the text
3763 section because it fails put zeros in the bytes that are skipped. This is
3764 true on many Unix systems, where the pseudo-op to skip bytes produces no-op
3765 instructions rather than zeros when used in the text section. */
3766 /* #define ASM_NO_SKIP_IN_TEXT */
3768 /* A C statement to output to the stdio stream STREAM an assembler command to
3769 advance the location counter to a multiple of 2 to the POWER bytes. POWER
3770 will be a C expression of type `int'. */
3771 #define ASM_OUTPUT_ALIGN(STREAM, POWER) \
3772 fprintf ((STREAM), "\t.p2align %d\n", (POWER))
3775 /* Macros Affecting all Debug Formats. */
3777 /* A C expression that returns the DBX register number for the compiler
3778 register number REGNO. In simple cases, the value of this expression may be
3779 REGNO itself. But sometimes there are some registers that the compiler
3780 knows about and DBX does not, or vice versa. In such cases, some register
3781 may need to have one number in the compiler and another for DBX.
3783 If two registers have consecutive numbers inside GNU CC, and they can be
3784 used as a pair to hold a multiword value, then they *must* have consecutive
3785 numbers after renumbering with `DBX_REGISTER_NUMBER'. Otherwise, debuggers
3786 will be unable to access such a pair, because they expect register pairs to
3787 be consecutive in their own numbering scheme.
3789 If you find yourself defining `DBX_REGISTER_NUMBER' in way that does not
3790 preserve register pairs, then what you must do instead is redefine the
3791 actual register numbering scheme. */
3792 #define DBX_REGISTER_NUMBER(REGNO) \
3793 (GPR_P (REGNO) ? ((REGNO) - GPR_FIRST) \
3794 : ACCUM_P (REGNO) ? ((REGNO) - ACCUM_FIRST + 84) \
3795 : FLAG_P (REGNO) ? 66 /* return psw for all flags */ \
3796 : (REGNO) == ARG_POINTER_REGNUM ? (GPR_SP - GPR_FIRST) \
3797 : (REGNO) == CR_PSW ? (66 + 0) \
3798 : (REGNO) == CR_BPSW ? (66 + 1) \
3799 : (REGNO) == CR_PC ? (66 + 2) \
3800 : (REGNO) == CR_BPC ? (66 + 3) \
3801 : (REGNO) == CR_DPSW ? (66 + 4) \
3802 : (REGNO) == CR_DPC ? (66 + 5) \
3803 : (REGNO) == CR_RPT_C ? (66 + 7) \
3804 : (REGNO) == CR_RPT_S ? (66 + 8) \
3805 : (REGNO) == CR_RPT_E ? (66 + 9) \
3806 : (REGNO) == CR_MOD_S ? (66 + 10) \
3807 : (REGNO) == CR_MOD_E ? (66 + 11) \
3808 : (REGNO) == CR_IBA ? (66 + 14) \
3809 : (REGNO) == CR_EIT_VB ? (66 + 15) \
3810 : (REGNO) == CR_INT_S ? (66 + 16) \
3811 : (REGNO) == CR_INT_M ? (66 + 17) \
3814 /* A C expression that returns the integer offset value for an automatic
3815 variable having address X (an RTL expression). The default computation
3816 assumes that X is based on the frame-pointer and gives the offset from the
3817 frame-pointer. This is required for targets that produce debugging output
3818 for DBX or COFF-style debugging output for SDB and allow the frame-pointer
3819 to be eliminated when the `-g' options is used. */
3820 /* #define DEBUGGER_AUTO_OFFSET(X) */
3822 /* A C expression that returns the integer offset value for an argument having
3823 address X (an RTL expression). The nominal offset is OFFSET. */
3824 /* #define DEBUGGER_ARG_OFFSET(OFFSET, X) */
3826 /* A C expression that returns the type of debugging output GNU CC produces
3827 when the user specifies `-g' or `-ggdb'. Define this if you have arranged
3828 for GNU CC to support more than one format of debugging output. Currently,
3829 the allowable values are `DBX_DEBUG', `SDB_DEBUG', `DWARF_DEBUG',
3830 `DWARF2_DEBUG', and `XCOFF_DEBUG'.
3832 The value of this macro only affects the default debugging output; the user
3833 can always get a specific type of output by using `-gstabs', `-gcoff',
3834 `-gdwarf-1', `-gdwarf-2', or `-gxcoff'.
3836 Defined in svr4.h. */
3838 #undef PREFERRED_DEBUGGING_TYPE
3839 #define PREFERRED_DEBUGGING_TYPE DBX_DEBUG
3842 /* Specific Options for DBX Output. */
3844 /* Define this macro if GNU CC should produce debugging output for DBX in
3845 response to the `-g' option.
3847 Defined in svr4.h. */
3848 /* #define DBX_DEBUGGING_INFO */
3850 /* Define this macro if GNU CC should produce XCOFF format debugging output in
3851 response to the `-g' option. This is a variant of DBX format. */
3852 /* #define XCOFF_DEBUGGING_INFO */
3854 /* Define this macro to control whether GNU CC should by default generate GDB's
3855 extended version of DBX debugging information (assuming DBX-format debugging
3856 information is enabled at all). If you don't define the macro, the default
3857 is 1: always generate the extended information if there is any occasion to. */
3858 /* #define DEFAULT_GDB_EXTENSIONS */
3860 /* Define this macro if all `.stabs' commands should be output while in the
3862 /* #define DEBUG_SYMS_TEXT */
3864 /* A C string constant naming the assembler pseudo op to use instead of
3865 `.stabs' to define an ordinary debugging symbol. If you don't define this
3866 macro, `.stabs' is used. This macro applies only to DBX debugging
3867 information format. */
3868 /* #define ASM_STABS_OP */
3870 /* A C string constant naming the assembler pseudo op to use instead of
3871 `.stabd' to define a debugging symbol whose value is the current location.
3872 If you don't define this macro, `.stabd' is used. This macro applies only
3873 to DBX debugging information format. */
3874 /* #define ASM_STABD_OP */
3876 /* A C string constant naming the assembler pseudo op to use instead of
3877 `.stabn' to define a debugging symbol with no name. If you don't define
3878 this macro, `.stabn' is used. This macro applies only to DBX debugging
3879 information format. */
3880 /* #define ASM_STABN_OP */
3882 /* Define this macro if DBX on your system does not support the construct
3883 `xsTAGNAME'. On some systems, this construct is used to describe a forward
3884 reference to a structure named TAGNAME. On other systems, this construct is
3885 not supported at all. */
3886 /* #define DBX_NO_XREFS */
3888 /* A symbol name in DBX-format debugging information is normally continued
3889 (split into two separate `.stabs' directives) when it exceeds a certain
3890 length (by default, 80 characters). On some operating systems, DBX requires
3891 this splitting; on others, splitting must not be done. You can inhibit
3892 splitting by defining this macro with the value zero. You can override the
3893 default splitting-length by defining this macro as an expression for the
3894 length you desire. */
3895 /* #define DBX_CONTIN_LENGTH */
3897 /* Normally continuation is indicated by adding a `\' character to the end of a
3898 `.stabs' string when a continuation follows. To use a different character
3899 instead, define this macro as a character constant for the character you
3900 want to use. Do not define this macro if backslash is correct for your
3902 /* #define DBX_CONTIN_CHAR */
3904 /* Define this macro if it is necessary to go to the data section before
3905 outputting the `.stabs' pseudo-op for a non-global static variable. */
3906 /* #define DBX_STATIC_STAB_DATA_SECTION */
3908 /* The value to use in the "code" field of the `.stabs' directive for a
3909 typedef. The default is `N_LSYM'. */
3910 /* #define DBX_TYPE_DECL_STABS_CODE */
3912 /* The value to use in the "code" field of the `.stabs' directive for a static
3913 variable located in the text section. DBX format does not provide any
3914 "right" way to do this. The default is `N_FUN'. */
3915 /* #define DBX_STATIC_CONST_VAR_CODE */
3917 /* The value to use in the "code" field of the `.stabs' directive for a
3918 parameter passed in registers. DBX format does not provide any "right" way
3919 to do this. The default is `N_RSYM'. */
3920 /* #define DBX_REGPARM_STABS_CODE */
3922 /* The letter to use in DBX symbol data to identify a symbol as a parameter
3923 passed in registers. DBX format does not customarily provide any way to do
3924 this. The default is `'P''. */
3925 /* #define DBX_REGPARM_STABS_LETTER */
3927 /* The letter to use in DBX symbol data to identify a symbol as a stack
3928 parameter. The default is `'p''. */
3929 /* #define DBX_MEMPARM_STABS_LETTER */
3931 /* Define this macro if the DBX information for a function and its arguments
3932 should precede the assembler code for the function. Normally, in DBX
3933 format, the debugging information entirely follows the assembler code.
3935 Defined in svr4.h. */
3936 /* #define DBX_FUNCTION_FIRST */
3938 /* Define this macro if the `N_LBRAC' symbol for a block should precede the
3939 debugging information for variables and functions defined in that block.
3940 Normally, in DBX format, the `N_LBRAC' symbol comes first. */
3941 /* #define DBX_LBRAC_FIRST */
3943 /* Define this macro if the value of a symbol describing the scope of a block
3944 (`N_LBRAC' or `N_RBRAC') should be relative to the start of the enclosing
3945 function. Normally, GNU C uses an absolute address.
3947 Defined in svr4.h. */
3948 /* #define DBX_BLOCKS_FUNCTION_RELATIVE */
3950 /* Define this macro if GNU C should generate `N_BINCL' and `N_EINCL'
3951 stabs for included header files, as on Sun systems. This macro
3952 also directs GNU C to output a type number as a pair of a file
3953 number and a type number within the file. Normally, GNU C does not
3954 generate `N_BINCL' or `N_EINCL' stabs, and it outputs a single
3955 number for a type number. */
3956 /* #define DBX_USE_BINCL */
3959 /* Open ended Hooks for DBX Output. */
3961 /* Define this macro to say how to output to STREAM the debugging information
3962 for the start of a scope level for variable names. The argument NAME is the
3963 name of an assembler symbol (for use with `assemble_name') whose value is
3964 the address where the scope begins. */
3965 /* #define DBX_OUTPUT_LBRAC(STREAM, NAME) */
3967 /* Like `DBX_OUTPUT_LBRAC', but for the end of a scope level. */
3968 /* #define DBX_OUTPUT_RBRAC(STREAM, NAME) */
3970 /* Define this macro if the target machine requires special handling to output
3971 an enumeration type. The definition should be a C statement (sans
3972 semicolon) to output the appropriate information to STREAM for the type
3974 /* #define DBX_OUTPUT_ENUM(STREAM, TYPE) */
3976 /* Define this macro if the target machine requires special output at the end
3977 of the debugging information for a function. The definition should be a C
3978 statement (sans semicolon) to output the appropriate information to STREAM.
3979 FUNCTION is the `FUNCTION_DECL' node for the function. */
3980 /* #define DBX_OUTPUT_FUNCTION_END(STREAM, FUNCTION) */
3982 /* Define this macro if you need to control the order of output of the standard
3983 data types at the beginning of compilation. The argument SYMS is a `tree'
3984 which is a chain of all the predefined global symbols, including names of
3987 Normally, DBX output starts with definitions of the types for integers and
3988 characters, followed by all the other predefined types of the particular
3989 language in no particular order.
3991 On some machines, it is necessary to output different particular types
3992 first. To do this, define `DBX_OUTPUT_STANDARD_TYPES' to output those
3993 symbols in the necessary order. Any predefined types that you don't
3994 explicitly output will be output afterward in no particular order.
3996 Be careful not to define this macro so that it works only for C. There are
3997 no global variables to access most of the built-in types, because another
3998 language may have another set of types. The way to output a particular type
3999 is to look through SYMS to see if you can find it. Here is an example:
4003 for (decl = syms; decl; decl = TREE_CHAIN (decl))
4004 if (!strcmp (IDENTIFIER_POINTER (DECL_NAME (decl)),
4006 dbxout_symbol (decl);
4010 This does nothing if the expected type does not exist.
4012 See the function `init_decl_processing' in `c-decl.c' to find the names to
4013 use for all the built-in C types. */
4014 /* #define DBX_OUTPUT_STANDARD_TYPES(SYMS) */
4016 /* Some stabs encapsulation formats (in particular ECOFF), cannot
4017 handle the `.stabs "",N_FUN,,0,0,Lscope-function-1' gdb dbx
4018 extension construct. On those machines, define this macro to turn
4019 this feature off without disturbing the rest of the gdb extensions. */
4020 /* #define NO_DBX_FUNCTION_END */
4023 /* File names in DBX format. */
4025 /* Define this if DBX wants to have the current directory recorded in each
4028 Note that the working directory is always recorded if GDB extensions are
4030 /* #define DBX_WORKING_DIRECTORY */
4032 /* A C statement to output DBX debugging information to the stdio stream STREAM
4033 which indicates that file NAME is the main source file--the file specified
4034 as the input file for compilation. This macro is called only once, at the
4035 beginning of compilation.
4037 This macro need not be defined if the standard form of output for DBX
4038 debugging information is appropriate.
4040 Defined in svr4.h. */
4041 /* #define DBX_OUTPUT_MAIN_SOURCE_FILENAME(STREAM, NAME) */
4043 /* A C statement to output DBX debugging information to the stdio stream STREAM
4044 which indicates that the current directory during compilation is named NAME.
4046 This macro need not be defined if the standard form of output for DBX
4047 debugging information is appropriate. */
4048 /* #define DBX_OUTPUT_MAIN_SOURCE_DIRECTORY(STREAM, NAME) */
4050 /* A C statement to output DBX debugging information at the end of compilation
4051 of the main source file NAME.
4053 If you don't define this macro, nothing special is output at the end of
4054 compilation, which is correct for most machines. */
4055 /* #define DBX_OUTPUT_MAIN_SOURCE_FILE_END(STREAM, NAME) */
4057 /* A C statement to output DBX debugging information to the stdio stream STREAM
4058 which indicates that file NAME is the current source file. This output is
4059 generated each time input shifts to a different source file as a result of
4060 `#include', the end of an included file, or a `#line' command.
4062 This macro need not be defined if the standard form of output for DBX
4063 debugging information is appropriate. */
4064 /* #define DBX_OUTPUT_SOURCE_FILENAME(STREAM, NAME) */
4067 /* Macros for SDB and Dwarf Output. */
4069 /* Define this macro if GNU CC should produce COFF-style debugging output for
4070 SDB in response to the `-g' option. */
4071 /* #define SDB_DEBUGGING_INFO */
4073 /* Define this macro if GNU CC should produce dwarf format debugging output in
4074 response to the `-g' option.
4076 Defined in svr4.h. */
4077 /* #define DWARF_DEBUGGING_INFO */
4079 /* Define this macro if GNU CC should produce dwarf version 2 format debugging
4080 output in response to the `-g' option.
4082 To support optional call frame debugging information, you must also define
4083 `INCOMING_RETURN_ADDR_RTX' and either set `RTX_FRAME_RELATED_P' on the
4084 prologue insns if you use RTL for the prologue, or call `dwarf2out_def_cfa'
4085 and `dwarf2out_reg_save' as appropriate from output_function_prologue() if
4088 Defined in svr4.h. */
4089 /* #define DWARF2_DEBUGGING_INFO */
4091 /* Define these macros to override the assembler syntax for the special SDB
4092 assembler directives. See `sdbout.c' for a list of these macros and their
4093 arguments. If the standard syntax is used, you need not define them
4095 /* #define PUT_SDB_... */
4097 /* Some assemblers do not support a semicolon as a delimiter, even between SDB
4098 assembler directives. In that case, define this macro to be the delimiter
4099 to use (usually `\n'). It is not necessary to define a new set of
4100 `PUT_SDB_OP' macros if this is the only change required. */
4101 /* #define SDB_DELIM */
4103 /* Define this macro to override the usual method of constructing a dummy name
4104 for anonymous structure and union types. See `sdbout.c' for more
4106 /* #define SDB_GENERATE_FAKE */
4108 /* Define this macro to allow references to unknown structure, union, or
4109 enumeration tags to be emitted. Standard COFF does not allow handling of
4110 unknown references, MIPS ECOFF has support for it. */
4111 /* #define SDB_ALLOW_UNKNOWN_REFERENCES */
4113 /* Define this macro to allow references to structure, union, or enumeration
4114 tags that have not yet been seen to be handled. Some assemblers choke if
4115 forward tags are used, while some require it. */
4116 /* #define SDB_ALLOW_FORWARD_REFERENCES */
4120 /* Miscellaneous Parameters. */
4122 /* Define this if you have defined special-purpose predicates in the file
4123 `MACHINE.c'. This macro is called within an initializer of an array of
4124 structures. The first field in the structure is the name of a predicate and
4125 the second field is an array of rtl codes. For each predicate, list all rtl
4126 codes that can be in expressions matched by the predicate. The list should
4127 have a trailing comma. Here is an example of two entries in the list for a
4128 typical RISC machine:
4130 #define PREDICATE_CODES \
4131 {"gen_reg_rtx_operand", {SUBREG, REG}}, \
4132 {"reg_or_short_cint_operand", {SUBREG, REG, CONST_INT}},
4134 Defining this macro does not affect the generated code (however, incorrect
4135 definitions that omit an rtl code that may be matched by the predicate can
4136 cause the compiler to malfunction). Instead, it allows the table built by
4137 `genrecog' to be more compact and efficient, thus speeding up the compiler.
4138 The most important predicates to include in the list specified by this macro
4139 are thoses used in the most insn patterns. */
4141 #define PREDICATE_CODES \
4142 { "short_memory_operand", { MEM }}, \
4143 { "long_memory_operand", { MEM }}, \
4144 { "d30v_memory_operand", { MEM }}, \
4145 { "single_reg_memory_operand", { MEM }}, \
4146 { "const_addr_memory_operand", { MEM }}, \
4147 { "call_operand", { MEM }}, \
4148 { "gpr_operand", { REG, SUBREG }}, \
4149 { "accum_operand", { REG, SUBREG }}, \
4150 { "gpr_or_accum_operand", { REG, SUBREG }}, \
4151 { "cr_operand", { REG, SUBREG }}, \
4152 { "repeat_operand", { REG, SUBREG }}, \
4153 { "flag_operand", { REG, SUBREG }}, \
4154 { "br_flag_operand", { REG, SUBREG }}, \
4155 { "br_flag_or_constant_operand", { REG, SUBREG, CONST_INT }}, \
4156 { "gpr_or_br_flag_operand", { REG, SUBREG }}, \
4157 { "f0_operand", { REG, SUBREG }}, \
4158 { "f1_operand", { REG, SUBREG }}, \
4159 { "carry_operand", { REG, SUBREG }}, \
4160 { "reg_or_0_operand", { REG, SUBREG, CONST_INT, \
4162 { "gpr_or_signed6_operand", { REG, SUBREG, CONST_INT }}, \
4163 { "gpr_or_unsigned5_operand", { REG, SUBREG, CONST_INT }}, \
4164 { "gpr_or_unsigned6_operand", { REG, SUBREG, CONST_INT }}, \
4165 { "gpr_or_constant_operand", { REG, SUBREG, CONST_INT, \
4166 CONST, SYMBOL_REF, \
4168 { "gpr_or_dbl_const_operand", { REG, SUBREG, CONST_INT, \
4169 CONST, SYMBOL_REF, \
4170 LABEL_REF, CONST_DOUBLE }}, \
4171 { "gpr_or_memory_operand", { REG, SUBREG, MEM }}, \
4172 { "move_input_operand", { REG, SUBREG, MEM, CONST_INT, \
4173 CONST, SYMBOL_REF, \
4174 LABEL_REF, CONST_DOUBLE }}, \
4175 { "move_output_operand", { REG, SUBREG, MEM }}, \
4176 { "signed6_operand", { CONST_INT }}, \
4177 { "unsigned5_operand", { CONST_INT }}, \
4178 { "unsigned6_operand", { CONST_INT }}, \
4179 { "bitset_operand", { CONST_INT }}, \
4180 { "condexec_test_operator", { EQ, NE }}, \
4181 { "condexec_branch_operator", { EQ, NE }}, \
4182 { "condexec_unary_operator", { ABS, NEG, NOT, ZERO_EXTEND }}, \
4183 { "condexec_addsub_operator", { PLUS, MINUS }}, \
4184 { "condexec_binary_operator", { MULT, AND, IOR, XOR, \
4185 ASHIFT, ASHIFTRT, LSHIFTRT, \
4186 ROTATE, ROTATERT }}, \
4187 { "condexec_shiftl_operator", { ASHIFT, ROTATE }}, \
4188 { "condexec_extend_operator", { SIGN_EXTEND, ZERO_EXTEND }}, \
4189 { "branch_zero_operator", { EQ, NE }}, \
4190 { "cond_move_dest_operand", { REG, SUBREG, MEM }}, \
4191 { "cond_move_operand", { REG, SUBREG, CONST_INT, \
4192 CONST, SYMBOL_REF, \
4193 LABEL_REF, MEM }}, \
4194 { "cond_exec_operand", { REG, SUBREG, CONST_INT, \
4195 CONST, SYMBOL_REF, \
4196 LABEL_REF, MEM }}, \
4197 { "srelational_si_operator", { EQ, NE, LT, LE, GT, GE }}, \
4198 { "urelational_si_operator", { LTU, LEU, GTU, GEU }}, \
4199 { "relational_di_operator", { EQ, NE, LT, LE, GT, GE, \
4200 LTU, LEU, GTU, GEU }},
4202 /* An alias for a machine mode name. This is the machine mode that elements of
4203 a jump-table should have. */
4204 #define CASE_VECTOR_MODE SImode
4206 /* Define as C expression which evaluates to nonzero if the tablejump
4207 instruction expects the table to contain offsets from the address of the
4209 Do not define this if the table should contain absolute addresses. */
4210 /* #define CASE_VECTOR_PC_RELATIVE 1 */
4212 /* Define this if control falls through a `case' insn when the index value is
4213 out of range. This means the specified default-label is actually ignored by
4214 the `case' insn proper. */
4215 /* #define CASE_DROPS_THROUGH */
4217 /* Define this to be the smallest number of different values for which it is
4218 best to use a jump-table instead of a tree of conditional branches. The
4219 default is four for machines with a `casesi' instruction and five otherwise.
4220 This is best for most machines. */
4221 /* #define CASE_VALUES_THRESHOLD */
4223 /* Define this macro if operations between registers with integral mode smaller
4224 than a word are always performed on the entire register. Most RISC machines
4225 have this property and most CISC machines do not. */
4226 #define WORD_REGISTER_OPERATIONS 1
4228 /* Define this macro to be a C expression indicating when insns that read
4229 memory in MODE, an integral mode narrower than a word, set the bits outside
4230 of MODE to be either the sign-extension or the zero-extension of the data
4231 read. Return `SIGN_EXTEND' for values of MODE for which the insn
4232 sign-extends, `ZERO_EXTEND' for which it zero-extends, and `NIL' for other
4235 This macro is not called with MODE non-integral or with a width greater than
4236 or equal to `BITS_PER_WORD', so you may return any value in this case. Do
4237 not define this macro if it would always return `NIL'. On machines where
4238 this macro is defined, you will normally define it as the constant
4239 `SIGN_EXTEND' or `ZERO_EXTEND'. */
4241 #define LOAD_EXTEND_OP(MODE) SIGN_EXTEND
4243 /* Define if loading short immediate values into registers sign extends. */
4244 #define SHORT_IMMEDIATES_SIGN_EXTEND
4246 /* Define this macro if the same instructions that convert a floating point
4247 number to a signed fixed point number also convert validly to an unsigned
4249 /* #define FIXUNS_TRUNC_LIKE_FIX_TRUNC */
4251 /* The maximum number of bytes that a single instruction can move quickly from
4252 memory to memory. */
4255 /* The maximum number of bytes that a single instruction can move quickly from
4256 memory to memory. If this is undefined, the default is `MOVE_MAX'.
4257 Otherwise, it is the constant value that is the largest value that
4258 `MOVE_MAX' can have at run-time. */
4259 /* #define MAX_MOVE_MAX */
4261 /* A C expression that is nonzero if on this machine the number of bits
4262 actually used for the count of a shift operation is equal to the number of
4263 bits needed to represent the size of the object being shifted. When this
4264 macro is non-zero, the compiler will assume that it is safe to omit a
4265 sign-extend, zero-extend, and certain bitwise `and' instructions that
4266 truncates the count of a shift operation. On machines that have
4267 instructions that act on bitfields at variable positions, which may include
4268 `bit test' instructions, a nonzero `SHIFT_COUNT_TRUNCATED' also enables
4269 deletion of truncations of the values that serve as arguments to bitfield
4272 If both types of instructions truncate the count (for shifts) and position
4273 (for bitfield operations), or if no variable-position bitfield instructions
4274 exist, you should define this macro.
4276 However, on some machines, such as the 80386 and the 680x0, truncation only
4277 applies to shift operations and not the (real or pretended) bitfield
4278 operations. Define `SHIFT_COUNT_TRUNCATED' to be zero on such machines.
4279 Instead, add patterns to the `md' file that include the implied truncation
4280 of the shift instructions.
4282 You need not define this macro if it would always have the value of zero. */
4283 /* #define SHIFT_COUNT_TRUNCATED */
4285 /* A C expression which is nonzero if on this machine it is safe to "convert"
4286 an integer of INPREC bits to one of OUTPREC bits (where OUTPREC is smaller
4287 than INPREC) by merely operating on it as if it had only OUTPREC bits.
4289 On many machines, this expression can be 1.
4291 When `TRULY_NOOP_TRUNCATION' returns 1 for a pair of sizes for modes for
4292 which `MODES_TIEABLE_P' is 0, suboptimal code can result. If this is the
4293 case, making `TRULY_NOOP_TRUNCATION' return 0 in such cases may improve
4295 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
4297 /* A C expression describing the value returned by a comparison operator with
4298 an integral mode and stored by a store-flag instruction (`sCOND') when the
4299 condition is true. This description must apply to *all* the `sCOND'
4300 patterns and all the comparison operators whose results have a `MODE_INT'
4303 A value of 1 or -1 means that the instruction implementing the comparison
4304 operator returns exactly 1 or -1 when the comparison is true and 0 when the
4305 comparison is false. Otherwise, the value indicates which bits of the
4306 result are guaranteed to be 1 when the comparison is true. This value is
4307 interpreted in the mode of the comparison operation, which is given by the
4308 mode of the first operand in the `sCOND' pattern. Either the low bit or the
4309 sign bit of `STORE_FLAG_VALUE' be on. Presently, only those bits are used
4312 If `STORE_FLAG_VALUE' is neither 1 or -1, the compiler will generate code
4313 that depends only on the specified bits. It can also replace comparison
4314 operators with equivalent operations if they cause the required bits to be
4315 set, even if the remaining bits are undefined. For example, on a machine
4316 whose comparison operators return an `SImode' value and where
4317 `STORE_FLAG_VALUE' is defined as `0x80000000', saying that just the sign bit
4318 is relevant, the expression
4320 (ne:SI (and:SI X (const_int POWER-OF-2)) (const_int 0))
4324 (ashift:SI X (const_int N))
4326 where N is the appropriate shift count to move the bit being tested into the
4329 There is no way to describe a machine that always sets the low-order bit for
4330 a true value, but does not guarantee the value of any other bits, but we do
4331 not know of any machine that has such an instruction. If you are trying to
4332 port GNU CC to such a machine, include an instruction to perform a
4333 logical-and of the result with 1 in the pattern for the comparison operators
4334 and let us know (*note How to Report Bugs: Bug Reporting.).
4336 Often, a machine will have multiple instructions that obtain a value from a
4337 comparison (or the condition codes). Here are rules to guide the choice of
4338 value for `STORE_FLAG_VALUE', and hence the instructions to be used:
4340 * Use the shortest sequence that yields a valid definition for
4341 `STORE_FLAG_VALUE'. It is more efficient for the compiler to
4342 "normalize" the value (convert it to, e.g., 1 or 0) than for
4343 the comparison operators to do so because there may be
4344 opportunities to combine the normalization with other
4347 * For equal-length sequences, use a value of 1 or -1, with -1
4348 being slightly preferred on machines with expensive jumps and
4349 1 preferred on other machines.
4351 * As a second choice, choose a value of `0x80000001' if
4352 instructions exist that set both the sign and low-order bits
4353 but do not define the others.
4355 * Otherwise, use a value of `0x80000000'.
4357 Many machines can produce both the value chosen for `STORE_FLAG_VALUE' and
4358 its negation in the same number of instructions. On those machines, you
4359 should also define a pattern for those cases, e.g., one matching
4361 (set A (neg:M (ne:M B C)))
4363 Some machines can also perform `and' or `plus' operations on condition code
4364 values with less instructions than the corresponding `sCOND' insn followed
4365 by `and' or `plus'. On those machines, define the appropriate patterns.
4366 Use the names `incscc' and `decscc', respectively, for the the patterns
4367 which perform `plus' or `minus' operations on condition code values. See
4368 `rs6000.md' for some examples. The GNU Superoptizer can be used to find
4369 such instruction sequences on other machines.
4371 You need not define `STORE_FLAG_VALUE' if the machine has no store-flag
4373 /* #define STORE_FLAG_VALUE */
4375 /* A C expression that gives a non-zero floating point value that is returned
4376 when comparison operators with floating-point results are true. Define this
4377 macro on machine that have comparison operations that return floating-point
4378 values. If there are no such operations, do not define this macro. */
4379 /* #define FLOAT_STORE_FLAG_VALUE */
4381 /* An alias for the machine mode for pointers. On most machines, define this
4382 to be the integer mode corresponding to the width of a hardware pointer;
4383 `SImode' on 32-bit machine or `DImode' on 64-bit machines. On some machines
4384 you must define this to be one of the partial integer modes, such as
4387 The width of `Pmode' must be at least as large as the value of
4388 `POINTER_SIZE'. If it is not equal, you must define the macro
4389 `POINTERS_EXTEND_UNSIGNED' to specify how pointers are extended to `Pmode'. */
4390 #define Pmode SImode
4392 /* An alias for the machine mode used for memory references to functions being
4393 called, in `call' RTL expressions. On most machines this should be
4395 #define FUNCTION_MODE QImode
4397 /* A C expression for the maximum number of instructions above which the
4398 function DECL should not be inlined. DECL is a `FUNCTION_DECL' node.
4400 The default definition of this macro is 64 plus 8 times the number of
4401 arguments that the function accepts. Some people think a larger threshold
4402 should be used on RISC machines. */
4403 /* #define INTEGRATE_THRESHOLD(DECL) */
4405 /* Define this if the preprocessor should ignore `#sccs' directives and print
4408 Defined in svr4.h. */
4409 /* #define SCCS_DIRECTIVE */
4411 /* Define this macro if the system header files support C++ as well as C. This
4412 macro inhibits the usual method of using system header files in C++, which
4413 is to pretend that the file's contents are enclosed in `extern "C" {...}'. */
4414 /* #define NO_IMPLICIT_EXTERN_C */
4416 /* Define this macro to handle System V style pragmas (particularly #pack).
4418 Defined in svr4.h. */
4419 #define HANDLE_SYSV_PRAGMA
4421 /* Define this macro if you want to handle #pragma weak (HANDLE_SYSV_PRAGMA
4422 must also be defined). */
4423 /* #define HANDLE_WEAK_PRAGMA */
4425 /* Define this macro if the assembler does not accept the character `$' in
4426 label names. By default constructors and destructors in G++ have `$' in the
4427 identifiers. If this macro is defined, `.' is used instead.
4429 Defined in svr4.h. */
4430 /* #define NO_DOLLAR_IN_LABEL */
4432 /* Define this macro if the assembler does not accept the character `.' in
4433 label names. By default constructors and destructors in G++ have names that
4434 use `.'. If this macro is defined, these names are rewritten to avoid `.'. */
4435 /* #define NO_DOT_IN_LABEL */
4437 /* Define this macro if the target system expects every program's `main'
4438 function to return a standard "success" value by default (if no other value
4439 is explicitly returned).
4441 The definition should be a C statement (sans semicolon) to generate the
4442 appropriate rtl instructions. It is used only when compiling the end of
4444 /* #define DEFAULT_MAIN_RETURN */
4446 /* Define this if your `exit' function needs to do something besides calling an
4447 external function `_cleanup' before terminating with `_exit'. The
4448 `EXIT_BODY' macro is only needed if `NEED_ATEXIT' is defined and
4449 `ON_EXIT' is not defined. */
4450 /* #define EXIT_BODY */
4452 /* Define this macro as a C expression that is nonzero if it is safe for the
4453 delay slot scheduler to place instructions in the delay slot of INSN, even
4454 if they appear to use a resource set or clobbered in INSN. INSN is always a
4455 `jump_insn' or an `insn'; GNU CC knows that every `call_insn' has this
4456 behavior. On machines where some `insn' or `jump_insn' is really a function
4457 call and hence has this behavior, you should define this macro.
4459 You need not define this macro if it would always return zero. */
4460 /* #define INSN_SETS_ARE_DELAYED(INSN) */
4462 /* Define this macro as a C expression that is nonzero if it is safe for the
4463 delay slot scheduler to place instructions in the delay slot of INSN, even
4464 if they appear to set or clobber a resource referenced in INSN. INSN is
4465 always a `jump_insn' or an `insn'. On machines where some `insn' or
4466 `jump_insn' is really a function call and its operands are registers whose
4467 use is actually in the subroutine it calls, you should define this macro.
4468 Doing so allows the delay slot scheduler to move instructions which copy
4469 arguments into the argument registers into the delay slot of INSN.
4471 You need not define this macro if it would always return zero. */
4472 /* #define INSN_REFERENCES_ARE_DELAYED(INSN) */
4474 /* In rare cases, correct code generation requires extra machine dependent
4475 processing between the second jump optimization pass and delayed branch
4476 scheduling. On those machines, define this macro as a C statement to act on
4477 the code starting at INSN. */
4478 #define MACHINE_DEPENDENT_REORG(INSN) d30v_machine_dependent_reorg (INSN)
4480 /* Define this macro if in some cases global symbols from one translation unit
4481 may not be bound to undefined symbols in another translation unit without
4482 user intervention. For instance, under Microsoft Windows symbols must be
4483 explicitly imported from shared libraries (DLLs). */
4484 /* #define MULTIPLE_SYMBOL_SPACES */
4486 /* A C expression for the maximum number of instructions to execute via
4487 conditional execution instructions instead of a branch. A value of
4488 BRANCH_COST+1 is the default if the machine does not use cc0, and 1 if it
4490 #define MAX_CONDITIONAL_EXECUTE d30v_cond_exec
4492 #define D30V_DEFAULT_MAX_CONDITIONAL_EXECUTE 4
4494 /* Values of the -mcond-exec=n string. */
4495 extern int d30v_cond_exec;
4496 extern const char *d30v_cond_exec_string;
4498 #endif /* GCC_D30V_H */
OSDN Git Service
