gcc/fold-const.h

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