#!/bin/bash
# This takes the saved output from the timing code in `extra.h`, summarizes
# it, and converts LLC masks to decimals.
# This is compatible with the output of all the current DIS runner scripts.
if echo $1 | grep -q ".txt"; then
    echo "Don't include .txt! Exiting..."
    exit
fi
if echo $1 | grep -q "\-pp"; then
    echo "Don't include -pp! Exiting..."
    exit
fi
if [[ ! -f $1.txt ]]; then
    echo "Input does not exist. Exiting..."
    exit
fi
./summarize.py $1.txt --inf-precision > $1-pp.txt
./clean.sh $1-pp.txt