1 /* Header file for any pass which requires SSA routines. 2 Copyright (C) 2013-2018 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_TREE_SSA_H 21 #define GCC_TREE_SSA_H 22 23 /* Mapping for redirected edges. */ 24 struct 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. */ 31 typedef vec<edge_var_map, va_heap, vl_embed> edge_var_map_vector; 32 33 34 extern void redirect_edge_var_map_add (edge, tree, tree, source_location); 35 extern void redirect_edge_var_map_clear (edge); 36 extern void redirect_edge_var_map_dup (edge, edge); 37 extern vec<edge_var_map> *redirect_edge_var_map_vector (edge); 38 extern void redirect_edge_var_map_empty (void); 39 extern edge ssa_redirect_edge (edge, basic_block); 40 extern void flush_pending_stmts (edge); 41 extern void gimple_replace_ssa_lhs (gimple *, tree); 42 extern tree target_for_debug_bind (tree); 43 extern void insert_debug_temp_for_var_def (gimple_stmt_iterator *, tree); 44 extern void insert_debug_temps_for_defs (gimple_stmt_iterator *); 45 extern void reset_debug_uses (gimple *); 46 extern void release_defs_bitset (bitmap toremove); 47 extern void verify_ssa (bool, bool); 48 extern void init_tree_ssa (function *); 49 extern void delete_tree_ssa (function *); 50 extern bool tree_ssa_useless_type_conversion (tree); 51 extern tree tree_ssa_strip_useless_type_conversions (tree); 52 53 54 extern bool ssa_defined_default_def_p (tree t); 55 extern bool ssa_undefined_value_p (tree, bool = true); 56 extern bool gimple_uses_undefined_value_p (gimple *); 57 extern void execute_update_addresses_taken (void); 58 59 /* Given an edge_var_map V, return the PHI arg definition. */ 60 61 static inline tree 62 redirect_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 69 static inline tree 70 redirect_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 77 static inline source_location 78 redirect_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 85 static inline void 86 checking_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