^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) #!/bin/sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) # SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) # helpers for dealing with atomics.tbl
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) #meta_in(meta, match)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) meta_in()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) case "$1" in
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) [$2]) return 0;;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) esac
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) return 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) #meta_has_ret(meta)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) meta_has_ret()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) meta_in "$1" "bBiIfFlR"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) #meta_has_acquire(meta)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) meta_has_acquire()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) meta_in "$1" "BFIlR"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) #meta_has_release(meta)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) meta_has_release()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) meta_in "$1" "BFIRs"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) #meta_has_relaxed(meta)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) meta_has_relaxed()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) meta_in "$1" "BFIR"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39) #find_fallback_template(pfx, name, sfx, order)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40) find_fallback_template()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) local pfx="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43) local name="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44) local sfx="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45) local order="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47) local base=""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) local file=""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50) # We may have fallbacks for a specific case (e.g. read_acquire()), or
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) # an entire class, e.g. *inc*().
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) # Start at the most specific, and fall back to the most general. Once
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) # we find a specific fallback, don't bother looking for more.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) for base in "${pfx}${name}${sfx}${order}" "${name}"; do
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56) file="${ATOMICDIR}/fallbacks/${base}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58) if [ -f "${file}" ]; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59) printf "${file}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60) break
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61) fi
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62) done
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) #gen_ret_type(meta, int)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) gen_ret_type() {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67) local meta="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) local int="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) case "${meta}" in
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 71) [sv]) printf "void";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 72) [bB]) printf "bool";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 73) [aiIfFlR]) printf "${int}";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 74) esac
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 75) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 76)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 77) #gen_ret_stmt(meta)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 78) gen_ret_stmt()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 79) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 80) if meta_has_ret "${meta}"; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 81) printf "return ";
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 82) fi
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 83) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 84)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 85) # gen_param_name(arg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 86) gen_param_name()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 87) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 88) # strip off the leading 'c' for 'cv'
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 89) local name="${1#c}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 90) printf "${name#*:}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 91) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 92)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 93) # gen_param_type(arg, int, atomic)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 94) gen_param_type()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 95) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 96) local type="${1%%:*}"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 97) local int="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 98) local atomic="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 99)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100) case "${type}" in
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101) i) type="${int} ";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102) p) type="${int} *";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) v) type="${atomic}_t *";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) cv) type="const ${atomic}_t *";;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105) esac
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) printf "${type}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110) #gen_param(arg, int, atomic)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111) gen_param()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113) local arg="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114) local int="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) local atomic="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) local name="$(gen_param_name "${arg}")"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117) local type="$(gen_param_type "${arg}" "${int}" "${atomic}")"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) printf "${type}${name}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122) #gen_params(int, atomic, arg...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) gen_params()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125) local int="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126) local atomic="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) while [ "$#" -gt 0 ]; do
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) gen_param "$1" "${int}" "${atomic}"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) [ "$#" -gt 1 ] && printf ", "
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) shift;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132) done
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135) #gen_args(arg...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136) gen_args()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138) while [ "$#" -gt 0 ]; do
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) printf "$(gen_param_name "$1")"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) [ "$#" -gt 1 ] && printf ", "
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) shift;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) done
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145) #gen_proto_order_variants(meta, pfx, name, sfx, ...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146) gen_proto_order_variants()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) local meta="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149) local pfx="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) local name="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151) local sfx="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153) gen_proto_order_variant "${meta}" "${pfx}" "${name}" "${sfx}" "" "$@"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155) if meta_has_acquire "${meta}"; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) gen_proto_order_variant "${meta}" "${pfx}" "${name}" "${sfx}" "_acquire" "$@"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) fi
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158) if meta_has_release "${meta}"; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159) gen_proto_order_variant "${meta}" "${pfx}" "${name}" "${sfx}" "_release" "$@"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) fi
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) if meta_has_relaxed "${meta}"; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) gen_proto_order_variant "${meta}" "${pfx}" "${name}" "${sfx}" "_relaxed" "$@"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163) fi
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166) #gen_proto_variants(meta, name, ...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) gen_proto_variants()
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169) local meta="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170) local name="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) local pfx=""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) local sfx=""
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) meta_in "${meta}" "fF" && pfx="fetch_"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) meta_in "${meta}" "R" && sfx="_return"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) gen_proto_order_variants "${meta}" "${pfx}" "${name}" "${sfx}" "$@"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) #gen_proto(meta, ...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) gen_proto() {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182) local meta="$1"; shift
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) for m in $(echo "${meta}" | grep -o .); do
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184) gen_proto_variants "${m}" "$@"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) done
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) }