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 kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 06F67D11717 for ; Fri, 25 Oct 2024 07:40:08 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 8EF9A6B0082; Fri, 25 Oct 2024 03:40:07 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 89F266B0083; Fri, 25 Oct 2024 03:40:07 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 766D86B0085; Fri, 25 Oct 2024 03:40:07 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0016.hostedemail.com [216.40.44.16]) by kanga.kvack.org (Postfix) with ESMTP id 594A56B0082 for ; Fri, 25 Oct 2024 03:40:07 -0400 (EDT) Received: from smtpin27.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay09.hostedemail.com (Postfix) with ESMTP id 4A74F802BB for ; Fri, 25 Oct 2024 07:39:50 +0000 (UTC) X-FDA: 82711325256.27.0157CCA Received: from mgamail.intel.com (mgamail.intel.com [198.175.65.13]) by imf17.hostedemail.com (Postfix) with ESMTP id 3E6654000C for ; Fri, 25 Oct 2024 07:39:47 +0000 (UTC) Authentication-Results: imf17.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=DRo6HpSG; dmarc=pass (policy=none) header.from=intel.com; spf=pass (imf17.hostedemail.com: domain of lkp@intel.com designates 198.175.65.13 as permitted sender) smtp.mailfrom=lkp@intel.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1729841891; a=rsa-sha256; cv=none; b=zRRUSgSiQN6OM6x5+PpUJs6QJ3U7QC0GUiGi/sn4PTVj3bys3Y44rntI+LIrsGPy+LJY1x QmLZQErmkCSQdiVIoTMjxDFV6R0tZPc0+K9CBOVuGGgkhErLgwo0Qb4mVDd5ufIrqJKPbS lEkH9zYqQ99l0iCcG91BlHgslbfxEvs= ARC-Authentication-Results: i=1; imf17.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=DRo6HpSG; dmarc=pass (policy=none) header.from=intel.com; spf=pass (imf17.hostedemail.com: domain of lkp@intel.com designates 198.175.65.13 as permitted sender) smtp.mailfrom=lkp@intel.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1729841891; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=6FOeflcWsfmh5p8DG70xn4FNr4/eGzrJbekSPKv0Z+0=; b=exHVrywQt6diCcIisqBZblncReuUlKJcnI/x1YpVjqayy83LTaCeWKfkgCNMpHbMSle9uT 68mcfcr4pk9/YFK0NkXEIOzkAPWUopg1rQtXyw4Kp728j3dyYw6hMdvbUzzqHjXClGAvoW FDKB6/225duaz/lR4CunyZy8LZsTAII= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1729842005; x=1761378005; h=date:from:to:cc:subject:message-id:references: mime-version:in-reply-to; bh=yBbBH9p6aqtBMVil5u+tl7Fqa8eFLhohsl5YWvv6Zaw=; b=DRo6HpSGadTrSXFMg6ZO0bqbBZl19DkmDzDPkzyc7vhe6SCBygV78spW Ld27fN3cFLj4tAsa0MEwtYzGcyt1s9O+P1JyPnoLgt/fJ6MpVNytvzbl8 8TD0fuEGhEDMJGcEc8uaazknDKBfkoaN181nxPDdYKxchETKGcKRupXFc TSaf9QZUpfhw9Ra+B5nBmxtR8Wzo9nxcdofjDVVxOV8Z5Ko70LkYkTY58 Lo6uBRhRT8HsdmNmY6B6S3aSzGj0KAZKJUYw0BsHcDT7fbCNrrEeCpM6j DkM7nyjJJ6TbtavvyXCZlM783XrrxcxVp+1fgF4WufYyrWFVKaGRMGxvy w==; X-CSE-ConnectionGUID: DZeSE4T2TDSZlH6xZL2EXw== X-CSE-MsgGUID: NN9XI19HQeGE+h+d/EuaJQ== X-IronPort-AV: E=McAfee;i="6700,10204,11222"; a="40610787" X-IronPort-AV: E=Sophos;i="6.11,199,1725346800"; d="scan'208";a="40610787" Received: from orviesa005.jf.intel.com ([10.64.159.145]) by orvoesa105.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Oct 2024 00:40:01 -0700 X-CSE-ConnectionGUID: +EtDZenqS3uQRCXmiEZu3w== X-CSE-MsgGUID: NtENei+HSruYwJ95nzTfEg== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.11,231,1725346800"; d="scan'208";a="85632621" Received: from lkp-server01.sh.intel.com (HELO a48cf1aa22e8) ([10.239.97.150]) by orviesa005.jf.intel.com with ESMTP; 25 Oct 2024 00:39:48 -0700 Received: from kbuild by a48cf1aa22e8 with local (Exim 4.96) (envelope-from ) id 1t4EvB-000Xmi-1n; Fri, 25 Oct 2024 07:39:45 +0000 Date: Fri, 25 Oct 2024 15:38:57 +0800 From: kernel test robot To: Puranjay Mohan , Albert Ou , Alexei Starovoitov , Andrew Morton , Andrii Nakryiko , bpf@vger.kernel.org, Daniel Borkmann , "David S. Miller" , Eduard Zingerman , Eric Dumazet , Hao Luo , Helge Deller , Jakub Kicinski , "James E.J. Bottomley" , Jiri Olsa , John Fastabend , KP Singh , linux-kernel@vger.kernel.org, linux-parisc@vger.kernel.org, linux-riscv@lists.infradead.org, Martin KaFai Lau , Mykola Lysenko , Palmer Dabbelt , Paolo Abeni , Paul Walmsley , Puranjay Mohan , Shuah Khan , Song Liu , Stanislav Fomichev Cc: oe-kbuild-all@lists.linux.dev, Linux Memory Management List , netdev@vger.kernel.org Subject: Re: [PATCH bpf-next v2 2/4] bpf: bpf_csum_diff: optimize and homogenize for all archs Message-ID: <202410251552.LR73LP4V-lkp@intel.com> References: <20241023153922.86909-3-puranjay@kernel.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20241023153922.86909-3-puranjay@kernel.org> X-Rspamd-Queue-Id: 3E6654000C X-Rspam-User: X-Rspamd-Server: rspam05 X-Stat-Signature: nech1wc8boxawidnyy8e9ey18kog1hfa X-HE-Tag: 1729841987-548505 X-HE-Meta: U2FsdGVkX1/ODS3hSjQGRdWEYjGZnkuACNyCloVn0DWtGapfBI0cJ9PN7kGmNPvi/FZcTFsG+wtD5EWycplc+2hM0pEgvdVaWxjYOp2DMMqJbYIy6XXSKeWsZ2PPXDuP+5gKfcLd9ui8SumjV1sx2yegRsRJn9lFSJH6+63eduSBzz/wGM6FX43+sffjba++2VfjB5sgbwHplGC2ICz5O/tTETQ9dJLrORzxfLp6rQve/c/w6mnI0SAO894sqQHojMcolyL8IG5sDKk57BEUrNs10UO+z6WT3n7sD3QCgDOJSH8U43Gma7FC/toY+TQ4XhASiLnCRry//4Buu838brhZEG8K0yNmBhXa15UpnOxlDQjGs5OgetarLRmC0Vcq57frhaT15tft0v64sgf0/+3g8qDu7K9upEP0f3GtkmGB0P8piwZm5CUVr5/ngqQ7olGQmjznQ0PxhQS4Ry5DnCHauCs37kIYUVc82TK5PxQRTXHVmzQmeOo12aDTCRzp0teFxZqMEDN5j93HW2ndYgeukipP/ZQwl9mP3UTcTOI2Pd58vN2rwrgmO+ep4pbl492Twxm+g38TBGD6SVtiFHYzTtzMhEgXpJrgiQPrKi15kZzM5BUxej5VveJANPSfypNeZR8zToNkEEQT4RmF4iAvZgOn12jWR4nuNojxJ8pM6QFJ8ZOb/iK9XohKLuxPx21kVCY4k0P+XQPFshKbYZl06LYe304UyklSkx6k60o4ybIsOu7uvsQCYXNWdhKU9eoZYBJsttLlaCsCN9gp2PHi7soPFI8Vmp+tBg+vlNFGZNQtb1EtTCHG00aGeTustZB/fc315cqKncLU2wJ7mnfYG8ab69NMOaqrUD5XkC/fk2ebPpC8f7kz9nkmKt6ZlGq1qsUri8y0tN/2e4qcVW8MsDX+K78D36N7vCuX5HImKdDkI7rrWCYY0Jd/31mihpydHS+alUaoIsWPxnX Nj7LPpos 6GGaSAVr5EOgUNfkjBhE9zt9LjlgA3+wp2ZTpq7PadjZyXw3lPMjto9GCwhGQKld/SgNLOmMVkETUA9p8jm2SWmMVMNVv73YEszk3T9DjNXzCk386bKn5St4xtKYtQcTr4Jyx49Y19iNi972608aQY1Vy1kZ1RIWyXR7DjR+vy69cZl4QUW2zoV19ikCrhlk1Mjx4Sjz45gOCgwm/j/tJLscm2tVS0Awz1EYFUeRe7SjvEjbo2SnXtous8NXR0qgNrJgriaLuLVex3PSaq85mikMmkKup3GZuvUxM5KTGpYRAQK38uRCM4/uhsHc0lgE0fbARZ0B7SNc95LcA3siFRGmA9dBtXpzAv189XgKrqtO5BwWeRbqTEhLRp7lUR7eYimAxdA4rUuPXCKHPWFAnN2zqhQxYnCm1Plhl4OOE04zCy+GdYL7eo4EZ5zJ6XYGD2IAU X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: Hi Puranjay, kernel test robot noticed the following build warnings: [auto build test WARNING on bpf-next/master] url: https://github.com/intel-lab-lkp/linux/commits/Puranjay-Mohan/net-checksum-move-from32to16-to-generic-header/20241023-234347 base: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git master patch link: https://lore.kernel.org/r/20241023153922.86909-3-puranjay%40kernel.org patch subject: [PATCH bpf-next v2 2/4] bpf: bpf_csum_diff: optimize and homogenize for all archs config: i386-randconfig-061-20241025 (https://download.01.org/0day-ci/archive/20241025/202410251552.LR73LP4V-lkp@intel.com/config) compiler: gcc-12 (Debian 12.2.0-14) 12.2.0 reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20241025/202410251552.LR73LP4V-lkp@intel.com/reproduce) If you fix the issue in a separate patch/commit (i.e. not just a new version of the same patch/commit), kindly add following tags | Reported-by: kernel test robot | Closes: https://lore.kernel.org/oe-kbuild-all/202410251552.LR73LP4V-lkp@intel.com/ sparse warnings: (new ones prefixed by >>) net/core/filter.c:1423:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct sock_filter const *filter @@ got struct sock_filter [noderef] __user *filter @@ net/core/filter.c:1423:39: sparse: expected struct sock_filter const *filter net/core/filter.c:1423:39: sparse: got struct sock_filter [noderef] __user *filter net/core/filter.c:1501:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct sock_filter const *filter @@ got struct sock_filter [noderef] __user *filter @@ net/core/filter.c:1501:39: sparse: expected struct sock_filter const *filter net/core/filter.c:1501:39: sparse: got struct sock_filter [noderef] __user *filter net/core/filter.c:2321:45: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __be32 [usertype] daddr @@ got unsigned int [usertype] ipv4_nh @@ net/core/filter.c:2321:45: sparse: expected restricted __be32 [usertype] daddr net/core/filter.c:2321:45: sparse: got unsigned int [usertype] ipv4_nh net/core/filter.c:10993:31: sparse: sparse: symbol 'sk_filter_verifier_ops' was not declared. Should it be static? net/core/filter.c:11000:27: sparse: sparse: symbol 'sk_filter_prog_ops' was not declared. Should it be static? net/core/filter.c:11004:31: sparse: sparse: symbol 'tc_cls_act_verifier_ops' was not declared. Should it be static? net/core/filter.c:11013:27: sparse: sparse: symbol 'tc_cls_act_prog_ops' was not declared. Should it be static? net/core/filter.c:11017:31: sparse: sparse: symbol 'xdp_verifier_ops' was not declared. Should it be static? net/core/filter.c:11029:31: sparse: sparse: symbol 'cg_skb_verifier_ops' was not declared. Should it be static? net/core/filter.c:11035:27: sparse: sparse: symbol 'cg_skb_prog_ops' was not declared. Should it be static? net/core/filter.c:11039:31: sparse: sparse: symbol 'lwt_in_verifier_ops' was not declared. Should it be static? net/core/filter.c:11045:27: sparse: sparse: symbol 'lwt_in_prog_ops' was not declared. Should it be static? net/core/filter.c:11049:31: sparse: sparse: symbol 'lwt_out_verifier_ops' was not declared. Should it be static? net/core/filter.c:11055:27: sparse: sparse: symbol 'lwt_out_prog_ops' was not declared. Should it be static? net/core/filter.c:11059:31: sparse: sparse: symbol 'lwt_xmit_verifier_ops' was not declared. Should it be static? net/core/filter.c:11066:27: sparse: sparse: symbol 'lwt_xmit_prog_ops' was not declared. Should it be static? net/core/filter.c:11070:31: sparse: sparse: symbol 'lwt_seg6local_verifier_ops' was not declared. Should it be static? net/core/filter.c:11076:27: sparse: sparse: symbol 'lwt_seg6local_prog_ops' was not declared. Should it be static? net/core/filter.c:11079:31: sparse: sparse: symbol 'cg_sock_verifier_ops' was not declared. Should it be static? net/core/filter.c:11085:27: sparse: sparse: symbol 'cg_sock_prog_ops' was not declared. Should it be static? net/core/filter.c:11088:31: sparse: sparse: symbol 'cg_sock_addr_verifier_ops' was not declared. Should it be static? net/core/filter.c:11094:27: sparse: sparse: symbol 'cg_sock_addr_prog_ops' was not declared. Should it be static? net/core/filter.c:11097:31: sparse: sparse: symbol 'sock_ops_verifier_ops' was not declared. Should it be static? net/core/filter.c:11103:27: sparse: sparse: symbol 'sock_ops_prog_ops' was not declared. Should it be static? net/core/filter.c:11106:31: sparse: sparse: symbol 'sk_skb_verifier_ops' was not declared. Should it be static? net/core/filter.c:11113:27: sparse: sparse: symbol 'sk_skb_prog_ops' was not declared. Should it be static? net/core/filter.c:11116:31: sparse: sparse: symbol 'sk_msg_verifier_ops' was not declared. Should it be static? net/core/filter.c:11123:27: sparse: sparse: symbol 'sk_msg_prog_ops' was not declared. Should it be static? net/core/filter.c:11126:31: sparse: sparse: symbol 'flow_dissector_verifier_ops' was not declared. Should it be static? net/core/filter.c:11132:27: sparse: sparse: symbol 'flow_dissector_prog_ops' was not declared. Should it be static? net/core/filter.c:11460:31: sparse: sparse: symbol 'sk_reuseport_verifier_ops' was not declared. Should it be static? net/core/filter.c:11466:27: sparse: sparse: symbol 'sk_reuseport_prog_ops' was not declared. Should it be static? net/core/filter.c:11668:27: sparse: sparse: symbol 'sk_lookup_prog_ops' was not declared. Should it be static? net/core/filter.c:11672:31: sparse: sparse: symbol 'sk_lookup_verifier_ops' was not declared. Should it be static? net/core/filter.c:1931:43: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __wsum [usertype] diff @@ got unsigned long long [usertype] to @@ net/core/filter.c:1931:43: sparse: expected restricted __wsum [usertype] diff net/core/filter.c:1931:43: sparse: got unsigned long long [usertype] to net/core/filter.c:1934:36: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __be16 [usertype] old @@ got unsigned long long [usertype] from @@ net/core/filter.c:1934:36: sparse: expected restricted __be16 [usertype] old net/core/filter.c:1934:36: sparse: got unsigned long long [usertype] from net/core/filter.c:1934:42: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be16 [usertype] new @@ got unsigned long long [usertype] to @@ net/core/filter.c:1934:42: sparse: expected restricted __be16 [usertype] new net/core/filter.c:1934:42: sparse: got unsigned long long [usertype] to net/core/filter.c:1937:36: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __be32 [usertype] from @@ got unsigned long long [usertype] from @@ net/core/filter.c:1937:36: sparse: expected restricted __be32 [usertype] from net/core/filter.c:1937:36: sparse: got unsigned long long [usertype] from net/core/filter.c:1937:42: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be32 [usertype] to @@ got unsigned long long [usertype] to @@ net/core/filter.c:1937:42: sparse: expected restricted __be32 [usertype] to net/core/filter.c:1937:42: sparse: got unsigned long long [usertype] to net/core/filter.c:1982:59: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __wsum [usertype] diff @@ got unsigned long long [usertype] to @@ net/core/filter.c:1982:59: sparse: expected restricted __wsum [usertype] diff net/core/filter.c:1982:59: sparse: got unsigned long long [usertype] to net/core/filter.c:1985:52: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be16 [usertype] from @@ got unsigned long long [usertype] from @@ net/core/filter.c:1985:52: sparse: expected restricted __be16 [usertype] from net/core/filter.c:1985:52: sparse: got unsigned long long [usertype] from net/core/filter.c:1985:58: sparse: sparse: incorrect type in argument 4 (different base types) @@ expected restricted __be16 [usertype] to @@ got unsigned long long [usertype] to @@ net/core/filter.c:1985:58: sparse: expected restricted __be16 [usertype] to net/core/filter.c:1985:58: sparse: got unsigned long long [usertype] to net/core/filter.c:1988:52: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be32 [usertype] from @@ got unsigned long long [usertype] from @@ net/core/filter.c:1988:52: sparse: expected restricted __be32 [usertype] from net/core/filter.c:1988:52: sparse: got unsigned long long [usertype] from net/core/filter.c:1988:58: sparse: sparse: incorrect type in argument 4 (different base types) @@ expected restricted __be32 [usertype] to @@ got unsigned long long [usertype] to @@ net/core/filter.c:1988:58: sparse: expected restricted __be32 [usertype] to net/core/filter.c:1988:58: sparse: got unsigned long long [usertype] to >> net/core/filter.c:2023:48: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected unsigned int sum @@ got restricted __wsum @@ net/core/filter.c:2023:48: sparse: expected unsigned int sum net/core/filter.c:2023:48: sparse: got restricted __wsum net/core/filter.c:2026:52: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected unsigned int sum @@ got restricted __wsum @@ net/core/filter.c:2026:52: sparse: expected unsigned int sum net/core/filter.c:2026:52: sparse: got restricted __wsum net/core/filter.c:2029:40: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected unsigned int sum @@ got restricted __wsum @@ net/core/filter.c:2029:40: sparse: expected unsigned int sum net/core/filter.c:2029:40: sparse: got restricted __wsum net/core/filter.c:2031:16: sparse: sparse: incorrect type in return expression (different base types) @@ expected unsigned long long @@ got restricted __wsum [usertype] seed @@ net/core/filter.c:2031:16: sparse: expected unsigned long long net/core/filter.c:2031:16: sparse: got restricted __wsum [usertype] seed net/core/filter.c:2053:35: sparse: sparse: incorrect type in return expression (different base types) @@ expected unsigned long long @@ got restricted __wsum [usertype] csum @@ net/core/filter.c:2053:35: sparse: expected unsigned long long net/core/filter.c:2053:35: sparse: got restricted __wsum [usertype] csum vim +2023 net/core/filter.c 2009 2010 BPF_CALL_5(bpf_csum_diff, __be32 *, from, u32, from_size, 2011 __be32 *, to, u32, to_size, __wsum, seed) 2012 { 2013 /* This is quite flexible, some examples: 2014 * 2015 * from_size == 0, to_size > 0, seed := csum --> pushing data 2016 * from_size > 0, to_size == 0, seed := csum --> pulling data 2017 * from_size > 0, to_size > 0, seed := 0 --> diffing data 2018 * 2019 * Even for diffing, from_size and to_size don't need to be equal. 2020 */ 2021 2022 if (from_size && to_size) > 2023 return csum_from32to16(csum_sub(csum_partial(to, to_size, seed), 2024 csum_partial(from, from_size, 0))); 2025 if (to_size) 2026 return csum_from32to16(csum_partial(to, to_size, seed)); 2027 2028 if (from_size) 2029 return csum_from32to16(~csum_partial(from, from_size, ~seed)); 2030 2031 return seed; 2032 } 2033 -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki