tree-ssa.h revision 1.4
1/* Header file for any pass which requires SSA routines. 2 Copyright (C) 2013-2018 Free Software Foundation, Inc. 3 4This file is part of GCC. 5 6GCC is free software; you can redistribute it and/or modify it under 7the terms of the GNU General Public License as published by the Free 8Software Foundation; either version 3, or (at your option) any later 9version. 10 11GCC is distributed in the hope that it will be useful, but WITHOUT ANY 12WARRANTY; without even the implied warranty of MERCHANTABILITY or 13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 for more details. 15 16You should have received a copy of the GNU General Public License 17along with GCC; see the file COPYING3. If not see 18<http://www.gnu.org/licenses/>. */ 19 20#ifndef GCC_TREE_SSA_H 21#define GCC_TREE_SSA_H 22 23/* Mapping for redirected edges. */ 24struct edge_var_map { 25 tree result; /* PHI result. */ 26 tree def; /* PHI arg definition. */ 27 source_location locus; /* PHI arg location. */ 28}; 29 30/* A vector of var maps. */ 31typedef vec<edge_var_map, va_heap, vl_embed> edge_var_map_vector; 32 33 34extern void redirect_edge_var_map_add (edge, tree, tree, source_location); 35extern void redirect_edge_var_map_clear (edge); 36extern void redirect_edge_var_map_dup (edge, edge); 37extern vec<edge_var_map> *redirect_edge_var_map_vector (edge); 38extern void redirect_edge_var_map_empty (void); 39extern edge ssa_redirect_edge (edge, basic_block); 40extern void flush_pending_stmts (edge); 41extern void gimple_replace_ssa_lhs (gimple *, tree); 42extern tree target_for_debug_bind (tree); 43extern void insert_debug_temp_for_var_def (gimple_stmt_iterator *, tree); 44extern void insert_debug_temps_for_defs (gimple_stmt_iterator *); 45extern void reset_debug_uses (gimple *); 46extern void release_defs_bitset (bitmap toremove); 47extern void verify_ssa (bool, bool); 48extern void init_tree_ssa (function *); 49extern void delete_tree_ssa (function *); 50extern bool tree_ssa_useless_type_conversion (tree); 51extern tree tree_ssa_strip_useless_type_conversions (tree); 52 53 54extern bool ssa_defined_default_def_p (tree t); 55extern bool ssa_undefined_value_p (tree, bool = true); 56extern bool gimple_uses_undefined_value_p (gimple *); 57extern void execute_update_addresses_taken (void); 58 59/* Given an edge_var_map V, return the PHI arg definition. */ 60 61static inline tree 62redirect_edge_var_map_def (edge_var_map *v) 63{ 64 return v->def; 65} 66 67/* Given an edge_var_map V, return the PHI result. */ 68 69static inline tree 70redirect_edge_var_map_result (edge_var_map *v) 71{ 72 return v->result; 73} 74 75/* Given an edge_var_map V, return the PHI arg location. */ 76 77static inline source_location 78redirect_edge_var_map_location (edge_var_map *v) 79{ 80 return v->locus; 81} 82 83/* Verify SSA invariants, if internal consistency checks are enabled. */ 84 85static inline void 86checking_verify_ssa (bool check_modified_stmt, bool check_ssa_operands) 87{ 88 if (flag_checking) 89 verify_ssa (check_modified_stmt, check_ssa_operands); 90} 91 92#endif /* GCC_TREE_SSA_H */ 93