From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-348251-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 11906 invoked by alias); 24 Feb 2011 03:27:15 -0000
Received: (qmail 11893 invoked by uid 22791); 24 Feb 2011 03:27:15 -0000
X-SWARE-Spam-Status: No, hits=-2.8 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00,TW_BJ
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 24 Feb 2011 03:27:11 +0000
From: "jhaberman at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/44194] struct returned by value generates useless stores
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: jhaberman at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-44194-4-NVFGOw361f@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-44194-4@http.gcc.gnu.org/bugzilla/>
References: <bug-44194-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Date: Thu, 24 Feb 2011 05:10:00 -0000
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: 2011-02/txt/msg02717.txt.bz2

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

--- Comment #8 from Josh Haberman <jhaberman at gmail dot com> 2011-02-24 03:27:04 UTC ---
I found another test case for this.  I thought I'd post it since it's extremely
different than the original one.

--

class Foo {
 public:
  virtual ~Foo() {}
  virtual void DoSomething() = 0;
};

void foo(Foo *f, void (Foo::*member)()) {
  (f->*member)();
}

--

$ g++ -c -O3 -fomit-frame-pointer test.cc
$ objdump -M intel -d test.o

test.o:     file format elf64-x86-64


Disassembly of section .text:

0000000000000000 <_Z3fooP3FooMS_FvvE>:
   0:    40 f6 c6 01              test   sil,0x1
   4:    48 89 74 24 e8           mov    QWORD PTR [rsp-0x18],rsi
   9:    48 89 54 24 f0           mov    QWORD PTR [rsp-0x10],rdx
   e:    74 10                    je     20 <_Z3fooP3FooMS_FvvE+0x20>
  10:    48 01 d7                 add    rdi,rdx
  13:    48 8b 07                 mov    rax,QWORD PTR [rdi]
  16:    48 8b 74 30 ff           mov    rsi,QWORD PTR [rax+rsi*1-0x1]
  1b:    ff e6                    jmp    rsi
  1d:    0f 1f 00                 nop    DWORD PTR [rax]
  20:    48 01 d7                 add    rdi,rdx
  23:    ff e6                    jmp    rsi

--

We spilled rsi and rdx to the stack (in the red zone, it appears) for no reason
(AFAICS).