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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -c %s -DBASE -emit-library -emit-module -module-name Base -target %module-target-future -Xfrontend -prespecialize-generic-metadata -emit-module-path %t/Base.swiftmodule -o %t/%target-library-name(Base)
// RUN: %target-build-swift -c %s -DCONFORMANCE_1 -emit-library -emit-module -module-name Conformance1 -target %module-target-future -Xfrontend -prespecialize-generic-metadata -emit-module-path %t/Conformance1.swiftmodule -o %t/%target-library-name(Conformance1) -lBase -I %t -L %t
// RUN: %target-build-swift -c %s -DCONFORMANCE_2 -emit-library -emit-module -module-name Conformance2 -target %module-target-future -Xfrontend -prespecialize-generic-metadata -emit-module-path %t/Conformance2.swiftmodule -o %t/%target-library-name(Conformance2) -lBase -I %t -L %t
// RUN: %target-build-swift -c %s -DGENERIC -emit-library -emit-module -module-name Generic -target %module-target-future -Xfrontend -prespecialize-generic-metadata -emit-module-path %t/Generic.swiftmodule -o %t/%target-library-name(Generic) -lBase -lConformance1 -I %t -L %t
// RUN: %target-build-swift -c %s -DERASE -emit-library -emit-module -module-name Erase -target %module-target-future -Xfrontend -prespecialize-generic-metadata -emit-module-path %t/Erase.swiftmodule -o %t/%target-library-name(Erase) -lBase -lConformance2 -I %t -L %t
// RUN: %clang -c -v %target-cc-options %target-threading-opt -g -O0 -isysroot %sdk %S/Inputs/isPrespecialized.cpp -o %t/isPrespecialized.o -I %clang-include-dir -I %swift_src_root/include/ -I %swift_src_root/stdlib/public/SwiftShims/ -I %llvm_src_root/include -I %llvm_obj_root/include -L %clang-include-dir/../lib/swift/macosx
// RUN: %target-build-swift %s %S/Inputs/main.swift %S/Inputs/consume-logging-metadata-value.swift %t/isPrespecialized.o -import-objc-header %S/Inputs/isPrespecialized.h -DMAIN -target %module-target-future -Xfrontend -prespecialize-generic-metadata -lBase -lConformance1 -lConformance2 -lGeneric -lErase -lc++ -I %t -L %t -L %clang-include-dir/../lib/swift/macosx -o %t/main
// RUN: %target-codesign %t/main
// RUN: %target-run %t/main | %FileCheck %s
// REQUIRES: OS=macosx
// REQUIRES: executable_test
// UNSUPPORTED: use_os_stdlib
// UNSUPPORTED: swift_test_mode_optimize
// UNSUPPORTED: swift_test_mode_optimize_size
// UNSUPPORTED: remote_run
#if BASE
public struct K {
public init() {}
}
public protocol P {
var name: String { get }
}
#endif
#if CONFORMANCE_1
import Base
extension K : P {
public var name: String { "Conformance1" }
}
#endif
#if CONFORMANCE_2
import Base
extension K : P {
public var name: String { "Conformance2" }
}
#endif
#if GENERIC
import Base
import Conformance1
public struct G<T : P> {
public let t: T
public init(_ t: T) {
self.t = t
}
public var name: String {
t.name
}
}
@inline(never)
func consume<T>(_ t: T) {
withExtendedLifetime(t) {}
}
public func prespecialize() {
consume(G<K>.self)
}
#endif
#if ERASE
import Base
import Conformance2
public struct AnyP : P {
private class _BoxBase {
public var name: String {
fatalError()
}
public func visit<Visitor : PVisitor>(_ v: Visitor) {
fatalError()
}
}
private final class _Box<T : P> : _BoxBase {
private let t: T
init(_ t: T) {
self.t = t
}
override var name: String {
t.name
}
override func visit<Visitor : PVisitor>(_ v: Visitor) {
v.visit(t)
}
}
private let _box: _BoxBase
init<T : P>(_ t: T) {
self._box = _Box(t)
}
public var name: String {
_box.name
}
public func visit<Visitor : PVisitor>(_ v: Visitor) {
_box.visit(v)
}
}
public protocol PVisitor {
func visit<T : P>(_ t: T)
}
public func getKAsAnyP() -> AnyP {
AnyP(K())
}
#endif
#if MAIN
import Base
import Generic
import Conformance2
import Erase
func ptr<T>(to ty: T.Type) -> UnsafeMutableRawPointer {
UnsafeMutableRawPointer(mutating: unsafePointerToMetadata(of: ty))!
}
func printTheName<T : P>(_ t: T, prespecialized: Bool) {
print(G(t).name)
assert(isCanonicalStaticallySpecializedGenericMetadata(ptr(to: G<T>.self)) == prespecialized)
}
struct Visitor : PVisitor {
func visit<T : P>(_ t: T) {
printTheName(t, prespecialized: false)
}
}
func doit() {
// CHECK: Conformance1
printTheName(K(), prespecialized: true)
// CHECK: Conformance2
getKAsAnyP().visit(Visitor())
}
#endif
|
