diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 58f0f913854..19104625f6c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2009-02-23 Sebastian Pop + + PR tree-optimization/39260 + * graphite.c (harmful_stmt_in_bb): Stop a SCoP when the basic block + contains a condition with a real type. + (build_scop_conditions_1): Conditions are always last_stmt of a bb. + 2009-02-23 Jason Merrill PR c++/38880 diff --git a/gcc/graphite.c b/gcc/graphite.c index 1af3c140d9d..a4cbdfd75a8 100644 --- a/gcc/graphite.c +++ b/gcc/graphite.c @@ -1209,11 +1209,23 @@ static gimple harmful_stmt_in_bb (basic_block scop_entry, basic_block bb) { gimple_stmt_iterator gsi; + gimple stmt; for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi)) if (!stmt_simple_for_scop_p (scop_entry, gsi_stmt (gsi))) return gsi_stmt (gsi); + stmt = last_stmt (bb); + if (stmt && gimple_code (stmt) == GIMPLE_COND) + { + tree lhs = gimple_cond_lhs (stmt); + tree rhs = gimple_cond_rhs (stmt); + + if (TREE_CODE (TREE_TYPE (lhs)) == REAL_TYPE + || TREE_CODE (TREE_TYPE (rhs)) == REAL_TYPE) + return stmt; + } + return NULL; } @@ -3410,9 +3422,9 @@ build_scop_conditions_1 (VEC (gimple, heap) **conditions, bool res = true; int i, j; graphite_bb_p gbb; - gimple_stmt_iterator gsi; basic_block bb_child, bb_iter; VEC (basic_block, heap) *dom; + gimple stmt; /* Make sure we are in the SCoP. */ if (!bb_in_sese_p (bb, SCOP_REGION (scop))) @@ -3430,9 +3442,9 @@ build_scop_conditions_1 (VEC (gimple, heap) **conditions, dom = get_dominated_by (CDI_DOMINATORS, bb); - for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi)) + stmt = last_stmt (bb); + if (stmt) { - gimple stmt = gsi_stmt (gsi); VEC (edge, gc) *edges; edge e; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6e96ea4ea8d..4256418d318 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-02-23 Sebastian Pop + + PR tree-optimization/39260 + * gcc.dg/graphite/pr39260.c: New. + 2009-02-23 H.J. Lu * g++.dg/init/static-init1.C: Replace int with __PTRDIFF_TYPE__. diff --git a/gcc/testsuite/gcc.dg/graphite/pr39260.c b/gcc/testsuite/gcc.dg/graphite/pr39260.c new file mode 100644 index 00000000000..066b5bde8c2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/pr39260.c @@ -0,0 +1,17 @@ +/* { dg-options "-O2 -fgraphite-identity -ffast-math" } */ + +VBR_encode_frame (int mode_gr, int channels_out, int max_bits[2][2]) +{ + int max_nbits_ch[2][2]; + int gr, ch; + for (gr = 0; gr < mode_gr; ++gr) + { + float f[2], s = 0; + for (ch = 0; ch < channels_out; ++ch) + if (max_nbits_ch[gr][ch] > 0) + s += f[ch]; + for (ch = 0; ch < channels_out; ++ch) + if (s > 0) + max_nbits_ch[gr][ch] = 7680 * f[ch] / s; + } +}