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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// RUN: %empty-directory(%t/src)
// RUN: split-file %s %t/src
/// Build the library A
// RUN: %target-swift-frontend -emit-module %t/src/A.swift \
// RUN: -module-name A -swift-version 5 -enable-library-evolution \
// RUN: -emit-module-path %t/A.swiftmodule \
// RUN: -emit-module-interface-path %t/A.swiftinterface
// RUN: %FileCheck %t/src/A.swift < %t/A.swiftinterface
// Build the client using module
// RUN: %target-swift-emit-sil -verify -module-name Client -I %t %t/src/Client.swift | %FileCheck %t/src/Client.swift
// RUN: rm %t/A.swiftmodule
// Re-build the client using interface
// RUN: %target-swift-emit-sil -verify -module-name Client -I %t %t/src/Client.swift | %FileCheck %t/src/Client.swift
// REQUIRES: asserts
//--- A.swift
@frozen
public struct Inlinable {
var _x: Int
// CHECK: public var x: Swift.Int {
// CHECK-NEXT: @usableFromInline
// CHECK-NEXT: @storageRestrictions(initializes: _x) init
// CHECK-NEXT: get
// CHECK-NEXT }
public var x: Int {
@usableFromInline
@storageRestrictions(initializes: _x)
init {
self._x = newValue
}
get {
_x
}
}
@inlinable
public init(x: Int) {
self.x = x
}
}
public struct Internal {
// CHECK: public var y: Swift.Int {
// CHECK-NEXT: get
// CHECK-NEXT: }
public var y: Int {
init {
}
get { 0 }
}
init(y: Int) {
self.y = y
}
}
@frozen
public struct Transparent {
@usableFromInline
var _x: Int
// CHECK: public var x: Swift.Int {
// CHECK-NEXT: @_alwaysEmitIntoClient @storageRestrictions(initializes: _x) init {
// CHECK-NEXT: self._x = newValue
// CHECK-NEXT: }
// CHECK-NEXT: get
// CHECK-NEXT }
public var x: Int {
@_alwaysEmitIntoClient
@storageRestrictions(initializes: _x)
init {
self._x = newValue
}
get {
_x
}
}
@_alwaysEmitIntoClient
public init(x: Int) {
self.x = x
}
}
//--- Client.swift
import A
// CHECK-LABEL: sil hidden @$s6Client15testTransparentyyF : $@convention(thin) () -> ()
// CHECK: [[X:%.*]] = struct $Int (%1 : $Builtin.Int{{[0-9]+}})
// CHECK-NEXT: // function_ref Transparent.init(x:)
// CHECK-NEXT: [[TRANSPARENT_REF:%.*]] = function_ref @$s1A11TransparentV1xACSi_tcfC : $@convention(method) (Int, @thin Transparent.Type) -> Transparent
// CHECK-NEXT: apply [[TRANSPARENT_REF]]([[X]], %0) : $@convention(method) (Int, @thin Transparent.Type) -> Transparent
func testTransparent() {
_ = Transparent(x: 42)
}
// CHECK-LABEL: sil shared @$s1A11TransparentV1xACSi_tcfC : $@convention(method) (Int, @thin Transparent.Type) -> Transparent
// CHECK-LABEL: sil hidden @$s6Client13testInlinableyyF : $@convention(thin) () -> ()
// CHECK: [[X:%.*]] = struct $Int (%1 : $Builtin.Int{{[0-9]+}})
// CHECK-NEXT: // function_ref Inlinable.init(x:)
// CHECK-NEXT: [[INLINABLE_REF:%.*]] = function_ref @$s1A9InlinableV1xACSi_tcfC : $@convention(method) (Int, @thin Inlinable.Type) -> Inlinable
// CHECK-NEXT: apply [[INLINABLE_REF]]([[X]], %0) : $@convention(method) (Int, @thin Inlinable.Type) -> Inlinable
func testInlinable() {
_ = Inlinable(x: 42)
}
// CHECK-LABEL: sil @$s1A9InlinableV1xACSi_tcfC : $@convention(method) (Int, @thin Inlinable.Type) -> Inlinable
// CHECK-LABEL: sil shared @$s1A11TransparentV1xSivi : $@convention(thin) (Int, @thin Transparent.Type) -> @out Int
|
