From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 75122 invoked by alias); 23 Apr 2015 09:15:17 -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 75050 invoked by uid 89); 23 Apr 2015 09:15:15 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mail-lb0-f169.google.com Received: from mail-lb0-f169.google.com (HELO mail-lb0-f169.google.com) (209.85.217.169) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Thu, 23 Apr 2015 09:15:14 +0000 Received: by lbbzk7 with SMTP id zk7so8640820lbb.0 for ; Thu, 23 Apr 2015 02:15:11 -0700 (PDT) X-Received: by 10.152.204.40 with SMTP id kv8mr1568930lac.113.1429780511019; Thu, 23 Apr 2015 02:15:11 -0700 (PDT) MIME-Version: 1.0 Received: by 10.25.83.204 with HTTP; Thu, 23 Apr 2015 02:14:30 -0700 (PDT) In-Reply-To: <000001d07821$6fb82f60$4f288e20$@arm.com> References: <000501d049d3$079385a0$16ba90e0$@arm.com> <552BBAF9.2010504@redhat.com> <000001d07821$6fb82f60$4f288e20$@arm.com> From: Steven Bosscher Date: Thu, 23 Apr 2015 09:15:00 -0000 Message-ID: Subject: Re: [PATCH, GCC, stage1] Fallback to copy-prop if constant-prop not possible To: "Thomas Preud'homme" Cc: Jeff Law , GCC Patches , Richard Biener Content-Type: text/plain; charset=UTF-8 X-IsSubscribed: yes X-SW-Source: 2015-04/txt/msg01399.txt.bz2 On Thu, Apr 16, 2015 at 10:43 AM, Thomas Preud'homme wrote: > 2015-04-15 Thomas Preud'homme > Steven Bosscher > > * cprop.c (cprop_reg_p): New. > (hash_scan_set): Use above function to check if register can be > propagated. > (find_avail_set): Return up to two sets, one whose source is > a register and one whose source is a constant. Sets are returned in > an array passed as parameter rather than as a return value. > (cprop_insn): Use a do while loop rather than a goto. Try each of the > sets returned by find_avail_set, starting with the one whose source is > a constant. Use cprop_reg_p to check if register can be propagated. > (do_local_cprop): Use cprop_reg_p to check if register can be > propagated. > (implicit_set_cond_p): Likewise. I wouldn't usually approve patches I've coded bits in myself. But this post is now 7 days old and it's Thomas' patch for 99%, so... OK for trunk. Can you please put steven at gcc.gnu.org for my e-mail address in the ChangeLog entry? Ciao! Steven