blob: 9de18a526aff18678e393808d99e25799231e250 [file] [log] [blame]
Vineet Gupta01b812b2013-01-18 15:12:22 +05301/*
2 * Copyright (C) 2004, 2007-2010, 2011-2012 Synopsys, Inc. (www.synopsys.com)
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * Vineetg: August 2010: From Android kernel work
9 */
10
11#ifndef _ASM_FUTEX_H
12#define _ASM_FUTEX_H
13
14#include <linux/futex.h>
15#include <linux/preempt.h>
16#include <linux/uaccess.h>
17#include <asm/errno.h>
18
Vineet Gupta9138d412015-06-25 13:46:57 +053019#ifdef CONFIG_ARC_HAS_LLSC
20
Vineet Gupta01b812b2013-01-18 15:12:22 +053021#define __futex_atomic_op(insn, ret, oldval, uaddr, oparg)\
22 \
Vineet Gupta31d30c82015-08-05 19:10:02 +053023 smp_mb(); \
Vineet Gupta01b812b2013-01-18 15:12:22 +053024 __asm__ __volatile__( \
Vineet Gupta9138d412015-06-25 13:46:57 +053025 "1: llock %1, [%2] \n" \
Vineet Gupta01b812b2013-01-18 15:12:22 +053026 insn "\n" \
Vineet Gupta9138d412015-06-25 13:46:57 +053027 "2: scond %0, [%2] \n" \
28 " bnz 1b \n" \
Vineet Gupta01b812b2013-01-18 15:12:22 +053029 " mov %0, 0 \n" \
30 "3: \n" \
31 " .section .fixup,\"ax\" \n" \
32 " .align 4 \n" \
33 "4: mov %0, %4 \n" \
34 " b 3b \n" \
35 " .previous \n" \
36 " .section __ex_table,\"a\" \n" \
37 " .align 4 \n" \
38 " .word 1b, 4b \n" \
39 " .word 2b, 4b \n" \
40 " .previous \n" \
41 \
42 : "=&r" (ret), "=&r" (oldval) \
43 : "r" (uaddr), "r" (oparg), "ir" (-EFAULT) \
Vineet Gupta31d30c82015-08-05 19:10:02 +053044 : "cc", "memory"); \
45 smp_mb() \
Vineet Gupta01b812b2013-01-18 15:12:22 +053046
Vineet Gupta9138d412015-06-25 13:46:57 +053047#else /* !CONFIG_ARC_HAS_LLSC */
48
49#define __futex_atomic_op(insn, ret, oldval, uaddr, oparg)\
50 \
Vineet Gupta31d30c82015-08-05 19:10:02 +053051 smp_mb(); \
Vineet Gupta9138d412015-06-25 13:46:57 +053052 __asm__ __volatile__( \
53 "1: ld %1, [%2] \n" \
54 insn "\n" \
55 "2: st %0, [%2] \n" \
56 " mov %0, 0 \n" \
57 "3: \n" \
58 " .section .fixup,\"ax\" \n" \
59 " .align 4 \n" \
60 "4: mov %0, %4 \n" \
61 " b 3b \n" \
62 " .previous \n" \
63 " .section __ex_table,\"a\" \n" \
64 " .align 4 \n" \
65 " .word 1b, 4b \n" \
66 " .word 2b, 4b \n" \
67 " .previous \n" \
68 \
69 : "=&r" (ret), "=&r" (oldval) \
70 : "r" (uaddr), "r" (oparg), "ir" (-EFAULT) \
Vineet Gupta31d30c82015-08-05 19:10:02 +053071 : "cc", "memory"); \
72 smp_mb() \
Vineet Gupta9138d412015-06-25 13:46:57 +053073
74#endif
75
Vineet Gupta01b812b2013-01-18 15:12:22 +053076static inline int futex_atomic_op_inuser(int encoded_op, u32 __user *uaddr)
77{
78 int op = (encoded_op >> 28) & 7;
79 int cmp = (encoded_op >> 24) & 15;
80 int oparg = (encoded_op << 8) >> 20;
81 int cmparg = (encoded_op << 20) >> 20;
82 int oldval = 0, ret;
83
84 if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28))
85 oparg = 1 << oparg;
86
87 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(int)))
88 return -EFAULT;
89
David Hildenbrand2f09b222015-05-11 17:52:17 +020090 pagefault_disable();
Vineet Gupta01b812b2013-01-18 15:12:22 +053091
92 switch (op) {
93 case FUTEX_OP_SET:
94 __futex_atomic_op("mov %0, %3", ret, oldval, uaddr, oparg);
95 break;
96 case FUTEX_OP_ADD:
97 __futex_atomic_op("add %0, %1, %3", ret, oldval, uaddr, oparg);
98 break;
99 case FUTEX_OP_OR:
100 __futex_atomic_op("or %0, %1, %3", ret, oldval, uaddr, oparg);
101 break;
102 case FUTEX_OP_ANDN:
103 __futex_atomic_op("bic %0, %1, %3", ret, oldval, uaddr, oparg);
104 break;
105 case FUTEX_OP_XOR:
106 __futex_atomic_op("xor %0, %1, %3", ret, oldval, uaddr, oparg);
107 break;
108 default:
109 ret = -ENOSYS;
110 }
111
David Hildenbrand2f09b222015-05-11 17:52:17 +0200112 pagefault_enable();
Vineet Gupta01b812b2013-01-18 15:12:22 +0530113
114 if (!ret) {
115 switch (cmp) {
116 case FUTEX_OP_CMP_EQ:
117 ret = (oldval == cmparg);
118 break;
119 case FUTEX_OP_CMP_NE:
120 ret = (oldval != cmparg);
121 break;
122 case FUTEX_OP_CMP_LT:
123 ret = (oldval < cmparg);
124 break;
125 case FUTEX_OP_CMP_GE:
126 ret = (oldval >= cmparg);
127 break;
128 case FUTEX_OP_CMP_LE:
129 ret = (oldval <= cmparg);
130 break;
131 case FUTEX_OP_CMP_GT:
132 ret = (oldval > cmparg);
133 break;
134 default:
135 ret = -ENOSYS;
136 }
137 }
138 return ret;
139}
140
Vineet Gupta31d30c82015-08-05 19:10:02 +0530141/*
142 * cmpxchg of futex (pagefaults disabled by caller)
Vineet Gupta01b812b2013-01-18 15:12:22 +0530143 */
144static inline int
145futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr, u32 oldval,
146 u32 newval)
147{
148 u32 val;
149
150 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(int)))
151 return -EFAULT;
152
Vineet Gupta31d30c82015-08-05 19:10:02 +0530153 smp_mb();
Vineet Gupta01b812b2013-01-18 15:12:22 +0530154
Vineet Gupta01b812b2013-01-18 15:12:22 +0530155 __asm__ __volatile__(
Vineet Gupta9138d412015-06-25 13:46:57 +0530156#ifdef CONFIG_ARC_HAS_LLSC
157 "1: llock %0, [%3] \n"
158 " brne %0, %1, 3f \n"
159 "2: scond %2, [%3] \n"
160 " bnz 1b \n"
161#else
162 "1: ld %0, [%3] \n"
163 " brne %0, %1, 3f \n"
164 "2: st %2, [%3] \n"
165#endif
Vineet Gupta01b812b2013-01-18 15:12:22 +0530166 "3: \n"
167 " .section .fixup,\"ax\" \n"
168 "4: mov %0, %4 \n"
169 " b 3b \n"
170 " .previous \n"
171 " .section __ex_table,\"a\" \n"
172 " .align 4 \n"
173 " .word 1b, 4b \n"
174 " .word 2b, 4b \n"
175 " .previous\n"
176 : "=&r"(val)
177 : "r"(oldval), "r"(newval), "r"(uaddr), "ir"(-EFAULT)
178 : "cc", "memory");
179
Vineet Gupta31d30c82015-08-05 19:10:02 +0530180 smp_mb();
Vineet Gupta01b812b2013-01-18 15:12:22 +0530181
182 *uval = val;
183 return val;
184}
185
186#endif