[region-isolation] Add support for unchecked_ref_cast_addr.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -2323,6 +2323,7 @@ CONSTANT_TRANSLATION(StoreInst, Store)
 CONSTANT_TRANSLATION(StoreBorrowInst, Store)
 CONSTANT_TRANSLATION(StoreWeakInst, Store)
 CONSTANT_TRANSLATION(MarkUnresolvedMoveAddrInst, Store)
+CONSTANT_TRANSLATION(UncheckedRefCastAddrInst, Store)
 
 //===---
 // Ignored
@@ -2452,7 +2453,6 @@ CONSTANT_TRANSLATION(StoreUnownedInst, Unhandled)
 CONSTANT_TRANSLATION(DeinitExistentialAddrInst, Unhandled)
 CONSTANT_TRANSLATION(DeinitExistentialValueInst, Unhandled)
 CONSTANT_TRANSLATION(UnconditionalCheckedCastAddrInst, Unhandled)
-CONSTANT_TRANSLATION(UncheckedRefCastAddrInst, Unhandled)
 CONSTANT_TRANSLATION(PackElementSetInst, Unhandled)
 
 //===---

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -1210,3 +1210,29 @@ bb0:
   return %9999 : $()
 }
 
+// Make sure this is a store by erroring on the cast for %a and emitting a
+// second error for %b.
+sil [ossa] @unchecked_ref_cast_addr_test : $@async @convention(thin) () -> () {
+bb0:
+  %a = alloc_stack $NonSendableKlass
+  %b = alloc_stack $NonSendableKlass
+  %initIndirect = function_ref @initIndirect : $@convention(thin) <T> () -> @out T
+  apply %initIndirect<NonSendableKlass>(%a) : $@convention(thin) <T> () -> @out T
+
+  %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}}
+
+  // This is a copy_addr [take] [init] + cast.
+  unchecked_ref_cast_addr NonSendableKlass in %a : $*NonSendableKlass to NonSendableKlass in %b : $*NonSendableKlass // expected-note {{access here could race}}
+
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f<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<NonSendableKlass>(%b) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-note {{access here could race}}
+
+  destroy_addr %b : $*NonSendableKlass
+  dealloc_stack %b : $*NonSendableKlass
+  dealloc_stack %a : $*NonSendableKlass
+
+  %9999 = tuple ()
+  return %9999 : $()
+}
+