aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt
Commit message (Collapse)AuthorAgeFilesLines
* Don't track , ... contradictions through x/z-bitsClifford Wolf2017-08-251-1/+4
|
* Add removing of redundant pairs of bits in ==, ===, !=, and !== to opt_exprClifford Wolf2017-08-251-0/+72
|
* Mostly coding style related fixes in rmports passClifford Wolf2017-08-151-30/+33
|
* rmports: Now remove ports from cell instances if we optimized them out of ↵Andrew Zonenberg2017-08-141-2/+35
| | | | that cell
* ProcessModule is no longer virtual (why was it in the first place?)Andrew Zonenberg2017-08-141-1/+1
|
* rmports now works on all modules in the design, not just the top.Andrew Zonenberg2017-08-141-4/+7
|
* Updated Makefile to reflect opt_rmports being renamed to rmportsAndrew Zonenberg2017-08-141-1/+1
|
* Renamed opt_rmports pass to rmportsAndrew Zonenberg2017-08-141-5/+5
|
* Improved handling of constant connections in opt_rmportsAndrew Zonenberg2017-08-141-0/+2
|
* Fixed handling of cell ports that aren't wiresAndrew Zonenberg2017-08-141-0/+3
|
* opt_rmports: Fixed incorrect handling of multi-bit netsAndrew Zonenberg2017-08-141-12/+27
|
* Removed commented out debug codeAndrew Zonenberg2017-08-141-4/+0
|
* Added opt_rmports pass (remove unconnected ports from top-level modules)Andrew Zonenberg2017-08-142-0/+133
|
* Add support for set-reset cell variants to opt_rmdffClifford Wolf2017-08-091-0/+182
|
* Add handling of constant reset signals to opt_rmdffClifford Wolf2017-08-061-1/+23
|
* Add consolidation of init attributes to opt_clean, some opt_clean log fixesClifford Wolf2017-07-291-6/+82
|
* Add "opt_expr -fine" feature to remove neutral bits from reduce and logic ↵Clifford Wolf2017-07-261-0/+47
| | | | operators
* Excluded $_TBUF_ from opt_merge passSalvador E. Tropea2017-07-031-0/+1
|
* Fix and_or_buffer optimization in opt_expr for signed operatorsClifford Wolf2017-07-011-2/+2
|
* Add $tribuf to opt_merge blacklistClifford Wolf2017-06-301-0/+1
|
* Squelch trailing whitespaceLarry Doolittle2017-04-121-3/+3
|
* Disable opt_merge for $anyseq and $anyconstClifford Wolf2017-02-281-0/+3
|
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-1/+1
|
* Fixed some "used uninitialized" warnings in opt_exprClifford Wolf2017-02-111-1/+2
|
* Add optimization of (a && 1'b1) and (a || 1'b0)Clifford Wolf2017-02-111-7/+22
|
* Fix issue #306, "Bug in opt -full"C-Elegans2017-02-101-1/+19
| | | | | | Add check for whether the high bit in the constant expression is greater than the width of the variable, and optimizes that to a constant 1 or 0
* Fix handling of init attributes with strange widthClifford Wolf2017-02-092-3/+9
|
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-1/+1
|
* Fix indenting and log messages in code merged from opt_compare_prClifford Wolf2017-01-311-102/+120
|
* Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into ↵Clifford Wolf2017-01-311-1/+103
|\ | | | | | | C-Elegans-opt_compare_pr
| * Refactor and generalize the comparision optimizationC-Elegans2017-01-301-22/+42
| | | | | | | | | | | | | | | | Generalizes the optimization to: a < C, a >= C, C > a, C <= a
| * Do not use b.as_int() in calculation of bit setC-Elegans2017-01-211-8/+29
| |
| * Optimize compares to powers of 2C-Elegans2017-01-164-81/+61
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove opt_compare and put comparison pass in opt_expr assuming a [7:0] is unsigned a >= (1<<x) becomes |a[7:x] a < (1<<x) becomes !a[7:x] Additionally: a >= 0 becomes constant true, a < 0 becomes constant false delete opt_compare.cc revert opt.cc to commit b7cfb7dbd (remove opt_compare step)
| * Fix issue #269, optimize signed compare with 0C-Elegans2017-01-153-0/+81
| | | | | | | | | | | | | | | | add opt_compare pass and add it to opt for a < 0: if a is signed, replace with a[max_bit-1] for a >= 0: if a is signed, replace with ~a[max_bit-1]
* | Improve opt_rmdff support for $dlatch cellsClifford Wolf2017-01-311-4/+22
|/
* Added opt_rmdff support for $ff cellsClifford Wolf2016-10-141-5/+13
|
* Added "opt_rmdff -keepdc"Clifford Wolf2016-09-302-7/+20
|
* Improved init spec handling in opt_rmdff, modernized the code a bitClifford Wolf2016-08-301-39/+82
|
* Removed $predict againClifford Wolf2016-08-281-1/+1
|
* Added "wreduce -memx"Clifford Wolf2016-08-201-3/+14
|
* Optimize memory address port width in wreduce and memory_collect, not ↵Clifford Wolf2016-08-191-0/+18
| | | | verilog front-end
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-1/+1
|
* Added basic support for $expect cellsClifford Wolf2016-07-131-1/+1
|
* Added opt_expr support for div/mod by power-of-twoClifford Wolf2016-05-291-0/+69
|
* Connections between inputs and inouts are driven by the inputClifford Wolf2016-04-261-0/+3
|
* Added "yosys -D" featureClifford Wolf2016-04-219-12/+12
|
* Fixed performance bug in "share" passClifford Wolf2016-04-211-2/+51
|
* Improvements in opt_exprClifford Wolf2016-04-211-12/+62
|
* Improved opt_merge support for $pmux cellsClifford Wolf2016-03-311-4/+46
|
* Typo fixes in opt_expr and opt_mergeClifford Wolf2016-03-312-2/+2
|