]> gcc.gnu.org Git - gcc.git/blame - gcc/fold-const.h
tree-optimization/93868 copy SLP tree before re-arranging stmts
[gcc.git] / gcc / fold-const.h
CommitLineData
d8a2d370 1/* Fold a constant sub-tree into a single node for C-compiler
8d9254fc 2 Copyright (C) 1987-2020 Free Software Foundation, Inc.
d8a2d370
DN
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/* Non-zero if we are folding constants inside an initializer; zero
24 otherwise. */
25extern int folding_initializer;
26
27/* Convert between trees and native memory representation. */
b2505143 28extern int native_encode_expr (const_tree, unsigned char *, int, int off = -1);
ea69031c
JJ
29extern int native_encode_initializer (tree, unsigned char *, int,
30 int off = -1);
d8a2d370 31extern tree native_interpret_expr (tree, const unsigned char *, int);
ea69031c 32extern bool can_native_interpret_type_p (tree);
8aba425f
JJ
33extern void shift_bytes_in_array_left (unsigned char *, unsigned int,
34 unsigned int);
35extern void shift_bytes_in_array_right (unsigned char *, unsigned int,
36 unsigned int);
d8a2d370
DN
37
38/* Fold constants as much as possible in an expression.
39 Returns the simplified expression.
40 Acts only on the top level of the expression;
41 if the argument itself cannot be simplified, its
42 subexpressions are not changed. */
43
44extern tree fold (tree);
45#define fold_unary(CODE,T1,T2)\
46 fold_unary_loc (UNKNOWN_LOCATION, CODE, T1, T2)
47extern tree fold_unary_loc (location_t, enum tree_code, tree, tree);
48#define fold_unary_ignore_overflow(CODE,T1,T2)\
49 fold_unary_ignore_overflow_loc (UNKNOWN_LOCATION, CODE, T1, T2)
50extern tree fold_unary_ignore_overflow_loc (location_t, enum tree_code, tree, tree);
51#define fold_binary(CODE,T1,T2,T3)\
52 fold_binary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3)
53extern tree fold_binary_loc (location_t, enum tree_code, tree, tree, tree);
54#define fold_ternary(CODE,T1,T2,T3,T4)\
55 fold_ternary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3, T4)
56extern tree fold_ternary_loc (location_t, enum tree_code, tree, tree, tree, tree);
57#define fold_build1(c,t1,t2)\
226b8289
TS
58 fold_build1_loc (UNKNOWN_LOCATION, c, t1, t2 MEM_STAT_INFO)
59extern tree fold_build1_loc (location_t, enum tree_code, tree,
60 tree CXX_MEM_STAT_INFO);
d8a2d370 61#define fold_build2(c,t1,t2,t3)\
226b8289
TS
62 fold_build2_loc (UNKNOWN_LOCATION, c, t1, t2, t3 MEM_STAT_INFO)
63extern tree fold_build2_loc (location_t, enum tree_code, tree, tree,
64 tree CXX_MEM_STAT_INFO);
d8a2d370 65#define fold_build3(c,t1,t2,t3,t4)\
226b8289
TS
66 fold_build3_loc (UNKNOWN_LOCATION, c, t1, t2, t3, t4 MEM_STAT_INFO)
67extern tree fold_build3_loc (location_t, enum tree_code, tree, tree, tree,
68 tree CXX_MEM_STAT_INFO);
d8a2d370
DN
69extern tree fold_build1_initializer_loc (location_t, enum tree_code, tree, tree);
70extern tree fold_build2_initializer_loc (location_t, enum tree_code, tree, tree, tree);
71#define fold_build_call_array(T1,T2,N,T4)\
72 fold_build_call_array_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
73extern tree fold_build_call_array_loc (location_t, tree, tree, int, tree *);
74#define fold_build_call_array_initializer(T1,T2,N,T4)\
75 fold_build_call_array_initializer_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
76extern tree fold_build_call_array_initializer_loc (location_t, tree, tree, int, tree *);
831e688a
RB
77extern tree get_array_ctor_element_at_index (tree, offset_int,
78 unsigned * = NULL);
d8a2d370
DN
79extern bool fold_convertible_p (const_tree, const_tree);
80#define fold_convert(T1,T2)\
81 fold_convert_loc (UNKNOWN_LOCATION, T1, T2)
82extern tree fold_convert_loc (location_t, tree, tree);
83extern tree fold_single_bit_test (location_t, enum tree_code, tree, tree, tree);
84extern tree fold_ignored_result (tree);
85extern tree fold_abs_const (tree, tree);
86extern tree fold_indirect_ref_1 (location_t, tree, tree);
87extern void fold_defer_overflow_warnings (void);
355fe088 88extern void fold_undefer_overflow_warnings (bool, const gimple *, int);
d8a2d370
DN
89extern void fold_undefer_and_ignore_overflow_warnings (void);
90extern bool fold_deferring_overflow_warnings_p (void);
a8b85ce9 91extern void fold_overflow_warning (const char*, enum warn_strict_overflow_code);
8d1628eb
JJ
92extern enum tree_code fold_div_compare (enum tree_code, tree, tree,
93 tree *, tree *, bool *);
7f4a8ee0 94extern bool operand_equal_p (const_tree, const_tree, unsigned int flags = 0);
d8a2d370
DN
95extern int multiple_of_p (tree, const_tree, const_tree);
96#define omit_one_operand(T1,T2,T3)\
97 omit_one_operand_loc (UNKNOWN_LOCATION, T1, T2, T3)
98extern tree omit_one_operand_loc (location_t, tree, tree, tree);
99#define omit_two_operands(T1,T2,T3,T4)\
100 omit_two_operands_loc (UNKNOWN_LOCATION, T1, T2, T3, T4)
101extern tree omit_two_operands_loc (location_t, tree, tree, tree, tree);
102#define invert_truthvalue(T)\
103 invert_truthvalue_loc (UNKNOWN_LOCATION, T)
104extern tree invert_truthvalue_loc (location_t, tree);
105extern tree fold_unary_to_constant (enum tree_code, tree, tree);
106extern tree fold_binary_to_constant (enum tree_code, tree, tree, tree);
f2901002
JJ
107extern tree fold_bit_and_mask (tree, tree, enum tree_code,
108 tree, enum tree_code, tree, tree,
109 tree, enum tree_code, tree, tree, tree *);
d8a2d370 110extern tree fold_read_from_constant_string (tree);
4f8b89f0 111extern tree fold_read_from_vector (tree, poly_uint64);
ebd733a7
RB
112#if GCC_VEC_PERN_INDICES_H
113extern tree fold_vec_perm (tree, tree, tree, const vec_perm_indices &);
114#endif
5f9d2c58
AH
115extern bool wide_int_binop (wide_int &res, enum tree_code,
116 const wide_int &arg1, const wide_int &arg2,
117 signop, wi::overflow_type *);
118extern tree int_const_binop (enum tree_code, const_tree, const_tree, int = 1);
d8a2d370
DN
119#define build_fold_addr_expr(T)\
120 build_fold_addr_expr_loc (UNKNOWN_LOCATION, (T))
121extern tree build_fold_addr_expr_loc (location_t, tree);
122#define build_fold_addr_expr_with_type(T,TYPE)\
123 build_fold_addr_expr_with_type_loc (UNKNOWN_LOCATION, (T), TYPE)
124extern tree build_fold_addr_expr_with_type_loc (location_t, tree, tree);
125extern tree fold_build_cleanup_point_expr (tree type, tree expr);
d8a2d370
DN
126#define build_fold_indirect_ref(T)\
127 build_fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
128extern tree build_fold_indirect_ref_loc (location_t, tree);
129#define fold_indirect_ref(T)\
130 fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
131extern tree fold_indirect_ref_loc (location_t, tree);
132extern tree build_simple_mem_ref_loc (location_t, tree);
133#define build_simple_mem_ref(T)\
134 build_simple_mem_ref_loc (UNKNOWN_LOCATION, T)
aca52e6f 135extern poly_offset_int mem_ref_offset (const_tree);
36fd6408 136extern tree build_invariant_address (tree, tree, poly_int64);
d8a2d370 137extern tree constant_boolean_node (bool, tree);
807e902e 138extern tree div_if_zero_remainder (const_tree, const_tree);
d8a2d370 139
14e72812 140extern bool tree_swap_operands_p (const_tree, const_tree);
d8a2d370
DN
141extern enum tree_code swap_tree_comparison (enum tree_code);
142
f37fac2b 143extern bool ptr_difference_const (tree, tree, poly_int64_pod *);
d8a2d370 144extern enum tree_code invert_tree_comparison (enum tree_code, bool);
2c58d42c 145extern bool inverse_conditions_p (const_tree, const_tree);
d8a2d370
DN
146
147extern bool tree_unary_nonzero_warnv_p (enum tree_code, tree, tree, bool *);
148extern bool tree_binary_nonzero_warnv_p (enum tree_code, tree, tree, tree op1,
149 bool *);
150extern bool tree_single_nonzero_warnv_p (tree, bool *);
68e57f04
RS
151extern bool tree_unary_nonnegative_warnv_p (enum tree_code, tree, tree,
152 bool *, int);
d8a2d370 153extern bool tree_binary_nonnegative_warnv_p (enum tree_code, tree, tree, tree,
68e57f04
RS
154 bool *, int);
155extern bool tree_single_nonnegative_warnv_p (tree, bool *, int);
1d9da71f
RS
156extern bool tree_call_nonnegative_warnv_p (tree, combined_fn, tree, tree,
157 bool *, int);
d8a2d370 158
67dbe582
RS
159extern bool integer_valued_real_unary_p (tree_code, tree, int);
160extern bool integer_valued_real_binary_p (tree_code, tree, tree, int);
1d9da71f 161extern bool integer_valued_real_call_p (combined_fn, tree, tree, int);
67dbe582
RS
162extern bool integer_valued_real_single_p (tree, int);
163extern bool integer_valued_real_p (tree, int = 0);
164
d8a2d370
DN
165extern bool fold_real_zero_addition_p (const_tree, const_tree, int);
166extern tree combine_comparisons (location_t, enum tree_code, enum tree_code,
167 enum tree_code, tree, tree, tree);
168extern void debug_fold_checksum (const_tree);
169extern bool may_negate_without_overflow_p (const_tree);
170#define round_up(T,N) round_up_loc (UNKNOWN_LOCATION, T, N)
605f12f4 171extern tree round_up_loc (location_t, tree, unsigned int);
d8a2d370
DN
172#define round_down(T,N) round_down_loc (UNKNOWN_LOCATION, T, N)
173extern tree round_down_loc (location_t, tree, int);
36fd6408 174extern tree size_int_kind (poly_int64, enum size_type_kind);
d8a2d370
DN
175#define size_binop(CODE,T1,T2)\
176 size_binop_loc (UNKNOWN_LOCATION, CODE, T1, T2)
177extern tree size_binop_loc (location_t, enum tree_code, tree, tree);
178#define size_diffop(T1,T2)\
179 size_diffop_loc (UNKNOWN_LOCATION, T1, T2)
180extern tree size_diffop_loc (location_t, tree, tree);
181
182/* Return an expr equal to X but certainly not valid as an lvalue. */
183#define non_lvalue(T) non_lvalue_loc (UNKNOWN_LOCATION, T)
184extern tree non_lvalue_loc (location_t, tree);
185
e36c1cfe 186extern bool tree_expr_nonzero_p (tree);
d8a2d370 187extern bool tree_expr_nonnegative_p (tree);
68e57f04 188extern bool tree_expr_nonnegative_warnv_p (tree, bool *, int = 0);
d8a2d370
DN
189extern tree make_range (tree, int *, tree *, tree *, bool *);
190extern tree make_range_step (location_t, enum tree_code, tree, tree, tree,
191 tree *, tree *, int *, bool *);
8d1628eb 192extern tree range_check_type (tree);
d8a2d370
DN
193extern tree build_range_check (location_t, tree, tree, int, tree, tree);
194extern bool merge_ranges (int *, tree *, tree *, int, tree, tree, int,
195 tree, tree);
a7f24614
RB
196extern tree sign_bit_p (tree, const_tree);
197extern tree exact_inverse (tree, tree);
20b8d734 198extern bool expr_not_equal_to (tree t, const wide_int &);
8006f46b
RB
199extern tree const_unop (enum tree_code, tree, tree);
200extern tree const_binop (enum tree_code, tree, tree, tree);
1d9da71f 201extern bool negate_mathfn_p (combined_fn);
d01b568a 202extern const char *c_getstr (tree, unsigned HOST_WIDE_INT * = NULL);
ba6557e2 203extern wide_int tree_nonzero_bits (const_tree);
d8a2d370 204
40e23961
MC
205/* Return OFF converted to a pointer offset type suitable as offset for
206 POINTER_PLUS_EXPR. Use location LOC for this conversion. */
207extern tree convert_to_ptrofftype_loc (location_t loc, tree off);
208
209#define convert_to_ptrofftype(t) convert_to_ptrofftype_loc (UNKNOWN_LOCATION, t)
210
211/* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF. */
212extern tree fold_build_pointer_plus_loc (location_t loc, tree ptr, tree off);
213
214#define fold_build_pointer_plus(p,o) \
215 fold_build_pointer_plus_loc (UNKNOWN_LOCATION, p, o)
216
217/* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF. */
218extern tree fold_build_pointer_plus_hwi_loc (location_t loc, tree ptr, HOST_WIDE_INT off);
219
220#define fold_build_pointer_plus_hwi(p,o) \
221 fold_build_pointer_plus_hwi_loc (UNKNOWN_LOCATION, p, o)
7f4a8ee0
ML
222
223
224/* Class used to compare gimple operands. */
225
226class operand_compare
227{
228public:
229 /* Return true if two operands are equal. The flags fields can be used
230 to specify OEP flags described above. */
231 virtual bool operand_equal_p (const_tree, const_tree, unsigned int flags);
232
233 /* Generate a hash value for an expression. This can be used iteratively
234 by passing a previous result as the HSTATE argument. */
235 virtual void hash_operand (const_tree, inchash::hash &, unsigned flags);
236
237protected:
238 /* Verify that when arguments (ARG0 and ARG1) are equal, then they have
239 an equal hash value. When the function knowns comparison return,
240 true is returned. Then RET is set to corresponding comparsion result. */
241 bool verify_hash_value (const_tree arg0, const_tree arg1, unsigned int flags,
242 bool *ret);
243};
244
d8a2d370 245#endif // GCC_FOLD_CONST_H
This page took 2.428539 seconds and 5 git commands to generate.