blob: 11c2402060fb86ef424c787d386ceffa958a2a58 (
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
32
33
|
#!/bin/bash
set -eu
trace_type=$1
implem=${IMPLEMENTATION:-ref}
if [ -f traces/${implem}/${trace_type}.patch ]
then
patch=traces/${implem}/${trace_type}.patch
else
patch=traces/${trace_type}.patch
fi
# To update these patches:
# - add the tracing code you need to the source files
# - run "git diff src > traces/foo.patch"
d=$(mktemp -d)
git apply --3way ${patch}
for variant_dir in test/{i,ii}-{128,192,256}
do
make -C ${variant_dir} ${trace_type} IMPLEMENTATION=${implem}
done
cp results/{i,ii}-{128,192,256}/${trace_type}-*.txt ${d}
tar czf results/${trace_type}.tgz -C ${d} .
rm -r ${d}
git apply --3way --reverse ${patch}
|