aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Extend during mux decomposition with 1'bxEddie Hung2019-07-091-24/+3
|
* Fix typo and commentsEddie Hung2019-07-091-4/+4
|
* Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-07-0916-79/+348
|\
| * 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-093-16/+28
| |\ \ | | | | | | | | More support for case rule attributes
| | * | verilog_backend: dump attributes on SwitchRule.whitequark2019-07-081-0/+1
| | | | | | | | | | | | | | | | This appears to be an omission.
| | * | proc_mux: consider \src attribute on CaseRule.whitequark2019-07-081-10/+16
| | | |
| | * | verilog_backend: dump attributes on CaseRule, as comments.whitequark2019-07-081-6/+10
| | | | | | | | | | | | | | | | Attributes are not permitted in that position by Verilog grammar.
| | * | genrtlil: emit \src attribute on CaseRule.whitequark2019-07-081-0/+1
| | | |
| * | | Merge pull request #1162 from whitequark/rtlil-case-attrsClifford Wolf2019-07-093-5/+15
| |\| | | | | | | | | | Allow attributes on individual switch cases in RTLIL
| | * | Allow attributes on individual switch cases in RTLIL.whitequark2019-07-083-5/+15
| | |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The parser changes are slightly awkward. Consider the following IL: process $0 <point 1> switch \foo <point 2> case 1'1 assign \bar \baz <point 3> ... case end end Before this commit, attributes are valid in <point 1>, and <point 3> iff it is immediately followed by a `switch`. (They are essentially attached to the switch.) But, after this commit, and because switch cases do not have an ending delimiter, <point 3> becomes ambiguous: the attribute could attach to either the following `case`, or to the following `switch`. This isn't expressible in LALR(1) and results in a reduce/reduce conflict. To address this, attributes inside processes are now valid anywhere inside the process: in <point 1> and <point 3> a part of case body, and in <point 2> as a separate rule. As a consequence, attributes can now precede `assign`s, which is made illegal in the same way it is illegal to attach attributes to `connect`. Attributes are tracked separately from the parser state, so this does not affect collection of attributes at all, other than allowing them on `case`s. The grammar change serves purely to allow attributes in more syntactic places.
| * | Merge pull request #1167 from YosysHQ/eddie/xc7srl_cleanupClifford Wolf2019-07-091-19/+25
| |\ \ | | | | | | | | Cleanup synth_xilinx SRL inference, make more consistent
| | * \ Merge branch 'eddie/script_from_wire' into eddie/xc7srl_cleanupEddie Hung2019-07-026-15/+20
| | |\ \
| | * | | Cleanup SRL inference/make more consistentEddie Hung2019-06-291-19/+25
| | | | |
| * | | | Merge pull request #1166 from YosysHQ/eddie/synth_keepdcEddie Hung2019-07-083-3/+15
| |\ \ \ \ | | | | | | | | | | | | Add "synth -keepdc" option
| * \ \ \ \ Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-07-082-8/+22
| |\ \ \ \ \
| | * \ \ \ \ Merge pull request #1164 from YosysHQ/eddie/muxcover_mux2Eddie Hung2019-07-081-8/+19
| | |\ \ \ \ \ | | | | | | | | | | | | | | | | Add muxcover -mux2=cost option
| | * \ \ \ \ \ Merge pull request #1160 from ZirconiumX/cyclone_vDavid Shah2019-07-081-0/+3
| | |\ \ \ \ \ \ | | | |_|_|_|_|/ | | |/| | | | | synth_intel: Warn about untested Quartus backend
| | | * | | | | synth_intel: Warn about untested Quartus backendDan Ravensloft2019-07-071-0/+3
| | |/ / / / /
| * / / / / / Clarify script -scriptwire docEddie Hung2019-07-081-0/+4
| |/ / / / /
* | | | | | synth_xilinx to call commands of synth -coarse directlyEddie Hung2019-07-091-3/+20
| | | | | |
* | | | | | Revert "synth_xilinx to call "synth -run coarse" with "-keepdc""Eddie Hung2019-07-091-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 7f964859ec99500e471853f5914b6e5b7c35a031.
* | | | | | Fix spacingEddie Hung2019-07-091-1/+1
| | | | | |
* | | | | | Fix spacingEddie Hung2019-07-091-1/+1
| | | | | |
* | | | | | Decompose mux inputs in delay-orientated (rather than area) fashionEddie Hung2019-07-081-18/+30
| | | | | |
* | | | | | Do not call opt -mux_undef (part of -full) before muxcoverEddie Hung2019-07-081-1/+5
| | | | | |
* | | | | | Add one more commentEddie Hung2019-07-081-0/+3
| | | | | |
* | | | | | Less thinkingEddie Hung2019-07-081-3/+3
| | | | | |
* | | | | | RewordEddie Hung2019-07-081-2/+2
| | | | | |
* | | | | | synth_xilinx to call "synth -run coarse" with "-keepdc"Eddie Hung2019-07-081-2/+2
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/synth_keepdc' into xc7muxEddie Hung2019-07-084-8/+25
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
| * | | | | Add synth -keepdc to CHANGELOGEddie Hung2019-07-081-0/+1
| | | | | |
| * | | | | Clarify 'wreduce -keepdc' docEddie Hung2019-07-081-1/+1
| | | | | |
| * | | | | Add synth -keepdc optionEddie Hung2019-07-081-2/+13
| | |/ / / | |/| | |
| * | | | Update muxcover doc as per @ZirconiumXEddie Hung2019-07-081-5/+10
| | | | |
* | | | | Map $__XILINX_SHIFTX in a more balanced mannerEddie Hung2019-07-081-36/+49
| | | | |
* | | | | CapitalisationEddie Hung2019-07-081-1/+1
| | | | |
* | | | | Add synth_xilinx -widemux recommended valueEddie Hung2019-07-081-1/+1
| | | | |
* | | | | Fixes for 2:1 muxesEddie Hung2019-07-082-5/+30
| | | | |
* | | | | synth_xilinx -widemux=2 is minimum nowEddie Hung2019-07-081-4/+7
| | | | |
* | | | | Parametric muxcover costs as per @daveshah1Eddie Hung2019-07-081-16/+14
| | | | |
* | | | | Merge remote-tracking branch 'origin/eddie/muxcover_mux2' into xc7muxEddie Hung2019-07-081-5/+11
|\| | | |
| * | | | atoi -> stoiEddie Hung2019-07-081-5/+5
| | | | |
| * | | | Add muxcover -mux2=cost optionEddie Hung2019-07-081-1/+7
| |/ / /
* | | | atoi -> stoi as per @daveshah1Eddie Hung2019-07-081-1/+1
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-16 04:27:34 +0000