Reimplement static-timing pass.

calyx/src/default_passes.rs

@@ -6,7 +6,7 @@ use crate::passes::{
     InferStaticTiming, LowerGuards, MergeAssign, MinimizeRegs, Papercut,
     ParToSeq, RegisterUnsharing, RemoveCombGroups, ResetInsertion,
     ResourceSharing, SimplifyGuards, SynthesisPapercut, TopDownCompileControl,
-    WellFormed, WireInliner,
+    TopDownStaticTiming, WellFormed, WireInliner,
 };
 use crate::{
     errors::CalyxResult, ir::traversal::Named, pass_manager::PassManager,
@@ -36,6 +36,7 @@ impl PassManager {
         // Compilation passes
         pm.register_pass::<CompileInvoke>()?;
         pm.register_pass::<RemoveCombGroups>()?;
+        pm.register_pass::<TopDownStaticTiming>()?;
         pm.register_pass::<TopDownCompileControl>()?;
 
         // Lowering passes
@@ -76,7 +77,12 @@ impl PassManager {
         register_alias!(
             pm,
             "compile",
-            [CompileInvoke, CompileEmpty, TopDownCompileControl]
+            [
+                CompileInvoke,
+                CompileEmpty,
+                TopDownStaticTiming,
+                TopDownCompileControl
+            ]
         );
         register_alias!(
             pm,

calyx/src/passes/mod.rs

@@ -28,6 +28,7 @@ mod sharing_components;
 mod simplify_guards;
 mod synthesis_papercut;
 mod top_down_compile_control;
+mod top_down_static_timing;
 mod well_formed;
 mod wire_inliner;
 
@@ -59,5 +60,6 @@ pub use sharing_components::ShareComponents;
 pub use simplify_guards::SimplifyGuards;
 pub use synthesis_papercut::SynthesisPapercut;
 pub use top_down_compile_control::TopDownCompileControl;
+pub use top_down_static_timing::TopDownStaticTiming;
 pub use well_formed::WellFormed;
 pub use wire_inliner::WireInliner;