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
|
// RUN: %target-swift-emit-silgen -parse-as-library %s | %FileCheck %s
// Only derived classes with non-trivial ivars need an ivar destroyer.
struct TrivialStruct {}
class RootClassWithoutProperties {}
class RootClassWithTrivialProperties {
var x: Int = 0
var y: TrivialStruct = TrivialStruct()
}
class Canary {}
class RootClassWithNonTrivialProperties {
var x: Canary = Canary()
}
class DerivedClassWithTrivialProperties : RootClassWithoutProperties {
var z: Int = 12
}
class DerivedClassWithNonTrivialProperties : RootClassWithoutProperties {
var z: Canary = Canary()
}
// CHECK-LABEL: sil hidden [ossa] @$s14ivar_destroyer36DerivedClassWithNonTrivialPropertiesCfE
// CHECK: bb0(%0 : @guaranteed $DerivedClassWithNonTrivialProperties):
// CHECK-NEXT: debug_value %0
// CHECK-NEXT: [[Z_ADDR:%.*]] = ref_element_addr %0
// CHECK-NEXT: [[Z_ADDR_DEINIT_ACCESS:%.*]] = begin_access [deinit] [static] [[Z_ADDR]]
// CHECK-NEXT: destroy_addr [[Z_ADDR_DEINIT_ACCESS]]
// CHECK-NEXT: end_access [[Z_ADDR_DEINIT_ACCESS]]
// CHECK-NEXT: [[RESULT:%.*]] = tuple ()
// CHECK-NEXT: return [[RESULT]]
// CHECK-LABEL: sil_vtable RootClassWithoutProperties {
// CHECK-NEXT: #RootClassWithoutProperties.init!allocator
// CHECK-NEXT: #RootClassWithoutProperties.deinit!deallocator
// CHECK-NEXT: }
// CHECK-LABEL: sil_vtable RootClassWithTrivialProperties {
// CHECK-NEXT: #RootClassWithTrivialProperties.x!getter
// CHECK-NEXT: #RootClassWithTrivialProperties.x!setter
// CHECK-NEXT: #RootClassWithTrivialProperties.x!modify
// CHECK-NEXT: #RootClassWithTrivialProperties.y!getter
// CHECK-NEXT: #RootClassWithTrivialProperties.y!setter
// CHECK-NEXT: #RootClassWithTrivialProperties.y!modify
// CHECK-NEXT: #RootClassWithTrivialProperties.init!allocator
// CHECK-NEXT: #RootClassWithTrivialProperties.deinit!deallocator
// CHECK-NEXT: }
// CHECK-LABEL: sil_vtable RootClassWithNonTrivialProperties {
// CHECK-NEXT: #RootClassWithNonTrivialProperties.x!getter
// CHECK-NEXT: #RootClassWithNonTrivialProperties.x!setter
// CHECK-NEXT: #RootClassWithNonTrivialProperties.x!modify
// CHECK-NEXT: #RootClassWithNonTrivialProperties.init!allocator
// CHECK-NEXT: #RootClassWithNonTrivialProperties.deinit!deallocator
// CHECK-NEXT: }
// CHECK-LABEL: sil_vtable DerivedClassWithTrivialProperties {
// CHECK-NEXT: #RootClassWithoutProperties.init!allocator
// CHECK-NEXT: #DerivedClassWithTrivialProperties.z!getter
// CHECK-NEXT: #DerivedClassWithTrivialProperties.z!setter
// CHECK-NEXT: #DerivedClassWithTrivialProperties.z!modify
// CHECK-NEXT: #DerivedClassWithTrivialProperties.deinit!deallocator
// CHECK-NEXT: }
// CHECK-LABEL: sil_vtable DerivedClassWithNonTrivialProperties {
// CHECK-NEXT: #RootClassWithoutProperties.init!allocator
// CHECK-NEXT: #DerivedClassWithNonTrivialProperties.z!getter
// CHECK-NEXT: #DerivedClassWithNonTrivialProperties.z!setter
// CHECK-NEXT: #DerivedClassWithNonTrivialProperties.z!modify
// CHECK-NEXT: #DerivedClassWithNonTrivialProperties.deinit!deallocator
// CHECK-NEXT: #DerivedClassWithNonTrivialProperties!ivardestroyer
// CHECK-NEXT: }
|
