mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
106 lines
4.1 KiB
Swift
106 lines
4.1 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -module-name weak -Xllvm -sil-full-demangle %s | %FileCheck %s
|
|
|
|
class C {
|
|
func f() -> Int { return 42 }
|
|
}
|
|
|
|
func takeClosure(fn: @escaping () -> Int) {}
|
|
|
|
struct A {
|
|
weak var x: C?
|
|
}
|
|
|
|
// CHECK: sil hidden [ossa] @$s4weak5test01cyAA1CC_tF : $@convention(thin) (@guaranteed C) -> () {
|
|
func test0(c c: C) {
|
|
var c = c
|
|
// CHECK: bb0(%0 : @guaranteed $C):
|
|
// CHECK: [[C:%.*]] = alloc_box ${ var C }
|
|
// CHECK: [[C_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[C]]
|
|
// CHECK-NEXT: [[PBC:%.*]] = project_box [[C_LIFETIME]]
|
|
|
|
var a: A
|
|
// CHECK: [[A1:%.*]] = alloc_box ${ var A }
|
|
// CHECK: [[MARKED_A1:%.*]] = mark_uninitialized [var] [[A1]]
|
|
// CHECK: [[A1_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MARKED_A1]]
|
|
// CHECK-NEXT: [[PBA:%.*]] = project_box [[A1_LIFETIME]]
|
|
|
|
weak var x = c
|
|
// CHECK: [[X:%.*]] = alloc_box ${ var @sil_weak Optional<C> }, var, name "x"
|
|
// CHECK: [[X_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[X]]
|
|
// CHECK-NEXT: [[PBX:%.*]] = project_box [[X_LIFETIME]]
|
|
// Implicit conversion
|
|
// CHECK-NEXT: [[READ:%.*]] = begin_access [read] [unknown] [[PBC]]
|
|
// CHECK-NEXT: [[TMP:%.*]] = load [copy] [[READ]] : $*C
|
|
// CHECK-NEXT: end_access [[READ]]
|
|
// CHECK-NEXT: [[OPTVAL:%.*]] = enum $Optional<C>, #Optional.some!enumelt, [[TMP]] : $C
|
|
// CHECK-NEXT: store_weak [[OPTVAL]] to [init] [[PBX]] : $*@sil_weak Optional<C>
|
|
// CHECK-NEXT: destroy_value [[OPTVAL]] : $Optional<C>
|
|
|
|
a.x = c
|
|
// Implicit conversion
|
|
// CHECK-NEXT: [[READ:%.*]] = begin_access [read] [unknown] [[PBC]]
|
|
// CHECK-NEXT: [[TMP:%.*]] = load [copy] [[READ]] : $*C
|
|
// CHECK-NEXT: end_access [[READ]]
|
|
// CHECK-NEXT: [[OPTVAL:%.*]] = enum $Optional<C>, #Optional.some!enumelt, [[TMP]] : $C
|
|
|
|
// Drill to a.x
|
|
// CHECK-NEXT: [[WRITE:%.*]] = begin_access [modify] [unknown] [[PBA]]
|
|
// CHECK-NEXT: [[A_X:%.*]] = struct_element_addr [[WRITE]] : $*A, #A.x
|
|
|
|
// Store to a.x.
|
|
// CHECK-NEXT: store_weak [[OPTVAL]] to [[A_X]] : $*@sil_weak Optional<C>
|
|
// CHECK-NEXT: destroy_value [[OPTVAL]] : $Optional<C>
|
|
}
|
|
|
|
// <rdar://problem/16871284> silgen crashes on weak capture
|
|
// CHECK: closure #1 () -> Swift.Int in weak.testClosureOverWeak() -> ()
|
|
// CHECK-LABEL: sil private [ossa] @$s4weak19testClosureOverWeakyyFSiycfU_ : $@convention(thin) (@guaranteed { var @sil_weak Optional<C> }) -> Int {
|
|
// CHECK: bb0(%0 : @closureCapture @guaranteed ${ var @sil_weak Optional<C> }):
|
|
// CHECK-NEXT: %1 = project_box %0
|
|
// CHECK-NEXT: debug_value %1 : $*@sil_weak Optional<C>, var, name "bC", argno 1, expr op_deref
|
|
// CHECK-NEXT: [[READ:%.*]] = begin_access [read] [unknown] %1
|
|
// CHECK-NEXT: [[VAL:%.*]] = load_weak [[READ]] : $*@sil_weak Optional<C>
|
|
// CHECK-NEXT: end_access [[READ]]
|
|
func testClosureOverWeak() {
|
|
weak var bC = C()
|
|
takeClosure { bC!.f() }
|
|
}
|
|
|
|
func testClosureOverWeakLet() {
|
|
weak let bC = C()
|
|
takeClosure { bC!.f() }
|
|
}
|
|
|
|
func testClosureOverWeakCapture() {
|
|
let bC = C()
|
|
takeClosure { [weak bC] in bC!.f() }
|
|
}
|
|
|
|
class CC {
|
|
weak var x: CC?
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4weak2CCC{{[_0-9a-zA-Z]*}}fc : $@convention(method) (@owned CC) -> @owned CC {
|
|
// CHECK: bb0([[SELF:%.*]] : @owned $CC):
|
|
// CHECK: [[UNINIT_SELF:%.*]] = mark_uninitialized [rootself] [[SELF]] : $CC
|
|
// CHECK: [[FOO:%.*]] = alloc_box ${ var Optional<CC> }, var, name "foo"
|
|
// CHECK: [[FOO_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[FOO]]
|
|
// CHECK: [[PB:%.*]] = project_box [[FOO_LIFETIME]]
|
|
// CHECK: [[BORROWED_UNINIT_SELF:%.*]] = begin_borrow [[UNINIT_SELF]]
|
|
// CHECK: [[X:%.*]] = ref_element_addr [[BORROWED_UNINIT_SELF]] : $CC, #CC.x
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [dynamic] [[X]] : $*@sil_weak Optional<CC>
|
|
// CHECK: [[VALUE:%.*]] = load_weak [[READ]] : $*@sil_weak Optional<CC>
|
|
// CHECK: store [[VALUE]] to [init] [[PB]] : $*Optional<CC>
|
|
// CHECK: end_borrow [[BORROWED_UNINIT_SELF]]
|
|
// CHECK: end_borrow [[FOO_LIFETIME]]
|
|
// CHECK: destroy_value [[FOO]]
|
|
// CHECK: } // end sil function '$s4weak2CCC{{[_0-9a-zA-Z]*}}fc'
|
|
init() {
|
|
var foo = x
|
|
}
|
|
}
|
|
|
|
func testNoneWeak() {
|
|
weak var x: CC? = nil
|
|
weak var y: CC? = .none
|
|
}
|