mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
44 lines
1.7 KiB
Swift
44 lines
1.7 KiB
Swift
// RUN: %target-swift-emit-silgen %s | %FileCheck %s
|
|
|
|
// https://github.com/apple/swift/issues/50924
|
|
|
|
func fibonacci(_ n: Int) -> Int {
|
|
var cache: [Int: Int] = [:]
|
|
|
|
func recursive(_ m: Int) -> Int {
|
|
return cache[m] ?? {
|
|
// Make sure cache is only captured once in the closure
|
|
// CHECK: implicit closure #1 in recursive #1
|
|
// CHECK-LABEL: sil private [transparent] [ossa] @{{.*}}9fibonacci{{.*}}9recursive{{.*}} : $@convention(thin) {{.*}} @guaranteed { var Dictionary<Int, Int> }) ->
|
|
// CHECK: closure #1 in implicit closure #1 in recursive #1
|
|
// CHECK-LABEL: sil private [ossa] @{{.*}}9fibonacci{{.*}}9recursive{{.*}} : $@convention(thin) {{.*}} @guaranteed { var Dictionary<Int, Int> }) ->
|
|
let output = m < 2 ? m : recursive(m - 1) + recursive(m - 2)
|
|
cache[m] = output
|
|
return output
|
|
}()
|
|
}
|
|
return recursive(n)
|
|
}
|
|
|
|
class C {
|
|
required init() {}
|
|
func f() {}
|
|
// Make sure that we capture dynamic self type if an explicit self isn't guaranteed
|
|
func returnsSelf() -> Self {
|
|
return { self.f(); return .init() }()
|
|
// CHECK-LABEL: sil private [ossa] @{{.*}}returnsSelf{{.*}} : $@convention(thin) (@guaranteed C) -> @owned C
|
|
}
|
|
|
|
func returnsSelf1() -> Self {
|
|
return { [weak self] in self?.f(); return .init() }()
|
|
// CHECK-LABEL: sil private [ossa] @{{.*}}returnsSelf{{.*}} : $@convention(thin) (@guaranteed { var @sil_weak Optional<C> }, @thick @dynamic_self C.Type) -> @owned C
|
|
}
|
|
|
|
func returnsSelf2() -> Self {
|
|
return { [unowned self] in self.f(); return .init() }()
|
|
// CHECK-LABEL: sil private [ossa] @{{.*}}returnsSelf{{.*}} : $@convention(thin) (@guaranteed @sil_unowned C, @thick @dynamic_self C.Type) -> @owned C
|
|
}
|
|
}
|
|
|
|
|