index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tests
/
opt
Commit message (
Expand
)
Author
Age
Files
Lines
*
opt_expr: Fix X and CO outputs for $alu identity-mapping rules.
Marcelina Kościelnicka
2020-04-16
1
-8
/
+66
*
opt_expr: Add more $alu optimizations.
Marcelina Kościelnicka
2020-04-14
1
-4
/
+52
*
opt_expr: Optimize multiplications with low 0 bits in operands.
Marcelina Kościelnicka
2020-04-13
1
-0
/
+28
*
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
Eddie Hung
2020-04-01
1
-0
/
+52
|
\
|
*
opt_expr: add failing $xnor test
Eddie Hung
2020-03-20
1
-1
/
+13
|
*
opt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ tests
Eddie Hung
2020-03-19
1
-0
/
+40
*
|
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
Eddie Hung
2020-04-01
1
-0
/
+63
|
\
\
|
*
|
opt_expr: add $alu tests
Eddie Hung
2020-03-19
1
-0
/
+63
|
|
/
*
/
opt_merge: speedup
Eddie Hung
2020-03-16
2
-0
/
+92
|
/
*
Merge pull request #1576 from YosysHQ/eddie/opt_merge_init
Eddie Hung
2020-02-05
1
-0
/
+49
|
\
|
*
Add testcase
Eddie Hung
2019-12-13
1
-0
/
+49
*
|
Add opt_lut_ins pass. (#1673)
Marcelina Kościelnicka
2020-02-03
1
-0
/
+23
|
/
*
opt_share: Fix handling of fine cells.
Marcin Kościelnicki
2019-11-27
1
-0
/
+13
*
Add missing -assert to equiv_opt
Eddie Hung
2019-09-06
1
-7
/
+7
*
Respect opt_expr -keepdc as per @cliffordwolf
Eddie Hung
2019-08-22
1
-0
/
+14
*
Handle $shift and Y_WIDTH > 1 as per @cliffordwolf
Eddie Hung
2019-08-22
1
-1
/
+43
*
Add test
Eddie Hung
2019-08-21
1
-0
/
+14
*
Merge remote-tracking branch 'origin/master' into clifford/testfast
Eddie Hung
2019-08-18
28
-28
/
+626
|
\
|
*
Merge branch 'master' into eddie/pr1266_again
whitequark
2019-08-18
20
-0
/
+325
|
|
\
|
|
*
Fix wrong results when opt_share called before opt_clean
Bogdan Vukobratovic
2019-08-07
1
-1
/
+0
|
|
*
Tabs to spaces in opt_share examples
Bogdan Vukobratovic
2019-08-03
10
-150
/
+150
|
|
*
Fix spacing in opt_share tests, change wording in opt_share help
Bogdan Vukobratovic
2019-08-03
10
-155
/
+150
|
|
*
Reimplement opt_share to work on $alu and $pmux
Bogdan Vukobratovic
2019-07-28
20
-17
/
+295
|
|
*
Implement opt_share
Bogdan Vukobratovic
2019-07-26
4
-0
/
+53
|
*
|
Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad...
Eddie Hung
2019-08-12
8
-28
/
+301
|
/
/
*
|
Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"
David Shah
2019-08-10
8
-226
/
+28
*
|
Move tests/various/opt* into tests/opt/
Eddie Hung
2019-08-07
5
-1
/
+225
*
|
Remove ice40_unlut call, simply do equiv_opt on synth_ice40
Eddie Hung
2019-08-07
1
-3
/
+1
*
|
Remove tests/opt/opt_ff.{v,ys} as they don't seem to do anything but run
Eddie Hung
2019-08-07
2
-24
/
+0
|
/
*
Refactor "opt_rmdff -sat"
Clifford Wolf
2019-06-20
2
-14
/
+12
*
Optimizing DFFs whose initial value prevents their value from changing
Bogdan Vukobratovic
2019-05-28
2
-0
/
+19
*
Fix WREDUCE on FF not fixing ARST_VALUE parameter.
Keith Rothman
2019-02-22
2
-0
/
+24
*
opt_expr: improve simplification of comparisons with large constants.
whitequark
2019-01-02
1
-0
/
+18
*
opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.
whitequark
2019-01-02
1
-0
/
+5
*
opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.
whitequark
2019-01-02
1
-8
/
+14
*
opt_expr: simplify any unsigned comparisons with all-0 and all-1.
whitequark
2019-01-02
2
-0
/
+15
*
opt_lut: eliminate LUTs evaluating to constants or inputs.
whitequark
2018-12-31
3
-0
/
+23
*
Merge pull request #724 from whitequark/equiv_opt
Clifford Wolf
2018-12-16
2
-15
/
+1
|
\
|
*
equiv_opt: pass -D EQUIV when techmapping.
whitequark
2018-12-07
2
-4
/
+1
|
*
equiv_opt: new command, for verifying optimization passes.
whitequark
2018-12-07
1
-12
/
+1
*
|
opt_lut: leave intact LUTs with cascade feeding module outputs.
whitequark
2018-12-07
2
-0
/
+20
|
/
*
opt_lut: add -dlogic, to avoid disturbing logic such as carry chains.
whitequark
2018-12-05
1
-1
/
+1
*
opt_lut: new pass, to combine LUTs for tighter packing.
whitequark
2018-12-05
5
-0
/
+43