From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-25795-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 29459 invoked by alias); 5 Dec 2002 22:46:04 -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 29438 invoked by uid 71); 5 Dec 2002 22:46:03 -0000
Resent-Date: 5 Dec 2002 22:46:03 -0000
Resent-Message-ID: <20021205224603.29437.qmail@sources.redhat.com>
Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer)
Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org
Resent-Reply-To: gcc-gnats@gcc.gnu.org, mark@cal005304.student.utwente.nl
Received: (qmail 25926 invoked by uid 61); 5 Dec 2002 22:42:23 -0000
Message-Id: <20021205224223.25925.qmail@sources.redhat.com>
Date: Thu, 05 Dec 2002 14:46:00 -0000
From: mark@cal005304.student.utwente.nl
Reply-To: mark@cal005304.student.utwente.nl
To: gcc-gnats@gcc.gnu.org
X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31)
Subject: optimization/8832: "asm volatile" code is removed
X-SW-Source: 2002-12/txt/msg00324.txt.bz2
List-Id: <gcc-prs.sourceware.org>


>Number:         8832
>Category:       optimization
>Synopsis:       "asm volatile" code is removed
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          wrong-code
>Submitter-Id:   net
>Arrival-Date:   Thu Dec 05 14:46:02 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     mark
>Release:        3.2 and beyond (2.95.3 was still ok)
>Organization:
>Environment:

>Description:
I have the following test program:

void t(int v)
{
        asm volatile ("movaps %xmm0,%xmm1");
        if(v&7)
                asm volatile ("movaps %xmm1,%xmm2");
        asm volatile ("movaps %xmm2,%xmm1");
        if(v&7)
                asm volatile ("movaps %xmm3,%xmm2");
        asm volatile ("movaps %xmm4,%xmm1");
}


With gcc-3.2/3.2.1/3.3 (Invoked with: gcc -O3 -c bug.cpp) produces the following code:

   0:   55                      push   %ebp
   1:   89 e5                   mov    %esp,%ebp
   3:   0f 28 c8                movaps %xmm0,%xmm1
   6:   f6 45 08 07             testb  $0x7,0x8(%ebp)
   a:   74 09                   je     15 <_Z2tti+0x15>
   c:   0f 28 d1                movaps %xmm1,%xmm2
   f:   0f 28 ca                movaps %xmm2,%xmm1
  12:   0f 28 d3                movaps %xmm3,%xmm2
  15:   0f 28 cc                movaps %xmm4,%xmm1
  18:   5d                      pop    %ebp
  19:   c3                      ret

This is not what I want because "movaps %xmm1,%xmm2" is not done if v==7. Is this a bug, or am I doing something wrong ?

The code used to work correctly, gcc 2.95.3 (same system and options) produces the code below, which does excactly what I expect it to do:

   0:   55                      push   %ebp
   1:   89 e5                   mov    %esp,%ebp
   3:   0f 28 c8                movaps %xmm0,%xmm1
   6:   8b 45 08                mov    0x8(%ebp),%eax
   9:   83 e0 07                and    $0x7,%eax
   c:   74 03                   je     11 <tt__Fi+0x11>
   e:   0f 28 d1                movaps %xmm1,%xmm2
  11:   0f 28 ca                movaps %xmm2,%xmm1
  14:   85 c0                   test   %eax,%eax
  16:   74 03                   je     1b <tt__Fi+0x1b>
  18:   0f 28 d3                movaps %xmm3,%xmm2
  1b:   0f 28 cc                movaps %xmm4,%xmm1
  1e:   c9                      leave
  1f:   c3                      ret
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: