1#!/bin/sh
2# SPDX-License-Identifier: GPL-2.0+
3#
4# Runs the C-language litmus tests matching the specified criteria
5# that do not already have a corresponding .litmus.out file, and does
6# not judge the result.
7#
8# sh newlitmushist.sh
9#
10# Run from the Linux kernel tools/memory-model directory.
11# See scripts/parseargs.sh for list of arguments.
12#
13# Copyright IBM Corporation, 2018
14#
15# Author: Paul E. McKenney <paulmck@linux.ibm.com>
16
17. scripts/parseargs.sh
18
19T=/tmp/newlitmushist.sh.$$
20trap 'rm -rf $T' 0
21mkdir $T
22
23if test -d litmus
24then
25	:
26else
27	echo Run scripts/initlitmushist.sh first, need litmus repo.
28	exit 1
29fi
30
31# Create any new directories that have appeared in the github litmus
32# repo since the last run.
33if test "$LKMM_DESTDIR" != "."
34then
35	find litmus -type d -print |
36	( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
37fi
38
39# Create a list of the C-language litmus tests previously run.
40( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
41	sed -e 's/\.out$//' |
42	xargs -r grep -L "^P${LKMM_PROCS}"> $T/list-C-already
43
44# Form full list of litmus tests with no more than the specified
45# number of processes (per the --procs argument).
46find litmus -name '*.litmus' -print | mselect7 -arch C > $T/list-C-all
47xargs < $T/list-C-all -r grep -L "^P${LKMM_PROCS}" > $T/list-C-short
48
49# Form list of new tests.  Note: This does not handle litmus-test deletion!
50sort $T/list-C-already $T/list-C-short | uniq -u > $T/list-C-new
51
52# Form list of litmus tests that have changed since the last run.
53sed < $T/list-C-short -e 's,^.*$,if test & -nt '"$LKMM_DESTDIR"'/&.out; then echo &; fi,' > $T/list-C-script
54sh $T/list-C-script > $T/list-C-newer
55
56# Merge the list of new and of updated litmus tests: These must be (re)run.
57sort -u $T/list-C-new $T/list-C-newer > $T/list-C-needed
58
59scripts/runlitmushist.sh < $T/list-C-needed
60
61exit 0
62