Robert O'Callahan 32e96605d4 Don't update used_signals for retained wires in rmunused_module_signals. ...

These updates should not be necessary. In fact, if they were necessary, this code
would be buggy, because the results would depend on the order in which wires are traversed:
If wire A is retained, which causes an update to `used_signals`, which then causes wire B
to be retained when it otherwise wouldn't be, then we would get different results depending
on whether A is visited before B.

These updates will also make it difficult to process these wires in parallel.

2026-01-24 03:41:18 +00:00

..

alumacc.ys

alumacc: add signed-independent comparison tests

2023-10-09 00:36:22 +08:00

bug1525.ys

…

bug1758.ys

…

bug1854.ys

Add new helper class for merging FFs into cells, use for memory_dff.

2021-05-23 14:46:59 +02:00

bug2010.ys

…

bug2221.ys

…

bug2311.ys

…

bug2318.ys

…

bug2623.ys

rtlil: Disallow 0-width chunks in SigSpec.

2021-03-15 17:16:24 +01:00

bug2765.ys

proc_memwr: Use the v2 memwr cell.

2021-08-11 13:34:10 +02:00

bug2766.ys

opt_mem_feedback: Rewrite feedback path finding logic.

2021-05-24 23:20:30 +02:00

bug2824.ys

Add regression test for #2824.

2021-06-11 12:06:35 +01:00

bug2920.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

bug3047.ys

extract_reduce: Refactor and fix input signal construction.

2021-10-21 04:10:01 +02:00

bug3117.ys

memory_share: Fix SAT-based sharing for wide ports.

2021-12-20 18:40:14 +01:00

bug3848.ys

opt_share: Fix input confusion with ANDNOT, ORNOT gates

2023-07-20 20:58:52 +01:00

bug3867.ys

opt_expr: Fix 'signed X>=0' replacement for wide output ports

2023-08-01 13:50:12 +01:00

bug4413.ys

peepopt: avoid shift-amount underflow

2024-06-13 23:30:07 +02:00

bug4610.ys

tests: replace read_ilang with read_rtlil

2024-11-20 14:54:23 +01:00

bug5164.ys

tests: add test for #5164 opt_dff -sat UAF

2025-06-06 23:46:23 +01:00

bug5398.ys

opt_hier: Fix two optimizations conflicting

2025-09-29 12:27:27 +02:00

memory_bmux2rom.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

memory_dff_trans.ys

memory_share: Add -nosat and -nowiden options.

2021-08-14 00:09:04 +02:00

memory_map_offset.ys

memory_map: Improve start_offset handling.

2021-05-31 17:45:21 +02:00

opt_balance_tree.ys

fix tests with truncation issues

2026-01-14 18:03:30 -08:00

opt_clean_init.ys

opt_clean: Remove init attribute bits together with removed DFFs.

2021-03-15 17:16:53 +01:00

opt_clean_mem.ys

proc_memwr: Use the v2 memwr cell.

2021-08-11 13:34:10 +02:00

opt_clean_standalone_wires.ys

Don't update used_signals for retained wires in rmunused_module_signals.

2026-01-24 03:41:18 +00:00

opt_dff_arst.ys

…

opt_dff_clk.ys

…

opt_dff_const.ys

…

opt_dff_dffmux.ys

…

opt_dff_en.ys

Fix tests for check in equiv_opt

2022-10-07 16:04:51 +02:00

opt_dff_mux.ys

Fix tests for check in equiv_opt

2022-10-07 16:04:51 +02:00

opt_dff_qd.ys

tests: Remove part of test involving combinational loops

2024-03-11 10:45:36 +01:00

opt_dff_sr.ys

Re-enable opt_dff_sr equiv_opt checks

2022-10-07 16:04:51 +02:00

opt_dff_srst.ys

…

opt_dff-simplify.il

opt_dff: add test

2025-08-14 00:13:23 +03:00

opt_dff-simplify.ys

opt_dff: more explicit testing, typo

2025-08-27 11:29:57 +02:00

opt_expr_alu.ys

…

opt_expr_and.ys

…

opt_expr_cmp.v

…

opt_expr_cmp.ys

…

opt_expr_combined_assign.ys

opt_expr: avoid multiple drivers issue #4792 in combined assign tests

2025-12-19 18:32:56 +01:00

opt_expr_constconn.v

opt_expr: Propagate constants to port connections.

2021-07-27 20:44:26 +02:00

opt_expr_constconn.ys

opt_expr: Propagate constants to port connections.

2021-07-27 20:44:26 +02:00

opt_expr_consumex.ys

…

opt_expr_more.ys

opt_expr: expand test coverage

2025-03-31 19:31:53 +02:00

opt_expr_mux_undef.ys

opt_expr: Fix #4590

2025-04-04 12:25:31 +13:00

opt_expr_or.ys

…

opt_expr_shift.ys

tests: test opt_expr for 32 bit unsigned shifts

2025-05-26 15:28:44 +01:00

opt_expr_shr_int_max.ys

Add test for shifting by INT_MAX

2025-02-14 14:01:27 +13:00

opt_expr_xnor.ys

simplemap: Map $xnor to $_XNOR_ cells

2022-11-29 19:06:45 +01:00

opt_expr_xor.ys

simplemap: Map $xnor to $_XNOR_ cells

2022-11-29 19:06:45 +01:00

opt_expr.ys

…

opt_hier_simple1.v

Start opt_hier

2025-07-05 16:45:52 +02:00

opt_hier_simple2.v

Start opt_hier

2025-07-05 16:45:52 +02:00

opt_hier_test1.v

Start opt_hier

2025-07-05 16:45:52 +02:00

opt_hier.tcl

Start opt_hier

2025-07-05 16:45:52 +02:00

opt_lut_elim.il

…

opt_lut_elim.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

opt_lut_ins.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

opt_lut_port.il

…

opt_lut_port.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

opt_lut.v

…

opt_lut.ys

…

opt_mem_feedback.ys

Add v2 memory cells.

2021-08-11 13:34:10 +02:00

opt_mem_priority.ys

memory_share: Add -nosat and -nowiden options.

2021-08-14 00:09:04 +02:00

opt_merge_basic.ys

opt_merge: test more kinds of cells

2025-03-10 13:14:06 +01:00

opt_merge_init.ys

opt_merge: Add -keepdc option required for formal verification

2022-04-01 21:03:20 +02:00

opt_merge_keep.ys

…

opt_merge_properties.ys

avoid merging formal properties

2025-12-17 20:25:24 +01:00

opt_pow.ys

opt_expr: add test

2025-04-01 21:54:46 +03:00

opt_reduce_andor.ys

opt_reduce: add test for constant $reduce_and/or not being zero width

2024-09-25 16:28:41 +01:00

opt_reduce_bmux.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

opt_reduce_demux.ys

Remove references to ilang

2024-11-05 12:36:31 +13:00

opt_rmdff_sat.v

…

opt_rmdff_sat.ys

…

opt_rmdff.v

…

opt_rmdff.ys

…

opt_share_add_sub.v

…

opt_share_add_sub.ys

…

opt_share_bug2334.ys

…

opt_share_bug2335.ys

…

opt_share_bug2336.ys

…

opt_share_bug2538.ys

…

opt_share_cat_multiuser.v

…

opt_share_cat_multiuser.ys

…

opt_share_cat.v

…

opt_share_cat.ys

…

opt_share_diff_port_widths.v

…

opt_share_diff_port_widths.ys

…

opt_share_extend.v

…

opt_share_extend.ys

…

opt_share_large_pmux_cat_multipart.v

…

opt_share_large_pmux_cat_multipart.ys

…

opt_share_large_pmux_cat.v

…

opt_share_large_pmux_cat.ys

…

opt_share_large_pmux_multipart.v

…

opt_share_large_pmux_multipart.ys

…

opt_share_large_pmux_part.v

…

opt_share_large_pmux_part.ys

…

opt_share_mux_tree.v

…

opt_share_mux_tree.ys

…

run-test.sh

Start opt_hier

2025-07-05 16:45:52 +02:00