aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Minor bugfix in "test_pmgen -generate"Clifford Wolf2019-08-161-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add pmgen finish statement, return number of matchesClifford Wolf2019-08-164-82/+116
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Redesign pmgen backtracking for recursive matchingClifford Wolf2019-08-162-33/+38
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add pmgen "generate" featureClifford Wolf2019-08-163-13/+208
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Refactor demo_reduce into test_pmgenClifford Wolf2019-08-164-14/+83
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add doc for pmgen semioptional statement, Add pmgen changes to CHANGELOGClifford Wolf2019-08-151-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update pmgen documentationClifford Wolf2019-08-151-4/+58
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Change pmgen default rule to reject, switch peepopt behavior to acceptClifford Wolf2019-08-155-7/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add demo_reduce pass to demonstrace recursive pattern matchingClifford Wolf2019-08-154-0/+187
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improvements in pmgen for recursive patternsClifford Wolf2019-08-154-26/+132
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge branch 'master' into clifford/idsClifford Wolf2019-08-151-1/+49
|\
| * Revert "Since $_ANDNOT_ is not symmetric, do not sort leaves"Eddie Hung2019-08-141-4/+8
| |
| * Since $_ANDNOT_ is not symmetric, do not sort leavesEddie Hung2019-08-121-8/+4
| |
| * Merge remote-tracking branch 'origin/master' into eddie/fix_1262Eddie Hung2019-08-1142-360/+279
| |\
| * | 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>
* | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-103-111/+0
| |
* | Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-1038-225/+218
|\ \ | | | | | | Cleanup a few barnacles across codebase
| * | substr() -> compare()Eddie Hung2019-08-0718-74/+74
| | |
| * | RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-077-48/+48
| | |
| * | Merge remote-tracking branch 'origin/master' into eddie/cleanupEddie Hung2019-08-074-41/+54
| |\ \
| * | | Remove std:: namespaceEddie Hung2019-08-071-5/+5
| | | |
| * | | stoi -> atoiEddie Hung2019-08-0734-110/+110
| | | |
| * | | IdString::str().substr() -> IdString::substr()Eddie Hung2019-08-061-1/+1
| | | |
| * | | Fix typosEddie Hung2019-08-061-5/+5
| | | |
| * | | Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-0631-100/+100
| | | |
| * | | Use IdString::begins_with()Eddie Hung2019-08-062-19/+17
| | | |
| * | | Use State::S{0,1}Eddie Hung2019-08-066-12/+12
| | | |
| * | | Make liberal use of IdString.in()Eddie Hung2019-08-0614-34/+34
| | | |
| * | | Cleanup opt_expr.ccEddie Hung2019-08-061-35/+30
| | | |
* | | | Merge pull request #1276 from YosysHQ/clifford/fix1273Clifford Wolf2019-08-101-15/+54
|\ \ \ \ | | | | | | | | | | Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default gate lib
| * | | | Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default gate lib, add "abc -g ↵Clifford Wolf2019-08-091-15/+54
| | |_|/ | |/| | | | | | | | | | | | | | | | | | all", fixes #1273 Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #1267 from whitequark/proc_prune-fix-1243whitequark2019-08-091-9/+7
|\ \ \ \ | |/ / / |/| | | proc_prune: fix handling of exactly identical assigns
| * | | proc_prune: fix handling of exactly identical assigns.whitequark2019-08-081-9/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, in a process like: process $proc$bug.v:8$3 assign $foo \bar switch \sel case 1'1 assign $foo 1'1 assign $foo 1'1 case assign $foo 1'0 end end both of the "assign $foo 1'1" would incorrectly be removed. Fixes #1243.
* | | | Merge pull request #1264 from YosysHQ/eddie/fix_1254Eddie Hung2019-08-081-0/+6
|\ \ \ \ | | | | | | | | | | opt_lut to ignore LUT cells, or those that drive bits, with (* keep *)
| * | | | opt_lut to ignore LUT cells, or those that drive bits, with (* keep *)Eddie Hung2019-08-071-0/+6
| |/ / /
* / / / Add ice40_wrapcarry pass, rename $__ICE40_FULL_ADDER -> CARRY_WRAPPEREddie Hung2019-08-073-0/+111
|/ / /
* | | Add commentEddie Hung2019-08-071-2/+3
| | |
* | | Revert "Add TODO"Eddie Hung2019-08-071-2/+0
| | | | | | | | | | | | This reverts commit 6068a6bf0d91e3ab9a5eaa33894a816f1560f99a.
* | | Add TODOEddie Hung2019-08-071-0/+2
| | |
* | | Compute box_lookup just onceEddie Hung2019-08-071-8/+24
| |/ |/|
* | Merge pull request #1213 from YosysHQ/eddie/wreduce_addClifford Wolf2019-08-072-3/+28
|\ \ | | | | | | wreduce/opt_expr: improve width reduction for $add and $sub cells
| * | 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-067-43/+118
| |\|
| * | Try and fix againEddie Hung2019-07-191-5/+4
| | |
| * | Do not access beyond boundsEddie Hung2019-07-191-1/+1
| | |