Received-SPF: pass (google.com: domain of linux-kernel+bounces-130852-linux.lists.archive=gmail.com@vger.kernel.org designates 139.178.88.99 as permitted sender) client-ip=139.178.88.99;
Date: Wed, 3 Apr 2024 20:09:21 -0700
From: "Paul E. McKenney" <paulmck@kernel.org>
To: Al Viro <viro@zeniv.linux.org.uk>
Cc: linux-kernel@vger.kernel.org, kernel-team@meta.com,
	"David S. Miller" <davem@davemloft.net>,
	Andreas Larsson <andreas@gaisler.com>,
	Palmer Dabbelt <palmer@rivosinc.com>, Arnd Bergmann <arnd@arndb.de>,
	Marco Elver <elver@google.com>
Subject: Re: [PATCH 1/8] sparc32: make __cmpxchg_u32() return u32
Message-ID: <2676cf77-1374-4d39-a669-e2db4b9b7bf5@paulmck-laptop>
Reply-To: paulmck@kernel.org
References: <20240402041138.GF538574@ZenIV>
 <20240402042835.11815-1-viro@zeniv.linux.org.uk>
 <85837f16-903c-44cd-8277-377e0228eb61@paulmck-laptop>
 <20240403222053.GK538574@ZenIV>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20240403222053.GK538574@ZenIV>

On Wed, Apr 03, 2024 at 11:20:53PM +0100, Al Viro wrote:
> On Tue, Apr 02, 2024 at 01:03:13PM -0700, Paul E. McKenney wrote:
> > On Tue, Apr 02, 2024 at 12:28:28AM -0400, Al Viro wrote:
> > > Conversion between u32 and unsigned long is tautological there,
> > > and the only use of return value is to return it from
> > > __cmpxchg() (which return unsigned long).
> > > 
> > > Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
> > 
> > I have pulled these in as replacements for my patches in the meantime.
> > 
> > Thank you!
> 
> FWIW, updated branch force-pushed; the difference is that __cmpxchg()
> on sparc32 went
> -       switch (size) {
> -       case 1:
> -               return __cmpxchg_u8((u8 *)ptr, (u8)old, (u8)new_);
> -       case 2:
> -               return __cmpxchg_u16((u16 *)ptr, (u16)old, (u16)new_);
> -       case 4:
> -               return __cmpxchg_u32((u32 *)ptr, (u32)old, (u32)new_);
> -       default:
> -               __cmpxchg_called_with_bad_pointer();
> -               break;
> -       }
> -       return old;
> +       return
> +               size == 1 ? __cmpxchg_u8(ptr, old, new_) :
> +               size == 2 ? __cmpxchg_u16(ptr, old, new_) :
> +               size == 4 ? __cmpxchg_u32(ptr, old, new_) :
> +                       (__cmpxchg_called_with_bad_pointer(), old);
> 
> (and similar for parisc).  Rationale: sparse does generate constant
> truncation warnings in unreachable statements, but not in never-evaluated
> subexpressions.  Alternative would be what parisc used to do in mainline:
> 	case 1: return __cmpxchg_u8((u8 *)ptr, old & 0xff, new_ & 0xff);
> and we'd need the same in 16bit case (both on parisc and sparc32).
> Explicit (and rather mysterious) & 0xff for passing unsigned long to
> a function that takes u8 was there to tell sparse that e.g.
> cmpxchg(&int_var, 0, 0x12345678) was *not* trying to feed
> 0x12345678 to a __cmpxchg_u8(), which would quietly truncate it had
> it ever been reached.  Use of conditional expression avoids that
> without having to play with explicit (and utterly pointless from
> C point of view) masking.  IMO it's better that way, not to mention
> being more concise than use of switch.

Cute!  I replaced the old versions of your patches with this series.

However, I was too lazy to apply this transformation to the other
cmpxchg() implementations.  ;-)

							Thanx, Paul