diff options
| author | Richard Biener <rguenther@suse.de> | 2016-04-25 10:49:55 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-04-25 10:49:55 +0000 |
| commit | ab99f46749d0f746c50dde27e845ed6e5f06aee4 (patch) | |
| tree | 7849aae88789ca5496d8e3c5ad4a134e378b42a7 /gcc/tree-ssa-pre.c | |
| parent | e52477c7e2525d9ebffcc47de2d226452e6fbafc (diff) | |
| download | gcc-ab99f46749d0f746c50dde27e845ed6e5f06aee4.zip gcc-ab99f46749d0f746c50dde27e845ed6e5f06aee4.tar.gz gcc-ab99f46749d0f746c50dde27e845ed6e5f06aee4.tar.bz2 | |
re PR tree-optimization/70780 (wrong code at -O2 and -O3 on x86_64-linux-gnu)
2016-04-25 Richard Biener <rguenther@suse.de>
PR tree-optimization/70780
* tree-ssa-pre.c (compute_antic_aux): Also return true if the block
wasn't visited yet.
(compute_antic): Mark blocks with abnormal preds as visited as
they have a final empty antic-in solution already.
* gcc.dg/torture/pr70780.c: New testcase.
From-SVN: r235407
Diffstat (limited to 'gcc/tree-ssa-pre.c')
| -rw-r--r-- | gcc/tree-ssa-pre.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 2d1eb70..7b9eb2e 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2077,6 +2077,7 @@ compute_antic_aux (basic_block block, bool block_has_abnormal_pred_edge) unsigned int bii; edge e; edge_iterator ei; + bool was_visited = BB_VISITED (block); old = ANTIC_OUT = S = NULL; BB_VISITED (block) = 1; @@ -2167,7 +2168,7 @@ compute_antic_aux (basic_block block, bool block_has_abnormal_pred_edge) clean (ANTIC_IN (block)); - if (!bitmap_set_equal (old, ANTIC_IN (block))) + if (!was_visited || !bitmap_set_equal (old, ANTIC_IN (block))) changed = true; maybe_dump_sets: |