GCC Middle and Back End API Reference
fold-const.h
Go to the documentation of this file.
1/* Fold a constant sub-tree into a single node for C-compiler
2 Copyright (C) 1987-2024 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
20#ifndef GCC_FOLD_CONST_H
21#define GCC_FOLD_CONST_H
22
23/* Nonzero if we are folding constants inside an initializer or a C++
24 manifestly-constant-evaluated context; zero otherwise.
25 Should be used when folding in initializer enables additional
26 optimizations. */
27extern int folding_initializer;
28/* Nonzero if we are folding C++ manifestly-constant-evaluated context; zero
29 otherwise.
30 Should be used when certain constructs shouldn't be optimized
31 during folding in that context. */
32extern bool folding_cxx_constexpr;
33
34/* Convert between trees and native memory representation. */
35extern int native_encode_expr (const_tree, unsigned char *, int, int off = -1);
36extern int native_encode_initializer (tree, unsigned char *, int,
37 int off = -1, unsigned char * = nullptr);
38extern tree native_interpret_expr (tree, const unsigned char *, int);
39extern tree native_interpret_real (tree, const unsigned char *, int);
41extern tree native_interpret_aggregate (tree, const unsigned char *, int, int);
42extern tree find_bitfield_repr_type (int, int);
43extern void shift_bytes_in_array_left (unsigned char *, unsigned int,
44 unsigned int);
45extern void shift_bytes_in_array_right (unsigned char *, unsigned int,
46 unsigned int);
47
48/* Fold constants as much as possible in an expression.
49 Returns the simplified expression.
50 Acts only on the top level of the expression;
51 if the argument itself cannot be simplified, its
52 subexpressions are not changed. */
53
54extern tree fold (tree);
55extern tree fold_init (tree);
56#define fold_unary(CODE,T1,T2)\
57 fold_unary_loc (UNKNOWN_LOCATION, CODE, T1, T2)
59#define fold_unary_ignore_overflow(CODE,T1,T2)\
60 fold_unary_ignore_overflow_loc (UNKNOWN_LOCATION, CODE, T1, T2)
62#define fold_binary(CODE,T1,T2,T3)\
63 fold_binary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3)
65#define fold_ternary(CODE,T1,T2,T3,T4)\
66 fold_ternary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3, T4)
68#define fold_build1(c,t1,t2)\
69 fold_build1_loc (UNKNOWN_LOCATION, c, t1, t2 MEM_STAT_INFO)
72#define fold_build2(c,t1,t2,t3)\
73 fold_build2_loc (UNKNOWN_LOCATION, c, t1, t2, t3 MEM_STAT_INFO)
76#define fold_build3(c,t1,t2,t3,t4)\
77 fold_build3_loc (UNKNOWN_LOCATION, c, t1, t2, t3, t4 MEM_STAT_INFO)
82#define fold_build_call_array(T1,T2,N,T4)\
83 fold_build_call_array_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
85#define fold_build_call_array_initializer(T1,T2,N,T4)\
86 fold_build_call_array_initializer_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
90 unsigned * = NULL);
92#define fold_convert(T1,T2)\
93 fold_convert_loc (UNKNOWN_LOCATION, T1, T2)
98extern void fold_defer_overflow_warnings (void);
99extern void fold_undefer_overflow_warnings (bool, const gimple *, int);
101extern bool fold_deferring_overflow_warnings_p (void);
102extern void fold_overflow_warning (const char*, enum warn_strict_overflow_code);
103extern enum tree_code fold_div_compare (enum tree_code, tree, tree,
104 tree *, tree *, bool *);
105extern bool operand_equal_p (const_tree, const_tree, unsigned int flags = 0);
106extern bool multiple_of_p (tree, const_tree, const_tree, bool = true);
107#define omit_one_operand(T1,T2,T3)\
108 omit_one_operand_loc (UNKNOWN_LOCATION, T1, T2, T3)
110#define omit_two_operands(T1,T2,T3,T4)\
111 omit_two_operands_loc (UNKNOWN_LOCATION, T1, T2, T3, T4)
113#define invert_truthvalue(T)\
114 invert_truthvalue_loc (UNKNOWN_LOCATION, T)
119 tree, enum tree_code, tree, tree,
120 tree, enum tree_code, tree, tree, tree *);
123#if GCC_VEC_PERN_INDICES_H
124extern tree fold_vec_perm (tree, tree, tree, const vec_perm_indices &);
125#endif
126extern bool wide_int_binop (wide_int &res, enum tree_code,
127 const wide_int &arg1, const wide_int &arg2,
129extern tree int_const_binop (enum tree_code, const_tree, const_tree, int = 1);
130#define build_fold_addr_expr(T)\
131 build_fold_addr_expr_loc (UNKNOWN_LOCATION, (T))
133#define build_fold_addr_expr_with_type(T,TYPE)\
134 build_fold_addr_expr_with_type_loc (UNKNOWN_LOCATION, (T), TYPE)
137#define build_fold_indirect_ref(T)\
138 build_fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
140#define fold_indirect_ref(T)\
141 fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
144#define build_simple_mem_ref(T)\
145 build_simple_mem_ref_loc (UNKNOWN_LOCATION, T)
148extern tree constant_boolean_node (bool, tree);
150
152extern enum tree_code swap_tree_comparison (enum tree_code);
153
154extern bool ptr_difference_const (tree, tree, poly_int64 *);
155extern enum tree_code invert_tree_comparison (enum tree_code, bool);
157
158extern bool tree_unary_nonzero_warnv_p (enum tree_code, tree, tree, bool *);
159extern bool tree_binary_nonzero_warnv_p (enum tree_code, tree, tree, tree op1,
160 bool *);
161extern bool tree_single_nonzero_warnv_p (tree, bool *);
163 bool *, int);
165 bool *, int);
166extern bool tree_single_nonnegative_warnv_p (tree, bool *, int);
168 bool *, int);
169
170extern bool integer_valued_real_unary_p (tree_code, tree, int);
173extern bool integer_valued_real_single_p (tree, int);
174extern bool integer_valued_real_p (tree, int = 0);
175
177 int);
179 enum tree_code, tree, tree, tree);
182#define round_up(T,N) round_up_loc (UNKNOWN_LOCATION, T, N)
183extern tree round_up_loc (location_t, tree, unsigned int);
184#define round_down(T,N) round_down_loc (UNKNOWN_LOCATION, T, N)
185extern tree round_down_loc (location_t, tree, int);
187#define size_binop(CODE,T1,T2)\
188 size_binop_loc (UNKNOWN_LOCATION, CODE, T1, T2)
190#define size_diffop(T1,T2)\
191 size_diffop_loc (UNKNOWN_LOCATION, T1, T2)
193
194/* Return an expr equal to X but certainly not valid as an lvalue. */
195#define non_lvalue(T) non_lvalue_loc (UNKNOWN_LOCATION, T)
197
198extern bool tree_expr_nonzero_p (tree);
199extern bool tree_expr_nonnegative_p (tree);
200extern bool tree_expr_nonnegative_warnv_p (tree, bool *, int = 0);
201extern bool tree_expr_finite_p (const_tree);
202extern bool tree_expr_infinite_p (const_tree);
206extern bool tree_expr_nan_p (const_tree);
209extern tree make_range (tree, int *, tree *, tree *, bool *);
211 tree *, tree *, int *, bool *);
212extern tree range_check_type (tree);
214extern bool merge_ranges (int *, tree *, tree *, int, tree, tree, int,
215 tree, tree);
217extern bool simple_condition_p (tree);
218extern tree exact_inverse (tree, tree);
219extern bool expr_not_equal_to (tree t, const wide_int &);
220extern tree const_unop (enum tree_code, tree, tree);
221extern tree const_binop (enum tree_code, tree, tree, tree);
222extern bool negate_mathfn_p (combined_fn);
223extern const char *getbyterep (tree, unsigned HOST_WIDE_INT *);
224extern const char *c_getstr (tree);
226extern int address_compare (tree_code, tree, tree, tree, tree &, tree &,
227 poly_int64 &, poly_int64 &, bool);
229
230/* Return OFF converted to a pointer offset type suitable as offset for
231 POINTER_PLUS_EXPR. Use location LOC for this conversion. */
233
234#define convert_to_ptrofftype(t) convert_to_ptrofftype_loc (UNKNOWN_LOCATION, t)
235
236/* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF. */
238
239#define fold_build_pointer_plus(p,o) \
240 fold_build_pointer_plus_loc (UNKNOWN_LOCATION, p, o)
241
242/* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF. */
244
245#define fold_build_pointer_plus_hwi(p,o) \
246 fold_build_pointer_plus_hwi_loc (UNKNOWN_LOCATION, p, o)
247
249 tree, tree);
250
251/* In gimple-fold.cc. */
252extern void clear_type_padding_in_mask (tree, unsigned char *);
255 const_tree);
256
257/* Class used to compare gimple operands. */
258
260{
261public:
262 /* Return true if two operands are equal. The flags fields can be used
263 to specify OEP flags described in tree-core.h. */
264 virtual bool operand_equal_p (const_tree, const_tree, unsigned int flags);
265
266 /* Generate a hash value for an expression. This can be used iteratively
267 by passing a previous result as the HSTATE argument. */
268 virtual void hash_operand (const_tree, inchash::hash &, unsigned flags);
269
270protected:
271 /* Verify that when arguments (ARG0 and ARG1) are equal, then they have
272 an equal hash value. When the function knowns comparison return,
273 true is returned. Then RET is set to corresponding comparsion result. */
274 bool verify_hash_value (const_tree arg0, const_tree arg1, unsigned int flags,
275 bool *ret);
276};
277
278#endif // GCC_FOLD_CONST_H
Definition genmatch.cc:845
Definition inchash.h:38
Definition fold-const.h:260
virtual bool operand_equal_p(const_tree, const_tree, unsigned int flags)
Definition fold-const.cc:3146
bool verify_hash_value(const_tree arg0, const_tree arg1, unsigned int flags, bool *ret)
Definition fold-const.cc:4186
virtual void hash_operand(const_tree, inchash::hash &, unsigned flags)
Definition fold-const.cc:3882
Definition vec-perm-indices.h:51
const union tree_node * const_tree
Definition coretypes.h:98
warn_strict_overflow_code
Definition coretypes.h:312
union tree_node * tree
Definition coretypes.h:97
#define integer_valued_real_p(X)
Definition fold-const.cc:15759
tree fold_vec_perm(tree type, tree arg0, tree arg1, const vec_perm_indices &sel)
Definition fold-const.cc:10960
#define tree_expr_nonnegative_warnv_p(X, Y)
Definition fold-const.cc:14954
bool can_native_interpret_type_p(tree)
Definition fold-const.cc:9072
tree build_simple_mem_ref_loc(location_t, tree)
Definition tree.cc:5266
tree fold_binary_loc(location_t, enum tree_code, tree, tree, tree)
Definition fold-const.cc:11250
bool tree_unary_nonnegative_warnv_p(enum tree_code, tree, tree, bool *, int)
Definition fold-const.cc:14980
tree fold_build3_loc(location_t, enum tree_code, tree, tree, tree, tree CXX_MEM_STAT_INFO)
bool tree_expr_maybe_nan_p(const_tree)
Definition fold-const.cc:14867
tree const_binop(enum tree_code, tree, tree, tree)
Definition fold-const.cc:1763
tree fold_build_call_array_initializer_loc(location_t, tree, tree, int, tree *)
Definition fold-const.cc:14419
tree find_bitfield_repr_type(int, int)
Definition fold-const.cc:8228
bool arith_overflowed_p(enum tree_code, const_tree, const_tree, const_tree)
Definition gimple-fold.cc:5437
tree build_fold_addr_expr_loc(location_t, tree)
Definition fold-const.cc:9464
tree invert_truthvalue_loc(location_t, tree)
Definition fold-const.cc:4657
tree omit_two_operands_loc(location_t, tree, tree, tree, tree)
Definition fold-const.cc:4479
tree fold_read_from_constant_string(tree)
Definition fold-const.cc:16016
tree size_binop_loc(location_t, enum tree_code, tree, tree)
Definition fold-const.cc:2066
bool tree_single_nonnegative_warnv_p(tree, bool *, int)
Definition fold-const.cc:15173
tree omit_one_operand_loc(location_t, tree, tree, tree)
Definition fold-const.cc:4452
bool fold_deferring_overflow_warnings_p(void)
Definition fold-const.cc:363
tree build_fold_addr_expr_with_type_loc(location_t, tree, tree)
Definition fold-const.cc:9422
tree ctor_single_nonzero_element(const_tree)
Definition fold-const.cc:17241
bool expr_not_equal_to(tree t, const wide_int &)
Definition fold-const.cc:11217
bool tree_swap_operands_p(const_tree, const_tree)
Definition fold-const.cc:7625
void fold_undefer_overflow_warnings(bool, const gimple *, int)
Definition fold-const.cc:311
void fold_defer_overflow_warnings(void)
Definition fold-const.cc:296
tree get_array_ctor_element_at_index(tree, offset_int, unsigned *=NULL)
Definition fold-const.cc:13681
tree convert_to_ptrofftype_loc(location_t loc, tree off)
Definition fold-const.cc:16831
tree make_range(tree, int *, tree *, tree *, bool *)
Definition fold-const.cc:5539
bool operand_equal_p(const_tree, const_tree, unsigned int flags=0)
Definition fold-const.cc:4223
bool tree_unary_nonzero_warnv_p(enum tree_code, tree, tree, bool *)
Definition fold-const.cc:15552
tree build_invariant_address(tree, tree, poly_int64)
Definition tree.cc:5307
bool merge_ranges(int *, tree *, tree *, int, tree, tree, int, tree, tree)
Definition fold-const.cc:5807
tree fold_binary_to_constant(enum tree_code, tree, tree, tree)
Definition fold-const.cc:15990
bool integer_valued_real_binary_p(tree_code, tree, tree, int)
Definition fold-const.cc:15805
bool may_negate_without_overflow_p(const_tree)
Definition fold-const.cc:464
void debug_fold_checksum(const_tree)
int native_encode_initializer(tree, unsigned char *, int, int off=-1, unsigned char *=nullptr)
Definition fold-const.cc:8271
tree fold_build2_loc(location_t, enum tree_code, tree, tree, tree CXX_MEM_STAT_INFO)
bool tree_binary_nonzero_warnv_p(enum tree_code, tree, tree, tree op1, bool *)
Definition fold-const.cc:15592
const char * getbyterep(tree, unsigned HOST_WIDE_INT *)
Definition fold-const.cc:16866
int native_encode_expr(const_tree, unsigned char *, int, int off=-1)
Definition fold-const.cc:8191
tree fold_convert_loc(location_t, tree, tree)
Definition fold-const.cc:2594
wide_int tree_nonzero_bits(const_tree)
Definition fold-const.cc:16956
tree constant_boolean_node(bool, tree)
Definition fold-const.cc:7365
tree sign_bit_p(tree, const_tree)
Definition fold-const.cc:5059
tree fold_unary_to_constant(enum tree_code, tree, tree)
Definition fold-const.cc:16005
bool multiple_of_p(tree, const_tree, const_tree, bool=true)
Definition fold-const.cc:14494
bool tree_expr_nonnegative_p(tree)
Definition fold-const.cc:15528
void fold_undefer_and_ignore_overflow_warnings(void)
Definition fold-const.cc:355
bool inverse_conditions_p(const_tree, const_tree)
Definition fold-const.cc:3000
enum tree_code invert_tree_comparison(enum tree_code, bool)
Definition fold-const.cc:2835
tree fold_indirect_ref_loc(location_t, tree)
Definition fold-const.cc:16565
tree round_up_loc(location_t, tree, unsigned int)
Definition fold-const.cc:16631
tree fold_build1_initializer_loc(location_t, enum tree_code, tree, tree)
Definition fold-const.cc:14393
tree fold_unary_ignore_overflow_loc(location_t, enum tree_code, tree, tree)
Definition fold-const.cc:9874
bool fold_real_zero_addition_p(const_tree, const_tree, const_tree, int)
Definition fold-const.cc:7488
bool tree_expr_finite_p(const_tree)
Definition fold-const.cc:14669
bool tree_expr_nonzero_p(tree)
Definition fold-const.cc:11200
tree fold_build_call_array_loc(location_t, tree, tree, int, tree *)
Definition fold-const.cc:14308
tree size_diffop_loc(location_t, tree, tree)
Definition fold-const.cc:2118
tree size_int_kind(poly_int64, enum size_type_kind)
Definition fold-const.cc:2055
tree int_const_binop(enum tree_code, const_tree, const_tree, int=1)
Definition fold-const.cc:1299
const char * c_getstr(tree)
Definition fold-const.cc:16948
bool tree_single_nonzero_warnv_p(tree, bool *)
Definition fold-const.cc:15700
bool integer_valued_real_call_p(combined_fn, tree, tree, int)
Definition fold-const.cc:15830
tree fold_ternary_loc(location_t, enum tree_code, tree, tree, tree, tree)
Definition fold-const.cc:13183
tree fold_indirect_ref_1(location_t, tree, tree)
Definition fold-const.cc:16397
tree fold_build1_loc(location_t, enum tree_code, tree, tree CXX_MEM_STAT_INFO)
tree native_interpret_expr(tree, const unsigned char *, int)
Definition fold-const.cc:9020
tree fold_ignored_result(tree)
Definition fold-const.cc:16580
tree fold_build_pointer_plus_hwi_loc(location_t loc, tree ptr, HOST_WIDE_INT off)
Definition fold-const.cc:16848
tree make_range_step(location_t, enum tree_code, tree, tree, tree, tree *, tree *, int *, bool *)
Definition fold-const.cc:5242
tree fold_init(tree)
Definition fold-const.cc:14381
void clear_type_padding_in_mask(tree, unsigned char *)
Definition gimple-fold.cc:4953
tree fold_binary_initializer_loc(location_t, tree_code, tree, tree, tree)
Definition fold-const.cc:14432
void shift_bytes_in_array_right(unsigned char *, unsigned int, unsigned int)
Definition fold-const.cc:9299
bool tree_binary_nonnegative_warnv_p(enum tree_code, tree, tree, tree, bool *, int)
Definition fold-const.cc:15046
tree fold_build_pointer_plus_loc(location_t loc, tree ptr, tree off)
Definition fold-const.cc:16840
tree fold_build_cleanup_point_expr(tree type, tree expr)
Definition fold-const.cc:16367
tree fold_read_from_vector(tree, poly_uint64)
Definition fold-const.cc:16067
tree fold_build2_initializer_loc(location_t, enum tree_code, tree, tree, tree)
Definition fold-const.cc:14406
bool tree_expr_maybe_real_minus_zero_p(const_tree)
Definition fold-const.cc:14919
tree div_if_zero_remainder(const_tree, const_tree)
Definition fold-const.cc:258
poly_offset_int mem_ref_offset(const_tree)
Definition tree.cc:5297
tree combine_comparisons(location_t, enum tree_code, enum tree_code, enum tree_code, tree, tree, tree)
Definition fold-const.cc:3020
bool tree_expr_nan_p(const_tree)
Definition fold-const.cc:14843
tree const_unop(enum tree_code, tree, tree)
Definition fold-const.cc:1894
tree exact_inverse(tree, tree)
Definition fold-const.cc:11052
tree build_range_check(location_t, tree, tree, int, tree, tree)
Definition fold-const.cc:5677
bool simple_condition_p(tree)
Definition fold-const.cc:5120
tree_code minmax_from_comparison(tree_code, tree, tree, tree, tree)
Definition fold-const.cc:157
bool negate_mathfn_p(combined_fn)
Definition fold-const.cc:391
enum tree_code swap_tree_comparison(enum tree_code)
Definition fold-const.cc:2880
tree non_lvalue_loc(location_t, tree)
Definition fold-const.cc:2817
bool tree_expr_infinite_p(const_tree)
Definition fold-const.cc:14721
bool ptr_difference_const(tree, tree, poly_int64 *)
Definition fold-const.cc:16788
bool clear_padding_type_may_have_padding_p(tree)
Definition gimple-fold.cc:4628
tree fold_bit_and_mask(tree, tree, enum tree_code, tree, enum tree_code, tree, tree, tree, enum tree_code, tree, tree, tree *)
Definition fold-const.cc:13042
bool tree_call_nonnegative_warnv_p(tree, combined_fn, tree, tree, bool *, int)
Definition fold-const.cc:15214
bool fold_convertible_p(const_tree, const_tree)
Definition fold-const.cc:2549
bool wide_int_binop(wide_int &res, enum tree_code, const wide_int &arg1, const wide_int &arg2, signop, wi::overflow_type *)
Definition fold-const.cc:1083
bool tree_expr_maybe_infinite_p(const_tree)
Definition fold-const.cc:14747
bool folding_cxx_constexpr
Definition fold-const.cc:100
tree native_interpret_aggregate(tree, const unsigned char *, int, int)
Definition fold-const.cc:9096
int address_compare(tree_code, tree, tree, tree, tree &, tree &, poly_int64 &, poly_int64 &, bool)
Definition fold-const.cc:17031
tree native_interpret_real(tree, const unsigned char *, int)
Definition fold-const.cc:8868
void shift_bytes_in_array_left(unsigned char *, unsigned int, unsigned int)
Definition fold-const.cc:9266
void fold_overflow_warning(const char *, enum warn_strict_overflow_code)
Definition fold-const.cc:372
enum tree_code fold_div_compare(enum tree_code, tree, tree, tree *, tree *, bool *)
Definition fold-const.cc:7531
bool tree_expr_signaling_nan_p(const_tree)
Definition fold-const.cc:14772
tree range_check_type(tree)
Definition fold-const.cc:5637
tree fold_abs_const(tree, tree)
Definition fold-const.cc:16141
bool tree_expr_maybe_signaling_nan_p(const_tree)
Definition fold-const.cc:14796
bool integer_valued_real_unary_p(tree_code, tree, int)
Definition fold-const.cc:15772
int folding_initializer
Definition fold-const.cc:94
tree build_fold_indirect_ref_loc(location_t, tree)
Definition fold-const.cc:16551
tree fold(tree)
Definition fold-const.cc:13797
tree fold_unary_loc(location_t, enum tree_code, tree, tree)
Definition fold-const.cc:9476
tree round_down_loc(location_t, tree, int)
Definition fold-const.cc:16693
bool integer_valued_real_single_p(tree, int)
Definition fold-const.cc:15869
combined_fn
Definition genmatch.cc:365
tree_code
Definition genmatch.cc:347
T * ggc_alloc(ALONE_CXX_MEM_STAT_INFO)
Definition ggc.h:184
overflow_type
Definition wide-int.h:377
signop
Definition signop.h:28
#define CXX_MEM_STAT_INFO
Definition statistics.h:58
Definition gimple.h:225
Definition gengtype.h:252
#define NULL
Definition system.h:50
size_type_kind
Definition tree-core.h:928