1 files changed, 58 insertions, 0 deletions

diff --git a/test b/test
new file mode 100755
index 0000000..d70c720
--- /dev/null
+++ b/test
@@ -0,0 +1,58 @@
+#!/bin/bash
+
+set -eu
+
+FILTER=()
+
+while [[ $# != 0 ]]; do
+    if [[ $1 == "-h" ]]; then
+        cat <<END
+Usage: ./test [options ...] [tests ...]
+
+Options:
+    -h      This help message
+    -e      Show emit rows
+    -f      Show fetch rows
+    -i      Show instruction rows
+    -m      Show rows with memory traffic
+    -r      Show rows with writeback (retire)
+
+For the filtering options: if one or more filters are set, then rows which
+match any filter are shown. If no filter is set, then all rows are shown.
+END
+        exit
+    elif [[ $1 == "-e" ]]; then
+        shift
+        FILTER+=("*")
+    elif [[ $1 == "-f" ]]; then
+        shift
+        FILTER+=("F")
+    elif [[ $1 == "-i" ]]; then
+        shift
+        FILTER+=("D")
+    elif [[ $1 == "-m" ]]; then
+        shift
+        FILTER+=("f" "s")
+    elif [[ $1 == "-r" ]]; then
+        shift
+        FILTER+=("W")
+    else
+        break
+    fi
+done
+
+if [[ $# == 0 ]]; then
+    for TEST in $(ls -1 tests); do
+        set -- "$@" "${TEST%.hex}"
+    done
+fi
+
+make
+
+for TEST in "$@"; do
+    make "build/tests/$TEST.bin"
+    (
+        echo "$TEST"
+        ./procmodel "build/tests/$TEST.bin" | ./pt "${FILTER[@]}"
+    ) | less -S
+done