1 #!/bin/sh 1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0 2 # SPDX-License-Identifier: GPL-2.0
3 3
4 ATOMICDIR=$(dirname $0) 4 ATOMICDIR=$(dirname $0)
5 5
6 . ${ATOMICDIR}/atomic-tbl.sh 6 . ${ATOMICDIR}/atomic-tbl.sh
7 7
8 #gen_template_fallback(template, meta, pfx, na 8 #gen_template_fallback(template, meta, pfx, name, sfx, order, atomic, int, args...)
9 gen_template_fallback() 9 gen_template_fallback()
10 { 10 {
11 local template="$1"; shift 11 local template="$1"; shift
12 local meta="$1"; shift 12 local meta="$1"; shift
13 local pfx="$1"; shift 13 local pfx="$1"; shift
14 local name="$1"; shift 14 local name="$1"; shift
15 local sfx="$1"; shift 15 local sfx="$1"; shift
16 local order="$1"; shift 16 local order="$1"; shift
17 local atomic="$1"; shift 17 local atomic="$1"; shift
18 local int="$1"; shift 18 local int="$1"; shift
19 19
>> 20 local atomicname="arch_${atomic}_${pfx}${name}${sfx}${order}"
>> 21
20 local ret="$(gen_ret_type "${meta}" "$ 22 local ret="$(gen_ret_type "${meta}" "${int}")"
21 local retstmt="$(gen_ret_stmt "${meta} 23 local retstmt="$(gen_ret_stmt "${meta}")"
22 local params="$(gen_params "${int}" "$ 24 local params="$(gen_params "${int}" "${atomic}" "$@")"
23 local args="$(gen_args "$@")" 25 local args="$(gen_args "$@")"
24 26
25 . ${template} !! 27 if [ ! -z "${template}" ]; then
>> 28 printf "#ifndef ${atomicname}\n"
>> 29 . ${template}
>> 30 printf "#define ${atomicname} ${atomicname}\n"
>> 31 printf "#endif\n\n"
>> 32 fi
26 } 33 }
27 34
28 #gen_order_fallback(meta, pfx, name, sfx, orde !! 35 #gen_proto_fallback(meta, pfx, name, sfx, order, atomic, int, args...)
29 gen_order_fallback() !! 36 gen_proto_fallback()
30 { 37 {
31 local meta="$1"; shift 38 local meta="$1"; shift
32 local pfx="$1"; shift 39 local pfx="$1"; shift
33 local name="$1"; shift 40 local name="$1"; shift
34 local sfx="$1"; shift 41 local sfx="$1"; shift
35 local order="$1"; shift 42 local order="$1"; shift
36 43
37 local tmpl_order=${order#_} !! 44 local tmpl="$(find_fallback_template "${pfx}" "${name}" "${sfx}" "${order}")"
38 local tmpl="${ATOMICDIR}/fallbacks/${t <<
39 gen_template_fallback "${tmpl}" "${met 45 gen_template_fallback "${tmpl}" "${meta}" "${pfx}" "${name}" "${sfx}" "${order}" "$@"
40 } 46 }
41 47
42 #gen_proto_fallback(meta, pfx, name, sfx, orde !! 48 #gen_basic_fallbacks(basename)
43 gen_proto_fallback() !! 49 gen_basic_fallbacks()
>> 50 {
>> 51 local basename="$1"; shift
>> 52 cat << EOF
>> 53 #define ${basename}_acquire ${basename}
>> 54 #define ${basename}_release ${basename}
>> 55 #define ${basename}_relaxed ${basename}
>> 56 EOF
>> 57 }
>> 58
>> 59 gen_proto_order_variant()
44 { 60 {
45 local meta="$1"; shift 61 local meta="$1"; shift
46 local pfx="$1"; shift 62 local pfx="$1"; shift
47 local name="$1"; shift 63 local name="$1"; shift
48 local sfx="$1"; shift 64 local sfx="$1"; shift
49 local order="$1"; shift 65 local order="$1"; shift
>> 66 local atomic="$1"
50 67
51 local tmpl="$(find_fallback_template " !! 68 local basename="arch_${atomic}_${pfx}${name}${sfx}"
52 gen_template_fallback "${tmpl}" "${met !! 69
>> 70 printf "#define ${basename}${order} ${basename}${order}\n"
53 } 71 }
54 72
55 #gen_proto_order_variant(meta, pfx, name, sfx, !! 73 #gen_proto_order_variants(meta, pfx, name, sfx, atomic, int, args...)
56 gen_proto_order_variant() !! 74 gen_proto_order_variants()
57 { 75 {
58 local meta="$1"; shift 76 local meta="$1"; shift
59 local pfx="$1"; shift 77 local pfx="$1"; shift
60 local name="$1"; shift 78 local name="$1"; shift
61 local sfx="$1"; shift 79 local sfx="$1"; shift
62 local order="$1"; shift !! 80 local atomic="$1"
63 local atomic="$1"; shift <<
64 local int="$1"; shift <<
65 81
66 local atomicname="${atomic}_${pfx}${na !! 82 local basename="arch_${atomic}_${pfx}${name}${sfx}"
67 local basename="${atomic}_${pfx}${name <<
68 83
69 local template="$(find_fallback_templa 84 local template="$(find_fallback_template "${pfx}" "${name}" "${sfx}" "${order}")"
70 85
71 local ret="$(gen_ret_type "${meta}" "$ !! 86 # If we don't have relaxed atomics, then we don't bother with ordering fallbacks
72 local retstmt="$(gen_ret_stmt "${meta} !! 87 # read_acquire and set_release need to be templated, though
73 local params="$(gen_params "${int}" "$ !! 88 if ! meta_has_relaxed "${meta}"; then
74 local args="$(gen_args "$@")" !! 89 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "" "$@"
75 !! 90
76 gen_kerneldoc "raw_" "${meta}" "${pfx} !! 91 if meta_has_acquire "${meta}"; then
>> 92 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "_acquire" "$@"
>> 93 fi
>> 94
>> 95 if meta_has_release "${meta}"; then
>> 96 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "_release" "$@"
>> 97 fi
77 98
78 printf "static __always_inline ${ret}\ <<
79 printf "raw_${atomicname}(${params})\n <<
80 printf "{\n" <<
81 <<
82 # Where there is no possible fallback, <<
83 # and must be provided by arch code. A <<
84 # make this obvious. <<
85 # <<
86 # Ideally we'd error on a missing defi <<
87 # define this order variant as a C fun <<
88 # symbol. <<
89 if [ -z ${template} ] && [ -z "${order <<
90 printf "\t${retstmt}arch_${ato <<
91 printf "}\n\n" <<
92 return 99 return
93 fi 100 fi
94 101
95 printf "#if defined(arch_${atomicname} !! 102 printf "#ifndef ${basename}_relaxed\n"
96 printf "\t${retstmt}arch_${atomicname} <<
97 <<
98 # Allow FULL/ACQUIRE/RELEASE ops to be <<
99 if [ "${order}" != "_relaxed" ] && met <<
100 printf "#elif defined(arch_${b <<
101 gen_order_fallback "${meta}" " <<
102 fi <<
103 103
104 # Allow ACQUIRE/RELEASE/RELAXED ops to <<
105 if [ ! -z "${order}" ] && ! meta_is_im <<
106 printf "#elif defined(arch_${b <<
107 printf "\t${retstmt}arch_${bas <<
108 fi <<
109 <<
110 printf "#else\n" <<
111 if [ ! -z "${template}" ]; then 104 if [ ! -z "${template}" ]; then
112 gen_proto_fallback "${meta}" " !! 105 printf "#ifdef ${basename}\n"
113 else <<
114 printf "#error \"Unable to def <<
115 fi 106 fi
116 107
117 printf "#endif\n" !! 108 gen_basic_fallbacks "${basename}"
118 printf "}\n\n" <<
119 } <<
120 <<
121 <<
122 #gen_proto_order_variants(meta, pfx, name, sfx <<
123 gen_proto_order_variants() <<
124 { <<
125 local meta="$1"; shift <<
126 local pfx="$1"; shift <<
127 local name="$1"; shift <<
128 local sfx="$1"; shift <<
129 local atomic="$1" <<
130 <<
131 gen_proto_order_variant "${meta}" "${p <<
132 109
133 if meta_has_acquire "${meta}"; then !! 110 if [ ! -z "${template}" ]; then
134 gen_proto_order_variant "${met !! 111 printf "#endif /* ${basename} */\n\n"
>> 112 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "" "$@"
>> 113 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "_acquire" "$@"
>> 114 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "_release" "$@"
>> 115 gen_proto_fallback "${meta}" "${pfx}" "${name}" "${sfx}" "_relaxed" "$@"
135 fi 116 fi
136 117
137 if meta_has_release "${meta}"; then !! 118 printf "#else /* ${basename}_relaxed */\n\n"
138 gen_proto_order_variant "${met <<
139 fi <<
140 119
141 if meta_has_relaxed "${meta}"; then !! 120 gen_template_fallback "${ATOMICDIR}/fallbacks/acquire" "${meta}" "${pfx}" "${name}" "${sfx}" "_acquire" "$@"
142 gen_proto_order_variant "${met !! 121 gen_template_fallback "${ATOMICDIR}/fallbacks/release" "${meta}" "${pfx}" "${name}" "${sfx}" "_release" "$@"
143 fi !! 122 gen_template_fallback "${ATOMICDIR}/fallbacks/fence" "${meta}" "${pfx}" "${name}" "${sfx}" "" "$@"
144 } <<
145 123
146 #gen_basic_fallbacks(basename) !! 124 printf "#endif /* ${basename}_relaxed */\n\n"
147 gen_basic_fallbacks() <<
148 { <<
149 local basename="$1"; shift <<
150 cat << EOF <<
151 #define raw_${basename}_acquire arch_${basenam <<
152 #define raw_${basename}_release arch_${basenam <<
153 #define raw_${basename}_relaxed arch_${basenam <<
154 EOF <<
155 } 125 }
156 126
157 gen_order_fallbacks() 127 gen_order_fallbacks()
158 { 128 {
159 local xchg="$1"; shift 129 local xchg="$1"; shift
160 130
161 cat <<EOF 131 cat <<EOF
162 132
163 #define raw_${xchg}_relaxed arch_${xchg}_relax !! 133 #ifndef ${xchg}_acquire
164 !! 134 #define ${xchg}_acquire(...) \\
165 #ifdef arch_${xchg}_acquire !! 135 __atomic_op_acquire(${xchg}, __VA_ARGS__)
166 #define raw_${xchg}_acquire arch_${xchg}_acqui <<
167 #else <<
168 #define raw_${xchg}_acquire(...) \\ <<
169 __atomic_op_acquire(arch_${xchg}, __VA <<
170 #endif 136 #endif
171 137
172 #ifdef arch_${xchg}_release !! 138 #ifndef ${xchg}_release
173 #define raw_${xchg}_release arch_${xchg}_relea !! 139 #define ${xchg}_release(...) \\
174 #else !! 140 __atomic_op_release(${xchg}, __VA_ARGS__)
175 #define raw_${xchg}_release(...) \\ <<
176 __atomic_op_release(arch_${xchg}, __VA <<
177 #endif 141 #endif
178 142
179 #ifdef arch_${xchg} !! 143 #ifndef ${xchg}
180 #define raw_${xchg} arch_${xchg} !! 144 #define ${xchg}(...) \\
181 #else !! 145 __atomic_op_fence(${xchg}, __VA_ARGS__)
182 #define raw_${xchg}(...) \\ <<
183 __atomic_op_fence(arch_${xchg}, __VA_A <<
184 #endif 146 #endif
185 147
186 EOF 148 EOF
187 } 149 }
188 150
189 gen_xchg_order_fallback() !! 151 gen_xchg_fallbacks()
190 { 152 {
191 local xchg="$1"; shift 153 local xchg="$1"; shift
192 local order="$1"; shift !! 154 printf "#ifndef ${xchg}_relaxed\n"
193 local forder="${order:-_fence}" <<
194 155
195 printf "#if defined(arch_${xchg}${orde !! 156 gen_basic_fallbacks ${xchg}
196 printf "#define raw_${xchg}${order} ar <<
197 157
198 if [ "${order}" != "_relaxed" ]; then !! 158 printf "#else /* ${xchg}_relaxed */\n"
199 printf "#elif defined(arch_${x <<
200 printf "#define raw_${xchg}${o <<
201 printf " __atomic_op${f <<
202 fi <<
203 159
204 if [ ! -z "${order}" ]; then !! 160 gen_order_fallbacks ${xchg}
205 printf "#elif defined(arch_${x <<
206 printf "#define raw_${xchg}${o <<
207 fi <<
208 161
209 printf "#else\n" !! 162 printf "#endif /* ${xchg}_relaxed */\n\n"
210 printf "extern void raw_${xchg}${order <<
211 printf "#define raw_${xchg}${order}(.. <<
212 printf "#endif\n\n" <<
213 } <<
214 <<
215 gen_xchg_fallbacks() <<
216 { <<
217 local xchg="$1"; shift <<
218 <<
219 for order in "" "_acquire" "_release" <<
220 gen_xchg_order_fallback "${xch <<
221 done <<
222 } 163 }
223 164
224 gen_try_cmpxchg_fallback() 165 gen_try_cmpxchg_fallback()
225 { 166 {
226 local prefix="$1"; shift <<
227 local cmpxchg="$1"; shift; 167 local cmpxchg="$1"; shift;
228 local suffix="$1"; shift; !! 168 local order="$1"; shift;
229 169
230 cat <<EOF 170 cat <<EOF
231 #define raw_${prefix}try_${cmpxchg}${suffix}(_ !! 171 #ifndef arch_try_${cmpxchg}${order}
>> 172 #define arch_try_${cmpxchg}${order}(_ptr, _oldp, _new) \\
232 ({ \\ 173 ({ \\
233 typeof(*(_ptr)) *___op = (_oldp), ___o 174 typeof(*(_ptr)) *___op = (_oldp), ___o = *___op, ___r; \\
234 ___r = raw_${prefix}${cmpxchg}${suffix !! 175 ___r = arch_${cmpxchg}${order}((_ptr), ___o, (_new)); \\
235 if (unlikely(___r != ___o)) \\ 176 if (unlikely(___r != ___o)) \\
236 *___op = ___r; \\ 177 *___op = ___r; \\
237 likely(___r == ___o); \\ 178 likely(___r == ___o); \\
238 }) 179 })
>> 180 #endif /* arch_try_${cmpxchg}${order} */
>> 181
239 EOF 182 EOF
240 } 183 }
241 184
242 gen_try_cmpxchg_order_fallback() !! 185 gen_try_cmpxchg_fallbacks()
243 { 186 {
244 local cmpxchg="$1"; shift !! 187 local cmpxchg="$1"; shift;
245 local order="$1"; shift <<
246 local forder="${order:-_fence}" <<
247 188
248 printf "#if defined(arch_try_${cmpxchg !! 189 printf "#ifndef arch_try_${cmpxchg}_relaxed\n"
249 printf "#define raw_try_${cmpxchg}${or !! 190 printf "#ifdef arch_try_${cmpxchg}\n"
250 191
251 if [ "${order}" != "_relaxed" ]; then !! 192 gen_basic_fallbacks "arch_try_${cmpxchg}"
252 printf "#elif defined(arch_try <<
253 printf "#define raw_try_${cmpx <<
254 printf " __atomic_op${f <<
255 fi <<
256 193
257 if [ ! -z "${order}" ]; then !! 194 printf "#endif /* arch_try_${cmpxchg} */\n\n"
258 printf "#elif defined(arch_try <<
259 printf "#define raw_try_${cmpx <<
260 fi <<
261 <<
262 printf "#else\n" <<
263 gen_try_cmpxchg_fallback "" "${cmpxchg <<
264 printf "#endif\n\n" <<
265 } <<
266 <<
267 gen_try_cmpxchg_order_fallbacks() <<
268 { <<
269 local cmpxchg="$1"; shift; <<
270 195
271 for order in "" "_acquire" "_release" 196 for order in "" "_acquire" "_release" "_relaxed"; do
272 gen_try_cmpxchg_order_fallback !! 197 gen_try_cmpxchg_fallback "${cmpxchg}" "${order}"
273 done 198 done
274 } <<
275 199
276 gen_def_and_try_cmpxchg_fallback() !! 200 printf "#else /* arch_try_${cmpxchg}_relaxed */\n"
277 { !! 201
278 local prefix="$1"; shift !! 202 gen_order_fallbacks "arch_try_${cmpxchg}"
279 local cmpxchg="$1"; shift !! 203
280 local suffix="$1"; shift !! 204 printf "#endif /* arch_try_${cmpxchg}_relaxed */\n\n"
281 <<
282 printf "#define raw_${prefix}${cmpxchg <<
283 printf "#ifdef arch_${prefix}try_${cmp <<
284 printf "#define raw_${prefix}try_${cmp <<
285 printf "#else\n" <<
286 gen_try_cmpxchg_fallback "${prefix}" " <<
287 printf "#endif\n\n" <<
288 } 205 }
289 206
290 cat << EOF 207 cat << EOF
291 // SPDX-License-Identifier: GPL-2.0 208 // SPDX-License-Identifier: GPL-2.0
292 209
293 // Generated by $0 210 // Generated by $0
294 // DO NOT MODIFY THIS FILE DIRECTLY 211 // DO NOT MODIFY THIS FILE DIRECTLY
295 212
296 #ifndef _LINUX_ATOMIC_FALLBACK_H 213 #ifndef _LINUX_ATOMIC_FALLBACK_H
297 #define _LINUX_ATOMIC_FALLBACK_H 214 #define _LINUX_ATOMIC_FALLBACK_H
298 215
299 #include <linux/compiler.h> 216 #include <linux/compiler.h>
300 217
301 EOF 218 EOF
302 219
303 for xchg in "xchg" "cmpxchg" "cmpxchg64" "cmpx !! 220 for xchg in "arch_xchg" "arch_cmpxchg" "arch_cmpxchg64"; do
304 gen_xchg_fallbacks "${xchg}" 221 gen_xchg_fallbacks "${xchg}"
305 done 222 done
306 223
307 for cmpxchg in "cmpxchg" "cmpxchg64" "cmpxchg1 !! 224 for cmpxchg in "cmpxchg" "cmpxchg64"; do
308 gen_try_cmpxchg_order_fallbacks "${cmp !! 225 gen_try_cmpxchg_fallbacks "${cmpxchg}"
309 done <<
310 <<
311 for cmpxchg in "cmpxchg" "cmpxchg64" "cmpxchg1 <<
312 gen_def_and_try_cmpxchg_fallback "" "$ <<
313 done 226 done
314 227
315 for cmpxchg in "cmpxchg"; do !! 228 for cmpxchg in "cmpxchg_local" "cmpxchg64_local"; do
316 gen_def_and_try_cmpxchg_fallback "sync !! 229 gen_try_cmpxchg_fallback "${cmpxchg}" ""
317 done 230 done
318 231
319 grep '^[a-z]' "$1" | while read name meta args 232 grep '^[a-z]' "$1" | while read name meta args; do
320 gen_proto "${meta}" "${name}" "atomic" 233 gen_proto "${meta}" "${name}" "atomic" "int" ${args}
321 done 234 done
322 235
323 cat <<EOF 236 cat <<EOF
324 #ifdef CONFIG_GENERIC_ATOMIC64 237 #ifdef CONFIG_GENERIC_ATOMIC64
325 #include <asm-generic/atomic64.h> 238 #include <asm-generic/atomic64.h>
326 #endif 239 #endif
327 240
328 EOF 241 EOF
329 242
330 grep '^[a-z]' "$1" | while read name meta args 243 grep '^[a-z]' "$1" | while read name meta args; do
331 gen_proto "${meta}" "${name}" "atomic6 244 gen_proto "${meta}" "${name}" "atomic64" "s64" ${args}
332 done 245 done
333 246
334 cat <<EOF 247 cat <<EOF
335 #endif /* _LINUX_ATOMIC_FALLBACK_H */ 248 #endif /* _LINUX_ATOMIC_FALLBACK_H */
336 EOF 249 EOF
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.