1 /* Generate from machine description:
2 - some #define configuration flags.
3 Copyright (C) 1987, 1991, 1997, 1998,
4 1999, 2000 Free Software Foundation, Inc.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
26 #include "coretypes.h"
30 #include "gensupport.h"
33 /* flags to determine output of machine description dependent #define's. */
34 static int max_recog_operands; /* Largest operand number seen. */
35 static int max_dup_operands; /* Largest number of match_dup in any insn. */
36 static int max_clobbers_per_insn;
37 static int have_cc0_flag;
38 static int have_cmove_flag;
39 static int have_cond_exec_flag;
40 static int have_lo_sum_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 PARAMS ((rtx, int, int));
54 static void gen_insn PARAMS ((rtx));
55 static void gen_expand PARAMS ((rtx));
56 static void gen_split PARAMS ((rtx));
57 static void gen_peephole PARAMS ((rtx));
58 static void gen_peephole2 PARAMS ((rtx));
60 /* RECOG_P will be nonzero if this pattern was seen in a context where it will
61 be used to recognize, rather than just generate an insn.
63 NON_PC_SET_SRC will be nonzero if this pattern was seen in a SET_SRC
64 of a SET whose destination is not (pc). */
67 walk_insn_part (part, recog_p, non_pc_set_src)
74 const char *format_ptr;
79 code = GET_CODE (part);
83 clobbers_seen_this_insn++;
87 if (XINT (part, 0) > max_recog_operands)
88 max_recog_operands = XINT (part, 0);
93 ++dup_operands_seen_this_insn;
97 if (XINT (part, 0) > max_recog_operands)
98 max_recog_operands = XINT (part, 0);
99 /* Now scan the rtl's in the vector inside the MATCH_OPERATOR or
104 if (GET_CODE (XEXP (part, 0)) == MATCH_OPERAND)
109 ++dup_operands_seen_this_insn;
110 if (XINT (part, 0) > max_recog_operands)
111 max_recog_operands = XINT (part, 0);
121 have_lo_sum_flag = 1;
125 walk_insn_part (SET_DEST (part), 0, recog_p);
126 walk_insn_part (SET_SRC (part), recog_p,
127 GET_CODE (SET_DEST (part)) != PC);
131 /* Only consider this machine as having a conditional move if the
132 two arms of the IF_THEN_ELSE are both MATCH_OPERAND. Otherwise,
133 we have some specific IF_THEN_ELSE construct (like the doz
134 instruction on the RS/6000) that can't be used in the general
135 context we want it for. */
137 if (recog_p && non_pc_set_src
138 && GET_CODE (XEXP (part, 1)) == MATCH_OPERAND
139 && GET_CODE (XEXP (part, 2)) == MATCH_OPERAND)
145 have_cond_exec_flag = 1;
148 case REG: case CONST_INT: case SYMBOL_REF:
156 format_ptr = GET_RTX_FORMAT (GET_CODE (part));
158 for (i = 0; i < GET_RTX_LENGTH (GET_CODE (part)); i++)
159 switch (*format_ptr++)
163 walk_insn_part (XEXP (part, i), recog_p, non_pc_set_src);
166 if (XVEC (part, i) != NULL)
167 for (j = 0; j < XVECLEN (part, i); j++)
168 walk_insn_part (XVECEXP (part, i, j), recog_p, non_pc_set_src);
179 /* Walk the insn pattern to gather the #define's status. */
180 clobbers_seen_this_insn = 0;
181 dup_operands_seen_this_insn = 0;
182 if (XVEC (insn, 1) != 0)
183 for (i = 0; i < XVECLEN (insn, 1); i++)
184 walk_insn_part (XVECEXP (insn, 1, i), 1, 0);
186 if (clobbers_seen_this_insn > max_clobbers_per_insn)
187 max_clobbers_per_insn = clobbers_seen_this_insn;
188 if (dup_operands_seen_this_insn > max_dup_operands)
189 max_dup_operands = dup_operands_seen_this_insn;
192 /* Similar but scan a define_expand. */
200 /* Walk the insn pattern to gather the #define's status. */
202 /* Note that we don't bother recording the number of MATCH_DUPs
203 that occur in a gen_expand, because only reload cares about that. */
204 if (XVEC (insn, 1) != 0)
205 for (i = 0; i < XVECLEN (insn, 1); i++)
207 /* Compute the maximum SETs and CLOBBERS
208 in any one of the sub-insns;
209 don't sum across all of them. */
210 clobbers_seen_this_insn = 0;
212 walk_insn_part (XVECEXP (insn, 1, i), 0, 0);
214 if (clobbers_seen_this_insn > max_clobbers_per_insn)
215 max_clobbers_per_insn = clobbers_seen_this_insn;
219 /* Similar but scan a define_split. */
227 /* Look through the patterns that are matched
228 to compute the maximum operand number. */
229 for (i = 0; i < XVECLEN (split, 0); i++)
230 walk_insn_part (XVECEXP (split, 0, i), 1, 0);
231 /* Look at the number of insns this insn could split into. */
232 if (XVECLEN (split, 2) > max_insns_per_split)
233 max_insns_per_split = XVECLEN (split, 2);
242 /* Look through the patterns that are matched
243 to compute the maximum operand number. */
244 for (i = 0; i < XVECLEN (peep, 0); i++)
245 walk_insn_part (XVECEXP (peep, 0, i), 1, 0);
254 /* Look through the patterns that are matched
255 to compute the maximum operand number. */
256 for (i = XVECLEN (peep, 0) - 1; i >= 0; --i)
257 walk_insn_part (XVECEXP (peep, 0, i), 1, 0);
259 /* Look at the number of insns this insn can be matched from. */
260 for (i = XVECLEN (peep, 0) - 1, n = 0; i >= 0; --i)
261 if (GET_CODE (XVECEXP (peep, 0, i)) != MATCH_DUP
262 && GET_CODE (XVECEXP (peep, 0, i)) != MATCH_SCRATCH)
264 if (n > max_insns_per_peep2)
265 max_insns_per_peep2 = n;
268 extern int main PARAMS ((int, char **));
277 progname = "genconfig";
280 fatal ("no input file name");
282 if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE)
283 return (FATAL_EXIT_CODE);
285 puts ("/* Generated automatically by the program `genconfig'");
286 puts (" from the machine description file `md'. */\n");
287 puts ("#ifndef GCC_INSN_CONFIG_H");
288 puts ("#define GCC_INSN_CONFIG_H\n");
290 /* Allow at least 30 operands for the sake of asm constructs. */
291 /* ??? We *really* ought to reorganize things such that there
292 is no fixed upper bound. */
293 max_recog_operands = 29; /* We will add 1 later. */
294 max_dup_operands = 1;
296 /* Read the machine description. */
300 int line_no, insn_code_number = 0;
302 desc = read_md_rtx (&line_no, &insn_code_number);
306 switch (GET_CODE (desc))
320 case DEFINE_PEEPHOLE2:
321 have_peephole2_flag = 1;
322 gen_peephole2 (desc);
325 case DEFINE_PEEPHOLE:
326 have_peephole_flag = 1;
335 printf ("#define MAX_RECOG_OPERANDS %d\n", max_recog_operands + 1);
336 printf ("#define MAX_DUP_OPERANDS %d\n", max_dup_operands);
338 /* This is conditionally defined, in case the user writes code which emits
339 more splits than we can readily see (and knows s/he does it). */
340 printf ("#ifndef MAX_INSNS_PER_SPLIT\n");
341 printf ("#define MAX_INSNS_PER_SPLIT %d\n", max_insns_per_split);
346 printf ("#define HAVE_cc0 1\n");
347 printf ("#define CC0_P(X) ((X) == cc0_rtx)\n");
351 printf ("#define CC0_P(X) 0\n");
355 printf ("#define HAVE_conditional_move 1\n");
357 if (have_cond_exec_flag)
358 printf ("#define HAVE_conditional_execution 1\n");
360 if (have_lo_sum_flag)
361 printf ("#define HAVE_lo_sum 1\n");
363 if (have_peephole_flag)
364 printf ("#define HAVE_peephole 1\n");
366 if (have_peephole2_flag)
368 printf ("#define HAVE_peephole2 1\n");
369 printf ("#define MAX_INSNS_PER_PEEP2 %d\n", max_insns_per_peep2);
372 puts("\n#endif /* GCC_INSN_CONFIG_H */");
374 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
375 return FATAL_EXIT_CODE;
377 return SUCCESS_EXIT_CODE;
380 /* Define this so we can link with print-rtl.o to get debug_rtx function. */
383 int code ATTRIBUTE_UNUSED;