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, 2010
   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 INITIAL_ELIMINATION_OFFSET
 146 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET)                    \
 147   ((OFFSET) = alpha_vms_initial_elimination_offset(FROM, TO))
 148
 149 \f
 150 /* Define a data type for recording info about an argument list
 151    during the scan of that argument list.  This data type should
 152    hold all necessary information about the function itself
 153    and about the args processed so far, enough to enable macros
 154    such as FUNCTION_ARG to determine where the next arg should go.
 155
 156    On Alpha/VMS, this is a structure that contains the number of
 157    arguments and, for each argument, the datatype of that argument.
 158
 159    The number of arguments is a number of words of arguments scanned so far.
 160    Thus 6 or more means all following args should go on the stack.  */
 161
 162 enum avms_arg_type {I64, FF, FD, FG, FS, FT};
 163 typedef struct {int num_args; enum avms_arg_type atypes[6];} avms_arg_info;
 164
 165 #undef CUMULATIVE_ARGS
 166 #define CUMULATIVE_ARGS avms_arg_info
 167
 168 /* Initialize a variable CUM of type CUMULATIVE_ARGS
 169    for a call to a function whose data type is FNTYPE.
 170    For a library call, FNTYPE is 0.  */
 171
 172 #undef INIT_CUMULATIVE_ARGS
 173 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT, N_NAMED_ARGS) \
 174   (CUM).num_args = 0;                                           \
 175   (CUM).atypes[0] = (CUM).atypes[1] = (CUM).atypes[2] = I64;    \
 176   (CUM).atypes[3] = (CUM).atypes[4] = (CUM).atypes[5] = I64;
 177
 178 #undef FUNCTION_ARG_ADVANCE
 179 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)                    \
 180   if (targetm.calls.must_pass_in_stack (MODE, TYPE))                    \
 181     (CUM).num_args += 6;                                                \
 182   else                                                                  \
 183     {                                                                   \
 184       if ((CUM).num_args < 6)                                           \
 185         (CUM).atypes[(CUM).num_args] = alpha_arg_type (MODE);           \
 186                                                                         \
 187      (CUM).num_args += ALPHA_ARG_SIZE (MODE, TYPE, NAMED);              \
 188     }
 189
 190 #define DEFAULT_PCC_STRUCT_RETURN 0
 191
 192 #undef  ASM_WEAKEN_LABEL
 193 #define ASM_WEAKEN_LABEL(FILE, NAME)                            \
 194    do { fputs ("\t.weak\t", FILE); assemble_name (FILE, NAME);  \
 195         fputc ('\n', FILE); } while (0)
 196
 197 #define READONLY_DATA_SECTION_ASM_OP "\t.rdata"
 198 #define CTORS_SECTION_ASM_OP "\t.ctors"
 199 #define DTORS_SECTION_ASM_OP "\t.dtors"
 200 #define SDATA_SECTION_ASM_OP "\t.sdata"
 201 #define CRT_CALL_STATIC_FUNCTION(SECTION_OP, FUNC)              \
 202    asm (SECTION_OP "\n\t.long " #FUNC"\n");
 203
 204 #undef ASM_OUTPUT_ADDR_DIFF_ELT
 205 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) gcc_unreachable ()
 206
 207 #undef ASM_OUTPUT_ADDR_VEC_ELT
 208 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
 209   fprintf (FILE, "\t.quad $L%d\n", (VALUE))
 210
 211 #undef CASE_VECTOR_MODE
 212 #define CASE_VECTOR_MODE DImode
 213 #undef CASE_VECTOR_PC_RELATIVE
 214
 215 #undef ASM_OUTPUT_CASE_LABEL
 216 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)        \
 217 { ASM_OUTPUT_ALIGN (FILE, 3); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
 218
 219 /* This says how to output assembler code to declare an
 220    uninitialized external linkage data object.  */
 221
 222 #define COMMON_ASM_OP "\t.comm\t"
 223
 224 #undef ASM_OUTPUT_ALIGNED_DECL_COMMON
 225 #define ASM_OUTPUT_ALIGNED_DECL_COMMON(FILE, DECL, NAME, SIZE, ALIGN) \
 226   vms_output_aligned_decl_common (FILE, DECL, NAME, SIZE, ALIGN)
 227 \f
 228 /* Control how constructors and destructors are emitted.  */
 229 #define TARGET_ASM_CONSTRUCTOR  vms_asm_out_constructor
 230 #define TARGET_ASM_DESTRUCTOR   vms_asm_out_destructor
 231
 232 #undef SDB_DEBUGGING_INFO
 233 #undef MIPS_DEBUGGING_INFO
 234 #undef DBX_DEBUGGING_INFO
 235
 236 #define DWARF2_DEBUGGING_INFO 1
 237 #define VMS_DEBUGGING_INFO 1
 238
 239 #define DWARF2_UNWIND_INFO 1
 240
 241 #undef EH_RETURN_HANDLER_RTX
 242 #define EH_RETURN_HANDLER_RTX \
 243   gen_rtx_MEM (Pmode, plus_constant (stack_pointer_rtx, 8))
 244
 245 #define LINK_EH_SPEC "vms-dwarf2eh.o%s "
 246 #define LINK_GCC_C_SEQUENCE_SPEC "%G"
 247
 248 #ifdef IN_LIBGCC2
 249 /* Get the definition for MD_FALLBACK_FRAME_STATE_FOR from a separate
 250    file. This avoids having to recompile the world instead of libgcc only
 251    when changes to this macro are exercised.  */
 252
 253 #define MD_UNWIND_SUPPORT "config/alpha/vms-unwind.h"
 254 #endif
 255
 256 #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME) \
 257   avms_asm_output_external (FILE, DECL, NAME)
 258
 259 typedef struct crtl_name_spec
 260 {
 261   const char *const name;
 262   const char *deccname;
 263   int referenced;
 264 } crtl_name_spec;
 265
 266 #include "config/vms/vms-crtl.h"
 267
 268 /* Alias CRTL names to 32/64bit DECCRTL functions.
 269    Fixme: This should do a binary search.  */
 270 #define DO_CRTL_NAMES                                                      \
 271   do                                                                       \
 272     {                                                                      \
 273       int i;                                                               \
 274       static crtl_name_spec vms_crtl_names[] = CRTL_NAMES;                 \
 275       static int malloc64_init = 0;                                        \
 276                                                                            \
 277       if ((malloc64_init == 0) && TARGET_MALLOC64)                         \
 278         {                                                                  \
 279           for (i=0; vms_crtl_names [i].name; i++)                          \
 280             {                                                              \
 281               if (strcmp ("calloc", vms_crtl_names [i].name) == 0)         \
 282                 vms_crtl_names [i].deccname = "decc$_calloc64";            \
 283               else                                                         \
 284               if (strcmp ("malloc", vms_crtl_names [i].name) == 0)         \
 285                 vms_crtl_names [i].deccname = "decc$_malloc64";            \
 286               else                                                         \
 287               if (strcmp ("realloc", vms_crtl_names [i].name) == 0)        \
 288                 vms_crtl_names [i].deccname = "decc$_realloc64";           \
 289               else                                                         \
 290               if (strcmp ("strdup", vms_crtl_names [i].name) == 0)         \
 291                 vms_crtl_names [i].deccname = "decc$_strdup64";            \
 292             }                                                              \
 293             malloc64_init = 1;                                             \
 294         }                                                                  \
 295       for (i=0; vms_crtl_names [i].name; i++)                              \
 296         if (!vms_crtl_names [i].referenced &&                              \
 297             (strcmp (name, vms_crtl_names [i].name) == 0))                 \
 298           {                                                                \
 299             fprintf (file, "\t%s=%s\n",                        \
 300                      name, vms_crtl_names [i].deccname);                   \
 301             vms_crtl_names [i].referenced = 1;                             \
 302           }                                                                \
 303     } while (0)
 304
 305 /* This is how to output an assembler line
 306    that says to advance the location counter
 307    to a multiple of 2**LOG bytes.  */
 308
 309 #undef ASM_OUTPUT_ALIGN
 310 #define ASM_OUTPUT_ALIGN(FILE,LOG)      \
 311     fprintf (FILE, "\t.align %d\n", LOG);
 312
 313 /* Switch into a generic section.  */
 314 #define TARGET_ASM_NAMED_SECTION vms_asm_named_section
 315
 316 #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2)                              \
 317   do {  fprintf ((FILE), "\t.literals\n");                              \
 318         in_section = NULL;                                              \
 319         fprintf ((FILE), "\t");                                         \
 320         assemble_name (FILE, LABEL1);                                   \
 321         fprintf (FILE, " = ");                                          \
 322         assemble_name (FILE, LABEL2);                                   \
 323         fprintf (FILE, "\n");                                           \
 324   } while (0)
 325
 326 #undef PREFERRED_DEBUGGING_TYPE
 327 #define PREFERRED_DEBUGGING_TYPE VMS_AND_DWARF2_DEBUG
 328
 329 #define ASM_PN_FORMAT "%s___%lu"
 330
 331 /* ??? VMS uses different linkage.  */
 332 #undef TARGET_ASM_OUTPUT_MI_THUNK
 333
 334 #undef ASM_SPEC
 335 #undef ASM_FINAL_SPEC
 336
 337 /* The VMS convention is to always provide minimal debug info
 338    for a traceback unless specifically overridden.  */
 339
 340 #undef SUBTARGET_OVERRIDE_OPTIONS
 341 #define SUBTARGET_OVERRIDE_OPTIONS                  \
 342 do {                                                \
 343   if (write_symbols == NO_DEBUG                     \
 344       && debug_info_level == DINFO_LEVEL_NONE)      \
 345     {                                               \
 346       write_symbols = VMS_DEBUG;                    \
 347       debug_info_level = DINFO_LEVEL_TERSE;         \
 348     }                                               \
 349 } while (0)
 350
 351 /* Link with vms-dwarf2.o if -g (except -g0). This causes the
 352    VMS link to pull all the dwarf2 debug sections together.  */
 353 #undef LINK_SPEC
 354 #define LINK_SPEC "%{g:-g vms-dwarf2.o%s} %{g0} %{g1:-g1 vms-dwarf2.o%s} \
 355 %{g2:-g2 vms-dwarf2.o%s} %{g3:-g3 vms-dwarf2.o%s} %{shared} %{v} %{map}"
 356
 357 #undef STARTFILE_SPEC
 358 #define STARTFILE_SPEC \
 359 "%{!shared:%{mvms-return-codes:vcrt0.o%s} %{!mvms-return-codes:pcrt0.o%s} \
 360     crtbegin.o%s} \
 361  %{!static:%{shared:crtbeginS.o%s}}"
 362
 363 #define ENDFILE_SPEC \
 364 "%{!shared:crtend.o%s} %{!static:%{shared:crtendS.o%s}}"
 365
 366 #define NAME__MAIN "__gccmain"
 367 #define SYMBOL__MAIN __gccmain
 368
 369 #define INIT_SECTION_ASM_OP "\t.section LIB$INITIALIZE,GBL,NOWRT"
 370
 371 #define LONGLONG_STANDALONE 1
 372
 373 #undef TARGET_VALID_POINTER_MODE
 374 #define TARGET_VALID_POINTER_MODE vms_valid_pointer_mode