CopyPropagation: respect -Xfrontend -disable-sil-ownership-verifier

atrick · atrick · commit b41e268a7e18 · 2021-03-02T22:20:13.000-08:00
diff --git a/lib/SILOptimizer/Transforms/CopyPropagation.cpp b/lib/SILOptimizer/Transforms/CopyPropagation.cpp
@@ -131,7 +131,9 @@ void CopyPropagation::run() {
     accessBlockAnalysis->lockInvalidation();
     invalidateAnalysis(SILAnalysis::InvalidationKind::Instructions);
     accessBlockAnalysis->unlockInvalidation();
-    f->verifyOwnership(deBlocksAnalysis->get(f));
+    if (f->getModule().getOptions().VerifySILOwnership) {
+      f->verifyOwnership(deBlocksAnalysis->get(f));
+    }
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -131,7 +131,9 @@ void CopyPropagation::run() {`
`131`	`131`	`accessBlockAnalysis->lockInvalidation();`
`132`	`132`	`invalidateAnalysis(SILAnalysis::InvalidationKind::Instructions);`
`133`	`133`	`accessBlockAnalysis->unlockInvalidation();`
`134`		`- f->verifyOwnership(deBlocksAnalysis->get(f));`
	`134`	`+ if (f->getModule().getOptions().VerifySILOwnership) {`
	`135`	`+ f->verifyOwnership(deBlocksAnalysis->get(f));`
	`136`	`+ }`
`135`	`137`	`}`
`136`	`138`	`}`
`137`	`139`