aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt
Commit message (Collapse)AuthorAgeFilesLines
* Convert a few more to IDEddie Hung2019-08-151-20/+20
|
* Merge branch 'master' into clifford/idsClifford Wolf2019-08-151-1/+49
|\
| * Merge remote-tracking branch 'origin/master' into eddie/fix_1262Eddie Hung2019-08-117-58/+53
| |\
| * | Wrong way aroundEddie Hung2019-08-101-2/+2
| | |
| * | cover_list -> cover as per @cliffordwolfEddie Hung2019-08-101-2/+2
| | |
| * | GrammarEddie Hung2019-08-091-1/+1
| | |
| * | Separate $alu handlingEddie Hung2019-08-091-7/+50
| | |
| * | opt_expr -fine to trim LSBs of $alu tooEddie Hung2019-08-091-4/+9
| | |
* | | Use ID() macro in all of passes/opt/Clifford Wolf2019-08-1112-998/+998
| |/ |/| | | | | | | | | | | | | | | | | This was obtained by running the following SED command in passes/opt/ and then using "meld foo.cc foo.cc.orig" to manually fix all resulting compiler errors. sed -i.orig -r 's/"\\\\([a-zA-Z0-9_]+)"/ID(\1)/g; s/"(\$[a-zA-Z0-9_]+)"/ID(\1)/g;' *.cc Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-107-58/+53
|\ \ | |/ |/| Cleanup a few barnacles across codebase
| * substr() -> compare()Eddie Hung2019-08-073-6/+6
| |
| * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-071-1/+1
| |
| * Merge remote-tracking branch 'origin/master' into eddie/cleanupEddie Hung2019-08-072-3/+28
| |\
| * | stoi -> atoiEddie Hung2019-08-073-5/+5
| | |
| * | Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-063-5/+5
| | |
| * | Use IdString::begins_with()Eddie Hung2019-08-061-8/+8
| | |
| * | Make liberal use of IdString.in()Eddie Hung2019-08-064-10/+10
| | |
| * | Cleanup opt_expr.ccEddie Hung2019-08-061-35/+30
| | |
* | | opt_lut to ignore LUT cells, or those that drive bits, with (* keep *)Eddie Hung2019-08-071-0/+6
| |/ |/|
* | Move LSB-trimming functionality from wreduce to opt_exprEddie Hung2019-08-062-23/+26
| |
* | Merge remote-tracking branch 'origin/master' into eddie/wreduce_addEddie Hung2019-08-062-5/+5
|\|
| * Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-012-5/+5
| |
* | Try and fix againEddie Hung2019-07-191-5/+4
| |
* | Do not access beyond boundsEddie Hung2019-07-191-1/+1
| |
* | Wrap A and B in sigmapEddie Hung2019-07-191-2/+2
| |
* | Remove "top" from messageEddie Hung2019-07-191-1/+1
| |
* | Also optimise MSB of $subEddie Hung2019-07-191-3/+3
| |
* | wreduce for $subEddie Hung2019-07-191-0/+23
|/
* opt_lut: make less chatty.whitequark2019-07-131-56/+38
|
* Revert "Add "synth -keepdc" option"Eddie Hung2019-07-091-1/+1
|
* Clarify 'wreduce -keepdc' docEddie Hung2019-07-081-1/+1
|
* Merge pull request #1046 from bogdanvuk/masterClifford Wolf2019-06-282-11/+106
|\ | | | | Optimizing DFFs whose initial value prevents their value from changing
| * Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" tooBogdan Vukobratovic2019-06-272-2/+10
| |
| * Fix memory leak when one of multiple DFF cells is removed in opt_rmdffBogdan Vukobratovic2019-06-271-0/+5
| | | | | | | | | | | | When there are multiple DFFs and one of them is removed, its reference lingers inside bit2driver dict. While invoking handle_dff() function for other DFFs, this broken reference is used isnside sat_import_cell() function.
| * Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-06-273-3/+372
| |\
| * | Refactor "opt_rmdff -sat"Clifford Wolf2019-06-202-359/+46
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Move netlist helper module to passes/opt for the time beingBogdan Vukobratovic2019-06-142-1/+318
| | |
| * | Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-06-142-3/+3
| |\ \
| * | | Prepare for situation when port of the signal cannot be foundBogdan Vukobratovic2019-06-141-1/+1
| | | |
| * | | Some cleanup, revert sat.ccBogdan Vukobratovic2019-06-141-7/+10
| | | |
| * | | Implement disconnection of constant register bitsBogdan Vukobratovic2019-06-131-12/+24
| | | |
| * | | Rename satgen_algo.h -> algo.h, code cleanup and refactoringBogdan Vukobratovic2019-06-121-73/+22
| | | |
| * | | Generate satgen instance instead of calling sat passBogdan Vukobratovic2019-06-111-23/+85
| | | |
| * | | Optimizing DFFs whose initial value prevents their value from changingBogdan Vukobratovic2019-05-281-3/+55
| | | | | | | | | | | | | | | | | | | | This is a proof of concept implementation that invokes SAT solver via Pass::call method.
* | | | Add "pmux2shiftx -norange", fixes #1135Clifford Wolf2019-06-271-3/+11
| |_|/ |/| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Improve opt_clean handling of unused public wiresClifford Wolf2019-06-261-2/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Do not clean up buffer cells with "keep" attribute, closes #1128Clifford Wolf2019-06-261-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Cope with $reduce_or common in caseEddie Hung2019-06-211-5/+37
| | |
* | | Fix spacingEddie Hung2019-06-211-24/+24
| | |
* | | Add docEddie Hung2019-06-211-3/+3
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-12 15:02:53 +0000