Skip to content

Commit 32a85b1

Browse files
committed
Optimizer: don't run AccessPathVerification
This pass has a complexity problem and can let compilation time get very long. AccessPathVerification is not that important anymore because new passes written in Swift are using SmallProjectionPath instead. rdar://162433770
1 parent d652100 commit 32a85b1

File tree

1 file changed

+0
-13
lines changed

1 file changed

+0
-13
lines changed

lib/SILOptimizer/PassManager/PassPipeline.cpp

Lines changed: 0 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -643,11 +643,6 @@ static void addPerfDebugSerializationPipeline(SILPassPipelinePlan &P) {
643643
static void addPrepareOptimizationsPipeline(SILPassPipelinePlan &P) {
644644
P.startPipeline("PrepareOptimizationPasses");
645645

646-
// Verify AccessStorage once in OSSA before optimizing.
647-
#ifndef NDEBUG
648-
P.addAccessPathVerification();
649-
#endif
650-
651646
P.addForEachLoopUnroll();
652647
P.addSimplification();
653648
P.addAccessMarkerElimination();
@@ -896,14 +891,6 @@ static void addLastChanceOptPassPipeline(SILPassPipelinePlan &P) {
896891
// A loop might have only one dynamic access now, i.e. hoistable
897892
P.addLoopInvariantCodeMotion();
898893

899-
// Verify AccessStorage once again after optimizing and lowering OSSA.
900-
#ifndef NDEBUG
901-
// Temporarily disabled because it triggers a false alarm when building
902-
// SwiftDocC on linux: rdar://141270464
903-
// TODO: re-enable when the problem is fixed.
904-
// P.addAccessPathVerification();
905-
#endif
906-
907894
// Only has an effect if the -assume-single-thread option is specified.
908895
if (P.getOptions().AssumeSingleThreaded) {
909896
P.addAssumeSingleThreaded();

0 commit comments

Comments
 (0)