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

Try to set up a way to get PGO in the build #39

Open
bernardosulzbach opened this issue Jul 5, 2020 · 0 comments
Open

Try to set up a way to get PGO in the build #39

bernardosulzbach opened this issue Jul 5, 2020 · 0 comments
Labels
analysis An idea still being considered enhancement New feature or request

Comments

@bernardosulzbach
Copy link
Owner

Because we have significant inputs for the program at our disposal, we can get a profile-guided optimized build done.

This should then be compared to an unguided optimized build to see if it is worth the effort.
@bernardosulzbach bernardosulzbach added enhancement New feature or request analysis An idea still being considered labels Jul 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
analysis An idea still being considered enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bernardosulzbach