]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gengenrtl.c
varasm.c: Use rtx_sequence
[thirdparty/gcc.git] / gcc / gengenrtl.c
CommitLineData
3b80f6ca 1/* Generate code to allocate RTL structures.
23a5b65a 2 Copyright (C) 1997-2014 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
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
1322177d 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
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
3b80f6ca
RH
19
20
4977bab6 21#include "bconfig.h"
b04cd507 22#include "system.h"
aa0b4465 23
8f9eb495 24struct rtx_definition
3b80f6ca 25{
8b60264b 26 const char *const enumname, *const name, *const format;
3b80f6ca
RH
27};
28
0974c7d7
ZW
29/* rtl.def needs CONST_DOUBLE_FORMAT, but we don't care what
30 CONST_DOUBLE_FORMAT is because we're not going to be generating
31 anything for CONST_DOUBLE anyway. */
32#define CONST_DOUBLE_FORMAT ""
33
9a238586 34#define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) { #ENUM, NAME, FORMAT },
3b80f6ca 35
8f9eb495
AJ
36static const struct rtx_definition defs[] =
37{
3b80f6ca
RH
38#include "rtl.def" /* rtl expressions are documented here */
39};
c3284718 40#define NUM_RTX_CODE ARRAY_SIZE (defs)
3b80f6ca 41
0b5826ac 42static const char *formats[NUM_RTX_CODE];
c5c76735 43\f
0133b7d9
RH
44/* Decode a format letter into a C type string. */
45
3b80f6ca 46static const char *
3d7aafde 47type_from_format (int c)
3b80f6ca
RH
48{
49 switch (c)
50 {
51 case 'i':
c5c76735
JL
52 return "int ";
53
3b80f6ca 54 case 'w':
c5c76735
JL
55 return "HOST_WIDE_INT ";
56
3b80f6ca 57 case 's':
3cce094d 58 return "const char *";
c5c76735
JL
59
60 case 'e': case 'u':
61 return "rtx ";
62
3b80f6ca 63 case 'E':
c5c76735 64 return "rtvec ";
0dfa1860 65 case 't':
b8244d74 66 return "tree ";
c8ea9a0f 67 case 'B':
b8244d74 68 return "basic_block ";
3b80f6ca 69 default:
b2d59f6f 70 gcc_unreachable ();
3b80f6ca
RH
71 }
72}
73
0133b7d9
RH
74/* Decode a format letter into the proper accessor function. */
75
3b80f6ca 76static const char *
3d7aafde 77accessor_from_format (int c)
3b80f6ca
RH
78{
79 switch (c)
80 {
81 case 'i':
82 return "XINT";
c5c76735 83
3b80f6ca
RH
84 case 'w':
85 return "XWINT";
c5c76735 86
3b80f6ca
RH
87 case 's':
88 return "XSTR";
c5c76735
JL
89
90 case 'e': case 'u':
3b80f6ca 91 return "XEXP";
c5c76735 92
3b80f6ca
RH
93 case 'E':
94 return "XVEC";
c5c76735 95
0dfa1860
MM
96 case 't':
97 return "XTREE";
c5c76735 98
c8ea9a0f
JH
99 case 'B':
100 return "XBBDEF";
10d1bb36
JH
101
102 default:
b2d59f6f 103 gcc_unreachable ();
3b80f6ca
RH
104 }
105}
106
c5c76735
JL
107/* Return nonzero if we should ignore FMT, an RTL format, when making
108 the list of formats we write routines to create. */
0133b7d9 109
3b80f6ca 110static int
3d7aafde 111special_format (const char *fmt)
3b80f6ca
RH
112{
113 return (strchr (fmt, '*') != 0
114 || strchr (fmt, 'V') != 0
115 || strchr (fmt, 'S') != 0
116 || strchr (fmt, 'n') != 0);
117}
118
5692c7bc
ZW
119/* Return nonzero if the RTL code given by index IDX is one that we should
120 generate a gen_rtx_raw_FOO macro for, not gen_rtx_FOO (because gen_rtx_FOO
121 is a wrapper in emit-rtl.c). */
0133b7d9 122
3b80f6ca 123static int
3d7aafde 124special_rtx (int idx)
3b80f6ca 125{
a756c6be
DM
126 return (strcmp (defs[idx].enumname, "INSN_LIST") == 0
127 || strcmp (defs[idx].enumname, "CONST_INT") == 0
41472af8 128 || strcmp (defs[idx].enumname, "REG") == 0
ddef6bc7 129 || strcmp (defs[idx].enumname, "SUBREG") == 0
a06e3c40 130 || strcmp (defs[idx].enumname, "MEM") == 0
3810076b
BS
131 || strcmp (defs[idx].enumname, "PC") == 0
132 || strcmp (defs[idx].enumname, "CC0") == 0
133 || strcmp (defs[idx].enumname, "RETURN") == 0
26898771 134 || strcmp (defs[idx].enumname, "SIMPLE_RETURN") == 0
a06e3c40 135 || strcmp (defs[idx].enumname, "CONST_VECTOR") == 0);
3b80f6ca
RH
136}
137
5692c7bc
ZW
138/* Return nonzero if the RTL code given by index IDX is one that we should
139 generate no macro for at all (because gen_rtx_FOO is never used or
140 cannot have the obvious interface). */
141
142static int
3d7aafde 143excluded_rtx (int idx)
5692c7bc 144{
fcc74520
RS
145 return (strcmp (defs[idx].enumname, "VAR_LOCATION") == 0
146 || strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0
147 || strcmp (defs[idx].enumname, "CONST_WIDE_INT") == 0
148 || strcmp (defs[idx].enumname, "CONST_FIXED") == 0);
5692c7bc
ZW
149}
150
dc297297 151/* Place a list of all format specifiers we use into the array FORMAT. */
0133b7d9 152
3b80f6ca 153static void
3d7aafde 154find_formats (void)
3b80f6ca 155{
3ef996b0 156 unsigned int i;
3b80f6ca 157
3ef996b0 158 for (i = 0; i < NUM_RTX_CODE; i++)
3b80f6ca
RH
159 {
160 const char **f;
161
162 if (special_format (defs[i].format))
163 continue;
164
c5c76735 165 for (f = formats; *f; f++)
0133b7d9 166 if (! strcmp (*f, defs[i].format))
3b80f6ca
RH
167 break;
168
c5c76735 169 if (*f == 0)
3b80f6ca
RH
170 *f = defs[i].format;
171 }
172}
173
3b80f6ca 174
c5c76735
JL
175/* Generate macros to generate RTL of code IDX using the functions we
176 write. */
0133b7d9 177
8f9eb495 178static void
3d7aafde 179genmacro (int idx)
3b80f6ca
RH
180{
181 const char *p;
182 int i;
183
c5c76735
JL
184 /* We write a macro that defines gen_rtx_RTLCODE to be an equivalent to
185 gen_rtx_fmt_FORMAT where FORMAT is the RTX_FORMAT of RTLCODE. */
3b80f6ca 186
5692c7bc
ZW
187 if (excluded_rtx (idx))
188 /* Don't define a macro for this code. */
189 return;
190
c5c76735
JL
191 printf ("#define gen_rtx_%s%s(MODE",
192 special_rtx (idx) ? "raw_" : "", defs[idx].enumname);
193
194 for (p = defs[idx].format, i = 0; *p != 0; p++)
3b80f6ca 195 if (*p != '0')
c5c76735
JL
196 printf (", ARG%d", i++);
197
198 printf (") \\\n gen_rtx_fmt_%s (%s, (MODE)",
199 defs[idx].format, defs[idx].enumname);
3b80f6ca 200
c5c76735 201 for (p = defs[idx].format, i = 0; *p != 0; p++)
3b80f6ca 202 if (*p != '0')
c5c76735
JL
203 printf (", (ARG%d)", i++);
204
f8a83ee3 205 puts (")");
3b80f6ca
RH
206}
207
c5c76735
JL
208/* Generate the code for the function to generate RTL whose
209 format is FORMAT. */
0133b7d9 210
3b80f6ca 211static void
3d7aafde 212gendef (const char *format)
3b80f6ca
RH
213{
214 const char *p;
215 int i, j;
8f9eb495 216
c5c76735
JL
217 /* Start by writing the definition of the function name and the types
218 of the arguments. */
3b80f6ca 219
6ac9d3a3 220 printf ("static inline rtx\ngen_rtx_fmt_%s_stat (RTX_CODE code, enum machine_mode mode", format);
c5c76735 221 for (p = format, i = 0; *p != 0; p++)
3b80f6ca 222 if (*p != '0')
6906ba40 223 printf (",\n\t%sarg%d", type_from_format (*p), i++);
3b80f6ca 224
9dbe7947 225 puts (" MEM_STAT_DECL)");
c5c76735
JL
226
227 /* Now write out the body of the function itself, which allocates
228 the memory and initializes it. */
f8a83ee3
ZW
229 puts ("{");
230 puts (" rtx rt;");
9dbe7947 231 puts (" rt = rtx_alloc_stat (code PASS_MEM_STAT);\n");
f8a83ee3 232
f8a83ee3 233 puts (" PUT_MODE (rt, mode);");
3b80f6ca
RH
234
235 for (p = format, i = j = 0; *p ; ++p, ++i)
236 if (*p != '0')
c5c76735 237 printf (" %s (rt, %d) = arg%d;\n", accessor_from_format (*p), i, j++);
f8a83ee3
ZW
238 else
239 printf (" X0EXP (rt, %d) = NULL_RTX;\n", i);
3b80f6ca 240
f8a83ee3 241 puts ("\n return rt;\n}\n");
6ac9d3a3
JH
242 printf ("#define gen_rtx_fmt_%s(c, m", format);
243 for (p = format, i = 0; *p != 0; p++)
244 if (*p != '0')
245 printf (", p%i",i++);
246 printf (")\\\n gen_rtx_fmt_%s_stat (c, m", format);
247 for (p = format, i = 0; *p != 0; p++)
248 if (*p != '0')
249 printf (", p%i",i++);
250 printf (" MEM_STAT_INFO)\n\n");
3b80f6ca
RH
251}
252
c5c76735 253/* Generate the documentation header for files we write. */
0133b7d9 254
3b80f6ca 255static void
3d7aafde 256genlegend (void)
3b80f6ca 257{
f8a83ee3 258 puts ("/* Generated automatically by gengenrtl from rtl.def. */\n");
3b80f6ca
RH
259}
260
c5c76735 261/* Generate the text of the header file we make, genrtl.h. */
0133b7d9 262
3b80f6ca 263static void
3d7aafde 264genheader (void)
3b80f6ca 265{
3ef996b0 266 unsigned int i;
3b80f6ca 267 const char **fmt;
0313e85b
ZW
268
269 puts ("#ifndef GCC_GENRTL_H");
270 puts ("#define GCC_GENRTL_H\n");
9dbe7947 271 puts ("#include \"statistics.h\"\n");
0313e85b 272
3b80f6ca 273 for (fmt = formats; *fmt; ++fmt)
6ac9d3a3 274 gendef (*fmt);
3b80f6ca 275
f8a83ee3 276 putchar ('\n');
3b80f6ca 277
3ef996b0 278 for (i = 0; i < NUM_RTX_CODE; i++)
c5c76735
JL
279 if (! special_format (defs[i].format))
280 genmacro (i);
0313e85b
ZW
281
282 puts ("\n#endif /* GCC_GENRTL_H */");
3b80f6ca
RH
283}
284
6ac9d3a3 285/* This is the main program. */
c5c76735 286
3b80f6ca 287int
6ac9d3a3 288main (void)
3b80f6ca 289{
3b80f6ca 290 find_formats ();
c5c76735 291 genlegend ();
3b80f6ca 292
6ac9d3a3 293 genheader ();
3b80f6ca 294
0313e85b
ZW
295 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
296 return FATAL_EXIT_CODE;
297
298 return SUCCESS_EXIT_CODE;
3b80f6ca 299}