Merge pull request swiftlang#32143 from gottesmm/pr-18735e23f15ef6aaa8992016e9c6ac89c2102eb4

[ownership] Add support for handling address_to_pointer to LoadBorrowInvalidationChecker.

Author: gottesmm

lib/SIL/Verifier/LoadBorrowInvalidationChecker.cpp

@@ -247,6 +247,13 @@ constructValuesForKey(SILValue initialValue,
       continue;
     }
 
+    // We consider address_to_pointer to be an escape from our system. The
+    // frontend must protect the uses of the load_borrow as appropriate in other
+    // ways (for instance by using a mark_dependence).
+    if (isa<AddressToPointerInst>(user)) {
+      continue;
+    }
+
     if (auto *yi = dyn_cast<YieldInst>(user)) {
       auto info = yi->getYieldInfoForOperand(*op);
       if (info.isIndirectInGuaranteed()) {

test/SIL/ownership-verifier/load_borrow_invalidation_test.sil

@@ -8,6 +8,8 @@ import Builtin
 // patterns look next door for verifier error checks.
 
 sil @inoutCallee : $@convention(thin) (@inout Builtin.NativeObject) -> ()
+sil @guaranteedUser : $@convention(thin) (@guaranteed Builtin.NativeObject) -> ()
+sil @useRawPointer : $@convention(thin) (Builtin.RawPointer) -> ()
 
 //////////////////////////
 // InOut Argument Tests //
@@ -375,3 +377,21 @@ bb3:
   %9999 = tuple()
   return %9999 : $()
 }
+
+sil [ossa] @pointer_to_address_is_assumed_to_be_safe : $@convention(thin) (@owned Builtin.NativeObject) -> () {
+bb0(%0 : @owned $Builtin.NativeObject):
+  %1 = alloc_stack $Builtin.NativeObject
+  store %0 to [init] %1 : $*Builtin.NativeObject
+  %2 = load_borrow %1 : $*Builtin.NativeObject
+  %gUser = function_ref @guaranteedUser : $@convention(thin) (@guaranteed Builtin.NativeObject) -> ()
+  apply %gUser(%2) : $@convention(thin) (@guaranteed Builtin.NativeObject) -> ()
+  end_borrow %2 : $Builtin.NativeObject
+  %3 = address_to_pointer %1 : $*Builtin.NativeObject to $Builtin.RawPointer
+  %4 = mark_dependence %3 : $Builtin.RawPointer on %1 : $*Builtin.NativeObject
+  %rawPointerUser = function_ref @useRawPointer : $@convention(thin) (Builtin.RawPointer) -> ()
+  apply %rawPointerUser(%4) : $@convention(thin) (Builtin.RawPointer) -> ()
+  destroy_addr %1 : $*Builtin.NativeObject
+  dealloc_stack %1 : $*Builtin.NativeObject
+  %9999 = tuple()
+  return %9999 : $()
+}