xref: /dflybsd-src/contrib/gcc-8.0/gcc/fold-const.h (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj /* Fold a constant sub-tree into a single node for C-compiler
2*38fd1498Szrj    Copyright (C) 1987-2018 Free Software Foundation, Inc.
3*38fd1498Szrj 
4*38fd1498Szrj This file is part of GCC.
5*38fd1498Szrj 
6*38fd1498Szrj GCC is free software; you can redistribute it and/or modify it under
7*38fd1498Szrj the terms of the GNU General Public License as published by the Free
8*38fd1498Szrj Software Foundation; either version 3, or (at your option) any later
9*38fd1498Szrj version.
10*38fd1498Szrj 
11*38fd1498Szrj GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12*38fd1498Szrj WARRANTY; without even the implied warranty of MERCHANTABILITY or
13*38fd1498Szrj FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14*38fd1498Szrj for more details.
15*38fd1498Szrj 
16*38fd1498Szrj You should have received a copy of the GNU General Public License
17*38fd1498Szrj along with GCC; see the file COPYING3.  If not see
18*38fd1498Szrj <http://www.gnu.org/licenses/>.  */
19*38fd1498Szrj 
20*38fd1498Szrj #ifndef GCC_FOLD_CONST_H
21*38fd1498Szrj #define GCC_FOLD_CONST_H
22*38fd1498Szrj 
23*38fd1498Szrj /* Non-zero if we are folding constants inside an initializer; zero
24*38fd1498Szrj    otherwise.  */
25*38fd1498Szrj extern int folding_initializer;
26*38fd1498Szrj 
27*38fd1498Szrj /* Convert between trees and native memory representation.  */
28*38fd1498Szrj extern int native_encode_expr (const_tree, unsigned char *, int, int off = -1);
29*38fd1498Szrj extern tree native_interpret_expr (tree, const unsigned char *, int);
30*38fd1498Szrj 
31*38fd1498Szrj /* Fold constants as much as possible in an expression.
32*38fd1498Szrj    Returns the simplified expression.
33*38fd1498Szrj    Acts only on the top level of the expression;
34*38fd1498Szrj    if the argument itself cannot be simplified, its
35*38fd1498Szrj    subexpressions are not changed.  */
36*38fd1498Szrj 
37*38fd1498Szrj extern tree fold (tree);
38*38fd1498Szrj #define fold_unary(CODE,T1,T2)\
39*38fd1498Szrj    fold_unary_loc (UNKNOWN_LOCATION, CODE, T1, T2)
40*38fd1498Szrj extern tree fold_unary_loc (location_t, enum tree_code, tree, tree);
41*38fd1498Szrj #define fold_unary_ignore_overflow(CODE,T1,T2)\
42*38fd1498Szrj    fold_unary_ignore_overflow_loc (UNKNOWN_LOCATION, CODE, T1, T2)
43*38fd1498Szrj extern tree fold_unary_ignore_overflow_loc (location_t, enum tree_code, tree, tree);
44*38fd1498Szrj #define fold_binary(CODE,T1,T2,T3)\
45*38fd1498Szrj    fold_binary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3)
46*38fd1498Szrj extern tree fold_binary_loc (location_t, enum tree_code, tree, tree, tree);
47*38fd1498Szrj #define fold_ternary(CODE,T1,T2,T3,T4)\
48*38fd1498Szrj    fold_ternary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3, T4)
49*38fd1498Szrj extern tree fold_ternary_loc (location_t, enum tree_code, tree, tree, tree, tree);
50*38fd1498Szrj #define fold_build1(c,t1,t2)\
51*38fd1498Szrj    fold_build1_loc (UNKNOWN_LOCATION, c, t1, t2 MEM_STAT_INFO)
52*38fd1498Szrj extern tree fold_build1_loc (location_t, enum tree_code, tree,
53*38fd1498Szrj 			     tree CXX_MEM_STAT_INFO);
54*38fd1498Szrj #define fold_build2(c,t1,t2,t3)\
55*38fd1498Szrj    fold_build2_loc (UNKNOWN_LOCATION, c, t1, t2, t3 MEM_STAT_INFO)
56*38fd1498Szrj extern tree fold_build2_loc (location_t, enum tree_code, tree, tree,
57*38fd1498Szrj 			     tree CXX_MEM_STAT_INFO);
58*38fd1498Szrj #define fold_build3(c,t1,t2,t3,t4)\
59*38fd1498Szrj    fold_build3_loc (UNKNOWN_LOCATION, c, t1, t2, t3, t4 MEM_STAT_INFO)
60*38fd1498Szrj extern tree fold_build3_loc (location_t, enum tree_code, tree, tree, tree,
61*38fd1498Szrj 				  tree CXX_MEM_STAT_INFO);
62*38fd1498Szrj extern tree fold_build1_initializer_loc (location_t, enum tree_code, tree, tree);
63*38fd1498Szrj extern tree fold_build2_initializer_loc (location_t, enum tree_code, tree, tree, tree);
64*38fd1498Szrj #define fold_build_call_array(T1,T2,N,T4)\
65*38fd1498Szrj    fold_build_call_array_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
66*38fd1498Szrj extern tree fold_build_call_array_loc (location_t, tree, tree, int, tree *);
67*38fd1498Szrj #define fold_build_call_array_initializer(T1,T2,N,T4)\
68*38fd1498Szrj    fold_build_call_array_initializer_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
69*38fd1498Szrj extern tree fold_build_call_array_initializer_loc (location_t, tree, tree, int, tree *);
70*38fd1498Szrj extern tree get_array_ctor_element_at_index (tree, offset_int);
71*38fd1498Szrj extern bool fold_convertible_p (const_tree, const_tree);
72*38fd1498Szrj #define fold_convert(T1,T2)\
73*38fd1498Szrj    fold_convert_loc (UNKNOWN_LOCATION, T1, T2)
74*38fd1498Szrj extern tree fold_convert_loc (location_t, tree, tree);
75*38fd1498Szrj extern tree fold_single_bit_test (location_t, enum tree_code, tree, tree, tree);
76*38fd1498Szrj extern tree fold_ignored_result (tree);
77*38fd1498Szrj extern tree fold_abs_const (tree, tree);
78*38fd1498Szrj extern tree fold_indirect_ref_1 (location_t, tree, tree);
79*38fd1498Szrj extern void fold_defer_overflow_warnings (void);
80*38fd1498Szrj extern void fold_undefer_overflow_warnings (bool, const gimple *, int);
81*38fd1498Szrj extern void fold_undefer_and_ignore_overflow_warnings (void);
82*38fd1498Szrj extern bool fold_deferring_overflow_warnings_p (void);
83*38fd1498Szrj extern void fold_overflow_warning (const char*, enum warn_strict_overflow_code);
84*38fd1498Szrj extern enum tree_code fold_div_compare (enum tree_code, tree, tree,
85*38fd1498Szrj 					tree *, tree *, bool *);
86*38fd1498Szrj extern int operand_equal_p (const_tree, const_tree, unsigned int);
87*38fd1498Szrj extern int multiple_of_p (tree, const_tree, const_tree);
88*38fd1498Szrj #define omit_one_operand(T1,T2,T3)\
89*38fd1498Szrj    omit_one_operand_loc (UNKNOWN_LOCATION, T1, T2, T3)
90*38fd1498Szrj extern tree omit_one_operand_loc (location_t, tree, tree, tree);
91*38fd1498Szrj #define omit_two_operands(T1,T2,T3,T4)\
92*38fd1498Szrj    omit_two_operands_loc (UNKNOWN_LOCATION, T1, T2, T3, T4)
93*38fd1498Szrj extern tree omit_two_operands_loc (location_t, tree, tree, tree, tree);
94*38fd1498Szrj #define invert_truthvalue(T)\
95*38fd1498Szrj    invert_truthvalue_loc (UNKNOWN_LOCATION, T)
96*38fd1498Szrj extern tree invert_truthvalue_loc (location_t, tree);
97*38fd1498Szrj extern tree fold_unary_to_constant (enum tree_code, tree, tree);
98*38fd1498Szrj extern tree fold_binary_to_constant (enum tree_code, tree, tree, tree);
99*38fd1498Szrj extern tree fold_read_from_constant_string (tree);
100*38fd1498Szrj extern tree int_const_binop (enum tree_code, const_tree, const_tree);
101*38fd1498Szrj #define build_fold_addr_expr(T)\
102*38fd1498Szrj         build_fold_addr_expr_loc (UNKNOWN_LOCATION, (T))
103*38fd1498Szrj extern tree build_fold_addr_expr_loc (location_t, tree);
104*38fd1498Szrj #define build_fold_addr_expr_with_type(T,TYPE)\
105*38fd1498Szrj         build_fold_addr_expr_with_type_loc (UNKNOWN_LOCATION, (T), TYPE)
106*38fd1498Szrj extern tree build_fold_addr_expr_with_type_loc (location_t, tree, tree);
107*38fd1498Szrj extern tree fold_build_cleanup_point_expr (tree type, tree expr);
108*38fd1498Szrj #define build_fold_indirect_ref(T)\
109*38fd1498Szrj         build_fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
110*38fd1498Szrj extern tree build_fold_indirect_ref_loc (location_t, tree);
111*38fd1498Szrj #define fold_indirect_ref(T)\
112*38fd1498Szrj         fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
113*38fd1498Szrj extern tree fold_indirect_ref_loc (location_t, tree);
114*38fd1498Szrj extern tree build_simple_mem_ref_loc (location_t, tree);
115*38fd1498Szrj #define build_simple_mem_ref(T)\
116*38fd1498Szrj 	build_simple_mem_ref_loc (UNKNOWN_LOCATION, T)
117*38fd1498Szrj extern poly_offset_int mem_ref_offset (const_tree);
118*38fd1498Szrj extern tree build_invariant_address (tree, tree, poly_int64);
119*38fd1498Szrj extern tree constant_boolean_node (bool, tree);
120*38fd1498Szrj extern tree div_if_zero_remainder (const_tree, const_tree);
121*38fd1498Szrj 
122*38fd1498Szrj extern bool tree_swap_operands_p (const_tree, const_tree);
123*38fd1498Szrj extern enum tree_code swap_tree_comparison (enum tree_code);
124*38fd1498Szrj 
125*38fd1498Szrj extern bool ptr_difference_const (tree, tree, poly_int64_pod *);
126*38fd1498Szrj extern enum tree_code invert_tree_comparison (enum tree_code, bool);
127*38fd1498Szrj 
128*38fd1498Szrj extern bool tree_unary_nonzero_warnv_p (enum tree_code, tree, tree, bool *);
129*38fd1498Szrj extern bool tree_binary_nonzero_warnv_p (enum tree_code, tree, tree, tree op1,
130*38fd1498Szrj                                          bool *);
131*38fd1498Szrj extern bool tree_single_nonzero_warnv_p (tree, bool *);
132*38fd1498Szrj extern bool tree_unary_nonnegative_warnv_p (enum tree_code, tree, tree,
133*38fd1498Szrj 					    bool *, int);
134*38fd1498Szrj extern bool tree_binary_nonnegative_warnv_p (enum tree_code, tree, tree, tree,
135*38fd1498Szrj 					     bool *, int);
136*38fd1498Szrj extern bool tree_single_nonnegative_warnv_p (tree, bool *, int);
137*38fd1498Szrj extern bool tree_call_nonnegative_warnv_p (tree, combined_fn, tree, tree,
138*38fd1498Szrj 					   bool *, int);
139*38fd1498Szrj 
140*38fd1498Szrj extern bool integer_valued_real_unary_p (tree_code, tree, int);
141*38fd1498Szrj extern bool integer_valued_real_binary_p (tree_code, tree, tree, int);
142*38fd1498Szrj extern bool integer_valued_real_call_p (combined_fn, tree, tree, int);
143*38fd1498Szrj extern bool integer_valued_real_single_p (tree, int);
144*38fd1498Szrj extern bool integer_valued_real_p (tree, int = 0);
145*38fd1498Szrj 
146*38fd1498Szrj extern bool fold_real_zero_addition_p (const_tree, const_tree, int);
147*38fd1498Szrj extern tree combine_comparisons (location_t, enum tree_code, enum tree_code,
148*38fd1498Szrj 				 enum tree_code, tree, tree, tree);
149*38fd1498Szrj extern void debug_fold_checksum (const_tree);
150*38fd1498Szrj extern bool may_negate_without_overflow_p (const_tree);
151*38fd1498Szrj #define round_up(T,N) round_up_loc (UNKNOWN_LOCATION, T, N)
152*38fd1498Szrj extern tree round_up_loc (location_t, tree, unsigned int);
153*38fd1498Szrj #define round_down(T,N) round_down_loc (UNKNOWN_LOCATION, T, N)
154*38fd1498Szrj extern tree round_down_loc (location_t, tree, int);
155*38fd1498Szrj extern tree size_int_kind (poly_int64, enum size_type_kind);
156*38fd1498Szrj #define size_binop(CODE,T1,T2)\
157*38fd1498Szrj    size_binop_loc (UNKNOWN_LOCATION, CODE, T1, T2)
158*38fd1498Szrj extern tree size_binop_loc (location_t, enum tree_code, tree, tree);
159*38fd1498Szrj #define size_diffop(T1,T2)\
160*38fd1498Szrj    size_diffop_loc (UNKNOWN_LOCATION, T1, T2)
161*38fd1498Szrj extern tree size_diffop_loc (location_t, tree, tree);
162*38fd1498Szrj 
163*38fd1498Szrj /* Return an expr equal to X but certainly not valid as an lvalue.  */
164*38fd1498Szrj #define non_lvalue(T) non_lvalue_loc (UNKNOWN_LOCATION, T)
165*38fd1498Szrj extern tree non_lvalue_loc (location_t, tree);
166*38fd1498Szrj 
167*38fd1498Szrj extern bool tree_expr_nonzero_p (tree);
168*38fd1498Szrj extern bool tree_expr_nonnegative_p (tree);
169*38fd1498Szrj extern bool tree_expr_nonnegative_warnv_p (tree, bool *, int = 0);
170*38fd1498Szrj extern tree make_range (tree, int *, tree *, tree *, bool *);
171*38fd1498Szrj extern tree make_range_step (location_t, enum tree_code, tree, tree, tree,
172*38fd1498Szrj 			     tree *, tree *, int *, bool *);
173*38fd1498Szrj extern tree range_check_type (tree);
174*38fd1498Szrj extern tree build_range_check (location_t, tree, tree, int, tree, tree);
175*38fd1498Szrj extern bool merge_ranges (int *, tree *, tree *, int, tree, tree, int,
176*38fd1498Szrj 			  tree, tree);
177*38fd1498Szrj extern tree sign_bit_p (tree, const_tree);
178*38fd1498Szrj extern tree exact_inverse (tree, tree);
179*38fd1498Szrj extern bool expr_not_equal_to (tree t, const wide_int &);
180*38fd1498Szrj extern tree const_unop (enum tree_code, tree, tree);
181*38fd1498Szrj extern tree const_binop (enum tree_code, tree, tree, tree);
182*38fd1498Szrj extern bool negate_mathfn_p (combined_fn);
183*38fd1498Szrj extern const char *c_getstr (tree, unsigned HOST_WIDE_INT *strlen = NULL);
184*38fd1498Szrj 
185*38fd1498Szrj /* Return OFF converted to a pointer offset type suitable as offset for
186*38fd1498Szrj    POINTER_PLUS_EXPR.  Use location LOC for this conversion.  */
187*38fd1498Szrj extern tree convert_to_ptrofftype_loc (location_t loc, tree off);
188*38fd1498Szrj 
189*38fd1498Szrj #define convert_to_ptrofftype(t) convert_to_ptrofftype_loc (UNKNOWN_LOCATION, t)
190*38fd1498Szrj 
191*38fd1498Szrj /* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF.  */
192*38fd1498Szrj extern tree fold_build_pointer_plus_loc (location_t loc, tree ptr, tree off);
193*38fd1498Szrj 
194*38fd1498Szrj #define fold_build_pointer_plus(p,o) \
195*38fd1498Szrj 	fold_build_pointer_plus_loc (UNKNOWN_LOCATION, p, o)
196*38fd1498Szrj 
197*38fd1498Szrj /* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF.  */
198*38fd1498Szrj extern tree fold_build_pointer_plus_hwi_loc (location_t loc, tree ptr, HOST_WIDE_INT off);
199*38fd1498Szrj 
200*38fd1498Szrj #define fold_build_pointer_plus_hwi(p,o) \
201*38fd1498Szrj 	fold_build_pointer_plus_hwi_loc (UNKNOWN_LOCATION, p, o)
202*38fd1498Szrj #endif // GCC_FOLD_CONST_H
203