aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt
Commit message (Expand)AuthorAgeFilesLines
* Fixes for some of clang scan-build detected issuesMiodrag Milanovic2023-01-171-0/+3
* opt_expr: Optimizations for `$bweqx` and `$bwmux`Jannis Harder2022-11-301-0/+63
* opt_expr: Fix shift/shiftx optimizationsJannis Harder2022-11-301-3/+3
* opt_expr: Constant fold mux, pmux, bmux, demux, eqx, nex cellsJannis Harder2022-11-291-0/+33
* opt_expr: Optimize bitwise logic ops with one fully const inputJannis Harder2022-11-291-0/+81
* Consistent $mux undef handlingJannis Harder2022-10-241-1/+1
* Fitting help messages to 80 character widthKrystalDelusion2022-08-241-4/+7
* wreduce: Keep more x-bits with -keepdcJannis Harder2022-08-161-4/+4
* Add the $anyinit cell and the formalff passJannis Harder2022-08-161-0/+2
* opt_reduce: Fix use-after-free.Marcelina Kościelnicka2022-07-231-4/+2
* opt_dff: With -keepdc, never turn undef init vals into const driversJannis Harder2022-06-291-5/+17
* opt_ffinv: Fix use after free.Marcelina Kościelnicka2022-06-131-3/+6
* wreduce: Introduce -mux_undef option (aligned with opt_expr).Marcelina Kościelnicka2022-06-081-1/+9
* opt_ffinv: Harden against simple ff/inv loop.Marcelina Kościelnicka2022-06-071-0/+4
* opt_ffinv: Use ModIndex instead of ModWalker.Marcelina Kościelnicka2022-05-171-50/+53
* Add opt_ffinv pass.Marcelina Kościelnicka2022-05-132-0/+256
* opt_mem: Remove constant-value bit lanes.Marcelina Kościelnicka2022-05-071-13/+143
* opt_dff: Fix behavior on $ff with D == Q.Marcelina Kościelnicka2022-04-151-1/+1
* opt_merge: Add `-keepdc` option required for formal verificationJannis Harder2022-04-012-2/+21
* opt_reduce: Add $bmux and $demux optimization patterns.Marcelina Kościelnicka2022-01-301-60/+337
* opt_dff: Don't mutate muxes while ModWalker is active.Marcelina Kościelnicka2022-01-281-98/+112
* opt_dff: fix sequence point copy paste bugAustin Seipp2022-01-041-1/+1
* opt_mem_priority: Fix non-ascii char in help message.Marcelina Kościelnicka2021-12-091-1/+1
* gowin: widelut support (#3042)Pepijn de Vos2021-11-061-2/+8
* FfData: some refactoring.Marcelina Kościelnicka2021-10-071-10/+10
* Hook up $aldff support in various passes.Marcelina Kościelnicka2021-10-021-2/+12
* kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-90/+139
* opt_merge: Remove and reinsert init when connecting nets.Marcelina Kościelnicka2021-08-221-3/+4
* opt_clean: Make the init attribute follow the FF's Q.Marcelina Kościelnicka2021-08-221-0/+24
* Add opt_mem_widen pass.Marcelina Kościelnicka2021-08-142-0/+108
* Add new opt_mem_priority pass.Marcelina Kościelnicka2021-08-132-0/+110
* Add v2 memory cells.Marcelina Kościelnicka2021-08-115-9/+12
* kernel/mem: Introduce transparency masks.Marcelina Kościelnicka2021-08-111-1/+3
* Refactor common parts of SAT-using optimizations into a helper.Marcelina Kościelnicka2021-08-092-89/+30
* opt_merge: Use FfInitVals.Marcelina Kościelnicka2021-08-081-27/+8
* opt_lut: Allow more than one -dlogic per cell type.Marcelina Kościelnicka2021-07-291-23/+30
* memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-282-2/+2
* opt_expr: Propagate constants to port connections.Marcelina Kościelnicka2021-07-271-3/+22
* opt_muxtree: Update port_off and port_idx even for constant bitsgatecat2021-06-111-17/+16
* opt_expr: Fix mul/div/mod by POT patterns to support >= 32 bits.Marcelina Kościelnicka2021-06-091-122/+85
* opt_expr: Optimize div/mod by const 1.Marcelina Kościelnicka2021-06-091-4/+4
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0817-17/+17
* kernel/mem: Add sub_addr helpers.Marcelina Kościelnicka2021-05-261-6/+2
* opt_mem: Add reset/init value support.Marcelina Kościelnicka2021-05-251-0/+12
* opt_mem_feedback: Respect write port priority.Marcelina Kościelnicka2021-05-251-0/+15
* opt_mem_feedback: Add wide port support.Marcelina Kościelnicka2021-05-251-14/+24
* opt_mem_feedback: Rewrite feedback path finding logic.Marcelina Kościelnicka2021-05-241-115/+130
* opt_mem_feedback: Convert to Mem helpers.Marcelina Kościelnicka2021-05-241-49/+28
* memory_share: Split off feedback path finding as a separate pass.Marcelina Kościelnicka2021-05-232-0/+334
* opt_mem: Remove write ports with const-0 EN.Marcelina Kościelnicka2021-05-231-0/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-29 05:09:47 +0000