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