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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
// RUN: %target-swift-frontend -emit-sil -verify %s
sil_stage canonical
import Swift
indirect enum TreeA<T> {
case Nil
case Leaf(T)
case Branch(left: TreeA<T>, right: TreeA<T>)
}
enum TreeB<T> {
case Nil
case Leaf(T)
indirect case Branch(left: TreeB<T>, right: TreeB<T>)
}
enum TreeInt {
case Nil
case Leaf(Int)
indirect case Branch(left: TreeInt, right: TreeInt)
}
sil @indirect_enum : $@convention(thin) <T> (@owned TreeA<T>) -> () {
entry(%e : $TreeA<T>):
%a = unchecked_enum_data %e : $TreeA<T>, #TreeA.Leaf!enumelt
%b = project_box %a : $<τ_0_0> { var τ_0_0 } <T>, 0
%c = unchecked_enum_data %e : $TreeA<T>, #TreeA.Branch!enumelt
%d = project_box %c : $<τ_0_0> { var (left: TreeA<τ_0_0>, right: TreeA<τ_0_0>) } <T>, 0
return undef : $()
}
sil @indirect_enum_case_addr_only : $@convention(thin) <T> (@in TreeB<T>) -> () {
entry(%e : $*TreeB<T>):
%a = unchecked_take_enum_data_addr %e : $*TreeB<T>, #TreeB.Leaf!enumelt
destroy_addr %a : $*T
%c = unchecked_take_enum_data_addr %e : $*TreeB<T>, #TreeB.Branch!enumelt
%d = load %c : $*<τ_0_0> { var (left: TreeB<τ_0_0>, right: TreeB<τ_0_0>) } <T>
return undef : $()
}
sil @indirect_enum_case_loadable : $@convention(thin) (@owned TreeInt) -> () {
entry(%e : $TreeInt):
%a = unchecked_enum_data %e : $TreeInt, #TreeInt.Leaf!enumelt
store %a to undef : $*Int
%c = unchecked_enum_data %e : $TreeInt, #TreeInt.Branch!enumelt
%d = project_box %c : ${ var (left: TreeInt, right: TreeInt) }, 0
return undef : $()
}
|
