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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
// RUN: %target-swift-frontend -parse-as-library -enable-experimental-feature IsolatedDeinit -target %target-future-triple -O -module-name=test %s -emit-sil | %FileCheck %s
// REQUIRES: swift_in_compiler
// REQUIRES: swift_feature_IsolatedDeinit
@globalActor actor AnotherActor: GlobalActor {
static let shared = AnotherActor()
}
final class Inner {}
final class IsolatedDeinit {
var inner: Inner?
@AnotherActor deinit {}
}
final class Container {
var ref: IsolatedDeinit?
}
// CHECK-LABEL: sil [noinline] {{.*}}@$s4test0A16ContainerOutsideyyF : $@convention(thin) () -> () {
// CHECK: [[C:%.*]] = alloc_ref [bare] [stack] $Container
// CHECK: [[ID:%.*]] = alloc_ref $IsolatedDeinit
// CHECK: dealloc_stack_ref [[C]] : $Container
// CHECK: return
@inline(never)
public func testContainerOutside() {
// container can be promoted
let container = Container()
let obj = IsolatedDeinit()
container.ref = obj
}
// CHECK-LABEL: sil [noinline] @$s4test0A15ContainerInsideyyF : $@convention(thin) () -> () {
// CHECK: [[D:%.*]] = alloc_ref $IsolatedDeinit
// CHECK: [[C:%.*]] = alloc_ref [bare] [stack] $Container
// CHECK: dealloc_stack_ref [[C]] : $Container
// CHECK: return
@inline(never)
public func testContainerInside() {
let obj = IsolatedDeinit()
// container can be promoted
let container = Container()
container.ref = obj
}
// CHECK-LABEL: sil [noinline] @$s4test0A12InnerOutsideyyF : $@convention(thin) () -> () {
// CHECK: [[I:%.*]] = alloc_ref $Inner
// CHECK: [[D:%.*]] = alloc_ref $IsolatedDeinit
// CHECK: [[DI:%.*]] = end_init_let_ref [[D]] : $IsolatedDeinit
// CHECK: strong_release [[DI]] : $IsolatedDeinit
// CHECK: return
@inline(never)
public func testInnerOutside() {
// inner cannot be promoted, because it escapes to isolated deinit
let inner = Inner()
let obj = IsolatedDeinit()
obj.inner = inner
}
// CHECK-LABEL: sil [noinline] @$s4test0A11InnerInsideyyF : $@convention(thin) () -> () {
// CHECK: [[D:%.*]] = alloc_ref $IsolatedDeinit
// CHECK: [[DI:%.*]] = end_init_let_ref [[D]] : $IsolatedDeinit
// CHECK: [[I:%.*]] = alloc_ref $Inner
// CHECK: strong_release [[DI]] : $IsolatedDeinit
// CHECK: return
@inline(never)
public func testInnerInside() {
let obj = IsolatedDeinit()
// inner cannot be promoted, because it escapes to isolated deinit
let inner = Inner()
obj.inner = inner
}
|
