[region-isolation] Add support for value_to_bridge_object.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -220,6 +220,7 @@ static bool isStaticallyLookThroughInst(SILInstruction *inst) {
   case SILInstructionKind::UnownedCopyValueInst:
   case SILInstructionKind::UnownedToRefInst:
   case SILInstructionKind::UpcastInst:
+  case SILInstructionKind::ValueToBridgeObjectInst:
     return true;
   }
 }
@@ -2091,6 +2092,7 @@ CONSTANT_TRANSLATION(RefToUnownedInst, LookThrough)
 CONSTANT_TRANSLATION(UnownedToRefInst, LookThrough)
 CONSTANT_TRANSLATION(UnownedCopyValueInst, LookThrough)
 CONSTANT_TRANSLATION(DropDeinitInst, LookThrough)
+CONSTANT_TRANSLATION(ValueToBridgeObjectInst, LookThrough)
 
 //===---
 // Store
@@ -2185,7 +2187,6 @@ CONSTANT_TRANSLATION(DeallocExistentialBoxInst, Ignored)
 CONSTANT_TRANSLATION(ObjCToThickMetatypeInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCMetatypeToObjectInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCExistentialMetatypeToObjectInst, Unhandled)
-CONSTANT_TRANSLATION(ValueToBridgeObjectInst, Unhandled)
 CONSTANT_TRANSLATION(WeakCopyValueInst, Unhandled)
 CONSTANT_TRANSLATION(StrongCopyWeakValueInst, Unhandled)
 CONSTANT_TRANSLATION(StrongCopyUnmanagedValueInst, Unhandled)

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -989,4 +989,22 @@ bb0:
 
   %9999 = tuple ()
   return %9999 : $()
-}
+}
+
+sil [ossa] @value_to_bridge_object_test : $@convention(thin) @async () -> () {
+bb0:
+  %0 = function_ref @constructNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+  %1 = apply %0() : $@convention(thin) () -> @owned NonSendableKlass
+
+
+  %f = function_ref @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f(%1) : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+
+  %2 = value_to_bridge_object %1 : $NonSendableKlass
+  %3 = copy_value %2 : $Builtin.BridgeObject
+  destroy_value %3 : $Builtin.BridgeObject
+  destroy_value %1 : $NonSendableKlass
+
+  %9999 = tuple ()
+  return %9999 : $()
+}