1/* Gimple folding definitions.
2
3 Copyright (C) 2011-2025 Free Software Foundation, Inc.
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
25extern tree canonicalize_constructor_val (tree, tree);
26extern tree get_symbol_constant_value (tree);
27struct c_strlen_data;
28extern bool get_range_strlen (tree, c_strlen_data *, unsigned eltsize);
29extern void gimplify_and_update_call_from_tree (gimple_stmt_iterator *, tree);
30extern bool update_gimple_call (gimple_stmt_iterator *, tree, int, ...);
31extern bool fold_stmt (gimple_stmt_iterator *, bitmap = nullptr);
32extern bool fold_stmt (gimple_stmt_iterator *, tree (*) (tree), bitmap = nullptr);
33extern bool fold_stmt_inplace (gimple_stmt_iterator *);
34extern tree maybe_fold_and_comparisons (tree, enum tree_code, tree, tree,
35 enum tree_code, tree, tree,
36 basic_block = nullptr);
37extern tree maybe_fold_or_comparisons (tree, enum tree_code, tree, tree,
38 enum tree_code, tree, tree,
39 basic_block = nullptr);
40extern bool optimize_atomic_compare_exchange_p (gimple *);
41extern void fold_builtin_atomic_compare_exchange (gimple_stmt_iterator *);
42extern tree no_follow_ssa_edges (tree);
43extern tree follow_single_use_edges (tree);
44extern tree follow_all_ssa_edges (tree);
45extern tree gimple_fold_stmt_to_constant_1 (gimple *, tree (*) (tree),
46 tree (*) (tree) = no_follow_ssa_edges);
47extern tree gimple_fold_stmt_to_constant (gimple *, tree (*) (tree));
48extern tree fold_ctor_reference (tree, tree, const poly_uint64&,
49 const poly_uint64&, tree,
50 unsigned HOST_WIDE_INT * = NULL);
51extern tree fold_const_aggregate_ref_1 (tree, tree (*) (tree));
52extern tree fold_const_aggregate_ref (tree);
53extern tree gimple_get_virt_method_for_binfo (HOST_WIDE_INT, tree,
54 bool *can_refer = NULL);
55extern tree gimple_get_virt_method_for_vtable (HOST_WIDE_INT, tree,
56 unsigned HOST_WIDE_INT,
57 bool *can_refer = NULL);
58extern tree gimple_fold_indirect_ref (tree);
59extern bool gimple_fold_builtin_sprintf (gimple_stmt_iterator *);
60extern bool gimple_fold_builtin_snprintf (gimple_stmt_iterator *);
61extern bool gimple_needing_rewrite_undefined (gimple *);
62extern void rewrite_to_defined_unconditional (gimple_stmt_iterator *);
63extern gimple_seq rewrite_to_defined_unconditional (gimple *);
64extern void replace_call_with_value (gimple_stmt_iterator *, tree);
65extern tree tree_vec_extract (gimple_stmt_iterator *, tree, tree, tree, tree);
66extern void gsi_replace_with_seq_vops (gimple_stmt_iterator *, gimple_seq);
67
68/* gimple_build, functionally matching fold_buildN, outputs stmts
69 int the provided sequence, matching and simplifying them on-the-fly.
70 Supposed to replace force_gimple_operand (fold_buildN (...), ...). */
71extern tree gimple_build (gimple_stmt_iterator *, bool,
72 enum gsi_iterator_update,
73 location_t, enum tree_code, tree, tree);
74extern tree gimple_build (gimple_stmt_iterator *, bool,
75 enum gsi_iterator_update,
76 location_t, enum tree_code, tree, tree, tree);
77extern tree gimple_build (gimple_stmt_iterator *, bool,
78 enum gsi_iterator_update,
79 location_t, enum tree_code, tree, tree, tree, tree);
80template<class ...Args>
81inline tree
82gimple_build (gimple_seq *seq, location_t loc,
83 enum tree_code code, tree type, Args ...ops)
84{
85 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
86 "Number of operands must be from one to three");
87 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
88 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
89 loc, code, type, ops...);
90}
91template<class ...Args>
92inline tree
93gimple_build (gimple_seq *seq, enum tree_code code, tree type, Args ...ops)
94{
95 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
96 "Number of operands must be from one to three");
97 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
98 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
99 UNKNOWN_LOCATION, code, type, ops...);
100}
101
102extern tree gimple_build (gimple_stmt_iterator *, bool,
103 enum gsi_iterator_update,
104 location_t, combined_fn, tree);
105extern tree gimple_build (gimple_stmt_iterator *, bool,
106 enum gsi_iterator_update,
107 location_t, combined_fn, tree, tree);
108extern tree gimple_build (gimple_stmt_iterator *, bool,
109 enum gsi_iterator_update,
110 location_t, combined_fn, tree, tree, tree);
111extern tree gimple_build (gimple_stmt_iterator *, bool,
112 enum gsi_iterator_update,
113 location_t, combined_fn, tree, tree, tree, tree);
114template<class ...Args>
115inline tree
116gimple_build (gimple_seq *seq, location_t loc,
117 combined_fn fn, tree type, Args ...args)
118{
119 static_assert (sizeof...(args) < 4,
120 "Number of arguments must be less than four");
121 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
122 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
123 loc, fn, type, args...);
124}
125template<class ...Args>
126inline tree
127gimple_build (gimple_seq *seq, combined_fn fn, tree type, Args ...args)
128{
129 static_assert (sizeof...(args) < 4,
130 "Number of arguments must be less than four");
131 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
132 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
133 UNKNOWN_LOCATION, fn, type, args...);
134}
135
136extern tree gimple_build (gimple_stmt_iterator *, bool,
137 enum gsi_iterator_update,
138 location_t, code_helper, tree, tree);
139extern tree gimple_build (gimple_stmt_iterator *, bool,
140 enum gsi_iterator_update,
141 location_t, code_helper, tree, tree, tree);
142extern tree gimple_build (gimple_stmt_iterator *, bool,
143 enum gsi_iterator_update,
144 location_t, code_helper, tree, tree, tree, tree);
145
146template<class ...Args>
147inline tree
148gimple_build (gimple_seq *seq, location_t loc,
149 code_helper code, tree type, Args ...ops)
150{
151 static_assert (sizeof...(ops) < 4,
152 "Number of operands must be less than four");
153 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
154 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
155 loc, code, type, ops...);
156}
157template<class ...Args>
158inline tree
159gimple_build (gimple_seq *seq,
160 code_helper code, tree type, Args ...ops)
161{
162 static_assert (sizeof...(ops) < 4,
163 "Number of operands must be less than four");
164 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
165 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
166 UNKNOWN_LOCATION, code, type, ops...);
167}
168
169extern tree gimple_convert (gimple_stmt_iterator *, bool,
170 enum gsi_iterator_update,
171 location_t, tree, tree);
172inline tree
173gimple_convert (gimple_seq *seq, location_t loc, tree type, tree op)
174{
175 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
176 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING, loc, type, op);
177}
178inline tree
179gimple_convert (gimple_seq *seq, tree type, tree op)
180{
181 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
182 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING,
183 UNKNOWN_LOCATION, type, op);
184}
185
186extern tree gimple_convert_to_ptrofftype (gimple_stmt_iterator *, bool,
187 enum gsi_iterator_update,
188 location_t, tree);
189inline tree
190gimple_convert_to_ptrofftype (gimple_seq *seq, location_t loc, tree op)
191{
192 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
193 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
194 loc, op);
195}
196inline tree
197gimple_convert_to_ptrofftype (gimple_seq *seq, tree op)
198{
199 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
200 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
201 UNKNOWN_LOCATION, op);
202}
203
204extern tree gimple_build_vector_from_val (gimple_stmt_iterator *, bool,
205 enum gsi_iterator_update,
206 location_t, tree, tree);
207inline tree
208gimple_build_vector_from_val (gimple_seq *seq, location_t loc,
209 tree type, tree op)
210{
211 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
212 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
213 loc, type, op);
214}
215inline tree
216gimple_build_vector_from_val (gimple_seq *seq, tree type, tree op)
217{
218 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
219 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
220 UNKNOWN_LOCATION, type, op);
221}
222
223class tree_vector_builder;
224extern tree gimple_build_vector (gimple_stmt_iterator *, bool,
225 enum gsi_iterator_update,
226 location_t, tree_vector_builder *);
227inline tree
228gimple_build_vector (gimple_seq *seq, location_t loc,
229 tree_vector_builder *builder)
230{
231 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
232 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
233 loc, builder);
234}
235inline tree
236gimple_build_vector (gimple_seq *seq, tree_vector_builder *builder)
237{
238 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
239 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
240 UNKNOWN_LOCATION, builder);
241}
242
243extern tree gimple_build_round_up (gimple_stmt_iterator *, bool,
244 enum gsi_iterator_update,
245 location_t, tree, tree,
246 unsigned HOST_WIDE_INT);
247inline tree
248gimple_build_round_up (gimple_seq *seq, location_t loc,
249 tree type, tree old_size, unsigned HOST_WIDE_INT align)
250{
251 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
252 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
253 loc, type, old_size, align);
254}
255inline tree
256gimple_build_round_up (gimple_seq *seq, tree type, tree old_size,
257 unsigned HOST_WIDE_INT align)
258{
259 gimple_stmt_iterator gsi = gsi_last (seq&: *seq);
260 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
261 UNKNOWN_LOCATION, type, old_size, align);
262}
263
264extern bool gimple_stmt_nonnegative_warnv_p (gimple *, bool *, int = 0);
265extern bool gimple_stmt_integer_valued_real_p (gimple *, int = 0);
266extern void mark_lhs_in_seq_for_dce (bitmap, gimple_seq);
267
268/* In gimple-match.cc. */
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));
275extern tree gimple_simplify (combined_fn, tree, tree,
276 gimple_seq *, tree (*)(tree));
277extern tree gimple_simplify (combined_fn, tree, tree, tree,
278 gimple_seq *, tree (*)(tree));
279extern tree gimple_simplify (combined_fn, tree, tree, tree, tree,
280 gimple_seq *, tree (*)(tree));
281
282#endif /* GCC_GIMPLE_FOLD_H */
283

Provided by KDAB

Privacy Policy
Update your C++ knowledge – Modern C++11/14/17 Training
Find out more

source code of gcc/gimple-fold.h