7 grep __tsan_$1.: -A 10000 libtsan.objdump | \
8 awk "/[^:]$/ {print;} />:/ {c++; if (c == 2) {exit}}"
22 BIN=`dirname $0`/tsan_test
23 objdump -d $BIN > libtsan.objdump
24 nm -S $BIN | grep "__tsan_" > libtsan.nm
30 size=$(grep __tsan_$f$ libtsan.nm | awk --non-decimal-data '{print ("0x"$2)+0}')
31 rsp=$(grep '(%rsp)' $file | wc -l)
32 push=$(grep 'push' $file | wc -l)
33 pop=$(grep 'pop' $file | wc -l)
34 call=$(grep 'call' $file | wc -l)
35 load=$(egrep 'mov .*\,.*\(.*\)|cmp .*\,.*\(.*\)' $file | wc -l)
36 store=$(egrep 'mov .*\(.*\),' $file | wc -l)
37 mov=$(grep 'mov' $file | wc -l)
38 lea=$(grep 'lea' $file | wc -l)
39 sh=$(grep 'shr\|shl' $file | wc -l)
40 cmp=$(grep 'cmp\|test' $file | wc -l)
41 printf "%10s tot %3d; size %4d; rsp %d; push %d; pop %d; call %d; load %2d; store %2d; sh %3d; mov %3d; lea %3d; cmp %3d\n" \
42 $f $tot $size $rsp $push $pop $call $load $store $sh $mov $lea $cmp;