OSDN Git Service

* config/alpha/alpha.c (vms_valid_pointer_mode): New function.
[pf3gnuchains/gcc-fork.git] / gcc / config / alpha / vms.h
1 /* Output variables, constants and external declarations, for GNU compiler.
2    Copyright (C) 1996, 1997, 1998, 2000, 2001, 2002, 2004, 2005, 2007, 2008,
3    2009
4    Free Software Foundation, Inc.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
12
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3.  If not see
20 <http://www.gnu.org/licenses/>.  */
21
22 #define TARGET_OBJECT_SUFFIX ".obj"
23 #define TARGET_EXECUTABLE_SUFFIX ".exe"
24
25 /* Alpha/VMS object format is not really Elf, but this makes compiling
26    crtstuff.c and dealing with shared library initialization much easier.  */
27 #define OBJECT_FORMAT_ELF
28
29 /* This enables certain macros in alpha.h, which will make an indirect
30    reference to an external symbol an invalid address.  This needs to be
31    defined before we include alpha.h, since it determines which macros
32    are used for GO_IF_*.  */
33
34 #define NO_EXTERNAL_INDIRECT_ADDRESS
35
36 #define TARGET_OS_CPP_BUILTINS()                \
37     do {                                        \
38         builtin_define_std ("vms");             \
39         builtin_define_std ("VMS");             \
40         builtin_define ("__ALPHA");             \
41         builtin_assert ("system=vms");          \
42         if (TARGET_FLOAT_VAX)                   \
43           builtin_define ("__G_FLOAT");         \
44         else                                    \
45           builtin_define ("__IEEE_FLOAT");      \
46     } while (0)
47
48 #undef TARGET_DEFAULT
49 #define TARGET_DEFAULT (MASK_FPREGS|MASK_GAS)
50 #undef TARGET_ABI_OPEN_VMS
51 #define TARGET_ABI_OPEN_VMS 1
52
53 #undef TARGET_NAME   
54 #define TARGET_NAME "OpenVMS/Alpha"
55 #undef TARGET_VERSION
56 #define TARGET_VERSION fprintf (stderr, " (%s)", TARGET_NAME);           
57
58 #define VMS_DEBUG_MAIN_POINTER "TRANSFER$BREAK$GO"
59
60 #undef PCC_STATIC_STRUCT_RETURN
61
62 /* "long" is 32 bits, but 64 bits for Ada.  */
63 #undef LONG_TYPE_SIZE
64 #define LONG_TYPE_SIZE 32
65 #define ADA_LONG_TYPE_SIZE 64
66
67 /* Pointer is 32 bits but the hardware has 64-bit addresses, sign extended.  */
68 #undef POINTER_SIZE
69 #define POINTER_SIZE 32
70 #define POINTERS_EXTEND_UNSIGNED 0
71
72 #define HANDLE_SYSV_PRAGMA 1
73
74 #define MAX_OFILE_ALIGNMENT 524288  /* 8 x 2^16 by DEC Ada Test CD40VRA */
75
76 /* The maximum alignment 'malloc' honors.  */
77 #undef  MALLOC_ALIGNMENT
78 #define MALLOC_ALIGNMENT ((TARGET_MALLOC64 ? 16 : 8) * BITS_PER_UNIT)
79
80 #undef FIXED_REGISTERS
81 #define FIXED_REGISTERS  \
82  {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
83   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
84   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
85   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 }
86
87 #undef CALL_USED_REGISTERS
88 #define CALL_USED_REGISTERS  \
89  {1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
90   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
91   1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
92   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }
93
94 /* List the order in which to allocate registers.  Each register must be
95    listed once, even those in FIXED_REGISTERS.
96
97    We allocate in the following order:
98    $f1                  (nonsaved floating-point register)
99    $f10-$f15            (likewise)
100    $f22-$f30            (likewise)
101    $f21-$f16            (likewise, but input args)
102    $f0                  (nonsaved, but return value)
103    $f2-$f9              (saved floating-point registers)
104    $1                   (nonsaved integer registers)
105    $22-$25              (likewise)
106    $28                  (likewise)
107    $0                   (likewise, but return value)
108    $21-$16              (likewise, but input args)
109    $27                  (procedure value in OSF, nonsaved in NT)
110    $2-$8                (saved integer registers)
111    $9-$14               (saved integer registers)
112    $26                  (return PC)
113    $15                  (frame pointer)
114    $29                  (global pointer)
115    $30, $31, $f31       (stack pointer and always zero/ap & fp)  */
116
117 #undef REG_ALLOC_ORDER
118 #define REG_ALLOC_ORDER         \
119   {33,                                  \
120    42, 43, 44, 45, 46, 47,              \
121    54, 55, 56, 57, 58, 59, 60, 61, 62,  \
122    53, 52, 51, 50, 49, 48,              \
123    32,                                  \
124    34, 35, 36, 37, 38, 39, 40, 41,      \
125    1,                                   \
126    22, 23, 24, 25,                      \
127    28,                                  \
128    0,                                   \
129    21, 20, 19, 18, 17, 16,              \
130    27,                                  \
131    2, 3, 4, 5, 6, 7, 8,                 \
132    9, 10, 11, 12, 13, 14,               \
133    26,                                  \
134    15,                                  \
135    29,                                  \
136    30, 31, 63 }
137
138 #undef HARD_FRAME_POINTER_REGNUM
139 #define HARD_FRAME_POINTER_REGNUM 29
140
141 /* Define registers used by the epilogue and return instruction.  */
142 #undef EPILOGUE_USES
143 #define EPILOGUE_USES(REGNO)    ((REGNO) == 26 || (REGNO) == 29)
144
145 #undef CAN_ELIMINATE
146 #define CAN_ELIMINATE(FROM, TO)  \
147   (alpha_vms_can_eliminate ((FROM), (TO)))
148
149 #undef INITIAL_ELIMINATION_OFFSET
150 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET)                    \
151   ((OFFSET) = alpha_vms_initial_elimination_offset(FROM, TO))
152
153 \f
154 /* Define a data type for recording info about an argument list
155    during the scan of that argument list.  This data type should
156    hold all necessary information about the function itself
157    and about the args processed so far, enough to enable macros
158    such as FUNCTION_ARG to determine where the next arg should go.
159
160    On Alpha/VMS, this is a structure that contains the number of
161    arguments and, for each argument, the datatype of that argument.
162
163    The number of arguments is a number of words of arguments scanned so far.
164    Thus 6 or more means all following args should go on the stack.  */
165
166 enum avms_arg_type {I64, FF, FD, FG, FS, FT};
167 typedef struct {int num_args; enum avms_arg_type atypes[6];} avms_arg_info;
168
169 #undef CUMULATIVE_ARGS
170 #define CUMULATIVE_ARGS avms_arg_info
171
172 /* Initialize a variable CUM of type CUMULATIVE_ARGS
173    for a call to a function whose data type is FNTYPE.
174    For a library call, FNTYPE is 0.  */
175
176 #undef INIT_CUMULATIVE_ARGS
177 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT, N_NAMED_ARGS) \
178   (CUM).num_args = 0;                                           \
179   (CUM).atypes[0] = (CUM).atypes[1] = (CUM).atypes[2] = I64;    \
180   (CUM).atypes[3] = (CUM).atypes[4] = (CUM).atypes[5] = I64;
181
182 #undef FUNCTION_ARG_ADVANCE
183 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)                    \
184   if (targetm.calls.must_pass_in_stack (MODE, TYPE))                    \
185     (CUM).num_args += 6;                                                \
186   else                                                                  \
187     {                                                                   \
188       if ((CUM).num_args < 6)                                           \
189         (CUM).atypes[(CUM).num_args] = alpha_arg_type (MODE);           \
190                                                                         \
191      (CUM).num_args += ALPHA_ARG_SIZE (MODE, TYPE, NAMED);              \
192     }
193
194 #define DEFAULT_PCC_STRUCT_RETURN 0
195
196 #undef  ASM_WEAKEN_LABEL
197 #define ASM_WEAKEN_LABEL(FILE, NAME)                            \
198    do { fputs ("\t.weak\t", FILE); assemble_name (FILE, NAME);  \
199         fputc ('\n', FILE); } while (0)
200
201 #define READONLY_DATA_SECTION_ASM_OP "\t.rdata"
202 #define CTORS_SECTION_ASM_OP "\t.ctors"
203 #define DTORS_SECTION_ASM_OP "\t.dtors"
204 #define SDATA_SECTION_ASM_OP "\t.sdata"
205 #define CRT_CALL_STATIC_FUNCTION(SECTION_OP, FUNC)              \
206    asm (SECTION_OP "\n\t.long " #FUNC"\n");
207
208 #undef ASM_OUTPUT_ADDR_DIFF_ELT
209 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) gcc_unreachable ()
210
211 #undef ASM_OUTPUT_ADDR_VEC_ELT
212 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
213   fprintf (FILE, "\t.quad $L%d\n", (VALUE))
214
215 #undef CASE_VECTOR_MODE
216 #define CASE_VECTOR_MODE DImode
217 #undef CASE_VECTOR_PC_RELATIVE
218
219 #undef ASM_OUTPUT_CASE_LABEL
220 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)        \
221 { ASM_OUTPUT_ALIGN (FILE, 3); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
222
223 /* This says how to output assembler code to declare an                
224    uninitialized external linkage data object.  */ 
225
226 #define COMMON_ASM_OP "\t.comm\t"
227
228 #undef ASM_OUTPUT_ALIGNED_DECL_COMMON
229 #define ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN) \
230   vms_output_aligned_decl_common (FILE, DECL, NAME, SIZE, ALIGN)
231 \f
232 #undef TRAMPOLINE_TEMPLATE
233
234 /* Length in units of the trampoline for entering a nested function.  */
235
236 #undef TRAMPOLINE_SIZE
237 #define TRAMPOLINE_SIZE    32
238
239 /* The alignment of a trampoline, in bits.  */
240
241 #undef TRAMPOLINE_ALIGNMENT
242 #define TRAMPOLINE_ALIGNMENT  64
243
244 /* Emit RTL insns to initialize the variable parts of a trampoline.
245    FNADDR is an RTX for the address of the function's pure code.
246    CXT is an RTX for the static chain value for the function.  */
247
248 #undef INITIALIZE_TRAMPOLINE
249 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
250   alpha_initialize_trampoline (TRAMP, FNADDR, CXT, 16, 24, -1)
251
252 /* Control how constructors and destructors are emitted.  */
253 #define TARGET_ASM_CONSTRUCTOR  vms_asm_out_constructor
254 #define TARGET_ASM_DESTRUCTOR   vms_asm_out_destructor
255
256 #undef SDB_DEBUGGING_INFO
257 #undef MIPS_DEBUGGING_INFO
258 #undef DBX_DEBUGGING_INFO
259
260 #define DWARF2_DEBUGGING_INFO 1
261 #define VMS_DEBUGGING_INFO 1
262
263 #define DWARF2_UNWIND_INFO 1
264
265 #undef EH_RETURN_HANDLER_RTX
266 #define EH_RETURN_HANDLER_RTX \
267   gen_rtx_MEM (Pmode, plus_constant (stack_pointer_rtx, 8))
268
269 #define LINK_EH_SPEC "vms-dwarf2eh.o%s "
270 #define LINK_GCC_C_SEQUENCE_SPEC "%G"
271
272 #ifdef IN_LIBGCC2
273 /* Get the definition for MD_FALLBACK_FRAME_STATE_FOR from a separate
274    file. This avoids having to recompile the world instead of libgcc only
275    when changes to this macro are exercised.  */
276
277 #define MD_UNWIND_SUPPORT "config/alpha/vms-unwind.h"
278 #endif
279
280 #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME) \
281   avms_asm_output_external (FILE, DECL, NAME)
282
283 typedef struct crtl_name_spec
284 {
285   const char *const name;
286   const char *deccname;
287   int referenced;
288 } crtl_name_spec;
289
290 #include "config/vms/vms-crtl.h"
291
292 /* Alias CRTL names to 32/64bit DECCRTL functions. 
293    Fixme: This should do a binary search.  */
294 #define DO_CRTL_NAMES                                                      \
295   do                                                                       \
296     {                                                                      \
297       int i;                                                               \
298       static crtl_name_spec vms_crtl_names[] = CRTL_NAMES;                 \
299       static int malloc64_init = 0;                                        \
300                                                                            \
301       if ((malloc64_init == 0) && TARGET_MALLOC64)                         \
302         {                                                                  \
303           for (i=0; vms_crtl_names [i].name; i++)                          \
304             {                                                              \
305               if (strcmp ("calloc", vms_crtl_names [i].name) == 0)         \
306                 vms_crtl_names [i].deccname = "decc$_calloc64";            \
307               else                                                         \
308               if (strcmp ("malloc", vms_crtl_names [i].name) == 0)         \
309                 vms_crtl_names [i].deccname = "decc$_malloc64";            \
310               else                                                         \
311               if (strcmp ("realloc", vms_crtl_names [i].name) == 0)        \
312                 vms_crtl_names [i].deccname = "decc$_realloc64";           \
313               else                                                         \
314               if (strcmp ("strdup", vms_crtl_names [i].name) == 0)         \
315                 vms_crtl_names [i].deccname = "decc$_strdup64";            \
316             }                                                              \
317             malloc64_init = 1;                                             \
318         }                                                                  \
319       for (i=0; vms_crtl_names [i].name; i++)                              \
320         if (!vms_crtl_names [i].referenced &&                              \
321             (strcmp (name, vms_crtl_names [i].name) == 0))                 \
322           {                                                                \
323             fprintf (file, "\t%s=%s\n",                        \
324                      name, vms_crtl_names [i].deccname);                   \
325             vms_crtl_names [i].referenced = 1;                             \
326           }                                                                \
327     } while (0)
328
329 /* This is how to output an assembler line
330    that says to advance the location counter
331    to a multiple of 2**LOG bytes.  */
332
333 #undef ASM_OUTPUT_ALIGN
334 #define ASM_OUTPUT_ALIGN(FILE,LOG)      \
335     fprintf (FILE, "\t.align %d\n", LOG);
336
337 /* Switch into a generic section.  */
338 #define TARGET_ASM_NAMED_SECTION vms_asm_named_section
339
340 #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2)                              \
341   do {  fprintf ((FILE), "\t.literals\n");                              \
342         in_section = NULL;                                              \
343         fprintf ((FILE), "\t");                                         \
344         assemble_name (FILE, LABEL1);                                   \
345         fprintf (FILE, " = ");                                          \
346         assemble_name (FILE, LABEL2);                                   \
347         fprintf (FILE, "\n");                                           \
348   } while (0)
349
350 #undef PREFERRED_DEBUGGING_TYPE
351 #define PREFERRED_DEBUGGING_TYPE VMS_AND_DWARF2_DEBUG
352
353 #define ASM_PN_FORMAT "%s___%lu"
354
355 /* ??? VMS uses different linkage.  */
356 #undef TARGET_ASM_OUTPUT_MI_THUNK
357
358 #undef ASM_SPEC
359 #undef ASM_FINAL_SPEC
360
361 /* The VMS convention is to always provide minimal debug info
362    for a traceback unless specifically overridden.  */
363
364 #undef OVERRIDE_OPTIONS
365 #define OVERRIDE_OPTIONS                            \
366 {                                                   \
367   if (write_symbols == NO_DEBUG                     \
368       && debug_info_level == DINFO_LEVEL_NONE)      \
369     {                                               \
370       write_symbols = VMS_DEBUG;                    \
371       debug_info_level = DINFO_LEVEL_TERSE;         \
372     }                                               \
373    override_options ();                             \
374 }
375
376 /* Link with vms-dwarf2.o if -g (except -g0). This causes the
377    VMS link to pull all the dwarf2 debug sections together.  */
378 #undef LINK_SPEC
379 #define LINK_SPEC "%{g:-g vms-dwarf2.o%s} %{g0} %{g1:-g1 vms-dwarf2.o%s} \
380 %{g2:-g2 vms-dwarf2.o%s} %{g3:-g3 vms-dwarf2.o%s} %{shared} %{v} %{map}"
381
382 #undef STARTFILE_SPEC
383 #define STARTFILE_SPEC \
384 "%{!shared:%{mvms-return-codes:vcrt0.o%s} %{!mvms-return-codes:pcrt0.o%s} \
385     crtbegin.o%s} \
386  %{!static:%{shared:crtbeginS.o%s}}"
387
388 #define ENDFILE_SPEC \
389 "%{!shared:crtend.o%s} %{!static:%{shared:crtendS.o%s}}"
390
391 #define NAME__MAIN "__gccmain"
392 #define SYMBOL__MAIN __gccmain
393
394 #define INIT_SECTION_ASM_OP "\t.section LIB$INITIALIZE,GBL,NOWRT"
395
396 #define LONGLONG_STANDALONE 1
397
398 #undef TARGET_VALID_POINTER_MODE
399 #define TARGET_VALID_POINTER_MODE vms_valid_pointer_mode