From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-218092-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 11623 invoked by alias); 13 May 2007 21:32:36 -0000
Received: (qmail 11591 invoked by uid 48); 13 May 2007 21:32:23 -0000
Date: Sun, 13 May 2007 21:32:00 -0000
Subject: [Bug tree-optimization/31914]  New: FRE does not do const or copy propagation while it could
X-Bugzilla-Reason: CC
Message-ID: <bug-31914-10053@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
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: 2007-05/txt/msg00957.txt.bz2

FRE has all the information available, it's simply not used because eliminate()
does not consider copy statements (and does not run elimination on PHI
arguments
for the same reason).  Also for full const/copy propagation COND_EXPRs need to
be value-numbered.

This would let us get rid of a copyprop and a ccp pass.

I have a prototype patch (still lacks COND_EXPR VN).


-- 
           Summary: FRE does not do const or copy propagation while it could
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
 BugsThisDependsOn: 30997


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