aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Add FF support to wreduceClifford Wolf2019-02-201-1/+70
* Detect and reject cases that do not map well to iCE40 DSPs (yet)Clifford Wolf2019-02-202-2/+17
* Add actual DSP inference to ice40_dsp passClifford Wolf2019-02-173-24/+214
* Merge branch 'master' of github.com:YosysHQ/yosys into pmgenClifford Wolf2019-02-172-1/+8
|\
| * fsm_opt: Fix runtime error for FSMs without a reset stateDavid Shah2019-02-071-1/+2
| * proc_clean: fix critical typo.whitequark2019-01-231-1/+1
| * proc_clean: fix fully def check to consider compare/signal length.whitequark2019-01-181-1/+7
* | Progress in pmgenClifford Wolf2019-01-151-3/+11
* | Progress in pmgen, add pmgen READMEClifford Wolf2019-01-153-14/+260
* | Fix pmgen "reject" statementClifford Wolf2019-01-151-1/+1
* | Progress in pmgenClifford Wolf2019-01-153-36/+139
* | Progress in pmgenClifford Wolf2019-01-153-21/+157
* | Progress in pmgenClifford Wolf2019-01-155-8/+347
* | Add mockup .pmg (pattern matcher generator) fileClifford Wolf2019-01-151-0/+75
|/
* flowmap: clean up terminology.whitequark2019-01-081-17/+18
* flowmap: implement depth relaxation.whitequark2019-01-087-22/+762
* Bugfix in $memrd sharingClifford Wolf2019-01-071-2/+6
* Merge pull request #782 from whitequark/flowmap_dfsClifford Wolf2019-01-073-124/+243
|\
| * flowmap: construct a max-volume max-flow min-cut, not just any one.whitequark2019-01-061-7/+10
| * flowmap: add -minlut option, to allow postprocessing with opt_lut.whitequark2019-01-041-7/+21
| * flowmap: cleanup for clarity. NFCI.whitequark2019-01-043-107/+179
| * flowmap: improve debug graph output. NFC.whitequark2019-01-041-47/+76
| * flowmap: add link to longer version of paper. NFC.whitequark2019-01-041-2/+3
* | Switch "bugpoint" from system() to run_command()Clifford Wolf2019-01-071-1/+1
* | bugpoint: new pass.whitequark2019-01-072-1/+370
* | Rename cells based on the wires they drive.Scott Mansell2019-01-061-0/+66
|/
* Merge pull request #775 from whitequark/opt_flowmapClifford Wolf2019-01-033-1/+875
|\
| * flowmap: new techmap pass.whitequark2019-01-033-1/+875
* | Merge pull request #770 from whitequark/opt_expr_cmpClifford Wolf2019-01-021-97/+134
|\ \ | |/ |/|
| * opt_expr: improve simplification of comparisons with large constants.whitequark2019-01-021-70/+47
| * opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.whitequark2019-01-021-31/+37
| * opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.whitequark2019-01-021-24/+26
| * opt_expr: simplify any unsigned comparisons with all-0 and all-1.whitequark2019-01-021-17/+69
* | Merge pull request #750 from Icenowy/anlogic-ff-initClifford Wolf2019-01-021-3/+30
|\ \
| * | Add "dffinit -noreinit" parameterIcenowy Zheng2018-12-181-1/+14
| * | Add "dffinit -strinit high low"Icenowy Zheng2018-12-181-2/+16
* | | Merge pull request #773 from whitequark/opt_lut_elim_fixesClifford Wolf2019-01-021-8/+31
|\ \ \
| * | | opt_lut: reflect changes in sigmap.whitequark2019-01-021-0/+2
| * | | opt_lut: use a worklist, and revisit cells affected by elimination.whitequark2019-01-021-3/+10
| * | | opt_lut: count eliminated cells, and set opt.did_something for them.whitequark2019-01-021-6/+20
| | |/ | |/|
* / | Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-0211-19/+19
|/ /
* | opt_lut: eliminate LUTs evaluating to constants or inputs.whitequark2018-12-311-0/+81
* | Fix handling of (* keep *) wires in wreduceClifford Wolf2018-12-311-1/+4
* | proc_clean: remove any empty cases if all cases use all-def compare.whitequark2018-12-231-6/+28
* | proc_clean: remove any empty cases at the end of the switch.whitequark2018-12-221-7/+3
* | memory_collect: do not truncate 'x from \INIT.whitequark2018-12-211-3/+0
* | memory_dff: Fix typo when checking init valueDavid Shah2018-12-181-1/+1
|/
* Revert "Proof-of-concept: preserve naming through ABC using dress"Clifford Wolf2018-12-161-51/+29
* Merge pull request #736 from whitequark/select_assert_listClifford Wolf2018-12-161-8/+50
|\
| * select: print selection if a -assert-* flag causes an error.whitequark2018-12-161-8/+50