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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
// RUN: %target-sil-opt -enable-sil-verify-all %s -onone-simplification -simplify-instruction=checked_cast_addr_br | %FileCheck %s
// REQUIRES: swift_in_compiler
import Swift
import Builtin
class X {}
class D: X {}
struct S {
var x: X
}
// CHECK-LABEL: sil @same_type_take_always
// CHECK: copy_addr [take] %1 to [init] %0 : $*X
// CHECK-NEXT: br bb1
// CHECK: bb1:
// CHECK-NEXT: tuple
// CHECK-NEXT: return
// CHECK-NOT: bb2:
// CHECK: } // end sil function 'same_type_take_always'
sil @same_type_take_always : $@convention(thin) (@in X) -> @out X {
bb0(%0 : $*X, %1 : $*X):
checked_cast_addr_br take_always X in %1 : $*X to X in %0 : $*X, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// CHECK-LABEL: sil @same_type_take_on_success
// CHECK: copy_addr [take] %1 to [init] %0 : $*X
// CHECK-NEXT: br bb1
// CHECK: bb1:
// CHECK-NEXT: tuple
// CHECK-NEXT: return
// CHECK-NOT: bb2:
// CHECK: } // end sil function 'same_type_take_on_success'
sil @same_type_take_on_success : $@convention(thin) (@in X) -> @out X {
bb0(%0 : $*X, %1 : $*X):
checked_cast_addr_br take_on_success X in %1 : $*X to X in %0 : $*X, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// CHECK-LABEL: sil @same_type_copy_on_success
// CHECK: copy_addr %1 to [init] %0 : $*X
// CHECK-NEXT: br bb1
// CHECK: bb1:
// CHECK-NEXT: tuple
// CHECK-NEXT: return
// CHECK-NOT: bb2:
// CHECK: } // end sil function 'same_type_copy_on_success'
sil @same_type_copy_on_success : $@convention(thin) (@in X) -> @out X {
bb0(%0 : $*X, %1 : $*X):
checked_cast_addr_br copy_on_success X in %1 : $*X to X in %0 : $*X, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// CHECK-LABEL: sil @fail_with_take_always
// CHECK: bb0(%0 : $*S, %1 : $*String):
// CHECK-NEXT: destroy_addr %1 : $*String
// CHECK-NEXT: br bb1
// CHECK: bb1:
// CHECK-NEXT: unreachable
// CHECK: } // end sil function 'fail_with_take_always'
sil @fail_with_take_always : $@convention(thin) (@in String) -> @out S {
bb0(%0 : $*S, %1 : $*String):
checked_cast_addr_br take_always String in %1 : $*String to S in %0 : $*S, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// CHECK-LABEL: sil @fail_with_take_on_success
// CHECK: bb0(%0 : $*S, %1 : $*String):
// CHECK-NEXT: br bb1
// CHECK: bb1:
// CHECK-NEXT: unreachable
// CHECK: } // end sil function 'fail_with_take_on_success'
sil @fail_with_take_on_success : $@convention(thin) (@in String) -> @out S {
bb0(%0 : $*S, %1 : $*String):
checked_cast_addr_br take_on_success String in %1 : $*String to S in %0 : $*S, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// CHECK-LABEL: sil @fail_with_copy_on_success
// CHECK: bb0(%0 : $*S, %1 : $*String):
// CHECK-NEXT: br bb1
// CHECK: bb1:
// CHECK-NEXT: unreachable
// CHECK: } // end sil function 'fail_with_copy_on_success'
sil @fail_with_copy_on_success : $@convention(thin) (@in String) -> @out S {
bb0(%0 : $*S, %1 : $*String):
checked_cast_addr_br copy_on_success String in %1 : $*String to S in %0 : $*S, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// CHECK-LABEL: sil @unknown_result
// CHECK: checked_cast_addr_br
// CHECK: } // end sil function 'unknown_result'
sil @unknown_result : $@convention(thin) (@in X) -> @out D {
bb0(%0 : $*D, %1 : $*X):
checked_cast_addr_br copy_on_success X in %1 : $*X to D in %0 : $*D, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
// Check that we don't crash on this
sil @success_but_different_operand_type : $@convention(thin) (@in D) -> @out X {
bb0(%0 : $*X, %1 : $*D):
checked_cast_addr_br copy_on_success D in %1 : $*D to X in %0 : $*X, bb1, bb2
bb1:
%r = tuple()
return %r : $()
bb2:
unreachable
}
|
