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 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 op->type = type; 81 op->unsigned_p = unsigned_p; 82 op->target = 0; 83 op->unused = 0; 84 op->mode = mode; 85 op->value = value; 86 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 create_fixed_operand (class expand_operand *op, rtx x) 93 { 94 create_expand_operand (op, EXPAND_FIXED, x, VOIDmode, false); 95 } 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 create_output_operand (class expand_operand *op, rtx x, 104 machine_mode mode) 105 { 106 create_expand_operand (op, EXPAND_OUTPUT, x, mode, false); 107 } 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 create_input_operand (class expand_operand *op, rtx value, 116 machine_mode mode) 117 { 118 create_expand_operand (op, EXPAND_INPUT, value, mode, false); 119 } 120 121 /* Make OP describe an undefined input operand of mode MODE. MODE cannot 122 be null. */ 123 124 inline void 125 create_undefined_input_operand (class expand_operand *op, machine_mode mode) 126 { 127 create_expand_operand (op, EXPAND_UNDEFINED_INPUT, gen_rtx_SCRATCH (mode), 128 mode, false); 129 } 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 create_convert_operand_to (class expand_operand *op, rtx value, 136 machine_mode mode, bool unsigned_p) 137 { 138 create_expand_operand (op, EXPAND_CONVERT_TO, value, mode, unsigned_p); 139 } 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 create_convert_operand_from (class expand_operand *op, rtx value, 152 machine_mode mode, bool unsigned_p) 153 { 154 create_expand_operand (op, EXPAND_CONVERT_FROM, value, mode, unsigned_p); 155 } 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 create_address_operand (class expand_operand *op, rtx value) 163 { 164 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 */ 400
Indexes created Sun Jul 19 00:25:04 UTC 2026