Add updated DIS post-processing scripts from (rejected) RTSS'20 paper

These are compatible with the outputs of all the DIS stressmarks
as instumented with `extra.h`.

1 files changed, 16 insertions, 1 deletions

diff --git a/dis/postproc.sh b/dis/postproc.sh
index c5dd1c9..efe6774 100755
--- a/dis/postproc.sh
+++ b/dis/postproc.sh
@@ -1,3 +1,18 @@
 #!/bin/bash
-./summarize.py $1.txt > $1-pp.txt
+# 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