ipa-prop.c (determine_known_aggregate_parts): Skip writes to different…

ipa-prop.c (determine_known_aggregate_parts): Skip writes to different declarations when tracking writes to a declaration.

2012-11-08  Martin Jambor  <mjambor@suse.cz>

	* ipa-prop.c (determine_known_aggregate_parts): Skip writes to
	different declarations when tracking writes to a declaration.

	* gfortran.dg/ipcp-array-1.f90: New test.

From-SVN: r193330

gcc/ChangeLog

+2012-11-08  Martin Jambor  <mjambor@suse.cz>
+
+	* ipa-prop.c (determine_known_aggregate_parts): Skip writes to
+	different declarations when tracking writes to a declaration.
+
 2012-11-07  David S. Miller  <davem@davemloft.net>
 
 	* config/sparc/constraints.md ("U"): Document, in detail,

gcc/ipa-prop.c

@@ -1318,7 +1318,12 @@ determine_known_aggregate_parts (gimple call, tree arg,
 	    break;
 	}
       else if (lhs_base != arg_base)
-	break;
+	{
+	  if (DECL_P (lhs_base))
+	    continue;
+	  else
+	    break;
+	}
 
       if (lhs_offset + lhs_size < arg_offset
 	  || lhs_offset >= (arg_offset + arg_size))

gcc/testsuite/ChangeLog

+2012-11-08  Martin Jambor  <mjambor@suse.cz>
+
+	* gfortran.dg/ipcp-array-1.f90: New test.
+
 2012-11-08  Florian Weimer  <fweimer@redhat.com>
 
 	* g++.old-deja/g++.abi/cxa_vec.C: Fix typo in comment.

gcc/testsuite/gfortran.dg/ipcp-array-1.f90

+! { dg-do compile }
+! { dg-options "-O2 -fdump-ipa-cp-details -fno-inline -fdump-tree-optimized" }
+
+subroutine bar (a, b, n)
+  integer :: a(n), b(n)
+  call foo (a, b)
+contains
+subroutine foo (a, b)
+  integer :: a(:), b(:)
+  a = b
+end subroutine
+end
+
+! { dg-final { scan-ipa-dump "Creating a specialized node of foo" "cp" } }
+! { dg-final { scan-ipa-dump-times "Aggregate replacements\[^=\]*=\[^=\]*=\[^=\]*=\[^=\]*=\[^=\]*=\[^=\]*=\[^=\]*=\[^=\]*=" 2 "cp" } }
+! { dg-final { cleanup-ipa-dump "cp" } }
+! { dg-final { scan-tree-dump-not "stride;" "optimized" } }
+! { dg-final { scan-tree-dump-not "lbound;" "optimized" } }
+! { dg-final { cleanup-tree-dump "optimized" } }