From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 86390 invoked by alias); 2 May 2015 21:18:01 -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 86377 invoked by uid 89); 2 May 2015 21:18:00 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.4 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mail-wg0-f45.google.com Received: from mail-wg0-f45.google.com (HELO mail-wg0-f45.google.com) (74.125.82.45) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Sat, 02 May 2015 21:17:59 +0000 Received: by wgyo15 with SMTP id o15so117962088wgy.2 for ; Sat, 02 May 2015 14:17:56 -0700 (PDT) X-Received: by 10.180.37.3 with SMTP id u3mr7303220wij.43.1430601476432; Sat, 02 May 2015 14:17:56 -0700 (PDT) Received: from [10.44.59.123] (089144195123.atnat0004.highway.a1.net. [89.144.195.123]) by mx.google.com with ESMTPSA id v3sm3914005wix.8.2015.05.02.14.17.54 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 02 May 2015 14:17:55 -0700 (PDT) User-Agent: K-9 Mail for Android In-Reply-To: <55441BF2.60703@redhat.com> References: <55441BF2.60703@redhat.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 Subject: Re: [RFA] More type narrowing in match.pd V2 From: Bernhard Reutner-Fischer Date: Sat, 02 May 2015 21:18:00 -0000 To: Jeff Law ,gcc-patches@gcc.gnu.org Message-ID: X-IsSubscribed: yes X-SW-Source: 2015-05/txt/msg00168.txt.bz2 On May 2, 2015 2:36:02 AM GMT+02:00, Jeff Law wrote: >Here's an updated patch to add more type narrowing to match.pd. > >Changes since the last version: > >Slight refactoring of the condition by using types_match as suggested >by >Richi. I also applied the new types_match to 2 other patterns in >match.pd where it seemed clearly appropriate. > >Additionally the transformation is restricted by using the new >single_use predicate. I didn't change other patterns in match.pd to >use >the new single_use predicate. But some probably could be changed. > >This (of course) continues to pass the bootstrap and regression check >for x86-linux-gnu. > >There's still a ton of work to do in this space. This is meant to be >an >incremental stand-alone improvement. > >OK now? I should find time to commit the already approved auto-wipe dump file patch. So let's assume I'll get to it maybe next weekend and nobody will notice the 2 leftover .original dumps in this patch :) Cheers,