OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

simplify-rtx.c (simplify_binary_operation_1): Optimize case of nested VEC_SELECTs that are inverses of each other.

Browse Source 
[gcc]

2014-05-20  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

	* simplify-rtx.c (simplify_binary_operation_1): Optimize case of
	nested VEC_SELECTs that are inverses of each other.

[gcc/testsuite]

2014-05-20  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

	* gcc.target/powerpc/vsxcopy.c: New test.

From-SVN: r210644
This commit is contained in:
Bill Schmidt 2014-05-20 14:14:21 +00:00 committed by William Schmidt
parent b2b222b311
commit ec217bd88a
4 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2014-05-20 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* simplify-rtx.c (simplify_binary_operation_1): Optimize case of
nested VEC_SELECTs that are inverses of each other.
2014-05-20 Richard Biener <rguenther@suse.de>
* tree-ssa-sccvn.c (process_scc): Dump SCC here, when

25
gcc/simplify-rtx.c
View File

@ -3419,6 +3419,31 @@ simplify_binary_operation_1 (enum rtx_code code, enum machine_mode mode,
}
}
/* If we have two nested selects that are inverses of each
other, replace them with the source operand. */
if (GET_CODE (trueop0) == VEC_SELECT
&& GET_MODE (XEXP (trueop0, 0)) == mode)
{
rtx op0_subop1 = XEXP (trueop0, 1);
gcc_assert (GET_CODE (op0_subop1) == PARALLEL);
gcc_assert (XVECLEN (trueop1, 0) == GET_MODE_NUNITS (mode));
/* Apply the outer ordering vector to the inner one. (The inner
ordering vector is expressly permitted to be of a different
length than the outer one.) If the result is { 0, 1, ..., n-1 }
then the two VEC_SELECTs cancel. */
for (int i = 0; i < XVECLEN (trueop1, 0); ++i)
{
rtx x = XVECEXP (trueop1, 0, i);
if (!CONST_INT_P (x))
return 0;
rtx y = XVECEXP (op0_subop1, 0, INTVAL (x));
if (!CONST_INT_P (y) || i != INTVAL (y))
return 0;
}
return XEXP (trueop0, 0);
}
return 0;
case VEC_CONCAT:
{

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2014-05-20 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* gcc.target/powerpc/vsxcopy.c: New test.
2014-05-20 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/58664

15
gcc/testsuite/gcc.target/powerpc/vsxcopy.c Normal file
View File

@ -0,0 +1,15 @@
/* { dg-do compile { target { powerpc64*-*-* } } } */
/* { dg-require-effective-target powerpc_vsx_ok } */
/* { dg-options "-O1" } */
/* { dg-final { scan-assembler "lxvd2x" } } */
/* { dg-final { scan-assembler "stxvd2x" } } */
/* { dg-final { scan-assembler-not "xxpermdi" } } */
typedef float vecf __attribute__ ((vector_size (16)));
extern vecf j, k;
void fun (void)
{
j = k;
}