Received: by 2002:a6b:fb09:0:0:0:0:0 with SMTP id h9csp3500897iog; Mon, 20 Jun 2022 23:06:34 -0700 (PDT) X-Google-Smtp-Source: AGRyM1veCc+eNuWuZQ4/pa7qxkd63hLiMqDDpIT6RGRAYzVjQq3TdIB/xm7EUVPCxDU9E1wpE1kx X-Received: by 2002:a05:6402:330d:b0:435:95ae:9b1e with SMTP id e13-20020a056402330d00b0043595ae9b1emr1901548eda.402.1655791594164; Mon, 20 Jun 2022 23:06:34 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1655791594; cv=none; d=google.com; s=arc-20160816; b=s1l7D1gYe1brvptswPNUn50YtBXhbkMdEIN4XCdoHXk2VUMcJ67nPBqQBiCzOSwgRE DnGR9HVcXzaLBo2wnXyT/y9r9JFaJDKlACRetA38YYEoIi0QwVXRPRqjIXkuPCNxL3h4 I/N//Zaav6z5jGhk4peuVn5CzHYVXBkWbHo+uBaqVxP86RjY23Km3asYAv3kFum8KvPn SZKZS69X4z38/J0JblW5GDB5zfxeBt+ZM0nWd3bKbXACZvf1G4sYqg/xQ/yqse5/zNNT H9DdQU7ONPLCIz3r5rdKRnr11e1UmNWUAZTdUPUmcdubjuJBMwJZbWZ9YK6h5rRV+x+4 CJOg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date; bh=+fjB6Nvuwgfsc34nEdmutrnlxhhqQCzXGB4QcK52JNw=; b=FHPNsgTOEccT5O3l6YCSlwSZ8J8BdUim4hCfZfWbgsaODd0HVZebRujDFpnpwP3v+a hnmPdPn+HKVNYCasdVYxku7DBGyx3hvy/ZpXW0EGd/pliqa8fJHqE/FF8QTIj8s7bt0Y kSMyXX+eDqxzObtjZTGHF6vV4mj8g3UHDLQUyNSR8q5ouGGtGELwjeWZIiAiuhfUg+qa XehB6fM5ObSR44d6n/REm+5IAdoEcP/cr7L4difgVaQvuvfj+jsmBe2sMTSorgOw37U0 gFueZ5ZompdFZiWScDxrBzJ42ST4IaluoRyy+xTI5wmXaCK1cLqkocIC0NFncmfWQosO UsAA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id y13-20020a50eb8d000000b004356fa406aesi9457255edr.37.2022.06.20.23.06.09; Mon, 20 Jun 2022 23:06:34 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1345450AbiFUGD7 (ORCPT + 99 others); Tue, 21 Jun 2022 02:03:59 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:35818 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S233729AbiFUGD6 (ORCPT ); Tue, 21 Jun 2022 02:03:58 -0400 Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by lindbergh.monkeyblade.net (Postfix) with ESMTP id 718501CB39; Mon, 20 Jun 2022 23:03:56 -0700 (PDT) Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 17CAF139F; Mon, 20 Jun 2022 23:03:56 -0700 (PDT) Received: from FVFF77S0Q05N (unknown [10.57.69.153]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 399B33F5A1; Mon, 20 Jun 2022 23:03:52 -0700 (PDT) Date: Tue, 21 Jun 2022 07:03:44 +0100 From: Mark Rutland To: Alexander Lobakin Cc: Arnd Bergmann , Yury Norov , Andy Shevchenko , Matt Turner , Brian Cain , Geert Uytterhoeven , Yoshinori Sato , Rich Felker , "David S. Miller" , Kees Cook , "Peter Zijlstra (Intel)" , Marco Elver , Borislav Petkov , Tony Luck , Maciej Fijalkowski , Jesse Brandeburg , Greg Kroah-Hartman , linux-alpha@vger.kernel.org, linux-hexagon@vger.kernel.org, linux-ia64@vger.kernel.org, linux-m68k@lists.linux-m68k.org, linux-sh@vger.kernel.org, sparclinux@vger.kernel.org, linux-arch@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v3 0/7] bitops: let optimize out non-atomic bitops on compile-time constants Message-ID: References: <20220617144031.2549432-1-alexandr.lobakin@intel.com> <20220620150855.2630784-1-alexandr.lobakin@intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20220620150855.2630784-1-alexandr.lobakin@intel.com> X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_HI, SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Jun 20, 2022 at 05:08:55PM +0200, Alexander Lobakin wrote: > From: Mark Rutland > Date: Mon, 20 Jun 2022 15:19:42 +0100 > > > On Fri, Jun 17, 2022 at 04:40:24PM +0200, Alexander Lobakin wrote: > > > > > The savings are architecture, compiler and compiler flags dependent, > > > for example, on x86_64 -O2: > > > > > > GCC 12: add/remove: 78/29 grow/shrink: 332/525 up/down: 31325/-61560 (-30235) > > > LLVM 13: add/remove: 79/76 grow/shrink: 184/537 up/down: 55076/-141892 (-86816) > > > LLVM 14: add/remove: 10/3 grow/shrink: 93/138 up/down: 3705/-6992 (-3287) > > > > > > and ARM64 (courtesy of Mark[0]): > > > > > > GCC 11: add/remove: 92/29 grow/shrink: 933/2766 up/down: 39340/-82580 (-43240) > > > LLVM 14: add/remove: 21/11 grow/shrink: 620/651 up/down: 12060/-15824 (-3764) > > > > Hmm... with *this version* of the series, I'm not getting results nearly as > > good as that when building defconfig atop v5.19-rc3: > > > > GCC 8.5.0: add/remove: 83/49 grow/shrink: 973/1147 up/down: 32020/-47824 (-15804) > > GCC 9.3.0: add/remove: 68/51 grow/shrink: 1167/592 up/down: 30720/-31352 (-632) > > GCC 10.3.0: add/remove: 84/37 grow/shrink: 1711/1003 up/down: 45392/-41844 (3548) > > GCC 11.1.0: add/remove: 88/31 grow/shrink: 1635/963 up/down: 51540/-46096 (5444) > > GCC 11.3.0: add/remove: 89/32 grow/shrink: 1629/966 up/down: 51456/-46056 (5400) > > GCC 12.1.0: add/remove: 84/31 grow/shrink: 1540/829 up/down: 48772/-43164 (5608) > > > > LLVM 12.0.1: add/remove: 118/58 grow/shrink: 437/381 up/down: 45312/-65668 (-20356) > > LLVM 13.0.1: add/remove: 35/19 grow/shrink: 416/243 up/down: 14408/-22200 (-7792) > > LLVM 14.0.0: add/remove: 42/16 grow/shrink: 415/234 up/down: 15296/-21008 (-5712) > > > > ... and that now seems to be regressing codegen with recent versions of GCC as > > much as it improves it LLVM. > > > > I'm not sure if we've improved some other code and removed the benefit between > > v5.19-rc1 and v5.19-rc3, or whether something else it at play, but this doesn't > > look as compelling as it did. > > Mostly likely it's due to that in v1 I mistakingly removed > `volatile` from gen[eric]_test_bit(), so there was an impact for > non-constant cases as well. > +5 Kb sounds bad tho. Do you have CONFIG_TEST_BITMAP enabled, does > it work? I didn't have it enabled, but I tried that just nw with GCC 12.1.0 and it builds cleanly, and test_bitmap_const_eval() gets optimized away entirely. If i remove the `static` from that, GCC generates: | : | paciasp | autiasp | ret ... which is a trivial stub. > Probably the same reason as for m68k, more constant > optimization -> more aggressive inlining or inlining rebalance -> > larger code. OTOH I've no idea why sometimes compiler decides to > uninline really tiny functions where due to this patch series some > bitops have been converted to constants, like it goes on m68k. Hmm.... it'd be interesting to take a look at a few architectures and see what the common case is. Thanks, Mark.