From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-42188-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 30028 invoked by alias); 4 Dec 2001 15:52:29 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 29988 invoked from network); 4 Dec 2001 15:52:27 -0000
Received: from unknown (HELO mail.acunia.com) (194.7.211.211)
  by sources.redhat.com with SMTP; 4 Dec 2001 15:52:27 -0000
Received: from acunia.com (dhcp-10.0.4.165.leuven.intern.acunia.com [10.0.4.165])
	by mail.acunia.com (8.11.6/8.11.6) with ESMTP id fB4Fpml03557;
	Tue, 4 Dec 2001 16:51:48 +0100
Message-ID: <3C0CF0C5.6040904@acunia.com>
Date: Tue, 04 Dec 2001 07:52:00 -0000
From: jeroen dobbelaere <jeroen.dobbelaere@acunia.com>
Organization: ACUNIA
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.4) Gecko/20010914
X-Accept-Language: en-us
MIME-Version: 1.0
To: Alexandre Oliva <aoliva@redhat.com>
CC: gcc <gcc@gcc.gnu.org>
Subject: Re: define_insn : order of matching patterns
References: <3C0CD323.2040809@acunia.com> <orn10z5926.fsf@free.redhat.lsd.ic.unicamp.br>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-SW-Source: 2001-12/txt/msg00124.txt.bz2

Alexandre Oliva wrote:

> On Dec  4, 2001, jeroen dobbelaere <jeroen.dobbelaere@acunia.com> wrote:
> 
> 
>>1. Why doesn't the original pattern ('*mulhisi3addsi_left') get a match ?
>>
> 
> Read about pattern canonicalization in the GCC manual.
> 
> 

Ok. Found it there :

<http://gcc.gnu.org/onlinedocs/gcc_21.html#SEC246>

     * For commutative and comparison operators, [..]
       if only one operand is a neg, not, mult, plus, or minus expression, it will be the first operand.

Thanks !

--
Jeroen Dobbelaere
Embedded Software Engineer

ACUNIA Embedded Solutions
http://www.acunia.com