https://github.com/momchil-velikov updated https://github.com/llvm/llvm-project/pull/195886
>From d0dd58419a0337e6d9c41a01381c43cf0169d355 Mon Sep 17 00:00:00 2001 From: Momchil Velikov <[email protected]> Date: Mon, 9 Feb 2026 12:01:36 +0000 Subject: [PATCH 1/2] [PassBuilder] Disable pre-LTO vectorization and loop unroll --- clang/test/CodeGen/lto-newpm-pipeline.c | 1 - llvm/lib/Passes/PassBuilderPipelines.cpp | 10 +++--- llvm/test/Other/new-pm-defaults.ll | 44 ++++++++++++------------ llvm/test/Other/new-pm-lto-defaults.ll | 4 +++ 4 files changed, 32 insertions(+), 27 deletions(-) diff --git a/clang/test/CodeGen/lto-newpm-pipeline.c b/clang/test/CodeGen/lto-newpm-pipeline.c index 5126b53bfd865a..a07f9b0d605784 100644 --- a/clang/test/CodeGen/lto-newpm-pipeline.c +++ b/clang/test/CodeGen/lto-newpm-pipeline.c @@ -60,7 +60,6 @@ // TODO: The LTO pre-link pipeline currently invokes // buildPerModuleDefaultPipeline(), which contains LoopVectorizePass. // This may change as the pipeline gets implemented. -// CHECK-FULL-OPTIMIZED: Running pass: LoopVectorizePass // CHECK-FULL-OPTIMIZED: Running pass: BitcodeWriterPass // The ThinLTO pre-link pipeline shouldn't contain passes like diff --git a/llvm/lib/Passes/PassBuilderPipelines.cpp b/llvm/lib/Passes/PassBuilderPipelines.cpp index 37a429138c2cf2..b77393aaa8aa47 100644 --- a/llvm/lib/Passes/PassBuilderPipelines.cpp +++ b/llvm/lib/Passes/PassBuilderPipelines.cpp @@ -1366,8 +1366,10 @@ PassBuilder::buildModuleSimplificationPipeline(OptimizationLevel Level, void PassBuilder::addVectorPasses(OptimizationLevel Level, FunctionPassManager &FPM, ThinOrFullLTOPhase LTOPhase) { - FPM.addPass(LoopVectorizePass( - LoopVectorizeOptions(!PTO.LoopInterleaving, !PTO.LoopVectorization))); + + if (!isFullLTOPreLink(LTOPhase)) + FPM.addPass(LoopVectorizePass( + LoopVectorizeOptions(!PTO.LoopInterleaving, !PTO.LoopVectorization))); // Drop dereferenceable assumes after vectorization, as they are no longer // needed and can inhibit further optimization. @@ -1466,7 +1468,7 @@ void PassBuilder::addVectorPasses(OptimizationLevel Level, } // Optimize parallel scalar instruction chains into SIMD instructions. - if (PTO.SLPVectorization) { + if (PTO.SLPVectorization && !isFullLTOPreLink(LTOPhase)) { FPM.addPass(SLPVectorizerPass()); if (Level >= OptimizationLevel::O2 && ExtraVectorizerPasses) { FPM.addPass(EarlyCSEPass()); @@ -1475,7 +1477,7 @@ void PassBuilder::addVectorPasses(OptimizationLevel Level, // Enhance/cleanup vector code. FPM.addPass(VectorCombinePass()); - if (!isFullLTOPostLink(LTOPhase)) { + if (!isFullLTOPreLink(LTOPhase)) { FPM.addPass(InstCombinePass()); // Unroll small loops to hide loop backedge latency and saturate any // parallel execution resources of an out-of-order processor. We also then diff --git a/llvm/test/Other/new-pm-defaults.ll b/llvm/test/Other/new-pm-defaults.ll index 0eb201432132c5..f1bdc12310af3d 100644 --- a/llvm/test/Other/new-pm-defaults.ll +++ b/llvm/test/Other/new-pm-defaults.ll @@ -12,10 +12,10 @@ ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O1,%llvmcheckext ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes='default<O2>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O2,CHECK-O23,%llvmcheckext +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O2,CHECK-O23,%llvmcheckext ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23,%llvmcheckext +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,CHECK-O23,%llvmcheckext ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes='lto-pre-link<O2>' -S %s 2>&1 \ ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O2,CHECK-O23,%llvmcheckext @@ -23,39 +23,39 @@ ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-peephole='no-op-function' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PEEPHOLE,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-PEEPHOLE,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-late-loop-optimizations='no-op-loop' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-LATE,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-LATE,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-loop-optimizer-end='no-op-loop' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-END,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-END,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-scalar-optimizer-late='no-op-function' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-SCALAR-LATE,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-SCALAR-LATE,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-cgscc-optimizer-late='no-op-cgscc' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-CGSCC-LATE,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-CGSCC-LATE,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-vectorizer-start='no-op-function' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-START,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-START,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-vectorizer-end='no-op-function' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-END,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-END,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-pipeline-start='no-op-module' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-pipeline-early-simplification='no-op-module' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-pipeline-start='no-op-module' \ ; RUN: -passes='lto-pre-link<O3>' -S %s 2>&1 \ @@ -63,23 +63,23 @@ ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-optimizer-early='no-op-module' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-EARLY,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-EARLY,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes-ep-optimizer-last='no-op-module' \ ; RUN: -passes='default<O3>' -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-LAST,CHECK-O23 +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-LAST,CHECK-O23 ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes='default<O3>' -enable-matrix -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23,%llvmcheckext,CHECK-MATRIX +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,CHECK-O23,%llvmcheckext,CHECK-MATRIX ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes='default<O3>' -enable-merge-functions -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23,%llvmcheckext,CHECK-MERGE-FUNCS +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,CHECK-O23,%llvmcheckext,CHECK-MERGE-FUNCS ; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ ; RUN: -passes='default<O3>' -hot-cold-split -S %s 2>&1 \ -; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23,%llvmcheckext,CHECK-HOT-COLD-SPLIT +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-DEFAULT-O23,CHECK-O3,CHECK-O23,%llvmcheckext,CHECK-HOT-COLD-SPLIT ; CHECK-O: Running pass: Annotation2Metadata ; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass @@ -244,18 +244,18 @@ ; CHECK-O-NEXT: Running pass: LoopDistributePass ; CHECK-O-NEXT: Running analysis: LoopAccessAnalysis on foo ; CHECK-O-NEXT: Running pass: InjectTLIMappings -; CHECK-O-NEXT: Running pass: LoopVectorizePass +; CHECK-DEFAULT-NEXT: Running pass: LoopVectorizePass ; CHECK-DEFAULT-NEXT: Running pass: DropUnnecessaryAssumesPass ; CHECK-O-NEXT: Running pass: InferAlignmentPass ; CHECK-O-NEXT: Running pass: LoopLoadEliminationPass ; CHECK-O-NEXT: Running pass: InstCombinePass ; CHECK-O-NEXT: Running pass: SimplifyCFGPass -; CHECK-O23-NEXT: Running pass: SLPVectorizerPass +; CHECK-DEFAULT-O23-NEXT: Running pass: SLPVectorizerPass ; CHECK-O-NEXT: Running pass: VectorCombinePass -; CHECK-O-NEXT: Running pass: InstCombinePass -; CHECK-O-NEXT: Running pass: LoopUnrollPass -; CHECK-O-NEXT: Running pass: WarnMissedTransformationsPass -; CHECK-O-NEXT: Running pass: SROAPass +; CHECK-DEFAULT-NEXT: Running pass: InstCombinePass +; CHECK-DEFAULT-NEXT: Running pass: LoopUnrollPass +; CHECK-DEFAULT-NEXT: Running pass: WarnMissedTransformationsPass +; CHECK-DEFAULT-NEXT: Running pass: SROAPass ; CHECK-O-NEXT: Running pass: InferAlignmentPass ; CHECK-O-NEXT: Running pass: InstCombinePass ; CHECK-O-NEXT: Running pass: LoopSimplifyPass diff --git a/llvm/test/Other/new-pm-lto-defaults.ll b/llvm/test/Other/new-pm-lto-defaults.ll index 97bc3e5ce758af..956ac9a2b3854b 100644 --- a/llvm/test/Other/new-pm-lto-defaults.ll +++ b/llvm/test/Other/new-pm-lto-defaults.ll @@ -142,6 +142,10 @@ ; CHECK-O23-NEXT: Running pass: BDCEPass on foo ; CHECK-O23-NEXT: Running pass: SLPVectorizerPass on foo ; CHECK-O23-NEXT: Running pass: VectorCombinePass on foo +; CHECK-O23-NEXT: Running pass: InstCombinePass on foo +; CHECK-O23-NEXT: Running pass: LoopUnrollPass on foo +; CHECK-O23-NEXT: Running pass: WarnMissedTransformationsPass on foo +; CHECK-O23-NEXT: Running pass: SROAPass on foo ; CHECK-O23-NEXT: Running pass: InferAlignmentPass on foo ; CHECK-O23-NEXT: Running pass: InstCombinePass on foo ; CHECK-O23-NEXT: Running pass: LoopSimplifyPass >From 4e10828e6563a8df9088d4c82953e5d85dc4db45 Mon Sep 17 00:00:00 2001 From: Momchil Velikov <[email protected]> Date: Tue, 22 Sep 2026 14:36:01 +0000 Subject: [PATCH 2/2] [fixup] Don't drop entirely vectorisation/unroll at -O1 The function `addVectorPasses` is not called at `-O1` when building the post-link LTO pipeline. By removing those passes from the pre-link LTO pipeline we removed vectorization and loop unroll at `-O1` entirely, which was unintentional. --- llvm/lib/Passes/PassBuilderPipelines.cpp | 10 +- llvm/test/Other/new-pm-pre-link.ll | 224 +++++++++++++++++++++++ 2 files changed, 230 insertions(+), 4 deletions(-) create mode 100644 llvm/test/Other/new-pm-pre-link.ll diff --git a/llvm/lib/Passes/PassBuilderPipelines.cpp b/llvm/lib/Passes/PassBuilderPipelines.cpp index b77393aaa8aa47..9b87f9c1e09124 100644 --- a/llvm/lib/Passes/PassBuilderPipelines.cpp +++ b/llvm/lib/Passes/PassBuilderPipelines.cpp @@ -1366,8 +1366,9 @@ PassBuilder::buildModuleSimplificationPipeline(OptimizationLevel Level, void PassBuilder::addVectorPasses(OptimizationLevel Level, FunctionPassManager &FPM, ThinOrFullLTOPhase LTOPhase) { - - if (!isFullLTOPreLink(LTOPhase)) + // Vectorisation is not enabled for optimization levels below O2 in post-link + // LTO phases, we don't want to remove completely. + if (Level < OptimizationLevel::O2 || !isFullLTOPreLink(LTOPhase)) FPM.addPass(LoopVectorizePass( LoopVectorizeOptions(!PTO.LoopInterleaving, !PTO.LoopVectorization))); @@ -1468,7 +1469,8 @@ void PassBuilder::addVectorPasses(OptimizationLevel Level, } // Optimize parallel scalar instruction chains into SIMD instructions. - if (PTO.SLPVectorization && !isFullLTOPreLink(LTOPhase)) { + if (PTO.SLPVectorization && + (Level < OptimizationLevel::O2 || !isFullLTOPreLink(LTOPhase))) { FPM.addPass(SLPVectorizerPass()); if (Level >= OptimizationLevel::O2 && ExtraVectorizerPasses) { FPM.addPass(EarlyCSEPass()); @@ -1477,7 +1479,7 @@ void PassBuilder::addVectorPasses(OptimizationLevel Level, // Enhance/cleanup vector code. FPM.addPass(VectorCombinePass()); - if (!isFullLTOPreLink(LTOPhase)) { + if (Level < OptimizationLevel::O2 || !isFullLTOPreLink(LTOPhase)) { FPM.addPass(InstCombinePass()); // Unroll small loops to hide loop backedge latency and saturate any // parallel execution resources of an out-of-order processor. We also then diff --git a/llvm/test/Other/new-pm-pre-link.ll b/llvm/test/Other/new-pm-pre-link.ll new file mode 100644 index 00000000000000..d6186fbfd4eaa6 --- /dev/null +++ b/llvm/test/Other/new-pm-pre-link.ll @@ -0,0 +1,224 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 +; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ +; RUN: -passes='lto-pre-link<O0>' -S %s 2>&1 \ +; RUN: | FileCheck %s --check-prefixes=CHECK-O0 + +; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ +; RUN: -passes='lto-pre-link<O1>' -S %s 2>&1 \ +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-O1 + +; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ +; RUN: -passes='lto-pre-link<O2>' -S %s 2>&1 \ +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-O23 + +; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ +; RUN: -passes='lto-pre-link<O3>' -S %s 2>&1 \ +; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-O23,CHECK-O3 + +; Meaning of prefixes: +; CHeCK-O0: Passes enabled at optimization level O0 +; CHeCK-O1: Passes enabled only at optimization level O1 +; CHeCK-O: Passes enabled at optimization levels O1, O2, and O3 +; CHeCK-O12: Passes enabled only at optimization levels O1 and O2 +; CHeCK-O23: Passes enabled only at optimization levels O2 and O3 + + +; CHECK-O0: Running analysis: InnerAnalysisManagerProxy<FunctionAnalysisManager, Module> on [module] +; CHECK-O0-NEXT: Running pass: EntryExitInstrumenterPass on foo (7 instructions) +; CHECK-O0-NEXT: Running pass: AlwaysInlinerPass on [module] +; CHECK-O0-NEXT: Running analysis: ProfileSummaryAnalysis on [module] +; CHECK-O0-NEXT: Running pass: CoroConditionalWrapper on [module] +; CHECK-O0-NEXT: Running pass: LowerCommentStringPass on [module] +; CHECK-O0-NEXT: Running pass: CanonicalizeAliasesPass on [module] +; CHECK-O0-NEXT: Running pass: NameAnonGlobalPass on [module] +; CHECK-O0-NEXT: Running pass: AssignGUIDPass on [module] +; CHECK-O0-NEXT: Running pass: AnnotationRemarksPass on foo (7 instructions) +; CHECK-O0-NEXT: Running analysis: TargetLibraryAnalysis on foo +; CHECK-O0-NEXT: Running pass: PrintModulePass on [module] + +; CHECK-O: Running pass: ForceFunctionAttrsPass on [module] +; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass on [module] +; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy<FunctionAnalysisManager, Module> on [module] +; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis on bar +; CHECK-O-NEXT: Running pass: CoroEarlyPass on [module] +; CHECK-O-NEXT: Running pass: EntryExitInstrumenterPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: TargetIRAnalysis on foo +; CHECK-O-NEXT: Running analysis: AssumptionAnalysis on foo +; CHECK-O-NEXT: Running pass: SROAPass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis on foo +; CHECK-O-NEXT: Running pass: EarlyCSEPass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis on foo +; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: OpenMPOptPass on [module] +; CHECK-O-NEXT: Running pass: IPSCCPPass on [module] +; CHECK-O-NEXT: Running pass: CalledValuePropagationPass on [module] +; CHECK-O-NEXT: Running pass: GlobalOptPass on [module] +; CHECK-O-NEXT: Running pass: PromotePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: LastRunTrackingAnalysis on foo +; CHECK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis on foo +; CHECK-O-NEXT: Running analysis: AAManager on foo +; CHECK-O-NEXT: Running analysis: BasicAA on foo +; CHECK-O-NEXT: Running analysis: ScopedNoAliasAA on foo +; CHECK-O-NEXT: Running analysis: TypeBasedAA on foo +; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<ModuleAnalysisManager, Function> on foo +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: AlwaysInlinerPass on [module] +; CHECK-O-NEXT: Running analysis: ProfileSummaryAnalysis on [module] +; CHECK-O-NEXT: Running pass: ModuleInlinerWrapperPass on [module] +; CHECK-O-NEXT: Running analysis: InlineAdvisorAnalysis on [module] +; CHECK-O-NEXT: Running pass: RequireAnalysisPass<llvm::GlobalsAA, llvm::Module, llvm::AnalysisManager<Module>> on [module] +; CHECK-O-NEXT: Running analysis: GlobalsAA on [module] +; CHECK-O-NEXT: Running analysis: CallGraphAnalysis on [module] +; CHECK-O-NEXT: Running pass: InvalidateAnalysisPass<llvm::AAManager> on foo (7 instructions) +; CHECK-O-NEXT: Invalidating analysis: AAManager on foo +; CHECK-O-NEXT: Running pass: RequireAnalysisPass<llvm::ProfileSummaryAnalysis, llvm::Module, llvm::AnalysisManager<Module>> on [module] +; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy<CGSCCAnalysisManager, Module> on [module] +; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis on [module] +; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy on (foo) +; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<ModuleAnalysisManager, LazyCallGraph::SCC, LazyCallGraph &> on (foo) +; CHECK-O-NEXT: Running pass: DevirtSCCRepeatedPass on (foo) (1 node) +; CHECK-O-NEXT: Running pass: InlinerPass on (foo) (1 node) +; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass on (foo) (1 node) +; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass on (foo) (1 node) +; CHECK-O23-NEXT: Running pass: OpenMPOptCGSCCPass on (foo) (1 node) +; CHECK-O-NEXT: Running pass: SROAPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: EarlyCSEPass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis on foo +; CHECK-O-NEXT: Running analysis: AAManager on foo +; CHECK-O23-NEXT: Running pass: SpeculativeExecutionPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: JumpThreadingPass on foo (7 instructions) +; CHECK-O23-NEXT: Running analysis: LazyValueAnalysis on foo +; CHECK-O23-NEXT: Running pass: CorrelatedValuePropagationPass on foo (7 instructions) +; CHECK-O23-NEXT: Invalidating analysis: LazyValueAnalysis on foo +; CHECK-O23-NEXT: Running pass: JumpTableToSwitchPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: AggressiveInstCombinePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LibCallsShrinkWrapPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: TailCallElimPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: ReassociatePass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: UniformityInfoAnalysis on foo +; CHECK-O23-NEXT: Running pass: ConstraintEliminationPass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: LoopAnalysis on foo +; CHECK-O23-NEXT: Running analysis: ScalarEvolutionAnalysis on foo +; CHECK-O-NEXT: Running pass: LoopSimplifyPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LCSSAPass on foo (7 instructions) +; CHECK-O1-NEXT: Running analysis: ScalarEvolutionAnalysis on foo +; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy<LoopAnalysisManager, Function> on foo +; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LICMPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopRotatePass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LICMPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopSimplifyPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LCSSAPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: IndVarSimplifyPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopDeletionPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopFullUnrollPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: SROAPass on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: MemCpyOptPass on foo (7 instructions) +; CHECK-O1-NEXT: Running analysis: PostDominatorTreeAnalysis on foo +; CHECK-O23-NEXT: Running pass: VectorCombinePass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: MergedLoadStoreMotionPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: GVNPass on foo (7 instructions) +; CHECK-O23-NEXT: Running analysis: MemoryDependenceAnalysis on foo +; CHECK-O-NEXT: Running pass: SCCPPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: BDCEPass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis on foo +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: CoroElidePass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: DFAJumpThreadingPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: JumpThreadingPass on foo (7 instructions) +; CHECK-O23-NEXT: Running analysis: LazyValueAnalysis on foo +; CHECK-O23-NEXT: Running pass: CorrelatedValuePropagationPass on foo (7 instructions) +; CHECK-O23-NEXT: Invalidating analysis: LazyValueAnalysis on foo +; CHECK-O-NEXT: Running pass: ADCEPass on foo (7 instructions) +; CHECK-O23-NEXT: Running analysis: PostDominatorTreeAnalysis on foo +; CHECK-O23-NEXT: Running pass: MemCpyOptPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: DSEPass on foo (7 instructions) +; CHECK-O23-NEXT: Running analysis: CycleAnalysis on foo +; CHECK-O23-NEXT: Running pass: MoveAutoInitPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: LoopSimplifyPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: LCSSAPass on foo (7 instructions) +; CHECK-O23-NEXT: Running pass: LICMPass on loop %loop in function foo +; CHECK-O23-NEXT: Running pass: CoroElidePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass on (foo) (1 node) +; CHECK-O-NEXT: Running pass: RequireAnalysisPass<llvm::ShouldNotRunFunctionPassesAnalysis, llvm::Function, llvm::AnalysisManager<Function>> on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: ShouldNotRunFunctionPassesAnalysis on foo +; CHECK-O-NEXT: Running pass: CoroSplitPass on (foo) (1 node) +; CHECK-O-NEXT: Running pass: CoroAnnotationElidePass on (foo) (1 node) +; CHECK-O-NEXT: Running pass: InvalidateAnalysisPass<llvm::ShouldNotRunFunctionPassesAnalysis> on foo (7 instructions) +; CHECK-O-NEXT: Invalidating analysis: ShouldNotRunFunctionPassesAnalysis on foo +; CHECK-O-NEXT: Invalidating analysis: InlineAdvisorAnalysis on [module] +; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass on [module] +; CHECK-O-NEXT: Running pass: CoroCleanupPass on [module] +; CHECK-O-NEXT: Running pass: GlobalOptPass on [module] +; CHECK-O-NEXT: Running pass: GlobalDCEPass on [module] +; CHECK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass on [module] +; CHECK-O-NEXT: Running pass: RecomputeGlobalsAAPass on [module] +; CHECK-O-NEXT: Running pass: Float2IntPass on foo (7 instructions) +; CHECK-O3-NEXT: Running pass: ControlHeightReductionPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopSimplifyPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LCSSAPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopRotatePass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopDeletionPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopInterchangePass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: LoopDistributePass on foo (7 instructions) +; CHECK-O-NEXT: Running analysis: LoopAccessAnalysis on foo +; CHECK-O-NEXT: Running pass: InjectTLIMappings on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: LoopVectorizePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InferAlignmentPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopLoadEliminationPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: VectorCombinePass on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: LoopUnrollPass on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: WarnMissedTransformationsPass on foo (7 instructions) +; CHECK-O1-NEXT: Running pass: SROAPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InferAlignmentPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstCombinePass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopSimplifyPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LCSSAPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LICMPass on loop %loop in function foo +; CHECK-O-NEXT: Running pass: AlignmentFromAssumptionsPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: LoopSinkPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: InstSimplifyPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: DivRemPairsPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: MergeICmpsPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: ExpandMemCmpPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: TailCallElimPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: GlobalDCEPass on [module] +; CHECK-O-NEXT: Running pass: ConstantMergePass on [module] +; CHECK-O-NEXT: Running pass: LowerCommentStringPass on [module] +; CHECK-O-NEXT: Running pass: AnnotationRemarksPass on foo (7 instructions) +; CHECK-O-NEXT: Running pass: CanonicalizeAliasesPass on [module] +; CHECK-O-NEXT: Running pass: NameAnonGlobalPass on [module] +; CHECK-O-NEXT: Running pass: AssignGUIDPass on [module] +; CHECK-O-NEXT: Running pass: PrintModulePass on [module] + +declare void @bar() local_unnamed_addr + +define void @foo(i32 %n) local_unnamed_addr { +entry: + br label %loop +loop: + %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ] + %iv.next = add i32 %iv, 1 + tail call void @bar() + %cmp = icmp eq i32 %iv, %n + br i1 %cmp, label %exit, label %loop +exit: + ret void +} _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
