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
|
// swift-interface-format-version: 1.0
// swift-module-flags: -module-name SerializedSIL -enable-library-evolution
// RUN: %empty-directory(%t)
// RUN: echo 'import SerializedSIL' | %target-swift-frontend -typecheck -module-cache-path %t -I %S -
// RUN: %target-sil-opt %t/SerializedSIL-*.swiftmodule -module-name SerializedSIL > %t/SerializedSIL.sil
// RUN: %FileCheck %s < %t/SerializedSIL.sil
// RUN: %FileCheck -check-prefix NEGATIVE %s < %t/SerializedSIL.sil
public class TestClass {
public init()
public func method()
public subscript(_: Int) -> Void { get set }
public var prop: Int { get set }
public var storedProp: Int
public static var staticProp: Int
deinit
}
public class TestEmptyClass {
}
public struct TestEmptyStruct {
}
public enum TestEnum {
case a
public init()
public func method()
public subscript(_: Int) -> Void { get set }
public var prop: Int { get set }
public static var staticProp: Int
}
public struct TestStruct {
public init()
public func method()
public subscript(_: Int) -> Void { get set }
public var prop: Int { get set }
public var storedProp: Int
public static var staticProp: Int
}
public let globalWithNoAccessors: Int
public var readOnlyVar: Int { get }
public var readWriteVar: Int { get set }
public func verySimpleFunction()
// CHECK: sil [serialized] [exact_self_class] [canonical] [ossa] @$s13SerializedSIL9TestClassCACycfC : $@convention(method) (@thick TestClass.Type) -> @owned TestClass {
// NEGATIVE-NOT: {{sil .*@.+storedProp}}
// NEGATIVE-NOT: sil_vtable
// NEGATIVE-NOT: sil_witness_table
|
