From 7a1817642b2da6c3163533bf367bf6ba1a878f52 Mon Sep 17 00:00:00 2001 From: Aldy Hernandez Date: Tue, 16 Mar 2010 11:33:45 +0000 Subject: [PATCH] re PR tree-optimization/42917 ("-fcompare-debug failure" with -ftree-loop-linear) PR tree-optimization/42917 * lambda-code.c (remove_iv): Skip debug statements. (lambda_loopnest_to_gcc_loopnest): Likewise. (not_interesting_stmt): Debug statements are not interesting. Co-Authored-By: Alexandre Oliva From-SVN: r157477 --- gcc/ChangeLog | 8 ++++++++ gcc/lambda-code.c | 8 ++++++-- gcc/testsuite/gcc.dg/pr42917.c | 16 ++++++++++++++++ 3 files changed, 30 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr42917.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f35a7a7b6bf..fda7e80c4b1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2010-03-16 Aldy Hernandez + Alexandre Oliva + + PR tree-optimization/42917 + * lambda-code.c (remove_iv): Skip debug statements. + (lambda_loopnest_to_gcc_loopnest): Likewise. + (not_interesting_stmt): Debug statements are not interesting. + 2010-03-16 Jakub Jelinek PR debug/43051 diff --git a/gcc/lambda-code.c b/gcc/lambda-code.c index e5fe6299f28..50f7d475665 100644 --- a/gcc/lambda-code.c +++ b/gcc/lambda-code.c @@ -1657,7 +1657,7 @@ remove_iv (gimple iv_stmt) continue; FOR_EACH_IMM_USE_STMT (stmt, imm_iter, arg) - if (stmt != iv_stmt) + if (stmt != iv_stmt && !is_gimple_debug (stmt)) used = true; if (!used) @@ -1839,6 +1839,9 @@ lambda_loopnest_to_gcc_loopnest (struct loop *old_loopnest, gimple_seq stmts; lambda_body_vector lbv, newlbv; + if (is_gimple_debug (stmt)) + continue; + /* Compute the new expression for the induction variable. */ depth = VEC_length (tree, new_ivs); @@ -1885,7 +1888,8 @@ not_interesting_stmt (gimple stmt) loop, we would have already failed the number of exits tests. */ if (gimple_code (stmt) == GIMPLE_LABEL || gimple_code (stmt) == GIMPLE_GOTO - || gimple_code (stmt) == GIMPLE_COND) + || gimple_code (stmt) == GIMPLE_COND + || is_gimple_debug (stmt)) return true; return false; } diff --git a/gcc/testsuite/gcc.dg/pr42917.c b/gcc/testsuite/gcc.dg/pr42917.c new file mode 100644 index 00000000000..d8db32ea2da --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr42917.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -ftree-loop-linear -fcompare-debug -fdump-tree-ltrans" } */ + +extern int A[]; + +void +foo () +{ + int i, j; + for (i = 0; i < 4; i++) + for (j = 255; j >= 0; j--) + A[j] = 0; +} + +/* { dg-final { scan-tree-dump "Successfully transformed loop" "ltrans" } } */ +/* { dg-final { cleanup-tree-dump "ltrans" } } */