1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// RUN: %target-swift-emit-silgen -enable-sil-opaque-values -Xllvm -sil-full-demangle -disable-objc-interop -primary-file %s | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-runtime
// Test SILGen -enable-sil-opaque-values with tests that depend on the stdlib and objc interop.
// REQUIRES: objc_interop
// CHECK-LABEL: sil {{.*}}[ossa] @$s28opaque_values_silgen_nonobjc13UnownedVarBoxV5valuexvg : {{.*}} {
// CHECK: bb0([[INSTANCE:%[^,]+]] :
// CHECK: [[UNOWNED_VALUE:%[^,]+]] = struct_extract [[INSTANCE]]
// CHECK: [[STRONG_VALUE:%[^,]+]] = strong_copy_unowned_value [[UNOWNED_VALUE]]
// CHECK: return [[STRONG_VALUE]]
// CHECK-LABEL: } // end sil function '$s28opaque_values_silgen_nonobjc13UnownedVarBoxV5valuexvg'
// CHECK-LABEL: sil {{.*}}[ossa] @$s28opaque_values_silgen_nonobjc13UnownedVarBoxV5valueACyxGx_tcfC : {{.*}} {
// CHECK: bb0([[STRONG_VALUE:%[^,]+]] :
// CHECK: [[WRAPPED_IN_UNOWNED_TYPE:%[^,]+]] = ref_to_unowned [[STRONG_VALUE]]
// CHECK: [[UNOWNED_VALUE:%[^,]+]] = copy_value [[WRAPPED_IN_UNOWNED_TYPE]]
// CHECK: destroy_value [[STRONG_VALUE]]
// CHECK: [[RETVAL:%[^,]+]] = struct $UnownedVarBox<T> ([[UNOWNED_VALUE]] : $@sil_unowned T)
// CHECK: return [[RETVAL]]
// CHECK-LABEL: } // end sil function '$s28opaque_values_silgen_nonobjc13UnownedVarBoxV5valueACyxGx_tcfC'
struct UnownedVarBox<T : AnyObject> {
unowned var value: T
}
|
