From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22362 invoked by alias); 1 May 2010 10:45:09 -0000 Received: (qmail 22345 invoked by uid 22791); 1 May 2010 10:45:07 -0000 X-SWARE-Spam-Status: No, hits=-1.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,SARE_MSGID_LONG45 X-Spam-Check-By: sourceware.org Received: from mail-gw0-f47.google.com (HELO mail-gw0-f47.google.com) (74.125.83.47) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sat, 01 May 2010 10:45:01 +0000 Received: by gwj23 with SMTP id 23so488607gwj.20 for ; Sat, 01 May 2010 03:44:59 -0700 (PDT) Received: by 10.151.88.22 with SMTP id q22mr4892167ybl.149.1272710698372; Sat, 01 May 2010 03:44:58 -0700 (PDT) MIME-Version: 1.0 Received: by 10.100.11.3 with HTTP; Sat, 1 May 2010 03:44:38 -0700 (PDT) In-Reply-To: <201005010054.17350.ebotcazou@adacore.com> References: <4BDA2513.9000705@codesourcery.com> <4BDA9B5F.2040507@gnu.org> <4BDADDB4.9060904@codesourcery.com> <201005010054.17350.ebotcazou@adacore.com> From: Paolo Bonzini Date: Sat, 01 May 2010 10:45:00 -0000 Message-ID: Subject: Re: Patch: PR40900, extending call patterns To: Eric Botcazou Cc: Bernd Schmidt , gcc-patches@gcc.gnu.org, Andrew Pinski Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 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 X-SW-Source: 2010-05/txt/msg00009.txt.bz2 On Sat, May 1, 2010 at 00:54, Eric Botcazou wrote: >> When finished, it looks like the one below. =A0Simply setting >> sign_bit_copies in record_dead_and_set_regs_1 doesn't work, and rather >> than duplicating the bookkeeping I construct a small piece of RTL to >> pass to record_value_for_reg that makes it do the right thing. >> >> This works without modifying backends, but it has the drawback that it >> can't optimize indirect calls since we're lacking a decl for them. REG_EXPR? > And going back to the Tree level in the RTL combiner is ugly. =A0Why can = PowerPC > and MIPS already optimize this and not ARM? =A0That's worth investigating. True, however promote_function_mode is already being used by combine for similar reasons (see setup_incoming_promotions), which is why I suggested it. Paolo