[region-isolation] Add support for drop_deinit.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -193,6 +193,7 @@ static bool isStaticallyLookThroughInst(SILInstruction *inst) {
   case SILInstructionKind::CopyableToMoveOnlyWrapperValueInst:
   case SILInstructionKind::DestructureStructInst:
   case SILInstructionKind::DestructureTupleInst:
+  case SILInstructionKind::DropDeinitInst:
   case SILInstructionKind::EndCOWMutationInst:
   case SILInstructionKind::EndInitLetRefInst:
   case SILInstructionKind::ExplicitCopyValueInst:
@@ -2058,6 +2059,7 @@ CONSTANT_TRANSLATION(ProjectBlockStorageInst, LookThrough)
 CONSTANT_TRANSLATION(RefToUnownedInst, LookThrough)
 CONSTANT_TRANSLATION(UnownedToRefInst, LookThrough)
 CONSTANT_TRANSLATION(UnownedCopyValueInst, LookThrough)
+CONSTANT_TRANSLATION(DropDeinitInst, LookThrough)
 
 //===---
 // Store
@@ -2154,7 +2156,6 @@ CONSTANT_TRANSLATION(ValueToBridgeObjectInst, Unhandled)
 CONSTANT_TRANSLATION(WeakCopyValueInst, Unhandled)
 CONSTANT_TRANSLATION(StrongCopyWeakValueInst, Unhandled)
 CONSTANT_TRANSLATION(StrongCopyUnmanagedValueInst, Unhandled)
-CONSTANT_TRANSLATION(DropDeinitInst, Unhandled)
 CONSTANT_TRANSLATION(IsUniqueInst, Unhandled)
 CONSTANT_TRANSLATION(LoadUnownedInst, Unhandled)
 CONSTANT_TRANSLATION(ValueMetatypeInst, Unhandled)

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -21,6 +21,8 @@ final class SendableKlass : Sendable {}
 @_moveOnly
 struct NonSendableMoveOnlyStruct {
   var ns: NonSendableKlass
+
+  deinit
 }
 
 struct NonSendableStruct {
@@ -41,6 +43,7 @@ sil @transferIndirect : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_
 sil @useIndirect : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> ()
 
 sil @constructMoveOnlyStruct : $@convention(thin) () -> @owned NonSendableMoveOnlyStruct
+sil @transferMoveOnlyStruct : $@convention(thin) @async (@guaranteed NonSendableMoveOnlyStruct) -> ()
 
 enum FakeOptional<T> {
 case none
@@ -884,3 +887,12 @@ bb0:
   %9999 = tuple ()
   return %9999 : $()
 }
+
+sil [ossa] @drop_deinit_test : $@convention(thin) @async (@owned NonSendableMoveOnlyStruct) -> () {
+bb0(%0 : @owned $NonSendableMoveOnlyStruct):
+  %1 = drop_deinit %0 : $NonSendableMoveOnlyStruct
+  destroy_value %1 : $NonSendableMoveOnlyStruct
+  %9999 = tuple ()
+  return %9999 : $()
+}
+