Merge branch 'master' into offline-difftest

chipsalliance · Jun 11, 2024 · 5871d97 · 5871d97
2 parents fe4f9e3 + 42ba1dd
commit 5871d97
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/nix/t1/om.nix b/nix/t1/om.nix
@@ -8,8 +8,10 @@
 
 let
   omReaderArgs = lib.filter (s: s != "") [
+    "run"
     "--mlirbc-file"
-    "${mlirbc}/${mlirbc.elaborateTarget}-${mlirbc.elaborateConfig}.mlirbc"
+    "${mlirbc}/${mlirbc.elaborateTarget}-${mlirbc.elaborateConfig}-lowered.mlirbc"
+    "--dump-methods"
   ];
 in
 stdenvNoCC.mkDerivation {
@@ -18,7 +20,7 @@ stdenvNoCC.mkDerivation {
   nativeBuildInputs = [ circt omreader ];
 
   buildCommand = ''
-    omreader ${lib.escapeShellArgs omReaderArgs}
+    omreader ${lib.escapeShellArgs omReaderArgs} > $out
   '';
 
   meta.description = "Call CLI dumps OM properties from MLIR bytecodes";