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