@@ -1417,7 +1417,7 @@ bb0:
1417
1417
return %retval : $()
1418
1418
} // end sil function '$ss17FixedWidthIntegerPsEyxSgSScfC'
1419
1419
1420
- sil hidden [ossa] @testBeginApplyDeadYield : $@convention(thin) <T> (@guaranteed TestGeneric<T>) -> () {
1420
+ sil hidden [ossa] @testBeginApply1DeadYield : $@convention(thin) <T> (@guaranteed TestGeneric<T>) -> () {
1421
1421
bb0(%0 : @guaranteed $TestGeneric<T>):
1422
1422
%2 = class_method %0 : $TestGeneric<T>, #TestGeneric.borrowedGeneric!read : <T> (TestGeneric<T>) -> () -> (), $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
1423
1423
(%3, %4) = begin_apply %2<T>(%0) : $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
@@ -1428,7 +1428,7 @@ bb0(%0 : @guaranteed $TestGeneric<T>):
1428
1428
1429
1429
class Klass {}
1430
1430
1431
- // CHECK-LABEL: sil hidden [ossa] @testBeginApplyLoadableYieldWithIndirectConv :
1431
+ // CHECK-LABEL: sil hidden [ossa] @testBeginApply2LoadableYieldWithIndirectConv :
1432
1432
// CHECK: bb0(%0 : @guaranteed $TestGeneric<Klass>):
1433
1433
// CHECK: [[STK:%.*]] = alloc_stack $Klass
1434
1434
// CHECK: [[METH:%.*]] = class_method %0 : $TestGeneric<Klass>, #TestGeneric.borrowedGeneric!read : <T> (TestGeneric<T>) -> () -> (), $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
@@ -1437,7 +1437,7 @@ class Klass {}
1437
1437
// CHECK: end_apply [[TOK]]
1438
1438
// CHECK: destroy_addr [[STK]] : $*Klass
1439
1439
// CHECK-LABEL: }
1440
- sil hidden [ossa] @testBeginApplyLoadableYieldWithIndirectConv : $@convention(thin) <Klass> (@guaranteed TestGeneric<Klass>) -> () {
1440
+ sil hidden [ossa] @testBeginApply2LoadableYieldWithIndirectConv : $@convention(thin) <Klass> (@guaranteed TestGeneric<Klass>) -> () {
1441
1441
bb0(%0 : @guaranteed $TestGeneric<Klass>):
1442
1442
%2 = class_method %0 : $TestGeneric<Klass>, #TestGeneric.borrowedGeneric!read : <Klass> (TestGeneric<Klass>) -> () -> (), $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
1443
1443
(%3, %4) = begin_apply %2<Klass>(%0) : $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
@@ -1448,16 +1448,16 @@ bb0(%0 : @guaranteed $TestGeneric<Klass>):
1448
1448
return %10 : $()
1449
1449
}
1450
1450
1451
- // CHECK-LABEL: sil hidden [ossa] @testBeginApplyOpaqueYield :
1451
+ // CHECK-LABEL: sil hidden [ossa] @testBeginApply3OpaqueYield :
1452
1452
// CHECK: bb0(%0 : @guaranteed $TestGeneric<T>):
1453
1453
// CHECK: [[STK:%.*]] = alloc_stack $T
1454
1454
// CHECK: [[M:%.*]] = class_method %0 : $TestGeneric<T>, #TestGeneric.borrowedGeneric!read : <T> (TestGeneric<T>) -> () -> (), $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
1455
1455
// CHECK: ([[Y:%.*]], [[TOK:%.*]]) = begin_apply %2<T>(%0) : $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
1456
1456
// CHECK: copy_addr [[Y]] to [init] [[STK]] : $*T
1457
1457
// CHECK: end_apply [[TOK]]
1458
1458
// CHECK: destroy_addr [[STK]] : $*T
1459
- // CHECK-LABEL: } // end sil function 'testBeginApplyOpaqueYield '
1460
- sil hidden [ossa] @testBeginApplyOpaqueYield : $@convention(thin) <T> (@guaranteed TestGeneric<T>) -> () {
1459
+ // CHECK-LABEL: } // end sil function 'testBeginApply3OpaqueYield '
1460
+ sil hidden [ossa] @testBeginApply3OpaqueYield : $@convention(thin) <T> (@guaranteed TestGeneric<T>) -> () {
1461
1461
bb0(%0 : @guaranteed $TestGeneric<T>):
1462
1462
%2 = class_method %0 : $TestGeneric<T>, #TestGeneric.borrowedGeneric!read : <T> (TestGeneric<T>) -> () -> (), $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
1463
1463
(%3, %4) = begin_apply %2<T>(%0) : $@yield_once @convention(method) <τ_0_0> (@guaranteed TestGeneric<τ_0_0>) -> @yields @in_guaranteed τ_0_0
0 commit comments