[region-isolation] Add support for strong_copy_weak_value.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -224,6 +224,7 @@ static bool isStaticallyLookThroughInst(SILInstruction *inst) {
   case SILInstructionKind::UpcastInst:
   case SILInstructionKind::ValueToBridgeObjectInst:
   case SILInstructionKind::WeakCopyValueInst:
+  case SILInstructionKind::StrongCopyWeakValueInst:
     return true;
   case SILInstructionKind::UnconditionalCheckedCastInst: {
     auto cast = SILDynamicCastInst::getAs(inst);
@@ -2344,6 +2345,7 @@ CONSTANT_TRANSLATION(ValueToBridgeObjectInst, LookThrough)
 CONSTANT_TRANSLATION(BeginCOWMutationInst, LookThrough)
 CONSTANT_TRANSLATION(OpenExistentialValueInst, LookThrough)
 CONSTANT_TRANSLATION(WeakCopyValueInst, LookThrough)
+CONSTANT_TRANSLATION(StrongCopyWeakValueInst, LookThrough)
 
 //===---
 // Store
@@ -2475,7 +2477,6 @@ CONSTANT_TRANSLATION(DeallocExistentialBoxInst, Ignored)
 // Unhandled Instructions
 //
 
-CONSTANT_TRANSLATION(StrongCopyWeakValueInst, Unhandled)
 CONSTANT_TRANSLATION(StrongCopyUnmanagedValueInst, Unhandled)
 CONSTANT_TRANSLATION(InitExistentialValueInst, Unhandled)
 

test/Concurrency/transfernonsendable_instruction_matching_opaquevalues.sil

@@ -65,6 +65,7 @@ sil @initPAnyObject : $@convention(thin) () -> @owned PAnyObject
 sil @initPAnyObjectOptional : $@convention(thin) () -> @owned Optional<PAnyObject>
 sil @transferPAnyObject : $@async @convention(thin) (@guaranteed PAnyObject) -> ()
 sil @usePAnyObjectWeak : $@convention(thin) (@guaranteed @sil_weak Optional<PAnyObject>) -> ()
+sil @usePAnyObject : $@convention(thin) (@guaranteed Optional<PAnyObject>) -> ()
 
 /////////////////
 // MARK: Tests //
@@ -147,3 +148,27 @@ bb0:
   %9999 = tuple ()
   return %9999 : $()
 }
+
+sil [ossa] @strong_copy_weak_value_test : $@async @convention(thin) () -> () {
+bb0:
+  %f = function_ref @initPAnyObjectOptional : $@convention(thin) () -> @owned Optional<PAnyObject>
+  %p = apply %f() : $@convention(thin) () -> @owned Optional<PAnyObject>
+
+  %pBorrowed = begin_borrow %p : $Optional<PAnyObject>
+  %pExt = unchecked_enum_data %pBorrowed : $Optional<PAnyObject>, #Optional.some!enumelt
+  %transferP = function_ref @transferPAnyObject : $@async @convention(thin) (@guaranteed PAnyObject) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferP(%pExt) : $@async @convention(thin) (@guaranteed PAnyObject) -> () // expected-warning {{transferring value of non-Sendable type 'any PAnyObject' from nonisolated context to global actor '<null>'-isolated context}}
+
+  %w = weak_copy_value %pBorrowed : $Optional<PAnyObject>
+  %s = strong_copy_weak_value %w : $@sil_weak Optional<PAnyObject>
+  %weakFunc = function_ref @usePAnyObject : $@convention(thin) (@guaranteed Optional<PAnyObject>) -> ()
+  apply %weakFunc(%s) : $@convention(thin) (@guaranteed Optional<PAnyObject>) -> () // expected-note {{access here could race}}
+  destroy_value %s : $Optional<PAnyObject>
+  destroy_value %w : $@sil_weak Optional<PAnyObject>
+
+  end_borrow %pBorrowed : $Optional<PAnyObject>
+  destroy_value %p : $Optional<PAnyObject>
+
+  %9999 = tuple ()
+  return %9999 : $()
+}