Skip to content

GenericSpecializer: support specializing typed throws #70000

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

Merged
merged 4 commits into from
Nov 27, 2023

Conversation

eeckstein
Copy link
Contributor

This means to support specializing functions with indirect error results.
Also, when specializing (and the concrete error type is loadable), convert the indirect error to a direct error.

rdar://118532113

Also, fix try_apply -> apply transformation for indirect error results in SimplifyCFG

@eeckstein
Copy link
Contributor Author

@swift-ci test

@eeckstein
Copy link
Contributor Author

@swift-ci benchmark

… results

Indirect error results must not be included in the final apply arguments which they are not present in the callee.
This means to support specializing functions with indirect error results.
Also, when specializing (and the concrete error type is loadable), convert the indirect error to a direct error.

rdar://118532113
@eeckstein eeckstein force-pushed the specialize-typed-throws branch from 79de0a7 to 8458481 Compare November 27, 2023 07:51
@eeckstein
Copy link
Contributor Author

@swift-ci smoke test

@eeckstein eeckstein merged commit 587a527 into swiftlang:main Nov 27, 2023
@eeckstein eeckstein deleted the specialize-typed-throws branch November 27, 2023 11:39
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.

1 participant