]> 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
Fix ICE due to condition mismatch between expander and define_insn.
[thirdparty/gcc.git] / gcc / gimple-fold.h
CommitLineData
cfef45c8
RG		 1/* Gimple folding definitions.
2
7adcbafe 3 Copyright (C) 2011-2022 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);
cfef45c8 66
3d2cf79f
RB		 67/* gimple_build, functionally matching fold_buildN, outputs stmts
68 int the provided sequence, matching and simplifying them on-the-fly.
69 Supposed to replace force_gimple_operand (fold_buildN (...), ...). */
ba206889
RB		 70extern tree gimple_build (gimple_stmt_iterator *, bool,
71 enum gsi_iterator_update,
72 location_t, enum tree_code, tree, tree);
73extern tree gimple_build (gimple_stmt_iterator *, bool,
74 enum gsi_iterator_update,
75 location_t, enum tree_code, tree, tree, tree);
76extern tree gimple_build (gimple_stmt_iterator *, bool,
77 enum gsi_iterator_update,
78 location_t, enum tree_code, tree, tree, tree, tree);
79template<class ...Args>
80inline tree
81gimple_build (gimple_seq *seq, location_t loc,
82 enum tree_code code, tree type, Args ...ops)
83{
84 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
85 "Number of operands must be from one to three");
86 gimple_stmt_iterator gsi = gsi_last (*seq);
87 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
88 loc, code, type, ops...);
89}
684c97dd 90template<class ...Args>
3d2cf79f 91inline tree
684c97dd 92gimple_build (gimple_seq *seq, enum tree_code code, tree type, Args ...ops)
3d2cf79f 93{
684c97dd
RB		 94 static_assert (sizeof...(ops) > 0 && sizeof...(ops) <= 3,
95 "Number of operands must be from one to three");
ba206889
RB		 96 gimple_stmt_iterator gsi = gsi_last (*seq);
97 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
98 UNKNOWN_LOCATION, code, type, ops...);
3d2cf79f 99}
684c97dd 100
6f5b0603
RB		 101extern tree gimple_build (gimple_stmt_iterator *, bool,
102 enum gsi_iterator_update,
103 location_t, combined_fn, tree);
104extern tree gimple_build (gimple_stmt_iterator *, bool,
105 enum gsi_iterator_update,
106 location_t, combined_fn, tree, tree);
107extern tree gimple_build (gimple_stmt_iterator *, bool,
108 enum gsi_iterator_update,
109 location_t, combined_fn, tree, tree, tree);
110extern tree gimple_build (gimple_stmt_iterator *, bool,
111 enum gsi_iterator_update,
112 location_t, combined_fn, tree, tree, tree, tree);
113template<class ...Args>
114inline tree
115gimple_build (gimple_seq *seq, location_t loc,
116 combined_fn fn, tree type, Args ...args)
117{
118 static_assert (sizeof...(args) < 4,
119 "Number of arguments must be less than four");
120 gimple_stmt_iterator gsi = gsi_last (*seq);
121 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
122 loc, fn, type, args...);
123}
684c97dd 124template<class ...Args>
3d2cf79f 125inline tree
684c97dd 126gimple_build (gimple_seq *seq, combined_fn fn, tree type, Args ...args)
3d2cf79f 127{
684c97dd
RB		 128 static_assert (sizeof...(args) < 4,
129 "Number of arguments must be less than four");
6f5b0603
RB		 130 gimple_stmt_iterator gsi = gsi_last (*seq);
131 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
132 UNKNOWN_LOCATION, fn, type, args...);
3d2cf79f
RB		 133}
134
6f5b0603
RB		 135extern tree gimple_build (gimple_stmt_iterator *, bool,
136 enum gsi_iterator_update,
137 location_t, code_helper, tree, tree);
138extern tree gimple_build (gimple_stmt_iterator *, bool,
139 enum gsi_iterator_update,
140 location_t, code_helper, tree, tree, tree);
141extern tree gimple_build (gimple_stmt_iterator *, bool,
142 enum gsi_iterator_update,
143 location_t, code_helper, tree, tree, tree, tree);
144
145template<class ...Args>
146inline tree
147gimple_build (gimple_seq *seq, location_t loc,
148 code_helper code, tree type, Args ...ops)
149{
150 static_assert (sizeof...(ops) < 4,
151 "Number of operands must be less than four");
152 gimple_stmt_iterator gsi = gsi_last (*seq);
153 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
154 loc, code, type, ops...);
155}
156template<class ...Args>
157inline tree
158gimple_build (gimple_seq *seq,
159 code_helper code, tree type, Args ...ops)
160{
161 static_assert (sizeof...(ops) < 4,
162 "Number of operands must be less than four");
163 gimple_stmt_iterator gsi = gsi_last (*seq);
164 return gimple_build (&gsi, false, GSI_CONTINUE_LINKING,
165 UNKNOWN_LOCATION, code, type, ops...);
166}
167
168extern tree gimple_convert (gimple_stmt_iterator *, bool,
169 enum gsi_iterator_update,
170 location_t, tree, tree);
171inline tree
172gimple_convert (gimple_seq *seq, location_t loc, tree type, tree op)
173{
174 gimple_stmt_iterator gsi = gsi_last (*seq);
175 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING, loc, type, op);
176}
d4f5cd5e
RB		 177inline tree
178gimple_convert (gimple_seq *seq, tree type, tree op)
179{
6f5b0603
RB		 180 gimple_stmt_iterator gsi = gsi_last (*seq);
181 return gimple_convert (&gsi, false, GSI_CONTINUE_LINKING,
182 UNKNOWN_LOCATION, type, op);
d4f5cd5e
RB		 183}
184
6f5b0603
RB		 185extern tree gimple_convert_to_ptrofftype (gimple_stmt_iterator *, bool,
186 enum gsi_iterator_update,
187 location_t, tree);
188inline tree
189gimple_convert_to_ptrofftype (gimple_seq *seq, location_t loc, tree op)
190{
191 gimple_stmt_iterator gsi = gsi_last (*seq);
192 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
193 loc, op);
194}
74e3c262
RB		 195inline tree
196gimple_convert_to_ptrofftype (gimple_seq *seq, tree op)
197{
6f5b0603
RB		 198 gimple_stmt_iterator gsi = gsi_last (*seq);
199 return gimple_convert_to_ptrofftype (&gsi, false, GSI_CONTINUE_LINKING,
200 UNKNOWN_LOCATION, op);
74e3c262
RB		 201}
202
6f5b0603
RB		 203extern tree gimple_build_vector_from_val (gimple_stmt_iterator *, bool,
204 enum gsi_iterator_update,
205 location_t, tree, tree);
206inline tree
207gimple_build_vector_from_val (gimple_seq *seq, location_t loc,
208 tree type, tree op)
209{
210 gimple_stmt_iterator gsi = gsi_last (*seq);
211 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
212 loc, type, op);
213}
e7c45b66
RS		 214inline tree
215gimple_build_vector_from_val (gimple_seq *seq, tree type, tree op)
216{
6f5b0603
RB		 217 gimple_stmt_iterator gsi = gsi_last (*seq);
218 return gimple_build_vector_from_val (&gsi, false, GSI_CONTINUE_LINKING,
219 UNKNOWN_LOCATION, type, op);
e7c45b66
RS		 220}
221
abe73c3d 222class tree_vector_builder;
6f5b0603
RB		 223extern tree gimple_build_vector (gimple_stmt_iterator *, bool,
224 enum gsi_iterator_update,
225 location_t, tree_vector_builder *);
226inline tree
227gimple_build_vector (gimple_seq *seq, location_t loc,
228 tree_vector_builder *builder)
229{
230 gimple_stmt_iterator gsi = gsi_last (*seq);
231 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
232 loc, builder);
233}
e7c45b66 234inline tree
abe73c3d 235gimple_build_vector (gimple_seq *seq, tree_vector_builder *builder)
e7c45b66 236{
6f5b0603
RB		 237 gimple_stmt_iterator gsi = gsi_last (*seq);
238 return gimple_build_vector (&gsi, false, GSI_CONTINUE_LINKING,
239 UNKNOWN_LOCATION, builder);
e7c45b66
RS		 240}
241
6f5b0603
RB		 242extern tree gimple_build_round_up (gimple_stmt_iterator *, bool,
243 enum gsi_iterator_update,
244 location_t, tree, tree,
93a73251
MM		 245 unsigned HOST_WIDE_INT);
246inline tree
6f5b0603
RB		 247gimple_build_round_up (gimple_seq *seq, location_t loc,
248 tree type, tree old_size, unsigned HOST_WIDE_INT align)
249{
250 gimple_stmt_iterator gsi = gsi_last (*seq);
251 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
252 loc, type, old_size, align);
253}
254inline tree
93a73251
MM		 255gimple_build_round_up (gimple_seq *seq, tree type, tree old_size,
256 unsigned HOST_WIDE_INT align)
257{
6f5b0603
RB		 258 gimple_stmt_iterator gsi = gsi_last (*seq);
259 return gimple_build_round_up (&gsi, false, GSI_CONTINUE_LINKING,
260 UNKNOWN_LOCATION, type, old_size, align);
93a73251
MM		 261}
262
68e57f04 263extern bool gimple_stmt_nonnegative_warnv_p (gimple *, bool *, int = 0);
67dbe582 264extern bool gimple_stmt_integer_valued_real_p (gimple *, int = 0);
68e57f04 265
e53b6e56 266/* In gimple-match.cc. */
3d2cf79f
RB		 267extern tree gimple_simplify (enum tree_code, tree, tree,
268 gimple_seq *, tree (*)(tree));
269extern tree gimple_simplify (enum tree_code, tree, tree, tree,
270 gimple_seq *, tree (*)(tree));
271extern tree gimple_simplify (enum tree_code, tree, tree, tree, tree,
272 gimple_seq *, tree (*)(tree));
eb69361d 273extern tree gimple_simplify (combined_fn, tree, tree,
3d2cf79f 274 gimple_seq *, tree (*)(tree));
eb69361d 275extern tree gimple_simplify (combined_fn, tree, tree, tree,
3d2cf79f 276 gimple_seq *, tree (*)(tree));
eb69361d 277extern tree gimple_simplify (combined_fn, tree, tree, tree, tree,
3d2cf79f
RB		 278 gimple_seq *, tree (*)(tree));
279
cfef45c8 280#endif /* GCC_GIMPLE_FOLD_H */
Mirror of https://gcc.gnu.org/git/gcc.git