blob: dc47d6e016abbac9f9347d0d67cb4eaf6e792061 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#!/bin/bash
#
# Script that checks that critical functions in TSan runtime have correct number
# of push/pop/rsp instructions to verify that runtime is efficient enough.
set -u
if [[ "$#" != 1 ]]; then
echo "Usage: $0 /path/to/binary/built/with/tsan"
exit 1
fi
SCRIPTDIR=$(dirname $0)
RES=$(${SCRIPTDIR}/analyze_libtsan.sh $1)
PrintRes() {
printf "%s\n" "$RES"
}
PrintRes
check() {
res=$(PrintRes | egrep "$1 .* $2 $3; ")
if [ "$res" == "" ]; then
echo FAILED $1 must contain $2 $3
exit 1
fi
}
for f in write1; do
check $f rsp 1
check $f push 2
check $f pop 2
done
for f in write2 write4; do
check $f rsp 1
check $f push 4
check $f pop 4
done
for f in write8; do
check $f rsp 1
check $f push 3
check $f pop 3
done
for f in read1; do
check $f rsp 1
check $f push 6
check $f pop 6
done
for f in read2 read4 read8; do
check $f rsp 1
check $f push 5
check $f pop 5
done
for f in func_entry func_exit; do
check $f rsp 0
check $f push 0
check $f pop 0
check $f call 1 # TraceSwitch()
done
echo LGTM
|
