From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11364 invoked by alias); 28 Aug 2008 08:03:32 -0000 Received: (qmail 10402 invoked by alias); 28 Aug 2008 08:02:07 -0000 Date: Thu, 28 Aug 2008 08:03:00 -0000 Message-ID: <20080828080207.10401.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/37242] missed FRE opportunity because of signedness of addition In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rguenther at suse dot de" 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 X-SW-Source: 2008-08/txt/msg02213.txt.bz2 ------- Comment #14 from rguenther at suse dot de 2008-08-28 08:02 ------- Subject: Re: missed FRE opportunity because of signedness of addition On Thu, 28 Aug 2008, bonzini at gnu dot org wrote: > ------- Comment #13 from bonzini at gnu dot org 2008-08-28 06:16 ------- > Answering to your comment #11, one is a sizetype and one is not. But it is > enough to extend my fold-const.c patch to MULT_EXPRs in order to catch it. > > Also, the problem with the full testcase is that PRE is not cascading "enough". > Adding another PRE pass right after the first catches it. That would be a bug unless its a very weird case. PRE iterates insertion for this case for example. Richard. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37242