add the "array.copy_into_vector" array-semantic

Author: eeckstein

include/swift/AST/SemanticAttrs.def

@@ -64,6 +64,7 @@ SEMANTICS_ATTR(ARRAY_DEALLOC_UNINITIALIZED, "array.dealloc_uninitialized")
 SEMANTICS_ATTR(ARRAY_UNINITIALIZED_INTRINSIC, "array.uninitialized_intrinsic")
 SEMANTICS_ATTR(ARRAY_FINALIZE_INTRINSIC, "array.finalize_intrinsic")
 SEMANTICS_ATTR(ARRAY_GET_CONTIGUOUSARRAYSTORAGETYPE, "array.getContiguousArrayStorageType")
+SEMANTICS_ATTR(ARRAY_COPY_INTO_VECTOR, "array.copy_into_vector")
 
 SEMANTICS_ATTR(SEQUENCE_FOR_EACH, "sequence.forEach")
 SEMANTICS_ATTR(TYPENAME, "typeName")

include/swift/SILOptimizer/Analysis/ArraySemantic.h

@@ -37,6 +37,7 @@ enum class ArrayCallKind {
   kWithUnsafeMutableBufferPointer,
   kAppendContentsOf,
   kAppendElement,
+  kCopyIntoVector,
   // The following two semantic function kinds return the result @owned
   // instead of operating on self passed as parameter. If you are adding
   // a function, and it has a self parameter, make sure that it is defined
@@ -45,7 +46,7 @@ enum class ArrayCallKind {
   kArrayInitEmpty,
   kArrayUninitialized,
   kArrayUninitializedIntrinsic,
-  kArrayFinalizeIntrinsic
+  kArrayFinalizeIntrinsic,
 };
 
 /// Return true is the given function is an array semantics call.

lib/SILOptimizer/Analysis/ArraySemantic.cpp

@@ -52,6 +52,7 @@ ArrayCallKind swift::getArraySemanticsKind(SILFunction *f) {
                   ArrayCallKind::kWithUnsafeMutableBufferPointer)
             .Case("array.append_contentsOf", ArrayCallKind::kAppendContentsOf)
             .Case("array.append_element", ArrayCallKind::kAppendElement)
+            .Case("array.copy_into_vector", ArrayCallKind::kCopyIntoVector)
             .Default(ArrayCallKind::kNone);
     if (Tmp != ArrayCallKind::kNone) {
       assert(Kind == ArrayCallKind::kNone && "Multiple array semantic "

lib/SILOptimizer/LoopTransforms/COWArrayOpt.cpp

@@ -317,6 +317,7 @@ static bool isNonMutatingArraySemanticCall(SILInstruction *Inst) {
   case ArrayCallKind::kGetElement:
   case ArrayCallKind::kGetElementAddress:
   case ArrayCallKind::kEndMutation:
+  case ArrayCallKind::kCopyIntoVector:
     return true;
   case ArrayCallKind::kMakeMutable:
   case ArrayCallKind::kMutateUnknown:

lib/SILOptimizer/Utils/PerformanceInlinerUtils.cpp

@@ -631,6 +631,7 @@ SemanticFunctionLevel swift::getSemanticFunctionLevel(SILFunction *function) {
   // transient and should be inlined away immediately.
   case ArrayCallKind::kArrayUninitializedIntrinsic:
   case ArrayCallKind::kArrayFinalizeIntrinsic:
+  case ArrayCallKind::kCopyIntoVector:
     return SemanticFunctionLevel::Transient;
 
   } // end switch