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
|
// RUN: %target-swift-emit-silgen -parse-stdlib %s | %FileCheck %s
import Swift
protocol SomeProtocol {
func method()
func static_method()
}
protocol A {}
struct SomeStruct : A {}
class SomeClass : SomeProtocol {
func method() {}
func static_method() {}
}
class SomeSubclass : SomeClass {}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes07static_A0{{[_0-9a-zA-Z]*}}F
func static_metatypes()
-> (SomeStruct.Type, SomeClass.Type, SomeClass.Type)
{
// CHECK: [[STRUCT:%[0-9]+]] = metatype $@thin SomeStruct.Type
// CHECK: [[CLASS:%[0-9]+]] = metatype $@thick SomeClass.Type
// CHECK: [[SUBCLASS:%[0-9]+]] = metatype $@thick SomeSubclass.Type
// CHECK: [[SUBCLASS_UPCAST:%[0-9]+]] = upcast [[SUBCLASS]] : ${{.*}} to $@thick SomeClass.Type
// CHECK: tuple ([[STRUCT]] : {{.*}}, [[CLASS]] : {{.*}}, [[SUBCLASS_UPCAST]] : {{.*}})
return (SomeStruct.self, SomeClass.self, SomeSubclass.self)
}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes07struct_A0{{[_0-9a-zA-Z]*}}F
func struct_metatypes(s: SomeStruct)
-> (SomeStruct.Type, SomeStruct.Type)
{
// CHECK: [[STRUCT1:%[0-9]+]] = metatype $@thin SomeStruct.Type
// CHECK: [[STRUCT2:%[0-9]+]] = metatype $@thin SomeStruct.Type
// CHECK: tuple ([[STRUCT1]] : {{.*}}, [[STRUCT2]] : {{.*}})
return (type(of: s), SomeStruct.self)
}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes06class_A0{{[_0-9a-zA-Z]*}}F
func class_metatypes(c: SomeClass, s: SomeSubclass)
-> (SomeClass.Type, SomeClass.Type)
{
// CHECK: [[CLASS:%[0-9]+]] = value_metatype $@thick SomeClass.Type,
// CHECK: [[SUBCLASS:%[0-9]+]] = value_metatype $@thick SomeSubclass.Type,
// CHECK: [[SUBCLASS_UPCAST:%[0-9]+]] = upcast [[SUBCLASS]] : ${{.*}} to $@thick SomeClass.Type
// CHECK: tuple ([[CLASS]] : {{.*}}, [[SUBCLASS_UPCAST]] : {{.*}})
return (type(of: c), type(of: s))
}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes010archetype_A0{{[_0-9a-zA-Z]*}}F
// CHECK: bb0(%0 : $*T):
func archetype_metatypes<T>(t: T) -> (T.Type, T.Type) {
// CHECK: [[STATIC_T:%[0-9]+]] = metatype $@thick T.Type
// CHECK: [[DYN_T:%[0-9]+]] = value_metatype $@thick T.Type, %0
// CHECK: tuple ([[STATIC_T]] : {{.*}}, [[DYN_T]] : {{.*}})
return (T.self, type(of: t))
}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes012existential_A0{{[_0-9a-zA-Z]*}}F
func existential_metatypes(p: SomeProtocol) -> SomeProtocol.Type {
// CHECK: existential_metatype $@thick any SomeProtocol.Type
return type(of: p)
}
struct SomeGenericStruct<T> {}
func generic_metatypes<T>(x: T)
-> (SomeGenericStruct<T>.Type, SomeGenericStruct<SomeStruct>.Type)
{
// CHECK: metatype $@thin SomeGenericStruct<T>
// CHECK: metatype $@thin SomeGenericStruct<SomeStruct>
return (SomeGenericStruct<T>.self, SomeGenericStruct<SomeStruct>.self)
}
// rdar://16610078
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes30existential_metatype_from_thinypXpyF : $@convention(thin) () -> @thick any Any.Type
// CHECK: [[T0:%.*]] = metatype $@thin SomeStruct.Type
// CHECK-NEXT: [[T1:%.*]] = metatype $@thick SomeStruct.Type
// CHECK-NEXT: [[T2:%.*]] = init_existential_metatype [[T1]] : $@thick SomeStruct.Type, $@thick any Any.Type
// CHECK-NEXT: return [[T2]] : $@thick any Any.Type
func existential_metatype_from_thin() -> Any.Type {
return SomeStruct.self
}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes36existential_metatype_from_thin_valueypXpyF : $@convention(thin) () -> @thick any Any.Type
// CHECK: [[T1:%.*]] = metatype $@thin SomeStruct.Type
// CHECK: [[T0:%.*]] = function_ref @$s9metatypes10SomeStructV{{[_0-9a-zA-Z]*}}fC
// CHECK-NEXT: [[T2:%.*]] = apply [[T0]]([[T1]])
// CHECK-NEXT: debug_value [[T2]] : $SomeStruct, let, name "s"
// CHECK-NEXT: [[T0:%.*]] = metatype $@thin SomeStruct.Type
// CHECK-NEXT: [[T1:%.*]] = metatype $@thick SomeStruct.Type
// CHECK-NEXT: [[T2:%.*]] = init_existential_metatype [[T1]] : $@thick SomeStruct.Type, $@thick any Any.Type
// CHECK-NEXT: return [[T2]] : $@thick any Any.Type
func existential_metatype_from_thin_value() -> Any.Type {
let s = SomeStruct()
return type(of: s)
}
// CHECK-LABEL: sil hidden [ossa] @$s9metatypes20specialized_metatypeSDySSSiGyF
// CHECK: metatype $@thin Dictionary<String, Int>.Type
func specialized_metatype() -> Dictionary<String, Int> {
let dict = Swift.Dictionary<Swift.String, Int>()
return dict
}
|
