Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #2535 from Ravenslofty/scc-specify | Claire Xen | 2021-01-28 | 2 | -18/+61 |
|\ | | | | | scc: Add -specify option to find loops in boxes | ||||
| * | scc: Add -specify option to find loops in boxes | Dan Ravensloft | 2021-01-26 | 2 | -18/+61 |
| | | |||||
* | | Merge pull request #2549 from pgadfort/support-multiple-libs | whitequark | 2021-01-25 | 1 | -15/+21 |
|\ \ | | | | | | | adding support for passing multiple liberty files to abc | ||||
| * | | adding support for passing multiple liberty files to abc | Peter Gadfort | 2021-01-18 | 1 | -15/+21 |
| | | | |||||
* | | | Merge pull request #2536 from TobiasFaller/master | Miodrag Milanović | 2021-01-20 | 1 | -0/+1 |
|\ \ \ | |/ / |/| | | Fixed missing goto statement in passes/techmap/abc.cc | ||||
| * | | Fixed missing goto statement in passes/techmap/abc.cc | Tobias Faller | 2021-01-12 | 1 | -0/+1 |
| |/ | |||||
* / | opt_share: Fix X and CO signal width for shifted $alu in opt_share. | Marcelina Kościelnicka | 2021-01-14 | 1 | -2/+2 |
|/ | | | | | | These need to be the same length as actual Y, not visible part of Y. Fixes #2538. | ||||
* | plugin: enhance no-plugin error | umarcor | 2020-12-29 | 1 | -1/+5 |
| | |||||
* | passes/pmgen/pmgen.py: trivial change to remove C++ compiler warnings | Larry Doolittle | 2020-12-23 | 1 | -2/+2 |
| | | | | Verified that the result still builds and passes self-tests | ||||
* | Fix use-after-free in LUT opt pass | StefanBruens | 2020-12-22 | 1 | -2/+4 |
| | | | | | RTLIL::Module::remove(Cell* cell) calls `delete cell`. Any subsequent accesses of `cell` then causes undefined behavior. | ||||
* | Sign extend port connections where necessary | Zachary Snow | 2020-12-18 | 2 | -3/+10 |
| | | | | | | | | | | | - Signed cell outputs are sign extended when bound to larger wires - Signed connections are sign extended when bound to larger cell inputs - Sign extension is performed in hierarchy and flatten phases - genrtlil indirects signed constants through signed wires - Other phases producing RTLIL may need to be updated to preserve signedness information - Resolves #1418 - Resolves #2265 | ||||
* | Return nice error in pmgen generated code, fixes #2482 | Miodrag Milanovic | 2020-12-09 | 1 | -2/+6 |
| | |||||
* | bugpoint: add -wires option. | whitequark | 2020-12-07 | 1 | -3/+38 |
| | |||||
* | bugpoint: try to remove whole processes first. | whitequark | 2020-12-07 | 1 | -4/+40 |
| | |||||
* | bugpoint: accept quoted strings in -grep. | whitequark | 2020-12-07 | 1 | -1/+4 |
| | |||||
* | bugpoint: add -command option. | whitequark | 2020-12-07 | 1 | -13/+21 |
| | |||||
* | Add #include needed to build with gcc-11 | Gabriel Somlo | 2020-11-26 | 1 | -0/+1 |
| | | | | Suggested by Jeff Law <law@redhat.com> | ||||
* | Merge pull request #2450 from nitz/sim-vcd-filename | whitequark | 2020-11-25 | 1 | -1/+3 |
|\ | | | | | Add rewrite_filename for sim -vcd argument. | ||||
| * | Add rewrite_filename for sim -vcd argument. | Chris Dailey | 2020-11-24 | 1 | -1/+3 |
| | | |||||
* | | Merge pull request #2428 from whitequark/check-processes | whitequark | 2020-11-24 | 1 | -22/+55 |
|\ \ | |/ |/| | check: add support for processes | ||||
| * | check: add support for processes. | whitequark | 2020-11-03 | 1 | -3/+38 |
| | | |||||
| * | check: reformat log/help text to match most other passes | whitequark | 2020-11-03 | 1 | -19/+17 |
| | | |||||
* | | Expose abc and data paths as globals | Miodrag Milanovic | 2020-11-06 | 2 | -29/+2 |
|/ | |||||
* | This patch adds support for defining the ABC location at runtime instead of ↵ | Ethan Mahintorabi | 2020-10-28 | 1 | -1/+6 |
| | | | | | | at compile time. This is helpful in build systems like bazel which do not have stable locations for binaries or directories during the compilation phase. This change should be backwards compatible with the existing behavior. | ||||
* | Merge pull request #2403 from nakengelhardt/sim_timescale | N. Engelhardt | 2020-10-22 | 1 | -0/+21 |
|\ | | | | | sim -vcd: add date, version, and option for timescale | ||||
| * | use strftime instead of put_time for gcc 4.8 compatibility | N. Engelhardt | 2020-10-21 | 1 | -4/+5 |
| | | |||||
| * | wild guessing at the problem because it builds fine on my machines | N. Engelhardt | 2020-10-16 | 1 | -0/+3 |
| | | |||||
| * | sim -vcd: add date, version, and option for timescale | N. Engelhardt | 2020-10-16 | 1 | -0/+17 |
| | | |||||
* | | memory_dff: Fix needlessly duplicating enable bits. | Marcelina Kościelnicka | 2020-10-22 | 1 | -0/+8 |
| | | | | | | | | | | | | | | | | | | When the register being merged into the EN signal happens to be a $sdff, the current code creates a new $mux for every bit, even if they happen to be identical (as is usually the case), preventing proper grouping further down the flow. Fix this by adding a simple cache. Fixes #2409. | ||||
* | | sim: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -103/+90 |
| | | |||||
* | | clk2fflogic: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -68/+45 |
| | | |||||
* | | opt_mem: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -81/+6 |
| | | |||||
* | | memory_bram: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -121/+90 |
| | | |||||
* | | memory_map: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -138/+81 |
| | | |||||
* | | memory_unpack: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -106/+10 |
| | | |||||
* | | memory_collect: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -223/+9 |
| | | |||||
* | | memory_nordff: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -63/+9 |
|/ | |||||
* | opt_clean: Better memory handling. | Marcelina Kościelnicka | 2020-10-08 | 1 | -8/+45 |
| | | | | | | | | 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. | ||||
* | Validate parameters only when they are used | Miodrag Milanovic | 2020-09-25 | 1 | -5/+7 |
| | |||||
* | use the new isPublic() in a few places | N. Engelhardt | 2020-09-14 | 9 | -17/+17 |
| | |||||
* | Merge pull request #2356 from whitequark/flatten-techmap-no-tpl_driven-sigmap | whitequark | 2020-08-27 | 2 | -9/+6 |
|\ | | | | | flatten, techmap: don't canonicalize tpl driven bits via sigmap | ||||
| * | flatten, techmap: don't canonicalize tpl driven bits via sigmap. | whitequark | 2020-08-26 | 2 | -9/+6 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For connection `assign a = b;`, `sigmap(a)` returns `b`. This is exactly the opposite of the desired canonicalization for driven bits. Consider the following code: module foo(inout a, b); assign a = b; endmodule module bar(output c); foo f(c, 1'b0); endmodule Before this commit, the inout ports would be swapped after flattening (and cause a crash while attempting to drive a constant value). This issue was introduced in 9f772eb9. Fixes #2183. | ||||
* | | Merge pull request #2358 from whitequark/rename-ilang-to-rtlil | whitequark | 2020-08-27 | 7 | -24/+24 |
|\ \ | | | | | | | Replace "ILANG" with "RTLIL" everywhere | ||||
| * | | Replace "ILANG" with "RTLIL" everywhere. | whitequark | 2020-08-26 | 7 | -24/+24 |
| |/ | | | | | | | | | | | | | | | | | | | The only difference between "RTLIL" and "ILANG" is that the latter is the text representation of the former, as opposed to the in-memory graph representation. This distinction serves no purpose but confuses people: it is not obvious that the ILANG backend writes RTLIL graphs. Passes `write_ilang` and `read_ilang` are provided as aliases to `write_rtlil` and `read_rtlil` for compatibility. | ||||
* / | dfflegalize: Fix decision tree for adffe. | Marcelina Kościelnicka | 2020-08-27 | 1 | -1/+5 |
|/ | | | | | | | | When an adffe is being legalized, and is not natively supported, prioritize unmapping to adff over converting to dffsre if dffsre is not natively supported itself. Fixes #2361. | ||||
* | proc: Add -nomux switch | Peder Bergebakken Sundt | 2020-08-20 | 1 | -1/+10 |
| | | | | running proc -nomux will ommit the proc_mux pass | ||||
* | Merge pull request #2344 from YosysHQ/mwk/opt_share-fixes | clairexen | 2020-08-20 | 1 | -223/+138 |
|\ | | | | | opt_share: Refactor, fix some bugs. | ||||
| * | opt_share: Refactor, fix some bugs. | Marcelina Kościelnicka | 2020-08-17 | 1 | -223/+138 |
| | | | | | | | | | | | | Fixes #2334. Fixes #2335. Fixes #2336. | ||||
* | | Merge pull request #2337 from YosysHQ/mwk/clean-keep-wire | clairexen | 2020-08-20 | 1 | -4/+9 |
|\ \ | | | | | | | opt_clean: Fix module keep rules. | ||||
| * | | opt_clean: Fix module keep rules. | Marcelina Kościelnicka | 2020-08-09 | 1 | -4/+9 |
| |/ | | | | | | | | | | | - wires with keep attribute now force a module to be kept - presence of $memwr and $meminit cells no longer forces a module to be kept |