From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30826 invoked by alias); 15 Oct 2013 09:41:40 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 30787 invoked by uid 48); 15 Oct 2013 09:41:38 -0000 From: "rguenth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/58143] [4.8/4.9 regression] wrong code at -O3 Date: Tue, 15 Oct 2013 09:41:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 4.8.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: rguenth at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.8.2 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2013-10/txt/msg00880.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58143 --- Comment #20 from Richard Biener --- (In reply to Bernd Edlinger from comment #18) > (In reply to Richard Biener from comment #17) > > *** Bug 58731 has been marked as a duplicate of this bug. *** > > Richard, > > should I commit my patch now? No, I would have approved it if so. I am not happy with disabling loop invariant motion for these cases. Instead let's first fix the sequence of bugs exposed in all testcases sofar, LIM moving sth, SCEV plus niter analysis figuring out a wrong number of iterations, unroll killing the exit test. This restricts the operations we have to handle and ultimately simplifies the patch which makes it more suitable for backporting.