Skip to content

Commit a6089bc

Browse files
gottesmmgottesmm
committed
[sending] Enable sending whenever region isolation is enabled and make SE-0430 an upcoming feature.
I also added support for expressing suppressable upcoming features. rdar://128216574
1 parent 7592842 commit a6089bc

15 files changed

+247
-85
lines changed

‎include/swift/Basic/Features.def

Lines changed: 18 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -69,6 +69,21 @@
6969
# endif
7070
#endif
7171

72+
// A feature that's both suppressible and upcoming.
73+
// Delegates to whichever the includer defines.
74+
#ifndef SUPPRESSIBLE_UPCOMING_FEATURE
75+
# if defined(SUPPRESSIBLE_UPCOMING_FEATURE) && \
76+
defined(UPCOMING_FEATURE)
77+
# error ambiguous defines when including Features.def
78+
# elif defined(SUPPRESSIBLE_LANGUAGE_FEATURE)
79+
# define SUPPRESSIBLE_UPCOMING_FEATURE(FeatureName, SENumber, Version) \
80+
SUPPRESSIBLE_LANGUAGE_FEATURE(FeatureName, SENumber, #FeatureName)
81+
# else
82+
# define SUPPRESSIBLE_UPCOMING_FEATURE(FeatureName, SENumber, Version) \
83+
UPCOMING_FEATURE(FeatureName, SENumber, Version)
84+
# endif
85+
#endif
86+
7287
#ifndef SUPPRESSIBLE_LANGUAGE_FEATURE
7388
# define SUPPRESSIBLE_LANGUAGE_FEATURE(FeatureName, SENumber, Description) \
7489
LANGUAGE_FEATURE(FeatureName, SENumber, Description)
@@ -198,6 +213,8 @@ UPCOMING_FEATURE(DynamicActorIsolation, 423, 6)
198213
UPCOMING_FEATURE(NonfrozenEnumExhaustivity, 192, 6)
199214
UPCOMING_FEATURE(GlobalActorIsolatedTypesUsability, 0434, 6)
200215
UPCOMING_FEATURE(BorrowingSwitch, 432, 6)
216+
UPCOMING_FEATURE(TransferringArgsAndResults, 430, 6)
217+
SUPPRESSIBLE_UPCOMING_FEATURE(SendingArgsAndResults, 430, 6)
201218

202219
// Swift 7
203220
UPCOMING_FEATURE(ExistentialAny, 335, 7)
@@ -352,16 +369,6 @@ EXPERIMENTAL_FEATURE(FixedArrays, true)
352369
// Group Main Actor Isolation Errors by Scope
353370
EXPERIMENTAL_FEATURE(GroupActorErrors, true)
354371

355-
// Allow for the 'transferring' keyword to be applied to arguments and results.
356-
//
357-
// Enables SendingArgsAndResults as well. After parsing, we just represent this
358-
// as 'sendable' implying that since both are always enabled together, this
359-
// doesn't need to be suppressed.
360-
EXPERIMENTAL_FEATURE(TransferringArgsAndResults, true)
361-
362-
// Allow for the 'sending' keyword to be applied to arguments and results.
363-
SUPPRESSIBLE_EXPERIMENTAL_FEATURE(SendingArgsAndResults, true)
364-
365372
// Enable explicit isolation of closures.
366373
EXPERIMENTAL_FEATURE(ClosureIsolation, true)
367374

@@ -398,5 +405,6 @@ EXPERIMENTAL_FEATURE(DebugDescriptionMacro, true)
398405
#undef CONDITIONALLY_SUPPRESSIBLE_EXPERIMENTAL_FEATURE
399406
#undef CONDITIONALLY_SUPPRESSIBLE_LANGUAGE_FEATURE
400407
#undef SUPPRESSIBLE_EXPERIMENTAL_FEATURE
408+
#undef SUPPRESSIBLE_UPCOMING_FEATURE
401409
#undef SUPPRESSIBLE_LANGUAGE_FEATURE
402410
#undef LANGUAGE_FEATURE

‎include/swift/Option/FrontendOptions.td

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1357,6 +1357,16 @@ def disable_strict_concurrency_region_based_isolation : Flag<["-"],
13571357
HelpText<"Disable region based isolation when running with strict concurrency enabled. Only enabled with asserts">,
13581358
Flags<[HelpHidden]>;
13591359

1360+
def disable_transferring_args_and_results_with_region_isolation : Flag<["-"],
1361+
"disable-transferring-args-and-results-with-region-based-isolation">,
1362+
HelpText<"Disable transferring args and results when region based isolation is enabled. Only enabled with asserts">,
1363+
Flags<[HelpHidden]>;
1364+
1365+
def disable_sending_args_and_results_with_region_isolation : Flag<["-"],
1366+
"disable-sending-args-and-results-with-region-based-isolation">,
1367+
HelpText<"Disable sending args and results when region based isolation is enabled. Only enabled with asserts">,
1368+
Flags<[HelpHidden]>;
1369+
13601370
def no_scanner_module_validation: Flag<["-"], "no-scanner-module-validation">,
13611371
HelpText<"Do not validate binary modules in scanner and delegate the validation to swift-frontend">;
13621372
def module_load_mode: Separate<["-"], "module-load-mode">,

‎lib/DriverTool/sil_opt_main.cpp

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -576,6 +576,17 @@ struct SILOptOptions {
576576
"disable-region-based-isolation-with-strict-concurrency",
577577
llvm::cl::init(false));
578578

579+
llvm::cl::opt<bool>
580+
DisableTransferringArgsAndResultsWithRegionBasedIsolation = llvm::cl::opt<
581+
bool>(
582+
"disable-transferring-args-and-results-with-region-based-isolation",
583+
llvm::cl::init(false));
584+
585+
llvm::cl::opt<bool> DisableSendingArgsAndResultsWithRegionBasedIsolation =
586+
llvm::cl::opt<bool>(
587+
"disable-sending-args-and-results-with-region-based-isolation",
588+
llvm::cl::init(false));
589+
579590
llvm::cl::opt<std::string> SwiftVersionString = llvm::cl::opt<std::string>(
580591
"swift-version",
581592
llvm::cl::desc(
@@ -794,6 +805,14 @@ int sil_opt_main(ArrayRef<const char *> argv, void *MainAddr) {
794805
Invocation.getLangOptions().enableFeature(Feature::RegionBasedIsolation);
795806
}
796807

808+
if (Invocation.getLangOptions().hasFeature(Feature::RegionBasedIsolation)) {
809+
if (!options.DisableTransferringArgsAndResultsWithRegionBasedIsolation)
810+
Invocation.getLangOptions().enableFeature(
811+
Feature::TransferringArgsAndResults);
812+
if (!options.DisableSendingArgsAndResultsWithRegionBasedIsolation)
813+
Invocation.getLangOptions().enableFeature(Feature::SendingArgsAndResults);
814+
}
815+
797816
if (Invocation.getLangOptions().hasFeature(
798817
Feature::TransferringArgsAndResults)) {
799818
Invocation.getLangOptions().enableFeature(Feature::SendingArgsAndResults);

‎lib/Frontend/CompilerInvocation.cpp

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1064,6 +1064,23 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
10641064
Opts.enableFeature(Feature::RegionBasedIsolation);
10651065
}
10661066

1067+
// Enable TransferringArgsAndResults/SendingArgsAndResults whenever
1068+
// RegionIsolation is enabled.
1069+
if (Opts.hasFeature(Feature::RegionBasedIsolation)) {
1070+
bool enableTransferringArgsAndResults = true;
1071+
bool enableSendingArgsAndResults = true;
1072+
#ifndef NDEBUG
1073+
enableTransferringArgsAndResults = !Args.hasArg(
1074+
OPT_disable_transferring_args_and_results_with_region_isolation);
1075+
enableSendingArgsAndResults = !Args.hasArg(
1076+
OPT_disable_sending_args_and_results_with_region_isolation);
1077+
#endif
1078+
if (enableTransferringArgsAndResults)
1079+
Opts.enableFeature(Feature::TransferringArgsAndResults);
1080+
if (enableSendingArgsAndResults)
1081+
Opts.enableFeature(Feature::SendingArgsAndResults);
1082+
}
1083+
10671084
// Enable SendingArgsAndResults whenever TransferringArgsAndResults is
10681085
// enabled.
10691086
//

‎test/Concurrency/async_let_isolation.swift

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
1-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -disable-region-based-isolation-with-strict-concurrency
2-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=targeted -disable-region-based-isolation-with-strict-concurrency
3-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -disable-region-based-isolation-with-strict-concurrency
1+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -verify-additional-prefix without-transferring-
2+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=targeted -verify-additional-prefix without-transferring-
3+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -disable-region-based-isolation-with-strict-concurrency -verify-additional-prefix without-transferring- -disable-transferring-args-and-results-with-region-based-isolation -disable-sending-args-and-results-with-region-based-isolation
4+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -disable-transferring-args-and-results-with-region-based-isolation -disable-sending-args-and-results-with-region-based-isolation -verify-additional-prefix without-transferring-
45
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete
56

67
// REQUIRES: concurrency
@@ -21,7 +22,7 @@ actor MyActor {
2122
async let z = synchronous()
2223

2324
var localText = text
24-
async let w = localText.removeLast() // expected-warning{{mutation of captured var 'localText' in concurrently-executing code}}
25+
async let w = localText.removeLast() // expected-without-transferring-warning {{mutation of captured var 'localText' in concurrently-executing code}}
2526

2627
_ = await x
2728
_ = await y

‎test/Concurrency/global_actor_function_types.swift

Lines changed: 15 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,17 @@
1-
// RUN: %target-typecheck-verify-swift -disable-availability-checking
2-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify
3-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=targeted
4-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -verify-additional-prefix complete-tns-
5-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation -verify-additional-prefix complete-tns-
1+
// Typecheck.
2+
// RUN: %target-typecheck-verify-swift -disable-availability-checking -verify-additional-prefix without-transferring-
3+
4+
// Emit SIL with minimal strict concurrency.
5+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -verify-additional-prefix without-transferring-
6+
7+
// Emit SIL with targeted concurrency.
8+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=targeted -verify-additional-prefix without-transferring-
9+
10+
// Emit SIL with strict concurrency + region based isolation but without transferring.
11+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -verify-additional-prefix complete-tns- -verify-additional-prefix without-transferring- -disable-transferring-args-and-results-with-region-based-isolation -disable-sending-args-and-results-with-region-based-isolation
12+
13+
// Emit SIL with strict concurrency + region based isolation + transferring
14+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -verify-additional-prefix complete-tns-
615

716
// REQUIRES: concurrency
817
// REQUIRES: asserts
@@ -323,7 +332,7 @@ func stripActor(_ expr: @Sendable @autoclosure () -> (() -> ())) async {
323332

324333
// NOTE: this warning is correct, but is only being caught by TypeCheckConcurrency's extra check.
325334
@MainActor func exampleWhereConstraintSolverHasWrongDeclContext_v2() async -> Int {
326-
async let a: () = noActor(mainActorFn) // expected-warning {{converting function value of type '@MainActor () -> ()' to '() -> ()' loses global actor 'MainActor'}}
335+
async let a: () = noActor(mainActorFn) // expected-without-transferring-warning {{converting function value of type '@MainActor () -> ()' to '() -> ()' loses global actor 'MainActor'}}
327336
await a
328337
}
329338

‎test/Concurrency/issue-57376.swift

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,18 @@
11
// RUN: %target-swift-frontend -disable-availability-checking -strict-concurrency=targeted %s -emit-sil -o /dev/null -verify -verify-additional-prefix targeted-and-complete-
2-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -verify-additional-prefix targeted-and-complete-
32

43
// NOTE: We test separately with region isolation and region isolation +
54
// sending args and results since the semantics when sending args and
65
// results are enabled is different since async let in such a case takes a
76
// non-Sendable closure whose captures are transferred in while without it, we
87
// leave the async let closure as sendable and use sema level checking.
9-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation -verify-additional-prefix tns- -verify-additional-prefix no-transferring-tns-
10-
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation -enable-experimental-feature TransferringArgsAndResults -verify-additional-prefix tns- -verify-additional-prefix transferring-tns-
8+
9+
// No transferring.
10+
//
11+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -verify-additional-prefix tns- -verify-additional-prefix no-transferring-tns- -disable-transferring-args-and-results-with-region-based-isolation -disable-sending-args-and-results-with-region-based-isolation
12+
13+
// With transferring.
14+
//
15+
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -verify-additional-prefix tns- -verify-additional-prefix transferring-tns-
1116

1217
// REQUIRES: concurrency
1318
// REQUIRES: asserts

‎test/Concurrency/sending_conditional_suppression.swift

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
// RUN: %empty-directory(%t)
2+
3+
// RUN: %target-swift-frontend -enable-upcoming-feature SendingArgsAndResults -swift-version 5 -enable-library-evolution -module-name test -emit-module -o %t/test.swiftmodule -emit-module-interface-path - %s | %FileCheck %s
4+
5+
public class NonSendableKlass {}
6+
7+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
8+
// CHECK-NEXT: public func transferArgTest(_ x: sending test.NonSendableKlass)
9+
// CHECK-NEXT: #else
10+
// CHECK-NEXT: public func transferArgTest(_ x: test.NonSendableKlass)
11+
// CHECK-NEXT: #endif
12+
public func transferArgTest(_ x: sending NonSendableKlass) {}
13+
14+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
15+
// CHECK-NEXT: public func transferResultTest() -> sending test.NonSendableKlass
16+
// CHECK-NEXT: #else
17+
// CHECK-NEXT: public func transferResultTest() -> test.NonSendableKlass
18+
// CHECK-NEXT: #endif
19+
public func transferResultTest() -> sending NonSendableKlass { fatalError() }
20+
21+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
22+
// CHECK-NEXT: public func transferArgAndResultTest(_ x: test.NonSendableKlass, _ y: sending test.NonSendableKlass, _ z: test.NonSendableKlass) -> sending test.NonSendableKlass
23+
// CHECK-NEXT: #else
24+
// CHECK-NEXT: public func transferArgAndResultTest(_ x: test.NonSendableKlass, _ y: test.NonSendableKlass, _ z: test.NonSendableKlass) -> test.NonSendableKlass
25+
// CHECK-NEXT: #endif
26+
public func transferArgAndResultTest(_ x: NonSendableKlass, _ y: sending NonSendableKlass, _ z: NonSendableKlass) -> sending NonSendableKlass { fatalError() }
27+
28+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
29+
// CHECK-NEXT: public func argEmbeddedInType(_ fn: (sending test.NonSendableKlass) -> ())
30+
// CHECK-NEXT: #else
31+
// CHECK-NEXT: public func argEmbeddedInType(_ fn: (test.NonSendableKlass) -> ())
32+
// CHECK-NEXT: #endif
33+
public func argEmbeddedInType(_ fn: (sending NonSendableKlass) -> ()) {}
34+
35+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
36+
// CHECK-NEXT: public func resultEmbeddedInType(_ fn: () -> sending test.NonSendableKlass)
37+
// CHECK-NEXT: #else
38+
// CHECK-NEXT: public func resultEmbeddedInType(_ fn: () -> test.NonSendableKlass)
39+
// CHECK-NEXT: #endif
40+
public func resultEmbeddedInType(_ fn: () -> sending NonSendableKlass) {}
41+
42+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
43+
// CHECK-NEXT: public func argAndResultEmbeddedInType(_ fn: (test.NonSendableKlass, sending test.NonSendableKlass, test.NonSendableKlass) -> sending test.NonSendableKlass)
44+
// CHECK-NEXT: #else
45+
// CHECK-NEXT: public func argAndResultEmbeddedInType(_ fn: (test.NonSendableKlass, test.NonSendableKlass, test.NonSendableKlass) -> test.NonSendableKlass)
46+
// CHECK-NEXT: #endif
47+
public func argAndResultEmbeddedInType(_ fn: (NonSendableKlass, sending NonSendableKlass, NonSendableKlass) -> sending NonSendableKlass) {}
48+
49+
public class TestInKlass {
50+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
51+
// CHECK-NEXT: public func testKlassArg(_ x: sending test.NonSendableKlass)
52+
// CHECK-NEXT: #else
53+
// CHECK-NEXT: public func testKlassArg(_ x: test.NonSendableKlass)
54+
// CHECK-NEXT: #endif
55+
public func testKlassArg(_ x: sending NonSendableKlass) { fatalError() }
56+
57+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
58+
// CHECK-NEXT: public func testKlassResult() -> sending test.NonSendableKlass
59+
// CHECK-NEXT: #else
60+
// CHECK-NEXT: public func testKlassResult() -> test.NonSendableKlass
61+
// CHECK-NEXT: #endif
62+
public func testKlassResult() -> sending NonSendableKlass { fatalError() }
63+
64+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
65+
// CHECK-NEXT: public func testKlassArgAndResult(_ x: test.NonSendableKlass, _ y: sending test.NonSendableKlass, z: test.NonSendableKlass) -> sending test.NonSendableKlass
66+
// CHECK-NEXT: #else
67+
// CHECK-NEXT: public func testKlassArgAndResult(_ x: test.NonSendableKlass, _ y: test.NonSendableKlass, z: test.NonSendableKlass) -> test.NonSendableKlass
68+
// CHECK-NEXT: #endif
69+
public func testKlassArgAndResult(_ x: NonSendableKlass, _ y: sending NonSendableKlass, z: NonSendableKlass) -> sending NonSendableKlass { fatalError() }
70+
}
71+
72+
public struct TestInStruct {
73+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
74+
// CHECK-NEXT: public func testKlassArg(_ x: sending test.NonSendableKlass)
75+
// CHECK-NEXT: #else
76+
// CHECK-NEXT: public func testKlassArg(_ x: test.NonSendableKlass)
77+
// CHECK-NEXT: #endif
78+
public func testKlassArg(_ x: sending NonSendableKlass) { fatalError() }
79+
80+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
81+
// CHECK-NEXT: public func testKlassResult() -> sending test.NonSendableKlass
82+
// CHECK-NEXT: #else
83+
// CHECK-NEXT: public func testKlassResult() -> test.NonSendableKlass
84+
// CHECK-NEXT: #endif
85+
public func testKlassResult() -> sending NonSendableKlass { fatalError() }
86+
87+
// CHECK-LABEL: #if compiler(>=5.3) && $SendingArgsAndResults
88+
// CHECK-NEXT: public func testKlassArgAndResult(_ x: test.NonSendableKlass, _ y: sending test.NonSendableKlass, z: test.NonSendableKlass) -> sending test.NonSendableKlass
89+
// CHECK-NEXT: #else
90+
// CHECK-NEXT: public func testKlassArgAndResult(_ x: test.NonSendableKlass, _ y: test.NonSendableKlass, z: test.NonSendableKlass) -> test.NonSendableKlass
91+
// CHECK-NEXT: #endif
92+
public func testKlassArgAndResult(_ x: NonSendableKlass, _ y: sending NonSendableKlass, z: NonSendableKlass) -> sending NonSendableKlass { fatalError() }
93+
}

‎test/Concurrency/transfernonsendable.sil

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %target-sil-opt -transfer-non-sendable -enable-upcoming-feature RegionBasedIsolation -enable-experimental-feature TransferringArgsAndResults -strict-concurrency=complete %s -o /dev/null -verify
1+
// RUN: %target-sil-opt -transfer-non-sendable -enable-upcoming-feature RegionBasedIsolation -enable-upcoming-feature TransferringArgsAndResults -strict-concurrency=complete %s -o /dev/null -verify
22

33
// REQUIRES: concurrency
44
// REQUIRES: asserts

0 commit comments

Comments
 (0)