From 0c91037894987356abfee77dfe49cd075b7126c2 Mon Sep 17 00:00:00 2001
From: Michael Matz <matz@suse.de>
Date: Wed, 9 May 2012 16:08:26 +0000
Subject: [PATCH] re PR tree-optimization/53185 (segmentation fault in
 vectorizable_load)

	PR tree-optimization/53185
	* tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Disable
	peeling when we see strided loads.

testsuite/
	* gcc.dg/vect/pr53185.c: New test.

From-SVN: r187340
---
 gcc/ChangeLog                       |  6 ++++++
 gcc/testsuite/ChangeLog             |  5 +++++
 gcc/testsuite/gcc.dg/vect/pr53185.c | 16 ++++++++++++++++
 gcc/tree-vect-data-refs.c           | 11 +++++++++++
 4 files changed, 38 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/vect/pr53185.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 237ae1c781c..7af99fc387c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-05-09  Michael Matz  <matz@suse.de>
+
+	PR tree-optimization/53185
+	* tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Disable
+	peeling when we see strided loads.
+
 2012-05-09  Matthias Klose  <doko@ubuntu.com>
 
 	* gcc-ar.c (main): Don't check for execute bits for the plugin.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 06c1f9d852a..3f1b7877189 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-05-09  Michael Matz  <matz@suse.de>
+
+	PR tree-optimization/53185
+	* gcc.dg/vect/pr53185.c: New test.
+
 2012-05-09  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR middle-end/53249
diff --git a/gcc/testsuite/gcc.dg/vect/pr53185.c b/gcc/testsuite/gcc.dg/vect/pr53185.c
new file mode 100644
index 00000000000..af1efba8d66
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr53185.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -ftree-vectorize" } */
+unsigned short a, e;
+int *b, *d;
+int c;
+extern int fn2();
+void fn1 () {
+  void *f;
+  for (;;) {
+    fn2 ();
+    b = f;
+    e = 0;
+    for (; e < a; ++e)
+      b[e] = d[e * c];
+  }
+}
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c
index 74640345915..715e3ffde61 100644
--- a/gcc/tree-vect-data-refs.c
+++ b/gcc/tree-vect-data-refs.c
@@ -1507,6 +1507,17 @@ vect_enhance_data_refs_alignment (loop_vec_info loop_vinfo)
           && GROUP_FIRST_ELEMENT (stmt_info) != stmt)
         continue;
 
+      /* FORNOW: Any strided load prevents peeling.  The induction
+         variable analysis will fail when the prologue loop is generated,
+	 and so we can't generate the new base for the pointer.  */
+      if (STMT_VINFO_STRIDE_LOAD_P (stmt_info))
+	{
+	  if (vect_print_dump_info (REPORT_DETAILS))
+	    fprintf (vect_dump, "strided load prevents peeling");
+	  do_peeling = false;
+	  break;
+	}
+
       /* For invariant accesses there is nothing to enhance.  */
       if (integer_zerop (DR_STEP (dr)))
 	continue;