Skip to content

[IRGen] Reintroduce typed throws ABI #76630

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 17 commits into from
Nov 7, 2024
Merged

Conversation

drexin
Copy link
Contributor

@drexin drexin commented Sep 21, 2024

rdar://135954459

@drexin drexin requested a review from rjmccall as a code owner September 21, 2024 18:41
@drexin drexin marked this pull request as draft September 21, 2024 18:42
@drexin
Copy link
Contributor Author

drexin commented Sep 21, 2024

@swift-ci build toolchain macos

@drexin
Copy link
Contributor Author

drexin commented Sep 21, 2024

@swift-ci test

@drexin
Copy link
Contributor Author

drexin commented Sep 23, 2024

@swift-ci smoke test

@drexin
Copy link
Contributor Author

drexin commented Sep 23, 2024

@swift-ci build toolchain macos

@drexin
Copy link
Contributor Author

drexin commented Sep 23, 2024

@swift-ci smoke test

@drexin
Copy link
Contributor Author

drexin commented Sep 23, 2024

@swift-ci build toolchain macos

@drexin
Copy link
Contributor Author

drexin commented Sep 23, 2024

@swift-ci smoke test linux

@drexin
Copy link
Contributor Author

drexin commented Sep 28, 2024

@swift-ci smoke test

@drexin
Copy link
Contributor Author

drexin commented Sep 28, 2024

@swift-ci smoke test

@drexin
Copy link
Contributor Author

drexin commented Sep 28, 2024

@swift-ci smoke test

@drexin drexin marked this pull request as ready for review September 29, 2024 03:57
@drexin
Copy link
Contributor Author

drexin commented Oct 17, 2024

@swift-ci smoke test

drexin and others added 12 commits November 7, 2024 10:22
LLVM doesn't like undef instances of void.

rdar://135631963
When the error is an empty type, the return value for the error case needs to be an `undef` value of the result type, or `void`, if the result type is `void`
The mapping was completely missing, causing compiler crashes.
…bi.swift test

Adding some tests cases for direct return of typed errors in synchronous functions.
…syncReturn

When the result is empty, but the error type is not, we have to return an `undef` for the result.
For empty errors, we expect `undef` to eb returned
…esult types

When the error type does not directly fit into the result type, we appy a mapping. These tests verify that this mapping is applied properly on the callee and caller site.
…result types

When the error type does not directly fit into the result type, we appy a mapping. These tests verify that this mapping is applied properly on the callee and caller site.
Adding more cases with errors of different sizes
Some types that should have been were not mapped into context.
@drexin
Copy link
Contributor Author

drexin commented Nov 7, 2024

@swift-ci smoke test

@drexin drexin merged commit 0d7054b into swiftlang:main Nov 7, 2024
3 checks passed
@drexin drexin deleted the wip-135954459 branch November 7, 2024 23: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.

2 participants