aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt
Commit message (Collapse)AuthorAgeFilesLines
* memory_share: Fix SAT-based sharing for wide ports.Marcelina Kościelnicka2021-12-201-0/+34
| | | | Fixes #3117.
* extract_reduce: Refactor and fix input signal construction.Marcelina Kościelnicka2021-10-211-0/+12
| | | | Fixes #3047.
* memory_share: Add -nosat and -nowiden options.Marcelina Kościelnicka2021-08-142-1/+17
| | | | This unlocks wide port recognition by default.
* memory_dff: Recognize soft transparency logic.Marcelina Kościelnicka2021-08-131-0/+862
|
* Add new opt_mem_priority pass.Marcelina Kościelnicka2021-08-131-0/+205
|
* proc_memwr: Use the v2 memwr cell.Marcelina Kościelnicka2021-08-112-5/+5
|
* Add v2 memory cells.Marcelina Kościelnicka2021-08-112-3/+3
|
* opt_merge: Use FfInitVals.Marcelina Kościelnicka2021-08-082-1/+43
| | | | Partial #2920 fix.
* verilog: Emit $meminit_v2 cell.Marcelina Kościelnicka2021-07-281-4/+4
| | | | Fixes #2447.
* opt_expr: Propagate constants to port connections.Marcelina Kościelnicka2021-07-272-0/+15
| | | | | | | | This adds one simple piece of functionality to opt_expr: when a cell port is connected to a fully-constant signal (as determined by sigmap), the port is reconnected directly to the constant value. This is just enough optimization to fix the "non-constant $meminit input" problem without requiring a full opt_clean or a separate pass.
* Add regression test for #2824.Marcelina Kościelnicka2021-06-111-0/+7
|
* memory_map: Improve start_offset handling.Marcelina Kościelnicka2021-05-311-0/+100
| | | | Fixes #2775.
* opt_mem_feedback: Respect write port priority.Marcelina Kościelnicka2021-05-251-0/+47
|
* opt_mem_feedback: Rewrite feedback path finding logic.Marcelina Kościelnicka2021-05-242-0/+243
| | | | Fixes #2766.
* Add new helper class for merging FFs into cells, use for memory_dff.Marcelina Kościelnicka2021-05-231-0/+17
| | | | Fixes #1854.
* opt_mem: Remove write ports with const-0 EN.Marcelina Kościelnicka2021-05-231-0/+34
| | | | Fixes #2765.
* opt_dff: Fix NOT gates wired in reverse.Marcelina Kościelnicka2021-05-041-8/+13
|
* opt_clean: Remove init attribute bits together with removed DFFs.Marcelina Kościelnicka2021-03-151-11/+20
| | | | Fixes #2546.
* rtlil: Disallow 0-width chunks in SigSpec.Marcelina Kościelnicka2021-03-151-0/+14
| | | | | | | | | Among other problems, this also fixes equality comparisons between SigSpec by enforcing a canonical form. Also fix another minor issue with possible non-canonical SigSpec. Fixes #2623.
* memory_dff: Remove now-useless write port handling.Marcelina Kościelnicka2021-03-081-1/+0
|
* opt_share: Fix X and CO signal width for shifted $alu in opt_share.Marcelina Kościelnicka2021-01-141-0/+20
| | | | | | These need to be the same length as actual Y, not visible part of Y. Fixes #2538.
* opt_clean: Better memory handling.Marcelina Kościelnicka2020-10-081-0/+49
| | | | | | | | Previously, `$memwr` and `$meminit` cells were always preserved (along with the memory itself). With this change, they are instead part of the main cell mark-and-sweep pass: a memory (and its `$meminit` and `$memwr` cells) is only preserved iff any associated `$memrd` cell needs to be preserved.
* tests: add gitignores for auto-generated makefilesXiretza2020-09-261-0/+1
|
* tests: Centralize test collection and Makefile generationXiretza2020-09-211-5/+3
|
* Merge pull request #2344 from YosysHQ/mwk/opt_share-fixesclairexen2020-08-203-0/+54
|\ | | | | opt_share: Refactor, fix some bugs.
| * opt_share: Refactor, fix some bugs.Marcelina Kościelnicka2020-08-173-0/+54
| | | | | | | | | | | | Fixes #2334. Fixes #2335. Fixes #2336.
* | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-201-0/+129
|\ \ | | | | | | Remove passes redundant with opt_dff
| * | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-071-0/+129
| |/
* / peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-041-0/+12
|/ | | | Fixes #2318.
* Add opt_dff pass.Marcelina Kościelnicka2020-07-3010-3/+914
|
* opt_expr: Fix handling of $_XNOR_ cells with A = B.Marcelina Kościelnicka2020-07-291-0/+14
| | | | Fixes #2311.
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-1/+0
|
* opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-051-0/+16
| | | | Fixes #2221.
* Add sub-assign and and-assign testsKamil Rakoczy2020-06-251-0/+34
| | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* Move combined assign tests to single fileKamil Rakoczy2020-06-254-45/+49
| | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* Add xor-assignment testKamil Rakoczy2020-06-241-0/+15
| | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* Add or-assignment and plus-assignment testsKamil Rakoczy2020-06-242-0/+30
| | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* Fix tests/opt/opt_rmdffClaire Wolf2020-06-092-22/+29
| | | | | | This only passed before because "prep" was also running opt_rmdff Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* Merge pull request #1994 from YosysHQ/eddie/fix_bug1758Eddie Hung2020-05-147-2/+446
|\ | | | | opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too
| * test: update opt_expr_alu testEddie Hung2020-05-081-2/+1
| |
| * tests: opt_expr tests that depend on consumexEddie Hung2020-05-081-0/+35
| |
| * opt_expr: const_xnor replacement to pad Y with 1'b1Eddie Hung2020-04-241-0/+46
| |
| * tests: opt_expr update xnor/xor testsEddie Hung2020-04-242-7/+6
| |
| * opt_expr: do not group by X, more fixesEddie Hung2020-04-232-2/+2
| |
| * tests: add opt_expr testsEddie Hung2020-04-235-0/+365
| |
* | opt_clean: improve warning messageEddie Hung2020-05-141-1/+1
| |
* | opt_clean: add init testEddie Hung2020-05-141-0/+13
| |
* | Add testcase for #2010Eddie Hung2020-05-011-0/+10
|/
* opt_expr: Fix X and CO outputs for $alu identity-mapping rules.Marcelina Kościelnicka2020-04-161-8/+66
|
* opt_expr: Add more $alu optimizations.Marcelina Kościelnicka2020-04-141-4/+52
| | | | | | | | | | | Detect the places in the $alu where the carry bit is constant (due to const A[i] == B[i] ^ BI) and split it into smaller $alu at these points. Also, make the existing const-carry detection for low bits more generic (now handles cases where both BI and CI are constant, but not equal to one another). Fixes #1912.
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-17 09:32:58 +0000