Skip to content

Commit 3192601

Browse files
committed
[NFC] Test: Added end function check lines.
And deleted some type annotations which don't need to be checked.
1 parent f1f1051 commit 3192601

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

test/SILOptimizer/silgen_cleanup_complete_ossa.sil

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,14 +32,15 @@ protocol P : AnyObject {}
3232

3333
sil @unreachableHandler : $@convention(thin) () -> ()
3434

35-
// CHECK-LABEL: sil [ossa] @testCompleteOSSALifetimes : $@convention(thin) (@owned FakeOptional<Klass>) -> () {
35+
// CHECK-LABEL: sil [ossa] @testCompleteOSSALifetimes : {{.*}} {
3636
// CHECK: [[BOX:%.*]] = alloc_box ${ var FakeOptional<Klass> }, var, name "c"
3737
// CHECK: [[BORROW:%.,*]] = begin_borrow [lexical] [[BOX]] : ${ var FakeOptional<Klass> }
3838
// CHECK: bb2:
3939
// CHECK: apply
4040
// CHECK: end_borrow [[BORROW]] : ${ var FakeOptional<Klass> }
4141
// CHECK: dealloc_box [dead_end] [[BOX]] : ${ var FakeOptional<Klass> }
4242
// CHECK: unreachable
43+
// CHECK-LABEL: } // end sil function 'testCompleteOSSALifetimes'
4344
sil [ossa] @testCompleteOSSALifetimes : $@convention(thin) (@owned FakeOptional<Klass>) -> () {
4445
bb0(%0 : @owned $FakeOptional<Klass>):
4546
%box = alloc_box ${ var FakeOptional<Klass> }, var, name "c"
@@ -73,8 +74,9 @@ bb5:
7374
return %36 : $()
7475
}
7576

76-
// CHECK-LABEL: sil [ossa] @testExistentialLifetime : $@convention(thin) (@owned any P) -> @owned AnyObject {
77+
// CHECK-LABEL: sil [ossa] @testExistentialLifetime : {{.*}} {
7778
// CHECK-NOT: destroy
79+
// CHECK-LABEL: } // end sil function 'testExistentialLifetime'
7880
sil [ossa] @testExistentialLifetime : $@convention(thin) (@owned any P) -> @owned AnyObject {
7981
bb0(%0 : @owned $any P):
8082
%1 = open_existential_ref %0 : $any P to $@opened("34B79428-2E49-11ED-901A-8AC134504E1C", any P) Self

0 commit comments

Comments
 (0)