From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751419AbdH3UOQ (ORCPT ); Wed, 30 Aug 2017 16:14:16 -0400 Received: from mx1.redhat.com ([209.132.183.28]:14441 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750824AbdH3UOP (ORCPT ); Wed, 30 Aug 2017 16:14:15 -0400 DMARC-Filter: OpenDMARC Filter v1.3.2 mx1.redhat.com 5F774C0587D1 Authentication-Results: ext-mx08.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com Authentication-Results: ext-mx08.extmail.prod.ext.phx2.redhat.com; spf=fail smtp.mailfrom=jpoimboe@redhat.com Date: Wed, 30 Aug 2017 15:14:13 -0500 From: Josh Poimboeuf To: "H. Peter Anvin" Cc: arnd@arndb.de, linux-kernel@vger.kernel.org, mingo@kernel.org, fengguang.wu@intel.com, torvalds@linux-foundation.org, tglx@linutronix.de, peterz@infradead.org, linux-tip-commits@vger.kernel.org Subject: Re: [tip:x86/asm] objtool: Handle GCC stack pointer adjustment bug Message-ID: <20170830201413.gx4in2wnz5yypzrc@treble> References: <6a41a96884c725e7f05413bb7df40cfe824b2444.1504028945.git.jpoimboe@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.6.0.1 (2016-04-01) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.32]); Wed, 30 Aug 2017 20:14:15 +0000 (UTC) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Aug 30, 2017 at 12:23:24PM -0700, H. Peter Anvin wrote: > On 08/30/17 02:43, tip-bot for Josh Poimboeuf wrote: > > > > Those warnings are caused by an unusual GCC non-optimization where it > > uses an intermediate register to adjust the stack pointer. It does: > > > > lea 0x8(%rsp), %rcx > > ... > > mov %rcx, %rsp > > > > Instead of the obvious: > > > > add $0x8, %rsp > > > > It makes no sense to use an intermediate register, so I opened a GCC bug > > to track it: > > > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81813 > > > > But it's not exactly a high-priority bug and it looks like we'll be > > stuck with this issue for a while. So for now we have to track register > > values when they're loaded with stack pointer offsets. > > > > This seems like a good reason to try to extract this information from > the DWARF data *if available*? Well, I haven't ruled that out for the future, but in this case, integrating DWARF would be a lot more work than this relatively simple patch. If we did go that route, it could be tricky deciding when to trust DWARF vs. when to trust objtool's reverse engineering. Another (vague) idea I'm thinking about is to write a GCC plugin which annotates the object files in a way that would help objtool become more GCC-ignorant. If it worked, this approach would be more powerful and less error-prone than relying on DWARF. Depending on how much work we can offload to the plugin, it might also help make it easier to port objtool to other arches and compilers (e.g., clang). I'm not 100% sold on that idea either, because it still requires objtool to trust the compiler to some extent. But I think it would be worth it because it would make the objtool code simpler, more portable, more robust, and easier to maintain (so I don't always have to stay on top of all of GCC's latest optimizations). In the meantime, objtool's current design is working fine (for now). I haven't found any issues it can't handle (yet). -- Josh