diff options
Diffstat (limited to 'gcc/config/vax/vaxv.h')
-rwxr-xr-x | gcc/config/vax/vaxv.h | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/gcc/config/vax/vaxv.h b/gcc/config/vax/vaxv.h deleted file mode 100755 index 57dff40..0000000 --- a/gcc/config/vax/vaxv.h +++ /dev/null @@ -1,70 +0,0 @@ -/* Definitions of target machine for GNU compiler. Vax sysV version. - Copyright (C) 1988, 1993, 1996 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. */ - -/* Cope with these under SysV */ - -#define SCCS_DIRECTIVE - -#undef CPP_PREDEFINES -#define CPP_PREDEFINES "-Dvax -Dunix -Asystem(unix) -Asystem(svr3) -Acpu(vax) -Amachine(vax)" - -/* Output #ident as a .ident. */ - -#define ASM_OUTPUT_IDENT(FILE, NAME) fprintf (FILE, "\t.ident \"%s\"\n", NAME); - -#undef DBX_DEBUGGING_INFO -#define SDB_DEBUGGING_INFO - -#undef LIB_SPEC - -/* The .file command should always begin the output. */ -#undef ASM_FILE_START -#define ASM_FILE_START(FILE) \ -output_file_directive ((FILE), main_input_filename) - -#undef ASM_OUTPUT_ALIGN -#define ASM_OUTPUT_ALIGN(FILE,LOG) \ - fprintf(FILE, "\t.align %d\n", 1 << (LOG)) - -#undef ASM_OUTPUT_LOCAL -#define ASM_OUTPUT_LOCAL(FILE,NAME,SIZE,ROUNDED) \ -( data_section (), \ - assemble_name ((FILE), (NAME)), \ - fprintf ((FILE), ":\n\t.space %u\n", (ROUNDED))) - -#define ASM_OUTPUT_ASCII(FILE,PTR,LEN) \ -do { \ - unsigned char *s; \ - int i; \ - for (i = 0, s = (PTR); i < (LEN); s++, i++) \ - { \ - if ((i % 8) == 0) \ - fputs ("\n\t.byte\t", (FILE)); \ - fprintf ((FILE), "%s0x%x", (i%8?",":""), (unsigned)*s); \ - } \ - fputs ("\n", (FILE)); \ -} while (0) - -#undef ASM_OUTPUT_DOUBLE -#define ASM_OUTPUT_DOUBLE(FILE,VALUE) \ -do { char dstr[30]; \ - REAL_VALUE_TO_DECIMAL (VALUE, "%.20e", dstr); \ - fprintf (FILE, "\t.double 0d%s\n", dstr); \ - } while (0) |