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
159
160
161
162
163
164
165
166
167
168
169
170
171
172
|
// RUN: %target-swift-frontend -enable-objc-interop %s -emit-ir | %FileCheck %s --check-prefixes=CHECK,CHECK-objc
// RUN: %target-swift-frontend -disable-objc-interop %s -emit-ir | %FileCheck %s --check-prefixes=CHECK,CHECK-native
// REQUIRES: CPU=x86_64
// CHECK: [[A:%T13generic_types1AC]] = type <{ [[REF:%swift.refcounted]], [[INT:%TSi]] }>
// CHECK: [[INT]] = type <{ i64 }>
// CHECK: [[B:%T13generic_types1BC]] = type <{ [[REF:%swift.refcounted]], [[UNSAFE:%TSp]] }>
// CHECK-LABEL: @"$s13generic_types1ACMI" = internal global [16 x ptr] zeroinitializer, align 8
// CHECK-LABEL: @"$s13generic_types1ACMn" = hidden constant
// CHECK-SAME: i32 -2147483440,
// CHECK-SAME: @"$s13generic_typesMXM"
// <name>
// CHECK-SAME: @"$s13generic_types1ACMa"
// -- superclass
// CHECK-SAME: i32 0,
// -- negative size in words
// CHECK-SAME: i32 3,
// -- positive size in words
// CHECK-objc-SAME: i32 17,
// CHECK-native-SAME: i32 14,
// -- num immediate members
// CHECK-SAME: i32 7,
// -- num fields
// CHECK-SAME: i32 1,
// -- field offset vector offset
// CHECK-objc-SAME: i32 11,
// CHECK-native-SAME: i32 8,
// -- instantiation cache
// CHECK-SAME: @"$s13generic_types1ACMI"
// -- instantiation pattern
// CHECK-SAME: @"$s13generic_types1ACMP"
// -- num generic params
// CHECK-SAME: i16 1,
// -- num generic requirement
// CHECK-SAME: i16 0,
// -- num key arguments
// CHECK-SAME: i16 1,
// -- num extra arguments
// CHECK-SAME: i16 0,
// -- parameter descriptor 1
// CHECK-SAME: i8 -128,
// CHECK-LABEL: @"$s13generic_types1ACMP" = internal constant
// -- instantiation function
// CHECK-SAME: @"$s13generic_types1ACMi"
// -- heap destructor
// CHECK-SAME: ptr @"$s13generic_types1ACfD"
// -- ivar destroyer
// CHECK-SAME: i32 0,
// -- flags
// CHECK-SAME: i32 {{3|2}},
// CHECK-SAME: }
// CHECK-LABEL: @"$s13generic_types1BCMI" = internal global [16 x ptr] zeroinitializer, align 8
// CHECK-LABEL: @"$s13generic_types1BCMn" = hidden constant
// CHECK-SAME: @"$s13generic_types1BCMa"
// CHECK-SAME: @"$s13generic_types1BCMI"
// CHECK-SAME: @"$s13generic_types1BCMP"
// CHECK-LABEL: @"$s13generic_types1BCMP" = internal constant
// -- instantiation function
// CHECK-SAME: @"$s13generic_types1BCMi"
// -- heap destructor
// CHECK-SAME: ptr @"$s13generic_types1BCfD"
// -- ivar destroyer
// CHECK-SAME: i32 0,
// -- class flags
// CHECK-SAME: i32 {{3|2}},
// CHECK-SAME: }
// CHECK-LABEL: @"$s13generic_types1CCMP" = internal constant
// -- instantiation function
// CHECK-SAME: @"$s13generic_types1CCMi"
// -- heap destructor
// CHECK-SAME: ptr @"$s13generic_types1CCfD"
// -- ivar destroyer
// CHECK-SAME: i32 0,
// -- class flags
// CHECK-SAME: i32 {{3|2}},
// CHECK-SAME: }
// CHECK-LABEL: @"$s13generic_types1DCMP" = internal constant
// -- instantiation function
// CHECK-SAME: @"$s13generic_types1DCMi"
// -- heap destructor
// CHECK-SAME: ptr @"$s13generic_types1DCfD"
// -- ivar destroyer
// CHECK-SAME: i32 0,
// -- class flags
// CHECK-SAME: i32 {{3|2}},
// CHECK-SAME: }
class A<T> {
var x = 0
func run(_ t: T) {}
init(y : Int) {}
}
class B<T> {
var ptr : UnsafeMutablePointer<T>
init(ptr: UnsafeMutablePointer<T>) {
self.ptr = ptr
}
deinit {
ptr.deinitialize(count: 1)
}
}
class C<T> : A<Int> {}
class D<T> : A<Int> {
override func run(_ t: Int) {}
}
struct E<T> {
var x : Int
func foo() { bar() }
func bar() {}
}
class ClassA {}
class ClassB {}
// This type is fixed-size across specializations, but it needs to use
// a different implementation in IR-gen so that types match up.
// It just asserts if we get it wrong.
struct F<T: AnyObject> {
var value: T
}
func testFixed() {
var a = F(value: ClassA()).value
var b = F(value: ClassB()).value
}
// Checking generic requirement encoding
protocol P1 { }
protocol P2 {
associatedtype A
}
struct X1: P1 { }
struct X2: P2 {
typealias A = X1
}
// Check for correct generic parameters in the nominal type descriptor
// CHECK-LABEL: @"$s13generic_types2X3VMn" =
// Root: generic parameter 1
// CHECK-SAME: @"symbolic q_"
// U.A (via P2)
// CHECK-SAME: @"symbolic 1A_____Qy_ 13generic_types2P2P
struct X3<T, U> where U: P2, U.A: P1 { }
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} internal ptr @"$s13generic_types1ACMi"(ptr %0, ptr %1, ptr %2) {{.*}} {
// CHECK: %T = load ptr, ptr %1,
// CHECK: [[METADATA:%.*]] = call ptr @swift_allocateGenericClassMetadata(ptr %0, ptr %1, ptr %2)
// CHECK-NEXT: ret ptr [[METADATA]]
// CHECK: }
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} internal ptr @"$s13generic_types1BCMi"(ptr %0, ptr %1, ptr %2) {{.*}} {
// CHECK: %T = load ptr, ptr %1,
// CHECK: [[METADATA:%.*]] = call ptr @swift_allocateGenericClassMetadata(ptr %0, ptr %1, ptr %2)
// CHECK-NEXT: ret ptr [[METADATA]]
// CHECK: }
|
