vec-extract.h: New files to check the vec_extract built-in functions for all vector...
authorMichael Meissner <meissner@linux.vnet.ibm.com>
Fri, 22 Jul 2016 00:12:28 +0000 (00:12 +0000)
committerMichael Meissner <meissner@gcc.gnu.org>
Fri, 22 Jul 2016 00:12:28 +0000 (00:12 +0000)
2016-07-21  Michael Meissner  <meissner@linux.vnet.ibm.com>

* gcc.target/powerpc/vec-extract.h: New files to check the
vec_extract built-in functions for all vector types, testing
accessing each element, both with constant and variable element
numbers.
* gcc.target/powerpc/vec-extract-v16qi.c: Likewise.
* gcc.target/powerpc/vec-extract-v16qiu.c: Likewise.
* gcc.target/powerpc/vec-extract-v2df.c: Likewise.
* gcc.target/powerpc/vec-extract-v2di.c: Likewise.
* gcc.target/powerpc/vec-extract-v4sf.c: Likewise.
* gcc.target/powerpc/vec-extract-v4si.c: Likewise.
* gcc.target/powerpc/vec-extract-v4siu.c: Likewise.
* gcc.target/powerpc/vec-extract-v8hi.c: Likewise.
* gcc.target/powerpc/vec-extract-v8hiu.c: Likewise.

From-SVN: r238613

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/powerpc/vec-extract-v16qi.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v16qiu.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v2df.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v2di.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v4sf.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v4si.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v4siu.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v8hi.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract-v8hiu.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/vec-extract.h [new file with mode: 0644]

index 0c03e52838d7bc48a3404bfcdaf71aebdffa1b01..0a5a0329bcfb3437666e6d12e0d07f61cc2c8d7b 100644 (file)
@@ -1,3 +1,19 @@
+2016-07-21  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       * gcc.target/powerpc/vec-extract.h: New files to check the
+       vec_extract built-in functions for all vector types, testing
+       accessing each element, both with constant and variable element
+       numbers.
+       * gcc.target/powerpc/vec-extract-v16qi.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v16qiu.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v2df.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v2di.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v4sf.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v4si.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v4siu.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v8hi.c: Likewise.
+       * gcc.target/powerpc/vec-extract-v8hiu.c: Likewise.
+
 2016-07-21  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/71728
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v16qi.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v16qi.c
new file mode 100644 (file)
index 0000000..a28cb2f
--- /dev/null
@@ -0,0 +1,11 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE signed char
+#define ELEMENTS 16
+#define INITIAL \
+  {  10,  -20,  30,  -40, 50, -60, 70, -80, \
+     90, -100, 110, -120, 30, -40, 50, -60 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v16qiu.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v16qiu.c
new file mode 100644 (file)
index 0000000..431e6fc
--- /dev/null
@@ -0,0 +1,10 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE unsigned char
+#define ELEMENTS 16
+#define INITIAL \
+  {  1, 2, 3, 4, 5, 6, 7, 8, 240, 241, 242, 243, 244, 245, 246, 247 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v2df.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v2df.c
new file mode 100644 (file)
index 0000000..a8b255c
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE double
+#define ELEMENTS 2
+#define INITIAL { 10.0, -20.0 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v2di.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v2di.c
new file mode 100644 (file)
index 0000000..1e6f666
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* && lp64 } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE long
+#define ELEMENTS 2
+#define INITIAL { 10, -20 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v4sf.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v4sf.c
new file mode 100644 (file)
index 0000000..93e8b10
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE float
+#define ELEMENTS 4
+#define INITIAL { 10.0f, -20.0f, 30.0f, -40.0f }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v4si.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v4si.c
new file mode 100644 (file)
index 0000000..cf38423
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE int
+#define ELEMENTS 4
+#define INITIAL { 10, -20, 30, -40 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v4siu.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v4siu.c
new file mode 100644 (file)
index 0000000..1b85f90
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE unsigned int
+#define ELEMENTS 4
+#define INITIAL { 1, 2, 0xff03, 0xff04 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v8hi.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v8hi.c
new file mode 100644 (file)
index 0000000..ba1e338
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE short
+#define ELEMENTS 8
+#define INITIAL { 10, -20, 30, -40, 50, -60, 70, 80 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract-v8hiu.c b/gcc/testsuite/gcc.target/powerpc/vec-extract-v8hiu.c
new file mode 100644 (file)
index 0000000..82581e1
--- /dev/null
@@ -0,0 +1,9 @@
+/* { dg-do run { target { powerpc*-*-linux* } } } */
+/* { dg-require-effective-target vsx_hw } */
+/* { dg-options "-O2 -mvsx" } */
+
+#define TYPE unsigned short
+#define ELEMENTS 8
+#define INITIAL { 1, 2, 3, 4, 0xf1, 0xf2, 0xf3, 0xf4 }
+
+#include "vec-extract.h"
diff --git a/gcc/testsuite/gcc.target/powerpc/vec-extract.h b/gcc/testsuite/gcc.target/powerpc/vec-extract.h
new file mode 100644 (file)
index 0000000..fcb4a40
--- /dev/null
@@ -0,0 +1,1124 @@
+#include <stdlib.h>
+#include <stddef.h>
+#include <altivec.h>
+
+static void
+check (TYPE expected, TYPE got)
+{
+  if (expected != got)
+    abort ();
+}
+
+static vector TYPE  deoptimize     (vector TYPE)       __attribute__((__noinline__));
+static vector TYPE *deoptimize_ptr (vector TYPE *)     __attribute__((__noinline__));
+
+static vector TYPE
+deoptimize (vector TYPE a)
+{
+  __asm__ (" # %x0" : "+wa" (a));
+  return a;
+}
+
+static vector TYPE *
+deoptimize_ptr (vector TYPE *p)
+{
+  __asm__ (" # %0" : "+r" (p));
+  return p;
+}
+
+\f
+/* Tests for the normal case of vec_extract where the vector is in a register
+   and returning the result in a register as a return value.  */
+TYPE
+get_auto_n (vector TYPE a, ssize_t n)
+{
+  return vec_extract (a, n);
+}
+
+TYPE
+get_auto_0 (vector TYPE a)
+{
+  return vec_extract (a, 0);
+}
+
+TYPE
+get_auto_1 (vector TYPE a)
+{
+  return vec_extract (a, 1);
+}
+
+#if ELEMENTS >= 4
+TYPE
+get_auto_2 (vector TYPE a)
+{
+  return vec_extract (a, 2);
+}
+
+TYPE
+get_auto_3 (vector TYPE a)
+{
+  return vec_extract (a, 3);
+}
+
+#if ELEMENTS >= 8
+TYPE
+get_auto_4 (vector TYPE a)
+{
+  return vec_extract (a, 4);
+}
+
+TYPE
+get_auto_5 (vector TYPE a)
+{
+  return vec_extract (a, 5);
+}
+
+TYPE
+get_auto_6 (vector TYPE a)
+{
+  return vec_extract (a, 6);
+}
+
+TYPE
+get_auto_7 (vector TYPE a)
+{
+  return vec_extract (a, 7);
+}
+
+#if ELEMENTS >= 16
+TYPE
+get_auto_8 (vector TYPE a)
+{
+  return vec_extract (a, 8);
+}
+
+TYPE
+get_auto_9 (vector TYPE a)
+{
+  return vec_extract (a, 9);
+}
+
+TYPE
+get_auto_10 (vector TYPE a)
+{
+  return vec_extract (a, 10);
+}
+
+TYPE
+get_auto_11 (vector TYPE a)
+{
+  return vec_extract (a, 11);
+}
+
+TYPE
+get_auto_12 (vector TYPE a)
+{
+  return vec_extract (a, 12);
+}
+
+TYPE
+get_auto_13 (vector TYPE a)
+{
+  return vec_extract (a, 13);
+}
+
+TYPE
+get_auto_14 (vector TYPE a)
+{
+  return vec_extract (a, 14);
+}
+
+TYPE
+get_auto_15 (vector TYPE a)
+{
+  return vec_extract (a, 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef TYPE (*auto_func_type) (vector TYPE);
+
+static auto_func_type get_auto_const[] = {
+  get_auto_0,
+  get_auto_1,
+#if ELEMENTS >= 4
+  get_auto_2,
+  get_auto_3,
+#if ELEMENTS >= 8
+  get_auto_4,
+  get_auto_5,
+  get_auto_6,
+  get_auto_7,
+#if ELEMENTS >= 16
+  get_auto_8,
+  get_auto_9,
+  get_auto_10,
+  get_auto_11,
+  get_auto_12,
+  get_auto_13,
+  get_auto_14,
+  get_auto_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_auto (vector TYPE a) __attribute__((__noinline__));
+
+void
+do_auto (vector TYPE a)
+{
+  size_t i;
+
+  for (i = 0; i < sizeof (get_auto_const) / sizeof (get_auto_const[0]); i++)
+    check (get_auto_n (a, i),  (get_auto_const[i]) (a));
+}
+
+\f
+/* Tests for vec_extract of a vector in a register, but storing the result
+   (there is an optimization where an element can be stored to memory if it is
+   in the right position to use a scalar store).  */
+
+void
+get_store_n (TYPE *p, vector TYPE a, ssize_t n)
+{
+  *p = vec_extract (a, n);
+}
+
+void
+get_store_0 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 0);
+}
+
+void
+get_store_1 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 1);
+}
+
+#if ELEMENTS >= 4
+void
+get_store_2 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 2);
+}
+
+void
+get_store_3 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 3);
+}
+
+#if ELEMENTS >= 8
+void
+get_store_4 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 4);
+}
+
+void
+get_store_5 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 5);
+}
+
+void
+get_store_6 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 6);
+}
+
+void
+get_store_7 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 7);
+}
+
+#if ELEMENTS >= 16
+void
+get_store_8 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 8);
+}
+
+void
+get_store_9 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 9);
+}
+
+void
+get_store_10 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 10);
+}
+
+void
+get_store_11 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 11);
+}
+
+void
+get_store_12 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 12);
+}
+
+void
+get_store_13 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 13);
+}
+
+void
+get_store_14 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 14);
+}
+
+void
+get_store_15 (TYPE *p, vector TYPE a)
+{
+  *p = vec_extract (a, 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef void (*store_func_type) (TYPE *, vector TYPE);
+
+static store_func_type get_store_const[] = {
+  get_store_0,
+  get_store_1,
+#if ELEMENTS >= 4
+  get_store_2,
+  get_store_3,
+#if ELEMENTS >= 8
+  get_store_4,
+  get_store_5,
+  get_store_6,
+  get_store_7,
+#if ELEMENTS >= 16
+  get_store_8,
+  get_store_9,
+  get_store_10,
+  get_store_11,
+  get_store_12,
+  get_store_13,
+  get_store_14,
+  get_store_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_store (vector TYPE a) __attribute__((__noinline__));
+
+void
+do_store (vector TYPE a)
+{
+  size_t i;
+  TYPE result_var, result_const;
+
+  for (i = 0; i < sizeof (get_store_const) / sizeof (get_store_const[0]); i++)
+    {
+      get_store_n (&result_var, a, i);
+      (get_store_const[i]) (&result_const, a);
+      check (result_var, result_const);
+    }
+}
+
+\f
+/* Tests for vec_extract where the vector comes from memory (the compiler can
+   optimize this by doing a scalar load without having to load the whole
+   vector).  */
+TYPE
+get_pointer_n (vector TYPE *p, ssize_t n)
+{
+  return vec_extract (*p, n);
+}
+
+TYPE
+get_pointer_0 (vector TYPE *p)
+{
+  return vec_extract (*p, 0);
+}
+
+TYPE
+get_pointer_1 (vector TYPE *p)
+{
+  return vec_extract (*p, 1);
+}
+
+#if ELEMENTS >= 4
+TYPE
+get_pointer_2 (vector TYPE *p)
+{
+  return vec_extract (*p, 2);
+}
+
+TYPE
+get_pointer_3 (vector TYPE *p)
+{
+  return vec_extract (*p, 3);
+}
+
+#if ELEMENTS >= 8
+TYPE
+get_pointer_4 (vector TYPE *p)
+{
+  return vec_extract (*p, 4);
+}
+
+static TYPE
+get_pointer_5 (vector TYPE *p)
+{
+  return vec_extract (*p, 5);
+}
+
+TYPE
+get_pointer_6 (vector TYPE *p)
+{
+  return vec_extract (*p, 6);
+}
+
+TYPE
+get_pointer_7 (vector TYPE *p)
+{
+  return vec_extract (*p, 7);
+}
+
+#if ELEMENTS >= 16
+TYPE
+get_pointer_8 (vector TYPE *p)
+{
+  return vec_extract (*p, 8);
+}
+
+TYPE
+get_pointer_9 (vector TYPE *p)
+{
+  return vec_extract (*p, 9);
+}
+
+TYPE
+get_pointer_10 (vector TYPE *p)
+{
+  return vec_extract (*p, 10);
+}
+
+TYPE
+get_pointer_11 (vector TYPE *p)
+{
+  return vec_extract (*p, 11);
+}
+
+TYPE
+get_pointer_12 (vector TYPE *p)
+{
+  return vec_extract (*p, 12);
+}
+
+TYPE
+get_pointer_13 (vector TYPE *p)
+{
+  return vec_extract (*p, 13);
+}
+
+TYPE
+get_pointer_14 (vector TYPE *p)
+{
+  return vec_extract (*p, 14);
+}
+
+TYPE
+get_pointer_15 (vector TYPE *p)
+{
+  return vec_extract (*p, 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef TYPE (*pointer_func_type) (vector TYPE *);
+
+static pointer_func_type get_pointer_const[] = {
+  get_pointer_0,
+  get_pointer_1,
+#if ELEMENTS >= 4
+  get_pointer_2,
+  get_pointer_3,
+#if ELEMENTS >= 8
+  get_pointer_4,
+  get_pointer_5,
+  get_pointer_6,
+  get_pointer_7,
+#if ELEMENTS >= 16
+  get_pointer_8,
+  get_pointer_9,
+  get_pointer_10,
+  get_pointer_11,
+  get_pointer_12,
+  get_pointer_13,
+  get_pointer_14,
+  get_pointer_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_pointer (vector TYPE *p) __attribute__((__noinline__));
+
+void
+do_pointer (vector TYPE *p)
+{
+  size_t i;
+
+  for (i = 0; i < sizeof (get_pointer_const) / sizeof (get_pointer_const[0]); i++)
+    check (get_pointer_n (p, i),  (get_pointer_const[i]) (p));
+}
+
+\f
+/* Test for vec_extract where the vector comes from an indexed memory
+   operation.  This is to make sure that if the compiler optimizes vec_extract
+   from memory to be a scalar load, the address is correctly adjusted.  */
+
+TYPE
+get_indexed_n (vector TYPE *p, size_t x, ssize_t n)
+{
+  return vec_extract (p[x], n);
+}
+
+TYPE
+get_indexed_0 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 0);
+}
+
+TYPE
+get_indexed_1 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 1);
+}
+
+#if ELEMENTS >= 4
+TYPE
+get_indexed_2 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 2);
+}
+
+TYPE
+get_indexed_3 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 3);
+}
+
+#if ELEMENTS >= 8
+TYPE
+get_indexed_4 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 4);
+}
+
+static TYPE
+get_indexed_5 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 5);
+}
+
+TYPE
+get_indexed_6 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 6);
+}
+
+TYPE
+get_indexed_7 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 7);
+}
+
+#if ELEMENTS >= 16
+TYPE
+get_indexed_8 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 8);
+}
+
+TYPE
+get_indexed_9 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 9);
+}
+
+TYPE
+get_indexed_10 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 10);
+}
+
+TYPE
+get_indexed_11 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 11);
+}
+
+TYPE
+get_indexed_12 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 12);
+}
+
+TYPE
+get_indexed_13 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 13);
+}
+
+TYPE
+get_indexed_14 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 14);
+}
+
+TYPE
+get_indexed_15 (vector TYPE *p, size_t x)
+{
+  return vec_extract (p[x], 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef TYPE (*indexed_func_type) (vector TYPE *, size_t);
+
+static indexed_func_type get_indexed_const[] = {
+  get_indexed_0,
+  get_indexed_1,
+#if ELEMENTS >= 4
+  get_indexed_2,
+  get_indexed_3,
+#if ELEMENTS >= 8
+  get_indexed_4,
+  get_indexed_5,
+  get_indexed_6,
+  get_indexed_7,
+#if ELEMENTS >= 16
+  get_indexed_8,
+  get_indexed_9,
+  get_indexed_10,
+  get_indexed_11,
+  get_indexed_12,
+  get_indexed_13,
+  get_indexed_14,
+  get_indexed_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_indexed (vector TYPE *p, size_t x) __attribute__((__noinline__));
+
+void
+do_indexed (vector TYPE *p, size_t x)
+{
+  size_t i;
+
+  for (i = 0; i < sizeof (get_indexed_const) / sizeof (get_indexed_const[0]); i++)
+    check (get_indexed_n (p, x, i),  (get_indexed_const[i]) (p, x));
+}
+
+\f
+/* Test for vec_extract where the vector comes from memory using an address
+   with a pointer and a constant offset.  This will occur in ISA 3.0 which
+   added d-form memory addressing for vectors.  */
+
+TYPE
+get_ptr_plus1_n (vector TYPE *p, ssize_t n)
+{
+  return vec_extract (p[1], n);
+}
+
+TYPE
+get_ptr_plus1_0 (vector TYPE *p)
+{
+  return vec_extract (p[1], 0);
+}
+
+TYPE
+get_ptr_plus1_1 (vector TYPE *p)
+{
+  return vec_extract (p[1], 1);
+}
+
+#if ELEMENTS >= 4
+TYPE
+get_ptr_plus1_2 (vector TYPE *p)
+{
+  return vec_extract (p[1], 2);
+}
+
+TYPE
+get_ptr_plus1_3 (vector TYPE *p)
+{
+  return vec_extract (p[1], 3);
+}
+
+#if ELEMENTS >= 8
+TYPE
+get_ptr_plus1_4 (vector TYPE *p)
+{
+  return vec_extract (p[1], 4);
+}
+
+static TYPE
+get_ptr_plus1_5 (vector TYPE *p)
+{
+  return vec_extract (p[1], 5);
+}
+
+TYPE
+get_ptr_plus1_6 (vector TYPE *p)
+{
+  return vec_extract (p[1], 6);
+}
+
+TYPE
+get_ptr_plus1_7 (vector TYPE *p)
+{
+  return vec_extract (p[1], 7);
+}
+
+#if ELEMENTS >= 16
+TYPE
+get_ptr_plus1_8 (vector TYPE *p)
+{
+  return vec_extract (p[1], 8);
+}
+
+TYPE
+get_ptr_plus1_9 (vector TYPE *p)
+{
+  return vec_extract (p[1], 9);
+}
+
+TYPE
+get_ptr_plus1_10 (vector TYPE *p)
+{
+  return vec_extract (p[1], 10);
+}
+
+TYPE
+get_ptr_plus1_11 (vector TYPE *p)
+{
+  return vec_extract (p[1], 11);
+}
+
+TYPE
+get_ptr_plus1_12 (vector TYPE *p)
+{
+  return vec_extract (p[1], 12);
+}
+
+TYPE
+get_ptr_plus1_13 (vector TYPE *p)
+{
+  return vec_extract (p[1], 13);
+}
+
+TYPE
+get_ptr_plus1_14 (vector TYPE *p)
+{
+  return vec_extract (p[1], 14);
+}
+
+TYPE
+get_ptr_plus1_15 (vector TYPE *p)
+{
+  return vec_extract (p[1], 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef TYPE (*pointer_func_type) (vector TYPE *);
+
+static pointer_func_type get_ptr_plus1_const[] = {
+  get_ptr_plus1_0,
+  get_ptr_plus1_1,
+#if ELEMENTS >= 4
+  get_ptr_plus1_2,
+  get_ptr_plus1_3,
+#if ELEMENTS >= 8
+  get_ptr_plus1_4,
+  get_ptr_plus1_5,
+  get_ptr_plus1_6,
+  get_ptr_plus1_7,
+#if ELEMENTS >= 16
+  get_ptr_plus1_8,
+  get_ptr_plus1_9,
+  get_ptr_plus1_10,
+  get_ptr_plus1_11,
+  get_ptr_plus1_12,
+  get_ptr_plus1_13,
+  get_ptr_plus1_14,
+  get_ptr_plus1_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_ptr_plus1 (vector TYPE *p) __attribute__((__noinline__));
+
+void
+do_ptr_plus1 (vector TYPE *p)
+{
+  size_t i;
+
+  for (i = 0; i < sizeof (get_ptr_plus1_const) / sizeof (get_ptr_plus1_const[0]); i++)
+    check (get_ptr_plus1_n (p, i),  (get_ptr_plus1_const[i]) (p));
+}
+
+\f
+/* Test for vec_extract where the vector comes from a static variable.  */
+
+static vector TYPE s;
+
+TYPE
+get_static_n (ssize_t n)
+{
+  return vec_extract (s, n);
+}
+
+TYPE
+get_static_0 (void)
+{
+  return vec_extract (s, 0);
+}
+
+TYPE
+get_static_1 (void)
+{
+  return vec_extract (s, 1);
+}
+
+#if ELEMENTS >= 4
+TYPE
+get_static_2 (void)
+{
+  return vec_extract (s, 2);
+}
+
+TYPE
+get_static_3 (void)
+{
+  return vec_extract (s, 3);
+}
+
+#if ELEMENTS >= 8
+TYPE
+get_static_4 (void)
+{
+  return vec_extract (s, 4);
+}
+
+TYPE
+get_static_5 (void)
+{
+  return vec_extract (s, 5);
+}
+
+TYPE
+get_static_6 (void)
+{
+  return vec_extract (s, 6);
+}
+
+TYPE
+get_static_7 (void)
+{
+  return vec_extract (s, 7);
+}
+
+#if ELEMENTS >= 16
+TYPE
+get_static_8 (void)
+{
+  return vec_extract (s, 8);
+}
+
+TYPE
+get_static_9 (void)
+{
+  return vec_extract (s, 9);
+}
+
+TYPE
+get_static_10 (void)
+{
+  return vec_extract (s, 10);
+}
+
+TYPE
+get_static_11 (void)
+{
+  return vec_extract (s, 11);
+}
+
+TYPE
+get_static_12 (void)
+{
+  return vec_extract (s, 12);
+}
+
+TYPE
+get_static_13 (void)
+{
+  return vec_extract (s, 13);
+}
+
+TYPE
+get_static_14 (void)
+{
+  return vec_extract (s, 14);
+}
+
+TYPE
+get_static_15 (void)
+{
+  return vec_extract (s, 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef TYPE (*static_func_type) (void);
+
+static static_func_type get_static_const[] = {
+  get_static_0,
+  get_static_1,
+#if ELEMENTS >= 4
+  get_static_2,
+  get_static_3,
+#if ELEMENTS >= 8
+  get_static_4,
+  get_static_5,
+  get_static_6,
+  get_static_7,
+#if ELEMENTS >= 16
+  get_static_8,
+  get_static_9,
+  get_static_10,
+  get_static_11,
+  get_static_12,
+  get_static_13,
+  get_static_14,
+  get_static_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_static (void) __attribute__((__noinline__));
+
+void
+do_static (void)
+{
+  size_t i;
+
+  for (i = 0; i < sizeof (get_static_const) / sizeof (get_static_const[0]); i++)
+    check (get_static_n (i),  (get_static_const[i]) ());
+}
+
+\f
+/* Test for vec_extract where the vector is in a global variable.  */
+
+vector TYPE g;
+
+TYPE
+get_global_n (ssize_t n)
+{
+  return vec_extract (g, n);
+}
+
+TYPE
+get_global_0 (void)
+{
+  return vec_extract (g, 0);
+}
+
+TYPE
+get_global_1 (void)
+{
+  return vec_extract (g, 1);
+}
+
+#if ELEMENTS >= 4
+TYPE
+get_global_2 (void)
+{
+  return vec_extract (g, 2);
+}
+
+TYPE
+get_global_3 (void)
+{
+  return vec_extract (g, 3);
+}
+
+#if ELEMENTS >= 8
+TYPE
+get_global_4 (void)
+{
+  return vec_extract (g, 4);
+}
+
+TYPE
+get_global_5 (void)
+{
+  return vec_extract (g, 5);
+}
+
+TYPE
+get_global_6 (void)
+{
+  return vec_extract (g, 6);
+}
+
+TYPE
+get_global_7 (void)
+{
+  return vec_extract (g, 7);
+}
+
+#if ELEMENTS >= 16
+TYPE
+get_global_8 (void)
+{
+  return vec_extract (g, 8);
+}
+
+TYPE
+get_global_9 (void)
+{
+  return vec_extract (g, 9);
+}
+
+TYPE
+get_global_10 (void)
+{
+  return vec_extract (g, 10);
+}
+
+TYPE
+get_global_11 (void)
+{
+  return vec_extract (g, 11);
+}
+
+TYPE
+get_global_12 (void)
+{
+  return vec_extract (g, 12);
+}
+
+TYPE
+get_global_13 (void)
+{
+  return vec_extract (g, 13);
+}
+
+TYPE
+get_global_14 (void)
+{
+  return vec_extract (g, 14);
+}
+
+TYPE
+get_global_15 (void)
+{
+  return vec_extract (g, 15);
+}
+
+#endif
+#endif
+#endif
+
+typedef TYPE (*global_func_type) (void);
+
+static global_func_type get_global_const[] = {
+  get_global_0,
+  get_global_1,
+#if ELEMENTS >= 4
+  get_global_2,
+  get_global_3,
+#if ELEMENTS >= 8
+  get_global_4,
+  get_global_5,
+  get_global_6,
+  get_global_7,
+#if ELEMENTS >= 16
+  get_global_8,
+  get_global_9,
+  get_global_10,
+  get_global_11,
+  get_global_12,
+  get_global_13,
+  get_global_14,
+  get_global_15,
+#endif
+#endif
+#endif
+};
+
+extern void do_global (void) __attribute__((__noinline__));
+
+void
+do_global (void)
+{
+  size_t i;
+
+  for (i = 0; i < sizeof (get_global_const) / sizeof (get_global_const[0]); i++)
+    check (get_global_n (i),  (get_global_const[i]) ());
+}
+
+\f
+/* Main program to test all of the possibilities.  */
+
+int
+main (void)
+{
+  size_t i;
+  vector TYPE x = INITIAL;
+  vector TYPE *p, *p2, a, y;
+  vector TYPE z[2];
+
+  a = deoptimize (x);
+  s = deoptimize (x);
+  g = deoptimize (x);
+  y = deoptimize (x);
+  z[0] = deoptimize (x);
+  z[1] = deoptimize (x);
+  p = deoptimize_ptr (&y);
+  p2 = deoptimize_ptr (&z[0]);
+
+  do_auto (a);
+  do_store (a);
+  do_pointer (p);
+  for (i = 0; i < 2; i++)
+    do_indexed (p2, i);
+  do_ptr_plus1 (p2);
+  do_static ();
+  do_global ();
+  return 0;
+}