Merge pull request #60870 from meg-gupta/omelower

Move OwnershipLowering to just before SimplifyCFG

Author: meg-gupta

lib/SILOptimizer/PassManager/PassPipeline.cpp

@@ -396,6 +396,15 @@ void addFunctionPasses(SILPassPipelinePlan &P,
     P.addSROA();
   }
 
+  // Promote stack allocations to values.
+  P.addMem2Reg();
+
+  // Run the existential specializer Pass.
+  P.addExistentialSpecializer();
+
+  // Cleanup, which is important if the inliner has restarted the pass pipeline.
+  P.addPerformanceConstantPropagation();
+
   if (!P.getOptions().EnableOSSAModules && !SILDisableLateOMEByDefault) {
     if (P.getOptions().StopOptimizationBeforeLoweringOwnership)
       return;
@@ -406,15 +415,6 @@ void addFunctionPasses(SILPassPipelinePlan &P,
     P.addNonTransparentFunctionOwnershipModelEliminator();
   }
 
-  // Promote stack allocations to values.
-  P.addMem2Reg();
-
-  // Run the existential specializer Pass.
-  P.addExistentialSpecializer();
-
-  // Cleanup, which is important if the inliner has restarted the pass pipeline.
-  P.addPerformanceConstantPropagation();
-
   addSimplifyCFGSILCombinePasses(P);
 
   P.addArrayElementPropagation();