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