mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-18 01:20:48 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR c/48146 (ICE tree check: expected ssa_name, have var_decl in has_zero_uses, at tree-flow-inline.h:342)

Browse Source 
2011-03-16  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/48146
	* tree-ssa-sink.c (sink_code_in_bb): Manually update virtual
	operands avoiding the need for renaming.

	* gcc.dg/torture/pr48146.c: New testcase.

From-SVN: r171045
This commit is contained in:
Richard Guenther 2011-03-16 12:41:08 +00:00 committed by Richard Biener
parent f0eddb9019
commit ef13324eca
4 changed files with 56 additions and 4 deletions

6
gcc/ChangeLog

@ -1,3 +1,9 @@
2011-03-16 Richard Guenther <rguenther@suse.de>
PR tree-optimization/48146
* tree-ssa-sink.c (sink_code_in_bb): Manually update virtual
operands avoiding the need for renaming.
2011-03-16 Richard Guenther <rguenther@suse.de>
* gimple-fold.c (maybe_fold_reference): Open-code relevant

5
gcc/testsuite/ChangeLog

@ -1,3 +1,8 @@
2011-03-16 Richard Guenther <rguenther@suse.de>
PR tree-optimization/48146
* gcc.dg/torture/pr48146.c: New testcase.
2011-03-16 Richard Guenther <rguenther@suse.de>
* gcc.dg/tree-ssa/pr14814.c: Adjust.

35
gcc/testsuite/gcc.dg/torture/pr48146.c Normal file

@ -0,0 +1,35 @@
/* { dg-do compile } */
static unsigned char
safe_sub_func_int_s_s (int si1, unsigned char si2)
{
return si1 ^ si2 & -si2 ^ si2 ? : si1 - si2;
}
int g_2[10] = {
0x90AC204EL
};
volatile unsigned char g_39;
unsigned char
func_67 (unsigned short p_68)
{
unsigned char l_92;
unsigned char l_74;
int *l = &g_2[6];
lbl_90:*l ^= 1;
if (p_68)
goto lbl_93;
for (l_74 = 0;; l_74 = safe_sub_func_int_s_s (l_74, 1))
{
if (l_74)
goto lbl_90;
lbl_93:l_92 ^= 0 != &g_39;
if (0)
{
}
else
*l = 1;
}
}

14
gcc/tree-ssa-sink.c

@ -505,12 +505,18 @@ sink_code_in_bb (basic_block bb)
bb->index, (gsi_bb (togsi))->index);
}
/* Prepare for VOP update. */
/* Update virtual operands of statements in the path we
do not sink to. */
if (gimple_vdef (stmt))
{
unlink_stmt_vdef (stmt);
gimple_set_vdef (stmt, gimple_vop (cfun));
mark_sym_for_renaming (gimple_vop (cfun));
imm_use_iterator iter;
use_operand_p use_p;
gimple vuse_stmt;
FOR_EACH_IMM_USE_STMT (vuse_stmt, iter, gimple_vdef (stmt))
if (gimple_code (vuse_stmt) != GIMPLE_PHI)
FOR_EACH_IMM_USE_ON_STMT (use_p, iter)
SET_USE (use_p, gimple_vuse (stmt));
}
/* If this is the end of the basic block, we need to insert at the end