ProtocolDevirtualizer Part 3: Peephole Optimization to Propagate Concrete Types

Raj Barik · Raj Barik · commit 136773f10014 · 2018-04-02T16:16:07.000-07:00
diff --git a/lib/SILOptimizer/SILCombiner/SILCombinerApplyVisitors.cpp b/lib/SILOptimizer/SILCombiner/SILCombinerApplyVisitors.cpp
@@ -1644,6 +1644,8 @@ SILInstruction *SILCombiner::visitTryApplyInst(TryApplyInst *AI) {
   if (isa<FunctionRefInst>(AI->getCallee())) {
     if (propagateConcreteTypeOfInitExistential(AI)) {
       return nullptr;
+    } else if (propagateConcreteTypeOfInitExistentialToAllApplyArgs(AI)) {
+      return nullptr;
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1644,6 +1644,8 @@ SILInstruction SILCombiner::visitTryApplyInst(TryApplyInst AI) {`
`1644`	`1644`	`if (isa<FunctionRefInst>(AI->getCallee())) {`
`1645`	`1645`	`if (propagateConcreteTypeOfInitExistential(AI)) {`
`1646`	`1646`	`return nullptr;`
	`1647`	`+ } else if (propagateConcreteTypeOfInitExistentialToAllApplyArgs(AI)) {`
	`1648`	`+ return nullptr;`
`1647`	`1649`	`}`
`1648`	`1650`	`}`
`1649`	`1651`