function-boundaries-analysis.sh

#!/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;