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
93
94
95
96
97
98
99
100
101
|
// RUN: %target-sil-opt -enable-sil-verify-all %s -simplification -simplify-instruction=br | %FileCheck %s
// RUN: %target-sil-opt -enable-sil-verify-all %s -onone-simplification -simplify-instruction=br -sil-print-debuginfo | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ONONE
// REQUIRES: swift_in_compiler
import Swift
import Builtin
// CHECK-LABEL: sil @merge_blocks_same_location1
// CHECK: %0 = integer_literal $Builtin.Int64, 0
// CHECK: fix_lifetime %0 : $Builtin.Int64
// CHECK: return %0 : $Builtin.Int64
// CHECK: } // end sil function 'merge_blocks_same_location1'
sil @merge_blocks_same_location1 : $@convention(thin) () -> Builtin.Int64 {
bb0:
%0 = integer_literal $Builtin.Int64, 0
br bb1(%0 : $Builtin.Int64), loc "a.swift":1:1
bb1(%2 : $Builtin.Int64):
fix_lifetime %2 : $Builtin.Int64, loc "a.swift":1:1
return %2 : $Builtin.Int64
}
// CHECK-LABEL: sil @merge_blocks_same_location2
// CHECK: %0 = integer_literal $Builtin.Int64, 0
// CHECK: fix_lifetime %0 : $Builtin.Int64
// CHECK: return %0 : $Builtin.Int64
// CHECK: } // end sil function 'merge_blocks_same_location2'
sil @merge_blocks_same_location2 : $@convention(thin) () -> Builtin.Int64 {
bb0:
%0 = integer_literal $Builtin.Int64, 0, loc "a.swift":1:1
br bb1(%0 : $Builtin.Int64), loc "a.swift":1:1
bb1(%2 : $Builtin.Int64):
fix_lifetime %2 : $Builtin.Int64
return %2 : $Builtin.Int64
}
// CHECK-LABEL: sil @merge_blocks_different_locations
// CHECK: %0 = integer_literal $Builtin.Int64, 0
// CHECK-ONONE: debug_step , loc "a.swift":2:1
// CHECK: fix_lifetime %0 : $Builtin.Int64
// CHECK: return %0 : $Builtin.Int64
// CHECK: } // end sil function 'merge_blocks_different_locations'
sil @merge_blocks_different_locations : $@convention(thin) () -> Builtin.Int64 {
bb0:
%0 = integer_literal $Builtin.Int64, 0, loc "a.swift":1:1
br bb1(%0 : $Builtin.Int64), loc "a.swift":2:1
bb1(%2 : $Builtin.Int64):
fix_lifetime %2 : $Builtin.Int64, loc "a.swift":3:1
return %2 : $Builtin.Int64
}
// CHECK-LABEL: sil @dont_merge_blocks
// CHECK: bb1:
// CHECK-NEXT: br bb3
// CHECK: bb2:
// CHECK-NEXT: br bb3
// CHECK: } // end sil function 'dont_merge_blocks'
sil @dont_merge_blocks : $@convention(thin) () -> () {
bb0:
cond_br undef, bb1, bb2
bb1:
br bb3
bb2:
br bb3
bb3:
%r = tuple ()
return %r : $()
}
// CHECK-LABEL: sil @dont_merge_block_in_single_cycle
// CHECK: bb1:
// CHECK-NEXT: br bb1
// CHECK: } // end sil function 'dont_merge_block_in_single_cycle'
sil @dont_merge_block_in_single_cycle : $@convention(thin) () -> () {
bb0:
br bb1
bb1:
br bb1
}
// CHECK-LABEL: sil @dont_crash_with_unreachable_invalid_dominance
// CHECK-NOT: bb1
// CHECK: } // end sil function 'dont_crash_with_unreachable_invalid_dominance'
sil @dont_crash_with_unreachable_invalid_dominance : $@convention(thin) (Builtin.Int64) -> Builtin.Int64 {
bb0(%0 : $Builtin.Int64):
return %0 : $Builtin.Int64
bb1(%2 : $Builtin.Int64):
br bb2
bb2:
br bb1(%2 : $Builtin.Int64)
}
|
