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-run-simple-swift | %FileCheck %s
// RUN: %target-run-simple-swift(-O -Xfrontend -sil-verify-all) | %FileCheck %s
// REQUIRES: executable_test
@_moveOnly
struct MO {
var value: Int
func use() {}
deinit { print("destroying \(value)") }
}
var closure: () -> () = {}
var counter = 42
func foo(goUp: Bool) {
let mo: MO
if goUp {
counter += 1
mo = MO(value: counter)
} else {
counter -= 1
mo = MO(value: counter)
}
mo.use()
closure = { print("captured \(mo.value)") }
}
// CHECK: starting
print("starting")
// CHECK-NEXT: captured 43
foo(goUp: true)
closure()
// CHECK-NEXT: destroying 43
// CHECK-NEXT: captured 44
foo(goUp: true)
closure()
// CHECK-NEXT: destroying 44
// CHECK-NEXT: captured 43
foo(goUp: false)
closure()
// CHECK-NEXT: destroying 43
closure = {}
// CHECK-NEXT: starting bar
print("starting bar")
func bar() {
var y: MO
y = MO(value: 17)
// CHECK-NEXT: destroying 17
y = MO(value: 38)
closure = { y = MO(value: 679) }
y.use()
}
bar()
// CHECK-NEXT: destroying 38
closure()
// CHECK-NEXT: done with bar
print("done with bar")
// CHECK-NEXT: destroying 679
closure = {}
// CHECK-NEXT: done
print("done")
|
