From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 10250 invoked by alias); 31 Jul 2007 21:36:55 -0000 Received: (qmail 10241 invoked by uid 22791); 31 Jul 2007 21:36:54 -0000 X-Spam-Check-By: sourceware.org Received: from atrey.karlin.mff.cuni.cz (HELO atrey.karlin.mff.cuni.cz) (195.113.31.123) by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 31 Jul 2007 21:36:50 +0000 Received: by atrey.karlin.mff.cuni.cz (Postfix, from userid 4018) id B80A9847CC; Tue, 31 Jul 2007 23:36:47 +0200 (CEST) Date: Tue, 31 Jul 2007 21:44:00 -0000 From: Jan Hubicka To: Kai Tietz Cc: gcc-patches@gcc.gnu.org Subject: Re: PING: PING: patch: ICE in legitimize_pic_address for x86_64 mingw target Message-ID: <20070731213647.GA28848@atrey.karlin.mff.cuni.cz> References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) X-IsSubscribed: yes 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: 2007-07/txt/msg02209.txt.bz2 > Hi, > > there is an ICE for __declspec(dllimport) imported variables. The checking > of pic seems to be to early in legitimize_address. The check for > TARGET_DLLIMPORT_DECL_ATTRIBUTES should be done infront AFAICS. I > bootstraped it for x86_64-pc-mingw32 and i686-pc-mignew32 and it seems to > work fine for me. > I tested this patch for i686-pc-cygwin and x86_64-pc-mingw32 and I saw no > regressions. Hi, the patch looks fine, however I think you need to check range of CONST_INT operand: if (GET_CODE (x) == CONST && GET_CODE (XEXP (x, 0)) == PLUS && GET_CODE (XEXP (XEXP (x, 0), 0)) == SYMBOL_REF && SYMBOL_REF_DLLIMPORT_P (XEXP (XEXP (x, 0), 0))) so the offset won't end up exceeding 32bit encoding. Does Windows ABI guarantee some constant value? (GCC can generate constant offset that points off the symbol's object memory area itself when simplifying more complex memory references) SYSV ABI reserve 16MB for this that is checked at few places: if (!CONST_INT_P (op1) || INTVAL (op1) >= 16*1024*1024 || INTVAL (op1) < -16*1024*1024) Honza > > ChangeLog: > > 2007-03-30 Kai Tietz > > * i386.c: (legitimize_address): Move dllimported variable check > infront of legitimizing pic address of CONST symbols. > > Regards, > i.A. Kai Tietz > > > | (\_/) This is Bunny. Copy and paste Bunny > | (='.'=) into your signature to help him gain > | (")_(") world domination. > > ------------------------------------------------------------------------------------------ > OneVision Software Entwicklungs GmbH & Co. KG > Dr.-Leo-Ritter-Straße 9 - 93049 Regensburg > Tel: +49.(0)941.78004.0 - Fax: +49.(0)941.78004.489 - www.OneVision.com > Commerzbank Regensburg - BLZ 750 400 62 - Konto 6011050 > Handelsregister: HRA 6744, Amtsgericht Regensburg > Komplementärin: OneVision Software Entwicklungs Verwaltungs GmbH > Dr.-Leo-Ritter-Straße 9 ??? 93049 Regensburg > Handelsregister: HRB 8932, Amtsgericht Regensburg - Geschäftsführer: > Ulrike Döhler, Manuela Kluger > Index: gcc/gcc/config/i386/i386.c > =================================================================== > --- gcc.orig/gcc/config/i386/i386.c > +++ gcc/gcc/config/i386/i386.c > @@ -7673,9 +7673,6 @@ legitimize_address (rtx x, rtx oldx ATTR > return gen_rtx_PLUS (Pmode, t, XEXP (XEXP (x, 0), 1)); > } > > - if (flag_pic && SYMBOLIC_CONST (x)) > - return legitimize_pic_address (x, 0); > - > if (TARGET_DLLIMPORT_DECL_ATTRIBUTES) > { > if (GET_CODE (x) == SYMBOL_REF && SYMBOL_REF_DLLIMPORT_P (x)) > @@ -7690,6 +7687,9 @@ legitimize_address (rtx x, rtx oldx ATTR > } > } > > + if (flag_pic && SYMBOLIC_CONST (x)) > + return legitimize_pic_address (x, 0); > + > /* Canonicalize shifts by 0, 1, 2, 3 into multiply */ > if (GET_CODE (x) == ASHIFT > && CONST_INT_P (XEXP (x, 1)) > =