[PATCH][AArch64 Testsuite] Add a test of the vst[234](q?) intrinsics

[Alan Lawrence <alan dot lawrence at arm dot com>]

This adds a test of all the variants of vst2, vst2q, vst3, vst3q, vst4, and 
vst4q. These all use typexNxM structs and the OI/CI/XImode mechanism, so the 
test cross-checks this against plain ol' vld1(q?).

Cross-tested on aarch64-none-elf (passing), also on aarch64_be-none-elf (failing 
 as per https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59810).

gcc/testsuite/ChangeLog:

	* gcc.target/aarch64/vstN_1.c: New test.

diff --git a/gcc/testsuite/gcc.target/aarch64/vstN_1.c b/gcc/testsuite/gcc.target/aarch64/vstN_1.c
new file mode 100644
index 0000000000000000000000000000000000000000..9c166b7c3bcc11834e93b86aa8ed5c0c81c288a8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/vstN_1.c
@@ -0,0 +1,76 @@
+/* { dg-do run } */
+/* { dg-options "-O3" } */
+
+#include <arm_neon.h>
+
+extern void abort (void);
+
+#define TESTMETH(BASE, ELTS, STRUCT, SUFFIX)		\
+int __attribute__ ((noinline))				\
+test_vst##STRUCT##SUFFIX ()				\
+{							\
+  BASE##_t src[ELTS * STRUCT];				\
+  BASE##_t dest[ELTS * STRUCT];				\
+  BASE##x##ELTS##x##STRUCT##_t vectors;			\
+  int i,j;						\
+  for (i = 0; i < STRUCT * ELTS; i++)			\
+    src [i] = (BASE##_t) 2*i + 1;			\
+  for (i = 0; i < STRUCT; i++)				\
+    vectors.val[i] = vld1##SUFFIX (&src[i*ELTS]);	\
+  asm volatile ("" : : : "memory");			\
+  vst##STRUCT##SUFFIX (dest, vectors);			\
+  asm volatile ("" : : : "memory");			\
+  for (i = 0; i < STRUCT; i++)				\
+    {							\
+      for (j = 0; j < ELTS; j++)			\
+        if (src[i*ELTS + j] != dest[i + STRUCT*j])	\
+          return 1;					\
+    }							\
+  return 0;						\
+}
+
+#define VARIANTS(VARIANT, STRUCT)	\
+VARIANT (uint8, 8, STRUCT, _u8)		\
+VARIANT (uint16, 4, STRUCT, _u16)	\
+VARIANT (uint32, 2, STRUCT, _u32)	\
+VARIANT (uint64, 1, STRUCT, _u64)	\
+VARIANT (int8, 8, STRUCT, _s8)		\
+VARIANT (int16, 4, STRUCT, _s16)	\
+VARIANT (int32, 2, STRUCT, _s32)	\
+VARIANT (int64, 1, STRUCT, _s64)	\
+VARIANT (poly8, 8, STRUCT, _p8)		\
+VARIANT (poly16, 4, STRUCT, _p16)	\
+VARIANT (float32, 2, STRUCT, _f32)	\
+VARIANT (float64, 1, STRUCT, _f64)	\
+VARIANT (uint8, 16, STRUCT, q_u8)	\
+VARIANT (uint16, 8, STRUCT, q_u16)	\
+VARIANT (uint32, 4, STRUCT, q_u32)	\
+VARIANT (uint64, 2, STRUCT, q_u64)	\
+VARIANT (int8, 16, STRUCT, q_s8)	\
+VARIANT (int16, 8, STRUCT, q_s16)	\
+VARIANT (int32, 4, STRUCT, q_s32)	\
+VARIANT (int64, 2, STRUCT, q_s64)	\
+VARIANT (poly8, 16, STRUCT, q_p8)	\
+VARIANT (poly16, 8, STRUCT, q_p16)	\
+VARIANT (float32, 4, STRUCT, q_f32)	\
+VARIANT (float64, 2, STRUCT, q_f64)
+
+/* Tests of vst2 and vst2q.  */
+VARIANTS (TESTMETH, 2)
+/* Tests of vst3 and vst3q.  */
+VARIANTS (TESTMETH, 3)
+/* Tests of vst4 and vst4q.  */
+VARIANTS (TESTMETH, 4)
+
+#define CHECK(BASE, ELTS, STRUCT, SUFFIX)	\
+  if (test_vst##STRUCT##SUFFIX () != 0)		\
+    abort ();
+
+int
+main (int argc, char **argv)
+{
+  VARIANTS (CHECK, 2)
+  VARIANTS (CHECK, 3)
+  VARIANTS (CHECK, 4)
+  return 0;
+}