From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-271583-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 7563 invoked by alias); 4 Jan 2009 18:40:54 -0000
Received: (qmail 7522 invoked by uid 48); 4 Jan 2009 18:40:44 -0000
Date: Sun, 04 Jan 2009 18:40:00 -0000
Subject: [Bug tree-optimization/38723]  New: default definitions not in avail_out
X-Bugzilla-Reason: CC
Message-ID: <bug-38723-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: 2009-01/txt/msg00385.txt.bz2

FRE does not optimize

int i;
int foo (void)
{
  int j;
  i = j;
  return i;
}

because j_1(D) is never in AVAIL_OUT, so we do not find a leader for it.

We can fix this by either pretending used default definitions are defined
in the entry block or by treating default definitions the same as constants
during elimination.

Danny?


-- 
           Summary: default definitions not in avail_out
           Product: gcc
           Version: 4.4.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


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