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

re PR tree-optimization/42205 ([graphite] internal compiler error: verify_ssa failed with -ffast-math -floop-interchange)

Browse Source 
Fix PR42205.

2009-12-17  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/42205
	* graphite-sese-to-poly.c (translate_scalar_reduction_to_array_for_stmt):
	Insert the reduction copy in the same block as the phi node.
	(follow_ssa_with_commutative_ops): Handle GIMPLE_NOPs.

	* testsuite/gcc.dg/graphite/pr42205-1.c: New.
	* testsuite/gcc.dg/graphite/pr42205-2.c: New.

From-SVN: r155419
This commit is contained in:
Sebastian Pop 2009-12-23 07:50:22 +00:00 committed by Sebastian Pop
parent 070ba48343
commit 403ebc7e2c
4 changed files with 51 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gcc/ChangeLog.graphite
View File

@ -1,3 +1,21 @@
2009-12-17 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/42205
* graphite-sese-to-poly.c (translate_scalar_reduction_to_array_for_stmt):
Insert the reduction copy in the same block as the phi node.
(follow_ssa_with_commutative_ops): Handle GIMPLE_NOPs.
* testsuite/gcc.dg/graphite/pr42205-1.c: New.
* testsuite/gcc.dg/graphite/pr42205-2.c: New.
2009-12-17 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/42221
* sese.c (expand_scalar_variables_expr): Follow the SSA links into
the array indexing of ADDR_EXPRs.
* testsuite/gcc.dg/graphite/pr42221.c: New.
2009-12-17 Sebastian Pop <sebastian.pop@amd.com> 2009-12-17 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/42178 PR middle-end/42178

7
gcc/graphite-sese-to-poly.c
View File

@ -2498,6 +2498,9 @@ follow_ssa_with_commutative_ops (tree arg, tree lhs)
stmt = SSA_NAME_DEF_STMT (arg); stmt = SSA_NAME_DEF_STMT (arg);
if (gimple_code (stmt) == GIMPLE_NOP)
return NULL;
if (gimple_code (stmt) == GIMPLE_PHI) if (gimple_code (stmt) == GIMPLE_PHI)
{ {
if (phi_contains_arg (stmt, lhs)) if (phi_contains_arg (stmt, lhs))
@ -2674,13 +2677,13 @@ static void
translate_scalar_reduction_to_array_for_stmt (tree red, gimple stmt, translate_scalar_reduction_to_array_for_stmt (tree red, gimple stmt,
gimple loop_phi) gimple loop_phi)
{ {
basic_block bb = gimple_bb (stmt); gimple_stmt_iterator insert_gsi = gsi_after_labels (gimple_bb (loop_phi));
gimple_stmt_iterator insert_gsi = gsi_after_labels (bb);
tree res = gimple_phi_result (loop_phi); tree res = gimple_phi_result (loop_phi);
gimple assign = gimple_build_assign (res, red); gimple assign = gimple_build_assign (res, red);
gsi_insert_before (&insert_gsi, assign, GSI_SAME_STMT); gsi_insert_before (&insert_gsi, assign, GSI_SAME_STMT);
insert_gsi = gsi_after_labels (gimple_bb (stmt));
assign = gimple_build_assign (red, gimple_assign_lhs (stmt)); assign = gimple_build_assign (red, gimple_assign_lhs (stmt));
insert_gsi = gsi_for_stmt (stmt); insert_gsi = gsi_for_stmt (stmt);
gsi_insert_after (&insert_gsi, assign, GSI_SAME_STMT); gsi_insert_after (&insert_gsi, assign, GSI_SAME_STMT);

17
gcc/testsuite/gcc.dg/graphite/pr42205-1.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-options "-O1 -ffast-math -floop-interchange" } */
int adler32(int adler, char *buf, int n)
{
int sum = 0;
do {
adler += buf[0];
sum += adler;
adler += buf[1];
sum += adler;
adler += buf[2];
sum += adler;
adler += buf[3];
sum += adler;
} while (--n);
return adler | (sum << 16);
}

11
gcc/testsuite/gcc.dg/graphite/pr42205-2.c Normal file
View File

@ -0,0 +1,11 @@
/* { dg-options "-O1 -funsafe-math-optimizations -floop-interchange" } */
double f(double x)
{
double y = 0.0;
int i;
for (i = 0; i < 8; i++) {
y += x * i;
}
return y;
}