From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 126773 invoked by alias); 3 Jan 2018 14:38:19 -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 126764 invoked by uid 89); 3 Jan 2018 14:38:18 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.7 required=5.0 tests=AWL,BAYES_00,KAM_NUMSUBJECT,T_RP_MATCHES_RCVD autolearn=no version=3.3.2 spammy=H*i:sk:4383169, H*f:sk:4383169 X-HELO: gate.crashing.org Received: from gate.crashing.org (HELO gate.crashing.org) (63.228.1.57) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 03 Jan 2018 14:38:17 +0000 Received: from gate.crashing.org (localhost.localdomain [127.0.0.1]) by gate.crashing.org (8.14.1/8.14.1) with ESMTP id w03EcAx8031992; Wed, 3 Jan 2018 08:38:10 -0600 Received: (from segher@localhost) by gate.crashing.org (8.14.1/8.14.1/Submit) id w03Ec9qW031989; Wed, 3 Jan 2018 08:38:09 -0600 Date: Wed, 03 Jan 2018 14:38:00 -0000 From: Segher Boessenkool To: Sudakshina Das Cc: "gcc-patches@gcc.gnu.org" , nd Subject: Re: [PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) == 0 Message-ID: <20180103143809.GV10515@gate.crashing.org> References: <4383169e-6a51-c671-00c5-8d112e2ed0d7@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4383169e-6a51-c671-00c5-8d112e2ed0d7@arm.com> User-Agent: Mutt/1.4.2.3i X-IsSubscribed: yes X-SW-Source: 2018-01/txt/msg00144.txt.bz2 Hi! On Wed, Jan 03, 2018 at 01:57:38PM +0000, Sudakshina Das wrote: > This patch add support for the missing transformation of (x | y) == x -> > (y & ~x) == 0. > Testing done: Checked for regressions on bootstrapped > aarch64-none-linux-gnu and arm-none-linux-gnueabihf and added new test > cases. > Is this ok for trunk? You forgot to include the patch :-) Segher