memory-model/scripts/cmplitmushist.sh

2 # SPDX-License-Identifier: GPL-2.0+
11 trap 'rm -rf $T' 0
23 	if grep -q ': Unknown macro ' $1 || grep -q ': Unknown macro ' $2
25 		if grep -q ': Unknown macro ' $1
28 				sed -e 's/^.*: Unknown macro //' |
29 				sed -e 's/ (User error).*$//'`
32 		if grep -q ': Unknown macro ' $2
35 				sed -e 's/^.*: Unknown macro //' |
36 				sed -e 's/ (User error).*$//'`
41 	elif grep -q '^Command exited with non-zero status 124' $1 ||
42 	     grep -q '^Command exited with non-zero status 124' $2
44 		if grep -q '^Command exited with non-zero status 124' $1 &&
45 		   grep -q '^Command exited with non-zero status 124' $2
48 		elif grep -q '^Command exited with non-zero status 124' $1
51 		elif grep -q '^Command exited with non-zero status 124' $2
58 	grep -v 'maxresident)k\|minor)pagefaults\|^Time' $1 > $T/oldout
59 	grep -v 'maxresident)k\|minor)pagefaults\|^Time' $2 > $T/newout
60 	if cmp -s $T/oldout $T/newout && grep -q '^Observation' $1
69 	if test -s $T/oldout -o -s $T/newout
71 		if cmp -s $T/oldout $T/newout
85 	if cmp -s $T/oldout $T/newout
96 sed -e 's/^.*$/comparetest &.out &.out.new/' > $T/cmpscript
100 echo ' ---' Summary: 1>&2
102 if test "$perfect" -ne 0
106 if test "$obsline" -ne 0
110 if test "$noobsline" -ne 0
114 if test "$obsresult" -ne 0
118 if test "$timedout" -ne 0
122 if test "$badmacnam" -ne 0
126 if test "$badcompare" -ne 0