update pipeline

cucapra · Oct 17, 2024 · f240c56 · f240c56
1 parent d9e5fb4
commit f240c56
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/crates/filament/src/main.rs b/crates/filament/src/main.rs
@@ -91,15 +91,12 @@ fn run(opts: &cmdline::Opts) -> Result<(), u64> {
     };
     ir = log_pass! { opts; ip::Monomorphize::transform(&ir, &mut gen_exec), "monomorphize"};
     ir_pass_pipeline! { opts, ir;
-        ip::BuildDomination,
-        ip::IntervalCheck,
         ip::FSMAttributes,
         ip::Simplify,
         ip::AssignCheck,
         ip::BundleElim,
         ip::AssignCheck,
-        ip::Schedule,
-        ip::Discharge
+        ip::Schedule
     }
 
     // Return early if we're asked to dump the interface