[PATCH][lto/66752] Fix missed FSM jump thread
authorJeff Law <law@redhat.com>
Fri, 28 Aug 2015 16:23:12 +0000 (10:23 -0600)
committerJeff Law <law@gcc.gnu.org>
Fri, 28 Aug 2015 16:23:12 +0000 (10:23 -0600)
commit636351f90f01b54f4a747b90cea3ad7252ad4e36
treebbd17aebd5d2754461d0c78d62a94cd88fb1a65b
parentba60d5c3d56f2561188e02eb2e33314714781c2f
[PATCH][lto/66752] Fix missed FSM jump thread

PR lto/66752
* tree-ssa-threadedge.c (simplify_conrol_stmt_condition): If we are
unable to find X NE 0 in the tables, return X as the simplified
condition.
(fsm_find_control_statement_thread_paths): If nodes in NEXT_PATH are
in VISISTED_BBS, then return failure.  Else add nodes from NEXT_PATH
to VISISTED_BBS.
* tree-ssa-threadupdate.c (duplicate_thread_path): Fix up edge flags
after removing the control flow statement and unnecessary edges.

PR lto/66752
* gcc.dg/tree-ssa/pr66752-2.c: New test.
* gcc.dg/torture/pr66752-1.c: New test
* g++.dg/torture/pr66752-2.C: New test.

From-SVN: r227307
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/torture/pr66752-2.C [new file with mode: 0644]
gcc/testsuite/gcc.dg/torture/pr66752-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr66752-3.c [new file with mode: 0644]
gcc/tree-ssa-threadedge.c
gcc/tree-ssa-threadupdate.c