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
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
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)] \
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 vec
<tree
> *, tree (*) (gimple
, gimple
));
36 #endif /* GCC_TREE_SSA_THREADEDGE_H */