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

Revert "SROA: generalize unswitchtupleunion optimization" #50511

Closed
wants to merge 1 commit into from

Conversation

vtjnash
Copy link
Member

@vtjnash vtjnash commented Jul 11, 2023

Reverts #50502. Covariant transforms are not sound for types other than Tuple.

@Keno
Copy link
Member

Keno commented Jul 11, 2023

I thought this was fine, since we never rewrap it, only look at the typename of the resulting DataType.

@aviatesk
Copy link
Member

Yeah, the resulting type struct_typ_unwrapped is never be used for subtyping so it would be fine to not to preserve the type variance.

@vtjnash
Copy link
Member Author

vtjnash commented Jul 12, 2023

These are also (permanently) very expensive for the runtime to have created. That is not wise to trigger that. If you just need the name, we already have several utilities for that.

aviatesk added a commit that referenced this pull request Jul 12, 2023
Since construction of `UnionAll` of `Union`s can be expensive. The SROA pass just needs to
look at type name information and do not need to propagate full type objects.

- xref: <#50511 (comment)>
- closes #50511
@aviatesk
Copy link
Member

What do you think about #50522?

aviatesk added a commit that referenced this pull request Jul 12, 2023
Since construction of `UnionAll` of `Union`s can be expensive. The SROA pass just needs to
look at type name information and do not need to propagate full type objects.

- xref: <#50511 (comment)>
- closes #50511
aviatesk added a commit that referenced this pull request Jul 13, 2023
Since construction of `UnionAll` of `Union`s can be expensive. The SROA pass just needs to
look at type name information and do not need to propagate full type objects.

- xref: <#50511 (comment)>
- closes #50511
aviatesk added a commit that referenced this pull request Jul 13, 2023
#50522)

Since construction of `UnionAll` of `Union`s can be expensive. The SROA pass just needs to
look at type name information and do not need to propagate full type objects.

- xref: <#50511 (comment)>
- closes #50511
@aviatesk aviatesk deleted the revert-50502-avi/unswitchtypeunion branch July 13, 2023 07:50
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