emit_note_after can take a rtx_insn *
[official-gcc.git] / gcc / tree-ssa-threadedge.h
blob521fd0e30ed0b4b3c30c8839e3230b49831fc237
1 /* Header file for SSA jump threading.
2 Copyright (C) 2013-2015 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
20 #ifndef GCC_TREE_SSA_THREADEDGE_H
21 #define GCC_TREE_SSA_THREADEDGE_H
23 extern 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)
28 extern void set_ssa_name_value (tree, tree);
29 extern void threadedge_initialize_values (void);
30 extern void threadedge_finalize_values (void);
31 extern bool potentially_threadable_block (basic_block);
32 extern void propagate_threaded_block_debug_into (basic_block, basic_block);
33 extern void thread_across_edge (gcond *, edge, bool,
34 const_and_copies *, tree (*) (gimple, gimple));
36 #endif /* GCC_TREE_SSA_THREADEDGE_H */