From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-415745-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 18385 invoked by alias); 19 Feb 2013 13:50:21 -0000
Received: (qmail 17840 invoked by uid 55); 19 Feb 2013 13:49:32 -0000
From: "rguenther at suse dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/55334] [4.8 Regression] mgrid regression (ipa-cp disables vectorization)
Date: Tue, 19 Feb 2013 13:50: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-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenther at suse dot de
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.0
X-Bugzilla-Changed-Fields:
Message-ID: <bug-55334-4-dzcLo0aJ5b@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-55334-4@http.gcc.gnu.org/bugzilla/>
References: <bug-55334-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2013-02/txt/msg01910.txt.bz2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334

--- Comment #27 from rguenther at suse dot de <rguenther at suse dot de> 2013-02-19 13:49:30 UTC ---
On Tue, 19 Feb 2013, jamborm at gcc dot gnu.org wrote:

> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
> 
> --- Comment #26 from Martin Jambor <jamborm at gcc dot gnu.org> 2013-02-19 12:54:27 UTC ---
> (In reply to comment #25)
> > 
> > That won't work (read: it will cause miscompiles).  I believe with the
> > most recent data-dependence reorg I added a bunch of testcases that show
> > how to create breaking testcases ;)
> 
> Yes, it even already miscompiles a few testcases in the testsuite.  I
> mainly wanted to say that the vectorizer is not the only problem.
> Which means that we probably want to preserve restrict across IPA
> optimizations.
> 
> Another idea, which Honza mentioned last time I spoke to him, was that
> perhaps not lowering &x.u and other COMPONENT_REFs into MEM_REFs would
> be enough to figure out the accesses do not alias, but I am not sure
> that is true in gimple (or why tree-inline does this in the first
> place).

Yes, preserving COMPONENT_REFs would help here, but it is not
correct (even for this testcase the types do not match).

Richard.