OSDN Git Service

* alpha/alpha.h (TARGET_WINDOWS_NT, TARGET_OPEN_VMS): Just make them
[pf3gnuchains/gcc-fork.git] / gcc / config / alpha / vms.h
index 1430233..2ef5de1 100644 (file)
@@ -1,5 +1,5 @@
 /* Output variables, constants and external declarations, for GNU compiler.
-   Copyright (C) 1996 Free Software Foundation, Inc.
+   Copyright (C) 1996, 1997, 1998 Free Software Foundation, Inc.
 
 This file is part of GNU CC.
 
@@ -29,13 +29,10 @@ Boston, MA 02111-1307, USA.  */
 
 #include "alpha/alpha.h"
 
-/* Predefine this in CPP because VMS limits the size of command options
-   and GNU CPP is not used on VMS except with GNU C.  */
 #undef CPP_PREDEFINES
 #define CPP_PREDEFINES \
-"-Dalpha -D__ALPHA -Dvms -DVMS -D__alpha__ -D__alpha -D__vms__ -D__VMS__\
- -D__VMS_VER=70000022 \
- -D__GNUC__=2 -D__GNUC_MINOR__=7 -Asystem(vms) -Acpu(alpha) -Amachine(alpha)"
+"-D__ALPHA -Dvms -DVMS -D__alpha__ -D__alpha -D__vms__ -D__VMS__\
+ -Asystem(vms) -Acpu(alpha) -Amachine(alpha)"
 
 #undef CPP_SPEC
 #define CPP_SPEC "\
@@ -49,6 +46,18 @@ Boston, MA 02111-1307, USA.  */
 %{.C:  -D__LANGUAGE_C_PLUS_PLUS__ -D__LANGUAGE_C_PLUS_PLUS -D__cplusplus} \
 %{.m:  -D__LANGUAGE_OBJECTIVE_C__ -D__LANGUAGE_OBJECTIVE_C}"
 
+/* Under OSF4, -p and -pg require -lprof1, and -lprof1 requires -lpdf.  */
+
+#define LIB_SPEC "%{p:-lprof1 -lpdf} %{pg:-lprof1 -lpdf} %{a:-lprof2} -lc"
+
+/* Pass "-G 8" to ld because Alpha's CC does.  Pass -O3 if we are
+   optimizing, -O1 if we are not.  Pass -shared, -non_shared or
+   -call_shared as appropriate.  Also pass -pg.  */
+#define LINK_SPEC  \
+  "-G 8 %{O*:-O3} %{!O*:-O1} %{static:-non_shared} \
+   %{!static:%{shared:-shared} %{!shared:-call_shared}} %{pg} %{taso} \
+   %{rpath*}"
+
 /* We allow $'s in identifiers unless -ansi is used .. */
 
 #define DOLLARS_IN_IDENTIFIERS 2
@@ -66,7 +75,10 @@ Boston, MA 02111-1307, USA.  */
 #define DOLLARS_IN_IDENTIFIERS 2
 
 #undef TARGET_DEFAULT
-#define TARGET_DEFAULT (MASK_FP|MASK_FP_REGS|MASK_GAS|MASK_OPEN_VMS)
+#define TARGET_DEFAULT (MASK_FP|MASK_FPREGS|MASK_GAS)
+#undef TARGET_OPEN_VMS
+#define TARGET_OPEN_VMS 1
+
 #undef TARGET_NAME   
 #define TARGET_NAME "OpenVMS/Alpha"
 #undef TARGET_VERSION
@@ -89,10 +101,7 @@ Boston, MA 02111-1307, USA.  */
 #define POINTER_SIZE 32
 #define POINTERS_EXTEND_UNSIGNED 0
 
-/* No data type wants to be aligned rounder than this. */
-#undef BIGGEST_ALIGNMENT
-#define BIGGEST_ALIGNMENT 128       /* X Complex */
-#define MAX_OFILE_ALIGNMENT 524288  /* 8 x 2^16 by DEC Test CD40VRA */
+#define MAX_OFILE_ALIGNMENT 524288  /* 8 x 2^16 by DEC Ada Test CD40VRA */
 
 #undef FIXED_REGISTERS
 #define FIXED_REGISTERS  \
@@ -127,73 +136,126 @@ Boston, MA 02111-1307, USA.  */
   if ((TO) == STACK_POINTER_REGNUM)                                    \
     (OFFSET) += ALPHA_ROUND (current_function_outgoing_args_size);     \
 }
+\f
+/* Define a data type for recording info about an argument list
+   during the scan of that argument list.  This data type should
+   hold all necessary information about the function itself
+   and about the args processed so far, enough to enable macros
+   such as FUNCTION_ARG to determine where the next arg should go.
+
+   On Alpha/VMS, this is a structure that contains the number of
+   arguments and, for each argument, the datatype of that argument.
+
+   The number of arguments is a number of words of arguments scanned so far.
+   Thus 6 or more means all following args should go on the stack.  */
+
+enum avms_arg_type {I64, FF, FD, FG, FS, FT};
+typedef struct {char num_args; enum avms_arg_type atypes[6];} avms_arg_info;
+
+#undef CUMULATIVE_ARGS
+#define CUMULATIVE_ARGS avms_arg_info
+
+/* Initialize a variable CUM of type CUMULATIVE_ARGS
+   for a call to a function whose data type is FNTYPE.
+   For a library call, FNTYPE is 0.  */
+
+#undef INIT_CUMULATIVE_ARGS
+#define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME,INDIRECT) \
+  (CUM).num_args = 0;                                          \
+  (CUM).atypes[0] = (CUM).atypes[1] = (CUM).atypes[2] = I64;   \
+  (CUM).atypes[3] = (CUM).atypes[4] = (CUM).atypes[5] = I64;
+
+/* Update the data in CUM to advance over an argument
+   of mode MODE and data type TYPE.
+   (TYPE is null for libcalls where that information may not be available.)  */
+
+extern enum avms_arg_type alpha_arg_type ();
+
+/* Determine where to put an argument to a function.
+   Value is zero to push the argument on the stack,
+   or a hard register in which to store the argument.
+
+   MODE is the argument's machine mode (or VOIDmode for no more args).
+   TYPE is the data type of the argument (as a tree).
+    This is null for libcalls where that information may
+    not be available.
+   CUM is a variable of type CUMULATIVE_ARGS which gives info about
+    the preceding args and about the function being called.
+   NAMED is nonzero if this argument is a named parameter
+    (otherwise it is an extra parameter matching an ellipsis).
+
+   On Alpha the first 6 words of args are normally in registers
+   and the rest are pushed.  */
+
+extern struct rtx_def *alpha_arg_info_reg_val ();
+#undef FUNCTION_ARG
+#define FUNCTION_ARG(CUM, MODE, TYPE, NAMED)   \
+((MODE) == VOIDmode ? alpha_arg_info_reg_val (CUM)             \
+ : ((CUM.num_args) < 6 && ! MUST_PASS_IN_STACK (MODE, TYPE)    \
+    ? gen_rtx(REG, (MODE),                                     \
+             ((CUM).num_args + 16                              \
+              + ((TARGET_FPREGS                                \
+                  && (GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
+                      || GET_MODE_CLASS (MODE) == MODE_FLOAT)) \
+                 * 32)))                       \
+    : 0))
 
 #undef FUNCTION_ARG_ADVANCE
 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)                   \
   if (MUST_PASS_IN_STACK (MODE, TYPE))                                 \
-    (CUM) = (CUM & ~0xff) + 6;                                         \
+    (CUM).num_args += 6;                                               \
   else                                                                 \
-    (CUM) += ALPHA_ARG_SIZE (MODE, TYPE, NAMED)
+    {                                                                  \
+      if ((CUM).num_args < 6)                                          \
+        (CUM).atypes[(CUM).num_args] = alpha_arg_type (MODE);          \
+                                                                       \
+     (CUM).num_args += ALPHA_ARG_SIZE (MODE, TYPE, NAMED);             \
+    }
+
+/* For an arg passed partly in registers and partly in memory,
+   this is the number of registers used.
+   For args passed entirely in registers or entirely in memory, zero.  */
 
 #undef FUNCTION_ARG_PARTIAL_NREGS
 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED)             \
-((CUM & 0xff) < 6 && 6 < (CUM & 0xff)                                  \
+((CUM).num_args < 6 && 6 < (CUM).num_args                              \
    + ALPHA_ARG_SIZE (MODE, TYPE, NAMED)                                        \
- ? 6 - (CUM & 0xff) : 0)
-
-extern char *vmskrunch ();
-#undef ENCODE_SECTION_INFO
-#define ENCODE_SECTION_INFO(DECL)                              \
-do {                                                           \
-  if (TREE_CODE (DECL) == FUNCTION_DECL && ! TREE_PUBLIC (DECL)) \
-    SYMBOL_REF_FLAG (XEXP (DECL_RTL (DECL), 0)) = 1;           \
-                                                               \
-  if (TREE_CODE_CLASS (TREE_CODE (DECL)) == 'd'                        \
-      && GET_CODE (DECL_RTL (DECL)) == MEM                     \
-      && GET_CODE (XEXP (DECL_RTL (DECL), 0)) == SYMBOL_REF)   \
-       XSTR (XEXP (DECL_RTL (DECL), 0), 0)                     \
-         = vmskrunch (XSTR (XEXP (DECL_RTL (DECL), 0), 0));    \
-} while (0)
-
-/* Don't use BLKmode if VAX floats are used.  */
+ ? 6 - (CUM).num_args : 0)
+
+/* Perform any needed actions needed for a function that is receiving a
+   variable number of arguments. 
+
+   CUM is as for INIT_CUMULATIVE_ARGS.
+
+   MODE and TYPE are the mode and type of the current parameter.
+
+   PRETEND_SIZE is a variable that should be set to the amount of stack
+   that must be pushed by the prolog to pretend that our caller pushed
+   it.
+
+   Normally, this macro will push all remaining incoming registers on the
+   stack and set PRETEND_SIZE to the length of the registers pushed. 
+
+   For VMS, we allocate space for all 6 arg registers plus a count.
+
+   However, if NO registers need to be saved, don't allocate any space.
+   This is not only because we won't need the space, but because AP includes
+   the current_pretend_args_size and we don't want to mess up any
+   ap-relative addresses already made.   */
+
 #undef SETUP_INCOMING_VARARGS
 #define SETUP_INCOMING_VARARGS(CUM,MODE,TYPE,PRETEND_SIZE,NO_RTL)      \
-{ if ((CUM & 0xff) < 6)                                                        \
-    {                                                                  \
-      if (! (NO_RTL))                                                  \
-       {                                                               \
-         move_block_from_reg                                           \
-           (16 + (CUM & 0xff),                                         \
-            gen_rtx (MEM, BLKmode,                                     \
-                     plus_constant (virtual_incoming_args_rtx,         \
-                                    ((CUM & 0xff) + 6)* UNITS_PER_WORD)),\
-            6 - (CUM & 0xff), (6 - (CUM & 0xff)) * UNITS_PER_WORD);    \
-         if (!TARGET_FLOAT_VAX || !TARGET_FPREGS)                      \
-           move_block_from_reg                                         \
-             (16 + (TARGET_FPREGS ? 32 : 0) + (CUM & 0xff),            \
-               gen_rtx (MEM, BLKmode,                                  \
-                        plus_constant (virtual_incoming_args_rtx,      \
-                                       (CUM & 0xff) * UNITS_PER_WORD)),\
-               6 - (CUM & 0xff), (6 - (CUM & 0xff)) * UNITS_PER_WORD); \
-         else                                                          \
-           {                                                           \
-             int i;                                                    \
-             for (i = (CUM & 0xff); i < 6; i++)                        \
-               emit_move_insn (                                        \
-                 gen_rtx (MEM, DFmode,                                 \
-                   plus_constant (virtual_incoming_args_rtx,           \
-                                  i * UNITS_PER_WORD)),                \
-                 gen_rtx (REG, DFmode, 48+i));                         \
-           }                                                           \
-        }                                                              \
-      PRETEND_SIZE = 12 * UNITS_PER_WORD;                              \
-    }                                                                  \
-}
-
-#undef ASM_DECLARE_FUNCTION_NAME
-#define ASM_DECLARE_FUNCTION_NAME(FILE,NAME,DECL)      \
-{                                                      \
-   alpha_function_name = vmskrunch (NAME);             \
+{ if ((CUM).num_args < 6)                              \
+    {                                                  \
+      if (! (NO_RTL))                                  \
+       {                                               \
+         emit_move_insn (gen_rtx (REG, DImode, 1),     \
+                         virtual_incoming_args_rtx);   \
+         emit_insn (gen_arg_home ());                  \
+       }                                               \
+                                                       \
+      PRETEND_SIZE = 7 * UNITS_PER_WORD;               \
+    }                                                  \
 }
 
 #undef ASM_FILE_START
@@ -225,11 +287,11 @@ do {                                                              \
   }
 
 #define LINK_SECTION_ASM_OP ".link"
-
 #define READONLY_SECTION_ASM_OP ".rdata"
+#define LITERALS_SECTION_ASM_OP ".literals"
 
 #undef EXTRA_SECTIONS
-#define EXTRA_SECTIONS in_link, in_rdata
+#define EXTRA_SECTIONS in_link, in_rdata, in_literals
 
 #undef EXTRA_SECTION_FUNCTIONS
 #define EXTRA_SECTION_FUNCTIONS                                        \
@@ -250,6 +312,15 @@ link_section ()                                                    \
       fprintf (asm_out_file, "%s\n", LINK_SECTION_ASM_OP);     \
       in_section = in_link;                                    \
     }                                                          \
+}                                                               \
+void                                                           \
+literals_section ()                                            \
+{                                                              \
+  if (in_section != in_literals)                               \
+    {                                                          \
+      fprintf (asm_out_file, "%s\n", LITERALS_SECTION_ASM_OP);         \
+      in_section = in_literals;                                        \
+    }                                                          \
 }
 
 #undef ASM_OUTPUT_ADDR_DIFF_ELT
@@ -257,17 +328,13 @@ link_section ()                                                   \
 
 #undef ASM_OUTPUT_ADDR_VEC_ELT
 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
-  fprintf (FILE, "\t.quad $%d\n", (VALUE) + 32)
+  fprintf (FILE, "\t.quad $L%d\n", (VALUE))
 
 #undef READONLY_DATA_SECTION
 #define READONLY_DATA_SECTION readonly_section
 
 #define ASM_FILE_END(FILE) alpha_write_linkage (FILE);
 
-#undef FUNCTION_ARG
-void *function_arg ();
-#define FUNCTION_ARG(CUM, MODE, TYPE, NAMED)   function_arg (&CUM, MODE, TYPE, NAMED)
-
 #undef CASE_VECTOR_MODE
 #define CASE_VECTOR_MODE DImode
 #undef CASE_VECTOR_PC_RELATIVE
@@ -277,42 +344,6 @@ void *function_arg ();
 { ASM_OUTPUT_ALIGN (FILE, 3); ASM_OUTPUT_INTERNAL_LABEL (FILE, PREFIX, NUM); }
 
 #define NO_MD_PROTOTYPES
-/* Perform any needed actions needed for a function that is receiving a
-   variable number of arguments. 
-
-   CUM is as above.
-
-   MODE and TYPE are the mode and type of the current parameter.
-
-   PRETEND_SIZE is a variable that should be set to the amount of stack
-   that must be pushed by the prolog to pretend that our caller pushed
-   it.
-
-   Normally, this macro will push all remaining incoming registers on the
-   stack and set PRETEND_SIZE to the length of the registers pushed. 
-
-   For VMS, we allocate space for all 6 arg registers plus a count.
-
-   However, if NO registers need to be saved, don't allocate any space.
-   This is not only because we won't need the space, but because AP includes
-   the current_pretend_args_size and we don't want to mess up any
-   ap-relative addresses already made.   */
-   
-
-#undef SETUP_INCOMING_VARARGS
-#define SETUP_INCOMING_VARARGS(CUM,MODE,TYPE,PRETEND_SIZE,NO_RTL)      \
-{ if ((CUM) < 6)                                       \
-    {                                                  \
-      if (! (NO_RTL))                                  \
-       {                                               \
-         emit_move_insn (gen_rtx (REG, DImode, 1),     \
-                         virtual_incoming_args_rtx);   \
-         emit_insn (gen_arg_home ());                  \
-       }                                               \
-                                                       \
-      PRETEND_SIZE = 7 * UNITS_PER_WORD;               \
-    }                                                  \
-}
 \f
 /* Output assembler code for a block containing the constant parts
    of a trampoline, leaving space for the variable parts.
@@ -328,85 +359,117 @@ void *function_arg ();
 {                                              \
   fprintf (FILE, "\t.quad 0\n");               \
   fprintf (FILE, "\t.linkage __tramp\n");      \
+  fprintf (FILE, "\t.quad 0\n");               \
 }
 
 /* Length in units of the trampoline for entering a nested function.  */
 
 #undef TRAMPOLINE_SIZE
-#define TRAMPOLINE_SIZE    24
+#define TRAMPOLINE_SIZE    32
 
 /* Emit RTL insns to initialize the variable parts of a trampoline.
    FNADDR is an RTX for the address of the function's pure code.
    CXT is an RTX for the static chain value for the function.  */
 
 #undef INITIALIZE_TRAMPOLINE
-#define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT)                      \
-{                                                                      \
-  emit_move_insn (gen_rtx (MEM, Pmode, (TRAMP)), (FNADDR));            \
-  emit_move_insn (gen_rtx (MEM, Pmode,                                 \
-                          memory_address (Pmode,                       \
+#define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT)                        \
+{                                                                        \
+  emit_move_insn (gen_rtx (MEM, Pmode,                                    \
+                          memory_address (Pmode,                         \
                                           plus_constant ((TRAMP), 16))), \
-                 (CXT));                                               \
+                 (FNADDR));                                              \
+  emit_move_insn (gen_rtx (MEM, Pmode,                                   \
+                          memory_address (Pmode,                         \
+                                          plus_constant ((TRAMP), 24))), \
+                 (CXT));                                                 \
 }
 
 #undef TRANSFER_FROM_TRAMPOLINE
 
+#define VALID_MACHINE_DECL_ATTRIBUTE(DECL, ATTRIBUTES, NAME, ARGS) \
+  (vms_valid_decl_attribute_p (DECL, ATTRIBUTES, NAME, ARGS))
+extern int vms_valid_decl_attribute_p ();
+
 #undef SDB_DEBUGGING_INFO
 #undef MIPS_DEBUGGING_INFO
+#undef DBX_DEBUGGING_INFO
+
+#define DWARF2_DEBUGGING_INFO
+
+/* This is how to output an assembler line
+   that says to advance the location counter
+   to a multiple of 2**LOG bytes.  */
+
+#undef ASM_OUTPUT_ALIGN
+#define ASM_OUTPUT_ALIGN(FILE,LOG)     \
+    fprintf (FILE, "\t.align %d\n", LOG);
+
+#define UNALIGNED_SHORT_ASM_OP ".word"
+#define UNALIGNED_INT_ASM_OP   ".long"
+#define UNALIGNED_DOUBLE_INT_ASM_OP    ".quad"
 
-#ifndef DBX_DEBUGGING_INFO
-#define DBX_DEBUGGING_INFO
-#endif
+#define ASM_OUTPUT_SECTION(FILE,SECTION)                       \
+   (strcmp (SECTION, ".text") == 0)                            \
+     ? text_section ()                                         \
+     : named_section (NULL_TREE, SECTION, 0),                  \
+       ASM_OUTPUT_ALIGN (FILE, 0)                              \
+
+#define ASM_OUTPUT_SECTION_NAME(FILE,DECL,NAME,RELOC)          \
+  do                                                           \
+    {                                                          \
+      char *flags;                                             \
+      int ovr = 0;                                             \
+      if (DECL && DECL_MACHINE_ATTRIBUTES (DECL)               \
+         && lookup_attribute                                   \
+             ("overlaid", DECL_MACHINE_ATTRIBUTES (DECL)))     \
+       flags = ",OVR", ovr = 1;                                \
+      else if (strncmp (NAME,".debug", 6) == 0)                        \
+       flags = ",NOWRT";                                       \
+      else                                                     \
+       flags = "";                                             \
+      fputc ('\n', (FILE));                                    \
+      fprintf (FILE, ".section\t%s%s\n", NAME, flags);         \
+      if (ovr)                                                 \
+        (NAME) = "";                                           \
+    } while (0)
+
+#define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2)                             \
+  do { literals_section();                                             \
+       fprintf ((FILE), "\t");                                         \
+       assemble_name (FILE, LABEL1);                                   \
+       fprintf (FILE, " = ");                                          \
+       assemble_name (FILE, LABEL2);                                   \
+       fprintf (FILE, "\n");                                           \
+  } while (0)
 
-#ifdef PREFERRED_DEBUGGING_TYPE
 #undef PREFERRED_DEBUGGING_TYPE
-#endif
-#define PREFERRED_DEBUGGING_TYPE DBX_DEBUG
+#define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG
 
-#ifdef ASM_FORMAT_PRIVATE_NAME
 #undef ASM_FORMAT_PRIVATE_NAME
-#endif
 #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \
 ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 12),   \
   sprintf ((OUTPUT), "%s___%d", (NAME), (LABELNO)))
 
-#undef ASM_SPEC
-#define ASM_SPEC "-nocpp %{pg}"
+/* ??? VMS uses different linkage.  */
+#undef ASM_OUTPUT_MI_THUNK
 
+#undef ASM_SPEC
 #undef ASM_FINAL_SPEC
-
-#undef LIBGCC_SPEC
-#define LIBGCC_SPEC "-lgcc2 -lgcclib"
-
-#define OPTIMIZATION_OPTIONS                       \
-{                                                  \
-   write_symbols = PREFERRED_DEBUGGING_TYPE;       \
-   debug_info_level = (enum debug_info_level) 2;   \
-}
-
-#undef OVERRIDE_OPTIONS
-#define OVERRIDE_OPTIONS                           \
-{                                                  \
-   if (write_symbols == NO_DEBUG)                  \
-     debug_info_level = (enum debug_info_level) 0; \
-   override_options ();                            \
-}
-
 #undef LINK_SPEC
-#define LINK_SPEC "%{g3:-g3} %{g0:-g0}"
-
 #undef STARTFILE_SPEC
-#define STARTFILE_SPEC ""
-
-#undef ENDFILE_SPEC
-#define ENDFILE_SPEC "gnu_cc:[000000]crt0.obj"
+#define ASM_SPEC "-nocpp %{pg}"
+#define LINK_SPEC "%{g3:-g3} %{g0:-g0} %{shared:-shared} %{v:-v}"
 
 /* Define the names of the division and modulus functions.  */
-#define DIVSI3_LIBCALL "ots$div_i"
-#define DIVDI3_LIBCALL "ots$div_l"
-#define UDIVSI3_LIBCALL "ots$div_ui"
-#define UDIVDI3_LIBCALL "ots$div_ul"
-#define MODSI3_LIBCALL "ots$mod_i"
-#define MODDI3_LIBCALL "ots$mod_l"
-#define UMODSI3_LIBCALL "ots$rem_ui"
-#define UMODDI3_LIBCALL "ots$rem_ul"
+#define DIVSI3_LIBCALL "OTS$DIV_I"
+#define DIVDI3_LIBCALL "OTS$DIV_L"
+#define UDIVSI3_LIBCALL "OTS$DIV_UI"
+#define UDIVDI3_LIBCALL "OTS$DIV_UL"
+#define MODSI3_LIBCALL "OTS$REM_I"
+#define MODDI3_LIBCALL "OTS$REM_L"
+#define UMODSI3_LIBCALL "OTS$REM_UI"
+#define UMODDI3_LIBCALL "OTS$REM_UL"
+
+#define DIR_SEPARATOR ']'
+
+#define PREFIX "GNU_ROOT:"