re PR tree-optimization/71437 (Performance regression after r235817)
authorJeff Law <law@redhat.com>
Fri, 17 Mar 2017 15:01:56 +0000 (09:01 -0600)
committerJeff Law <law@gcc.gnu.org>
Fri, 17 Mar 2017 15:01:56 +0000 (09:01 -0600)
commit7f166d94478f406bc59ed40d9ff24c9d98f30c90
treebafecb847a08eb5bb194630c81535b709ace0748
parentfaec5f24736ac2550ef9c4080200edb20d2b1e22
re PR tree-optimization/71437 (Performance regression after r235817)

PR tree-optimization/71437
* tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the
conditional in the hash table first.
(vrp_dom_walker::before_dom_children): Extract condition from
ASSERT_EXPR.  Record condition, its inverion and any implied
conditions as well.

PR tree-optimization/71437
* gcc.dg/tree-ssa/pr71437.c: New test.
* gcc.dg/tree-ssa/20040305-1.c: Test earlier dump.
* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Adjust for jump threads
now caught by VRP, but which were previously caught by DOM.

From-SVN: r246225
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/20040305-1.c
gcc/testsuite/gcc.dg/tree-ssa/pr71437.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c
gcc/tree-vrp.c