PR #73483 [6.0][region-isolation] Upstreaming some fixes

[region-isolation] Look through actor isolated, non-Sendable struct_element_addr geps.

gottesmm committed 1 year ago

Fix how we look through (or not) and find the isolation ofunchecked_take_enum_data_addr/struct_element_addr fields.

gottesmm committed 1 year ago

[transferring] Make transferring suppressible and validate that we do suppress transferring in swift interface files.

gottesmm committed 1 year ago

Fix a test since we cherry-picked this out of order from main with another commit.

gottesmm committed 1 year ago

[region-isolation] Some small gardening updates in preparation for the next commit.

gottesmm committed 1 year ago

[region-isolation] When inferring isolation for an argument, handle non-self isolated parameters as well as self parameters that are actor isolated.

gottesmm committed 1 year ago

[region-isolation] Fix isolation inference for init accessors.

gottesmm committed 1 year ago

fix a test

gottesmm committed 1 year ago

[region-isolation] Return the old way of printing ActorIsolation for use when printing SIL instructions.

gottesmm committed 1 year ago

[ast] Move ActorIsolation::dump out of line so we don't call print in a header.

gottesmm committed 1 year ago

[region-isolation] Avoid using the function isolation when determining isolation of a sil_isolated parameter.

gottesmm committed 1 year ago

[sil] Restrict sil_isolated to only being able to be applied to any actor types.

gottesmm committed 1 year ago

Fix test case.

gottesmm committed 1 year ago

[region-isolation] Fix verifier check.

gottesmm committed 1 year ago

[region-isolation] When computing isolation for isolated parameters, use getAnyActor instead of getNominalOrBoundGenericNominal().

gottesmm committed 1 year ago

[region-isolation] Allow for Sendable global actor isolated closures to use transferred non-Sendable parameters.

gottesmm committed 1 year ago

[concurrency] Make GlobalActorIsolatedTypesUsability an upcoming swift 6 feature.

gottesmm committed 1 year ago

swift [6.0][region-isolation] Upstreaming some fixes #73483 Merged