1#!/usr/bin/env bash
2#
3# Script that checks that critical functions in TSan runtime have correct number
4# of push/pop/rsp instructions to verify that runtime is efficient enough.
5#
6# This test can fail when backend code generation changes the output for various
7# tsan interceptors. When such a change happens, you can ensure that the
8# performance has not regressed by running the following benchmarks before and
9# after the breaking change to verify that the values in this file are safe to
10# update:
11# ./projects/compiler-rt/lib/tsan/tests/rtl/TsanRtlTest-x86_64-Test
12#   --gtest_also_run_disabled_tests --gtest_filter=DISABLED_BENCH.Mop*
13
14set -u
15
16if [[ "$#" != 1 ]]; then
17  echo "Usage: $0 /path/to/binary/built/with/tsan"
18  exit 1
19fi
20
21SCRIPTDIR=$(dirname $0)
22RES=$(${SCRIPTDIR}/analyze_libtsan.sh $1)
23PrintRes() {
24  printf "%s\n" "$RES"
25}
26
27PrintRes
28
29check() {
30  res=$(PrintRes | egrep "$1 .* $2 $3; ")
31  if [ "$res" == "" ]; then
32    echo FAILED $1 must contain $2 $3
33    exit 1
34  fi
35}
36
37# All hot functions must contain no PUSH/POP
38# and no CALLs (everything is tail-called).
39for f in write1 write2 write4 write8; do
40  check $f rsp 1
41  check $f push 0
42  check $f pop 0
43  check $f call 0
44done
45
46for f in read1 read2 read4 read8; do
47  check $f rsp 1
48  check $f push 0
49  check $f pop 0
50  check $f call 0
51done
52
53for f in func_entry func_exit; do
54  check $f rsp 0
55  check $f push 0
56  check $f pop 0
57  check $f call 0
58done
59
60echo LGTM
61