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

[WIP] Compiler+VM POC #3648

Draft
wants to merge 104 commits into
base: master
Choose a base branch
from
Draft

[WIP] Compiler+VM POC #3648

wants to merge 104 commits into from

Conversation

SupunS
Copy link
Member

@SupunS SupunS commented Oct 28, 2024

Description

POC of compiler + VM, based on the work of #2088 by Bastian.

  • Targeted PR against master branch
  • Linked to Github issue with discussion and accepted design OR link to spec that describes this work
  • Code follows the standards mentioned here
  • Updated relevant documentation
  • Re-reviewed Files changed in the Github PR explorer
  • Added appropriate labels

turbolent and others added 30 commits October 21, 2022 15:03
@turbolent
PoC: Build Bytecode Quickly
b17343d
@SupunS
Add struct init
4afa28b
@SupunS
Add struct field access
43808d5
@SupunS
Use atree for struct values
6c6519b
@SupunS
Add type check during value transfer
1c3d8e7
@SupunS
Fix non-determinism in global variables
1608f15
@SupunS
Merge branch 'supun/stack-vm-structs' of https://github.com/onflow/ca…
e222138 
…dence into supun/stack-vm-typecheck
@SupunS
Add type check during value transfer
15bb002
@SupunS
Add resource types
84892d8
@SupunS
Merge branch 'supun/stack-vm-structs' of https://github.com/onflow/ca…
384a616 
…dence into supun/stack-vm-resources
@SupunS
Refactor tests
737fe24
@SupunS
Add composite functions. Pass location to constructor
22de01e
@SupunS
Support imports
4fcbe79
@SupunS
Support importing contracts
6ce24a7
@SupunS
Add contract initialization
ece09b4
@SupunS
Fix contract loading
2c94c75
@SupunS
Improve linker
a83a915
@SupunS
Unify instance-method invocation and static-method invocation
aa19efc
@SupunS
Add native function invocation support
3455f08
@SupunS
Start basics needed for FT transfer
26ae063
@SupunS
Add transaction execution support
0a776cc
@SupunS
Add interface method invocation
8dc6199
@SupunS
Run FT transfer account setup transaction
804e4c4
@SupunS
Run FT transfer transaction
8611b11
@SupunS
Support transaction parameters
2144c43
@SupunS
Add auth account borrow
61d7a01
@SupunS
Support type arguments
2970b2c
@SupunS
Use single storage across execution
0fe0ca7
@SupunS
Fix member get/set
5acd4ec
@SupunS
Fix transaction execute block argument passing
6a0e25f
@turbolent turbolent mentioned this pull request Nov 26, 2024
Closed
SupunS and others added 28 commits November 27, 2024 07:29
@SupunS
optimization: make the callframe a non-pointer
2d9b4b7
@SupunS
Merge pull request #3704 from onflow/supun/vm-cadence-1.0-optimized
35c74a9 
Optimize function calls
@turbolent
improve and test instruction printer
e8627af
@turbolent
Merge pull request #3706 from onflow/bastian/improve-and-test-instruc…
83f76f6 
…tion-printer

[Custom VM] Improve and test instruction printer
@SupunS
Lazily load fields for simple composite values
c01300e
@turbolent
refactor instruction encoding
75bd3cf
@turbolent
add license headers
e26c88f
@turbolent
improve names of indices
d02289b
@turbolent
refactor instruction decoding
140113c
@turbolent
Merge pull request #3713 from onflow/bastian/refactor-instruction-enc…
6b85f2b 
…oding

[Compiler+VM PoC] Refactor bytecode encoding
@turbolent
improve encoding of uint16 values
8c6338a
@turbolent
add instruction types, refactor encoding and decoding to use them
fa12063
@turbolent
refactor instruction printing
b7e9a77
@turbolent
improve file name
a0c6faf
@turbolent
Merge pull request #3714 from onflow/bastian/refactor-instruction-dec…
4a7a40a 
…oding

[Compiler+VM PoC] Refactor instruction encoding/decoding
@turbolent
use one codegen and retarget it to the current function
a8603ec
@turbolent
retarget VM to use instructions, avoid bytecode encoding/decoding
9e560c1
@turbolent
Merge pull request #3715 from onflow/bastian/retarget-compiler
9ef3c0f 
[Compiler+VM PoC] Allow compiler to generate instructions, retarget VM to use instructions
@turbolent
generate the code for the instructions from a file that defines all i…
d9e61fb 
…nstructions
@turbolent
add the generated instructions
c6756ff
@turbolent
group instructions into categories
22370f7
@SupunS
Merge pull request #3716 from onflow/bastian/generate-instruction-code
b2c56c9 
[Compiler+VM POC] Generate the code for the instructions
@SupunS
Make field name a part of the get/set field instruction
03cce84
@SupunS
Move string arguments of instructions to the constant pool
8502948
@SupunS
Fix instruction pretty printing
4ac394b
@turbolent
document effects on value stack and control stack
a474836
@SupunS
Merge pull request #3718 from onflow/supun/improve-instructions
a24debb 
[Compiler+VM POC] Improve the custom instructions set
@turbolent
Merge pull request #3719 from onflow/bastian/document-effects
ed25841 
[Compiler+VM POC] Document effects of instructions on value stack and control stack
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@turbolent turbolent Awaiting requested review from turbolent turbolent will be requested when the pull request is marked ready for review turbolent is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

@SupunS SupunS

Labels
Research
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@SupunS @turbolent