From patchwork Mon Aug 2 20:20:18 2010 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Subject: [45/65] Unshare the scev before code generating it. From: Sebastian Pop X-Patchwork-Id: 60644 Message-Id: <1280780438-17543-46-git-send-email-sebpop@gmail.com> To: gcc-patches@gcc.gnu.org Cc: Tobias Grosser , gcc-graphite Date: Mon, 2 Aug 2010 15:20:18 -0500 From: spop 2010-07-15 Sebastian Pop * sese.c (rename_uses): Call unshare_expr before force_gimple_operand. * gcc.dg/graphite/id-23.c: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@162253 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 4 ++++ gcc/ChangeLog.graphite | 6 ++++++ gcc/sese.c | 3 ++- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/graphite/id-23.c | 22 ++++++++++++++++++++++ 5 files changed, 38 insertions(+), 1 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/graphite/id-23.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f153d76..29efa29 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2010-08-02 Sebastian Pop + * sese.c (rename_uses): Call unshare_expr before force_gimple_operand. + +2010-08-02 Sebastian Pop + * graphite-sese-to-poly.c (reduction_phi_p): Do not rewrite out of SSA scalar phi nodes that can be scev_analyzable_p. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 1ddd731..d929c9a 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2010-07-15 Sebastian Pop + * sese.c (rename_uses): Call unshare_expr before force_gimple_operand. + + * gcc.dg/graphite/id-23.c: New. + +2010-07-15 Sebastian Pop + * graphite-sese-to-poly.c (reduction_phi_p): Do not rewrite out of SSA scalar phi nodes that can be scev_analyzable_p. diff --git a/gcc/sese.c b/gcc/sese.c index 9dbd76f..5ac7a2f 100644 --- a/gcc/sese.c +++ b/gcc/sese.c @@ -543,7 +543,8 @@ rename_uses (gimple copy, htab_t rename_map, gimple_stmt_iterator *gsi_tgt, && !tree_contains_chrecs (new_expr, NULL)); /* Replace the old_name with the new_expr. */ - new_expr = force_gimple_operand (new_expr, &stmts, true, NULL); + new_expr = force_gimple_operand (unshare_expr (new_expr), &stmts, + true, NULL); gsi_insert_seq_before (gsi_tgt, stmts, GSI_SAME_STMT); replace_exp (use_p, new_expr); set_rename (rename_map, old_name, new_expr); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c56694e..69e8a4c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2010-08-02 Sebastian Pop + * gcc.dg/graphite/id-23.c: New. + +2010-08-02 Sebastian Pop + * gfortran.dg/graphite/id-20.f: Adjust testcase. 2010-08-02 Sebastian Pop diff --git a/gcc/testsuite/gcc.dg/graphite/id-23.c b/gcc/testsuite/gcc.dg/graphite/id-23.c new file mode 100644 index 0000000..0f8a1f3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/id-23.c @@ -0,0 +1,22 @@ +double *ZV_entries (void); +void SubMtx_fillRowZV (int irow) +{ + double *rowvec = ZV_entries (); + double *entries; + int ii, ipivot, jrow, kk, m; + int *pivotsizes; + + SubMtx_blockDiagonalInfo (&pivotsizes); + + for (jrow = ipivot = kk = 0; jrow <= irow; ipivot++) + { + m = pivotsizes[ipivot]; + if (jrow <= irow && irow < jrow + m) + for (ii = jrow; ii < irow; ii++) + { + rowvec[2*ii] = entries[2*kk]; + rowvec[2*ii+1] = entries[2*kk+1]; + } + jrow += m; + } +}