[region-isolation] Add support for ref_to_unowned and unowned_to_ref.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -209,8 +209,10 @@ static bool isStaticallyLookThroughInst(SILInstruction *inst) {
   case SILInstructionKind::ProjectBlockStorageInst:
   case SILInstructionKind::ProjectBoxInst:
   case SILInstructionKind::RefToBridgeObjectInst:
+  case SILInstructionKind::RefToUnownedInst:
   case SILInstructionKind::UncheckedRefCastInst:
   case SILInstructionKind::UncheckedTakeEnumDataAddrInst:
+  case SILInstructionKind::UnownedToRefInst:
   case SILInstructionKind::UpcastInst:
     return true;
   }
@@ -2052,6 +2054,8 @@ CONSTANT_TRANSLATION(MarkUninitializedInst, LookThrough)
 CONSTANT_TRANSLATION(DestructureTupleInst, LookThrough)
 CONSTANT_TRANSLATION(DestructureStructInst, LookThrough)
 CONSTANT_TRANSLATION(ProjectBlockStorageInst, LookThrough)
+CONSTANT_TRANSLATION(RefToUnownedInst, LookThrough)
+CONSTANT_TRANSLATION(UnownedToRefInst, LookThrough)
 
 //===---
 // Store
@@ -2138,8 +2142,6 @@ CONSTANT_TRANSLATION(DeallocExistentialBoxInst, Ignored)
 // Unhandled Instructions
 //
 
-CONSTANT_TRANSLATION(RefToUnownedInst, Unhandled)
-CONSTANT_TRANSLATION(UnownedToRefInst, Unhandled)
 CONSTANT_TRANSLATION(BridgeObjectToWordInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCToThickMetatypeInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCMetatypeToObjectInst, Unhandled)

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -815,4 +815,20 @@ bb0:
   destroy_value %value : $SendableKlass
   %9999 = tuple ()
   return %9999 : $()
+}
+
+sil [ossa] @ref_to_unowned_test_1 : $@convention(thin) @async () -> () {
+bb0:
+  %constructFn = function_ref @constructNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+  %value = apply %constructFn() : $@convention(thin) () -> @owned NonSendableKlass
+
+  %unowned = ref_to_unowned %value : $NonSendableKlass to $@sil_unowned NonSendableKlass
+  %ref = unowned_to_ref %unowned : $@sil_unowned NonSendableKlass to $NonSendableKlass
+  %refCopy = copy_value %ref : $NonSendableKlass
+  %transferNonSendableKlass = function_ref @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferNonSendableKlass(%refCopy) : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  destroy_value %refCopy : $NonSendableKlass
+  destroy_value %value : $NonSendableKlass
+  %9999 = tuple ()
+  return %9999 : $()
 }