mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
5d631990bb
We want these to be contextualized as part of their implicit getter, avoid attempting to contextualize as part of the PatternBindingDecl. This avoid incorrectly computing captures as part of the PatternBindingDecl; as such we also need to update ActorIsolationChecker to walk lazy inits as part of the accessor.
51 lines
2.3 KiB
Swift
51 lines
2.3 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-silgen %s -module-name main -experimental-skip-non-inlinable-function-bodies | %FileCheck %s
|
|
// RUN: %target-swift-frontend -emit-silgen %s -module-name main -experimental-skip-non-inlinable-function-bodies-without-types | %FileCheck %s
|
|
// RUN: %target-swift-frontend -emit-silgen %s -module-name main -import-objc-header %S/Inputs/open_enum.h -debug-forbid-typecheck-prefix SKIP_ALL_NO_TYPECHECK -experimental-skip-all-function-bodies | %FileCheck %s --check-prefix=CHECK-SKIP-ALL
|
|
|
|
// CHECK-SKIP-ALL: sil_stage raw
|
|
// CHECK-SKIP-ALL-NOT: sil
|
|
|
|
public protocol P {
|
|
@_borrowed var borrowedVar: Int { get }
|
|
}
|
|
|
|
func generateNumber() -> Int { return 1 }
|
|
|
|
public struct S {
|
|
public var borrowedVar: Int
|
|
|
|
public lazy var lazyVar: Int = generateNumber()
|
|
|
|
// CHECK: sil [transparent] [serialized]{{.*}} @$s4main1SV7lazyVarSivM : $@yield_once @convention(method) (@inout S) -> @yields @inout Int
|
|
// CHECK: end sil function '$s4main1SV7lazyVarSivM'
|
|
|
|
// CHECK: sil [lazy_getter]{{.*}} @$s4main1SV7lazyVarSivg : $@convention(method) (@inout S) -> Int
|
|
// CHECK-NOT: end sil function '$s4main1SV7lazyVarSivg'
|
|
|
|
// CHECK: sil{{.*}} @$s4main1SV7lazyVarSivs : $@convention(method) (Int, @inout S) -> ()
|
|
// CHECK-NOT: end sil function '$s4main1SV7lazyVarSivs'
|
|
|
|
// CHECK: sil [transparent]{{.*}} @$s4main1SV018$__lazy_storage_$_B3Var33_39316373847D37F82BD23977A13DEF23LLSiSgvpfi : $@convention(thin) () -> Optional<Int>
|
|
// CHECK: end sil function '$s4main1SV018$__lazy_storage_$_B3Var33_39316373847D37F82BD23977A13DEF23LLSiSgvpfi'
|
|
|
|
}
|
|
|
|
/// Since `borrowedVar` implements a `@_borrowed` requirement of `P` the synthesized
|
|
/// `_read` accessor has forced static dispatch and is a serialized function
|
|
/// even though it is not `@_transparent`.
|
|
extension S: P {}
|
|
|
|
// CHECK: sil shared [serialized]{{.*}} @$s4main1SV11borrowedVarSivr : $@yield_once @convention(method) (S) -> @yields Int {
|
|
// CHECK: yield
|
|
// CHECK: } // end sil function '$s4main1SV11borrowedVarSivr'
|
|
|
|
// We type-check this function since it has a nested type, but we don't
|
|
// type-check the implicit lazy getter for 'x'. As such, the nested autoclosure
|
|
// won't have captures computed. Make sure we don't attempt to query the
|
|
// captures.
|
|
func testAutoclosureInLazyVar(_ y: Int?) {
|
|
struct R {}
|
|
lazy var x = y ?? 0
|
|
}
|