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
|
// RUN: %target-swift-frontend -primary-file %s -Onone -emit-sil \
// RUN: -enable-library-evolution \
// RUN: -Xllvm -sil-print-after=definite-init \
// RUN: -o /dev/null -module-name init_accessors 2>&1 | %FileCheck %s
public class Test {
public enum State: Equatable {
case start
case failed(any Swift.Error)
case completed
public static func == (lhs: Self, rhs: Self) -> Bool { false }
}
private var _state: State = .start {
didSet { }
}
public private(set) var state: State = .start {
@storageRestrictions(initializes: _state)
init {
_state = newValue
}
get { _state }
set { _state = newValue }
}
// CHECK-LABEL: sil [ossa] @$s14init_accessors4TestCACycfc : $@convention(method) (@owned Test) -> @owned Test
//
// CHECK: [[MU:%.*]] = mark_uninitialized [rootself] %0 : $Test
// CHECK: [[DEFAULT_VALUE_INIT:%.*]] = function_ref @$s14init_accessors4TestC5stateAC5StateOvpfi : $@convention(thin) () -> @out Test.State
// CHECK-NEXT: [[DEFAULT_VALUE_SLOT:%.*]] = alloc_stack $Test.State
// CHECK-NEXT: {{.*}} = apply [[DEFAULT_VALUE_INIT]]([[DEFAULT_VALUE_SLOT]]) : $@convention(thin) () -> @out Test.State
// CHECK-NEXT: [[DEFAULT_VALUE:%.*]] = load [take] [[DEFAULT_VALUE_SLOT]] : $*Test.State
// CHECK: [[NEW_VALUE:%.*]] = alloc_stack $Test.State
// CHECK-NEXT: store [[DEFAULT_VALUE]] to [init] [[NEW_VALUE]] : $*Test.State
// CHECK: assign_or_init [init] #Test.state, self [[MU]] : $Test, value [[NEW_VALUE]] : $*Test.State, init {{.*}} : $@noescape @callee_guaranteed (@in Test.State) -> @out Test.State, set {{.*}} : $@noescape @callee_guaranteed (@in Test.State) -> ()
//
// CHECK: [[START_STATE:%.*]] = enum $Test.State, #Test.State.start!enumelt
// CHECK-NEXT: [[NEW_VALUE:%.*]] = alloc_stack $Test.State
// CHECK-NEXT: store [[START_STATE]] to [trivial] [[NEW_VALUE]] : $*Test.State
// CHECK: assign_or_init [set] #Test.state, self [[MU]] : $Test, value [[NEW_VALUE]] : $*Test.State, init {{.*}} : $@noescape @callee_guaranteed (@in Test.State) -> @out Test.State, set {{.*}} : $@noescape @callee_guaranteed (@in Test.State) -> ()
public init() {
state = .start
}
}
|
