aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | | pmgen progressClifford Wolf2019-04-304-13/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmgClifford Wolf2019-04-303-4/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Progress in shiftmul peepopt patternClifford Wolf2019-04-301-3/+51
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Add "peepopt" skeletonClifford Wolf2019-04-295-1/+112
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Add pmgen support for multiple patterns in one matcherClifford Wolf2019-04-293-130/+188
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Support multiple pmg files (right now just concatenated together)Clifford Wolf2019-04-291-6/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-026-4/+69
|\ \ \ \ \ \ \ \ | | |/ / / / / / | |/| | | | | |
| * | | | | | | Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-05-016-6/+74
| |\ \ \ \ \ \ \
| | * | | | | | | Add missing enable_undef to "sat -tempinduct-def", fixes #883Clifford Wolf2019-05-021-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | Fix floating point exception in qwp, fixes #923Clifford Wolf2019-05-011-1/+1
| | | |/ / / / / | | |/| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | Fix segfault in wreduceClifford Wolf2019-04-301-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | Merge pull request #966 from YosysHQ/clifford/fix956Clifford Wolf2019-04-302-2/+54
| | |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Drive dangling wires with init attr with their init value
| | | * | | | | | Add handling of init attributes in "opt_expr -undriven"Clifford Wolf2019-04-301-2/+41
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | | | | Drive dangling wires with init attr with their init value, fixes #956Clifford Wolf2019-04-291-0/+13
| | | |/ / / / /
| | * / / / / / Add -undef option to equiv_opt, passed to equiv_inductEddie Hung2019-04-261-3/+16
| | |/ / / / /
| * / / / / / Copy with 1'bx padding in $shiftxEddie Hung2019-04-281-1/+11
| |/ / / / /
* | | | | | Revert "Merge branch 'eddie/split_shiftx' into xc7mux"Eddie Hung2019-04-266-153/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 3042d5833041021bb45252b0cc862e9eff3d27d3, reversing changes made to feff9764540cbf1152459cb377fc68d8e10c7153.
* | | | | | Add -undef option to equiv_opt, passed to equiv_inductEddie Hung2019-04-261-3/+16
| | | | | |
* | | | | | Actually use pm.st.shiftxBEddie Hung2019-04-252-3/+6
| | | | | |
* | | | | | Fix for when B_WIDTH has trailing zeroesEddie Hung2019-04-251-5/+9
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7muxEddie Hung2019-04-252-16/+18
|\ \ \ \ \ \
| * | | | | | In order to indicate a failed pattern, blacklist?Eddie Hung2019-04-252-15/+16
| | | | | | |
| * | | | | | Elaborate on help messageEddie Hung2019-04-251-1/+2
| | | | | | |
* | | | | | | Merge branch 'eddie/split_shiftx' into xc7muxEddie Hung2019-04-256-9/+144
|\| | | | | |
| * | | | | | Add split_shiftx commandEddie Hung2019-04-252-0/+134
| | | | | | |
| * | | | | | Make pmgen support files more genericEddie Hung2019-04-252-6/+9
| |/ / / / /
| * / / / / MisspellingEddie Hung2019-04-251-1/+1
| |/ / / /
| * | / / Remove some left-over log_dump()Clifford Wolf2019-04-231-2/+0
| | |/ / | |/| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #914 from YosysHQ/xc7srlEddie Hung2019-04-221-5/+159
| |\ \ \ | | | | | | | | | | synth_xilinx to now infer SRL16E/SRLC32E
* | \ \ \ Merge branch 'xaig' into xc7muxEddie Hung2019-04-228-53/+153
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-2210-51/+1031
| |\| | |
| | * | | Merge pull request #951 from YosysHQ/clifford/logdebugClifford Wolf2019-04-226-50/+125
| | |\ \ \ | | | | | | | | | | | | Add log_debug() framework
| | | * | | Add log_debug() frameworkClifford Wolf2019-04-226-50/+125
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | Merge pull request #949 from YosysHQ/clifford/pmux2shimproveClifford Wolf2019-04-221-1/+22
| | |\ \ \ \ | | | | | | | | | | | | | | Add full_pmux feature to pmux2shiftx
| | | * | | | Add full_pmux feature to pmux2shiftxClifford Wolf2019-04-221-1/+22
| | | |/ / / | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaigEddie Hung2019-04-211-1/+1
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-2010-44/+167
| |\ \ \ \ \ \
| * | | | | | | Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-5/+19
| | | | | | | |
| * | | | | | | Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-187-16/+16
| |\ \ \ \ \ \ \
| * | | | | | | | Skip if abc_box_id earlierEddie Hung2019-04-171-3/+3
| | | | | | | | |
| * | | | | | | | Remove use of abc_box_id in statEddie Hung2019-04-171-3/+0
| | | | | | | | |
| * | | | | | | | Do not print slack histogramEddie Hung2019-04-171-1/+1
| | | | | | | | |
| * | | | | | | | Working ABC9 scriptEddie Hung2019-04-171-2/+2
| | | | | | | | |
| * | | | | | | | abc9 to output some more infoEddie Hung2019-04-161-1/+2
| | | | | | | | |
| * | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-161-28/+0
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Port from xc7mux branchEddie Hung2019-04-162-17/+58
| | | | | | | | | |
* | | | | | | | | | Merge remote-tracking branch 'origin/xc7srl' into xc7muxEddie Hung2019-04-2221-179/+1243
|\ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ / | |/| | | | | | | |
| * | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-04-223-2/+54
| |\ \ \ \ \ \ \ \ \ | | | |_|_|_|_|/ / / | | |/| | | | | | |
| | * | | | | | | | attrmap: extend -remove to allow removing attributes with any value.whitequark2019-04-221-1/+3
| | | |_|_|_|_|/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Currently, `-remove foo` would only remove an attribute `foo = ""`, which doesn't work on an attribute like `src` that may have any value. Extend `-remove` to handle both cases. `-remove foo=""` has the old behavior, and `-remove foo` will remove the attribute with whatever value it may have, which is still compatible with the old behavior.
| | * | | | | | | Merge pull request #905 from christian-krieg/feature/python_bindingsClifford Wolf2019-04-221-0/+50
| | |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Feature/python bindings