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
|
// RUN: not --crash %target-sil-opt -enable-sil-verify-all %s -cse
// Move this test case to 'test/SILOptimizer/cse_open_existential_ref.sil' once
// it is fixed.
import Builtin
import Swift
protocol P {}
sil @test_br_use : $@convention(thin) (@guaranteed any P) -> () {
bb0(%p : $any P):
%blackhole = function_ref @blackhole : $@convention(thin) <τ_0_0> (@guaranteed τ_0_0) -> ()
%opened1 = open_existential_ref %p : $any P to $@opened("00000000-0000-0000-0000-000000000009", any P) Self
// Don't let the first opened existential get optimized away.
%void1 = apply %blackhole<@opened("00000000-0000-0000-0000-000000000009", any P) Self>(%opened1) : $@convention(thin) <τ_0_0> (@guaranteed τ_0_0) -> ()
%opened2 = open_existential_ref %p : $any P to $@opened("00000000-0000-0000-0000-000000000010", any P) Self
br bb1(%opened2 : $@opened("00000000-0000-0000-0000-000000000010", any P) Self)
bb1(%arg : $@opened("00000000-0000-0000-0000-000000000010", any P) Self):
%optional = enum $Optional<@opened("00000000-0000-0000-0000-000000000010", any P) Self>, #Optional.some!enumelt, %arg : $@opened("00000000-0000-0000-0000-000000000010", any P) Self
%void2 = apply %blackhole<Optional<@opened("00000000-0000-0000-0000-000000000010", any P) Self>>(%optional) : $@convention(thin) <τ_0_0> (@guaranteed τ_0_0) -> ()
%result = tuple ()
return %result : $()
}
|
