From da29cf8556bd9010d2a64e749469541579c6749f Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Mon, 4 Mar 2024 17:31:07 +1000
Subject: [PATCH] add run-arm-tv.pl

---
 .github/workflows/aslp.yml | 32 ++++++++++++++++++++++++++++++--
 1 file changed, 30 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/aslp.yml b/.github/workflows/aslp.yml
index 3563c8eb1..45914bfa4 100644
--- a/.github/workflows/aslp.yml
+++ b/.github/workflows/aslp.yml
@@ -21,6 +21,34 @@ jobs:
       with:
         name: pac-nix
         useDaemon: false
+    - run: ./build.sh
+      shell: "nix develop github:katrinafyi/pac-nix#alive2-aslp --command bash -e {0}"
+
+    # XXX this should be nixed eventually...
+    - run: sudo apt-get install libbsd-resource-perl libsys-cpu-perl
     - run: |
-        nix develop 'github:katrinafyi/pac-nix#alive2-aslp' \
-          --command ./build.sh
+        wget https://users.cs.utah.edu/~regehr/arm-tests.tar.bz2
+        tar xf arm-tests.tar.bz2
+        rm -rf logs
+
+    - name: ./backend_tv/scripts/run-arm-tv.pl
+      run: |
+        nix shell github:katrinafyi/pac-nix#aslp --command aslp-server >aslp-server.out &
+        ASLP_PID=$!
+
+        export TIMEOUT=3
+        export LLVMDIS=$(which llvm-dis)
+        export BACKENDTV=$(realpath build/backend-tv)
+
+        ./backend_tv/scripts/run-arm-tv.pl ./arm-tests
+
+        kill $ASLP_PID
+      shell: "nix develop github:katrinafyi/pac-nix#alive2-aslp --command bash -eo pipefail {0}"
+
+    - run: tar caf logs.tar.zst logs
+    - uses: actions/upload-artifact@v4
+      with:
+        name: logs
+        path: logs.tar.zst
+
+