From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-173132-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 22247 invoked by alias); 15 Jan 2006 20:08:43 -0000
Received: (qmail 22207 invoked by uid 48); 15 Jan 2006 20:08:39 -0000
Date: Sun, 15 Jan 2006 20:08:00 -0000
Message-ID: <20060115200839.22206.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-23855-10053@http.gcc.gnu.org/bugzilla/>
Subject: [Bug tree-optimization/23855] loop header should also be pulled out of the inner loop too
In-Reply-To: <bug-23855-10053@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "pinskia 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-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: 2006-01/txt/msg01439.txt.bz2
List-Id: <gcc-bugs.sourceware.org>



------- Comment #6 from pinskia at gcc dot gnu dot org  2006-01-15 20:08 -------
What really should happen is that we should change the loop to be something
like which helps a different bug too (I cannot find it right now but it has to
do with pulling stuff out of the loops):
void bar(void);
void foo(int ie, int je)
{
  int i, j;
  if (0<je && 0 <ie)
  {
  j = 0;
  do {
  do {
   i  =0;
      bar(); 
    i++;
  } while (i < ie);
  j++;
  } while (j < ie);
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-01-15 20:08:39
               date|                            |
            Summary|Should not do loop header   |loop header should also be
                   |copying for inner loop      |pulled out of the inner loop
                   |                            |too


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