aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt
Commit message (Collapse)AuthorAgeFilesLines
* 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.
* opt_expr: Optimize multiplications with low 0 bits in operands.Marcelina Kościelnicka2020-04-131-0/+28
| | | | Fixes #1500.
* Merge pull request #1790 from YosysHQ/eddie/opt_expr_xorEddie Hung2020-04-011-0/+52
|\ | | | | opt_expr: optimise $xor/$xnor/$_XOR_/$_XNOR_ -s with constant inputs
| * opt_expr: add failing $xnor testEddie Hung2020-03-201-1/+13
| |
| * opt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ testsEddie Hung2020-03-191-0/+40
| |
* | Merge pull request #1789 from YosysHQ/eddie/opt_expr_aluEddie Hung2020-04-011-0/+63
|\ \ | | | | | | opt_expr: improve performance on $alu and $sub
| * | opt_expr: add $alu testsEddie Hung2020-03-191-0/+63
| |/
* / opt_merge: speedupEddie Hung2020-03-162-0/+92
|/
* Merge pull request #1576 from YosysHQ/eddie/opt_merge_initEddie Hung2020-02-051-0/+49
|\ | | | | opt_merge: discard \init of '$' cells with 'Q' port when merging
| * Add testcaseEddie Hung2019-12-131-0/+49
| |
* | Add opt_lut_ins pass. (#1673)Marcelina Kościelnicka2020-02-031-0/+23
|/
* opt_share: Fix handling of fine cells.Marcin Kościelnicki2019-11-271-0/+13
| | | | Fixes #1525.
* Add missing -assert to equiv_optEddie Hung2019-09-061-7/+7
|
* Respect opt_expr -keepdc as per @cliffordwolfEddie Hung2019-08-221-0/+14
|
* Handle $shift and Y_WIDTH > 1 as per @cliffordwolfEddie Hung2019-08-221-1/+43
|
* Add testEddie Hung2019-08-211-0/+14
|
* Merge remote-tracking branch 'origin/master' into clifford/testfastEddie Hung2019-08-1828-28/+626
|\
| * Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-1820-0/+325
| |\
| | * Fix wrong results when opt_share called before opt_cleanBogdan Vukobratovic2019-08-071-1/+0
| | |
| | * Tabs to spaces in opt_share examplesBogdan Vukobratovic2019-08-0310-150/+150
| | |
| | * Fix spacing in opt_share tests, change wording in opt_share helpBogdan Vukobratovic2019-08-0310-155/+150
| | |
| | * Reimplement opt_share to work on $alu and $pmuxBogdan Vukobratovic2019-07-2820-17/+295
| | |
| | * Implement opt_shareBogdan Vukobratovic2019-07-264-0/+53
| | | | | | | | | | | | | | | | | | This pass identifies arithmetic operators that share an operand and whose results are used in mutually exclusive cases controlled by a multiplexer, and merges them together by multiplexing the other operands
| * | Revert "Merge pull request #1280 from ↵Eddie Hung2019-08-128-28/+301
|/ / | | | | | | | | | | | | YosysHQ/revert-1266-eddie/ice40_full_adder" This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.
* | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-108-226/+28
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-14 10:55:46 +0000