1/* Header file for SSA jump threading. 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_THREADEDGE_H 21#define GCC_TREE_SSA_THREADEDGE_H 22 23extern vec<tree> ssa_name_values; 24#define SSA_NAME_VALUE(x) \ 25 (SSA_NAME_VERSION (x) < ssa_name_values.length () \ 26 ? ssa_name_values[SSA_NAME_VERSION (x)] \ 27 : NULL_TREE) 28extern void set_ssa_name_value (tree, tree); 29extern void threadedge_initialize_values (void); 30extern void threadedge_finalize_values (void); 31extern bool potentially_threadable_block (basic_block); 32extern void propagate_threaded_block_debug_into (basic_block, basic_block); 33extern void thread_across_edge (gcond *, edge, bool, 34 vec<tree> *, tree (*) (gimple, gimple)); 35 36#endif /* GCC_TREE_SSA_THREADEDGE_H */ 37