aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt/opt_expr.cc
Commit message (Expand)AuthorAgeFilesLines
* opt_expr: Remove -clkinv option, make it the default.Marcelina Kościelnicka2020-07-311-9/+9
* opt_expr: Fix handling of $_XNOR_ cells with A = B.Marcelina Kościelnicka2020-07-291-1/+1
* opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-051-0/+8
* Merge pull request #2168 from whitequark/assert-unused-exprsclairexen2020-06-251-1/+1
|\
| * Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().whitequark2020-06-191-1/+1
* | Add support for new FF types in some opt passes.Marcelina Kościelnicka2020-06-231-3/+32
|/
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* Add flooring division operatorXiretza2020-05-281-6/+25
* Add flooring modulo operatorXiretza2020-05-281-5/+28
* opt_expr: Sx to Sz; spotted by @XiretzaEddie Hung2020-05-141-1/+1
* Merge pull request #1994 from YosysHQ/eddie/fix_bug1758Eddie Hung2020-05-141-25/+111
|\
| * Fix whitespaceEddie Hung2020-05-141-1/+1
| * opt_expr: consume_x to require/imply !keepdcEddie Hung2020-05-081-5/+6
| * opt_expr: restore consume_x; use for coarse grained tooEddie Hung2020-05-081-6/+6
| * opt_expr: const_xnor replacement to pad Y with 1'b1Eddie Hung2020-04-241-1/+2
| * opt_expr: more fixes for $xor/$xnorEddie Hung2020-04-241-23/+47
| * opt_expr: do not group by X, more fixesEddie Hung2020-04-231-18/+59
| * opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells tooEddie Hung2020-04-231-10/+29
* | Fix the other "opt_expr -fine" bug introduced in 213a89558Claire Wolf2020-05-021-7/+19
* | Fix "opt_expr -fine" bug introduced in 213a89558Claire Wolf2020-05-011-7/+19
|/
* opt_expr: Fix X and CO outputs for $alu identity-mapping rules.Marcelina Kościelnicka2020-04-161-2/+17
* opt_expr: Add more $alu optimizations.Marcelina Kościelnicka2020-04-141-19/+110
* opt_expr: Optimize multiplications with low 0 bits in operands.Marcelina Kościelnicka2020-04-131-0/+33
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-147/+147
* Merge pull request #1845 from YosysHQ/eddie/kernel_speedupEddie Hung2020-04-021-4/+4
|\
| * kernel: SigSpec use more const& + overloads to prevent implicit SigSpecEddie Hung2020-03-131-4/+4
* | Merge pull request #1828 from YosysHQ/eddie/celltypes_speedupEddie Hung2020-04-011-3/+3
|\ \
| * | Code review fixesEddie Hung2020-03-301-1/+1
| * | kernel: share a single CellTypes within a passEddie Hung2020-03-181-3/+3
| |/
* | Merge pull request #1790 from YosysHQ/eddie/opt_expr_xorEddie Hung2020-04-011-3/+37
|\ \
| * | opt_expr: fix failing $xnor testEddie Hung2020-03-201-2/+17
| * | opt_expr: fix missing braceEddie Hung2020-03-201-2/+4
| * | opt_expr: extend to $xnor and $_XNOR_Eddie Hung2020-03-191-8/+12
| * | opt_expr: optimise 1-bit $xor or $_XOR_ with constant inputEddie Hung2020-03-191-1/+14
| |/
* | opt_expr: remove redundantEddie Hung2020-03-191-3/+0
* | opt_expr: optimise $sub when both A[i] and B[i] == 1'b1Eddie Hung2020-03-191-9/+20
* | opt_expr: optimise for identity $alu-s just like $add/$subEddie Hung2020-03-191-7/+31
|/
* Fix opt_expr.eqneq.cmpzero debug printAlyssa Milburn2019-12-151-1/+1
* Fix handling of z_digit "?" and fix optimization of cmp with "z"Clifford Wolf2019-09-131-0/+4
* Copy-paste typoEddie Hung2019-08-221-1/+1
* Respect opt_expr -keepdc as per @cliffordwolfEddie Hung2019-08-221-1/+1
* Handle $shift and Y_WIDTH > 1 as per @cliffordwolfEddie Hung2019-08-221-4/+8
* Add cover()Eddie Hung2019-08-221-0/+1
* Canonical formEddie Hung2019-08-221-5/+5
* opt_expr to trim A port of $shiftx if Y_WIDTH == 1Eddie Hung2019-08-211-0/+17
* Merge pull request #1283 from YosysHQ/clifford/fix1255Clifford Wolf2019-08-171-1/+2
|\
| * Merge branch 'master' into clifford/fix1255Clifford Wolf2019-08-151-356/+404
| |\
| * | Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-1/+2
* | | Use ID::keep more liberally tooEddie Hung2019-08-151-1/+1
* | | Use more ID::{A,B,Y,blackbox,whitebox}Eddie Hung2019-08-151-159/+159