[thirdparty/gcc.git] / gcc / internal-fn.def

/* Internal functions.
   Copyright (C) 2011-2018 Free Software Foundation, Inc.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  */

/* This file specifies a list of internal "functions".  These functions
   differ from built-in functions in that they have no linkage and cannot
   be called directly by the user.  They represent operations that are only
   synthesised by GCC itself.

   Internal functions are used instead of tree codes if the operation
   and its operands are more naturally represented as a GIMPLE_CALL
   than a GIMPLE_ASSIGN.

   Each entry in this file has one of the forms:

     DEF_INTERNAL_FN (NAME, FLAGS, FNSPEC)
     DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
     DEF_INTERNAL_SIGNED_OPTAB_FN (NAME, FLAGS, SELECTOR, SIGNED_OPTAB,
				   UNSIGNED_OPTAB, TYPE)
     DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
     DEF_INTERNAL_INT_FN (NAME, FLAGS, OPTAB, TYPE)

   where NAME is the name of the function, FLAGS is a set of
   ECF_* flags and FNSPEC is a string describing functions fnspec.
   
   DEF_INTERNAL_OPTAB_FN defines an internal function that maps to a
   direct optab.  The function should only be called with a given
   set of types if the associated optab is available for the modes
   of those types.  OPTAB says what optab to use (without the trailing
   "_optab") and TYPE categorizes the optab based on its inputs and
   outputs.  The possible types of optab are:

   - mask_load: currently just maskload
   - load_lanes: currently just vec_load_lanes
   - mask_load_lanes: currently just vec_mask_load_lanes
   - gather_load: used for {mask_,}gather_load

   - mask_store: currently just maskstore
   - store_lanes: currently just vec_store_lanes
   - mask_store_lanes: currently just vec_mask_store_lanes
   - scatter_store: used for {mask_,}scatter_store

   - unary: a normal unary optab, such as vec_reverse_<mode>
   - binary: a normal binary optab, such as vec_interleave_lo_<mode>
   - ternary: a normal ternary optab, such as fma<mode>4

   - cond_binary: a conditional binary optab, such as cond_add<mode>
   - cond_ternary: a conditional ternary optab, such as cond_fma_rev<mode>

   - fold_left: for scalar = FN (scalar, vector), keyed off the vector mode

   DEF_INTERNAL_SIGNED_OPTAB_FN defines an internal function that
   maps to one of two optabs, depending on the signedness of an input.
   SIGNED_OPTAB and UNSIGNED_OPTAB are the optabs for signed and
   unsigned inputs respectively, both without the trailing "_optab".
   SELECTOR says which type in the tree_pair determines the signedness.

   DEF_INTERNAL_FLT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition,
   the function implements the computational part of a built-in math
   function BUILT_IN_<NAME>{F,,L}.  Unlike some built-in functions,
   these internal functions never set errno.

   DEF_INTERNAL_INT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition
   says that the function extends the C-level BUILT_IN_<NAME>{,L,LL,IMAX}
   group of functions to any integral mode (including vector modes).

   Each entry must have a corresponding expander of the form:

     void expand_NAME (gimple_call stmt)

   where STMT is the statement that performs the call.  These are generated
   automatically for optab functions and call out to a function or macro
   called expand_<TYPE>_optab_fn.  */

#ifndef DEF_INTERNAL_FN
#define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC)
#endif

#ifndef DEF_INTERNAL_OPTAB_FN
#define DEF_INTERNAL_OPTAB_FN(NAME, FLAGS, OPTAB, TYPE) \
  DEF_INTERNAL_FN (NAME, FLAGS | ECF_LEAF, NULL)
#endif

#ifndef DEF_INTERNAL_SIGNED_OPTAB_FN
#define DEF_INTERNAL_SIGNED_OPTAB_FN(NAME, FLAGS, SELECTOR, SIGNED_OPTAB, \
				     UNSIGNED_OPTAB, TYPE) \
  DEF_INTERNAL_FN (NAME, FLAGS | ECF_LEAF, NULL)
#endif

#ifndef DEF_INTERNAL_FLT_FN
#define DEF_INTERNAL_FLT_FN(NAME, FLAGS, OPTAB, TYPE) \
  DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
#endif

#ifndef DEF_INTERNAL_FLT_FLOATN_FN
#define DEF_INTERNAL_FLT_FLOATN_FN(NAME, FLAGS, OPTAB, TYPE) \
  DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
#endif

#ifndef DEF_INTERNAL_INT_FN
#define DEF_INTERNAL_INT_FN(NAME, FLAGS, OPTAB, TYPE) \
  DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
#endif

DEF_INTERNAL_OPTAB_FN (MASK_LOAD, ECF_PURE, maskload, mask_load)
DEF_INTERNAL_OPTAB_FN (LOAD_LANES, ECF_CONST, vec_load_lanes, load_lanes)
DEF_INTERNAL_OPTAB_FN (MASK_LOAD_LANES, ECF_PURE,
		       vec_mask_load_lanes, mask_load_lanes)

DEF_INTERNAL_OPTAB_FN (GATHER_LOAD, ECF_PURE, gather_load, gather_load)
DEF_INTERNAL_OPTAB_FN (MASK_GATHER_LOAD, ECF_PURE,
		       mask_gather_load, gather_load)

DEF_INTERNAL_OPTAB_FN (SCATTER_STORE, 0, scatter_store, scatter_store)
DEF_INTERNAL_OPTAB_FN (MASK_SCATTER_STORE, 0,
		       mask_scatter_store, scatter_store)

DEF_INTERNAL_OPTAB_FN (MASK_STORE, 0, maskstore, mask_store)
DEF_INTERNAL_OPTAB_FN (STORE_LANES, ECF_CONST, vec_store_lanes, store_lanes)
DEF_INTERNAL_OPTAB_FN (MASK_STORE_LANES, 0,
		       vec_mask_store_lanes, mask_store_lanes)

DEF_INTERNAL_OPTAB_FN (WHILE_ULT, ECF_CONST | ECF_NOTHROW, while_ult, while)

DEF_INTERNAL_OPTAB_FN (VEC_SHL_INSERT, ECF_CONST | ECF_NOTHROW,
		       vec_shl_insert, binary)

DEF_INTERNAL_OPTAB_FN (FMS, ECF_CONST, fms, ternary)
DEF_INTERNAL_OPTAB_FN (FNMA, ECF_CONST, fnma, ternary)
DEF_INTERNAL_OPTAB_FN (FNMS, ECF_CONST, fnms, ternary)

DEF_INTERNAL_SIGNED_OPTAB_FN (AVG_FLOOR, ECF_CONST | ECF_NOTHROW, first,
			      savg_floor, uavg_floor, binary)
DEF_INTERNAL_SIGNED_OPTAB_FN (AVG_CEIL, ECF_CONST | ECF_NOTHROW, first,
			      savg_ceil, uavg_ceil, binary)

DEF_INTERNAL_OPTAB_FN (COND_ADD, ECF_CONST, cond_add, cond_binary)
DEF_INTERNAL_OPTAB_FN (COND_SUB, ECF_CONST, cond_sub, cond_binary)
DEF_INTERNAL_OPTAB_FN (COND_MUL, ECF_CONST, cond_smul, cond_binary)
DEF_INTERNAL_SIGNED_OPTAB_FN (COND_DIV, ECF_CONST, first,
			      cond_sdiv, cond_udiv, cond_binary)
DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MOD, ECF_CONST, first,
			      cond_smod, cond_umod, cond_binary)
DEF_INTERNAL_OPTAB_FN (COND_RDIV, ECF_CONST, cond_sdiv, cond_binary)
DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MIN, ECF_CONST, first,
			      cond_smin, cond_umin, cond_binary)
DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MAX, ECF_CONST, first,
			      cond_smax, cond_umax, cond_binary)
DEF_INTERNAL_OPTAB_FN (COND_AND, ECF_CONST | ECF_NOTHROW,
		       cond_and, cond_binary)
DEF_INTERNAL_OPTAB_FN (COND_IOR, ECF_CONST | ECF_NOTHROW,
		       cond_ior, cond_binary)
DEF_INTERNAL_OPTAB_FN (COND_XOR, ECF_CONST | ECF_NOTHROW,
		       cond_xor, cond_binary)

DEF_INTERNAL_OPTAB_FN (COND_FMA, ECF_CONST, cond_fma, cond_ternary)
DEF_INTERNAL_OPTAB_FN (COND_FMS, ECF_CONST, cond_fms, cond_ternary)
DEF_INTERNAL_OPTAB_FN (COND_FNMA, ECF_CONST, cond_fnma, cond_ternary)
DEF_INTERNAL_OPTAB_FN (COND_FNMS, ECF_CONST, cond_fnms, cond_ternary)

DEF_INTERNAL_OPTAB_FN (RSQRT, ECF_CONST, rsqrt, unary)

DEF_INTERNAL_OPTAB_FN (REDUC_PLUS, ECF_CONST | ECF_NOTHROW,
		       reduc_plus_scal, unary)
DEF_INTERNAL_SIGNED_OPTAB_FN (REDUC_MAX, ECF_CONST | ECF_NOTHROW, first,
			      reduc_smax_scal, reduc_umax_scal, unary)
DEF_INTERNAL_SIGNED_OPTAB_FN (REDUC_MIN, ECF_CONST | ECF_NOTHROW, first,
			      reduc_smin_scal, reduc_umin_scal, unary)
DEF_INTERNAL_OPTAB_FN (REDUC_AND, ECF_CONST | ECF_NOTHROW,
		       reduc_and_scal, unary)
DEF_INTERNAL_OPTAB_FN (REDUC_IOR, ECF_CONST | ECF_NOTHROW,
		       reduc_ior_scal, unary)
DEF_INTERNAL_OPTAB_FN (REDUC_XOR, ECF_CONST | ECF_NOTHROW,
		       reduc_xor_scal, unary)

/* Extract the last active element from a vector.  */
DEF_INTERNAL_OPTAB_FN (EXTRACT_LAST, ECF_CONST | ECF_NOTHROW,
		       extract_last, fold_left)

/* Same, but return the first argument if no elements are active.  */
DEF_INTERNAL_OPTAB_FN (FOLD_EXTRACT_LAST, ECF_CONST | ECF_NOTHROW,
		       fold_extract_last, fold_extract)

DEF_INTERNAL_OPTAB_FN (FOLD_LEFT_PLUS, ECF_CONST | ECF_NOTHROW,
		       fold_left_plus, fold_left)

/* Unary math functions.  */
DEF_INTERNAL_FLT_FN (ACOS, ECF_CONST, acos, unary)
DEF_INTERNAL_FLT_FN (ASIN, ECF_CONST, asin, unary)
DEF_INTERNAL_FLT_FN (ATAN, ECF_CONST, atan, unary)
DEF_INTERNAL_FLT_FN (COS, ECF_CONST, cos, unary)
DEF_INTERNAL_FLT_FN (EXP, ECF_CONST, exp, unary)
DEF_INTERNAL_FLT_FN (EXP10, ECF_CONST, exp10, unary)
DEF_INTERNAL_FLT_FN (EXP2, ECF_CONST, exp2, unary)
DEF_INTERNAL_FLT_FN (EXPM1, ECF_CONST, expm1, unary)
DEF_INTERNAL_FLT_FN (LOG, ECF_CONST, log, unary)
DEF_INTERNAL_FLT_FN (LOG10, ECF_CONST, log10, unary)
DEF_INTERNAL_FLT_FN (LOG1P, ECF_CONST, log1p, unary)
DEF_INTERNAL_FLT_FN (LOG2, ECF_CONST, log2, unary)
DEF_INTERNAL_FLT_FN (LOGB, ECF_CONST, logb, unary)
DEF_INTERNAL_FLT_FN (SIGNIFICAND, ECF_CONST, significand, unary)
DEF_INTERNAL_FLT_FN (SIN, ECF_CONST, sin, unary)
DEF_INTERNAL_FLT_FLOATN_FN (SQRT, ECF_CONST, sqrt, unary)
DEF_INTERNAL_FLT_FN (TAN, ECF_CONST, tan, unary)

/* FP rounding.  */
DEF_INTERNAL_FLT_FLOATN_FN (CEIL, ECF_CONST, ceil, unary)
DEF_INTERNAL_FLT_FLOATN_FN (FLOOR, ECF_CONST, floor, unary)
DEF_INTERNAL_FLT_FLOATN_FN (NEARBYINT, ECF_CONST, nearbyint, unary)
DEF_INTERNAL_FLT_FLOATN_FN (RINT, ECF_CONST, rint, unary)
DEF_INTERNAL_FLT_FLOATN_FN (ROUND, ECF_CONST, round, unary)
DEF_INTERNAL_FLT_FLOATN_FN (TRUNC, ECF_CONST, btrunc, unary)

/* Binary math functions.  */
DEF_INTERNAL_FLT_FN (ATAN2, ECF_CONST, atan2, binary)
DEF_INTERNAL_FLT_FLOATN_FN (COPYSIGN, ECF_CONST, copysign, binary)
DEF_INTERNAL_FLT_FN (FMOD, ECF_CONST, fmod, binary)
DEF_INTERNAL_FLT_FN (POW, ECF_CONST, pow, binary)
DEF_INTERNAL_FLT_FN (REMAINDER, ECF_CONST, remainder, binary)
DEF_INTERNAL_FLT_FN (SCALB, ECF_CONST, scalb, binary)
DEF_INTERNAL_FLT_FLOATN_FN (FMIN, ECF_CONST, fmin, binary)
DEF_INTERNAL_FLT_FLOATN_FN (FMAX, ECF_CONST, fmax, binary)
DEF_INTERNAL_OPTAB_FN (XORSIGN, ECF_CONST, xorsign, binary)

/* FP scales.  */
DEF_INTERNAL_FLT_FN (LDEXP, ECF_CONST, ldexp, binary)

/* Ternary math functions.  */
DEF_INTERNAL_FLT_FLOATN_FN (FMA, ECF_CONST, fma, ternary)

/* Unary integer ops.  */
DEF_INTERNAL_INT_FN (CLRSB, ECF_CONST | ECF_NOTHROW, clrsb, unary)
DEF_INTERNAL_INT_FN (CLZ, ECF_CONST | ECF_NOTHROW, clz, unary)
DEF_INTERNAL_INT_FN (CTZ, ECF_CONST | ECF_NOTHROW, ctz, unary)
DEF_INTERNAL_INT_FN (FFS, ECF_CONST | ECF_NOTHROW, ffs, unary)
DEF_INTERNAL_INT_FN (PARITY, ECF_CONST | ECF_NOTHROW, parity, unary)
DEF_INTERNAL_INT_FN (POPCOUNT, ECF_CONST | ECF_NOTHROW, popcount, unary)

DEF_INTERNAL_FN (GOMP_USE_SIMT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_ENTER, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_ENTER_ALLOC, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_EXIT, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_VF, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_LAST_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_ORDERED_PRED, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_VOTE_ANY, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_XCHG_BFLY, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMT_XCHG_IDX, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMD_LANE, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMD_VF, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMD_LAST_LANE, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_START, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_END, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (LOOP_VECTORIZED, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (LOOP_DIST_ALIAS, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (ANNOTATE,  ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (UBSAN_NULL, ECF_LEAF | ECF_NOTHROW, ".R.")
DEF_INTERNAL_FN (UBSAN_BOUNDS, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (UBSAN_VPTR, ECF_LEAF | ECF_NOTHROW, ".RR..")
DEF_INTERNAL_FN (UBSAN_CHECK_ADD, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (UBSAN_CHECK_SUB, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (UBSAN_CHECK_MUL, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (UBSAN_PTR, ECF_LEAF | ECF_NOTHROW, ".R.")
DEF_INTERNAL_FN (UBSAN_OBJECT_SIZE, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (ABNORMAL_DISPATCHER, ECF_NORETURN, NULL)
DEF_INTERNAL_FN (BUILTIN_EXPECT, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (ASAN_CHECK, ECF_TM_PURE | ECF_LEAF | ECF_NOTHROW, "..R..")
DEF_INTERNAL_FN (ASAN_MARK, ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (ASAN_POISON, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
DEF_INTERNAL_FN (ASAN_POISON_USE, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)
DEF_INTERNAL_FN (ADD_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (SUB_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (MUL_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (TSAN_FUNC_EXIT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (VA_ARG, ECF_NOTHROW | ECF_LEAF, NULL)

/* An unduplicable, uncombinable function.  Generally used to preserve
   a CFG property in the face of jump threading, tail merging or
   other such optimizations.  The first argument distinguishes
   between uses.  See internal-fn.h for usage.  */
DEF_INTERNAL_FN (UNIQUE, ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (PHI, 0, NULL)

/* DIM_SIZE and DIM_POS return the size of a particular compute
   dimension and the executing thread's position within that
   dimension.  DIM_POS is pure (and not const) so that it isn't
   thought to clobber memory and can be gcse'd within a single
   parallel region, but not across FORK/JOIN boundaries.  They take a
   single INTEGER_CST argument.  This might be overly conservative.  */
DEF_INTERNAL_FN (GOACC_DIM_SIZE, ECF_CONST | ECF_NOTHROW | ECF_LEAF, ".")
DEF_INTERNAL_FN (GOACC_DIM_POS, ECF_PURE | ECF_NOTHROW | ECF_LEAF, ".")

/* OpenACC looping abstraction.  See internal-fn.h for usage.  */
DEF_INTERNAL_FN (GOACC_LOOP, ECF_PURE | ECF_NOTHROW, NULL)

/* OpenACC reduction abstraction.  See internal-fn.h  for usage.  */
DEF_INTERNAL_FN (GOACC_REDUCTION, ECF_NOTHROW | ECF_LEAF, NULL)

/* Openacc tile abstraction. Describes the spans of the element loop.
   GOACC_TILE (num-loops, loop-no, tile-arg, tile-mask, element-mask).  */
DEF_INTERNAL_FN (GOACC_TILE, ECF_NOTHROW | ECF_LEAF, NULL)

/* Set errno to EDOM, if GCC knows how to do that directly for the
   current target.  */
DEF_INTERNAL_FN (SET_EDOM, ECF_LEAF | ECF_NOTHROW, NULL)

/* Atomic functions.  These don't have ECF_NOTHROW because for
   -fnon-call-exceptions they can throw, otherwise we set
   gimple_call_nothrow_p on it.  */
DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_SET, ECF_LEAF, NULL)
DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_COMPLEMENT, ECF_LEAF, NULL)
DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_RESET, ECF_LEAF, NULL)
DEF_INTERNAL_FN (ATOMIC_COMPARE_EXCHANGE, ECF_LEAF, NULL)

/* To implement [[fallthrough]].  */
DEF_INTERNAL_FN (FALLTHROUGH, ECF_LEAF | ECF_NOTHROW, NULL)

/* To implement __builtin_launder.  */
DEF_INTERNAL_FN (LAUNDER, ECF_LEAF | ECF_NOTHROW | ECF_NOVOPS, NULL)

/* Divmod function.  */
DEF_INTERNAL_FN (DIVMOD, ECF_CONST | ECF_LEAF, NULL)

/* A NOP function with arbitrary arguments and return value.  */
DEF_INTERNAL_FN (NOP, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)

#undef DEF_INTERNAL_INT_FN
#undef DEF_INTERNAL_FLT_FN
#undef DEF_INTERNAL_FLT_FLOATN_FN
#undef DEF_INTERNAL_SIGNED_OPTAB_FN
#undef DEF_INTERNAL_OPTAB_FN
#undef DEF_INTERNAL_FN
Commit	Line	Data
25583c4f	1	/* Internal functions.
85ec4feb	2	Copyright (C) 2011-2018 Free Software Foundation, Inc.
25583c4f RS	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
ab23f5d9	29	Each entry in this file has one of the forms:
25583c4f	30
b78475cf	31	DEF_INTERNAL_FN (NAME, FLAGS, FNSPEC)
ab23f5d9	32	DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
16d24520 RS	33	DEF_INTERNAL_SIGNED_OPTAB_FN (NAME, FLAGS, SELECTOR, SIGNED_OPTAB,
16d24520 RS	34	UNSIGNED_OPTAB, TYPE)
686ee971	35	DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
4959a752	36	DEF_INTERNAL_INT_FN (NAME, FLAGS, OPTAB, TYPE)
25583c4f	37
b78475cf YG	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
ab23f5d9 RS	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
7e11fc7f	50	- mask_load_lanes: currently just vec_mask_load_lanes
bfaa08b7	51	- gather_load: used for {mask_,}gather_load
ab23f5d9 RS	52
	53	- mask_store: currently just maskstore
	54	- store_lanes: currently just vec_store_lanes
7e11fc7f	55	- mask_store_lanes: currently just vec_mask_store_lanes
f307441a	56	- scatter_store: used for {mask_,}scatter_store
ab23f5d9	57
0972596e RS	58	- unary: a normal unary optab, such as vec_reverse_<mode>
0972596e RS	59	- binary: a normal binary optab, such as vec_interleave_lo_<mode>
c566cc9f	60	- ternary: a normal ternary optab, such as fma<mode>4
0972596e	61
b41d1f6e RS	62	- cond_binary: a conditional binary optab, such as cond_add<mode>
b41d1f6e RS	63	- cond_ternary: a conditional ternary optab, such as cond_fma_rev<mode>
0972596e	64
b781a135 RS	65	- fold_left: for scalar = FN (scalar, vector), keyed off the vector mode
b781a135 RS	66
16d24520 RS	67	DEF_INTERNAL_SIGNED_OPTAB_FN defines an internal function that
	68	maps to one of two optabs, depending on the signedness of an input.
	69	SIGNED_OPTAB and UNSIGNED_OPTAB are the optabs for signed and
	70	unsigned inputs respectively, both without the trailing "_optab".
	71	SELECTOR says which type in the tree_pair determines the signedness.
	72
686ee971 RS	73	DEF_INTERNAL_FLT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition,
	74	the function implements the computational part of a built-in math
	75	function BUILT_IN_<NAME>{F,,L}. Unlike some built-in functions,
	76	these internal functions never set errno.
	77
4959a752 RS	78	DEF_INTERNAL_INT_FN is like DEF_INTERNAL_OPTAB_FN, but in addition
	79	says that the function extends the C-level BUILT_IN_<NAME>{,L,LL,IMAX}
	80	group of functions to any integral mode (including vector modes).
	81
b78475cf	82	Each entry must have a corresponding expander of the form:
25583c4f	83
538dd0b7	84	void expand_NAME (gimple_call stmt)
25583c4f	85
ab23f5d9 RS	86	where STMT is the statement that performs the call. These are generated
	87	automatically for optab functions and call out to a function or macro
	88	called expand_<TYPE>_optab_fn. */
	89
	90	#ifndef DEF_INTERNAL_FN
	91	#define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC)
	92	#endif
	93
	94	#ifndef DEF_INTERNAL_OPTAB_FN
	95	#define DEF_INTERNAL_OPTAB_FN(NAME, FLAGS, OPTAB, TYPE) \
	96	DEF_INTERNAL_FN (NAME, FLAGS \| ECF_LEAF, NULL)
	97	#endif
	98
16d24520 RS	99	#ifndef DEF_INTERNAL_SIGNED_OPTAB_FN
	100	#define DEF_INTERNAL_SIGNED_OPTAB_FN(NAME, FLAGS, SELECTOR, SIGNED_OPTAB, \
	101	UNSIGNED_OPTAB, TYPE) \
	102	DEF_INTERNAL_FN (NAME, FLAGS \| ECF_LEAF, NULL)
	103	#endif
	104
686ee971 RS	105	#ifndef DEF_INTERNAL_FLT_FN
	106	#define DEF_INTERNAL_FLT_FN(NAME, FLAGS, OPTAB, TYPE) \
	107	DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
	108	#endif
	109
ee5fd23a MM	110	#ifndef DEF_INTERNAL_FLT_FLOATN_FN
	111	#define DEF_INTERNAL_FLT_FLOATN_FN(NAME, FLAGS, OPTAB, TYPE) \
	112	DEF_INTERNAL_FLT_FN (NAME, FLAGS, OPTAB, TYPE)
	113	#endif
	114
4959a752 RS	115	#ifndef DEF_INTERNAL_INT_FN
	116	#define DEF_INTERNAL_INT_FN(NAME, FLAGS, OPTAB, TYPE) \
	117	DEF_INTERNAL_OPTAB_FN (NAME, FLAGS, OPTAB, TYPE)
	118	#endif
	119
ab23f5d9 RS	120	DEF_INTERNAL_OPTAB_FN (MASK_LOAD, ECF_PURE, maskload, mask_load)
ab23f5d9 RS	121	DEF_INTERNAL_OPTAB_FN (LOAD_LANES, ECF_CONST, vec_load_lanes, load_lanes)
7e11fc7f RS	122	DEF_INTERNAL_OPTAB_FN (MASK_LOAD_LANES, ECF_PURE,
7e11fc7f RS	123	vec_mask_load_lanes, mask_load_lanes)
ab23f5d9	124
bfaa08b7 RS	125	DEF_INTERNAL_OPTAB_FN (GATHER_LOAD, ECF_PURE, gather_load, gather_load)
	126	DEF_INTERNAL_OPTAB_FN (MASK_GATHER_LOAD, ECF_PURE,
	127	mask_gather_load, gather_load)
	128
f307441a RS	129	DEF_INTERNAL_OPTAB_FN (SCATTER_STORE, 0, scatter_store, scatter_store)
	130	DEF_INTERNAL_OPTAB_FN (MASK_SCATTER_STORE, 0,
	131	mask_scatter_store, scatter_store)
	132
ab23f5d9 RS	133	DEF_INTERNAL_OPTAB_FN (MASK_STORE, 0, maskstore, mask_store)
ab23f5d9 RS	134	DEF_INTERNAL_OPTAB_FN (STORE_LANES, ECF_CONST, vec_store_lanes, store_lanes)
7e11fc7f RS	135	DEF_INTERNAL_OPTAB_FN (MASK_STORE_LANES, 0,
7e11fc7f RS	136	vec_mask_store_lanes, mask_store_lanes)
272c6793	137
7cfb4d93 RS	138	DEF_INTERNAL_OPTAB_FN (WHILE_ULT, ECF_CONST \| ECF_NOTHROW, while_ult, while)
7cfb4d93 RS	139
f1739b48 RS	140	DEF_INTERNAL_OPTAB_FN (VEC_SHL_INSERT, ECF_CONST \| ECF_NOTHROW,
	141	vec_shl_insert, binary)
	142
c566cc9f RS	143	DEF_INTERNAL_OPTAB_FN (FMS, ECF_CONST, fms, ternary)
	144	DEF_INTERNAL_OPTAB_FN (FNMA, ECF_CONST, fnma, ternary)
	145	DEF_INTERNAL_OPTAB_FN (FNMS, ECF_CONST, fnms, ternary)
	146
0267732b RS	147	DEF_INTERNAL_SIGNED_OPTAB_FN (AVG_FLOOR, ECF_CONST \| ECF_NOTHROW, first,
	148	savg_floor, uavg_floor, binary)
	149	DEF_INTERNAL_SIGNED_OPTAB_FN (AVG_CEIL, ECF_CONST \| ECF_NOTHROW, first,
	150	savg_ceil, uavg_ceil, binary)
	151
0972596e RS	152	DEF_INTERNAL_OPTAB_FN (COND_ADD, ECF_CONST, cond_add, cond_binary)
0972596e RS	153	DEF_INTERNAL_OPTAB_FN (COND_SUB, ECF_CONST, cond_sub, cond_binary)
6c4fd4a9 RS	154	DEF_INTERNAL_OPTAB_FN (COND_MUL, ECF_CONST, cond_smul, cond_binary)
	155	DEF_INTERNAL_SIGNED_OPTAB_FN (COND_DIV, ECF_CONST, first,
	156	cond_sdiv, cond_udiv, cond_binary)
	157	DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MOD, ECF_CONST, first,
	158	cond_smod, cond_umod, cond_binary)
	159	DEF_INTERNAL_OPTAB_FN (COND_RDIV, ECF_CONST, cond_sdiv, cond_binary)
0972596e RS	160	DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MIN, ECF_CONST, first,
	161	cond_smin, cond_umin, cond_binary)
	162	DEF_INTERNAL_SIGNED_OPTAB_FN (COND_MAX, ECF_CONST, first,
	163	cond_smax, cond_umax, cond_binary)
	164	DEF_INTERNAL_OPTAB_FN (COND_AND, ECF_CONST \| ECF_NOTHROW,
	165	cond_and, cond_binary)
	166	DEF_INTERNAL_OPTAB_FN (COND_IOR, ECF_CONST \| ECF_NOTHROW,
	167	cond_ior, cond_binary)
	168	DEF_INTERNAL_OPTAB_FN (COND_XOR, ECF_CONST \| ECF_NOTHROW,
	169	cond_xor, cond_binary)
	170
b41d1f6e RS	171	DEF_INTERNAL_OPTAB_FN (COND_FMA, ECF_CONST, cond_fma, cond_ternary)
	172	DEF_INTERNAL_OPTAB_FN (COND_FMS, ECF_CONST, cond_fms, cond_ternary)
	173	DEF_INTERNAL_OPTAB_FN (COND_FNMA, ECF_CONST, cond_fnma, cond_ternary)
	174	DEF_INTERNAL_OPTAB_FN (COND_FNMS, ECF_CONST, cond_fnms, cond_ternary)
	175
ee62a5a6 RS	176	DEF_INTERNAL_OPTAB_FN (RSQRT, ECF_CONST, rsqrt, unary)
ee62a5a6 RS	177
16d24520 RS	178	DEF_INTERNAL_OPTAB_FN (REDUC_PLUS, ECF_CONST \| ECF_NOTHROW,
	179	reduc_plus_scal, unary)
	180	DEF_INTERNAL_SIGNED_OPTAB_FN (REDUC_MAX, ECF_CONST \| ECF_NOTHROW, first,
	181	reduc_smax_scal, reduc_umax_scal, unary)
	182	DEF_INTERNAL_SIGNED_OPTAB_FN (REDUC_MIN, ECF_CONST \| ECF_NOTHROW, first,
	183	reduc_smin_scal, reduc_umin_scal, unary)
898f07b0 RS	184	DEF_INTERNAL_OPTAB_FN (REDUC_AND, ECF_CONST \| ECF_NOTHROW,
	185	reduc_and_scal, unary)
	186	DEF_INTERNAL_OPTAB_FN (REDUC_IOR, ECF_CONST \| ECF_NOTHROW,
	187	reduc_ior_scal, unary)
	188	DEF_INTERNAL_OPTAB_FN (REDUC_XOR, ECF_CONST \| ECF_NOTHROW,
	189	reduc_xor_scal, unary)
16d24520	190
bfe1bb57 RS	191	/* Extract the last active element from a vector. */
bfe1bb57 RS	192	DEF_INTERNAL_OPTAB_FN (EXTRACT_LAST, ECF_CONST \| ECF_NOTHROW,
9d4ac06e	193	extract_last, fold_left)
bfe1bb57	194
bb6c2b68 RS	195	/* Same, but return the first argument if no elements are active. */
	196	DEF_INTERNAL_OPTAB_FN (FOLD_EXTRACT_LAST, ECF_CONST \| ECF_NOTHROW,
	197	fold_extract_last, fold_extract)
	198
b781a135 RS	199	DEF_INTERNAL_OPTAB_FN (FOLD_LEFT_PLUS, ECF_CONST \| ECF_NOTHROW,
b781a135 RS	200	fold_left_plus, fold_left)
bb6c2b68	201
686ee971 RS	202	/* Unary math functions. */
	203	DEF_INTERNAL_FLT_FN (ACOS, ECF_CONST, acos, unary)
	204	DEF_INTERNAL_FLT_FN (ASIN, ECF_CONST, asin, unary)
	205	DEF_INTERNAL_FLT_FN (ATAN, ECF_CONST, atan, unary)
	206	DEF_INTERNAL_FLT_FN (COS, ECF_CONST, cos, unary)
	207	DEF_INTERNAL_FLT_FN (EXP, ECF_CONST, exp, unary)
	208	DEF_INTERNAL_FLT_FN (EXP10, ECF_CONST, exp10, unary)
	209	DEF_INTERNAL_FLT_FN (EXP2, ECF_CONST, exp2, unary)
	210	DEF_INTERNAL_FLT_FN (EXPM1, ECF_CONST, expm1, unary)
	211	DEF_INTERNAL_FLT_FN (LOG, ECF_CONST, log, unary)
	212	DEF_INTERNAL_FLT_FN (LOG10, ECF_CONST, log10, unary)
	213	DEF_INTERNAL_FLT_FN (LOG1P, ECF_CONST, log1p, unary)
	214	DEF_INTERNAL_FLT_FN (LOG2, ECF_CONST, log2, unary)
	215	DEF_INTERNAL_FLT_FN (LOGB, ECF_CONST, logb, unary)
	216	DEF_INTERNAL_FLT_FN (SIGNIFICAND, ECF_CONST, significand, unary)
	217	DEF_INTERNAL_FLT_FN (SIN, ECF_CONST, sin, unary)
ee5fd23a	218	DEF_INTERNAL_FLT_FLOATN_FN (SQRT, ECF_CONST, sqrt, unary)
686ee971 RS	219	DEF_INTERNAL_FLT_FN (TAN, ECF_CONST, tan, unary)
	220
	221	/* FP rounding. */
c6cfa2bf MM	222	DEF_INTERNAL_FLT_FLOATN_FN (CEIL, ECF_CONST, ceil, unary)
	223	DEF_INTERNAL_FLT_FLOATN_FN (FLOOR, ECF_CONST, floor, unary)
	224	DEF_INTERNAL_FLT_FLOATN_FN (NEARBYINT, ECF_CONST, nearbyint, unary)
	225	DEF_INTERNAL_FLT_FLOATN_FN (RINT, ECF_CONST, rint, unary)
	226	DEF_INTERNAL_FLT_FLOATN_FN (ROUND, ECF_CONST, round, unary)
	227	DEF_INTERNAL_FLT_FLOATN_FN (TRUNC, ECF_CONST, btrunc, unary)
686ee971 RS	228
	229	/* Binary math functions. */
	230	DEF_INTERNAL_FLT_FN (ATAN2, ECF_CONST, atan2, binary)
ee5fd23a	231	DEF_INTERNAL_FLT_FLOATN_FN (COPYSIGN, ECF_CONST, copysign, binary)
686ee971 RS	232	DEF_INTERNAL_FLT_FN (FMOD, ECF_CONST, fmod, binary)
	233	DEF_INTERNAL_FLT_FN (POW, ECF_CONST, pow, binary)
	234	DEF_INTERNAL_FLT_FN (REMAINDER, ECF_CONST, remainder, binary)
	235	DEF_INTERNAL_FLT_FN (SCALB, ECF_CONST, scalb, binary)
ee5fd23a MM	236	DEF_INTERNAL_FLT_FLOATN_FN (FMIN, ECF_CONST, fmin, binary)
ee5fd23a MM	237	DEF_INTERNAL_FLT_FLOATN_FN (FMAX, ECF_CONST, fmax, binary)
336a06a1	238	DEF_INTERNAL_OPTAB_FN (XORSIGN, ECF_CONST, xorsign, binary)
686ee971 RS	239
	240	/* FP scales. */
	241	DEF_INTERNAL_FLT_FN (LDEXP, ECF_CONST, ldexp, binary)
	242
c566cc9f	243	/* Ternary math functions. */
b41d1f6e	244	DEF_INTERNAL_FLT_FLOATN_FN (FMA, ECF_CONST, fma, ternary)
c566cc9f	245
4959a752	246	/* Unary integer ops. */
f8c770dd RS	247	DEF_INTERNAL_INT_FN (CLRSB, ECF_CONST \| ECF_NOTHROW, clrsb, unary)
	248	DEF_INTERNAL_INT_FN (CLZ, ECF_CONST \| ECF_NOTHROW, clz, unary)
	249	DEF_INTERNAL_INT_FN (CTZ, ECF_CONST \| ECF_NOTHROW, ctz, unary)
	250	DEF_INTERNAL_INT_FN (FFS, ECF_CONST \| ECF_NOTHROW, ffs, unary)
	251	DEF_INTERNAL_INT_FN (PARITY, ECF_CONST \| ECF_NOTHROW, parity, unary)
	252	DEF_INTERNAL_INT_FN (POPCOUNT, ECF_CONST \| ECF_NOTHROW, popcount, unary)
4959a752	253
6c7509bc	254	DEF_INTERNAL_FN (GOMP_USE_SIMT, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
0c6b03b5 AM	255	DEF_INTERNAL_FN (GOMP_SIMT_ENTER, ECF_LEAF \| ECF_NOTHROW, NULL)
	256	DEF_INTERNAL_FN (GOMP_SIMT_ENTER_ALLOC, ECF_LEAF \| ECF_NOTHROW, NULL)
	257	DEF_INTERNAL_FN (GOMP_SIMT_EXIT, ECF_LEAF \| ECF_NOTHROW, NULL)
9669b00b AM	258	DEF_INTERNAL_FN (GOMP_SIMT_LANE, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
	259	DEF_INTERNAL_FN (GOMP_SIMT_VF, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
	260	DEF_INTERNAL_FN (GOMP_SIMT_LAST_LANE, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
	261	DEF_INTERNAL_FN (GOMP_SIMT_ORDERED_PRED, ECF_LEAF \| ECF_NOTHROW, NULL)
	262	DEF_INTERNAL_FN (GOMP_SIMT_VOTE_ANY, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
	263	DEF_INTERNAL_FN (GOMP_SIMT_XCHG_BFLY, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
	264	DEF_INTERNAL_FN (GOMP_SIMT_XCHG_IDX, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
b78475cf YG	265	DEF_INTERNAL_FN (GOMP_SIMD_LANE, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
	266	DEF_INTERNAL_FN (GOMP_SIMD_VF, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
	267	DEF_INTERNAL_FN (GOMP_SIMD_LAST_LANE, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
d9a6bd32 JJ	268	DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_START, ECF_LEAF \| ECF_NOTHROW, NULL)
d9a6bd32 JJ	269	DEF_INTERNAL_FN (GOMP_SIMD_ORDERED_END, ECF_LEAF \| ECF_NOTHROW, NULL)
b78475cf	270	DEF_INTERNAL_FN (LOOP_VECTORIZED, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
542e7230	271	DEF_INTERNAL_FN (LOOP_DIST_ALIAS, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
b78475cf	272	DEF_INTERNAL_FN (ANNOTATE, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
35228ac7	273	DEF_INTERNAL_FN (UBSAN_NULL, ECF_LEAF \| ECF_NOTHROW, ".R.")
b78475cf	274	DEF_INTERNAL_FN (UBSAN_BOUNDS, ECF_LEAF \| ECF_NOTHROW, NULL)
35228ac7	275	DEF_INTERNAL_FN (UBSAN_VPTR, ECF_LEAF \| ECF_NOTHROW, ".RR..")
b78475cf YG	276	DEF_INTERNAL_FN (UBSAN_CHECK_ADD, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
	277	DEF_INTERNAL_FN (UBSAN_CHECK_SUB, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
	278	DEF_INTERNAL_FN (UBSAN_CHECK_MUL, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
c9b39a49	279	DEF_INTERNAL_FN (UBSAN_PTR, ECF_LEAF \| ECF_NOTHROW, ".R.")
0e82f089	280	DEF_INTERNAL_FN (UBSAN_OBJECT_SIZE, ECF_LEAF \| ECF_NOTHROW, NULL)
b78475cf YG	281	DEF_INTERNAL_FN (ABNORMAL_DISPATCHER, ECF_NORETURN, NULL)
b78475cf YG	282	DEF_INTERNAL_FN (BUILTIN_EXPECT, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
d80956bb ML	283	DEF_INTERNAL_FN (ASAN_CHECK, ECF_TM_PURE \| ECF_LEAF \| ECF_NOTHROW, "..R..")
d80956bb ML	284	DEF_INTERNAL_FN (ASAN_MARK, ECF_LEAF \| ECF_NOTHROW, NULL)
c7775327	285	DEF_INTERNAL_FN (ASAN_POISON, ECF_LEAF \| ECF_NOTHROW \| ECF_NOVOPS, NULL)
f6b9f2ff	286	DEF_INTERNAL_FN (ASAN_POISON_USE, ECF_LEAF \| ECF_NOTHROW \| ECF_NOVOPS, NULL)
1304953e JJ	287	DEF_INTERNAL_FN (ADD_OVERFLOW, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
	288	DEF_INTERNAL_FN (SUB_OVERFLOW, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
	289	DEF_INTERNAL_FN (MUL_OVERFLOW, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
fca4adf2	290	DEF_INTERNAL_FN (TSAN_FUNC_EXIT, ECF_NOVOPS \| ECF_LEAF \| ECF_NOTHROW, NULL)
b8b2ab06	291	DEF_INTERNAL_FN (VA_ARG, ECF_NOTHROW \| ECF_LEAF, NULL)
8ab78162 NS	292
	293	/* An unduplicable, uncombinable function. Generally used to preserve
	294	a CFG property in the face of jump threading, tail merging or
	295	other such optimizations. The first argument distinguishes
	296	between uses. See internal-fn.h for usage. */
	297	DEF_INTERNAL_FN (UNIQUE, ECF_NOTHROW, NULL)
1ee62b92	298	DEF_INTERNAL_FN (PHI, 0, NULL)
8ab78162	299
9bd46bc9 NS	300	/* DIM_SIZE and DIM_POS return the size of a particular compute
	301	dimension and the executing thread's position within that
	302	dimension. DIM_POS is pure (and not const) so that it isn't
	303	thought to clobber memory and can be gcse'd within a single
	304	parallel region, but not across FORK/JOIN boundaries. They take a
02889d23	305	single INTEGER_CST argument. This might be overly conservative. */
9bd46bc9 NS	306	DEF_INTERNAL_FN (GOACC_DIM_SIZE, ECF_CONST \| ECF_NOTHROW \| ECF_LEAF, ".")
	307	DEF_INTERNAL_FN (GOACC_DIM_POS, ECF_PURE \| ECF_NOTHROW \| ECF_LEAF, ".")
	308
	309	/* OpenACC looping abstraction. See internal-fn.h for usage. */
	310	DEF_INTERNAL_FN (GOACC_LOOP, ECF_PURE \| ECF_NOTHROW, NULL)
e5014671 NS	311
	312	/* OpenACC reduction abstraction. See internal-fn.h for usage. */
	313	DEF_INTERNAL_FN (GOACC_REDUCTION, ECF_NOTHROW \| ECF_LEAF, NULL)
46e343b8	314
02889d23 CLT	315	/* Openacc tile abstraction. Describes the spans of the element loop.
	316	GOACC_TILE (num-loops, loop-no, tile-arg, tile-mask, element-mask). */
	317	DEF_INTERNAL_FN (GOACC_TILE, ECF_NOTHROW \| ECF_LEAF, NULL)
	318
883cabde RS	319	/* Set errno to EDOM, if GCC knows how to do that directly for the
	320	current target. */
	321	DEF_INTERNAL_FN (SET_EDOM, ECF_LEAF \| ECF_NOTHROW, NULL)
	322
cc195d46 JJ	323	/* Atomic functions. These don't have ECF_NOTHROW because for
	324	-fnon-call-exceptions they can throw, otherwise we set
	325	gimple_call_nothrow_p on it. */
	326	DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_SET, ECF_LEAF, NULL)
	327	DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_COMPLEMENT, ECF_LEAF, NULL)
	328	DEF_INTERNAL_FN (ATOMIC_BIT_TEST_AND_RESET, ECF_LEAF, NULL)
	329	DEF_INTERNAL_FN (ATOMIC_COMPARE_EXCHANGE, ECF_LEAF, NULL)
adedd5c1	330
81fea426 MP	331	/* To implement [[fallthrough]]. */
	332	DEF_INTERNAL_FN (FALLTHROUGH, ECF_LEAF \| ECF_NOTHROW, NULL)
	333
e16f1cc7 JJ	334	/* To implement __builtin_launder. */
	335	DEF_INTERNAL_FN (LAUNDER, ECF_LEAF \| ECF_NOTHROW \| ECF_NOVOPS, NULL)
	336
e72531b9 PK	337	/* Divmod function. */
	338	DEF_INTERNAL_FN (DIVMOD, ECF_CONST \| ECF_LEAF, NULL)
	339
87a5e0e8 RB	340	/* A NOP function with arbitrary arguments and return value. */
	341	DEF_INTERNAL_FN (NOP, ECF_CONST \| ECF_LEAF \| ECF_NOTHROW, NULL)
	342
4959a752	343	#undef DEF_INTERNAL_INT_FN
686ee971	344	#undef DEF_INTERNAL_FLT_FN
ee5fd23a	345	#undef DEF_INTERNAL_FLT_FLOATN_FN
16d24520	346	#undef DEF_INTERNAL_SIGNED_OPTAB_FN
ab23f5d9	347	#undef DEF_INTERNAL_OPTAB_FN
46e343b8	348	#undef DEF_INTERNAL_FN