annotate gcc/fold-const.h @ 16:04ced10e8804

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