aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* OopsEddie Hung2019-11-221-1/+0
|
* sigmap(wire) should inherit port_output status of POsEddie Hung2019-11-221-1/+19
|
* Add "opt_mem" passClifford Wolf2019-11-223-0/+146
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* proc_dlatch: Add error handling for incorrect always_(ff|latch|comb) usageDavid Shah2019-11-211-4/+16
| | | | Signed-off-by: David Shah <dave@ds0.me>
* Fix #1462, #1480.Marcin Kościelnicki2019-11-192-9/+11
|
* Fix #1496.Marcin Kościelnicki2019-11-181-4/+8
|
* Merge pull request #1492 from YosysHQ/dave/wreduce-fix-arstClifford Wolf2019-11-171-4/+10
|\ | | | | wreduce: Don't trim zeros or sext when not matching ARST_VALUE
| * wreduce: Don't trim zeros or sext when not matching ARST_VALUEDavid Shah2019-11-141-4/+10
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge pull request #1490 from YosysHQ/clifford/autonameClifford Wolf2019-11-142-0/+135
|\ \ | |/ |/| Add "autoname" pass and use it in "synth_ice40"
| * Add "autoname" pass and use it in "synth_ice40"Clifford Wolf2019-11-132-0/+135
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #1488 from whitequark/flowmap-fixeswhitequark2019-11-131-2/+3
|\ \ | |/ |/| flowmap: fix a few crashes
| * flowmap: when doing mincut, ensure source is always in X, not X̅.whitequark2019-11-121-1/+2
| | | | | | | | Fixes #1475.
| * flowmap: don't break if that creates a k+2 (and larger) LUT either.whitequark2019-11-111-1/+1
| | | | | | | | Fixes #1405.
* | Update fsm_detect bugfixClifford Wolf2019-11-121-3/+4
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Bugfix in fsm_detectClifford Wolf2019-11-121-6/+9
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Makefile: don't assume python is called `python3`Sean Cross2019-10-191-2/+2
| | | | | | | | | | | | | | | | On some architectures, notably on Windows, the official name for the Python binary from python.org is `python`. The build system assumes that python is called `python3`, which breaks under this architecture. There is already infrastructure in place to determine the name of the Python binary when building PYOSYS. Since Python is now always required to build Yosys, enable this check universally which sets the `PYTHON_EXECUTABLE` variable. Then, reuse this variable in other Makefiles as necessary, rather than hardcoding `python3` everywhere. Signed-off-by: Sean Cross <sean@xobs.io>
* Fix dffmux peepopt init handlingClifford Wolf2019-10-162-27/+113
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Move GENERATE_PATTERN macro to separate utility headerClifford Wolf2019-10-163-128/+157
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Disable left-over log_debug in peepopt_dffmux.pmgClifford Wolf2019-10-161-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Revert "Be mindful that sigmap(wire) could have dupes when checking \init"Eddie Hung2019-10-081-4/+1
| | | | This reverts commit f46ac1df9f8847dac9d9851f2f948d93a1064ff1.
* Merge pull request #1432 from YosysHQ/eddie/fix1427Eddie Hung2019-10-082-48/+85
|\ | | | | Refactor peepopt_dffmux and be sensitive to \init when trimming
| * Fix broken CI, check reset even for constants, trim rstmuxEddie Hung2019-10-021-23/+26
| |
| * Merge branch 'eddie/fix_sat_init' into eddie/fix1427Eddie Hung2019-10-021-1/+4
| |\
| | * Be mindful that sigmap(wire) could have dupes when checking \initEddie Hung2019-10-021-1/+4
| | |
| * | Refactor peepopt_dffmux and be sensitive to \init when trimmingEddie Hung2019-10-021-32/+63
| |/
* | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2syncEddie Hung2019-10-081-4/+15
|\ \ | | | | | | async2sync to be called by equiv_opt only when -async2sync given
| * | Add -async2sync to help text as per @daveshah1Eddie Hung2019-10-041-1/+4
| | |
| * | Restore part of docEddie Hung2019-10-031-1/+2
| | |
| * | Add new -async2sync optionEddie Hung2019-10-031-1/+11
| | |
| * | Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"Eddie Hung2019-10-031-2/+0
| | | | | | | | | | | | This reverts commit a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.
| * | Revert "Update doc for equiv_opt"Eddie Hung2019-10-031-3/+2
| |/ | | | | | | This reverts commit a274b7cc86d4f64541d3d2903b4eeed4616ab1d8.
* | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-081-68/+67
|\ \ | | | | | | Rename abc_* names/attributes to more precisely be abc9_*
| * \ Merge branch 'master' into eddie/abc_to_abc9Eddie Hung2019-10-042-4/+15
| |\ \
| * | | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-65/+65
| | | |
* | | | Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_commentsEddie Hung2019-10-084-68/+356
|\ \ \ \ | | | | | | | | | | Add notes and comments for xilinx_dsp
| * | | | Missed thisEddie Hung2019-10-051-3/+4
| | | | |
| * | | | Add comment on why we have to match for clock-enable/reset muxesEddie Hung2019-10-053-3/+11
| | | | |
| * | | | Add note on pattern detectorEddie Hung2019-10-051-3/+7
| | | | |
| * | | | Add comments for xilinx_dsp_cascadeEddie Hung2019-10-041-12/+100
| | | | |
| * | | | Improve comments for xilinx_dsp_CREGEddie Hung2019-10-041-6/+7
| | | | |
| * | | | Fix commentEddie Hung2019-10-041-1/+1
| | | | |
| * | | | Restore optimisation for sigM.empty()Eddie Hung2019-10-041-1/+4
| | | | |
| * | | | Retry on fixing TODOsEddie Hung2019-10-042-13/+1
| | | | |
| * | | | Revert "Fix TODOs"Eddie Hung2019-10-042-0/+20
| | | | | | | | | | | | | | | | | | | | This reverts commit 8674a6c68d563908014d16671567459499c6dc99.
| * | | | More comments, cleanupEddie Hung2019-10-042-41/+108
| | | | |
| * | | | Fix TODOsEddie Hung2019-10-042-20/+0
| | | | |
| * | | | ConsistencyEddie Hung2019-10-041-3/+3
| | | | |
| * | | | Add comments for xilinx_dspEddie Hung2019-10-043-6/+134
| | |/ / | |/| |
* | | | Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarryClifford Wolf2019-10-061-0/+4
|\ \ \ \ | | | | | | | | | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf
| * | | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolfEddie Hung2019-10-051-0/+4
| |/ / /