diff options
| author | Richard Biener <rguenther@suse.de> | 2018-09-13 14:15:41 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-09-13 14:15:41 +0000 |
| commit | 85bc75f87b45903d46555d0e1c013242de5c7c48 (patch) | |
| tree | a1bc2b4e51f781ccbbd40d033593d3e6d0561f66 /gcc/ada/terminals.c | |
| parent | 08233f0d6eae9d780d787e8c61cbc051bfe6af43 (diff) | |
| download | gcc-85bc75f87b45903d46555d0e1c013242de5c7c48.zip gcc-85bc75f87b45903d46555d0e1c013242de5c7c48.tar.gz gcc-85bc75f87b45903d46555d0e1c013242de5c7c48.tar.bz2 | |
re PR tree-optimization/87263 (ICE on valid code at -O1: verify_ssa failed)
2018-09-13 Richard Biener <rguenther@suse.de>
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.
From-SVN: r264273
Diffstat (limited to 'gcc/ada/terminals.c')
0 files changed, 0 insertions, 0 deletions