Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix the other "opt_expr -fine" bug introduced in 213a89558 | Claire Wolf | 2020-05-02 | 1 | -7/+19 |
| | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | Fix "opt_expr -fine" bug introduced in 213a89558 | Claire Wolf | 2020-05-01 | 1 | -7/+19 |
| | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | opt_expr: Fix X and CO outputs for $alu identity-mapping rules. | Marcelina Kościelnicka | 2020-04-16 | 1 | -2/+17 |
| | |||||
* | opt_clean: Add missing assignments to opt.did_something. | Marcelina Kościelnicka | 2020-04-15 | 1 | -0/+6 |
| | |||||
* | opt_expr: Add more $alu optimizations. | Marcelina Kościelnicka | 2020-04-14 | 1 | -19/+110 |
| | | | | | | | | | | | Detect the places in the $alu where the carry bit is constant (due to const A[i] == B[i] ^ BI) and split it into smaller $alu at these points. Also, make the existing const-carry detection for low bits more generic (now handles cases where both BI and CI are constant, but not equal to one another). Fixes #1912. | ||||
* | opt_expr: Optimize multiplications with low 0 bits in operands. | Marcelina Kościelnicka | 2020-04-13 | 1 | -0/+33 |
| | | | | Fixes #1500. | ||||
* | [NFCI] Deduplicate builtin FF cell types list | Marcelina Kościelnicka | 2020-04-09 | 1 | -3/+1 |
| | | | | | | | | | A few passes included the same list of FF cell types. Make it a global const instead. The zinit pass also seems to include a list like that, but given that it seems to be completely broken at the time (see #1568 discussion), I'm going to pretend I didn't see that. | ||||
* | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 14 | -459/+459 |
| | |||||
* | Merge pull request #1845 from YosysHQ/eddie/kernel_speedup | Eddie Hung | 2020-04-02 | 6 | -23/+23 |
|\ | | | | | kernel: speedup by using more pass-by-const-ref | ||||
| * | kernel: SigSpec use more const& + overloads to prevent implicit SigSpec | Eddie Hung | 2020-03-13 | 6 | -23/+23 |
| | | |||||
* | | Merge pull request #1828 from YosysHQ/eddie/celltypes_speedup | Eddie Hung | 2020-04-01 | 2 | -17/+35 |
|\ \ | | | | | | | kernel: share a single CellTypes within a pass | ||||
| * | | Code review fixes | Eddie Hung | 2020-03-30 | 1 | -1/+1 |
| | | | |||||
| * | | Apply suggestions from code review | Eddie Hung | 2020-03-30 | 1 | -2/+1 |
| | | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com> | ||||
| * | | kernel: clear some more ShareWorker state | Eddie Hung | 2020-03-26 | 1 | -0/+4 |
| | | | |||||
| * | | kernel: share a single CellTypes within a pass | Eddie Hung | 2020-03-18 | 2 | -17/+32 |
| |/ | |||||
* | | Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor | Eddie Hung | 2020-04-01 | 1 | -3/+37 |
|\ \ | | | | | | | opt_expr: optimise $xor/$xnor/$_XOR_/$_XNOR_ -s with constant inputs | ||||
| * | | opt_expr: fix failing $xnor test | Eddie Hung | 2020-03-20 | 1 | -2/+17 |
| | | | |||||
| * | | opt_expr: fix missing brace | Eddie Hung | 2020-03-20 | 1 | -2/+4 |
| | | | |||||
| * | | opt_expr: extend to $xnor and $_XNOR_ | Eddie Hung | 2020-03-19 | 1 | -8/+12 |
| | | | |||||
| * | | opt_expr: optimise 1-bit $xor or $_XOR_ with constant input | Eddie Hung | 2020-03-19 | 1 | -1/+14 |
| |/ | |||||
* | | Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu | Eddie Hung | 2020-04-01 | 1 | -19/+51 |
|\ \ | | | | | | | opt_expr: improve performance on $alu and $sub | ||||
| * | | opt_expr: remove redundant | Eddie Hung | 2020-03-19 | 1 | -3/+0 |
| | | | |||||
| * | | opt_expr: optimise $sub when both A[i] and B[i] == 1'b1 | Eddie Hung | 2020-03-19 | 1 | -9/+20 |
| | | | |||||
| * | | opt_expr: optimise for identity $alu-s just like $add/$sub | Eddie Hung | 2020-03-19 | 1 | -7/+31 |
| |/ | |||||
* | | opt_merge: unordered_map -> dict as per @cliffordwolf review | Eddie Hung | 2020-03-16 | 1 | -1/+1 |
| | | |||||
* | | opt_merge: speedup | Eddie Hung | 2020-03-16 | 1 | -132/+102 |
|/ | |||||
* | ystests: fix write_smt2_write_smt2_cyclic_dependency_fail | Eddie Hung | 2020-02-28 | 1 | -11/+11 |
| | |||||
* | clean: ignore specify-s inside cells when determining whether to keep | Eddie Hung | 2020-02-19 | 1 | -9/+15 |
| | |||||
* | Merge pull request #1576 from YosysHQ/eddie/opt_merge_init | Eddie Hung | 2020-02-05 | 1 | -1/+16 |
|\ | | | | | opt_merge: discard \init of '$' cells with 'Q' port when merging | ||||
| * | Merge remote-tracking branch 'origin/master' into eddie/opt_merge_init | Eddie Hung | 2020-01-28 | 1 | -1/+1 |
| |\ | |||||
| * | | Add $_FF_ and $_SR* courtesy of @mwkmwkmwk | Eddie Hung | 2019-12-20 | 1 | -4/+6 |
| | | | |||||
| * | | More stringent check for flop cells | Eddie Hung | 2019-12-20 | 1 | -2/+4 |
| | | | |||||
| * | | opt_merge to discard \init of '$' cells with 'Q' port when merging | Eddie Hung | 2019-12-13 | 1 | -0/+11 |
| | | | |||||
* | | | Add opt_lut_ins pass. (#1673) | Marcelina Kościelnicka | 2020-02-03 | 2 | -0/+279 |
| | | | |||||
* | | | Merge branch 'vector_fix' of https://github.com/Kmanfi/yosys | Claire Wolf | 2020-01-29 | 1 | -1/+3 |
|\ \ \ | | | | | | | | | | | | | Also some minor fixes to the original PR. | ||||
| * | | | Fix input vector for reduce cells. Infinite loop fixed. | Kaj Tuomi | 2017-10-17 | 1 | -0/+2 |
| | | | | |||||
* | | | | opt_reduce: Call check() per run rather than per optimised cell | David Shah | 2020-01-28 | 1 | -1/+2 |
| |_|/ |/| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | Fix opt_expr.eqneq.cmpzero debug print | Alyssa Milburn | 2019-12-15 | 1 | -1/+1 |
| |/ |/| | |||||
* | | opt_share: Fix handling of fine cells. | Marcin Kościelnicki | 2019-11-27 | 1 | -4/+11 |
| | | | | | | | | Fixes #1525. | ||||
* | | Add "opt_mem" pass | Clifford Wolf | 2019-11-22 | 2 | -0/+144 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | wreduce: Don't trim zeros or sext when not matching ARST_VALUE | David Shah | 2019-11-14 | 1 | -4/+10 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Fix handling of z_digit "?" and fix optimization of cmp with "z" | Clifford Wolf | 2019-09-13 | 1 | -0/+4 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | passes: opt_share: don't statically initialize mergeable_type_map | Sean Cross | 2019-09-09 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | | | | | | | | In 3d3779b0376b8204ed7637053176a07b7271ac1d this got turned from a `std::map<std::string, std::string>` to `std::map<IdString, IdString>`. Consequently, this exposed some initialization sequencing issues (#1361). Only initialize the map when it's first used, to avoid these static issues. This fixes #1361. Signed-off-by: Sean Cross <sean@xobs.io> | ||||
* | | Copy-paste typo | Eddie Hung | 2019-08-22 | 1 | -1/+1 |
| | | |||||
* | | Respect opt_expr -keepdc as per @cliffordwolf | Eddie Hung | 2019-08-22 | 1 | -1/+1 |
| | | |||||
* | | Handle $shift and Y_WIDTH > 1 as per @cliffordwolf | Eddie Hung | 2019-08-22 | 1 | -4/+8 |
| | | |||||
* | | Add cover() | Eddie Hung | 2019-08-22 | 1 | -0/+1 |
| | | |||||
* | | Canonical form | Eddie Hung | 2019-08-22 | 1 | -5/+5 |
| | | |||||
* | | opt_expr to trim A port of $shiftx if Y_WIDTH == 1 | Eddie Hung | 2019-08-21 | 1 | -0/+17 |
| | | |||||
* | | ID({A,B,Y}) -> ID::{A,B,Y} for opt_share.cc | Eddie Hung | 2019-08-19 | 1 | -30/+30 |
| | |