blob: b6cac6e9bb70c41329f4b60d179ed239e31c5648 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_ATOMIC_H
3#define _ASM_X86_ATOMIC_H
4
5#include <linux/compiler.h>
6#include <linux/types.h>
7#include <asm/alternative.h>
8#include <asm/cmpxchg.h>
9#include <asm/rmwcc.h>
10#include <asm/barrier.h>
11
12/*
13 * Atomic operations that C can't guarantee us. Useful for
14 * resource counting etc..
15 */
16
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000017/**
18 * arch_atomic_read - read atomic variable
19 * @v: pointer of type atomic_t
20 *
21 * Atomically reads the value of @v.
22 */
23static __always_inline int arch_atomic_read(const atomic_t *v)
24{
25 /*
26 * Note for KASAN: we deliberately don't use READ_ONCE_NOCHECK() here,
27 * it's non-inlined function that increases binary size and stack usage.
28 */
Olivier Deprez157378f2022-04-04 15:47:50 +020029 return __READ_ONCE((v)->counter);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000030}
31
32/**
33 * arch_atomic_set - set atomic variable
34 * @v: pointer of type atomic_t
35 * @i: required value
36 *
37 * Atomically sets the value of @v to @i.
38 */
39static __always_inline void arch_atomic_set(atomic_t *v, int i)
40{
Olivier Deprez157378f2022-04-04 15:47:50 +020041 __WRITE_ONCE(v->counter, i);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000042}
43
44/**
45 * arch_atomic_add - add integer to atomic variable
46 * @i: integer value to add
47 * @v: pointer of type atomic_t
48 *
49 * Atomically adds @i to @v.
50 */
51static __always_inline void arch_atomic_add(int i, atomic_t *v)
52{
53 asm volatile(LOCK_PREFIX "addl %1,%0"
54 : "+m" (v->counter)
David Brazdil0f672f62019-12-10 10:32:29 +000055 : "ir" (i) : "memory");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000056}
57
58/**
59 * arch_atomic_sub - subtract integer from atomic variable
60 * @i: integer value to subtract
61 * @v: pointer of type atomic_t
62 *
63 * Atomically subtracts @i from @v.
64 */
65static __always_inline void arch_atomic_sub(int i, atomic_t *v)
66{
67 asm volatile(LOCK_PREFIX "subl %1,%0"
68 : "+m" (v->counter)
David Brazdil0f672f62019-12-10 10:32:29 +000069 : "ir" (i) : "memory");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000070}
71
72/**
73 * arch_atomic_sub_and_test - subtract value from variable and test result
74 * @i: integer value to subtract
75 * @v: pointer of type atomic_t
76 *
77 * Atomically subtracts @i from @v and returns
78 * true if the result is zero, or false for all
79 * other cases.
80 */
81static __always_inline bool arch_atomic_sub_and_test(int i, atomic_t *v)
82{
David Brazdil0f672f62019-12-10 10:32:29 +000083 return GEN_BINARY_RMWcc(LOCK_PREFIX "subl", v->counter, e, "er", i);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000084}
85#define arch_atomic_sub_and_test arch_atomic_sub_and_test
86
87/**
88 * arch_atomic_inc - increment atomic variable
89 * @v: pointer of type atomic_t
90 *
91 * Atomically increments @v by 1.
92 */
93static __always_inline void arch_atomic_inc(atomic_t *v)
94{
95 asm volatile(LOCK_PREFIX "incl %0"
David Brazdil0f672f62019-12-10 10:32:29 +000096 : "+m" (v->counter) :: "memory");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000097}
98#define arch_atomic_inc arch_atomic_inc
99
100/**
101 * arch_atomic_dec - decrement atomic variable
102 * @v: pointer of type atomic_t
103 *
104 * Atomically decrements @v by 1.
105 */
106static __always_inline void arch_atomic_dec(atomic_t *v)
107{
108 asm volatile(LOCK_PREFIX "decl %0"
David Brazdil0f672f62019-12-10 10:32:29 +0000109 : "+m" (v->counter) :: "memory");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000110}
111#define arch_atomic_dec arch_atomic_dec
112
113/**
114 * arch_atomic_dec_and_test - decrement and test
115 * @v: pointer of type atomic_t
116 *
117 * Atomically decrements @v by 1 and
118 * returns true if the result is 0, or false for all other
119 * cases.
120 */
121static __always_inline bool arch_atomic_dec_and_test(atomic_t *v)
122{
David Brazdil0f672f62019-12-10 10:32:29 +0000123 return GEN_UNARY_RMWcc(LOCK_PREFIX "decl", v->counter, e);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000124}
125#define arch_atomic_dec_and_test arch_atomic_dec_and_test
126
127/**
128 * arch_atomic_inc_and_test - increment and test
129 * @v: pointer of type atomic_t
130 *
131 * Atomically increments @v by 1
132 * and returns true if the result is zero, or false for all
133 * other cases.
134 */
135static __always_inline bool arch_atomic_inc_and_test(atomic_t *v)
136{
David Brazdil0f672f62019-12-10 10:32:29 +0000137 return GEN_UNARY_RMWcc(LOCK_PREFIX "incl", v->counter, e);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000138}
139#define arch_atomic_inc_and_test arch_atomic_inc_and_test
140
141/**
142 * arch_atomic_add_negative - add and test if negative
143 * @i: integer value to add
144 * @v: pointer of type atomic_t
145 *
146 * Atomically adds @i to @v and returns true
147 * if the result is negative, or false when
148 * result is greater than or equal to zero.
149 */
150static __always_inline bool arch_atomic_add_negative(int i, atomic_t *v)
151{
David Brazdil0f672f62019-12-10 10:32:29 +0000152 return GEN_BINARY_RMWcc(LOCK_PREFIX "addl", v->counter, s, "er", i);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000153}
154#define arch_atomic_add_negative arch_atomic_add_negative
155
156/**
157 * arch_atomic_add_return - add integer and return
158 * @i: integer value to add
159 * @v: pointer of type atomic_t
160 *
161 * Atomically adds @i to @v and returns @i + @v
162 */
163static __always_inline int arch_atomic_add_return(int i, atomic_t *v)
164{
165 return i + xadd(&v->counter, i);
166}
Olivier Deprez157378f2022-04-04 15:47:50 +0200167#define arch_atomic_add_return arch_atomic_add_return
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000168
169/**
170 * arch_atomic_sub_return - subtract integer and return
171 * @v: pointer of type atomic_t
172 * @i: integer value to subtract
173 *
174 * Atomically subtracts @i from @v and returns @v - @i
175 */
176static __always_inline int arch_atomic_sub_return(int i, atomic_t *v)
177{
178 return arch_atomic_add_return(-i, v);
179}
Olivier Deprez157378f2022-04-04 15:47:50 +0200180#define arch_atomic_sub_return arch_atomic_sub_return
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000181
182static __always_inline int arch_atomic_fetch_add(int i, atomic_t *v)
183{
184 return xadd(&v->counter, i);
185}
Olivier Deprez157378f2022-04-04 15:47:50 +0200186#define arch_atomic_fetch_add arch_atomic_fetch_add
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000187
188static __always_inline int arch_atomic_fetch_sub(int i, atomic_t *v)
189{
190 return xadd(&v->counter, -i);
191}
Olivier Deprez157378f2022-04-04 15:47:50 +0200192#define arch_atomic_fetch_sub arch_atomic_fetch_sub
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000193
194static __always_inline int arch_atomic_cmpxchg(atomic_t *v, int old, int new)
195{
196 return arch_cmpxchg(&v->counter, old, new);
197}
Olivier Deprez157378f2022-04-04 15:47:50 +0200198#define arch_atomic_cmpxchg arch_atomic_cmpxchg
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000199
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000200static __always_inline bool arch_atomic_try_cmpxchg(atomic_t *v, int *old, int new)
201{
202 return try_cmpxchg(&v->counter, old, new);
203}
Olivier Deprez157378f2022-04-04 15:47:50 +0200204#define arch_atomic_try_cmpxchg arch_atomic_try_cmpxchg
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000205
Olivier Deprez157378f2022-04-04 15:47:50 +0200206static __always_inline int arch_atomic_xchg(atomic_t *v, int new)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000207{
208 return arch_xchg(&v->counter, new);
209}
Olivier Deprez157378f2022-04-04 15:47:50 +0200210#define arch_atomic_xchg arch_atomic_xchg
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000211
Olivier Deprez157378f2022-04-04 15:47:50 +0200212static __always_inline void arch_atomic_and(int i, atomic_t *v)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000213{
214 asm volatile(LOCK_PREFIX "andl %1,%0"
215 : "+m" (v->counter)
216 : "ir" (i)
217 : "memory");
218}
219
Olivier Deprez157378f2022-04-04 15:47:50 +0200220static __always_inline int arch_atomic_fetch_and(int i, atomic_t *v)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000221{
222 int val = arch_atomic_read(v);
223
224 do { } while (!arch_atomic_try_cmpxchg(v, &val, val & i));
225
226 return val;
227}
Olivier Deprez157378f2022-04-04 15:47:50 +0200228#define arch_atomic_fetch_and arch_atomic_fetch_and
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000229
Olivier Deprez157378f2022-04-04 15:47:50 +0200230static __always_inline void arch_atomic_or(int i, atomic_t *v)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000231{
232 asm volatile(LOCK_PREFIX "orl %1,%0"
233 : "+m" (v->counter)
234 : "ir" (i)
235 : "memory");
236}
237
Olivier Deprez157378f2022-04-04 15:47:50 +0200238static __always_inline int arch_atomic_fetch_or(int i, atomic_t *v)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000239{
240 int val = arch_atomic_read(v);
241
242 do { } while (!arch_atomic_try_cmpxchg(v, &val, val | i));
243
244 return val;
245}
Olivier Deprez157378f2022-04-04 15:47:50 +0200246#define arch_atomic_fetch_or arch_atomic_fetch_or
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000247
Olivier Deprez157378f2022-04-04 15:47:50 +0200248static __always_inline void arch_atomic_xor(int i, atomic_t *v)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000249{
250 asm volatile(LOCK_PREFIX "xorl %1,%0"
251 : "+m" (v->counter)
252 : "ir" (i)
253 : "memory");
254}
255
Olivier Deprez157378f2022-04-04 15:47:50 +0200256static __always_inline int arch_atomic_fetch_xor(int i, atomic_t *v)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000257{
258 int val = arch_atomic_read(v);
259
260 do { } while (!arch_atomic_try_cmpxchg(v, &val, val ^ i));
261
262 return val;
263}
Olivier Deprez157378f2022-04-04 15:47:50 +0200264#define arch_atomic_fetch_xor arch_atomic_fetch_xor
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000265
266#ifdef CONFIG_X86_32
267# include <asm/atomic64_32.h>
268#else
269# include <asm/atomic64_64.h>
270#endif
271
Olivier Deprez157378f2022-04-04 15:47:50 +0200272#define ARCH_ATOMIC
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000273
274#endif /* _ASM_X86_ATOMIC_H */