Skip to content

Commit

Permalink
[Test] Backport SIL test to 6.1.
Browse files Browse the repository at this point in the history 
On main type annotations are not always required but on 6.1 they are.
  • Loading branch information
@nate-chandler
nate-chandler committed Jan 9, 2025
1 parent 7544e6c commit a9f4a38
Showing 1 changed file with 25 additions and 25 deletions.
50 changes: 25 additions & 25 deletions test/SILOptimizer/sil_combine_apply_unit.sil
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,20 +52,20 @@ entry(%input : $*Input):
// CHECK: bb0([[C:%[^,]+]] :
// CHECK: [[BORROW_MAYBE_C:%[^,]+]] = function_ref @borrowMaybeC
// CHECK: [[B:%[^,]+]] = begin_borrow [[C]]
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] to $Optional<C>
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] : $C to $Optional<C>
// CHECK: apply [[BORROW_MAYBE_C]]([[MAYBE_B]])
// CHECK: end_borrow [[B]]
// CHECK: destroy_value [[C]]
// CHECK-LABEL: } // end sil function 'convert_function__to_optional__owned_as_guaranteed__1'
sil [ossa] @convert_function__to_optional__owned_as_guaranteed__1 : $@convention(thin) (@owned C) -> () {
entry(%c : @owned $C):
%borrowMaybeC = function_ref @borrowMaybeC : $@convention(thin) (@guaranteed Optional<C>) -> ()
%borrowC = convert_function %borrowMaybeC to $@convention(thin) (@guaranteed C) -> ()
%borrowC = convert_function %borrowMaybeC : $@convention(thin) (@guaranteed Optional<C>) -> () to $@convention(thin) (@guaranteed C) -> ()
%void = apply %borrowC(%c) : $@convention(thin) (@guaranteed C) -> ()
specify_test "sil_combine_instruction %void"
destroy_value %c
destroy_value %c : $C
%retval = tuple ()
return %retval
return %retval : $()
}

// CHECK-LABEL: sil [ossa] @convert_function__to_optional__owned_as_guaranteed__2 : {{.*}} {
Expand All @@ -75,9 +75,9 @@ entry(%c : @owned $C):
// CHECK-SAME: ):
// CHECK: [[BORROW_MAYBE_C2:%[^,]+]] = function_ref @borrowMaybeC2
// CHECK: [[B:%[^,]+]] = begin_borrow [[C]]
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] to $Optional<C>
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] : $C to $Optional<C>
// CHECK: [[B2:%[^,]+]] = begin_borrow [[C2]]
// CHECK: [[MAYBE_B2:%[^,]+]] = unchecked_ref_cast [[B2]] to $Optional<C>
// CHECK: [[MAYBE_B2:%[^,]+]] = unchecked_ref_cast [[B2]] : $C to $Optional<C>
// CHECK: apply [[BORROW_MAYBE_C2]]([[MAYBE_B]], [[MAYBE_B2]])
// CHECK: end_borrow [[B]]
// CHECK: end_borrow [[B2]]
Expand All @@ -87,20 +87,20 @@ entry(%c : @owned $C):
sil [ossa] @convert_function__to_optional__owned_as_guaranteed__2 : $@convention(thin) (@owned C, @owned C) -> () {
entry(%c : @owned $C, %c2 : @owned $C):
%borrowMaybeC2 = function_ref @borrowMaybeC2 : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> ()
%borrowC2 = convert_function %borrowMaybeC2 to $@convention(thin) (@guaranteed C, @guaranteed C) -> ()
%borrowC2 = convert_function %borrowMaybeC2 : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> () to $@convention(thin) (@guaranteed C, @guaranteed C) -> ()
%void = apply %borrowC2(%c, %c2) : $@convention(thin) (@guaranteed C, @guaranteed C) -> ()
specify_test "sil_combine_instruction %void"
destroy_value %c
destroy_value %c2
destroy_value %c : $C
destroy_value %c2 : $C
%retval = tuple ()
return %retval
return %retval : $()
}

// CHECK-LABEL: sil [ossa] @convert_function__to_optional__owned_as_guaranteed__3 : {{.*}} {
// CHECK: bb0([[C:%[^,]+]] :
// CHECK: [[BORROW_MAYBE_C:%[^,]+]] = function_ref @borrowMaybeCThrowing
// CHECK: [[B:%[^,]+]] = begin_borrow [[C]]
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] to $Optional<C>
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] : $C to $Optional<C>
// CHECK: try_apply [[BORROW_MAYBE_C]]([[MAYBE_B]])
// CHECK: normal [[SUCCESS:bb[0-9]+]]
// CHECK: error [[FAILURE:bb[0-9]+]]
Expand All @@ -115,20 +115,20 @@ entry(%c : @owned $C, %c2 : @owned $C):
sil [ossa] @convert_function__to_optional__owned_as_guaranteed__3 : $@convention(thin) (@owned C) -> (@error Error) {
entry(%c : @owned $C):
%borrowMaybeC = function_ref @borrowMaybeCThrowing : $@convention(thin) (@guaranteed Optional<C>) -> (@error Error)
%borrowC = convert_function %borrowMaybeC to $@convention(thin) (@guaranteed C) -> (@error Error)
%borrowC = convert_function %borrowMaybeC : $@convention(thin) (@guaranteed Optional<C>) -> (@error Error) to $@convention(thin) (@guaranteed C) -> (@error Error)
specify_test "sil_combine_instruction @instruction"
try_apply %borrowC(%c) : $@convention(thin) (@guaranteed C) -> (@error Error),
normal success,
error failure

success(%void : $()):
destroy_value %c
destroy_value %c : $C
%retval = tuple ()
return %retval
return %retval : $()

failure(%error : @owned $Error):
destroy_value %c
throw %error
destroy_value %c : $C
throw %error : $Error
}

// CHECK-LABEL: sil [ossa] @convert_function__to_optional__owned_as_guaranteed__4 : {{.*}} {
Expand All @@ -138,9 +138,9 @@ failure(%error : @owned $Error):
// CHECK-SAME: ):
// CHECK: [[BORROW_MAYBE_C2:%[^,]+]] = function_ref @borrowMaybeC2Throwing
// CHECK: [[B:%[^,]+]] = begin_borrow [[C]]
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] to $Optional<C>
// CHECK: [[MAYBE_B:%[^,]+]] = unchecked_ref_cast [[B]] : $C to $Optional<C>
// CHECK: [[B2:%[^,]+]] = begin_borrow [[C2]]
// CHECK: [[MAYBE_B2:%[^,]+]] = unchecked_ref_cast [[B2]] to $Optional<C>
// CHECK: [[MAYBE_B2:%[^,]+]] = unchecked_ref_cast [[B2]] : $C to $Optional<C>
// CHECK: try_apply [[BORROW_MAYBE_C2]]([[MAYBE_B]], [[MAYBE_B2]])
// CHECK: normal [[SUCCESS:bb[0-9]+]]
// CHECK: error [[FAILURE:bb[0-9]+]]
Expand All @@ -159,20 +159,20 @@ failure(%error : @owned $Error):
sil [ossa] @convert_function__to_optional__owned_as_guaranteed__4 : $@convention(thin) (@owned C, @owned C) -> (@error Error) {
entry(%c : @owned $C, %c2 : @owned $C):
%borrowMaybeC2 = function_ref @borrowMaybeC2Throwing : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> (@error Error)
%borrowC2 = convert_function %borrowMaybeC2 to $@convention(thin) (@guaranteed C, @guaranteed C) -> (@error Error)
%borrowC2 = convert_function %borrowMaybeC2 : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> (@error Error) to $@convention(thin) (@guaranteed C, @guaranteed C) -> (@error Error)
specify_test "sil_combine_instruction @instruction"
try_apply %borrowC2(%c, %c2) : $@convention(thin) (@guaranteed C, @guaranteed C) -> (@error Error),
normal success,
error failure

success(%void : $()):
destroy_value %c
destroy_value %c2
destroy_value %c : $C
destroy_value %c2 : $C
%retval = tuple ()
return %retval
return %retval : $()

failure(%error : @owned $Error):
destroy_value %c
destroy_value %c2
throw %error
destroy_value %c : $C
destroy_value %c2 : $C
throw %error : $Error
}

0 comments on commit a9f4a38

Please sign in to comment.