mirror of
https://github.com/apple/swift.git
synced 2026-10-26 20:15:53 +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.
37 lines
1.3 KiB
Swift
37 lines
1.3 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
|
|
|
|
public protocol P { }
|
|
|
|
func f() -> String {
|
|
print("f()")
|
|
return "Hello"
|
|
}
|
|
|
|
func g<T: P> (_ value: String, _: T) -> String {
|
|
print("g()")
|
|
return value + ", world"
|
|
}
|
|
|
|
extension Int: P { }
|
|
|
|
func getP() -> any P {
|
|
return 17
|
|
}
|
|
|
|
// CHECK: sil [ossa] @$s19opened_existentials4testSSyF : $@convention(thin) () -> @owned String
|
|
public func test() -> String {
|
|
// FIXME: This demonstrates that we are opening the existential out of
|
|
// order. This test will break when we properly update the existential-opening
|
|
// logic to wait until the argument is evaluated.
|
|
|
|
// CHECK: [[PSTACK:%.*]] = alloc_stack $any P
|
|
// CHECK: [[GETP:%.*]] = function_ref @$s19opened_existentials4getPAA1P_pyF : $@convention(thin) () -> @out any P // user: %2
|
|
// CHECK: [[P:%.*]] = apply [[GETP]]([[PSTACK]]) : $@convention(thin) () -> @out any P
|
|
// CHECK: [[OPENEDP:%.*]] = open_existential_addr immutable_access [[PSTACK]] : $*any P to $*@opened
|
|
// CHECK: [[F:%.*]] = function_ref @$s19opened_existentials1fSSyF : $@convention(thin) () -> @owned String
|
|
// CHECK: [[F_RESULT:%.*]] = apply [[F]]() : $@convention(thin) () -> @owned String
|
|
g(f(), getP())
|
|
}
|
|
|