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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
// RUN: %target-run-simple-swift(-parse-as-library -Xfrontend -sil-verify-all) | %FileCheck %s
// RUN: %target-run-simple-swift(-parse-as-library -O -Xfrontend -sil-verify-all) | %FileCheck %s
// REQUIRES: executable_test
@main struct App { static func main() {
test1()
}}
func barrier() { print("barrier") }
struct Ur : ~Copyable {
var name: String
init(named name: String) {
self.name = name
print("hi", name)
}
deinit {
print("bye", name)
}
}
func take(_ u: consuming Ur) {}
struct Pair : ~Copyable {
var u1: Ur
var u2: Ur
init(named name: String) {
u1 = .init(named: "\(name).u1")
u2 = .init(named: "\(name).u2")
}
}
func take(_ u: consuming Pair) {}
struct Quad : ~Copyable {
var p1: Pair
var p2: Pair
init(named name: String) {
p1 = .init(named: "\(name).p1")
p2 = .init(named: "\(name).p2")
}
}
func take(_ u: consuming Quad) {}
func test1() {
do {
let q1 = Quad(named: "\(#function).q1")
barrier()
// CHECK: barrier
// CHECK: bye test1().q1.p1.u1
// CHECK: bye test1().q1.p1.u2
// CHECK: bye test1().q1.p2.u1
// CHECK: bye test1().q1.p2.u2
}
let q2 = Quad(named: "\(#function).q2")
take(q2.p2.u2)
take(q2.p2.u1)
barrier()
take(q2.p1.u2)
take(q2.p1.u1)
// CHECK: bye test1().q2.p2.u2
// CHECK: bye test1().q2.p2.u1
// CHECK: barrier
// CHECK: bye test1().q2.p1.u2
// CHECK: bye test1().q2.p1.u1
let q3 = Quad(named: "\(#function).q3")
_ = consume q3.p2.u2
_ = consume q3.p2.u1
_ = consume q3.p1.u2
barrier()
_ = consume q3.p1.u1
// CHECK: bye test1().q3.p2.u2
// CHECK: bye test1().q3.p2.u1
// CHECK: bye test1().q3.p1.u2
// CHECK: barrier
// CHECK: bye test1().q3.p1.u1
let q4 = Quad(named: "\(#function).q4")
_ = consume q4.p1.u1
barrier()
_ = consume q4.p2.u1
_ = consume q4.p1.u2
_ = consume q4.p2.u2
// CHECK: bye test1().q4.p1.u1
// CHECK: barrier
// CHECK: bye test1().q4.p2.u1
// CHECK: bye test1().q4.p1.u2
// CHECK: bye test1().q4.p2.u2
do {
let q5 = Quad(named: "\(#function).q5")
take(q5.p1.u1)
_ = consume q5.p2.u1
_ = consume q5.p1.u2
take(q5.p2.u2)
// CHECK: bye test1().q5.p1.u1
// CHECK: bye test1().q5.p2.u1
// CHECK: bye test1().q5.p1.u2
// CHECK: bye test1().q5.p2.u2
}
do {
let q6 = Quad(named: "\(#function).q6")
if Bool.random() {
take(q6.p1.u1)
_ = consume q6.p2.u1
} else {
_ = consume q6.p1.u2
take(q6.p2.u2)
}
}
}
|
