From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12850 invoked by alias); 28 Apr 2017 12:30:00 -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 11742 invoked by uid 89); 28 Apr 2017 12:29:59 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD,SPF_HELO_PASS autolearn=ham version=3.3.2 spammy=Fat X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 28 Apr 2017 12:29:57 +0000 Received: from smtp.corp.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 60103C05AD78; Fri, 28 Apr 2017 12:29:58 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mx1.redhat.com 60103C05AD78 Authentication-Results: ext-mx08.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com Authentication-Results: ext-mx08.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=jakub@redhat.com DKIM-Filter: OpenDKIM Filter v2.11.0 mx1.redhat.com 60103C05AD78 Received: from tucnak.zalov.cz (ovpn-116-29.ams2.redhat.com [10.36.116.29]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 03CEB9F379; Fri, 28 Apr 2017 12:29:57 +0000 (UTC) Received: from tucnak.zalov.cz (localhost [127.0.0.1]) by tucnak.zalov.cz (8.15.2/8.15.2) with ESMTP id v3SCTrEE018035; Fri, 28 Apr 2017 14:29:54 +0200 Received: (from jakub@localhost) by tucnak.zalov.cz (8.15.2/8.15.2/Submit) id v3SCTqii018034; Fri, 28 Apr 2017 14:29:52 +0200 Date: Fri, 28 Apr 2017 12:56:00 -0000 From: Jakub Jelinek To: Richard Biener Cc: Marc Glisse , GCC Patches Subject: Re: Drop Z from X + Z < Y + Z Message-ID: <20170428122952.GH1809@tucnak> Reply-To: Jakub Jelinek References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.7.1 (2016-10-04) X-IsSubscribed: yes X-SW-Source: 2017-04/txt/msg01485.txt.bz2 On Fri, Apr 28, 2017 at 02:25:55PM +0200, Richard Biener wrote: > On Fri, Apr 28, 2017 at 1:35 PM, Marc Glisse wrote: > > Hello, > > > > surprisingly, this did not cause any Wstrict-overflow failure. Some of it > > sounds more like reassoc's job, but it is convenient to handle simple cases > > in match.pd. I think we could wait until there are reports of regressions > > related to register pressure before adding single_use tests. > > > > For a std::vector v, we now simplify v.size()==v.capacity() to a > > single comparison (long)finish==(long)end_storage (I guess I could still try > > to drop the casts to consider it really done). Handling > > v.size() > choice to use unsigned types. I may still be able to remove the divisions, > > I'll see if I can sprinkle some 'convert' in recent transformations. > > > > Bootstrap+regtest on powerpc64le-unknown-linux-gnu. > > +(for cmp (eq ne minus) > > Fat fingered 'minus' (in all places) or did you want to get fancy? > (the transforms > look valid even for cmp == minus) Maybe adjust comments to reflect this. If minus is intended, it might be better to use op instead of cmp for the iterator. Jakub