From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21188 invoked by alias); 25 Nov 2001 23:52:43 -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 21020 invoked from network); 25 Nov 2001 23:51:24 -0000 Received: from unknown (HELO dot.cygnus.com) (205.180.230.224) by sourceware.cygnus.com with SMTP; 25 Nov 2001 23:51:24 -0000 Received: (from rth@localhost) by dot.cygnus.com (8.11.2/8.11.2) id fAPNomO11436; Sun, 25 Nov 2001 15:50:48 -0800 X-Authentication-Warning: dot.cygnus.com: rth set sender to rth@redhat.com using -f Date: Thu, 15 Nov 2001 19:37:00 -0000 From: Richard Henderson To: Corey Minyard Cc: gcc@gcc.gnu.org Subject: Re: Loop optimization bug with Ada front end on PPC (and probably Alpha) Message-ID: <20011125155048.A11429@redhat.com> Mail-Followup-To: Richard Henderson , Corey Minyard , gcc@gcc.gnu.org References: <3BFCA770.5070304@acm.org> <20011124124100.A2485@redhat.com> <3C0179C5.2090002@acm.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <3C0179C5.2090002@acm.org>; from minyard@acm.org on Sun, Nov 25, 2001 at 05:07:49PM -0600 X-SW-Source: 2001-11/txt/msg00710.txt.bz2 On Sun, Nov 25, 2001 at 05:07:49PM -0600, Corey Minyard wrote: > Unfortunately, it's not simple to reproduce this, since you have to > build an Ada cross compiler, and you have to compile this code as part > of the compiler (since you can't compile anything else easily without > having gnatlib compiled and installed) And it's not the same as the one > reported by Andreas Schwab; I don't think you can reproduce this > particular bug with the C compiler. You have to jump past the increment > to enter the loop, but the jump has to be after the loop begin note. No, this appears to be exactly the same bug that Andreas demonstrates. The reason being that it's GCSE that transforms the rtl to have the jump after the loop begin note. I'll look at your patch in a minute. In the future, _always_ include the -p option to diff. r~ From mboxrd@z Thu Jan 1 00:00:00 1970 From: Richard Henderson To: Corey Minyard Cc: gcc@gcc.gnu.org Subject: Re: Loop optimization bug with Ada front end on PPC (and probably Alpha) Date: Sun, 25 Nov 2001 15:52:00 -0000 Message-ID: <20011125155048.A11429@redhat.com> References: <3BFCA770.5070304@acm.org> <20011124124100.A2485@redhat.com> <3C0179C5.2090002@acm.org> X-SW-Source: 2001-11/msg01214.html Message-ID: <20011125155200.7G1ChwItRPzJDOoVFcX99f74TNntix93Kx8PVSAb_y0@z> On Sun, Nov 25, 2001 at 05:07:49PM -0600, Corey Minyard wrote: > Unfortunately, it's not simple to reproduce this, since you have to > build an Ada cross compiler, and you have to compile this code as part > of the compiler (since you can't compile anything else easily without > having gnatlib compiled and installed) And it's not the same as the one > reported by Andreas Schwab; I don't think you can reproduce this > particular bug with the C compiler. You have to jump past the increment > to enter the loop, but the jump has to be after the loop begin note. No, this appears to be exactly the same bug that Andreas demonstrates. The reason being that it's GCSE that transforms the rtl to have the jump after the loop begin note. I'll look at your patch in a minute. In the future, _always_ include the -p option to diff. r~