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
|
// RUN: %target-swift-frontend -O -Xllvm -sil-inline-generics=false -Xllvm -sil-disable-pass=GlobalOpt %s -emit-sil -sil-verify-all | %FileCheck %s
public protocol Foo {
func foo_method()
}
public protocol Bar {
func bar_method()
}
@inline(never)
func bar_marker() {}
public struct Inner: Bar {
public func bar_method() {
bar_marker()
}
}
public struct Outer<T> {
var x: T
}
@inline(never)
func foo_marker() {}
extension Outer: Foo where T: Bar {
public func foo_method() {
foo_marker()
x.bar_method()
}
}
func callFoo<T: Foo>(_ x: T) {
x.foo_method()
}
func genericLayer<T: Bar>(_ x: T) {
callFoo(Outer(x: x))
}
// See that we devirtualize/inline enough to get down to the @inline(never)
// function calls.
// CHECK-LABEL: sil @$s30devirt_conditional_conformance12throughLayeryyF : $@convention(thin) () -> ()
// CHECK: function_ref @$s30devirt_conditional_conformance10foo_markeryyF
// CHECK: function_ref @$s30devirt_conditional_conformance10bar_markeryyF
// CHECK: return
public func throughLayer() {
genericLayer(Inner())
}
// CHECK-LABEL: sil @$s30devirt_conditional_conformance6directyyF : $@convention(thin) () -> ()
// CHECK: function_ref @$s30devirt_conditional_conformance10foo_markeryyF
// CHECK: function_ref @$s30devirt_conditional_conformance10bar_markeryyF
// CHECK: return
public func direct() {
callFoo(Outer(x: Inner()))
}
// Conditional conformance that constraints all generic parameters completely
// <rdar://problem/46571799>
public protocol Fish {
func fish_method()
}
@inline(never)
func fish_marker() {}
extension Outer: Fish where T == Int {
public func fish_method() {
fish_marker()
}
}
func callFish<T : Fish>(_ x: T) {
x.fish_method()
}
// CHECK-LABEL: sil @$s30devirt_conditional_conformance8testFishyyF : $@convention(thin) () -> ()
// CHECK: function_ref @$s30devirt_conditional_conformance11fish_markeryyF : $@convention(thin) () -> ()
// CHECK: return
public func testFish() {
callFish(Outer(x: 0))
}
|
