[region-isolation] Mark all assign_* variants as asserting since they should be eliminated by DI before we run.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -2444,9 +2444,6 @@ CONSTANT_TRANSLATION(UnmanagedReleaseValueInst, Unhandled)
 CONSTANT_TRANSLATION(UnmanagedAutoreleaseValueInst, Unhandled)
 CONSTANT_TRANSLATION(BeginUnpairedAccessInst, Unhandled)
 CONSTANT_TRANSLATION(EndUnpairedAccessInst, Unhandled)
-CONSTANT_TRANSLATION(AssignInst, Unhandled)
-CONSTANT_TRANSLATION(AssignByWrapperInst, Unhandled)
-CONSTANT_TRANSLATION(AssignOrInitInst, Unhandled)
 
 //===---
 // Packs
@@ -2493,6 +2490,13 @@ CONSTANT_TRANSLATION(UnownedRetainInst, Asserting)
 CONSTANT_TRANSLATION(AllocPackMetadataInst, Asserting)
 CONSTANT_TRANSLATION(DeallocPackMetadataInst, Asserting)
 
+// All of these instructions should be removed by DI which runs before us in the
+// pass pipeline.
+CONSTANT_TRANSLATION(AssignInst, Asserting)
+CONSTANT_TRANSLATION(AssignByWrapperInst, Asserting)
+CONSTANT_TRANSLATION(AssignOrInitInst, Asserting)
+
+
 #undef CONSTANT_TRANSLATION
 
 #ifdef LOOKTHROUGH_IF_NONSENDABLE_RESULT_REQUIRE_OTHERWISE