@@ -30,47 +30,47 @@ sil @coro : $@yield_once @convention(thin) () -> @yields @guaranteed C
30
30
31
31
// The introducer of an introducer is always itself.
32
32
33
- // CHECK-LABEL: introducer_identity: find-borrow-introducers with: %0
33
+ // CHECK-LABEL: introducer_identity: find_borrow_introducers with: %0
34
34
// CHECK: } // end sil function 'introducer_identity'
35
35
// CHECK: Introducers:
36
36
// CHECK-NEXT: %0 = argument of bb0 : $C
37
- // CHECK-NEXT: introducer_identity: find-borrow-introducers with: %0
37
+ // CHECK-NEXT: introducer_identity: find_borrow_introducers with: %0
38
38
39
39
// CHECK-LABEL: introducer_identity: borrow_introducers with: %0
40
40
// CHECK: } // end sil function 'introducer_identity'
41
41
// CHECK: Borrow introducers for: %0 = argument of bb0 : $C
42
42
// CHECK-NEXT: %0 = argument of bb0 : $C
43
43
// CHECK-NEXT: introducer_identity: borrow_introducers with: %0
44
44
45
- // CHECK-LABEL: introducer_identity: find-borrow-introducers with: %borrow1
45
+ // CHECK-LABEL: introducer_identity: find_borrow_introducers with: %borrow1
46
46
// CHECK: } // end sil function 'introducer_identity'
47
47
// CHECK: Introducers:
48
48
// CHECK-NEXT: begin_borrow %0 : $C
49
- // CHECK-NEXT: introducer_identity: find-borrow-introducers with: %borrow1
49
+ // CHECK-NEXT: introducer_identity: find_borrow_introducers with: %borrow1
50
50
51
51
// CHECK-LABEL: introducer_identity: borrow_introducers with: %borrow1
52
52
// CHECK: } // end sil function 'introducer_identity'
53
53
// CHECK: Borrow introducers for: %{{.*}} = begin_borrow %0 : $C
54
54
// CHECK-NEXT: begin_borrow %0 : $C
55
55
// CHECK-NEXT: introducer_identity: borrow_introducers with: %borrow1
56
56
57
- // CHECK-LABEL: introducer_identity: find-borrow-introducers with: %borrow2
57
+ // CHECK-LABEL: introducer_identity: find_borrow_introducers with: %borrow2
58
58
// CHECK: } // end sil function 'introducer_identity'
59
59
// CHECK: Introducers:
60
60
// CHECK-NEXT: load_borrow %1 : $*C
61
- // CHECK-NEXT: introducer_identity: find-borrow-introducers with: %borrow2
61
+ // CHECK-NEXT: introducer_identity: find_borrow_introducers with: %borrow2
62
62
63
63
// CHECK-LABEL: introducer_identity: borrow_introducers with: %borrow2
64
64
// CHECK: } // end sil function 'introducer_identity'
65
65
// CHECK: Borrow introducers for: {{.*}} = load_borrow %1 : $*C
66
66
// CHECK-NEXT: load_borrow %1 : $*C
67
67
// CHECK-NEXT: introducer_identity: borrow_introducers with: %borrow2
68
68
69
- // CHECK-LABEL: introducer_identity: find-borrow-introducers with: %reborrow
69
+ // CHECK-LABEL: introducer_identity: find_borrow_introducers with: %reborrow
70
70
// CHECK: } // end sil function 'introducer_identity'
71
71
// CHECK: Introducers:
72
72
// CHECK-NEXT: argument of bb1 : $C
73
- // CHECK-NEXT: introducer_identity: find-borrow-introducers with: %reborrow
73
+ // CHECK-NEXT: introducer_identity: find_borrow_introducers with: %reborrow
74
74
75
75
// CHECK-LABEL: introducer_identity: borrow_introducers with: %reborrow
76
76
// CHECK: } // end sil function 'introducer_identity'
@@ -79,21 +79,21 @@ sil @coro : $@yield_once @convention(thin) () -> @yields @guaranteed C
79
79
// CHECK-NEXT: introducer_identity: borrow_introducers with: %reborrow
80
80
sil [ossa] @introducer_identity : $@convention(thin) (@guaranteed C, @in C) -> () {
81
81
entry(%0 : @guaranteed $C, %1 : $*C):
82
- specify_test "find-borrow-introducers %0"
82
+ specify_test "find_borrow_introducers %0"
83
83
specify_test "borrow_introducers %0"
84
84
%borrow1 = begin_borrow %0 : $C
85
- specify_test "find-borrow-introducers %borrow1"
85
+ specify_test "find_borrow_introducers %borrow1"
86
86
specify_test "borrow_introducers %borrow1"
87
87
88
88
%borrow2 = load_borrow %1 : $*C
89
- specify_test "find-borrow-introducers %borrow2"
89
+ specify_test "find_borrow_introducers %borrow2"
90
90
specify_test "borrow_introducers %borrow2"
91
91
end_borrow %borrow2 : $C
92
92
93
93
br exit(%borrow1 : $C)
94
94
95
95
exit(%reborrow : @guaranteed $C):
96
- specify_test "find-borrow-introducers %reborrow"
96
+ specify_test "find_borrow_introducers %reborrow"
97
97
specify_test "borrow_introducers %reborrow"
98
98
end_borrow %reborrow : $C
99
99
destroy_addr %1 : $*C
@@ -104,10 +104,10 @@ exit(%reborrow : @guaranteed $C):
104
104
// There is no introducer if the guaranteed value is produced from a
105
105
// trivial value.
106
106
107
- // CHECK-LABEL: introducer_trivial: find-borrow-introducers with: %phi
107
+ // CHECK-LABEL: introducer_trivial: find_borrow_introducers with: %phi
108
108
// CHECK: } // end sil function 'introducer_trivial'
109
109
// CHECK: Introducers:
110
- // CHECK-NEXT: introducer_trivial: find-borrow-introducers with: %phi
110
+ // CHECK-NEXT: introducer_trivial: find_borrow_introducers with: %phi
111
111
112
112
// CHECK-LABEL: introducer_trivial: borrow_introducers with: %phi
113
113
// CHECK: } // end sil function 'introducer_trivial'
@@ -120,7 +120,7 @@ entry:
120
120
br none(%trivial : $FakeOptional<C>)
121
121
122
122
none(%phi : @guaranteed $FakeOptional<C>):
123
- specify_test "find-borrow-introducers %phi"
123
+ specify_test "find_borrow_introducers %phi"
124
124
specify_test "borrow_introducers %phi"
125
125
%retval = tuple ()
126
126
return %retval : $()
@@ -131,11 +131,11 @@ none(%phi : @guaranteed $FakeOptional<C>):
131
131
// TODO: When we have a reborrow flag, an unreachable phi can be
132
132
// either a reborrow or forwarded, as long as it has no end_borrow.
133
133
134
- // CHECK-LABEL: introducer_unreachable: find-borrow-introducers with: %phiCycle
134
+ // CHECK-LABEL: introducer_unreachable: find_borrow_introducers with: %phiCycle
135
135
// CHECK: } // end sil function 'introducer_unreachable'
136
136
// CHECK: Introducers:
137
137
// CHECK-NEXT: argument of bb1 : $C
138
- // CHECK-NEXT: introducer_unreachable: find-borrow-introducers with: %phiCycle
138
+ // CHECK-NEXT: introducer_unreachable: find_borrow_introducers with: %phiCycle
139
139
140
140
// CHECK-LABEL: introducer_unreachable: borrow_introducers with: %phiCycle
141
141
// CHECK: } // end sil function 'introducer_unreachable'
@@ -147,7 +147,7 @@ entry:
147
147
br exit
148
148
149
149
unreachable_loop(%phiCycle : @guaranteed $C):
150
- specify_test "find-borrow-introducers %phiCycle"
150
+ specify_test "find_borrow_introducers %phiCycle"
151
151
specify_test "borrow_introducers %phiCycle"
152
152
br unreachable_loop(%phiCycle : $C)
153
153
@@ -159,11 +159,11 @@ exit:
159
159
// All data flow paths through phis and aggregates originate from the
160
160
// same function argument.
161
161
162
- // CHECK-LABEL: introducer_single: find-borrow-introducers with: %aggregate2
162
+ // CHECK-LABEL: introducer_single: find_borrow_introducers with: %aggregate2
163
163
// CHECK: } // end sil function 'introducer_single'
164
164
// CHECK: Introducers:
165
165
// CHECK-NEXT: %0 = argument of bb0 : $C
166
- // CHECK-NEXT: introducer_single: find-borrow-introducers with: %aggregate2
166
+ // CHECK-NEXT: introducer_single: find_borrow_introducers with: %aggregate2
167
167
168
168
// CHECK-LABEL: introducer_single: borrow_introducers with: %aggregate2
169
169
// CHECK: } // end sil function 'introducer_single'
@@ -185,7 +185,7 @@ bb1(%payload : @guaranteed $D):
185
185
%first = struct_extract %aggregate : $PairC, #PairC.first
186
186
%second = struct_extract %aggregate : $PairC, #PairC.second
187
187
%aggregate2 = struct $PairC(%first : $C, %second : $C)
188
- specify_test "find-borrow-introducers %aggregate2"
188
+ specify_test "find_borrow_introducers %aggregate2"
189
189
specify_test "borrow_introducers %aggregate2"
190
190
br exit
191
191
@@ -205,13 +205,13 @@ exit:
205
205
// %reborrow. Therefore, %reborrow is an introducer from separate phi
206
206
// paths, but should only appear in the introducer list once.
207
207
//
208
- // CHECK-LABEL: introducer_revisit_reborrow: find-borrow-introducers with: %aggregate2
208
+ // CHECK-LABEL: introducer_revisit_reborrow: find_borrow_introducers with: %aggregate2
209
209
// CHECK: bb1([[REBORROW:%.*]] : @reborrow @guaranteed $C
210
210
// CHECK: } // end sil function 'introducer_revisit_reborrow'
211
211
// CHECK: Introducers:
212
212
// CHECK-NEXT: [[REBORROW]] = argument of bb1 : $C
213
213
// CHECK-NEXT: %0 = argument of bb0 : $C
214
- // CHECK-NEXT: introducer_revisit_reborrow: find-borrow-introducers with: %aggregate2
214
+ // CHECK-NEXT: introducer_revisit_reborrow: find_borrow_introducers with: %aggregate2
215
215
216
216
// CHECK-LABEL: introducer_revisit_reborrow: borrow_introducers with: %aggregate2
217
217
// CHECK: bb1([[REBORROW:%.*]] : @reborrow @guaranteed $C
@@ -229,7 +229,7 @@ entry(%0 : @guaranteed $C):
229
229
bb2(%reborrow : @guaranteed $C, %phi : @guaranteed $PairC):
230
230
%first = struct_extract %phi : $PairC, #PairC.first
231
231
%aggregate2 = struct $PairC(%reborrow : $C, %first : $C)
232
- specify_test "find-borrow-introducers %aggregate2"
232
+ specify_test "find_borrow_introducers %aggregate2"
233
233
specify_test "borrow_introducers %aggregate2"
234
234
br exit
235
235
@@ -242,7 +242,7 @@ exit:
242
242
// %phi originates from %0, %borrow1, & %borrow2. %borrow1 is, however,
243
243
// reborrowed in bb2.
244
244
245
- // CHECK-LABEL: introducer_multiple_borrow: find-borrow-introducers with: %aggregate2
245
+ // CHECK-LABEL: introducer_multiple_borrow: find_borrow_introducers with: %aggregate2
246
246
// CHECK: begin_borrow %0 : $C
247
247
// CHECK: [[BORROW2:%.*]] = begin_borrow %0 : $C
248
248
// CHECK: bb1([[REBORROW:%.*]] : @reborrow @guaranteed $C
@@ -251,7 +251,7 @@ exit:
251
251
// CHECK-NEXT: [[REBORROW]] = argument of bb1 : $C
252
252
// CHECK-NEXT: %0 = argument of bb0 : $C
253
253
// CHECK-NEXT: [[BORROW2]] = begin_borrow %0 : $C
254
- // CHECK-NEXT: introducer_multiple_borrow: find-borrow-introducers with: %aggregate2
254
+ // CHECK-NEXT: introducer_multiple_borrow: find_borrow_introducers with: %aggregate2
255
255
256
256
// CHECK-LABEL: introducer_multiple_borrow: borrow_introducers with: %aggregate2
257
257
// CHECK: begin_borrow %0 : $C
@@ -273,7 +273,7 @@ entry(%0 : @guaranteed $C):
273
273
bb2(%reborrow : @guaranteed $C, %phi : @guaranteed $PairC):
274
274
%first = struct_extract %phi : $PairC, #PairC.first
275
275
%aggregate2 = struct $PairC(%reborrow : $C, %first : $C)
276
- specify_test "find-borrow-introducers %aggregate2"
276
+ specify_test "find_borrow_introducers %aggregate2"
277
277
specify_test "borrow_introducers %aggregate2"
278
278
br exit
279
279
@@ -284,36 +284,36 @@ exit:
284
284
return %retval : $()
285
285
}
286
286
287
- // CHECK-LABEL: introducer_dependence: find-borrow-introducers with: %dependent
287
+ // CHECK-LABEL: introducer_dependence: find_borrow_introducers with: %dependent
288
288
// CHECK: Introducers:
289
289
// CHECK: %0 = argument of bb0 : $C
290
- // CHECK-LABEL: introducer_dependence: find-borrow-introducers with: %dependent
290
+ // CHECK-LABEL: introducer_dependence: find_borrow_introducers with: %dependent
291
291
292
292
// CHECK-LABEL: introducer_dependence: borrow_introducers with: %dependent
293
293
// CHECK: Borrow introducers for: %{{.*}} = mark_dependence %0 : $C on %1 : $Builtin.NativeObject
294
294
// CHECK: %0 = argument of bb0 : $C
295
295
// CHECK-NEXT: introducer_dependence: borrow_introducers with: %dependent
296
296
sil [ossa] @introducer_dependence : $@convention(thin) (@guaranteed C, @guaranteed Builtin.NativeObject) -> () {
297
297
entry(%0 : @guaranteed $C, %1 : @guaranteed $Builtin.NativeObject):
298
- specify_test "find-borrow-introducers %dependent"
298
+ specify_test "find_borrow_introducers %dependent"
299
299
specify_test "borrow_introducers %dependent"
300
300
%dependent = mark_dependence %0 : $C on %1 : $Builtin.NativeObject
301
301
%retval = tuple ()
302
302
return %retval : $()
303
303
}
304
304
305
- // CHECK-LABEL: introducer_bridge: find-borrow-introducers with: %bridge
305
+ // CHECK-LABEL: introducer_bridge: find_borrow_introducers with: %bridge
306
306
// CHECK: Introducers:
307
307
// CHECK: %0 = argument of bb0 : $C
308
- // CHECK-LABEL: introducer_bridge: find-borrow-introducers with: %bridge
308
+ // CHECK-LABEL: introducer_bridge: find_borrow_introducers with: %bridge
309
309
310
310
// CHECK-LABEL: introducer_bridge: borrow_introducers with: %bridge
311
311
// CHECK: Borrow introducers for: %{{.*}} = ref_to_bridge_object %0 : $C, %1 : $Builtin.Word
312
312
// CHECK: %0 = argument of bb0 : $C
313
313
// CHECK-NEXT: introducer_bridge: borrow_introducers with: %bridge
314
314
sil [ossa] @introducer_bridge : $@convention(thin) (@guaranteed C, Builtin.Word) -> () {
315
315
entry(%0 : @guaranteed $C, %1 : $Builtin.Word):
316
- specify_test "find-borrow-introducers %bridge"
316
+ specify_test "find_borrow_introducers %bridge"
317
317
specify_test "borrow_introducers %bridge"
318
318
%bridge = ref_to_bridge_object %0 : $C, %1 : $Builtin.Word
319
319
%retval = tuple ()
0 commit comments