Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753216AbaBMHsl (ORCPT ); Thu, 13 Feb 2014 02:48:41 -0500 Received: from mx1.redhat.com ([209.132.183.28]:43248 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751511AbaBMHsk (ORCPT ); Thu, 13 Feb 2014 02:48:40 -0500 Date: Thu, 13 Feb 2014 08:48:17 +0100 From: Jakub Jelinek To: Linus Torvalds Cc: Steven Noonan , Ingo Molnar , Linux Kernel mailing List , Peter Zijlstra , Oleg Nesterov , Fengguang Wu , Richard Henderson , Thomas Gleixner , Andrew Morton Subject: Re: [GIT PULL] compiler/gcc4: Add quirk for 'asm goto' miscompilation bug Message-ID: <20140213074817.GT20378@tucnak.redhat.com> Reply-To: Jakub Jelinek References: <20131012171007.GA17167@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Feb 12, 2014 at 08:11:49PM -0800, Linus Torvalds wrote: > Jakub, any suggestions to how Steven might be able to pinpoint where > the code generation problem lies? For a suspected wrong-code where you have no idea where the problem is from debugging or oops etc., usually the best way is to bisect first at the *.o level between (ABI compatible) objects built in a way that it works (in this case supposedly the asm goto workaround you have in the kernel, but generally it can be -O0 compilation, a different version of the compiler, some other compiler flags that make the issue go away) and objects built in a way that fails, once you narrow it down to (hopefully a single) object where everything built the "bad" way but that single object works in the end and everything built the "good" way but that single object fails, the next step is to narrow it down to a single routine (unless there is e.g. just a single asm goto left in the TU). For that one can try e.g. optimize attribute on selected functions, or in this case supposedly preprocessing the file and bisecting between portions of the preprocessed file from "good" preprocessed file (with the asm goto workarounds applied) and "bad" preprocessed file (without them) - count the number of asm gotos there and bisect to find which asm goto matters. Or it is also possible to bisect at the *.s level (easiest is to build with -fno-asynchronous-unwind-tables -fno-exceptions -g0 if possible to decrease number of labels, build twice ("good" and "bad"), then rename the .LNNN labels in one or both files such that they don't clash (say to .LXNNN in one file, .LYNNN in another one) and then bisect at the function level - start with taking approximately first half of functions from one file and second half from another file, etc.). When you narrow it down to function level, eyeball the assembly and try to find out where it is wrong, or try to create a self-contained executable testcase out of the preprocessed source (cut out everything unneeded from the preprocessed file, keep there just the problematic routine and everything that is inlined into it and all symbols they need, supply from another file? a new main that calls the routine with the parameters that cause the problem and stub all the functions it calls with something that still reproduces it), or even just file a http://gcc.gnu.org/bugzilla/ bug with the preprocessed source, compiler options and hopefully detailed description what to look at. Jakub -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/