1#!/bin/sh
2# SPDX-License-Identifier: GPL-2.0+
3#
4# Runs the C-language litmus tests having a maximum number of processes
5# to run, defaults to 6.
6#
7# sh checkghlitmus.sh
8#
9# Run from the Linux kernel tools/memory-model directory.  See the
10# parseargs.sh scripts for arguments.
11
12. scripts/parseargs.sh
13
14T=/tmp/checkghlitmus.sh.$$
15trap 'rm -rf $T' 0
16mkdir $T
17
18# Clone the repository if it is not already present.
19if test -d litmus
20then
21	:
22else
23	git clone https://github.com/paulmckrcu/litmus
24	( cd litmus; git checkout origin/master )
25fi
26
27# Create any new directories that have appeared in the github litmus
28# repo since the last run.
29if test "$LKMM_DESTDIR" != "."
30then
31	find litmus -type d -print |
32	( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
33fi
34
35# Create a list of the C-language litmus tests previously run.
36( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
37	sed -e 's/\.out$//' |
38	xargs -r egrep -l '^ \* Result: (Never|Sometimes|Always|DEADLOCK)' |
39	xargs -r grep -L "^P${LKMM_PROCS}"> $T/list-C-already
40
41# Create a list of C-language litmus tests with "Result:" commands and
42# no more than the specified number of processes.
43find litmus -name '*.litmus' -exec grep -l -m 1 "^C " {} \; > $T/list-C
44xargs < $T/list-C -r egrep -l '^ \* Result: (Never|Sometimes|Always|DEADLOCK)' > $T/list-C-result
45xargs < $T/list-C-result -r grep -L "^P${LKMM_PROCS}" > $T/list-C-result-short
46
47# Form list of tests without corresponding .litmus.out files
48sort $T/list-C-already $T/list-C-result-short | uniq -u > $T/list-C-needed
49
50# Run any needed tests.
51if scripts/runlitmushist.sh < $T/list-C-needed > $T/run.stdout 2> $T/run.stderr
52then
53	errs=
54else
55	errs=1
56fi
57
58sed < $T/list-C-result-short -e 's,^,scripts/judgelitmus.sh ,' |
59	sh > $T/judge.stdout 2> $T/judge.stderr
60
61if test -n "$errs"
62then
63	cat $T/run.stderr 1>&2
64fi
65grep '!!!' $T/judge.stdout
66