Update SILCombine now that OSSA RAUW always inserts borrow before the value to be replaced

Author: meg-gupta

lib/SILOptimizer/SILCombiner/SILCombinerCastVisitors.cpp

@@ -337,9 +337,8 @@ visitPointerToAddressInst(PointerToAddressInst *PTAI) {
       OwnershipRAUWHelper helper(ownershipFixupContext, PTAI,
                                  ATPI->getOperand());
       if (helper) {
-        SILBuilderWithScope localBuilder(std::next(PTAI->getIterator()), Builder);
         auto replacement = helper.prepareReplacement();
-        auto *newInst = localBuilder.createUncheckedAddrCast(
+        auto *newInst = Builder.createUncheckedAddrCast(
             PTAI->getLoc(), replacement, PTAI->getType());
         helper.perform(newInst);
         return nullptr;
@@ -818,15 +817,11 @@ SILCombiner::visitRawPointerToRefInst(RawPointerToRefInst *rawToRef) {
       SILValue originalRef = refToRaw->getOperand();
       OwnershipRAUWHelper helper(ownershipFixupContext, rawToRef, originalRef);
       if (helper) {
-        // We use the refToRaw's insertion point to insert our
-        // unchecked_ref_cast, since we don't know if our guaranteed value
-        SILBuilderWithScope localBuilder(std::next(refToRaw->getIterator()),
-                                         Builder);
         // Since we are using std::next, we use getAutogeneratedLocation to
         // avoid any issues if our next insertion point is a terminator.
         auto loc = RegularLocation::getAutoGeneratedLocation();
         auto replacement = helper.prepareReplacement();
-        auto *newInst = localBuilder.createUncheckedRefCast(
+        auto *newInst = Builder.createUncheckedRefCast(
             loc, replacement, rawToRef->getType());
         // If we have an operand with ownership, we need to change our
         // unchecked_ref_cast to produce an unowned value. This is because

test/SILOptimizer/sil_combine_nocanonicalize_ossa.sil

@@ -5,6 +5,7 @@
 
 sil_stage canonical
 
+import Swift
 import Builtin
 
 class Klass {}
@@ -81,3 +82,25 @@ bb0:
   destroy_value %obj : $KlassWithTailAllocatedElems
   return %val : $Builtin.Word
 }
+
+sil @get_native_object : $@convention(thin) () -> @owned Builtin.NativeObject
+
+// CHECK-LABEL: sil [ossa] @bitwise_combines_guaranteed :
+// CHECK: unchecked_ref_cast
+// CHECK-LABEL: } // end sil function 'bitwise_combines_guaranteed'
+sil [ossa] @bitwise_combines_guaranteed : $@convention(thin) () -> @owned Optional<Builtin.NativeObject> {
+bb0:
+  %f = function_ref @get_native_object : $@convention(thin) () -> @owned Builtin.NativeObject
+  %0 = apply %f() : $@convention(thin) () -> @owned Builtin.NativeObject
+  %b = begin_borrow [lexical] %0 : $Builtin.NativeObject
+  br bb1
+
+bb1:
+  %2 = unchecked_trivial_bit_cast %b : $Builtin.NativeObject to $Builtin.Word
+  %3 = unchecked_bitwise_cast %2 : $Builtin.Word to $Optional<Builtin.NativeObject>
+  %c = copy_value %3 : $Optional<Builtin.NativeObject>
+  end_borrow %b : $Builtin.NativeObject
+  destroy_value %0 : $Builtin.NativeObject
+  return %c : $Optional<Builtin.NativeObject>
+}
+