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
|
// RUN: %target-swift-frontend -emit-sil %s -disable-availability-checking | %FileCheck %s
// RUN: %target-swift-frontend -emit-sil %s -disable-availability-checking -strict-concurrency=targeted | %FileCheck %s
// RUN: %target-swift-frontend -emit-sil %s -disable-availability-checking -strict-concurrency=complete | %FileCheck %s
// RUN: %target-swift-frontend -emit-sil %s -disable-availability-checking -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation | %FileCheck %s
// REQUIRES: concurrency
// REQUIRES: asserts
// REQUIRES: swift_in_compiler
actor A {
var x: String = "Hello"
var y: String = "World"
}
// CHECK-LABEL: sil hidden @$s21default_actor_definit1ACACycfc
// CHECK: builtin "initializeDefaultActor"(%0 : $A) : $()
// CHECK-LABEL: end sil function '$s21default_actor_definit1ACACycfc'
actor B {
var x: String
var y: String
init() {
x = "Hello"
y = "World"
}
}
// CHECK-LABEL: sil hidden @$s21default_actor_definit1BCACycfc
// CHECK: builtin "initializeDefaultActor"(%0 : $B) : $()
// CHECK-LABEL: end sil function '$s21default_actor_definit1BCACycfc'
actor C {
var x: String
var y: Int
init?(y: Int) {
self.x = "Hello"
guard y >= 0 else { return nil }
self.y = y
}
convenience init?(yy: Int) {
guard yy <= 100 else { return nil }
self.init(y: yy)
}
}
// CHECK-LABEL: sil hidden @$s21default_actor_definit1CC1yACSgSi_tcfc
// CHECK: builtin "initializeDefaultActor"(%1 : $C)
// CHECK: [[EI:%.*]] = end_init_let_ref %1
// CHECK: [[X:%.*]] = ref_element_addr [[EI]] : $C, #C.x
// CHECK-NEXT: [[ACCESS:%.*]] = begin_access [init] [static] [[X]] : $*String
// CHECK-NEXT: store {{.*}} to [[ACCESS]] : $*String
// CHECK-NEXT: end_access [[ACCESS]] : $*String
// CHECK: cond_br {{%.*}}, bb1, bb2
// CHECK: bb1:
// CHECK: ref_element_addr [[EI]] : $C, #C.y
// CHECK: br bb3
// CHECK: bb2:
// CHECK: [[X:%.*]] = ref_element_addr [[EI]] : $C, #C.x
// CHECK-NEXT: [[ACCESS:%.*]] = begin_access [deinit] [static] [[X]] : $*String
// CHECK-NEXT: destroy_addr [[ACCESS]] : $*String
// CHECK-NEXT: end_access [[ACCESS]] : $*String
// CHECK: builtin "destroyDefaultActor"([[EI]] : $C)
// CHECK: br bb3
// CHECK-LABEL: end sil function '$s21default_actor_definit1CC1yACSgSi_tcfc'
// CHECK-LABEL: sil hidden @$s21default_actor_definit1CC2yyACSgSi_tcfC
// CHECK-NOT: builtin "initializeDefaultActor"
// CHECK-NOT: builtin "destroyDefaultActor"
// CHECK-LABEL: end sil function '$s21default_actor_definit1CC2yyACSgSi_tcfC'
|
