| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 1 | /* |
| 2 | * This file is subject to the terms and conditions of the GNU General Public |
| 3 | * License. See the file "COPYING" in the main directory of this archive |
| 4 | * for more details. |
| 5 | * |
| 6 | * Copyright (C) 2003, 06, 07 by Ralf Baechle (ralf@linux-mips.org) |
| 7 | */ |
| 8 | #ifndef __ASM_CMPXCHG_H |
| 9 | #define __ASM_CMPXCHG_H |
| 10 | |
| Aaro Koskinen | 5520e42 | 2012-07-19 09:11:15 +0200 | [diff] [blame] | 11 | #include <linux/bug.h> |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 12 | #include <linux/irqflags.h> |
| Maciej W. Rozycki | b0984c4 | 2014-11-15 22:08:48 +0000 | [diff] [blame] | 13 | #include <asm/compiler.h> |
| David Howells | b81947c | 2012-03-28 18:30:02 +0100 | [diff] [blame] | 14 | #include <asm/war.h> |
| 15 | |
| Paul Burton | 6b1e762 | 2017-06-09 17:26:33 -0700 | [diff] [blame] | 16 | /* |
| 17 | * Using a branch-likely instruction to check the result of an sc instruction |
| 18 | * works around a bug present in R10000 CPUs prior to revision 3.0 that could |
| 19 | * cause ll-sc sequences to execute non-atomically. |
| 20 | */ |
| 21 | #if R10000_LLSC_WAR |
| 22 | # define __scbeqz "beqzl" |
| 23 | #else |
| 24 | # define __scbeqz "beqz" |
| 25 | #endif |
| 26 | |
| Paul Burton | d15dc68 | 2017-06-09 17:26:36 -0700 | [diff] [blame^] | 27 | /* |
| 28 | * These functions doesn't exist, so if they are called you'll either: |
| 29 | * |
| 30 | * - Get an error at compile-time due to __compiletime_error, if supported by |
| 31 | * your compiler. |
| 32 | * |
| 33 | * or: |
| 34 | * |
| 35 | * - Get an error at link-time due to the call to the missing function. |
| 36 | */ |
| 37 | extern void __cmpxchg_called_with_bad_pointer(void) |
| 38 | __compiletime_error("Bad argument size for cmpxchg"); |
| 39 | extern unsigned long __xchg_called_with_bad_pointer(void) |
| 40 | __compiletime_error("Bad argument size for xchg"); |
| 41 | |
| Paul Burton | 5154f3b | 2017-06-09 17:26:34 -0700 | [diff] [blame] | 42 | #define __xchg_asm(ld, st, m, val) \ |
| 43 | ({ \ |
| 44 | __typeof(*(m)) __ret; \ |
| 45 | \ |
| 46 | if (kernel_uses_llsc) { \ |
| 47 | __asm__ __volatile__( \ |
| 48 | " .set push \n" \ |
| 49 | " .set noat \n" \ |
| 50 | " .set " MIPS_ISA_ARCH_LEVEL " \n" \ |
| 51 | "1: " ld " %0, %2 # __xchg_asm \n" \ |
| 52 | " .set mips0 \n" \ |
| 53 | " move $1, %z3 \n" \ |
| 54 | " .set " MIPS_ISA_ARCH_LEVEL " \n" \ |
| 55 | " " st " $1, %1 \n" \ |
| 56 | "\t" __scbeqz " $1, 1b \n" \ |
| 57 | " .set pop \n" \ |
| 58 | : "=&r" (__ret), "=" GCC_OFF_SMALL_ASM() (*m) \ |
| 59 | : GCC_OFF_SMALL_ASM() (*m), "Jr" (val) \ |
| 60 | : "memory"); \ |
| 61 | } else { \ |
| 62 | unsigned long __flags; \ |
| 63 | \ |
| 64 | raw_local_irq_save(__flags); \ |
| 65 | __ret = *m; \ |
| 66 | *m = val; \ |
| 67 | raw_local_irq_restore(__flags); \ |
| 68 | } \ |
| 69 | \ |
| 70 | __ret; \ |
| 71 | }) |
| 72 | |
| David Howells | b81947c | 2012-03-28 18:30:02 +0100 | [diff] [blame] | 73 | static inline unsigned long __xchg_u32(volatile int * m, unsigned int val) |
| 74 | { |
| 75 | __u32 retval; |
| 76 | |
| 77 | smp_mb__before_llsc(); |
| Paul Burton | 5154f3b | 2017-06-09 17:26:34 -0700 | [diff] [blame] | 78 | retval = __xchg_asm("ll", "sc", m, val); |
| David Howells | b81947c | 2012-03-28 18:30:02 +0100 | [diff] [blame] | 79 | smp_llsc_mb(); |
| 80 | |
| 81 | return retval; |
| 82 | } |
| 83 | |
| 84 | #ifdef CONFIG_64BIT |
| 85 | static inline __u64 __xchg_u64(volatile __u64 * m, __u64 val) |
| 86 | { |
| 87 | __u64 retval; |
| 88 | |
| 89 | smp_mb__before_llsc(); |
| Paul Burton | 5154f3b | 2017-06-09 17:26:34 -0700 | [diff] [blame] | 90 | retval = __xchg_asm("lld", "scd", m, val); |
| David Howells | b81947c | 2012-03-28 18:30:02 +0100 | [diff] [blame] | 91 | smp_llsc_mb(); |
| 92 | |
| 93 | return retval; |
| 94 | } |
| 95 | #else |
| 96 | extern __u64 __xchg_u64_unsupported_on_32bit_kernels(volatile __u64 * m, __u64 val); |
| 97 | #define __xchg_u64 __xchg_u64_unsupported_on_32bit_kernels |
| 98 | #endif |
| 99 | |
| 100 | static inline unsigned long __xchg(unsigned long x, volatile void * ptr, int size) |
| 101 | { |
| 102 | switch (size) { |
| 103 | case 4: |
| 104 | return __xchg_u32(ptr, x); |
| 105 | case 8: |
| 106 | return __xchg_u64(ptr, x); |
| Paul Burton | d15dc68 | 2017-06-09 17:26:36 -0700 | [diff] [blame^] | 107 | default: |
| 108 | return __xchg_called_with_bad_pointer(); |
| David Howells | b81947c | 2012-03-28 18:30:02 +0100 | [diff] [blame] | 109 | } |
| David Howells | b81947c | 2012-03-28 18:30:02 +0100 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | #define xchg(ptr, x) \ |
| 113 | ({ \ |
| 114 | BUILD_BUG_ON(sizeof(*(ptr)) & ~0xc); \ |
| 115 | \ |
| 116 | ((__typeof__(*(ptr))) \ |
| 117 | __xchg((unsigned long)(x), (ptr), sizeof(*(ptr)))); \ |
| 118 | }) |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 119 | |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 120 | #define __cmpxchg_asm(ld, st, m, old, new) \ |
| 121 | ({ \ |
| 122 | __typeof(*(m)) __ret; \ |
| 123 | \ |
| Paul Burton | 6b1e762 | 2017-06-09 17:26:33 -0700 | [diff] [blame] | 124 | if (kernel_uses_llsc) { \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 125 | __asm__ __volatile__( \ |
| 126 | " .set push \n" \ |
| 127 | " .set noat \n" \ |
| Markos Chandras | fa998eb | 2014-11-20 13:31:48 +0000 | [diff] [blame] | 128 | " .set "MIPS_ISA_ARCH_LEVEL" \n" \ |
| Ralf Baechle | 7034228 | 2013-01-22 12:59:30 +0100 | [diff] [blame] | 129 | "1: " ld " %0, %2 # __cmpxchg_asm \n" \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 130 | " bne %0, %z3, 2f \n" \ |
| 131 | " .set mips0 \n" \ |
| 132 | " move $1, %z4 \n" \ |
| Markos Chandras | fa998eb | 2014-11-20 13:31:48 +0000 | [diff] [blame] | 133 | " .set "MIPS_ISA_ARCH_LEVEL" \n" \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 134 | " " st " $1, %1 \n" \ |
| Paul Burton | 6b1e762 | 2017-06-09 17:26:33 -0700 | [diff] [blame] | 135 | "\t" __scbeqz " $1, 1b \n" \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 136 | " .set pop \n" \ |
| Ralf Baechle | 7837314 | 2010-10-29 19:08:24 +0100 | [diff] [blame] | 137 | "2: \n" \ |
| Markos Chandras | 94bfb75 | 2015-01-26 12:44:11 +0000 | [diff] [blame] | 138 | : "=&r" (__ret), "=" GCC_OFF_SMALL_ASM() (*m) \ |
| 139 | : GCC_OFF_SMALL_ASM() (*m), "Jr" (old), "Jr" (new) \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 140 | : "memory"); \ |
| 141 | } else { \ |
| 142 | unsigned long __flags; \ |
| 143 | \ |
| 144 | raw_local_irq_save(__flags); \ |
| 145 | __ret = *m; \ |
| 146 | if (__ret == old) \ |
| 147 | *m = new; \ |
| 148 | raw_local_irq_restore(__flags); \ |
| 149 | } \ |
| 150 | \ |
| 151 | __ret; \ |
| 152 | }) |
| 153 | |
| David Daney | f252ffd | 2010-01-08 17:17:43 -0800 | [diff] [blame] | 154 | #define __cmpxchg(ptr, old, new, pre_barrier, post_barrier) \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 155 | ({ \ |
| 156 | __typeof__(ptr) __ptr = (ptr); \ |
| 157 | __typeof__(*(ptr)) __old = (old); \ |
| 158 | __typeof__(*(ptr)) __new = (new); \ |
| 159 | __typeof__(*(ptr)) __res = 0; \ |
| 160 | \ |
| David Daney | f252ffd | 2010-01-08 17:17:43 -0800 | [diff] [blame] | 161 | pre_barrier; \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 162 | \ |
| 163 | switch (sizeof(*(__ptr))) { \ |
| 164 | case 4: \ |
| Ralf Baechle | 7034228 | 2013-01-22 12:59:30 +0100 | [diff] [blame] | 165 | __res = __cmpxchg_asm("ll", "sc", __ptr, __old, __new); \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 166 | break; \ |
| 167 | case 8: \ |
| 168 | if (sizeof(long) == 8) { \ |
| 169 | __res = __cmpxchg_asm("lld", "scd", __ptr, \ |
| 170 | __old, __new); \ |
| 171 | break; \ |
| 172 | } \ |
| 173 | default: \ |
| 174 | __cmpxchg_called_with_bad_pointer(); \ |
| 175 | break; \ |
| 176 | } \ |
| 177 | \ |
| David Daney | f252ffd | 2010-01-08 17:17:43 -0800 | [diff] [blame] | 178 | post_barrier; \ |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 179 | \ |
| 180 | __res; \ |
| 181 | }) |
| 182 | |
| David Daney | f252ffd | 2010-01-08 17:17:43 -0800 | [diff] [blame] | 183 | #define cmpxchg(ptr, old, new) __cmpxchg(ptr, old, new, smp_mb__before_llsc(), smp_llsc_mb()) |
| 184 | #define cmpxchg_local(ptr, old, new) __cmpxchg(ptr, old, new, , ) |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 185 | |
| Mathieu Desnoyers | 3b96a56 | 2008-02-07 00:16:09 -0800 | [diff] [blame] | 186 | #ifdef CONFIG_64BIT |
| 187 | #define cmpxchg64_local(ptr, o, n) \ |
| 188 | ({ \ |
| 189 | BUILD_BUG_ON(sizeof(*(ptr)) != 8); \ |
| 190 | cmpxchg_local((ptr), (o), (n)); \ |
| 191 | }) |
| Deng-Cheng Zhu | e2093c7 | 2015-03-07 10:30:20 -0800 | [diff] [blame] | 192 | |
| 193 | #define cmpxchg64(ptr, o, n) \ |
| 194 | ({ \ |
| 195 | BUILD_BUG_ON(sizeof(*(ptr)) != 8); \ |
| 196 | cmpxchg((ptr), (o), (n)); \ |
| 197 | }) |
| Mathieu Desnoyers | 3b96a56 | 2008-02-07 00:16:09 -0800 | [diff] [blame] | 198 | #else |
| 199 | #include <asm-generic/cmpxchg-local.h> |
| 200 | #define cmpxchg64_local(ptr, o, n) __cmpxchg64_local_generic((ptr), (o), (n)) |
| Deng-Cheng Zhu | e2093c7 | 2015-03-07 10:30:20 -0800 | [diff] [blame] | 201 | #define cmpxchg64(ptr, o, n) cmpxchg64_local((ptr), (o), (n)) |
| Mathieu Desnoyers | 3b96a56 | 2008-02-07 00:16:09 -0800 | [diff] [blame] | 202 | #endif |
| 203 | |
| Paul Burton | 6b1e762 | 2017-06-09 17:26:33 -0700 | [diff] [blame] | 204 | #undef __scbeqz |
| 205 | |
| Ralf Baechle | fef7470 | 2007-10-01 04:15:00 +0100 | [diff] [blame] | 206 | #endif /* __ASM_CMPXCHG_H */ |