From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 124464 invoked by alias); 14 Sep 2018 16:39:25 -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 124449 invoked by uid 89); 14 Sep 2018 16:39:25 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,SPF_PASS autolearn=ham version=3.3.2 spammy=H*F:D*fr X-HELO: mail3-relais-sop.national.inria.fr Received: from mail3-relais-sop.national.inria.fr (HELO mail3-relais-sop.national.inria.fr) (192.134.164.104) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 14 Sep 2018 16:39:23 +0000 Received: from sac083r.vpn.inria.fr ([128.93.182.83]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Sep 2018 18:39:03 +0200 Date: Fri, 14 Sep 2018 16:55:00 -0000 From: Marc Glisse Reply-To: gcc-patches@gcc.gnu.org To: MCC CS cc: gcc-patches@gcc.gnu.org Subject: Re: Fold more boolean expressions In-Reply-To: Message-ID: References: User-Agent: Alpine 2.21 (DEB 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed X-SW-Source: 2018-09/txt/msg00760.txt.bz2 On Fri, 14 Sep 2018, MCC CS wrote: > +/* (~x & y) | ~(x | y) -> ~x */ > +(simplify > + (bit_ior:c (bit_and:c (bit_not @0) @1) (bit_not (bit_ior:c @0 @1))) > + (bit_not @0)) As I said last time, you should not generate a new (bit_not @0) in the output when there is already one in the input. Maybe (simplify (bit_ior:c (bit_and:c (bit_not@2 @0) @1) (bit_not (bit_ior:c @0 @1))) @2) -- Marc Glisse