Skip to content

Commit b705b8f

Browse files
meg-guptameg-gupta
committed
Update tests
1 parent 222ee73 commit b705b8f

File tree

9 files changed

+37
-99
lines changed

9 files changed

+37
-99
lines changed

‎test/Interop/C/swiftify-import/Inputs/counted-by-noescape.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ void lenName(int lenName, int size, int * __counted_by(lenName * size) _Nullable
4444
void func(int len, int * __counted_by(len) _Nullable func __noescape);
4545

4646
void *funcRenameKeyword(int len, int * __counted_by(len) _Nullable func __noescape,
47-
int extension __lifetimebound,
47+
int extension,
4848
int init,
4949
int open,
5050
int var,
@@ -55,7 +55,7 @@ void *funcRenameKeyword(int len, int * __counted_by(len) _Nullable func __noesca
5555
int where) __attribute__((swift_name("funcRenamed(len:func:extension:init:open:var:is:as:in:guard:where:)")));
5656

5757
void *funcRenameKeywordAnonymous(int len, int * __counted_by(len) _Nullable __noescape,
58-
int __lifetimebound,
58+
int,
5959
int,
6060
int,
6161
int,

‎test/Interop/C/swiftify-import/counted-by-noescape.swift

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -38,13 +38,11 @@ import CountedByNoEscapeClang
3838

3939
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
4040
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
41-
// CHECK-NEXT: @_lifetime(borrow extension)
4241
// CHECK-NEXT: @_lifetime(func: copy func)
4342
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func funcRenamed(func: inout MutableSpan<Int32>?, extension: Int32, init: Int32, open: Int32, var: Int32, is: Int32, as: Int32, in: Int32, guard: Int32, where: Int32) -> UnsafeMutableRawPointer!
4443

4544
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
4645
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
47-
// CHECK-NEXT: @_lifetime(borrow _funcRenamedAnon_param2)
4846
// CHECK-NEXT: @_lifetime(_funcRenamedAnon_param1: copy _funcRenamedAnon_param1)
4947
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func funcRenamedAnon(func _funcRenamedAnon_param1: inout MutableSpan<Int32>?, extension _funcRenamedAnon_param2: Int32, init _funcRenamedAnon_param3: Int32, open _funcRenamedAnon_param4: Int32, var _funcRenamedAnon_param5: Int32, is _funcRenamedAnon_param6: Int32, as _funcRenamedAnon_param7: Int32, in _funcRenamedAnon_param8: Int32, guard _funcRenamedAnon_param9: Int32, where _funcRenamedAnon_param10: Int32) -> UnsafeMutableRawPointer!
5048

‎test/Macros/SwiftifyImport/CountedBy/ConstantCount.swift

Lines changed: 16 additions & 62 deletions
Original file line numberDiff line numberDiff line change
@@ -41,16 +41,16 @@ func mutReturn() -> UnsafeMutablePointer<CInt> {}
4141
func mutOptReturn() -> UnsafeMutablePointer<CInt>? {}
4242

4343

44-
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"), .lifetimeDependence(dependsOn: .param(1), pointer: .return, type: .copy))
44+
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"))
4545
func noescape(_ ptr: UnsafePointer<CInt>) -> UnsafePointer<CInt> {}
4646

47-
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"), .lifetimeDependence(dependsOn: .param(1), pointer: .return, type: .copy))
47+
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"))
4848
func noescapeOpt(_ ptr: UnsafePointer<CInt>?) -> UnsafePointer<CInt>? {}
4949

50-
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"), .lifetimeDependence(dependsOn: .param(1), pointer: .return, type: .copy))
50+
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"))
5151
func noescapeMut(_ ptr: UnsafeMutablePointer<CInt>) -> UnsafeMutablePointer<CInt> {}
5252

53-
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"), .lifetimeDependence(dependsOn: .param(1), pointer: .return, type: .copy))
53+
@_SwiftifyImport(.countedBy(pointer: .param(1), count: "37"))
5454
func noescapeMutOpt(_ ptr: UnsafeMutablePointer<CInt>?) -> UnsafeMutablePointer<CInt>? {}
5555

5656
// CHECK: @_alwaysEmitIntoClient @_disfavoredOverload
@@ -100,15 +100,13 @@ func noescapeMutOpt(_ ptr: UnsafeMutablePointer<CInt>?) -> UnsafeMutablePointer<
100100
// CHECK-NEXT: }
101101
// CHECK-NEXT: }
102102

103-
// CHECK: @_alwaysEmitIntoClient @_lifetime(copy ptr) @_disfavoredOverload
104-
// CHECK-NEXT: func noescape(_ ptr: Span<CInt>) -> UnsafePointer<CInt> {
105-
// CHECK-NEXT: let _ptrCount = ptr.count
103+
// CHECK: @_alwaysEmitIntoClient @_disfavoredOverload
104+
// CHECK-NEXT: func noescape(_ ptr: UnsafeBufferPointer<CInt>) -> UnsafePointer<CInt> {
105+
// CHECK-NEXT: let _ptrCount = unsafe ptr.count
106106
// CHECK-NEXT: if _ptrCount != 37 {
107107
// CHECK-NEXT: fatalError("bounds check failure in noescape: expected \(37) but got \(_ptrCount)")
108108
// CHECK-NEXT: }
109-
// CHECK-NEXT: return unsafe ptr.withUnsafeBufferPointer { _ptrPtr in
110-
// CHECK-NEXT: return unsafe noescape(_ptrPtr.baseAddress!)
111-
// CHECK-NEXT: }
109+
// CHECK-NEXT: return unsafe noescape(ptr.baseAddress!)
112110
// CHECK-NEXT: }
113111

114112
// CHECK: @_alwaysEmitIntoClient @_disfavoredOverload
@@ -128,23 +126,6 @@ func noescapeMutOpt(_ ptr: UnsafeMutablePointer<CInt>?) -> UnsafeMutablePointer<
128126
// CHECK-NEXT: }()
129127
// CHECK-NEXT: }
130128

131-
// CHECK: @_alwaysEmitIntoClient @_lifetime(copy ptr) @_disfavoredOverload
132-
// CHECK-NEXT: func noescapeOpt(_ ptr: Span<CInt>?) -> UnsafePointer<CInt>? {
133-
// CHECK-NEXT: let _ptrCount = ptr?.count ?? 0
134-
// CHECK-NEXT: if _ptrCount != 37 {
135-
// CHECK-NEXT: fatalError("bounds check failure in noescapeOpt: expected \(37) but got \(_ptrCount)")
136-
// CHECK-NEXT: }
137-
// CHECK-NEXT: return { () in
138-
// CHECK-NEXT: return if ptr == nil {
139-
// CHECK-NEXT: unsafe noescapeOpt(nil)
140-
// CHECK-NEXT: } else {
141-
// CHECK-NEXT: unsafe ptr!.withUnsafeBufferPointer { _ptrPtr in
142-
// CHECK-NEXT: return unsafe noescapeOpt(_ptrPtr.baseAddress)
143-
// CHECK-NEXT: }
144-
// CHECK-NEXT: }
145-
// CHECK-NEXT: }()
146-
// CHECK-NEXT: }
147-
148129
// CHECK: @_alwaysEmitIntoClient @_lifetime(ptr: copy ptr) @_disfavoredOverload
149130
// CHECK-NEXT: func noescapeMut(_ ptr: inout MutableSpan<CInt>) {
150131
// CHECK-NEXT: let _ptrCount = ptr.count
@@ -156,49 +137,22 @@ func noescapeMutOpt(_ ptr: UnsafeMutablePointer<CInt>?) -> UnsafeMutablePointer<
156137
// CHECK-NEXT: }
157138
// CHECK-NEXT: }
158139

159-
// CHECK: @_alwaysEmitIntoClient @_lifetime(copy ptr) @_lifetime(ptr: copy ptr) @_disfavoredOverload
160-
// CHECK-NEXT: func noescapeMut(_ ptr: inout MutableSpan<CInt>) -> UnsafeMutablePointer<CInt> {
161-
// CHECK-NEXT: let _ptrCount = ptr.count
140+
// CHECK: @_alwaysEmitIntoClient @_disfavoredOverload
141+
// CHECK-NEXT: func noescapeMut(_ ptr: UnsafeMutableBufferPointer<CInt>) -> UnsafeMutablePointer<CInt> {
142+
// CHECK-NEXT: let _ptrCount = unsafe ptr.count
162143
// CHECK-NEXT: if _ptrCount != 37 {
163144
// CHECK-NEXT: fatalError("bounds check failure in noescapeMut: expected \(37) but got \(_ptrCount)")
164145
// CHECK-NEXT: }
165-
// CHECK-NEXT: return unsafe ptr.withUnsafeMutableBufferPointer { _ptrPtr in
166-
// CHECK-NEXT: return unsafe noescapeMut(_ptrPtr.baseAddress!)
167-
// CHECK-NEXT: }
168-
// CHECK-NEXT: }
169-
170-
// CHECK: @_alwaysEmitIntoClient @_lifetime(ptr: copy ptr) @_disfavoredOverload
171-
// CHECK-NEXT: func noescapeMutOpt(_ ptr: inout MutableSpan<CInt>?) {
172-
// CHECK-NEXT: let _ptrCount = ptr?.count ?? 0
173-
// CHECK-NEXT: if _ptrCount != 37 {
174-
// CHECK-NEXT: fatalError("bounds check failure in noescapeMutOpt: expected \(37) but got \(_ptrCount)")
175-
// CHECK-NEXT: }
176-
// CHECK-NEXT: return { () in
177-
// CHECK-NEXT: return if ptr == nil {
178-
// CHECK-NEXT: unsafe noescapeMutOpt(nil)
179-
// CHECK-NEXT: } else {
180-
// CHECK-NEXT: unsafe ptr!.withUnsafeMutableBufferPointer { _ptrPtr in
181-
// CHECK-NEXT: return unsafe noescapeMutOpt(_ptrPtr.baseAddress)
182-
// CHECK-NEXT: }
183-
// CHECK-NEXT: }
184-
// CHECK-NEXT: }()
146+
// CHECK-NEXT: return unsafe noescapeMut(ptr.baseAddress!)
185147
// CHECK-NEXT: }
186148

187-
// CHECK: @_alwaysEmitIntoClient @_lifetime(copy ptr) @_lifetime(ptr: copy ptr) @_disfavoredOverload
188-
// CHECK-NEXT: func noescapeMutOpt(_ ptr: inout MutableSpan<CInt>?) -> UnsafeMutablePointer<CInt>? {
189-
// CHECK-NEXT: let _ptrCount = ptr?.count ?? 0
149+
// CHECK: @_alwaysEmitIntoClient @_disfavoredOverload
150+
// CHECK-NEXT: func noescapeMutOpt(_ ptr: UnsafeMutableBufferPointer<CInt>?) -> UnsafeMutablePointer<CInt>? {
151+
// CHECK-NEXT: let _ptrCount = unsafe ptr?.count ?? 0
190152
// CHECK-NEXT: if _ptrCount != 37 {
191153
// CHECK-NEXT: fatalError("bounds check failure in noescapeMutOpt: expected \(37) but got \(_ptrCount)")
192154
// CHECK-NEXT: }
193-
// CHECK-NEXT: return { () in
194-
// CHECK-NEXT: return if ptr == nil {
195-
// CHECK-NEXT: unsafe noescapeMutOpt(nil)
196-
// CHECK-NEXT: } else {
197-
// CHECK-NEXT: unsafe ptr!.withUnsafeMutableBufferPointer { _ptrPtr in
198-
// CHECK-NEXT: return unsafe noescapeMutOpt(_ptrPtr.baseAddress)
199-
// CHECK-NEXT: }
200-
// CHECK-NEXT: }
201-
// CHECK-NEXT: }()
155+
// CHECK-NEXT: return unsafe noescapeMutOpt(ptr?.baseAddress)
202156
// CHECK-NEXT: }
203157

204158
// CHECK: @_alwaysEmitIntoClient @_disfavoredOverload

‎test/SILOptimizer/Inputs/SpanExtras.swift

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -240,12 +240,11 @@ extension MutableSpan where Element: ~Copyable {
240240
/// - Complexity: O(1)
241241
@_alwaysEmitIntoClient
242242
public subscript(_ position: Index) -> Element {
243-
@_lifetime(borrow self)
244243
_read {
245244
precondition(indices.contains(position), "index out of bounds")
246245
yield self[unchecked: position]
247246
}
248-
@_lifetime(&self)
247+
@_lifetime(self: copy self)
249248
_modify {
250249
precondition(indices.contains(position), "index out of bounds")
251250
yield &self[unchecked: position]

‎test/SILOptimizer/lifetime_dependence/semantics.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -627,7 +627,6 @@ func test(arg: inout AddressableInt) -> Span<Int> {
627627
}
628628

629629
// unsafeAddress generates an addressable value with a local scope.
630-
@_lifetime(borrow arg)
631630
func testBorrowedAddressableInt(arg: Holder) -> Int {
632631
let span = arg.addressableInt.span()
633632
return span[0]

‎test/SILOptimizer/lifetime_dependence/verify_diagnostics.swift

Lines changed: 1 addition & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -169,7 +169,7 @@ public struct NoncopyableImplicitAccessors : ~Copyable & ~Escapable {
169169
@_lifetime(borrow self)
170170
get { ne }
171171

172-
@_lifetime(&self)
172+
@_lifetime(self: copy newValue)
173173
set {
174174
ne = newValue
175175
}
@@ -315,14 +315,3 @@ func inoutToImmortal(_ s: inout RawSpan) {
315315
s = _overrideLifetime(tmp, borrowing: ())
316316
}
317317

318-
// =============================================================================
319-
// Dependence on non-Copyable values
320-
// =============================================================================
321-
322-
@_lifetime(immortal)
323-
func dependOnNonCopyable() -> NCBuffer {
324-
let buffer = NCBuffer()
325-
let count = buffer.bytes.count
326-
_ = count
327-
return buffer // expected-error {{noncopyable 'buffer' cannot be consumed when captured by an escaping closure or borrowed by a non-Escapable type}}
328-
}

‎test/SILOptimizer/lifetime_dependence/verify_library_diagnostics.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ public struct NoncopyableImplicitAccessors : ~Copyable & ~Escapable {
5050
@_lifetime(borrow self)
5151
get { ne }
5252

53-
@_lifetime(&self)
53+
@_lifetime(self: copy newValue)
5454
set {
5555
ne = newValue
5656
}

‎test/Sema/lifetime_depend_infer.swift

Lines changed: 8 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -331,7 +331,6 @@ struct TrivialAccessors {
331331
NEImmortal()
332332
}
333333

334-
@_lifetime(&self)
335334
set { // OK (no dependency)
336335
}
337336
}
@@ -385,7 +384,7 @@ struct NonescapableSelfAccessors: ~Escapable {
385384
ne
386385
}
387386
388-
@_lifetime(self) // expected-error{{cannot infer the lifetime dependence scope on a mutating method with a ~Escapable parameter, specify '@_lifetime(borrow self)' or '@_lifetime(copy self)'}}
387+
@_lifetime(self: newValue) // expected-error{{cannot infer the lifetime dependence scope on a mutating method with a ~Escapable parameter, specify '@_lifetime(borrow newValue)' or '@_lifetime(copy newValue)'}}
389388
set {
390389
ne = newValue
391390
}
@@ -409,7 +408,7 @@ struct NonescapableSelfAccessors: ~Escapable {
409408
ne
410409
}
411410
412-
@_lifetime(copy self)
411+
@_lifetime(self: copy newValue)
413412
set {
414413
ne = newValue
415414
}
@@ -433,7 +432,7 @@ struct NonescapableSelfAccessors: ~Escapable {
433432
ne
434433
}
435434
436-
@_lifetime(&self)
435+
@_lifetime(self: borrow newValue)
437436
set {
438437
ne = newValue
439438
}
@@ -482,7 +481,7 @@ struct NoncopyableSelfAccessors: ~Copyable & ~Escapable {
482481
ne
483482
}
484483
485-
@_lifetime(self) // expected-error{{cannot infer the lifetime dependence scope on a mutating method with a ~Escapable parameter, specify '@_lifetime(borrow self)' or '@_lifetime(copy self)'}}
484+
@_lifetime(self: newValue) // expected-error{{cannot infer the lifetime dependence scope on a mutating method with a ~Escapable parameter, specify '@_lifetime(borrow newValue)' or '@_lifetime(copy newValue)'}}
486485
set {
487486
ne = newValue
488487
}
@@ -506,7 +505,7 @@ struct NoncopyableSelfAccessors: ~Copyable & ~Escapable {
506505
ne
507506
}
508507
509-
@_lifetime(copy self)
508+
@_lifetime(self: copy newValue)
510509
set {
511510
ne = newValue
512511
}
@@ -530,7 +529,7 @@ struct NoncopyableSelfAccessors: ~Copyable & ~Escapable {
530529
ne
531530
}
532531
533-
@_lifetime(&self)
532+
@_lifetime(self: copy newValue)
534533
set {
535534
ne = newValue
536535
}
@@ -574,10 +573,10 @@ struct NonEscapableMutableSelf: ~Escapable {
574573
@_lifetime(self: self) // expected-error{{cannot infer the lifetime dependence scope on a mutating method with a ~Escapable parameter, specify '@_lifetime(borrow self)' or '@_lifetime(copy self)'}}
575574
mutating func mutatingMethodOneParamLifetime(_: NE) {}
576575
577-
@_lifetime(copy self) // OK
576+
@_lifetime(self: copy self) // OK
578577
mutating func mutatingMethodOneParamCopy(_: NE) {}
579578
580-
@_lifetime(&self)
579+
@_lifetime(self: copy self) // OK
581580
mutating func mutatingMethodOneParamBorrow(_: NE) {}
582581
}
583582

‎test/Sema/lifetime_depend_infer_lazy.swift

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -266,7 +266,7 @@ struct NonescapableSelfAccessors: ~Escapable {
266266
ne
267267
}
268268

269-
@_lifetime(self) // OK
269+
@_lifetime(self: newValue) // OK
270270
set {
271271
ne = newValue
272272
}
@@ -290,7 +290,7 @@ struct NonescapableSelfAccessors: ~Escapable {
290290
ne
291291
}
292292

293-
@_lifetime(copy self)
293+
@_lifetime(self: copy newValue)
294294
set {
295295
ne = newValue
296296
}
@@ -314,7 +314,7 @@ struct NonescapableSelfAccessors: ~Escapable {
314314
ne
315315
}
316316

317-
@_lifetime(&self)
317+
@_lifetime(self: borrow newValue)
318318
set {
319319
ne = newValue
320320
}
@@ -363,7 +363,7 @@ struct NoncopyableSelfAccessors: ~Copyable & ~Escapable {
363363
ne
364364
}
365365

366-
@_lifetime(self) // OK
366+
@_lifetime(self: newValue) // OK
367367
set {
368368
ne = newValue
369369
}
@@ -387,7 +387,7 @@ struct NoncopyableSelfAccessors: ~Copyable & ~Escapable {
387387
ne
388388
}
389389

390-
@_lifetime(copy self)
390+
@_lifetime(self: copy self)
391391
set {
392392
ne = newValue
393393
}
@@ -411,7 +411,7 @@ struct NoncopyableSelfAccessors: ~Copyable & ~Escapable {
411411
ne
412412
}
413413

414-
@_lifetime(&self)
414+
@_lifetime(self: borrow newValue)
415415
set {
416416
ne = newValue
417417
}
@@ -446,9 +446,9 @@ struct NonEscapableMutableSelf: ~Escapable {
446446
@_lifetime(self: self) // OK
447447
mutating func mutatingMethodOneParamLifetime(_: NE) {}
448448

449-
@_lifetime(copy self) // OK
449+
@_lifetime(self: copy self) // OK
450450
mutating func mutatingMethodOneParamCopy(_: NE) {}
451451

452-
@_lifetime(&self)
452+
@_lifetime(self: copy self) // OK
453453
mutating func mutatingMethodOneParamBorrow(_: NE) {}
454454
}

0 commit comments

Comments
 (0)