From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id D058CC433EF for ; Wed, 10 Nov 2021 12:18:10 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id B34B261251 for ; Wed, 10 Nov 2021 12:18:10 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231175AbhKJMU5 (ORCPT ); Wed, 10 Nov 2021 07:20:57 -0500 Received: from gate.crashing.org ([63.228.1.57]:57167 "EHLO gate.crashing.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229653AbhKJMU4 (ORCPT ); Wed, 10 Nov 2021 07:20:56 -0500 Received: from gate.crashing.org (localhost.localdomain [127.0.0.1]) by gate.crashing.org (8.14.1/8.14.1) with ESMTP id 1AACEZvq030022; Wed, 10 Nov 2021 06:14:36 -0600 Received: (from segher@localhost) by gate.crashing.org (8.14.1/8.14.1/Submit) id 1AACESJE030011; Wed, 10 Nov 2021 06:14:28 -0600 X-Authentication-Warning: gate.crashing.org: segher set sender to segher@kernel.crashing.org using -f Date: Wed, 10 Nov 2021 06:14:28 -0600 From: Segher Boessenkool To: Peter Zijlstra Cc: Nick Desaulniers , Bill Wendling , Josh Poimboeuf , x86@kernel.org, linux-kernel@vger.kernel.org, mark.rutland@arm.com, dvyukov@google.com, seanjc@google.com, pbonzini@redhat.com, mbenes@suse.cz, llvm@lists.linux.dev, linux-toolchains@vger.kernel.org Subject: Re: [PATCH 20/22] x86,word-at-a-time: Remove .fixup usage Message-ID: <20211110121428.GD614@gate.crashing.org> References: <20211105171023.989862879@infradead.org> <20211105171821.654356149@infradead.org> <20211108164711.mr2cqdcvedin2lvx@treble> <20211109210736.GV174703@worktop.programming.kicks-ass.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20211109210736.GV174703@worktop.programming.kicks-ass.net> User-Agent: Mutt/1.4.2.3i Precedence: bulk List-ID: X-Mailing-List: linux-toolchains@vger.kernel.org Hi! On Tue, Nov 09, 2021 at 10:07:36PM +0100, Peter Zijlstra wrote: > On Tue, Nov 09, 2021 at 11:22:44AM -0800, Nick Desaulniers wrote: > > I think the use of this feature (label-attributes) here isn't > > necessary though; because of the use of outputs, the "fallthrough" > > basic block needs to be placed immediately after the basic block > > terminated by the asm goto, at least in LLVM. Was different ordering > > of basic blocks observed with GCC without this label attribute? > > GCC does the same, but I wanted to have the exception stuff be in > .text.cold, but alas it doesn't do that. I left the attribute because of > it's descriptive value. > > > Unless the cold attribute is helping move > > ("shrink-wrap"?) Shrink-wrapping is something else entirely. >> the basic block to a whole other section > > (.text.cold.)? > > I was hoping it would do that, but it doesn't on gcc-11. A cold basic block can never dominate a non-cold basic block. GCC will fix things up when it notices this property is violated, so marking random blocks as "cold" will not be very effective. Segher