[pr 69666] No SRA default_def replacements for unscalarizable regions

2016-02-23  Martin Jambor  <mjambor@suse.cz>

	PR tree-optimization/69666
	* tree-sra.c (sra_modify_assign): Do not attempt to create
	default_def replacements for unscalarizable regions.

testsuite/
	* gcc.dg/tree-ssa/pr69666.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@233626 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 49f6c25..e416c46 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-02-23  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/69666
+       * tree-sra.c (sra_modify_assign): Do not attempt to create
+       default_def replacements for unscalarizable regions.
+
 2016-02-20  Mark Wielaard  <mjw@redhat.com>
 
        PR c/28901

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7d23225..4d2fd43 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-02-23  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/69666
+       * gcc.dg/tree-ssa/pr69666.c: New test.
+
 2016-02-23  Andre Vehreschild  <vehre@gcc.gnu.org>
 
        PR fortran/67451

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr69666.c b/gcc/testsuite/gcc.dg/tree-ssa/pr69666.c
new file mode 100644 (file)
index 0000000..9be77ea
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr69666.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -w" } */
+
+int a, c, d;
+float b;
+void *memcpy();
+int fun1(int p1, unsigned char *p2) {
+  p2[p1] = b;
+  return a;
+}
+void fun2() {
+  unsigned char e[16];
+  fun1(16, e);
+  d = e[d];
+  memcpy(&c, e, sizeof(e));
+}

diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index 72157ed..663ded2 100644 (file)
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -3339,6 +3339,7 @@ sra_modify_assign (gimple *stmt, gimple_stmt_iterator *gsi)
     }
   else if (racc
           && !racc->grp_unscalarized_data
+          && !racc->grp_unscalarizable_region
           && TREE_CODE (lhs) == SSA_NAME
           && !access_has_replacements_p (racc))
     {