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