From eb4539f151d6a7bffec3176f2a105072e6a5bbe4 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Tue, 9 Sep 2025 04:50:57 -0700 Subject: [PATCH] Smallfixes --- passes/opt/wreduce.cc | 6 +++--- tests/silimate/opt_balance_tree.ys | 8 ++++---- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/passes/opt/wreduce.cc b/passes/opt/wreduce.cc index 6dae9d59f..9450cb329 100644 --- a/passes/opt/wreduce.cc +++ b/passes/opt/wreduce.cc @@ -482,14 +482,14 @@ struct WreduceWorker SigBit bit(mi.sigmap(conn.second[i])); bit_drivers_db[bit] = tuple(cell->name, conn.first); } - } } + } + } // Build wire mapping for dependency tracking dict bit_to_wire_map; - for (auto w : module->wires()) { + for (auto w : module->wires()) for (auto bit : mi.sigmap(w)) bit_to_wire_map[bit] = w; - } // Create unified topological sort for both cells and wires TopoSort unified_toposort; diff --git a/tests/silimate/opt_balance_tree.ys b/tests/silimate/opt_balance_tree.ys index 17372867d..508f5fc24 100644 --- a/tests/silimate/opt_balance_tree.ys +++ b/tests/silimate/opt_balance_tree.ys @@ -99,7 +99,7 @@ select @c_cells @y_cell %i -assert-count 1 select @x_cell %co3 @y_cell %i -assert-count 1 # Check that z is (a & b) & (c & d) -select @x_cell %co3 @z_cell %i +select @x_cell %co3 @z_cell %i -assert-count 1 select @c_and_d_cells %co3 @z_cell %i -assert-count 1 design -reset @@ -168,7 +168,7 @@ select @c_cells @y_pre_cell %i -assert-count 1 select @x_cell %co3 @y_pre_cell %i -assert-count 1 # Check that z is (a & b) & (c & d) -select @x_cell %co3 @z_cell %i +select @x_cell %co3 @z_cell %i -assert-count 1 select @c_and_d_cells %co3 @z_cell %i -assert-count 1 design -reset @@ -524,7 +524,7 @@ select @c_cells @y_cell %i -assert-count 1 select @x_cell %co3 @y_cell %i -assert-count 1 # Check that z is (a + b) + (c + d) -select @x_cell %co3 @z_cell %i +select @x_cell %co3 @z_cell %i -assert-count 1 select @c_plus_d_cells %co3 @z_cell %i -assert-count 1 design -reset @@ -597,7 +597,7 @@ select @c_cells @y_pre_cell %i -assert-count 1 select @x_cell %co3 @y_pre_cell %i -assert-count 1 # Check that z is (a + b) + (c + d) -select @x_cell %co3 @z_cell %i +select @x_cell %co3 @z_cell %i -assert-count 1 select @c_plus_d_cells %co3 @z_cell %i -assert-count 1 design -reset