mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
af83492a45
Previously even if a type's metadata was optimized away, we would still emit a field descriptor, which in turn could reference nominal type descriptors for other types via symbolic references, etc.
117 lines
2.3 KiB
Swift
117 lines
2.3 KiB
Swift
// RUN: %target-swift-frontend -parse-as-library -module-name=test -O %s -emit-ir > %t.ll
|
|
// RUN: %FileCheck %s < %t.ll
|
|
// RUN: %FileCheck -check-prefix=CHECK-DEAD %s < %t.ll
|
|
|
|
// protocol descriptor for test.Proto
|
|
// CHECK-DAG: @"$s4test5ProtoMp" =
|
|
// CHECK-DAG: @"$s4test12PrivateProto{{[_A-Z0-9]*}}Mp" =
|
|
|
|
// reflection metadata field descriptors
|
|
// CHECK-DAG: @"$s4test7StructAVMF" =
|
|
// CHECK-DAG: @"$s4test7StructBVMF" =
|
|
// CHECK-DAG: @"$s4test7StructCVMF" =
|
|
// CHECK-DEAD-NOT: @"$s4test7StructDVMF" =
|
|
// CHECK-DAG: @"$s4test7StructEVMF" =
|
|
|
|
// nominal type descriptors
|
|
// CHECK-DAG: @"$s4test7StructAVMn" =
|
|
// CHECK-DAG: @"$s4test7StructBVMn" =
|
|
// CHECK-DAG: @"$s4test7StructCVMn" =
|
|
// CHECK-DEAD-NOT: @"$s4test7StructDVMn"
|
|
// CHECK-DAG: @"$s4test7StructEVMn" =
|
|
|
|
// full type metadata
|
|
// CHECK-DAG: @"$s4test7StructAVMf" =
|
|
// CHECK-DAG: @"$s4test7StructBVMf" =
|
|
// CHECK-DAG: @"$s4test7StructCVMf" =
|
|
// CHECK-DEAD-NOT: @"$s4test7StructDVMf"
|
|
// CHECK-DAG: @"$s4test7StructEVMf" =
|
|
|
|
// protocol witness tables
|
|
// CHECK-DAG: @"$s4test7StructAVAA5ProtoAAWP" =
|
|
// CHECK-DAG: @"$s4test7StructBVAA5ProtoAAWP" =
|
|
// CHECK-DAG: @"$s4test7StructCVAA5ProtoAAWP" =
|
|
// CHECK-DEAD-NOT: @"$s4test7StructDVAA5ProtoAAWP" =
|
|
// CHECK-DAG: @"$s4test7StructEVAA12PrivateProto{{[_A-Z0-9]*}}AAWP" =
|
|
|
|
public protocol Proto {
|
|
func abc()
|
|
}
|
|
|
|
struct StructA : Proto {
|
|
func abc() {
|
|
}
|
|
}
|
|
|
|
struct StructB : Proto {
|
|
func abc() {
|
|
}
|
|
}
|
|
|
|
struct StructC : Proto {
|
|
func abc() {
|
|
}
|
|
}
|
|
|
|
// This is the only struct for which no metadata and conformances are needed.
|
|
struct StructD : Proto {
|
|
func abc() {
|
|
}
|
|
}
|
|
|
|
private protocol PrivateProto {
|
|
func xyz()
|
|
}
|
|
|
|
public struct StructE : PrivateProto {
|
|
func xyz() {
|
|
}
|
|
}
|
|
|
|
public func needPrivateConformance(_ x: Any) -> Bool {
|
|
return x is PrivateProto
|
|
}
|
|
|
|
@inline(never)
|
|
@_optimize(none)
|
|
func consume1<T>(_ t: T) {
|
|
}
|
|
|
|
@inline(never)
|
|
@_optimize(none)
|
|
func consume2<T: Proto>(_ t: T) {
|
|
t.abc()
|
|
}
|
|
@inline(never)
|
|
@_optimize(none)
|
|
func consume3(_ p: Proto) {
|
|
p.abc()
|
|
}
|
|
@inline(never)
|
|
@_optimize(none)
|
|
func consume4(_ t: StructD) {
|
|
t.abc()
|
|
}
|
|
|
|
var a = StructA()
|
|
var b = StructB()
|
|
var c = StructC()
|
|
var d = StructD()
|
|
|
|
public func callfuncA() {
|
|
consume1(a)
|
|
}
|
|
|
|
public func callfuncB() {
|
|
consume2(b)
|
|
}
|
|
|
|
public func callfuncC() {
|
|
consume3(c)
|
|
}
|
|
|
|
public func callfuncD() {
|
|
consume4(d)
|
|
}
|
|
|