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
|
// RUN: %target-sil-nm %s | %FileCheck -check-prefix=SIL-NM -check-prefix=CHECK %s
// RUN: %target-sil-nm -demangle %s | %FileCheck -check-prefix=DEMANGLE %s
// RUN: %empty-directory(%t)
// RUN: %target-sil-opt -module-name main -emit-sib -o %t/out.sib %s
// RUN: %target-sil-nm -module-name main %t/out.sib | %FileCheck %s
// RUN: %target-sil-nm -module-name main -demangle %t/out.sib | %FileCheck -check-prefix=DEMANGLE %s
// Use this testfile to check if the `swift-frontend -sil-nm` option works.
// RUN: %swift_frontend_plain -sil-nm %s | %FileCheck -check-prefix=SIL-NM -check-prefix=CHECK %s
import Builtin
public class C {
deinit
init()
}
struct ConformingGenericStruct<T> : ResilientProtocol {
func defaultA()
}
public protocol ResilientProtocol {
func defaultA()
}
// CHECK: F c_deinit
sil [serialized] @c_deinit : $@convention(method) (@owned C) -> () {
bb0(%0 : $C):
%1 = tuple()
return %1 : $()
}
// CHECK: F defaultA
sil [serialized] @defaultA : $@convention(witness_method: ResilientProtocol) <Self where Self : ResilientProtocol> (@in_guaranteed Self) -> () {
bb0(%0 : $*Self):
%result = tuple ()
return %result : $()
}
// CHECK: F f1
sil [serialized] @f1 : $@convention(thin) () -> () {
bb0:
%0 = tuple()
return %0 : $()
}
// CHECK: F globalinit
sil [serialized] @globalinit : $@convention(thin) () -> () {
bb0:
%0 = tuple()
return %0 : $()
}
// CHECK: G global_var
sil_global [serialized] @global_var : $Builtin.Int32
// CHECK: W $s4main23ConformingGenericStructVyxGAA17ResilientProtocolAAWP
// DEMANGLE: W protocol witness table for main.ConformingGenericStruct<A> : main.ResilientProtocol in main
sil_witness_table [serialized] <T> ConformingGenericStruct<T> : ResilientProtocol module protocol_resilience {
method #ResilientProtocol.defaultA: @defaultA
}
// vtables cannot be serialized from SIL.
// SIL-NM: V C
sil_vtable [serialized] C {
#C.deinit!deallocator: @c_deinit
}
|
