From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19670 invoked by alias); 22 Feb 2002 09:31:44 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 19516 invoked from network); 22 Feb 2002 09:31:33 -0000 Received: from unknown (HELO potter.sfbay.redhat.com) (209.249.29.60) by sources.redhat.com with SMTP; 22 Feb 2002 09:31:33 -0000 Received: from dot.sfbay.redhat.com (dot.sfbay.redhat.com [205.180.230.224]) by potter.sfbay.redhat.com (8.11.6/8.11.6) with ESMTP id g1M9Qch29654 for ; Fri, 22 Feb 2002 01:26:38 -0800 Received: (from rth@localhost) by dot.sfbay.redhat.com (8.11.6/8.11.6) id g1M9VXX19989 for gcc@gcc.gnu.org; Fri, 22 Feb 2002 01:31:33 -0800 X-Authentication-Warning: dot.sfbay.redhat.com: rth set sender to rth@redhat.com using -f Date: Fri, 22 Feb 2002 01:33:00 -0000 From: Richard Henderson To: gcc@gcc.gnu.org Subject: Re: SImode -> DImode optimizations Message-ID: <20020222013133.B19977@redhat.com> Mail-Followup-To: Richard Henderson , gcc@gcc.gnu.org References: <20020222050238.GG1054@bubble.sa.bigpond.net.au> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <20020222050238.GG1054@bubble.sa.bigpond.net.au>; from amodra@bigpond.net.au on Fri, Feb 22, 2002 at 03:32:38PM +1030 X-SW-Source: 2002-02/txt/msg01280.txt.bz2 On Fri, Feb 22, 2002 at 03:32:38PM +1030, Alan Modra wrote: > What's the correct way to let gcc know that SImode insn patterns > leave the high part of a reg in a known state? Create additional patterns that also contain the zero_extend. I.e. (set (match_operand:DI 0 "gpc_reg_operand" "=r") (zero_extend:DI (rotate:SI (match_operand:SI 1 "gpc_reg_operand" "r") (match_operand:SI 2 "reg_or_cint_operand" "ri")))) r~