Merge pull request swiftlang#74421 from apple/fix-array-property-opt

ArrayPropertyOpt: update borrowed-from instructions

Author: eeckstein

lib/SILOptimizer/LoopTransforms/ArrayPropertyOpt.cpp

@@ -64,6 +64,7 @@
 #include "swift/SILOptimizer/PassManager/Transforms.h"
 #include "swift/SILOptimizer/Utils/BasicBlockOptUtils.h"
 #include "swift/SILOptimizer/Utils/CFGOptUtils.h"
+#include "swift/SILOptimizer/Utils/OwnershipOptUtils.h"
 #include "swift/SILOptimizer/Utils/LoopUtils.h"
 #include "swift/SILOptimizer/Utils/SILSSAUpdater.h"
 #include "llvm/ADT/SmallSet.h"
@@ -835,6 +836,8 @@ class SwiftArrayPropertyOptPass : public SILFunctionTransform {
       if (getFunction()->getModule().getOptions().VerifyAll)
         getFunction()->verifyCriticalEdges();
 
+      updateBorrowedFrom(getPassManager(), Fn);
+
       // We preserve the dominator tree. Let's invalidate everything
       // else.
       DA->lockInvalidation();

test/SILOptimizer/simplify_cfg_crash.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -O %s -emit-sil -o /dev/null
+// RUN: %target-swift-frontend -O %s -enable-ossa-modules -emit-sil -o /dev/null
 
 public class X {}