add test to CI

opencompl · Apr 24, 2024 · 22ce700 · 22ce700
1 parent 53a0165
commit 22ce700
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,14 +39,24 @@ jobs:
           lake -R exe cache get # download cache of mathlib docs.
           lake -R build AliveScaling
 
-      - name: Compile Executable 🧐
+      - name: Compile `mlirnatural`Executable 🧐
         run: |
           lake -R exe cache get # download cache of mathlib docs.
           lake -R build mlirnatural
+
       - name: LLVM Exhaustive Enumeration
         run: |
           sudo apt install llvm-15 # for opt-15, used to simplify LLVM for reference semantics.
-          cd test/bruteforce-correctness && ./run.sh
+          cd test/bruteforce-correctness && ./run.sh && cd ../../
+
+      - name: Compile `opt` Executable 🧐
+        run: |
+          lake -R exe cache get # download cache of mathlib docs.
+          lake -R build opt
+
+      - name: LLVM opt round trip test
+        run: |
+          lake exec opt test/LLVMDialect/InstCombine/bb0.mlir
 
 #     - name: Run executable ⚙️
 #       run: |