fix(compiler): Canonicalize before MANP analysis

This commit is contained in:
Quentin Bourgerie
2022-05-20 12:03:34 +02:00
parent 6bb1e05658
commit 6532c8f449

View File

@@ -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(