mirror of
https://github.com/apple/swift.git
synced 2026-11-01 23:11:50 +01:00
Kavon Farvardin
d2bd562799
The opaque values test coverage I initially added will emit to stdout, which is noisy for people's logs if the test is failing for some other reason.
40 lines
1.4 KiB
Swift
40 lines
1.4 KiB
Swift
// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values %s
|
|
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types %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("")
|
|
}
|
|
|