[region-isolation] Add support for autorelease_value.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -2115,6 +2115,7 @@ CONSTANT_TRANSLATION(MarkUnresolvedMoveAddrInst, Store)
 // value is within or because even though they are technically a use we would
 // rather emit an error on a better instruction.
 CONSTANT_TRANSLATION(AllocGlobalInst, Ignored)
+CONSTANT_TRANSLATION(AutoreleaseValueInst, Ignored)
 CONSTANT_TRANSLATION(DeallocBoxInst, Ignored)
 CONSTANT_TRANSLATION(DeallocStackInst, Ignored)
 CONSTANT_TRANSLATION(DebugValueInst, Ignored)
@@ -2224,7 +2225,6 @@ CONSTANT_TRANSLATION(DeallocPartialRefInst, Unhandled)
 CONSTANT_TRANSLATION(UnmanagedRetainValueInst, Unhandled)
 CONSTANT_TRANSLATION(UnmanagedReleaseValueInst, Unhandled)
 CONSTANT_TRANSLATION(UnmanagedAutoreleaseValueInst, Unhandled)
-CONSTANT_TRANSLATION(AutoreleaseValueInst, Unhandled)
 CONSTANT_TRANSLATION(BeginUnpairedAccessInst, Unhandled)
 CONSTANT_TRANSLATION(EndUnpairedAccessInst, Unhandled)
 CONSTANT_TRANSLATION(AssignInst, Unhandled)

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -965,6 +965,28 @@ bb0:
   dealloc_stack %a : $*(NonSendableKlass, NonSendableKlass)
   destroy_value %1 : $NonSendableKlass
 
+  %9999 = tuple ()
+  return %9999 : $()
+}
+
+sil [ossa] @autorelease_value_test : $@convention(thin) @async () -> () {
+bb0:
+  %0 = function_ref @constructNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+  %1 = apply %0() : $@convention(thin) () -> @owned NonSendableKlass
+
+  %a = alloc_stack $(NonSendableKlass, NonSendableKlass)
+  %1_copy = copy_value %1 : $NonSendableKlass
+  %1_copy_copy = copy_value %1 : $NonSendableKlass
+  %tup = tuple (%1_copy : $NonSendableKlass, %1_copy_copy : $NonSendableKlass)
+  store %tup to [init] %a : $*(NonSendableKlass, 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) -> ()
+
+  destroy_addr %a : $*(NonSendableKlass, NonSendableKlass)
+  dealloc_stack %a : $*(NonSendableKlass, NonSendableKlass)
+  autorelease_value %1 : $NonSendableKlass
+
   %9999 = tuple ()
   return %9999 : $()
 }