From 69c328ec60f2ff1858387eaf195119f6976fe99c Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Wed, 11 Oct 2017 22:50:46 +0200
Subject: [PATCH] re PR tree-optimization/78558 (Incorrect loop optimization
 leads to crash)

	PR tree-optimization/78558
	* gcc.dg/vect/pr78558.c: New test.

From-SVN: r253661
---
 gcc/testsuite/ChangeLog             |  3 ++
 gcc/testsuite/gcc.dg/vect/pr78558.c | 44 +++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/vect/pr78558.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f1364730db8..2135f48e5f8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2017-10-11  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/78558
+	* gcc.dg/vect/pr78558.c: New test.
+
 	PR c++/82414
 	* g++.dg/lto/pr82414_0.C: New test.
 
diff --git a/gcc/testsuite/gcc.dg/vect/pr78558.c b/gcc/testsuite/gcc.dg/vect/pr78558.c
new file mode 100644
index 00000000000..2606d4ec10d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr78558.c
@@ -0,0 +1,44 @@
+/* PR tree-optimization/78558 */
+
+#include "tree-vect.h"
+
+struct S
+{
+  char p[48];
+  unsigned long long q, r, s;
+} s[50];
+
+struct D
+{
+  unsigned long long q, r;
+} d[50];
+
+void
+foo (void)
+{
+  unsigned long i;
+  for (i = 0; i < 50; ++i)
+    {
+      d[i].q = s[i].q;
+      d[i].r = s[i].r;
+    }
+}
+
+int
+main ()
+{
+  check_vect ();
+  unsigned long i;
+  for (i = 0; i < 50; ++i)
+    {
+      s[i].q = i;
+      s[i].r = 50 * i;
+    }
+  asm volatile ("" : : "g" (s), "g" (d) : "memory");
+  foo ();
+  asm volatile ("" : : "g" (s), "g" (d) : "memory");
+  for (i = 0; i < 50; ++i)
+    if (d[i].q != i || d[i].r != 50 * i)
+      abort ();
+  return 0;
+}
-- 
2.30.2