Skip to content

R
riscv-gcc-1
Commit 5a1b56cc by Carl Love Committed by Carl Love
Options

rs6000-c.c: Map ALTIVEC_BUILTIN_VEC_UNPACKH for float argument to VSX_BUILTIN_DOUBLEH_V4SF. 

gcc/ChangeLog:

2018-07-05  Carl Love  <cel@us.ibm.com>

	* config/rs6000/rs6000-c.c: Map ALTIVEC_BUILTIN_VEC_UNPACKH for
	float argument to VSX_BUILTIN_DOUBLEH_V4SF.
	Map ALTIVEC_BUILTIN_VEC_UNPACKL for float argument to
	VSX_BUILTIN_DOUBLEL_V4SF.

gcc/testsuite/ChangeLog:

2018-07-05  Carl Love  <cel@us.ibm.com>
	* gcc.target/altivec-1-runnable.c: New test file.
	* gcc.target/altivec-2-runnable.c: New test file.
	* gcc.target/vsx-7.c (main2): Change expected expected instruction
	for tests.

From-SVN: r262439
parent 715fcd73
Showing with 369 additions and 6 deletions
gcc/ChangeLog
2018-07-05 Carl Love <cel@us.ibm.com>
* config/rs6000/rs6000-c.c: Map ALTIVEC_BUILTIN_VEC_UNPACKH for
float argument to VSX_BUILTIN_DOUBLEH_V4SF.
Map ALTIVEC_BUILTIN_VEC_UNPACKL for float argument to
VSX_BUILTIN_DOUBLEL_V4SF.
2018-07-05 Martin Sebor <msebor@redhat.com>
PR c++/86400
......
gcc/config/rs6000/rs6000-c.c
......@@ -865,7 +865,7 @@ const struct altivec_builtin_types altivec_overloaded_builtins[] = {
RS6000_BTI_bool_V2DI, RS6000_BTI_bool_V4SI, 0, 0 },
{ ALTIVEC_BUILTIN_VEC_UNPACKH, ALTIVEC_BUILTIN_VUPKHPX,
RS6000_BTI_unsigned_V4SI, RS6000_BTI_pixel_V8HI, 0, 0 },
{ ALTIVEC_BUILTIN_VEC_UNPACKH, ALTIVEC_BUILTIN_VUPKHPX,
{ ALTIVEC_BUILTIN_VEC_UNPACKH, VSX_BUILTIN_DOUBLEH_V4SF,
RS6000_BTI_V2DF, RS6000_BTI_V4SF, 0, 0 },
{ ALTIVEC_BUILTIN_VEC_VUPKHSH, ALTIVEC_BUILTIN_VUPKHSH,
RS6000_BTI_V4SI, RS6000_BTI_V8HI, 0, 0 },
......@@ -897,7 +897,7 @@ const struct altivec_builtin_types altivec_overloaded_builtins[] = {
RS6000_BTI_V2DI, RS6000_BTI_V4SI, 0, 0 },
{ ALTIVEC_BUILTIN_VEC_UNPACKL, P8V_BUILTIN_VUPKLSW,
RS6000_BTI_bool_V2DI, RS6000_BTI_bool_V4SI, 0, 0 },
{ ALTIVEC_BUILTIN_VEC_UNPACKL, ALTIVEC_BUILTIN_VUPKLPX,
{ ALTIVEC_BUILTIN_VEC_UNPACKL, VSX_BUILTIN_DOUBLEL_V4SF,
RS6000_BTI_V2DF, RS6000_BTI_V4SF, 0, 0 },
{ ALTIVEC_BUILTIN_VEC_VUPKLPX, ALTIVEC_BUILTIN_VUPKLPX,
RS6000_BTI_unsigned_V4SI, RS6000_BTI_unsigned_V8HI, 0, 0 },
......
gcc/testsuite/ChangeLog
2018-07-05 Carl Love <cel@us.ibm.com>
* gcc.target/altivec-1-runnable.c: New test file.
* gcc.target/altivec-2-runnable.c: New test file.
* gcc.target/vsx-7.c (main2): Change expected expected instruction
for tests.
2018-07-05 Martin Sebor <msebor@redhat.com>
PR c++/86400
......
gcc/testsuite/gcc.target/powerpc/altivec-1-runnable.c 0 → 100644
/* { dg-do compile { target powerpc*-*-* } } */
/* { dg-require-effective-target powerpc_altivec_ok } */
/* { dg-options "-maltivec" } */
#include <altivec.h>
#ifdef DEBUG
#include <stdio.h>
#endif
/* Endian considerations: The "high" half of a vector with n elements is the
first n/2 elements of the vector. For little endian, these elements are in
the rightmost half of the vector. For big endian, these elements are in the
leftmost half of the vector. */
void abort (void);
int main ()
{
int i;
vector bool short vec_bs_arg;
vector bool short vec_bs_result, vec_bs_expected;
vector bool int vec_bi_arg;
vector bool int vec_bi_result, vec_bi_expected;
vector bool char vec_bc_arg;
vector bool char vec_bc_result, vec_bc_expected;
vector signed short vec_ss_arg;
vector signed short vec_ss_result, vec_ss_expected;
vector signed int vec_si_arg;
vector signed int vec_si_result, vec_si_expected;
vector signed char vec_sc_arg;
vector signed char vec_sc_result, vec_sc_expected;
vector float vec_float_arg;
vector double vec_double_result, vec_double_expected;
vector pixel vec_pixel_arg;
vector unsigned int vec_ui_result, vec_ui_expected;
union conv {
double d;
unsigned long long l;
} conv_exp, conv_val;
vec_bs_arg = (vector bool short){ 0, 101, 202, 303,
404, 505, 606, 707 };
vec_bi_expected = (vector bool int){ 0, 101, 202, 303 };
vec_bi_result = vec_unpackh (vec_bs_arg);
for (i = 0; i < 4; i++) {
if (vec_bi_expected[i] != vec_bi_result[i])
#if DEBUG
printf("ERROR: vec_unpackh(), vec_bi_expected[%d] = %d does not match vec_bi_result[%d] = %d\n",
i, vec_bi_expected[i], i, vec_bi_result[i]);
#else
abort();
#endif
}
vec_bi_expected = (vector bool int){ 404, 505, 606, 707 };
vec_bi_result = vec_unpackl (vec_bs_arg);
for (i = 0; i < 4; i++) {
if (vec_bi_expected[i] != vec_bi_result[i])
#if DEBUG
printf("ERROR: vec_unpackl(), vec_bi_expected[%d] = %d does not match vec_bi_result[%d] = %d\n",
i, vec_bi_expected[i], i, vec_bi_result[i]);
#else
abort();
#endif
}
vec_ss_arg = (vector signed short){ 0, 101, 202, 303,
404, 505, 606, 707 };
vec_si_expected = (vector signed int){ 0, 101, 202, 303 };
vec_si_result = vec_unpackh (vec_ss_arg);
for (i = 0; i < 4; i++) {
if (vec_si_expected[i] != vec_si_result[i])
#if DEBUG
printf("ERROR: vec_unpackh(), vec_si_expected[%d] = %d does not match vec_si_result[%d] = %d\n",
i, vec_si_expected[i], i, vec_si_result[i]);
#else
abort();
#endif
}
vec_si_expected = (vector signed int){ 404, 505, 606, 707 };
vec_si_result = vec_unpackl (vec_ss_arg);
for (i = 0; i < 4; i++) {
if (vec_si_expected[i] != vec_si_result[i])
#if DEBUG
printf("ERROR: vec_unpackl(), vec_si_expected[%d] = %d does not match vec_si_result[%d] = %d\n",
i, vec_si_expected[i], i, vec_si_result[i]);
#else
abort();
#endif
}
vec_pixel_arg = (vector pixel){ 0x0, 0x65, 0xca, 0x12f,
0x194, 0x1f9, 0x25e, 0x2c3 };
vec_ui_expected = (vector unsigned int){ 0x0, 0x305, 0x60a, 0x90f };
vec_ui_result = vec_unpackh (vec_pixel_arg);
for (i = 0; i < 4; i++) {
if (vec_ui_expected[i] != vec_ui_result[i])
#if DEBUG
printf("ERROR: vec_unpackh(), vec_ui_expected[%d] = 0x%x does not match vec_ui_result[%d] = 0x%x\n",
i, vec_ui_expected[i], i, vec_ui_result[i]);
#else
abort();
#endif
}
vec_ui_expected = (vector unsigned int){ 0xc14, 0xf19, 0x121e, 0x1603 };
vec_ui_result = vec_unpackl (vec_pixel_arg);
for (i = 0; i < 4; i++) {
if (vec_ui_expected[i] != vec_ui_result[i])
#if DEBUG
printf("ERROR: vec_unpackl(), vec_ui_expected[%d] = 0x%x does not match vec_ui_result[%d] = 0x%x\n",
i, vec_ui_expected[i], i, vec_ui_result[i]);
#else
abort();
#endif
}
vec_bc_arg = (vector bool char){ 0, 1, 0, 1, 0, 1, 0, 1,
0, 0, 1, 1, 0, 0, 1, 1 };
vec_bs_expected = (vector bool short){ 0, 1, 0, 1, 0, 1, 0, 1 };
vec_bs_result = vec_unpackh (vec_bc_arg);
for (i = 0; i < 8; i++) {
if (vec_bs_expected[i] != vec_bs_result[i])
#if DEBUG
printf("ERROR: vec_unpackh(), vec_bs_expected[%d] = %d does not match vec_bs_result[%d] = %d\n",
i, vec_bs_expected[i], i, vec_bs_result[i]);
#else
abort();
#endif
}
vec_bs_expected = (vector bool short){ 0, 0, 1, 1, 0, 0, 1, 1 };
vec_bs_result = vec_unpackl (vec_bc_arg);
for (i = 0; i < 8; i++) {
if (vec_bs_expected[i] != vec_bs_result[i])
#if DEBUG
printf("ERROR: vec_unpackh(), vec_bs_expected[%d] = %d does not match vec_bs_result[%d] = %d\n",
i, vec_bs_expected[i], i, vec_bs_result[i]);
#else
abort();
#endif
}
vec_bs_expected = (vector bool short){ 0, 0, 1, 1, 0, 0, 1, 1 };
vec_bs_result = vec_unpackl (vec_bc_arg);
for (i = 0; i < 8; i++) {
if (vec_bs_expected[i] != vec_bs_result[i])
#if DEBUG
printf("ERROR: vec_unpackl(), vec_bs_expected[%d] = %d does not match vec_bs_result[%d] = %d\n",
i, vec_bs_expected[i], i, vec_bs_result[i]);
#else
abort();
#endif
}
vec_sc_arg = (vector signed char){ 0, 1, 2, 3, 4, 5, 6, 7,
8, 9, 10, 11, 12, 13, 14, 15 };
vec_ss_expected = (vector signed short){ 0, 1, 2, 3, 4, 5, 6, 7 };
vec_ss_result = vec_unpackh (vec_sc_arg);
for (i = 0; i < 8; i++) {
if (vec_ss_expected[i] != vec_ss_result[i])
#if DEBUG
printf("ERROR: vec_unpackh(), vec_ss_expected[%d] = %d does not match vec_ss_result[%d] = %d\n",
i, vec_ss_expected[i], i, vec_ss_result[i]);
#else
abort();
#endif
}
vec_ss_expected = (vector signed short){ 8, 9, 10, 11, 12, 13, 14, 15 };
vec_ss_result = vec_unpackl (vec_sc_arg);
for (i = 0; i < 8; i++) {
if (vec_ss_expected[i] != vec_ss_result[i])
#if DEBUG
printf("ERROR: vec_unpackl(), vec_ss_expected[%d] = %d does not match vec_ss_result[%d] = %d\n",
i, vec_ss_expected[i], i, vec_ss_result[i]);
#else
abort();
#endif
}
vec_float_arg = (vector float){ 0.0, 1.5, 2.5, 3.5 };
vec_double_expected = (vector double){ 0.0, 1.5 };
vec_double_result = vec_unpackh (vec_float_arg);
for (i = 0; i < 2; i++) {
if (vec_double_expected[i] != vec_double_result[i])
{
#if DEBUG
printf("ERROR: vec_unpackh(), vec_double_expected[%d] = %f does not match vec_double_result[%d] = %f\n",
i, vec_double_expected[i], i, vec_double_result[i]);
conv_val.d = vec_double_result[i];
conv_exp.d = vec_double_expected[i];
printf(" vec_unpackh(), vec_double_expected[%d] = 0x%llx does not match vec_double_result[%d] = 0x%llx\n",
i, conv_exp.l, i,conv_val.l);
#else
abort();
#endif
}
}
vec_double_expected = (vector double){ 2.5, 3.5 };
vec_double_result = vec_unpackl (vec_float_arg);
for (i = 0; i < 2; i++) {
if (vec_double_expected[i] != vec_double_result[i])
{
#if DEBUG
printf("ERROR: vec_unpackl() vec_double_expected[%d] = %f does not match vec_double_result[%d] = %f\n",
i, vec_double_expected[i], i, vec_double_result[i]);
conv_val.d = vec_double_result[i];
conv_exp.d = vec_double_expected[i];
printf(" vec_unpackh(), vec_double_expected[%d] = 0x%llx does not match vec_double_result[%d] = 0x%llx\n",
i, conv_exp.l, i,conv_val.l);
#else
abort();
#endif
}
}
return 0;
}
gcc/testsuite/gcc.target/powerpc/altivec-2-runnable.c 0 → 100644
/* { dg-do compile { target powerpc*-*-* } } */
/* { dg-require-effective-target powerpc_p8vector_ok } */
/* { dg-options "-mpower8-vector -mvsx" } */
#include <altivec.h>
#ifdef DEBUG
#include <stdio.h>
#endif
void abort (void);
/* Endian considerations: The "high" half of a vector with n elements is the
first n/2 elements of the vector. For little endian, these elements are in
the rightmost half of the vector. For big endian, these elements are in the
leftmost half of the vector. */
int main ()
{
int i;
vector bool int vec_bi_arg;
vector bool long long vec_bll_result, vec_bll_expected;
vector signed int vec_si_arg;
vector signed long long int vec_slli_result, vec_slli_expected;
/* use of ‘long long’ in AltiVec types requires -mvsx */
/* __builtin_altivec_vupkhsw and __builtin_altivec_vupklsw
requires the -mpower8-vector option */
vec_bi_arg = (vector bool int){ 0, 1, 1, 0 };
vec_bll_expected = (vector bool long long){ 0, 1 };
vec_bll_result = vec_unpackh (vec_bi_arg);
for (i = 0; i < 2; i++) {
if (vec_bll_expected[i] != vec_bll_result[i])
#if DEBUG
printf("ERROR: vec_unpackh, vec_bll_expected[%d] = %d does not match vec_bll_result[%d] = %d\n",
i, vec_bll_expected[i], i, vec_bll_result[i]);
#else
abort();
#endif
}
vec_bll_expected = (vector bool long long){ 1, 0 };
vec_bll_result = vec_unpackl (vec_bi_arg);
for (i = 0; i < 2; i++) {
if (vec_bll_expected[i] != vec_bll_result[i])
#if DEBUG
printf("ERROR: vec_unpackl, vec_bll_expected[%d] = %d does not match vec_bll_result[%d] = %d\n",
i, vec_bll_expected[i], i, vec_bll_result[i]);
#else
abort();
#endif
}
vec_si_arg = (vector signed int){ 0, 101, 202, 303 };
vec_slli_expected = (vector signed long long int){ 0, 101 };
vec_slli_result = vec_unpackh (vec_si_arg);
for (i = 0; i < 2; i++) {
if (vec_slli_expected[i] != vec_slli_result[i])
#if DEBUG
printf("ERROR: vec_unpackh, vec_slli_expected[%d] = %d does not match vec_slli_result[%d] = %d\n",
i, vec_slli_expected[i], i, vec_slli_result[i]);
#else
abort();
#endif
}
vec_slli_result = vec_unpackl (vec_si_arg);
vec_slli_expected = (vector signed long long int){ 202, 303 };
for (i = 0; i < 2; i++) {
if (vec_slli_expected[i] != vec_slli_result[i])
#if DEBUG
printf("ERROR: vec_unpackl, vec_slli_expected[%d] = %d does not match vec_slli_result[%d] = %d\n",
i, vec_slli_expected[i], i, vec_slli_result[i]);
#else
abort();
#endif
}
return 0;
}
gcc/testsuite/gcc.target/powerpc/vsx-7.c
......@@ -17,10 +17,9 @@ int main2 ()
}
/* Expected results:
vec_unpackl vupkhsh
vec_unpackh vupklsh
vec_unpackl xvcvspdp
vec_unpackh xvcvspdp
*/
/* { dg-final { scan-assembler-times "vupkhpx" 1 } } */
/* { dg-final { scan-assembler-times "vupklpx" 1 } } */
/* { dg-final { scan-assembler-times "xvcvspdp" 2 } } */
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment