From 2d6f2dce793e917f00a366ed0d1c5d1545f5c50d Mon Sep 17 00:00:00 2001 From: Marek Polacek Date: Thu, 11 Jun 2015 17:18:34 +0000 Subject: [PATCH] * match.pd ((x & y) ^ (x | y)): Don't check for single_use. From-SVN: r224390 --- gcc/ChangeLog | 4 ++++ gcc/match.pd | 5 ++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ef428b351a6..066d6691680 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2015-06-11 Marek Polacek + + * match.pd ((x & y) ^ (x | y)): Don't check for single_use. + 2015-06-11 Eric Botcazou PR bootstrap/66252 diff --git a/gcc/match.pd b/gcc/match.pd index 9a1317e1f23..1ab2b1c0056 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -322,9 +322,8 @@ along with GCC; see the file COPYING3. If not see /* (x & y) ^ (x | y) -> x ^ y */ (simplify - (bit_xor:c (bit_and@2 @0 @1) (bit_ior@3 @0 @1)) - (if (single_use (@2) && single_use (@3)) - (bit_xor @0 @1))) + (bit_xor:c (bit_and @0 @1) (bit_ior @0 @1)) + (bit_xor @0 @1)) (simplify (abs (negate @0)) -- 2.30.2