From owner-freebsd-current@FreeBSD.ORG Wed Jul 4 20:56:07 2007 Return-Path: X-Original-To: current@freebsd.org Delivered-To: freebsd-current@FreeBSD.ORG Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 6D68B16A421 for ; Wed, 4 Jul 2007 20:56:07 +0000 (UTC) (envelope-from rdivacky@vlk.vlakno.cz) Received: from vlakno.cz (vlk.vlakno.cz [62.168.28.247]) by mx1.freebsd.org (Postfix) with ESMTP id 19F9E13C44B for ; Wed, 4 Jul 2007 20:56:06 +0000 (UTC) (envelope-from rdivacky@vlk.vlakno.cz) Received: from localhost (localhost [127.0.0.1]) by vlakno.cz (Postfix) with ESMTP id D5CF68BEFFC; Wed, 4 Jul 2007 22:56:04 +0200 (CEST) X-Virus-Scanned: amavisd-new at vlakno.cz Received: from vlakno.cz ([127.0.0.1]) by localhost (vlk.vlakno.cz [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id z4dN0rmdQyt5; Wed, 4 Jul 2007 22:56:03 +0200 (CEST) Received: from vlk.vlakno.cz (localhost [127.0.0.1]) by vlakno.cz (Postfix) with ESMTP id 9C4378BDE93; Wed, 4 Jul 2007 22:56:03 +0200 (CEST) Received: (from rdivacky@localhost) by vlk.vlakno.cz (8.13.8/8.13.8/Submit) id l64Ku3sW080606; Wed, 4 Jul 2007 22:56:03 +0200 (CEST) (envelope-from rdivacky) Date: Wed, 4 Jul 2007 22:56:03 +0200 From: Roman Divacky To: Andrey Chernov , Ed Schouten , Alexander Kabaev , current@freebsd.org, kan@freebsd.org Message-ID: <20070704205602.GA80519@freebsd.org> References: <20070625130913.GA50273@nagual.pp.ru> <20070625133951.GA51324@nagual.pp.ru> <8e5ef5f70706250659v48f64410wb5399985a571087e@mail.gmail.com> <20070625145627.GA53685@nagual.pp.ru> <20070625151508.GO27942@hoeg.nl> <20070625152559.GA54055@nagual.pp.ru> <20070625153840.GP27942@hoeg.nl> <20070704121208.GC37187@hoeg.nl> <20070704190148.GA34853@nagual.pp.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20070704190148.GA34853@nagual.pp.ru> User-Agent: Mutt/1.4.2.3i Cc: Subject: Re: [Patch] Silent gcc 4.2.0 loop optimization bug with -O2 X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 04 Jul 2007 20:56:07 -0000 On Wed, Jul 04, 2007 at 11:01:48PM +0400, Andrey Chernov wrote: > On Wed, Jul 04, 2007 at 02:12:08PM +0200, Ed Schouten wrote: > > > Index: tree-ssa-loop-niter.c > > > =================================================================== > > > --- tree-ssa-loop-niter.c (revision 126260) > > > +++ tree-ssa-loop-niter.c (working copy) > > > @@ -1747,6 +1747,12 @@ infer_loop_bounds_from_undefined (struct > > > { > > > bb = bbs[i]; > > > > > > + /* If BB is not executed in each iteration of the loop, we cannot > > > + use the operations in it to infer reliable upper bound on the > > > + # of iterations of the loop. */ > > > + if (!dominated_by_p (CDI_DOMINATORS, loop->latch, bb)) > > > + continue; > > > + > > > for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi)) > > > { > > > tree stmt = bsi_stmt (bsi); > > > > > > I'm going to test this. > > > > > ----- End forwarded message ----- > > > > I just tested the patch on my desktop and it seems to work. The test > > code now compiles like it should. Hopefully it will be part of 4.2.1. > > Will be nice if this patch will be commited in instead of my > sys.mk workaround. Alexander? afaik they plan to release gcc 4.2.1 on July 13th, thats a week, possibly two ahead. maybe we can wait and import the 4.2.1 directly. 4.2.1 contains some more bug fixes so it would be worth it. roman