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.

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

auto-wit-jit-gen performance ideas #2246

Open
chriseth opened this issue Dec 17, 2024 · 0 comments
Open

auto-wit-jit-gen performance ideas #2246

chriseth opened this issue Dec 17, 2024 · 0 comments
Labels
performance witness generation Concerning the module of automated witness derivation

Comments

@chriseth
Copy link
Member

chriseth commented Dec 17, 2024

  • use MaybeUninit for the return values for a submachine call
  • if the WitgenFunctionParams are not passed via registers, maybe change it to actual individual function parameters.
  • remove the known field from CompactData in some cases: If we use the jit to run a block machine, we know the exact shape and can derive it if it is required.
  • perform stores early to improve optimizer performance and reduce stack pressure
  • sort stores by row and column id
  • the fixed lookup machine allocates a BitVec (it contains a Vec) - can we avoid that?
@chriseth chriseth added performance witness generation Concerning the module of automated witness derivation labels Dec 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
performance witness generation Concerning the module of automated witness derivation
Projects
None yet
Development

No branches or pull requests

1 participant