110d565efSmrg /* Fold a constant sub-tree into a single node for C-compiler
2*ec02198aSmrg    Copyright (C) 1987-2020 Free Software Foundation, Inc.
310d565efSmrg 
410d565efSmrg This file is part of GCC.
510d565efSmrg 
610d565efSmrg GCC is free software; you can redistribute it and/or modify it under
710d565efSmrg the terms of the GNU General Public License as published by the Free
810d565efSmrg Software Foundation; either version 3, or (at your option) any later
910d565efSmrg version.
1010d565efSmrg 
1110d565efSmrg GCC is distributed in the hope that it will be useful, but WITHOUT ANY
1210d565efSmrg WARRANTY; without even the implied warranty of MERCHANTABILITY or
1310d565efSmrg FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1410d565efSmrg for more details.
1510d565efSmrg 
1610d565efSmrg You should have received a copy of the GNU General Public License
1710d565efSmrg along with GCC; see the file COPYING3.  If not see
1810d565efSmrg <http://www.gnu.org/licenses/>.  */
1910d565efSmrg 
2010d565efSmrg #ifndef GCC_FOLD_CONST_H
2110d565efSmrg #define GCC_FOLD_CONST_H
2210d565efSmrg 
2310d565efSmrg /* Non-zero if we are folding constants inside an initializer; zero
2410d565efSmrg    otherwise.  */
2510d565efSmrg extern int folding_initializer;
2610d565efSmrg 
2710d565efSmrg /* Convert between trees and native memory representation.  */
2810d565efSmrg extern int native_encode_expr (const_tree, unsigned char *, int, int off = -1);
29*ec02198aSmrg extern int native_encode_initializer (tree, unsigned char *, int,
30*ec02198aSmrg 				      int off = -1);
3110d565efSmrg extern tree native_interpret_expr (tree, const unsigned char *, int);
32*ec02198aSmrg extern bool can_native_interpret_type_p (tree);
33*ec02198aSmrg extern void shift_bytes_in_array_left (unsigned char *, unsigned int,
34*ec02198aSmrg 				       unsigned int);
35*ec02198aSmrg extern void shift_bytes_in_array_right (unsigned char *, unsigned int,
36*ec02198aSmrg 					unsigned int);
3710d565efSmrg 
3810d565efSmrg /* Fold constants as much as possible in an expression.
3910d565efSmrg    Returns the simplified expression.
4010d565efSmrg    Acts only on the top level of the expression;
4110d565efSmrg    if the argument itself cannot be simplified, its
4210d565efSmrg    subexpressions are not changed.  */
4310d565efSmrg 
4410d565efSmrg extern tree fold (tree);
4510d565efSmrg #define fold_unary(CODE,T1,T2)\
4610d565efSmrg    fold_unary_loc (UNKNOWN_LOCATION, CODE, T1, T2)
4710d565efSmrg extern tree fold_unary_loc (location_t, enum tree_code, tree, tree);
4810d565efSmrg #define fold_unary_ignore_overflow(CODE,T1,T2)\
4910d565efSmrg    fold_unary_ignore_overflow_loc (UNKNOWN_LOCATION, CODE, T1, T2)
5010d565efSmrg extern tree fold_unary_ignore_overflow_loc (location_t, enum tree_code, tree, tree);
5110d565efSmrg #define fold_binary(CODE,T1,T2,T3)\
5210d565efSmrg    fold_binary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3)
5310d565efSmrg extern tree fold_binary_loc (location_t, enum tree_code, tree, tree, tree);
5410d565efSmrg #define fold_ternary(CODE,T1,T2,T3,T4)\
5510d565efSmrg    fold_ternary_loc (UNKNOWN_LOCATION, CODE, T1, T2, T3, T4)
5610d565efSmrg extern tree fold_ternary_loc (location_t, enum tree_code, tree, tree, tree, tree);
5710d565efSmrg #define fold_build1(c,t1,t2)\
58c7a68eb7Smrg    fold_build1_loc (UNKNOWN_LOCATION, c, t1, t2 MEM_STAT_INFO)
59c7a68eb7Smrg extern tree fold_build1_loc (location_t, enum tree_code, tree,
60c7a68eb7Smrg 			     tree CXX_MEM_STAT_INFO);
6110d565efSmrg #define fold_build2(c,t1,t2,t3)\
62c7a68eb7Smrg    fold_build2_loc (UNKNOWN_LOCATION, c, t1, t2, t3 MEM_STAT_INFO)
63c7a68eb7Smrg extern tree fold_build2_loc (location_t, enum tree_code, tree, tree,
64c7a68eb7Smrg 			     tree CXX_MEM_STAT_INFO);
6510d565efSmrg #define fold_build3(c,t1,t2,t3,t4)\
66c7a68eb7Smrg    fold_build3_loc (UNKNOWN_LOCATION, c, t1, t2, t3, t4 MEM_STAT_INFO)
67c7a68eb7Smrg extern tree fold_build3_loc (location_t, enum tree_code, tree, tree, tree,
68c7a68eb7Smrg 				  tree CXX_MEM_STAT_INFO);
6910d565efSmrg extern tree fold_build1_initializer_loc (location_t, enum tree_code, tree, tree);
7010d565efSmrg extern tree fold_build2_initializer_loc (location_t, enum tree_code, tree, tree, tree);
7110d565efSmrg #define fold_build_call_array(T1,T2,N,T4)\
7210d565efSmrg    fold_build_call_array_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
7310d565efSmrg extern tree fold_build_call_array_loc (location_t, tree, tree, int, tree *);
7410d565efSmrg #define fold_build_call_array_initializer(T1,T2,N,T4)\
7510d565efSmrg    fold_build_call_array_initializer_loc (UNKNOWN_LOCATION, T1, T2, N, T4)
7610d565efSmrg extern tree fold_build_call_array_initializer_loc (location_t, tree, tree, int, tree *);
77*ec02198aSmrg extern tree get_array_ctor_element_at_index (tree, offset_int,
78*ec02198aSmrg 					     unsigned * = NULL);
7910d565efSmrg extern bool fold_convertible_p (const_tree, const_tree);
8010d565efSmrg #define fold_convert(T1,T2)\
8110d565efSmrg    fold_convert_loc (UNKNOWN_LOCATION, T1, T2)
8210d565efSmrg extern tree fold_convert_loc (location_t, tree, tree);
8310d565efSmrg extern tree fold_single_bit_test (location_t, enum tree_code, tree, tree, tree);
8410d565efSmrg extern tree fold_ignored_result (tree);
8510d565efSmrg extern tree fold_abs_const (tree, tree);
8610d565efSmrg extern tree fold_indirect_ref_1 (location_t, tree, tree);
8710d565efSmrg extern void fold_defer_overflow_warnings (void);
8810d565efSmrg extern void fold_undefer_overflow_warnings (bool, const gimple *, int);
8910d565efSmrg extern void fold_undefer_and_ignore_overflow_warnings (void);
9010d565efSmrg extern bool fold_deferring_overflow_warnings_p (void);
9110d565efSmrg extern void fold_overflow_warning (const char*, enum warn_strict_overflow_code);
92c7a68eb7Smrg extern enum tree_code fold_div_compare (enum tree_code, tree, tree,
93c7a68eb7Smrg 					tree *, tree *, bool *);
94*ec02198aSmrg extern bool operand_equal_p (const_tree, const_tree, unsigned int flags = 0);
9510d565efSmrg extern int multiple_of_p (tree, const_tree, const_tree);
9610d565efSmrg #define omit_one_operand(T1,T2,T3)\
9710d565efSmrg    omit_one_operand_loc (UNKNOWN_LOCATION, T1, T2, T3)
9810d565efSmrg extern tree omit_one_operand_loc (location_t, tree, tree, tree);
9910d565efSmrg #define omit_two_operands(T1,T2,T3,T4)\
10010d565efSmrg    omit_two_operands_loc (UNKNOWN_LOCATION, T1, T2, T3, T4)
10110d565efSmrg extern tree omit_two_operands_loc (location_t, tree, tree, tree, tree);
10210d565efSmrg #define invert_truthvalue(T)\
10310d565efSmrg    invert_truthvalue_loc (UNKNOWN_LOCATION, T)
10410d565efSmrg extern tree invert_truthvalue_loc (location_t, tree);
10510d565efSmrg extern tree fold_unary_to_constant (enum tree_code, tree, tree);
10610d565efSmrg extern tree fold_binary_to_constant (enum tree_code, tree, tree, tree);
1070fc04c29Smrg extern tree fold_bit_and_mask (tree, tree, enum tree_code,
1080fc04c29Smrg 			       tree, enum tree_code, tree, tree,
1090fc04c29Smrg 			       tree, enum tree_code, tree, tree, tree *);
11010d565efSmrg extern tree fold_read_from_constant_string (tree);
111*ec02198aSmrg extern tree fold_read_from_vector (tree, poly_uint64);
112*ec02198aSmrg #if GCC_VEC_PERN_INDICES_H
113*ec02198aSmrg extern tree fold_vec_perm (tree, tree, tree, const vec_perm_indices &);
114*ec02198aSmrg #endif
1150fc04c29Smrg extern bool wide_int_binop (wide_int &res, enum tree_code,
1160fc04c29Smrg 			    const wide_int &arg1, const wide_int &arg2,
1170fc04c29Smrg 			    signop, wi::overflow_type *);
1180fc04c29Smrg extern tree int_const_binop (enum tree_code, const_tree, const_tree, int = 1);
11910d565efSmrg #define build_fold_addr_expr(T)\
12010d565efSmrg         build_fold_addr_expr_loc (UNKNOWN_LOCATION, (T))
12110d565efSmrg extern tree build_fold_addr_expr_loc (location_t, tree);
12210d565efSmrg #define build_fold_addr_expr_with_type(T,TYPE)\
12310d565efSmrg         build_fold_addr_expr_with_type_loc (UNKNOWN_LOCATION, (T), TYPE)
12410d565efSmrg extern tree build_fold_addr_expr_with_type_loc (location_t, tree, tree);
12510d565efSmrg extern tree fold_build_cleanup_point_expr (tree type, tree expr);
12610d565efSmrg #define build_fold_indirect_ref(T)\
12710d565efSmrg         build_fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
12810d565efSmrg extern tree build_fold_indirect_ref_loc (location_t, tree);
12910d565efSmrg #define fold_indirect_ref(T)\
13010d565efSmrg         fold_indirect_ref_loc (UNKNOWN_LOCATION, T)
13110d565efSmrg extern tree fold_indirect_ref_loc (location_t, tree);
13210d565efSmrg extern tree build_simple_mem_ref_loc (location_t, tree);
13310d565efSmrg #define build_simple_mem_ref(T)\
13410d565efSmrg 	build_simple_mem_ref_loc (UNKNOWN_LOCATION, T)
135c7a68eb7Smrg extern poly_offset_int mem_ref_offset (const_tree);
136c7a68eb7Smrg extern tree build_invariant_address (tree, tree, poly_int64);
13710d565efSmrg extern tree constant_boolean_node (bool, tree);
13810d565efSmrg extern tree div_if_zero_remainder (const_tree, const_tree);
13910d565efSmrg 
14010d565efSmrg extern bool tree_swap_operands_p (const_tree, const_tree);
14110d565efSmrg extern enum tree_code swap_tree_comparison (enum tree_code);
14210d565efSmrg 
143c7a68eb7Smrg extern bool ptr_difference_const (tree, tree, poly_int64_pod *);
14410d565efSmrg extern enum tree_code invert_tree_comparison (enum tree_code, bool);
1450fc04c29Smrg extern bool inverse_conditions_p (const_tree, const_tree);
14610d565efSmrg 
14710d565efSmrg extern bool tree_unary_nonzero_warnv_p (enum tree_code, tree, tree, bool *);
14810d565efSmrg extern bool tree_binary_nonzero_warnv_p (enum tree_code, tree, tree, tree op1,
14910d565efSmrg                                          bool *);
15010d565efSmrg extern bool tree_single_nonzero_warnv_p (tree, bool *);
15110d565efSmrg extern bool tree_unary_nonnegative_warnv_p (enum tree_code, tree, tree,
15210d565efSmrg 					    bool *, int);
15310d565efSmrg extern bool tree_binary_nonnegative_warnv_p (enum tree_code, tree, tree, tree,
15410d565efSmrg 					     bool *, int);
15510d565efSmrg extern bool tree_single_nonnegative_warnv_p (tree, bool *, int);
15610d565efSmrg extern bool tree_call_nonnegative_warnv_p (tree, combined_fn, tree, tree,
15710d565efSmrg 					   bool *, int);
15810d565efSmrg 
15910d565efSmrg extern bool integer_valued_real_unary_p (tree_code, tree, int);
16010d565efSmrg extern bool integer_valued_real_binary_p (tree_code, tree, tree, int);
16110d565efSmrg extern bool integer_valued_real_call_p (combined_fn, tree, tree, int);
16210d565efSmrg extern bool integer_valued_real_single_p (tree, int);
16310d565efSmrg extern bool integer_valued_real_p (tree, int = 0);
16410d565efSmrg 
16510d565efSmrg extern bool fold_real_zero_addition_p (const_tree, const_tree, int);
16610d565efSmrg extern tree combine_comparisons (location_t, enum tree_code, enum tree_code,
16710d565efSmrg 				 enum tree_code, tree, tree, tree);
16810d565efSmrg extern void debug_fold_checksum (const_tree);
16910d565efSmrg extern bool may_negate_without_overflow_p (const_tree);
17010d565efSmrg #define round_up(T,N) round_up_loc (UNKNOWN_LOCATION, T, N)
17110d565efSmrg extern tree round_up_loc (location_t, tree, unsigned int);
17210d565efSmrg #define round_down(T,N) round_down_loc (UNKNOWN_LOCATION, T, N)
17310d565efSmrg extern tree round_down_loc (location_t, tree, int);
174c7a68eb7Smrg extern tree size_int_kind (poly_int64, enum size_type_kind);
17510d565efSmrg #define size_binop(CODE,T1,T2)\
17610d565efSmrg    size_binop_loc (UNKNOWN_LOCATION, CODE, T1, T2)
17710d565efSmrg extern tree size_binop_loc (location_t, enum tree_code, tree, tree);
17810d565efSmrg #define size_diffop(T1,T2)\
17910d565efSmrg    size_diffop_loc (UNKNOWN_LOCATION, T1, T2)
18010d565efSmrg extern tree size_diffop_loc (location_t, tree, tree);
18110d565efSmrg 
18210d565efSmrg /* Return an expr equal to X but certainly not valid as an lvalue.  */
18310d565efSmrg #define non_lvalue(T) non_lvalue_loc (UNKNOWN_LOCATION, T)
18410d565efSmrg extern tree non_lvalue_loc (location_t, tree);
18510d565efSmrg 
18610d565efSmrg extern bool tree_expr_nonzero_p (tree);
18710d565efSmrg extern bool tree_expr_nonnegative_p (tree);
18810d565efSmrg extern bool tree_expr_nonnegative_warnv_p (tree, bool *, int = 0);
18910d565efSmrg extern tree make_range (tree, int *, tree *, tree *, bool *);
19010d565efSmrg extern tree make_range_step (location_t, enum tree_code, tree, tree, tree,
19110d565efSmrg 			     tree *, tree *, int *, bool *);
192c7a68eb7Smrg extern tree range_check_type (tree);
19310d565efSmrg extern tree build_range_check (location_t, tree, tree, int, tree, tree);
19410d565efSmrg extern bool merge_ranges (int *, tree *, tree *, int, tree, tree, int,
19510d565efSmrg 			  tree, tree);
19610d565efSmrg extern tree sign_bit_p (tree, const_tree);
19710d565efSmrg extern tree exact_inverse (tree, tree);
19810d565efSmrg extern bool expr_not_equal_to (tree t, const wide_int &);
19910d565efSmrg extern tree const_unop (enum tree_code, tree, tree);
20010d565efSmrg extern tree const_binop (enum tree_code, tree, tree, tree);
20110d565efSmrg extern bool negate_mathfn_p (combined_fn);
2020fc04c29Smrg extern const char *c_getstr (tree, unsigned HOST_WIDE_INT * = NULL);
2030fc04c29Smrg extern wide_int tree_nonzero_bits (const_tree);
20410d565efSmrg 
20510d565efSmrg /* Return OFF converted to a pointer offset type suitable as offset for
20610d565efSmrg    POINTER_PLUS_EXPR.  Use location LOC for this conversion.  */
20710d565efSmrg extern tree convert_to_ptrofftype_loc (location_t loc, tree off);
20810d565efSmrg 
20910d565efSmrg #define convert_to_ptrofftype(t) convert_to_ptrofftype_loc (UNKNOWN_LOCATION, t)
21010d565efSmrg 
21110d565efSmrg /* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF.  */
21210d565efSmrg extern tree fold_build_pointer_plus_loc (location_t loc, tree ptr, tree off);
21310d565efSmrg 
21410d565efSmrg #define fold_build_pointer_plus(p,o) \
21510d565efSmrg 	fold_build_pointer_plus_loc (UNKNOWN_LOCATION, p, o)
21610d565efSmrg 
21710d565efSmrg /* Build and fold a POINTER_PLUS_EXPR at LOC offsetting PTR by OFF.  */
21810d565efSmrg extern tree fold_build_pointer_plus_hwi_loc (location_t loc, tree ptr, HOST_WIDE_INT off);
21910d565efSmrg 
22010d565efSmrg #define fold_build_pointer_plus_hwi(p,o) \
22110d565efSmrg 	fold_build_pointer_plus_hwi_loc (UNKNOWN_LOCATION, p, o)
222*ec02198aSmrg 
223*ec02198aSmrg 
224*ec02198aSmrg /* Class used to compare gimple operands.  */
225*ec02198aSmrg 
226*ec02198aSmrg class operand_compare
227*ec02198aSmrg {
228*ec02198aSmrg public:
229*ec02198aSmrg   /* Return true if two operands are equal.  The flags fields can be used
230*ec02198aSmrg      to specify OEP flags described above.  */
231*ec02198aSmrg   virtual bool operand_equal_p (const_tree, const_tree, unsigned int flags);
232*ec02198aSmrg 
233*ec02198aSmrg   /* Generate a hash value for an expression.  This can be used iteratively
234*ec02198aSmrg      by passing a previous result as the HSTATE argument.  */
235*ec02198aSmrg   virtual void hash_operand (const_tree, inchash::hash &, unsigned flags);
236*ec02198aSmrg 
237*ec02198aSmrg protected:
238*ec02198aSmrg   /* Verify that when arguments (ARG0 and ARG1) are equal, then they have
239*ec02198aSmrg      an equal hash value.  When the function knowns comparison return,
240*ec02198aSmrg      true is returned.  Then RET is set to corresponding comparsion result.  */
241*ec02198aSmrg   bool verify_hash_value (const_tree arg0, const_tree arg1, unsigned int flags,
242*ec02198aSmrg 			  bool *ret);
243*ec02198aSmrg };
244*ec02198aSmrg 
24510d565efSmrg #endif // GCC_FOLD_CONST_H
246