Skip to content

Commit c0e6131

Browse files
committed
Update OSSA RAUW test cases for more precise borrow scopes.
1 parent 8db4bb5 commit c0e6131

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

test/SILOptimizer/ossa_rauw_tests.sil

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -778,14 +778,14 @@ bb0(%0 : @owned $Klass):
778778
//
779779
// CHECK-LABEL: sil [ossa] @interior_pointer_lifetime_extension_int_ptr_need_lifetime_ext_with_proj_2 : $@convention(thin) (@owned Klass) -> @owned Builtin.NativeObject {
780780
// CHECK: bb0([[ARG:%.*]] : @owned
781-
// CHECK-NEXT: [[BORROWED_ARG:%.*]] = begin_borrow [[ARG]]
782-
// CHECK-NEXT: [[NEW_INT_PTR:%.*]] = ref_element_addr [[BORROWED_ARG]]
783781
// CHECK-NEXT: br bb1
784782
//
785783
// CHECK: bb1:
786784
// CHECK-NEXT: br bb2
787785
//
788786
// CHECK: bb2:
787+
// CHECK-NEXT: [[BORROWED_ARG:%.*]] = begin_borrow [[ARG]]
788+
// CHECK-NEXT: [[NEW_INT_PTR:%.*]] = ref_element_addr [[BORROWED_ARG]]
789789
// CHECK-NEXT: [[NEW_GEP:%.*]] = struct_element_addr [[NEW_INT_PTR]]
790790
// CHECK-NEXT: br bb3
791791
//
@@ -830,8 +830,6 @@ bb4:
830830
// CHECK: bb0([[ARG:%.*]] : @owned
831831
// CHECK-NEXT: [[ORIGINAL_BORROW:%.*]] = begin_borrow [[ARG]]
832832
// CHECK-NEXT: [[COPIED_ARG:%.*]] = copy_value [[ORIGINAL_BORROW]]
833-
// CHECK-NEXT: [[BORROWED_COPIED_ARG:%.*]] = begin_borrow [[COPIED_ARG]]
834-
// CHECK-NEXT: [[NEW_INT_PTR:%.*]] = ref_element_addr [[BORROWED_COPIED_ARG]]
835833
// CHECK-NEXT: br bb1
836834
//
837835
// CHECK: bb1:
@@ -843,6 +841,8 @@ bb4:
843841
// CHECK-NEXT: // function_ref
844842
// CHECK-NEXT: [[USER:%.*]] = function_ref @
845843
// CHECK-NEXT: apply [[USER]]([[OLD_GEP]])
844+
// CHECK-NEXT: [[BORROWED_COPIED_ARG:%.*]] = begin_borrow [[COPIED_ARG]]
845+
// CHECK-NEXT: [[NEW_INT_PTR:%.*]] = ref_element_addr [[BORROWED_COPIED_ARG]]
846846
// CHECK-NEXT: [[NEW_GEP:%.*]] = struct_element_addr [[NEW_INT_PTR]]
847847
// CHECK-NEXT: br bb3
848848
//

0 commit comments

Comments
 (0)