Home | History | Annotate | Line # | Download | only in tsan 
      1 #!/bin/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 
     14 set -u
     15 
     16 if [[ "$#" != 1 ]]; then
     17   echo "Usage: $0 /path/to/binary/built/with/tsan"
     18   exit 1
     19 fi
     20 
     21 SCRIPTDIR=$(dirname $0)
     22 RES=$(${SCRIPTDIR}/analyze_libtsan.sh $1)
     23 PrintRes() {
     24   printf "%s\n" "$RES"
     25 }
     26 
     27 PrintRes
     28 
     29 check() {
     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 for f in write1 write2 write4 write8 read2 read4; do
     38   check $f rsp 1
     39   check $f push 1
     40   check $f pop 6
     41 done
     42 
     43 for f in read1 read8; do
     44   check $f rsp 1
     45   check $f push 2
     46   check $f pop 12
     47 done
     48 
     49 for f in func_entry func_exit; do
     50   check $f rsp 0
     51   check $f push 0
     52   check $f pop 0
     53   check $f call 1  # TraceSwitch()
     54 done
     55 
     56 echo LGTM
     57