OSDN Git Service

* config/darwin.h (LINK_COMMAND_SPEC): Add .cxx/.cp for dsymutil
[pf3gnuchains/gcc-fork.git] / gcc / gengenrtl.c
1 /* Generate code to allocate RTL structures.
2    Copyright (C) 1997, 1998, 1999, 2000, 2002, 2003, 2004
3    Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
20 02110-1301, USA.  */
21
22
23 #include "bconfig.h"
24 #include "system.h"
25
26 struct rtx_definition
27 {
28   const char *const enumname, *const name, *const format;
29 };
30
31 /* rtl.def needs CONST_DOUBLE_FORMAT, but we don't care what
32    CONST_DOUBLE_FORMAT is because we're not going to be generating
33    anything for CONST_DOUBLE anyway.  */
34 #define CONST_DOUBLE_FORMAT ""
35
36 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) { #ENUM, NAME, FORMAT },
37
38 static const struct rtx_definition defs[] =
39 {
40 #include "rtl.def"              /* rtl expressions are documented here */
41 };
42 #define NUM_RTX_CODE ARRAY_SIZE(defs)
43
44 static const char *formats[NUM_RTX_CODE];
45
46 static const char *type_from_format     (int);
47 static const char *accessor_from_format (int);
48 static int special_format               (const char *);
49 static int special_rtx                  (int);
50 static int excluded_rtx                 (int);
51 static void find_formats                (void);
52 static void gendecl                     (const char *);
53 static void genmacro                    (int);
54 static void gendef                      (const char *);
55 static void genlegend                   (void);
56 static void genheader                   (void);
57 static void gencode                     (void);
58 \f
59 /* Decode a format letter into a C type string.  */
60
61 static const char *
62 type_from_format (int c)
63 {
64   switch (c)
65     {
66     case 'i':
67       return "int ";
68
69     case 'w':
70       return "HOST_WIDE_INT ";
71
72     case 's':
73       return "const char *";
74
75     case 'e':  case 'u':
76       return "rtx ";
77
78     case 'E':
79       return "rtvec ";
80     case 'b':
81       return "struct bitmap_head_def *";  /* bitmap - typedef not available */
82     case 't':
83       return "union tree_node *";  /* tree - typedef not available */
84     case 'B':
85       return "struct basic_block_def *";  /* basic block - typedef not available */
86     default:
87       gcc_unreachable ();
88     }
89 }
90
91 /* Decode a format letter into the proper accessor function.  */
92
93 static const char *
94 accessor_from_format (int c)
95 {
96   switch (c)
97     {
98     case 'i':
99       return "XINT";
100
101     case 'w':
102       return "XWINT";
103
104     case 's':
105       return "XSTR";
106
107     case 'e':  case 'u':
108       return "XEXP";
109
110     case 'E':
111       return "XVEC";
112
113     case 'b':
114       return "XBITMAP";
115
116     case 't':
117       return "XTREE";
118
119     case 'B':
120       return "XBBDEF";
121
122     default:
123       gcc_unreachable ();
124     }
125 }
126
127 /* Return nonzero if we should ignore FMT, an RTL format, when making
128    the list of formats we write routines to create.  */
129
130 static int
131 special_format (const char *fmt)
132 {
133   return (strchr (fmt, '*') != 0
134           || strchr (fmt, 'V') != 0
135           || strchr (fmt, 'S') != 0
136           || strchr (fmt, 'n') != 0);
137 }
138
139 /* Return nonzero if the RTL code given by index IDX is one that we should
140    generate a gen_rtx_raw_FOO macro for, not gen_rtx_FOO (because gen_rtx_FOO
141    is a wrapper in emit-rtl.c).  */
142
143 static int
144 special_rtx (int idx)
145 {
146   return (strcmp (defs[idx].enumname, "CONST_INT") == 0
147           || strcmp (defs[idx].enumname, "REG") == 0
148           || strcmp (defs[idx].enumname, "SUBREG") == 0
149           || strcmp (defs[idx].enumname, "MEM") == 0
150           || strcmp (defs[idx].enumname, "CONST_VECTOR") == 0);
151 }
152
153 /* Return nonzero if the RTL code given by index IDX is one that we should
154    generate no macro for at all (because gen_rtx_FOO is never used or
155    cannot have the obvious interface).  */
156
157 static int
158 excluded_rtx (int idx)
159 {
160   return (strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0);
161 }
162
163 /* Place a list of all format specifiers we use into the array FORMAT.  */
164
165 static void
166 find_formats (void)
167 {
168   unsigned int i;
169
170   for (i = 0; i < NUM_RTX_CODE; i++)
171     {
172       const char **f;
173
174       if (special_format (defs[i].format))
175         continue;
176
177       for (f = formats; *f; f++)
178         if (! strcmp (*f, defs[i].format))
179           break;
180
181       if (*f == 0)
182         *f = defs[i].format;
183     }
184 }
185
186 /* Write the declarations for the routine to allocate RTL with FORMAT.  */
187
188 static void
189 gendecl (const char *format)
190 {
191   const char *p;
192   int i, pos;
193
194   printf ("extern rtx gen_rtx_fmt_%s_stat\t (RTX_CODE, ", format);
195   printf ("enum machine_mode mode");
196
197   /* Write each parameter that is needed and start a new line when the line
198      would overflow.  */
199   for (p = format, i = 0, pos = 75; *p != 0; p++)
200     if (*p != '0')
201       {
202         int ourlen = strlen (type_from_format (*p)) + 6 + (i > 9);
203
204         printf (",");
205         if (pos + ourlen > 76)
206           printf ("\n\t\t\t\t      "), pos = 39;
207
208         printf (" %sarg%d", type_from_format (*p), i++);
209         pos += ourlen;
210       }
211   printf (" MEM_STAT_DECL");
212
213   printf (");\n");
214   printf ("#define gen_rtx_fmt_%s(c, m", format);
215   for (p = format, i = 0; *p != 0; p++)
216     if (*p != '0')
217       printf (", p%i",i++);
218   printf (")\\\n        gen_rtx_fmt_%s_stat (c, m", format);
219   for (p = format, i = 0; *p != 0; p++)
220     if (*p != '0')
221       printf (", p%i",i++);
222   printf (" MEM_STAT_INFO)\n\n");
223 }
224
225 /* Generate macros to generate RTL of code IDX using the functions we
226    write.  */
227
228 static void
229 genmacro (int idx)
230 {
231   const char *p;
232   int i;
233
234   /* We write a macro that defines gen_rtx_RTLCODE to be an equivalent to
235      gen_rtx_fmt_FORMAT where FORMAT is the RTX_FORMAT of RTLCODE.  */
236
237   if (excluded_rtx (idx))
238     /* Don't define a macro for this code.  */
239     return;
240
241   printf ("#define gen_rtx_%s%s(MODE",
242            special_rtx (idx) ? "raw_" : "", defs[idx].enumname);
243
244   for (p = defs[idx].format, i = 0; *p != 0; p++)
245     if (*p != '0')
246       printf (", ARG%d", i++);
247
248   printf (") \\\n  gen_rtx_fmt_%s (%s, (MODE)",
249           defs[idx].format, defs[idx].enumname);
250
251   for (p = defs[idx].format, i = 0; *p != 0; p++)
252     if (*p != '0')
253       printf (", (ARG%d)", i++);
254
255   puts (")");
256 }
257
258 /* Generate the code for the function to generate RTL whose
259    format is FORMAT.  */
260
261 static void
262 gendef (const char *format)
263 {
264   const char *p;
265   int i, j;
266
267   /* Start by writing the definition of the function name and the types
268      of the arguments.  */
269
270   printf ("rtx\ngen_rtx_fmt_%s_stat (RTX_CODE code, enum machine_mode mode", format);
271   for (p = format, i = 0; *p != 0; p++)
272     if (*p != '0')
273       printf (",\n\t%sarg%d", type_from_format (*p), i++);
274
275   puts (" MEM_STAT_DECL)");
276
277   /* Now write out the body of the function itself, which allocates
278      the memory and initializes it.  */
279   puts ("{");
280   puts ("  rtx rt;");
281   puts ("  rt = rtx_alloc_stat (code PASS_MEM_STAT);\n");
282
283   puts ("  PUT_MODE (rt, mode);");
284
285   for (p = format, i = j = 0; *p ; ++p, ++i)
286     if (*p != '0')
287       printf ("  %s (rt, %d) = arg%d;\n", accessor_from_format (*p), i, j++);
288     else
289       printf ("  X0EXP (rt, %d) = NULL_RTX;\n", i);
290
291   puts ("\n  return rt;\n}\n");
292 }
293
294 /* Generate the documentation header for files we write.  */
295
296 static void
297 genlegend (void)
298 {
299   puts ("/* Generated automatically by gengenrtl from rtl.def.  */\n");
300 }
301
302 /* Generate the text of the header file we make, genrtl.h.  */
303
304 static void
305 genheader (void)
306 {
307   unsigned int i;
308   const char **fmt;
309
310   puts ("#ifndef GCC_GENRTL_H");
311   puts ("#define GCC_GENRTL_H\n");
312   puts ("#include \"statistics.h\"\n");
313
314   for (fmt = formats; *fmt; ++fmt)
315     gendecl (*fmt);
316
317   putchar ('\n');
318
319   for (i = 0; i < NUM_RTX_CODE; i++)
320     if (! special_format (defs[i].format))
321       genmacro (i);
322
323   puts ("\n#endif /* GCC_GENRTL_H */");
324 }
325
326 /* Generate the text of the code file we write, genrtl.c.  */
327
328 static void
329 gencode (void)
330 {
331   const char **fmt;
332
333   puts ("#include \"config.h\"");
334   puts ("#include \"system.h\"");
335   puts ("#include \"coretypes.h\"");
336   puts ("#include \"tm.h\"");
337   puts ("#include \"obstack.h\"");
338   puts ("#include \"rtl.h\"");
339   puts ("#include \"ggc.h\"\n");
340
341   for (fmt = formats; *fmt != 0; fmt++)
342     gendef (*fmt);
343 }
344
345 /* This is the main program.  We accept only one argument, "-h", which
346    says we are writing the genrtl.h file.  Otherwise we are writing the
347    genrtl.c file.  */
348
349 int
350 main (int argc, char **argv)
351 {
352   find_formats ();
353   genlegend ();
354
355   if (argc == 2 && argv[1][0] == '-' && argv[1][1] == 'h')
356     genheader ();
357   else
358     gencode ();
359
360   if (ferror (stdout) || fflush (stdout) || fclose (stdout))
361     return FATAL_EXIT_CODE;
362
363   return SUCCESS_EXIT_CODE;
364 }