[NFC] CopyPropagation: Extracted verification.

It makes it easier to temporarily hack in new calls to verify.

Author: nate-chandler

lib/SILOptimizer/Transforms/CopyPropagation.cpp

@@ -441,6 +441,8 @@ class CopyPropagation : public SILFunctionTransform {
 
   /// The entry point to this function transformation.
   void run() override;
+
+  void verifyOwnership();
 };
 
 } // end anonymous namespace
@@ -635,14 +637,19 @@ void CopyPropagation::run() {
     invalidateAnalysis(SILAnalysis::InvalidationKind::Instructions);
     accessBlockAnalysis->unlockInvalidation();
     if (f->getModule().getOptions().VerifySILOwnership) {
-      auto *deBlocksAnalysis = getAnalysis<DeadEndBlocksAnalysis>();
-      f->verifyOwnership(f->getModule().getOptions().OSSAVerifyComplete
-                             ? nullptr
-                             : deBlocksAnalysis->get(f));
+      verifyOwnership();
     }
   }
 }
 
+void CopyPropagation::verifyOwnership() {
+  auto *f = getFunction();
+  auto *deBlocksAnalysis = getAnalysis<DeadEndBlocksAnalysis>();
+  f->verifyOwnership(f->getModule().getOptions().OSSAVerifyComplete
+                         ? nullptr
+                         : deBlocksAnalysis->get(f));
+}
+
 // MandatoryCopyPropagation is not currently enabled in the -Onone pipeline
 // because it may negatively affect the debugging experience.
 SILTransform *swift::createMandatoryCopyPropagation() {