opt_reduce: Call check() per run rather than per optimised cell

Signed-off-by: David Shah <dave@ds0.me>

diff --git a/passes/opt/opt_reduce.cc b/passes/opt/opt_reduce.cc
index 6a8d8cabdf56f303363fc78a0910d08a199aa7d4..09f6e12e90cc83f724ba1c50757a4b87026a82a1 100644 (file)
--- a/passes/opt/opt_reduce.cc
+++ b/passes/opt/opt_reduce.cc
@@ -235,7 +235,6 @@ struct OptReduceWorker
                        log("      New connections: %s = %s\n", log_signal(old_sig_conn.first), log_signal(old_sig_conn.second));
 
                        module->connect(old_sig_conn);
-                       module->check();
 
                        did_something = true;
                        total_count++;
@@ -324,6 +323,8 @@ struct OptReduceWorker
                                opt_mux(cell);
                        }
                }
+
+               module->check();
        }
 };