Merge trunk version 209848 into gupc branch.
[official-gcc.git] / gcc / fold-const.h
blobf69e9f890af637e508c928873f61209e9598cc6e
1 /* Fold a constant sub-tree into a single node for C-compiler
2 Copyright (C) 1987-2014 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
9 version.
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
14 for more details.
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
24 otherwise. */
25 extern int folding_initializer;
27 /* Convert between trees and native memory representation. */
28 extern int native_encode_expr (const_tree, unsigned char *, int);
29 extern tree native_interpret_expr (tree, const unsigned char *, int);
31 /* Fold constants as much as possible in an expression.
32 Returns the simplified expression.
33 Acts only on the top level of the expression;
34 if the argument itself cannot be simplified, its
35 subexpressions are not changed. */
37 extern tree fold (tree);
38 #define fold_unary(CODE,T1,T2)\
39 fold_unary_loc (UNKNOWN_LOCATION, CODE, T1, T2)
40 extern tree fold_unary_loc (location_t, enum tree_code, tree, tree);
41 #define fold_unary_ignore_overflow(CODE,T1,T2)\
42 fold_unary_ignore_overflow_loc (UNKNOWN_LOCATION, CODE, T1, T2)
43 extern tree fold_unary_ignore_overflow_loc (location_t, enum tree_code, tree, tree);
44 #define fold_binary(CODE,T1,T2,T3)\
45 fold_binary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3)
46 extern tree fold_binary_loc (location_t, enum tree_code, tree, tree, tree);
47 #define fold_ternary(CODE,T1,T2,T3,T4)\
48 fold_ternary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3, T4)
49 extern tree fold_ternary_loc (location_t, enum tree_code, tree, tree, tree, tree);
50 #define fold_build1(c,t1,t2)\
51 fold_build1_stat_loc (UNKNOWN_LOCATION, c, t1, t2 MEM_STAT_INFO)
52 #define fold_build1_loc(l,c,t1,t2)\
53 fold_build1_stat_loc (l, c, t1, t2 MEM_STAT_INFO)
54 extern tree fold_build1_stat_loc (location_t, enum tree_code, tree,
55 tree MEM_STAT_DECL);
56 #define fold_build2(c,t1,t2,t3)\
57 fold_build2_stat_loc (UNKNOWN_LOCATION, c, t1, t2, t3 MEM_STAT_INFO)
58 #define fold_build2_loc(l,c,t1,t2,t3)\
59 fold_build2_stat_loc (l, c, t1, t2, t3 MEM_STAT_INFO)
60 extern tree fold_build2_stat_loc (location_t, enum tree_code, tree, tree,
61 tree MEM_STAT_DECL);
62 #define fold_build3(c,t1,t2,t3,t4)\
63 fold_build3_stat_loc (UNKNOWN_LOCATION, c, t1, t2, t3, t4 MEM_STAT_INFO)
64 #define fold_build3_loc(l,c,t1,t2,t3,t4)\
65 fold_build3_stat_loc (l, c, t1, t2, t3, t4 MEM_STAT_INFO)
66 extern tree fold_build3_stat_loc (location_t, enum tree_code, tree, tree, tree,
67 tree MEM_STAT_DECL);
68 extern tree fold_build1_initializer_loc (location_t, enum tree_code, tree, tree);
69 extern tree fold_build2_initializer_loc (location_t, enum tree_code, tree, tree, tree);
70 #define fold_build_call_array(T1,T2,N,T4)\
71 fold_build_call_array_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
72 extern tree fold_build_call_array_loc (location_t, tree, tree, int, tree *);
73 #define fold_build_call_array_initializer(T1,T2,N,T4)\
74 fold_build_call_array_initializer_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
75 extern tree fold_build_call_array_initializer_loc (location_t, tree, tree, int, tree *);
76 extern bool fold_convertible_p (const_tree, const_tree);
77 #define fold_convert(T1,T2)\
78 fold_convert_loc (UNKNOWN_LOCATION, T1, T2)
79 extern tree fold_convert_loc (location_t, tree, tree);
80 extern tree fold_single_bit_test (location_t, enum tree_code, tree, tree, tree);
81 extern tree fold_ignored_result (tree);
82 extern tree fold_abs_const (tree, tree);
83 extern tree fold_indirect_ref_1 (location_t, tree, tree);
84 extern void fold_defer_overflow_warnings (void);
85 extern void fold_undefer_overflow_warnings (bool, const_gimple, int);
86 extern void fold_undefer_and_ignore_overflow_warnings (void);
87 extern bool fold_deferring_overflow_warnings_p (void);
88 extern tree fold_fma (location_t, tree, tree, tree, tree);
89 extern int operand_equal_p (const_tree, const_tree, unsigned int);
90 extern int multiple_of_p (tree, const_tree, const_tree);
91 #define omit_one_operand(T1,T2,T3)\
92 omit_one_operand_loc (UNKNOWN_LOCATION, T1, T2, T3)
93 extern tree omit_one_operand_loc (location_t, tree, tree, tree);
94 #define omit_two_operands(T1,T2,T3,T4)\
95 omit_two_operands_loc (UNKNOWN_LOCATION, T1, T2, T3, T4)
96 extern tree omit_two_operands_loc (location_t, tree, tree, tree, tree);
97 #define invert_truthvalue(T)\
98 invert_truthvalue_loc (UNKNOWN_LOCATION, T)
99 extern tree invert_truthvalue_loc (location_t, tree);
100 extern tree fold_unary_to_constant (enum tree_code, tree, tree);
101 extern tree fold_binary_to_constant (enum tree_code, tree, tree, tree);
102 extern tree fold_read_from_constant_string (tree);
103 extern tree int_const_binop (enum tree_code, const_tree, const_tree);
104 #define build_fold_addr_expr(T)\
105 build_fold_addr_expr_loc (UNKNOWN_LOCATION, (T))
106 extern tree build_fold_addr_expr_loc (location_t, tree);
107 #define build_fold_addr_expr_with_type(T,TYPE)\
108 build_fold_addr_expr_with_type_loc (UNKNOWN_LOCATION, (T), TYPE)
109 extern tree build_fold_addr_expr_with_type_loc (location_t, tree, tree);
110 extern tree fold_build_cleanup_point_expr (tree type, tree expr);
111 extern tree fold_strip_sign_ops (tree);
112 #define build_fold_indirect_ref(T)\
113 build_fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
114 extern tree build_fold_indirect_ref_loc (location_t, tree);
115 #define fold_indirect_ref(T)\
116 fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
117 extern tree fold_indirect_ref_loc (location_t, tree);
118 extern tree build_simple_mem_ref_loc (location_t, tree);
119 #define build_simple_mem_ref(T)\
120 build_simple_mem_ref_loc (UNKNOWN_LOCATION, T)
121 extern double_int mem_ref_offset (const_tree);
122 extern tree build_invariant_address (tree, tree, HOST_WIDE_INT);
123 extern tree constant_boolean_node (bool, tree);
124 extern tree div_if_zero_remainder (enum tree_code, const_tree, const_tree);
126 extern bool tree_swap_operands_p (const_tree, const_tree, bool);
127 extern enum tree_code swap_tree_comparison (enum tree_code);
129 extern bool ptr_difference_const (tree, tree, HOST_WIDE_INT *);
130 extern enum tree_code invert_tree_comparison (enum tree_code, bool);
132 extern bool tree_unary_nonzero_warnv_p (enum tree_code, tree, tree, bool *);
133 extern bool tree_binary_nonzero_warnv_p (enum tree_code, tree, tree, tree op1,
134 bool *);
135 extern bool tree_single_nonzero_warnv_p (tree, bool *);
136 extern bool tree_unary_nonnegative_warnv_p (enum tree_code, tree, tree, bool *);
137 extern bool tree_binary_nonnegative_warnv_p (enum tree_code, tree, tree, tree,
138 bool *);
139 extern bool tree_single_nonnegative_warnv_p (tree t, bool *strict_overflow_p);
140 extern bool tree_call_nonnegative_warnv_p (tree, tree, tree, tree, bool *);
142 extern bool fold_real_zero_addition_p (const_tree, const_tree, int);
143 extern tree combine_comparisons (location_t, enum tree_code, enum tree_code,
144 enum tree_code, tree, tree, tree);
145 extern void debug_fold_checksum (const_tree);
146 extern bool may_negate_without_overflow_p (const_tree);
147 #define round_up(T,N) round_up_loc (UNKNOWN_LOCATION, T, N)
148 extern tree round_up_loc (location_t, tree, int);
149 #define round_down(T,N) round_down_loc (UNKNOWN_LOCATION, T, N)
150 extern tree round_down_loc (location_t, tree, int);
151 extern tree size_int_kind (HOST_WIDE_INT, enum size_type_kind);
152 #define size_binop(CODE,T1,T2)\
153 size_binop_loc (UNKNOWN_LOCATION, CODE, T1, T2)
154 extern tree size_binop_loc (location_t, enum tree_code, tree, tree);
155 #define size_diffop(T1,T2)\
156 size_diffop_loc (UNKNOWN_LOCATION, T1, T2)
157 extern tree size_diffop_loc (location_t, tree, tree);
159 /* Return an expr equal to X but certainly not valid as an lvalue. */
160 #define non_lvalue(T) non_lvalue_loc (UNKNOWN_LOCATION, T)
161 extern tree non_lvalue_loc (location_t, tree);
163 extern bool tree_expr_nonnegative_p (tree);
164 extern bool tree_expr_nonnegative_warnv_p (tree, bool *);
165 extern tree make_range (tree, int *, tree *, tree *, bool *);
166 extern tree make_range_step (location_t, enum tree_code, tree, tree, tree,
167 tree *, tree *, int *, bool *);
168 extern tree build_range_check (location_t, tree, tree, int, tree, tree);
169 extern bool merge_ranges (int *, tree *, tree *, int, tree, tree, int,
170 tree, tree);
172 #endif // GCC_FOLD_CONST_H