aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt/share.cc
Commit message (Collapse)AuthorAgeFilesLines
* Add flooring division operatorXiretza2020-05-281-1/+3
| | | | | | | | | | The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $divfloor cell provides this flooring division. This commit also fixes the handling of $div in opt_expr, which was previously optimized as if it was $divfloor.
* Add flooring modulo operatorXiretza2020-05-281-1/+3
| | | | | | | | | | | The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $modfloor cell provides this flooring modulo (also known as "remainder" in several languages, but this name is ambiguous). This commit also fixes the handling of $mod in opt_expr, which was previously optimized as if it was $modfloor.
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-76/+76
|
* Merge pull request #1845 from YosysHQ/eddie/kernel_speedupEddie Hung2020-04-021-8/+8
|\ | | | | kernel: speedup by using more pass-by-const-ref
| * kernel: SigSpec use more const& + overloads to prevent implicit SigSpecEddie Hung2020-03-131-8/+8
| |
* | Apply suggestions from code reviewEddie Hung2020-03-301-2/+1
| | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
* | kernel: clear some more ShareWorker stateEddie Hung2020-03-261-0/+4
| |
* | kernel: share a single CellTypes within a passEddie Hung2020-03-181-14/+29
|/
* Use more ID::{A,B,Y,blackbox,whitebox}Eddie Hung2019-08-151-35/+35
|
* Use ID() macro in all of passes/opt/Clifford Wolf2019-08-111-173/+173
| | | | | | | | | | 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>
* stoi -> atoiEddie Hung2019-08-071-1/+1
|
* Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-061-1/+1
|
* Make liberal use of IdString.in()Eddie Hung2019-08-061-2/+2
|
* Bugfix in $memrd sharingClifford Wolf2019-01-071-2/+6
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
|
* Fixed performance bug in "share" passClifford Wolf2016-04-211-2/+51
|
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-251-29/+29
|
* Fixed sharing of $memrd cellsClifford Wolf2015-09-121-0/+4
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
|
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-211-13/+13
|
* Less aggressive "share" defaultsClifford Wolf2015-02-101-4/+6
|
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-241-0/+4
|
* Added statehash to ezSATClifford Wolf2014-12-291-2/+6
|
* Converting "share" to dict<> and pool<> completeClifford Wolf2014-12-291-34/+42
|
* Switched most of "share" to dict<> and pool<>Clifford Wolf2014-12-291-16/+17
|
* Renamed hashmap.h to hashlib.h, some related improvementsClifford Wolf2014-12-281-2/+2
|
* More dict/pool related changesClifford Wolf2014-12-271-9/+9
|
* Improved TopoSort determinismClifford Wolf2014-11-071-3/+5
|
* Fixed various VS warningsClifford Wolf2014-10-181-2/+2
|
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-101-53/+53
|
* sat encoding for exclusive $pmux ctrl inputs in "share" passClifford Wolf2014-10-031-4/+16
|
* added resource sharing of $macc cellsClifford Wolf2014-10-031-3/+261
|
* resource sharing of $alu cellsClifford Wolf2014-10-031-3/+21
|
* namespace YosysClifford Wolf2014-09-271-1/+1
|
* Re-enabled assert for new logic loops in "share" passClifford Wolf2014-09-211-4/+1
|
* Various improvements regarding logic loops in "share" resultsClifford Wolf2014-09-211-37/+108
|
* Logic loop bugfix for "share" passClifford Wolf2014-09-211-3/+7
|
* Added "share -limit"Clifford Wolf2014-09-211-1/+13
|
* Still loop bug in "share": changed assert to warningClifford Wolf2014-09-211-13/+25
|
* Do not introduce new logic loops in "share"Clifford Wolf2014-09-211-6/+47
|
* Assert on new logic loops in "share" passClifford Wolf2014-09-211-0/+48
|
* Removed $bu0 cell typeClifford Wolf2014-09-041-1/+0
|
* Moved "share" and "wreduce" to passes/opt/Clifford Wolf2014-09-011-0/+987