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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
|
// RUN: %target-swift-frontend %s -emit-sil -o /dev/null -verify \
// RUN: -enable-experimental-feature NonescapableTypes
// REQUIRES: asserts
// REQUIRES: swift_in_compiler
struct NCContainer : ~Copyable {
let ptr: UnsafeRawBufferPointer
let c: Int
init(_ ptr: UnsafeRawBufferPointer, _ c: Int) {
self.ptr = ptr
self.c = c
}
}
struct View : ~Escapable {
let ptr: UnsafeRawBufferPointer
let c: Int
@_unsafeNonescapableResult
init(_ ptr: UnsafeRawBufferPointer, _ c: Int) {
self.ptr = ptr
self.c = c
}
init(_ otherBV: borrowing View) {
self.ptr = otherBV.ptr
self.c = otherBV.c
}
init(_ k: borrowing NCContainer) {
self.ptr = k.ptr
self.c = k.c
}
init(_ k: consuming View) {
self.ptr = k.ptr
self.c = k.c
}
}
struct MutableView : ~Copyable, ~Escapable {
let ptr: UnsafeRawBufferPointer
let c: Int
@_unsafeNonescapableResult
init(_ ptr: UnsafeRawBufferPointer, _ c: Int) {
self.ptr = ptr
self.c = c
}
init(_ otherBV: borrowing View) {
self.ptr = otherBV.ptr
self.c = otherBV.c
}
init(_ k: borrowing NCContainer) {
self.ptr = k.ptr
self.c = k.c
}
}
func use(_ o : borrowing View) {}
func mutate(_ x: inout NCContainer) { }
func mutate(_ x: inout View) { }
func consume(_ o : consuming View) {}
func use(_ o : borrowing MutableView) {}
func consume(_ o : consuming MutableView) {}
func getConsumingView(_ x: consuming View) -> dependsOn(x) View {
return View(x.ptr, x.c)
}
func getBorrowingView(_ x: borrowing View) -> dependsOn(x) View {
return View(x.ptr, x.c)
}
func getBorrowingView(_ x: borrowing NCContainer) -> dependsOn(x) View {
return View(x.ptr, x.c)
}
func test1(_ a: Array<Int>) {
a.withUnsafeBytes {
var x = View($0, a.count)
mutate(&x)
let view = getConsumingView(x)
let newView = View(view)
use(newView)
consume(view)
}
}
// CHECK-LABEL: sil private @$s31lifetime_dependence_scope_fixup5test2yySaySiGFySWXEfU_ : $@convention(thin) @substituted <τ_0_0> (UnsafeRawBufferPointer) -> (@out τ_0_0, @error any Error) for <()> {
// CHECK: [[CONT:%.*]] = alloc_stack [lexical] $NCContainer, var, name "x"
// CHECK: [[BA:%.*]] = begin_access [read] [static] [[CONT]] : $*NCContainer
// CHECK: [[LD:%.*]] = load [[CONT]] : $*NCContainer
// CHECK: [[FUNC:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup16getBorrowingViewyAA0G0VAA11NCContainerVYlsF : $@convention(thin) (@guaranteed NCContainer) -> _scope(1) @owned View
// CHECK: [[VIEW:%.*]] = apply [[FUNC]]([[LD]]) : $@convention(thin) (@guaranteed NCContainer) -> _scope(1) @owned View
// CHECK: [[MDI:%.*]] = mark_dependence [nonescaping] [[VIEW]] : $View on [[BA]] : $*NCContainer
// CHECK: [[USE:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup3useyyAA4ViewVF : $@convention(thin) (@guaranteed View) -> ()
// CHECK: apply [[USE]]([[MDI]]) : $@convention(thin) (@guaranteed View) -> ()
// CHECK: [[CONSUME:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup7consumeyyAA4ViewVnF : $@convention(thin) (@owned View) -> ()
// CHECK: apply [[CONSUME]]([[VIEW]]) : $@convention(thin) (@owned View) -> ()
// CHECK: end_access [[BA]] : $*NCContainer
// CHECK-LABEL: } // end sil function '$s31lifetime_dependence_scope_fixup5test2yySaySiGFySWXEfU_'
func test2(_ a: Array<Int>) {
a.withUnsafeBytes {
var x = NCContainer($0, a.count)
mutate(&x)
let view = getBorrowingView(x)
use(view)
consume(view)
}
}
func test3(_ a: Array<Int>) {
a.withUnsafeBytes {
var x = View($0, a.count)
mutate(&x)
let view = getConsumingView(x)
use(view)
consume(view)
}
}
func test4(_ a: Array<Int>) {
a.withUnsafeBytes {
var x = NCContainer($0, a.count)
mutate(&x)
let view = MutableView(x)
use(view)
consume(view)
}
}
func test5(_ a: Array<Int>) {
a.withUnsafeBytes {
let x = View($0, a.count)
let view = getBorrowingView(x)
let anotherView = getConsumingView(view)
use(anotherView)
}
}
// rdar://124651399
// XFAIL: *
func test6(_ a: Array<Int>) {
var p : View? // error: type 'View' does not conform to protocol 'Escapable'
a.withUnsafeBytes {
var x = NCContainer($0, a.count)
mutate(&x)
let view = View(x)
p = view
}
use(p!)
}
// CHECK-LABEL: sil hidden @$s31lifetime_dependence_scope_fixup5test7yySWF : $@convention(thin) (UnsafeRawBufferPointer) -> () {
// CHECK: [[CONT:%.*]] = alloc_stack $NEContainer, var, name "x"
// CHECK: [[BA:%.*]] = begin_access [read] [static] [[CONT]] : $*NEContainer
// CHECK: [[LD:%.*]] = load [[BA]] : $*NEContainer
// CHECK: [[FUNC:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup16getBorrowingViewyAA0G0VAA11NEContainerVYlsF : $@convention(thin) (@guaranteed NEContainer) -> _scope(1) @owned View
// CHECK: [[VIEW:%.*]] = apply [[FUNC]]([[LD]]) : $@convention(thin) (@guaranteed NEContainer) -> _scope(1) @owned View
// CHECK: [[MDI:%.*]] = mark_dependence [nonescaping] [[VIEW]] : $View on [[BA]] : $*NEContainer
// CHECK: [[USE:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup3useyyAA4ViewVF : $@convention(thin) (@guaranteed View) -> ()
// CHECK: apply [[USE]]([[MDI]]) : $@convention(thin) (@guaranteed View) -> ()
// CHECK: release_value [[MDI]] : $View
// CHECK: end_access [[BA]] : $*NEContainer
// CHECK-LABEL: } // end sil function '$s31lifetime_dependence_scope_fixup5test7yySWF'
func test7(_ a: UnsafeRawBufferPointer) {
var x = View(a, a.count)
do {
let view = getBorrowingView(x)
use(view)
}
mutate(&x)
}
// Currently fails because the lifetime dependence util isn't analyzing a
// def-use chain involving a stack temporary
func test8(_ a: Array<Int>) {
a.withUnsafeBytes {
var x = View($0, a.count)
mutate(&x)
let view = MutableView(x)
use(view)
consume(view)
}
}
struct Wrapper : ~Escapable {
var _view: View
var view: View {
_read {
yield _view
}
_modify {
yield &_view
}
}
init(_ view: consuming View) {
self._view = view
}
}
func test9() {
let a = [Int](repeating: 0, count: 4)
a.withUnsafeBytes {
let view = View($0, a.count)
var c = Wrapper(view)
use(c.view)
mutate(&c.view)
}
}
func getViewTuple(_ x: borrowing View) -> (View, View) {
return (View(x.ptr, x.c), View(x.ptr, x.c))
}
public func test10() {
let a = [Int](repeating: 0, count: 4)
a.withUnsafeBytes {
var x = View($0, a.count)
mutate(&x)
let view = getBorrowingView(x)
let tuple = getViewTuple(view)
use(tuple.0)
use(tuple.1)
}
}
|
