1 /* Gimple folding definitions. 2 3 Copyright (C) 2011-2019 Free Software Foundation, Inc. 4 Contributed by Richard Guenther <rguenther@suse.de> 5 6 This file is part of GCC. 7 8 GCC is free software; you can redistribute it and/or modify it under 9 the terms of the GNU General Public License as published by the Free 10 Software Foundation; either version 3, or (at your option) any later 11 version. 12 13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY 14 WARRANTY; without even the implied warranty of MERCHANTABILITY or 15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 16 for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with GCC; see the file COPYING3. If not see 20 <http://www.gnu.org/licenses/>. */ 21 22 #ifndef GCC_GIMPLE_FOLD_H 23 #define GCC_GIMPLE_FOLD_H 24 25 extern tree create_tmp_reg_or_ssa_name (tree, gimple *stmt = NULL); 26 extern tree canonicalize_constructor_val (tree, tree); 27 extern tree get_symbol_constant_value (tree); 28 struct c_strlen_data; 29 extern bool get_range_strlen (tree, c_strlen_data *, unsigned eltsize); 30 extern void gimplify_and_update_call_from_tree (gimple_stmt_iterator *, tree); 31 extern bool fold_stmt (gimple_stmt_iterator *); 32 extern bool fold_stmt (gimple_stmt_iterator *, tree (*) (tree)); 33 extern bool fold_stmt_inplace (gimple_stmt_iterator *); 34 extern tree maybe_fold_and_comparisons (enum tree_code, tree, tree, 35 enum tree_code, tree, tree); 36 extern tree maybe_fold_or_comparisons (enum tree_code, tree, tree, 37 enum tree_code, tree, tree); 38 extern bool optimize_atomic_compare_exchange_p (gimple *); 39 extern void fold_builtin_atomic_compare_exchange (gimple_stmt_iterator *); 40 extern bool arith_overflowed_p (enum tree_code, const_tree, const_tree, 41 const_tree); 42 extern tree no_follow_ssa_edges (tree); 43 extern tree follow_single_use_edges (tree); 44 extern tree follow_all_ssa_edges (tree); 45 extern tree gimple_fold_stmt_to_constant_1 (gimple *, tree (*) (tree), 46 tree (*) (tree) = no_follow_ssa_edges); 47 extern tree gimple_fold_stmt_to_constant (gimple *, tree (*) (tree)); 48 extern tree fold_ctor_reference (tree, tree, const poly_uint64&, 49 const poly_uint64&, tree, 50 unsigned HOST_WIDE_INT * = NULL); 51 extern tree fold_const_aggregate_ref_1 (tree, tree (*) (tree)); 52 extern tree fold_const_aggregate_ref (tree); 53 extern tree gimple_get_virt_method_for_binfo (HOST_WIDE_INT, tree, 54 bool *can_refer = NULL); 55 extern tree gimple_get_virt_method_for_vtable (HOST_WIDE_INT, tree, 56 unsigned HOST_WIDE_INT, 57 bool *can_refer = NULL); 58 extern tree gimple_fold_indirect_ref (tree); 59 extern bool gimple_fold_builtin_sprintf (gimple_stmt_iterator *); 60 extern bool gimple_fold_builtin_snprintf (gimple_stmt_iterator *); 61 extern bool arith_code_with_undefined_signed_overflow (tree_code); 62 extern gimple_seq rewrite_to_defined_overflow (gimple *); 63 extern void replace_call_with_value (gimple_stmt_iterator *, tree); 64 extern tree tree_vec_extract (gimple_stmt_iterator *, tree, tree, tree, tree); 65 66 /* gimple_build, functionally matching fold_buildN, outputs stmts 67 int the provided sequence, matching and simplifying them on-the-fly. 68 Supposed to replace force_gimple_operand (fold_buildN (...), ...). */ 69 extern tree gimple_build (gimple_seq *, location_t, 70 enum tree_code, tree, tree); 71 inline tree 72 gimple_build (gimple_seq *seq, 73 enum tree_code code, tree type, tree op0) 74 { 75 return gimple_build (seq, UNKNOWN_LOCATION, code, type, op0); 76 } 77 extern tree gimple_build (gimple_seq *, location_t, 78 enum tree_code, tree, tree, tree); 79 inline tree 80 gimple_build (gimple_seq *seq, 81 enum tree_code code, tree type, tree op0, tree op1) 82 { 83 return gimple_build (seq, UNKNOWN_LOCATION, code, type, op0, op1); 84 } 85 extern tree gimple_build (gimple_seq *, location_t, 86 enum tree_code, tree, tree, tree, tree); 87 inline tree 88 gimple_build (gimple_seq *seq, 89 enum tree_code code, tree type, tree op0, tree op1, tree op2) 90 { 91 return gimple_build (seq, UNKNOWN_LOCATION, code, type, op0, op1, op2); 92 } 93 extern tree gimple_build (gimple_seq *, location_t, combined_fn, tree, tree); 94 inline tree 95 gimple_build (gimple_seq *seq, combined_fn fn, tree type, tree arg0) 96 { 97 return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0); 98 } 99 extern tree gimple_build (gimple_seq *, location_t, combined_fn, 100 tree, tree, tree); 101 inline tree 102 gimple_build (gimple_seq *seq, combined_fn fn, 103 tree type, tree arg0, tree arg1) 104 { 105 return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0, arg1); 106 } 107 extern tree gimple_build (gimple_seq *, location_t, combined_fn, 108 tree, tree, tree, tree); 109 inline tree 110 gimple_build (gimple_seq *seq, combined_fn fn, 111 tree type, tree arg0, tree arg1, tree arg2) 112 { 113 return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0, arg1, arg2); 114 } 115 116 extern tree gimple_convert (gimple_seq *, location_t, tree, tree); 117 inline tree 118 gimple_convert (gimple_seq *seq, tree type, tree op) 119 { 120 return gimple_convert (seq, UNKNOWN_LOCATION, type, op); 121 } 122 123 extern tree gimple_convert_to_ptrofftype (gimple_seq *, location_t, tree); 124 inline tree 125 gimple_convert_to_ptrofftype (gimple_seq *seq, tree op) 126 { 127 return gimple_convert_to_ptrofftype (seq, UNKNOWN_LOCATION, op); 128 } 129 130 extern tree gimple_build_vector_from_val (gimple_seq *, location_t, tree, 131 tree); 132 inline tree 133 gimple_build_vector_from_val (gimple_seq *seq, tree type, tree op) 134 { 135 return gimple_build_vector_from_val (seq, UNKNOWN_LOCATION, type, op); 136 } 137 138 class tree_vector_builder; 139 extern tree gimple_build_vector (gimple_seq *, location_t, 140 tree_vector_builder *); 141 inline tree 142 gimple_build_vector (gimple_seq *seq, tree_vector_builder *builder) 143 { 144 return gimple_build_vector (seq, UNKNOWN_LOCATION, builder); 145 } 146 147 extern bool gimple_stmt_nonnegative_warnv_p (gimple *, bool *, int = 0); 148 extern bool gimple_stmt_integer_valued_real_p (gimple *, int = 0); 149 150 /* In gimple-match.c. */ 151 extern tree gimple_simplify (enum tree_code, tree, tree, 152 gimple_seq *, tree (*)(tree)); 153 extern tree gimple_simplify (enum tree_code, tree, tree, tree, 154 gimple_seq *, tree (*)(tree)); 155 extern tree gimple_simplify (enum tree_code, tree, tree, tree, tree, 156 gimple_seq *, tree (*)(tree)); 157 extern tree gimple_simplify (combined_fn, tree, tree, 158 gimple_seq *, tree (*)(tree)); 159 extern tree gimple_simplify (combined_fn, tree, tree, tree, 160 gimple_seq *, tree (*)(tree)); 161 extern tree gimple_simplify (combined_fn, tree, tree, tree, tree, 162 gimple_seq *, tree (*)(tree)); 163 164 #endif /* GCC_GIMPLE_FOLD_H */ 165