* [Bug tree-optimization/98786] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
@ 2021-01-22 7:54 ` rguenth at gcc dot gnu.org
2021-01-22 9:08 ` marxin at gcc dot gnu.org
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-01-22 7:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-01-22
Status|UNCONFIRMED |ASSIGNED
Component|rtl-optimization |tree-optimization
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
OK, seems some odd interaction of inlining and abnormals which do not vanish
for some reason.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
2021-01-22 7:54 ` [Bug tree-optimization/98786] " rguenth at gcc dot gnu.org
@ 2021-01-22 9:08 ` marxin at gcc dot gnu.org
2021-01-22 9:30 ` rguenth at gcc dot gnu.org
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-01-22 9:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |marxin at gcc dot gnu.org
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Btw. started with r6-2159-g9844173510418bfd.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
2021-01-22 7:54 ` [Bug tree-optimization/98786] " rguenth at gcc dot gnu.org
2021-01-22 9:08 ` marxin at gcc dot gnu.org
@ 2021-01-22 9:30 ` rguenth at gcc dot gnu.org
2021-01-22 10:31 ` cvs-commit at gcc dot gnu.org
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-01-22 9:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work|5.4.0 |
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #2)
> Btw. started with r6-2159-g9844173510418bfd.
Ah, ok. Disabling phiopt fixes it and phiopt fails to check for abnormals
so thanks for the hint. The functionality also oddly transforms
_2 = (int)_1;
if (..)
;
# _3 = PHI <_2, 0>
as 'conditional conversion' because it doesn't check the definition place.
Fixing either fixes the issue.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (2 preceding siblings ...)
2021-01-22 9:30 ` rguenth at gcc dot gnu.org
@ 2021-01-22 10:31 ` cvs-commit at gcc dot gnu.org
2021-01-22 10:39 ` [Bug tree-optimization/98786] [8/9/10 Regression] " rguenth at gcc dot gnu.org
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-01-22 10:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:fd61ca67f97acc5462d02676380af92329c37bb2
commit r11-6851-gfd61ca67f97acc5462d02676380af92329c37bb2
Author: Richard Biener <rguenther@suse.de>
Date: Fri Jan 22 10:34:42 2021 +0100
tree-optimization/98786 - fix issue with phiopt and abnormals
This fixes factor_out_conditional_conversion to avoid creating overlapping
lifetimes for abnormals. It also makes sure we do deal with a conditional
conversion (at least for one PHI arg def) - for the testcase that wasn't
the case.
2021-01-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/98786
* tree-ssa-phiopt.c (factor_out_conditional_conversion): Avoid
adding new uses of abnormals. Verify we deal with a conditional
conversion.
* gcc.dg/torture/pr98786.c: New testcase.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (3 preceding siblings ...)
2021-01-22 10:31 ` cvs-commit at gcc dot gnu.org
@ 2021-01-22 10:39 ` rguenth at gcc dot gnu.org
2021-05-05 9:03 ` rguenth at gcc dot gnu.org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-01-22 10:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
Known to work| |11.0
Known to fail|11.0 |
Summary|ICE: SSA corruption (Unable |[8/9/10 Regression] ICE:
|to coalesce ssa_names 2 and |SSA corruption (Unable to
|10 which are marked as MUST |coalesce ssa_names 2 and 10
|COALESCE.) |which are marked as MUST
| |COALESCE.)
Target Milestone|--- |8.5
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (4 preceding siblings ...)
2021-01-22 10:39 ` [Bug tree-optimization/98786] [8/9/10 Regression] " rguenth at gcc dot gnu.org
@ 2021-05-05 9:03 ` rguenth at gcc dot gnu.org
2021-05-05 9:42 ` cvs-commit at gcc dot gnu.org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-05-05 9:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Bug 98786 depends on bug 100414, which changed state.
Bug 100414 Summary: [11 Regression] ICE: in dominated_by_p, at dominance.c:1120 with -O -fno-tree-dce -fno-tree-dse
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100414
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (5 preceding siblings ...)
2021-05-05 9:03 ` rguenth at gcc dot gnu.org
@ 2021-05-05 9:42 ` cvs-commit at gcc dot gnu.org
2021-05-05 9:43 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-05-05 9:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:329f730fd1daa7cdae4a637244d4e215f9bb9a8c
commit r10-9800-g329f730fd1daa7cdae4a637244d4e215f9bb9a8c
Author: Richard Biener <rguenther@suse.de>
Date: Fri Jan 22 10:34:42 2021 +0100
tree-optimization/98786 - fix issue with phiopt and abnormals
This fixes factor_out_conditional_conversion to avoid creating overlapping
lifetimes for abnormals.
2021-01-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/98786
* tree-ssa-phiopt.c (factor_out_conditional_conversion): Avoid
adding new uses of abnormals.
* gcc.dg/torture/pr98786.c: New testcase.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (6 preceding siblings ...)
2021-05-05 9:42 ` cvs-commit at gcc dot gnu.org
@ 2021-05-05 9:43 ` rguenth at gcc dot gnu.org
2021-05-05 10:12 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-05-05 9:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |10.3.1
Known to fail| |10.3.0
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Backported a simplified fix to GCC 10, avoiding PR100414.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (7 preceding siblings ...)
2021-05-05 9:43 ` rguenth at gcc dot gnu.org
@ 2021-05-05 10:12 ` cvs-commit at gcc dot gnu.org
2021-05-05 10:43 ` cvs-commit at gcc dot gnu.org
2021-05-05 10:43 ` rguenth at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-05-05 10:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-9 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:61cf7ddeae6d13c81498088c1c643ca47fdbde2c
commit r9-9512-g61cf7ddeae6d13c81498088c1c643ca47fdbde2c
Author: Richard Biener <rguenther@suse.de>
Date: Fri Jan 22 10:34:42 2021 +0100
tree-optimization/98786 - fix issue with phiopt and abnormals
This fixes factor_out_conditional_conversion to avoid creating overlapping
lifetimes for abnormals.
2021-01-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/98786
* tree-ssa-phiopt.c (factor_out_conditional_conversion): Avoid
adding new uses of abnormals.
* gcc.dg/torture/pr98786.c: New testcase.
(cherry picked from commit 329f730fd1daa7cdae4a637244d4e215f9bb9a8c)
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (8 preceding siblings ...)
2021-05-05 10:12 ` cvs-commit at gcc dot gnu.org
@ 2021-05-05 10:43 ` cvs-commit at gcc dot gnu.org
2021-05-05 10:43 ` rguenth at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-05-05 10:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-8 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:1a121f0c20f490ff03f78e7f3f8a22ab9b2bbac9
commit r8-10951-g1a121f0c20f490ff03f78e7f3f8a22ab9b2bbac9
Author: Richard Biener <rguenther@suse.de>
Date: Fri Jan 22 10:34:42 2021 +0100
tree-optimization/98786 - fix issue with phiopt and abnormals
This fixes factor_out_conditional_conversion to avoid creating overlapping
lifetimes for abnormals.
2021-01-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/98786
* tree-ssa-phiopt.c (factor_out_conditional_conversion): Avoid
adding new uses of abnormals.
* gcc.dg/torture/pr98786.c: New testcase.
(cherry picked from commit 329f730fd1daa7cdae4a637244d4e215f9bb9a8c)
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/98786] [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.)
2021-01-22 4:21 [Bug rtl-optimization/98786] New: ICE: SSA corruption (Unable to coalesce ssa_names 2 and 10 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (9 preceding siblings ...)
2021-05-05 10:43 ` cvs-commit at gcc dot gnu.org
@ 2021-05-05 10:43 ` rguenth at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-05-05 10:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98786
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |8.4.0
Status|ASSIGNED |RESOLVED
Known to work| |8.4.1, 9.3.1
Resolution|--- |FIXED
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 12+ messages in thread