Skip to content

[sil] Move PostOrderFunctionInfo from SILOptimizer/Analysis/PostOrderAnalysis => SIL/PostOrder.h. #7353

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 1 commit into from
Feb 9, 2017

Conversation

gottesmm
Copy link
Contributor

@gottesmm gottesmm commented Feb 9, 2017

[sil] Move PostOrderFunctionInfo from SILOptimizer/Analysis/PostOrderAnalysis => SIL/PostOrder.h.

There is already precedence for doing this via DominanceInfo. The reason I am
doing this is that I need the ownership verifier to be able to be run in Raw SIL
before no return folding has run. This means I need to be able to ignore
unreachable code resulting from SILGen not inserting unreachables after no
return functions.

The reason why SILGen does this is to preserve the source information of the
unreachable code so that we can emit nice errors about unreachable code.

rdar://29791263

@gottesmm
Copy link
Contributor Author

gottesmm commented Feb 9, 2017

@swift-ci Please smoke test and merge

@gottesmm
Copy link
Contributor Author

gottesmm commented Feb 9, 2017

The test failure was due to the ownership verifier commit.

@gottesmm gottesmm force-pushed the post_order_function_info branch from 278b8fa to 25fbe69 Compare February 9, 2017 02:20
@gottesmm
Copy link
Contributor Author

gottesmm commented Feb 9, 2017

@swift-ci Please smoke test and merge

1 similar comment
@gottesmm
Copy link
Contributor Author

gottesmm commented Feb 9, 2017

@swift-ci Please smoke test and merge

…Analysis => SIL/PostOrder.h.

There is already precedence for doing this via DominanceInfo. The reason I am
doing this is that I need the ownership verifier to be able to be run in Raw SIL
before no return folding has run. This means I need to be able to ignore
unreachable code resulting from SILGen not inserting unreachables after no
return functions.

The reason why SILGen does this is to preserve the source information of the
unreachable code so that we can emit nice errors about unreachable code.

rdar://29791263
@gottesmm gottesmm force-pushed the post_order_function_info branch from 25fbe69 to ebf5cc6 Compare February 9, 2017 03:15
@gottesmm
Copy link
Contributor Author

gottesmm commented Feb 9, 2017

@swift-ci Please smoke test and merge

1 similar comment
@gottesmm
Copy link
Contributor Author

gottesmm commented Feb 9, 2017

@swift-ci Please smoke test and merge

@swift-ci swift-ci merged commit 5002096 into swiftlang:master Feb 9, 2017
@gottesmm gottesmm deleted the post_order_function_info branch February 9, 2017 06:07
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