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
|
// RUN: %target-sil-opt -enable-library-evolution -enable-sil-verify-all -generic-specializer %s | %FileCheck %s
sil_stage canonical
import Builtin
import Swift
public protocol ResilientProtocol {
func defaultA()
func defaultB()
}
public struct ConformingStruct : ResilientProtocol {
public func defaultA()
public func defaultB()
}
// CHECK-LABEL: sil shared @$s8defaultA4main16ConformingStructV_TB5
// CHECK: bb0(%0 : $ConformingStruct):
// CHECK-NEXT: [[TMP:%.*]] = alloc_stack $ConformingStruct
// CHECK-NEXT: store %0 to [[TMP]] : $*ConformingStruct
// CHECK: [[FN:%.*]] = function_ref @$s8defaultB4main16ConformingStructV_TB5
// CHECK-NEXT: [[LOAD:%.*]] = load [[TMP]] : $*ConformingStruct
// CHECK-NEXT: [[RESULT:%.*]] = apply [[FN]]([[LOAD]])
// CHECK-NEXT: dealloc_stack [[TMP]] : $*ConformingStruct
// CHECK-NEXT: return [[RESULT]]
sil @defaultA : $@convention(witness_method: ResilientProtocol) <Self where Self : ResilientProtocol> (@in_guaranteed Self) -> () {
bb0(%0 : $*Self):
%fn = function_ref @defaultB : $@convention(witness_method: ResilientProtocol) <T where T : ResilientProtocol> (@in_guaranteed T) -> ()
%result = apply %fn<Self>(%0) : $@convention(witness_method: ResilientProtocol) <T where T : ResilientProtocol> (@in_guaranteed T) -> ()
return %result : $()
}
// CHECK-LABEL: sil shared @$s8defaultB4main16ConformingStructV_TB5
// CHECK: bb0(%0 : $ConformingStruct):
// CHECK-NEXT: [[TMP:%.*]] = alloc_stack $ConformingStruct
// CHECK-NEXT: store %0 to [[TMP]] : $*ConformingStruct
// CHECK-NEXT: [[RESULT:%.*]] = tuple ()
// CHECK-NEXT: dealloc_stack [[TMP]] : $*ConformingStruct
// CHECK-NEXT: return [[RESULT]]
sil @defaultB : $@convention(witness_method: ResilientProtocol) <Self where Self : ResilientProtocol> (@in_guaranteed Self) -> () {
bb0(%0 : $*Self):
%result = tuple ()
return %result : $()
}
// CHECK-LABEL: sil hidden @test_specialize_default_witness_method
// CHECK: bb0(%0 : $*ConformingStruct):
// CHECK: [[FN:%.*]] = function_ref @$s8defaultA4main16ConformingStructV_TB5
// CHECK-NEXT: [[VALUE:%.*]] = load %0 : $*ConformingStruct
// CHECK-NEXT: [[RESULT:%.*]] = apply [[FN]]([[VALUE]])
// CHECK-NEXT: return [[RESULT]]
sil hidden @test_specialize_default_witness_method : $@convention(thin) (@in_guaranteed ConformingStruct) -> () {
bb0(%0 : $*ConformingStruct):
%fn = function_ref @defaultA : $@convention(witness_method: ResilientProtocol) <T where T : ResilientProtocol> (@in_guaranteed T) -> ()
%result = apply %fn<ConformingStruct>(%0) : $@convention(witness_method: ResilientProtocol) <T where T : ResilientProtocol> (@in_guaranteed T) -> ()
return %result : $()
}
|
