From fd8303a5087bfd4c89f92ed6225661e519464c54 Mon Sep 17 00:00:00 2001 From: MCC CS Date: Tue, 28 Aug 2018 20:23:05 +0000 Subject: [PATCH] re PR middle-end/87009 (Can't find XOR pattern applying De Morgan sequentially) PR tree-optimization/87009 * match.pd: Add boolean optimizations. PR tree-optimization/87009 * gcc.dg/pr87009.c: New test. From-SVN: r263931 --- gcc/ChangeLog | 5 +++++ gcc/match.pd | 15 +++++++++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr87009.c | 23 +++++++++++++++++++++++ 4 files changed, 48 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr87009.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b4b56da6c0d..3dbee469a2b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-08-28 MCC CS + + PR tree-optimization/87009 + * match.pd: Add boolean optimizations. + 2018-08-28 Martin Sebor PR middle-end/86631 diff --git a/gcc/match.pd b/gcc/match.pd index d43e52d05cd..be669caf844 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -776,6 +776,11 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (bit_not (bit_and:cs (bit_not @0) @1)) (bit_ior @0 (bit_not @1))) +/* ~(~a | b) --> a & ~b */ +(simplify + (bit_not (bit_ior:cs (bit_not @0) @1)) + (bit_and @0 (bit_not @1))) + /* Simplify (~X & Y) to X ^ Y if we know that (X & ~Y) is 0. */ #if GIMPLE (simplify @@ -981,6 +986,16 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (bit_and:c (bit_ior:c @0 @1) (bit_xor:c @1 (bit_not @0))) (bit_and @0 @1)) +/* (~x | y) & (x | ~y) -> ~(x ^ y) */ +(simplify + (bit_and (bit_ior:cs (bit_not @0) @1) (bit_ior:cs @0 (bit_not @1))) + (bit_not (bit_xor @0 @1))) + +/* (~x | y) ^ (x | ~y) -> x ^ y */ +(simplify + (bit_xor (bit_ior:c (bit_not @0) @1) (bit_ior:c @0 (bit_not @1))) + (bit_xor @0 @1)) + /* ~x & ~y -> ~(x | y) ~x | ~y -> ~(x & y) */ (for op (bit_and bit_ior) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3a1b8d5743b..72f5a95984e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-08-28 MCC CS + + PR tree-optimization/87009 + * gcc.dg/pr87009.c: New test. + 2018-08-28 Martin Sebor PR middle-end/86631 diff --git a/gcc/testsuite/gcc.dg/pr87009.c b/gcc/testsuite/gcc.dg/pr87009.c new file mode 100644 index 00000000000..eb8a4ecd920 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr87009.c @@ -0,0 +1,23 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-original" } */ +/* { dg-final { scan-tree-dump-times "return s \\^ x;" 4 "original" } } */ + +int f1 (int x, int s) +{ + return ~(~(x|s)|x)|~(~(x|s)|s); +} + +int f2 (int x, int s) +{ + return ~(~(~x&s)&~(x&~s)); +} + +int f3 (int x, int s) +{ + return ~((x|~s)&(~x|s)); +} + +int f4 (int x, int s) +{ + return (x|~s)^(~x|s); +} -- 2.30.2