[tests] add cover demo

Signed-off-by: Clo91eaf <[email protected]>
chipsalliance · Jan 6, 2025 · 53d4202 · 53d4202
1 parent 575aef8
commit 53d4202
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/tests/mlir/default.nix b/tests/mlir/default.nix
@@ -4,6 +4,7 @@
 , findAndBuild
 , getTestRequiredFeatures
 , t1main
+, jq
 }:
 
 let
@@ -54,6 +55,13 @@ let
           ${caseName}.c $pname.S ${t1main} \
           -o $pname.elf
 
+        if [ -f ${caseName}.json ]; then
+          ${jq}/bin/jq -r '[.assert[] | "+assert " + .name] + [.tree[] | "+tree " + .name] + [.module[] | "+module " + .name] | .[]' \
+              ${caseName}.json > $pname.cover
+        else 
+          echo "-assert *" > $pname.cover
+        fi
+
         runHook postBuild
       '';
 

diff --git a/tests/mlir/hello/hello.json b/tests/mlir/hello/hello.json
@@ -0,0 +1,10 @@
+{
+  "assert": [
+    {
+      "name": "vmv_v_i",
+      "description": "single instruction vmv.v.i"
+    }
+  ],
+  "tree": [],
+  "module": []
+}