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