From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32038 invoked by alias); 27 Jun 2011 22:08:39 -0000 Received: (qmail 32029 invoked by uid 22791); 27 Jun 2011 22:08:38 -0000 X-SWARE-Spam-Status: No, hits=-1.7 required=5.0 tests=AWL,BAYES_00,MSGID_FROM_MTA_HEADER,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mtagate6.uk.ibm.com (HELO mtagate6.uk.ibm.com) (194.196.100.166) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 27 Jun 2011 22:08:24 +0000 Received: from d06nrmr1806.portsmouth.uk.ibm.com (d06nrmr1806.portsmouth.uk.ibm.com [9.149.39.193]) by mtagate6.uk.ibm.com (8.13.1/8.13.1) with ESMTP id p5RM8GYq023053 for ; Mon, 27 Jun 2011 22:08:16 GMT Received: from d06av02.portsmouth.uk.ibm.com (d06av02.portsmouth.uk.ibm.com [9.149.37.228]) by d06nrmr1806.portsmouth.uk.ibm.com (8.13.8/8.13.8/NCO v10.0) with ESMTP id p5RM8GFm2580560 for ; Mon, 27 Jun 2011 23:08:16 +0100 Received: from d06av02.portsmouth.uk.ibm.com (loopback [127.0.0.1]) by d06av02.portsmouth.uk.ibm.com (8.14.4/8.13.1/NCO v10.0 AVout) with ESMTP id p5RM8Fwf020149 for ; Mon, 27 Jun 2011 16:08:16 -0600 Received: from tuxmaker.boeblingen.de.ibm.com (tuxmaker.boeblingen.de.ibm.com [9.152.85.9]) by d06av02.portsmouth.uk.ibm.com (8.14.4/8.13.1/NCO v10.0 AVin) with SMTP id p5RM8EKX020141; Mon, 27 Jun 2011 16:08:14 -0600 Message-Id: <201106272208.p5RM8EKX020141@d06av02.portsmouth.uk.ibm.com> Received: by tuxmaker.boeblingen.de.ibm.com (sSMTP sendmail emulation); Tue, 28 Jun 2011 00:08:14 +0200 Subject: Re: PATCH [10/n]: Prepare x32: PR rtl-optimization/49114: Reload failed to handle (set reg:X (plus:X (subreg:X (reg:Y) 0) (const To: hjl.tools@gmail.com (H.J. Lu) Date: Mon, 27 Jun 2011 22:26:00 -0000 From: "Ulrich Weigand" Cc: gcc-patches@gcc.gnu.org, bernds@codesourcery.com In-Reply-To: from "H.J. Lu" at Jun 27, 2011 01:42:06 PM MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit 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: 2011-06/txt/msg02071.txt.bz2 H.J. Lu wrote: > reload generates: > > (insn 914 912 0 (set (reg:SI 0 ax) > (plus:SI (subreg:SI (reg/v/f:DI 182 [ b ]) 0) > (const_int 8 [0x8]))) 248 {*lea_1_x32} > (nil)) > > from > > insn = emit_insn_if_valid_for_reload (gen_rtx_SET (VOIDmode, out, in)); Interesting. The pseudo should have been replaced by the hard register (reg:DI 1) during the preceding call to op0 = find_replacement (&XEXP (in, 0)); (since reload 0 should have pushed a replacement record.) Interestingly enough, in the final output that replacement *is* performed in the REG_EQUIV note: (insn 1023 1022 1024 34 (set (reg:SI 1 dx) (plus:SI (reg:SI 1 dx) (const_int 8 [0x8]))) spooles.c:291 248 {*lea_1_x32} (expr_list:REG_EQUIV (plus:SI (subreg:SI (reg:DI 1 dx) 0) (const_int 8 [0x8])) (nil))) which is why I hadn't expected this to be a problem here. Can you try to find out why the find_replacement doesn't work with your test case? Bye, Ulrich -- Dr. Ulrich Weigand GNU Toolchain for Linux on System z and Cell BE Ulrich.Weigand@de.ibm.com