From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-74202-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16244 invoked by alias); 19 Dec 2002 21:20:43 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 16224 invoked from network); 19 Dec 2002 21:20:42 -0000
Received: from unknown (HELO mx2.redhat.com) (12.150.115.133)
  by 209.249.29.67 with SMTP; 19 Dec 2002 21:20:42 -0000
Received: from int-mx2.corp.redhat.com (int-mx2.corp.redhat.com [172.16.27.26])
	by mx2.redhat.com (8.11.6/8.11.6) with ESMTP id gBJLGSN25306;
	Thu, 19 Dec 2002 16:16:28 -0500
Received: from potter.sfbay.redhat.com (potter.sfbay.redhat.com [172.16.27.15])
	by int-mx2.corp.redhat.com (8.11.6/8.11.6) with ESMTP id gBJLKON22745;
	Thu, 19 Dec 2002 16:20:24 -0500
Received: from localhost.localdomain (frothingslosh.sfbay.redhat.com [172.16.24.27])
	by potter.sfbay.redhat.com (8.11.6/8.11.6) with ESMTP id gBJLKNg13497;
	Thu, 19 Dec 2002 13:20:23 -0800
Received: (from rth@localhost)
	by localhost.localdomain (8.11.6/8.11.6) id gBJLKMH10513;
	Thu, 19 Dec 2002 13:20:22 -0800
X-Authentication-Warning: localhost.localdomain: rth set sender to rth@redhat.com using -f
Date: Thu, 19 Dec 2002 13:20:00 -0000
From: Richard Henderson <rth@redhat.com>
To: Eric Botcazou <ebotcazou@libertysurf.fr>
Cc: gcc-patches@gcc.gnu.org, Dale Johannesen <dalej@apple.com>
Subject: Re: Patch: fix SPEC regressions
Message-ID: <20021219212022.GB10484@redhat.com>
Mail-Followup-To: Richard Henderson <rth@redhat.com>,
	Eric Botcazou <ebotcazou@libertysurf.fr>, gcc-patches@gcc.gnu.org,
	Dale Johannesen <dalej@apple.com>
References: <1C457790-EAAD-11D6-B8DA-000393D76DAA@apple.com> <200211211909.59272.ebotcazou@libertysurf.fr> <200212142339.21146.ebotcazou@libertysurf.fr> <200212171428.25955.ebotcazou@libertysurf.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <200212171428.25955.ebotcazou@libertysurf.fr>
User-Agent: Mutt/1.4i
X-SW-Source: 2002-12/txt/msg01048.txt.bz2

On Tue, Dec 17, 2002 at 02:30:16PM +0100, Eric Botcazou wrote:
> int main ()
> {
>   int i;
> 
>   for (i = 0; i < 5; i++)
>     array[i] = 0;
> 
>   exit (0);
> }

Incidentally, the following is a better test case because it 
actually fails visibly, and is tested on all targets.


r~


/* PR optimization/8599 */
/* { dg-do run } */
/* { dg-options "-O2 -funroll-loops" } */
/* { dg-options "-mcpu=k6 -O2 -funroll-loops" { target i?86-*-* } } */

extern void abort (void);

int array[6] = { 1,2,3,4,5,6 };

void foo()
{
  int i;

  for (i = 0; i < 5; i++)
    array[i] = 0;
}

int main()
{
  foo();
  if (array[0] || array [1] || array[2] || array[3] || array[4])
    abort ();
  if (array[5] != 6)
    abort ();
  return 0;
}