final.c (final): Allow notes to not have computed addresses; kill no longer needed...
[official-gcc.git] / gcc / gengenrtl.c
blob31e5910f2377e4efb36a4d64d654c86e5fb3b1e1
1 /* Generate code to allocate RTL structures.
2 Copyright (C) 1997, 1998, 1999, 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 it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 2, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 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 the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
19 02111-1307, USA. */
22 #include "hconfig.h"
23 #include "system.h"
25 #define NO_GENRTL_H
26 #include "rtl.h"
27 #undef abort
29 #include "real.h"
31 struct rtx_definition
33 const char *const enumname, *const name, *const format;
36 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) { STRINGX(ENUM), NAME, FORMAT },
38 static const struct rtx_definition defs[] =
40 #include "rtl.def" /* rtl expressions are documented here */
43 static const char *formats[NUM_RTX_CODE];
45 static const char *type_from_format PARAMS ((int));
46 static const char *accessor_from_format PARAMS ((int));
47 static int special_format PARAMS ((const char *));
48 static int special_rtx PARAMS ((int));
49 static int excluded_rtx PARAMS ((int));
50 static void find_formats PARAMS ((void));
51 static void gendecl PARAMS ((const char *));
52 static void genmacro PARAMS ((int));
53 static void gendef PARAMS ((const char *));
54 static void genlegend PARAMS ((void));
55 static void genheader PARAMS ((void));
56 static void gencode PARAMS ((void));
58 /* Decode a format letter into a C type string. */
60 static const char *
61 type_from_format (c)
62 int c;
64 switch (c)
66 case 'i':
67 return "int ";
69 case 'w':
70 return "HOST_WIDE_INT ";
72 case 's':
73 return "const char *";
75 case 'e': case 'u':
76 return "rtx ";
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 abort ();
91 /* Decode a format letter into the proper accessor function. */
93 static const char *
94 accessor_from_format (c)
95 int c;
97 switch (c)
99 case 'i':
100 return "XINT";
102 case 'w':
103 return "XWINT";
105 case 's':
106 return "XSTR";
108 case 'e': case 'u':
109 return "XEXP";
111 case 'E':
112 return "XVEC";
114 case 'b':
115 return "XBITMAP";
117 case 't':
118 return "XTREE";
120 case 'B':
121 return "XBBDEF";
123 default:
124 abort ();
128 /* Return nonzero if we should ignore FMT, an RTL format, when making
129 the list of formats we write routines to create. */
131 static int
132 special_format (fmt)
133 const char *fmt;
135 return (strchr (fmt, '*') != 0
136 || strchr (fmt, 'V') != 0
137 || strchr (fmt, 'S') != 0
138 || strchr (fmt, 'n') != 0);
141 /* Return nonzero if the RTL code given by index IDX is one that we should
142 generate a gen_rtx_raw_FOO macro for, not gen_rtx_FOO (because gen_rtx_FOO
143 is a wrapper in emit-rtl.c). */
145 static int
146 special_rtx (idx)
147 int idx;
149 return (strcmp (defs[idx].enumname, "CONST_INT") == 0
150 || strcmp (defs[idx].enumname, "REG") == 0
151 || strcmp (defs[idx].enumname, "SUBREG") == 0
152 || strcmp (defs[idx].enumname, "MEM") == 0);
155 /* Return nonzero if the RTL code given by index IDX is one that we should
156 generate no macro for at all (because gen_rtx_FOO is never used or
157 cannot have the obvious interface). */
159 static int
160 excluded_rtx (idx)
161 int idx;
163 return (strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0);
166 /* Place a list of all format specifiers we use into the array FORMAT. */
168 static void
169 find_formats ()
171 int i;
173 for (i = 0; i < NUM_RTX_CODE; i++)
175 const char **f;
177 if (special_format (defs[i].format))
178 continue;
180 for (f = formats; *f; f++)
181 if (! strcmp (*f, defs[i].format))
182 break;
184 if (*f == 0)
185 *f = defs[i].format;
189 /* Write the declarations for the routine to allocate RTL with FORMAT. */
191 static void
192 gendecl (format)
193 const char *format;
195 const char *p;
196 int i, pos;
198 printf ("extern rtx gen_rtx_fmt_%s\tPARAMS ((RTX_CODE, ", format);
199 printf ("enum machine_mode mode");
201 /* Write each parameter that is needed and start a new line when the line
202 would overflow. */
203 for (p = format, i = 0, pos = 75; *p != 0; p++)
204 if (*p != '0')
206 int ourlen = strlen (type_from_format (*p)) + 6 + (i > 9);
208 printf (",");
209 if (pos + ourlen > 76)
210 printf ("\n\t\t\t\t "), pos = 39;
212 printf (" %sarg%d", type_from_format (*p), i++);
213 pos += ourlen;
216 printf ("));\n");
219 /* Generate macros to generate RTL of code IDX using the functions we
220 write. */
222 static void
223 genmacro (idx)
224 int idx;
226 const char *p;
227 int i;
229 /* We write a macro that defines gen_rtx_RTLCODE to be an equivalent to
230 gen_rtx_fmt_FORMAT where FORMAT is the RTX_FORMAT of RTLCODE. */
232 if (excluded_rtx (idx))
233 /* Don't define a macro for this code. */
234 return;
236 printf ("#define gen_rtx_%s%s(MODE",
237 special_rtx (idx) ? "raw_" : "", defs[idx].enumname);
239 for (p = defs[idx].format, i = 0; *p != 0; p++)
240 if (*p != '0')
241 printf (", ARG%d", i++);
243 printf (") \\\n gen_rtx_fmt_%s (%s, (MODE)",
244 defs[idx].format, defs[idx].enumname);
246 for (p = defs[idx].format, i = 0; *p != 0; p++)
247 if (*p != '0')
248 printf (", (ARG%d)", i++);
250 puts (")");
253 /* Generate the code for the function to generate RTL whose
254 format is FORMAT. */
256 static void
257 gendef (format)
258 const char *format;
260 const char *p;
261 int i, j;
263 /* Start by writing the definition of the function name and the types
264 of the arguments. */
266 printf ("rtx\ngen_rtx_fmt_%s (code, mode", format);
267 for (p = format, i = 0; *p != 0; p++)
268 if (*p != '0')
269 printf (", arg%d", i++);
271 puts (")\n RTX_CODE code;\n enum machine_mode mode;");
272 for (p = format, i = 0; *p != 0; p++)
273 if (*p != '0')
274 printf (" %sarg%d;\n", type_from_format (*p), i++);
276 /* Now write out the body of the function itself, which allocates
277 the memory and initializes it. */
278 puts ("{");
279 puts (" rtx rt;");
280 printf (" rt = ggc_alloc_rtx (%d);\n", (int) strlen (format));
282 puts (" memset (rt, 0, sizeof (struct rtx_def) - sizeof (rtunion));\n");
283 puts (" PUT_CODE (rt, code);");
284 puts (" PUT_MODE (rt, mode);");
286 for (p = format, i = j = 0; *p ; ++p, ++i)
287 if (*p != '0')
288 printf (" %s (rt, %d) = arg%d;\n", accessor_from_format (*p), i, j++);
289 else
290 printf (" X0EXP (rt, %d) = NULL_RTX;\n", i);
292 puts ("\n return rt;\n}\n");
295 /* Generate the documentation header for files we write. */
297 static void
298 genlegend ()
300 puts ("/* Generated automatically by gengenrtl from rtl.def. */\n");
303 /* Generate the text of the header file we make, genrtl.h. */
305 static void
306 genheader ()
308 int i;
309 const char **fmt;
311 puts ("#ifndef GCC_GENRTL_H");
312 puts ("#define GCC_GENRTL_H\n");
314 for (fmt = formats; *fmt; ++fmt)
315 gendecl (*fmt);
317 putchar ('\n');
319 for (i = 0; i < NUM_RTX_CODE; i++)
320 if (! special_format (defs[i].format))
321 genmacro (i);
323 puts ("\n#endif /* GCC_GENRTL_H */");
326 /* Generate the text of the code file we write, genrtl.c. */
328 static void
329 gencode ()
331 const char **fmt;
333 puts ("#include \"config.h\"");
334 puts ("#include \"system.h\"");
335 puts ("#include \"obstack.h\"");
336 puts ("#include \"rtl.h\"");
337 puts ("#include \"ggc.h\"\n");
338 puts ("extern struct obstack *rtl_obstack;\n");
339 puts ("#define obstack_alloc_rtx(n) \\");
340 puts (" ((rtx) obstack_alloc (rtl_obstack, \\");
341 puts (" sizeof (struct rtx_def) \\");
342 puts (" + ((n) - 1) * sizeof (rtunion)))\n");
344 for (fmt = formats; *fmt != 0; fmt++)
345 gendef (*fmt);
348 /* This is the main program. We accept only one argument, "-h", which
349 says we are writing the genrtl.h file. Otherwise we are writing the
350 genrtl.c file. */
351 extern int main PARAMS ((int, char **));
354 main (argc, argv)
355 int argc;
356 char **argv;
358 find_formats ();
359 genlegend ();
361 if (argc == 2 && argv[1][0] == '-' && argv[1][1] == 'h')
362 genheader ();
363 else
364 gencode ();
366 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
367 return FATAL_EXIT_CODE;
369 return SUCCESS_EXIT_CODE;