[thirdparty/gcc.git] / gcc / config / alpha / vms.h

/* Output variables, constants and external declarations, for GNU compiler.
   Copyright (C) 1996, 1997, 1998 Free Software Foundation, Inc.

This file is part of GNU CC.

GNU CC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU CC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU CC; see the file COPYING.  If not, write to
the Free Software Foundation, 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.  */

#define OPEN_VMS 1

/* This enables certain macros in alpha.h, which will make an indirect
   reference to an external symbol an invalid address.  This needs to be
   defined before we include alpha.h, since it determines which macros
   are used for GO_IF_*.  */

#define NO_EXTERNAL_INDIRECT_ADDRESS

#include "alpha/alpha.h"

#undef CPP_PREDEFINES
#define CPP_PREDEFINES \
"-D__ALPHA -Dvms -DVMS -D__vms__ -D__VMS__ -Asystem(vms)"

#undef CPP_SUBTARGET_SPEC
#define CPP_SUBTARGET_SPEC "\
%{mfloat-ieee:-D__IEEE_FLOAT} \
%{mfloat-vax:-D__G_FLOAT} \
%{!mfloat-vax:-D__IEEE_FLOAT}"

/* 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

/* These match the definitions used in DECCRTL, the VMS C run-time library

#define SIZE_TYPE	"unsigned int"
#define PTRDIFF_TYPE	"int"
*/

/* Use memcpy for structure copying, and so forth.  */
#define TARGET_MEM_FUNCTIONS

/* By default, allow $ to be part of an identifier.  */
#define DOLLARS_IN_IDENTIFIERS 2

#undef TARGET_DEFAULT
#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
#define TARGET_VERSION fprintf (stderr, " (%s)", TARGET_NAME);           

/* The structure return address arrives as an "argument" on VMS.  */
#undef STRUCT_VALUE_REGNUM
#define STRUCT_VALUE 0
#undef PCC_STATIC_STRUCT_RETURN

/* no floating emulation.  */
#undef REAL_ARITHMETIC

/* "long" is 32 bits.  */
#undef LONG_TYPE_SIZE
#define LONG_TYPE_SIZE 32

/* Pointer is 32 bits but the hardware has 64-bit addresses, sign extended. */
#undef POINTER_SIZE
#define POINTER_SIZE 32
#define POINTERS_EXTEND_UNSIGNED 0

#define MAX_OFILE_ALIGNMENT 524288  /* 8 x 2^16 by DEC Ada Test CD40VRA */

#undef FIXED_REGISTERS
#define FIXED_REGISTERS  \
 {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 }

#undef CALL_USED_REGISTERS
#define CALL_USED_REGISTERS  \
 {1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
  1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
  1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
  1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }

#undef HARD_FRAME_POINTER_REGNUM
#define HARD_FRAME_POINTER_REGNUM 29

#undef CAN_ELIMINATE
#define CAN_ELIMINATE(FROM, TO)  \
((TO) != STACK_POINTER_REGNUM || ! alpha_using_fp ())

#undef INITIAL_ELIMINATION_OFFSET
#define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET)			\
{ if ((FROM) == FRAME_POINTER_REGNUM)					\
    (OFFSET) = alpha_sa_size () + alpha_pv_save_size ();		\
  else if ((FROM) == ARG_POINTER_REGNUM)				\
    (OFFSET) = (ALPHA_ROUND (alpha_sa_size () + alpha_pv_save_size ()	\
			     + get_frame_size ()			\
			     + current_function_pretend_args_size)	\
		- current_function_pretend_args_size);			\
  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 {int 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).num_args += 6;						\
  else									\
    {									\
      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).num_args < 6 && 6 < (CUM).num_args				\
   + ALPHA_ARG_SIZE (MODE, TYPE, NAMED)					\
 ? 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).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
#define ASM_FILE_START(FILE)					\
{								\
  alpha_write_verstamp (FILE);					\
  fprintf (FILE, "\t.set noreorder\n");				\
  fprintf (FILE, "\t.set volatile\n");				\
  ASM_OUTPUT_SOURCE_FILENAME (FILE, main_input_filename);	\
}

#undef ASM_OUTPUT_FLOAT
#define ASM_OUTPUT_FLOAT(FILE,VALUE)					\
  {									\
    if (REAL_VALUE_ISINF (VALUE)					\
        || REAL_VALUE_ISNAN (VALUE)					\
	|| REAL_VALUE_MINUS_ZERO (VALUE))				\
      {									\
	long t;								\
	REAL_VALUE_TO_TARGET_SINGLE ((VALUE), t);			\
	fprintf (FILE, "\t.long 0x%lx\n", t & 0xffffffff);		\
      }									\
    else								\
      {									\
	char str[30];							\
	REAL_VALUE_TO_DECIMAL ((VALUE), "%.20e", str);			\
	fprintf (FILE, "\t.%c_floating %s\n", (TARGET_FLOAT_VAX)?'f':'s', str);	\
      }									\
  }

#define LINK_SECTION_ASM_OP ".link"
#define READONLY_SECTION_ASM_OP ".rdata"
#define LITERALS_SECTION_ASM_OP ".literals"
#define CTORS_SECTION_ASM_OP ".ctors"
#define DTORS_SECTION_ASM_OP ".dtors"

#undef EXTRA_SECTIONS
#define EXTRA_SECTIONS	in_link, in_rdata, in_literals, in_ctors, in_dtors

#undef EXTRA_SECTION_FUNCTIONS
#define EXTRA_SECTION_FUNCTIONS					\
void								\
readonly_section ()						\
{								\
  if (in_section != in_rdata)				\
    {								\
      fprintf (asm_out_file, "%s\n", READONLY_SECTION_ASM_OP);	\
      in_section = in_rdata;				\
    }								\
}								\
void								\
link_section ()							\
{								\
  if (in_section != in_link)					\
    {								\
      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;					\
    }								\
}								\
void								\
ctors_section ()						\
{								\
  if (in_section != in_ctors)					\
    {								\
      fprintf (asm_out_file, "%s\n", CTORS_SECTION_ASM_OP);	\
      in_section = in_ctors;					\
    }								\
}								\
void								\
dtors_section ()						\
{								\
  if (in_section != in_dtors)					\
    {								\
      fprintf (asm_out_file, "%s\n", DTORS_SECTION_ASM_OP);	\
      in_section = in_dtors;					\
    }								\
}

#undef ASM_OUTPUT_ADDR_DIFF_ELT
#define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) abort ()

#undef ASM_OUTPUT_ADDR_VEC_ELT
#define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
  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 CASE_VECTOR_MODE
#define CASE_VECTOR_MODE DImode
#undef CASE_VECTOR_PC_RELATIVE

#undef ASM_OUTPUT_CASE_LABEL
#define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)	\
{ ASM_OUTPUT_ALIGN (FILE, 3); ASM_OUTPUT_INTERNAL_LABEL (FILE, PREFIX, NUM); }

/* This says how to output assembler code to declare an                
   uninitialized external linkage data object.  */ 

#define COMMON_ASM_OP ".comm"

#undef ASM_OUTPUT_ALIGNED_COMMON
#define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN)		\
do {									\
  fprintf ((FILE), "\t%s\t", COMMON_ASM_OP);				\
  assemble_name ((FILE), (NAME));					\
  fprintf ((FILE), ",%u,%u\n", (SIZE), (ALIGN) / BITS_PER_UNIT);	\
} while (0)

#define NO_MD_PROTOTYPES
\f
/* Output assembler code for a block containing the constant parts
   of a trampoline, leaving space for the variable parts.

   The trampoline should set the static chain pointer to value placed
   into the trampoline and should branch to the specified routine.  
   Note that $27 has been set to the address of the trampoline, so we can
   use it for addressability of the two data items.  Trampolines are always
   aligned to FUNCTION_BOUNDARY, which is 64 bits.  */

#undef TRAMPOLINE_TEMPLATE
#define TRAMPOLINE_TEMPLATE(FILE)		\
{						\
  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    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) \
  alpha_initialize_trampoline (TRAMP, FNADDR, CXT, 16, 24, -1)

/* A C statement (sans semicolon) to output an element in the table of
   global constructors.  */
#define ASM_OUTPUT_CONSTRUCTOR(FILE,NAME)		\
  do {							\
    ctors_section ();					\
    fprintf (FILE, "\t.quad "); 			\
    assemble_name (FILE, NAME); 			\
    fprintf (FILE, "\n");				\
  } while (0)

/* A C statement (sans semicolon) to output an element in the table of
   global destructors.	*/
#define ASM_OUTPUT_DESTRUCTOR(FILE,NAME)		\
  do {							\
    dtors_section ();					\
    fprintf (FILE, "\t.quad "); 			\
    assemble_name (FILE, NAME); 			\
    fprintf (FILE, "\n");				\
  } while (0)

#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 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)

#undef PREFERRED_DEBUGGING_TYPE
#define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG

#undef ASM_FORMAT_PRIVATE_NAME
#define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO)	\
( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 12),	\
  sprintf ((OUTPUT), "%s___%d", (NAME), (LABELNO)))

/* ??? VMS uses different linkage.  */
#undef ASM_OUTPUT_MI_THUNK

#undef ASM_SPEC
#undef ASM_FINAL_SPEC
#undef LINK_SPEC
#undef STARTFILE_SPEC
#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$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:"
Commit	Line	Data
aacdb8bb	1	/* Output variables, constants and external declarations, for GNU compiler.
9ba3994a	2	Copyright (C) 1996, 1997, 1998 Free Software Foundation, Inc.
aacdb8bb RK	3
	4	This file is part of GNU CC.
	5
	6	GNU CC is free software; you can redistribute it and/or modify
	7	it under the terms of the GNU General Public License as published by
	8	the Free Software Foundation; either version 2, or (at your option)
	9	any later version.
	10
	11	GNU CC is distributed in the hope that it will be useful,
	12	but WITHOUT ANY WARRANTY; without even the implied warranty of
	13	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	14	GNU General Public License for more details.
	15
	16	You should have received a copy of the GNU General Public License
	17	along with GNU CC; see the file COPYING. If not, write to
	18	the Free Software Foundation, 59 Temple Place - Suite 330,
	19	Boston, MA 02111-1307, USA. */
	20
	21	#define OPEN_VMS 1
	22
	23	/* This enables certain macros in alpha.h, which will make an indirect
	24	reference to an external symbol an invalid address. This needs to be
	25	defined before we include alpha.h, since it determines which macros
	26	are used for GO_IF_. /
	27
	28	#define NO_EXTERNAL_INDIRECT_ADDRESS
	29
	30	#include "alpha/alpha.h"
	31
aacdb8bb RK	32	#undef CPP_PREDEFINES
aacdb8bb RK	33	#define CPP_PREDEFINES \
952fc2ed	34	"-D__ALPHA -Dvms -DVMS -D__vms__ -D__VMS__ -Asystem(vms)"
aacdb8bb	35
952fc2ed RH	36	#undef CPP_SUBTARGET_SPEC
952fc2ed RH	37	#define CPP_SUBTARGET_SPEC "\
aacdb8bb RK	38	%{mfloat-ieee:-D__IEEE_FLOAT} \
aacdb8bb RK	39	%{mfloat-vax:-D__G_FLOAT} \
952fc2ed	40	%{!mfloat-vax:-D__IEEE_FLOAT}"
aacdb8bb	41
b0435cf4 RH	42	/* Under OSF4, -p and -pg require -lprof1, and -lprof1 requires -lpdf. */
	43
	44	#define LIB_SPEC "%{p:-lprof1 -lpdf} %{pg:-lprof1 -lpdf} %{a:-lprof2} -lc"
	45
	46	/* Pass "-G 8" to ld because Alpha's CC does. Pass -O3 if we are
	47	optimizing, -O1 if we are not. Pass -shared, -non_shared or
	48	-call_shared as appropriate. Also pass -pg. */
	49	#define LINK_SPEC \
	50	"-G 8 %{O:-O3} %{!O:-O1} %{static:-non_shared} \
	51	%{!static:%{shared:-shared} %{!shared:-call_shared}} %{pg} %{taso} \
	52	%{rpath*}"
	53
aacdb8bb RK	54	/* We allow $'s in identifiers unless -ansi is used .. */
	55
	56	#define DOLLARS_IN_IDENTIFIERS 2
	57
	58	/* These match the definitions used in DECCRTL, the VMS C run-time library
	59
	60	#define SIZE_TYPE "unsigned int"
	61	#define PTRDIFF_TYPE "int"
	62	*/
	63
	64	/* Use memcpy for structure copying, and so forth. */
	65	#define TARGET_MEM_FUNCTIONS
	66
	67	/* By default, allow $ to be part of an identifier. */
	68	#define DOLLARS_IN_IDENTIFIERS 2
	69
aacdb8bb	70	#undef TARGET_DEFAULT
9ba3994a RH	71	#define TARGET_DEFAULT (MASK_FP\|MASK_FPREGS\|MASK_GAS)
	72	#undef TARGET_OPEN_VMS
	73	#define TARGET_OPEN_VMS 1
	74
aacdb8bb	75	#undef TARGET_NAME
60814f40	76	#define TARGET_NAME "OpenVMS/Alpha"
aacdb8bb RK	77	#undef TARGET_VERSION
	78	#define TARGET_VERSION fprintf (stderr, " (%s)", TARGET_NAME);
	79
	80	/* The structure return address arrives as an "argument" on VMS. */
	81	#undef STRUCT_VALUE_REGNUM
	82	#define STRUCT_VALUE 0
	83	#undef PCC_STATIC_STRUCT_RETURN
	84
	85	/* no floating emulation. */
	86	#undef REAL_ARITHMETIC
	87
	88	/* "long" is 32 bits. */
	89	#undef LONG_TYPE_SIZE
	90	#define LONG_TYPE_SIZE 32
	91
	92	/* Pointer is 32 bits but the hardware has 64-bit addresses, sign extended. */
	93	#undef POINTER_SIZE
	94	#define POINTER_SIZE 32
	95	#define POINTERS_EXTEND_UNSIGNED 0
	96
956d6950	97	#define MAX_OFILE_ALIGNMENT 524288 /* 8 x 2^16 by DEC Ada Test CD40VRA */
aacdb8bb RK	98
	99	#undef FIXED_REGISTERS
	100	#define FIXED_REGISTERS \
	101	{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
	102	0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
	103	0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
	104	0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 }
	105
	106	#undef CALL_USED_REGISTERS
	107	#define CALL_USED_REGISTERS \
	108	{1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
	109	1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
	110	1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, \
	111	1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }
	112
	113	#undef HARD_FRAME_POINTER_REGNUM
	114	#define HARD_FRAME_POINTER_REGNUM 29
	115
	116	#undef CAN_ELIMINATE
	117	#define CAN_ELIMINATE(FROM, TO) \
	118	((TO) != STACK_POINTER_REGNUM \|\| ! alpha_using_fp ())
	119
	120	#undef INITIAL_ELIMINATION_OFFSET
	121	#define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
	122	{ if ((FROM) == FRAME_POINTER_REGNUM) \
	123	(OFFSET) = alpha_sa_size () + alpha_pv_save_size (); \
	124	else if ((FROM) == ARG_POINTER_REGNUM) \
	125	(OFFSET) = (ALPHA_ROUND (alpha_sa_size () + alpha_pv_save_size () \
	126	+ get_frame_size () \
	127	+ current_function_pretend_args_size) \
	128	- current_function_pretend_args_size); \
	129	if ((TO) == STACK_POINTER_REGNUM) \
	130	(OFFSET) += ALPHA_ROUND (current_function_outgoing_args_size); \
	131	}
e9a25f70 JL	132	\f
	133	/* Define a data type for recording info about an argument list
	134	during the scan of that argument list. This data type should
	135	hold all necessary information about the function itself
	136	and about the args processed so far, enough to enable macros
	137	such as FUNCTION_ARG to determine where the next arg should go.
	138
	139	On Alpha/VMS, this is a structure that contains the number of
	140	arguments and, for each argument, the datatype of that argument.
	141
	142	The number of arguments is a number of words of arguments scanned so far.
	143	Thus 6 or more means all following args should go on the stack. */
	144
	145	enum avms_arg_type {I64, FF, FD, FG, FS, FT};
c5c76735	146	typedef struct {int num_args; enum avms_arg_type atypes[6];} avms_arg_info;
e9a25f70 JL	147
	148	#undef CUMULATIVE_ARGS
	149	#define CUMULATIVE_ARGS avms_arg_info
	150
	151	/* Initialize a variable CUM of type CUMULATIVE_ARGS
	152	for a call to a function whose data type is FNTYPE.
	153	For a library call, FNTYPE is 0. */
	154
	155	#undef INIT_CUMULATIVE_ARGS
	156	#define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME,INDIRECT) \
	157	(CUM).num_args = 0; \
	158	(CUM).atypes[0] = (CUM).atypes[1] = (CUM).atypes[2] = I64; \
	159	(CUM).atypes[3] = (CUM).atypes[4] = (CUM).atypes[5] = I64;
	160
	161	/* Update the data in CUM to advance over an argument
	162	of mode MODE and data type TYPE.
	163	(TYPE is null for libcalls where that information may not be available.) */
	164
	165	extern enum avms_arg_type alpha_arg_type ();
	166
	167	/* Determine where to put an argument to a function.
	168	Value is zero to push the argument on the stack,
	169	or a hard register in which to store the argument.
	170
	171	MODE is the argument's machine mode (or VOIDmode for no more args).
	172	TYPE is the data type of the argument (as a tree).
	173	This is null for libcalls where that information may
	174	not be available.
	175	CUM is a variable of type CUMULATIVE_ARGS which gives info about
	176	the preceding args and about the function being called.
	177	NAMED is nonzero if this argument is a named parameter
	178	(otherwise it is an extra parameter matching an ellipsis).
	179
	180	On Alpha the first 6 words of args are normally in registers
	181	and the rest are pushed. */
	182
	183	extern struct rtx_def *alpha_arg_info_reg_val ();
	184	#undef FUNCTION_ARG
	185	#define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
	186	((MODE) == VOIDmode ? alpha_arg_info_reg_val (CUM) \
	187	: ((CUM.num_args) < 6 && ! MUST_PASS_IN_STACK (MODE, TYPE) \
c5c76735 JL	188	? gen_rtx_REG ((MODE), \
	189	((CUM).num_args + 16 \
	190	+ ((TARGET_FPREGS \
	191	&& (GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
	192	\|\| GET_MODE_CLASS (MODE) == MODE_FLOAT)) \
	193	* 32))) \
e9a25f70	194	: 0))
aacdb8bb RK	195
	196	#undef FUNCTION_ARG_ADVANCE
	197	#define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
	198	if (MUST_PASS_IN_STACK (MODE, TYPE)) \
e9a25f70	199	(CUM).num_args += 6; \
aacdb8bb	200	else \
e9a25f70 JL	201	{ \
	202	if ((CUM).num_args < 6) \
	203	(CUM).atypes[(CUM).num_args] = alpha_arg_type (MODE); \
	204	\
	205	(CUM).num_args += ALPHA_ARG_SIZE (MODE, TYPE, NAMED); \
	206	}
	207
	208	/* For an arg passed partly in registers and partly in memory,
	209	this is the number of registers used.
	210	For args passed entirely in registers or entirely in memory, zero. */
aacdb8bb RK	211
	212	#undef FUNCTION_ARG_PARTIAL_NREGS
	213	#define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
e9a25f70	214	((CUM).num_args < 6 && 6 < (CUM).num_args \
aacdb8bb	215	+ ALPHA_ARG_SIZE (MODE, TYPE, NAMED) \
e9a25f70 JL	216	? 6 - (CUM).num_args : 0)
e9a25f70 JL	217
73fef4fe RK	218	/* Perform any needed actions needed for a function that is receiving a
	219	variable number of arguments.
	220
	221	CUM is as for INIT_CUMULATIVE_ARGS.
	222
	223	MODE and TYPE are the mode and type of the current parameter.
	224
	225	PRETEND_SIZE is a variable that should be set to the amount of stack
	226	that must be pushed by the prolog to pretend that our caller pushed
	227	it.
	228
	229	Normally, this macro will push all remaining incoming registers on the
	230	stack and set PRETEND_SIZE to the length of the registers pushed.
	231
	232	For VMS, we allocate space for all 6 arg registers plus a count.
	233
	234	However, if NO registers need to be saved, don't allocate any space.
	235	This is not only because we won't need the space, but because AP includes
	236	the current_pretend_args_size and we don't want to mess up any
	237	ap-relative addresses already made. */
	238
aacdb8bb RK	239	#undef SETUP_INCOMING_VARARGS
aacdb8bb RK	240	#define SETUP_INCOMING_VARARGS(CUM,MODE,TYPE,PRETEND_SIZE,NO_RTL) \
e9a25f70	241	{ if ((CUM).num_args < 6) \
73fef4fe RK	242	{ \
	243	if (! (NO_RTL)) \
	244	{ \
c5c76735	245	emit_move_insn (gen_rtx_REG (DImode, 1), \
73fef4fe RK	246	virtual_incoming_args_rtx); \
	247	emit_insn (gen_arg_home ()); \
	248	} \
	249	\
	250	PRETEND_SIZE = 7 * UNITS_PER_WORD; \
	251	} \
aacdb8bb RK	252	}
aacdb8bb RK	253
aacdb8bb RK	254	#undef ASM_FILE_START
	255	#define ASM_FILE_START(FILE) \
	256	{ \
	257	alpha_write_verstamp (FILE); \
	258	fprintf (FILE, "\t.set noreorder\n"); \
	259	fprintf (FILE, "\t.set volatile\n"); \
	260	ASM_OUTPUT_SOURCE_FILENAME (FILE, main_input_filename); \
	261	}
	262
	263	#undef ASM_OUTPUT_FLOAT
	264	#define ASM_OUTPUT_FLOAT(FILE,VALUE) \
	265	{ \
	266	if (REAL_VALUE_ISINF (VALUE) \
	267	\|\| REAL_VALUE_ISNAN (VALUE) \
	268	\|\| REAL_VALUE_MINUS_ZERO (VALUE)) \
	269	{ \
	270	long t; \
	271	REAL_VALUE_TO_TARGET_SINGLE ((VALUE), t); \
	272	fprintf (FILE, "\t.long 0x%lx\n", t & 0xffffffff); \
	273	} \
	274	else \
	275	{ \
	276	char str[30]; \
	277	REAL_VALUE_TO_DECIMAL ((VALUE), "%.20e", str); \
	278	fprintf (FILE, "\t.%c_floating %s\n", (TARGET_FLOAT_VAX)?'f':'s', str); \
	279	} \
	280	}
	281
	282	#define LINK_SECTION_ASM_OP ".link"
aacdb8bb	283	#define READONLY_SECTION_ASM_OP ".rdata"
e9a25f70	284	#define LITERALS_SECTION_ASM_OP ".literals"
6805ef53 KK	285	#define CTORS_SECTION_ASM_OP ".ctors"
6805ef53 KK	286	#define DTORS_SECTION_ASM_OP ".dtors"
aacdb8bb RK	287
aacdb8bb RK	288	#undef EXTRA_SECTIONS
6805ef53	289	#define EXTRA_SECTIONS in_link, in_rdata, in_literals, in_ctors, in_dtors
aacdb8bb RK	290
	291	#undef EXTRA_SECTION_FUNCTIONS
	292	#define EXTRA_SECTION_FUNCTIONS \
	293	void \
	294	readonly_section () \
	295	{ \
	296	if (in_section != in_rdata) \
	297	{ \
	298	fprintf (asm_out_file, "%s\n", READONLY_SECTION_ASM_OP); \
	299	in_section = in_rdata; \
	300	} \
	301	} \
	302	void \
	303	link_section () \
	304	{ \
	305	if (in_section != in_link) \
	306	{ \
	307	fprintf (asm_out_file, "%s\n", LINK_SECTION_ASM_OP); \
	308	in_section = in_link; \
	309	} \
e9a25f70 JL	310	} \
	311	void \
	312	literals_section () \
	313	{ \
	314	if (in_section != in_literals) \
	315	{ \
	316	fprintf (asm_out_file, "%s\n", LITERALS_SECTION_ASM_OP); \
	317	in_section = in_literals; \
	318	} \
6805ef53 KK	319	} \
	320	void \
	321	ctors_section () \
	322	{ \
	323	if (in_section != in_ctors) \
	324	{ \
	325	fprintf (asm_out_file, "%s\n", CTORS_SECTION_ASM_OP); \
	326	in_section = in_ctors; \
	327	} \
	328	} \
	329	void \
	330	dtors_section () \
	331	{ \
	332	if (in_section != in_dtors) \
	333	{ \
	334	fprintf (asm_out_file, "%s\n", DTORS_SECTION_ASM_OP); \
	335	in_section = in_dtors; \
	336	} \
aacdb8bb RK	337	}
	338
	339	#undef ASM_OUTPUT_ADDR_DIFF_ELT
33f7f353	340	#define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) abort ()
aacdb8bb RK	341
	342	#undef ASM_OUTPUT_ADDR_VEC_ELT
	343	#define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
a21d14e9	344	fprintf (FILE, "\t.quad $L%d\n", (VALUE))
aacdb8bb RK	345
	346	#undef READONLY_DATA_SECTION
	347	#define READONLY_DATA_SECTION readonly_section
	348
	349	#define ASM_FILE_END(FILE) alpha_write_linkage (FILE);
	350
aacdb8bb RK	351	#undef CASE_VECTOR_MODE
	352	#define CASE_VECTOR_MODE DImode
	353	#undef CASE_VECTOR_PC_RELATIVE
	354
	355	#undef ASM_OUTPUT_CASE_LABEL
	356	#define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN) \
	357	{ ASM_OUTPUT_ALIGN (FILE, 3); ASM_OUTPUT_INTERNAL_LABEL (FILE, PREFIX, NUM); }
	358
1478d88a KK	359	/* This says how to output assembler code to declare an
	360	uninitialized external linkage data object. */
	361
	362	#define COMMON_ASM_OP ".comm"
	363
	364	#undef ASM_OUTPUT_ALIGNED_COMMON
	365	#define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN) \
	366	do { \
	367	fprintf ((FILE), "\t%s\t", COMMON_ASM_OP); \
	368	assemble_name ((FILE), (NAME)); \
	369	fprintf ((FILE), ",%u,%u\n", (SIZE), (ALIGN) / BITS_PER_UNIT); \
	370	} while (0)
	371
aacdb8bb	372	#define NO_MD_PROTOTYPES
aacdb8bb RK	373	\f
	374	/* Output assembler code for a block containing the constant parts
	375	of a trampoline, leaving space for the variable parts.
	376
	377	The trampoline should set the static chain pointer to value placed
	378	into the trampoline and should branch to the specified routine.
	379	Note that $27 has been set to the address of the trampoline, so we can
	380	use it for addressability of the two data items. Trampolines are always
	381	aligned to FUNCTION_BOUNDARY, which is 64 bits. */
	382
	383	#undef TRAMPOLINE_TEMPLATE
	384	#define TRAMPOLINE_TEMPLATE(FILE) \
	385	{ \
	386	fprintf (FILE, "\t.quad 0\n"); \
	387	fprintf (FILE, "\t.linkage __tramp\n"); \
4fc8ff92	388	fprintf (FILE, "\t.quad 0\n"); \
aacdb8bb RK	389	}
	390
	391	/* Length in units of the trampoline for entering a nested function. */
	392
	393	#undef TRAMPOLINE_SIZE
e9a25f70	394	#define TRAMPOLINE_SIZE 32
aacdb8bb RK	395
	396	/* Emit RTL insns to initialize the variable parts of a trampoline.
	397	FNADDR is an RTX for the address of the function's pure code.
	398	CXT is an RTX for the static chain value for the function. */
	399
	400	#undef INITIALIZE_TRAMPOLINE
c714f03d RH	401	#define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
c714f03d RH	402	alpha_initialize_trampoline (TRAMP, FNADDR, CXT, 16, 24, -1)
aacdb8bb	403
6805ef53 KK	404	/* A C statement (sans semicolon) to output an element in the table of
	405	global constructors. */
	406	#define ASM_OUTPUT_CONSTRUCTOR(FILE,NAME) \
	407	do { \
	408	ctors_section (); \
	409	fprintf (FILE, "\t.quad "); \
	410	assemble_name (FILE, NAME); \
	411	fprintf (FILE, "\n"); \
	412	} while (0)
	413
	414	/* A C statement (sans semicolon) to output an element in the table of
	415	global destructors. */
	416	#define ASM_OUTPUT_DESTRUCTOR(FILE,NAME) \
	417	do { \
	418	dtors_section (); \
	419	fprintf (FILE, "\t.quad "); \
	420	assemble_name (FILE, NAME); \
	421	fprintf (FILE, "\n"); \
	422	} while (0)
	423
e9a25f70 JL	424	#define VALID_MACHINE_DECL_ATTRIBUTE(DECL, ATTRIBUTES, NAME, ARGS) \
	425	(vms_valid_decl_attribute_p (DECL, ATTRIBUTES, NAME, ARGS))
	426	extern int vms_valid_decl_attribute_p ();
	427
aacdb8bb RK	428	#undef SDB_DEBUGGING_INFO
aacdb8bb RK	429	#undef MIPS_DEBUGGING_INFO
e9a25f70	430	#undef DBX_DEBUGGING_INFO
aacdb8bb	431
388320a5 RK	432	#define DWARF2_DEBUGGING_INFO
388320a5 RK	433
e9a25f70 JL	434	/* This is how to output an assembler line
	435	that says to advance the location counter
	436	to a multiple of 2*LOG bytes. /
	437
	438	#undef ASM_OUTPUT_ALIGN
	439	#define ASM_OUTPUT_ALIGN(FILE,LOG) \
	440	fprintf (FILE, "\t.align %d\n", LOG);
	441
e9a25f70 JL	442	#define ASM_OUTPUT_SECTION(FILE,SECTION) \
	443	(strcmp (SECTION, ".text") == 0) \
	444	? text_section () \
	445	: named_section (NULL_TREE, SECTION, 0), \
	446	ASM_OUTPUT_ALIGN (FILE, 0) \
	447
	448	#define ASM_OUTPUT_SECTION_NAME(FILE,DECL,NAME,RELOC) \
	449	do \
	450	{ \
	451	char *flags; \
	452	int ovr = 0; \
	453	if (DECL && DECL_MACHINE_ATTRIBUTES (DECL) \
	454	&& lookup_attribute \
	455	("overlaid", DECL_MACHINE_ATTRIBUTES (DECL))) \
	456	flags = ",OVR", ovr = 1; \
	457	else if (strncmp (NAME,".debug", 6) == 0) \
	458	flags = ",NOWRT"; \
	459	else \
	460	flags = ""; \
	461	fputc ('\n', (FILE)); \
	462	fprintf (FILE, ".section\t%s%s\n", NAME, flags); \
	463	if (ovr) \
	464	(NAME) = ""; \
	465	} while (0)
	466
	467	#define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2) \
	468	do { literals_section(); \
	469	fprintf ((FILE), "\t"); \
	470	assemble_name (FILE, LABEL1); \
	471	fprintf (FILE, " = "); \
	472	assemble_name (FILE, LABEL2); \
	473	fprintf (FILE, "\n"); \
	474	} while (0)
	475
aacdb8bb	476	#undef PREFERRED_DEBUGGING_TYPE
e9a25f70	477	#define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG
aacdb8bb	478
aacdb8bb	479	#undef ASM_FORMAT_PRIVATE_NAME
aacdb8bb RK	480	#define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \
	481	( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 12), \
	482	sprintf ((OUTPUT), "%s___%d", (NAME), (LABELNO)))
	483
60593797 RH	484	/* ??? VMS uses different linkage. */
	485	#undef ASM_OUTPUT_MI_THUNK
	486
aacdb8bb	487	#undef ASM_SPEC
aacdb8bb	488	#undef ASM_FINAL_SPEC
aacdb8bb	489	#undef LINK_SPEC
aacdb8bb	490	#undef STARTFILE_SPEC
956d6950 JL	491	#define ASM_SPEC "-nocpp %{pg}"
956d6950 JL	492	#define LINK_SPEC "%{g3:-g3} %{g0:-g0} %{shared:-shared} %{v:-v}"
aacdb8bb RK	493
aacdb8bb RK	494	/* Define the names of the division and modulus functions. */
3a133c72 KK	495	#define DIVSI3_LIBCALL "OTS$DIV_I"
	496	#define DIVDI3_LIBCALL "OTS$DIV_L"
	497	#define UDIVSI3_LIBCALL "OTS$DIV_UI"
	498	#define UDIVDI3_LIBCALL "OTS$DIV_UL"
	499	#define MODSI3_LIBCALL "OTS$REM_I"
	500	#define MODDI3_LIBCALL "OTS$REM_L"
	501	#define UMODSI3_LIBCALL "OTS$REM_UI"
	502	#define UMODDI3_LIBCALL "OTS$REM_UL"
f5e86959 JL	503
f5e86959 JL	504	#define DIR_SEPARATOR ']'
9d21ee77 KK	505
9d21ee77 KK	506	#define PREFIX "GNU_ROOT:"