Received-SPF: pass (google.com: domain of linux-kernel+bounces-151008-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:4601:e00::3 as permitted sender) client-ip=2604:1380:4601:e00::3;
Date: Fri, 19 Apr 2024 13:07:44 +0800
From: Yujie Liu <yujie.liu@intel.com>
To: "Paul E. McKenney" <paulmck@kernel.org>, Geert Uytterhoeven
	<geert@linux-m68k.org>
CC: <linux-arch@vger.kernel.org>, <linux-kernel@vger.kernel.org>,
	<elver@google.com>, <akpm@linux-foundation.org>, <tglx@linutronix.de>,
	<peterz@infradead.org>, <dianders@chromium.org>, <pmladek@suse.com>,
	<torvalds@linux-foundation.org>, Arnd Bergmann <arnd@arndb.de>, Andi Shyti
	<andi.shyti@linux.intel.com>
Subject: Re: [PATCH cmpxchg 13/14] xtensa: Emulate one-byte cmpxchg
Message-ID: <ZiH8IBiLkYw7M281@yujie-X299>
References: <7b3646e0-667c-48e2-8f09-e493c43c30cb@paulmck-laptop>
 <20240408174944.907695-13-paulmck@kernel.org>
 <CAMuHMdXAB-9GPqNBJKF=JtWNfhBv168N6eko-9VcLmLSeQaS4Q@mail.gmail.com>
 <620a10e8-f5c0-4e23-8403-492ab1c7f110@paulmck-laptop>
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <620a10e8-f5c0-4e23-8403-492ab1c7f110@paulmck-laptop>
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ZGN0QmU2Qm9wR3ZUcXpPdC9XYjFETXZxR3BRNVBlR0hvNmkwOE5TMUtyYmpM?=
 =?utf-8?B?UTQ3WC9qcW1RanBnN2xkdElyN2ZySjZPOGhKSGtoeGkvV24vckRuZnk0Uzhr?=
 =?utf-8?B?NzEvaC9FV2FPZ2ZVMkRzeERZRG5aNzhhZHJXUUlxK0drK2dsWFllSlNUT1VJ?=
 =?utf-8?B?RzNJS0VTTmwyZlZ2ZFh1QjlDWGVtc1RYK0p1SDNJZU9iQkM3TDJ5R2NSYWR3?=
 =?utf-8?B?RHBJTERIRnBRcGRHdnJYV2RqdE93VXRWK1NodkExUE92QVNsQW4zM3NoNXk3?=
 =?utf-8?B?OVkyYnVkUFFySlpzK2R6bkhzUzc1d3NOOTAwSDZpckM4QUtFWXVZeWkxbjlk?=
 =?utf-8?B?ME9xT1ZkNDN5Z0VHekQ4VXg4UU1TWkQ2ei9IMTFWb3V2a1l0bm9kWk1ZYnBa?=
 =?utf-8?B?aUMyRUx2WGZqNnFPOFBvcklrUlVyRG1UUVV5Rit5T1RaSVZmWWxFaElqYUhL?=
 =?utf-8?B?eUorU1dtUmJUWmh6cmlOaXEvSEJaajJxaitmQlVTeWx0RllSUjdCOWRBcGt1?=
 =?utf-8?B?aTZyc2FxL2xUUXJMVlNydmRNNFRhV1RiK1dTVUEwb0VNSGpySVBmZFBsSkdL?=
 =?utf-8?B?aVZHYmxzZ2w0QmswSi9GRWFucHdXeUVqQ2t0TkpoekE4RHV4R24vS3RyRDFG?=
 =?utf-8?B?NzlZSXM4a2xBdUF3VDg1UGk2bEgyZkxsTys3emJhcm1ueWlCb0t4TEt6eEo2?=
 =?utf-8?B?Z3RQcDUxT3RHQWg1aTAzdzNvRGtGankyV1dmNjc0MkczQ0I0OWNOL1huUCs0?=
 =?utf-8?B?OXlIUE1URnlvYWRUVkpMdnMyUnNoVnh6bGdTTEh5MVBmQTI4cnNxeWZMZ3Y4?=
 =?utf-8?B?Z1I3MzdYMFNWZjVtV0dzRlArazAvZzR6NGNtbzZjdHJ5ZHJhZ25WbkFxenhX?=
 =?utf-8?B?ZDZ2VXN2c3ArdUpYMmZjWXdwMElqcUV5UUgzRW1UYUJ2dW50c2RGUnNWbmRN?=
 =?utf-8?B?YWQ1ZTZ2dFZwcVIwWDQ1WmFvaTl5TVdsaG1iamFSd0ZPa2Y3WE05bUIyaGEr?=
 =?utf-8?B?K251Mk84V0pIOUZzSFpNcEE2TnpqdHdaNW9PVm12MnRPbjFFWWQyUXZTbUMz?=
 =?utf-8?B?aStDZldMR2FQVGtTbDMwU0dWQ1Nka0pFOStPai9FTmFSS0lxR0JPc214aDI3?=
 =?utf-8?B?dThKZ3V2TWRneXNQMndyeHFuYmZhaUFjSXhtVU4wQURDZ2pHbzE2ZlprY3Ir?=
 =?utf-8?B?Q1R3d2JyWU5qbmdEWmNHNDBpMWorMDlKSHVUbHFPcDhDYmdWT2hzbitZZWFY?=
 =?utf-8?B?d3NkYzBnRFk2aGlPRWVyMUZKMzRyeWdBaTZjcm1VbmRXVTFUVmlnajNacHhV?=
 =?utf-8?B?SExQYmszeUpNd2FkYzF5VFhoOFZTRE9HbytuWG1HYnM5TkNuYnNCOHdkcXYz?=
 =?utf-8?B?N3V6OSt2Z0w4Z3l4b25qRjVHalVKY3pVK2o3R284RFBBdThteVpIMHJORC9C?=
 =?utf-8?B?K1d5VkZkbG5FbW1DYWNoZG1RQnhIcUtOa2tqdTE5S1dNeU1zUjNhTG9JZEpK?=
 =?utf-8?B?bTEvN0I3aW5yYkpMNFNkNTBDVUZyc0Z6d1psU0EzOC9uRGhFZmJHZEVSa3Fk?=
 =?utf-8?B?UEZ2Sm4vblN3M3RKN3BwWUYrRWdHaVltcXZOTDBLVktuUjYvZWc0MGYwbVJ6?=
 =?utf-8?B?RmI2ZDhZMW54cVdzbEhiZGF6R25hYVM3b3hpcTR3d2RVMWZ3K3JtSzFkVEQ3?=
 =?utf-8?B?QkpxekphdnQvbHAyclBVcGtLZEhFNHpMUXpJcURLTHBEMWlRWlY3TGtwMmVi?=
 =?utf-8?B?blJnQWtiajMzMXk3SUFiMVpBekZ0T2kwK0puR3M0NjdVK1cvN0xrY1o2Q1pp?=
 =?utf-8?B?RHZiSW5wUDN6UGI1MkRrMWNZRGdtQmw5OWh6NTZLUmlUQW5WSCthM0JCNzhk?=
 =?utf-8?B?cXl6NmZ4QW9PQ0dzanJTbUNYMnRJbXptRU40RThKNUxrc1A2L3ZkanRreWsw?=
 =?utf-8?B?NTQ4WlRhaUJ4aitlMWJSeTBROUlwdlNBa2NtTTVGWG95WldOcDNJYTdhOEU5?=
 =?utf-8?B?dTlkdU8yQWFNQ1NNTTQvdnZUOXJ2cHVjbndVMkY5SEZUei9wdVRGYmVtMUh3?=
 =?utf-8?B?VmY1MXBHVTFsdHE4c2tKeExJMlNqQVdpWkp6WVQvMWFSdDZ1WlhvbHNVK1BO?=
 =?utf-8?Q?VokohFufuS9dkKqxu03xRNtbS?=
X-MS-Exchange-CrossTenant-Network-Message-Id: ca9c1615-8f4a-4d1a-7c1b-08dc602f91da
X-MS-Exchange-CrossTenant-AuthSource: SA1PR11MB8393.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Apr 2024 05:14:20.7515
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: wmmCY06MiAjHk6OSCIASNjD2YJ/7NyIwLkrKcyUldgWIqKv03qvvFHqgCICehZxXSJXdvP5NAhW1g1wV6o8v3A==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL3PR11MB6507
X-OriginatorOrg: intel.com

On Thu, Apr 18, 2024 at 04:21:46PM -0700, Paul E. McKenney wrote:
> On Thu, Apr 18, 2024 at 10:06:21AM +0200, Geert Uytterhoeven wrote:
> > Hi Paul,
> > 
> > On Mon, Apr 8, 2024 at 7:49 PM Paul E. McKenney <paulmck@kernel.org> wrote:
> > > Use the new cmpxchg_emu_u8() to emulate one-byte cmpxchg() on xtensa.
> > >
> > > [ paulmck: Apply kernel test robot feedback. ]
> > > [ paulmck: Drop two-byte support per Arnd Bergmann feedback. ]
> > >
> > > Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
> > 
> > Thanks for your patch!
> > 
> > > --- a/arch/xtensa/include/asm/cmpxchg.h
> > > +++ b/arch/xtensa/include/asm/cmpxchg.h
> > > @@ -74,6 +75,7 @@ static __inline__ unsigned long
> > >  __cmpxchg(volatile void *ptr, unsigned long old, unsigned long new, int size)
> > >  {
> > >         switch (size) {
> > > +       case 1:  return cmpxchg_emu_u8((volatile u8 *)ptr, old, new);
> > 
> > The cast is not needed.
> 
> In both cases, kernel test robot yelled at me when it was not present.
> 
> Happy to resubmit without it, though, if that is a yell that I should
> have ignored.

FYI, kernel test robot did yell some reports on various architectures such as:

[1] https://lore.kernel.org/oe-kbuild-all/202403292321.T55etywH-lkp@intel.com/
[2] https://lore.kernel.org/oe-kbuild-all/202404040526.GVzaL2io-lkp@intel.com/
[3] https://lore.kernel.org/oe-kbuild-all/202404022106.mYwpypit-lkp@intel.com/

In brief, there were mainly three types of issues:

* The cmpxchg-emu.h header is missing
* The parameters of cmpxchg_emu_u8 need to be cast to corresponding types
* The return value of cmpxchg_emu_u8 needs to be cast to the "ret" type

As for this specific case of xtensa arch, the compiler doesn't warn
regardless of whether there is an explicit cast for "ptr" or not.
The "ptr" being passed in is "void *", and it seems that a "void *"
pointer can be automatically cast to any other type of pointer, so it
is not necessary to have an explicit cast of "u8 *".

As for the implementations of other architectures that don't pass the
"ptr" as "void *" (such as a macro implementation), the explicit cast to
"u8 *" may still be required.

Thanks,
Yujie

> 
> 							Thanx, Paul
> 
> > >         case 4:  return __cmpxchg_u32(ptr, old, new);
> > >         default: __cmpxchg_called_with_bad_pointer();
> > >                  return old;
> > 
> > Gr{oetje,eeting}s,
> > 
> >                         Geert
> > 
> > -- 
> > Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k.org
> > 
> > In personal conversations with technical people, I call myself a hacker. But
> > when I'm talking to journalists I just say "programmer" or something like that.
> >                                 -- Linus Torvalds