Branch data Line data Source code
1 : : /* Definitions for code generation pass of GNU compiler.
2 : : Copyright (C) 2001-2024 Free Software Foundation, Inc.
3 : :
4 : : This file is part of GCC.
5 : :
6 : : GCC is free software; you can redistribute it and/or modify
7 : : it under the terms of the GNU General Public License as published by
8 : : the Free Software Foundation; either version 3, or (at your option)
9 : : any later version.
10 : :
11 : : GCC is distributed in the hope that it will be useful,
12 : : but WITHOUT ANY WARRANTY; without even the implied warranty of
13 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 : : GNU General Public License for more details.
15 : :
16 : : You should have received a copy of the GNU General Public License
17 : : along with GCC; see the file COPYING3. If not see
18 : : <http://www.gnu.org/licenses/>. */
19 : :
20 : : #ifndef GCC_OPTABS_H
21 : : #define GCC_OPTABS_H
22 : :
23 : : #include "optabs-query.h"
24 : : #include "optabs-libfuncs.h"
25 : : #include "vec-perm-indices.h"
26 : :
27 : : /* Generate code for a widening multiply. */
28 : : extern rtx expand_widening_mult (machine_mode, rtx, rtx, rtx, int, optab);
29 : :
30 : : /* Describes the type of an expand_operand. Each value is associated
31 : : with a create_*_operand function; see the comments above those
32 : : functions for details. */
33 : : enum expand_operand_type {
34 : : EXPAND_FIXED,
35 : : EXPAND_OUTPUT,
36 : : EXPAND_INPUT,
37 : : EXPAND_CONVERT_TO,
38 : : EXPAND_CONVERT_FROM,
39 : : EXPAND_ADDRESS,
40 : : EXPAND_INTEGER,
41 : : EXPAND_UNDEFINED_INPUT
42 : : };
43 : :
44 : : /* Information about an operand for instruction expansion. */
45 : : class expand_operand {
46 : : public:
47 : : /* The type of operand. */
48 : : ENUM_BITFIELD (expand_operand_type) type : 8;
49 : :
50 : : /* True if any conversion should treat VALUE as being unsigned
51 : : rather than signed. Only meaningful for certain types. */
52 : : unsigned int unsigned_p : 1;
53 : :
54 : : /* Is the target operand. */
55 : : unsigned int target : 1;
56 : :
57 : : /* Unused; available for future use. */
58 : : unsigned int unused : 6;
59 : :
60 : : /* The mode passed to the convert_*_operand function. It has a
61 : : type-dependent meaning. */
62 : : ENUM_BITFIELD (machine_mode) mode : 16;
63 : :
64 : : /* The value of the operand. */
65 : : rtx value;
66 : :
67 : : /* The value of an EXPAND_INTEGER operand. */
68 : : poly_int64 int_value;
69 : : };
70 : :
71 : : /* Initialize OP with the given fields. Initialise the other fields
72 : : to their default values. */
73 : :
74 : : inline void
75 : 19867640 : create_expand_operand (class expand_operand *op,
76 : : enum expand_operand_type type,
77 : : rtx value, machine_mode mode,
78 : : bool unsigned_p, poly_int64 int_value = 0)
79 : : {
80 : 19867640 : op->type = type;
81 : 19867640 : op->unsigned_p = unsigned_p;
82 : 19867640 : op->target = 0;
83 : 19867640 : op->unused = 0;
84 : 19867640 : op->mode = mode;
85 : 19867640 : op->value = value;
86 : 16990306 : op->int_value = int_value;
87 : : }
88 : :
89 : : /* Make OP describe an operand that must use rtx X, even if X is volatile. */
90 : :
91 : : inline void
92 : 2402503 : create_fixed_operand (class expand_operand *op, rtx x)
93 : : {
94 : 1971255 : create_expand_operand (op, EXPAND_FIXED, x, VOIDmode, false);
95 : 153439 : }
96 : :
97 : : /* Make OP describe an output operand that must have mode MODE.
98 : : X, if nonnull, is a suggestion for where the output should be stored.
99 : : It is OK for VALUE to be inconsistent with MODE, although it will just
100 : : be ignored in that case. */
101 : :
102 : : inline void
103 : 16687761 : create_output_operand (class expand_operand *op, rtx x,
104 : : machine_mode mode)
105 : : {
106 : 16583829 : create_expand_operand (op, EXPAND_OUTPUT, x, mode, false);
107 : 152075 : }
108 : :
109 : : /* Make OP describe an input operand that must have mode MODE and
110 : : value VALUE; MODE cannot be VOIDmode. The backend may request that
111 : : VALUE be copied into a different kind of rtx before being passed
112 : : as an operand. */
113 : :
114 : : inline void
115 : 15850532 : create_input_operand (class expand_operand *op, rtx value,
116 : : machine_mode mode)
117 : : {
118 : 15501980 : create_expand_operand (op, EXPAND_INPUT, value, mode, false);
119 : 653494 : }
120 : :
121 : : /* Make OP describe an undefined input operand of mode MODE. MODE cannot
122 : : be null. */
123 : :
124 : : inline void
125 : 147 : create_undefined_input_operand (class expand_operand *op, machine_mode mode)
126 : : {
127 : 147 : create_expand_operand (op, EXPAND_UNDEFINED_INPUT, gen_rtx_SCRATCH (mode),
128 : : mode, false);
129 : 147 : }
130 : :
131 : : /* Like create_input_operand, except that VALUE must first be converted
132 : : to mode MODE. UNSIGNED_P says whether VALUE is unsigned. */
133 : :
134 : : inline void
135 : 133062 : create_convert_operand_to (class expand_operand *op, rtx value,
136 : : machine_mode mode, bool unsigned_p)
137 : : {
138 : 133062 : create_expand_operand (op, EXPAND_CONVERT_TO, value, mode, unsigned_p);
139 : 4811 : }
140 : :
141 : : /* Make OP describe an input operand that should have the same value
142 : : as VALUE, after any mode conversion that the backend might request.
143 : : If VALUE is a CONST_INT, it should be treated as having mode MODE.
144 : : UNSIGNED_P says whether VALUE is unsigned.
145 : :
146 : : The conversion of VALUE can include a combination of numerical
147 : : conversion (as for convert_modes) and duplicating a scalar to fill
148 : : a vector (if VALUE is a scalar but the operand is a vector). */
149 : :
150 : : inline void
151 : 499714 : create_convert_operand_from (class expand_operand *op, rtx value,
152 : : machine_mode mode, bool unsigned_p)
153 : : {
154 : 495694 : create_expand_operand (op, EXPAND_CONVERT_FROM, value, mode, unsigned_p);
155 : 9146 : }
156 : :
157 : :
158 : : /* Make OP describe an input Pmode address operand. VALUE is the value
159 : : of the address, but it may need to be converted to Pmode first. */
160 : :
161 : : inline void
162 : 1311 : create_address_operand (class expand_operand *op, rtx value)
163 : : {
164 : 3233 : create_expand_operand (op, EXPAND_ADDRESS, value, Pmode, false);
165 : : }
166 : :
167 : : extern void create_integer_operand (class expand_operand *, poly_int64);
168 : :
169 : : /* Passed to expand_simple_binop and expand_binop to say which options
170 : : to try to use if the requested operation can't be open-coded on the
171 : : requisite mode. Either OPTAB_LIB or OPTAB_LIB_WIDEN says try using
172 : : a library call. Either OPTAB_WIDEN or OPTAB_LIB_WIDEN says try
173 : : using a wider mode. OPTAB_MUST_WIDEN says try widening and don't
174 : : try anything else. */
175 : :
176 : : enum optab_methods
177 : : {
178 : : OPTAB_DIRECT,
179 : : OPTAB_LIB,
180 : : OPTAB_WIDEN,
181 : : OPTAB_LIB_WIDEN,
182 : : OPTAB_MUST_WIDEN
183 : : };
184 : :
185 : : extern rtx expand_widen_pattern_expr (struct separate_ops *, rtx , rtx , rtx,
186 : : rtx, int);
187 : : extern rtx expand_ternary_op (machine_mode mode, optab ternary_optab,
188 : : rtx op0, rtx op1, rtx op2, rtx target,
189 : : int unsignedp);
190 : : extern rtx simplify_expand_binop (machine_mode mode, optab binoptab,
191 : : rtx op0, rtx op1, rtx target, int unsignedp,
192 : : enum optab_methods methods);
193 : : extern bool force_expand_binop (machine_mode, optab, rtx, rtx, rtx, int,
194 : : enum optab_methods);
195 : : extern rtx expand_vector_broadcast (machine_mode, rtx);
196 : :
197 : : extern rtx expand_doubleword_divmod (machine_mode, rtx, rtx, rtx *, bool);
198 : :
199 : : /* Generate code for a simple binary or unary operation. "Simple" in
200 : : this case means "can be unambiguously described by a (mode, code)
201 : : pair and mapped to a single optab." */
202 : : extern rtx expand_simple_binop (machine_mode, enum rtx_code, rtx,
203 : : rtx, rtx, int, enum optab_methods);
204 : :
205 : : /* Expand a binary operation given optab and rtx operands. */
206 : : extern rtx expand_binop (machine_mode, optab, rtx, rtx, rtx, int,
207 : : enum optab_methods);
208 : :
209 : : /* Expand a binary operation with both signed and unsigned forms. */
210 : : extern rtx sign_expand_binop (machine_mode, optab, optab, rtx, rtx,
211 : : rtx, int, enum optab_methods);
212 : :
213 : : /* Generate code to perform an operation on one operand with two results. */
214 : : extern bool expand_twoval_unop (optab, rtx, rtx, rtx, int);
215 : :
216 : : /* Generate code to perform an operation on two operands with two results. */
217 : : extern bool expand_twoval_binop (optab, rtx, rtx, rtx, rtx, int);
218 : :
219 : : /* Generate code to perform an operation on two operands with two
220 : : results, using a library function. */
221 : : extern bool expand_twoval_binop_libfunc (optab, rtx, rtx, rtx, rtx,
222 : : enum rtx_code);
223 : : extern rtx expand_simple_unop (machine_mode, enum rtx_code, rtx, rtx,
224 : : int);
225 : :
226 : : /* Expand a unary arithmetic operation given optab rtx operand. */
227 : : extern rtx expand_unop (machine_mode, optab, rtx, rtx, int);
228 : :
229 : : /* Expand the absolute value operation. */
230 : : extern rtx expand_abs_nojump (machine_mode, rtx, rtx, int);
231 : : extern rtx expand_abs (machine_mode, rtx, rtx, int, int);
232 : :
233 : : /* Expand the one's complement absolute value operation. */
234 : : extern rtx expand_one_cmpl_abs_nojump (machine_mode, rtx, rtx);
235 : :
236 : : /* Expand the copysign operation. */
237 : : extern rtx expand_copysign (rtx, rtx, rtx);
238 : : /* Generate an instruction with a given INSN_CODE with an output and
239 : : an input. */
240 : : extern bool maybe_emit_unop_insn (enum insn_code, rtx, rtx, enum rtx_code);
241 : : extern void emit_unop_insn (enum insn_code, rtx, rtx, enum rtx_code);
242 : :
243 : : /* Emit code to make a call to a constant function or a library call. */
244 : : extern void emit_libcall_block (rtx_insn *, rtx, rtx, rtx);
245 : :
246 : : /* The various uses that a comparison can have; used by can_compare_p:
247 : : jumps, conditional moves, store flag operations. */
248 : : enum can_compare_purpose
249 : : {
250 : : ccp_jump,
251 : : ccp_cmov,
252 : : ccp_store_flag
253 : : };
254 : :
255 : : /* Nonzero if a compare of mode MODE can be done straightforwardly
256 : : (without splitting it into pieces). */
257 : : extern bool can_compare_p (enum rtx_code, machine_mode,
258 : : enum can_compare_purpose);
259 : :
260 : : /* Return whether the backend can emit a vector comparison (vec_cmp/vec_cmpu)
261 : : for code CODE, comparing operands of mode VALUE_MODE and producing a result
262 : : with MASK_MODE. */
263 : : extern bool can_vec_cmp_compare_p (enum rtx_code, machine_mode, machine_mode);
264 : :
265 : : /* Return whether the backend can emit a vector comparison (vcond/vcondu) for
266 : : code CODE, comparing operands of mode CMP_OP_MODE and producing a result
267 : : with VALUE_MODE. */
268 : : extern bool can_vcond_compare_p (enum rtx_code, machine_mode, machine_mode);
269 : :
270 : : /* Return whether the backend can emit vector set instructions for inserting
271 : : element into vector at variable index position. */
272 : : extern bool can_vec_set_var_idx_p (machine_mode);
273 : : extern bool can_vec_extract_var_idx_p (machine_mode, machine_mode);
274 : :
275 : : extern rtx prepare_operand (enum insn_code, rtx, int, machine_mode,
276 : : machine_mode, int);
277 : : /* Emit a pair of rtl insns to compare two rtx's and to jump
278 : : to a label if the comparison is true. */
279 : : extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx,
280 : : machine_mode, int, rtx,
281 : : profile_probability prob
282 : : = profile_probability::uninitialized ());
283 : : extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx,
284 : : machine_mode, int, tree, rtx,
285 : : profile_probability prob
286 : : = profile_probability::uninitialized ());
287 : :
288 : : /* Generate code to indirectly jump to a location given in the rtx LOC. */
289 : : extern void emit_indirect_jump (rtx);
290 : :
291 : : #include "insn-config.h"
292 : :
293 : : #ifndef GCC_INSN_CONFIG_H
294 : : #error "insn-config.h must be included before optabs.h"
295 : : #endif
296 : :
297 : : /* Emit a conditional move operation. */
298 : : rtx emit_conditional_move (rtx, rtx_comparison, rtx, rtx, machine_mode, int);
299 : : rtx emit_conditional_move (rtx, rtx, rtx, rtx, rtx, machine_mode);
300 : :
301 : : /* Emit a conditional negate or bitwise complement operation. */
302 : : rtx emit_conditional_neg_or_complement (rtx, rtx_code, machine_mode, rtx,
303 : : rtx, rtx);
304 : :
305 : : rtx emit_conditional_add (rtx, enum rtx_code, rtx, rtx, machine_mode,
306 : : rtx, rtx, machine_mode, int);
307 : :
308 : : /* Create but don't emit one rtl instruction to perform certain operations.
309 : : Modes must match; operands must meet the operation's predicates.
310 : : Likewise for subtraction and for just copying. */
311 : : extern rtx_insn *gen_add2_insn (rtx, rtx);
312 : : extern rtx_insn *gen_add3_insn (rtx, rtx, rtx);
313 : : extern bool have_add2_insn (rtx, rtx);
314 : : extern rtx_insn *gen_addptr3_insn (rtx, rtx, rtx);
315 : : extern bool have_addptr3_insn (rtx, rtx, rtx);
316 : : extern rtx_insn *gen_sub2_insn (rtx, rtx);
317 : : extern rtx_insn *gen_sub3_insn (rtx, rtx, rtx);
318 : : extern bool have_sub2_insn (rtx, rtx);
319 : :
320 : : /* Generate the body of an insn to extend Y (with mode MFROM)
321 : : into X (with mode MTO). Do zero-extension if UNSIGNEDP is nonzero. */
322 : : extern rtx_insn *gen_extend_insn (rtx, rtx, machine_mode, machine_mode, int);
323 : :
324 : : /* Generate code for a FLOAT_EXPR. */
325 : : extern void expand_float (rtx, rtx, int);
326 : :
327 : : /* Generate code for a FIX_EXPR. */
328 : : extern void expand_fix (rtx, rtx, int);
329 : :
330 : : /* Generate code for a FIXED_CONVERT_EXPR. */
331 : : extern void expand_fixed_convert (rtx, rtx, int, int);
332 : :
333 : : /* Generate code for float to integral conversion. */
334 : : extern bool expand_sfix_optab (rtx, rtx, convert_optab);
335 : :
336 : : /* Report whether the machine description contains an insn which can
337 : : perform the operation described by CODE and MODE. */
338 : : extern bool have_insn_for (enum rtx_code, machine_mode);
339 : :
340 : : /* Generate a conditional trap instruction. */
341 : : extern rtx_insn *gen_cond_trap (enum rtx_code, rtx, rtx, rtx);
342 : :
343 : : /* Generate code for VEC_PERM_EXPR. */
344 : : extern rtx expand_vec_perm_var (machine_mode, rtx, rtx, rtx, rtx);
345 : : extern rtx expand_vec_perm_const (machine_mode, rtx, rtx,
346 : : const vec_perm_builder &, machine_mode, rtx);
347 : :
348 : : /* Generate code for vector comparison. */
349 : : extern rtx expand_vec_cmp_expr (tree, tree, rtx);
350 : :
351 : : /* Generate code for VEC_SERIES_EXPR. */
352 : : extern rtx expand_vec_series_expr (machine_mode, rtx, rtx, rtx);
353 : :
354 : : /* Generate code for MULT_HIGHPART_EXPR. */
355 : : extern rtx expand_mult_highpart (machine_mode, rtx, rtx, rtx, bool);
356 : :
357 : : extern rtx expand_sync_lock_test_and_set (rtx, rtx, rtx);
358 : : extern rtx expand_atomic_test_and_set (rtx, rtx, enum memmodel);
359 : : extern rtx expand_atomic_exchange (rtx, rtx, rtx, enum memmodel);
360 : : extern bool expand_atomic_compare_and_swap (rtx *, rtx *, rtx, rtx, rtx, bool,
361 : : enum memmodel, enum memmodel);
362 : : /* Generate memory barriers. */
363 : : extern void expand_mem_thread_fence (enum memmodel);
364 : : extern void expand_mem_signal_fence (enum memmodel);
365 : :
366 : : rtx expand_atomic_load (rtx, rtx, enum memmodel);
367 : : rtx expand_atomic_store (rtx, rtx, enum memmodel, bool);
368 : : rtx expand_atomic_fetch_op (rtx, rtx, rtx, enum rtx_code, enum memmodel,
369 : : bool);
370 : :
371 : : extern void expand_asm_reg_clobber_mem_blockage (HARD_REG_SET);
372 : :
373 : : extern bool insn_operand_matches (enum insn_code icode, unsigned int opno,
374 : : rtx operand);
375 : : extern bool valid_multiword_target_p (rtx);
376 : : extern void create_convert_operand_from_type (class expand_operand *op,
377 : : rtx value, tree type);
378 : : extern bool maybe_legitimize_operands (enum insn_code icode,
379 : : unsigned int opno, unsigned int nops,
380 : : class expand_operand *ops);
381 : : extern rtx_insn *maybe_gen_insn (enum insn_code icode, unsigned int nops,
382 : : class expand_operand *ops);
383 : : extern bool maybe_expand_insn (enum insn_code icode, unsigned int nops,
384 : : class expand_operand *ops);
385 : : extern bool maybe_expand_jump_insn (enum insn_code icode, unsigned int nops,
386 : : class expand_operand *ops);
387 : : extern void expand_insn (enum insn_code icode, unsigned int nops,
388 : : class expand_operand *ops);
389 : : extern void expand_jump_insn (enum insn_code icode, unsigned int nops,
390 : : class expand_operand *ops);
391 : :
392 : : extern enum rtx_code get_rtx_code_1 (enum tree_code tcode, bool unsignedp);
393 : : extern enum rtx_code get_rtx_code (enum tree_code tcode, bool unsignedp);
394 : : extern rtx vector_compare_rtx (machine_mode cmp_mode, enum tree_code tcode,
395 : : tree t_op0, tree t_op1, bool unsignedp,
396 : : enum insn_code icode, unsigned int opno);
397 : :
398 : :
399 : : #endif /* GCC_OPTABS_H */
|
