OSDN Git Service

(gen_insn): Ignore insns whose names begin with '*'.
[pf3gnuchains/gcc-fork.git] / gcc / gencodes.c
1 /* Generate from machine description:
2
3    - some macros CODE_FOR_... giving the insn_code_number value
4    for each of the defined standard insn names.
5    Copyright (C) 1987, 1991, 1995 Free Software Foundation, Inc.
6
7 This file is part of GNU CC.
8
9 GNU CC is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2, or (at your option)
12 any later version.
13
14 GNU CC is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with GNU CC; see the file COPYING.  If not, write to
21 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
22
23
24 #include <stdio.h>
25 #include "hconfig.h"
26 #include "rtl.h"
27 #include "obstack.h"
28
29 static struct obstack obstack;
30 struct obstack *rtl_obstack = &obstack;
31
32 #define obstack_chunk_alloc xmalloc
33 #define obstack_chunk_free free
34
35 extern void free ();
36 extern rtx read_rtx ();
37
38 char *xmalloc ();
39 static void fatal ();
40 void fancy_abort ();
41
42 static int insn_code_number;
43
44 static void
45 gen_insn (insn)
46      rtx insn;
47 {
48   /* Don't mention instructions whose names are the null string
49      or begin with '*'.  They are in the machine description just
50      to be recognized.  */
51   if (XSTR (insn, 0)[0] != 0 && XSTR (insn, 0)[0] != '*')
52     printf ("  CODE_FOR_%s = %d,\n", XSTR (insn, 0),
53             insn_code_number);
54 }
55
56 char *
57 xmalloc (size)
58      unsigned size;
59 {
60   register char *val = (char *) malloc (size);
61
62   if (val == 0)
63     fatal ("virtual memory exhausted");
64   return val;
65 }
66
67 char *
68 xrealloc (ptr, size)
69      char *ptr;
70      unsigned size;
71 {
72   char *result = (char *) realloc (ptr, size);
73   if (!result)
74     fatal ("virtual memory exhausted");
75   return result;
76 }
77
78 static void
79 fatal (s, a1, a2)
80      char *s;
81 {
82   fprintf (stderr, "gencodes: ");
83   fprintf (stderr, s, a1, a2);
84   fprintf (stderr, "\n");
85   exit (FATAL_EXIT_CODE);
86 }
87
88 /* More 'friendly' abort that prints the line and file.
89    config.h can #define abort fancy_abort if you like that sort of thing.  */
90
91 void
92 fancy_abort ()
93 {
94   fatal ("Internal gcc abort.");
95 }
96 \f
97 int
98 main (argc, argv)
99      int argc;
100      char **argv;
101 {
102   rtx desc;
103   FILE *infile;
104   register int c;
105
106   obstack_init (rtl_obstack);
107
108   if (argc <= 1)
109     fatal ("No input file name.");
110
111   infile = fopen (argv[1], "r");
112   if (infile == 0)
113     {
114       perror (argv[1]);
115       exit (FATAL_EXIT_CODE);
116     }
117
118   init_rtl ();
119
120   printf ("/* Generated automatically by the program `gencodes'\n\
121 from the machine description file `md'.  */\n\n");
122
123   printf ("#ifndef MAX_INSN_CODE\n\n");
124
125   /* Read the machine description.  */
126
127   insn_code_number = 0;
128   printf ("enum insn_code {\n");
129
130   while (1)
131     {
132       c = read_skip_spaces (infile);
133       if (c == EOF)
134         break;
135       ungetc (c, infile);
136
137       desc = read_rtx (infile);
138       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
139         {
140           gen_insn (desc);
141           insn_code_number++;
142         }
143       if (GET_CODE (desc) == DEFINE_PEEPHOLE
144           || GET_CODE (desc) == DEFINE_SPLIT)
145         {
146           insn_code_number++;
147         }
148     }
149
150   printf ("  CODE_FOR_nothing };\n");
151
152   printf ("\n#define MAX_INSN_CODE ((int) CODE_FOR_nothing)\n");
153
154   printf ("#endif /* MAX_INSN_CODE */\n");
155
156   fflush (stdout);
157   exit (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
158   /* NOTREACHED */
159   return 0;
160 }