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_schm...@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 } } */