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 ..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;
+}
