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
|
// RUN: %empty-directory(%t)
// RUN: %build-irgen-test-overlays
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/Inputs -I %t) %s -emit-ir | %FileCheck --check-prefix=CHECK --check-prefix=CHECK-%target-ptrsize %s
// REQUIRES: CPU=i386 || CPU=x86_64
// REQUIRES: objc_interop
import Swift
import Foundation
class C {}
sil_vtable C {}
class D: NSObject {}
sil_vtable D {}
enum SwiftClass {
case A(C), B(D)
}
// can use spare bits—both payloads are Swift-defined classes
// CHECK-32: %T15enum_spare_bits10SwiftClassO = type <{ [4 x i8] }>
// CHECK-64: %T15enum_spare_bits10SwiftClassO = type <{ [8 x i8] }>
enum ObjCClass {
case A(NSObject), B(C)
}
// can't use spare bits—NSObject is an ObjC-defined class
// CHECK-32: %T15enum_spare_bits9ObjCClassO = type <{ [4 x i8] }>
// CHECK-64: %T15enum_spare_bits9ObjCClassO = type <{ [8 x i8], [1 x i8] }>
@objc @unsafe_no_objc_tagged_pointer
protocol NoTaggedPointers {}
enum Existential {
case A(AnyObject), B(C)
}
// can't use spare bits—existential may be bound to tagged pointer type
// CHECK-32: %T15enum_spare_bits11ExistentialO = type <{ [4 x i8] }>
// CHECK-64: %T15enum_spare_bits11ExistentialO = type <{ [8 x i8], [1 x i8] }>
enum ExistentialNoTaggedPointers {
case A(NoTaggedPointers), B(C)
}
// can use spare bits—@unsafe_no_objc_tagged_pointer says it's ok
// CHECK-32: %T15enum_spare_bits27ExistentialNoTaggedPointersO = type <{ [4 x i8] }>
// CHECK-64: %T15enum_spare_bits27ExistentialNoTaggedPointersO = type <{ [8 x i8] }>
enum Archetype<T: AnyObject> {
case A(T), B(C)
}
// can't use spare bits—archetype may be bound to tagged pointer type
// CHECK-32: [[ARCHETYPE:%T15enum_spare_bits9ArchetypeOyAA1CCG]] = type <{ [4 x i8], [1 x i8] }>
// CHECK-32: [[ARCHETYPE_OBJC:%T15enum_spare_bits9ArchetypeOySo8NSObjectCG]] = type <{ [4 x i8], [1 x i8] }>
// CHECK-64: [[ARCHETYPE:%T15enum_spare_bits9ArchetypeOyAA1CCG]] = type <{ [8 x i8], [1 x i8] }>
// CHECK-64: [[ARCHETYPE_OBJC:%T15enum_spare_bits9ArchetypeOySo8NSObjectCG]] = type <{ [8 x i8], [1 x i8] }>
sil_global @swiftClass: $SwiftClass
sil_global @objcClass: $ObjCClass
sil_global @existential: $Existential
sil_global @existentialntp: $ExistentialNoTaggedPointers
sil_global @archetypeBoundToSwift: $Archetype<C>
sil_global @archetypeBoundToObjC: $Archetype<NSObject>
// CHECK: @archetypeBoundToSwift = {{(protected )?}}global [[ARCHETYPE]]
// CHECK: @archetypeBoundToObjC = {{(protected )?}}global [[ARCHETYPE_OBJC]]
sil @instantiate_globals : $() -> () {
entry:
%a = global_addr @swiftClass : $*SwiftClass
%b = global_addr @objcClass : $*ObjCClass
%c = global_addr @existential : $*Existential
%d = global_addr @existentialntp : $*ExistentialNoTaggedPointers
%e = global_addr @archetypeBoundToSwift : $*Archetype<C>
%f = global_addr @archetypeBoundToObjC : $*Archetype<NSObject>
return undef : $()
}
sil @$s15enum_spare_bits1DCACycfcTo : $@convention(thin) (@owned D) -> @owned D {
entry(%x : $D):
return undef : $D
}
|
