0
|
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.
|
|
5
|
|
6 This file is part of GCC.
|
|
7
|
|
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.
|
|
12
|
|
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.
|
|
17
|
|
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/>. */
|
|
21
|
|
22
|
|
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"
|
|
30
|
|
31
|
|
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.
|
|
35
|
|
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.
|
|
40
|
|
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.
|
|
48
|
|
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.
|
|
55
|
|
56 $V means to emit 'v' if the first mode is a MODE_FLOAT mode.
|
|
57
|
|
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. */
|
|
61
|
|
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 (logb_optab, $A)->insn_code = CODE_FOR_$(logb$a2$)",
|
|
182 "optab_handler (ilogb_optab, $A)->insn_code = CODE_FOR_$(ilogb$a2$)",
|
|
183 "optab_handler (log_optab, $A)->insn_code = CODE_FOR_$(log$a2$)",
|
|
184 "optab_handler (log10_optab, $A)->insn_code = CODE_FOR_$(log10$a2$)",
|
|
185 "optab_handler (log2_optab, $A)->insn_code = CODE_FOR_$(log2$a2$)",
|
|
186 "optab_handler (log1p_optab, $A)->insn_code = CODE_FOR_$(log1p$a2$)",
|
|
187 "optab_handler (tan_optab, $A)->insn_code = CODE_FOR_$(tan$a2$)",
|
|
188 "optab_handler (atan_optab, $A)->insn_code = CODE_FOR_$(atan$a2$)",
|
|
189 "optab_handler (strlen_optab, $A)->insn_code = CODE_FOR_$(strlen$a$)",
|
|
190 "optab_handler (one_cmpl_optab, $A)->insn_code = CODE_FOR_$(one_cmpl$a2$)",
|
|
191 "optab_handler (bswap_optab, $A)->insn_code = CODE_FOR_$(bswap$a2$)",
|
|
192 "optab_handler (ffs_optab, $A)->insn_code = CODE_FOR_$(ffs$a2$)",
|
|
193 "optab_handler (clz_optab, $A)->insn_code = CODE_FOR_$(clz$a2$)",
|
|
194 "optab_handler (ctz_optab, $A)->insn_code = CODE_FOR_$(ctz$a2$)",
|
|
195 "optab_handler (popcount_optab, $A)->insn_code = CODE_FOR_$(popcount$a2$)",
|
|
196 "optab_handler (parity_optab, $A)->insn_code = CODE_FOR_$(parity$a2$)",
|
|
197 "optab_handler (mov_optab, $A)->insn_code = CODE_FOR_$(mov$a$)",
|
|
198 "optab_handler (movstrict_optab, $A)->insn_code = CODE_FOR_$(movstrict$a$)",
|
|
199 "optab_handler (movmisalign_optab, $A)->insn_code = CODE_FOR_$(movmisalign$a$)",
|
|
200 "optab_handler (storent_optab, $A)->insn_code = CODE_FOR_$(storent$a$)",
|
|
201 "optab_handler (cmp_optab, $A)->insn_code = CODE_FOR_$(cmp$a$)",
|
|
202 "optab_handler (tst_optab, $A)->insn_code = CODE_FOR_$(tst$a$)",
|
|
203 "optab_handler (addcc_optab, $A)->insn_code = CODE_FOR_$(add$acc$)",
|
|
204 "bcc_gen_fctn[$C] = gen_$(b$c$)",
|
|
205 "setcc_gen_code[$C] = CODE_FOR_$(s$c$)",
|
|
206 "movcc_gen_code[$A] = CODE_FOR_$(mov$acc$)",
|
|
207 "optab_handler (cbranch_optab, $A)->insn_code = CODE_FOR_$(cbranch$a4$)",
|
|
208 "optab_handler (cmov_optab, $A)->insn_code = CODE_FOR_$(cmov$a6$)",
|
|
209 "optab_handler (cstore_optab, $A)->insn_code = CODE_FOR_$(cstore$a4$)",
|
|
210 "optab_handler (push_optab, $A)->insn_code = CODE_FOR_$(push$a1$)",
|
|
211 "reload_in_optab[$A] = CODE_FOR_$(reload_in$a$)",
|
|
212 "reload_out_optab[$A] = CODE_FOR_$(reload_out$a$)",
|
|
213 "movmem_optab[$A] = CODE_FOR_$(movmem$a$)",
|
|
214 "cmpstr_optab[$A] = CODE_FOR_$(cmpstr$a$)",
|
|
215 "cmpstrn_optab[$A] = CODE_FOR_$(cmpstrn$a$)",
|
|
216 "cmpmem_optab[$A] = CODE_FOR_$(cmpmem$a$)",
|
|
217 "setmem_optab[$A] = CODE_FOR_$(setmem$a$)",
|
|
218 "sync_add_optab[$A] = CODE_FOR_$(sync_add$I$a$)",
|
|
219 "sync_sub_optab[$A] = CODE_FOR_$(sync_sub$I$a$)",
|
|
220 "sync_ior_optab[$A] = CODE_FOR_$(sync_ior$I$a$)",
|
|
221 "sync_and_optab[$A] = CODE_FOR_$(sync_and$I$a$)",
|
|
222 "sync_xor_optab[$A] = CODE_FOR_$(sync_xor$I$a$)",
|
|
223 "sync_nand_optab[$A] = CODE_FOR_$(sync_nand$I$a$)",
|
|
224 "sync_old_add_optab[$A] = CODE_FOR_$(sync_old_add$I$a$)",
|
|
225 "sync_old_sub_optab[$A] = CODE_FOR_$(sync_old_sub$I$a$)",
|
|
226 "sync_old_ior_optab[$A] = CODE_FOR_$(sync_old_ior$I$a$)",
|
|
227 "sync_old_and_optab[$A] = CODE_FOR_$(sync_old_and$I$a$)",
|
|
228 "sync_old_xor_optab[$A] = CODE_FOR_$(sync_old_xor$I$a$)",
|
|
229 "sync_old_nand_optab[$A] = CODE_FOR_$(sync_old_nand$I$a$)",
|
|
230 "sync_new_add_optab[$A] = CODE_FOR_$(sync_new_add$I$a$)",
|
|
231 "sync_new_sub_optab[$A] = CODE_FOR_$(sync_new_sub$I$a$)",
|
|
232 "sync_new_ior_optab[$A] = CODE_FOR_$(sync_new_ior$I$a$)",
|
|
233 "sync_new_and_optab[$A] = CODE_FOR_$(sync_new_and$I$a$)",
|
|
234 "sync_new_xor_optab[$A] = CODE_FOR_$(sync_new_xor$I$a$)",
|
|
235 "sync_new_nand_optab[$A] = CODE_FOR_$(sync_new_nand$I$a$)",
|
|
236 "sync_compare_and_swap[$A] = CODE_FOR_$(sync_compare_and_swap$I$a$)",
|
|
237 "sync_compare_and_swap_cc[$A] = CODE_FOR_$(sync_compare_and_swap_cc$I$a$)",
|
|
238 "sync_lock_test_and_set[$A] = CODE_FOR_$(sync_lock_test_and_set$I$a$)",
|
|
239 "sync_lock_release[$A] = CODE_FOR_$(sync_lock_release$I$a$)",
|
|
240 "optab_handler (vec_set_optab, $A)->insn_code = CODE_FOR_$(vec_set$a$)",
|
|
241 "optab_handler (vec_extract_optab, $A)->insn_code = CODE_FOR_$(vec_extract$a$)",
|
|
242 "optab_handler (vec_extract_even_optab, $A)->insn_code = CODE_FOR_$(vec_extract_even$a$)",
|
|
243 "optab_handler (vec_extract_odd_optab, $A)->insn_code = CODE_FOR_$(vec_extract_odd$a$)",
|
|
244 "optab_handler (vec_interleave_high_optab, $A)->insn_code = CODE_FOR_$(vec_interleave_high$a$)",
|
|
245 "optab_handler (vec_interleave_low_optab, $A)->insn_code = CODE_FOR_$(vec_interleave_low$a$)",
|
|
246 "optab_handler (vec_init_optab, $A)->insn_code = CODE_FOR_$(vec_init$a$)",
|
|
247 "optab_handler (vec_shl_optab, $A)->insn_code = CODE_FOR_$(vec_shl_$a$)",
|
|
248 "optab_handler (vec_shr_optab, $A)->insn_code = CODE_FOR_$(vec_shr_$a$)",
|
|
249 "optab_handler (vec_realign_load_optab, $A)->insn_code = CODE_FOR_$(vec_realign_load_$a$)",
|
|
250 "vcond_gen_code[$A] = CODE_FOR_$(vcond$a$)",
|
|
251 "vcondu_gen_code[$A] = CODE_FOR_$(vcondu$a$)",
|
|
252 "optab_handler (ssum_widen_optab, $A)->insn_code = CODE_FOR_$(widen_ssum$I$a3$)",
|
|
253 "optab_handler (usum_widen_optab, $A)->insn_code = CODE_FOR_$(widen_usum$I$a3$)",
|
|
254 "optab_handler (udot_prod_optab, $A)->insn_code = CODE_FOR_$(udot_prod$I$a$)",
|
|
255 "optab_handler (sdot_prod_optab, $A)->insn_code = CODE_FOR_$(sdot_prod$I$a$)",
|
|
256 "optab_handler (reduc_smax_optab, $A)->insn_code = CODE_FOR_$(reduc_smax_$a$)",
|
|
257 "optab_handler (reduc_umax_optab, $A)->insn_code = CODE_FOR_$(reduc_umax_$a$)",
|
|
258 "optab_handler (reduc_smin_optab, $A)->insn_code = CODE_FOR_$(reduc_smin_$a$)",
|
|
259 "optab_handler (reduc_umin_optab, $A)->insn_code = CODE_FOR_$(reduc_umin_$a$)",
|
|
260 "optab_handler (reduc_splus_optab, $A)->insn_code = CODE_FOR_$(reduc_splus_$a$)" ,
|
|
261 "optab_handler (reduc_uplus_optab, $A)->insn_code = CODE_FOR_$(reduc_uplus_$a$)",
|
|
262 "optab_handler (vec_widen_umult_hi_optab, $A)->insn_code = CODE_FOR_$(vec_widen_umult_hi_$a$)",
|
|
263 "optab_handler (vec_widen_umult_lo_optab, $A)->insn_code = CODE_FOR_$(vec_widen_umult_lo_$a$)",
|
|
264 "optab_handler (vec_widen_smult_hi_optab, $A)->insn_code = CODE_FOR_$(vec_widen_smult_hi_$a$)",
|
|
265 "optab_handler (vec_widen_smult_lo_optab, $A)->insn_code = CODE_FOR_$(vec_widen_smult_lo_$a$)",
|
|
266 "optab_handler (vec_unpacks_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_hi_$a$)",
|
|
267 "optab_handler (vec_unpacks_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_lo_$a$)",
|
|
268 "optab_handler (vec_unpacku_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_hi_$a$)",
|
|
269 "optab_handler (vec_unpacku_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_lo_$a$)",
|
|
270 "optab_handler (vec_unpacks_float_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_float_hi_$a$)",
|
|
271 "optab_handler (vec_unpacks_float_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacks_float_lo_$a$)",
|
|
272 "optab_handler (vec_unpacku_float_hi_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_float_hi_$a$)",
|
|
273 "optab_handler (vec_unpacku_float_lo_optab, $A)->insn_code = CODE_FOR_$(vec_unpacku_float_lo_$a$)",
|
|
274 "optab_handler (vec_pack_trunc_optab, $A)->insn_code = CODE_FOR_$(vec_pack_trunc_$a$)",
|
|
275 "optab_handler (vec_pack_ssat_optab, $A)->insn_code = CODE_FOR_$(vec_pack_ssat_$a$)",
|
|
276 "optab_handler (vec_pack_usat_optab, $A)->insn_code = CODE_FOR_$(vec_pack_usat_$a$)",
|
|
277 "optab_handler (vec_pack_sfix_trunc_optab, $A)->insn_code = CODE_FOR_$(vec_pack_sfix_trunc_$a$)",
|
|
278 "optab_handler (vec_pack_ufix_trunc_optab, $A)->insn_code = CODE_FOR_$(vec_pack_ufix_trunc_$a$)"
|
|
279 };
|
|
280
|
|
281 static void gen_insn (rtx);
|
|
282
|
|
283 static void
|
|
284 gen_insn (rtx insn)
|
|
285 {
|
|
286 const char *name = XSTR (insn, 0);
|
|
287 int m1 = 0, m2 = 0, op = 0;
|
|
288 size_t pindex;
|
|
289 int i;
|
|
290 const char *np, *pp, *p, *q;
|
|
291
|
|
292 /* Don't mention instructions whose names are the null string.
|
|
293 They are in the machine description just to be recognized. */
|
|
294 if (*name == 0)
|
|
295 return;
|
|
296
|
|
297 /* See if NAME matches one of the patterns we have for the optabs we know
|
|
298 about. */
|
|
299
|
|
300 for (pindex = 0; pindex < ARRAY_SIZE (optabs); pindex++)
|
|
301 {
|
|
302 int force_float = 0, force_int = 0, force_partial_int = 0;
|
|
303 int force_fixed = 0;
|
|
304 int force_consec = 0;
|
|
305 int matches = 1;
|
|
306
|
|
307 for (pp = optabs[pindex]; pp[0] != '$' || pp[1] != '('; pp++)
|
|
308 ;
|
|
309
|
|
310 for (pp += 2, np = name; matches && ! (pp[0] == '$' && pp[1] == ')');
|
|
311 pp++)
|
|
312 {
|
|
313 if (*pp != '$')
|
|
314 {
|
|
315 if (*pp != *np++)
|
|
316 break;
|
|
317 }
|
|
318 else
|
|
319 switch (*++pp)
|
|
320 {
|
|
321 case 'N':
|
|
322 force_consec = 1;
|
|
323 break;
|
|
324 case 'I':
|
|
325 force_int = 1;
|
|
326 break;
|
|
327 case 'P':
|
|
328 force_partial_int = 1;
|
|
329 break;
|
|
330 case 'F':
|
|
331 force_float = 1;
|
|
332 break;
|
|
333 case 'Q':
|
|
334 force_fixed = 1;
|
|
335 break;
|
|
336 case 'V':
|
|
337 break;
|
|
338 case 'c':
|
|
339 for (op = 0; op < NUM_RTX_CODE; op++)
|
|
340 {
|
|
341 for (p = GET_RTX_NAME(op), q = np; *p; p++, q++)
|
|
342 if (*p != *q)
|
|
343 break;
|
|
344
|
|
345 /* We have to be concerned about matching "gt" and
|
|
346 missing "gtu", e.g., so verify we have reached the
|
|
347 end of thing we are to match. */
|
|
348 if (*p == 0 && *q == 0
|
|
349 && (GET_RTX_CLASS (op) == RTX_COMPARE
|
|
350 || GET_RTX_CLASS (op) == RTX_COMM_COMPARE))
|
|
351 break;
|
|
352 }
|
|
353
|
|
354 if (op == NUM_RTX_CODE)
|
|
355 matches = 0;
|
|
356 else
|
|
357 np += strlen (GET_RTX_NAME(op));
|
|
358 break;
|
|
359 case 'a':
|
|
360 case 'b':
|
|
361 /* This loop will stop at the first prefix match, so
|
|
362 look through the modes in reverse order, in case
|
|
363 there are extra CC modes and CC is a prefix of the
|
|
364 CC modes (as it should be). */
|
|
365 for (i = (MAX_MACHINE_MODE) - 1; i >= 0; i--)
|
|
366 {
|
|
367 for (p = GET_MODE_NAME(i), q = np; *p; p++, q++)
|
|
368 if (TOLOWER (*p) != *q)
|
|
369 break;
|
|
370
|
|
371 if (*p == 0
|
|
372 && (! force_int || mode_class[i] == MODE_INT
|
|
373 || mode_class[i] == MODE_VECTOR_INT)
|
|
374 && (! force_partial_int
|
|
375 || mode_class[i] == MODE_INT
|
|
376 || mode_class[i] == MODE_PARTIAL_INT
|
|
377 || mode_class[i] == MODE_VECTOR_INT)
|
|
378 && (! force_float
|
|
379 || mode_class[i] == MODE_FLOAT
|
|
380 || mode_class[i] == MODE_DECIMAL_FLOAT
|
|
381 || mode_class[i] == MODE_COMPLEX_FLOAT
|
|
382 || mode_class[i] == MODE_VECTOR_FLOAT)
|
|
383 && (! force_fixed
|
|
384 || mode_class[i] == MODE_FRACT
|
|
385 || mode_class[i] == MODE_UFRACT
|
|
386 || mode_class[i] == MODE_ACCUM
|
|
387 || mode_class[i] == MODE_UACCUM
|
|
388 || mode_class[i] == MODE_VECTOR_FRACT
|
|
389 || mode_class[i] == MODE_VECTOR_UFRACT
|
|
390 || mode_class[i] == MODE_VECTOR_ACCUM
|
|
391 || mode_class[i] == MODE_VECTOR_UACCUM))
|
|
392 break;
|
|
393 }
|
|
394
|
|
395 if (i < 0)
|
|
396 matches = 0;
|
|
397 else if (*pp == 'a')
|
|
398 m1 = i, np += strlen (GET_MODE_NAME(i));
|
|
399 else
|
|
400 m2 = i, np += strlen (GET_MODE_NAME(i));
|
|
401
|
|
402 force_int = force_partial_int = force_float = force_fixed = 0;
|
|
403 break;
|
|
404
|
|
405 default:
|
|
406 gcc_unreachable ();
|
|
407 }
|
|
408 }
|
|
409
|
|
410 if (matches && pp[0] == '$' && pp[1] == ')'
|
|
411 && *np == 0
|
|
412 && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2))
|
|
413 break;
|
|
414 }
|
|
415
|
|
416 if (pindex == ARRAY_SIZE (optabs))
|
|
417 return;
|
|
418
|
|
419 /* We found a match. If this pattern is only conditionally present,
|
|
420 write out the "if" and two extra blanks. */
|
|
421
|
|
422 if (*XSTR (insn, 2) != 0)
|
|
423 printf (" if (HAVE_%s)\n ", name);
|
|
424
|
|
425 printf (" ");
|
|
426
|
|
427 /* Now write out the initialization, making all required substitutions. */
|
|
428 for (pp = optabs[pindex]; *pp; pp++)
|
|
429 {
|
|
430 if (*pp != '$')
|
|
431 putchar (*pp);
|
|
432 else
|
|
433 switch (*++pp)
|
|
434 {
|
|
435 case '(': case ')':
|
|
436 case 'I': case 'F': case 'N':
|
|
437 break;
|
|
438 case 'V':
|
|
439 if (SCALAR_FLOAT_MODE_P (m1))
|
|
440 printf ("v");
|
|
441 break;
|
|
442 case 'a':
|
|
443 for (np = GET_MODE_NAME(m1); *np; np++)
|
|
444 putchar (TOLOWER (*np));
|
|
445 break;
|
|
446 case 'b':
|
|
447 for (np = GET_MODE_NAME(m2); *np; np++)
|
|
448 putchar (TOLOWER (*np));
|
|
449 break;
|
|
450 case 'A':
|
|
451 printf ("%smode", GET_MODE_NAME(m1));
|
|
452 break;
|
|
453 case 'B':
|
|
454 printf ("%smode", GET_MODE_NAME(m2));
|
|
455 break;
|
|
456 case 'c':
|
|
457 printf ("%s", GET_RTX_NAME(op));
|
|
458 break;
|
|
459 case 'C':
|
|
460 for (np = GET_RTX_NAME(op); *np; np++)
|
|
461 putchar (TOUPPER (*np));
|
|
462 break;
|
|
463 }
|
|
464 }
|
|
465
|
|
466 printf (";\n");
|
|
467 }
|
|
468
|
|
469 extern int main (int, char **);
|
|
470
|
|
471 int
|
|
472 main (int argc, char **argv)
|
|
473 {
|
|
474 rtx desc;
|
|
475
|
|
476 progname = "genopinit";
|
|
477
|
|
478 if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE)
|
|
479 return (FATAL_EXIT_CODE);
|
|
480
|
|
481 printf ("/* Generated automatically by the program `genopinit'\n\
|
|
482 from the machine description file `md'. */\n\n");
|
|
483
|
|
484 printf ("#include \"config.h\"\n");
|
|
485 printf ("#include \"system.h\"\n");
|
|
486 printf ("#include \"coretypes.h\"\n");
|
|
487 printf ("#include \"tm.h\"\n");
|
|
488 printf ("#include \"rtl.h\"\n");
|
|
489 printf ("#include \"tm_p.h\"\n");
|
|
490 printf ("#include \"flags.h\"\n");
|
|
491 printf ("#include \"insn-config.h\"\n");
|
|
492 printf ("#include \"recog.h\"\n");
|
|
493 printf ("#include \"expr.h\"\n");
|
|
494 printf ("#include \"optabs.h\"\n");
|
|
495 printf ("#include \"reload.h\"\n\n");
|
|
496
|
|
497 printf ("void\ninit_all_optabs (void)\n{\n");
|
|
498
|
|
499 puts ("\
|
|
500 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
|
|
501 int i, j;\n\
|
|
502 #endif\n");
|
|
503
|
|
504 /* Read the machine description. */
|
|
505
|
|
506 while (1)
|
|
507 {
|
|
508 int line_no, insn_code_number = 0;
|
|
509
|
|
510 desc = read_md_rtx (&line_no, &insn_code_number);
|
|
511 if (desc == NULL)
|
|
512 break;
|
|
513
|
|
514 if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
|
|
515 gen_insn (desc);
|
|
516 }
|
|
517
|
|
518 puts ("\
|
|
519 \n\
|
|
520 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
|
|
521 /* This flag says the same insns that convert to a signed fixnum\n\
|
|
522 also convert validly to an unsigned one. */\n\
|
|
523 for (i = 0; i < NUM_MACHINE_MODES; i++)\n\
|
|
524 for (j = 0; j < NUM_MACHINE_MODES; j++)\n\
|
|
525 convert_optab_handler (ufixtrunc_optab, i, j)->insn_code\n\
|
|
526 = convert_optab_handler (sfixtrunc_optab, i, j)->insn_code;\n\
|
|
527 #endif\n\
|
|
528 }");
|
|
529
|
|
530 fflush (stdout);
|
|
531 return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
|
|
532 }
|