diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3741614ea83..7a82d9fcaf6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-10-19 Richard Guenther + + PR tree-optimization/54981 + * tree-loop-distribution.c (ssa_name_has_uses_outside_loop_p): + Do not consider debug stmts as uses. + 2012-10-19 Richard Biener PR tree-optimization/54976 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4af8265d80d..a7e4d3e3041 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-10-19 Richard Guenther + + PR tree-optimization/54981 + * gcc.dg/pr54981.c: New testcase. + 2012-10-19 Zhenqiang Chen PR target/54892 diff --git a/gcc/testsuite/gcc.dg/pr54981.c b/gcc/testsuite/gcc.dg/pr54981.c new file mode 100644 index 00000000000..aa77d60c44d --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr54981.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O -ftree-loop-distribute-patterns -fcompare-debug" } */ + +extern void bar(unsigned *, char *); + +void foo(char *s) +{ + unsigned i; + char t[2]; + + bar(&i, t); + + for (i = 0; i < 2; i++) + s[i] = t[i]; +} diff --git a/gcc/tree-loop-distribution.c b/gcc/tree-loop-distribution.c index d29fe1cd386..1ffc434f4a4 100644 --- a/gcc/tree-loop-distribution.c +++ b/gcc/tree-loop-distribution.c @@ -125,8 +125,12 @@ ssa_name_has_uses_outside_loop_p (tree def, loop_p loop) use_operand_p use_p; FOR_EACH_IMM_USE_FAST (use_p, imm_iter, def) - if (loop != loop_containing_stmt (USE_STMT (use_p))) - return true; + { + gimple use_stmt = USE_STMT (use_p); + if (!is_gimple_debug (use_stmt) + && loop != loop_containing_stmt (use_stmt)) + return true; + } return false; }