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

introduce a specializes cache #33695

Merged
merged 1 commit into from
May 18, 2016
Merged

Conversation

nikomatsakis
Copy link
Contributor

This query is frequently used during trait selection and caching the
result can be a reasonable performance win.

The one case I examined thus far was the mrusty package (v0.5.1), where I saw an improvement in "typeck item bodies" from ~8.3s to ~1.9s.

r? @aturon

@nikomatsakis
Copy link
Contributor Author

cc @jonathandturner -- thus resulted from examining some outliers that @jonathandturner brought up

@aturon
Copy link
Member

aturon commented May 17, 2016

Nice!

@bors: r+

@bors
Copy link
Contributor

bors commented May 17, 2016

📌 Commit 2714ef5 has been approved by aturon

This query is frequently used during trait selection and caching the
result can be a reasonable performance win.
@nikomatsakis
Copy link
Contributor Author

@bors r=aturon

@bors
Copy link
Contributor

bors commented May 17, 2016

📌 Commit 29dad1a has been approved by aturon

Manishearth added a commit to Manishearth/rust that referenced this pull request May 18, 2016
…turon

introduce a specializes cache

This query is frequently used during trait selection and caching the
result can be a reasonable performance win.

The one case I examined thus far was the mrusty package (v0.5.1), where I saw an improvement in "typeck item bodies" from ~8.3s to ~1.9s.

r? @aturon
bors added a commit that referenced this pull request May 18, 2016
Rollup of 5 pull requests

- Successful merges: #33656, #33666, #33673, #33675, #33695
- Failed merges:
@bors bors merged commit 29dad1a into rust-lang:master May 18, 2016
@nikomatsakis nikomatsakis deleted the spezializes-cache branch October 3, 2016 14:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants