#!/bin/bash# SPDX-License-Identifier: GPL-2.0+## Run herd7 tests on all .litmus files in the litmus-tests directory# and check each file's result against a "Result:" comment within that# litmus test.  If the verification result does not match that specified# in the litmus test, this script prints an error message prefixed with# "^^^".  It also outputs verification results to a file whose name is# that of the specified litmus test, but with ".out" appended.## If the --hw argument is specified, this script translates the .litmus# C-language file to the specified type of assembly and verifies that.# But in this case, litmus tests using complex synchronization (such as# locking, RCU, and SRCU) are cheerfully ignored.## Usage:#	checkalllitmus.sh## Run this in the directory containing the memory model.## This script makes no attempt to run the litmus tests concurrently.## Copyright IBM Corporation, 2018## Author: Paul E. McKenney <paulmck@linux.ibm.com> . scripts/parseargs.sh litmusdir=litmus-testsif test -d "$litmusdir" -a -r "$litmusdir" -a -x "$litmusdir"then	:else	echo ' --- ' error: $litmusdir is not an accessible directory	exit 255fi # Create any new directories that have appeared in the litmus-tests# directory since the last run.if test "$LKMM_DESTDIR" != "."then	find $litmusdir -type d -print |	( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )fi # Run the script on all the litmus tests in the specified directoryret=0for i in $litmusdir/*.litmusdo	if test -n "$LKMM_HW_MAP_FILE" && ! scripts/simpletest.sh $i	then		continue	fi	if ! scripts/checklitmus.sh $i	then		ret=1	fidoneif test "$ret" -ne 0then	echo " ^^^ VERIFICATION MISMATCHES" 1>&2else	echo All litmus tests verified as was expected. 1>&2fiexit $ret