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

Implement SSA-based reference propagation #106285

Merged
merged 10 commits into from
May 10, 2023
Merged

Implement SSA-based reference propagation #106285

merged 10 commits into from
May 10, 2023
+3,141 −115

Commits on May 9, 2023

  1. Implement SSA-based reference propagation.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    3490375 View commit details
    Browse the repository at this point in the history

  2. Do not consider borrowed Freeze locals as SSA.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    3c43b61 View commit details
    Browse the repository at this point in the history

  3. Explicitly skip arguments.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    38612f5 View commit details
    Browse the repository at this point in the history

  4. Explicit performance concern.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    0bd9bd6 View commit details
    Browse the repository at this point in the history

  5. Only check that StorageLive dominates address-taking.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    3268f2e View commit details
    Browse the repository at this point in the history

  6. Do not check StorageLive dominates address-taking.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    3b4e1fe View commit details
    Browse the repository at this point in the history

  7. Only check storage liveness for direct projections.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    a67bf08 View commit details
    Browse the repository at this point in the history

  8. Correct StorageLive comment.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    c17e878 View commit details
    Browse the repository at this point in the history

  9. Separate test cases into bbs.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    8e5910f View commit details
    Browse the repository at this point in the history

  10. Add needs-unwind.

    @cjgillot
    cjgillot committed May 9, 2023
    Configuration menu
    Copy the full SHA
    bde213c View commit details
    Browse the repository at this point in the history