From b45e5854bfe19fa3c433e327fce19012e1b395c7 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Mon, 25 Aug 2025 16:36:07 +0200 Subject: [PATCH] opt_muxtree: comment wording --- passes/opt/opt_muxtree.cc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/passes/opt/opt_muxtree.cc b/passes/opt/opt_muxtree.cc index ae9b1a632..98803b935 100644 --- a/passes/opt/opt_muxtree.cc +++ b/passes/opt/opt_muxtree.cc @@ -427,14 +427,17 @@ struct OptMuxtreeWorker if (root_enable_muxes.at(m)) continue; else if (root_muxes.at(m)) { + // This leaf node of the current tree + // is the root of an input tree of the current tree if (limits.recursions_left == 0) { - // Ran out of subtree depth, re-eval this subtree in the next re-run + // Ran out of subtree depth, re-eval this input tree in the next re-run root_mux_rerun.insert(m); root_enable_muxes.at(m) = true; log_debug(" Removing pure flag from root mux %s.\n", log_id(mux2info[m].cell)); } else { auto new_limits = limits.subtree(); - // Since our knowledge includes assumption, we can't generally allow replacing based on it + // Since our knowledge includes assumption, + // we can't generally allow replacing in an input tree based on it new_limits.do_replace_known = false; eval_mux(knowledge, m, new_limits); }