Merge branch 'typed-continuations' into forwarding

effect-handlers · Aug 20, 2023 · 6540956 · 6540956
2 parents e76c90e + 81ee017
commit 6540956
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/cranelift/codegen/src/context.rs b/cranelift/codegen/src/context.rs
@@ -185,7 +185,7 @@ impl Context {
         self.remove_constant_phis(isa)?;
 
         if opt_level != OptLevel::None {
-            self.egraph_pass()?;
+            self.egraph_pass(isa)?;
         }
 
         Ok(())
@@ -345,7 +345,10 @@ impl Context {
     }
 
     /// Run optimizations via the egraph infrastructure.
-    pub fn egraph_pass(&mut self) -> CodegenResult<()> {
+    pub fn egraph_pass<'a, FOI>(&mut self, fisa: FOI) -> CodegenResult<()>
+    where
+        FOI: Into<FlagsOrIsa<'a>>,
+    {
         let _tt = timing::egraph();
 
         trace!(
@@ -363,6 +366,7 @@ impl Context {
         pass.run();
         log::debug!("egraph stats: {:?}", pass.stats);
         trace!("After egraph optimization:\n{}", self.func.display());
-        Ok(())
+
+        self.verify_if(fisa)
     }
 }