diff options
author | Jeff Law <law@redhat.com> | 2018-09-21 14:00:23 -0600 |
---|---|---|
committer | Jeff Law <law@gcc.gnu.org> | 2018-09-21 14:00:23 -0600 |
commit | 35b66f30438dfac74e4bdcfc7904e9b9cf72b823 (patch) | |
tree | cd47b72ecf0d3f7885412cc2133a0bda575ffb65 /gcc/tree-vrp.h | |
parent | 2e3f6531bfb5a880d88ec592de944a329aaef18a (diff) | |
download | gcc-35b66f30438dfac74e4bdcfc7904e9b9cf72b823.zip gcc-35b66f30438dfac74e4bdcfc7904e9b9cf72b823.tar.gz gcc-35b66f30438dfac74e4bdcfc7904e9b9cf72b823.tar.bz2 |
gimple-ssa-evrp.c (evrp_dom_walker::cleanup): Call vr_values::cleanup_edges_and_switches.
* gimple-ssa-evrp.c (evrp_dom_walker::cleanup): Call
vr_values::cleanup_edges_and_switches.
* tree-vrp.c (to_remove_edges, to_update_switch_stmts): Moved into
vr_values class.
(identify_jump_threads): Remove EDGE_IGNORE handling.
(execute_vrp): Move handling of to_remove_edges and
to_update_switch_stmts into vr_values class member functions.
* tree-vrp.h (switch_update, to_remove_edges): Remove declarations.
(to_update_switch_stmts): Likewise.
* vr-values.c: Include cfghooks.h.
(vr_values::vr_values): Initialize to_remove_edges and
to_update_switch_stmts.
(vr_values::~vr_values): Verify to_remove_edges and
to_update_switch_stmts are empty.
(vr_values::simplify_switch_using_ranges): Set EDGE_IGNORE as needed.
(vr_values::cleanup_edges_and_switches): New member function.
* vr-values.h (vr_values): Add cleanup_edges_and_switches member
function. Add new data members.
* gcc.dg/tree-ssa/vrp113.c: Disable EVRP.
* gcc.dg/tree-ssa/vrp120.c: New test.
From-SVN: r264491
Diffstat (limited to 'gcc/tree-vrp.h')
-rw-r--r-- | gcc/tree-vrp.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h index 2f66161..655cf05 100644 --- a/gcc/tree-vrp.h +++ b/gcc/tree-vrp.h @@ -122,13 +122,4 @@ extern int value_inside_range (tree, tree, tree); extern tree get_single_symbol (tree, bool *, tree *); extern void maybe_set_nonzero_bits (edge, tree); extern value_range_type determine_value_range (tree, wide_int *, wide_int *); - -struct switch_update { - gswitch *stmt; - tree vec; -}; - -extern vec<edge> to_remove_edges; -extern vec<switch_update> to_update_switch_stmts; - #endif /* GCC_TREE_VRP_H */ |