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

PCC: initial end-to-end integration with Wasmtime's static memories. #7274

Merged
merged 8 commits into from
Oct 18, 2023
Merged

PCC: initial end-to-end integration with Wasmtime's static memories. #7274

merged 8 commits into from
Oct 18, 2023

Commits on Oct 17, 2023

  1. PCC: add facts to global values, parse and print them. No verificatio… 

    …n yet.

Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
    @cfallin @fitzgen
    cfallin and fitzgen committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    f22194f View commit details
    Browse the repository at this point in the history

  2. PCC: propagate facts on GV loads and check them. 

    Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
    @cfallin @fitzgen
    cfallin and fitzgen committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    c49c021 View commit details
    Browse the repository at this point in the history

  3. PCC: support propagating facts on iteratively-elaborated GVs as well. 

    Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
    @cfallin @fitzgen
    cfallin and fitzgen committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    7fea7c1 View commit details
    Browse the repository at this point in the history

  4. PCC: fix up Wasmtime uses of GVs after refactors to memflags handling. 

    Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
    @cfallin @fitzgen
    cfallin and fitzgen committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    725bdd9 View commit details
    Browse the repository at this point in the history

  5. PCC: working end-to-end for static memories! 

    Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
    @cfallin @fitzgen
    cfallin and fitzgen committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    f8d59bd View commit details
    Browse the repository at this point in the history

  6. PCC: add toplevel Wasmtime option -C enable-pcc=y.

    @cfallin
    cfallin committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    9eede11 View commit details
    Browse the repository at this point in the history

  7. Fix filetests build.

    @cfallin
    cfallin committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    c4afcb5 View commit details
    Browse the repository at this point in the history

  8. Review feedback, and blessed test updates due to GV legalization chan… 

    …ges.
    @cfallin
    cfallin committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    6846d8c View commit details
    Browse the repository at this point in the history