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
|
// RUN: %target-swift-emit-silgen %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())
}
|
