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

Put shared and unique boxes into their own LLVM addrspace #2277

Closed
brson opened this issue Apr 24, 2012 · 2 comments
Closed

Put shared and unique boxes into their own LLVM addrspace #2277

brson opened this issue Apr 24, 2012 · 2 comments
Assignees
Labels
A-codegen Area: Code generation
Milestone

Comments

@brson
Copy link
Contributor

brson commented Apr 24, 2012

We are going to use the addrspaces to identify boxes for our stack maps.

Shared boxes go into addrspace 1, uniques addrspace 2.

@ghost ghost assigned brson Apr 24, 2012
@brson
Copy link
Contributor Author

brson commented May 7, 2012

Done for shared boxes.

@brson
Copy link
Contributor Author

brson commented Jun 5, 2012

Every heap type should be in addrspace 1 now

@brson brson closed this as completed Jun 5, 2012
flip1995 pushed a commit to flip1995/rust that referenced this issue Jul 17, 2020
flip1995 pushed a commit to flip1995/rust that referenced this issue Jul 17, 2020
Add test for `needless_range_loop` issue

Closes rust-lang#2277

This was fixed when we fixed rust-lang#2542.

changelog: none
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
This commit adds a CI job that runs the benchcomp tool on the
performance regression suite, comparing the HEAD of the pull request to
the branch that the PR targets.

The CI job fails if any performance benchmark regresses when run using
the HEAD version of Kani with respect to the 'base' branch. Regression
is defined as a regression in symex or solver time of 10% for any
benchmark for which this value is >2s, or if any performance benchmark
fails with the HEAD version while passing with the base.

This fixes rust-lang#2277.
jieyouxu pushed a commit to jieyouxu/rust that referenced this issue Mar 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-codegen Area: Code generation
Projects
None yet
Development

No branches or pull requests

1 participant