From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15082 invoked by alias); 22 Apr 2015 23:48:48 -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 15072 invoked by uid 89); 22 Apr 2015 23:48:47 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.2 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mail-oi0-f45.google.com Received: from mail-oi0-f45.google.com (HELO mail-oi0-f45.google.com) (209.85.218.45) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Wed, 22 Apr 2015 23:48:46 +0000 Received: by oiko83 with SMTP id o83so1680683oik.1 for ; Wed, 22 Apr 2015 16:48:44 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.60.133.144 with SMTP id pc16mr91343oeb.0.1429746524525; Wed, 22 Apr 2015 16:48:44 -0700 (PDT) Received: by 10.76.54.14 with HTTP; Wed, 22 Apr 2015 16:48:44 -0700 (PDT) In-Reply-To: <55381D7E.2000106@linaro.org> References: <54B9C2EE.4050100@linaro.org> <54B9C4CC.8070806@linaro.org> <55381D7E.2000106@linaro.org> Date: Wed, 22 Apr 2015 23:48:00 -0000 Message-ID: Subject: Re: [RFC][PATCH 3/3] Enable zero/sign extension elimination From: "H.J. Lu" To: Kugan Cc: "gcc-patches@gcc.gnu.org" , Richard Biener , Jakub Jelinek , Jeff Law Content-Type: text/plain; charset=UTF-8 X-IsSubscribed: yes X-SW-Source: 2015-04/txt/msg01373.txt.bz2 On Wed, Apr 22, 2015 at 3:15 PM, Kugan wrote: > On 17/01/15 13:11, Kugan wrote: >> >> Re-enable zero/sign extension elimination using value range that >> includes wrapped attribute. >> > > Now that stage-1 is open, rebased it and regression tested on > x86-64-none-linux-gnu with no new regressions. > > Is this OK for trunk? > > Thanks, > Kugan > > gcc/ChangeLog: > > 2015-04-22 Kugan Vivekanandarajah > > * calls.c (precompute_arguments): Check > promoted_for_signed_and_unsigned_p and set the promoted mode. > * expr.c (expand_expr_real_1): Likewise. > (promoted_for_signed_and_unsigned_p): New function. > * cfgexpand.c (expand_gimple_stmt_1): Call emit_move_insn if > SUBREG is promoted with SRP_SIGNED_AND_UNSIGNED. > * expr.h (promoted_for_signed_and_unsigned_p): New definition. Are you planning to submit some testcases to show its improvement? Will it help https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53639 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=33349 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44532 -- H.J.