Code

feat[venom]: binopt#4281

Code

Open

HodanPlodky wants to merge 192 commits intovyperlang:mastervyperlang/vyper:masterfrom HodanPlodky:feat/binoptHodanPlodky/vyper:feat/binoptCopy head branch name to clipboard

+1,036-120

Commits

Commits on Oct 7, 2024

• start binopt

  HodanPlodky

  committed
  123c07d

  Copy full SHA for 123c07d

Commits on Oct 8, 2024

• better way of doing it

  HodanPlodky

  committed
  bb80541

  Copy full SHA for bb80541

• idea with equivalence analysis

  HodanPlodky

  committed
  79e3880

  Copy full SHA for 79e3880

Commits on Oct 9, 2024

• more rules

  HodanPlodky

  committed
  59dcdf5

  Copy full SHA for 59dcdf5

• all the rules from the original optimizer should be done

  HodanPlodky

  committed
  b543c36

  Copy full SHA for b543c36

• all the rules from the original optimizer were not done so I added some more

  HodanPlodky

  committed
  f4650e3

  Copy full SHA for f4650e3

• lint

  HodanPlodky

  committed
  32ff283

  Copy full SHA for 32ff283

• different order

  HodanPlodky

  committed
  ba0e245

  Copy full SHA for ba0e245

Commits on Oct 10, 2024

• fixed test which no longer needed to be expected to fail

  HodanPlodky

  committed
  5e74741

  Copy full SHA for 5e74741

• removed _handle_offsets and fully moved it to the rest of the bin opt optimizations

  HodanPlodky

  committed
  3868042

  Copy full SHA for 3868042

• truthy rules start

  HodanPlodky

  committed
  1105344

  Copy full SHA for 1105344

• adapted test for out of bounds check to take account static asserts exception

  HodanPlodky

  committed
  8e4500e

  Copy full SHA for 8e4500e

• adapted test for out of bounds check to take account static asserts exception + list

  HodanPlodky

  committed
  eebed21

  Copy full SHA for eebed21

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  41960e8

  Copy full SHA for 41960e8

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  d025563

  Copy full SHA for d025563

Commits on Oct 11, 2024

• truthy continuation

  HodanPlodky

  committed
  4c5ee06

  Copy full SHA for 4c5ee06

Commits on Oct 13, 2024

• truthy fix of eq

  HodanPlodky

  committed
  63fdfd5

  Copy full SHA for 63fdfd5

• more comparison ops opt

  HodanPlodky

  committed
  3a6dbf9

  Copy full SHA for 3a6dbf9

Commits on Oct 15, 2024

• better check of dict from charles

  Show description for a4e152b
  

  HodanPlodky

  and

  charles-cooper

  authored
  a4e152b

  Copy full SHA for a4e152b

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  ec0b5f2

  Copy full SHA for ec0b5f2

• quick fix after merge

  HodanPlodky

  committed
  c28dc4a

  Copy full SHA for c28dc4a

• more rules

  HodanPlodky

  committed
  2f1367f

  Copy full SHA for 2f1367f

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  6150fc7

  Copy full SHA for 6150fc7

• used commutative

  HodanPlodky

  committed
  a4e996a

  Copy full SHA for a4e996a

• better adding of additional instructions

  HodanPlodky

  committed
  6f3a06f

  Copy full SHA for 6f3a06f

Commits on Oct 16, 2024

• better rules handling start

  HodanPlodky

  committed
  052f6bb

  Copy full SHA for 052f6bb

• better rules handling start

  HodanPlodky

  committed
  db0d608

  Copy full SHA for db0d608

• more rules moved

  HodanPlodky

  committed
  83dec6a

  Copy full SHA for 83dec6a

Commits on Oct 17, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  e52f8e8

  Copy full SHA for e52f8e8

• more rules and more way to implement them

  HodanPlodky

  committed
  9620ed1

  Copy full SHA for 9620ed1

• more rules in different way

  HodanPlodky

  committed
  372317c

  Copy full SHA for 372317c

Commits on Oct 18, 2024

• more rules in different way

  HodanPlodky

  committed
  7e69bf5

  Copy full SHA for 7e69bf5

Commits on Oct 23, 2024

• move some of the binopt into the sccp

  HodanPlodky

  committed
  d084c1f

  Copy full SHA for d084c1f

Commits on Oct 24, 2024

• fix of the negative number rules

  HodanPlodky

  committed
  b2c8bd2

  Copy full SHA for b2c8bd2

• removed the opts from algebraic ops

  HodanPlodky

  committed
  db29ad5

  Copy full SHA for db29ad5

• lint + cleanup

  HodanPlodky

  committed
  9655460

  Copy full SHA for 9655460

• moved test for offsets from algebraic optimizer to sccp test

  HodanPlodky

  committed
  4b0ec3b

  Copy full SHA for 4b0ec3b

• added jnz to truthy

  HodanPlodky

  committed
  8989fd9

  Copy full SHA for 8989fd9

• uses calc on fly

  HodanPlodky

  committed
  9603690

  Copy full SHA for 9603690

• uses calc on fly fix

  HodanPlodky

  committed
  7bf4667

  Copy full SHA for 7bf4667

• sccp reduced recalc

  HodanPlodky

  committed
  22df052

  Copy full SHA for 22df052

Commits on Oct 25, 2024

• used dfg instead of the different uses computation

  HodanPlodky

  committed
  53d4122

  Copy full SHA for 53d4122

Commits on Oct 28, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  c63ab04

  Copy full SHA for c63ab04

• dfg calculation on fly and assert weird behaviour

  HodanPlodky

  committed
  137cb1e

  Copy full SHA for 137cb1e

Commits on Oct 29, 2024

• sccp static assert fix

  HodanPlodky

  committed
  1e0aa69

  Copy full SHA for 1e0aa69

• lint and comments

  HodanPlodky

  committed
  b99ea0e

  Copy full SHA for b99ea0e

Commits on Oct 30, 2024

• cleanup of the algebraic pass

  HodanPlodky

  committed
  4da9851

  Copy full SHA for 4da9851

• added the explanation for pass in except branch in test

  HodanPlodky

  committed
  051d291

  Copy full SHA for 051d291

• test sccp cleanup after debug

  HodanPlodky

  committed
  b140669

  Copy full SHA for b140669

• sccp cleanup (comparison ops)

  HodanPlodky

  committed
  565deee

  Copy full SHA for 565deee

• sccp cleanup (recalc)

  HodanPlodky

  committed
  39b5ee1

  Copy full SHA for 39b5ee1

• lint

  HodanPlodky

  committed
  f0b7a86

  Copy full SHA for f0b7a86

• dfg cleanup

  HodanPlodky

  committed
  180aa28

  Copy full SHA for 180aa28

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  fafc256

  Copy full SHA for fafc256

Commits on Nov 5, 2024

• sccp binopt new rule

  HodanPlodky

  committed
  49b4f37

  Copy full SHA for 49b4f37

• small refactor

  HodanPlodky

  committed
  905dcb8

  Copy full SHA for 905dcb8

• lint

  HodanPlodky

  committed
  223d35b

  Copy full SHA for 223d35b

Commits on Nov 6, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  79fa212

  Copy full SHA for 79fa212

Commits on Nov 18, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  3aa9bba

  Copy full SHA for 3aa9bba

Commits on Nov 19, 2024

• reachability

  HodanPlodky

  committed
  9c900e9

  Copy full SHA for 9c900e9

• test fixup

  HodanPlodky

  committed
  8409c8f

  Copy full SHA for 8409c8f

Commits on Nov 20, 2024

• new rule

  HodanPlodky

  committed
  ebee138

  Copy full SHA for ebee138

• fixes and cleanup of the new rule

  HodanPlodky

  committed
  58fdc94

  Copy full SHA for 58fdc94

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  a1e39b8

  Copy full SHA for a1e39b8

Commits on Nov 21, 2024

• Merge branch 'vyperlang:master' into feat/binopt

  HodanPlodky

  authored
  a5fd090

  Copy full SHA for a5fd090

Commits on Nov 22, 2024

• fixes

  HodanPlodky

  committed
  cc37897

  Copy full SHA for cc37897

• recursive traverse in algebraic opt

  HodanPlodky

  committed
  07140cb

  Copy full SHA for 07140cb

Commits on Nov 28, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  15aea85

  Copy full SHA for 15aea85

Commits on Nov 29, 2024

• mem2var ignore nop ops

  HodanPlodky

  committed
  e8daa16

  Copy full SHA for e8daa16

• mem2var ignore nop ops

  HodanPlodky

  committed
  eaa78eb

  Copy full SHA for eaa78eb

Commits on Dec 4, 2024

• loop traverse

  HodanPlodky

  committed
  d3e6143

  Copy full SHA for d3e6143

Commits on Dec 5, 2024

• loop traversel fix and skip unimportant instruction

  HodanPlodky

  committed
  e6286e6

  Copy full SHA for e6286e6

• changed how to match the intruction

  HodanPlodky

  committed
  706c4d9

  Copy full SHA for 706c4d9

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  fe3ba6c

  Copy full SHA for fe3ba6c

• assert opt reenabled

  HodanPlodky

  committed
  2aacb95

  Copy full SHA for 2aacb95

Commits on Dec 10, 2024

• moved local function into the methods

  HodanPlodky

  committed
  f3d25c5

  Copy full SHA for f3d25c5

• early returns

  HodanPlodky

  committed
  4038881

  Copy full SHA for 4038881

• early assert

  HodanPlodky

  committed
  5bbd024

  Copy full SHA for 5bbd024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  8c8d0a3

  Copy full SHA for 8c8d0a3

• more early returns to ignore more expensive places

  HodanPlodky

  committed
  8d9392b

  Copy full SHA for 8d9392b

• more early returns to ignore more expensive places

  HodanPlodky

  committed
  d044324

  Copy full SHA for d044324

• lint

  HodanPlodky

  committed
  0d2876f

  Copy full SHA for 0d2876f

• removed unnecessery early return

  HodanPlodky

  committed
  c3e3593

  Copy full SHA for c3e3593

• more refactor

  HodanPlodky

  committed
  1ca086f

  Copy full SHA for 1ca086f

Commits on Dec 11, 2024

• lint

  HodanPlodky

  committed
  34201a5

  Copy full SHA for 34201a5

• combined the constant propagation and binopt

  HodanPlodky

  committed
  b877185

  Copy full SHA for b877185

Commits on Dec 13, 2024

• optimization of pass runtime

  HodanPlodky

  committed
  461d0c0

  Copy full SHA for 461d0c0

Commits on Dec 18, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  57d4bdd

  Copy full SHA for 57d4bdd

• test, improvment for operand equality and removed operation which do no occure in venom

  HodanPlodky

  committed
  9ad6236

  Copy full SHA for 9ad6236

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  e849f2c

  Copy full SHA for e849f2c

• lint

  HodanPlodky

  committed
  fa5e043

  Copy full SHA for fa5e043

• tests

  HodanPlodky

  committed
  49e2994

  Copy full SHA for 49e2994

Commits on Dec 20, 2024

• tests

  HodanPlodky

  committed
  84bfa12

  Copy full SHA for 84bfa12

Commits on Dec 23, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  f4e2ace

  Copy full SHA for f4e2ace

Commits on Dec 28, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  a36de0b

  Copy full SHA for a36de0b

Commits on Dec 30, 2024

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  119bd06

  Copy full SHA for 119bd06

• test and small improvements

  HodanPlodky

  committed
  4436564

  Copy full SHA for 4436564

Commits on Jan 1, 2025

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  13aae41

  Copy full SHA for 13aae41

• moved the optimizations into the algebraic optimization pass

  HodanPlodky

  committed
  e5533d8

  Copy full SHA for e5533d8

Commits on Jan 2, 2025

• fix for the test that worked in bin opt but is expected fail in master

  HodanPlodky

  committed
  8f1a48e

  Copy full SHA for 8f1a48e

• quick fix for better bytecode size

  HodanPlodky

  committed
  6e5bb90

  Copy full SHA for 6e5bb90

• explanatory comment

  HodanPlodky

  committed
  0f11b81

  Copy full SHA for 0f11b81

• removed some unused code and renames

  HodanPlodky

  committed
  70454bc

  Copy full SHA for 70454bc

Commits on Jan 3, 2025

• order of passes

  HodanPlodky

  committed
  997f6d8

  Copy full SHA for 997f6d8

• moved multication like ops zero optimization into eval

  HodanPlodky

  committed
  7a69e65

  Copy full SHA for 7a69e65

• moved mod and smod rule from algebraic opt to sccp eval

  HodanPlodky

  committed
  8fca0aa

  Copy full SHA for 8fca0aa

• moved exp rules from algebraic opt to sccp eval

  HodanPlodky

  committed
  9db6a32

  Copy full SHA for 9db6a32

• lint

  HodanPlodky

  committed
  54d0a83

  Copy full SHA for 54d0a83

• moved xor and sub rule to eval

  HodanPlodky

  committed
  ec3762e

  Copy full SHA for ec3762e

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  34f1284

  Copy full SHA for 34f1284

• merge

  HodanPlodky

  committed
  2618309

  Copy full SHA for 2618309

Commits on Jan 5, 2025

• removed unreachable

  HodanPlodky

  committed
  b1045fa

  Copy full SHA for b1045fa

• removed unused ver

  HodanPlodky

  committed
  7935856

  Copy full SHA for 7935856

• small pass reorder

  HodanPlodky

  committed
  c801100

  Copy full SHA for c801100

Commits on Jan 6, 2025

• Update vyper/venom/passes/algebraic_optimization.py

  Show description for 578bf09
  

  HodanPlodky

  and

  charles-cooper

  authored
  578bf09

  Copy full SHA for 578bf09

• comments

  HodanPlodky

  committed
  74b897e

  Copy full SHA for 74b897e

Commits on Jan 7, 2025

• removed unnecessery assert logic

  HodanPlodky

  committed
  f7ee285

  Copy full SHA for f7ee285

• lint

  HodanPlodky

  committed
  fde144b

  Copy full SHA for fde144b

• test fix

  HodanPlodky

  committed
  f8a4dad

  Copy full SHA for f8a4dad

Commits on Jan 8, 2025

• removed unnecessery while and condition

  HodanPlodky

  committed
  42f8904

  Copy full SHA for 42f8904

• renamed some wrappers

  HodanPlodky

  committed
  54b6e58

  Copy full SHA for 54b6e58

• lint

  HodanPlodky

  committed
  28a75ce

  Copy full SHA for 28a75ce

• review changes and eval_arith

  HodanPlodky

  committed
  3506bff

  Copy full SHA for 3506bff

• update a comment

  charles-cooper

  committed
  50932bd

  Copy full SHA for 50932bd

• small refactor

  charles-cooper

  committed
  dfe20f8

  Copy full SHA for dfe20f8

• or rule in sccp

  HodanPlodky

  committed
  9a14849

  Copy full SHA for 9a14849

• or rule in sccp

  HodanPlodky

  committed
  35308aa

  Copy full SHA for 35308aa

• refactor or op

  charles-cooper

  committed
  8a0780e

  Copy full SHA for 8a0780e

• use lit_eq in more places

  charles-cooper

  committed
  647e838

  Copy full SHA for 647e838

• priority goes to literal eval

  charles-cooper

  committed
  2dc2d5e

  Copy full SHA for 2dc2d5e

• rewrite comparison ops

  charles-cooper

  committed
  f419df3

  Copy full SHA for f419df3

• refactor: more lit_eq

  charles-cooper

  committed
  2c9bc48

  Copy full SHA for 2c9bc48

• refactor sccp eval

  charles-cooper

  committed
  4985150

  Copy full SHA for 4985150

• small fixes

  charles-cooper

  committed
  f2496cd

  Copy full SHA for f2496cd

• remove redundant rule (it is covered in sccp)

  charles-cooper

  committed
  da1f88a

  Copy full SHA for da1f88a

• refactor: import shared lit_eq from sccp

  charles-cooper

  committed
  60f5c48

  Copy full SHA for 60f5c48

• update COMPARISON_OPS to shared variable, add review comments

  charles-cooper

  committed
  9dc67e8

  Copy full SHA for 9dc67e8

• remove dead code

  charles-cooper

  committed
  57d548b

  Copy full SHA for 57d548b

• minor style updates

  charles-cooper

  committed
  f8b2821

  Copy full SHA for f8b2821

• style rename: n_op => val

  charles-cooper

  committed
  82014f1

  Copy full SHA for 82014f1

• more refactor to use lit_eq

  charles-cooper

  committed
  008e52c

  Copy full SHA for 008e52c

• review

  charles-cooper

  committed
  6c940fb

  Copy full SHA for 6c940fb

Commits on Jan 9, 2025

• types fix

  HodanPlodky

  committed
  9eeb046

  Copy full SHA for 9eeb046

• fix of possible double flip

  HodanPlodky

  committed
  a02f6a0

  Copy full SHA for a02f6a0

• reviews

  HodanPlodky

  committed
  c7ef119

  Copy full SHA for c7ef119

Commits on Jan 10, 2025

• handle offsets and reviews

  HodanPlodky

  committed
  7bae487

  Copy full SHA for 7bae487

• passes wont return bool

  HodanPlodky

  committed
  6a9b38c

  Copy full SHA for 6a9b38c

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  5cb53f9

  Copy full SHA for 5cb53f9

• rename to private

  HodanPlodky

  committed
  e850d13

  Copy full SHA for e850d13

• removed get_uses_ignore_nops

  HodanPlodky

  committed
  81b5dab

  Copy full SHA for 81b5dab

• fix

  HodanPlodky

  committed
  bbe60e5

  Copy full SHA for bbe60e5

Commits on Jan 11, 2025

• better api for update

  HodanPlodky

  committed
  da9283a

  Copy full SHA for da9283a

• moved logic for last iter

  HodanPlodky

  committed
  fcb20e9

  Copy full SHA for fcb20e9

• removed stray file

  HodanPlodky

  committed
  dab7a08

  Copy full SHA for dab7a08

• test comments

  HodanPlodky

  committed
  ae8ae4a

  Copy full SHA for ae8ae4a

• change resolution of timeit to micros

  charles-cooper

  committed
  67d2d8c

  Copy full SHA for 67d2d8c

• refactor algebraic opts

  Show description for 54040ee
  charles-cooper

  committed
  54040ee

  Copy full SHA for 54040ee

• test refactor

  HodanPlodky

  committed
  b7c703e

  Copy full SHA for b7c703e

• add some comments, update some constants

  charles-cooper

  committed
  e0f652b

  Copy full SHA for e0f652b

• 0 divided by anything is 0

  charles-cooper

  committed
  92e8570

  Copy full SHA for 92e8570

• add comparison to zero test

  charles-cooper

  committed
  300f985

  Copy full SHA for 300f985

• Merge branch 'master' into feat/binopt

  charles-cooper

  authored
  1f4b0d5

  Copy full SHA for 1f4b0d5

• test -1 - x -> ~x test

  HodanPlodky

  committed
  f54c246

  Copy full SHA for f54c246

• removed dead code

  HodanPlodky

  committed
  a7fd908

  Copy full SHA for a7fd908

Commits on Jan 12, 2025

• small renames

  charles-cooper

  committed
  1097a85

  Copy full SHA for 1097a85

• moved condition inverse factor out

  HodanPlodky

  committed
  43650a4

  Copy full SHA for 43650a4

Commits on Jan 13, 2025

• small explenatary comment

  HodanPlodky

  committed
  366563c

  Copy full SHA for 366563c

• small test change

  HodanPlodky

  committed
  d26ce8e

  Copy full SHA for d26ce8e

• lint

  HodanPlodky

  committed
  aa6d9f9

  Copy full SHA for aa6d9f9

• Merge branch 'master' into feat/binopt

  HodanPlodky

  authored
  e9d7849

  Copy full SHA for e9d7849

• eq rule

  HodanPlodky

  committed
  dcedf4c

  Copy full SHA for dcedf4c

• move some rules around

  charles-cooper

  committed
  6d7a612

  Copy full SHA for 6d7a612

• readability

  charles-cooper

  committed
  ca9371a

  Copy full SHA for ca9371a

• add update_operands util

  charles-cooper

  committed
  18cd93e

  Copy full SHA for 18cd93e

• add a comment

  charles-cooper

  committed
  78ac094

  Copy full SHA for 78ac094

• minor rename, comments

  charles-cooper

  committed
  24d4662

  Copy full SHA for 24d4662

• signess fix

  HodanPlodky

  committed
  dc4f34a

  Copy full SHA for dc4f34a

• signess fix

  HodanPlodky

  committed
  ee70d8b

  Copy full SHA for ee70d8b

• removed unnecessary update

  HodanPlodky

  committed
  ed2ac2d

  Copy full SHA for ed2ac2d

• update dfg in place

  charles-cooper

  committed
  7d79cfb

  Copy full SHA for 7d79cfb

• optimize order of opts

  charles-cooper

  committed
  10ac1db

  Copy full SHA for 10ac1db

• handle inst_ge_le in loop

  charles-cooper

  committed
  43e1016

  Copy full SHA for 43e1016

• move things around, rename

  charles-cooper

  committed
  2641f39

  Copy full SHA for 2641f39

• draft: refactor comparison operators

  charles-cooper

  committed
  7cc3d08

  Copy full SHA for 7cc3d08

Commits on Jan 14, 2025

• handle regression

  charles-cooper

  committed
  18feed6

  Copy full SHA for 18feed6

• test fix and lint

  HodanPlodky

  committed
  3572bef

  Copy full SHA for 3572bef

• almost never tests + fix for sign

  HodanPlodky

  committed
  74532b1

  Copy full SHA for 74532b1

• test almost always

  HodanPlodky

  committed
  f2a6590

  Copy full SHA for f2a6590

• test ge le

  HodanPlodky

  committed
  2472328

  Copy full SHA for 2472328

• test ge le improvement + signess fix

  HodanPlodky

  committed
  16622be

  Copy full SHA for 16622be

• signess

  HodanPlodky

  committed
  fb20392

  Copy full SHA for fb20392

• refactor wrap256, lit_eq

  Show description for 36c38dd
  charles-cooper

  committed
  36c38dd

  Copy full SHA for 36c38dd