mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
72 lines
2.7 KiB
Swift
72 lines
2.7 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module -o %t %S/Inputs/def_implicit_lifetime_dependence.swift \
|
|
// RUN: -enable-experimental-feature Lifetimes \
|
|
// RUN: -disable-lifetime-dependence-diagnostics
|
|
|
|
// RUN: llvm-bcanalyzer %t/def_implicit_lifetime_dependence.swiftmodule
|
|
|
|
// RUN: %target-swift-frontend -module-name lifetime-dependence -emit-sil -I %t %s \
|
|
// RUN: -enable-experimental-feature Lifetimes \
|
|
// RUN: | %FileCheck %s
|
|
|
|
// REQUIRES: swift_feature_Lifetimes
|
|
|
|
import def_implicit_lifetime_dependence
|
|
|
|
func use(_ x: borrowing BufferView) {}
|
|
func mutate(_ x: inout BufferView) {}
|
|
|
|
func testBasic() {
|
|
let a = [Int](repeating: 0, count: 4)
|
|
a.withUnsafeBytes {
|
|
let view = BufferView($0, a.count)
|
|
let derivedView = derive(view)
|
|
let consumedView = consumeAndCreate(derivedView)
|
|
let borrowedView = borrowAndCreate(consumedView)
|
|
use(borrowedView)
|
|
}
|
|
}
|
|
|
|
func testInitializers() {
|
|
let a = [Int](repeating: 0, count: 4)
|
|
a.withUnsafeBytes {
|
|
let view1 = BufferView($0, a.count)
|
|
let view2 = BufferView(view1)
|
|
let view3 = BufferView(view2)
|
|
use(view3)
|
|
}
|
|
}
|
|
|
|
func unsafetest(_ ptr: UnsafeRawBufferPointer, _ c: Int) {
|
|
let view1 = BufferView(ptr, c)
|
|
let view2 = BufferView(view1)
|
|
let view3 = BufferView(view2)
|
|
use(view3)
|
|
}
|
|
|
|
func testGetter() {
|
|
let a = [Int](repeating: 0, count: 4)
|
|
a.withUnsafeBytes {
|
|
let c = Container($0, a.count)
|
|
let view = c.view
|
|
use(view)
|
|
}
|
|
}
|
|
|
|
func testReadMutateAccessors() {
|
|
let a = [Int](repeating: 0, count: 4)
|
|
a.withUnsafeBytes {
|
|
let view = BufferView($0, a.count)
|
|
var c = Wrapper(view)
|
|
use(c.view)
|
|
mutate(&c.view)
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil @$s32def_implicit_lifetime_dependence10BufferViewVyACSW_SitcfC : $@convention(method) (UnsafeRawBufferPointer, Int, @thin BufferView.Type) -> @lifetime(borrow 0) @owned BufferView
|
|
// CHECK-LABEL: sil @$s32def_implicit_lifetime_dependence6deriveyAA10BufferViewVADF : $@convention(thin) (@guaranteed BufferView) -> @lifetime(copy 0) @owned BufferView
|
|
// CHECK-LABEL: sil @$s32def_implicit_lifetime_dependence16consumeAndCreateyAA10BufferViewVADnF : $@convention(thin) (@owned BufferView) -> @lifetime(copy 0) @owned BufferView
|
|
// CHECK-LABEL: sil @$s32def_implicit_lifetime_dependence15borrowAndCreateyAA10BufferViewVADF : $@convention(thin) (@guaranteed BufferView) -> @lifetime(copy 0) @owned BufferView
|
|
// CHECK-LABEL: sil @$s32def_implicit_lifetime_dependence9ContainerV4viewAA10BufferViewVvg : $@convention(method) (@guaranteed Container) -> @lifetime(borrow 0) @owned BufferView
|
|
// CHECK-LABEL: sil @$s32def_implicit_lifetime_dependence7WrapperV4viewAA10BufferViewVvr : $@yield_once @convention(method) (@guaranteed Wrapper) -> @lifetime(copy 0) @yields @guaranteed BufferView
|