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
|
// RUN: %empty-directory(%t)
// RUN: %build-irgen-test-overlays
// RUN: %target-swift-frontend -Xllvm -sil-disable-pass=simplification -sdk %S/Inputs -I %t -emit-ir %s | %FileCheck %s
// REQUIRES: CPU=x86_64
// REQUIRES: objc_interop
sil_stage canonical
import Builtin
import Swift
import gizmo
class X {
}
sil_vtable X {}
sil @_TFC8metatype1Xd : $@convention(method) (@owned X) -> @owned Builtin.NativeObject
sil @_TFC8metatype1XD : $@convention(method) (@owned X) -> ()
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc ptr @_TF8metatype22thick_to_objc_metatypeFT2xmMCS_1X_T_(ptr %0)
sil @_TF8metatype22thick_to_objc_metatypeFT2xmMCS_1X_T_ : $@convention(thin) (@thick X.Type) -> @objc_metatype X.Type {
bb0(%0 : $@thick X.Type):
%1 = thick_to_objc_metatype %0 : $@thick X.Type to $@objc_metatype X.Type
// CHECK: ret ptr %0
return %1 : $@objc_metatype X.Type
}
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc ptr @foreign_thick_to_objc(ptr %0)
sil @foreign_thick_to_objc : $@convention(thin) (@thick Gizmo.Type) -> @objc_metatype Gizmo.Type {
bb0(%0 : $@thick Gizmo.Type):
// CHECK: call ptr @swift_getObjCClassFromMetadata
%1 = thick_to_objc_metatype %0 : $@thick Gizmo.Type to $@objc_metatype Gizmo.Type
// CHECK: ret ptr
return %1 : $@objc_metatype Gizmo.Type
}
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc ptr @_TF8metatype22objc_to_thick_metatypeFT2xmMCS_1X_T_(ptr %0)
sil @_TF8metatype22objc_to_thick_metatypeFT2xmMCS_1X_T_ : $@convention(thin) (@objc_metatype X.Type) -> @thick X.Type {
bb0(%0 : $@objc_metatype X.Type):
// CHECK: [[RESULT:%[0-9a-zA-Z_-]+]] = call ptr @swift_getObjCClassMetadata(ptr %0)
%1 = objc_to_thick_metatype %0 : $@objc_metatype X.Type to $@thick X.Type
// CHECK-NEXT: ret ptr [[RESULT]]
return %1 : $@thick X.Type
}
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc ptr @foreign_objc_to_thick(ptr %0)
sil @foreign_objc_to_thick : $@convention(thin) (@objc_metatype Gizmo.Type) -> @thick Gizmo.Type {
bb0(%0 : $@objc_metatype Gizmo.Type):
// CHECK: [[RESULT:%[0-9a-zA-Z_-]+]] = call ptr @swift_getObjCClassMetadata(ptr %0)
%1 = objc_to_thick_metatype %0 : $@objc_metatype Gizmo.Type to $@thick Gizmo.Type
// CHECK-NEXT: ret ptr [[RESULT]]
return %1 : $@thick Gizmo.Type
}
protocol CP: class {}
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc ptr @archetype_objc_metatype(ptr %T, ptr %T.CP)
// CHECK: call ptr @swift_getObjCClassFromMetadata
sil @archetype_objc_metatype : $@convention(thin) <T: CP> () -> @objc_metatype T.Type {
entry:
%m = metatype $@objc_metatype T.Type
return %m : $@objc_metatype T.Type
}
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc ptr @existential_objc_metatype(ptr %0) {{.*}} {
// CHECK: entry:
// CHECK-NEXT: [[METATYPE:%.*]] = call ptr @swift_getObjCClassFromObject(ptr %0) {{#[0-9]+}}
// CHECK-NEXT: ret ptr [[METATYPE]]
// CHECK-NEXT: }
sil @existential_objc_metatype : $@convention(thin) (AnyObject) -> (@objc_metatype AnyObject.Type) {
bb0(%0 : $AnyObject):
%1 = existential_metatype $@objc_metatype AnyObject.Type, %0 : $AnyObject
return %1 : $@objc_metatype AnyObject.Type
}
public protocol ClassProto : AnyObject {
var other: ClassProto? { get }
}
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc void @drop_witness_table(ptr %0, ptr %1)
// CHECK: call ptr @swift_getObjCClassFromMetadata(ptr %0)
// CHECK: ret void
sil @drop_witness_table : $@convention(thin) (@thick ClassProto.Type) -> () {
bb0(%0 : $@thick ClassProto.Type):
%1 = thick_to_objc_metatype %0 : $@thick ClassProto.Type to $@objc_metatype ClassProto.Type
%2 = tuple ()
return %2 : $()
}
|
