Turn off canonicalization for interpreter

risc0 · Sep 5, 2024 · 71af6f8 · 71af6f8
1 parent cfd3ff4
commit 71af6f8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/zirgen/dsl/driver.cpp b/zirgen/dsl/driver.cpp
@@ -298,7 +298,9 @@ int runTests(mlir::ModuleOp& module) {
   pm.addPass(mlir::createInlinerPass());
   mlir::OpPassManager& opm = pm.nest<zirgen::Zhlt::StepFuncOp>();
   opm.addPass(zirgen::ZStruct::createUnrollPass());
-  opm.addPass(mlir::createCanonicalizerPass());
+  // Canonicalization at this point seems to be unprofitable when running in the
+  // interpreter
+  // opm.addPass(mlir::createCanonicalizerPass());
   opm.addPass(mlir::createCSEPass());
   if (failed(pm.run(module))) {
     llvm::errs() << "an internal compiler error occurred while inlining the tests:\n";