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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
// 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)
}
|
