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