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

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 @@
1	#!/bin/bash	1	#!/bin/bash
2	./summarize.py $1.txt > $1-pp.txt	2	# This takes the saved output from the timing code in `extra.h`, summarizes
		3	# it, and converts LLC masks to decimals.
		4	# This is compatible with the output of all the current DIS runner scripts.
		5	if echo $1 \| grep -q ".txt"; then
		6	echo "Don't include .txt! Exiting..."
		7	exit
		8	fi
		9	if echo $1 \| grep -q "\-pp"; then
		10	echo "Don't include -pp! Exiting..."
		11	exit
		12	fi
		13	if [[ ! -f $1.txt ]]; then
		14	echo "Input does not exist. Exiting..."
		15	exit
		16	fi
		17	./summarize.py $1.txt --inf-precision > $1-pp.txt
3	./clean.sh $1-pp.txt	18	./clean.sh $1-pp.txt