]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-fold.h
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
i386: Move stack protector patterns above mov $0 -> xor peephole
[thirdparty/gcc.git] / gcc / gimple-fold.h
CommitLineData
cfef45c8
RG		 1/* Gimple folding definitions.
2
aeee4812 3 Copyright (C) 2011-2023 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);
82c8ff79 63extern gimple_seq rewrite_to_defined_overflow (gimple *, bool = false);
e3174bdf 64extern void replace_call_with_value (gimple_stmt_iterator *, tree);
6847c656 65extern tree tree_vec_extract (gimple_stmt_iterator *, tree, tree, tree, tree);
cb6922f4 66extern void gsi_replace_with_seq_vops (gimple_stmt_iterator *, gimple_seq);
cfef45c8 67
3d2cf79f
RB		 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 (...), ...). */
ba206889
RB		 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);
88 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
89 loc, code, type, ops...);
90}
684c97dd 91template<class ...Args>
3d2cf79f 92inline tree
684c97dd 93gimple_build (gimple_seq *seq, enum tree_code code, tree type, Args ...ops)
3d2cf79f 94{
684c97dd
RB		 95 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
96 "Number of operands must be from one to three");
ba206889
RB		 97 gimple_stmt_iterator gsi = gsi_last (*seq);
98 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
99 UNKNOWN_LOCATION, code, type, ops...);
3d2cf79f 100}
684c97dd 101
6f5b0603
RB		 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);
122 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
123 loc, fn, type, args...);
124}
684c97dd 125template<class ...Args>
3d2cf79f 126inline tree
684c97dd 127gimple_build (gimple_seq *seq, combined_fn fn, tree type, Args ...args)
3d2cf79f 128{
684c97dd
RB		 129 static_assert (sizeof...(args) < 4,
130 "Number of arguments must be less than four");
6f5b0603
RB		 131 gimple_stmt_iterator gsi = gsi_last (*seq);
132 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
133 UNKNOWN_LOCATION, fn, type, args...);
3d2cf79f
RB		 134}
135
6f5b0603
RB		 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);
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);
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);
176 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING, loc, type, op);
177}
d4f5cd5e
RB		 178inline tree
179gimple_convert (gimple_seq *seq, tree type, tree op)
180{
6f5b0603
RB		 181 gimple_stmt_iterator gsi = gsi_last (*seq);
182 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING,
183 UNKNOWN_LOCATION, type, op);
d4f5cd5e
RB		 184}
185
6f5b0603
RB		 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);
193 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
194 loc, op);
195}
74e3c262
RB		 196inline tree
197gimple_convert_to_ptrofftype (gimple_seq *seq, tree op)
198{
6f5b0603
RB		 199 gimple_stmt_iterator gsi = gsi_last (*seq);
200 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
201 UNKNOWN_LOCATION, op);
74e3c262
RB		 202}
203
6f5b0603
RB		 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);
212 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
213 loc, type, op);
214}
e7c45b66
RS		 215inline tree
216gimple_build_vector_from_val (gimple_seq *seq, tree type, tree op)
217{
6f5b0603
RB		 218 gimple_stmt_iterator gsi = gsi_last (*seq);
219 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
220 UNKNOWN_LOCATION, type, op);
e7c45b66
RS		 221}
222
abe73c3d 223class tree_vector_builder;
6f5b0603
RB		 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);
232 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
233 loc, builder);
234}
e7c45b66 235inline tree
abe73c3d 236gimple_build_vector (gimple_seq *seq, tree_vector_builder *builder)
e7c45b66 237{
6f5b0603
RB		 238 gimple_stmt_iterator gsi = gsi_last (*seq);
239 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
240 UNKNOWN_LOCATION, builder);
e7c45b66
RS		 241}
242
6f5b0603
RB		 243extern tree gimple_build_round_up (gimple_stmt_iterator *, bool,
244 enum gsi_iterator_update,
245 location_t, tree, tree,
93a73251
MM		 246 unsigned HOST_WIDE_INT);
247inline tree
6f5b0603
RB		 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);
252 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
253 loc, type, old_size, align);
254}
255inline tree
93a73251
MM		 256gimple_build_round_up (gimple_seq *seq, tree type, tree old_size,
257 unsigned HOST_WIDE_INT align)
258{
6f5b0603
RB		 259 gimple_stmt_iterator gsi = gsi_last (*seq);
260 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
261 UNKNOWN_LOCATION, type, old_size, align);
93a73251
MM		 262}
263
68e57f04 264extern bool gimple_stmt_nonnegative_warnv_p (gimple *, bool *, int = 0);
67dbe582 265extern bool gimple_stmt_integer_valued_real_p (gimple *, int = 0);
68e57f04 266
e53b6e56 267/* In gimple-match.cc. */
3d2cf79f
RB		 268extern tree gimple_simplify (enum tree_code, tree, tree,
269 gimple_seq *, tree (*)(tree));
270extern tree gimple_simplify (enum tree_code, tree, tree, tree,
271 gimple_seq *, tree (*)(tree));
272extern tree gimple_simplify (enum tree_code, tree, tree, tree, tree,
273 gimple_seq *, tree (*)(tree));
eb69361d 274extern tree gimple_simplify (combined_fn, tree, tree,
3d2cf79f 275 gimple_seq *, tree (*)(tree));
eb69361d 276extern tree gimple_simplify (combined_fn, tree, tree, tree,
3d2cf79f 277 gimple_seq *, tree (*)(tree));
eb69361d 278extern tree gimple_simplify (combined_fn, tree, tree, tree, tree,
3d2cf79f
RB		 279 gimple_seq *, tree (*)(tree));
280
cfef45c8 281#endif /* GCC_GIMPLE_FOLD_H */
Mirror of https://gcc.gnu.org/git/gcc.git