From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31184 invoked by alias); 8 Mar 2005 14:22:04 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 31113 invoked by alias); 8 Mar 2005 14:21:59 -0000 Date: Tue, 08 Mar 2005 14:22:00 -0000 Message-ID: <20050308142159.31110.qmail@sourceware.org> From: "joern dot rennecke at st dot com" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050307194707.20367.amylaar@gcc.gnu.org> References: <20050307194707.20367.amylaar@gcc.gnu.org> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug rtl-optimization/20367] alias analysis doesn't take into account that variables that haven't their address taken can't alias arbitrary MEMs X-Bugzilla-Reason: CC X-SW-Source: 2005-03/txt/msg01046.txt.bz2 List-Id: ------- Additional Comments From joern dot rennecke at st dot com 2005-03-08 14:21 ------- Subject: Re: alias analysis doesn't take into account that variables that haven't their address taken can't alias arbitrary MEMs giovannibajo at libero dot it wrote: >------- Additional Comments From giovannibajo at libero dot it 2005-03-08 12:30 ------- >So, to recap: testcase in comment #5 should not be optimized (at least, it is >not related to this bug). > Actually, it is related inasmuch as it demonstrates a pitfall you have to avoid. > Testcase in comment #2 is already optimized correctly >in the tree-profiling-branch, which is due to be merged for 4.1. > >If so, we can suspend this bug until the branch is merged. The proposed patch >cannot be merged to release branches because this is not a regression, AFAICT. > >I also guess that on the mainline we want to fix this at the tree level. > It still makes sense to also handle this at the rtl level, so that the scheduler knows that the MEMs don't alias. Unless you propose to convert sched1 and sched2 to do machine-independent scheduling on trees ;-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20367