blob: 65f1569ac96e5e2772548f20e6f172c8ee2ad0b4 [file] [log] [blame]
Catalin Marinas6170a972012-03-05 11:49:29 +00001/*
2 * Based on arch/arm/include/asm/atomic.h
3 *
4 * Copyright (C) 1996 Russell King.
5 * Copyright (C) 2002 Deep Blue Solutions Ltd.
6 * Copyright (C) 2012 ARM Ltd.
7 *
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License version 2 as
10 * published by the Free Software Foundation.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 */
20#ifndef __ASM_ATOMIC_H
21#define __ASM_ATOMIC_H
22
23#include <linux/compiler.h>
24#include <linux/types.h>
25
26#include <asm/barrier.h>
27#include <asm/cmpxchg.h>
28
29#define ATOMIC_INIT(i) { (i) }
30
31#ifdef __KERNEL__
32
33/*
34 * On ARM, ordinary assignment (str instruction) doesn't clear the local
35 * strex/ldrex monitor on some implementations. The reason we can use it for
36 * atomic_set() is the clrex or dummy strex done on every exception return.
37 */
38#define atomic_read(v) (*(volatile int *)&(v)->counter)
39#define atomic_set(v,i) (((v)->counter) = (i))
40
41/*
42 * AArch64 UP and SMP safe atomic ops. We use load exclusive and
43 * store exclusive to ensure that these are atomic. We may loop
44 * to ensure that the update happens.
45 */
46static inline void atomic_add(int i, atomic_t *v)
47{
48 unsigned long tmp;
49 int result;
50
51 asm volatile("// atomic_add\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000052"1: ldxr %w0, %2\n"
53" add %w0, %w0, %w3\n"
54" stxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +000055" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +000056 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon95c41892014-02-04 12:29:13 +000057 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +000058}
59
60static inline int atomic_add_return(int i, atomic_t *v)
61{
62 unsigned long tmp;
63 int result;
64
65 asm volatile("// atomic_add_return\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +000066"1: ldxr %w0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000067" add %w0, %w0, %w3\n"
68" stlxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +000069" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +000070 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
71 : "Ir" (i)
Will Deacon95c41892014-02-04 12:29:13 +000072 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +000073
Will Deacon8e86f0b2014-02-04 12:29:12 +000074 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +000075 return result;
76}
77
78static inline void atomic_sub(int i, atomic_t *v)
79{
80 unsigned long tmp;
81 int result;
82
83 asm volatile("// atomic_sub\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000084"1: ldxr %w0, %2\n"
85" sub %w0, %w0, %w3\n"
86" stxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +000087" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +000088 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon95c41892014-02-04 12:29:13 +000089 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +000090}
91
92static inline int atomic_sub_return(int i, atomic_t *v)
93{
94 unsigned long tmp;
95 int result;
96
97 asm volatile("// atomic_sub_return\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +000098"1: ldxr %w0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000099" sub %w0, %w0, %w3\n"
100" stlxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000101" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000102 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
103 : "Ir" (i)
Will Deacon95c41892014-02-04 12:29:13 +0000104 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000105
Will Deacon8e86f0b2014-02-04 12:29:12 +0000106 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000107 return result;
108}
109
110static inline int atomic_cmpxchg(atomic_t *ptr, int old, int new)
111{
112 unsigned long tmp;
113 int oldval;
114
Will Deacon8e86f0b2014-02-04 12:29:12 +0000115 smp_mb();
116
Catalin Marinas6170a972012-03-05 11:49:29 +0000117 asm volatile("// atomic_cmpxchg\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000118"1: ldxr %w1, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000119" cmp %w1, %w3\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000120" b.ne 2f\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000121" stxr %w0, %w4, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000122" cbnz %w0, 1b\n"
123"2:"
Will Deacon3a0310e2013-02-04 12:12:33 +0000124 : "=&r" (tmp), "=&r" (oldval), "+Q" (ptr->counter)
125 : "Ir" (old), "r" (new)
Will Deacon95c41892014-02-04 12:29:13 +0000126 : "cc");
Catalin Marinas6170a972012-03-05 11:49:29 +0000127
Will Deacon8e86f0b2014-02-04 12:29:12 +0000128 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000129 return oldval;
130}
131
Catalin Marinas6170a972012-03-05 11:49:29 +0000132#define atomic_xchg(v, new) (xchg(&((v)->counter), new))
133
134static inline int __atomic_add_unless(atomic_t *v, int a, int u)
135{
136 int c, old;
137
138 c = atomic_read(v);
139 while (c != u && (old = atomic_cmpxchg((v), c, c + a)) != c)
140 c = old;
141 return c;
142}
143
144#define atomic_inc(v) atomic_add(1, v)
145#define atomic_dec(v) atomic_sub(1, v)
146
147#define atomic_inc_and_test(v) (atomic_add_return(1, v) == 0)
148#define atomic_dec_and_test(v) (atomic_sub_return(1, v) == 0)
149#define atomic_inc_return(v) (atomic_add_return(1, v))
150#define atomic_dec_return(v) (atomic_sub_return(1, v))
151#define atomic_sub_and_test(i, v) (atomic_sub_return(i, v) == 0)
152
153#define atomic_add_negative(i,v) (atomic_add_return(i, v) < 0)
154
Catalin Marinas6170a972012-03-05 11:49:29 +0000155/*
156 * 64-bit atomic operations.
157 */
158#define ATOMIC64_INIT(i) { (i) }
159
Bjorn Helgaasba6bf8c2014-05-08 22:13:47 +0100160#define atomic64_read(v) (*(volatile long *)&(v)->counter)
Catalin Marinas6170a972012-03-05 11:49:29 +0000161#define atomic64_set(v,i) (((v)->counter) = (i))
162
163static inline void atomic64_add(u64 i, atomic64_t *v)
164{
165 long result;
166 unsigned long tmp;
167
168 asm volatile("// atomic64_add\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000169"1: ldxr %0, %2\n"
170" add %0, %0, %3\n"
171" stxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000172" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000173 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon95c41892014-02-04 12:29:13 +0000174 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +0000175}
176
177static inline long atomic64_add_return(long i, atomic64_t *v)
178{
179 long result;
180 unsigned long tmp;
181
182 asm volatile("// atomic64_add_return\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000183"1: ldxr %0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000184" add %0, %0, %3\n"
185" stlxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000186" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000187 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
188 : "Ir" (i)
Will Deacon95c41892014-02-04 12:29:13 +0000189 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000190
Will Deacon8e86f0b2014-02-04 12:29:12 +0000191 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000192 return result;
193}
194
195static inline void atomic64_sub(u64 i, atomic64_t *v)
196{
197 long result;
198 unsigned long tmp;
199
200 asm volatile("// atomic64_sub\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000201"1: ldxr %0, %2\n"
202" sub %0, %0, %3\n"
203" stxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000204" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000205 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon95c41892014-02-04 12:29:13 +0000206 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +0000207}
208
209static inline long atomic64_sub_return(long i, atomic64_t *v)
210{
211 long result;
212 unsigned long tmp;
213
214 asm volatile("// atomic64_sub_return\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000215"1: ldxr %0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000216" sub %0, %0, %3\n"
217" stlxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000218" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000219 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
220 : "Ir" (i)
Will Deacon95c41892014-02-04 12:29:13 +0000221 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000222
Will Deacon8e86f0b2014-02-04 12:29:12 +0000223 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000224 return result;
225}
226
227static inline long atomic64_cmpxchg(atomic64_t *ptr, long old, long new)
228{
229 long oldval;
230 unsigned long res;
231
Will Deacon8e86f0b2014-02-04 12:29:12 +0000232 smp_mb();
233
Catalin Marinas6170a972012-03-05 11:49:29 +0000234 asm volatile("// atomic64_cmpxchg\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000235"1: ldxr %1, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000236" cmp %1, %3\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000237" b.ne 2f\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000238" stxr %w0, %4, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000239" cbnz %w0, 1b\n"
240"2:"
Will Deacon3a0310e2013-02-04 12:12:33 +0000241 : "=&r" (res), "=&r" (oldval), "+Q" (ptr->counter)
242 : "Ir" (old), "r" (new)
Will Deacon95c41892014-02-04 12:29:13 +0000243 : "cc");
Catalin Marinas6170a972012-03-05 11:49:29 +0000244
Will Deacon8e86f0b2014-02-04 12:29:12 +0000245 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000246 return oldval;
247}
248
249#define atomic64_xchg(v, new) (xchg(&((v)->counter), new))
250
251static inline long atomic64_dec_if_positive(atomic64_t *v)
252{
253 long result;
254 unsigned long tmp;
255
256 asm volatile("// atomic64_dec_if_positive\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000257"1: ldxr %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000258" subs %0, %0, #1\n"
259" b.mi 2f\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000260" stlxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000261" cbnz %w1, 1b\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000262" dmb ish\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000263"2:"
Will Deacon3a0310e2013-02-04 12:12:33 +0000264 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
265 :
266 : "cc", "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000267
268 return result;
269}
270
271static inline int atomic64_add_unless(atomic64_t *v, long a, long u)
272{
273 long c, old;
274
275 c = atomic64_read(v);
276 while (c != u && (old = atomic64_cmpxchg((v), c, c + a)) != c)
277 c = old;
278
279 return c != u;
280}
281
282#define atomic64_add_negative(a, v) (atomic64_add_return((a), (v)) < 0)
283#define atomic64_inc(v) atomic64_add(1LL, (v))
284#define atomic64_inc_return(v) atomic64_add_return(1LL, (v))
285#define atomic64_inc_and_test(v) (atomic64_inc_return(v) == 0)
286#define atomic64_sub_and_test(a, v) (atomic64_sub_return((a), (v)) == 0)
287#define atomic64_dec(v) atomic64_sub(1LL, (v))
288#define atomic64_dec_return(v) atomic64_sub_return(1LL, (v))
289#define atomic64_dec_and_test(v) (atomic64_dec_return((v)) == 0)
290#define atomic64_inc_not_zero(v) atomic64_add_unless((v), 1LL, 0LL)
291
292#endif
293#endif