Initial revision
[official-gcc.git] / gcc / config / alpha / alpha.h
blob3109b5c26964d44e64ae1239c4f06f5a396006e0
1 /* Definitions of target machine for GNU compiler, for DEC Alpha.
2 Copyright (C) 1992, 93, 94, 95, 96, 1997 Free Software Foundation, Inc.
3 Contributed by Richard Kenner (kenner@vlsi1.ultra.nyu.edu)
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
23 /* Names to predefine in the preprocessor for this target machine. */
25 #define CPP_PREDEFINES "\
26 -Dunix -D__osf__ -D__alpha -D__alpha__ -D_LONGLONG -DSYSTYPE_BSD \
27 -D_SYSTYPE_BSD -Asystem(unix) -Asystem(xpg4) -Acpu(alpha) -Amachine(alpha)"
29 /* Write out the correct language type definition for the header files.
30 Unless we have assembler language, write out the symbols for C. */
31 #define CPP_SPEC "\
32 %{!.S: -D__LANGUAGE_C__ -D__LANGUAGE_C %{!ansi:-DLANGUAGE_C}} \
33 %{.S: -D__LANGUAGE_ASSEMBLY__ -D__LANGUAGE_ASSEMBLY %{!ansi:-DLANGUAGE_ASSEMBLY}} \
34 %{.cc: -D__LANGUAGE_C_PLUS_PLUS__ -D__LANGUAGE_C_PLUS_PLUS -D__cplusplus} \
35 %{.cxx: -D__LANGUAGE_C_PLUS_PLUS__ -D__LANGUAGE_C_PLUS_PLUS -D__cplusplus} \
36 %{.C: -D__LANGUAGE_C_PLUS_PLUS__ -D__LANGUAGE_C_PLUS_PLUS -D__cplusplus} \
37 %{.m: -D__LANGUAGE_OBJECTIVE_C__ -D__LANGUAGE_OBJECTIVE_C} \
38 %{mieee:-D_IEEE_FP} \
39 %{mieee-with-inexact:-D_IEEE_FP -D_IEEE_FP_INEXACT}"
41 /* Set the spec to use for signed char. The default tests the above macro
42 but DEC's compiler can't handle the conditional in a "constant"
43 operand. */
45 #define SIGNED_CHAR_SPEC "%{funsigned-char:-D__CHAR_UNSIGNED__}"
47 /* Under OSF4, -p and -pg require -lprof1, and -lprof1 requires -lpdf. */
49 #define LIB_SPEC "%{p:-lprof1 -lpdf} %{pg:-lprof1 -lpdf} %{a:-lprof2} -lc"
51 /* Pass "-G 8" to ld because Alpha's CC does. Pass -O3 if we are
52 optimizing, -O1 if we are not. Pass -shared, -non_shared or
53 -call_shared as appropriate. Also pass -pg. */
54 #define LINK_SPEC \
55 "-G 8 %{O*:-O3} %{!O*:-O1} %{static:-non_shared} \
56 %{!static:%{shared:-shared} %{!shared:-call_shared}} %{pg} %{taso} \
57 %{rpath*}"
59 #define WORD_SWITCH_TAKES_ARG(STR) \
60 (!strcmp (STR, "rpath") || !strcmp (STR, "include") \
61 || !strcmp (STR, "imacros") || !strcmp (STR, "aux-info") \
62 || !strcmp (STR, "idirafter") || !strcmp (STR, "iprefix") \
63 || !strcmp (STR, "iwithprefix") || !strcmp (STR, "iwithprefixbefore") \
64 || !strcmp (STR, "isystem"))
66 #define STARTFILE_SPEC \
67 "%{!shared:%{pg:gcrt0.o%s}%{!pg:%{p:mcrt0.o%s}%{!p:crt0.o%s}}}"
69 /* Print subsidiary information on the compiler version in use. */
70 #define TARGET_VERSION
72 /* Define the location for the startup file on OSF/1 for Alpha. */
74 #define MD_STARTFILE_PREFIX "/usr/lib/cmplrs/cc/"
76 /* Run-time compilation parameters selecting different hardware subsets. */
78 /* Which processor to schedule for. The cpu attribute defines a list that
79 mirrors this list, so changes to alpha.md must be made at the same time. */
81 enum processor_type
82 {PROCESSOR_EV4, /* 2106[46]{a,} */
83 PROCESSOR_EV5}; /* 21164{a,} */
85 extern enum processor_type alpha_cpu;
87 enum alpha_trap_precision
89 ALPHA_TP_PROG, /* No precision (default). */
90 ALPHA_TP_FUNC, /* Trap contained within originating function. */
91 ALPHA_TP_INSN /* Instruction accuracy and code is resumption safe. */
94 enum alpha_fp_rounding_mode
96 ALPHA_FPRM_NORM, /* Normal rounding mode. */
97 ALPHA_FPRM_MINF, /* Round towards minus-infinity. */
98 ALPHA_FPRM_CHOP, /* Chopped rounding mode (towards 0). */
99 ALPHA_FPRM_DYN /* Dynamic rounding mode. */
102 enum alpha_fp_trap_mode
104 ALPHA_FPTM_N, /* Normal trap mode. */
105 ALPHA_FPTM_U, /* Underflow traps enabled. */
106 ALPHA_FPTM_SU, /* Software completion, w/underflow traps */
107 ALPHA_FPTM_SUI /* Software completion, w/underflow & inexact traps */
110 extern int target_flags;
112 extern enum alpha_trap_precision alpha_tp;
113 extern enum alpha_fp_rounding_mode alpha_fprm;
114 extern enum alpha_fp_trap_mode alpha_fptm;
116 /* This means that floating-point support exists in the target implementation
117 of the Alpha architecture. This is usually the default. */
119 #define MASK_FP 1
120 #define TARGET_FP (target_flags & MASK_FP)
122 /* This means that floating-point registers are allowed to be used. Note
123 that Alpha implementations without FP operations are required to
124 provide the FP registers. */
126 #define MASK_FPREGS 2
127 #define TARGET_FPREGS (target_flags & MASK_FPREGS)
129 /* This means that gas is used to process the assembler file. */
131 #define MASK_GAS 4
132 #define TARGET_GAS (target_flags & MASK_GAS)
134 /* This means that we should mark procedures as IEEE conformant. */
136 #define MASK_IEEE_CONFORMANT 8
137 #define TARGET_IEEE_CONFORMANT (target_flags & MASK_IEEE_CONFORMANT)
139 /* This means we should be IEEE-compliant except for inexact. */
141 #define MASK_IEEE 16
142 #define TARGET_IEEE (target_flags & MASK_IEEE)
144 /* This means we should be fully IEEE-compliant. */
146 #define MASK_IEEE_WITH_INEXACT 32
147 #define TARGET_IEEE_WITH_INEXACT (target_flags & MASK_IEEE_WITH_INEXACT)
149 /* This means we are compiling for Windows NT. */
151 #define MASK_WINDOWS_NT 64
152 #define TARGET_WINDOWS_NT (target_flags & MASK_WINDOWS_NT)
154 /* This means we must construct all constants rather than emitting
155 them as literal data. */
157 #define MASK_BUILD_CONSTANTS 128
158 #define TARGET_BUILD_CONSTANTS (target_flags & MASK_BUILD_CONSTANTS)
160 /* This means we are compiling for openVMS. */
162 #define MASK_OPEN_VMS 256
163 #define TARGET_OPEN_VMS (target_flags & MASK_OPEN_VMS)
165 /* This means we handle floating points in VAX F- (float)
166 or G- (double) Format. */
168 #define MASK_FLOAT_VAX 512
169 #define TARGET_FLOAT_VAX (target_flags & MASK_FLOAT_VAX)
171 /* This means that the processor has byte and half word loads and stores. */
173 #define MASK_BYTE_OPS 1024
174 #define TARGET_BYTE_OPS (target_flags & MASK_BYTE_OPS)
176 /* This means that the processor is an EV5 or EV56. This is defined only
177 in TARGET_CPU_DEFAULT. */
178 #define MASK_CPU_EV5 2048
180 /* Macro to define tables used to set the flags.
181 This is a list in braces of pairs in braces,
182 each pair being { "NAME", VALUE }
183 where VALUE is the bits to set or minus the bits to clear.
184 An empty string NAME is used to identify the default VALUE. */
186 #define TARGET_SWITCHES \
187 { {"no-soft-float", MASK_FP}, \
188 {"soft-float", - MASK_FP}, \
189 {"fp-regs", MASK_FPREGS}, \
190 {"no-fp-regs", - (MASK_FP|MASK_FPREGS)}, \
191 {"alpha-as", -MASK_GAS}, \
192 {"gas", MASK_GAS}, \
193 {"ieee-conformant", MASK_IEEE_CONFORMANT}, \
194 {"ieee", MASK_IEEE|MASK_IEEE_CONFORMANT}, \
195 {"ieee-with-inexact", MASK_IEEE_WITH_INEXACT|MASK_IEEE_CONFORMANT}, \
196 {"build-constants", MASK_BUILD_CONSTANTS}, \
197 {"float-vax", MASK_FLOAT_VAX}, \
198 {"float-ieee", -MASK_FLOAT_VAX}, \
199 {"byte", MASK_BYTE_OPS}, \
200 {"no-byte", -MASK_BYTE_OPS}, \
201 {"", TARGET_DEFAULT | TARGET_CPU_DEFAULT} }
203 #define TARGET_DEFAULT MASK_FP|MASK_FPREGS
205 #ifndef TARGET_CPU_DEFAULT
206 #define TARGET_CPU_DEFAULT 0
207 #endif
209 /* This macro is similar to `TARGET_SWITCHES' but defines names of
210 command options that have values. Its definition is an initializer
211 with a subgrouping for each command option.
213 Each subgrouping contains a string constant, that defines the fixed
214 part of the option name, and the address of a variable. The
215 variable, type `char *', is set to the variable part of the given
216 option if the fixed part matches. The actual option name is made
217 by appending `-m' to the specified name.
219 Here is an example which defines `-mshort-data-NUMBER'. If the
220 given option is `-mshort-data-512', the variable `m88k_short_data'
221 will be set to the string `"512"'.
223 extern char *m88k_short_data;
224 #define TARGET_OPTIONS { { "short-data-", &m88k_short_data } } */
226 extern char *alpha_cpu_string; /* For -mcpu=ev[4|5] */
227 extern char *alpha_fprm_string; /* For -mfp-rounding-mode=[n|m|c|d] */
228 extern char *alpha_fptm_string; /* For -mfp-trap-mode=[n|u|su|sui] */
229 extern char *alpha_tp_string; /* For -mtrap-precision=[p|f|i] */
231 #define TARGET_OPTIONS \
233 {"cpu=", &alpha_cpu_string}, \
234 {"fp-rounding-mode=", &alpha_fprm_string}, \
235 {"fp-trap-mode=", &alpha_fptm_string}, \
236 {"trap-precision=", &alpha_tp_string}, \
239 /* Sometimes certain combinations of command options do not make sense
240 on a particular target machine. You can define a macro
241 `OVERRIDE_OPTIONS' to take account of this. This macro, if
242 defined, is executed once just after all the command options have
243 been parsed.
245 On the Alpha, it is used to translate target-option strings into
246 numeric values. */
248 extern void override_options ();
249 #define OVERRIDE_OPTIONS override_options ()
252 /* Define this macro to change register usage conditional on target flags.
254 On the Alpha, we use this to disable the floating-point registers when
255 they don't exist. */
257 #define CONDITIONAL_REGISTER_USAGE \
258 if (! TARGET_FPREGS) \
259 for (i = 32; i < 63; i++) \
260 fixed_regs[i] = call_used_regs[i] = 1;
262 /* Show we can debug even without a frame pointer. */
263 #define CAN_DEBUG_WITHOUT_FP
265 /* target machine storage layout */
267 /* Define to enable software floating point emulation. */
268 #define REAL_ARITHMETIC
270 /* The following #defines are used when compiling the routines in
271 libgcc1.c. Since the Alpha calling conventions require single
272 precision floats to be passed in the floating-point registers
273 (rather than in the general registers) we have to build the
274 libgcc1.c routines in such a way that they know the actual types
275 of their formal arguments and the actual types of their return
276 values. Otherwise, gcc will generate calls to the libgcc1.c
277 routines, passing arguments in the floating-point registers,
278 but the libgcc1.c routines will expect their arguments on the
279 stack (where the Alpha calling conventions require structs &
280 unions to be passed). */
282 #define FLOAT_VALUE_TYPE double
283 #define INTIFY(FLOATVAL) (FLOATVAL)
284 #define FLOATIFY(INTVAL) (INTVAL)
285 #define FLOAT_ARG_TYPE double
287 /* Define the size of `int'. The default is the same as the word size. */
288 #define INT_TYPE_SIZE 32
290 /* Define the size of `long long'. The default is the twice the word size. */
291 #define LONG_LONG_TYPE_SIZE 64
293 /* The two floating-point formats we support are S-floating, which is
294 4 bytes, and T-floating, which is 8 bytes. `float' is S and `double'
295 and `long double' are T. */
297 #define FLOAT_TYPE_SIZE 32
298 #define DOUBLE_TYPE_SIZE 64
299 #define LONG_DOUBLE_TYPE_SIZE 64
301 #define WCHAR_TYPE "unsigned int"
302 #define WCHAR_TYPE_SIZE 32
304 /* Define this macro if it is advisable to hold scalars in registers
305 in a wider mode than that declared by the program. In such cases,
306 the value is constrained to be within the bounds of the declared
307 type, but kept valid in the wider mode. The signedness of the
308 extension may differ from that of the type.
310 For Alpha, we always store objects in a full register. 32-bit objects
311 are always sign-extended, but smaller objects retain their signedness. */
313 #define PROMOTE_MODE(MODE,UNSIGNEDP,TYPE) \
314 if (GET_MODE_CLASS (MODE) == MODE_INT \
315 && GET_MODE_SIZE (MODE) < UNITS_PER_WORD) \
317 if ((MODE) == SImode) \
318 (UNSIGNEDP) = 0; \
319 (MODE) = DImode; \
322 /* Define this if function arguments should also be promoted using the above
323 procedure. */
325 #define PROMOTE_FUNCTION_ARGS
327 /* Likewise, if the function return value is promoted. */
329 #define PROMOTE_FUNCTION_RETURN
331 /* Define this if most significant bit is lowest numbered
332 in instructions that operate on numbered bit-fields.
334 There are no such instructions on the Alpha, but the documentation
335 is little endian. */
336 #define BITS_BIG_ENDIAN 0
338 /* Define this if most significant byte of a word is the lowest numbered.
339 This is false on the Alpha. */
340 #define BYTES_BIG_ENDIAN 0
342 /* Define this if most significant word of a multiword number is lowest
343 numbered.
345 For Alpha we can decide arbitrarily since there are no machine instructions
346 for them. Might as well be consistent with bytes. */
347 #define WORDS_BIG_ENDIAN 0
349 /* number of bits in an addressable storage unit */
350 #define BITS_PER_UNIT 8
352 /* Width in bits of a "word", which is the contents of a machine register.
353 Note that this is not necessarily the width of data type `int';
354 if using 16-bit ints on a 68000, this would still be 32.
355 But on a machine with 16-bit registers, this would be 16. */
356 #define BITS_PER_WORD 64
358 /* Width of a word, in units (bytes). */
359 #define UNITS_PER_WORD 8
361 /* Width in bits of a pointer.
362 See also the macro `Pmode' defined below. */
363 #define POINTER_SIZE 64
365 /* Allocation boundary (in *bits*) for storing arguments in argument list. */
366 #define PARM_BOUNDARY 64
368 /* Boundary (in *bits*) on which stack pointer should be aligned. */
369 #define STACK_BOUNDARY 64
371 /* Allocation boundary (in *bits*) for the code of a function. */
372 #define FUNCTION_BOUNDARY 64
374 /* Alignment of field after `int : 0' in a structure. */
375 #define EMPTY_FIELD_BOUNDARY 64
377 /* Every structure's size must be a multiple of this. */
378 #define STRUCTURE_SIZE_BOUNDARY 8
380 /* A bitfield declared as `int' forces `int' alignment for the struct. */
381 #define PCC_BITFIELD_TYPE_MATTERS 1
383 /* Align loop starts for optimal branching.
385 ??? Kludge this and the next macro for the moment by not doing anything if
386 we don't optimize and also if we are writing ECOFF symbols to work around
387 a bug in DEC's assembler. */
389 #define ASM_OUTPUT_LOOP_ALIGN(FILE) \
390 if (optimize > 0 && write_symbols != SDB_DEBUG) \
391 ASM_OUTPUT_ALIGN (FILE, 5)
393 /* This is how to align an instruction for optimal branching.
394 On Alpha we'll get better performance by aligning on a quadword
395 boundary. */
397 #define ASM_OUTPUT_ALIGN_CODE(FILE) \
398 if (optimize > 0 && write_symbols != SDB_DEBUG) \
399 ASM_OUTPUT_ALIGN ((FILE), 4)
401 /* No data type wants to be aligned rounder than this. */
402 #define BIGGEST_ALIGNMENT 64
404 /* For atomic access to objects, must have at least 32-bit alignment
405 unless the machine has byte operations. */
406 #define MINIMUM_ATOMIC_ALIGNMENT (TARGET_BYTE_OPS ? 8 : 32)
408 /* Align all constants and variables to at least a word boundary so
409 we can pick up pieces of them faster. */
410 #define CONSTANT_ALIGNMENT(EXP, ALIGN) MAX ((ALIGN), BITS_PER_WORD)
411 #define DATA_ALIGNMENT(EXP, ALIGN) MAX ((ALIGN), BITS_PER_WORD)
413 /* Set this non-zero if move instructions will actually fail to work
414 when given unaligned data.
416 Since we get an error message when we do one, call them invalid. */
418 #define STRICT_ALIGNMENT 1
420 /* Set this non-zero if unaligned move instructions are extremely slow.
422 On the Alpha, they trap. */
424 #define SLOW_UNALIGNED_ACCESS 1
426 /* Standard register usage. */
428 /* Number of actual hardware registers.
429 The hardware registers are assigned numbers for the compiler
430 from 0 to just below FIRST_PSEUDO_REGISTER.
431 All registers that the compiler knows about must be given numbers,
432 even those that are not normally considered general registers.
434 We define all 32 integer registers, even though $31 is always zero,
435 and all 32 floating-point registers, even though $f31 is also
436 always zero. We do not bother defining the FP status register and
437 there are no other registers.
439 Since $31 is always zero, we will use register number 31 as the
440 argument pointer. It will never appear in the generated code
441 because we will always be eliminating it in favor of the stack
442 pointer or hardware frame pointer.
444 Likewise, we use $f31 for the frame pointer, which will always
445 be eliminated in favor of the hardware frame pointer or the
446 stack pointer. */
448 #define FIRST_PSEUDO_REGISTER 64
450 /* 1 for registers that have pervasive standard uses
451 and are not available for the register allocator. */
453 #define FIXED_REGISTERS \
454 {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
455 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, \
456 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
457 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 }
459 /* 1 for registers not available across function calls.
460 These must include the FIXED_REGISTERS and also any
461 registers that can be used without being saved.
462 The latter must include the registers where values are returned
463 and the register where structure-value addresses are passed.
464 Aside from that, you can include as many other registers as you like. */
465 #define CALL_USED_REGISTERS \
466 {1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, \
467 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, \
468 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
469 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }
471 /* List the order in which to allocate registers. Each register must be
472 listed once, even those in FIXED_REGISTERS.
474 We allocate in the following order:
475 $f1 (nonsaved floating-point register)
476 $f10-$f15 (likewise)
477 $f22-$f30 (likewise)
478 $f21-$f16 (likewise, but input args)
479 $f0 (nonsaved, but return value)
480 $f2-$f9 (saved floating-point registers)
481 $1-$8 (nonsaved integer registers)
482 $22-$25 (likewise)
483 $28 (likewise)
484 $0 (likewise, but return value)
485 $21-$16 (likewise, but input args)
486 $27 (procedure value in OSF, nonsaved in NT)
487 $9-$14 (saved integer registers)
488 $26 (return PC)
489 $15 (frame pointer)
490 $29 (global pointer)
491 $30, $31, $f31 (stack pointer and always zero/ap & fp) */
493 #define REG_ALLOC_ORDER \
494 {33, \
495 42, 43, 44, 45, 46, 47, \
496 54, 55, 56, 57, 58, 59, 60, 61, 62, \
497 53, 52, 51, 50, 49, 48, \
498 32, \
499 34, 35, 36, 37, 38, 39, 40, 41, \
500 1, 2, 3, 4, 5, 6, 7, 8, \
501 22, 23, 24, 25, \
502 28, \
503 0, \
504 21, 20, 19, 18, 17, 16, \
505 27, \
506 9, 10, 11, 12, 13, 14, \
507 26, \
508 15, \
509 29, \
510 30, 31, 63 }
512 /* Return number of consecutive hard regs needed starting at reg REGNO
513 to hold something of mode MODE.
514 This is ordinarily the length in words of a value of mode MODE
515 but can be less for certain modes in special long registers. */
517 #define HARD_REGNO_NREGS(REGNO, MODE) \
518 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
520 /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
521 On Alpha, the integer registers can hold any mode. The floating-point
522 registers can hold 32-bit and 64-bit integers as well, but not 16-bit
523 or 8-bit values. If we only allowed the larger integers into FP registers,
524 we'd have to say that QImode and SImode aren't tiable, which is a
525 pain. So say all registers can hold everything and see how that works. */
527 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
529 /* Value is 1 if it is a good idea to tie two pseudo registers
530 when one has mode MODE1 and one has mode MODE2.
531 If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
532 for any hard reg, then this must be 0 for correct output. */
534 #define MODES_TIEABLE_P(MODE1, MODE2) 1
536 /* Specify the registers used for certain standard purposes.
537 The values of these macros are register numbers. */
539 /* Alpha pc isn't overloaded on a register that the compiler knows about. */
540 /* #define PC_REGNUM */
542 /* Register to use for pushing function arguments. */
543 #define STACK_POINTER_REGNUM 30
545 /* Base register for access to local variables of the function. */
546 #define HARD_FRAME_POINTER_REGNUM 15
548 /* Value should be nonzero if functions must have frame pointers.
549 Zero means the frame pointer need not be set up (and parms
550 may be accessed via the stack pointer) in functions that seem suitable.
551 This is computed in `reload', in reload1.c. */
552 #define FRAME_POINTER_REQUIRED 0
554 /* Base register for access to arguments of the function. */
555 #define ARG_POINTER_REGNUM 31
557 /* Base register for access to local variables of function. */
558 #define FRAME_POINTER_REGNUM 63
560 /* Register in which static-chain is passed to a function.
562 For the Alpha, this is based on an example; the calling sequence
563 doesn't seem to specify this. */
564 #define STATIC_CHAIN_REGNUM 1
566 /* Register in which address to store a structure value
567 arrives in the function. On the Alpha, the address is passed
568 as a hidden argument. */
569 #define STRUCT_VALUE 0
571 /* Define the classes of registers for register constraints in the
572 machine description. Also define ranges of constants.
574 One of the classes must always be named ALL_REGS and include all hard regs.
575 If there is more than one class, another class must be named NO_REGS
576 and contain no registers.
578 The name GENERAL_REGS must be the name of a class (or an alias for
579 another name such as ALL_REGS). This is the class of registers
580 that is allowed by "g" or "r" in a register constraint.
581 Also, registers outside this class are allocated only when
582 instructions express preferences for them.
584 The classes must be numbered in nondecreasing order; that is,
585 a larger-numbered class must never be contained completely
586 in a smaller-numbered class.
588 For any two classes, it is very desirable that there be another
589 class that represents their union. */
591 enum reg_class { NO_REGS, GENERAL_REGS, FLOAT_REGS, ALL_REGS,
592 LIM_REG_CLASSES };
594 #define N_REG_CLASSES (int) LIM_REG_CLASSES
596 /* Give names of register classes as strings for dump file. */
598 #define REG_CLASS_NAMES \
599 {"NO_REGS", "GENERAL_REGS", "FLOAT_REGS", "ALL_REGS" }
601 /* Define which registers fit in which classes.
602 This is an initializer for a vector of HARD_REG_SET
603 of length N_REG_CLASSES. */
605 #define REG_CLASS_CONTENTS \
606 { {0, 0}, {~0, 0x80000000}, {0, 0x7fffffff}, {~0, ~0} }
608 /* The same information, inverted:
609 Return the class number of the smallest class containing
610 reg number REGNO. This could be a conditional expression
611 or could index an array. */
613 #define REGNO_REG_CLASS(REGNO) \
614 ((REGNO) >= 32 && (REGNO) <= 62 ? FLOAT_REGS : GENERAL_REGS)
616 /* The class value for index registers, and the one for base regs. */
617 #define INDEX_REG_CLASS NO_REGS
618 #define BASE_REG_CLASS GENERAL_REGS
620 /* Get reg_class from a letter such as appears in the machine description. */
622 #define REG_CLASS_FROM_LETTER(C) \
623 ((C) == 'f' ? FLOAT_REGS : NO_REGS)
625 /* Define this macro to change register usage conditional on target flags. */
626 /* #define CONDITIONAL_REGISTER_USAGE */
628 /* The letters I, J, K, L, M, N, O, and P in a register constraint string
629 can be used to stand for particular ranges of immediate operands.
630 This macro defines what the ranges are.
631 C is the letter, and VALUE is a constant value.
632 Return 1 if VALUE is in the range specified by C.
634 For Alpha:
635 `I' is used for the range of constants most insns can contain.
636 `J' is the constant zero.
637 `K' is used for the constant in an LDA insn.
638 `L' is used for the constant in a LDAH insn.
639 `M' is used for the constants that can be AND'ed with using a ZAP insn.
640 `N' is used for complemented 8-bit constants.
641 `O' is used for negated 8-bit constants.
642 `P' is used for the constants 1, 2 and 3. */
644 #define CONST_OK_FOR_LETTER_P(VALUE, C) \
645 ((C) == 'I' ? (unsigned HOST_WIDE_INT) (VALUE) < 0x100 \
646 : (C) == 'J' ? (VALUE) == 0 \
647 : (C) == 'K' ? (unsigned HOST_WIDE_INT) ((VALUE) + 0x8000) < 0x10000 \
648 : (C) == 'L' ? (((VALUE) & 0xffff) == 0 \
649 && (((VALUE)) >> 31 == -1 || (VALUE) >> 31 == 0) \
650 && ((HOST_BITS_PER_WIDE_INT == 64 \
651 || (unsigned) (VALUE) != 0x80000000U))) \
652 : (C) == 'M' ? zap_mask (VALUE) \
653 : (C) == 'N' ? (unsigned HOST_WIDE_INT) (~ (VALUE)) < 0x100 \
654 : (C) == 'O' ? (unsigned HOST_WIDE_INT) (- (VALUE)) < 0x100 \
655 : (C) == 'P' ? (VALUE) == 1 || (VALUE) == 2 || (VALUE) == 3 \
656 : 0)
658 /* Similar, but for floating or large integer constants, and defining letters
659 G and H. Here VALUE is the CONST_DOUBLE rtx itself.
661 For Alpha, `G' is the floating-point constant zero. `H' is a CONST_DOUBLE
662 that is the operand of a ZAP insn. */
664 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
665 ((C) == 'G' ? (GET_MODE_CLASS (GET_MODE (VALUE)) == MODE_FLOAT \
666 && (VALUE) == CONST0_RTX (GET_MODE (VALUE))) \
667 : (C) == 'H' ? (GET_MODE (VALUE) == VOIDmode \
668 && zap_mask (CONST_DOUBLE_LOW (VALUE)) \
669 && zap_mask (CONST_DOUBLE_HIGH (VALUE))) \
670 : 0)
672 /* Optional extra constraints for this machine.
674 For the Alpha, `Q' means that this is a memory operand but not a
675 reference to an unaligned location.
676 `R' is a SYMBOL_REF that has SYMBOL_REF_FLAG set or is the current
677 function. */
679 #define EXTRA_CONSTRAINT(OP, C) \
680 ((C) == 'Q' ? GET_CODE (OP) == MEM && GET_CODE (XEXP (OP, 0)) != AND \
681 : (C) == 'R' ? current_file_function_operand (OP, Pmode) \
682 : 0)
684 /* Given an rtx X being reloaded into a reg required to be
685 in class CLASS, return the class of reg to actually use.
686 In general this is just CLASS; but on some machines
687 in some cases it is preferable to use a more restrictive class.
689 On the Alpha, all constants except zero go into a floating-point
690 register via memory. */
692 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
693 (CONSTANT_P (X) && (X) != const0_rtx && (X) != CONST0_RTX (GET_MODE (X)) \
694 ? ((CLASS) == FLOAT_REGS ? NO_REGS : GENERAL_REGS) \
695 : (CLASS))
697 /* Loading and storing HImode or QImode values to and from memory
698 usually requires a scratch register. The exceptions are loading
699 QImode and HImode from an aligned address to a general register
700 unless byte instructions are permitted.
701 We also cannot load an unaligned address or a paradoxical SUBREG into an
702 FP register. */
704 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS,MODE,IN) \
705 (((GET_CODE (IN) == MEM \
706 || (GET_CODE (IN) == REG && REGNO (IN) >= FIRST_PSEUDO_REGISTER) \
707 || (GET_CODE (IN) == SUBREG \
708 && (GET_CODE (SUBREG_REG (IN)) == MEM \
709 || (GET_CODE (SUBREG_REG (IN)) == REG \
710 && REGNO (SUBREG_REG (IN)) >= FIRST_PSEUDO_REGISTER)))) \
711 && (((CLASS) == FLOAT_REGS \
712 && ((MODE) == SImode || (MODE) == HImode || (MODE) == QImode)) \
713 || (((MODE) == QImode || (MODE) == HImode) \
714 && ! TARGET_BYTE_OPS && unaligned_memory_operand (IN, MODE)))) \
715 ? GENERAL_REGS \
716 : ((CLASS) == FLOAT_REGS && GET_CODE (IN) == MEM \
717 && GET_CODE (XEXP (IN, 0)) == AND) ? GENERAL_REGS \
718 : ((CLASS) == FLOAT_REGS && GET_CODE (IN) == SUBREG \
719 && (GET_MODE_SIZE (GET_MODE (IN)) \
720 > GET_MODE_SIZE (GET_MODE (SUBREG_REG (IN))))) ? GENERAL_REGS \
721 : NO_REGS)
723 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS,MODE,OUT) \
724 (((GET_CODE (OUT) == MEM \
725 || (GET_CODE (OUT) == REG && REGNO (OUT) >= FIRST_PSEUDO_REGISTER) \
726 || (GET_CODE (OUT) == SUBREG \
727 && (GET_CODE (SUBREG_REG (OUT)) == MEM \
728 || (GET_CODE (SUBREG_REG (OUT)) == REG \
729 && REGNO (SUBREG_REG (OUT)) >= FIRST_PSEUDO_REGISTER)))) \
730 && ((((MODE) == HImode || (MODE) == QImode) && ! TARGET_BYTE_OPS \
731 || ((MODE) == SImode && (CLASS) == FLOAT_REGS)))) \
732 ? GENERAL_REGS \
733 : ((CLASS) == FLOAT_REGS && GET_CODE (OUT) == MEM \
734 && GET_CODE (XEXP (OUT, 0)) == AND) ? GENERAL_REGS \
735 : ((CLASS) == FLOAT_REGS && GET_CODE (OUT) == SUBREG \
736 && (GET_MODE_SIZE (GET_MODE (OUT)) \
737 > GET_MODE_SIZE (GET_MODE (SUBREG_REG (OUT))))) ? GENERAL_REGS \
738 : NO_REGS)
740 /* If we are copying between general and FP registers, we need a memory
741 location. */
743 #define SECONDARY_MEMORY_NEEDED(CLASS1,CLASS2,MODE) ((CLASS1) != (CLASS2))
745 /* Specify the mode to be used for memory when a secondary memory
746 location is needed. If MODE is floating-point, use it. Otherwise,
747 widen to a word like the default. This is needed because we always
748 store integers in FP registers in quadword format. This whole
749 area is very tricky! */
750 #define SECONDARY_MEMORY_NEEDED_MODE(MODE) \
751 (GET_MODE_CLASS (MODE) == MODE_FLOAT ? (MODE) \
752 : GET_MODE_SIZE (MODE) >= 4 ? (MODE) \
753 : mode_for_size (BITS_PER_WORD, GET_MODE_CLASS (MODE), 0))
755 /* Return the maximum number of consecutive registers
756 needed to represent mode MODE in a register of class CLASS. */
758 #define CLASS_MAX_NREGS(CLASS, MODE) \
759 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
761 /* If defined, gives a class of registers that cannot be used as the
762 operand of a SUBREG that changes the size of the object. */
764 #define CLASS_CANNOT_CHANGE_SIZE FLOAT_REGS
766 /* Define the cost of moving between registers of various classes. Moving
767 between FLOAT_REGS and anything else except float regs is expensive.
768 In fact, we make it quite expensive because we really don't want to
769 do these moves unless it is clearly worth it. Optimizations may
770 reduce the impact of not being able to allocate a pseudo to a
771 hard register. */
773 #define REGISTER_MOVE_COST(CLASS1, CLASS2) \
774 (((CLASS1) == FLOAT_REGS) == ((CLASS2) == FLOAT_REGS) ? 2 : 20)
776 /* A C expressions returning the cost of moving data of MODE from a register to
777 or from memory.
779 On the Alpha, bump this up a bit. */
781 #define MEMORY_MOVE_COST(MODE) 6
783 /* Provide the cost of a branch. Exact meaning under development. */
784 #define BRANCH_COST 5
786 /* Adjust the cost of dependencies. */
788 #define ADJUST_COST(INSN,LINK,DEP,COST) \
789 (COST) = alpha_adjust_cost (INSN, LINK, DEP, COST)
791 /* Stack layout; function entry, exit and calling. */
793 /* Define this if pushing a word on the stack
794 makes the stack pointer a smaller address. */
795 #define STACK_GROWS_DOWNWARD
797 /* Define this if the nominal address of the stack frame
798 is at the high-address end of the local variables;
799 that is, each additional local variable allocated
800 goes at a more negative offset in the frame. */
801 /* #define FRAME_GROWS_DOWNWARD */
803 /* Offset within stack frame to start allocating local variables at.
804 If FRAME_GROWS_DOWNWARD, this is the offset to the END of the
805 first local allocated. Otherwise, it is the offset to the BEGINNING
806 of the first local allocated. */
808 #define STARTING_FRAME_OFFSET 0
810 /* If we generate an insn to push BYTES bytes,
811 this says how many the stack pointer really advances by.
812 On Alpha, don't define this because there are no push insns. */
813 /* #define PUSH_ROUNDING(BYTES) */
815 /* Define this to be nonzero if stack checking is built into the ABI. */
816 #define STACK_CHECK_BUILTIN 1
818 /* Define this if the maximum size of all the outgoing args is to be
819 accumulated and pushed during the prologue. The amount can be
820 found in the variable current_function_outgoing_args_size. */
821 #define ACCUMULATE_OUTGOING_ARGS
823 /* Offset of first parameter from the argument pointer register value. */
825 #define FIRST_PARM_OFFSET(FNDECL) 0
827 /* Definitions for register eliminations.
829 We have two registers that can be eliminated on the Alpha. First, the
830 frame pointer register can often be eliminated in favor of the stack
831 pointer register. Secondly, the argument pointer register can always be
832 eliminated; it is replaced with either the stack or frame pointer. */
834 /* This is an array of structures. Each structure initializes one pair
835 of eliminable registers. The "from" register number is given first,
836 followed by "to". Eliminations of the same "from" register are listed
837 in order of preference. */
839 #define ELIMINABLE_REGS \
840 {{ ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
841 { ARG_POINTER_REGNUM, HARD_FRAME_POINTER_REGNUM}, \
842 { FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
843 { FRAME_POINTER_REGNUM, HARD_FRAME_POINTER_REGNUM}}
845 /* Given FROM and TO register numbers, say whether this elimination is allowed.
846 Frame pointer elimination is automatically handled.
848 All eliminations are valid since the cases where FP can't be
849 eliminated are already handled. */
851 #define CAN_ELIMINATE(FROM, TO) 1
853 /* Round up to a multiple of 16 bytes. */
854 #define ALPHA_ROUND(X) (((X) + 15) & ~ 15)
856 /* Define the offset between two registers, one to be eliminated, and the other
857 its replacement, at the start of a routine. */
858 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
859 { if ((FROM) == FRAME_POINTER_REGNUM) \
860 (OFFSET) = (ALPHA_ROUND (current_function_outgoing_args_size) \
861 + alpha_sa_size ()); \
862 else if ((FROM) == ARG_POINTER_REGNUM) \
863 (OFFSET) = (ALPHA_ROUND (current_function_outgoing_args_size) \
864 + alpha_sa_size () \
865 + (ALPHA_ROUND (get_frame_size () \
866 + current_function_pretend_args_size) \
867 - current_function_pretend_args_size)); \
870 /* Define this if stack space is still allocated for a parameter passed
871 in a register. */
872 /* #define REG_PARM_STACK_SPACE */
874 /* Value is the number of bytes of arguments automatically
875 popped when returning from a subroutine call.
876 FUNDECL is the declaration node of the function (as a tree),
877 FUNTYPE is the data type of the function (as a tree),
878 or for a library call it is an identifier node for the subroutine name.
879 SIZE is the number of bytes of arguments passed on the stack. */
881 #define RETURN_POPS_ARGS(FUNDECL,FUNTYPE,SIZE) 0
883 /* Define how to find the value returned by a function.
884 VALTYPE is the data type of the value (as a tree).
885 If the precise function being called is known, FUNC is its FUNCTION_DECL;
886 otherwise, FUNC is 0.
888 On Alpha the value is found in $0 for integer functions and
889 $f0 for floating-point functions. */
891 #define FUNCTION_VALUE(VALTYPE, FUNC) \
892 gen_rtx (REG, \
893 (INTEGRAL_MODE_P (TYPE_MODE (VALTYPE)) \
894 && TYPE_PRECISION (VALTYPE) < BITS_PER_WORD) \
895 ? word_mode : TYPE_MODE (VALTYPE), \
896 ((TARGET_FPREGS \
897 && (TREE_CODE (VALTYPE) == REAL_TYPE \
898 || TREE_CODE (VALTYPE) == COMPLEX_TYPE)) \
899 ? 32 : 0))
901 /* Define how to find the value returned by a library function
902 assuming the value has mode MODE. */
904 #define LIBCALL_VALUE(MODE) \
905 gen_rtx (REG, MODE, \
906 (TARGET_FPREGS \
907 && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
908 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT) \
909 ? 32 : 0))
911 /* The definition of this macro implies that there are cases where
912 a scalar value cannot be returned in registers.
914 For the Alpha, any structure or union type is returned in memory, as
915 are integers whose size is larger than 64 bits. */
917 #define RETURN_IN_MEMORY(TYPE) \
918 (TYPE_MODE (TYPE) == BLKmode \
919 || (TREE_CODE (TYPE) == INTEGER_TYPE && TYPE_PRECISION (TYPE) > 64))
921 /* 1 if N is a possible register number for a function value
922 as seen by the caller. */
924 #define FUNCTION_VALUE_REGNO_P(N) \
925 ((N) == 0 || (N) == 1 || (N) == 32 || (N) == 33)
927 /* 1 if N is a possible register number for function argument passing.
928 On Alpha, these are $16-$21 and $f16-$f21. */
930 #define FUNCTION_ARG_REGNO_P(N) \
931 (((N) >= 16 && (N) <= 21) || ((N) >= 16 + 32 && (N) <= 21 + 32))
933 /* Define a data type for recording info about an argument list
934 during the scan of that argument list. This data type should
935 hold all necessary information about the function itself
936 and about the args processed so far, enough to enable macros
937 such as FUNCTION_ARG to determine where the next arg should go.
939 On Alpha, this is a single integer, which is a number of words
940 of arguments scanned so far.
941 Thus 6 or more means all following args should go on the stack. */
943 #define CUMULATIVE_ARGS int
945 /* Initialize a variable CUM of type CUMULATIVE_ARGS
946 for a call to a function whose data type is FNTYPE.
947 For a library call, FNTYPE is 0. */
949 #define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME,INDIRECT) (CUM) = 0
951 /* Define intermediate macro to compute the size (in registers) of an argument
952 for the Alpha. */
954 #define ALPHA_ARG_SIZE(MODE, TYPE, NAMED) \
955 ((MODE) != BLKmode \
956 ? (GET_MODE_SIZE (MODE) + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD \
957 : (int_size_in_bytes (TYPE) + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD)
959 /* Update the data in CUM to advance over an argument
960 of mode MODE and data type TYPE.
961 (TYPE is null for libcalls where that information may not be available.) */
963 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
964 if (MUST_PASS_IN_STACK (MODE, TYPE)) \
965 (CUM) = 6; \
966 else \
967 (CUM) += ALPHA_ARG_SIZE (MODE, TYPE, NAMED)
969 /* Determine where to put an argument to a function.
970 Value is zero to push the argument on the stack,
971 or a hard register in which to store the argument.
973 MODE is the argument's machine mode.
974 TYPE is the data type of the argument (as a tree).
975 This is null for libcalls where that information may
976 not be available.
977 CUM is a variable of type CUMULATIVE_ARGS which gives info about
978 the preceding args and about the function being called.
979 NAMED is nonzero if this argument is a named parameter
980 (otherwise it is an extra parameter matching an ellipsis).
982 On Alpha the first 6 words of args are normally in registers
983 and the rest are pushed. */
985 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
986 ((CUM) < 6 && ! MUST_PASS_IN_STACK (MODE, TYPE) \
987 ? gen_rtx(REG, (MODE), \
988 (CUM) + 16 + ((TARGET_FPREGS \
989 && (GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
990 || GET_MODE_CLASS (MODE) == MODE_FLOAT)) \
991 * 32)) \
992 : 0)
994 /* Specify the padding direction of arguments.
996 On the Alpha, we must pad upwards in order to be able to pass args in
997 registers. */
999 #define FUNCTION_ARG_PADDING(MODE, TYPE) upward
1001 /* For an arg passed partly in registers and partly in memory,
1002 this is the number of registers used.
1003 For args passed entirely in registers or entirely in memory, zero. */
1005 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
1006 ((CUM) < 6 && 6 < (CUM) + ALPHA_ARG_SIZE (MODE, TYPE, NAMED) \
1007 ? 6 - (CUM) : 0)
1009 /* Perform any needed actions needed for a function that is receiving a
1010 variable number of arguments.
1012 CUM is as above.
1014 MODE and TYPE are the mode and type of the current parameter.
1016 PRETEND_SIZE is a variable that should be set to the amount of stack
1017 that must be pushed by the prolog to pretend that our caller pushed
1020 Normally, this macro will push all remaining incoming registers on the
1021 stack and set PRETEND_SIZE to the length of the registers pushed.
1023 On the Alpha, we allocate space for all 12 arg registers, but only
1024 push those that are remaining.
1026 However, if NO registers need to be saved, don't allocate any space.
1027 This is not only because we won't need the space, but because AP includes
1028 the current_pretend_args_size and we don't want to mess up any
1029 ap-relative addresses already made.
1031 If we are not to use the floating-point registers, save the integer
1032 registers where we would put the floating-point registers. This is
1033 not the most efficient way to implement varargs with just one register
1034 class, but it isn't worth doing anything more efficient in this rare
1035 case. */
1038 #define SETUP_INCOMING_VARARGS(CUM,MODE,TYPE,PRETEND_SIZE,NO_RTL) \
1039 { if ((CUM) < 6) \
1041 if (! (NO_RTL)) \
1043 move_block_from_reg \
1044 (16 + CUM, \
1045 gen_rtx (MEM, BLKmode, \
1046 plus_constant (virtual_incoming_args_rtx, \
1047 ((CUM) + 6)* UNITS_PER_WORD)), \
1048 6 - (CUM), (6 - (CUM)) * UNITS_PER_WORD); \
1049 move_block_from_reg \
1050 (16 + (TARGET_FPREGS ? 32 : 0) + CUM, \
1051 gen_rtx (MEM, BLKmode, \
1052 plus_constant (virtual_incoming_args_rtx, \
1053 (CUM) * UNITS_PER_WORD)), \
1054 6 - (CUM), (6 - (CUM)) * UNITS_PER_WORD); \
1056 PRETEND_SIZE = 12 * UNITS_PER_WORD; \
1060 /* Try to output insns to set TARGET equal to the constant C if it can be
1061 done in less than N insns. Do all computations in MODE. Returns the place
1062 where the output has been placed if it can be done and the insns have been
1063 emitted. If it would take more than N insns, zero is returned and no
1064 insns and emitted. */
1065 extern struct rtx_def *alpha_emit_set_const ();
1066 extern struct rtx_def *alpha_emit_set_long_const ();
1067 extern struct rtx_def *alpha_emit_conditional_move ();
1069 /* Generate necessary RTL for __builtin_saveregs().
1070 ARGLIST is the argument list; see expr.c. */
1071 extern struct rtx_def *alpha_builtin_saveregs ();
1072 #define EXPAND_BUILTIN_SAVEREGS(ARGLIST) alpha_builtin_saveregs (ARGLIST)
1074 /* Define the information needed to generate branch and scc insns. This is
1075 stored from the compare operation. Note that we can't use "rtx" here
1076 since it hasn't been defined! */
1078 extern struct rtx_def *alpha_compare_op0, *alpha_compare_op1;
1079 extern int alpha_compare_fp_p;
1081 /* Make (or fake) .linkage entry for function call.
1083 IS_LOCAL is 0 if name is used in call, 1 if name is used in definition. */
1084 extern void alpha_need_linkage ();
1086 /* This macro produces the initial definition of a function name. On the
1087 Alpha, we need to save the function name for the prologue and epilogue. */
1089 extern char *alpha_function_name;
1091 #define ASM_DECLARE_FUNCTION_NAME(FILE,NAME,DECL) \
1093 alpha_function_name = NAME; \
1096 /* This macro generates the assembly code for function entry.
1097 FILE is a stdio stream to output the code to.
1098 SIZE is an int: how many units of temporary storage to allocate.
1099 Refer to the array `regs_ever_live' to determine which registers
1100 to save; `regs_ever_live[I]' is nonzero if register number I
1101 is ever used in the function. This macro is responsible for
1102 knowing which registers should not be saved even if used. */
1104 #define FUNCTION_PROLOGUE(FILE, SIZE) output_prolog (FILE, SIZE)
1106 /* Output assembler code to FILE to increment profiler label # LABELNO
1107 for profiling a function entry. Under OSF/1, profiling is enabled
1108 by simply passing -pg to the assembler and linker. */
1110 #define FUNCTION_PROFILER(FILE, LABELNO)
1112 /* Output assembler code to FILE to initialize this source file's
1113 basic block profiling info, if that has not already been done.
1114 This assumes that __bb_init_func doesn't garble a1-a5. */
1116 #define FUNCTION_BLOCK_PROFILER(FILE, LABELNO) \
1117 do { \
1118 ASM_OUTPUT_REG_PUSH (FILE, 16); \
1119 fputs ("\tlda $16,$PBX32\n", (FILE)); \
1120 fputs ("\tldq $26,0($16)\n", (FILE)); \
1121 fputs ("\tbne $26,1f\n", (FILE)); \
1122 fputs ("\tlda $27,__bb_init_func\n", (FILE)); \
1123 fputs ("\tjsr $26,($27),__bb_init_func\n", (FILE)); \
1124 fputs ("\tldgp $29,0($26)\n", (FILE)); \
1125 fputs ("1:\n", (FILE)); \
1126 ASM_OUTPUT_REG_POP (FILE, 16); \
1127 } while (0);
1129 /* Output assembler code to FILE to increment the entry-count for
1130 the BLOCKNO'th basic block in this source file. */
1132 #define BLOCK_PROFILER(FILE, BLOCKNO) \
1133 do { \
1134 int blockn = (BLOCKNO); \
1135 fputs ("\tsubq $30,16,$30\n", (FILE)); \
1136 fputs ("\tstq $26,0($30)\n", (FILE)); \
1137 fputs ("\tstq $27,8($30)\n", (FILE)); \
1138 fputs ("\tlda $26,$PBX34\n", (FILE)); \
1139 fprintf ((FILE), "\tldq $27,%d($26)\n", 8*blockn); \
1140 fputs ("\taddq $27,1,$27\n", (FILE)); \
1141 fprintf ((FILE), "\tstq $27,%d($26)\n", 8*blockn); \
1142 fputs ("\tldq $26,0($30)\n", (FILE)); \
1143 fputs ("\tldq $27,8($30)\n", (FILE)); \
1144 fputs ("\taddq $30,16,$30\n", (FILE)); \
1145 } while (0)
1148 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
1149 the stack pointer does not matter. The value is tested only in
1150 functions that have frame pointers.
1151 No definition is equivalent to always zero. */
1153 #define EXIT_IGNORE_STACK 1
1155 /* This macro generates the assembly code for function exit,
1156 on machines that need it. If FUNCTION_EPILOGUE is not defined
1157 then individual return instructions are generated for each
1158 return statement. Args are same as for FUNCTION_PROLOGUE.
1160 The function epilogue should not depend on the current stack pointer!
1161 It should use the frame pointer only. This is mandatory because
1162 of alloca; we also take advantage of it to omit stack adjustments
1163 before returning. */
1165 #define FUNCTION_EPILOGUE(FILE, SIZE) output_epilog (FILE, SIZE)
1168 /* Output assembler code for a block containing the constant parts
1169 of a trampoline, leaving space for the variable parts.
1171 The trampoline should set the static chain pointer to value placed
1172 into the trampoline and should branch to the specified routine.
1173 Note that $27 has been set to the address of the trampoline, so we can
1174 use it for addressability of the two data items. Trampolines are always
1175 aligned to FUNCTION_BOUNDARY, which is 64 bits. */
1177 #define TRAMPOLINE_TEMPLATE(FILE) \
1179 fprintf (FILE, "\tldq $1,24($27)\n"); \
1180 fprintf (FILE, "\tldq $27,16($27)\n"); \
1181 fprintf (FILE, "\tjmp $31,($27),0\n"); \
1182 fprintf (FILE, "\tnop\n"); \
1183 fprintf (FILE, "\t.quad 0,0\n"); \
1186 /* Section in which to place the trampoline. On Alpha, instructions
1187 may only be placed in a text segment. */
1189 #define TRAMPOLINE_SECTION text_section
1191 /* Length in units of the trampoline for entering a nested function. */
1193 #define TRAMPOLINE_SIZE 32
1195 /* Emit RTL insns to initialize the variable parts of a trampoline.
1196 FNADDR is an RTX for the address of the function's pure code.
1197 CXT is an RTX for the static chain value for the function. We assume
1198 here that a function will be called many more times than its address
1199 is taken (e.g., it might be passed to qsort), so we take the trouble
1200 to initialize the "hint" field in the JMP insn. Note that the hint
1201 field is PC (new) + 4 * bits 13:0. */
1203 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
1205 rtx _temp, _temp1, _addr; \
1207 _addr = memory_address (Pmode, plus_constant ((TRAMP), 16)); \
1208 emit_move_insn (gen_rtx (MEM, Pmode, _addr), (FNADDR)); \
1209 _addr = memory_address (Pmode, plus_constant ((TRAMP), 24)); \
1210 emit_move_insn (gen_rtx (MEM, Pmode, _addr), (CXT)); \
1212 _temp = force_operand (plus_constant ((TRAMP), 12), NULL_RTX); \
1213 _temp = expand_binop (DImode, sub_optab, (FNADDR), _temp, _temp, 1, \
1214 OPTAB_WIDEN); \
1215 _temp = expand_shift (RSHIFT_EXPR, Pmode, _temp, \
1216 build_int_2 (2, 0), NULL_RTX, 1); \
1217 _temp = expand_and (gen_lowpart (SImode, _temp), \
1218 GEN_INT (0x3fff), 0); \
1220 _addr = memory_address (SImode, plus_constant ((TRAMP), 8)); \
1221 _temp1 = force_reg (SImode, gen_rtx (MEM, SImode, _addr)); \
1222 _temp1 = expand_and (_temp1, GEN_INT (0xffffc000), NULL_RTX); \
1223 _temp1 = expand_binop (SImode, ior_optab, _temp1, _temp, _temp1, 1, \
1224 OPTAB_WIDEN); \
1226 emit_move_insn (gen_rtx (MEM, SImode, _addr), _temp1); \
1228 emit_library_call (gen_rtx (SYMBOL_REF, Pmode, \
1229 "__enable_execute_stack"), \
1230 0, VOIDmode, 1,_addr, Pmode); \
1232 emit_insn (gen_rtx (UNSPEC_VOLATILE, VOIDmode, \
1233 gen_rtvec (1, const0_rtx), 0)); \
1236 /* Attempt to turn on access permissions for the stack. */
1238 #define TRANSFER_FROM_TRAMPOLINE \
1240 void \
1241 __enable_execute_stack (addr) \
1242 void *addr; \
1244 long size = getpagesize (); \
1245 long mask = ~(size-1); \
1246 char *page = (char *) (((long) addr) & mask); \
1247 char *end = (char *) ((((long) (addr + TRAMPOLINE_SIZE)) & mask) + size); \
1249 /* 7 is PROT_READ | PROT_WRITE | PROT_EXEC */ \
1250 if (mprotect (page, end - page, 7) < 0) \
1251 perror ("mprotect of trampoline code"); \
1254 /* A C expression whose value is RTL representing the value of the return
1255 address for the frame COUNT steps up from the current frame.
1256 FRAMEADDR is the frame pointer of the COUNT frame, or the frame pointer of
1257 the COUNT-1 frame if RETURN_ADDR_IN_PREVIOUS_FRAME} is defined.
1259 This definition for Alpha is broken, but is put in at the request of
1260 Mike Stump. */
1262 #define RETURN_ADDR_RTX(COUNT, FRAME) \
1263 ((COUNT == 0 && alpha_sa_size () == 0 && 0 /* not right. */) \
1264 ? gen_rtx (REG, Pmode, 26) \
1265 : gen_rtx (MEM, Pmode, \
1266 memory_address (Pmode, FRAME)))
1268 /* Addressing modes, and classification of registers for them. */
1270 /* #define HAVE_POST_INCREMENT */
1271 /* #define HAVE_POST_DECREMENT */
1273 /* #define HAVE_PRE_DECREMENT */
1274 /* #define HAVE_PRE_INCREMENT */
1276 /* Macros to check register numbers against specific register classes. */
1278 /* These assume that REGNO is a hard or pseudo reg number.
1279 They give nonzero only if REGNO is a hard reg of the suitable class
1280 or a pseudo reg currently allocated to a suitable hard reg.
1281 Since they use reg_renumber, they are safe only once reg_renumber
1282 has been allocated, which happens in local-alloc.c. */
1284 #define REGNO_OK_FOR_INDEX_P(REGNO) 0
1285 #define REGNO_OK_FOR_BASE_P(REGNO) \
1286 ((REGNO) < 32 || (unsigned) reg_renumber[REGNO] < 32 \
1287 || (REGNO) == 63 || reg_renumber[REGNO] == 63)
1289 /* Maximum number of registers that can appear in a valid memory address. */
1290 #define MAX_REGS_PER_ADDRESS 1
1292 /* Recognize any constant value that is a valid address. For the Alpha,
1293 there are only constants none since we want to use LDA to load any
1294 symbolic addresses into registers. */
1296 #define CONSTANT_ADDRESS_P(X) \
1297 (GET_CODE (X) == CONST_INT \
1298 && (unsigned HOST_WIDE_INT) (INTVAL (X) + 0x8000) < 0x10000)
1300 /* Include all constant integers and constant doubles, but not
1301 floating-point, except for floating-point zero. */
1303 #define LEGITIMATE_CONSTANT_P(X) \
1304 (GET_MODE_CLASS (GET_MODE (X)) != MODE_FLOAT \
1305 || (X) == CONST0_RTX (GET_MODE (X)))
1307 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
1308 and check its validity for a certain class.
1309 We have two alternate definitions for each of them.
1310 The usual definition accepts all pseudo regs; the other rejects
1311 them unless they have been allocated suitable hard regs.
1312 The symbol REG_OK_STRICT causes the latter definition to be used.
1314 Most source files want to accept pseudo regs in the hope that
1315 they will get allocated to the class that the insn wants them to be in.
1316 Source files for reload pass need to be strict.
1317 After reload, it makes no difference, since pseudo regs have
1318 been eliminated by then. */
1320 #ifndef REG_OK_STRICT
1322 /* Nonzero if X is a hard reg that can be used as an index
1323 or if it is a pseudo reg. */
1324 #define REG_OK_FOR_INDEX_P(X) 0
1325 /* Nonzero if X is a hard reg that can be used as a base reg
1326 or if it is a pseudo reg. */
1327 #define REG_OK_FOR_BASE_P(X) \
1328 (REGNO (X) < 32 || REGNO (X) == 63 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1330 #else
1332 /* Nonzero if X is a hard reg that can be used as an index. */
1333 #define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
1334 /* Nonzero if X is a hard reg that can be used as a base reg. */
1335 #define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
1337 #endif
1339 /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
1340 that is a valid memory address for an instruction.
1341 The MODE argument is the machine mode for the MEM expression
1342 that wants to use this address.
1344 For Alpha, we have either a constant address or the sum of a register
1345 and a constant address, or just a register. For DImode, any of those
1346 forms can be surrounded with an AND that clear the low-order three bits;
1347 this is an "unaligned" access.
1349 First define the basic valid address. */
1351 #define GO_IF_LEGITIMATE_SIMPLE_ADDRESS(MODE, X, ADDR) \
1352 { if (REG_P (X) && REG_OK_FOR_BASE_P (X)) \
1353 goto ADDR; \
1354 if (CONSTANT_ADDRESS_P (X)) \
1355 goto ADDR; \
1356 if (GET_CODE (X) == PLUS \
1357 && REG_P (XEXP (X, 0)) \
1358 && REG_OK_FOR_BASE_P (XEXP (X, 0)) \
1359 && CONSTANT_ADDRESS_P (XEXP (X, 1))) \
1360 goto ADDR; \
1363 /* Now accept the simple address, or, for DImode only, an AND of a simple
1364 address that turns off the low three bits. */
1366 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
1367 { GO_IF_LEGITIMATE_SIMPLE_ADDRESS (MODE, X, ADDR); \
1368 if ((MODE) == DImode \
1369 && GET_CODE (X) == AND \
1370 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1371 && INTVAL (XEXP (X, 1)) == -8) \
1372 GO_IF_LEGITIMATE_SIMPLE_ADDRESS (MODE, XEXP (X, 0), ADDR); \
1375 /* Try machine-dependent ways of modifying an illegitimate address
1376 to be legitimate. If we find one, return the new, valid address.
1377 This macro is used in only one place: `memory_address' in explow.c.
1379 OLDX is the address as it was before break_out_memory_refs was called.
1380 In some cases it is useful to look at this to decide what needs to be done.
1382 MODE and WIN are passed so that this macro can use
1383 GO_IF_LEGITIMATE_ADDRESS.
1385 It is always safe for this macro to do nothing. It exists to recognize
1386 opportunities to optimize the output.
1388 For the Alpha, there are three cases we handle:
1390 (1) If the address is (plus reg const_int) and the CONST_INT is not a
1391 valid offset, compute the high part of the constant and add it to the
1392 register. Then our address is (plus temp low-part-const).
1393 (2) If the address is (const (plus FOO const_int)), find the low-order
1394 part of the CONST_INT. Then load FOO plus any high-order part of the
1395 CONST_INT into a register. Our address is (plus reg low-part-const).
1396 This is done to reduce the number of GOT entries.
1397 (3) If we have a (plus reg const), emit the load as in (2), then add
1398 the two registers, and finally generate (plus reg low-part-const) as
1399 our address. */
1401 #define LEGITIMIZE_ADDRESS(X,OLDX,MODE,WIN) \
1402 { if (GET_CODE (X) == PLUS && GET_CODE (XEXP (X, 0)) == REG \
1403 && GET_CODE (XEXP (X, 1)) == CONST_INT \
1404 && ! CONSTANT_ADDRESS_P (XEXP (X, 1))) \
1406 HOST_WIDE_INT val = INTVAL (XEXP (X, 1)); \
1407 HOST_WIDE_INT lowpart = (val & 0xffff) - 2 * (val & 0x8000); \
1408 HOST_WIDE_INT highpart = val - lowpart; \
1409 rtx high = GEN_INT (highpart); \
1410 rtx temp = expand_binop (Pmode, add_optab, XEXP (x, 0), \
1411 high, NULL_RTX, 1, OPTAB_LIB_WIDEN); \
1413 (X) = plus_constant (temp, lowpart); \
1414 goto WIN; \
1416 else if (GET_CODE (X) == CONST \
1417 && GET_CODE (XEXP (X, 0)) == PLUS \
1418 && GET_CODE (XEXP (XEXP (X, 0), 1)) == CONST_INT) \
1420 HOST_WIDE_INT val = INTVAL (XEXP (XEXP (X, 0), 1)); \
1421 HOST_WIDE_INT lowpart = (val & 0xffff) - 2 * (val & 0x8000); \
1422 HOST_WIDE_INT highpart = val - lowpart; \
1423 rtx high = XEXP (XEXP (X, 0), 0); \
1425 if (highpart) \
1426 high = plus_constant (high, highpart); \
1428 (X) = plus_constant (force_reg (Pmode, high), lowpart); \
1429 goto WIN; \
1431 else if (GET_CODE (X) == PLUS && GET_CODE (XEXP (X, 0)) == REG \
1432 && GET_CODE (XEXP (X, 1)) == CONST \
1433 && GET_CODE (XEXP (XEXP (X, 1), 0)) == PLUS \
1434 && GET_CODE (XEXP (XEXP (XEXP (X, 1), 0), 1)) == CONST_INT) \
1436 HOST_WIDE_INT val = INTVAL (XEXP (XEXP (XEXP (X, 1), 0), 1)); \
1437 HOST_WIDE_INT lowpart = (val & 0xffff) - 2 * (val & 0x8000); \
1438 HOST_WIDE_INT highpart = val - lowpart; \
1439 rtx high = XEXP (XEXP (XEXP (X, 1), 0), 0); \
1441 if (highpart) \
1442 high = plus_constant (high, highpart); \
1444 high = expand_binop (Pmode, add_optab, XEXP (X, 0), \
1445 force_reg (Pmode, high), \
1446 high, 1, OPTAB_LIB_WIDEN); \
1447 (X) = plus_constant (high, lowpart); \
1448 goto WIN; \
1452 /* Go to LABEL if ADDR (a legitimate address expression)
1453 has an effect that depends on the machine mode it is used for.
1454 On the Alpha this is true only for the unaligned modes. We can
1455 simplify this test since we know that the address must be valid. */
1457 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL) \
1458 { if (GET_CODE (ADDR) == AND) goto LABEL; }
1460 /* Compute the cost of an address. For the Alpha, all valid addresses are
1461 the same cost. */
1463 #define ADDRESS_COST(X) 0
1465 /* Define this if some processing needs to be done immediately before
1466 emitting code for an insn. */
1468 extern void final_prescan_insn ();
1469 #define FINAL_PRESCAN_INSN(INSN,OPERANDS,NOPERANDS) \
1470 final_prescan_insn ((INSN), (OPERANDS), (NOPERANDS))
1472 /* Define this if FINAL_PRESCAN_INSN should be called for a CODE_LABEL. */
1473 #define FINAL_PRESCAN_LABEL
1475 /* Specify the machine mode that this machine uses
1476 for the index in the tablejump instruction. */
1477 #define CASE_VECTOR_MODE SImode
1479 /* Define this if the tablejump instruction expects the table
1480 to contain offsets from the address of the table.
1481 Do not define this if the table should contain absolute addresses.
1482 On the Alpha, the table is really GP-relative, not relative to the PC
1483 of the table, but we pretend that it is PC-relative; this should be OK,
1484 but we should try to find some better way sometime. */
1485 #define CASE_VECTOR_PC_RELATIVE
1487 /* Specify the tree operation to be used to convert reals to integers. */
1488 #define IMPLICIT_FIX_EXPR FIX_ROUND_EXPR
1490 /* This is the kind of divide that is easiest to do in the general case. */
1491 #define EASY_DIV_EXPR TRUNC_DIV_EXPR
1493 /* Define this as 1 if `char' should by default be signed; else as 0. */
1494 #define DEFAULT_SIGNED_CHAR 1
1496 /* This flag, if defined, says the same insns that convert to a signed fixnum
1497 also convert validly to an unsigned one.
1499 We actually lie a bit here as overflow conditions are different. But
1500 they aren't being checked anyway. */
1502 #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
1504 /* Max number of bytes we can move to or from memory
1505 in one reasonably fast instruction. */
1507 #define MOVE_MAX 8
1509 /* Largest number of bytes of an object that can be placed in a register.
1510 On the Alpha we have plenty of registers, so use TImode. */
1511 #define MAX_FIXED_MODE_SIZE GET_MODE_BITSIZE (TImode)
1513 /* Nonzero if access to memory by bytes is no faster than for words.
1514 Also non-zero if doing byte operations (specifically shifts) in registers
1515 is undesirable.
1517 On the Alpha, we want to not use the byte operation and instead use
1518 masking operations to access fields; these will save instructions. */
1520 #define SLOW_BYTE_ACCESS 1
1522 /* Define if operations between registers always perform the operation
1523 on the full register even if a narrower mode is specified. */
1524 #define WORD_REGISTER_OPERATIONS
1526 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD
1527 will either zero-extend or sign-extend. The value of this macro should
1528 be the code that says which one of the two operations is implicitly
1529 done, NIL if none. */
1530 #define LOAD_EXTEND_OP(MODE) ((MODE) == SImode ? SIGN_EXTEND : ZERO_EXTEND)
1532 /* Define if loading short immediate values into registers sign extends. */
1533 #define SHORT_IMMEDIATES_SIGN_EXTEND
1535 /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits
1536 is done just by pretending it is already truncated. */
1537 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1539 /* We assume that the store-condition-codes instructions store 0 for false
1540 and some other value for true. This is the value stored for true. */
1542 #define STORE_FLAG_VALUE 1
1544 /* Define the value returned by a floating-point comparison instruction. */
1546 #define FLOAT_STORE_FLAG_VALUE 0.5
1548 /* Canonicalize a comparison from one we don't have to one we do have. */
1550 #define CANONICALIZE_COMPARISON(CODE,OP0,OP1) \
1551 do { \
1552 if (((CODE) == GE || (CODE) == GT || (CODE) == GEU || (CODE) == GTU) \
1553 && (GET_CODE (OP1) == REG || (OP1) == const0_rtx)) \
1555 rtx tem = (OP0); \
1556 (OP0) = (OP1); \
1557 (OP1) = tem; \
1558 (CODE) = swap_condition (CODE); \
1560 if (((CODE) == LT || (CODE) == LTU) \
1561 && GET_CODE (OP1) == CONST_INT && INTVAL (OP1) == 256) \
1563 (CODE) = (CODE) == LT ? LE : LEU; \
1564 (OP1) = GEN_INT (255); \
1566 } while (0)
1568 /* Specify the machine mode that pointers have.
1569 After generation of rtl, the compiler makes no further distinction
1570 between pointers and any other objects of this machine mode. */
1571 #define Pmode DImode
1573 /* Mode of a function address in a call instruction (for indexing purposes). */
1575 #define FUNCTION_MODE Pmode
1577 /* Define this if addresses of constant functions
1578 shouldn't be put through pseudo regs where they can be cse'd.
1579 Desirable on machines where ordinary constants are expensive
1580 but a CALL with constant address is cheap.
1582 We define this on the Alpha so that gen_call and gen_call_value
1583 get to see the SYMBOL_REF (for the hint field of the jsr). It will
1584 then copy it into a register, thus actually letting the address be
1585 cse'ed. */
1587 #define NO_FUNCTION_CSE
1589 /* Define this to be nonzero if shift instructions ignore all but the low-order
1590 few bits. */
1591 #define SHIFT_COUNT_TRUNCATED 1
1593 /* Use atexit for static constructors/destructors, instead of defining
1594 our own exit function. */
1595 #define HAVE_ATEXIT
1597 /* Compute the cost of computing a constant rtl expression RTX
1598 whose rtx-code is CODE. The body of this macro is a portion
1599 of a switch statement. If the code is computed here,
1600 return it with a return statement. Otherwise, break from the switch.
1602 If this is an 8-bit constant, return zero since it can be used
1603 nearly anywhere with no cost. If it is a valid operand for an
1604 ADD or AND, likewise return 0 if we know it will be used in that
1605 context. Otherwise, return 2 since it might be used there later.
1606 All other constants take at least two insns. */
1608 #define CONST_COSTS(RTX,CODE,OUTER_CODE) \
1609 case CONST_INT: \
1610 if (INTVAL (RTX) >= 0 && INTVAL (RTX) < 256) \
1611 return 0; \
1612 case CONST_DOUBLE: \
1613 if (((OUTER_CODE) == PLUS && add_operand (RTX, VOIDmode)) \
1614 || ((OUTER_CODE) == AND && and_operand (RTX, VOIDmode))) \
1615 return 0; \
1616 else if (add_operand (RTX, VOIDmode) || and_operand (RTX, VOIDmode)) \
1617 return 2; \
1618 else \
1619 return COSTS_N_INSNS (2); \
1620 case CONST: \
1621 case SYMBOL_REF: \
1622 case LABEL_REF: \
1623 switch (alpha_cpu) \
1625 case PROCESSOR_EV4: \
1626 return COSTS_N_INSNS (3); \
1627 case PROCESSOR_EV5: \
1628 return COSTS_N_INSNS (2); \
1631 /* Provide the costs of a rtl expression. This is in the body of a
1632 switch on CODE. */
1634 #define RTX_COSTS(X,CODE,OUTER_CODE) \
1635 case PLUS: case MINUS: \
1636 if (FLOAT_MODE_P (GET_MODE (X))) \
1637 switch (alpha_cpu) \
1639 case PROCESSOR_EV4: \
1640 return COSTS_N_INSNS (6); \
1641 case PROCESSOR_EV5: \
1642 return COSTS_N_INSNS (4); \
1644 else if (GET_CODE (XEXP (X, 0)) == MULT \
1645 && const48_operand (XEXP (XEXP (X, 0), 1), VOIDmode)) \
1646 return (2 + rtx_cost (XEXP (XEXP (X, 0), 0), OUTER_CODE) \
1647 + rtx_cost (XEXP (X, 1), OUTER_CODE)); \
1648 break; \
1649 case MULT: \
1650 switch (alpha_cpu) \
1652 case PROCESSOR_EV4: \
1653 if (FLOAT_MODE_P (GET_MODE (X))) \
1654 return COSTS_N_INSNS (6); \
1655 return COSTS_N_INSNS (23); \
1656 case PROCESSOR_EV5: \
1657 if (FLOAT_MODE_P (GET_MODE (X))) \
1658 return COSTS_N_INSNS (4); \
1659 else if (GET_MODE (X) == DImode) \
1660 return COSTS_N_INSNS (12); \
1661 else \
1662 return COSTS_N_INSNS (8); \
1664 case ASHIFT: \
1665 if (GET_CODE (XEXP (X, 1)) == CONST_INT \
1666 && INTVAL (XEXP (X, 1)) <= 3) \
1667 break; \
1668 /* ... fall through ... */ \
1669 case ASHIFTRT: case LSHIFTRT: case IF_THEN_ELSE: \
1670 switch (alpha_cpu) \
1672 case PROCESSOR_EV4: \
1673 return COSTS_N_INSNS (2); \
1674 case PROCESSOR_EV5: \
1675 return COSTS_N_INSNS (1); \
1677 case DIV: case UDIV: case MOD: case UMOD: \
1678 switch (alpha_cpu) \
1680 case PROCESSOR_EV4: \
1681 if (GET_MODE (X) == SFmode) \
1682 return COSTS_N_INSNS (34); \
1683 else if (GET_MODE (X) == DFmode) \
1684 return COSTS_N_INSNS (63); \
1685 else \
1686 return COSTS_N_INSNS (70); \
1687 case PROCESSOR_EV5: \
1688 if (GET_MODE (X) == SFmode) \
1689 return COSTS_N_INSNS (15); \
1690 else if (GET_MODE (X) == DFmode) \
1691 return COSTS_N_INSNS (22); \
1692 else \
1693 return COSTS_N_INSNS (70); /* EV5 ??? */ \
1695 case MEM: \
1696 switch (alpha_cpu) \
1698 case PROCESSOR_EV4: \
1699 return COSTS_N_INSNS (3); \
1700 case PROCESSOR_EV5: \
1701 return COSTS_N_INSNS (2); \
1703 case NEG: case ABS: \
1704 if (! FLOAT_MODE_P (GET_MODE (X))) \
1705 break; \
1706 /* ... fall through ... */ \
1707 case FLOAT: case UNSIGNED_FLOAT: case FIX: case UNSIGNED_FIX: \
1708 case FLOAT_EXTEND: case FLOAT_TRUNCATE: \
1709 switch (alpha_cpu) \
1711 case PROCESSOR_EV4: \
1712 return COSTS_N_INSNS (6); \
1713 case PROCESSOR_EV5: \
1714 return COSTS_N_INSNS (4); \
1717 /* Control the assembler format that we output. */
1719 /* Output at beginning of assembler file. */
1721 #define ASM_FILE_START(FILE) \
1723 alpha_write_verstamp (FILE); \
1724 fprintf (FILE, "\t.set noreorder\n"); \
1725 fprintf (FILE, "\t.set volatile\n"); \
1726 fprintf (FILE, "\t.set noat\n"); \
1727 fprintf (FILE, "\t.arch %s\n", \
1728 (TARGET_BYTE_OPS ? "ev56" \
1729 : alpha_cpu == PROCESSOR_EV4 ? "ev4" : "ev5")); \
1730 ASM_OUTPUT_SOURCE_FILENAME (FILE, main_input_filename); \
1733 /* Output to assembler file text saying following lines
1734 may contain character constants, extra white space, comments, etc. */
1736 #define ASM_APP_ON ""
1738 /* Output to assembler file text saying following lines
1739 no longer contain unusual constructs. */
1741 #define ASM_APP_OFF ""
1743 #define TEXT_SECTION_ASM_OP ".text"
1745 /* Output before read-only data. */
1747 #define READONLY_DATA_SECTION_ASM_OP ".rdata"
1749 /* Output before writable data. */
1751 #define DATA_SECTION_ASM_OP ".data"
1753 /* Define an extra section for read-only data, a routine to enter it, and
1754 indicate that it is for read-only data.
1756 The first time we enter the readonly data section for a file, we write
1757 eight bytes of zero. This works around a bug in DEC's assembler in
1758 some versions of OSF/1 V3.x. */
1760 #define EXTRA_SECTIONS readonly_data
1762 #define EXTRA_SECTION_FUNCTIONS \
1763 void \
1764 literal_section () \
1766 if (in_section != readonly_data) \
1768 static int firsttime = 1; \
1770 fprintf (asm_out_file, "%s\n", READONLY_DATA_SECTION_ASM_OP); \
1771 if (firsttime) \
1773 firsttime = 0; \
1774 ASM_OUTPUT_DOUBLE_INT (asm_out_file, const0_rtx); \
1777 in_section = readonly_data; \
1781 #define READONLY_DATA_SECTION literal_section
1783 /* If we are referencing a function that is static, make the SYMBOL_REF
1784 special. We use this to see indicate we can branch to this function
1785 without setting PV or restoring GP. */
1787 #define ENCODE_SECTION_INFO(DECL) \
1788 if (TREE_CODE (DECL) == FUNCTION_DECL && ! TREE_PUBLIC (DECL)) \
1789 SYMBOL_REF_FLAG (XEXP (DECL_RTL (DECL), 0)) = 1;
1791 /* How to refer to registers in assembler output.
1792 This sequence is indexed by compiler's hard-register-number (see above). */
1794 #define REGISTER_NAMES \
1795 {"$0", "$1", "$2", "$3", "$4", "$5", "$6", "$7", "$8", \
1796 "$9", "$10", "$11", "$12", "$13", "$14", "$15", \
1797 "$16", "$17", "$18", "$19", "$20", "$21", "$22", "$23", \
1798 "$24", "$25", "$26", "$27", "$28", "$29", "$30", "AP", \
1799 "$f0", "$f1", "$f2", "$f3", "$f4", "$f5", "$f6", "$f7", "$f8", \
1800 "$f9", "$f10", "$f11", "$f12", "$f13", "$f14", "$f15", \
1801 "$f16", "$f17", "$f18", "$f19", "$f20", "$f21", "$f22", "$f23",\
1802 "$f24", "$f25", "$f26", "$f27", "$f28", "$f29", "$f30", "FP"}
1804 /* How to renumber registers for dbx and gdb. */
1806 #define DBX_REGISTER_NUMBER(REGNO) (REGNO)
1808 /* This is how to output the definition of a user-level label named NAME,
1809 such as the label on a static function or variable NAME. */
1811 #define ASM_OUTPUT_LABEL(FILE,NAME) \
1812 do { assemble_name (FILE, NAME); fputs (":\n", FILE); } while (0)
1814 /* This is how to output a command to make the user-level label named NAME
1815 defined for reference from other files. */
1817 #define ASM_GLOBALIZE_LABEL(FILE,NAME) \
1818 do { fputs ("\t.globl ", FILE); assemble_name (FILE, NAME); fputs ("\n", FILE);} while (0)
1820 /* The prefix to add to user-visible assembler symbols. */
1822 #define USER_LABEL_PREFIX ""
1824 /* This is how to output an internal numbered label where
1825 PREFIX is the class of label and NUM is the number within the class. */
1827 #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM) \
1828 if ((PREFIX)[0] == 'L') \
1829 fprintf (FILE, "$%s%d:\n", & (PREFIX)[1], NUM + 32); \
1830 else \
1831 fprintf (FILE, "%s%d:\n", PREFIX, NUM);
1833 /* This is how to output a label for a jump table. Arguments are the same as
1834 for ASM_OUTPUT_INTERNAL_LABEL, except the insn for the jump table is
1835 passed. */
1837 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN) \
1838 { ASM_OUTPUT_ALIGN (FILE, 2); ASM_OUTPUT_INTERNAL_LABEL (FILE, PREFIX, NUM); }
1840 /* This is how to store into the string LABEL
1841 the symbol_ref name of an internal numbered label where
1842 PREFIX is the class of label and NUM is the number within the class.
1843 This is suitable for output with `assemble_name'. */
1845 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM) \
1846 if ((PREFIX)[0] == 'L') \
1847 sprintf (LABEL, "*$%s%d", & (PREFIX)[1], NUM + 32); \
1848 else \
1849 sprintf (LABEL, "*%s%d", PREFIX, NUM)
1851 /* Check a floating-point value for validity for a particular machine mode. */
1853 #define CHECK_FLOAT_VALUE(MODE, D, OVERFLOW) \
1854 ((OVERFLOW) = check_float_value (MODE, &D, OVERFLOW))
1856 /* This is how to output an assembler line defining a `double' constant. */
1858 #define ASM_OUTPUT_DOUBLE(FILE,VALUE) \
1860 if (REAL_VALUE_ISINF (VALUE) \
1861 || REAL_VALUE_ISNAN (VALUE) \
1862 || REAL_VALUE_MINUS_ZERO (VALUE)) \
1864 long t[2]; \
1865 REAL_VALUE_TO_TARGET_DOUBLE ((VALUE), t); \
1866 fprintf (FILE, "\t.quad 0x%lx%08lx\n", \
1867 t[1] & 0xffffffff, t[0] & 0xffffffff); \
1869 else \
1871 char str[30]; \
1872 REAL_VALUE_TO_DECIMAL (VALUE, "%.20e", str); \
1873 fprintf (FILE, "\t.%c_floating %s\n", (TARGET_FLOAT_VAX)?'g':'t', str); \
1877 /* This is how to output an assembler line defining a `float' constant. */
1879 #define ASM_OUTPUT_FLOAT(FILE,VALUE) \
1880 do { \
1881 long t; \
1882 REAL_VALUE_TO_TARGET_SINGLE ((VALUE), t); \
1883 fprintf (FILE, "\t.long 0x%lx\n", t & 0xffffffff); \
1884 } while (0)
1886 /* This is how to output an assembler line defining an `int' constant. */
1888 #define ASM_OUTPUT_INT(FILE,VALUE) \
1889 ( fprintf (FILE, "\t.long "), \
1890 output_addr_const (FILE, (VALUE)), \
1891 fprintf (FILE, "\n"))
1893 /* This is how to output an assembler line defining a `long' constant. */
1895 #define ASM_OUTPUT_DOUBLE_INT(FILE,VALUE) \
1896 ( fprintf (FILE, "\t.quad "), \
1897 output_addr_const (FILE, (VALUE)), \
1898 fprintf (FILE, "\n"))
1900 /* Likewise for `char' and `short' constants. */
1902 #define ASM_OUTPUT_SHORT(FILE,VALUE) \
1903 fprintf (FILE, "\t.word %d\n", \
1904 (GET_CODE (VALUE) == CONST_INT \
1905 ? INTVAL (VALUE) & 0xffff : (abort (), 0)))
1907 #define ASM_OUTPUT_CHAR(FILE,VALUE) \
1908 fprintf (FILE, "\t.byte %d\n", \
1909 (GET_CODE (VALUE) == CONST_INT \
1910 ? INTVAL (VALUE) & 0xff : (abort (), 0)))
1912 /* We use the default ASCII-output routine, except that we don't write more
1913 than 50 characters since the assembler doesn't support very long lines. */
1915 #define ASM_OUTPUT_ASCII(MYFILE, MYSTRING, MYLENGTH) \
1916 do { \
1917 FILE *_hide_asm_out_file = (MYFILE); \
1918 unsigned char *_hide_p = (unsigned char *) (MYSTRING); \
1919 int _hide_thissize = (MYLENGTH); \
1920 int _size_so_far = 0; \
1922 FILE *asm_out_file = _hide_asm_out_file; \
1923 unsigned char *p = _hide_p; \
1924 int thissize = _hide_thissize; \
1925 int i; \
1926 fprintf (asm_out_file, "\t.ascii \""); \
1928 for (i = 0; i < thissize; i++) \
1930 register int c = p[i]; \
1932 if (_size_so_far ++ > 50 && i < thissize - 4) \
1933 _size_so_far = 0, fprintf (asm_out_file, "\"\n\t.ascii \""); \
1935 if (c == '\"' || c == '\\') \
1936 putc ('\\', asm_out_file); \
1937 if (c >= ' ' && c < 0177) \
1938 putc (c, asm_out_file); \
1939 else \
1941 fprintf (asm_out_file, "\\%o", c); \
1942 /* After an octal-escape, if a digit follows, \
1943 terminate one string constant and start another. \
1944 The Vax assembler fails to stop reading the escape \
1945 after three digits, so this is the only way we \
1946 can get it to parse the data properly. */ \
1947 if (i < thissize - 1 \
1948 && p[i + 1] >= '0' && p[i + 1] <= '9') \
1949 _size_so_far = 0, fprintf (asm_out_file, "\"\n\t.ascii \""); \
1952 fprintf (asm_out_file, "\"\n"); \
1955 while (0)
1957 /* This is how to output an insn to push a register on the stack.
1958 It need not be very fast code. */
1960 #define ASM_OUTPUT_REG_PUSH(FILE,REGNO) \
1961 fprintf (FILE, "\tsubq $30,8,$30\n\tst%s $%s%d,0($30)\n", \
1962 (REGNO) > 32 ? "t" : "q", (REGNO) > 32 ? "f" : "", \
1963 (REGNO) & 31);
1965 /* This is how to output an insn to pop a register from the stack.
1966 It need not be very fast code. */
1968 #define ASM_OUTPUT_REG_POP(FILE,REGNO) \
1969 fprintf (FILE, "\tld%s $%s%d,0($30)\n\taddq $30,8,$30\n", \
1970 (REGNO) > 32 ? "t" : "q", (REGNO) > 32 ? "f" : "", \
1971 (REGNO) & 31);
1973 /* This is how to output an assembler line for a numeric constant byte. */
1975 #define ASM_OUTPUT_BYTE(FILE,VALUE) \
1976 fprintf (FILE, "\t.byte 0x%x\n", (VALUE) & 0xff)
1978 /* This is how to output an element of a case-vector that is absolute.
1979 (Alpha does not use such vectors, but we must define this macro anyway.) */
1981 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) abort ()
1983 /* This is how to output an element of a case-vector that is relative. */
1985 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, VALUE, REL) \
1986 fprintf (FILE, "\t.%s $%d\n", TARGET_WINDOWS_NT ? "long" : "gprel32", \
1987 (VALUE) + 32)
1989 /* This is how to output an assembler line
1990 that says to advance the location counter
1991 to a multiple of 2**LOG bytes. */
1993 #define ASM_OUTPUT_ALIGN(FILE,LOG) \
1994 if ((LOG) != 0) \
1995 fprintf (FILE, "\t.align %d\n", LOG);
1997 /* This is how to advance the location counter by SIZE bytes. */
1999 #define ASM_OUTPUT_SKIP(FILE,SIZE) \
2000 fprintf (FILE, "\t.space %d\n", (SIZE))
2002 /* This says how to output an assembler line
2003 to define a global common symbol. */
2005 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED) \
2006 ( fputs ("\t.comm ", (FILE)), \
2007 assemble_name ((FILE), (NAME)), \
2008 fprintf ((FILE), ",%d\n", (SIZE)))
2010 /* This says how to output an assembler line
2011 to define a local common symbol. */
2013 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE,ROUNDED) \
2014 ( fputs ("\t.lcomm ", (FILE)), \
2015 assemble_name ((FILE), (NAME)), \
2016 fprintf ((FILE), ",%d\n", (SIZE)))
2018 /* Store in OUTPUT a string (made with alloca) containing
2019 an assembler-name for a local static variable named NAME.
2020 LABELNO is an integer which is different for each call. */
2022 #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \
2023 ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10), \
2024 sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO)))
2026 /* Define the parentheses used to group arithmetic operations
2027 in assembler code. */
2029 #define ASM_OPEN_PAREN "("
2030 #define ASM_CLOSE_PAREN ")"
2032 /* Define results of standard character escape sequences. */
2033 #define TARGET_BELL 007
2034 #define TARGET_BS 010
2035 #define TARGET_TAB 011
2036 #define TARGET_NEWLINE 012
2037 #define TARGET_VT 013
2038 #define TARGET_FF 014
2039 #define TARGET_CR 015
2041 /* Print operand X (an rtx) in assembler syntax to file FILE.
2042 CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified.
2043 For `%' followed by punctuation, CODE is the punctuation and X is null. */
2045 #define PRINT_OPERAND(FILE, X, CODE) print_operand (FILE, X, CODE)
2047 /* Determine which codes are valid without a following integer. These must
2048 not be alphabetic (the characters are chosen so that
2049 PRINT_OPERAND_PUNCT_VALID_P translates into a simple range change when
2050 using ASCII).
2052 & Generates fp-rounding mode suffix: nothing for normal, 'c' for
2053 chopped, 'm' for minus-infinity, and 'd' for dynamic rounding
2054 mode. alpha_fprm controls which suffix is generated.
2056 ' Generates trap-mode suffix for instructions that accept the
2057 su suffix only (cmpt et al).
2059 ) Generates trap-mode suffix for instructions that accept the
2060 u, su, and sui suffix. This is the bulk of the IEEE floating
2061 point instructions (addt et al).
2063 + Generates trap-mode suffix for instructions that accept the
2064 sui suffix (cvtqt and cvtqs).
2066 , Generates single precision suffix for floating point
2067 instructions (s for IEEE, f for VAX)
2069 - Generates double precision suffix for floating point
2070 instructions (t for IEEE, g for VAX)
2073 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) \
2074 ((CODE) == '&' || (CODE) == '\'' || (CODE) == ')' || (CODE) == '+' \
2075 || (CODE) == ',' || (CODE) == '-')
2077 /* Print a memory address as an operand to reference that memory location. */
2079 #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \
2080 { rtx addr = (ADDR); \
2081 int basereg = 31; \
2082 HOST_WIDE_INT offset = 0; \
2084 if (GET_CODE (addr) == AND) \
2085 addr = XEXP (addr, 0); \
2087 if (GET_CODE (addr) == REG) \
2088 basereg = REGNO (addr); \
2089 else if (GET_CODE (addr) == CONST_INT) \
2090 offset = INTVAL (addr); \
2091 else if (GET_CODE (addr) == PLUS \
2092 && GET_CODE (XEXP (addr, 0)) == REG \
2093 && GET_CODE (XEXP (addr, 1)) == CONST_INT) \
2094 basereg = REGNO (XEXP (addr, 0)), offset = INTVAL (XEXP (addr, 1)); \
2095 else \
2096 abort (); \
2098 fprintf (FILE, "%d($%d)", offset, basereg); \
2100 /* Define the codes that are matched by predicates in alpha.c. */
2102 #define PREDICATE_CODES \
2103 {"reg_or_0_operand", {SUBREG, REG, CONST_INT}}, \
2104 {"reg_or_6bit_operand", {SUBREG, REG, CONST_INT}}, \
2105 {"reg_or_8bit_operand", {SUBREG, REG, CONST_INT}}, \
2106 {"cint8_operand", {CONST_INT}}, \
2107 {"reg_or_cint_operand", {SUBREG, REG, CONST_INT}}, \
2108 {"add_operand", {SUBREG, REG, CONST_INT}}, \
2109 {"sext_add_operand", {SUBREG, REG, CONST_INT}}, \
2110 {"const48_operand", {CONST_INT}}, \
2111 {"and_operand", {SUBREG, REG, CONST_INT}}, \
2112 {"or_operand", {SUBREG, REG, CONST_INT}}, \
2113 {"mode_mask_operand", {CONST_INT}}, \
2114 {"mul8_operand", {CONST_INT}}, \
2115 {"mode_width_operand", {CONST_INT}}, \
2116 {"reg_or_fp0_operand", {SUBREG, REG, CONST_DOUBLE}}, \
2117 {"alpha_comparison_operator", {EQ, LE, LT, LEU, LTU}}, \
2118 {"alpha_swapped_comparison_operator", {EQ, GE, GT, GEU, GTU}}, \
2119 {"signed_comparison_operator", {EQ, NE, LE, LT, GE, GT}}, \
2120 {"divmod_operator", {DIV, MOD, UDIV, UMOD}}, \
2121 {"fp0_operand", {CONST_DOUBLE}}, \
2122 {"current_file_function_operand", {SYMBOL_REF}}, \
2123 {"call_operand", {REG, SYMBOL_REF}}, \
2124 {"input_operand", {SUBREG, REG, MEM, CONST_INT, CONST_DOUBLE, \
2125 SYMBOL_REF, CONST, LABEL_REF}}, \
2126 {"some_operand", {SUBREG, REG, MEM, CONST_INT, CONST_DOUBLE, \
2127 SYMBOL_REF, CONST, LABEL_REF}}, \
2128 {"aligned_memory_operand", {MEM}}, \
2129 {"unaligned_memory_operand", {MEM}}, \
2130 {"reg_or_unaligned_mem_operand", {SUBREG, REG, MEM}}, \
2131 {"any_memory_operand", {MEM}},
2133 /* Tell collect that the object format is ECOFF. */
2134 #define OBJECT_FORMAT_COFF
2135 #define EXTENDED_COFF
2137 /* If we use NM, pass -g to it so it only lists globals. */
2138 #define NM_FLAGS "-pg"
2140 /* Definitions for debugging. */
2142 #define SDB_DEBUGGING_INFO /* generate info for mips-tfile */
2143 #define DBX_DEBUGGING_INFO /* generate embedded stabs */
2144 #define MIPS_DEBUGGING_INFO /* MIPS specific debugging info */
2146 #ifndef PREFERRED_DEBUGGING_TYPE /* assume SDB_DEBUGGING_INFO */
2147 #define PREFERRED_DEBUGGING_TYPE SDB_DEBUG
2148 #endif
2151 /* Correct the offset of automatic variables and arguments. Note that
2152 the Alpha debug format wants all automatic variables and arguments
2153 to be in terms of two different offsets from the virtual frame pointer,
2154 which is the stack pointer before any adjustment in the function.
2155 The offset for the argument pointer is fixed for the native compiler,
2156 it is either zero (for the no arguments case) or large enough to hold
2157 all argument registers.
2158 The offset for the auto pointer is the fourth argument to the .frame
2159 directive (local_offset).
2160 To stay compatible with the native tools we use the same offsets
2161 from the virtual frame pointer and adjust the debugger arg/auto offsets
2162 accordingly. These debugger offsets are set up in output_prolog. */
2164 extern long alpha_arg_offset;
2165 extern long alpha_auto_offset;
2166 #define DEBUGGER_AUTO_OFFSET(X) \
2167 ((GET_CODE (X) == PLUS ? INTVAL (XEXP (X, 1)) : 0) + alpha_auto_offset)
2168 #define DEBUGGER_ARG_OFFSET(OFFSET, X) (OFFSET + alpha_arg_offset)
2171 #define ASM_OUTPUT_SOURCE_LINE(STREAM, LINE) \
2172 alpha_output_lineno (STREAM, LINE)
2173 extern void alpha_output_lineno ();
2175 #define ASM_OUTPUT_SOURCE_FILENAME(STREAM, NAME) \
2176 alpha_output_filename (STREAM, NAME)
2177 extern void alpha_output_filename ();
2179 /* mips-tfile.c limits us to strings of one page. */
2180 #define DBX_CONTIN_LENGTH 4000
2182 /* By default, turn on GDB extensions. */
2183 #define DEFAULT_GDB_EXTENSIONS 1
2185 /* Stabs-in-ECOFF can't handle dbxout_function_end(). */
2186 #define NO_DBX_FUNCTION_END 1
2188 /* If we are smuggling stabs through the ALPHA ECOFF object
2189 format, put a comment in front of the .stab<x> operation so
2190 that the ALPHA assembler does not choke. The mips-tfile program
2191 will correctly put the stab into the object file. */
2193 #define ASM_STABS_OP ((TARGET_GAS) ? ".stabs" : " #.stabs")
2194 #define ASM_STABN_OP ((TARGET_GAS) ? ".stabn" : " #.stabn")
2195 #define ASM_STABD_OP ((TARGET_GAS) ? ".stabd" : " #.stabd")
2197 /* Forward references to tags are allowed. */
2198 #define SDB_ALLOW_FORWARD_REFERENCES
2200 /* Unknown tags are also allowed. */
2201 #define SDB_ALLOW_UNKNOWN_REFERENCES
2203 #define PUT_SDB_DEF(a) \
2204 do { \
2205 fprintf (asm_out_file, "\t%s.def\t", \
2206 (TARGET_GAS) ? "" : "#"); \
2207 ASM_OUTPUT_LABELREF (asm_out_file, a); \
2208 fputc (';', asm_out_file); \
2209 } while (0)
2211 #define PUT_SDB_PLAIN_DEF(a) \
2212 do { \
2213 fprintf (asm_out_file, "\t%s.def\t.%s;", \
2214 (TARGET_GAS) ? "" : "#", (a)); \
2215 } while (0)
2217 #define PUT_SDB_TYPE(a) \
2218 do { \
2219 fprintf (asm_out_file, "\t.type\t0x%x;", (a)); \
2220 } while (0)
2222 /* For block start and end, we create labels, so that
2223 later we can figure out where the correct offset is.
2224 The normal .ent/.end serve well enough for functions,
2225 so those are just commented out. */
2227 extern int sdb_label_count; /* block start/end next label # */
2229 #define PUT_SDB_BLOCK_START(LINE) \
2230 do { \
2231 fprintf (asm_out_file, \
2232 "$Lb%d:\n\t%s.begin\t$Lb%d\t%d\n", \
2233 sdb_label_count, \
2234 (TARGET_GAS) ? "" : "#", \
2235 sdb_label_count, \
2236 (LINE)); \
2237 sdb_label_count++; \
2238 } while (0)
2240 #define PUT_SDB_BLOCK_END(LINE) \
2241 do { \
2242 fprintf (asm_out_file, \
2243 "$Le%d:\n\t%s.bend\t$Le%d\t%d\n", \
2244 sdb_label_count, \
2245 (TARGET_GAS) ? "" : "#", \
2246 sdb_label_count, \
2247 (LINE)); \
2248 sdb_label_count++; \
2249 } while (0)
2251 #define PUT_SDB_FUNCTION_START(LINE)
2253 #define PUT_SDB_FUNCTION_END(LINE)
2255 #define PUT_SDB_EPILOGUE_END(NAME)
2257 /* No point in running CPP on our assembler output. */
2258 #if ((TARGET_DEFAULT | TARGET_CPU_DEFAULT) & MASK_GAS) != 0
2259 /* Don't pass -g to GNU as, because some versions don't accept this option. */
2260 #define ASM_SPEC "%{malpha-as:-g} -nocpp %{pg}"
2261 #else
2262 /* In OSF/1 v3.2c, the assembler by default does not output file names which
2263 causes mips-tfile to fail. Passing -g to the assembler fixes this problem.
2264 ??? Stricly speaking, we only need -g if the user specifies -g. Passing
2265 it always means that we get slightly larger than necessary object files
2266 if the user does not specify -g. If we don't pass -g, then mips-tfile
2267 will need to be fixed to work in this case. */
2268 #define ASM_SPEC "%{!mgas:-g} -nocpp %{pg}"
2269 #endif
2271 /* Specify to run a post-processor, mips-tfile after the assembler
2272 has run to stuff the ecoff debug information into the object file.
2273 This is needed because the Alpha assembler provides no way
2274 of specifying such information in the assembly file. */
2276 #if ((TARGET_DEFAULT | TARGET_CPU_DEFAULT) & MASK_GAS) != 0
2278 #define ASM_FINAL_SPEC "\
2279 %{malpha-as: %{!mno-mips-tfile: \
2280 \n mips-tfile %{v*: -v} \
2281 %{K: -I %b.o~} \
2282 %{!K: %{save-temps: -I %b.o~}} \
2283 %{c:%W{o*}%{!o*:-o %b.o}}%{!c:-o %U.o} \
2284 %{.s:%i} %{!.s:%g.s}}}"
2286 #else
2287 #define ASM_FINAL_SPEC "\
2288 %{!mgas: %{!mno-mips-tfile: \
2289 \n mips-tfile %{v*: -v} \
2290 %{K: -I %b.o~} \
2291 %{!K: %{save-temps: -I %b.o~}} \
2292 %{c:%W{o*}%{!o*:-o %b.o}}%{!c:-o %U.o} \
2293 %{.s:%i} %{!.s:%g.s}}}"
2295 #endif
2297 /* Macros for mips-tfile.c to encapsulate stabs in ECOFF, and for
2298 mips-tdump.c to print them out.
2300 These must match the corresponding definitions in gdb/mipsread.c.
2301 Unfortunately, gcc and gdb do not currently share any directories. */
2303 #define CODE_MASK 0x8F300
2304 #define MIPS_IS_STAB(sym) (((sym)->index & 0xFFF00) == CODE_MASK)
2305 #define MIPS_MARK_STAB(code) ((code)+CODE_MASK)
2306 #define MIPS_UNMARK_STAB(code) ((code)-CODE_MASK)
2308 /* Override some mips-tfile definitions. */
2310 #define SHASH_SIZE 511
2311 #define THASH_SIZE 55
2313 /* Align ecoff symbol tables to avoid OSF1/1.3 nm complaints. */
2315 #define ALIGN_SYMTABLE_OFFSET(OFFSET) (((OFFSET) + 7) & ~7)
2317 /* The system headers under OSF/1 are C++-aware. */
2318 #define NO_IMPLICIT_EXTERN_C
2320 /* The linker will stick __main into the .init section. */
2321 #define HAS_INIT_SECTION
2322 #define LD_INIT_SWITCH "-init"
2323 #define LD_FINI_SWITCH "-fini"