1/* Header file for any pass which requires SSA routines. 2 Copyright (C) 2013-2015 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}; 29typedef struct _edge_var_map edge_var_map; 30 31/* A vector of var maps. */ 32typedef vec<edge_var_map, va_heap, vl_embed> edge_var_map_vector; 33 34 35extern void redirect_edge_var_map_add (edge, tree, tree, source_location); 36extern void redirect_edge_var_map_clear (edge); 37extern void redirect_edge_var_map_dup (edge, edge); 38extern vec<edge_var_map> *redirect_edge_var_map_vector (edge); 39extern void redirect_edge_var_map_destroy (void); 40extern edge ssa_redirect_edge (edge, basic_block); 41extern void flush_pending_stmts (edge); 42extern void gimple_replace_ssa_lhs (gimple, tree); 43extern tree target_for_debug_bind (tree); 44extern void insert_debug_temp_for_var_def (gimple_stmt_iterator *, tree); 45extern void insert_debug_temps_for_defs (gimple_stmt_iterator *); 46extern void reset_debug_uses (gimple); 47extern void release_defs_bitset (bitmap toremove); 48extern void verify_ssa (bool, bool); 49extern void init_tree_ssa (struct function *); 50extern void delete_tree_ssa (void); 51extern bool tree_ssa_useless_type_conversion (tree); 52extern tree tree_ssa_strip_useless_type_conversions (tree); 53 54extern bool ssa_undefined_value_p (tree, bool = true); 55extern void execute_update_addresses_taken (void); 56 57/* Given an edge_var_map V, return the PHI arg definition. */ 58 59static inline tree 60redirect_edge_var_map_def (edge_var_map *v) 61{ 62 return v->def; 63} 64 65/* Given an edge_var_map V, return the PHI result. */ 66 67static inline tree 68redirect_edge_var_map_result (edge_var_map *v) 69{ 70 return v->result; 71} 72 73/* Given an edge_var_map V, return the PHI arg location. */ 74 75static inline source_location 76redirect_edge_var_map_location (edge_var_map *v) 77{ 78 return v->locus; 79} 80 81 82#endif /* GCC_TREE_SSA_H */ 83