[Bug tree-optimization/87263] [9 Regression] ICE on valid code at -O1: verify_ssa failed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87263 --- Comment #5 from Richard Biener --- Author: rguenth Date: Thu Sep 13 14:15:41 2018 New Revision: 264273 URL: https://gcc.gnu.org/viewcvs?rev=264273=gcc=rev Log: 2018-09-13 Richard Biener PR tree-optimization/87263 * tree-ssa-sccvn.c (visit_phi): Revert some earlier changes. (struct unwind_state): Add max_rpo field. (do_rpo_vn): Allow up-to-date loop state to be used when not iterating. Compute max_rpo, the max RPO number a block can be backwards reached from. Re-write non-iterating mode to a RPO ordered worklist approach, separating it from the iterating mode. * gcc.dg/torture/pr87263.c: New testcase. * gcc.dg/torture/ssa-fre-2.c: Likewise. * gcc.dg/torture/ssa-fre-3.c: Likewise. * gcc.dg/torture/ssa-fre-4.c: Likewise. Added: trunk/gcc/testsuite/gcc.dg/torture/pr87263.c trunk/gcc/testsuite/gcc.dg/torture/ssa-fre-2.c trunk/gcc/testsuite/gcc.dg/torture/ssa-fre-3.c trunk/gcc/testsuite/gcc.dg/torture/ssa-fre-4.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-sccvn.c
[Bug tree-optimization/87263] [9 Regression] ICE on valid code at -O1: verify_ssa failed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87263 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #4 from Richard Biener --- Fixed.
[Bug tree-optimization/87263] [9 Regression] ICE on valid code at -O1: verify_ssa failed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87263 --- Comment #3 from Richard Biener --- This is because dominated_by_p_w_unex called by rpo_elim::eliminate_avail is looking at edges we have not yet processed. This might be also an issue when iterating because we may "leak" previous iteration state into the current iteration and may end up failing to iterate.
[Bug tree-optimization/87263] [9 Regression] ICE on valid code at -O1: verify_ssa failed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87263 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED Version|unknown |9.0 Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #2 from Richard Biener --- Mine.
[Bug tree-optimization/87263] [9 Regression] ICE on valid code at -O1: verify_ssa failed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87263 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2018-09-10 CC||jakub at gcc dot gnu.org Target Milestone|--- |9.0 Summary|ICE on valid code at -O1: |[9 Regression] ICE on valid |verify_ssa failed |code at -O1: verify_ssa ||failed Ever confirmed|0 |1 --- Comment #1 from Jakub Jelinek --- Started with r263980.