OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/50672 (ice: verify_ssa failed: no immediate_use list) 

2012-08-02  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/50672
	Revert
	2012-08-01  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-tail-merge.c (release_last_vdef): Remove.
	(replace_block_by): Adjust.

	* g++.dg/torture/pr50672.C: New testcase.

From-SVN: r190070
This commit is contained in:
Richard Guenther 2012-08-02 09:43:14 +00:00 committed by Richard Biener
parent b6a4560501
commit fcddd80e2e
4 changed files with 68 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
2012-08-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50672
Revert
2012-08-01 Richard Guenther <rguenther@suse.de>
* tree-ssa-tail-merge.c (release_last_vdef): Remove.
(replace_block_by): Adjust.
2012-08-02 Richard Guenther <rguenther@suse.de>
* tree-dfa.c (referenced_var_lookup): Remove.

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2012-08-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50672
* g++.dg/torture/pr50672.C: New testcase.
2012-08-02 Janus Weil <janus@gcc.gnu.org>
PR fortran/54147

22
gcc/testsuite/g++.dg/torture/pr50672.C Normal file
View File

@ -0,0 +1,22 @@
// { dg-do compile }
struct A
{
bool isHint();
};
class B
{
void makeLine( int *) const;
void drawLine() const; A* to() const;
void _print() const;
};
A a;
void B::makeLine(int *p1) const
{
if (a.isHint() && to()->isHint()) ;
else {
if (p1) B::drawLine(); else B::_print();
return;
}
if (p1) B::drawLine(); else B::_print();
}

32
gcc/tree-ssa-tail-merge.c
View File

@ -812,6 +812,37 @@ same_succ_flush_bbs (bitmap bbs)
same_succ_flush_bb (BASIC_BLOCK (i));
}
/* Release the last vdef in BB, either normal or phi result. */
static void
release_last_vdef (basic_block bb)
{
gimple_stmt_iterator i;
for (i = gsi_last_bb (bb); !gsi_end_p (i); gsi_prev_nondebug (&i))
{
gimple stmt = gsi_stmt (i);
if (gimple_vdef (stmt) == NULL_TREE)
continue;
mark_virtual_operand_for_renaming (gimple_vdef (stmt));
return;
}
for (i = gsi_start_phis (bb); !gsi_end_p (i); gsi_next (&i))
{
gimple phi = gsi_stmt (i);
tree res = gimple_phi_result (phi);
if (is_gimple_reg (res))
continue;
mark_virtual_phi_result_for_renaming (phi);
return;
}
}
/* For deleted_bb_preds, find bbs with same successors. */
static void
@ -1446,6 +1477,7 @@ replace_block_by (basic_block bb1, basic_block bb2)
bb1->frequency = 0;
/* Do updates that use bb1, before deleting bb1. */
release_last_vdef (bb1);
same_succ_flush_bb (bb1);
delete_basic_block (bb1);