gcc/config/vax/vaxv.h

   1 /* Definitions of target machine for GNU compiler.  Vax sysV version.
   2    Copyright (C) 1988, 1993, 1996, 2000 Free Software Foundation, Inc.
   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 /* Cope with these under SysV */
  22
  23 #define SCCS_DIRECTIVE
  24
  25 #undef CPP_PREDEFINES
  26 #define CPP_PREDEFINES "-Dvax -Dunix -Asystem(unix) -Asystem(svr3) -Acpu(vax) -Amachine(vax)"
  27
  28 /* Output #ident as a .ident.  */
  29
  30 #define ASM_OUTPUT_IDENT(FILE, NAME) fprintf (FILE, "\t.ident \"%s\"\n", NAME);
  31
  32 #undef DBX_DEBUGGING_INFO
  33 #define SDB_DEBUGGING_INFO
  34
  35 #undef LIB_SPEC
  36
  37 /* The .file command should always begin the output.  */
  38 #undef ASM_FILE_START
  39 #define ASM_FILE_START(FILE) \
  40 output_file_directive ((FILE), main_input_filename)
  41
  42 #undef ASM_OUTPUT_ALIGN
  43 #define ASM_OUTPUT_ALIGN(FILE,LOG) \
  44   fprintf(FILE, "\t.align %d\n", 1 << (LOG))
  45
  46 #undef ASM_OUTPUT_LOCAL
  47 #define ASM_OUTPUT_LOCAL(FILE,NAME,SIZE,ROUNDED)        \
  48 ( data_section (),                                      \
  49   assemble_name ((FILE), (NAME)),                       \
  50   fprintf ((FILE), ":\n\t.space %u\n", (ROUNDED)))
  51
  52 #define ASM_OUTPUT_ASCII(FILE,PTR,LEN)                  \
  53 do {                                                    \
  54   const unsigned char *s;                               \
  55   int i;                                                \
  56   for (i = 0, s = (PTR); i < (LEN); s++, i++)           \
  57     {                                                   \
  58       if ((i % 8) == 0)                                 \
  59         fputs ("\n\t.byte\t", (FILE));                  \
  60       fprintf ((FILE), "%s0x%x", (i%8?",":""), (unsigned)*s); \
  61     }                                                   \
  62   fputs ("\n", (FILE));                                 \
  63 } while (0)
  64
  65 #undef ASM_OUTPUT_DOUBLE
  66 #define ASM_OUTPUT_DOUBLE(FILE,VALUE)                   \
  67 do { char dstr[30];                                     \
  68      REAL_VALUE_TO_DECIMAL (VALUE, "%.20e", dstr);      \
  69      fprintf (FILE, "\t.double 0d%s\n", dstr);          \
  70    } while (0)