diff options
| author | Jeff Law <law@redhat.com> | 2015-08-28 10:23:12 -0600 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2015-08-28 10:23:12 -0600 |
| commit | 636351f90f01b54f4a747b90cea3ad7252ad4e36 (patch) | |
| tree | bbd17aebd5d2754461d0c78d62a94cd88fb1a65b /gcc/tree-ssa-threadupdate.c | |
| parent | ba60d5c3d56f2561188e02eb2e33314714781c2f (diff) | |
| download | gcc-636351f90f01b54f4a747b90cea3ad7252ad4e36.zip gcc-636351f90f01b54f4a747b90cea3ad7252ad4e36.tar.gz gcc-636351f90f01b54f4a747b90cea3ad7252ad4e36.tar.bz2 | |
[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
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
| -rw-r--r-- | gcc/tree-ssa-threadupdate.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index 5a5f8df..f4d3fdc 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -2493,6 +2493,12 @@ duplicate_thread_path (edge entry, edge exit, /* Remove the last branch in the jump thread path. */ remove_ctrl_stmt_and_useless_edges (region_copy[n_region - 1], exit->dest); + + /* And fixup the flags on the single remaining edge. */ + edge fix_e = find_edge (region_copy[n_region - 1], exit->dest); + fix_e->flags &= ~(EDGE_TRUE_VALUE | EDGE_FALSE_VALUE | EDGE_ABNORMAL); + fix_e->flags |= EDGE_FALLTHRU; + edge e = make_edge (region_copy[n_region - 1], exit->dest, EDGE_FALLTHRU); if (e) { |