[PATCH, rs6000 4/9] Testcase coverage for vec_xst() instrinsics

[Will Schmidt]

Hi,
Testcase coverage for variations of the vec_xst() intrinsic.
Regtest clean across assorted Linux systems (p6-p9).
OK for trunk?
Thanks,
-Will
    
[testsuite]
    
2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>
    
	* gcc.target/powerpc/fold-vec-store-vec_xst-char.c : New.
	* gcc.target/powerpc/fold-vec-store-vec_xst-double.c : New.
	* gcc.target/powerpc/fold-vec-store-vec_xst-float.c : New.
	* gcc.target/powerpc/fold-vec-store-vec_xst-int.c : New.
	* gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c : New.
	* gcc.target/powerpc/fold-vec-store-vec_xst-short.c : New.

diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-char.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-char.c
new file mode 100644
index 0000000..76dacf5
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-char.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xst with char
+   inputs produce the right code.  */
+
+/* { dg-do compile { target { powerpc*-*-linux*  } } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-mvsx -O2" } */
+
+#include <altivec.h>
+#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) 	\
+{									\
+	vec_xst (value, offset, saveto);		\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) 			\
+{									\
+	vec_xst (value, CST_OFFSET, saveto);		\
+}
+
+BUILD_VAR_TEST( test1,  vector signed char, signed long long, signed char );
+BUILD_VAR_TEST( test2,  vector signed char, signed int, signed char );
+BUILD_CST_TEST( test3,  vector signed char, 12, signed char );
+BUILD_VAR_TEST( test4,  vector unsigned char, signed long long, unsigned char );
+BUILD_VAR_TEST( test5,  vector unsigned char, signed int, unsigned char );
+BUILD_CST_TEST( test6,  vector unsigned char, 12, unsigned char );
+
+BUILD_VAR_TEST( test7,  vector signed char, signed long long, vector signed char );
+BUILD_VAR_TEST( test8,  vector signed char, signed int, vector signed char );
+BUILD_CST_TEST( test9,  vector signed char, 12, vector signed char );
+BUILD_VAR_TEST( test10, vector unsigned char, signed long long, vector unsigned char );
+BUILD_VAR_TEST( test11, vector unsigned char, signed int, vector unsigned char );
+BUILD_CST_TEST( test12, vector unsigned char, 12, vector unsigned char );
+
+/* { dg-final { scan-assembler-times "stxvw4x|stxvd2x|stxvx|stvx" 12 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-double.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-double.c
new file mode 100644
index 0000000..a9cf409
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-double.c
@@ -0,0 +1,31 @@
+/* Verify that overloaded built-ins for vec_xst with double
+   inputs produce the right code.  */
+
+/* { dg-do compile { target { powerpc*-*-linux*  } } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-mvsx -O2" } */
+
+#include <altivec.h>
+#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) 	\
+{									\
+	vec_xst (value, offset, saveto);		\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) 			\
+{									\
+	vec_xst (value, CST_OFFSET, saveto);		\
+}
+
+BUILD_VAR_TEST( test1,  vector double, signed long long, double );
+BUILD_VAR_TEST( test2,  vector double, signed int, double );
+BUILD_CST_TEST( test3,  vector double, 12, double );
+
+BUILD_VAR_TEST( test7,  vector double, signed long long, vector double );
+BUILD_VAR_TEST( test8,  vector double, signed int, vector double );
+BUILD_CST_TEST( test9,  vector double, 12, vector double );
+
+/* { dg-final { scan-assembler-times "stxvd2x|stxvx|stvx" 6 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-float.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-float.c
new file mode 100644
index 0000000..a5c805b2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-float.c
@@ -0,0 +1,31 @@
+/* Verify that overloaded built-ins for vec_xst with float
+   inputs produce the right code.  */
+
+/* { dg-do compile { target { powerpc*-*-linux*  } } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-mvsx -O2" } */
+
+#include <altivec.h>
+#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) 	\
+{									\
+	vec_xst (value, offset, saveto);		\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) 			\
+{									\
+	vec_xst (value, CST_OFFSET, saveto);		\
+}
+
+BUILD_VAR_TEST( test1,  vector float, signed long long, float );
+BUILD_VAR_TEST( test2,  vector float, signed int, float );
+BUILD_CST_TEST( test3,  vector float, 12, float );
+
+BUILD_VAR_TEST( test7,  vector float, signed long long, vector float );
+BUILD_VAR_TEST( test8,  vector float, signed int, vector float );
+BUILD_CST_TEST( test9,  vector float, 12, vector float );
+
+/* { dg-final { scan-assembler-times "stxvd2x|stxvx|stvx" 6 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-int.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-int.c
new file mode 100644
index 0000000..99230b9
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-int.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xst with int
+   inputs produce the right code.  */
+
+/* { dg-do compile { target { powerpc*-*-linux*  } } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-mvsx -O2" } */
+
+#include <altivec.h>
+#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) 	\
+{									\
+	vec_xst (value, offset, saveto);		\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) 			\
+{									\
+	vec_xst (value, CST_OFFSET, saveto);		\
+}
+
+BUILD_VAR_TEST( test1,  vector signed int, signed long long, signed int );
+BUILD_VAR_TEST( test2,  vector signed int, signed int, signed int );
+BUILD_CST_TEST( test3,  vector signed int, 12, signed int );
+BUILD_VAR_TEST( test4,  vector unsigned int, signed long long, unsigned int );
+BUILD_VAR_TEST( test5,  vector unsigned int, signed int, unsigned int );
+BUILD_CST_TEST( test6,  vector unsigned int, 12, unsigned int );
+
+BUILD_VAR_TEST( test7,  vector signed int, signed long long, vector signed int );
+BUILD_VAR_TEST( test8,  vector signed int, signed int, vector signed int );
+BUILD_CST_TEST( test9,  vector signed int, 12, vector signed int );
+BUILD_VAR_TEST( test10, vector unsigned int, signed long long, vector unsigned int );
+BUILD_VAR_TEST( test11, vector unsigned int, signed int, vector unsigned int );
+BUILD_CST_TEST( test12, vector unsigned int, 12, vector unsigned int );
+
+/* { dg-final { scan-assembler-times "stxvw4x|stxvd2x|stxvx|stvx" 12 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c
new file mode 100644
index 0000000..80c5ec1
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xst with long long
+   inputs produce the right code.  */
+
+/* { dg-do compile { target { powerpc*-*-linux*  } } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-mvsx -O2" } */
+
+#include <altivec.h>
+#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) 	\
+{									\
+	vec_xst (value, offset, saveto);		\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) 			\
+{									\
+	vec_xst (value, CST_OFFSET, saveto);		\
+}
+
+BUILD_VAR_TEST( test1,  vector signed long long, signed long long, signed long long );
+BUILD_VAR_TEST( test2,  vector signed long long, signed int, signed long long );
+BUILD_CST_TEST( test3,  vector signed long long, 12, signed long long );
+BUILD_VAR_TEST( test4,  vector unsigned long long, signed long long, unsigned long long );
+BUILD_VAR_TEST( test5,  vector unsigned long long, signed int, unsigned long long );
+BUILD_CST_TEST( test6,  vector unsigned long long, 12, unsigned long long );
+
+BUILD_VAR_TEST( test7,  vector signed long long, signed long long, vector signed long long );
+BUILD_VAR_TEST( test8,  vector signed long long, signed int, vector signed long long );
+BUILD_CST_TEST( test9,  vector signed long long, 12, vector signed long long );
+BUILD_VAR_TEST( test10, vector unsigned long long, signed long long, vector unsigned long long );
+BUILD_VAR_TEST( test11, vector unsigned long long, signed int, vector unsigned long long );
+BUILD_CST_TEST( test12,  vector unsigned long long, 12, vector unsigned long long );
+
+/* { dg-final { scan-assembler-times "stxvd2x|stxvx|stvx" 12 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-short.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-short.c
new file mode 100644
index 0000000..b4631c2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-short.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xst with short
+   inputs produce the right code.  */
+
+/* { dg-do compile { target { powerpc*-*-linux*  } } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-mvsx -O2" } */
+
+#include <altivec.h>
+#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) 	\
+{									\
+	vec_xst (value, offset, saveto);		\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO)		\
+void									\
+TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) 			\
+{									\
+	vec_xst (value, CST_OFFSET, saveto);		\
+}
+
+BUILD_VAR_TEST( test1,  vector signed short, signed long long, signed short );
+BUILD_VAR_TEST( test2,  vector signed short, signed int, signed short );
+BUILD_CST_TEST( test3,  vector signed short, 12, signed short );
+BUILD_VAR_TEST( test4,  vector unsigned short, signed long long, unsigned short );
+BUILD_VAR_TEST( test5,  vector unsigned short, signed int, unsigned short );
+BUILD_CST_TEST( test6,  vector unsigned short, 12, unsigned short );
+
+BUILD_VAR_TEST( test7,  vector signed short, signed long long, vector signed short );
+BUILD_VAR_TEST( test8,  vector signed short, signed int, vector signed short );
+BUILD_CST_TEST( test9,  vector signed short, 12, vector signed short );
+BUILD_VAR_TEST( test10, vector unsigned short, signed long long, vector unsigned short );
+BUILD_VAR_TEST( test11, vector unsigned short, signed int, vector unsigned short );
+BUILD_CST_TEST( test12, vector unsigned short, 12, vector unsigned short );
+
+/* { dg-final { scan-assembler-times "stxvw4x|stxvd2x|stxvx|stvx" 12 } } */