blob: 9af2428a339c9d5eee89b1d17a7f397d8e9c2d3d (
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
|
#!/bin/bash
# @author gourdinl
# Script to compute profiling results as csv from CI tests
if [ $# -ne 2 ]; then
echo "Usage: ./prof_ci_tests.sh <root_dir> <fct1;fct2;...>"
echo $#
exit 1
fi
RDIR=$1
RESULT=prof.csv
JQ=jq
CCOMP=$RDIR/ccomp
TMP=$RDIR/json_tmp
PROF_FCT=/home/yuki/Work/VERIMAG/Compcert_two/ccomp_profiling/prof_function.sh
LANDMARKSFLAGS="on,format=json,output=temporary:$TMP,time"
FCTS=$2
cd $RDIR
rm -rf $TMP
mkdir $TMP
make -C test clean
export OCAML_LANDMARKS=$LANDMARKSFLAGS
make -j4 -C test all_s
echo "test_name,ratio_cycles,ratio_time" > $RESULT
for file in $TMP/*; do
echo "Computing profiling results for $file"
RATIOS=$($PROF_FCT $JQ $file $FCTS | tail -n 1)
echo $RATIOS >> $RESULT
done
|
