From 434c8f4b99a89391ee874db02f0395979792eb3f Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 1 Mar 2010 12:56:44 +0000 Subject: [PATCH] re PR tree-optimization/43213 (Worse code generated with -O2) 2010-03-01 Richard Guenther PR middle-end/43213 * expr.c (expand_assignment): Use the alias-oracle to tell if the rhs aliases the result decl. * gcc.dg/pr43213.c: New testcase. From-SVN: r157142 --- gcc/ChangeLog | 6 ++++++ gcc/expr.c | 6 ++++-- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr43213.c | 12 ++++++++++++ 4 files changed, 27 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr43213.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 26c50318a562..8ea24d342776 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-03-01 Richard Guenther + + PR middle-end/43213 + * expr.c (expand_assignment): Use the alias-oracle to tell + if the rhs aliases the result decl. + 2010-03-01 Rainer Orth PR pch/14940 diff --git a/gcc/expr.c b/gcc/expr.c index cd013b023a68..1e74f2a6911e 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -4432,9 +4432,11 @@ expand_assignment (tree to, tree from, bool nontemporal) /* In case we are returning the contents of an object which overlaps the place the value is being stored, use a safe function when copying a value through a pointer into a structure value return block. */ - if (TREE_CODE (to) == RESULT_DECL && TREE_CODE (from) == INDIRECT_REF + if (TREE_CODE (to) == RESULT_DECL + && TREE_CODE (from) == INDIRECT_REF && ADDR_SPACE_GENERIC_P - (TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (from, 0))))) + (TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (from, 0))))) + && refs_may_alias_p (to, from) && cfun->returns_struct && !cfun->returns_pcc_struct) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c399e8030c7e..fcdfdf7dc0b9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-03-01 Richard Guenther + + PR middle-end/43213 + * gcc.dg/pr43213.c: New testcase. + 2010-03-01 Rainer Orth * lib/target-supports.exp (check_effective_target_ucn_nocache): diff --git a/gcc/testsuite/gcc.dg/pr43213.c b/gcc/testsuite/gcc.dg/pr43213.c new file mode 100644 index 000000000000..d12fb22b1daf --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr43213.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ + +struct S { + int i; +}; + +struct S f(int i) +{ + return *(struct S *)&i; +} + +/* { dg-final { scan-assembler-not "memmove" } } */ -- 2.43.5