@@ -346,10 +346,10 @@ bb2:
346
346
347
347
// tests
348
348
349
- // CHECK-LABEL: sil [ossa] @callee_owned_callee_error_owned : $@convention(thin) (@owned C) -> @error Error {
349
+ // CHECK-LABEL: sil [ossa] @caller_owned_callee_error_owned : $@convention(thin) (@owned C) -> @error Error {
350
350
// CHECK-NOT: begin_borrow [lexical]
351
- // CHECK-LABEL: } // end sil function 'callee_owned_callee_error_owned '
352
- sil [ossa] @callee_owned_callee_error_owned : $@convention(thin) (@owned C) -> @error Error {
351
+ // CHECK-LABEL: } // end sil function 'caller_owned_callee_error_owned '
352
+ sil [ossa] @caller_owned_callee_error_owned : $@convention(thin) (@owned C) -> @error Error {
353
353
bb0(%instance : @owned $C):
354
354
%callee_error_owned = function_ref @callee_error_owned : $@convention(thin) (@owned C) -> @error Error
355
355
try_apply %callee_error_owned(%instance) : $@convention(thin) (@owned C) -> @error Error, normal bb1, error bb2
@@ -361,7 +361,7 @@ bb2(%12 : @owned $Error):
361
361
throw %12 : $Error
362
362
}
363
363
364
- // CHECK-LABEL: sil [ossa] @callee_owned_callee_error_guaranteed : $@convention(thin) (@owned C) -> @error Error {
364
+ // CHECK-LABEL: sil [ossa] @caller_owned_callee_error_guaranteed : $@convention(thin) (@owned C) -> @error Error {
365
365
// CHECK: {{bb[^,]+}}([[INSTANCE:%[^,]+]] : @owned $C):
366
366
// CHECK: [[LIFETIME:%[^,]+]] = begin_borrow [lexical] [[INSTANCE]]
367
367
// CHECK: cond_br undef, [[THROW_BLOCK:bb[^,]+]], [[REGULAR_BLOCK:bb[0-9]+]]
@@ -375,8 +375,8 @@ bb2(%12 : @owned $Error):
375
375
// CHECK: destroy_value [[INSTANCE]]
376
376
// CHECK: [[RETVAL:%[^,]+]] = tuple ()
377
377
// CHECK: return [[RETVAL]]
378
- // CHECK-LABEL: } // end sil function 'callee_owned_callee_error_guaranteed '
379
- sil [ossa] @callee_owned_callee_error_guaranteed : $@convention(thin) (@owned C) -> @error Error {
378
+ // CHECK-LABEL: } // end sil function 'caller_owned_callee_error_guaranteed '
379
+ sil [ossa] @caller_owned_callee_error_guaranteed : $@convention(thin) (@owned C) -> @error Error {
380
380
bb0(%instance : @owned $C):
381
381
%callee_error_guaranteed = function_ref @callee_error_guaranteed : $@convention(thin) (@guaranteed C) -> @error Error
382
382
try_apply %callee_error_guaranteed(%instance) : $@convention(thin) (@guaranteed C) -> @error Error, normal bb1, error bb2
@@ -389,10 +389,10 @@ bb2(%12 : @owned $Error):
389
389
throw %12 : $Error
390
390
}
391
391
392
- // CHECK-LABEL: sil [ossa] @callee_guaranteed_callee_error_owned : $@convention(thin) (@guaranteed C) -> @error Error {
392
+ // CHECK-LABEL: sil [ossa] @caller_guaranteed_callee_error_owned : $@convention(thin) (@guaranteed C) -> @error Error {
393
393
// CHECK-NOT: begin_borrow [lexical]
394
- // CHECK-LABEL: } // end sil function 'callee_guaranteed_callee_error_owned '
395
- sil [ossa] @callee_guaranteed_callee_error_owned : $@convention(thin) (@guaranteed C) -> @error Error {
394
+ // CHECK-LABEL: } // end sil function 'caller_guaranteed_callee_error_owned '
395
+ sil [ossa] @caller_guaranteed_callee_error_owned : $@convention(thin) (@guaranteed C) -> @error Error {
396
396
bb0(%instance : @guaranteed $C):
397
397
%copy = copy_value %instance : $C
398
398
%callee_error_owned = function_ref @callee_error_owned : $@convention(thin) (@owned C) -> @error Error
@@ -404,7 +404,7 @@ bb2(%12 : @owned $Error):
404
404
throw %12 : $Error
405
405
}
406
406
407
- // CHECK-LABEL: sil [ossa] @callee_guaranteed_callee_error_guaranteed : $@convention(thin) (@guaranteed C) -> @error Error {
407
+ // CHECK-LABEL: sil [ossa] @caller_guaranteed_callee_error_guaranteed : $@convention(thin) (@guaranteed C) -> @error Error {
408
408
// CHECK: {{bb[^,]+}}([[INSTANCE:%[^,]+]] : @guaranteed $C):
409
409
// CHECK: [[LIFETIME:%[^,]+]] = begin_borrow [lexical] [[INSTANCE]]
410
410
// CHECK: cond_br undef, [[THROW_BLOCK:bb[^,]+]], [[REGULAR_BLOCK:bb[0-9]+]]
@@ -416,8 +416,8 @@ bb2(%12 : @owned $Error):
416
416
// CHECK: end_borrow [[LIFETIME]]
417
417
// CHECK: [[RETVAL:%[^,]+]] = tuple ()
418
418
// CHECK: return [[RETVAL]]
419
- // CHECK-LABEL: } // end sil function 'callee_guaranteed_callee_error_guaranteed '
420
- sil [ossa] @callee_guaranteed_callee_error_guaranteed : $@convention(thin) (@guaranteed C) -> @error Error {
419
+ // CHECK-LABEL: } // end sil function 'caller_guaranteed_callee_error_guaranteed '
420
+ sil [ossa] @caller_guaranteed_callee_error_guaranteed : $@convention(thin) (@guaranteed C) -> @error Error {
421
421
bb0(%instance : @guaranteed $C):
422
422
%callee_error_guaranteed = function_ref @callee_error_guaranteed : $@convention(thin) (@guaranteed C) -> @error Error
423
423
try_apply %callee_error_guaranteed(%instance) : $@convention(thin) (@guaranteed C) -> @error Error, normal bb1, error bb2
@@ -428,7 +428,7 @@ bb2(%12 : @owned $Error):
428
428
throw %12 : $Error
429
429
}
430
430
431
- // CHECK-LABEL: sil hidden [ossa] @callee_trivial_callee_error_trivial : $@convention(thin) (S) -> @error Error {
431
+ // CHECK-LABEL: sil hidden [ossa] @caller_trivial_callee_error_trivial : $@convention(thin) (S) -> @error Error {
432
432
// CHECK: {{bb[^,]+}}({{%[^,]+}} : $S):
433
433
// CHECK: cond_br undef, [[THROW_BLOCK:bb[^,]+]], [[REGULAR_BLOCK:bb[0-9]+]]
434
434
// CHECK: [[THROW_BLOCK]]:
@@ -437,8 +437,8 @@ bb2(%12 : @owned $Error):
437
437
// CHECK: [[ORIGINAL_RETVAL:%[^,]+]] = tuple ()
438
438
// CHECK: [[RETVAL:%[^,]+]] = tuple ()
439
439
// CHECK: return [[RETVAL]]
440
- // CHECK-LABEL: } // end sil function 'callee_trivial_callee_error_trivial '
441
- sil hidden [ossa] @callee_trivial_callee_error_trivial : $@convention(thin) (S) -> @error Error {
440
+ // CHECK-LABEL: } // end sil function 'caller_trivial_callee_error_trivial '
441
+ sil hidden [ossa] @caller_trivial_callee_error_trivial : $@convention(thin) (S) -> @error Error {
442
442
bb0(%instance : $S):
443
443
%callee_error_trivial = function_ref @callee_error_trivial : $@convention(thin) (S) -> @error Error
444
444
try_apply %callee_error_trivial(%instance) : $@convention(thin) (S) -> @error Error, normal bb1, error bb2
@@ -449,7 +449,7 @@ bb2(%12 : @owned $Error):
449
449
throw %12 : $Error
450
450
}
451
451
452
- // CHECK-LABEL: sil hidden [ossa] @callee_address_callee_error_address : $@convention(thin) (@in S) -> @error Error {
452
+ // CHECK-LABEL: sil hidden [ossa] @caller_address_callee_error_address : $@convention(thin) (@in S) -> @error Error {
453
453
// CHECK: {{bb[^,]+}}({{%[^,]+}} : $*S):
454
454
// CHECK: cond_br undef, [[THROW_BLOCK:bb[0-9]+]], [[REGULAR_BLOCK:bb[0-9]+]]
455
455
// CHECK: [[THROW_BLOCK]]:
@@ -458,8 +458,8 @@ bb2(%12 : @owned $Error):
458
458
// CHECK: {{%[^,]+}} = tuple ()
459
459
// CHECK: [[RETVAL:%[^,]+]] = tuple ()
460
460
// CHECK: return [[RETVAL]]
461
- // CHECK-LABEL: } // end sil function 'callee_address_callee_error_address '
462
- sil hidden [ossa] @callee_address_callee_error_address : $@convention(thin) (@in S) -> @error Error {
461
+ // CHECK-LABEL: } // end sil function 'caller_address_callee_error_address '
462
+ sil hidden [ossa] @caller_address_callee_error_address : $@convention(thin) (@in S) -> @error Error {
463
463
bb0(%instance : $*S):
464
464
%callee_error_address = function_ref @callee_error_address : $@convention(thin) (@in S) -> @error Error
465
465
try_apply %callee_error_address(%instance) : $@convention(thin) (@in S) -> @error Error, normal bb1, error bb2
0 commit comments