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