[CopyPropagation] Cleanup after borrow shrinking.

nate-chandler · nate-chandler · commit 0fd48fc68924 · 2021-12-20T13:34:38.000-08:00
diff --git a/lib/SILOptimizer/Transforms/CopyPropagation.cpp b/lib/SILOptimizer/Transforms/CopyPropagation.cpp
@@ -440,6 +440,7 @@ void CopyPropagation::run() {
   while (auto *bbi = beginBorrowsToShrink.pop()) {
     changed |= shrinkBorrowScope(bbi, deleter);
   }
+  deleter.cleanupDeadInstructions();
 
   // canonicalizer performs all modifications through deleter's callbacks, so we
   // don't need to explicitly check for changes.

Original file line number	Diff line number	Diff line change
`@@ -440,6 +440,7 @@ void CopyPropagation::run() {`
`440`	`440`	`while (auto *bbi = beginBorrowsToShrink.pop()) {`
`441`	`441`	`changed \|= shrinkBorrowScope(bbi, deleter);`
`442`	`442`	`}`
	`443`	`+ deleter.cleanupDeadInstructions();`
`443`	`444`
`444`	`445`	`// canonicalizer performs all modifications through deleter's callbacks, so we`
`445`	`446`	`// don't need to explicitly check for changes.`