-
-
Notifications
You must be signed in to change notification settings - Fork 795
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.
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
feat[venom]: binopt #4281
Draft
HodanPlodky
wants to merge
46
commits into
vyperlang:master
Choose a base branch
from
HodanPlodky:feat/binopt
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
+391
−90
Draft
feat[venom]: binopt #4281
Changes from 17 commits
Commits
Show all changes
46 commits
Select commit
Hold shift + click to select a range
123c07d
start binopt
HodanPlodky bb80541
better way of doing it
HodanPlodky 79e3880
idea with equivalence analysis
HodanPlodky 59dcdf5
more rules
HodanPlodky b543c36
all the rules from the original optimizer should be done
HodanPlodky f4650e3
all the rules from the original optimizer were not done so I added so…
HodanPlodky 32ff283
lint
HodanPlodky ba0e245
different order
HodanPlodky 5e74741
fixed test which no longer needed to be expected to fail
HodanPlodky 3868042
removed _handle_offsets and fully moved it to the rest of the bin opt…
HodanPlodky 1105344
truthy rules start
HodanPlodky 8e4500e
adapted test for out of bounds check to take account static asserts e…
HodanPlodky eebed21
adapted test for out of bounds check to take account static asserts e…
HodanPlodky 41960e8
Merge branch 'master' into feat/binopt
HodanPlodky d025563
Merge branch 'master' into feat/binopt
HodanPlodky 4c5ee06
truthy continuation
HodanPlodky 63fdfd5
truthy fix of eq
HodanPlodky 3a6dbf9
more comparison ops opt
HodanPlodky a4e152b
better check of dict from charles
HodanPlodky ec0b5f2
Merge branch 'master' into feat/binopt
HodanPlodky c28dc4a
quick fix after merge
HodanPlodky 2f1367f
more rules
HodanPlodky 6150fc7
Merge branch 'master' into feat/binopt
HodanPlodky a4e996a
used commutative
HodanPlodky 6f3a06f
better adding of additional instructions
HodanPlodky 052f6bb
better rules handling start
HodanPlodky db0d608
better rules handling start
HodanPlodky 83dec6a
more rules moved
HodanPlodky e52f8e8
Merge branch 'master' into feat/binopt
HodanPlodky 9620ed1
more rules and more way to implement them
HodanPlodky 372317c
more rules in different way
HodanPlodky 7e69bf5
more rules in different way
HodanPlodky d084c1f
move some of the binopt into the sccp
HodanPlodky b2c8bd2
fix of the negative number rules
HodanPlodky db29ad5
removed the opts from algebraic ops
HodanPlodky 9655460
lint + cleanup
HodanPlodky 4b0ec3b
moved test for offsets from algebraic optimizer to sccp test
HodanPlodky 8989fd9
added jnz to truthy
HodanPlodky 9603690
uses calc on fly
HodanPlodky 7bf4667
uses calc on fly fix
HodanPlodky 22df052
sccp reduced recalc
HodanPlodky 53d4122
used dfg instead of the different uses computation
HodanPlodky c63ab04
Merge branch 'master' into feat/binopt
HodanPlodky 137cb1e
dfg calculation on fly and assert weird behaviour
HodanPlodky 1e0aa69
sccp static assert fix
HodanPlodky b99ea0e
lint and comments
HodanPlodky File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Check notice
Code scanning / CodeQL
Empty except Note test