]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/vr-values.c
gimple-ssa-evrp.c (evrp_dom_walker::cleanup): Call vr_values::cleanup_edges_and_switches.
authorJeff Law <law@redhat.com>
Fri, 21 Sep 2018 20:00:23 +0000 (14:00 -0600)
committerJeff Law <law@gcc.gnu.org>
Fri, 21 Sep 2018 20:00:23 +0000 (14:00 -0600)
commit35b66f30438dfac74e4bdcfc7904e9b9cf72b823
treecd47b72ecf0d3f7885412cc2133a0bda575ffb65
parent2e3f6531bfb5a880d88ec592de944a329aaef18a
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
gcc/ChangeLog
gcc/gimple-ssa-evrp.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp113.c
gcc/testsuite/gcc.dg/tree-ssa/vrp120.c [new file with mode: 0644]
gcc/tree-vrp.c
gcc/tree-vrp.h
gcc/vr-values.c
gcc/vr-values.h