From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-19266-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 15251 invoked by alias); 1 Jun 2002 15:56:01 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 15237 invoked by uid 71); 1 Jun 2002 15:56:01 -0000
Date: Sat, 01 Jun 2002 08:56:00 -0000
Message-ID: <20020601155601.15236.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Glen Nakamura <glen@imodulo.com>
Subject: Re: c/6893: gcc generates invalid code for x86 subarches.
Reply-To: Glen Nakamura <glen@imodulo.com>
X-SW-Source: 2002-06/txt/msg00007.txt.bz2
List-Id: <gcc-prs.sourceware.org>

The following reply was made to PR c/6893; it has been noted by GNATS.

From: Glen Nakamura <glen@imodulo.com>
To: warp@debian.org
Cc: gcc-gnats@gcc.gnu.org, gcc-bugs@gcc.gnu.org
Subject: Re: c/6893: gcc generates invalid code for x86 subarches.
Date: Sat, 1 Jun 2002 05:48:44 -1000

 --vkogqOf2sHV7VnPd
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6893
 
 Aloha,
 
 Looks like the testcase you provided has an aliasing problem:
 icolor = (int *) tmp;
 
 Strict aliasing does not allow casting from (float *) to (int *)...
 You will need to fix your code or compile w/ -fno-strict-aliasing.
 See the GCC documentation on -fstrict-aliasing for more information.
 
 Please check if your problem persists with the attached testcase.
 
 - Glen Nakamura
 
 
 --vkogqOf2sHV7VnPd
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: attachment; filename="6893.c"
 
 #include <stdio.h>
 #include <stdlib.h>
 
 #define min(a,b) ((a) < (b) ? (a) : (b))
 
 typedef union {
     float f;
     int   i;
 } tmp_t;
 
 float source[4];
 tmp_t tmp[4];
 unsigned char out[4];
 
 extern void inline FtoUB (float *in, char *out, int num)
 {
     int         i;
     tmp_t       *icolor;
     tmp_t       *fcolor_to;
 
     fcolor_to = tmp;
 
     // shift float to have 8bit fraction at base of number
     for (i = 0; i < num; i += 4) {
         fcolor_to[i    ].f = in[i    ] + 32768.0f;
         fcolor_to[i + 1].f = in[i + 1] + 32768.0f;
         fcolor_to[i + 2].f = in[i + 2] + 32768.0f;
         fcolor_to[i + 3].f = in[i + 3] + 32768.0f;
     }
 
     icolor = tmp;
 
     // then read as integer and kill float bits...
     for (i = 0; i < num; i += 4) {
         out[i    ] = (char) min(icolor[i    ].i & 0x7FFFFF, 255);
         out[i + 1] = (char) min(icolor[i + 1].i & 0x7FFFFF, 255);
         out[i + 2] = (char) min(icolor[i + 2].i & 0x7FFFFF, 255);
         out[i + 3] = (char) min(icolor[i + 3].i & 0x7FFFFF, 255);
     }
 }
 
 int
 main (int argc, char *argv[])
 {
     source[0] = atof(argv[1]);
     source[1] = atof(argv[2]);
     source[2] = atof(argv[3]);
     source[3] = atof(argv[4]);
 
     FtoUB(source, out, 4);
 
     printf("in: %f %f %f %f\n", source[0], source[1], source[2], source[3]);
     printf("out: %d %d %d %d\n", out[0], out[1], out[2], out[3]);
     exit (0);
 }
 
 --vkogqOf2sHV7VnPd--