Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat[venom]: binopt #4281

Open
wants to merge 54 commits into
base: master
Choose a base branch
from
Open

feat[venom]: binopt #4281

wants to merge 54 commits into from
+373 −89

Commits on Oct 7, 2024

  1. start binopt

    @HodanPlodky
    HodanPlodky committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    123c07d View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. better way of doing it

    @HodanPlodky
    HodanPlodky committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    bb80541 View commit details
    Browse the repository at this point in the history

  2. idea with equivalence analysis

    @HodanPlodky
    HodanPlodky committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    79e3880 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. more rules

    @HodanPlodky
    HodanPlodky committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    59dcdf5 View commit details
    Browse the repository at this point in the history

  2. all the rules from the original optimizer should be done

    @HodanPlodky
    HodanPlodky committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    b543c36 View commit details
    Browse the repository at this point in the history

  3. all the rules from the original optimizer were not done so I added so… 

    …me more
    @HodanPlodky
    HodanPlodky committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    f4650e3 View commit details
    Browse the repository at this point in the history

  4. lint

    @HodanPlodky
    HodanPlodky committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    32ff283 View commit details
    Browse the repository at this point in the history

  5. different order

    @HodanPlodky
    HodanPlodky committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    ba0e245 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. fixed test which no longer needed to be expected to fail

    @HodanPlodky
    HodanPlodky committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    5e74741 View commit details
    Browse the repository at this point in the history

  2. removed _handle_offsets and fully moved it to the rest of the bin opt… 

    … optimizations
    @HodanPlodky
    HodanPlodky committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    3868042 View commit details
    Browse the repository at this point in the history

  3. truthy rules start

    @HodanPlodky
    HodanPlodky committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    1105344 View commit details
    Browse the repository at this point in the history

  4. adapted test for out of bounds check to take account static asserts e… 

    …xception
    @HodanPlodky
    HodanPlodky committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    8e4500e View commit details
    Browse the repository at this point in the history

  5. adapted test for out of bounds check to take account static asserts e… 

    …xception + list
    @HodanPlodky
    HodanPlodky committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    eebed21 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 10, 2024
    Configuration menu
    Copy the full SHA
    41960e8 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 10, 2024
    Configuration menu
    Copy the full SHA
    d025563 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. truthy continuation

    @HodanPlodky
    HodanPlodky committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4c5ee06 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. truthy fix of eq

    @HodanPlodky
    HodanPlodky committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    63fdfd5 View commit details
    Browse the repository at this point in the history

  2. more comparison ops opt

    @HodanPlodky
    HodanPlodky committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    3a6dbf9 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. better check of dict from charles 

    Co-authored-by: Charles Cooper <cooper.charles.m@gmail.com>
    @HodanPlodky @charles-cooper
    HodanPlodky and charles-cooper authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    a4e152b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    ec0b5f2 View commit details
    Browse the repository at this point in the history

  3. quick fix after merge

    @HodanPlodky
    HodanPlodky committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    c28dc4a View commit details
    Browse the repository at this point in the history

  4. more rules

    @HodanPlodky
    HodanPlodky committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    2f1367f View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    6150fc7 View commit details
    Browse the repository at this point in the history

  6. used commutative

    @HodanPlodky
    HodanPlodky committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    a4e996a View commit details
    Browse the repository at this point in the history

  7. better adding of additional instructions

    @HodanPlodky
    HodanPlodky committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    6f3a06f View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. better rules handling start

    @HodanPlodky
    HodanPlodky committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    052f6bb View commit details
    Browse the repository at this point in the history

  2. better rules handling start

    @HodanPlodky
    HodanPlodky committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    db0d608 View commit details
    Browse the repository at this point in the history

  3. more rules moved

    @HodanPlodky
    HodanPlodky committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    83dec6a View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    e52f8e8 View commit details
    Browse the repository at this point in the history

  2. more rules and more way to implement them

    @HodanPlodky
    HodanPlodky committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    9620ed1 View commit details
    Browse the repository at this point in the history

  3. more rules in different way

    @HodanPlodky
    HodanPlodky committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    372317c View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. more rules in different way

    @HodanPlodky
    HodanPlodky committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    7e69bf5 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. move some of the binopt into the sccp

    @HodanPlodky
    HodanPlodky committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    d084c1f View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. fix of the negative number rules

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    b2c8bd2 View commit details
    Browse the repository at this point in the history

  2. removed the opts from algebraic ops

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    db29ad5 View commit details
    Browse the repository at this point in the history

  3. lint + cleanup

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    9655460 View commit details
    Browse the repository at this point in the history

  4. moved test for offsets from algebraic optimizer to sccp test

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    4b0ec3b View commit details
    Browse the repository at this point in the history

  5. added jnz to truthy

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    8989fd9 View commit details
    Browse the repository at this point in the history

  6. uses calc on fly

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    9603690 View commit details
    Browse the repository at this point in the history

  7. uses calc on fly fix

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    7bf4667 View commit details
    Browse the repository at this point in the history

  8. sccp reduced recalc

    @HodanPlodky
    HodanPlodky committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    22df052 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. used dfg instead of the different uses computation

    @HodanPlodky
    HodanPlodky committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    53d4122 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    c63ab04 View commit details
    Browse the repository at this point in the history

  2. dfg calculation on fly and assert weird behaviour

    @HodanPlodky
    HodanPlodky committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    137cb1e View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. sccp static assert fix

    @HodanPlodky
    HodanPlodky committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    1e0aa69 View commit details
    Browse the repository at this point in the history

  2. lint and comments

    @HodanPlodky
    HodanPlodky committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    b99ea0e View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. cleanup of the algebraic pass

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    4da9851 View commit details
    Browse the repository at this point in the history

  2. added the explanation for pass in except branch in test

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    051d291 View commit details
    Browse the repository at this point in the history

  3. test sccp cleanup after debug

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    b140669 View commit details
    Browse the repository at this point in the history

  4. sccp cleanup (comparison ops)

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    565deee View commit details
    Browse the repository at this point in the history

  5. sccp cleanup (recalc)

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    39b5ee1 View commit details
    Browse the repository at this point in the history

  6. lint

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    f0b7a86 View commit details
    Browse the repository at this point in the history

  7. dfg cleanup

    @HodanPlodky
    HodanPlodky committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    180aa28 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into feat/binopt

    @HodanPlodky
    HodanPlodky authored Oct 30, 2024
    Configuration menu
    Copy the full SHA
    fafc256 View commit details
    Browse the repository at this point in the history