diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2019-05-31 19:04:20 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2019-05-31 17:04:20 +0000 |
| commit | 34a13a521e3fc6f46fcaf2f158d20e66874e99fd (patch) | |
| tree | 62c4a9ad91508bf62cd56b389a0d893bf0a9e034 | |
| parent | 9cf60d3b0d793fbd3b97aa0163b44a5c0c4e9aa3 (diff) | |
| download | gcc-34a13a521e3fc6f46fcaf2f158d20e66874e99fd.zip gcc-34a13a521e3fc6f46fcaf2f158d20e66874e99fd.tar.gz gcc-34a13a521e3fc6f46fcaf2f158d20e66874e99fd.tar.bz2 | |
apply unary op to both sides of (vec_cond x cst1 cst2)
2019-05-31 Marc Glisse <marc.glisse@inria.fr>
gcc/
* match.pd (~(vec?cst1:cst2)): New transformation.
gcc/testsuite/
* g++.dg/tree-ssa/cprop-vcond.C: New file.
From-SVN: r271817
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/match.pd | 15 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C | 12 |
4 files changed, 35 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 67cfc44..832ec72 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2019-05-31 Marc Glisse <marc.glisse@inria.fr> + * match.pd (~(vec?cst1:cst2)): New transformation. + +2019-05-31 Marc Glisse <marc.glisse@inria.fr> + * match.pd (X/[ex]D<Y/[ex]D): Handle negative denominator. ((size_t)(A /[ex] B) CMP C): New transformation. diff --git a/gcc/match.pd b/gcc/match.pd index 99ffb16..02e0471 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -2920,6 +2920,21 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (if (integer_zerop (@0)) @2))) +/* Sink unary operations to constant branches, but only if we do fold it to + constants. */ +(for op (negate bit_not abs absu) + (simplify + (op (vec_cond @0 VECTOR_CST@1 VECTOR_CST@2)) + (with + { + tree cst1, cst2; + cst1 = const_unop (op, type, @1); + if (cst1) + cst2 = const_unop (op, type, @2); + } + (if (cst1 && cst2) + (vec_cond @0 { cst1; } { cst2; }))))) + /* Simplification moved from fold_cond_expr_with_comparison. It may also be extended. */ /* This pattern implements two kinds simplification: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5893b18..31edc62 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2019-05-31 Marc Glisse <marc.glisse@inria.fr> + * g++.dg/tree-ssa/cprop-vcond.C: New file. + +2019-05-31 Marc Glisse <marc.glisse@inria.fr> + * gcc.dg/tree-ssa/cmpexactdiv-3.c: New file. * gcc.dg/tree-ssa/cmpexactdiv-4.c: New file. * gcc.dg/Walloca-13.c: Xfail. diff --git a/gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C b/gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C new file mode 100644 index 0000000..7d62cff --- /dev/null +++ b/gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-forwprop1-raw" } */ + +typedef long vec __attribute__((vector_size(2*sizeof(long)))); +void f(vec*v){ + vec t = { 5, 16 }; + vec f = { 27, -11 }; + vec r = *v ? t : f; + *v = -r; +} + +/* { dg-final { scan-tree-dump-not "negate_expr" "forwprop1" } } */ |