Make return in memory explicit.
[official-gcc.git] / gcc / gengenrtl.c
blob39f1dc26853f0af88fc510e0a5c6886e7c85cf39
1 /* Generate code to allocate RTL structures.
2 Copyright (C) 1997, 1998, 1999, 2000, 2002, 2003
3 Free Software Foundation, Inc.
5 This file is part of GCC.
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.
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.
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, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
23 #include "bconfig.h"
24 #include "system.h"
26 struct rtx_definition
28 const char *const enumname, *const name, *const format;
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 ""
36 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) { #ENUM, NAME, FORMAT },
38 static const struct rtx_definition defs[] =
40 #include "rtl.def" /* rtl expressions are documented here */
42 #define NUM_RTX_CODE ARRAY_SIZE(defs)
44 static const char *formats[NUM_RTX_CODE];
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);
59 /* Decode a format letter into a C type string. */
61 static const char *
62 type_from_format (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 (int c)
96 switch (c)
98 case 'i':
99 return "XINT";
101 case 'w':
102 return "XWINT";
104 case 's':
105 return "XSTR";
107 case 'e': case 'u':
108 return "XEXP";
110 case 'E':
111 return "XVEC";
113 case 'b':
114 return "XBITMAP";
116 case 't':
117 return "XTREE";
119 case 'B':
120 return "XBBDEF";
122 default:
123 abort ();
127 /* Return nonzero if we should ignore FMT, an RTL format, when making
128 the list of formats we write routines to create. */
130 static int
131 special_format (const char *fmt)
133 return (strchr (fmt, '*') != 0
134 || strchr (fmt, 'V') != 0
135 || strchr (fmt, 'S') != 0
136 || strchr (fmt, 'n') != 0);
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). */
143 static int
144 special_rtx (int idx)
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);
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). */
157 static int
158 excluded_rtx (int idx)
160 return (strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0);
163 /* Place a list of all format specifiers we use into the array FORMAT. */
165 static void
166 find_formats (void)
168 unsigned int i;
170 for (i = 0; i < NUM_RTX_CODE; i++)
172 const char **f;
174 if (special_format (defs[i].format))
175 continue;
177 for (f = formats; *f; f++)
178 if (! strcmp (*f, defs[i].format))
179 break;
181 if (*f == 0)
182 *f = defs[i].format;
186 /* Write the declarations for the routine to allocate RTL with FORMAT. */
188 static void
189 gendecl (const char *format)
191 const char *p;
192 int i, pos;
194 printf ("extern rtx gen_rtx_fmt_%s\t (RTX_CODE, ", format);
195 printf ("enum machine_mode mode");
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')
202 int ourlen = strlen (type_from_format (*p)) + 6 + (i > 9);
204 printf (",");
205 if (pos + ourlen > 76)
206 printf ("\n\t\t\t\t "), pos = 39;
208 printf (" %sarg%d", type_from_format (*p), i++);
209 pos += ourlen;
212 printf (");\n");
215 /* Generate macros to generate RTL of code IDX using the functions we
216 write. */
218 static void
219 genmacro (int idx)
221 const char *p;
222 int i;
224 /* We write a macro that defines gen_rtx_RTLCODE to be an equivalent to
225 gen_rtx_fmt_FORMAT where FORMAT is the RTX_FORMAT of RTLCODE. */
227 if (excluded_rtx (idx))
228 /* Don't define a macro for this code. */
229 return;
231 printf ("#define gen_rtx_%s%s(MODE",
232 special_rtx (idx) ? "raw_" : "", defs[idx].enumname);
234 for (p = defs[idx].format, i = 0; *p != 0; p++)
235 if (*p != '0')
236 printf (", ARG%d", i++);
238 printf (") \\\n gen_rtx_fmt_%s (%s, (MODE)",
239 defs[idx].format, defs[idx].enumname);
241 for (p = defs[idx].format, i = 0; *p != 0; p++)
242 if (*p != '0')
243 printf (", (ARG%d)", i++);
245 puts (")");
248 /* Generate the code for the function to generate RTL whose
249 format is FORMAT. */
251 static void
252 gendef (const char *format)
254 const char *p;
255 int i, j;
257 /* Start by writing the definition of the function name and the types
258 of the arguments. */
260 printf ("rtx\ngen_rtx_fmt_%s (RTX_CODE code, enum machine_mode mode", format);
261 for (p = format, i = 0; *p != 0; p++)
262 if (*p != '0')
263 printf (",\n\t%sarg%d", type_from_format (*p), i++);
265 puts (")");
267 /* Now write out the body of the function itself, which allocates
268 the memory and initializes it. */
269 puts ("{");
270 puts (" rtx rt;");
271 puts (" rt = ggc_alloc_rtx (code);\n");
273 puts (" memset (rt, 0, RTX_HDR_SIZE);\n");
274 puts (" PUT_CODE (rt, code);");
275 puts (" PUT_MODE (rt, mode);");
277 for (p = format, i = j = 0; *p ; ++p, ++i)
278 if (*p != '0')
279 printf (" %s (rt, %d) = arg%d;\n", accessor_from_format (*p), i, j++);
280 else
281 printf (" X0EXP (rt, %d) = NULL_RTX;\n", i);
283 puts ("\n return rt;\n}\n");
286 /* Generate the documentation header for files we write. */
288 static void
289 genlegend (void)
291 puts ("/* Generated automatically by gengenrtl from rtl.def. */\n");
294 /* Generate the text of the header file we make, genrtl.h. */
296 static void
297 genheader (void)
299 unsigned int i;
300 const char **fmt;
302 puts ("#ifndef GCC_GENRTL_H");
303 puts ("#define GCC_GENRTL_H\n");
305 for (fmt = formats; *fmt; ++fmt)
306 gendecl (*fmt);
308 putchar ('\n');
310 for (i = 0; i < NUM_RTX_CODE; i++)
311 if (! special_format (defs[i].format))
312 genmacro (i);
314 puts ("\n#endif /* GCC_GENRTL_H */");
317 /* Generate the text of the code file we write, genrtl.c. */
319 static void
320 gencode (void)
322 const char **fmt;
324 puts ("#include \"config.h\"");
325 puts ("#include \"system.h\"");
326 puts ("#include \"coretypes.h\"");
327 puts ("#include \"tm.h\"");
328 puts ("#include \"obstack.h\"");
329 puts ("#include \"rtl.h\"");
330 puts ("#include \"ggc.h\"\n");
332 for (fmt = formats; *fmt != 0; fmt++)
333 gendef (*fmt);
336 /* This is the main program. We accept only one argument, "-h", which
337 says we are writing the genrtl.h file. Otherwise we are writing the
338 genrtl.c file. */
341 main (int argc, char **argv)
343 find_formats ();
344 genlegend ();
346 if (argc == 2 && argv[1][0] == '-' && argv[1][1] == 'h')
347 genheader ();
348 else
349 gencode ();
351 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
352 return FATAL_EXIT_CODE;
354 return SUCCESS_EXIT_CODE;