[PATCH, rs6000 1/9] Testcase coverage for vec_xl() instrinsics

Will Schmidt will_schmidt@vnet.ibm.com
Thu May 31 19:57:00 GMT 2018


Hi,

Add testcase coverage for variations of the vec_xl() 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-load-vec_xl-char.c
	* gcc.target/powerpc/fold-vec-load-vec_xl-double.c
	* gcc.target/powerpc/fold-vec-load-vec_xl-float.c
	* gcc.target/powerpc/fold-vec-load-vec_xl-int.c
	* gcc.target/powerpc/fold-vec-load-vec_xl-longlong.c
	* gcc.target/powerpc/fold-vec-load-vec_xl-short.c

diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-char.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-char.c
new file mode 100644
index 0000000..2f60a71
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-char.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xl 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, RETTYPE, VAR_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _var (VAR_OFFSET offset, LOADFROM * loadfrom) 		\
+{									\
+	return vec_xl (offset, loadfrom);				\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, RETTYPE, CST_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _cst (LOADFROM * loadfrom) 				\
+{									\
+	return vec_xl (CST_OFFSET, loadfrom);				\
+}
+
+BUILD_VAR_TEST( test1,  vector signed char, signed long long, vector signed char);
+BUILD_VAR_TEST( test2,  vector signed char, signed int, vector signed char);
+BUILD_CST_TEST( test3,  vector signed char, 12, vector signed char);
+BUILD_VAR_TEST( test4,  vector unsigned char, signed long long, vector unsigned char);
+BUILD_VAR_TEST( test5,  vector unsigned char, signed int, vector unsigned char);
+BUILD_CST_TEST( test6,  vector unsigned char, 12, vector unsigned char);
+
+BUILD_VAR_TEST( test7,  vector signed char, signed long long, signed char);
+BUILD_VAR_TEST( test8,  vector signed char, signed int, signed char);
+BUILD_CST_TEST( test9,  vector signed char, 12, signed char);
+BUILD_VAR_TEST( test10,  vector unsigned char, signed long long, unsigned char);
+BUILD_VAR_TEST( test11,  vector unsigned char, signed int, unsigned char);
+BUILD_CST_TEST( test12,  vector unsigned char, 12, unsigned char);
+
+/* { dg-final { scan-assembler-times "lxvw4x|lxvd2x|lxvx|lvx" 12 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-double.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-double.c
new file mode 100644
index 0000000..d99662a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-double.c
@@ -0,0 +1,31 @@
+/* Verify that overloaded built-ins for vec_xl 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, RETTYPE, VAR_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _var (VAR_OFFSET offset, LOADFROM * loadfrom) 		\
+{									\
+	return vec_xl (offset, loadfrom);				\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, RETTYPE, CST_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _cst (LOADFROM * loadfrom) 				\
+{									\
+	return vec_xl (CST_OFFSET, loadfrom);				\
+}
+
+BUILD_VAR_TEST( test1,  vector double, signed long long, vector double);
+BUILD_VAR_TEST( test2,  vector double, signed int, vector double);
+BUILD_CST_TEST( test3,  vector double, 12, vector double);
+BUILD_VAR_TEST( test4,  vector double, signed long long, double);
+BUILD_VAR_TEST( test5,  vector double, signed int, double);
+BUILD_CST_TEST( test6,  vector double, 12, double);
+
+/* { dg-final { scan-assembler-times "lxvd2x|lxvx|lvx" 6 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-float.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-float.c
new file mode 100644
index 0000000..365961c
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-float.c
@@ -0,0 +1,31 @@
+/* Verify that overloaded built-ins for vec_xl 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, RETTYPE, VAR_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _var (VAR_OFFSET offset, LOADFROM * loadfrom) 		\
+{									\
+	return vec_xl (offset, loadfrom);				\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, RETTYPE, CST_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _cst (LOADFROM * loadfrom) 				\
+{									\
+	return vec_xl (CST_OFFSET, loadfrom);				\
+}
+
+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( test4,  vector float, signed long long, vector float);
+BUILD_VAR_TEST( test5,  vector float, signed int, vector float);
+BUILD_CST_TEST( test6,  vector float, 12, vector float);
+
+/* { dg-final { scan-assembler-times "lxvw4x|lxvd2x|lxvx|lvx" 6 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-int.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-int.c
new file mode 100644
index 0000000..bf5f1f8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-int.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xl 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, RETTYPE, VAR_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _var (VAR_OFFSET offset, LOADFROM * loadfrom) 		\
+{									\
+	return vec_xl (offset, loadfrom);				\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, RETTYPE, CST_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _cst (LOADFROM * loadfrom) 				\
+{									\
+	return vec_xl (CST_OFFSET, loadfrom);				\
+}
+
+BUILD_VAR_TEST( test1,  vector int, signed long long, int);
+BUILD_VAR_TEST( test2,  vector int, signed int, int);
+BUILD_CST_TEST( test3,  vector int, 12, int);
+BUILD_VAR_TEST( test4,  vector int, signed long long, vector int);
+BUILD_VAR_TEST( test5,  vector int, signed int, vector int);
+BUILD_CST_TEST( test6,  vector int, 12, vector int);
+
+BUILD_VAR_TEST( test7,  vector unsigned int, signed long long, unsigned int);
+BUILD_VAR_TEST( test8,  vector unsigned int, signed int, unsigned int);
+BUILD_CST_TEST( test9,  vector unsigned int, 12, unsigned 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 "lxvw4x|lxvd2x|lxvx|lvx" 12 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-longlong.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-longlong.c
new file mode 100644
index 0000000..6441b6d
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-longlong.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xl 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, RETTYPE, VAR_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _var (VAR_OFFSET offset, LOADFROM * loadfrom) 		\
+{									\
+	return vec_xl (offset, loadfrom);				\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, RETTYPE, CST_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _cst (LOADFROM * loadfrom) 				\
+{									\
+	return vec_xl (CST_OFFSET, loadfrom);				\
+}
+
+BUILD_VAR_TEST( test1,  vector long long, signed long long, long long);
+BUILD_VAR_TEST( test2,  vector long long, signed int, long long);
+BUILD_CST_TEST( test3,  vector long long, 12, long long);
+BUILD_VAR_TEST( test4,  vector long long, signed long long, vector long long);
+BUILD_VAR_TEST( test5,  vector long long, signed int, vector long long);
+BUILD_CST_TEST( test6,  vector long long, 12, vector long long);
+
+BUILD_VAR_TEST( test7,  vector unsigned long long, signed long long, unsigned long long);
+BUILD_VAR_TEST( test8,  vector unsigned long long, signed int, unsigned long long);
+BUILD_CST_TEST( test9,  vector unsigned long long, 12, unsigned 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 "lxvd2x|lxvx|lvx" 12 } } */
diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-short.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-short.c
new file mode 100644
index 0000000..8bd6647
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-load-vec_xl-short.c
@@ -0,0 +1,37 @@
+/* Verify that overloaded built-ins for vec_xl 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, RETTYPE, VAR_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _var (VAR_OFFSET offset, LOADFROM * loadfrom) 		\
+{									\
+	return vec_xl (offset, loadfrom);				\
+}
+
+#define BUILD_CST_TEST(TESTNAME1, RETTYPE, CST_OFFSET, LOADFROM)	\
+RETTYPE									\
+TESTNAME1 ## _cst (LOADFROM * loadfrom) 				\
+{									\
+	return vec_xl (CST_OFFSET, loadfrom);				\
+}
+
+BUILD_VAR_TEST( test1,  vector short, signed long long, short);
+BUILD_VAR_TEST( test2,  vector short, signed int, short);
+BUILD_CST_TEST( test3,  vector short, 12, short);
+BUILD_VAR_TEST( test4,  vector short, signed long long, vector short);
+BUILD_VAR_TEST( test5,  vector short, signed int, vector short);
+BUILD_CST_TEST( test6,  vector short, 12, vector short);
+
+BUILD_VAR_TEST( test7,  vector unsigned short, signed long long, unsigned short);
+BUILD_VAR_TEST( test8,  vector unsigned short, signed int, unsigned short);
+BUILD_CST_TEST( test9,  vector unsigned short, 12, unsigned 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 "lxvw4x|lxvd2x|lxvx|lvx" 12 } } */





More information about the Gcc-patches mailing list