From a0dd150249b43a16caaed1c37572fa41272a6125 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Wed, 11 Aug 2010 20:28:15 +0000 Subject: [PATCH] Add testcase for PR42729 and fix handling of gimple_debug info. 2010-07-15 Sebastian Pop * sese.c (rename_uses): Handl unconditionally gimple_debug statements. * gcc.dg/graphite/pr42729.c: New. From-SVN: r163146 --- gcc/ChangeLog | 4 ++++ gcc/ChangeLog.graphite | 6 ++++++ gcc/sese.c | 24 +++++++++++------------- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/graphite/pr42729.c | 15 +++++++++++++++ 5 files changed, 40 insertions(+), 13 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/graphite/pr42729.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c40f769afd0c..9745f280b2ff 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2010-08-02 Sebastian Pop + + * sese.c (rename_uses): Handl unconditionally gimple_debug statements. + 2010-08-02 Sebastian Pop * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Special diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 965ed2530c09..37bedfb171bb 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,3 +1,9 @@ +2010-07-15 Sebastian Pop + + * sese.c (rename_uses): Handl unconditionally gimple_debug statements. + + * gcc.dg/graphite/pr42729.c: New. + 2010-07-15 Sebastian Pop * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Special diff --git a/gcc/sese.c b/gcc/sese.c index 583504de2d70..9dbd76f85ea5 100644 --- a/gcc/sese.c +++ b/gcc/sese.c @@ -480,6 +480,16 @@ rename_uses (gimple copy, htab_t rename_map, gimple_stmt_iterator *gsi_tgt, use_operand_p use_p; ssa_op_iter op_iter; + if (is_gimple_debug (copy)) + { + if (gimple_debug_bind_p (copy)) + gimple_debug_bind_reset_value (copy); + else + gcc_unreachable (); + + return; + } + FOR_EACH_SSA_USE_OPERAND (use_p, copy, op_iter, SSA_OP_ALL_USES) { tree old_name = USE_FROM_PTR (use_p); @@ -501,19 +511,7 @@ rename_uses (gimple copy, htab_t rename_map, gimple_stmt_iterator *gsi_tgt, || (TREE_CODE (new_expr) != SSA_NAME && is_gimple_reg (old_name))) { - tree var; - - if (is_gimple_debug (copy)) - { - if (gimple_debug_bind_p (copy)) - gimple_debug_bind_reset_value (copy); - else - gcc_unreachable (); - - break; - } - - var = create_tmp_var (type_old_name, "var"); + tree var = create_tmp_var (type_old_name, "var"); if (type_old_name != type_new_expr) new_expr = fold_convert (type_old_name, new_expr); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e74bbbe10833..a20c841b06a9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-08-02 Sebastian Pop + + * gcc.dg/graphite/pr42729.c: New. + 2010-08-02 Sebastian Pop * gfortran.dg/graphite/id-20.f: New. diff --git a/gcc/testsuite/gcc.dg/graphite/pr42729.c b/gcc/testsuite/gcc.dg/graphite/pr42729.c new file mode 100644 index 000000000000..3a0e901a13af --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/pr42729.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fgraphite-identity -fcompare-debug" } */ + +int A[10]; +int *foo () +{ + int *p1, *p2, i; + for (i = 0; i < 10; i++) + { + p1 = &A[i]; + *p1 = 0; + } + p2 = p1; + return p2; +} -- 2.47.2