locking/atomics: Use read-write instrumentation for atomic RMWs

. ${ATOMICDIR}/atomic-tbl.sh

#gen_param_check(arg)

#gen_param_check(meta, arg)

gen_param_check()

{

	local meta="$1"; shift

	local arg="$1"; shift

	local type="${arg%%:*}"

	local name="$(gen_param_name "${arg}")"

	i) return;;

	esac

	# We don't write to constant parameters

	[ ${type#c} != ${type} ] && rw="read"

	if [ ${type#c} != ${type} ]; then

		# We don't write to constant parameters.

		rw="read"

	elif [ "${meta}" != "s" ]; then

		# An atomic RMW: if this parameter is not a constant, and this atomic is

		# not just a 's'tore, this parameter is both read from and written to.

		rw="read_write"

	fi

	printf "\tinstrument_atomic_${rw}(${name}, sizeof(*${name}));\n"

}

#gen_param_check(arg...)

#gen_params_checks(meta, arg...)

gen_params_checks()

{

	local meta="$1"; shift

	while [ "$#" -gt 0 ]; do

		gen_param_check "$1"

		gen_param_check "$meta" "$1"

		shift;

	done

}

	local ret="$(gen_ret_type "${meta}" "${int}")"

	local params="$(gen_params "${int}" "${atomic}" "$@")"

	local checks="$(gen_params_checks "$@")"

	local checks="$(gen_params_checks "${meta}" "$@")"

	local args="$(gen_args "$@")"

	local retstmt="$(gen_ret_stmt "${meta}")"