gcc/internal-fn.def

   1 /* Internal functions.
   2    Copyright (C) 2011-2023 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 it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 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 /* This file specifies a list of internal "functions".  These functions
  21    differ from built-in functions in that they have no linkage and cannot
  22    be called directly by the user.  They represent operations that are only
  23    synthesised by GCC itself.
  24
  25    Internal functions are used instead of tree codes if the operation
  26    and its operands are more naturally represented as a GIMPLE_CALL
  27    than a GIMPLE_ASSIGN.
  28
  29    Each entry in this file has one of the forms:
  30
  31      DEF_INTERNAL_FN (NAME, FLAGS, FNSPEC)
  32      DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
  33      DEF_INTERNAL_SIGNED_OPTAB_FN (NAME, FLAGS, SELECTOR, SIGNED_OPTAB,
  34                                    UNSIGNED_OPTAB, TYPE)
  35      DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
  36      DEF_INTERNAL_INT_FN (NAME, FLAGS, OPTAB, TYPE)
  37
  38    where NAME is the name of the function, FLAGS is a set of
  39    ECF_* flags and FNSPEC is a string describing functions fnspec.
  40
  41    DEF_INTERNAL_OPTAB_FN defines an internal function that maps to a
  42    direct optab.  The function should only be called with a given
  43    set of types if the associated optab is available for the modes
  44    of those types.  OPTAB says what optab to use (without the trailing
  45    "_optab") and TYPE categorizes the optab based on its inputs and
  46    outputs.  The possible types of optab are:
  47
  48    - mask_load: currently just maskload
  49    - load_lanes: currently just vec_load_lanes
  50    - mask_load_lanes: currently just vec_mask_load_lanes
  51    - gather_load: used for {mask_,}gather_load
  52    - len_load: currently just len_load
  53    - len_maskload: currently just len_maskload
  54
  55    - mask_store: currently just maskstore
  56    - store_lanes: currently just vec_store_lanes
  57    - mask_store_lanes: currently just vec_mask_store_lanes
  58    - scatter_store: used for {mask_,}scatter_store
  59    - len_store: currently just len_store
  60    - len_maskstore: currently just len_maskstore
  61
  62    - unary: a normal unary optab, such as vec_reverse_<mode>
  63    - binary: a normal binary optab, such as vec_interleave_lo_<mode>
  64    - ternary: a normal ternary optab, such as fma<mode>4
  65
  66    - unary_convert: a single-input conversion optab, such as
  67      lround<srcmode><dstmode>2.
  68
  69    - cond_binary: a conditional binary optab, such as cond_add<mode>
  70    - cond_ternary: a conditional ternary optab, such as cond_fma_rev<mode>
  71
  72    - fold_left: for scalar = FN (scalar, vector), keyed off the vector mode
  73    - check_ptrs: used for check_{raw,war}_ptrs
  74
  75    DEF_INTERNAL_SIGNED_OPTAB_FN defines an internal function that
  76    maps to one of two optabs, depending on the signedness of an input.
  77    SIGNED_OPTAB and UNSIGNED_OPTAB are the optabs for signed and
  78    unsigned inputs respectively, both without the trailing "_optab".
  79    SELECTOR says which type in the tree_pair determines the signedness.
  80
  81    DEF_INTERNAL_FLT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition,
  82    the function implements the computational part of a built-in math
  83    function BUILT_IN_<NAME>{F,,L}.  Unlike some built-in functions,
  84    these internal functions never set errno.
  85
  86    DEF_INTERNAL_INT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition
  87    says that the function extends the C-level BUILT_IN_<NAME>{,L,LL,IMAX}
  88    group of functions to any integral mode (including vector modes).
  89
  90    DEF_INTERNAL_WIDENING_OPTAB_FN is a wrapper that defines five internal
  91    functions with DEF_INTERNAL_SIGNED_OPTAB_FN:
  92    - one that describes a widening operation with the same number of elements
  93    in the output and input vectors,
  94    - two that describe a pair of high-low widening operations where the output
  95    vectors each have half the number of elements of the input vectors,
  96    corresponding to the result of the widening operation on the top half and
  97    bottom half, these have the suffixes _HI and _LO,
  98    - and two that describe a pair of even-odd widening operations where the
  99    output vectors each have half the number of elements of the input vectors,
 100    corresponding to the result of the widening operation on the even and odd
 101    elements, these have the suffixes _EVEN and _ODD.
 102    These five internal functions will require two optabs each, a SIGNED_OPTAB
 103    and an UNSIGNED_OTPAB.
 104
 105    Each entry must have a corresponding expander of the form:
 106
 107      void expand_NAME (gimple_call stmt)
 108
 109    where STMT is the statement that performs the call.  These are generated
 110    automatically for optab functions and call out to a function or macro
 111    called expand_<TYPE>_optab_fn.  */
 112
 113 #ifndef DEF_INTERNAL_FN
 114 #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC)
 115 #endif
 116
 117 #ifndef DEF_INTERNAL_OPTAB_FN
 118 #define DEF_INTERNAL_OPTAB_FN(NAME, FLAGS, OPTAB, TYPE) \
 119   DEF_INTERNAL_FN (NAME, FLAGS | ECF_LEAF, NULL)
 120 #endif
 121
 122 #ifndef DEF_INTERNAL_SIGNED_OPTAB_FN
 123 #define DEF_INTERNAL_SIGNED_OPTAB_FN(NAME, FLAGS, SELECTOR, SIGNED_OPTAB, \
 124                                      UNSIGNED_OPTAB, TYPE) \
 125   DEF_INTERNAL_FN (NAME, FLAGS | ECF_LEAF, NULL)
 126 #endif
 127
 128 #ifndef DEF_INTERNAL_FLT_FN
 129 #define DEF_INTERNAL_FLT_FN(NAME, FLAGS, OPTAB, TYPE) \
 130   DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
 131 #endif
 132
 133 #ifndef DEF_INTERNAL_FLT_FLOATN_FN
 134 #define DEF_INTERNAL_FLT_FLOATN_FN(NAME, FLAGS, OPTAB, TYPE) \
 135   DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
 136 #endif
 137
 138 #ifndef DEF_INTERNAL_INT_FN
 139 #define DEF_INTERNAL_INT_FN(NAME, FLAGS, OPTAB, TYPE) \
 140   DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
 141 #endif
 142
 143 #ifndef DEF_INTERNAL_WIDENING_OPTAB_FN
 144 #define DEF_INTERNAL_WIDENING_OPTAB_FN(NAME, FLAGS, SELECTOR, SOPTAB, UOPTAB, TYPE)                 \
 145   DEF_INTERNAL_SIGNED_OPTAB_FN (NAME, FLAGS, SELECTOR, SOPTAB, UOPTAB, TYPE)                        \
 146   DEF_INTERNAL_SIGNED_OPTAB_FN (NAME ## _LO, FLAGS, SELECTOR, SOPTAB##_lo, UOPTAB##_lo, TYPE)       \
 147   DEF_INTERNAL_SIGNED_OPTAB_FN (NAME ## _HI, FLAGS, SELECTOR, SOPTAB##_hi, UOPTAB##_hi, TYPE)       \
 148   DEF_INTERNAL_SIGNED_OPTAB_FN (NAME ## _EVEN, FLAGS, SELECTOR, SOPTAB##_even, UOPTAB##_even, TYPE) \
 149   DEF_INTERNAL_SIGNED_OPTAB_FN (NAME ## _ODD, FLAGS, SELECTOR, SOPTAB##_odd, UOPTAB##_odd, TYPE)
 150 #endif
 151
 152 DEF_INTERNAL_OPTAB_FN (MASK_LOAD, ECF_PURE, maskload, mask_load)
 153 DEF_INTERNAL_OPTAB_FN (LOAD_LANES, ECF_CONST, vec_load_lanes, load_lanes)
 154 DEF_INTERNAL_OPTAB_FN (MASK_LOAD_LANES, ECF_PURE,
 155                        vec_mask_load_lanes, mask_load_lanes)
 156
 157 DEF_INTERNAL_OPTAB_FN (GATHER_LOAD, ECF_PURE, gather_load, gather_load)
 158 DEF_INTERNAL_OPTAB_FN (MASK_GATHER_LOAD, ECF_PURE,
 159                        mask_gather_load, gather_load)
 160
 161 DEF_INTERNAL_OPTAB_FN (LEN_LOAD, ECF_PURE, len_load, len_load)
 162 DEF_INTERNAL_OPTAB_FN (LEN_MASK_LOAD, ECF_PURE, len_maskload, len_maskload)
 163
 164 DEF_INTERNAL_OPTAB_FN (SCATTER_STORE, 0, scatter_store, scatter_store)
 165 DEF_INTERNAL_OPTAB_FN (MASK_SCATTER_STORE, 0,
 166                        mask_scatter_store, scatter_store)
 167
 168 DEF_INTERNAL_OPTAB_FN (MASK_STORE, 0, maskstore, mask_store)
 169 DEF_INTERNAL_OPTAB_FN (STORE_LANES, ECF_CONST, vec_store_lanes, store_lanes)
 170 DEF_INTERNAL_OPTAB_FN (MASK_STORE_LANES, 0,
 171                        vec_mask_store_lanes, mask_store_lanes)
 172
 173 DEF_INTERNAL_OPTAB_FN (VCOND, 0, vcond, vec_cond)
 174 DEF_INTERNAL_OPTAB_FN (VCONDU, 0, vcondu, vec_cond)
 175 DEF_INTERNAL_OPTAB_FN (VCONDEQ, 0, vcondeq, vec_cond)
 176 DEF_INTERNAL_OPTAB_FN (VCOND_MASK, 0, vcond_mask, vec_cond_mask)
 177
 178 DEF_INTERNAL_OPTAB_FN (VEC_SET, 0, vec_set, vec_set)
 179
 180 DEF_INTERNAL_OPTAB_FN (LEN_STORE, 0, len_store, len_store)
 181 DEF_INTERNAL_OPTAB_FN (LEN_MASK_STORE, 0, len_maskstore, len_maskstore)
 182
 183 DEF_INTERNAL_OPTAB_FN (WHILE_ULT, ECF_CONST | ECF_NOTHROW, while_ult, while)
 184 DEF_INTERNAL_OPTAB_FN (SELECT_VL, ECF_CONST | ECF_NOTHROW, select_vl, binary)
 185 DEF_INTERNAL_OPTAB_FN (CHECK_RAW_PTRS, ECF_CONST | ECF_NOTHROW,
 186                        check_raw_ptrs, check_ptrs)
 187 DEF_INTERNAL_OPTAB_FN (CHECK_WAR_PTRS, ECF_CONST | ECF_NOTHROW,
 188                        check_war_ptrs, check_ptrs)
 189
 190 DEF_INTERNAL_OPTAB_FN (VEC_SHL_INSERT, ECF_CONST | ECF_NOTHROW,
 191                        vec_shl_insert, binary)
 192
 193 DEF_INTERNAL_OPTAB_FN (DIV_POW2, ECF_CONST | ECF_NOTHROW, sdiv_pow2, binary)
 194
 195 DEF_INTERNAL_OPTAB_FN (FMS, ECF_CONST, fms, ternary)
 196 DEF_INTERNAL_OPTAB_FN (FNMA, ECF_CONST, fnma, ternary)
 197 DEF_INTERNAL_OPTAB_FN (FNMS, ECF_CONST, fnms, ternary)
 198
 199 DEF_INTERNAL_SIGNED_OPTAB_FN (ABD, ECF_CONST | ECF_NOTHROW, first,
 200                               sabd, uabd, binary)
 201
 202 DEF_INTERNAL_SIGNED_OPTAB_FN (AVG_FLOOR, ECF_CONST | ECF_NOTHROW, first,
 203                               savg_floor, uavg_floor, binary)
 204 DEF_INTERNAL_SIGNED_OPTAB_FN (AVG_CEIL, ECF_CONST | ECF_NOTHROW, first,
 205                               savg_ceil, uavg_ceil, binary)
 206
 207 DEF_INTERNAL_SIGNED_OPTAB_FN (MULH, ECF_CONST | ECF_NOTHROW, first,
 208                               smul_highpart, umul_highpart, binary)
 209 DEF_INTERNAL_SIGNED_OPTAB_FN (MULHS, ECF_CONST | ECF_NOTHROW, first,
 210                               smulhs, umulhs, binary)
 211 DEF_INTERNAL_SIGNED_OPTAB_FN (MULHRS, ECF_CONST | ECF_NOTHROW, first,
 212                               smulhrs, umulhrs, binary)
 213
 214 DEF_INTERNAL_OPTAB_FN (COND_ADD, ECF_CONST, cond_add, cond_binary)
 215 DEF_INTERNAL_OPTAB_FN (COND_SUB, ECF_CONST, cond_sub, cond_binary)
 216 DEF_INTERNAL_OPTAB_FN (COND_MUL, ECF_CONST, cond_smul, cond_binary)
 217 DEF_INTERNAL_SIGNED_OPTAB_FN (COND_DIV, ECF_CONST, first,
 218                               cond_sdiv, cond_udiv, cond_binary)
 219 DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MOD, ECF_CONST, first,
 220                               cond_smod, cond_umod, cond_binary)
 221 DEF_INTERNAL_OPTAB_FN (COND_RDIV, ECF_CONST, cond_sdiv, cond_binary)
 222 DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MIN, ECF_CONST, first,
 223                               cond_smin, cond_umin, cond_binary)
 224 DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MAX, ECF_CONST, first,
 225                               cond_smax, cond_umax, cond_binary)
 226 DEF_INTERNAL_OPTAB_FN (COND_FMIN, ECF_CONST, cond_fmin, cond_binary)
 227 DEF_INTERNAL_OPTAB_FN (COND_FMAX, ECF_CONST, cond_fmax, cond_binary)
 228 DEF_INTERNAL_OPTAB_FN (COND_AND, ECF_CONST | ECF_NOTHROW,
 229                        cond_and, cond_binary)
 230 DEF_INTERNAL_OPTAB_FN (COND_IOR, ECF_CONST | ECF_NOTHROW,
 231                        cond_ior, cond_binary)
 232 DEF_INTERNAL_OPTAB_FN (COND_XOR, ECF_CONST | ECF_NOTHROW,
 233                        cond_xor, cond_binary)
 234 DEF_INTERNAL_OPTAB_FN (COND_SHL, ECF_CONST | ECF_NOTHROW,
 235                        cond_ashl, cond_binary)
 236 DEF_INTERNAL_SIGNED_OPTAB_FN (COND_SHR, ECF_CONST | ECF_NOTHROW, first,
 237                               cond_ashr, cond_lshr, cond_binary)
 238
 239 DEF_INTERNAL_OPTAB_FN (COND_FMA, ECF_CONST, cond_fma, cond_ternary)
 240 DEF_INTERNAL_OPTAB_FN (COND_FMS, ECF_CONST, cond_fms, cond_ternary)
 241 DEF_INTERNAL_OPTAB_FN (COND_FNMA, ECF_CONST, cond_fnma, cond_ternary)
 242 DEF_INTERNAL_OPTAB_FN (COND_FNMS, ECF_CONST, cond_fnms, cond_ternary)
 243
 244 DEF_INTERNAL_OPTAB_FN (COND_NEG, ECF_CONST, cond_neg, cond_unary)
 245
 246 DEF_INTERNAL_OPTAB_FN (RSQRT, ECF_CONST, rsqrt, unary)
 247
 248 DEF_INTERNAL_OPTAB_FN (REDUC_PLUS, ECF_CONST | ECF_NOTHROW,
 249                        reduc_plus_scal, unary)
 250 DEF_INTERNAL_SIGNED_OPTAB_FN (REDUC_MAX, ECF_CONST | ECF_NOTHROW, first,
 251                               reduc_smax_scal, reduc_umax_scal, unary)
 252 DEF_INTERNAL_SIGNED_OPTAB_FN (REDUC_MIN, ECF_CONST | ECF_NOTHROW, first,
 253                               reduc_smin_scal, reduc_umin_scal, unary)
 254 DEF_INTERNAL_OPTAB_FN (REDUC_FMAX, ECF_CONST | ECF_NOTHROW,
 255                        reduc_fmax_scal, unary)
 256 DEF_INTERNAL_OPTAB_FN (REDUC_FMIN, ECF_CONST | ECF_NOTHROW,
 257                        reduc_fmin_scal, unary)
 258 DEF_INTERNAL_OPTAB_FN (REDUC_AND, ECF_CONST | ECF_NOTHROW,
 259                        reduc_and_scal, unary)
 260 DEF_INTERNAL_OPTAB_FN (REDUC_IOR, ECF_CONST | ECF_NOTHROW,
 261                        reduc_ior_scal, unary)
 262 DEF_INTERNAL_OPTAB_FN (REDUC_XOR, ECF_CONST | ECF_NOTHROW,
 263                        reduc_xor_scal, unary)
 264
 265 /* Extract the last active element from a vector.  */
 266 DEF_INTERNAL_OPTAB_FN (EXTRACT_LAST, ECF_CONST | ECF_NOTHROW,
 267                        extract_last, fold_left)
 268
 269 /* Same, but return the first argument if no elements are active.  */
 270 DEF_INTERNAL_OPTAB_FN (FOLD_EXTRACT_LAST, ECF_CONST | ECF_NOTHROW,
 271                        fold_extract_last, fold_extract)
 272
 273 DEF_INTERNAL_OPTAB_FN (FOLD_LEFT_PLUS, ECF_CONST | ECF_NOTHROW,
 274                        fold_left_plus, fold_left)
 275
 276 DEF_INTERNAL_OPTAB_FN (MASK_FOLD_LEFT_PLUS, ECF_CONST | ECF_NOTHROW,
 277                        mask_fold_left_plus, mask_fold_left)
 278
 279 /* Unary math functions.  */
 280 DEF_INTERNAL_FLT_FN (ACOS, ECF_CONST, acos, unary)
 281 DEF_INTERNAL_FLT_FN (ACOSH, ECF_CONST, acosh, unary)
 282 DEF_INTERNAL_FLT_FN (ASIN, ECF_CONST, asin, unary)
 283 DEF_INTERNAL_FLT_FN (ASINH, ECF_CONST, asinh, unary)
 284 DEF_INTERNAL_FLT_FN (ATAN, ECF_CONST, atan, unary)
 285 DEF_INTERNAL_FLT_FN (ATANH, ECF_CONST, atanh, unary)
 286 DEF_INTERNAL_FLT_FN (COS, ECF_CONST, cos, unary)
 287 DEF_INTERNAL_FLT_FN (COSH, ECF_CONST, cosh, unary)
 288 DEF_INTERNAL_FLT_FN (EXP, ECF_CONST, exp, unary)
 289 DEF_INTERNAL_FLT_FN (EXP10, ECF_CONST, exp10, unary)
 290 DEF_INTERNAL_FLT_FN (EXP2, ECF_CONST, exp2, unary)
 291 DEF_INTERNAL_FLT_FN (EXPM1, ECF_CONST, expm1, unary)
 292 DEF_INTERNAL_FLT_FN (LOG, ECF_CONST, log, unary)
 293 DEF_INTERNAL_FLT_FN (LOG10, ECF_CONST, log10, unary)
 294 DEF_INTERNAL_FLT_FN (LOG1P, ECF_CONST, log1p, unary)
 295 DEF_INTERNAL_FLT_FN (LOG2, ECF_CONST, log2, unary)
 296 DEF_INTERNAL_FLT_FN (LOGB, ECF_CONST, logb, unary)
 297 DEF_INTERNAL_FLT_FN (SIGNBIT, ECF_CONST, signbit, unary)
 298 DEF_INTERNAL_FLT_FN (SIGNIFICAND, ECF_CONST, significand, unary)
 299 DEF_INTERNAL_FLT_FN (SIN, ECF_CONST, sin, unary)
 300 DEF_INTERNAL_FLT_FN (SINH, ECF_CONST, sinh, unary)
 301 DEF_INTERNAL_FLT_FLOATN_FN (SQRT, ECF_CONST, sqrt, unary)
 302 DEF_INTERNAL_FLT_FN (TAN, ECF_CONST, tan, unary)
 303 DEF_INTERNAL_FLT_FN (TANH, ECF_CONST, tanh, unary)
 304
 305 /* Floating-point to integer conversions.
 306
 307    ??? Here we preserve the I/L/LL prefix convention from the
 308    corresponding built-in functions, rather than make the internal
 309    functions polymorphic in both the argument and the return types.
 310    Perhaps an alternative would be to pass a zero of the required
 311    return type as a second parameter.  */
 312 DEF_INTERNAL_FLT_FN (ICEIL, ECF_CONST, lceil, unary_convert)
 313 DEF_INTERNAL_FLT_FN (IFLOOR, ECF_CONST, lfloor, unary_convert)
 314 DEF_INTERNAL_FLT_FN (IRINT, ECF_CONST, lrint, unary_convert)
 315 DEF_INTERNAL_FLT_FN (IROUND, ECF_CONST, lround, unary_convert)
 316 DEF_INTERNAL_FLT_FN (LCEIL, ECF_CONST, lceil, unary_convert)
 317 DEF_INTERNAL_FLT_FN (LFLOOR, ECF_CONST, lfloor, unary_convert)
 318 DEF_INTERNAL_FLT_FN (LRINT, ECF_CONST, lrint, unary_convert)
 319 DEF_INTERNAL_FLT_FN (LROUND, ECF_CONST, lround, unary_convert)
 320 DEF_INTERNAL_FLT_FN (LLCEIL, ECF_CONST, lceil, unary_convert)
 321 DEF_INTERNAL_FLT_FN (LLFLOOR, ECF_CONST, lfloor, unary_convert)
 322 DEF_INTERNAL_FLT_FN (LLRINT, ECF_CONST, lrint, unary_convert)
 323 DEF_INTERNAL_FLT_FN (LLROUND, ECF_CONST, lround, unary_convert)
 324
 325 /* FP rounding.  */
 326 DEF_INTERNAL_FLT_FLOATN_FN (CEIL, ECF_CONST, ceil, unary)
 327 DEF_INTERNAL_FLT_FLOATN_FN (FLOOR, ECF_CONST, floor, unary)
 328 DEF_INTERNAL_FLT_FLOATN_FN (NEARBYINT, ECF_CONST, nearbyint, unary)
 329 DEF_INTERNAL_FLT_FLOATN_FN (RINT, ECF_CONST, rint, unary)
 330 DEF_INTERNAL_FLT_FLOATN_FN (ROUND, ECF_CONST, round, unary)
 331 DEF_INTERNAL_FLT_FLOATN_FN (ROUNDEVEN, ECF_CONST, roundeven, unary)
 332 DEF_INTERNAL_FLT_FLOATN_FN (TRUNC, ECF_CONST, btrunc, unary)
 333
 334 /* Binary math functions.  */
 335 DEF_INTERNAL_FLT_FN (ATAN2, ECF_CONST, atan2, binary)
 336 DEF_INTERNAL_FLT_FLOATN_FN (COPYSIGN, ECF_CONST, copysign, binary)
 337 DEF_INTERNAL_FLT_FN (FMOD, ECF_CONST, fmod, binary)
 338 DEF_INTERNAL_FLT_FN (HYPOT, ECF_CONST, hypot, binary)
 339 DEF_INTERNAL_FLT_FN (POW, ECF_CONST, pow, binary)
 340 DEF_INTERNAL_FLT_FN (REMAINDER, ECF_CONST, remainder, binary)
 341 DEF_INTERNAL_FLT_FN (SCALB, ECF_CONST, scalb, binary)
 342 DEF_INTERNAL_FLT_FLOATN_FN (FMIN, ECF_CONST, fmin, binary)
 343 DEF_INTERNAL_FLT_FLOATN_FN (FMAX, ECF_CONST, fmax, binary)
 344 DEF_INTERNAL_OPTAB_FN (XORSIGN, ECF_CONST, xorsign, binary)
 345 DEF_INTERNAL_OPTAB_FN (COMPLEX_ADD_ROT90, ECF_CONST, cadd90, binary)
 346 DEF_INTERNAL_OPTAB_FN (COMPLEX_ADD_ROT270, ECF_CONST, cadd270, binary)
 347 DEF_INTERNAL_OPTAB_FN (COMPLEX_MUL, ECF_CONST, cmul, binary)
 348 DEF_INTERNAL_OPTAB_FN (COMPLEX_MUL_CONJ, ECF_CONST, cmul_conj, binary)
 349 DEF_INTERNAL_OPTAB_FN (VEC_ADDSUB, ECF_CONST, vec_addsub, binary)
 350 DEF_INTERNAL_WIDENING_OPTAB_FN (VEC_WIDEN_PLUS,
 351                                 ECF_CONST | ECF_NOTHROW,
 352                                 first,
 353                                 vec_widen_sadd, vec_widen_uadd,
 354                                 binary)
 355 DEF_INTERNAL_WIDENING_OPTAB_FN (VEC_WIDEN_MINUS,
 356                                 ECF_CONST | ECF_NOTHROW,
 357                                 first,
 358                                 vec_widen_ssub, vec_widen_usub,
 359                                 binary)
 360 DEF_INTERNAL_WIDENING_OPTAB_FN (VEC_WIDEN_ABD,
 361                                 ECF_CONST | ECF_NOTHROW,
 362                                 first,
 363                                 vec_widen_sabd, vec_widen_uabd,
 364                                 binary)
 365 DEF_INTERNAL_OPTAB_FN (VEC_FMADDSUB, ECF_CONST, vec_fmaddsub, ternary)
 366 DEF_INTERNAL_OPTAB_FN (VEC_FMSUBADD, ECF_CONST, vec_fmsubadd, ternary)
 367
 368 /* FP scales.  */
 369 DEF_INTERNAL_FLT_FN (LDEXP, ECF_CONST, ldexp, binary)
 370
 371 /* Ternary math functions.  */
 372 DEF_INTERNAL_FLT_FLOATN_FN (FMA, ECF_CONST, fma, ternary)
 373 DEF_INTERNAL_OPTAB_FN (COMPLEX_FMA, ECF_CONST, cmla, ternary)
 374 DEF_INTERNAL_OPTAB_FN (COMPLEX_FMA_CONJ, ECF_CONST, cmla_conj, ternary)
 375 DEF_INTERNAL_OPTAB_FN (COMPLEX_FMS, ECF_CONST, cmls, ternary)
 376 DEF_INTERNAL_OPTAB_FN (COMPLEX_FMS_CONJ, ECF_CONST, cmls_conj, ternary)
 377
 378 /* Unary integer ops.  */
 379 DEF_INTERNAL_INT_FN (CLRSB, ECF_CONST | ECF_NOTHROW, clrsb, unary)
 380 DEF_INTERNAL_INT_FN (CLZ, ECF_CONST | ECF_NOTHROW, clz, unary)
 381 DEF_INTERNAL_INT_FN (CTZ, ECF_CONST | ECF_NOTHROW, ctz, unary)
 382 DEF_INTERNAL_INT_FN (FFS, ECF_CONST | ECF_NOTHROW, ffs, unary)
 383 DEF_INTERNAL_INT_FN (PARITY, ECF_CONST | ECF_NOTHROW, parity, unary)
 384 DEF_INTERNAL_INT_FN (POPCOUNT, ECF_CONST | ECF_NOTHROW, popcount, unary)
 385
 386 DEF_INTERNAL_FN (GOMP_TARGET_REV, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 387 DEF_INTERNAL_FN (GOMP_USE_SIMT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 388 DEF_INTERNAL_FN (GOMP_SIMT_ENTER, ECF_LEAF | ECF_NOTHROW, NULL)
 389 DEF_INTERNAL_FN (GOMP_SIMT_ENTER_ALLOC, ECF_LEAF | ECF_NOTHROW, NULL)
 390 DEF_INTERNAL_FN (GOMP_SIMT_EXIT, ECF_LEAF | ECF_NOTHROW, NULL)
 391 DEF_INTERNAL_FN (GOMP_SIMT_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 392 DEF_INTERNAL_FN (GOMP_SIMT_VF, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 393 DEF_INTERNAL_FN (GOMP_SIMT_LAST_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 394 DEF_INTERNAL_FN (GOMP_SIMT_ORDERED_PRED, ECF_LEAF | ECF_NOTHROW, NULL)
 395 DEF_INTERNAL_FN (GOMP_SIMT_VOTE_ANY, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 396 DEF_INTERNAL_FN (GOMP_SIMT_XCHG_BFLY, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 397 DEF_INTERNAL_FN (GOMP_SIMT_XCHG_IDX, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 398 DEF_INTERNAL_FN (GOMP_SIMD_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 399 DEF_INTERNAL_FN (GOMP_SIMD_VF, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 400 DEF_INTERNAL_FN (GOMP_SIMD_LAST_LANE, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 401 DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_START, ECF_LEAF | ECF_NOTHROW, NULL)
 402 DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_END, ECF_LEAF | ECF_NOTHROW, NULL)
 403 DEF_INTERNAL_FN (LOOP_VECTORIZED, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 404 DEF_INTERNAL_FN (LOOP_DIST_ALIAS, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 405 DEF_INTERNAL_FN (ANNOTATE,  ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 406 DEF_INTERNAL_FN (UBSAN_NULL, ECF_LEAF | ECF_NOTHROW, ". R . ")
 407 DEF_INTERNAL_FN (UBSAN_BOUNDS, ECF_LEAF | ECF_NOTHROW, NULL)
 408 DEF_INTERNAL_FN (UBSAN_VPTR, ECF_LEAF | ECF_NOTHROW, ". R R . . ")
 409 DEF_INTERNAL_FN (UBSAN_CHECK_ADD, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 410 DEF_INTERNAL_FN (UBSAN_CHECK_SUB, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 411 DEF_INTERNAL_FN (UBSAN_CHECK_MUL, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 412 DEF_INTERNAL_FN (UBSAN_PTR, ECF_LEAF | ECF_NOTHROW, ". R . ")
 413 DEF_INTERNAL_FN (UBSAN_OBJECT_SIZE, ECF_LEAF | ECF_NOTHROW, NULL)
 414 DEF_INTERNAL_FN (ABNORMAL_DISPATCHER, ECF_NORETURN, NULL)
 415 DEF_INTERNAL_FN (BUILTIN_EXPECT, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 416 DEF_INTERNAL_FN (HWASAN_ALLOCA_UNPOISON, ECF_LEAF | ECF_NOTHROW, ". R ")
 417 DEF_INTERNAL_FN (HWASAN_CHOOSE_TAG, ECF_LEAF | ECF_NOTHROW, ". ")
 418 DEF_INTERNAL_FN (HWASAN_CHECK, ECF_TM_PURE | ECF_LEAF | ECF_NOTHROW,
 419                  ". . R . . ")
 420 DEF_INTERNAL_FN (HWASAN_MARK, ECF_LEAF | ECF_NOTHROW, NULL)
 421 DEF_INTERNAL_FN (HWASAN_SET_TAG,
 422                  ECF_TM_PURE | ECF_PURE | ECF_LEAF | ECF_NOTHROW, ". R R ")
 423 DEF_INTERNAL_FN (ASAN_CHECK, ECF_TM_PURE | ECF_LEAF | ECF_NOTHROW,
 424                  ". . R . . ")
 425 DEF_INTERNAL_FN (ASAN_MARK, ECF_LEAF | ECF_NOTHROW, NULL)
 426 DEF_INTERNAL_FN (ASAN_POISON, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
 427 DEF_INTERNAL_FN (ASAN_POISON_USE, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
 428 DEF_INTERNAL_FN (ADD_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 429 DEF_INTERNAL_FN (SUB_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 430 DEF_INTERNAL_FN (MUL_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 431 DEF_INTERNAL_FN (UADDC, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 432 DEF_INTERNAL_FN (USUBC, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 433 DEF_INTERNAL_FN (TSAN_FUNC_EXIT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 434 DEF_INTERNAL_FN (VA_ARG, ECF_NOTHROW | ECF_LEAF, NULL)
 435 DEF_INTERNAL_FN (VEC_CONVERT, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 436 DEF_INTERNAL_FN (RAWMEMCHR, ECF_PURE | ECF_LEAF | ECF_NOTHROW, NULL)
 437
 438 /* An unduplicable, uncombinable function.  Generally used to preserve
 439    a CFG property in the face of jump threading, tail merging or
 440    other such optimizations.  The first argument distinguishes
 441    between uses.  See internal-fn.h for usage.  */
 442 DEF_INTERNAL_FN (UNIQUE, ECF_NOTHROW, NULL)
 443 DEF_INTERNAL_FN (PHI, 0, NULL)
 444
 445 /* A function to represent an artifical initialization to an uninitialized
 446    automatic variable.  */
 447 DEF_INTERNAL_FN (DEFERRED_INIT, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 448
 449 /* DIM_SIZE and DIM_POS return the size of a particular compute
 450    dimension and the executing thread's position within that
 451    dimension.  DIM_POS is pure (and not const) so that it isn't
 452    thought to clobber memory and can be gcse'd within a single
 453    parallel region, but not across FORK/JOIN boundaries.  They take a
 454    single INTEGER_CST argument.  This might be overly conservative.  */
 455 DEF_INTERNAL_FN (GOACC_DIM_SIZE, ECF_CONST | ECF_NOTHROW | ECF_LEAF, NULL)
 456 DEF_INTERNAL_FN (GOACC_DIM_POS, ECF_PURE | ECF_NOTHROW | ECF_LEAF, NULL)
 457
 458 /* OpenACC looping abstraction.  See internal-fn.h for usage.  */
 459 DEF_INTERNAL_FN (GOACC_LOOP, ECF_PURE | ECF_NOTHROW, NULL)
 460
 461 /* OpenACC reduction abstraction.  See internal-fn.h  for usage.  */
 462 DEF_INTERNAL_FN (GOACC_REDUCTION, ECF_NOTHROW | ECF_LEAF, NULL)
 463
 464 /* Openacc tile abstraction. Describes the spans of the element loop.
 465    GOACC_TILE (num-loops, loop-no, tile-arg, tile-mask, element-mask).  */
 466 DEF_INTERNAL_FN (GOACC_TILE, ECF_NOTHROW | ECF_LEAF, NULL)
 467
 468 /* Set errno to EDOM, if GCC knows how to do that directly for the
 469    current target.  */
 470 DEF_INTERNAL_FN (SET_EDOM, ECF_LEAF | ECF_NOTHROW, NULL)
 471
 472 /* Atomic functions.  These don't have ECF_NOTHROW because for
 473    -fnon-call-exceptions they can throw, otherwise we set
 474    gimple_call_nothrow_p on it.  */
 475 DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_SET, ECF_LEAF, NULL)
 476 DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_COMPLEMENT, ECF_LEAF, NULL)
 477 DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_RESET, ECF_LEAF, NULL)
 478 DEF_INTERNAL_FN (ATOMIC_COMPARE_EXCHANGE, ECF_LEAF, NULL)
 479 DEF_INTERNAL_FN (ATOMIC_ADD_FETCH_CMP_0, ECF_LEAF, NULL)
 480 DEF_INTERNAL_FN (ATOMIC_SUB_FETCH_CMP_0, ECF_LEAF, NULL)
 481 DEF_INTERNAL_FN (ATOMIC_AND_FETCH_CMP_0, ECF_LEAF, NULL)
 482 DEF_INTERNAL_FN (ATOMIC_OR_FETCH_CMP_0, ECF_LEAF, NULL)
 483 DEF_INTERNAL_FN (ATOMIC_XOR_FETCH_CMP_0, ECF_LEAF, NULL)
 484
 485 /* To implement [[fallthrough]].  */
 486 DEF_INTERNAL_FN (FALLTHROUGH, ECF_LEAF | ECF_NOTHROW, NULL)
 487
 488 /* To implement __builtin_launder.  */
 489 DEF_INTERNAL_FN (LAUNDER, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
 490
 491 /* Divmod function.  */
 492 DEF_INTERNAL_FN (DIVMOD, ECF_CONST | ECF_LEAF, NULL)
 493
 494 /* For coroutines.  */
 495 DEF_INTERNAL_FN (CO_ACTOR, ECF_NOTHROW | ECF_LEAF, NULL)
 496 DEF_INTERNAL_FN (CO_YIELD, ECF_NOTHROW, NULL)
 497 DEF_INTERNAL_FN (CO_SUSPN, ECF_NOTHROW, NULL)
 498 DEF_INTERNAL_FN (CO_FRAME, ECF_PURE | ECF_NOTHROW | ECF_LEAF, NULL)
 499
 500 /* A NOP function with arbitrary arguments and return value.  */
 501 DEF_INTERNAL_FN (NOP, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 502
 503 /* Temporary vehicle for __builtin_shufflevector.  */
 504 DEF_INTERNAL_FN (SHUFFLEVECTOR, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 505
 506 /* <=> optimization.  */
 507 DEF_INTERNAL_FN (SPACESHIP, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 508
 509 /* [[assume (cond)]].  */
 510 DEF_INTERNAL_FN (ASSUME, ECF_CONST | ECF_LEAF | ECF_NOTHROW
 511                          | ECF_LOOPING_CONST_OR_PURE, NULL)
 512
 513 /* For if-conversion of inbranch SIMD clones.  */
 514 DEF_INTERNAL_FN (MASK_CALL, ECF_NOVOPS, NULL)
 515
 516 #undef DEF_INTERNAL_INT_FN
 517 #undef DEF_INTERNAL_FLT_FN
 518 #undef DEF_INTERNAL_FLT_FLOATN_FN
 519 #undef DEF_INTERNAL_SIGNED_OPTAB_FN
 520 #undef DEF_INTERNAL_OPTAB_FN
 521 #undef DEF_INTERNAL_FN