1 /* Gimple folding definitions.
3 Copyright (C) 2011-2021 Free Software Foundation, Inc.
4 Contributed by Richard Guenther <rguenther@suse.de>
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 #ifndef GCC_GIMPLE_FOLD_H
23 #define GCC_GIMPLE_FOLD_H
25 extern tree
create_tmp_reg_or_ssa_name (tree
, gimple
*stmt
= NULL
);
26 extern tree
canonicalize_constructor_val (tree
, tree
);
27 extern tree
get_symbol_constant_value (tree
);
29 extern bool get_range_strlen (tree
, c_strlen_data
*, unsigned eltsize
);
30 extern void gimplify_and_update_call_from_tree (gimple_stmt_iterator
*, tree
);
31 extern bool update_gimple_call (gimple_stmt_iterator
*, tree
, int, ...);
32 extern bool fold_stmt (gimple_stmt_iterator
*);
33 extern bool fold_stmt (gimple_stmt_iterator
*, tree (*) (tree
));
34 extern bool fold_stmt_inplace (gimple_stmt_iterator
*);
35 extern tree
maybe_fold_and_comparisons (tree
, enum tree_code
, tree
, tree
,
36 enum tree_code
, tree
, tree
);
37 extern tree
maybe_fold_or_comparisons (tree
, enum tree_code
, tree
, tree
,
38 enum tree_code
, tree
, tree
);
39 extern void clear_type_padding_in_mask (tree
, unsigned char *);
40 extern bool optimize_atomic_compare_exchange_p (gimple
*);
41 extern void fold_builtin_atomic_compare_exchange (gimple_stmt_iterator
*);
42 extern bool arith_overflowed_p (enum tree_code
, const_tree
, const_tree
,
44 extern tree
no_follow_ssa_edges (tree
);
45 extern tree
follow_single_use_edges (tree
);
46 extern tree
follow_all_ssa_edges (tree
);
47 extern tree
gimple_fold_stmt_to_constant_1 (gimple
*, tree (*) (tree
),
48 tree (*) (tree
) = no_follow_ssa_edges
);
49 extern tree
gimple_fold_stmt_to_constant (gimple
*, tree (*) (tree
));
50 extern tree
fold_ctor_reference (tree
, tree
, const poly_uint64
&,
51 const poly_uint64
&, tree
,
52 unsigned HOST_WIDE_INT
* = NULL
);
53 extern tree
fold_const_aggregate_ref_1 (tree
, tree (*) (tree
));
54 extern tree
fold_const_aggregate_ref (tree
);
55 extern tree
gimple_get_virt_method_for_binfo (HOST_WIDE_INT
, tree
,
56 bool *can_refer
= NULL
);
57 extern tree
gimple_get_virt_method_for_vtable (HOST_WIDE_INT
, tree
,
58 unsigned HOST_WIDE_INT
,
59 bool *can_refer
= NULL
);
60 extern tree
gimple_fold_indirect_ref (tree
);
61 extern bool gimple_fold_builtin_sprintf (gimple_stmt_iterator
*);
62 extern bool gimple_fold_builtin_snprintf (gimple_stmt_iterator
*);
63 extern bool arith_code_with_undefined_signed_overflow (tree_code
);
64 extern gimple_seq
rewrite_to_defined_overflow (gimple
*);
65 extern void replace_call_with_value (gimple_stmt_iterator
*, tree
);
66 extern tree
tree_vec_extract (gimple_stmt_iterator
*, tree
, tree
, tree
, tree
);
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 (...), ...). */
71 extern tree
gimple_build (gimple_seq
*, location_t
,
72 enum tree_code
, tree
, tree
);
74 gimple_build (gimple_seq
*seq
,
75 enum tree_code code
, tree type
, tree op0
)
77 return gimple_build (seq
, UNKNOWN_LOCATION
, code
, type
, op0
);
79 extern tree
gimple_build (gimple_seq
*, location_t
,
80 enum tree_code
, tree
, tree
, tree
);
82 gimple_build (gimple_seq
*seq
,
83 enum tree_code code
, tree type
, tree op0
, tree op1
)
85 return gimple_build (seq
, UNKNOWN_LOCATION
, code
, type
, op0
, op1
);
87 extern tree
gimple_build (gimple_seq
*, location_t
,
88 enum tree_code
, tree
, tree
, tree
, tree
);
90 gimple_build (gimple_seq
*seq
,
91 enum tree_code code
, tree type
, tree op0
, tree op1
, tree op2
)
93 return gimple_build (seq
, UNKNOWN_LOCATION
, code
, type
, op0
, op1
, op2
);
95 extern tree
gimple_build (gimple_seq
*, location_t
, combined_fn
, tree
);
97 gimple_build (gimple_seq
*seq
, combined_fn fn
, tree type
)
99 return gimple_build (seq
, UNKNOWN_LOCATION
, fn
, type
);
101 extern tree
gimple_build (gimple_seq
*, location_t
, combined_fn
, tree
, tree
);
103 gimple_build (gimple_seq
*seq
, combined_fn fn
, tree type
, tree arg0
)
105 return gimple_build (seq
, UNKNOWN_LOCATION
, fn
, type
, arg0
);
107 extern tree
gimple_build (gimple_seq
*, location_t
, combined_fn
,
110 gimple_build (gimple_seq
*seq
, combined_fn fn
,
111 tree type
, tree arg0
, tree arg1
)
113 return gimple_build (seq
, UNKNOWN_LOCATION
, fn
, type
, arg0
, arg1
);
115 extern tree
gimple_build (gimple_seq
*, location_t
, combined_fn
,
116 tree
, tree
, tree
, tree
);
118 gimple_build (gimple_seq
*seq
, combined_fn fn
,
119 tree type
, tree arg0
, tree arg1
, tree arg2
)
121 return gimple_build (seq
, UNKNOWN_LOCATION
, fn
, type
, arg0
, arg1
, arg2
);
124 extern tree
gimple_convert (gimple_seq
*, location_t
, tree
, tree
);
126 gimple_convert (gimple_seq
*seq
, tree type
, tree op
)
128 return gimple_convert (seq
, UNKNOWN_LOCATION
, type
, op
);
131 extern tree
gimple_convert_to_ptrofftype (gimple_seq
*, location_t
, tree
);
133 gimple_convert_to_ptrofftype (gimple_seq
*seq
, tree op
)
135 return gimple_convert_to_ptrofftype (seq
, UNKNOWN_LOCATION
, op
);
138 extern tree
gimple_build_vector_from_val (gimple_seq
*, location_t
, tree
,
141 gimple_build_vector_from_val (gimple_seq
*seq
, tree type
, tree op
)
143 return gimple_build_vector_from_val (seq
, UNKNOWN_LOCATION
, type
, op
);
146 class tree_vector_builder
;
147 extern tree
gimple_build_vector (gimple_seq
*, location_t
,
148 tree_vector_builder
*);
150 gimple_build_vector (gimple_seq
*seq
, tree_vector_builder
*builder
)
152 return gimple_build_vector (seq
, UNKNOWN_LOCATION
, builder
);
155 extern tree
gimple_build_round_up (gimple_seq
*, location_t
, tree
, tree
,
156 unsigned HOST_WIDE_INT
);
158 gimple_build_round_up (gimple_seq
*seq
, tree type
, tree old_size
,
159 unsigned HOST_WIDE_INT align
)
161 return gimple_build_round_up (seq
, UNKNOWN_LOCATION
, type
, old_size
, align
);
164 extern bool gimple_stmt_nonnegative_warnv_p (gimple
*, bool *, int = 0);
165 extern bool gimple_stmt_integer_valued_real_p (gimple
*, int = 0);
167 /* In gimple-match.c. */
168 extern tree
gimple_simplify (enum tree_code
, tree
, tree
,
169 gimple_seq
*, tree (*)(tree
));
170 extern tree
gimple_simplify (enum tree_code
, tree
, tree
, tree
,
171 gimple_seq
*, tree (*)(tree
));
172 extern tree
gimple_simplify (enum tree_code
, tree
, tree
, tree
, tree
,
173 gimple_seq
*, tree (*)(tree
));
174 extern tree
gimple_simplify (combined_fn
, tree
, tree
,
175 gimple_seq
*, tree (*)(tree
));
176 extern tree
gimple_simplify (combined_fn
, tree
, tree
, tree
,
177 gimple_seq
*, tree (*)(tree
));
178 extern tree
gimple_simplify (combined_fn
, tree
, tree
, tree
, tree
,
179 gimple_seq
*, tree (*)(tree
));
181 #endif /* GCC_GIMPLE_FOLD_H */