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 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
|
// RUN: %target-swift-emit-silgen -parse-as-library %s | %FileCheck %s --check-prefix=FRAGILE --check-prefix=CHECK
// RUN: %target-swift-emit-silgen -enable-library-evolution -parse-as-library %s | %FileCheck %s --check-prefix=RESILIENT --check-prefix=CHECK
// RUN: %target-swift-emit-silgen -parse-as-library -enable-testing %s
// RUN: %target-swift-emit-silgen -parse-as-library -enable-testing -enable-library-evolution %s
public let global = 0
struct InternalStruct {
var storedProperty = global
}
// CHECK-LABEL: sil hidden [transparent] [ossa] @$s22fixed_layout_attribute14InternalStructV14storedPropertySivpfi : $@convention(thin) () -> Int
//
// ... okay to directly reference the addressor here:
// CHECK: function_ref @$s22fixed_layout_attribute6globalSivau
// CHECK: return
public struct NonFixedStruct {
public var storedProperty = global
}
// FRAGILE-LABEL: sil [transparent] [ossa] @$s22fixed_layout_attribute14NonFixedStructV14storedPropertySivpfi : $@convention(thin) () -> Int
// RESILIENT-LABEL: sil hidden [transparent] [ossa] @$s22fixed_layout_attribute14NonFixedStructV14storedPropertySivpfi : $@convention(thin) () -> Int
//
// ... okay to directly reference the addressor here:
// CHECK: function_ref @$s22fixed_layout_attribute6globalSivau
// CHECK: return
@frozen
public struct FixedStruct {
public var storedProperty = global
}
// CHECK-LABEL: sil non_abi [transparent] [serialized] [ossa] @$s22fixed_layout_attribute11FixedStructV14storedPropertySivpfi : $@convention(thin) () -> Int
//
// ... a fragile build can still reference the addressor:
// FRAGILE: function_ref @$s22fixed_layout_attribute6globalSivau
// ... a resilient build has to use the getter because the addressor
// is not public, and the initializer is serialized:
// RESILIENT: function_ref @$s22fixed_layout_attribute6globalSivg
// CHECK: return
// This would crash with -enable-testing
private let privateGlobal = 0
struct AnotherInternalStruct {
var storedProperty = privateGlobal
}
// Static properties in fixed-layout type is still resilient
@frozen
public struct HasStaticProperty {
public static var staticProperty: Int = 0
}
// CHECK-LABEL: sil [ossa] @$s22fixed_layout_attribute18usesStaticPropertyyyF : $@convention(thin) () -> ()
// CHECK: function_ref @$s22fixed_layout_attribute17HasStaticPropertyV06staticF0Sivau : $@convention(thin) () -> Builtin.RawPointer
// CHECK: return
public func usesStaticProperty() {
_ = HasStaticProperty.staticProperty
}
// CHECK-LABEL: sil [serialized] [ossa] @$s22fixed_layout_attribute27usesStaticPropertyInlinableyyF : $@convention(thin) () -> ()
@inlinable
public func usesStaticPropertyInlinable() {
_ = HasStaticProperty.staticProperty
}
|