gimple-fold.h revision 1.8
1/* Gimple folding definitions. 2 3 Copyright (C) 2011-2019 Free Software Foundation, Inc. 4 Contributed by Richard Guenther <rguenther@suse.de> 5 6This file is part of GCC. 7 8GCC is free software; you can redistribute it and/or modify it under 9the terms of the GNU General Public License as published by the Free 10Software Foundation; either version 3, or (at your option) any later 11version. 12 13GCC is distributed in the hope that it will be useful, but WITHOUT ANY 14WARRANTY; without even the implied warranty of MERCHANTABILITY or 15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 16for more details. 17 18You should have received a copy of the GNU General Public License 19along 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 25extern tree create_tmp_reg_or_ssa_name (tree, gimple *stmt = NULL); 26extern tree canonicalize_constructor_val (tree, tree); 27extern tree get_symbol_constant_value (tree); 28struct c_strlen_data; 29extern bool get_range_strlen (tree, c_strlen_data *, unsigned eltsize); 30extern void gimplify_and_update_call_from_tree (gimple_stmt_iterator *, tree); 31extern bool fold_stmt (gimple_stmt_iterator *); 32extern bool fold_stmt (gimple_stmt_iterator *, tree (*) (tree)); 33extern bool fold_stmt_inplace (gimple_stmt_iterator *); 34extern tree maybe_fold_and_comparisons (enum tree_code, tree, tree, 35 enum tree_code, tree, tree); 36extern tree maybe_fold_or_comparisons (enum tree_code, tree, tree, 37 enum tree_code, tree, tree); 38extern bool optimize_atomic_compare_exchange_p (gimple *); 39extern void fold_builtin_atomic_compare_exchange (gimple_stmt_iterator *); 40extern bool arith_overflowed_p (enum tree_code, const_tree, const_tree, 41 const_tree); 42extern tree no_follow_ssa_edges (tree); 43extern tree follow_single_use_edges (tree); 44extern tree follow_all_ssa_edges (tree); 45extern tree gimple_fold_stmt_to_constant_1 (gimple *, tree (*) (tree), 46 tree (*) (tree) = no_follow_ssa_edges); 47extern tree gimple_fold_stmt_to_constant (gimple *, tree (*) (tree)); 48extern tree fold_ctor_reference (tree, tree, const poly_uint64&, 49 const poly_uint64&, tree, 50 unsigned HOST_WIDE_INT * = NULL); 51extern tree fold_const_aggregate_ref_1 (tree, tree (*) (tree)); 52extern tree fold_const_aggregate_ref (tree); 53extern tree gimple_get_virt_method_for_binfo (HOST_WIDE_INT, tree, 54 bool *can_refer = NULL); 55extern tree gimple_get_virt_method_for_vtable (HOST_WIDE_INT, tree, 56 unsigned HOST_WIDE_INT, 57 bool *can_refer = NULL); 58extern tree gimple_fold_indirect_ref (tree); 59extern bool gimple_fold_builtin_sprintf (gimple_stmt_iterator *); 60extern bool gimple_fold_builtin_snprintf (gimple_stmt_iterator *); 61extern bool arith_code_with_undefined_signed_overflow (tree_code); 62extern gimple_seq rewrite_to_defined_overflow (gimple *); 63extern void replace_call_with_value (gimple_stmt_iterator *, tree); 64extern 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 (...), ...). */ 69extern tree gimple_build (gimple_seq *, location_t, 70 enum tree_code, tree, tree); 71inline tree 72gimple_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} 77extern tree gimple_build (gimple_seq *, location_t, 78 enum tree_code, tree, tree, tree); 79inline tree 80gimple_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} 85extern tree gimple_build (gimple_seq *, location_t, 86 enum tree_code, tree, tree, tree, tree); 87inline tree 88gimple_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} 93extern tree gimple_build (gimple_seq *, location_t, combined_fn, tree, tree); 94inline tree 95gimple_build (gimple_seq *seq, combined_fn fn, tree type, tree arg0) 96{ 97 return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0); 98} 99extern tree gimple_build (gimple_seq *, location_t, combined_fn, 100 tree, tree, tree); 101inline tree 102gimple_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} 107extern tree gimple_build (gimple_seq *, location_t, combined_fn, 108 tree, tree, tree, tree); 109inline tree 110gimple_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 116extern tree gimple_convert (gimple_seq *, location_t, tree, tree); 117inline tree 118gimple_convert (gimple_seq *seq, tree type, tree op) 119{ 120 return gimple_convert (seq, UNKNOWN_LOCATION, type, op); 121} 122 123extern tree gimple_convert_to_ptrofftype (gimple_seq *, location_t, tree); 124inline tree 125gimple_convert_to_ptrofftype (gimple_seq *seq, tree op) 126{ 127 return gimple_convert_to_ptrofftype (seq, UNKNOWN_LOCATION, op); 128} 129 130extern tree gimple_build_vector_from_val (gimple_seq *, location_t, tree, 131 tree); 132inline tree 133gimple_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 138class tree_vector_builder; 139extern tree gimple_build_vector (gimple_seq *, location_t, 140 tree_vector_builder *); 141inline tree 142gimple_build_vector (gimple_seq *seq, tree_vector_builder *builder) 143{ 144 return gimple_build_vector (seq, UNKNOWN_LOCATION, builder); 145} 146 147extern bool gimple_stmt_nonnegative_warnv_p (gimple *, bool *, int = 0); 148extern bool gimple_stmt_integer_valued_real_p (gimple *, int = 0); 149 150/* In gimple-match.c. */ 151extern tree gimple_simplify (enum tree_code, tree, tree, 152 gimple_seq *, tree (*)(tree)); 153extern tree gimple_simplify (enum tree_code, tree, tree, tree, 154 gimple_seq *, tree (*)(tree)); 155extern tree gimple_simplify (enum tree_code, tree, tree, tree, tree, 156 gimple_seq *, tree (*)(tree)); 157extern tree gimple_simplify (combined_fn, tree, tree, 158 gimple_seq *, tree (*)(tree)); 159extern tree gimple_simplify (combined_fn, tree, tree, tree, 160 gimple_seq *, tree (*)(tree)); 161extern tree gimple_simplify (combined_fn, tree, tree, tree, tree, 162 gimple_seq *, tree (*)(tree)); 163 164#endif /* GCC_GIMPLE_FOLD_H */ 165