]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-fold.h
Update copyright years.
[thirdparty/gcc.git] / gcc / gimple-fold.h
CommitLineData
cfef45c8
RG
1/* Gimple folding definitions.
2
a945c346 3 Copyright (C) 2011-2024 Free Software Foundation, Inc.
cfef45c8
RG
4 Contributed by Richard Guenther <rguenther@suse.de>
5
6This file is part of GCC.
7
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 3, or (at your option) any later
11version.
12
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16for more details.
17
18You should have received a copy of the GNU General Public License
19along with GCC; see the file COPYING3. If not see
20<http://www.gnu.org/licenses/>. */
21
22#ifndef GCC_GIMPLE_FOLD_H
23#define GCC_GIMPLE_FOLD_H
24
edc19e03 25extern tree create_tmp_reg_or_ssa_name (tree, gimple *stmt = NULL);
744730a4
AM
26extern tree canonicalize_constructor_val (tree, tree);
27extern tree get_symbol_constant_value (tree);
5d6655eb 28struct c_strlen_data;
84de9426 29extern bool get_range_strlen (tree, c_strlen_data *, unsigned eltsize);
744730a4 30extern void gimplify_and_update_call_from_tree (gimple_stmt_iterator *, tree);
52a5515e 31extern bool update_gimple_call (gimple_stmt_iterator *, tree, int, ...);
744730a4 32extern bool fold_stmt (gimple_stmt_iterator *);
e0ee10ed 33extern bool fold_stmt (gimple_stmt_iterator *, tree (*) (tree));
744730a4 34extern bool fold_stmt_inplace (gimple_stmt_iterator *);
5f487a34 35extern tree maybe_fold_and_comparisons (tree, enum tree_code, tree, tree,
fc8d9e44
RB
36 enum tree_code, tree, tree,
37 basic_block = nullptr);
5f487a34 38extern tree maybe_fold_or_comparisons (tree, enum tree_code, tree, tree,
fc8d9e44
RB
39 enum tree_code, tree, tree,
40 basic_block = nullptr);
849a76a5
JJ
41extern bool optimize_atomic_compare_exchange_p (gimple *);
42extern void fold_builtin_atomic_compare_exchange (gimple_stmt_iterator *);
e0ee10ed 43extern tree no_follow_ssa_edges (tree);
45cc9f96 44extern tree follow_single_use_edges (tree);
c566cc9f 45extern tree follow_all_ssa_edges (tree);
355fe088 46extern tree gimple_fold_stmt_to_constant_1 (gimple *, tree (*) (tree),
d2a85801 47 tree (*) (tree) = no_follow_ssa_edges);
355fe088 48extern tree gimple_fold_stmt_to_constant (gimple *, tree (*) (tree));
35b4d3a6
MS
49extern tree fold_ctor_reference (tree, tree, const poly_uint64&,
50 const poly_uint64&, tree,
51 unsigned HOST_WIDE_INT * = NULL);
744730a4
AM
52extern tree fold_const_aggregate_ref_1 (tree, tree (*) (tree));
53extern tree fold_const_aggregate_ref (tree);
ec77d61f
JH
54extern tree gimple_get_virt_method_for_binfo (HOST_WIDE_INT, tree,
55 bool *can_refer = NULL);
85942f45 56extern tree gimple_get_virt_method_for_vtable (HOST_WIDE_INT, tree,
ec77d61f
JH
57 unsigned HOST_WIDE_INT,
58 bool *can_refer = NULL);
b184c8f1 59extern tree gimple_fold_indirect_ref (tree);
a104bd88
MS
60extern bool gimple_fold_builtin_sprintf (gimple_stmt_iterator *);
61extern bool gimple_fold_builtin_snprintf (gimple_stmt_iterator *);
19e51b40 62extern bool arith_code_with_undefined_signed_overflow (tree_code);
c05f7482
RB
63extern void rewrite_to_defined_overflow (gimple_stmt_iterator *);
64extern gimple_seq rewrite_to_defined_overflow (gimple *);
e3174bdf 65extern void replace_call_with_value (gimple_stmt_iterator *, tree);
6847c656 66extern tree tree_vec_extract (gimple_stmt_iterator *, tree, tree, tree, tree);
cb6922f4 67extern void gsi_replace_with_seq_vops (gimple_stmt_iterator *, gimple_seq);
cfef45c8 68
3d2cf79f
RB
69/* gimple_build, functionally matching fold_buildN, outputs stmts
70 int the provided sequence, matching and simplifying them on-the-fly.
71 Supposed to replace force_gimple_operand (fold_buildN (...), ...). */
ba206889
RB
72extern tree gimple_build (gimple_stmt_iterator *, bool,
73 enum gsi_iterator_update,
74 location_t, enum tree_code, tree, tree);
75extern tree gimple_build (gimple_stmt_iterator *, bool,
76 enum gsi_iterator_update,
77 location_t, enum tree_code, tree, tree, tree);
78extern tree gimple_build (gimple_stmt_iterator *, bool,
79 enum gsi_iterator_update,
80 location_t, enum tree_code, tree, tree, tree, tree);
81template<class ...Args>
82inline tree
83gimple_build (gimple_seq *seq, location_t loc,
84 enum tree_code code, tree type, Args ...ops)
85{
86 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
87 "Number of operands must be from one to three");
88 gimple_stmt_iterator gsi = gsi_last (*seq);
89 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
90 loc, code, type, ops...);
91}
684c97dd 92template<class ...Args>
3d2cf79f 93inline tree
684c97dd 94gimple_build (gimple_seq *seq, enum tree_code code, tree type, Args ...ops)
3d2cf79f 95{
684c97dd
RB
96 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
97 "Number of operands must be from one to three");
ba206889
RB
98 gimple_stmt_iterator gsi = gsi_last (*seq);
99 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
100 UNKNOWN_LOCATION, code, type, ops...);
3d2cf79f 101}
684c97dd 102
6f5b0603
RB
103extern tree gimple_build (gimple_stmt_iterator *, bool,
104 enum gsi_iterator_update,
105 location_t, combined_fn, tree);
106extern tree gimple_build (gimple_stmt_iterator *, bool,
107 enum gsi_iterator_update,
108 location_t, combined_fn, tree, tree);
109extern tree gimple_build (gimple_stmt_iterator *, bool,
110 enum gsi_iterator_update,
111 location_t, combined_fn, tree, tree, tree);
112extern tree gimple_build (gimple_stmt_iterator *, bool,
113 enum gsi_iterator_update,
114 location_t, combined_fn, tree, tree, tree, tree);
115template<class ...Args>
116inline tree
117gimple_build (gimple_seq *seq, location_t loc,
118 combined_fn fn, tree type, Args ...args)
119{
120 static_assert (sizeof...(args) < 4,
121 "Number of arguments must be less than four");
122 gimple_stmt_iterator gsi = gsi_last (*seq);
123 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
124 loc, fn, type, args...);
125}
684c97dd 126template<class ...Args>
3d2cf79f 127inline tree
684c97dd 128gimple_build (gimple_seq *seq, combined_fn fn, tree type, Args ...args)
3d2cf79f 129{
684c97dd
RB
130 static_assert (sizeof...(args) < 4,
131 "Number of arguments must be less than four");
6f5b0603
RB
132 gimple_stmt_iterator gsi = gsi_last (*seq);
133 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
134 UNKNOWN_LOCATION, fn, type, args...);
3d2cf79f
RB
135}
136
6f5b0603
RB
137extern tree gimple_build (gimple_stmt_iterator *, bool,
138 enum gsi_iterator_update,
139 location_t, code_helper, tree, tree);
140extern tree gimple_build (gimple_stmt_iterator *, bool,
141 enum gsi_iterator_update,
142 location_t, code_helper, tree, tree, tree);
143extern tree gimple_build (gimple_stmt_iterator *, bool,
144 enum gsi_iterator_update,
145 location_t, code_helper, tree, tree, tree, tree);
146
147template<class ...Args>
148inline tree
149gimple_build (gimple_seq *seq, location_t loc,
150 code_helper code, tree type, Args ...ops)
151{
152 static_assert (sizeof...(ops) < 4,
153 "Number of operands must be less than four");
154 gimple_stmt_iterator gsi = gsi_last (*seq);
155 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
156 loc, code, type, ops...);
157}
158template<class ...Args>
159inline tree
160gimple_build (gimple_seq *seq,
161 code_helper code, tree type, Args ...ops)
162{
163 static_assert (sizeof...(ops) < 4,
164 "Number of operands must be less than four");
165 gimple_stmt_iterator gsi = gsi_last (*seq);
166 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
167 UNKNOWN_LOCATION, code, type, ops...);
168}
169
170extern tree gimple_convert (gimple_stmt_iterator *, bool,
171 enum gsi_iterator_update,
172 location_t, tree, tree);
173inline tree
174gimple_convert (gimple_seq *seq, location_t loc, tree type, tree op)
175{
176 gimple_stmt_iterator gsi = gsi_last (*seq);
177 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING, loc, type, op);
178}
d4f5cd5e
RB
179inline tree
180gimple_convert (gimple_seq *seq, tree type, tree op)
181{
6f5b0603
RB
182 gimple_stmt_iterator gsi = gsi_last (*seq);
183 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING,
184 UNKNOWN_LOCATION, type, op);
d4f5cd5e
RB
185}
186
6f5b0603
RB
187extern tree gimple_convert_to_ptrofftype (gimple_stmt_iterator *, bool,
188 enum gsi_iterator_update,
189 location_t, tree);
190inline tree
191gimple_convert_to_ptrofftype (gimple_seq *seq, location_t loc, tree op)
192{
193 gimple_stmt_iterator gsi = gsi_last (*seq);
194 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
195 loc, op);
196}
74e3c262
RB
197inline tree
198gimple_convert_to_ptrofftype (gimple_seq *seq, tree op)
199{
6f5b0603
RB
200 gimple_stmt_iterator gsi = gsi_last (*seq);
201 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
202 UNKNOWN_LOCATION, op);
74e3c262
RB
203}
204
6f5b0603
RB
205extern tree gimple_build_vector_from_val (gimple_stmt_iterator *, bool,
206 enum gsi_iterator_update,
207 location_t, tree, tree);
208inline tree
209gimple_build_vector_from_val (gimple_seq *seq, location_t loc,
210 tree type, tree op)
211{
212 gimple_stmt_iterator gsi = gsi_last (*seq);
213 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
214 loc, type, op);
215}
e7c45b66
RS
216inline tree
217gimple_build_vector_from_val (gimple_seq *seq, tree type, tree op)
218{
6f5b0603
RB
219 gimple_stmt_iterator gsi = gsi_last (*seq);
220 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
221 UNKNOWN_LOCATION, type, op);
e7c45b66
RS
222}
223
abe73c3d 224class tree_vector_builder;
6f5b0603
RB
225extern tree gimple_build_vector (gimple_stmt_iterator *, bool,
226 enum gsi_iterator_update,
227 location_t, tree_vector_builder *);
228inline tree
229gimple_build_vector (gimple_seq *seq, location_t loc,
230 tree_vector_builder *builder)
231{
232 gimple_stmt_iterator gsi = gsi_last (*seq);
233 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
234 loc, builder);
235}
e7c45b66 236inline tree
abe73c3d 237gimple_build_vector (gimple_seq *seq, tree_vector_builder *builder)
e7c45b66 238{
6f5b0603
RB
239 gimple_stmt_iterator gsi = gsi_last (*seq);
240 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
241 UNKNOWN_LOCATION, builder);
e7c45b66
RS
242}
243
6f5b0603
RB
244extern tree gimple_build_round_up (gimple_stmt_iterator *, bool,
245 enum gsi_iterator_update,
246 location_t, tree, tree,
93a73251
MM
247 unsigned HOST_WIDE_INT);
248inline tree
6f5b0603
RB
249gimple_build_round_up (gimple_seq *seq, location_t loc,
250 tree type, tree old_size, unsigned HOST_WIDE_INT align)
251{
252 gimple_stmt_iterator gsi = gsi_last (*seq);
253 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
254 loc, type, old_size, align);
255}
256inline tree
93a73251
MM
257gimple_build_round_up (gimple_seq *seq, tree type, tree old_size,
258 unsigned HOST_WIDE_INT align)
259{
6f5b0603
RB
260 gimple_stmt_iterator gsi = gsi_last (*seq);
261 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
262 UNKNOWN_LOCATION, type, old_size, align);
93a73251
MM
263}
264
68e57f04 265extern bool gimple_stmt_nonnegative_warnv_p (gimple *, bool *, int = 0);
67dbe582 266extern bool gimple_stmt_integer_valued_real_p (gimple *, int = 0);
68e57f04 267
e53b6e56 268/* In gimple-match.cc. */
3d2cf79f
RB
269extern tree gimple_simplify (enum tree_code, tree, tree,
270 gimple_seq *, tree (*)(tree));
271extern tree gimple_simplify (enum tree_code, tree, tree, tree,
272 gimple_seq *, tree (*)(tree));
273extern tree gimple_simplify (enum tree_code, tree, tree, tree, tree,
274 gimple_seq *, tree (*)(tree));
eb69361d 275extern tree gimple_simplify (combined_fn, tree, tree,
3d2cf79f 276 gimple_seq *, tree (*)(tree));
eb69361d 277extern tree gimple_simplify (combined_fn, tree, tree, tree,
3d2cf79f 278 gimple_seq *, tree (*)(tree));
eb69361d 279extern tree gimple_simplify (combined_fn, tree, tree, tree, tree,
3d2cf79f
RB
280 gimple_seq *, tree (*)(tree));
281
cfef45c8 282#endif /* GCC_GIMPLE_FOLD_H */