1*4882a593Smuzhiyun#!/bin/sh 2*4882a593Smuzhiyun# SPDX-License-Identifier: GPL-2.0+ 3*4882a593Smuzhiyun# 4*4882a593Smuzhiyun# Given a .litmus test and the corresponding .litmus.out file, check 5*4882a593Smuzhiyun# the .litmus.out file against the "Result:" comment to judge whether 6*4882a593Smuzhiyun# the test ran correctly. 7*4882a593Smuzhiyun# 8*4882a593Smuzhiyun# Usage: 9*4882a593Smuzhiyun# judgelitmus.sh file.litmus 10*4882a593Smuzhiyun# 11*4882a593Smuzhiyun# Run this in the directory containing the memory model, specifying the 12*4882a593Smuzhiyun# pathname of the litmus test to check. 13*4882a593Smuzhiyun# 14*4882a593Smuzhiyun# Copyright IBM Corporation, 2018 15*4882a593Smuzhiyun# 16*4882a593Smuzhiyun# Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com> 17*4882a593Smuzhiyun 18*4882a593Smuzhiyunlitmus=$1 19*4882a593Smuzhiyun 20*4882a593Smuzhiyunif test -f "$litmus" -a -r "$litmus" 21*4882a593Smuzhiyunthen 22*4882a593Smuzhiyun : 23*4882a593Smuzhiyunelse 24*4882a593Smuzhiyun echo ' --- ' error: \"$litmus\" is not a readable file 25*4882a593Smuzhiyun exit 255 26*4882a593Smuzhiyunfi 27*4882a593Smuzhiyunif test -f "$LKMM_DESTDIR/$litmus".out -a -r "$LKMM_DESTDIR/$litmus".out 28*4882a593Smuzhiyunthen 29*4882a593Smuzhiyun : 30*4882a593Smuzhiyunelse 31*4882a593Smuzhiyun echo ' --- ' error: \"$LKMM_DESTDIR/$litmus\".out is not a readable file 32*4882a593Smuzhiyun exit 255 33*4882a593Smuzhiyunfi 34*4882a593Smuzhiyunif grep -q '^ \* Result: ' $litmus 35*4882a593Smuzhiyunthen 36*4882a593Smuzhiyun outcome=`grep -m 1 '^ \* Result: ' $litmus | awk '{ print $3 }'` 37*4882a593Smuzhiyunelse 38*4882a593Smuzhiyun outcome=specified 39*4882a593Smuzhiyunfi 40*4882a593Smuzhiyun 41*4882a593Smuzhiyungrep '^Observation' $LKMM_DESTDIR/$litmus.out 42*4882a593Smuzhiyunif grep -q '^Observation' $LKMM_DESTDIR/$litmus.out 43*4882a593Smuzhiyunthen 44*4882a593Smuzhiyun : 45*4882a593Smuzhiyunelse 46*4882a593Smuzhiyun echo ' !!! Verification error' $litmus 47*4882a593Smuzhiyun if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out 48*4882a593Smuzhiyun then 49*4882a593Smuzhiyun echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmus.out 2>&1 50*4882a593Smuzhiyun fi 51*4882a593Smuzhiyun exit 255 52*4882a593Smuzhiyunfi 53*4882a593Smuzhiyunif test "$outcome" = DEADLOCK 54*4882a593Smuzhiyunthen 55*4882a593Smuzhiyun if grep '^Observation' $LKMM_DESTDIR/$litmus.out | grep -q 'Never 0 0$' 56*4882a593Smuzhiyun then 57*4882a593Smuzhiyun ret=0 58*4882a593Smuzhiyun else 59*4882a593Smuzhiyun echo " !!! Unexpected non-$outcome verification" $litmus 60*4882a593Smuzhiyun if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out 61*4882a593Smuzhiyun then 62*4882a593Smuzhiyun echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmus.out 2>&1 63*4882a593Smuzhiyun fi 64*4882a593Smuzhiyun ret=1 65*4882a593Smuzhiyun fi 66*4882a593Smuzhiyunelif grep '^Observation' $LKMM_DESTDIR/$litmus.out | grep -q $outcome || test "$outcome" = Maybe 67*4882a593Smuzhiyunthen 68*4882a593Smuzhiyun ret=0 69*4882a593Smuzhiyunelse 70*4882a593Smuzhiyun echo " !!! Unexpected non-$outcome verification" $litmus 71*4882a593Smuzhiyun if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out 72*4882a593Smuzhiyun then 73*4882a593Smuzhiyun echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmus.out 2>&1 74*4882a593Smuzhiyun fi 75*4882a593Smuzhiyun ret=1 76*4882a593Smuzhiyunfi 77*4882a593Smuzhiyuntail -2 $LKMM_DESTDIR/$litmus.out | head -1 78*4882a593Smuzhiyunexit $ret 79