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
67
68
69
70
71
72
|
#!/bin/bash
CSV=perfs.csv
TDIR=test/monniaux/yarpgen
CCOMP_ROOT_BTL_NEW=/home/yuki/Work/VERIMAG/Compcert_two
CCOMP_ROOT_BTL_OLD=/home/yuki/Work/VERIMAG/Compcert_three
CCOMP_ROOT_RTL=/home/yuki/Work/VERIMAG/Compcert_one
FILTER_BTL_NEW=simu_check_single_1421
FILTER_BTL_OLD_LIVE=liveness_checker_720
FILTER_BTL_OLD_SB=simu_check_1445
FILTER_RTL_LIVE=list_path_checker_706
FILTER_RTL_SB=function_equiv_checker_235
clean_n_build () {
cd $CCOMP_ROOT_BTL_NEW/$TDIR
rm perf.*.data
make clean && make tests_c tests_s
cd $CCOMP_ROOT_BTL_OLD/$TDIR
rm perf.*.data
make clean && make tests_c tests_s
cd $CCOMP_ROOT_RTL/$TDIR
rm perf.*.data
make clean && make tests_c tests_s
echo "file,btl_new ($FILTER_BTL_NEW),btl_old ($FILTER_BTL_OLD_LIVE + $FILTER_BTL_OLD_SB),rtl ($FILTER_RTL_LIVE + $FILTER_RTL_SB)" > $CSV
}
check_result () {
if [[ $1 ]]; then
echo "$1"
else
echo "0"
fi
}
awk_filter () {
res=$(echo "$1" | awk -F "," '/%*ccomp/ { print substr($1,2,length($1)-4) }')
check_result $res
}
perf_btl_new () {
cd $CCOMP_ROOT_BTL_NEW/$TDIR
perc_btl_new=$(awk_filter "$(perf report -t , --stdio --symbol-filter=$FILTER_BTL_NEW -i $1)")
}
perf_btl_old () {
cd $CCOMP_ROOT_BTL_OLD/$TDIR
btl_live=$(awk_filter "$(perf report -t , --stdio --symbol-filter=$FILTER_BTL_OLD_LIVE -i $1)")
btl_sb=$(awk_filter "$(perf report -t , --stdio --symbol-filter=$FILTER_BTL_OLD_SB -i $1)")
echo "btl_old: $btl_live + $btl_sb"
perc_btl_old=$(bc <<< "$btl_live + $btl_sb")
}
perf_rtl () {
cd $CCOMP_ROOT_RTL/$TDIR
rtl_live=$(awk_filter "$(perf report -t , --stdio --symbol-filter=$FILTER_RTL_LIVE -i $1)")
rtl_sb=$(awk_filter "$(perf report -t , --stdio --symbol-filter=$FILTER_RTL_SB -i $1)")
echo "rtl_old: $rtl_live + $rtl_sb"
perc_rtl=$(bc <<< "$rtl_live + $rtl_sb")
}
rdir=$(pwd)
clean_n_build
for file in $CCOMP_ROOT_RTL/$TDIR/perf.*; do
bfile=$(basename $file)
perf_btl_new "$bfile"
perf_btl_old "$bfile"
perf_rtl "$bfile"
cd $rdir
echo "$file, $perc_btl_new, $perc_btl_old, $perc_rtl"
echo "$file, $perc_btl_new, $perc_btl_old, $perc_rtl" >> $CSV
done
|
