From 07db7d35a9b27002021a96fc0ac4175d102d56d3 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Fri, 22 Oct 2010 19:03:39 +0000 Subject: [PATCH] re PR tree-optimization/46137 (g++.dg/torture/pr45877.C FAILs with -fno-tree-dce) 2010-10-22 Richard Guenther PR middle-end/46137 * gimple-fold.c (gimplify_and_update_call_from_tree): Properly remove the virtual operands if they are not needed. * c-c++-common/torture/pr46137.c: New testcase. From-SVN: r165852 --- gcc/ChangeLog | 6 ++++++ gcc/gimple-fold.c | 2 ++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/c-c++-common/torture/pr46137.c | 18 ++++++++++++++++++ 4 files changed, 31 insertions(+) create mode 100644 gcc/testsuite/c-c++-common/torture/pr46137.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5731ffe83e91..3f6e01bedd32 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-10-22 Richard Guenther + + PR middle-end/46137 + * gimple-fold.c (gimplify_and_update_call_from_tree): Properly + remove the virtual operands if they are not needed. + 2010-10-22 Changpeng Fang * gcc/config/i386/i386.c (processor_costs bdver1_cost): Update diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 697e3643528b..6862c126c72b 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -1044,6 +1044,8 @@ gimplify_and_update_call_from_tree (gimple_stmt_iterator *si_p, tree expr) if (TREE_CODE (gimple_vdef (stmt)) == SSA_NAME) SSA_NAME_DEF_STMT (gimple_vdef (stmt)) = new_stmt; } + else if (reaching_vuse == gimple_vuse (stmt)) + unlink_stmt_vdef (stmt); } gimple_set_location (new_stmt, gimple_location (stmt)); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5c254e106982..1aa51a459bf3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-10-22 Richard Guenther + + PR middle-end/46137 + * c-c++-common/torture/pr46137.c: New testcase. + 2010-10-22 Jason Merrill PR c++/46129 diff --git a/gcc/testsuite/c-c++-common/torture/pr46137.c b/gcc/testsuite/c-c++-common/torture/pr46137.c new file mode 100644 index 000000000000..3e44ff6b7c97 --- /dev/null +++ b/gcc/testsuite/c-c++-common/torture/pr46137.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ + +struct X { }; + +static inline void * +bar (void *dst, void *src) +{ + return __builtin___memcpy_chk (dst, src, sizeof (struct X), + __builtin_object_size (dst, 0)); +} + +struct X +foo (struct X *x) +{ + struct X any; + bar (&any, x); + return any; +}