2003-12-26 Guilhem Lavaux <guilhem@kaffe.org>
[official-gcc.git] / gcc / config / vax / vaxv.h
blobc85cf4a8a2f6304761f5d85bbfa33b3fb0a75e59
1 /* Definitions of target machine for GNU compiler. VAX sysV version.
2 Copyright (C) 1988, 1993, 1996, 2000, 2002 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC 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.
11 GCC 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.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
21 #define TARGET_OS_CPP_BUILTINS() \
22 do \
23 { \
24 builtin_define_std ("unix"); \
25 builtin_assert ("system=svr3"); \
27 builtin_define_std ("vax"); \
28 if (TARGET_G_FLOAT) \
29 builtin_define_std ("GFLOAT"); \
30 } \
31 while (0)
33 /* Output #ident as a .ident. */
35 #define ASM_OUTPUT_IDENT(FILE, NAME) fprintf (FILE, "\t.ident \"%s\"\n", NAME);
37 #undef DBX_DEBUGGING_INFO
38 #define SDB_DEBUGGING_INFO 1
40 #undef LIB_SPEC
42 /* The .file command should always begin the output. */
43 #define TARGET_ASM_FILE_START_FILE_DIRECTIVE true
45 #undef ASM_OUTPUT_ALIGN
46 #define ASM_OUTPUT_ALIGN(FILE,LOG) \
47 fprintf(FILE, "\t.align %d\n", 1 << (LOG))
49 #undef ASM_OUTPUT_LOCAL
50 #define ASM_OUTPUT_LOCAL(FILE,NAME,SIZE,ROUNDED) \
51 ( data_section (), \
52 assemble_name ((FILE), (NAME)), \
53 fprintf ((FILE), ":\n\t.space %u\n", (int)(ROUNDED)))
55 #define ASM_OUTPUT_ASCII(FILE,PTR,LEN) \
56 do { \
57 const unsigned char *s = (const unsigned char *)(PTR);\
58 size_t i, limit = (LEN); \
59 for (i = 0; i < limit; s++, i++) \
60 { \
61 if ((i % 8) == 0) \
62 fputs ("\n\t.byte\t", (FILE)); \
63 fprintf ((FILE), "%s0x%x", (i%8?",":""), (unsigned)*s); \
64 } \
65 fputs ("\n", (FILE)); \
66 } while (0)