1 /* Generate from machine description:
2 - some #define configuration flags.
3 Copyright (C) 1987-2015 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;
89 if (XINT (part, 0) > max_recog_operands)
90 max_recog_operands = XINT (part, 0);
91 /* Now scan the rtl's in the vector inside the MATCH_OPERATOR or
96 if (GET_CODE (LABEL_REF_LABEL (part)) == MATCH_OPERAND
97 || GET_CODE (LABEL_REF_LABEL (part)) == MATCH_DUP)
102 ++dup_operands_seen_this_insn;
103 if (XINT (part, 0) > max_recog_operands)
104 max_recog_operands = XINT (part, 0);
114 have_lo_sum_flag = 1;
119 have_rotate_flag = 1;
124 have_rotatert_flag = 1;
128 walk_insn_part (SET_DEST (part), 0, recog_p);
129 walk_insn_part (SET_SRC (part), recog_p,
130 GET_CODE (SET_DEST (part)) != PC);
134 /* Only consider this machine as having a conditional move if the
135 two arms of the IF_THEN_ELSE are both MATCH_OPERAND. Otherwise,
136 we have some specific IF_THEN_ELSE construct (like the doz
137 instruction on the RS/6000) that can't be used in the general
138 context we want it for. */
140 if (recog_p && non_pc_set_src
141 && GET_CODE (XEXP (part, 1)) == MATCH_OPERAND
142 && GET_CODE (XEXP (part, 2)) == MATCH_OPERAND)
148 have_cond_exec_flag = 1;
151 case REG: case CONST_INT: case SYMBOL_REF:
159 format_ptr = GET_RTX_FORMAT (GET_CODE (part));
161 for (i = 0; i < GET_RTX_LENGTH (GET_CODE (part)); i++)
162 switch (*format_ptr++)
166 walk_insn_part (XEXP (part, i), recog_p, non_pc_set_src);
169 if (XVEC (part, i) != NULL)
170 for (j = 0; j < XVECLEN (part, i); j++)
171 walk_insn_part (XVECEXP (part, i, j), recog_p, non_pc_set_src);
177 gen_insn (md_rtx_info *info)
181 /* Walk the insn pattern to gather the #define's status. */
182 rtx insn = info->def;
183 clobbers_seen_this_insn = 0;
184 dup_operands_seen_this_insn = 0;
185 if (XVEC (insn, 1) != 0)
186 for (i = 0; i < XVECLEN (insn, 1); i++)
187 walk_insn_part (XVECEXP (insn, 1, i), 1, 0);
189 if (clobbers_seen_this_insn > max_clobbers_per_insn)
190 max_clobbers_per_insn = clobbers_seen_this_insn;
191 if (dup_operands_seen_this_insn > max_dup_operands)
192 max_dup_operands = dup_operands_seen_this_insn;
195 /* Similar but scan a define_expand. */
198 gen_expand (md_rtx_info *info)
202 /* Walk the insn pattern to gather the #define's status. */
204 /* Note that we don't bother recording the number of MATCH_DUPs
205 that occur in a gen_expand, because only reload cares about that. */
206 rtx insn = info->def;
207 if (XVEC (insn, 1) != 0)
208 for (i = 0; i < XVECLEN (insn, 1); i++)
210 /* Compute the maximum SETs and CLOBBERS
211 in any one of the sub-insns;
212 don't sum across all of them. */
213 clobbers_seen_this_insn = 0;
215 walk_insn_part (XVECEXP (insn, 1, i), 0, 0);
217 if (clobbers_seen_this_insn > max_clobbers_per_insn)
218 max_clobbers_per_insn = clobbers_seen_this_insn;
222 /* Similar but scan a define_split. */
225 gen_split (md_rtx_info *info)
229 /* Look through the patterns that are matched
230 to compute the maximum operand number. */
231 rtx split = info->def;
232 for (i = 0; i < XVECLEN (split, 0); i++)
233 walk_insn_part (XVECEXP (split, 0, i), 1, 0);
234 /* Look at the number of insns this insn could split into. */
235 if (XVECLEN (split, 2) > max_insns_per_split)
236 max_insns_per_split = XVECLEN (split, 2);
240 gen_peephole (md_rtx_info *info)
244 /* Look through the patterns that are matched
245 to compute the maximum operand number. */
246 rtx peep = info->def;
247 for (i = 0; i < XVECLEN (peep, 0); i++)
248 walk_insn_part (XVECEXP (peep, 0, i), 1, 0);
252 gen_peephole2 (md_rtx_info *info)
256 /* Look through the patterns that are matched
257 to compute the maximum operand number. */
258 rtx peep = info->def;
259 for (i = XVECLEN (peep, 0) - 1; i >= 0; --i)
260 walk_insn_part (XVECEXP (peep, 0, i), 1, 0);
262 /* Look at the number of insns this insn can be matched from. */
263 for (i = XVECLEN (peep, 0) - 1, n = 0; i >= 0; --i)
264 if (GET_CODE (XVECEXP (peep, 0, i)) != MATCH_DUP
265 && GET_CODE (XVECEXP (peep, 0, i)) != MATCH_SCRATCH)
267 if (n > max_insns_per_peep2)
268 max_insns_per_peep2 = n;
272 main (int argc, char **argv)
274 progname = "genconfig";
276 if (!init_rtx_reader_args (argc, argv))
277 return (FATAL_EXIT_CODE);
279 puts ("/* Generated automatically by the program `genconfig'");
280 puts (" from the machine description file `md'. */\n");
281 puts ("#ifndef GCC_INSN_CONFIG_H");
282 puts ("#define GCC_INSN_CONFIG_H\n");
284 /* Allow at least 30 operands for the sake of asm constructs. */
285 /* ??? We *really* ought to reorganize things such that there
286 is no fixed upper bound. */
287 max_recog_operands = 29; /* We will add 1 later. */
288 max_dup_operands = 1;
290 /* Read the machine description. */
293 while (read_md_rtx (&info))
294 switch (GET_CODE (info.def))
308 case DEFINE_PEEPHOLE2:
309 have_peephole2_flag = 1;
310 gen_peephole2 (&info);
313 case DEFINE_PEEPHOLE:
314 have_peephole_flag = 1;
315 gen_peephole (&info);
322 printf ("#define MAX_RECOG_OPERANDS %d\n", max_recog_operands + 1);
323 printf ("#define MAX_DUP_OPERANDS %d\n", max_dup_operands);
325 /* This is conditionally defined, in case the user writes code which emits
326 more splits than we can readily see (and knows s/he does it). */
327 printf ("#ifndef MAX_INSNS_PER_SPLIT\n");
328 printf ("#define MAX_INSNS_PER_SPLIT %d\n", max_insns_per_split);
333 printf ("#define HAVE_cc0 1\n");
334 printf ("#define CC0_P(X) ((X) == cc0_rtx)\n");
338 /* We output CC0_P this way to make sure that X is declared
340 printf ("#define HAVE_cc0 0\n");
341 printf ("#define CC0_P(X) ((X) ? 0 : 0)\n");
345 printf ("#define HAVE_conditional_move 1\n");
347 printf ("#define HAVE_conditional_move 0\n");
349 if (have_cond_exec_flag)
350 printf ("#define HAVE_conditional_execution 1\n");
352 if (have_lo_sum_flag)
353 printf ("#define HAVE_lo_sum 1\n");
355 printf ("#define HAVE_lo_sum 0\n");
357 if (have_rotate_flag)
358 printf ("#define HAVE_rotate 1\n");
360 if (have_rotatert_flag)
361 printf ("#define HAVE_rotatert 1\n");
363 if (have_peephole_flag)
364 printf ("#define HAVE_peephole 1\n");
366 printf ("#define HAVE_peephole 0\n");
368 if (have_peephole2_flag)
370 printf ("#define HAVE_peephole2 1\n");
371 printf ("#define MAX_INSNS_PER_PEEP2 %d\n", max_insns_per_peep2);
374 puts ("\n#endif /* GCC_INSN_CONFIG_H */");
376 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
377 return FATAL_EXIT_CODE;
379 return SUCCESS_EXIT_CODE;