From 6532c8f449e76cd095e5a7678943900792d59138 Mon Sep 17 00:00:00 2001 From: Quentin Bourgerie Date: Fri, 20 May 2022 12:03:34 +0200 Subject: [PATCH] fix(compiler): Canonicalize before MANP analysis --- compiler/lib/Support/Pipeline.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/lib/Support/Pipeline.cpp b/compiler/lib/Support/Pipeline.cpp index 38d5f0af8..6c63e09af 100644 --- a/compiler/lib/Support/Pipeline.cpp +++ b/compiler/lib/Support/Pipeline.cpp @@ -72,6 +72,7 @@ getFHEConstraintsFromFHE(mlir::MLIRContext &context, mlir::ModuleOp &module, mlir::PassManager pm(&context); pipelinePrinting("ComputeFHEConstraintOnFHE", pm, context); + addPotentiallyNestedPass(pm, mlir::createCanonicalizerPass(), enablePass); addPotentiallyNestedPass(pm, mlir::concretelang::createMANPPass(), enablePass); addPotentiallyNestedPass(