aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-07-185-106/+179
|\
| * Merge pull request #1188 from YosysHQ/eddie/abc9_push_invertersEddie Hung2019-07-161-44/+127
| |\ | | | | | | abc9: push inverters driving box inputs (comb outputs) through $lut soft logic
| | * Add commentEddie Hung2019-07-131-0/+5
| | |
| | * duplicate -> cloneEddie Hung2019-07-121-3/+3
| | |
| | * More cleanupEddie Hung2019-07-121-8/+2
| | |
| | * CleanupEddie Hung2019-07-121-29/+51
| | |
| | * CleanupEddie Hung2019-07-121-10/+4
| | |
| | * CleanupEddie Hung2019-07-121-15/+24
| | |
| | * More cleanupEddie Hung2019-07-121-11/+10
| | |
| | * CleanupEddie Hung2019-07-121-46/+16
| | |
| | * CleanupEddie Hung2019-07-121-7/+1
| | |
| | * CleanupEddie Hung2019-07-121-13/+109
| | |
| * | Merge pull request #1186 from YosysHQ/eddie/abc9_ice40_fixEddie Hung2019-07-161-2/+2
| |\ \ | | | | | | | | abc9/ice40: encapsulate SB_CARRY+SB_LUT4 into one box
| | * | Do not double count cells in abcEddie Hung2019-07-121-2/+2
| | |/
| * | Fix check logic in extract_faMiodrag Milanovic2019-07-161-2/+2
| | |
| * | Merge pull request #1189 from YosysHQ/eddie/fix1151Clifford Wolf2019-07-151-0/+4
| |\ \ | | | | | | | | Error out if enable > dbits in memory_bram file
| | * | Error out if enable > dbitsEddie Hung2019-07-131-0/+4
| | |/
| * | Merge pull request #1190 from YosysHQ/eddie/fix_1099Clifford Wolf2019-07-151-4/+8
| |\ \ | | | | | | | | extract_fa to return nothing more gracefully
| | * | If ConstEval fails do not log_abort() but return gracefullyEddie Hung2019-07-131-4/+8
| | |/
| * / opt_lut: make less chatty.whitequark2019-07-131-56/+38
| |/
* | Check if RHS is empty firstEddie Hung2019-07-181-0/+2
| |
* | Do not autoremove ffP aor muxPEddie Hung2019-07-181-2/+0
| |
* | Improve pattern matcher to match subsets of $dffe? cellsEddie Hung2019-07-182-12/+22
| |
* | Improve A/B reg packingEddie Hung2019-07-182-6/+11
| |
* | Do not autoremove A/B registers since they might have other consumersEddie Hung2019-07-181-2/+0
| |
* | Fix xilinx_dsp index castEddie Hung2019-07-181-2/+2
| |
* | Wrong wildcard symbolEddie Hung2019-07-181-1/+1
| |
* | Pattern matcher to check pool of bits, not exactlyEddie Hung2019-07-172-5/+11
| |
* | Signed extensionEddie Hung2019-07-162-6/+6
| |
* | Add support {A,B,P}REG packingEddie Hung2019-07-162-55/+94
| |
* | Oops forgot these filesEddie Hung2019-07-151-2/+7
| |
* | Add xilinx_dsp for register packingEddie Hung2019-07-153-2/+192
|/
* Enable &mfs for abc9, even if it only currently works for ice40Eddie Hung2019-07-111-1/+1
|
* Merge pull request #1179 from whitequark/attrmap-procClifford Wolf2019-07-111-0/+19
|\ | | | | attrmap: also consider process, switch and case attributes
| * attrmap: also consider process, switch and case attributes.whitequark2019-07-101-0/+19
| |
* | Merge pull request #1177 from YosysHQ/clifford/asyncClifford Wolf2019-07-101-0/+7
|\ \ | |/ |/| Fix clk2fflogic adff reset semantic to negative hold time on reset
| * Fix tests/various/async FFL testClifford Wolf2019-07-091-0/+7
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #1174 from YosysHQ/eddie/fix1173Clifford Wolf2019-07-091-0/+3
|\ \ | | | | | | Increment _TECHMAP_BITS_CONNMAP_ by one since counting from zero
| * | Increment _TECHMAP_BITS_CONNMAP_ by one since counting from zeroEddie Hung2019-07-091-0/+3
| |/
* / Revert "Add "synth -keepdc" option"Eddie Hung2019-07-091-1/+1
|/
* Merge pull request #1168 from whitequark/bugpoint-processesClifford Wolf2019-07-092-17/+105
|\ | | | | Add support for processes in bugpoint
| * bugpoint: add -assigns and -updates options.whitequark2019-07-091-9/+81
| |
| * proc_clean: add -quiet option.whitequark2019-07-091-8/+24
| | | | | | | | This is useful for other passes that call it often, like bugpoint.
* | Merge pull request #1169 from whitequark/more-proc-cleanupsClifford Wolf2019-07-095-22/+168
|\ \ | | | | | | A new proc_prune pass
| * | proc_prune: promote assigns to module connections when legal.whitequark2019-07-093-33/+42
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This can pave the way for further transformations by exposing identities that were previously hidden in a process to any pass that uses SigMap. Indeed, this commit removes some ad-hoc logic from proc_init that appears to have been tailored to the output of genrtlil in favor of using `SigMap.apply()`. (This removal is not optional, as the ad-hoc logic cannot cope with the result of running proc_prune; a similar issue was fixed in proc_arst.)
| * | proc_prune: new pass.whitequark2019-07-093-1/+138
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The proc_prune pass is similar in nature to proc_rmdead pass: while proc_rmdead removes branches that never become active because another branch preempts it, proc_prune removes assignments that never become active because another assignment preempts them. Genrtlil contains logic similar to the proc_prune pass, but their purpose is different: genrtlil has to prune assignments to adapt the semantics of blocking assignments in HDLs (latest assignment wins) to semantics of assignments in RTLIL processes (assignment in the most specific case wins). On the other hand proc_prune is a general purpose RTLIL simplification that benefits all frontends, even those not using the Yosys AST library. The proc_prune pass is added to the proc script after proc_rmdead, since it gives better results with fewer branches.
* | Merge pull request #1163 from whitequark/more-case-attrsClifford Wolf2019-07-091-10/+16
|\ \ | | | | | | More support for case rule attributes
| * | proc_mux: consider \src attribute on CaseRule.whitequark2019-07-081-10/+16
| |/
* | Clarify 'wreduce -keepdc' docEddie Hung2019-07-081-1/+1
| |
* | Update muxcover doc as per @ZirconiumXEddie Hung2019-07-081-5/+10
| |