[region-isolation] Add support for store_unowned.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -2328,6 +2328,7 @@ CONSTANT_TRANSLATION(StoreWeakInst, Store)
 CONSTANT_TRANSLATION(MarkUnresolvedMoveAddrInst, Store)
 CONSTANT_TRANSLATION(UncheckedRefCastAddrInst, Store)
 CONSTANT_TRANSLATION(UnconditionalCheckedCastAddrInst, Store)
+CONSTANT_TRANSLATION(StoreUnownedInst, Store)
 
 //===---
 // Ignored
@@ -2455,7 +2456,6 @@ CONSTANT_TRANSLATION(AssignByWrapperInst, Unhandled)
 CONSTANT_TRANSLATION(AssignOrInitInst, Unhandled)
 CONSTANT_TRANSLATION(MarkFunctionEscapeInst, Unhandled)
 CONSTANT_TRANSLATION(TestSpecificationInst, Unhandled)
-CONSTANT_TRANSLATION(StoreUnownedInst, Unhandled)
 CONSTANT_TRANSLATION(PackElementSetInst, Unhandled)
 
 //===---

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -1262,3 +1262,30 @@ bb0:
   return %9999 : $()
 }
 
+sil [ossa] @store_unowned_test : $@async @convention(thin) () -> () {
+bb0:
+  %a = alloc_stack $NonSendableKlass
+  %c = function_ref @initIndirect : $@convention(thin) <T> () -> @out T
+  apply %c<NonSendableKlass>(%a) : $@convention(thin) <T> () -> @out T
+
+  %aValue = load [copy] %a : $*NonSendableKlass
+  %f = function_ref @transferIndirect : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f<NonSendableKlass>(%a) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-warning {{transferring value of non-Sendable type 'NonSendableKlass' from nonisolated context to global actor '<null>'-isolated context}}
+
+
+  %b = alloc_stack $@sil_unowned NonSendableKlass
+  store_unowned %aValue to [init] %b : $*@sil_unowned NonSendableKlass // expected-note {{access here could race}}
+  destroy_value %aValue : $NonSendableKlass
+
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f<@sil_unowned NonSendableKlass>(%b) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-warning {{transferring value of non-Sendable type 'NonSendableKlass' from nonisolated context to global actor '<null>'-isolated context}}
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f<@sil_unowned NonSendableKlass>(%b) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-note {{access here could race}}
+
+  destroy_addr %b : $*@sil_unowned NonSendableKlass
+  destroy_addr %a : $*NonSendableKlass
+  dealloc_stack %b : $*@sil_unowned NonSendableKlass
+  dealloc_stack %a : $*NonSendableKlass
+
+  %9999 = tuple ()
+  return %9999 : $()
+}
+