1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
// RUN: %empty-directory(%t/src)
// RUN: split-file %s %t/src
/// Build the library A
// RUN: %target-swift-frontend -emit-module %t/src/Preconcurrency.swift \
// RUN: -module-name Preconcurrency -swift-version 5 -enable-library-evolution \
// RUN: -emit-module-path %t/Preconcurrency.swiftmodule
// RUN: %target-swift-emit-silgen -swift-version 6 -disable-availability-checking -I %t %t/src/test.swift -o - -verify | %FileCheck %s
// REQUIRES: concurrency
//--- Preconcurrency.swift
public func takeNonSendableClosure_preconcurrency(_ fn: @escaping () -> Int) {}
public func takeNonSendableClosure_preconcurrency_generic<T>(_ fn: @escaping () -> T) {}
//--- test.swift
import Preconcurrency
func takeNonSendableClosure_strict(_ fn: @escaping () -> Int) { }
@preconcurrency
actor MyActor {
var counter = 0
}
func forceIsolation(isolation: isolated MyActor?) {}
// rdar://132478429
//
// We were trying to emit dynamic isolation checks in functions that are
// isolated to optional actor references by just passing that reference
// directly to extract_executor, which is incorrect --- we need to skip
// the check when the reference is nil.
// CHECK-LABEL: sil private [ossa] @$s4test0A25OptionalIsolation_checked9isolationyAA7MyActorCSgYi_tFSiycfU_ :
// CHECK: [[T0:%.*]] = copy_value %0 : $Optional<MyActor>
// CHECK-NEXT: [[BORROW:%.*]] = begin_borrow [[T0]] :
// CHECK-NEXT: switch_enum [[BORROW]] : $Optional<MyActor>, case #Optional.some!enumelt: bb1, case #Optional.none!enumelt: bb2
// CHECK: bb1([[T0:%.*]] : @guaranteed $MyActor):
// CHECK-NEXT: extract_executor [[T0]] : $MyActor
// CHECK: // function_ref _checkExpectedExecutor
// CHECK: br bb3
// CHECK: bb2:
// CHECK-NEXT: br bb3
func testOptionalIsolation_checked(isolation: isolated MyActor?) {
takeNonSendableClosure_preconcurrency {
// This closure inherits isolation because it's non-Sendable, and
// it requires a dynamic check because we're passing it to a
// preconcurrency function.
forceIsolation(isolation: isolation)
return 0
}
}
|
