Code

Add muldiv_c and muxadd peepopts#4740

Code

Open

akashlevy wants to merge 68 commits intoYosysHQ:mainYosysHQ/yosys:mainfrom akashlevy:new_peepoptsakashlevy/yosys:new_peepoptsCopy head branch name to clipboard

+1,005-1

Commits

Commits on Nov 13, 2024

• Add muldiv_c and muxadd peepopts

  akashlevy

  committed
  9943b18

Commits on Nov 17, 2024

• Update passes/pmgen/peepopt_muxadd.pmg

  Show description for 9f84a92
  

  akashlevy

  and

  povik

  authored
  9f84a92

• Update passes/pmgen/peepopt_muxadd.pmg

  Show description for a3cc228
  

  akashlevy

  and

  povik

  authored
  a3cc228

• Preliminary fixes, not done

  akashlevy

  committed
  ee18e1f

Commits on Dec 17, 2024

• Merge branch 'YosysHQ:main' into new_peepopts

  akashlevy

  authored
  0ddb3d7

• Update peepopt_muldiv_c.pmg

  akashlevy

  authored
  2375879

• Add muxadd peepopt tests

  povik

  committed
  0e15edd

• Compiles and transforms correctly, fails equiv

  

  Alain Dargelas

  committed
  3b73888

• Clean after opt

  

  Alain Dargelas

  committed
  8a6c100

• Merge pull request #1 from alainmarcel/new_peepopts

  Show description for cfadf28
  akashlevy

  authored
  cfadf28

• Update peepopt_muxadd.pmg

  akashlevy

  authored
  b4fa7dc

• Update peepopt_muldiv_c.pmg

  akashlevy

  authored
  f9ae66d

Commits on Dec 18, 2024

• Fix code review issue

  

  Alain Dargelas

  committed
  2979232

• Merge pull request #2 from alainmarcel/new_peepopts

  Show description for 6c5d7cc
  akashlevy

  authored
  6c5d7cc

• Passing equiv for simplest muxadd case, prevent multiple match/rewiring on same mux-add pair

  

  Alain Dargelas

  committed
  5212ad7

• peepopt_muldiv_c: add test

  widlarizer

  committed
  8e78720

• Merge pull request #3 from alainmarcel/new_peepopts

  Show description for d81bda8
  akashlevy

  authored
  d81bda8

• Switch formal proof to use miter/sat

  

  Alain Dargelas

  committed
  ff5237f

• Merge pull request #4 from alainmarcel/new_peepopts

  Show description for 029c255
  akashlevy

  authored
  029c255

• Convert to miter/sat

  

  Alain Dargelas

  committed
  7b70ba4

• Merge pull request #5 from alainmarcel/new_peepopts

  Show description for ceb5d2a
  alaindargelas

  authored
  ceb5d2a

• Code review fix, bail out on integers above 64 bits

  

  Alain Dargelas

  committed
  0f8356d

• Merge pull request #6 from alainmarcel/new_peepopts

  Show description for 50c93f7
  alaindargelas

  authored
  50c93f7

• Leave comment about signage assumption

  

  Alain Dargelas

  committed
  53cf38c

• Merge pull request #7 from alainmarcel/new_peepopts

  Show description for d98b224
  alaindargelas

  authored
  d98b224

• peepopt_muldiv_c: remove write_verilog from test

  widlarizer

  committed
  1c774f4

Commits on Dec 19, 2024

• Back to equiv_opt for multdiv tests

  

  Alain Dargelas

  committed
  6db406f

• Back to equiv_opt for multdiv tests

  

  Alain Dargelas

  committed
  24c012a

• Merge pull request #8 from alainmarcel/new_peepopts

  Show description for 32406ea
  alaindargelas

  authored
  32406ea

• Check for overflow, remove obsolete code, fix test

  

  Alain Dargelas

  committed
  cd9e45d

• Merge pull request #9 from alainmarcel/new_peepopts

  Show description for 1ad1a0a
  alaindargelas

  authored
  1ad1a0a

• Remove redundant code

  

  Alain Dargelas

  committed
  fc47616

• Merge branch 'new_peepopts' of github.com:alainmarcel/yosys_akash into new_peepopts

  

  Alain Dargelas

  committed
  eb4e147

• Merge pull request #10 from alainmarcel/new_peepopts

  Show description for 7270cd3
  alaindargelas

  authored
  7270cd3

• A or B width extend

  

  Alain Dargelas

  committed
  45500f4

• Merge pull request #11 from alainmarcel/new_peepopts

  Show description for bb49acd
  alaindargelas

  authored
  bb49acd

• peepopt_multdiv_c: add forgotten -assert

  widlarizer

  committed
  325b0e3

• Consolidate tests

  

  Alain Dargelas

  committed
  e8e806f

• Merge pull request #12 from alainmarcel/new_peepopts

  Show description for b63ef81
  alaindargelas

  authored
  b63ef81

• Move helper code to peepopt.cc, check offset

  

  Alain Dargelas

  committed
  b525a02

• Merge pull request #13 from alainmarcel/new_peepopts

  Show description for 5b97274
  alaindargelas

  authored
  5b97274

• compress constant ratio

  

  Alain Dargelas

  committed
  8b08f81

• compress constant ratio

  

  Alain Dargelas

  committed
  8687e5f

• Merge pull request #14 from alainmarcel/new_peepopts

  Show description for 43f4181
  alaindargelas

  authored
  43f4181

• muxadd pass basic equiv_opt

  

  Alain Dargelas

  committed
  72aef58

• Merge pull request #15 from alainmarcel/new_peepopts

  Show description for a1db286
  alaindargelas

  authored
  a1db286

Commits on Dec 20, 2024

• log test header for debug

  

  Alain Dargelas

  committed
  456773e

• Merge pull request #16 from alainmarcel/new_peepopts

  Show description for 87b8419
  alaindargelas

  authored
  87b8419

• Fix symmetry test

  

  Alain Dargelas

  committed
  4d984d5

• Merge pull request #17 from alainmarcel/new_peepopts

  Show description for a2bc9b2
  alaindargelas

  authored
  a2bc9b2

• Pass all muldiv tests

  

  Alain Dargelas

  committed
  4a28e0d

• Merge branch 'new_peepopts' of github.com:alainmarcel/yosys_akash into new_peepopts

  

  Alain Dargelas

  committed
  a7fcda9

• Merge pull request #18 from alainmarcel/new_peepopts

  Show description for 48a971c
  alaindargelas

  authored
  48a971c

• Overflow test fix

  

  Alain Dargelas

  committed
  b6d079b

• Overflow test fix

  

  Alain Dargelas

  committed
  b1930e9

• Merge pull request #19 from alainmarcel/new_peepopts

  Show description for a497be5
  alaindargelas

  authored
  a497be5

• All tests pass

  

  Alain Dargelas

  committed
  7ce0460

• All tests pass

  

  Alain Dargelas

  committed
  095bf92

• All tests pass

  

  Alain Dargelas

  committed
  cd503d4

• Merge pull request #20 from alainmarcel/new_peepopts

  Show description for a731570
  alaindargelas

  authored
  a731570

• Merge remote-tracking branch 'upstream/main' into new_peepopts

  akashlevy

  committed
  e0534a2

• Small muxadd comments

  akashlevy

  committed
  39ff442

• Smallfixes

  akashlevy

  committed
  832c877

• GetSize, fix int sizing thing, add .gitignore

  akashlevy

  committed
  b9c3666

Commits on Dec 21, 2024

• Fix nanoxplore meminit test

  

  Alain Dargelas

  committed
  11e4446

• Merge pull request #21 from alainmarcel/new_peepopts

  Show description for 9450dc1
  alaindargelas

  authored
  9450dc1

• muxadd breaks Quicklogic dsp inference, make it optional

  

  Alain Dargelas

  committed
  41a7c72

• Merge pull request #22 from alainmarcel/new_peepopts

  Show description for 0b32e09
  alaindargelas

  authored
  0b32e09