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
|
// RUN: %target-sil-opt -enable-sil-verify-all -O %s | %FileCheck %s
sil_stage raw
import Swift
public class SelfCasts {
}
// CHECK-LABEL: sil @$dynamic_self_cast_1 : $@convention(method) (@guaranteed SelfCasts, @thick SelfCasts.Type) -> @owned Optional<SelfCasts>
sil @$dynamic_self_cast_1 : $@convention(method) (@guaranteed SelfCasts, @thick SelfCasts.Type) -> @owned Optional<SelfCasts> {
bb0(%0 : $SelfCasts, %1 : $@thick SelfCasts.Type):
strong_retain %0 : $SelfCasts
// CHECK: checked_cast_br
checked_cast_br SelfCasts in %0 : $SelfCasts to @dynamic_self SelfCasts, bb1, bb2
bb1(%7 : $SelfCasts):
%8 = enum $Optional<SelfCasts>, #Optional.some!enumelt, %7 : $SelfCasts
br bb3(%8 : $Optional<SelfCasts>)
bb2:
strong_release %0 : $SelfCasts
%11 = enum $Optional<SelfCasts>, #Optional.none!enumelt
br bb3(%11 : $Optional<SelfCasts>)
bb3(%13 : $Optional<SelfCasts>):
return %13 : $Optional<SelfCasts>
}
// CHECK-LABEL: sil {{.*}}@$dynamic_self_cast_2 : $@convention(method) (@guaranteed SelfCasts, @thick SelfCasts.Type) -> @owned Optional<SelfCasts>
sil @$dynamic_self_cast_2 : $@convention(method) (@guaranteed SelfCasts, @thick SelfCasts.Type) -> @owned Optional<SelfCasts> {
bb0(%0 : $SelfCasts, %1 : $@thick SelfCasts.Type):
strong_retain %0 : $SelfCasts
// CHECK-NOT: checked_cast_br
checked_cast_br SelfCasts in %0 : $SelfCasts to SelfCasts, bb1, bb2
bb1(%7 : $SelfCasts):
%8 = enum $Optional<SelfCasts>, #Optional.some!enumelt, %7 : $SelfCasts
br bb3(%8 : $Optional<SelfCasts>)
bb2:
strong_release %0 : $SelfCasts
%11 = enum $Optional<SelfCasts>, #Optional.none!enumelt
br bb3(%11 : $Optional<SelfCasts>)
bb3(%13 : $Optional<SelfCasts>):
return %13 : $Optional<SelfCasts>
}
|
