diff --git a/xls/passes/optimization_pass_pipeline.cc b/xls/passes/optimization_pass_pipeline.cc index afdf4ccc99..fa08cb3089 100644 --- a/xls/passes/optimization_pass_pipeline.cc +++ b/xls/passes/optimization_pass_pipeline.cc @@ -107,8 +107,6 @@ void AddSimplificationPasses(OptimizationCompoundPass& pass) { pass.Add(); pass.Add(); pass.Add(); - pass.Add(); - pass.Add(); pass.Add(/*use_bdd=*/false); pass.Add(); pass.Add(); @@ -258,6 +256,9 @@ class PostInliningOptPassGroup : public OptimizationCompoundPass { Add(); Add(); + Add(); + Add(); + Add(/*use_bdd=*/true); Add();