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
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
|
// RUN: %target-swift-frontend %s -O -Xllvm -sil-disable-pass=FunctionSignatureOpts -module-name=test -emit-sil | %FileCheck %s
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -wmo -O -Xllvm -sil-disable-pass=FunctionSignatureOpts -module-name=test %s -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out | %FileCheck %s -check-prefix=CHECK-OUTPUT
// REQUIRES: executable_test
// Test conversions of return types.
public struct S1<ID> {
var x: Int
}
protocol P1<ID> {
associatedtype ID
func get(x: ID) -> S1<ID>
}
struct Y1: P1 {
func get(x: Int) -> S1<Int> {
return S1(x: 27)
}
}
public struct X1<ID> {
let p: any P1<ID>
// CHECK-LABEL: sil {{.*}} @$s4test2X1V6testit1i1xAA2S1VyxGx_xtF :
// CHECK: unchecked_trivial_bit_cast
// CHECK: } // end sil function '$s4test2X1V6testit1i1xAA2S1VyxGx_xtF'
@_semantics("optimize.sil.specialize.generic.never")
@inline(never)
public func testit(i: ID, x: ID) -> S1<ID> {
return p.get(x: x)
}
}
public struct S2<ID> {
var x: String
}
protocol P2<ID> {
associatedtype ID
func get(x: ID) -> S2<ID>
}
struct Y2: P2 {
func get(x: Int) -> S2<Int> {
return S2(x: "27")
}
}
public struct X2<ID> {
let p: any P2<ID>
// CHECK-LABEL: sil {{.*}} @$s4test2X2V6testit1i1xAA2S2VyxGx_xtF :
// CHECK: unchecked_bitwise_cast
// CHECK: } // end sil function '$s4test2X2V6testit1i1xAA2S2VyxGx_xtF'
@_semantics("optimize.sil.specialize.generic.never")
@inline(never)
public func testit(i: ID, x: ID) -> S2<ID> {
return p.get(x: x)
}
}
class C3<T> {}
public struct S3<ID> {
var x: C3<ID>
}
protocol P3<ID> {
associatedtype ID
func get(x: ID) -> S3<ID>
}
struct Y3: P3 {
func get(x: Int) -> S3<Int> {
return S3(x: C3<Int>())
}
}
public struct X3<ID> {
let p: any P3<ID>
// CHECK-LABEL: sil {{.*}} @$s4test2X3V6testit1i1xAA2S3VyxGx_xtF :
// CHECK: unchecked_bitwise_cast
// CHECK: } // end sil function '$s4test2X3V6testit1i1xAA2S3VyxGx_xtF'
@_semantics("optimize.sil.specialize.generic.never")
@inline(never)
public func testit(i: ID, x: ID) -> S3<ID> {
return p.get(x: x)
}
}
public class C4<T> {}
protocol P4<ID> {
associatedtype ID
func get(x: ID) -> C4<ID>
}
struct Y4: P4 {
func get(x: Int) -> C4<Int> {
return C4()
}
}
public struct X4<ID> {
let p: any P4<ID>
// CHECK-LABEL: sil {{.*}} @$s4test2X4V6testit1i1xAA2C4CyxGx_xtF :
// CHECK: unchecked_ref_cast
// CHECK: } // end sil function '$s4test2X4V6testit1i1xAA2C4CyxGx_xtF'
@_semantics("optimize.sil.specialize.generic.never")
@inline(never)
public func testit(i: ID, x: ID) -> C4<ID> {
return p.get(x: x)
}
}
public struct S5<ID> {
var x: (Int, C4<ID>)
}
protocol P5<ID> {
associatedtype ID
func get(x: ID) -> S5<ID>
}
struct Y5: P5 {
func get(x: Int) -> S5<Int> {
return S5(x: (27, C4<Int>()))
}
}
public struct X5<ID> {
let p: any P5<ID>
// CHECK-LABEL: sil {{.*}} @$s4test2X5V6testit1i1xAA2S5VyxGx_xtF :
// CHECK: unchecked_bitwise_cast
// CHECK: } // end sil function '$s4test2X5V6testit1i1xAA2S5VyxGx_xtF'
@_semantics("optimize.sil.specialize.generic.never")
@inline(never)
public func testit(i: ID, x: ID) -> S5<ID> {
return p.get(x: x)
}
}
// Basic test
protocol Pingable {
func ping(_ x : Int);
}
class Foo : Pingable {
func ping(_ x : Int) { _ = 1 }
}
// Everything gets devirtualized, inlined, and promoted to the stack.
//CHECK-LABEL: sil @$s4test17interesting_stuffyyF :
//CHECK-NOT: init_existential_addr
//CHECK-NOT: apply
//CHECK: } // end sil function '$s4test17interesting_stuffyyF'
public func interesting_stuff() {
let x : Pingable = Foo()
x.ping(1)
}
// CHECK-OUTPUT: S1<Int>(x: 27)
print(X1<Int>(p: Y1()).testit(i: 1, x: 2))
// CHECK-OUTPUT: S2<Int>(x: "27")
print(X2<Int>(p: Y2()).testit(i: 1, x: 2))
// CHECK-OUTPUT: S3<Int>(x: test.C3<Swift.Int>)
print(X3<Int>(p: Y3()).testit(i: 1, x: 2))
// CHECK-OUTPUT: test.C4<Swift.Int>
print(X4<Int>(p: Y4()).testit(i: 1, x: 2))
// CHECK-OUTPUT: S5<Int>(x: (27, test.C4<Swift.Int>))
print(X5<Int>(p: Y5()).testit(i: 1, x: 2))
|
