Krystine Sherwin db5b76edc1 Add test for shifting by INT_MAX ...

Currently resulting in CI failing on main during fsm checks which generate a circuit that simplifies to this.

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

..

.gitignore

…

bug1525.ys

…

bug1758.ys

…

bug1854.ys

…

bug2010.ys

…

bug2221.ys

…

bug2311.ys

…

bug2318.ys

…

bug2623.ys

…

bug2765.ys

…

bug2766.ys

…

bug2824.ys

…

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

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

…

opt_clean_init.ys

…

opt_clean_mem.ys

…

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_expr_alu.ys

…

opt_expr_and.ys

…

opt_expr_cmp.v

…

opt_expr_cmp.ys

…

opt_expr_combined_assign.ys

…

opt_expr_constconn.v

…

opt_expr_constconn.ys

…

opt_expr_consumex.ys

…

opt_expr_or.ys

…

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_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

…

opt_mem_priority.ys

memory_share: Add -nosat and -nowiden options.

2021-08-14 00:09:04 +02: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_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

test: restore verific handling, nicer naming

2024-12-13 10:24:47 +01:00