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
|
// RUN: %target-swift-emit-silgen %s | %FileCheck %s
struct S {
func callAsFunction(_ x: Int) -> Int! { nil }
}
protocol P1 {
func callAsFunction()
}
protocol P2 {
func callAsFunction() -> Self
}
class C {
func callAsFunction(_ x: String) -> Self { return self }
}
// CHECK-LABEL: sil hidden [ossa] @$s16call_as_function05test_a1_b1_C0yyAA1SV_AA2P1_pAA2P2_pxtAA1CCRbzlF : $@convention(thin) <T where T : C> (S, @in_guaranteed any P1, @in_guaranteed any P2, @guaranteed T) -> ()
func test_call_as_function<T : C>(_ s: S, _ p1: P1, _ p2: P2, _ t: T) {
// CHECK: function_ref @$s16call_as_function1SV0A10AsFunctionySiSgSiF : $@convention(method) (Int, S) -> Optional<Int>
// CHECK: switch_enum %{{.+}} : $Optional<Int>
let _: Int = s(0)
// https://github.com/apple/swift/issues/55035
// SILGen crash on existential callAsFunction.
//
// CHECK: witness_method $@opened({{.+}}, any P1) Self, #P1.callAsFunction : <Self where Self : P1> (Self) -> () -> ()
p1()
// CHECK: witness_method $@opened({{.+}}, any P2) Self, #P2.callAsFunction : <Self where Self : P2> (Self) -> () -> Self
_ = p2()
// CHECK: class_method %{{.+}} : $C, #C.callAsFunction : (C) -> (String) -> @dynamic_self C, $@convention(method) (@guaranteed String, @guaranteed C) -> @owned C
// CHECK: unchecked_ref_cast %{{.+}} : $C to $T
_ = t("")
}
|
