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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
// RUN: %target-sil-opt %s -dump-deadendblocks -o /dev/null | %FileCheck %s
// REQUIRES: swift_in_compiler
sil_stage canonical
import Builtin
import Swift
// CHECK-LABEL: Function simple_test
// CHECK: [bb2]
// CHECK: end function simple_test
sil @simple_test : $@convention(thin) () -> () {
bb0:
cond_br undef, bb1, bb2
bb1:
br bb3
bb2:
unreachable
bb3:
%r = tuple ()
return %r : $()
}
sil @throwing_fun : $@convention(thin) () -> ((), @error any Error)
// CHECK-LABEL: Function test_throw
// CHECK: [bb1]
// CHECK: end function test_throw
sil @test_throw : $@convention(thin) () -> ((), @error any Error) {
bb0:
%0 = function_ref @throwing_fun : $@convention(thin) () -> ((), @error any Error)
try_apply %0() : $@convention(thin) () -> ((), @error any Error), normal bb1, error bb2
bb1(%2: $()):
unreachable
bb2(%3 : $Error):
throw %3 : $Error
}
// CHECK-LABEL: Function test_unwind
// CHECK: [bb1]
// CHECK: end function test_unwind
sil @test_unwind : $@yield_once @convention(thin) () -> @yields () {
bb0:
%t = tuple ()
yield %t : $(), resume bb1, unwind bb2
bb1:
unreachable
bb2:
unwind
}
// CHECK-LABEL: Function complex_cfg
// CHECK: [bb7,bb8,bb9]
// CHECK: end function complex_cfg
sil @complex_cfg : $@convention(thin) () -> ((), @error any Error) {
bb0:
cond_br undef, bb1, bb7
bb1:
%0 = function_ref @throwing_fun : $@convention(thin) () -> ((), @error any Error)
try_apply %0() : $@convention(thin) () -> ((), @error any Error), normal bb2, error bb3
bb2(%2: $()):
br bb4
bb3(%3 : $Error):
throw %3 : $Error
bb4:
cond_br undef, bb5, bb6
bb5:
br bb4
bb6:
%r = tuple ()
return %r : $()
bb7:
br bb8
bb8:
cond_br undef, bb8, bb9
bb9:
unreachable
}
|
