2010-04-20 Richard Guenther <rguenther@suse.de>
[official-gcc.git] / gcc / genopinit.c
blobd28baabba7fdf940548dc22325c2b637bbd77ee4
1 /* Generate code to initialize optabs from machine description.
2 Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
4 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 3, or (at your option) any later
11 version.
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.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
23 #include "bconfig.h"
24 #include "system.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "rtl.h"
28 #include "errors.h"
29 #include "gensupport.h"
32 /* Many parts of GCC use arrays that are indexed by machine mode and
33 contain the insn codes for pattern in the MD file that perform a given
34 operation on operands of that mode.
36 These patterns are present in the MD file with names that contain
37 the mode(s) used and the name of the operation. This program
38 writes a function `init_all_optabs' that initializes the optabs with
39 all the insn codes of the relevant patterns present in the MD file.
41 This array contains a list of optabs that need to be initialized. Within
42 each string, the name of the pattern to be matched against is delimited
43 with $( and $). In the string, $a and $b are used to match a short mode
44 name (the part of the mode name not including `mode' and converted to
45 lower-case). When writing out the initializer, the entire string is
46 used. $A and $B are replaced with the full name of the mode; $a and $b
47 are replaced with the short form of the name, as above.
49 If $N is present in the pattern, it means the two modes must be consecutive
50 widths in the same mode class (e.g, QImode and HImode). $I means that
51 only full integer modes should be considered for the next mode, and $F
52 means that only float modes should be considered.
53 $P means that both full and partial integer modes should be considered.
54 $Q means that only fixed-point modes should be considered.
56 $V means to emit 'v' if the first mode is a MODE_FLOAT mode.
58 For some optabs, we store the operation by RTL codes. These are only
59 used for comparisons. In that case, $c and $C are the lower-case and
60 upper-case forms of the comparison, respectively. */
62 static const char * const optabs[] =
63 { "convert_optab_handler (sext_optab, $B, $A)->insn_code = CODE_FOR_$(extend$a$b2$)",
64 "convert_optab_handler (zext_optab, $B, $A)->insn_code = CODE_FOR_$(zero_extend$a$b2$)",
65 "convert_optab_handler (sfix_optab, $B, $A)->insn_code = CODE_FOR_$(fix$F$a$I$b2$)",
66 "convert_optab_handler (ufix_optab, $B, $A)->insn_code = CODE_FOR_$(fixuns$F$a$b2$)",
67 "convert_optab_handler (sfixtrunc_optab, $B, $A)->insn_code = CODE_FOR_$(fix_trunc$F$a$I$b2$)",
68 "convert_optab_handler (ufixtrunc_optab, $B, $A)->insn_code = CODE_FOR_$(fixuns_trunc$F$a$I$b2$)",
69 "convert_optab_handler (sfloat_optab, $B, $A)->insn_code = CODE_FOR_$(float$I$a$F$b2$)",
70 "convert_optab_handler (ufloat_optab, $B, $A)->insn_code = CODE_FOR_$(floatuns$I$a$F$b2$)",
71 "convert_optab_handler (trunc_optab, $B, $A)->insn_code = CODE_FOR_$(trunc$a$b2$)",
72 "convert_optab_handler (fract_optab, $B, $A)->insn_code = CODE_FOR_$(fract$a$b2$)",
73 "convert_optab_handler (fractuns_optab, $B, $A)->insn_code = CODE_FOR_$(fractuns$I$a$Q$b2$)",
74 "convert_optab_handler (fractuns_optab, $B, $A)->insn_code = CODE_FOR_$(fractuns$Q$a$I$b2$)",
75 "convert_optab_handler (satfract_optab, $B, $A)->insn_code = CODE_FOR_$(satfract$a$Q$b2$)",
76 "convert_optab_handler (satfractuns_optab, $B, $A)->insn_code = CODE_FOR_$(satfractuns$I$a$Q$b2$)",
77 "optab_handler (add_optab, $A)->insn_code = CODE_FOR_$(add$P$a3$)",
78 "optab_handler (addv_optab, $A)->insn_code =\n\
79 optab_handler (add_optab, $A)->insn_code = CODE_FOR_$(add$F$a3$)",
80 "optab_handler (addv_optab, $A)->insn_code = CODE_FOR_$(addv$I$a3$)",
81 "optab_handler (add_optab, $A)->insn_code = CODE_FOR_$(add$Q$a3$)",
82 "optab_handler (ssadd_optab, $A)->insn_code = CODE_FOR_$(ssadd$Q$a3$)",
83 "optab_handler (usadd_optab, $A)->insn_code = CODE_FOR_$(usadd$Q$a3$)",
84 "optab_handler (sub_optab, $A)->insn_code = CODE_FOR_$(sub$P$a3$)",
85 "optab_handler (subv_optab, $A)->insn_code =\n\
86 optab_handler (sub_optab, $A)->insn_code = CODE_FOR_$(sub$F$a3$)",
87 "optab_handler (subv_optab, $A)->insn_code = CODE_FOR_$(subv$I$a3$)",
88 "optab_handler (sub_optab, $A)->insn_code = CODE_FOR_$(sub$Q$a3$)",
89 "optab_handler (sssub_optab, $A)->insn_code = CODE_FOR_$(sssub$Q$a3$)",
90 "optab_handler (ussub_optab, $A)->insn_code = CODE_FOR_$(ussub$Q$a3$)",
91 "optab_handler (smul_optab, $A)->insn_code = CODE_FOR_$(mul$Q$a3$)",
92 "optab_handler (ssmul_optab, $A)->insn_code = CODE_FOR_$(ssmul$Q$a3$)",
93 "optab_handler (usmul_optab, $A)->insn_code = CODE_FOR_$(usmul$Q$a3$)",
94 "optab_handler (smul_optab, $A)->insn_code = CODE_FOR_$(mul$P$a3$)",
95 "optab_handler (smulv_optab, $A)->insn_code =\n\
96 optab_handler (smul_optab, $A)->insn_code = CODE_FOR_$(mul$F$a3$)",
97 "optab_handler (smulv_optab, $A)->insn_code = CODE_FOR_$(mulv$I$a3$)",
98 "optab_handler (umul_highpart_optab, $A)->insn_code = CODE_FOR_$(umul$a3_highpart$)",
99 "optab_handler (smul_highpart_optab, $A)->insn_code = CODE_FOR_$(smul$a3_highpart$)",
100 "optab_handler (smul_widen_optab, $B)->insn_code = CODE_FOR_$(mul$a$b3$)$N",
101 "optab_handler (umul_widen_optab, $B)->insn_code = CODE_FOR_$(umul$a$b3$)$N",
102 "optab_handler (usmul_widen_optab, $B)->insn_code = CODE_FOR_$(usmul$a$b3$)$N",
103 "optab_handler (smadd_widen_optab, $B)->insn_code = CODE_FOR_$(madd$a$b4$)$N",
104 "optab_handler (umadd_widen_optab, $B)->insn_code = CODE_FOR_$(umadd$a$b4$)$N",
105 "optab_handler (ssmadd_widen_optab, $B)->insn_code = CODE_FOR_$(ssmadd$a$b4$)$N",
106 "optab_handler (usmadd_widen_optab, $B)->insn_code = CODE_FOR_$(usmadd$a$b4$)$N",
107 "optab_handler (smsub_widen_optab, $B)->insn_code = CODE_FOR_$(msub$a$b4$)$N",
108 "optab_handler (umsub_widen_optab, $B)->insn_code = CODE_FOR_$(umsub$a$b4$)$N",
109 "optab_handler (ssmsub_widen_optab, $B)->insn_code = CODE_FOR_$(ssmsub$a$b4$)$N",
110 "optab_handler (usmsub_widen_optab, $B)->insn_code = CODE_FOR_$(usmsub$a$b4$)$N",
111 "optab_handler (sdiv_optab, $A)->insn_code = CODE_FOR_$(div$a3$)",
112 "optab_handler (ssdiv_optab, $A)->insn_code = CODE_FOR_$(ssdiv$Q$a3$)",
113 "optab_handler (sdivv_optab, $A)->insn_code = CODE_FOR_$(div$V$I$a3$)",
114 "optab_handler (udiv_optab, $A)->insn_code = CODE_FOR_$(udiv$I$a3$)",
115 "optab_handler (udiv_optab, $A)->insn_code = CODE_FOR_$(udiv$Q$a3$)",
116 "optab_handler (usdiv_optab, $A)->insn_code = CODE_FOR_$(usdiv$Q$a3$)",
117 "optab_handler (sdivmod_optab, $A)->insn_code = CODE_FOR_$(divmod$a4$)",
118 "optab_handler (udivmod_optab, $A)->insn_code = CODE_FOR_$(udivmod$a4$)",
119 "optab_handler (smod_optab, $A)->insn_code = CODE_FOR_$(mod$a3$)",
120 "optab_handler (umod_optab, $A)->insn_code = CODE_FOR_$(umod$a3$)",
121 "optab_handler (fmod_optab, $A)->insn_code = CODE_FOR_$(fmod$a3$)",
122 "optab_handler (remainder_optab, $A)->insn_code = CODE_FOR_$(remainder$a3$)",
123 "optab_handler (ftrunc_optab, $A)->insn_code = CODE_FOR_$(ftrunc$F$a2$)",
124 "optab_handler (and_optab, $A)->insn_code = CODE_FOR_$(and$a3$)",
125 "optab_handler (ior_optab, $A)->insn_code = CODE_FOR_$(ior$a3$)",
126 "optab_handler (xor_optab, $A)->insn_code = CODE_FOR_$(xor$a3$)",
127 "optab_handler (ashl_optab, $A)->insn_code = CODE_FOR_$(ashl$a3$)",
128 "optab_handler (ssashl_optab, $A)->insn_code = CODE_FOR_$(ssashl$Q$a3$)",
129 "optab_handler (usashl_optab, $A)->insn_code = CODE_FOR_$(usashl$Q$a3$)",
130 "optab_handler (ashr_optab, $A)->insn_code = CODE_FOR_$(ashr$a3$)",
131 "optab_handler (lshr_optab, $A)->insn_code = CODE_FOR_$(lshr$a3$)",
132 "optab_handler (rotl_optab, $A)->insn_code = CODE_FOR_$(rotl$a3$)",
133 "optab_handler (rotr_optab, $A)->insn_code = CODE_FOR_$(rotr$a3$)",
134 "optab_handler (vashr_optab, $A)->insn_code = CODE_FOR_$(vashr$a3$)",
135 "optab_handler (vlshr_optab, $A)->insn_code = CODE_FOR_$(vlshr$a3$)",
136 "optab_handler (vashl_optab, $A)->insn_code = CODE_FOR_$(vashl$a3$)",
137 "optab_handler (vrotl_optab, $A)->insn_code = CODE_FOR_$(vrotl$a3$)",
138 "optab_handler (vrotr_optab, $A)->insn_code = CODE_FOR_$(vrotr$a3$)",
139 "optab_handler (smin_optab, $A)->insn_code = CODE_FOR_$(smin$a3$)",
140 "optab_handler (smax_optab, $A)->insn_code = CODE_FOR_$(smax$a3$)",
141 "optab_handler (umin_optab, $A)->insn_code = CODE_FOR_$(umin$I$a3$)",
142 "optab_handler (umax_optab, $A)->insn_code = CODE_FOR_$(umax$I$a3$)",
143 "optab_handler (pow_optab, $A)->insn_code = CODE_FOR_$(pow$a3$)",
144 "optab_handler (atan2_optab, $A)->insn_code = CODE_FOR_$(atan2$a3$)",
145 "optab_handler (neg_optab, $A)->insn_code = CODE_FOR_$(neg$P$a2$)",
146 "optab_handler (negv_optab, $A)->insn_code =\n\
147 optab_handler (neg_optab, $A)->insn_code = CODE_FOR_$(neg$F$a2$)",
148 "optab_handler (negv_optab, $A)->insn_code = CODE_FOR_$(negv$I$a2$)",
149 "optab_handler (neg_optab, $A)->insn_code = CODE_FOR_$(neg$Q$a2$)",
150 "optab_handler (ssneg_optab, $A)->insn_code = CODE_FOR_$(ssneg$Q$a2$)",
151 "optab_handler (usneg_optab, $A)->insn_code = CODE_FOR_$(usneg$Q$a2$)",
152 "optab_handler (abs_optab, $A)->insn_code = CODE_FOR_$(abs$P$a2$)",
153 "optab_handler (absv_optab, $A)->insn_code =\n\
154 optab_handler (abs_optab, $A)->insn_code = CODE_FOR_$(abs$F$a2$)",
155 "optab_handler (absv_optab, $A)->insn_code = CODE_FOR_$(absv$I$a2$)",
156 "optab_handler (copysign_optab, $A)->insn_code = CODE_FOR_$(copysign$F$a3$)",
157 "optab_handler (signbit_optab, $A)->insn_code = CODE_FOR_$(signbit$F$a2$)",
158 "optab_handler (isinf_optab, $A)->insn_code = CODE_FOR_$(isinf$a2$)",
159 "optab_handler (sqrt_optab, $A)->insn_code = CODE_FOR_$(sqrt$a2$)",
160 "optab_handler (floor_optab, $A)->insn_code = CODE_FOR_$(floor$a2$)",
161 "convert_optab_handler (lfloor_optab, $B, $A)->insn_code = CODE_FOR_$(lfloor$F$a$I$b2$)",
162 "optab_handler (ceil_optab, $A)->insn_code = CODE_FOR_$(ceil$a2$)",
163 "convert_optab_handler (lceil_optab, $B, $A)->insn_code = CODE_FOR_$(lceil$F$a$I$b2$)",
164 "optab_handler (round_optab, $A)->insn_code = CODE_FOR_$(round$a2$)",
165 "optab_handler (btrunc_optab, $A)->insn_code = CODE_FOR_$(btrunc$a2$)",
166 "optab_handler (nearbyint_optab, $A)->insn_code = CODE_FOR_$(nearbyint$a2$)",
167 "optab_handler (rint_optab, $A)->insn_code = CODE_FOR_$(rint$a2$)",
168 "convert_optab_handler (lrint_optab, $B, $A)->insn_code = CODE_FOR_$(lrint$F$a$I$b2$)",
169 "convert_optab_handler (lround_optab, $B, $A)->insn_code = CODE_FOR_$(lround$F$a$I$b2$)",
170 "optab_handler (sincos_optab, $A)->insn_code = CODE_FOR_$(sincos$a3$)",
171 "optab_handler (sin_optab, $A)->insn_code = CODE_FOR_$(sin$a2$)",
172 "optab_handler (asin_optab, $A)->insn_code = CODE_FOR_$(asin$a2$)",
173 "optab_handler (cos_optab, $A)->insn_code = CODE_FOR_$(cos$a2$)",
174 "optab_handler (acos_optab, $A)->insn_code = CODE_FOR_$(acos$a2$)",
175 "optab_handler (exp_optab, $A)->insn_code = CODE_FOR_$(exp$a2$)",
176 "optab_handler (exp10_optab, $A)->insn_code = CODE_FOR_$(exp10$a2$)",
177 "optab_handler (exp2_optab, $A)->insn_code = CODE_FOR_$(exp2$a2$)",
178 "optab_handler (expm1_optab, $A)->insn_code = CODE_FOR_$(expm1$a2$)",
179 "optab_handler (ldexp_optab, $A)->insn_code = CODE_FOR_$(ldexp$a3$)",
180 "optab_handler (scalb_optab, $A)->insn_code = CODE_FOR_$(scalb$a3$)",
181 "optab_handler (significand_optab, $A)->insn_code = CODE_FOR_$(significand$a2$)",
182 "optab_handler (logb_optab, $A)->insn_code = CODE_FOR_$(logb$a2$)",
183 "optab_handler (ilogb_optab, $A)->insn_code = CODE_FOR_$(ilogb$a2$)",
184 "optab_handler (log_optab, $A)->insn_code = CODE_FOR_$(log$a2$)",
185 "optab_handler (log10_optab, $A)->insn_code = CODE_FOR_$(log10$a2$)",
186 "optab_handler (log2_optab, $A)->insn_code = CODE_FOR_$(log2$a2$)",
187 "optab_handler (log1p_optab, $A)->insn_code = CODE_FOR_$(log1p$a2$)",
188 "optab_handler (tan_optab, $A)->insn_code = CODE_FOR_$(tan$a2$)",
189 "optab_handler (atan_optab, $A)->insn_code = CODE_FOR_$(atan$a2$)",
190 "optab_handler (strlen_optab, $A)->insn_code = CODE_FOR_$(strlen$a$)",
191 "optab_handler (one_cmpl_optab, $A)->insn_code = CODE_FOR_$(one_cmpl$a2$)",
192 "optab_handler (bswap_optab, $A)->insn_code = CODE_FOR_$(bswap$a2$)",
193 "optab_handler (ffs_optab, $A)->insn_code = CODE_FOR_$(ffs$a2$)",
194 "optab_handler (clz_optab, $A)->insn_code = CODE_FOR_$(clz$a2$)",
195 "optab_handler (ctz_optab, $A)->insn_code = CODE_FOR_$(ctz$a2$)",
196 "optab_handler (popcount_optab, $A)->insn_code = CODE_FOR_$(popcount$a2$)",
197 "optab_handler (parity_optab, $A)->insn_code = CODE_FOR_$(parity$a2$)",
198 "optab_handler (mov_optab, $A)->insn_code = CODE_FOR_$(mov$a$)",
199 "optab_handler (movstrict_optab, $A)->insn_code = CODE_FOR_$(movstrict$a$)",
200 "optab_handler (movmisalign_optab, $A)->insn_code = CODE_FOR_$(movmisalign$a$)",
201 "optab_handler (storent_optab, $A)->insn_code = CODE_FOR_$(storent$a$)",
202 "optab_handler (addcc_optab, $A)->insn_code = CODE_FOR_$(add$acc$)",
203 "movcc_gen_code[$A] = CODE_FOR_$(mov$acc$)",
204 "optab_handler (cbranch_optab, $A)->insn_code = CODE_FOR_$(cbranch$a4$)",
205 "optab_handler (cmov_optab, $A)->insn_code = CODE_FOR_$(cmov$a6$)",
206 "optab_handler (cstore_optab, $A)->insn_code = CODE_FOR_$(cstore$a4$)",
207 "optab_handler (ctrap_optab, $A)->insn_code = CODE_FOR_$(ctrap$a4$)",
208 "optab_handler (push_optab, $A)->insn_code = CODE_FOR_$(push$a1$)",
209 "reload_in_optab[$A] = CODE_FOR_$(reload_in$a$)",
210 "reload_out_optab[$A] = CODE_FOR_$(reload_out$a$)",
211 "movmem_optab[$A] = CODE_FOR_$(movmem$a$)",
212 "cmpstr_optab[$A] = CODE_FOR_$(cmpstr$a$)",
213 "cmpstrn_optab[$A] = CODE_FOR_$(cmpstrn$a$)",
214 "cmpmem_optab[$A] = CODE_FOR_$(cmpmem$a$)",
215 "setmem_optab[$A] = CODE_FOR_$(setmem$a$)",
216 "sync_add_optab[$A] = CODE_FOR_$(sync_add$I$a$)",
217 "sync_sub_optab[$A] = CODE_FOR_$(sync_sub$I$a$)",
218 "sync_ior_optab[$A] = CODE_FOR_$(sync_ior$I$a$)",
219 "sync_and_optab[$A] = CODE_FOR_$(sync_and$I$a$)",
220 "sync_xor_optab[$A] = CODE_FOR_$(sync_xor$I$a$)",
221 "sync_nand_optab[$A] = CODE_FOR_$(sync_nand$I$a$)",
222 "sync_old_add_optab[$A] = CODE_FOR_$(sync_old_add$I$a$)",
223 "sync_old_sub_optab[$A] = CODE_FOR_$(sync_old_sub$I$a$)",
224 "sync_old_ior_optab[$A] = CODE_FOR_$(sync_old_ior$I$a$)",
225 "sync_old_and_optab[$A] = CODE_FOR_$(sync_old_and$I$a$)",
226 "sync_old_xor_optab[$A] = CODE_FOR_$(sync_old_xor$I$a$)",
227 "sync_old_nand_optab[$A] = CODE_FOR_$(sync_old_nand$I$a$)",
228 "sync_new_add_optab[$A] = CODE_FOR_$(sync_new_add$I$a$)",
229 "sync_new_sub_optab[$A] = CODE_FOR_$(sync_new_sub$I$a$)",
230 "sync_new_ior_optab[$A] = CODE_FOR_$(sync_new_ior$I$a$)",
231 "sync_new_and_optab[$A] = CODE_FOR_$(sync_new_and$I$a$)",
232 "sync_new_xor_optab[$A] = CODE_FOR_$(sync_new_xor$I$a$)",
233 "sync_new_nand_optab[$A] = CODE_FOR_$(sync_new_nand$I$a$)",
234 "sync_compare_and_swap[$A] = CODE_FOR_$(sync_compare_and_swap$I$a$)",
235 "sync_lock_test_and_set[$A] = CODE_FOR_$(sync_lock_test_and_set$I$a$)",
236 "sync_lock_release[$A] = CODE_FOR_$(sync_lock_release$I$a$)",
237 "optab_handler (vec_set_optab, $A)->insn_code = CODE_FOR_$(vec_set$a$)",
238 "optab_handler (vec_extract_optab, $A)->insn_code = CODE_FOR_$(vec_extract$a$)",
239 "optab_handler (vec_extract_even_optab, $A)->insn_code = CODE_FOR_$(vec_extract_even$a$)",
240 "optab_handler (vec_extract_odd_optab, $A)->insn_code = CODE_FOR_$(vec_extract_odd$a$)",
241 "optab_handler (vec_interleave_high_optab, $A)->insn_code = CODE_FOR_$(vec_interleave_high$a$)",
242 "optab_handler (vec_interleave_low_optab, $A)->insn_code = CODE_FOR_$(vec_interleave_low$a$)",
243 "optab_handler (vec_init_optab, $A)->insn_code = CODE_FOR_$(vec_init$a$)",
244 "optab_handler (vec_shl_optab, $A)->insn_code = CODE_FOR_$(vec_shl_$a$)",
245 "optab_handler (vec_shr_optab, $A)->insn_code = CODE_FOR_$(vec_shr_$a$)",
246 "optab_handler (vec_realign_load_optab, $A)->insn_code = CODE_FOR_$(vec_realign_load_$a$)",
247 "vcond_gen_code[$A] = CODE_FOR_$(vcond$a$)",
248 "vcondu_gen_code[$A] = CODE_FOR_$(vcondu$a$)",
249 "optab_handler (ssum_widen_optab, $A)->insn_code = CODE_FOR_$(widen_ssum$I$a3$)",
250 "optab_handler (usum_widen_optab, $A)->insn_code = CODE_FOR_$(widen_usum$I$a3$)",
251 "optab_handler (udot_prod_optab, $A)->insn_code = CODE_FOR_$(udot_prod$I$a$)",
252 "optab_handler (sdot_prod_optab, $A)->insn_code = CODE_FOR_$(sdot_prod$I$a$)",
253 "optab_handler (reduc_smax_optab, $A)->insn_code = CODE_FOR_$(reduc_smax_$a$)",
254 "optab_handler (reduc_umax_optab, $A)->insn_code = CODE_FOR_$(reduc_umax_$a$)",
255 "optab_handler (reduc_smin_optab, $A)->insn_code = CODE_FOR_$(reduc_smin_$a$)",
256 "optab_handler (reduc_umin_optab, $A)->insn_code = CODE_FOR_$(reduc_umin_$a$)",
257 "optab_handler (reduc_splus_optab, $A)->insn_code = CODE_FOR_$(reduc_splus_$a$)" ,
258 "optab_handler (reduc_uplus_optab, $A)->insn_code = CODE_FOR_$(reduc_uplus_$a$)",
259 "optab_handler (vec_widen_umult_hi_optab, $A)->insn_code = CODE_FOR_$(vec_widen_umult_hi_$a$)",
260 "optab_handler (vec_widen_umult_lo_optab, $A)->insn_code = CODE_FOR_$(vec_widen_umult_lo_$a$)",
261 "optab_handler (vec_widen_smult_hi_optab, $A)->insn_code = CODE_FOR_$(vec_widen_smult_hi_$a$)",
262 "optab_handler (vec_widen_smult_lo_optab, $A)->insn_code = CODE_FOR_$(vec_widen_smult_lo_$a$)",
263 "optab_handler (vec_unpacks_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_hi_$a$)",
264 "optab_handler (vec_unpacks_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_lo_$a$)",
265 "optab_handler (vec_unpacku_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_hi_$a$)",
266 "optab_handler (vec_unpacku_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_lo_$a$)",
267 "optab_handler (vec_unpacks_float_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_float_hi_$a$)",
268 "optab_handler (vec_unpacks_float_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_float_lo_$a$)",
269 "optab_handler (vec_unpacku_float_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_float_hi_$a$)",
270 "optab_handler (vec_unpacku_float_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_float_lo_$a$)",
271 "optab_handler (vec_pack_trunc_optab, $A)->insn_code = CODE_FOR_$(vec_pack_trunc_$a$)",
272 "optab_handler (vec_pack_ssat_optab, $A)->insn_code = CODE_FOR_$(vec_pack_ssat_$a$)",
273 "optab_handler (vec_pack_usat_optab, $A)->insn_code = CODE_FOR_$(vec_pack_usat_$a$)",
274 "optab_handler (vec_pack_sfix_trunc_optab, $A)->insn_code = CODE_FOR_$(vec_pack_sfix_trunc_$a$)",
275 "optab_handler (vec_pack_ufix_trunc_optab, $A)->insn_code = CODE_FOR_$(vec_pack_ufix_trunc_$a$)"
278 static void gen_insn (rtx);
280 static void
281 gen_insn (rtx insn)
283 const char *name = XSTR (insn, 0);
284 int m1 = 0, m2 = 0, op = 0;
285 size_t pindex;
286 int i;
287 const char *np, *pp, *p, *q;
289 /* Don't mention instructions whose names are the null string.
290 They are in the machine description just to be recognized. */
291 if (*name == 0)
292 return;
294 /* See if NAME matches one of the patterns we have for the optabs we know
295 about. */
297 for (pindex = 0; pindex < ARRAY_SIZE (optabs); pindex++)
299 int force_float = 0, force_int = 0, force_partial_int = 0;
300 int force_fixed = 0;
301 int force_consec = 0;
302 int matches = 1;
304 for (pp = optabs[pindex]; pp[0] != '$' || pp[1] != '('; pp++)
307 for (pp += 2, np = name; matches && ! (pp[0] == '$' && pp[1] == ')');
308 pp++)
310 if (*pp != '$')
312 if (*pp != *np++)
313 break;
315 else
316 switch (*++pp)
318 case 'N':
319 force_consec = 1;
320 break;
321 case 'I':
322 force_int = 1;
323 break;
324 case 'P':
325 force_partial_int = 1;
326 break;
327 case 'F':
328 force_float = 1;
329 break;
330 case 'Q':
331 force_fixed = 1;
332 break;
333 case 'V':
334 break;
335 case 'c':
336 for (op = 0; op < NUM_RTX_CODE; op++)
338 for (p = GET_RTX_NAME(op), q = np; *p; p++, q++)
339 if (*p != *q)
340 break;
342 /* We have to be concerned about matching "gt" and
343 missing "gtu", e.g., so verify we have reached the
344 end of thing we are to match. */
345 if (*p == 0 && *q == 0
346 && (GET_RTX_CLASS (op) == RTX_COMPARE
347 || GET_RTX_CLASS (op) == RTX_COMM_COMPARE))
348 break;
351 if (op == NUM_RTX_CODE)
352 matches = 0;
353 else
354 np += strlen (GET_RTX_NAME(op));
355 break;
356 case 'a':
357 case 'b':
358 /* This loop will stop at the first prefix match, so
359 look through the modes in reverse order, in case
360 there are extra CC modes and CC is a prefix of the
361 CC modes (as it should be). */
362 for (i = (MAX_MACHINE_MODE) - 1; i >= 0; i--)
364 for (p = GET_MODE_NAME(i), q = np; *p; p++, q++)
365 if (TOLOWER (*p) != *q)
366 break;
368 if (*p == 0
369 && (! force_int || mode_class[i] == MODE_INT
370 || mode_class[i] == MODE_VECTOR_INT)
371 && (! force_partial_int
372 || mode_class[i] == MODE_INT
373 || mode_class[i] == MODE_PARTIAL_INT
374 || mode_class[i] == MODE_VECTOR_INT)
375 && (! force_float
376 || mode_class[i] == MODE_FLOAT
377 || mode_class[i] == MODE_DECIMAL_FLOAT
378 || mode_class[i] == MODE_COMPLEX_FLOAT
379 || mode_class[i] == MODE_VECTOR_FLOAT)
380 && (! force_fixed
381 || mode_class[i] == MODE_FRACT
382 || mode_class[i] == MODE_UFRACT
383 || mode_class[i] == MODE_ACCUM
384 || mode_class[i] == MODE_UACCUM
385 || mode_class[i] == MODE_VECTOR_FRACT
386 || mode_class[i] == MODE_VECTOR_UFRACT
387 || mode_class[i] == MODE_VECTOR_ACCUM
388 || mode_class[i] == MODE_VECTOR_UACCUM))
389 break;
392 if (i < 0)
393 matches = 0;
394 else if (*pp == 'a')
395 m1 = i, np += strlen (GET_MODE_NAME(i));
396 else
397 m2 = i, np += strlen (GET_MODE_NAME(i));
399 force_int = force_partial_int = force_float = force_fixed = 0;
400 break;
402 default:
403 gcc_unreachable ();
407 if (matches && pp[0] == '$' && pp[1] == ')'
408 && *np == 0
409 && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2))
410 break;
413 if (pindex == ARRAY_SIZE (optabs))
414 return;
416 /* We found a match. If this pattern is only conditionally present,
417 write out the "if" and two extra blanks. */
419 if (*XSTR (insn, 2) != 0)
420 printf (" if (HAVE_%s)\n ", name);
422 printf (" ");
424 /* Now write out the initialization, making all required substitutions. */
425 for (pp = optabs[pindex]; *pp; pp++)
427 if (*pp != '$')
428 putchar (*pp);
429 else
430 switch (*++pp)
432 case '(': case ')':
433 case 'I': case 'F': case 'N':
434 break;
435 case 'V':
436 if (SCALAR_FLOAT_MODE_P (m1))
437 printf ("v");
438 break;
439 case 'a':
440 for (np = GET_MODE_NAME(m1); *np; np++)
441 putchar (TOLOWER (*np));
442 break;
443 case 'b':
444 for (np = GET_MODE_NAME(m2); *np; np++)
445 putchar (TOLOWER (*np));
446 break;
447 case 'A':
448 printf ("%smode", GET_MODE_NAME(m1));
449 break;
450 case 'B':
451 printf ("%smode", GET_MODE_NAME(m2));
452 break;
453 case 'c':
454 printf ("%s", GET_RTX_NAME(op));
455 break;
456 case 'C':
457 for (np = GET_RTX_NAME(op); *np; np++)
458 putchar (TOUPPER (*np));
459 break;
463 printf (";\n");
466 extern int main (int, char **);
469 main (int argc, char **argv)
471 rtx desc;
473 progname = "genopinit";
475 if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE)
476 return (FATAL_EXIT_CODE);
478 printf ("/* Generated automatically by the program `genopinit'\n\
479 from the machine description file `md'. */\n\n");
481 printf ("#include \"config.h\"\n");
482 printf ("#include \"system.h\"\n");
483 printf ("#include \"coretypes.h\"\n");
484 printf ("#include \"tm.h\"\n");
485 printf ("#include \"rtl.h\"\n");
486 printf ("#include \"tm_p.h\"\n");
487 printf ("#include \"flags.h\"\n");
488 printf ("#include \"insn-config.h\"\n");
489 printf ("#include \"recog.h\"\n");
490 printf ("#include \"expr.h\"\n");
491 printf ("#include \"optabs.h\"\n");
492 printf ("#include \"reload.h\"\n\n");
494 printf ("void\ninit_all_optabs (void)\n{\n");
496 puts ("\
497 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
498 int i, j;\n\
499 #endif\n");
501 /* Read the machine description. */
503 while (1)
505 int line_no, insn_code_number = 0;
507 desc = read_md_rtx (&line_no, &insn_code_number);
508 if (desc == NULL)
509 break;
511 if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
512 gen_insn (desc);
515 puts ("\
517 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
518 /* This flag says the same insns that convert to a signed fixnum\n\
519 also convert validly to an unsigned one. */\n\
520 for (i = 0; i < NUM_MACHINE_MODES; i++)\n\
521 for (j = 0; j < NUM_MACHINE_MODES; j++)\n\
522 convert_optab_handler (ufixtrunc_optab, i, j)->insn_code\n\
523 = convert_optab_handler (sfixtrunc_optab, i, j)->insn_code;\n\
524 #endif\n\
525 }");
527 fflush (stdout);
528 return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);