]>
Commit | Line | Data |
---|---|---|
aabf90e8 | 1 | /* Generate from machine description: |
aabf90e8 | 2 | - some #define configuration flags. |
d050d723 JL |
3 | Copyright (C) 1987, 1991, 1997, 1998, |
4 | 1999, 2000 Free Software Foundation, Inc. | |
aabf90e8 | 5 | |
1322177d | 6 | This file is part of GCC. |
aabf90e8 | 7 | |
1322177d LB |
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 | |
11 | version. | |
aabf90e8 | 12 | |
1322177d LB |
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 | |
16 | for more details. | |
aabf90e8 RK |
17 | |
18 | You should have received a copy of the GNU General Public License | |
1322177d LB |
19 | along with GCC; see the file COPYING. If not, write to the Free |
20 | Software Foundation, 59 Temple Place - Suite 330, Boston, MA | |
21 | 02111-1307, USA. */ | |
aabf90e8 RK |
22 | |
23 | ||
4977bab6 | 24 | #include "bconfig.h" |
0b93b64e | 25 | #include "system.h" |
4977bab6 ZW |
26 | #include "coretypes.h" |
27 | #include "tm.h" | |
aabf90e8 | 28 | #include "rtl.h" |
f8b6598e | 29 | #include "errors.h" |
c88c0d42 | 30 | #include "gensupport.h" |
aabf90e8 | 31 | |
aabf90e8 | 32 | |
aabf90e8 | 33 | /* flags to determine output of machine description dependent #define's. */ |
7b7bceeb RS |
34 | static int max_recog_operands; /* Largest operand number seen. */ |
35 | static int max_dup_operands; /* Largest number of match_dup in any insn. */ | |
aabf90e8 | 36 | static int max_clobbers_per_insn; |
aabf90e8 | 37 | static int have_cc0_flag; |
674ba2d6 | 38 | static int have_cmove_flag; |
0c99ec5c | 39 | static int have_cond_exec_flag; |
aabf90e8 | 40 | static int have_lo_sum_flag; |
ede7cd44 RH |
41 | static int have_peephole_flag; |
42 | static int have_peephole2_flag; | |
aabf90e8 RK |
43 | |
44 | /* Maximum number of insns seen in a split. */ | |
45 | static int max_insns_per_split = 1; | |
46 | ||
23280139 RH |
47 | /* Maximum number of input insns for peephole2. */ |
48 | static int max_insns_per_peep2; | |
49 | ||
aabf90e8 RK |
50 | static int clobbers_seen_this_insn; |
51 | static int dup_operands_seen_this_insn; | |
52 | ||
a94ae8f5 KG |
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)); | |
d80eb1e1 | 58 | static void gen_peephole2 PARAMS ((rtx)); |
56c0e996 | 59 | |
cc2902df | 60 | /* RECOG_P will be nonzero if this pattern was seen in a context where it will |
674ba2d6 RK |
61 | be used to recognize, rather than just generate an insn. |
62 | ||
cc2902df | 63 | NON_PC_SET_SRC will be nonzero if this pattern was seen in a SET_SRC |
674ba2d6 | 64 | of a SET whose destination is not (pc). */ |
aabf90e8 RK |
65 | |
66 | static void | |
674ba2d6 | 67 | walk_insn_part (part, recog_p, non_pc_set_src) |
aabf90e8 | 68 | rtx part; |
674ba2d6 RK |
69 | int recog_p; |
70 | int non_pc_set_src; | |
aabf90e8 | 71 | { |
b3694847 SS |
72 | int i, j; |
73 | RTX_CODE code; | |
74 | const char *format_ptr; | |
aabf90e8 RK |
75 | |
76 | if (part == 0) | |
77 | return; | |
78 | ||
79 | code = GET_CODE (part); | |
80 | switch (code) | |
81 | { | |
82 | case CLOBBER: | |
83 | clobbers_seen_this_insn++; | |
84 | break; | |
85 | ||
86 | case MATCH_OPERAND: | |
87 | if (XINT (part, 0) > max_recog_operands) | |
88 | max_recog_operands = XINT (part, 0); | |
aabf90e8 RK |
89 | return; |
90 | ||
91 | case MATCH_OP_DUP: | |
13ed0ef0 | 92 | case MATCH_PAR_DUP: |
aabf90e8 RK |
93 | ++dup_operands_seen_this_insn; |
94 | case MATCH_SCRATCH: | |
95 | case MATCH_PARALLEL: | |
96 | case MATCH_OPERATOR: | |
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 | |
100 | MATCH_PARALLEL. */ | |
101 | break; | |
102 | ||
103 | case LABEL_REF: | |
104 | if (GET_CODE (XEXP (part, 0)) == MATCH_OPERAND) | |
105 | break; | |
106 | return; | |
107 | ||
108 | case MATCH_DUP: | |
109 | ++dup_operands_seen_this_insn; | |
110 | if (XINT (part, 0) > max_recog_operands) | |
111 | max_recog_operands = XINT (part, 0); | |
112 | return; | |
113 | ||
114 | case CC0: | |
115 | if (recog_p) | |
116 | have_cc0_flag = 1; | |
117 | return; | |
118 | ||
119 | case LO_SUM: | |
120 | if (recog_p) | |
121 | have_lo_sum_flag = 1; | |
122 | return; | |
123 | ||
674ba2d6 RK |
124 | case SET: |
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); | |
128 | return; | |
129 | ||
130 | case IF_THEN_ELSE: | |
9e87cc89 RK |
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 | |
0c99ec5c | 135 | context we want it for. */ |
9e87cc89 RK |
136 | |
137 | if (recog_p && non_pc_set_src | |
138 | && GET_CODE (XEXP (part, 1)) == MATCH_OPERAND | |
139 | && GET_CODE (XEXP (part, 2)) == MATCH_OPERAND) | |
674ba2d6 | 140 | have_cmove_flag = 1; |
0c99ec5c RH |
141 | break; |
142 | ||
143 | case COND_EXEC: | |
144 | if (recog_p) | |
145 | have_cond_exec_flag = 1; | |
674ba2d6 RK |
146 | break; |
147 | ||
aabf90e8 RK |
148 | case REG: case CONST_INT: case SYMBOL_REF: |
149 | case PC: | |
150 | return; | |
ccd043a9 RL |
151 | |
152 | default: | |
153 | break; | |
aabf90e8 RK |
154 | } |
155 | ||
156 | format_ptr = GET_RTX_FORMAT (GET_CODE (part)); | |
157 | ||
158 | for (i = 0; i < GET_RTX_LENGTH (GET_CODE (part)); i++) | |
159 | switch (*format_ptr++) | |
160 | { | |
161 | case 'e': | |
162 | case 'u': | |
674ba2d6 | 163 | walk_insn_part (XEXP (part, i), recog_p, non_pc_set_src); |
aabf90e8 RK |
164 | break; |
165 | case 'E': | |
166 | if (XVEC (part, i) != NULL) | |
167 | for (j = 0; j < XVECLEN (part, i); j++) | |
674ba2d6 | 168 | walk_insn_part (XVECEXP (part, i, j), recog_p, non_pc_set_src); |
aabf90e8 RK |
169 | break; |
170 | } | |
171 | } | |
172 | ||
173 | static void | |
174 | gen_insn (insn) | |
175 | rtx insn; | |
176 | { | |
177 | int i; | |
178 | ||
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++) | |
674ba2d6 | 184 | walk_insn_part (XVECEXP (insn, 1, i), 1, 0); |
aabf90e8 RK |
185 | |
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; | |
190 | } | |
191 | ||
192 | /* Similar but scan a define_expand. */ | |
193 | ||
194 | static void | |
195 | gen_expand (insn) | |
196 | rtx insn; | |
197 | { | |
198 | int i; | |
199 | ||
200 | /* Walk the insn pattern to gather the #define's status. */ | |
201 | ||
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++) | |
206 | { | |
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; | |
211 | ||
674ba2d6 | 212 | walk_insn_part (XVECEXP (insn, 1, i), 0, 0); |
aabf90e8 RK |
213 | |
214 | if (clobbers_seen_this_insn > max_clobbers_per_insn) | |
215 | max_clobbers_per_insn = clobbers_seen_this_insn; | |
216 | } | |
217 | } | |
218 | ||
219 | /* Similar but scan a define_split. */ | |
220 | ||
221 | static void | |
222 | gen_split (split) | |
223 | rtx split; | |
224 | { | |
225 | int i; | |
226 | ||
227 | /* Look through the patterns that are matched | |
228 | to compute the maximum operand number. */ | |
229 | for (i = 0; i < XVECLEN (split, 0); i++) | |
674ba2d6 | 230 | walk_insn_part (XVECEXP (split, 0, i), 1, 0); |
aabf90e8 RK |
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); | |
234 | } | |
235 | ||
236 | static void | |
237 | gen_peephole (peep) | |
238 | rtx peep; | |
239 | { | |
240 | int i; | |
241 | ||
242 | /* Look through the patterns that are matched | |
243 | to compute the maximum operand number. */ | |
244 | for (i = 0; i < XVECLEN (peep, 0); i++) | |
674ba2d6 | 245 | walk_insn_part (XVECEXP (peep, 0, i), 1, 0); |
aabf90e8 | 246 | } |
aabf90e8 | 247 | |
23280139 RH |
248 | static void |
249 | gen_peephole2 (peep) | |
250 | rtx peep; | |
251 | { | |
252 | int i, n; | |
253 | ||
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); | |
258 | ||
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) | |
263 | n++; | |
264 | if (n > max_insns_per_peep2) | |
265 | max_insns_per_peep2 = n; | |
266 | } | |
267 | ||
a94ae8f5 | 268 | extern int main PARAMS ((int, char **)); |
c1b59dce | 269 | |
aabf90e8 RK |
270 | int |
271 | main (argc, argv) | |
272 | int argc; | |
273 | char **argv; | |
274 | { | |
275 | rtx desc; | |
aabf90e8 | 276 | |
f8b6598e | 277 | progname = "genconfig"; |
aabf90e8 RK |
278 | |
279 | if (argc <= 1) | |
1f978f5f | 280 | fatal ("no input file name"); |
aabf90e8 | 281 | |
04d8aa70 | 282 | if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE) |
c88c0d42 | 283 | return (FATAL_EXIT_CODE); |
aabf90e8 | 284 | |
0313e85b ZW |
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"); | |
aabf90e8 | 289 | |
84b72302 RH |
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. */ | |
aabf90e8 RK |
294 | max_dup_operands = 1; |
295 | ||
296 | /* Read the machine description. */ | |
297 | ||
298 | while (1) | |
299 | { | |
c88c0d42 CP |
300 | int line_no, insn_code_number = 0; |
301 | ||
302 | desc = read_md_rtx (&line_no, &insn_code_number); | |
303 | if (desc == NULL) | |
aabf90e8 | 304 | break; |
c88c0d42 CP |
305 | |
306 | switch (GET_CODE (desc)) | |
ede7cd44 | 307 | { |
c88c0d42 CP |
308 | case DEFINE_INSN: |
309 | gen_insn (desc); | |
310 | break; | |
311 | ||
312 | case DEFINE_EXPAND: | |
313 | gen_expand (desc); | |
314 | break; | |
315 | ||
316 | case DEFINE_SPLIT: | |
317 | gen_split (desc); | |
318 | break; | |
319 | ||
320 | case DEFINE_PEEPHOLE2: | |
321 | have_peephole2_flag = 1; | |
23280139 | 322 | gen_peephole2 (desc); |
c88c0d42 CP |
323 | break; |
324 | ||
325 | case DEFINE_PEEPHOLE: | |
326 | have_peephole_flag = 1; | |
327 | gen_peephole (desc); | |
328 | break; | |
329 | ||
330 | default: | |
331 | break; | |
ede7cd44 | 332 | } |
aabf90e8 RK |
333 | } |
334 | ||
23280139 RH |
335 | printf ("#define MAX_RECOG_OPERANDS %d\n", max_recog_operands + 1); |
336 | printf ("#define MAX_DUP_OPERANDS %d\n", max_dup_operands); | |
aabf90e8 RK |
337 | |
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). */ | |
0c99ec5c RH |
340 | printf ("#ifndef MAX_INSNS_PER_SPLIT\n"); |
341 | printf ("#define MAX_INSNS_PER_SPLIT %d\n", max_insns_per_split); | |
342 | printf ("#endif\n"); | |
aabf90e8 | 343 | |
aabf90e8 | 344 | if (have_cc0_flag) |
0a2287bf | 345 | printf ("#define HAVE_cc0 1\n"); |
aabf90e8 | 346 | |
674ba2d6 | 347 | if (have_cmove_flag) |
0a2287bf | 348 | printf ("#define HAVE_conditional_move 1\n"); |
674ba2d6 | 349 | |
0c99ec5c | 350 | if (have_cond_exec_flag) |
0a2287bf | 351 | printf ("#define HAVE_conditional_execution 1\n"); |
c5c76735 | 352 | |
aabf90e8 | 353 | if (have_lo_sum_flag) |
0a2287bf | 354 | printf ("#define HAVE_lo_sum 1\n"); |
aabf90e8 | 355 | |
ede7cd44 | 356 | if (have_peephole_flag) |
0a2287bf | 357 | printf ("#define HAVE_peephole 1\n"); |
ede7cd44 RH |
358 | |
359 | if (have_peephole2_flag) | |
23280139 RH |
360 | { |
361 | printf ("#define HAVE_peephole2 1\n"); | |
362 | printf ("#define MAX_INSNS_PER_PEEP2 %d\n", max_insns_per_peep2); | |
363 | } | |
ede7cd44 | 364 | |
0313e85b ZW |
365 | puts("\n#endif /* GCC_INSN_CONFIG_H */"); |
366 | ||
367 | if (ferror (stdout) || fflush (stdout) || fclose (stdout)) | |
368 | return FATAL_EXIT_CODE; | |
369 | ||
370 | return SUCCESS_EXIT_CODE; | |
aabf90e8 | 371 | } |
a995e389 RH |
372 | |
373 | /* Define this so we can link with print-rtl.o to get debug_rtx function. */ | |
374 | const char * | |
375 | get_insn_name (code) | |
c1b59dce | 376 | int code ATTRIBUTE_UNUSED; |
a995e389 RH |
377 | { |
378 | return NULL; | |
379 | } |