]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/genemit.c
re PR middle-end/58809 (ICE with complex variable in OpenMP reduction clause)
[thirdparty/gcc.git] / gcc / genemit.c
CommitLineData
65963943 1/* Generate code from machine description to emit insns as rtl.
d1e082c2 2 Copyright (C) 1987-2013 Free Software Foundation, Inc.
65963943 3
1322177d 4This file is part of GCC.
65963943 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.
65963943 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.
65963943
RK
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/>. */
65963943
RK
19
20
4977bab6 21#include "bconfig.h"
0b93b64e 22#include "system.h"
4977bab6
ZW
23#include "coretypes.h"
24#include "tm.h"
65963943 25#include "rtl.h"
f8b6598e 26#include "errors.h"
10692477 27#include "read-md.h"
c88c0d42 28#include "gensupport.h"
65963943 29
65963943 30
65963943
RK
31static int insn_code_number;
32static int insn_index_number;
33
34/* Data structure for recording the patterns of insns that have CLOBBERs.
3d7aafde 35 We use this to output a function that adds these CLOBBERs to a
65963943
RK
36 previously-allocated PARALLEL expression. */
37
38struct clobber_pat
39{
e5f6a288 40 struct clobber_ent *insns;
65963943
RK
41 rtx pattern;
42 int first_clobber;
43 struct clobber_pat *next;
751aa7cc 44 int has_hard_reg;
65963943
RK
45} *clobber_list;
46
e5f6a288
RK
47/* Records one insn that uses the clobber list. */
48
49struct clobber_ent
50{
51 int code_number; /* Counts only insns. */
52 struct clobber_ent *next;
53};
54
3d7aafde
AJ
55static void print_code (RTX_CODE);
56static void gen_exp (rtx, enum rtx_code, char *);
57static void gen_insn (rtx, int);
58static void gen_expand (rtx);
59static void gen_split (rtx);
60static void output_add_clobbers (void);
61static void output_added_clobbers_hard_reg_p (void);
62static void gen_rtx_scratch (rtx, enum rtx_code);
63static void output_peephole2_scratches (rtx);
e009aaf3 64
65963943
RK
65\f
66static void
3d7aafde 67print_code (RTX_CODE code)
65963943 68{
b3694847 69 const char *p1;
65963943 70 for (p1 = GET_RTX_NAME (code); *p1; p1++)
c3284718 71 putchar (TOUPPER (*p1));
65963943
RK
72}
73
ede7cd44 74static void
3d7aafde 75gen_rtx_scratch (rtx x, enum rtx_code subroutine_type)
ede7cd44
RH
76{
77 if (subroutine_type == DEFINE_PEEPHOLE2)
78 {
79 printf ("operand%d", XINT (x, 0));
80 }
81 else
82 {
83 printf ("gen_rtx_SCRATCH (%smode)", GET_MODE_NAME (GET_MODE (x)));
84 }
85}
86
65963943
RK
87/* Print a C expression to construct an RTX just like X,
88 substituting any operand references appearing within. */
89
90static void
3d7aafde 91gen_exp (rtx x, enum rtx_code subroutine_type, char *used)
65963943 92{
b3694847
SS
93 RTX_CODE code;
94 int i;
95 int len;
96 const char *fmt;
65963943
RK
97
98 if (x == 0)
99 {
3d678dca 100 printf ("NULL_RTX");
65963943
RK
101 return;
102 }
103
104 code = GET_CODE (x);
105
106 switch (code)
107 {
108 case MATCH_OPERAND:
109 case MATCH_DUP:
ab55f58c
RH
110 if (used)
111 {
112 if (used[XINT (x, 0)])
113 {
114 printf ("copy_rtx (operand%d)", XINT (x, 0));
115 return;
116 }
117 used[XINT (x, 0)] = 1;
118 }
65963943
RK
119 printf ("operand%d", XINT (x, 0));
120 return;
121
122 case MATCH_OP_DUP:
600555f5
KH
123 printf ("gen_rtx_fmt_");
124 for (i = 0; i < XVECLEN (x, 1); i++)
125 printf ("e");
126 printf (" (GET_CODE (operand%d), ", XINT (x, 0));
4ceb7595
JC
127 if (GET_MODE (x) == VOIDmode)
128 printf ("GET_MODE (operand%d)", XINT (x, 0));
129 else
130 printf ("%smode", GET_MODE_NAME (GET_MODE (x)));
65963943
RK
131 for (i = 0; i < XVECLEN (x, 1); i++)
132 {
133 printf (",\n\t\t");
ab55f58c 134 gen_exp (XVECEXP (x, 1, i), subroutine_type, used);
65963943
RK
135 }
136 printf (")");
137 return;
138
139 case MATCH_OPERATOR:
600555f5
KH
140 printf ("gen_rtx_fmt_");
141 for (i = 0; i < XVECLEN (x, 2); i++)
142 printf ("e");
143 printf (" (GET_CODE (operand%d)", XINT (x, 0));
65963943
RK
144 printf (", %smode", GET_MODE_NAME (GET_MODE (x)));
145 for (i = 0; i < XVECLEN (x, 2); i++)
146 {
147 printf (",\n\t\t");
ab55f58c 148 gen_exp (XVECEXP (x, 2, i), subroutine_type, used);
65963943
RK
149 }
150 printf (")");
151 return;
152
153 case MATCH_PARALLEL:
8fabbfe6 154 case MATCH_PAR_DUP:
65963943
RK
155 printf ("operand%d", XINT (x, 0));
156 return;
157
158 case MATCH_SCRATCH:
ede7cd44 159 gen_rtx_scratch (x, subroutine_type);
65963943
RK
160 return;
161
65963943
RK
162 case PC:
163 printf ("pc_rtx");
164 return;
3810076b
BS
165 case RETURN:
166 printf ("ret_rtx");
167 return;
26898771
BS
168 case SIMPLE_RETURN:
169 printf ("simple_return_rtx");
170 return;
3e89ed8d
JH
171 case CLOBBER:
172 if (REG_P (XEXP (x, 0)))
173 {
174 printf ("gen_hard_reg_clobber (%smode, %i)", GET_MODE_NAME (GET_MODE (XEXP (x, 0))),
175 REGNO (XEXP (x, 0)));
176 return;
177 }
178 break;
65963943
RK
179
180 case CC0:
181 printf ("cc0_rtx");
182 return;
183
184 case CONST_INT:
185 if (INTVAL (x) == 0)
3d678dca
RS
186 printf ("const0_rtx");
187 else if (INTVAL (x) == 1)
188 printf ("const1_rtx");
189 else if (INTVAL (x) == -1)
190 printf ("constm1_rtx");
11b635fe
KH
191 else if (-MAX_SAVED_CONST_INT <= INTVAL (x)
192 && INTVAL (x) <= MAX_SAVED_CONST_INT)
193 printf ("const_int_rtx[MAX_SAVED_CONST_INT + (%d)]",
194 (int) INTVAL (x));
3d678dca
RS
195 else if (INTVAL (x) == STORE_FLAG_VALUE)
196 printf ("const_true_rtx");
197 else
76d31c63
JL
198 {
199 printf ("GEN_INT (");
bb9b3805 200 printf (HOST_WIDE_INT_PRINT_DEC_C, INTVAL (x));
76d31c63
JL
201 printf (")");
202 }
3d678dca
RS
203 return;
204
205 case CONST_DOUBLE:
091a3ac7 206 case CONST_FIXED:
3d678dca
RS
207 /* These shouldn't be written in MD files. Instead, the appropriate
208 routines in varasm.c should be called. */
b2d59f6f 209 gcc_unreachable ();
1d300e19
KG
210
211 default:
212 break;
65963943
RK
213 }
214
3b80f6ca 215 printf ("gen_rtx_");
65963943 216 print_code (code);
3b80f6ca 217 printf (" (%smode", GET_MODE_NAME (GET_MODE (x)));
65963943
RK
218
219 fmt = GET_RTX_FORMAT (code);
220 len = GET_RTX_LENGTH (code);
221 for (i = 0; i < len; i++)
222 {
223 if (fmt[i] == '0')
224 break;
a558d864 225 printf (",\n\t");
b2d59f6f 226 switch (fmt[i])
65963943 227 {
b2d59f6f
NS
228 case 'e': case 'u':
229 gen_exp (XEXP (x, i), subroutine_type, used);
230 break;
231
232 case 'i':
233 printf ("%u", XINT (x, i));
234 break;
235
236 case 's':
237 printf ("\"%s\"", XSTR (x, i));
238 break;
239
240 case 'E':
241 {
242 int j;
243 printf ("gen_rtvec (%d", XVECLEN (x, i));
244 for (j = 0; j < XVECLEN (x, i); j++)
245 {
246 printf (",\n\t\t");
247 gen_exp (XVECEXP (x, i, j), subroutine_type, used);
248 }
249 printf (")");
250 break;
251 }
252
253 default:
254 gcc_unreachable ();
65963943 255 }
65963943
RK
256 }
257 printf (")");
3d7aafde 258}
65963943
RK
259\f
260/* Generate the `gen_...' function for a DEFINE_INSN. */
261
262static void
3d7aafde 263gen_insn (rtx insn, int lineno)
65963943 264{
e792559a 265 struct pattern_stats stats;
b3694847 266 int i;
65963943
RK
267
268 /* See if the pattern for this insn ends with a group of CLOBBERs of (hard)
269 registers or MATCH_SCRATCHes. If so, store away the information for
0f41302f 270 later. */
65963943
RK
271
272 if (XVEC (insn, 1))
273 {
751aa7cc
RK
274 int has_hard_reg = 0;
275
65963943 276 for (i = XVECLEN (insn, 1) - 1; i > 0; i--)
751aa7cc
RK
277 {
278 if (GET_CODE (XVECEXP (insn, 1, i)) != CLOBBER)
279 break;
280
f8cfc6aa 281 if (REG_P (XEXP (XVECEXP (insn, 1, i), 0)))
751aa7cc
RK
282 has_hard_reg = 1;
283 else if (GET_CODE (XEXP (XVECEXP (insn, 1, i), 0)) != MATCH_SCRATCH)
284 break;
285 }
65963943
RK
286
287 if (i != XVECLEN (insn, 1) - 1)
288 {
b3694847 289 struct clobber_pat *p;
5ed6ace5 290 struct clobber_ent *link = XNEW (struct clobber_ent);
b3694847 291 int j;
e5f6a288
RK
292
293 link->code_number = insn_code_number;
294
295 /* See if any previous CLOBBER_LIST entry is the same as this
296 one. */
297
298 for (p = clobber_list; p; p = p->next)
299 {
300 if (p->first_clobber != i + 1
301 || XVECLEN (p->pattern, 1) != XVECLEN (insn, 1))
302 continue;
303
304 for (j = i + 1; j < XVECLEN (insn, 1); j++)
305 {
8ad97cfc
KG
306 rtx old_rtx = XEXP (XVECEXP (p->pattern, 1, j), 0);
307 rtx new_rtx = XEXP (XVECEXP (insn, 1, j), 0);
e5f6a288 308
8ad97cfc 309 /* OLD and NEW_INSN are the same if both are to be a SCRATCH
3d7aafde 310 of the same mode,
e5f6a288 311 or if both are registers of the same mode and number. */
8ad97cfc
KG
312 if (! (GET_MODE (old_rtx) == GET_MODE (new_rtx)
313 && ((GET_CODE (old_rtx) == MATCH_SCRATCH
314 && GET_CODE (new_rtx) == MATCH_SCRATCH)
315 || (REG_P (old_rtx) && REG_P (new_rtx)
316 && REGNO (old_rtx) == REGNO (new_rtx)))))
e5f6a288
RK
317 break;
318 }
3d7aafde 319
e5f6a288
RK
320 if (j == XVECLEN (insn, 1))
321 break;
322 }
323
324 if (p == 0)
325 {
5ed6ace5 326 p = XNEW (struct clobber_pat);
3d7aafde 327
e5f6a288
RK
328 p->insns = 0;
329 p->pattern = insn;
330 p->first_clobber = i + 1;
331 p->next = clobber_list;
751aa7cc 332 p->has_hard_reg = has_hard_reg;
e5f6a288
RK
333 clobber_list = p;
334 }
335
336 link->next = p->insns;
337 p->insns = link;
65963943
RK
338 }
339 }
340
6b6ca844
RK
341 /* Don't mention instructions whose names are the null string
342 or begin with '*'. They are in the machine description just
343 to be recognized. */
344 if (XSTR (insn, 0)[0] == 0 || XSTR (insn, 0)[0] == '*')
65963943
RK
345 return;
346
d2a3ce4e 347 printf ("/* %s:%d */\n", read_md_filename, lineno);
821e35ba 348
85a45cbb 349 /* Find out how many operands this function has. */
e792559a
RS
350 get_pattern_stats (&stats, XVEC (insn, 1));
351 if (stats.max_dup_opno > stats.max_opno)
65963943
RK
352 fatal ("match_dup operand number has no match_operand");
353
354 /* Output the function name and argument declarations. */
355 printf ("rtx\ngen_%s (", XSTR (insn, 0));
e792559a
RS
356 if (stats.num_generator_args)
357 for (i = 0; i < stats.num_generator_args; i++)
6906ba40
KG
358 if (i)
359 printf (",\n\trtx operand%d ATTRIBUTE_UNUSED", i);
360 else
361 printf ("rtx operand%d ATTRIBUTE_UNUSED", i);
362 else
363 printf ("void");
65963943 364 printf (")\n");
65963943
RK
365 printf ("{\n");
366
6614fd40 367 /* Output code to construct and return the rtl for the instruction body. */
65963943
RK
368
369 if (XVECLEN (insn, 1) == 1)
370 {
371 printf (" return ");
ab55f58c 372 gen_exp (XVECEXP (insn, 1, 0), DEFINE_INSN, NULL);
65963943
RK
373 printf (";\n}\n\n");
374 }
375 else
376 {
e792559a 377 char *used = XCNEWVEC (char, stats.num_generator_args);
329b3cc3 378
c5c76735
JL
379 printf (" return gen_rtx_PARALLEL (VOIDmode, gen_rtvec (%d",
380 XVECLEN (insn, 1));
381
65963943
RK
382 for (i = 0; i < XVECLEN (insn, 1); i++)
383 {
384 printf (",\n\t\t");
329b3cc3 385 gen_exp (XVECEXP (insn, 1, i), DEFINE_INSN, used);
65963943
RK
386 }
387 printf ("));\n}\n\n");
329b3cc3 388 XDELETEVEC (used);
65963943
RK
389 }
390}
391\f
392/* Generate the `gen_...' function for a DEFINE_EXPAND. */
393
394static void
3d7aafde 395gen_expand (rtx expand)
65963943 396{
e792559a 397 struct pattern_stats stats;
b3694847 398 int i;
329b3cc3 399 char *used;
65963943
RK
400
401 if (strlen (XSTR (expand, 0)) == 0)
402 fatal ("define_expand lacks a name");
403 if (XVEC (expand, 1) == 0)
404 fatal ("define_expand for %s lacks a pattern", XSTR (expand, 0));
405
85a45cbb 406 /* Find out how many operands this function has. */
e792559a 407 get_pattern_stats (&stats, XVEC (expand, 1));
65963943
RK
408
409 /* Output the function name and argument declarations. */
410 printf ("rtx\ngen_%s (", XSTR (expand, 0));
e792559a
RS
411 if (stats.num_generator_args)
412 for (i = 0; i < stats.num_generator_args; i++)
6906ba40
KG
413 if (i)
414 printf (",\n\trtx operand%d", i);
415 else
416 printf ("rtx operand%d", i);
417 else
418 printf ("void");
65963943 419 printf (")\n");
65963943
RK
420 printf ("{\n");
421
422 /* If we don't have any C code to write, only one insn is being written,
423 and no MATCH_DUPs are present, we can just return the desired insn
424 like we do for a DEFINE_INSN. This saves memory. */
425 if ((XSTR (expand, 3) == 0 || *XSTR (expand, 3) == '\0')
e792559a 426 && stats.max_opno >= stats.max_dup_opno
65963943
RK
427 && XVECLEN (expand, 1) == 1)
428 {
429 printf (" return ");
ab55f58c 430 gen_exp (XVECEXP (expand, 1, 0), DEFINE_EXPAND, NULL);
65963943
RK
431 printf (";\n}\n\n");
432 return;
433 }
434
435 /* For each operand referred to only with MATCH_DUPs,
436 make a local variable. */
e792559a 437 for (i = stats.num_generator_args; i <= stats.max_dup_opno; i++)
65963943 438 printf (" rtx operand%d;\n", i);
e792559a 439 for (; i <= stats.max_scratch_opno; i++)
b3656137 440 printf (" rtx operand%d ATTRIBUTE_UNUSED;\n", i);
65963943
RK
441 printf (" rtx _val = 0;\n");
442 printf (" start_sequence ();\n");
443
444 /* The fourth operand of DEFINE_EXPAND is some code to be executed
445 before the actual construction.
446 This code expects to refer to `operands'
447 just as the output-code in a DEFINE_INSN does,
448 but here `operands' is an automatic array.
449 So copy the operand values there before executing it. */
450 if (XSTR (expand, 3) && *XSTR (expand, 3))
451 {
e2bef702 452 printf (" {\n");
e792559a
RS
453 if (stats.num_operand_vars > 0)
454 printf (" rtx operands[%d];\n", stats.num_operand_vars);
455
65963943 456 /* Output code to copy the arguments into `operands'. */
e792559a 457 for (i = 0; i < stats.num_generator_args; i++)
e2bef702 458 printf (" operands[%d] = operand%d;\n", i, i);
65963943
RK
459
460 /* Output the special code to be executed before the sequence
461 is generated. */
d2a3ce4e 462 print_md_ptr_loc (XSTR (expand, 3));
65963943
RK
463 printf ("%s\n", XSTR (expand, 3));
464
465 /* Output code to copy the arguments back out of `operands'
466 (unless we aren't going to use them at all). */
467 if (XVEC (expand, 1) != 0)
468 {
e792559a 469 for (i = 0; i < stats.num_operand_vars; i++)
60d3aec4
JJ
470 {
471 printf (" operand%d = operands[%d];\n", i, i);
472 printf (" (void) operand%d;\n", i);
473 }
65963943 474 }
e2bef702 475 printf (" }\n");
65963943
RK
476 }
477
478 /* Output code to construct the rtl for the instruction bodies.
479 Use emit_insn to add them to the sequence being accumulated.
480 But don't do this if the user's code has set `no_more' nonzero. */
481
e792559a 482 used = XCNEWVEC (char, stats.num_operand_vars);
329b3cc3 483
65963943
RK
484 for (i = 0; i < XVECLEN (expand, 1); i++)
485 {
486 rtx next = XVECEXP (expand, 1, i);
487 if ((GET_CODE (next) == SET && GET_CODE (SET_DEST (next)) == PC)
488 || (GET_CODE (next) == PARALLEL
79cbc1f7
BS
489 && ((GET_CODE (XVECEXP (next, 0, 0)) == SET
490 && GET_CODE (SET_DEST (XVECEXP (next, 0, 0))) == PC)
26898771
BS
491 || ANY_RETURN_P (XVECEXP (next, 0, 0))))
492 || ANY_RETURN_P (next))
65963943
RK
493 printf (" emit_jump_insn (");
494 else if ((GET_CODE (next) == SET && GET_CODE (SET_SRC (next)) == CALL)
495 || GET_CODE (next) == CALL
496 || (GET_CODE (next) == PARALLEL
497 && GET_CODE (XVECEXP (next, 0, 0)) == SET
498 && GET_CODE (SET_SRC (XVECEXP (next, 0, 0))) == CALL)
499 || (GET_CODE (next) == PARALLEL
500 && GET_CODE (XVECEXP (next, 0, 0)) == CALL))
501 printf (" emit_call_insn (");
4b4bf941 502 else if (LABEL_P (next))
65963943
RK
503 printf (" emit_label (");
504 else if (GET_CODE (next) == MATCH_OPERAND
d3ca5cdd 505 || GET_CODE (next) == MATCH_DUP
65963943 506 || GET_CODE (next) == MATCH_OPERATOR
65963943 507 || GET_CODE (next) == MATCH_OP_DUP
d3ca5cdd
JW
508 || GET_CODE (next) == MATCH_PARALLEL
509 || GET_CODE (next) == MATCH_PAR_DUP
65963943
RK
510 || GET_CODE (next) == PARALLEL)
511 printf (" emit (");
512 else
513 printf (" emit_insn (");
329b3cc3 514 gen_exp (next, DEFINE_EXPAND, used);
65963943
RK
515 printf (");\n");
516 if (GET_CODE (next) == SET && GET_CODE (SET_DEST (next)) == PC
517 && GET_CODE (SET_SRC (next)) == LABEL_REF)
518 printf (" emit_barrier ();");
519 }
520
329b3cc3
KK
521 XDELETEVEC (used);
522
2f937369 523 /* Call `get_insns' to extract the list of all the
65963943
RK
524 insns emitted within this gen_... function. */
525
2f937369 526 printf (" _val = get_insns ();\n");
65963943
RK
527 printf (" end_sequence ();\n");
528 printf (" return _val;\n}\n\n");
529}
530
2f937369 531/* Like gen_expand, but generates insns resulting from splitting SPLIT. */
0f41302f 532
65963943 533static void
3d7aafde 534gen_split (rtx split)
65963943 535{
e792559a 536 struct pattern_stats stats;
b3694847 537 int i;
27c38fbe
KG
538 const char *const name =
539 ((GET_CODE (split) == DEFINE_PEEPHOLE2) ? "peephole2" : "split");
751aa7cc 540 const char *unused;
ab55f58c 541 char *used;
ede7cd44 542
65963943 543 if (XVEC (split, 0) == 0)
ede7cd44
RH
544 fatal ("define_%s (definition %d) lacks a pattern", name,
545 insn_index_number);
65963943 546 else if (XVEC (split, 2) == 0)
ede7cd44 547 fatal ("define_%s (definition %d) lacks a replacement pattern", name,
3462dc45 548 insn_index_number);
65963943
RK
549
550 /* Find out how many operands this function has. */
551
e792559a
RS
552 get_pattern_stats (&stats, XVEC (split, 2));
553 unused = (stats.num_operand_vars == 0 ? " ATTRIBUTE_UNUSED" : "");
554 used = XCNEWVEC (char, stats.num_operand_vars);
65963943 555
ede7cd44
RH
556 /* Output the prototype, function name and argument declarations. */
557 if (GET_CODE (split) == DEFINE_PEEPHOLE2)
558 {
3d7aafde 559 printf ("extern rtx gen_%s_%d (rtx, rtx *);\n",
ede7cd44 560 name, insn_code_number);
0641776c
AJ
561 printf ("rtx\ngen_%s_%d (rtx curr_insn ATTRIBUTE_UNUSED, rtx *operands%s)\n",
562 name, insn_code_number, unused);
ede7cd44
RH
563 }
564 else
565 {
a406f566 566 printf ("extern rtx gen_split_%d (rtx, rtx *);\n", insn_code_number);
5abc5de9 567 printf ("rtx\ngen_split_%d (rtx curr_insn ATTRIBUTE_UNUSED, rtx *operands%s)\n",
a406f566 568 insn_code_number, unused);
ede7cd44 569 }
65963943
RK
570 printf ("{\n");
571
572 /* Declare all local variables. */
e792559a 573 for (i = 0; i < stats.num_operand_vars; i++)
65963943 574 printf (" rtx operand%d;\n", i);
91afd8f5 575 printf (" rtx _val = 0;\n");
ede7cd44
RH
576
577 if (GET_CODE (split) == DEFINE_PEEPHOLE2)
578 output_peephole2_scratches (split);
579
65963943
RK
580 printf (" start_sequence ();\n");
581
582 /* The fourth operand of DEFINE_SPLIT is some code to be executed
583 before the actual construction. */
584
585 if (XSTR (split, 3))
7445392c 586 {
d2a3ce4e 587 print_md_ptr_loc (XSTR (split, 3));
7445392c
RS
588 printf ("%s\n", XSTR (split, 3));
589 }
65963943
RK
590
591 /* Output code to copy the arguments back out of `operands' */
e792559a 592 for (i = 0; i < stats.num_operand_vars; i++)
60d3aec4
JJ
593 {
594 printf (" operand%d = operands[%d];\n", i, i);
595 printf (" (void) operand%d;\n", i);
596 }
65963943
RK
597
598 /* Output code to construct the rtl for the instruction bodies.
599 Use emit_insn to add them to the sequence being accumulated.
600 But don't do this if the user's code has set `no_more' nonzero. */
601
602 for (i = 0; i < XVECLEN (split, 2); i++)
603 {
604 rtx next = XVECEXP (split, 2, i);
605 if ((GET_CODE (next) == SET && GET_CODE (SET_DEST (next)) == PC)
606 || (GET_CODE (next) == PARALLEL
607 && GET_CODE (XVECEXP (next, 0, 0)) == SET
608 && GET_CODE (SET_DEST (XVECEXP (next, 0, 0))) == PC)
26898771 609 || ANY_RETURN_P (next))
65963943
RK
610 printf (" emit_jump_insn (");
611 else if ((GET_CODE (next) == SET && GET_CODE (SET_SRC (next)) == CALL)
612 || GET_CODE (next) == CALL
613 || (GET_CODE (next) == PARALLEL
614 && GET_CODE (XVECEXP (next, 0, 0)) == SET
615 && GET_CODE (SET_SRC (XVECEXP (next, 0, 0))) == CALL)
616 || (GET_CODE (next) == PARALLEL
617 && GET_CODE (XVECEXP (next, 0, 0)) == CALL))
618 printf (" emit_call_insn (");
4b4bf941 619 else if (LABEL_P (next))
65963943
RK
620 printf (" emit_label (");
621 else if (GET_CODE (next) == MATCH_OPERAND
622 || GET_CODE (next) == MATCH_OPERATOR
623 || GET_CODE (next) == MATCH_PARALLEL
624 || GET_CODE (next) == MATCH_OP_DUP
625 || GET_CODE (next) == MATCH_DUP
626 || GET_CODE (next) == PARALLEL)
627 printf (" emit (");
628 else
629 printf (" emit_insn (");
ab55f58c 630 gen_exp (next, GET_CODE (split), used);
65963943
RK
631 printf (");\n");
632 if (GET_CODE (next) == SET && GET_CODE (SET_DEST (next)) == PC
633 && GET_CODE (SET_SRC (next)) == LABEL_REF)
634 printf (" emit_barrier ();");
635 }
636
2f937369 637 /* Call `get_insns' to make a list of all the
65963943
RK
638 insns emitted within this gen_... function. */
639
2f937369 640 printf (" _val = get_insns ();\n");
65963943
RK
641 printf (" end_sequence ();\n");
642 printf (" return _val;\n}\n\n");
ab55f58c
RH
643
644 free (used);
65963943
RK
645}
646\f
647/* Write a function, `add_clobbers', that is given a PARALLEL of sufficient
648 size for the insn and an INSN_CODE, and inserts the required CLOBBERs at
649 the end of the vector. */
650
651static void
7e51717c 652output_add_clobbers (void)
65963943
RK
653{
654 struct clobber_pat *clobber;
e5f6a288 655 struct clobber_ent *ent;
65963943
RK
656 int i;
657
6906ba40 658 printf ("\n\nvoid\nadd_clobbers (rtx pattern ATTRIBUTE_UNUSED, int insn_code_number)\n");
65963943 659 printf ("{\n");
65963943
RK
660 printf (" switch (insn_code_number)\n");
661 printf (" {\n");
662
663 for (clobber = clobber_list; clobber; clobber = clobber->next)
664 {
e5f6a288
RK
665 for (ent = clobber->insns; ent; ent = ent->next)
666 printf (" case %d:\n", ent->code_number);
65963943
RK
667
668 for (i = clobber->first_clobber; i < XVECLEN (clobber->pattern, 1); i++)
669 {
670 printf (" XVECEXP (pattern, 0, %d) = ", i);
ede7cd44 671 gen_exp (XVECEXP (clobber->pattern, 1, i),
ab55f58c 672 GET_CODE (clobber->pattern), NULL);
65963943
RK
673 printf (";\n");
674 }
675
e5f6a288 676 printf (" break;\n\n");
65963943
RK
677 }
678
679 printf (" default:\n");
b2d59f6f 680 printf (" gcc_unreachable ();\n");
65963943
RK
681 printf (" }\n");
682 printf ("}\n");
683}
684\f
6327d36a
RK
685/* Write a function, `added_clobbers_hard_reg_p' that is given an insn_code
686 number that will have clobbers added (as indicated by `recog') and returns
687 1 if those include a clobber of a hard reg or 0 if all of them just clobber
688 SCRATCH. */
751aa7cc
RK
689
690static void
3d7aafde 691output_added_clobbers_hard_reg_p (void)
751aa7cc
RK
692{
693 struct clobber_pat *clobber;
694 struct clobber_ent *ent;
a29b099d 695 int clobber_p, used;
751aa7cc 696
6906ba40 697 printf ("\n\nint\nadded_clobbers_hard_reg_p (int insn_code_number)\n");
751aa7cc
RK
698 printf ("{\n");
699 printf (" switch (insn_code_number)\n");
700 printf (" {\n");
701
702 for (clobber_p = 0; clobber_p <= 1; clobber_p++)
703 {
a29b099d 704 used = 0;
751aa7cc
RK
705 for (clobber = clobber_list; clobber; clobber = clobber->next)
706 if (clobber->has_hard_reg == clobber_p)
707 for (ent = clobber->insns; ent; ent = ent->next)
a29b099d
JJ
708 {
709 printf (" case %d:\n", ent->code_number);
710 used++;
711 }
751aa7cc 712
a29b099d
JJ
713 if (used)
714 printf (" return %d;\n\n", clobber_p);
751aa7cc
RK
715 }
716
717 printf (" default:\n");
b2d59f6f 718 printf (" gcc_unreachable ();\n");
751aa7cc
RK
719 printf (" }\n");
720 printf ("}\n");
721}
722\f
ede7cd44 723/* Generate code to invoke find_free_register () as needed for the
dc297297 724 scratch registers used by the peephole2 pattern in SPLIT. */
ede7cd44
RH
725
726static void
3d7aafde 727output_peephole2_scratches (rtx split)
ede7cd44
RH
728{
729 int i;
730 int insn_nr = 0;
f1ed99cd 731 bool first = true;
ede7cd44
RH
732
733 for (i = 0; i < XVECLEN (split, 0); i++)
734 {
735 rtx elt = XVECEXP (split, 0, i);
736 if (GET_CODE (elt) == MATCH_SCRATCH)
737 {
738 int last_insn_nr = insn_nr;
739 int cur_insn_nr = insn_nr;
740 int j;
741 for (j = i + 1; j < XVECLEN (split, 0); j++)
742 if (GET_CODE (XVECEXP (split, 0, j)) == MATCH_DUP)
743 {
744 if (XINT (XVECEXP (split, 0, j), 0) == XINT (elt, 0))
745 last_insn_nr = cur_insn_nr;
746 }
747 else if (GET_CODE (XVECEXP (split, 0, j)) != MATCH_SCRATCH)
748 cur_insn_nr++;
23280139 749
f1ed99cd
JJ
750 if (first)
751 {
752 printf (" HARD_REG_SET _regs_allocated;\n");
753 printf (" CLEAR_HARD_REG_SET (_regs_allocated);\n");
754 first = false;
755 }
756
23280139 757 printf (" if ((operands[%d] = peep2_find_free_register (%d, %d, \"%s\", %smode, &_regs_allocated)) == NULL_RTX)\n\
3d7aafde 758 return NULL;\n",
ede7cd44 759 XINT (elt, 0),
23280139 760 insn_nr, last_insn_nr,
ede7cd44
RH
761 XSTR (elt, 1),
762 GET_MODE_NAME (GET_MODE (elt)));
763
764 }
765 else if (GET_CODE (elt) != MATCH_DUP)
766 insn_nr++;
767 }
768}
65963943 769
65963943 770int
3d7aafde 771main (int argc, char **argv)
65963943
RK
772{
773 rtx desc;
65963943 774
f8b6598e 775 progname = "genemit";
65963943 776
600ab3fc 777 if (!init_rtx_reader_args (argc, argv))
c88c0d42 778 return (FATAL_EXIT_CODE);
65963943 779
65963943
RK
780 /* Assign sequential codes to all entries in the machine description
781 in parallel with the tables in insn-output.c. */
782
783 insn_code_number = 0;
784 insn_index_number = 0;
785
786 printf ("/* Generated automatically by the program `genemit'\n\
787from the machine description file `md'. */\n\n");
788
789 printf ("#include \"config.h\"\n");
729da3f5 790 printf ("#include \"system.h\"\n");
4977bab6
ZW
791 printf ("#include \"coretypes.h\"\n");
792 printf ("#include \"tm.h\"\n");
65963943 793 printf ("#include \"rtl.h\"\n");
6baf1cc8 794 printf ("#include \"tm_p.h\"\n");
49ad7cfa 795 printf ("#include \"function.h\"\n");
65963943 796 printf ("#include \"expr.h\"\n");
e78d8e51 797 printf ("#include \"optabs.h\"\n");
c413e1b5 798 printf ("#include \"dfp.h\"\n");
1d300e19 799 printf ("#include \"flags.h\"\n");
65963943 800 printf ("#include \"output.h\"\n");
7f7f8214 801 printf ("#include \"insn-config.h\"\n");
ede7cd44 802 printf ("#include \"hard-reg-set.h\"\n");
23280139 803 printf ("#include \"recog.h\"\n");
ede7cd44 804 printf ("#include \"resource.h\"\n");
d80eb1e1 805 printf ("#include \"reload.h\"\n");
79a3f089 806 printf ("#include \"diagnostic-core.h\"\n");
5abc5de9 807 printf ("#include \"regs.h\"\n");
279bb624 808 printf ("#include \"tm-constrs.h\"\n");
5abc5de9
EC
809 printf ("#include \"ggc.h\"\n");
810 printf ("#include \"basic-block.h\"\n");
3b1552c1 811 printf ("#include \"target.h\"\n\n");
53bfe9cd 812 printf ("#define FAIL return (end_sequence (), _val)\n");
2f937369 813 printf ("#define DONE return (_val = get_insns (), end_sequence (), _val)\n\n");
65963943
RK
814
815 /* Read the machine description. */
816
817 while (1)
818 {
c88c0d42 819 int line_no;
65963943 820
c88c0d42
CP
821 desc = read_md_rtx (&line_no, &insn_code_number);
822 if (desc == NULL)
823 break;
ede7cd44 824
c88c0d42 825 switch (GET_CODE (desc))
65963943 826 {
821e35ba
RH
827 case DEFINE_INSN:
828 gen_insn (desc, line_no);
829 break;
830
831 case DEFINE_EXPAND:
d2a3ce4e 832 printf ("/* %s:%d */\n", read_md_filename, line_no);
821e35ba
RH
833 gen_expand (desc);
834 break;
835
836 case DEFINE_SPLIT:
d2a3ce4e 837 printf ("/* %s:%d */\n", read_md_filename, line_no);
821e35ba
RH
838 gen_split (desc);
839 break;
840
841 case DEFINE_PEEPHOLE2:
d2a3ce4e 842 printf ("/* %s:%d */\n", read_md_filename, line_no);
821e35ba
RH
843 gen_split (desc);
844 break;
845
846 default:
847 break;
848 }
65963943
RK
849 ++insn_index_number;
850 }
851
751aa7cc
RK
852 /* Write out the routines to add CLOBBERs to a pattern and say whether they
853 clobber a hard reg. */
65963943 854 output_add_clobbers ();
751aa7cc 855 output_added_clobbers_hard_reg_p ();
65963943 856
65963943 857 fflush (stdout);
c1b59dce 858 return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
65963943 859}