[region-isolation] Add support for init_existential_value.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -228,6 +228,7 @@ static bool isStaticallyLookThroughInst(SILInstruction *inst) {
   case SILInstructionKind::StrongCopyUnmanagedValueInst:
   case SILInstructionKind::RefToUnmanagedInst:
   case SILInstructionKind::UnmanagedToRefInst:
+  case SILInstructionKind::InitExistentialValueInst:
     return true;
   case SILInstructionKind::UnconditionalCheckedCastInst: {
     auto cast = SILDynamicCastInst::getAs(inst);
@@ -2350,6 +2351,7 @@ CONSTANT_TRANSLATION(StrongCopyWeakValueInst, LookThrough)
 CONSTANT_TRANSLATION(StrongCopyUnmanagedValueInst, LookThrough)
 CONSTANT_TRANSLATION(RefToUnmanagedInst, LookThrough)
 CONSTANT_TRANSLATION(UnmanagedToRefInst, LookThrough)
+CONSTANT_TRANSLATION(InitExistentialValueInst, LookThrough)
 
 //===---
 // Store
@@ -2477,12 +2479,6 @@ CONSTANT_TRANSLATION(ProjectExistentialBoxInst, Assign)
 CONSTANT_TRANSLATION(OpenExistentialBoxValueInst, Assign)
 CONSTANT_TRANSLATION(DeallocExistentialBoxInst, Ignored)
 
-//===---
-// Unhandled Instructions
-//
-
-CONSTANT_TRANSLATION(InitExistentialValueInst, Unhandled)
-
 //===---
 // Differentiable
 //

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -1626,4 +1626,4 @@ bb0:
 
   %9999 = tuple ()
   return %9999 : $()
-}
+}

test/Concurrency/transfernonsendable_instruction_matching_opaquevalues.sil

@@ -39,7 +39,7 @@ sil @constructSendableKlass : $@convention(thin) () -> @owned SendableKlass
 
 sil @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
 sil @useNonSendableKlass : $@convention(thin) (@guaranteed NonSendableKlass) -> ()
-sil @constructNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+sil @initNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
 
 sil @transferIndirect : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> ()
 sil @useIndirect : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> ()
@@ -58,6 +58,7 @@ protocol P {
 
 sil @initP : $@convention(thin) () -> @owned P
 sil @transferP : $@async @convention(thin) (@guaranteed P) -> ()
+sil @useP : $@convention(thin) (@in_guaranteed P) -> ()
 
 protocol PAnyObject : AnyObject {}
 
@@ -67,6 +68,10 @@ sil @transferPAnyObject : $@async @convention(thin) (@guaranteed PAnyObject) ->
 sil @usePAnyObjectWeak : $@convention(thin) (@guaranteed @sil_weak Optional<PAnyObject>) -> ()
 sil @usePAnyObject : $@convention(thin) (@guaranteed Optional<PAnyObject>) -> ()
 
+extension NonSendableKlass : P {
+  func doSomething()
+}
+
 /////////////////
 // MARK: Tests //
 /////////////////
@@ -172,3 +177,21 @@ bb0:
   %9999 = tuple ()
   return %9999 : $()
 }
+
+sil [ossa] @test_init_existential_value : $@async @convention(thin) () -> () {
+bb0:
+  %f = function_ref @initNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+  %1 = apply %f() : $@convention(thin) () -> @owned NonSendableKlass
+
+  %2 = function_ref @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %2(%1) : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  // expected-warning @-1 {{transferring value of non-Sendable type 'NonSendableKlass' from nonisolated context to global actor '<null>'-isolated context; later accesses could race}}
+
+  %i = init_existential_value %1 : $NonSendableKlass, $NonSendableKlass, $P
+  %f2 = function_ref @useP : $@convention(thin) (@in_guaranteed P) -> ()
+  apply %f2(%i) : $@convention(thin) (@in_guaranteed P) -> () // expected-note {{access here could race}}
+  destroy_value %i : $P
+
+  %9999 = tuple ()
+  return %9999 : $()
+}