From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 59783 invoked by alias); 22 Sep 2015 15:53:24 -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 59770 invoked by uid 89); 22 Sep 2015 15:53:23 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.5 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RP_MATCHES_RCVD,SPF_HELO_PASS autolearn=no version=3.3.2 X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Tue, 22 Sep 2015 15:53:22 +0000 Received: from int-mx13.intmail.prod.int.phx2.redhat.com (int-mx13.intmail.prod.int.phx2.redhat.com [10.5.11.26]) by mx1.redhat.com (Postfix) with ESMTPS id 325468EA4C; Tue, 22 Sep 2015 15:53:21 +0000 (UTC) Received: from localhost.localdomain (vpn1-6-156.ams2.redhat.com [10.36.6.156]) by int-mx13.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id t8MFrJ3Q029934; Tue, 22 Sep 2015 11:53:19 -0400 Subject: Re: ifcvt vs. expand_binop To: Oleg Endo , GCC Patches References: <1442928926.2509.23.camel@t-online.de> Cc: Jeff Law , Kyrill Tkachov , Richard Henderson From: Bernd Schmidt Message-ID: <5601796E.7000502@redhat.com> Date: Tue, 22 Sep 2015 15:57:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <1442928926.2509.23.camel@t-online.de> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2015-09/txt/msg01672.txt.bz2 On 09/22/2015 03:35 PM, Oleg Endo wrote: > On SH, the result of comparisons etc. is stored in the T_REG. It's a 1 > bit reg but described as SImode. To get the T_REG into another reg, > there's this insn: > > (define_insn "movt" > [(set (match_operand:SI 0 "arith_reg_dest" "=r") > (match_operand:SI 1 "t_reg_operand"))] > "TARGET_SH1" > "movt %0" > [(set_attr "type" "arith")]) > > where "t_reg_operand" accepts various forms of the T_REG via > reg,subreg,sign_extend,zero_extend (to get better combine results). > > Now I'd like to extend the "t_reg_operand" predicate to accept something > like > > (set (reg:SI) (ne:SI (reg:SI 147 t) (const_int 0))) Is there a reason you're not just adding that as a new pattern rather than trying to overload the predicate? Bernd