gcc/internal-fn.def

   1 /* Internal functions.
   2    Copyright (C) 2011-2017 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_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
  34      DEF_INTERNAL_INT_FN (NAME, FLAGS, OPTAB, TYPE)
  35
  36    where NAME is the name of the function, FLAGS is a set of
  37    ECF_* flags and FNSPEC is a string describing functions fnspec.
  38
  39    DEF_INTERNAL_OPTAB_FN defines an internal function that maps to a
  40    direct optab.  The function should only be called with a given
  41    set of types if the associated optab is available for the modes
  42    of those types.  OPTAB says what optab to use (without the trailing
  43    "_optab") and TYPE categorizes the optab based on its inputs and
  44    outputs.  The possible types of optab are:
  45
  46    - mask_load: currently just maskload
  47    - load_lanes: currently just vec_load_lanes
  48
  49    - mask_store: currently just maskstore
  50    - store_lanes: currently just vec_store_lanes
  51
  52    DEF_INTERNAL_FLT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition,
  53    the function implements the computational part of a built-in math
  54    function BUILT_IN_<NAME>{F,,L}.  Unlike some built-in functions,
  55    these internal functions never set errno.
  56
  57    DEF_INTERNAL_INT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition
  58    says that the function extends the C-level BUILT_IN_<NAME>{,L,LL,IMAX}
  59    group of functions to any integral mode (including vector modes).
  60
  61    Each entry must have a corresponding expander of the form:
  62
  63      void expand_NAME (gimple_call stmt)
  64
  65    where STMT is the statement that performs the call.  These are generated
  66    automatically for optab functions and call out to a function or macro
  67    called expand_<TYPE>_optab_fn.  */
  68
  69 #ifndef DEF_INTERNAL_FN
  70 #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC)
  71 #endif
  72
  73 #ifndef DEF_INTERNAL_OPTAB_FN
  74 #define DEF_INTERNAL_OPTAB_FN(NAME, FLAGS, OPTAB, TYPE) \
  75   DEF_INTERNAL_FN (NAME, FLAGS | ECF_LEAF, NULL)
  76 #endif
  77
  78 #ifndef DEF_INTERNAL_FLT_FN
  79 #define DEF_INTERNAL_FLT_FN(NAME, FLAGS, OPTAB, TYPE) \
  80   DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
  81 #endif
  82
  83 #ifndef DEF_INTERNAL_FLT_FLOATN_FN
  84 #define DEF_INTERNAL_FLT_FLOATN_FN(NAME, FLAGS, OPTAB, TYPE) \
  85   DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
  86 #endif
  87
  88 #ifndef DEF_INTERNAL_INT_FN
  89 #define DEF_INTERNAL_INT_FN(NAME, FLAGS, OPTAB, TYPE) \
  90   DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
  91 #endif
  92
  93 DEF_INTERNAL_OPTAB_FN (MASK_LOAD, ECF_PURE, maskload, mask_load)
  94 DEF_INTERNAL_OPTAB_FN (LOAD_LANES, ECF_CONST, vec_load_lanes, load_lanes)
  95
  96 DEF_INTERNAL_OPTAB_FN (MASK_STORE, 0, maskstore, mask_store)
  97 DEF_INTERNAL_OPTAB_FN (STORE_LANES, ECF_CONST, vec_store_lanes, store_lanes)
  98
  99 DEF_INTERNAL_OPTAB_FN (RSQRT, ECF_CONST, rsqrt, unary)
 100
 101 /* Unary math functions.  */
 102 DEF_INTERNAL_FLT_FN (ACOS, ECF_CONST, acos, unary)
 103 DEF_INTERNAL_FLT_FN (ASIN, ECF_CONST, asin, unary)
 104 DEF_INTERNAL_FLT_FN (ATAN, ECF_CONST, atan, unary)
 105 DEF_INTERNAL_FLT_FN (COS, ECF_CONST, cos, unary)
 106 DEF_INTERNAL_FLT_FN (EXP, ECF_CONST, exp, unary)
 107 DEF_INTERNAL_FLT_FN (EXP10, ECF_CONST, exp10, unary)
 108 DEF_INTERNAL_FLT_FN (EXP2, ECF_CONST, exp2, unary)
 109 DEF_INTERNAL_FLT_FN (EXPM1, ECF_CONST, expm1, unary)
 110 DEF_INTERNAL_FLT_FN (LOG, ECF_CONST, log, unary)
 111 DEF_INTERNAL_FLT_FN (LOG10, ECF_CONST, log10, unary)
 112 DEF_INTERNAL_FLT_FN (LOG1P, ECF_CONST, log1p, unary)
 113 DEF_INTERNAL_FLT_FN (LOG2, ECF_CONST, log2, unary)
 114 DEF_INTERNAL_FLT_FN (LOGB, ECF_CONST, logb, unary)
 115 DEF_INTERNAL_FLT_FN (SIGNIFICAND, ECF_CONST, significand, unary)
 116 DEF_INTERNAL_FLT_FN (SIN, ECF_CONST, sin, unary)
 117 DEF_INTERNAL_FLT_FLOATN_FN (SQRT, ECF_CONST, sqrt, unary)
 118 DEF_INTERNAL_FLT_FN (TAN, ECF_CONST, tan, unary)
 119
 120 /* FP rounding.  */
 121 DEF_INTERNAL_FLT_FN (CEIL, ECF_CONST, ceil, unary)
 122 DEF_INTERNAL_FLT_FN (FLOOR, ECF_CONST, floor, unary)
 123 DEF_INTERNAL_FLT_FN (NEARBYINT, ECF_CONST, nearbyint, unary)
 124 DEF_INTERNAL_FLT_FN (RINT, ECF_CONST, rint, unary)
 125 DEF_INTERNAL_FLT_FN (ROUND, ECF_CONST, round, unary)
 126 DEF_INTERNAL_FLT_FN (TRUNC, ECF_CONST, btrunc, unary)
 127
 128 /* Binary math functions.  */
 129 DEF_INTERNAL_FLT_FN (ATAN2, ECF_CONST, atan2, binary)
 130 DEF_INTERNAL_FLT_FLOATN_FN (COPYSIGN, ECF_CONST, copysign, binary)
 131 DEF_INTERNAL_FLT_FN (FMOD, ECF_CONST, fmod, binary)
 132 DEF_INTERNAL_FLT_FN (POW, ECF_CONST, pow, binary)
 133 DEF_INTERNAL_FLT_FN (REMAINDER, ECF_CONST, remainder, binary)
 134 DEF_INTERNAL_FLT_FN (SCALB, ECF_CONST, scalb, binary)
 135 DEF_INTERNAL_FLT_FLOATN_FN (FMIN, ECF_CONST, fmin, binary)
 136 DEF_INTERNAL_FLT_FLOATN_FN (FMAX, ECF_CONST, fmax, binary)
 137 DEF_INTERNAL_OPTAB_FN (XORSIGN, ECF_CONST, xorsign, binary)
 138
 139 /* FP scales.  */
 140 DEF_INTERNAL_FLT_FN (LDEXP, ECF_CONST, ldexp, binary)
 141
 142 /* Unary integer ops.  */
 143 DEF_INTERNAL_INT_FN (CLRSB, ECF_CONST | ECF_NOTHROW, clrsb, unary)
 144 DEF_INTERNAL_INT_FN (CLZ, ECF_CONST | ECF_NOTHROW, clz, unary)
 145 DEF_INTERNAL_INT_FN (CTZ, ECF_CONST | ECF_NOTHROW, ctz, unary)
 146 DEF_INTERNAL_INT_FN (FFS, ECF_CONST | ECF_NOTHROW, ffs, unary)
 147 DEF_INTERNAL_INT_FN (PARITY, ECF_CONST | ECF_NOTHROW, parity, unary)
 148 DEF_INTERNAL_INT_FN (POPCOUNT, ECF_CONST | ECF_NOTHROW, popcount, unary)
 149
 150 DEF_INTERNAL_FN (GOMP_USE_SIMT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 151 DEF_INTERNAL_FN (GOMP_SIMT_ENTER, ECF_LEAF | ECF_NOTHROW, NULL)
 152 DEF_INTERNAL_FN (GOMP_SIMT_ENTER_ALLOC, ECF_LEAF | ECF_NOTHROW, NULL)
 153 DEF_INTERNAL_FN (GOMP_SIMT_EXIT, ECF_LEAF | ECF_NOTHROW, NULL)
 154 DEF_INTERNAL_FN (GOMP_SIMT_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 155 DEF_INTERNAL_FN (GOMP_SIMT_VF, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 156 DEF_INTERNAL_FN (GOMP_SIMT_LAST_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 157 DEF_INTERNAL_FN (GOMP_SIMT_ORDERED_PRED, ECF_LEAF | ECF_NOTHROW, NULL)
 158 DEF_INTERNAL_FN (GOMP_SIMT_VOTE_ANY, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 159 DEF_INTERNAL_FN (GOMP_SIMT_XCHG_BFLY, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 160 DEF_INTERNAL_FN (GOMP_SIMT_XCHG_IDX, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 161 DEF_INTERNAL_FN (GOMP_SIMD_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 162 DEF_INTERNAL_FN (GOMP_SIMD_VF, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 163 DEF_INTERNAL_FN (GOMP_SIMD_LAST_LANE, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 164 DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_START, ECF_LEAF | ECF_NOTHROW, NULL)
 165 DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_END, ECF_LEAF | ECF_NOTHROW, NULL)
 166 DEF_INTERNAL_FN (LOOP_VECTORIZED, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 167 DEF_INTERNAL_FN (LOOP_DIST_ALIAS, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 168 DEF_INTERNAL_FN (ANNOTATE,  ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 169 DEF_INTERNAL_FN (UBSAN_NULL, ECF_LEAF | ECF_NOTHROW, ".R.")
 170 DEF_INTERNAL_FN (UBSAN_BOUNDS, ECF_LEAF | ECF_NOTHROW, NULL)
 171 DEF_INTERNAL_FN (UBSAN_VPTR, ECF_LEAF | ECF_NOTHROW, ".RR..")
 172 DEF_INTERNAL_FN (UBSAN_CHECK_ADD, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 173 DEF_INTERNAL_FN (UBSAN_CHECK_SUB, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 174 DEF_INTERNAL_FN (UBSAN_CHECK_MUL, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 175 DEF_INTERNAL_FN (UBSAN_PTR, ECF_LEAF | ECF_NOTHROW, ".R.")
 176 DEF_INTERNAL_FN (UBSAN_OBJECT_SIZE, ECF_LEAF | ECF_NOTHROW, NULL)
 177 DEF_INTERNAL_FN (ABNORMAL_DISPATCHER, ECF_NORETURN, NULL)
 178 DEF_INTERNAL_FN (BUILTIN_EXPECT, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 179 DEF_INTERNAL_FN (ASAN_CHECK, ECF_TM_PURE | ECF_LEAF | ECF_NOTHROW, ".R...")
 180 DEF_INTERNAL_FN (ASAN_MARK, ECF_LEAF | ECF_NOTHROW, ".R..")
 181 DEF_INTERNAL_FN (ASAN_POISON, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
 182 DEF_INTERNAL_FN (ASAN_POISON_USE, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
 183 DEF_INTERNAL_FN (ADD_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 184 DEF_INTERNAL_FN (SUB_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 185 DEF_INTERNAL_FN (MUL_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
 186 DEF_INTERNAL_FN (TSAN_FUNC_EXIT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
 187 DEF_INTERNAL_FN (VA_ARG, ECF_NOTHROW | ECF_LEAF, NULL)
 188
 189 /* An unduplicable, uncombinable function.  Generally used to preserve
 190    a CFG property in the face of jump threading, tail merging or
 191    other such optimizations.  The first argument distinguishes
 192    between uses.  See internal-fn.h for usage.  */
 193 DEF_INTERNAL_FN (UNIQUE, ECF_NOTHROW, NULL)
 194 DEF_INTERNAL_FN (PHI, 0, NULL)
 195
 196 /* DIM_SIZE and DIM_POS return the size of a particular compute
 197    dimension and the executing thread's position within that
 198    dimension.  DIM_POS is pure (and not const) so that it isn't
 199    thought to clobber memory and can be gcse'd within a single
 200    parallel region, but not across FORK/JOIN boundaries.  They take a
 201    single INTEGER_CST argument.  This might be overly conservative.  */
 202 DEF_INTERNAL_FN (GOACC_DIM_SIZE, ECF_CONST | ECF_NOTHROW | ECF_LEAF, ".")
 203 DEF_INTERNAL_FN (GOACC_DIM_POS, ECF_PURE | ECF_NOTHROW | ECF_LEAF, ".")
 204
 205 /* OpenACC looping abstraction.  See internal-fn.h for usage.  */
 206 DEF_INTERNAL_FN (GOACC_LOOP, ECF_PURE | ECF_NOTHROW, NULL)
 207
 208 /* OpenACC reduction abstraction.  See internal-fn.h  for usage.  */
 209 DEF_INTERNAL_FN (GOACC_REDUCTION, ECF_NOTHROW | ECF_LEAF, NULL)
 210
 211 /* Openacc tile abstraction. Describes the spans of the element loop.
 212    GOACC_TILE (num-loops, loop-no, tile-arg, tile-mask, element-mask).  */
 213 DEF_INTERNAL_FN (GOACC_TILE, ECF_NOTHROW | ECF_LEAF, NULL)
 214
 215 /* Set errno to EDOM, if GCC knows how to do that directly for the
 216    current target.  */
 217 DEF_INTERNAL_FN (SET_EDOM, ECF_LEAF | ECF_NOTHROW, NULL)
 218
 219 /* Atomic functions.  These don't have ECF_NOTHROW because for
 220    -fnon-call-exceptions they can throw, otherwise we set
 221    gimple_call_nothrow_p on it.  */
 222 DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_SET, ECF_LEAF, NULL)
 223 DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_COMPLEMENT, ECF_LEAF, NULL)
 224 DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_RESET, ECF_LEAF, NULL)
 225 DEF_INTERNAL_FN (ATOMIC_COMPARE_EXCHANGE, ECF_LEAF, NULL)
 226
 227 /* To implement [[fallthrough]].  */
 228 DEF_INTERNAL_FN (FALLTHROUGH, ECF_LEAF | ECF_NOTHROW, NULL)
 229
 230 /* To implement __builtin_launder.  */
 231 DEF_INTERNAL_FN (LAUNDER, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
 232
 233 /* Divmod function.  */
 234 DEF_INTERNAL_FN (DIVMOD, ECF_CONST | ECF_LEAF, NULL)
 235
 236 #undef DEF_INTERNAL_INT_FN
 237 #undef DEF_INTERNAL_FLT_FN
 238 #undef DEF_INTERNAL_FLT_FLOATN_FN
 239 #undef DEF_INTERNAL_OPTAB_FN
 240 #undef DEF_INTERNAL_FN