Skip to content
Snippets Groups Projects
Commit fedab41c authored by Andrea Gussoni's avatar Andrea Gussoni
Browse files

Add revng script to extract boundaries info

parent 69dd349f
No related branches found
No related tags found
No related merge requests found
#!/bin/bash
if [ $# -eq 0 ]; then
echo "No arguments supplied"
exit 1
fi
basepath=$(pwd)
arch=$1
workdir=$basepath/workdir-$arch
json_dir=$workdir/revng-json
isolated_ll_dir=$workdir/revng-isolated
if [ ! -d $json_dir ]; then
mkdir $json_dir;
fi
timing_path=$workdir/timings
if [ ! -d $timing_path ]; then
mkdir $timing_path;
fi
cd $arch
for filename in *
do
/usr/bin/time --format="%S,%U,%e,%M" -o "$timing_path/$filename.revng-boundaries-extraction.time" json-printer $isolated_ll_dir/$filename.ll.isolated.purged.sroa
mv $isolated_ll_dir/$filename.ll.isolated.purged.sroa.json.revng $json_dir/$filename.ll.isolated.json.revng
done;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment