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