162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Atomic futex routines
462306a36Sopenharmony_ci *
562306a36Sopenharmony_ci * Based on the PowerPC implementataion
662306a36Sopenharmony_ci *
762306a36Sopenharmony_ci * Copyright (C) 2013 TangoTec Ltd.
862306a36Sopenharmony_ci *
962306a36Sopenharmony_ci * Baruch Siach <baruch@tkos.co.il>
1062306a36Sopenharmony_ci */
1162306a36Sopenharmony_ci
1262306a36Sopenharmony_ci#ifndef _ASM_XTENSA_FUTEX_H
1362306a36Sopenharmony_ci#define _ASM_XTENSA_FUTEX_H
1462306a36Sopenharmony_ci
1562306a36Sopenharmony_ci#include <linux/futex.h>
1662306a36Sopenharmony_ci#include <linux/uaccess.h>
1762306a36Sopenharmony_ci#include <linux/errno.h>
1862306a36Sopenharmony_ci
1962306a36Sopenharmony_ci#define arch_futex_atomic_op_inuser arch_futex_atomic_op_inuser
2062306a36Sopenharmony_ci#define futex_atomic_cmpxchg_inatomic futex_atomic_cmpxchg_inatomic
2162306a36Sopenharmony_ci#include <asm-generic/futex.h>
2262306a36Sopenharmony_ci
2362306a36Sopenharmony_ci#if XCHAL_HAVE_EXCLUSIVE
2462306a36Sopenharmony_ci#define __futex_atomic_op(insn, ret, old, uaddr, arg)	\
2562306a36Sopenharmony_ci	__asm__ __volatile(				\
2662306a36Sopenharmony_ci	"1:	l32ex	%[oldval], %[addr]\n"		\
2762306a36Sopenharmony_ci		insn "\n"				\
2862306a36Sopenharmony_ci	"2:	s32ex	%[newval], %[addr]\n"		\
2962306a36Sopenharmony_ci	"	getex	%[newval]\n"			\
3062306a36Sopenharmony_ci	"	beqz	%[newval], 1b\n"		\
3162306a36Sopenharmony_ci	"	movi	%[newval], 0\n"			\
3262306a36Sopenharmony_ci	"3:\n"						\
3362306a36Sopenharmony_ci	"	.section .fixup,\"ax\"\n"		\
3462306a36Sopenharmony_ci	"	.align 4\n"				\
3562306a36Sopenharmony_ci	"	.literal_position\n"			\
3662306a36Sopenharmony_ci	"5:	movi	%[oldval], 3b\n"		\
3762306a36Sopenharmony_ci	"	movi	%[newval], %[fault]\n"		\
3862306a36Sopenharmony_ci	"	jx	%[oldval]\n"			\
3962306a36Sopenharmony_ci	"	.previous\n"				\
4062306a36Sopenharmony_ci	"	.section __ex_table,\"a\"\n"		\
4162306a36Sopenharmony_ci	"	.long 1b, 5b, 2b, 5b\n"			\
4262306a36Sopenharmony_ci	"	.previous\n"				\
4362306a36Sopenharmony_ci	: [oldval] "=&r" (old), [newval] "=&r" (ret)	\
4462306a36Sopenharmony_ci	: [addr] "r" (uaddr), [oparg] "r" (arg),	\
4562306a36Sopenharmony_ci	  [fault] "I" (-EFAULT)				\
4662306a36Sopenharmony_ci	: "memory")
4762306a36Sopenharmony_ci#elif XCHAL_HAVE_S32C1I
4862306a36Sopenharmony_ci#define __futex_atomic_op(insn, ret, old, uaddr, arg)	\
4962306a36Sopenharmony_ci	__asm__ __volatile(				\
5062306a36Sopenharmony_ci	"1:	l32i	%[oldval], %[mem]\n"		\
5162306a36Sopenharmony_ci		insn "\n"				\
5262306a36Sopenharmony_ci	"	wsr	%[oldval], scompare1\n"		\
5362306a36Sopenharmony_ci	"2:	s32c1i	%[newval], %[mem]\n"		\
5462306a36Sopenharmony_ci	"	bne	%[newval], %[oldval], 1b\n"	\
5562306a36Sopenharmony_ci	"	movi	%[newval], 0\n"			\
5662306a36Sopenharmony_ci	"3:\n"						\
5762306a36Sopenharmony_ci	"	.section .fixup,\"ax\"\n"		\
5862306a36Sopenharmony_ci	"	.align 4\n"				\
5962306a36Sopenharmony_ci	"	.literal_position\n"			\
6062306a36Sopenharmony_ci	"5:	movi	%[oldval], 3b\n"		\
6162306a36Sopenharmony_ci	"	movi	%[newval], %[fault]\n"		\
6262306a36Sopenharmony_ci	"	jx	%[oldval]\n"			\
6362306a36Sopenharmony_ci	"	.previous\n"				\
6462306a36Sopenharmony_ci	"	.section __ex_table,\"a\"\n"		\
6562306a36Sopenharmony_ci	"	.long 1b, 5b, 2b, 5b\n"			\
6662306a36Sopenharmony_ci	"	.previous\n"				\
6762306a36Sopenharmony_ci	: [oldval] "=&r" (old), [newval] "=&r" (ret),	\
6862306a36Sopenharmony_ci	  [mem] "+m" (*(uaddr))				\
6962306a36Sopenharmony_ci	: [oparg] "r" (arg), [fault] "I" (-EFAULT)	\
7062306a36Sopenharmony_ci	: "memory")
7162306a36Sopenharmony_ci#endif
7262306a36Sopenharmony_ci
7362306a36Sopenharmony_cistatic inline int arch_futex_atomic_op_inuser(int op, int oparg, int *oval,
7462306a36Sopenharmony_ci		u32 __user *uaddr)
7562306a36Sopenharmony_ci{
7662306a36Sopenharmony_ci#if XCHAL_HAVE_S32C1I || XCHAL_HAVE_EXCLUSIVE
7762306a36Sopenharmony_ci	int oldval = 0, ret;
7862306a36Sopenharmony_ci
7962306a36Sopenharmony_ci	if (!access_ok(uaddr, sizeof(u32)))
8062306a36Sopenharmony_ci		return -EFAULT;
8162306a36Sopenharmony_ci
8262306a36Sopenharmony_ci	switch (op) {
8362306a36Sopenharmony_ci	case FUTEX_OP_SET:
8462306a36Sopenharmony_ci		__futex_atomic_op("mov %[newval], %[oparg]",
8562306a36Sopenharmony_ci				  ret, oldval, uaddr, oparg);
8662306a36Sopenharmony_ci		break;
8762306a36Sopenharmony_ci	case FUTEX_OP_ADD:
8862306a36Sopenharmony_ci		__futex_atomic_op("add %[newval], %[oldval], %[oparg]",
8962306a36Sopenharmony_ci				  ret, oldval, uaddr, oparg);
9062306a36Sopenharmony_ci		break;
9162306a36Sopenharmony_ci	case FUTEX_OP_OR:
9262306a36Sopenharmony_ci		__futex_atomic_op("or %[newval], %[oldval], %[oparg]",
9362306a36Sopenharmony_ci				  ret, oldval, uaddr, oparg);
9462306a36Sopenharmony_ci		break;
9562306a36Sopenharmony_ci	case FUTEX_OP_ANDN:
9662306a36Sopenharmony_ci		__futex_atomic_op("and %[newval], %[oldval], %[oparg]",
9762306a36Sopenharmony_ci				  ret, oldval, uaddr, ~oparg);
9862306a36Sopenharmony_ci		break;
9962306a36Sopenharmony_ci	case FUTEX_OP_XOR:
10062306a36Sopenharmony_ci		__futex_atomic_op("xor %[newval], %[oldval], %[oparg]",
10162306a36Sopenharmony_ci				  ret, oldval, uaddr, oparg);
10262306a36Sopenharmony_ci		break;
10362306a36Sopenharmony_ci	default:
10462306a36Sopenharmony_ci		ret = -ENOSYS;
10562306a36Sopenharmony_ci	}
10662306a36Sopenharmony_ci
10762306a36Sopenharmony_ci	if (!ret)
10862306a36Sopenharmony_ci		*oval = oldval;
10962306a36Sopenharmony_ci
11062306a36Sopenharmony_ci	return ret;
11162306a36Sopenharmony_ci#else
11262306a36Sopenharmony_ci	return futex_atomic_op_inuser_local(op, oparg, oval, uaddr);
11362306a36Sopenharmony_ci#endif
11462306a36Sopenharmony_ci}
11562306a36Sopenharmony_ci
11662306a36Sopenharmony_cistatic inline int
11762306a36Sopenharmony_cifutex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
11862306a36Sopenharmony_ci			      u32 oldval, u32 newval)
11962306a36Sopenharmony_ci{
12062306a36Sopenharmony_ci#if XCHAL_HAVE_S32C1I || XCHAL_HAVE_EXCLUSIVE
12162306a36Sopenharmony_ci	unsigned long tmp;
12262306a36Sopenharmony_ci	int ret = 0;
12362306a36Sopenharmony_ci
12462306a36Sopenharmony_ci	if (!access_ok(uaddr, sizeof(u32)))
12562306a36Sopenharmony_ci		return -EFAULT;
12662306a36Sopenharmony_ci
12762306a36Sopenharmony_ci	__asm__ __volatile__ (
12862306a36Sopenharmony_ci	"	# futex_atomic_cmpxchg_inatomic\n"
12962306a36Sopenharmony_ci#if XCHAL_HAVE_EXCLUSIVE
13062306a36Sopenharmony_ci	"1:	l32ex	%[tmp], %[addr]\n"
13162306a36Sopenharmony_ci	"	s32i	%[tmp], %[uval], 0\n"
13262306a36Sopenharmony_ci	"	bne	%[tmp], %[oldval], 2f\n"
13362306a36Sopenharmony_ci	"	mov	%[tmp], %[newval]\n"
13462306a36Sopenharmony_ci	"3:	s32ex	%[tmp], %[addr]\n"
13562306a36Sopenharmony_ci	"	getex	%[tmp]\n"
13662306a36Sopenharmony_ci	"	beqz	%[tmp], 1b\n"
13762306a36Sopenharmony_ci#elif XCHAL_HAVE_S32C1I
13862306a36Sopenharmony_ci	"	wsr	%[oldval], scompare1\n"
13962306a36Sopenharmony_ci	"1:	s32c1i	%[newval], %[addr], 0\n"
14062306a36Sopenharmony_ci	"	s32i	%[newval], %[uval], 0\n"
14162306a36Sopenharmony_ci#endif
14262306a36Sopenharmony_ci	"2:\n"
14362306a36Sopenharmony_ci	"	.section .fixup,\"ax\"\n"
14462306a36Sopenharmony_ci	"	.align 4\n"
14562306a36Sopenharmony_ci	"	.literal_position\n"
14662306a36Sopenharmony_ci	"4:	movi	%[tmp], 2b\n"
14762306a36Sopenharmony_ci	"	movi	%[ret], %[fault]\n"
14862306a36Sopenharmony_ci	"	jx	%[tmp]\n"
14962306a36Sopenharmony_ci	"	.previous\n"
15062306a36Sopenharmony_ci	"	.section __ex_table,\"a\"\n"
15162306a36Sopenharmony_ci	"	.long 1b, 4b\n"
15262306a36Sopenharmony_ci#if XCHAL_HAVE_EXCLUSIVE
15362306a36Sopenharmony_ci	"	.long 3b, 4b\n"
15462306a36Sopenharmony_ci#endif
15562306a36Sopenharmony_ci	"	.previous\n"
15662306a36Sopenharmony_ci	: [ret] "+r" (ret), [newval] "+r" (newval), [tmp] "=&r" (tmp)
15762306a36Sopenharmony_ci	: [addr] "r" (uaddr), [oldval] "r" (oldval), [uval] "r" (uval),
15862306a36Sopenharmony_ci	  [fault] "I" (-EFAULT)
15962306a36Sopenharmony_ci	: "memory");
16062306a36Sopenharmony_ci
16162306a36Sopenharmony_ci	return ret;
16262306a36Sopenharmony_ci#else
16362306a36Sopenharmony_ci	return futex_atomic_cmpxchg_inatomic_local(uval, uaddr, oldval, newval);
16462306a36Sopenharmony_ci#endif
16562306a36Sopenharmony_ci}
16662306a36Sopenharmony_ci
16762306a36Sopenharmony_ci#endif /* _ASM_XTENSA_FUTEX_H */
168