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
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: %target-swift-emit-silgen -enable-sil-opaque-values -Xllvm -sil-full-demangle -enable-library-evolution %s | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-runtime
// CHECK-LABEL: sil [ossa] @$s30opaque_values_silgen_resilient10OneOfTheseO4hash4intoys6HasherVz_tF : {{.*}} {
// CHECK: {{bb[0-9]+}}({{%[^,]+}} : $*Hasher, [[ENUM:%[^,]+]] : @guaranteed $OneOfThese):
// CHECK: switch_enum [[ENUM]] : $OneOfThese, case #OneOfThese.loadable!enumelt: [[LOADABLE:bb[0-9]+]], case #OneOfThese.resilient!enumelt: [[RESILIENT:bb[0-9]+]]
// CHECK: [[LOADABLE]]([[LOADABLE_BOX:%[^,]+]] :
// CHECK: [[LOADABLE_ADDR:%[^,]+]] = project_box [[LOADABLE_BOX]]
// CHECK: load_borrow [[LOADABLE_ADDR]] : $*OneOfThese.Loadable
// CHECK: [[RESILIENT]]([[RESILIENT_BOX:%[^,]+]] :
// CHECK: [[RESILIENT_ADDR:%[^,]+]] = project_box [[RESILIENT_BOX]]
// CHECK: load_borrow [[RESILIENT_ADDR]] : $*OneOfThese.Resilient
// CHECK-LABEL: } // end sil function '$s30opaque_values_silgen_resilient10OneOfTheseO4hash4intoys6HasherVz_tF'
@frozen
public indirect enum OneOfThese : Hashable {
@frozen
public struct Loadable : Hashable {
var o: AnyHashable
var i: Int
}
case loadable(Loadable)
public struct Resilient : Hashable {
var o: AnyHashable
var i: Int
}
case resilient(Resilient)
}
public protocol ProtocolWithAYield {
associatedtype Assoc
@_borrowed
subscript() -> Assoc { get }
}
public struct ResilientTrivialStruct {}
public struct StructYieldingAResilientTrivialValue : ProtocolWithAYield {
var i: ResilientTrivialStruct
public typealias Assoc = ResilientTrivialStruct
// CHECK-LABEL: sil {{.*}}@$s30opaque_values_silgen_resilient36StructYieldingAResilientTrivialValueVAA18ProtocolWithAYieldA2aDP5AssocQzycirTW {{.*}} {
// CHECK: yield {{%[^,]+}} : $ResilientTrivialStruct
// CHECK-LABEL: } // end sil function '$s30opaque_values_silgen_resilient36StructYieldingAResilientTrivialValueVAA18ProtocolWithAYieldA2aDP5AssocQzycirTW'
public subscript() -> ResilientTrivialStruct {
_read {
yield i
}
}
}
public struct ResilientNontrivialStruct {
var s: String
}
public struct StructYieldingAResilientNonetrivialValue : ProtocolWithAYield {
var i: ResilientNontrivialStruct
public typealias Assoc = ResilientNontrivialStruct
// CHECK-LABEL: sil {{.*}}@$s30opaque_values_silgen_resilient40StructYieldingAResilientNonetrivialValueVAA18ProtocolWithAYieldA2aDP5AssocQzycirTW {{.*}} {
// CHECK: yield {{%[^,]+}} : $ResilientNontrivialStruct
// CHECK-LABEL: } // end sil function '$s30opaque_values_silgen_resilient40StructYieldingAResilientNonetrivialValueVAA18ProtocolWithAYieldA2aDP5AssocQzycirTW'
public subscript() -> ResilientNontrivialStruct {
_read {
yield i
}
}
}
|
