aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1304 from YosysHQ/eddie/abc9_refactorEddie Hung2019-08-201-43/+80
|\ | | | | Refactor abc9 to use port attributes, not module attributes
| * Unify abc_carry_{in,out} into abc_carry and use port dir, as @mithroEddie Hung2019-08-191-6/+6
| |
| * Use ID()Eddie Hung2019-08-161-3/+3
| |
| * Compute abc_scc_break and move CI/CO outside of each abc9Eddie Hung2019-08-161-43/+80
| |
* | Merge branch 'master' into clifford/pmgenClifford Wolf2019-08-204-36/+33
|\ \
| * \ Merge pull request #1309 from whitequark/proc_clean-fix-1268whitequark2019-08-201-2/+1
| |\ \ | | | | | | | | proc_clean: fix order of switch insertion
| | * | proc_clean: fix order of switch insertion.whitequark2019-08-191-2/+1
| | | | | | | | | | | | | | | | Fixes #1268.
| * | | Fix typoEddie Hung2019-08-191-1/+1
| | | |
| * | | ID({A,B,Y}) -> ID::{A,B,Y} for opt_share.ccEddie Hung2019-08-191-30/+30
| |/ /
| * | Ignore all generated headers for pmgen passMiodrag Milanovic2019-08-181-2/+1
| | |
* | | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgenClifford Wolf2019-08-1947-1514/+2270
|\| |
| * | Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-1844-2165/+2814
| |\ \
| | * \ Merge pull request #1283 from YosysHQ/clifford/fix1255Clifford Wolf2019-08-172-2/+3
| | |\ \ | | | | | | | | | | Fix various NDEBUG compiler warnings
| | | * \ Merge branch 'master' into clifford/fix1255Clifford Wolf2019-08-1513-996/+1044
| | | |\ \
| | | * | | Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-132-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | Merge pull request #1303 from YosysHQ/bogdanvuk/opt_shareClifford Wolf2019-08-173-1/+655
| | |\ \ \ \ | | | | | | | | | | | | | | Implement opt_share from @bogdanvuk
| | | * | | | Use ID() macroEddie Hung2019-08-161-118/+110
| | | | | | |
| | | * | | | Add 'opt_share' to 'opt -full'Eddie Hung2019-08-161-0/+5
| | | | | | |
| | | * | | | Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_shareEddie Hung2019-08-162-1/+658
| | | |\ \ \ \ | | | | |_|_|/ | | | |/| | |
| | | | * | | Fix wrong results when opt_share called before opt_cleanBogdan Vukobratovic2019-08-071-18/+14
| | | | | | |
| | | | * | | Support various binary operators in opt_shareBogdan Vukobratovic2019-08-041-194/+392
| | | | | | |
| | | | * | | Fix spacing in opt_share tests, change wording in opt_share helpBogdan Vukobratovic2019-08-031-6/+10
| | | | | | |
| | | | * | | Reimplement opt_share to work on $alu and $pmuxBogdan Vukobratovic2019-07-281-95/+225
| | | | | | |
| | | | * | | Implement opt_shareBogdan Vukobratovic2019-07-262-1/+330
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| | * | | | | Merge pull request #1300 from YosysHQ/eddie/cleanup2Clifford Wolf2019-08-1732-626/+625
| | |\ \ \ \ \ | | | |/ / / / | | |/| | | | Use ID::{A,B,Y,keep,blackbox,whitebox} instead of ID()
| | | * | | | Remove `using namespace RTLIL;`Eddie Hung2019-08-161-6/+5
| | | | | | |
| | | * | | | Use ID::keep more liberally tooEddie Hung2019-08-1510-19/+19
| | | | | | |
| | | * | | | Use more ID::{A,B,Y,blackbox,whitebox}Eddie Hung2019-08-1532-601/+601
| | | | | | |
| | * | | | | Merge pull request #1302 from mmicko/dfflibmap_regressionClifford Wolf2019-08-162-10/+10
| | |\ \ \ \ \ | | | | | | | | | | | | | | | | DFFLIBMAP pass regression fix
| | | * | | | | Regression in abc9Miodrag Milanovic2019-08-161-1/+1
| | | | | | | |
| | | * | | | | Just needed IDs to be IdStringMiodrag Milanovic2019-08-161-9/+9
| | | |/ / / /
| | * / / / / Add missing NMUX to "abc -g" handlingClifford Wolf2019-08-161-0/+1
| | |/ / / / | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | FixEddie Hung2019-08-151-2/+2
| | | | | |
| | * | | | ID(\\.*) -> ID(.*)Eddie Hung2019-08-1525-766/+766
| | | | | |
| | * | | | Convert a few more to IDEddie Hung2019-08-151-20/+20
| | | | | |
| | * | | | Transform all "\\*" identifiers into ID()Eddie Hung2019-08-1525-782/+782
| | | | | |
| | * | | | Transform "$.*" to ID("$.*") in passes/techmapEddie Hung2019-08-1524-367/+362
| | | | | |
| | * | | | More use of IdString::in()Eddie Hung2019-08-156-14/+13
| | | |_|/ | | |/| |
| | * | | Merge remote-tracking branch 'origin/master' into eddie/fix_1284_againEddie Hung2019-08-1512-998/+998
| | |\ \ \
| | * | | | AND with an inverted input, causes X{,N}OR output to be inverted tooEddie Hung2019-08-141-2/+2
| | | | | |
| | * | | | Revert "Only sort leaves on non-ANDNOT/ORNOT cells"Eddie Hung2019-08-141-7/+6
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 5ec5f6dec7d4cdcfd9e1a2cda999886605778400.
| | * | | | Only sort leaves on non-ANDNOT/ORNOT cellsEddie Hung2019-08-141-6/+7
| | | | | |
| * | | | | Revert "Merge pull request #1280 from ↵Eddie Hung2019-08-123-0/+111
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | YosysHQ/revert-1266-eddie/ice40_full_adder" This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.
* | | | | | Refactor pmgen rollback mechanismClifford Wolf2019-08-171-32/+21
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Improvements in "test_pmgen -generate"Clifford Wolf2019-08-171-3/+23
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Add pmgen "fallthrough" statementClifford Wolf2019-08-172-3/+17
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Add help() callEddie Hung2019-08-161-0/+1
| | | | | |
* | | | | | Minor bugfix in "test_pmgen -generate"Clifford Wolf2019-08-161-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Add pmgen finish statement, return number of matchesClifford Wolf2019-08-164-82/+116
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Redesign pmgen backtracking for recursive matchingClifford Wolf2019-08-162-33/+38
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>