tools/memory-model/scripts/checkalllitmus.sh

   1 #!/bin/bash
   2 # SPDX-License-Identifier: GPL-2.0+
   3 #
   4 # Run herd7 tests on all .litmus files in the litmus-tests directory
   5 # and check each file's result against a "Result:" comment within that
   6 # litmus test.  If the verification result does not match that specified
   7 # in the litmus test, this script prints an error message prefixed with
   8 # "^^^".  It also outputs verification results to a file whose name is
   9 # that of the specified litmus test, but with ".out" appended.
  10 #
  11 # If the --hw argument is specified, this script translates the .litmus
  12 # C-language file to the specified type of assembly and verifies that.
  13 # But in this case, litmus tests using complex synchronization (such as
  14 # locking, RCU, and SRCU) are cheerfully ignored.
  15 #
  16 # Usage:
  17 #       checkalllitmus.sh
  18 #
  19 # Run this in the directory containing the memory model.
  20 #
  21 # This script makes no attempt to run the litmus tests concurrently.
  22 #
  23 # Copyright IBM Corporation, 2018
  24 #
  25 # Author: Paul E. McKenney <paulmck@linux.ibm.com>
  26
  27 . scripts/parseargs.sh
  28
  29 litmusdir=litmus-tests
  30 if test -d "$litmusdir" -a -r "$litmusdir" -a -x "$litmusdir"
  31 then
  32         :
  33 else
  34         echo ' --- ' error: $litmusdir is not an accessible directory
  35         exit 255
  36 fi
  37
  38 # Create any new directories that have appeared in the litmus-tests
  39 # directory since the last run.
  40 if test "$LKMM_DESTDIR" != "."
  41 then
  42         find $litmusdir -type d -print |
  43         ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
  44 fi
  45
  46 # Run the script on all the litmus tests in the specified directory
  47 ret=0
  48 for i in $litmusdir/*.litmus
  49 do
  50         if test -n "$LKMM_HW_MAP_FILE" && ! scripts/simpletest.sh $i
  51         then
  52                 continue
  53         fi
  54         if ! scripts/checklitmus.sh $i
  55         then
  56                 ret=1
  57         fi
  58 done
  59 if test "$ret" -ne 0
  60 then
  61         echo " ^^^ VERIFICATION MISMATCHES" 1>&2
  62 else
  63         echo All litmus tests verified as was expected. 1>&2
  64 fi
  65 exit $ret