1 /* Generate from machine description:
2 - some #define configuration flags.
3 Copyright (C) 1987-2018 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 3, or (at your option) any later
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
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
24 #include "coretypes.h"
28 #include "gensupport.h"
31 /* flags to determine output of machine description dependent #define's. */
32 static int max_recog_operands; /* Largest operand number seen. */
33 static int max_dup_operands; /* Largest number of match_dup in any insn. */
34 static int max_clobbers_per_insn;
35 static int have_cc0_flag;
36 static int have_cmove_flag;
37 static int have_cond_exec_flag;
38 static int have_lo_sum_flag;
39 static int have_rotate_flag;
40 static int have_rotatert_flag;
41 static int have_peephole_flag;
42 static int have_peephole2_flag;
44 /* Maximum number of insns seen in a split. */
45 static int max_insns_per_split = 1;
47 /* Maximum number of input insns for peephole2. */
48 static int max_insns_per_peep2;
50 static int clobbers_seen_this_insn;
51 static int dup_operands_seen_this_insn;
53 static void walk_insn_part (rtx, int, int);
55 /* RECOG_P will be nonzero if this pattern was seen in a context where it will
56 be used to recognize, rather than just generate an insn.
58 NON_PC_SET_SRC will be nonzero if this pattern was seen in a SET_SRC
59 of a SET whose destination is not (pc). */
62 walk_insn_part (rtx part, int recog_p, int non_pc_set_src)
66 const char *format_ptr;
71 code = GET_CODE (part);
75 clobbers_seen_this_insn++;
79 if (XINT (part, 0) > max_recog_operands)
80 max_recog_operands = XINT (part, 0);
85 ++dup_operands_seen_this_insn;
90 if (XINT (part, 0) > max_recog_operands)
91 max_recog_operands = XINT (part, 0);
92 /* Now scan the rtl's in the vector inside the MATCH_OPERATOR or
97 if (GET_CODE (XEXP (part, 0)) == MATCH_OPERAND
98 || GET_CODE (XEXP (part, 0)) == MATCH_DUP)
103 ++dup_operands_seen_this_insn;
104 if (XINT (part, 0) > max_recog_operands)
105 max_recog_operands = XINT (part, 0);
115 have_lo_sum_flag = 1;
120 have_rotate_flag = 1;
125 have_rotatert_flag = 1;
129 walk_insn_part (SET_DEST (part), 0, recog_p);
130 walk_insn_part (SET_SRC (part), recog_p,
131 GET_CODE (SET_DEST (part)) != PC);
135 /* Only consider this machine as having a conditional move if the
136 two arms of the IF_THEN_ELSE are both MATCH_OPERAND. Otherwise,
137 we have some specific IF_THEN_ELSE construct (like the doz
138 instruction on the RS/6000) that can't be used in the general
139 context we want it for. */
141 if (recog_p && non_pc_set_src
142 && GET_CODE (XEXP (part, 1)) == MATCH_OPERAND
143 && GET_CODE (XEXP (part, 2)) == MATCH_OPERAND)
149 have_cond_exec_flag = 1;
152 case REG: case CONST_INT: case SYMBOL_REF:
160 format_ptr = GET_RTX_FORMAT (GET_CODE (part));
162 for (i = 0; i < GET_RTX_LENGTH (GET_CODE (part)); i++)
163 switch (*format_ptr++)
167 walk_insn_part (XEXP (part, i), recog_p, non_pc_set_src);
170 if (XVEC (part, i) != NULL)
171 for (j = 0; j < XVECLEN (part, i); j++)
172 walk_insn_part (XVECEXP (part, i, j), recog_p, non_pc_set_src);
178 gen_insn (md_rtx_info *info)
182 /* Walk the insn pattern to gather the #define's status. */
183 rtx insn = info->def;
184 clobbers_seen_this_insn = 0;
185 dup_operands_seen_this_insn = 0;
186 if (XVEC (insn, 1) != 0)
187 for (i = 0; i < XVECLEN (insn, 1); i++)
188 walk_insn_part (XVECEXP (insn, 1, i), 1, 0);
190 if (clobbers_seen_this_insn > max_clobbers_per_insn)
191 max_clobbers_per_insn = clobbers_seen_this_insn;
192 if (dup_operands_seen_this_insn > max_dup_operands)
193 max_dup_operands = dup_operands_seen_this_insn;
196 /* Similar but scan a define_expand. */
199 gen_expand (md_rtx_info *info)
203 /* Walk the insn pattern to gather the #define's status. */
205 /* Note that we don't bother recording the number of MATCH_DUPs
206 that occur in a gen_expand, because only reload cares about that. */
207 rtx insn = info->def;
208 if (XVEC (insn, 1) != 0)
209 for (i = 0; i < XVECLEN (insn, 1); i++)
211 /* Compute the maximum SETs and CLOBBERS
212 in any one of the sub-insns;
213 don't sum across all of them. */
214 clobbers_seen_this_insn = 0;
216 walk_insn_part (XVECEXP (insn, 1, i), 0, 0);
218 if (clobbers_seen_this_insn > max_clobbers_per_insn)
219 max_clobbers_per_insn = clobbers_seen_this_insn;
223 /* Similar but scan a define_split. */
226 gen_split (md_rtx_info *info)
230 /* Look through the patterns that are matched
231 to compute the maximum operand number. */
232 rtx split = info->def;
233 for (i = 0; i < XVECLEN (split, 0); i++)
234 walk_insn_part (XVECEXP (split, 0, i), 1, 0);
235 /* Look at the number of insns this insn could split into. */
236 if (XVECLEN (split, 2) > max_insns_per_split)
237 max_insns_per_split = XVECLEN (split, 2);
241 gen_peephole (md_rtx_info *info)
245 /* Look through the patterns that are matched
246 to compute the maximum operand number. */
247 rtx peep = info->def;
248 for (i = 0; i < XVECLEN (peep, 0); i++)
249 walk_insn_part (XVECEXP (peep, 0, i), 1, 0);
253 gen_peephole2 (md_rtx_info *info)
257 /* Look through the patterns that are matched
258 to compute the maximum operand number. */
259 rtx peep = info->def;
260 for (i = XVECLEN (peep, 0) - 1; i >= 0; --i)
261 walk_insn_part (XVECEXP (peep, 0, i), 1, 0);
263 /* Look at the number of insns this insn can be matched from. */
264 for (i = XVECLEN (peep, 0) - 1, n = 0; i >= 0; --i)
265 if (GET_CODE (XVECEXP (peep, 0, i)) != MATCH_DUP
266 && GET_CODE (XVECEXP (peep, 0, i)) != MATCH_SCRATCH)
268 if (n > max_insns_per_peep2)
269 max_insns_per_peep2 = n;
273 main (int argc, const char **argv)
275 progname = "genconfig";
277 if (!init_rtx_reader_args (argc, argv))
278 return (FATAL_EXIT_CODE);
280 puts ("/* Generated automatically by the program `genconfig'");
281 puts (" from the machine description file `md'. */\n");
282 puts ("#ifndef GCC_INSN_CONFIG_H");
283 puts ("#define GCC_INSN_CONFIG_H\n");
285 /* Allow at least 30 operands for the sake of asm constructs. */
286 /* ??? We *really* ought to reorganize things such that there
287 is no fixed upper bound. */
288 max_recog_operands = 29; /* We will add 1 later. */
289 max_dup_operands = 1;
291 /* Read the machine description. */
294 while (read_md_rtx (&info))
295 switch (GET_CODE (info.def))
309 case DEFINE_PEEPHOLE2:
310 have_peephole2_flag = 1;
311 gen_peephole2 (&info);
314 case DEFINE_PEEPHOLE:
315 have_peephole_flag = 1;
316 gen_peephole (&info);
323 printf ("#define MAX_RECOG_OPERANDS %d\n", max_recog_operands + 1);
324 printf ("#define MAX_DUP_OPERANDS %d\n", max_dup_operands);
326 /* This is conditionally defined, in case the user writes code which emits
327 more splits than we can readily see (and knows s/he does it). */
328 printf ("#ifndef MAX_INSNS_PER_SPLIT\n");
329 printf ("#define MAX_INSNS_PER_SPLIT %d\n", max_insns_per_split);
334 printf ("#define HAVE_cc0 1\n");
335 printf ("#define CC0_P(X) ((X) == cc0_rtx)\n");
339 /* We output CC0_P this way to make sure that X is declared
341 printf ("#define HAVE_cc0 0\n");
342 printf ("#define CC0_P(X) ((X) ? 0 : 0)\n");
346 printf ("#define HAVE_conditional_move 1\n");
348 printf ("#define HAVE_conditional_move 0\n");
350 if (have_cond_exec_flag)
351 printf ("#define HAVE_conditional_execution 1\n");
353 printf ("#define HAVE_conditional_execution 0\n");
355 if (have_lo_sum_flag)
356 printf ("#define HAVE_lo_sum 1\n");
358 printf ("#define HAVE_lo_sum 0\n");
360 if (have_rotate_flag)
361 printf ("#define HAVE_rotate 1\n");
363 if (have_rotatert_flag)
364 printf ("#define HAVE_rotatert 1\n");
366 if (have_peephole_flag)
367 printf ("#define HAVE_peephole 1\n");
369 printf ("#define HAVE_peephole 0\n");
371 if (have_peephole2_flag)
373 printf ("#define HAVE_peephole2 1\n");
374 printf ("#define MAX_INSNS_PER_PEEP2 %d\n", max_insns_per_peep2);
378 printf ("#define HAVE_peephole2 0\n");
379 printf ("#define MAX_INSNS_PER_PEEP2 0\n");
382 puts ("\n#endif /* GCC_INSN_CONFIG_H */");
384 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
385 return FATAL_EXIT_CODE;
387 return SUCCESS_EXIT_CODE;