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
82
83
84
85
86
87
88
89
90
91
92
|
// RUN: %target-sil-opt -enable-sil-verify-all -compute-dominance-info -compute-loop-info -loop-canonicalizer %s | %FileCheck %s
sil_stage canonical
import Builtin
// Test insertBackedgeBlock.
//
// CHECK-LABEL: insert_backedge_block
// CHECK: bb2:
// CHECK: cond_br undef, bb3, bb5
// CHECK: bb3:
// CHECK: br bb4
// CHECK: bb5:
// CHECK: cond_br undef, bb6, bb7
// CHECK: bb6:
// CHECK: br bb4
sil @insert_backedge_block : $@convention(thin) () -> () {
bb0:
br bb1
bb1:
br bb2
bb2:
cond_br undef, bb3, bb4
bb3:
br bb1
bb4:
cond_br undef, bb5, bb7
bb5:
br bb1
bb7:
return undef : $()
}
// CHECK-LABEL: sil @insert_backedge_block_inner_loop : $@convention(thin) () -> () {
// CHECK: bb1:
// CHECK: br bb2
// CHECK: bb2:
// CHECK: br bb3
// CHECK: bb3:
// CHECK: cond_br undef, bb4, bb6
// CHECK: bb4:
// CHECK: br bb5
// CHECK: bb5:
// CHECK: br bb2
// CHECK: bb6:
// CHECK: cond_br undef, bb7, bb8
// CHECK: bb7:
// CHECK: br bb5
// CHECK: bb8:
// CHECK: cond_br undef, bb9, bb10
// CHECK: bb9:
// CHECK: br bb1
// CHECK: bb10:
// CHECK: return undef
sil @insert_backedge_block_inner_loop : $@convention(thin) () -> () {
bb0:
br bb1
bb1:
br bb2
bb2:
br bb3
bb3:
cond_br undef, bb4, bb5
bb4:
br bb2
bb5:
cond_br undef, bb6, bb7
bb6:
br bb2
bb7:
cond_br undef, bb8, bb9
bb8:
br bb1
bb9:
return undef : $()
}
|
