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