* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
@ 2011-10-17 19:25 ` zsojka at seznam dot cz
2011-10-17 19:54 ` [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge vries at gcc dot gnu.org
` (21 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: zsojka at seznam dot cz @ 2011-10-17 19:25 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2011-10-17 19:24:38 UTC ---
Created attachment 25530
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25530
simpler testcase
Might be the same problem:
$ gcc -O2 -fno-tree-dominator-opts testcase2.c
testcase2.c: In function 'foo':
testcase2.c:4:1: error: missing PHI def
.MEM_4 = PHI <.MEM_6(7), .MEM_7(3), (8)>
testcase2.c:4:1: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
-fno-tree-tail-merge helps in this case as well
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
2011-10-17 19:25 ` [Bug tree-optimization/50763] " zsojka at seznam dot cz
@ 2011-10-17 19:54 ` vries at gcc dot gnu.org
2011-10-17 22:00 ` vries at gcc dot gnu.org
` (20 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-17 19:54 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2011-10-17
AssignedTo|unassigned at gcc dot |vries at gcc dot gnu.org
|gnu.org |
Ever Confirmed|0 |1
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
2011-10-17 19:25 ` [Bug tree-optimization/50763] " zsojka at seznam dot cz
2011-10-17 19:54 ` [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge vries at gcc dot gnu.org
@ 2011-10-17 22:00 ` vries at gcc dot gnu.org
2011-10-18 9:56 ` rguenth at gcc dot gnu.org
` (19 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-17 22:00 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #2 from vries at gcc dot gnu.org 2011-10-17 21:59:29 UTC ---
Created attachment 25536
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25536
tentative patch
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (2 preceding siblings ...)
2011-10-17 22:00 ` vries at gcc dot gnu.org
@ 2011-10-18 9:56 ` rguenth at gcc dot gnu.org
2011-10-18 11:12 ` vries at gcc dot gnu.org
` (18 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-10-18 9:56 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.7.0
--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-18 09:54:47 UTC ---
Confirmed.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (3 preceding siblings ...)
2011-10-18 9:56 ` rguenth at gcc dot gnu.org
@ 2011-10-18 11:12 ` vries at gcc dot gnu.org
2011-10-18 17:15 ` vries at gcc dot gnu.org
` (17 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-18 11:12 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #4 from vries at gcc dot gnu.org 2011-10-18 11:12:32 UTC ---
Created attachment 25541
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25541
patch, handles case that either vuse1 or vuse2 is NULL_TREE in update_vuses.
Currently testing on x86_64.
2011-10-18 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* tree-ssa-tail-merge.c (update_vuses): Add and use vuse1_phi_args
argument. Set var to SSA_NAME_VAR of vuse1 or vuse2, and use var.
Handle case that def_stmt2 is NULL. Use phi result as phi arg in case
vuse1 or vuse2 is NULL_TREE. Replace uses of vuse1 if vuse2 is
NULL_TREE. Remove code to limit replacement of uses.
(replace_block_by): Update vops if phi_vuse1 or phi_vuse2 is NULL_TREE.
Set vuse1_phi_args if vuse1 is a phi defined in bb1. Add vuse1_phi_args
as argument to call to update_vuses.
* gcc.dg/pr50763.c: New test.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (4 preceding siblings ...)
2011-10-18 11:12 ` vries at gcc dot gnu.org
@ 2011-10-18 17:15 ` vries at gcc dot gnu.org
2011-10-19 15:48 ` vries at gcc dot gnu.org
` (16 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-18 17:15 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #5 from vries at gcc dot gnu.org 2011-10-18 17:14:28 UTC ---
Created attachment 25545
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25545
updated patch
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (5 preceding siblings ...)
2011-10-18 17:15 ` vries at gcc dot gnu.org
@ 2011-10-19 15:48 ` vries at gcc dot gnu.org
2011-10-23 16:06 ` vries at gcc dot gnu.org
` (15 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-19 15:48 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #6 from vries at gcc dot gnu.org 2011-10-19 15:48:38 UTC ---
Created attachment 25556
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25556
Updated patch, tries to keep dominance info up-to-date.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (6 preceding siblings ...)
2011-10-19 15:48 ` vries at gcc dot gnu.org
@ 2011-10-23 16:06 ` vries at gcc dot gnu.org
2011-10-23 16:07 ` vries at gcc dot gnu.org
` (14 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-23 16:06 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #7 from vries at gcc dot gnu.org 2011-10-23 16:06:38 UTC ---
Author: vries
Date: Sun Oct 23 16:06:32 2011
New Revision: 180341
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180341
Log:
2011-10-23 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* tree-ssa-tail-merge.c (same_succ_flush_bb): New function, factored out
of ...
(same_succ_flush_bbs): Use same_succ_flush_bb.
(purge_bbs): Remove argument. Remove calls to same_succ_flush_bbs,
release_last_vdef and delete_basic_block.
(unlink_virtual_phi): New function.
(update_vuses): Add and use vuse1_phi_args argument. Set var to
SSA_NAME_VAR of vuse1 or vuse2, and use var. Handle case that def_stmt2
is NULL. Use phi result as phi arg in case vuse1 or vuse2 is NULL_TREE.
Replace uses of vuse1 if vuse2 is NULL_TREE. Fix code to limit
replacement of uses. Propagate phi argument for phis with a single
argument.
(replace_block_by): Update vops if phi_vuse1 or phi_vuse2 is NULL_TREE.
Set vuse1_phi_args if vuse1 is a phi defined in bb1. Add vuse1_phi_args
as argument to call to update_vuses. Call release_last_vdef,
same_succ_flush_bb, delete_basic_block. Update CDI_DOMINATORS info.
(tail_merge_optimize): Remove argument in call to purge_bbs. Remove
call to free_dominance_info. Only call calculate_dominance_info once.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/tree-ssa-tail-merge.c
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (7 preceding siblings ...)
2011-10-23 16:06 ` vries at gcc dot gnu.org
@ 2011-10-23 16:07 ` vries at gcc dot gnu.org
2011-10-23 16:08 ` vries at gcc dot gnu.org
` (13 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-23 16:07 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #8 from vries at gcc dot gnu.org 2011-10-23 16:06:46 UTC ---
Author: vries
Date: Sun Oct 23 16:06:40 2011
New Revision: 180342
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180342
Log:
2011-10-23 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* gcc.dg/pr50763.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr50763.c
Modified:
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (8 preceding siblings ...)
2011-10-23 16:07 ` vries at gcc dot gnu.org
@ 2011-10-23 16:08 ` vries at gcc dot gnu.org
2011-10-24 10:39 ` belyshev at depni dot sinp.msu.ru
` (12 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-23 16:08 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #9 from vries at gcc dot gnu.org 2011-10-23 16:08:20 UTC ---
checked in patch and test-case, marking PR fixed.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (9 preceding siblings ...)
2011-10-23 16:08 ` vries at gcc dot gnu.org
@ 2011-10-24 10:39 ` belyshev at depni dot sinp.msu.ru
2011-10-24 10:59 ` vries at gcc dot gnu.org
` (11 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: belyshev at depni dot sinp.msu.ru @ 2011-10-24 10:39 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
Serge Belyshev <belyshev at depni dot sinp.msu.ru> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |belyshev at depni dot
| |sinp.msu.ru
--- Comment #10 from Serge Belyshev <belyshev at depni dot sinp.msu.ru> 2011-10-24 10:39:07 UTC ---
The commit r180341 breaks i686 bootstrap for me with verify_ssa failure. Here
is a reduced testcase, fails also on x86_64, compile with -O2:
------------------------------------------------------------------------------
typedef union tree_node *tree;
struct tree_base
{
int code;
};
struct tree_typed
{
struct tree_base base;
tree type;
};
struct tree_common
{
struct tree_typed typed;
};
struct tree_type_common
{
tree main_variant;
};
union tree_node
{
struct tree_base base;
struct tree_typed typed;
struct tree_type_common type_common;
};
int std_canonical_va_list_type (tree type)
{
if (type->base.code)
type = type->typed.type;
else
if (type->typed.type->base.code)
type = type->typed.type;
if (type->type_common.main_variant)
return 1;
return 0;
}
------------------------------------------------------------------------------
bug.c: In function 'std_canonical_va_list_type':
bug.c:31:5: error: definition in block 3 does not dominate use in block 4
for SSA_NAME: .MEM_18 in statement:
.MEM_18 = PHI <.MEM_12(D)(2), .MEM_18(4)>
PHI argument
.MEM_18
for PHI node
.MEM_18 = PHI <.MEM_12(D)(2), .MEM_18(4)>
bug.c:31:5: internal compiler error: verify_ssa failed
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (10 preceding siblings ...)
2011-10-24 10:39 ` belyshev at depni dot sinp.msu.ru
@ 2011-10-24 10:59 ` vries at gcc dot gnu.org
2011-10-24 12:07 ` vries at gcc dot gnu.org
` (10 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-24 10:59 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |ASSIGNED
Resolution|FIXED |
--- Comment #11 from vries at gcc dot gnu.org 2011-10-24 10:59:24 UTC ---
reopened due to comment 10.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (11 preceding siblings ...)
2011-10-24 10:59 ` vries at gcc dot gnu.org
@ 2011-10-24 12:07 ` vries at gcc dot gnu.org
2011-10-26 0:16 ` belyshev at depni dot sinp.msu.ru
` (9 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-24 12:07 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #12 from vries at gcc dot gnu.org 2011-10-24 12:06:19 UTC ---
Created attachment 25590
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25590
proposed patch for problem reported in comment 10
2011-10-24 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* tree-ssa-tail-merge.c (replace_block_by): Update vops if phi_vuse1 or
phi_vuse2 is NULL_TREE only if bb1 dominates or is dominated by bb2.
* gcc.dg/pr50763-2.c: New test.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (12 preceding siblings ...)
2011-10-24 12:07 ` vries at gcc dot gnu.org
@ 2011-10-26 0:16 ` belyshev at depni dot sinp.msu.ru
2011-10-26 9:34 ` vries at gcc dot gnu.org
` (8 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: belyshev at depni dot sinp.msu.ru @ 2011-10-26 0:16 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
Serge Belyshev <belyshev at depni dot sinp.msu.ru> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hjl.tools at gmail dot com
--- Comment #13 from Serge Belyshev <belyshev at depni dot sinp.msu.ru> 2011-10-26 00:15:02 UTC ---
*** Bug 50867 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (13 preceding siblings ...)
2011-10-26 0:16 ` belyshev at depni dot sinp.msu.ru
@ 2011-10-26 9:34 ` vries at gcc dot gnu.org
2011-10-26 9:35 ` vries at gcc dot gnu.org
` (7 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-26 9:34 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #15 from vries at gcc dot gnu.org 2011-10-26 09:34:00 UTC ---
Author: vries
Date: Wed Oct 26 09:33:56 2011
New Revision: 180519
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180519
Log:
2011-10-26 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* gcc.dg/pr50763-2.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr50763-2.c
Modified:
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (14 preceding siblings ...)
2011-10-26 9:34 ` vries at gcc dot gnu.org
@ 2011-10-26 9:35 ` vries at gcc dot gnu.org
2011-10-26 9:46 ` vries at gcc dot gnu.org
` (6 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-26 9:35 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #14 from vries at gcc dot gnu.org 2011-10-26 09:33:52 UTC ---
Author: vries
Date: Wed Oct 26 09:33:49 2011
New Revision: 180518
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180518
Log:
2011-10-26 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* tree-ssa-tail-merge.c (replace_block_by): Update vops if phi_vuse1 or
phi_vuse2 is NULL_TREE only if bb1 dominates or is dominated by bb2.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/tree-ssa-tail-merge.c
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (15 preceding siblings ...)
2011-10-26 9:35 ` vries at gcc dot gnu.org
@ 2011-10-26 9:46 ` vries at gcc dot gnu.org
2011-10-27 7:21 ` belyshev at depni dot sinp.msu.ru
` (5 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-26 9:46 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #16 from vries at gcc dot gnu.org 2011-10-26 09:45:30 UTC ---
Checked in patch and test-case for problem in comment 10, marking PR fixed.
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (16 preceding siblings ...)
2011-10-26 9:46 ` vries at gcc dot gnu.org
@ 2011-10-27 7:21 ` belyshev at depni dot sinp.msu.ru
2011-10-27 9:06 ` vries at gcc dot gnu.org
` (4 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: belyshev at depni dot sinp.msu.ru @ 2011-10-27 7:21 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
Serge Belyshev <belyshev at depni dot sinp.msu.ru> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |maxdeliso at gmail dot com
--- Comment #17 from Serge Belyshev <belyshev at depni dot sinp.msu.ru> 2011-10-27 07:21:11 UTC ---
*** Bug 50850 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (17 preceding siblings ...)
2011-10-27 7:21 ` belyshev at depni dot sinp.msu.ru
@ 2011-10-27 9:06 ` vries at gcc dot gnu.org
2011-10-27 9:10 ` vries at gcc dot gnu.org
` (3 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-27 9:06 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mario-baumann at web dot de
--- Comment #18 from vries at gcc dot gnu.org 2011-10-27 09:05:04 UTC ---
*** Bug 50854 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (18 preceding siblings ...)
2011-10-27 9:06 ` vries at gcc dot gnu.org
@ 2011-10-27 9:10 ` vries at gcc dot gnu.org
2011-11-02 18:03 ` vries at gcc dot gnu.org
` (2 subsequent siblings)
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-27 9:10 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cas43 at cs dot
| |stanford.edu
--- Comment #19 from vries at gcc dot gnu.org 2011-10-27 09:05:30 UTC ---
*** Bug 50851 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (19 preceding siblings ...)
2011-10-27 9:10 ` vries at gcc dot gnu.org
@ 2011-11-02 18:03 ` vries at gcc dot gnu.org
2011-11-04 10:58 ` vries at gcc dot gnu.org
2011-11-04 11:46 ` vries at gcc dot gnu.org
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-11-02 18:03 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #20 from vries at gcc dot gnu.org 2011-11-02 18:01:25 UTC ---
Author: vries
Date: Wed Nov 2 18:01:18 2011
New Revision: 180785
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180785
Log:
2011-11-02 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* g++.dg/pr50763-3.C: New test.
Added:
trunk/gcc/testsuite/g++.dg/pr50763-3.C
Modified:
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (20 preceding siblings ...)
2011-11-02 18:03 ` vries at gcc dot gnu.org
@ 2011-11-04 10:58 ` vries at gcc dot gnu.org
2011-11-04 11:46 ` vries at gcc dot gnu.org
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-11-04 10:58 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #21 from vries at gcc dot gnu.org 2011-11-04 10:56:44 UTC ---
Author: vries
Date: Fri Nov 4 10:56:39 2011
New Revision: 180936
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180936
Log:
2011-11-04 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* g++.dg/pr50763-4.C: New test.
Added:
trunk/gcc/testsuite/g++.dg/pr50763-4.C
Modified:
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 24+ messages in thread* [Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge
2011-10-17 18:10 [Bug tree-optimization/50763] New: [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -O2 -fno-tree-ccp -fno-tree-copy-prop -fno-tree-vrp zsojka at seznam dot cz
` (21 preceding siblings ...)
2011-11-04 10:58 ` vries at gcc dot gnu.org
@ 2011-11-04 11:46 ` vries at gcc dot gnu.org
22 siblings, 0 replies; 24+ messages in thread
From: vries at gcc dot gnu.org @ 2011-11-04 11:46 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #22 from vries at gcc dot gnu.org 2011-11-04 11:44:57 UTC ---
Author: vries
Date: Fri Nov 4 11:44:50 2011
New Revision: 180940
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180940
Log:
2011-11-04 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/50763
* gcc.dg/pr50763-5.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr50763-5.c
Modified:
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 24+ messages in thread