]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/internal-fn.h
RISC-V: Preserve arch version info during normalizing arch string
[thirdparty/gcc.git] / gcc / internal-fn.h
CommitLineData
25583c4f 1/* Internal functions.
8d9254fc 2 Copyright (C) 2011-2020 Free Software Foundation, Inc.
25583c4f
RS
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for 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_INTERNAL_FN_H
21#define GCC_INTERNAL_FN_H
22
4d58c533
NS
23/* INTEGER_CST values for IFN_UNIQUE function arg-0.
24
25 UNSPEC: Undifferentiated UNIQUE.
26
27 FORK and JOIN mark the points at which OpenACC partitioned
28 execution is entered or exited.
29 DEP_VAR = UNIQUE ({FORK,JOIN}, DEP_VAR, AXIS)
30
31 HEAD_MARK and TAIL_MARK are used to demark the sequence entering
32 or leaving partitioned execution.
33 DEP_VAR = UNIQUE ({HEAD,TAIL}_MARK, REMAINING_MARKS, ...PRIMARY_FLAGS)
34
35 The PRIMARY_FLAGS only occur on the first HEAD_MARK of a sequence. */
36#define IFN_UNIQUE_CODES \
37 DEF(UNSPEC), \
38 DEF(OACC_FORK), DEF(OACC_JOIN), \
39 DEF(OACC_HEAD_MARK), DEF(OACC_TAIL_MARK)
40
8ab78162 41enum ifn_unique_kind {
4d58c533
NS
42#define DEF(X) IFN_UNIQUE_##X
43 IFN_UNIQUE_CODES
44#undef DEF
9bd46bc9
NS
45};
46
47/* INTEGER_CST values for IFN_GOACC_LOOP arg-0. Allows the precise
48 stepping of the compute geometry over the loop iterations to be
49 deferred until it is known which compiler is generating the code.
50 The action is encoded in a constant first argument.
51
52 CHUNK_MAX = LOOP (CODE_CHUNKS, DIR, RANGE, STEP, CHUNK_SIZE, MASK)
53 STEP = LOOP (CODE_STEP, DIR, RANGE, STEP, CHUNK_SIZE, MASK)
54 OFFSET = LOOP (CODE_OFFSET, DIR, RANGE, STEP, CHUNK_SIZE, MASK, CHUNK_NO)
55 BOUND = LOOP (CODE_BOUND, DIR, RANGE, STEP, CHUNK_SIZE, MASK, OFFSET)
56
57 DIR - +1 for up loop, -1 for down loop
58 RANGE - Range of loop (END - BASE)
59 STEP - iteration step size
60 CHUNKING - size of chunking, (constant zero for no chunking)
61 CHUNK_NO - chunk number
62 MASK - partitioning mask. */
63
4d58c533
NS
64#define IFN_GOACC_LOOP_CODES \
65 DEF(CHUNKS), DEF(STEP), DEF(OFFSET), DEF(BOUND)
9bd46bc9 66enum ifn_goacc_loop_kind {
4d58c533
NS
67#define DEF(X) IFN_GOACC_LOOP_##X
68 IFN_GOACC_LOOP_CODES
69#undef DEF
8ab78162
NS
70};
71
e5014671
NS
72/* The GOACC_REDUCTION function defines a generic interface to support
73 gang, worker and vector reductions. All calls are of the following
74 form:
75
76 V = REDUCTION (CODE, REF_TO_RES, LOCAL_VAR, LEVEL, OP, OFFSET)
77
78 REF_TO_RES - is a reference to the original reduction varl, may be NULL
79 LOCAL_VAR is the intermediate reduction variable
80 LEVEL corresponds to the GOMP_DIM of the reduction
81 OP is the tree code of the reduction operation
82 OFFSET may be used as an offset into a reduction array for the
83 reductions occuring at this level.
84 In general the return value is LOCAL_VAR, which creates a data
85 dependency between calls operating on the same reduction. */
86
4d58c533
NS
87#define IFN_GOACC_REDUCTION_CODES \
88 DEF(SETUP), DEF(INIT), DEF(FINI), DEF(TEARDOWN)
e5014671 89enum ifn_goacc_reduction_kind {
4d58c533
NS
90#define DEF(X) IFN_GOACC_REDUCTION_##X
91 IFN_GOACC_REDUCTION_CODES
92#undef DEF
e5014671
NS
93};
94
b78475cf
YG
95/* Initialize internal function tables. */
96
97extern void init_internal_fns ();
98
25583c4f
RS
99/* Return the name of internal function FN. The name is only meaningful
100 for dumps; it has no linkage. */
101
fbaf0d0c
GDR
102extern const char *const internal_fn_name_array[];
103
25583c4f
RS
104static inline const char *
105internal_fn_name (enum internal_fn fn)
106{
25583c4f
RS
107 return internal_fn_name_array[(int) fn];
108}
109
e4f81565
RS
110extern internal_fn lookup_internal_fn (const char *);
111
25583c4f
RS
112/* Return the ECF_* flags for function FN. */
113
fbaf0d0c
GDR
114extern const int internal_fn_flags_array[];
115
25583c4f
RS
116static inline int
117internal_fn_flags (enum internal_fn fn)
118{
25583c4f
RS
119 return internal_fn_flags_array[(int) fn];
120}
121
b78475cf
YG
122/* Return fnspec for function FN. */
123
124extern GTY(()) const_tree internal_fn_fnspec_array[IFN_LAST + 1];
125
126static inline const_tree
127internal_fn_fnspec (enum internal_fn fn)
128{
129 return internal_fn_fnspec_array[(int) fn];
130}
131
ab23f5d9
RS
132/* Describes an internal function that maps directly to an optab. */
133struct direct_internal_fn_info
134{
135 /* optabs can be parameterized by one or two modes. These fields describe
136 how to select those modes from the types of the return value and
137 arguments. A value of -1 says that the mode is determined by the
138 return type while a value N >= 0 says that the mode is determined by
139 the type of argument N. A value of -2 says that this internal
140 function isn't directly mapped to an optab. */
141 signed int type0 : 8;
142 signed int type1 : 8;
70439f0d
RS
143 /* True if the function is pointwise, so that it can be vectorized by
144 converting the return type and all argument types to vectors of the
145 same number of elements. E.g. we can vectorize an IFN_SQRT on
146 floats as an IFN_SQRT on vectors of N floats.
147
148 This only needs 1 bit, but occupies the full 16 to ensure a nice
149 layout. */
150 unsigned int vectorizable : 16;
ab23f5d9
RS
151};
152
153extern const direct_internal_fn_info direct_internal_fn_array[IFN_LAST + 1];
154
155/* Return true if FN is mapped directly to an optab. */
156
157inline bool
158direct_internal_fn_p (internal_fn fn)
159{
160 return direct_internal_fn_array[fn].type0 >= -1;
161}
162
5249ee4d
RS
163/* Return true if FN is a direct internal function that can be vectorized by
164 converting the return type and all argument types to vectors of the same
165 number of elements. E.g. we can vectorize an IFN_SQRT on floats as an
166 IFN_SQRT on vectors of N floats. */
167
168inline bool
169vectorizable_internal_fn_p (internal_fn fn)
170{
171 return direct_internal_fn_array[fn].vectorizable;
172}
173
ab23f5d9
RS
174/* Return optab information about internal function FN. Only meaningful
175 if direct_internal_fn_p (FN). */
176
177inline const direct_internal_fn_info &
178direct_internal_fn (internal_fn fn)
179{
180 gcc_checking_assert (direct_internal_fn_p (fn));
181 return direct_internal_fn_array[fn];
182}
183
184extern tree_pair direct_internal_fn_types (internal_fn, tree, tree *);
185extern tree_pair direct_internal_fn_types (internal_fn, gcall *);
d95ab70a
RS
186extern bool direct_internal_fn_supported_p (internal_fn, tree_pair,
187 optimization_type);
188extern bool direct_internal_fn_supported_p (internal_fn, tree,
189 optimization_type);
41241199 190extern bool direct_internal_fn_supported_p (gcall *, optimization_type);
7cfb4d93
RS
191
192/* Return true if FN is supported for types TYPE0 and TYPE1 when the
193 optimization type is OPT_TYPE. The types are those associated with
194 the "type0" and "type1" fields of FN's direct_internal_fn_info
195 structure. */
196
197inline bool
198direct_internal_fn_supported_p (internal_fn fn, tree type0, tree type1,
199 optimization_type opt_type)
200{
201 return direct_internal_fn_supported_p (fn, tree_pair (type0, type1),
202 opt_type);
203}
204
0246112a
RS
205extern int first_commutative_argument (internal_fn);
206
883cabde 207extern bool set_edom_supported_p (void);
ab23f5d9 208
0972596e 209extern internal_fn get_conditional_internal_fn (tree_code);
b41d1f6e 210extern internal_fn get_conditional_internal_fn (internal_fn);
6a86928d 211extern tree_code conditional_internal_fn_code (internal_fn);
b41d1f6e 212extern internal_fn get_unconditional_internal_fn (internal_fn);
0936858f
RS
213extern bool can_interpret_as_conditional_op_p (gimple *, tree *,
214 tree_code *, tree (&)[3],
215 tree *);
0972596e 216
bfaa08b7 217extern bool internal_load_fn_p (internal_fn);
f307441a 218extern bool internal_store_fn_p (internal_fn);
bfaa08b7
RS
219extern bool internal_gather_scatter_fn_p (internal_fn);
220extern int internal_fn_mask_index (internal_fn);
f307441a 221extern int internal_fn_stored_value_index (internal_fn);
bfaa08b7 222extern bool internal_gather_scatter_fn_supported_p (internal_fn, tree,
09eb042a 223 tree, tree, int);
58c036c8
RS
224extern bool internal_check_ptrs_fn_supported_p (internal_fn, tree,
225 poly_uint64, unsigned int);
bfaa08b7 226
538dd0b7 227extern void expand_internal_call (gcall *);
4cfe7a6c 228extern void expand_internal_call (internal_fn, gcall *);
1ee62b92 229extern void expand_PHI (internal_fn, gcall *);
25583c4f 230
2c58d42c
RS
231extern bool vectorized_internal_fn_supported_p (internal_fn, tree);
232
25583c4f 233#endif