added seq splitter pass to default passes

calyxir · Jul 14, 2024 · 951a200 · 951a200
1 parent ea2cf5d
commit 951a200
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/calyx-opt/src/default_passes.rs b/calyx-opt/src/default_passes.rs
@@ -100,6 +100,7 @@ impl PassManager {
                 CompileRepeat,
                 DeadGroupRemoval, // Since previous passes potentially create dead groups
                 CollapseControl,
+                NewFSMs,
             ]
         );
         register_alias!(

diff --git a/calyx-opt/src/passes/new_fsm.rs b/calyx-opt/src/passes/new_fsm.rs
@@ -34,7 +34,7 @@ impl Named for NewFSMs {
     }
 
     fn description() -> &'static str {
-        "Allocate new FSMs within a dynamic group"
+        "Change a sequential dynamic schedule to read from two smaller FSMs"
     }
 
     fn opts() -> Vec<PassOpt> {
@@ -116,9 +116,6 @@ impl Visitor for NewFSMs {
                     min_indx_opt,
                     min_diff_opt,
                 ) {
-                    (None, Some(..)) | (Some(..), None) => {
-                        unreachable!()
-                    }
                     (None, None) => {
                         (Some(curr_indx), Some(curr_diff), curr_indx + 1)
                     }
@@ -129,6 +126,7 @@ impl Visitor for NewFSMs {
                             (Some(min_indx), Some(min_diff), curr_indx + 1)
                         }
                     }
+                    _ => unreachable!(),
                 },
             );