aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap
Commit message (Collapse)AuthorAgeFilesLines
* Use `emplace()` for more efficient insertion into various `dict`s.Alberto Gonzalez2020-05-141-8/+8
|
* Build constant bits directly rather than constructing an object and copying ↵Alberto Gonzalez2020-05-141-2/+5
| | | | its bits.
* Replace `std::set` with `pool` for `cell_to_inbit` and `outbit_to_cell`.Alberto Gonzalez2020-05-141-2/+2
|
* Use `emplace()` rather than `insert()`.Alberto Gonzalez2020-05-141-1/+1
|
* Clean up pseudo-private member usage and ensure range iteration uses ↵Alberto Gonzalez2020-05-141-17/+17
| | | | references where possible to avoid unnecessary copies.
* Clean up extraneous buffer.Alberto Gonzalez2020-05-141-5/+2
|
* Replace `std::map` with `dict` for `unique_bit_id`.Alberto Gonzalez2020-05-141-1/+1
|
* Replace `std::map` with `dict` for `port_new2old_map`, `port_connmap`, and ↵Alberto Gonzalez2020-05-141-3/+3
| | | | `cellbits_to_tplbits`.
* Replace `std::map` with `dict` for `connbits_map`, `cell_to_inbit`, and ↵Alberto Gonzalez2020-05-141-3/+3
| | | | `outbit_to_cell`.
* Replace `std::map` with `dict` for `TechmapWires` type.Alberto Gonzalez2020-05-141-1/+1
|
* Replace `std::map` with `dict` for `celltypeMap`.Alberto Gonzalez2020-05-141-3/+3
|
* Replace `std::set` with `pool` for `handled_cells` and `techmap_wire_names`.Alberto Gonzalez2020-05-141-4/+4
|
* Replace `std::map` with `dict` for `positional_ports`.Alberto Gonzalez2020-05-141-1/+1
|
* Add specialized `hash()` for type `dict` and use a `dict` instead of a ↵Alberto Gonzalez2020-05-141-4/+4
| | | | `std::map` for `techmap_cache` and `techmap_do_cache`.
* Replace `std::map` with `dict` for `simplemap_mappers`.Alberto Gonzalez2020-05-143-5/+5
|
* Use `nullptr` instead of `NULL` in `passes/techmap/techmap.cc`.Alberto Gonzalez2020-05-141-10/+10
|
* Replace `std::string` and `RTLIL::IdString` with `IdString` in ↵Alberto Gonzalez2020-05-141-21/+21
| | | | | | `passes/techmap/techmap.cc`. Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
* Do not modify design modules while iterating over `modules()`.Alberto Gonzalez2020-05-141-1/+4
| | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
* Clean up pseudo-private member usage, superfluous `std::vector` ↵Alberto Gonzalez2020-05-141-76/+70
| | | | instantiation, and `RTLIL::id2cstr()` usage in `passes/techmap/techmap.cc`.
* abc9_ops: -reintegrate to be sensitive to start_offset tooEddie Hung2020-05-021-3/+5
|
* Add WASI platform support.whitequark2020-04-303-3/+14
| | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function.
* Merge pull request #1974 from YosysHQ/eddie/abc9_disable_mfsEddie Hung2020-04-231-2/+17
|\ | | | | abc9: tolerate &mfs failure by writing output file before calling it (and using that if it fails)
| * abc9: tolerate ABC nonzero exit code if output.aig; write before &mfsEddie Hung2020-04-201-2/+13
| | | | | | | | | | Re-enable mfs for xilinx/ecp5 speculatively -- if it fails, use pre-mfs result
| * xilinx/ecp5: disable abc9's "&mfs" optimisationEddie Hung2020-04-201-0/+4
| | | | | | | | Can sometimes fire an assertion, e.g. #1962
* | abc9: -prep_lut to be more robustEddie Hung2020-04-201-16/+33
|/
* Merge pull request #1864 from boqwxp/cleanup_techmap_abcwhitequark2020-04-171-99/+80
|\ | | | | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`
| * Simplify `passes/techmap/abc.cc` and remove superfluous `RTLIL::SigSpec` ↵Alberto Gonzalez2020-04-141-132/+49
| | | | | | | | | | | | constructions. Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`.Alberto Gonzalez2020-04-051-99/+163
| |
* | Merge pull request #1933 from YosysHQ/eddie/zinit_moreEddie Hung2020-04-151-7/+27
|\ \ | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too
| * | zinit: handle $__DFFS?E?_[NP][NP][01] tooEddie Hung2020-04-141-7/+27
| | |
* | | Get rid of dffsr2dff.Marcelina Kościelnicka2020-04-152-214/+0
| | | | | | | | | | | | | | | | | | This pass is a proper subset of opt_rmdff, which is called by opt, which is called by every synth flow in the coarse part. Thus, it never actually does anything and can be safely removed.
* | | abc9_ops: Add a check ensuring that connected port actually exists.Marcelina Kościelnicka2020-04-151-0/+3
|/ /
* | dffinit: Avoid setting init parameter to zero-length value.Marcelina Kościelnicka2020-04-141-3/+5
| | | | | | | | Fixes #1704.
* | abc9_exe: verify -> &verify -sEddie Hung2020-04-141-2/+2
| |
* | techmap: fix error messageEddie Hung2020-04-141-1/+1
| |
* | zinit: resolve one more comment by @mwkmwkmwkEddie Hung2020-04-131-3/+5
| |
* | zinit: fix review comments from @mwkmwkmwkEddie Hung2020-04-131-5/+6
| |
* | zinit: operate on $adff, erase (* init *) entries on consumptionEddie Hung2020-04-131-22/+20
| |
* | Fix S/R comment; thanks @mwkmwkmwkEddie Hung2020-04-131-1/+1
| |
* | zinit to transform set/reset value of $_DFF_[NP][NP][01]_Eddie Hung2020-04-131-0/+14
| |
* | Supress error for unhandled \init if whole module selectedEddie Hung2020-04-131-3/+4
| |
* | Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-104-14/+14
| |
* | Clean up `passes/techmap/hilomap.cc`.Alberto Gonzalez2020-04-091-6/+2
| |
* | Merge pull request #1865 from boqwxp/cleanup_dfflibmapwhitequark2020-04-061-27/+27
|\ \ | | | | | | Clean up `passes/techmap/dfflibmap.cc`.
| * | Clean up `passes/techmap/dfflibmap.cc`.Alberto Gonzalez2020-04-061-27/+27
| |/
* / Clean up `passes/techmap/extract.cc`.Alberto Gonzalez2020-04-051-43/+36
|/
* Merge pull request #1767 from YosysHQ/eddie/idstringsEddie Hung2020-04-0226-523/+523
|\ | | | | IdString: use more ID::*, make them easier to use, speed up IdString::in()
| * kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-0226-517/+515
| |
| * kernel: use more ID::*Eddie Hung2020-04-022-10/+12
| |
* | iopadmap: Fix z assignment to inout portMarcin Kościelnicki2020-04-021-1/+15
| | | | | | | | Fixes #1841.