2018-03-05 Richard Biener <rguenther@suse.de>
commit3da0d341b24c262d055f0906d7b72c800576a354
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Mar 2018 13:18:12 +0000 (5 13:18 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Mar 2018 13:18:12 +0000 (5 13:18 +0000)
treea4fc4acdc05dc147b9ade90007f6507b8f2cc0ff
parent9b33fe184900911febc5d40b59e334c26736b5e9
2018-03-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/84670
* tree-ssa-pre.c (struct bb_bitmap_sets): Add visited_with_visited_succs
member.
(BB_VISITED_WITH_VISITED_SUCCS): New define.
(compute_antic): Initialize BB_VISITED_WITH_VISITED_SUCCS.
(compute_antic_aux): Only assert the number of values in ANTIC_IN
doesn't grow if all successors (recursively) were visited at least
once.

* gcc.dg/pr84670-1.c: New testcase.
* gcc.dg/pr84670-2.c: Likewise.
* gcc.dg/pr84670-3.c: Likewise.
* gcc.dg/pr84670-4.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@258243 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr84670-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr84670-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr84670-3.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr84670-4.c [new file with mode: 0644]
gcc/tree-ssa-pre.c