From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12094 invoked by alias); 26 Oct 2015 13:26:55 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 12078 invoked by uid 89); 26 Oct 2015 13:26:54 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.0 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mx2.suse.de Received: from mx2.suse.de (HELO mx2.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (CAMELLIA256-SHA encrypted) ESMTPS; Mon, 26 Oct 2015 13:26:53 +0000 Received: from relay1.suse.de (charybdis-ext.suse.de [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 040BCABBF for ; Mon, 26 Oct 2015 13:26:39 +0000 (UTC) Date: Mon, 26 Oct 2015 13:29:00 -0000 From: Richard Biener To: gcc-patches@gcc.gnu.org Subject: [PATCH] Adjust some patterns wrt :c Message-ID: User-Agent: Alpine 2.11 (LSU 23 2013-08-11) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2015-10/txt/msg02740.txt.bz2 This removes the genmatch warnings. Bootstrapped / tested on x86_64-unknown-linux-gnu, applied. Richard. 2015-10-26 Richard Biener * match.pd ((A & ~B) - (A & B) -> (A ^ B) - B): Add missing :c. ( (X & ~Y) | (~X & Y) -> X ^ Y): Remove redundant :c. Index: gcc/match.pd =================================================================== --- gcc/match.pd (revision 229307) +++ gcc/match.pd (working copy) @@ -435,7 +435,7 @@ (define_operator_list RINT BUILT_IN_RINT /* Fold (A & ~B) - (A & B) into (A ^ B) - B. */ (simplify - (minus (bit_and:cs @0 (bit_not @1)) (bit_and:s @0 @1)) + (minus (bit_and:cs @0 (bit_not @1)) (bit_and:cs @0 @1)) (minus (bit_xor @0 @1) @1)) (simplify (minus (bit_and:s @0 INTEGER_CST@2) (bit_and:s @0 INTEGER_CST@1)) @@ -449,7 +449,7 @@ (define_operator_list RINT BUILT_IN_RINT /* Simplify (X & ~Y) | (~X & Y) -> X ^ Y. */ (simplify - (bit_ior:c (bit_and:c @0 (bit_not @1)) (bit_and:c (bit_not @0) @1)) + (bit_ior (bit_and:c @0 (bit_not @1)) (bit_and:c (bit_not @0) @1)) (bit_xor @0 @1)) (simplify (bit_ior:c (bit_and @0 INTEGER_CST@2) (bit_and (bit_not @0) INTEGER_CST@1))