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

Avoid unnecessary allocations in MIR passes #2664

Open
feliperodri opened this issue Aug 8, 2023 · 0 comments
Open

Avoid unnecessary allocations in MIR passes #2664

feliperodri opened this issue Aug 8, 2023 · 0 comments
Assignees
@feliperodri
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected. Z-Kani Compiler Issues that require some changes to the compiler
Milestone
Stubbing

Comments

@feliperodri
Copy link
Contributor

Proposed change:

Allocates only there is a change in the body during transformation using COW pattern. Suggested in #2658 (comment).

Motivation:

Avoid duplication of every function in memory during stubbing transformation.
@feliperodri feliperodri added [C] Internal Tracks some internal work. I.e.: Users should not be affected. Z-Kani Compiler Issues that require some changes to the compiler labels Aug 8, 2023
@feliperodri feliperodri self-assigned this Aug 8, 2023
@feliperodri feliperodri mentioned this issue Aug 8, 2023
Merged
4 tasks
@feliperodri feliperodri added this to the Stubbing milestone Aug 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@feliperodri feliperodri

Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected. Z-Kani Compiler Issues that require some changes to the compiler
Projects
None yet
Milestone
Stubbing
Development

No branches or pull requests
1 participant
@feliperodri