2017-05-07 Jeff Law <law@redhat.com>
commit18e2018b41a7ff58865bd087b8404d9488675b89
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 7 May 2017 15:10:55 +0000 (7 15:10 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 7 May 2017 15:10:55 +0000 (7 15:10 +0000)
tree1607907c7ebee729b63c3e46bcaa83a4ea9c1b68
parent77e13944e486a81b79a6bb4c85cfcc7bce9b7327
2017-05-07  Jeff Law  <law@redhat.com>

Revert:
2017-05-06  Jeff Law  <law@redhat.com>
PR tree-optimization/78496
* tree-vrp.c (simplify_assert_expr_using_ranges): Remove debugging
code.

PR tree-optimization/78496
* tree-vrp.c (simplify_assert_expr_using_ranges): New function.
(simplify_stmt_using_ranges): Call it.
(vrp_dom_walker::before_dom_children): Extract equivalences
from an ASSERT_EXPR with an equality comparison against a
constant.

Revert:
2017-05-06  Jeff Law  <law@redhat.com>
PR tree-optimization/78496
* gcc.dg/tree-ssa/ssa-thread-16.c: New test.
* gcc.dg/tree-ssa/ssa-thread-17.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247727 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-16.c [deleted file]
gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-17.c [deleted file]
gcc/tree-vrp.c