331 lines · plain
1; The IR below was crafted so as:2; 1) To have a loop, so we create a loop pass manager3; 2) To be "immutable" in the sense that no pass in the standard4; pipeline will modify it.5; Since no transformations take place, we don't expect any analyses6; to be invalidated.7; Any invalidation that shows up here is a bug, unless we started modifying8; the IR, in which case we need to make it immutable harder.9 10; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \11; RUN: -passes='default<O1>' -S %s 2>&1 \12; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O1,%llvmcheckext13; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \14; RUN: -passes='default<O2>' -S %s 2>&1 \15; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O2,CHECK-O23SZ,%llvmcheckext16; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \17; RUN: -passes='default<O3>' -S %s 2>&1 \18; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext19; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \20; RUN: -passes='default<Os>' -S %s 2>&1 \21; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-Os,CHECK-O23SZ,%llvmcheckext22; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \23; RUN: -passes='default<Oz>' -S %s 2>&1 \24; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-Oz,CHECK-O23SZ,%llvmcheckext25; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \26; RUN: -passes='lto-pre-link<O2>' -S %s 2>&1 \27; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O2,CHECK-O23SZ,%llvmcheckext28 29; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \30; RUN: -passes-ep-peephole='no-op-function' \31; RUN: -passes='default<O3>' -S %s 2>&1 \32; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PEEPHOLE,CHECK-O23SZ33; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \34; RUN: -passes-ep-late-loop-optimizations='no-op-loop' \35; RUN: -passes='default<O3>' -S %s 2>&1 \36; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-LATE,CHECK-O23SZ37; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \38; RUN: -passes-ep-loop-optimizer-end='no-op-loop' \39; RUN: -passes='default<O3>' -S %s 2>&1 \40; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-END,CHECK-O23SZ41; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \42; RUN: -passes-ep-scalar-optimizer-late='no-op-function' \43; RUN: -passes='default<O3>' -S %s 2>&1 \44; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-SCALAR-LATE,CHECK-O23SZ45; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \46; RUN: -passes-ep-cgscc-optimizer-late='no-op-cgscc' \47; RUN: -passes='default<O3>' -S %s 2>&1 \48; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-CGSCC-LATE,CHECK-O23SZ49; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \50; RUN: -passes-ep-vectorizer-start='no-op-function' \51; RUN: -passes='default<O3>' -S %s 2>&1 \52; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-START,CHECK-O23SZ53; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \54; RUN: -passes-ep-vectorizer-end='no-op-function' \55; RUN: -passes='default<O3>' -S %s 2>&1 \56; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-END,CHECK-O23SZ57; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \58; RUN: -passes-ep-pipeline-start='no-op-module' \59; RUN: -passes='default<O3>' -S %s 2>&1 \60; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23SZ61; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \62; RUN: -passes-ep-pipeline-early-simplification='no-op-module' \63; RUN: -passes='default<O3>' -S %s 2>&1 \64; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION,CHECK-O23SZ65; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \66; RUN: -passes-ep-pipeline-start='no-op-module' \67; RUN: -passes='lto-pre-link<O3>' -S %s 2>&1 \68; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23SZ69; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \70; RUN: -passes-ep-optimizer-early='no-op-module' \71; RUN: -passes='default<O3>' -S %s 2>&1 \72; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-EARLY,CHECK-O23SZ73; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \74; RUN: -passes-ep-optimizer-last='no-op-module' \75; RUN: -passes='default<O3>' -S %s 2>&1 \76; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-LAST,CHECK-O23SZ77 78; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \79; RUN: -passes='default<O3>' -enable-jump-table-to-switch -S %s 2>&1 \80; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-JUMP-TABLE-TO-SWITCH,CHECK-O23SZ,%llvmcheckext81 82; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \83; RUN: -passes='default<O3>' -enable-matrix -S %s 2>&1 \84; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-MATRIX85 86; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \87; RUN: -passes='default<O3>' -enable-merge-functions -S %s 2>&1 \88; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-MERGE-FUNCS89 90; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \91; RUN: -passes='default<O3>' -ir-outliner -S %s 2>&1 \92; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-IR-OUTLINER93 94; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \95; RUN: -passes='default<O3>' -hot-cold-split -S %s 2>&1 \96; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-HOT-COLD-SPLIT97 98; Suppress FileCheck --allow-unused-prefixes=false diagnostics.99; CHECK-Oz: {{^}}100 101; CHECK-O: Running pass: Annotation2Metadata102; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass103; CHECK-EP-PIPELINE-START-NEXT: Running pass: NoOpModulePass104; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass105; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy106; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis107; CHECK-O-NEXT: Running pass: CoroEarlyPass108; CHECK-O-NEXT: Running pass: EntryExitInstrumenterPass109; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass110; CHECK-O-NEXT: Running pass: SimplifyCFGPass111; CHECK-O-NEXT: Running analysis: TargetIRAnalysis112; CHECK-O-NEXT: Running analysis: AssumptionAnalysis113; CHECK-O-NEXT: Running pass: SROAPass114; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis115; CHECK-O-NEXT: Running pass: EarlyCSEPass116; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis117; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass118; CHECK-O-NEXT: Running pass: OpenMPOptPass119; CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION-NEXT: Running pass: NoOpModulePass120; CHECK-O-NEXT: Running pass: IPSCCPPass121; CHECK-O-NEXT: Running pass: CalledValuePropagationPass122; CHECK-O-NEXT: Running pass: GlobalOptPass123; CHECK-O-NEXT: Running pass: PromotePass124; CHECK-O-NEXT: Running pass: InstCombinePass125; CHECK-O-NEXT: Running analysis: LastRunTrackingAnalysis126; CHECK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis127; CHECK-O-NEXT: Running analysis: AAManager128; CHECK-O-NEXT: Running analysis: BasicAA129; CHECK-O-NEXT: Running analysis: ScopedNoAliasAA130; CHECK-O-NEXT: Running analysis: TypeBasedAA131; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy132; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass133; CHECK-O-NEXT: Running pass: SimplifyCFGPass134; CHECK-O-NEXT: Running pass: AlwaysInlinerPass135; CHECK-O-NEXT: Running analysis: ProfileSummaryAnalysis136; CHECK-O-NEXT: Running pass: ModuleInlinerWrapperPass137; CHECK-O-NEXT: Running analysis: InlineAdvisorAnalysis138; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA139; CHECK-O-NEXT: Running analysis: GlobalsAA140; CHECK-O-NEXT: Running analysis: CallGraphAnalysis141; CHECK-O-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}AAManager142; CHECK-O-NEXT: Invalidating analysis: AAManager143; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis144; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy145; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis146; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy147; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>148; CHECK-O-NEXT: Running pass: DevirtSCCRepeatedPass149; CHECK-O-NEXT: Running pass: InlinerPass150; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass151; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass152; CHECK-O2-NEXT: Running pass: OpenMPOptCGSCCPass on (foo)153; CHECK-O3-NEXT: Running pass: OpenMPOptCGSCCPass on (foo)154; CHECK-EP-CGSCC-LATE-NEXT: Running pass: NoOpCGSCCPass155; CHECK-O-NEXT: Running pass: SROAPass156; CHECK-O-NEXT: Running pass: EarlyCSEPass157; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis158; CHECK-O-NEXT: Running analysis: AAManager159; CHECK-O23SZ-NEXT: Running pass: SpeculativeExecutionPass160; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass161; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis162; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass163; CHECK-O23SZ-NEXT: Invalidating analysis: LazyValueAnalysis164; CHECK-JUMP-TABLE-TO-SWITCH-NEXT: Running pass: JumpTableToSwitchPass165; CHECK-O-NEXT: Running pass: SimplifyCFGPass166; CHECK-O-NEXT: Running pass: InstCombinePass167; CHECK-O23SZ-NEXT: Running pass: AggressiveInstCombinePass168; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass169; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass170; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass171; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass172; CHECK-O23SZ-NEXT: Running pass: TailCallElimPass173; CHECK-O-NEXT: Running pass: SimplifyCFGPass174; CHECK-O-NEXT: Running pass: ReassociatePass175; CHECK-O23SZ-NEXT: Running pass: ConstraintEliminationPass176; CHECK-O23SZ-NEXT: Running analysis: LoopAnalysis177; CHECK-O23SZ-NEXT: Running analysis: ScalarEvolutionAnalysis178; CHECK-O-NEXT: Running pass: LoopSimplifyPass179; CHECK-O1-NEXT: Running analysis: LoopAnalysis180; CHECK-O-NEXT: Running pass: LCSSAPass181; CHECK-O1-NEXT: Running analysis: ScalarEvolutionAnalysis182; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy183; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass184; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass185; CHECK-O-NEXT: Running pass: LICM186; CHECK-O-NEXT: Running pass: LoopRotatePass187; CHECK-O-NEXT: Running pass: LICM188; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass189; CHECK-O-NEXT: Running pass: SimplifyCFGPass190; CHECK-O-NEXT: Running pass: InstCombinePass191; CHECK-O-NEXT: Running pass: LoopSimplifyPass192; CHECK-O-NEXT: Running pass: LCSSAPass193; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass194; CHECK-O-NEXT: Running pass: IndVarSimplifyPass195; CHECK-EP-LOOP-LATE-NEXT: Running pass: NoOpLoopPass196; CHECK-O-NEXT: Running pass: LoopDeletionPass197; CHECK-O-NEXT: Running pass: LoopFullUnrollPass198; CHECK-EP-LOOP-END-NEXT: Running pass: NoOpLoopPass199; CHECK-O-NEXT: Running pass: SROAPass on foo200; CHECK-O23SZ-NEXT: Running pass: VectorCombinePass201; CHECK-O23SZ-NEXT: Running pass: MergedLoadStoreMotionPass202; CHECK-O23SZ-NEXT: Running pass: GVNPass203; CHECK-O23SZ-NEXT: Running analysis: MemoryDependenceAnalysis204; CHECK-O1-NEXT: Running pass: MemCpyOptPass205; CHECK-O1-NEXT: Running analysis: PostDominatorTreeAnalysis206; CHECK-O-NEXT: Running pass: SCCPPass207; CHECK-O-NEXT: Running pass: BDCEPass208; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis209; CHECK-O-NEXT: Running pass: InstCombinePass210; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass211; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass212; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis213; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass214; CHECK-O23SZ-NEXT: Invalidating analysis: LazyValueAnalysis215; CHECK-O1-NEXT: Running pass: CoroElidePass216; CHECK-O-NEXT: Running pass: ADCEPass217; CHECK-O23SZ-NEXT: Running analysis: PostDominatorTreeAnalysis218; CHECK-O23SZ-NEXT: Running pass: MemCpyOptPass219; CHECK-O23SZ-NEXT: Running pass: DSEPass220; CHECK-O23SZ-NEXT: Running pass: MoveAutoInitPass on foo221; CHECK-O23SZ-NEXT: Running pass: LoopSimplifyPass222; CHECK-O23SZ-NEXT: Running pass: LCSSAPass223; CHECK-O23SZ-NEXT: Running pass: LICMPass224; CHECK-O23SZ-NEXT: Running pass: CoroElidePass225; CHECK-EP-SCALAR-LATE-NEXT: Running pass: NoOpFunctionPass226; CHECK-O-NEXT: Running pass: SimplifyCFGPass227; CHECK-O-NEXT: Running pass: InstCombinePass228; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass229; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass230; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ShouldNotRunFunctionPassesAnalysis231; CHECK-O-NEXT: Running analysis: ShouldNotRunFunctionPassesAnalysis232; CHECK-O-NEXT: Running pass: CoroSplitPass233; CHECK-O-NEXT: Running pass: CoroAnnotationElidePass234; CHECK-O-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ShouldNotRunFunctionPassesAnalysis235; CHECK-O-NEXT: Invalidating analysis: ShouldNotRunFunctionPassesAnalysis236; CHECK-O-NEXT: Invalidating analysis: InlineAdvisorAnalysis237; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass238; CHECK-O-NEXT: Running pass: CoroCleanupPass239; CHECK-O-NEXT: Running pass: GlobalOptPass240; CHECK-O-NEXT: Running pass: GlobalDCEPass241; CHECK-DEFAULT-NEXT: Running pass: EliminateAvailableExternallyPass242; CHECK-LTO-NOT: Running pass: EliminateAvailableExternallyPass243; CHECK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass244; CHECK-O-NEXT: Running pass: RecomputeGlobalsAAPass245; CHECK-EP-OPTIMIZER-EARLY: Running pass: NoOpModulePass246; CHECK-DEFAULT-NEXT: Running pass: DropUnnecessaryAssumesPass247; CHECK-O-NEXT: Running pass: Float2IntPass248; CHECK-O-NEXT: Running pass: LowerConstantIntrinsicsPass on foo249; CHECK-MATRIX: Running pass: LowerMatrixIntrinsicsPass on f250; CHECK-MATRIX-NEXT: Running pass: EarlyCSEPass on f251; CHECK-O3-NEXT: Running pass: ControlHeightReductionPass252; CHECK-EP-VECTORIZER-START-NEXT: Running pass: NoOpFunctionPass253; CHECK-EXT: Running pass: {{.*}}::Bye on foo254; CHECK-NOEXT: {{^}}255; CHECK-O-NEXT: Running pass: LoopSimplifyPass256; CHECK-O-NEXT: Running pass: LCSSAPass257; CHECK-O-NEXT: Running pass: LoopRotatePass258; CHECK-O-NEXT: Running pass: LoopDeletionPass259; CHECK-O-NEXT: Running pass: LoopDistributePass260; CHECK-O-NEXT: Running analysis: LoopAccessAnalysis on foo261; CHECK-O-NEXT: Running pass: InjectTLIMappings262; CHECK-O-NEXT: Running pass: LoopVectorizePass263; CHECK-DEFAULT-NEXT: Running pass: DropUnnecessaryAssumesPass264; CHECK-O-NEXT: Running pass: InferAlignmentPass265; CHECK-O-NEXT: Running pass: LoopLoadEliminationPass266; CHECK-O-NEXT: Running pass: InstCombinePass267; CHECK-O-NEXT: Running pass: SimplifyCFGPass268; CHECK-O2-NEXT: Running pass: SLPVectorizerPass269; CHECK-O3-NEXT: Running pass: SLPVectorizerPass270; CHECK-Os-NEXT: Running pass: SLPVectorizerPass271; CHECK-O-NEXT: Running pass: VectorCombinePass272; CHECK-O-NEXT: Running pass: InstCombinePass273; CHECK-O-NEXT: Running pass: LoopUnrollPass274; CHECK-O-NEXT: Running pass: WarnMissedTransformationsPass275; CHECK-O-NEXT: Running pass: SROAPass276; CHECK-O-NEXT: Running pass: InferAlignmentPass277; CHECK-O-NEXT: Running pass: InstCombinePass278; CHECK-O-NEXT: Running pass: LoopSimplifyPass279; CHECK-O-NEXT: Running pass: LCSSAPass280; CHECK-O-NEXT: Running pass: LICMPass281; CHECK-O-NEXT: Running pass: AlignmentFromAssumptionsPass282; CHECK-EP-VECTORIZER-END-NEXT: Running pass: NoOpFunctionPass283; CHECK-O-NEXT: Running pass: LoopSinkPass284; CHECK-O-NEXT: Running pass: InstSimplifyPass285; CHECK-O-NEXT: Running pass: DivRemPairsPass286; CHECK-O-NEXT: Running pass: TailCallElimPass287; CHECK-O-NEXT: Running pass: SimplifyCFGPass288; CHECK-EP-OPTIMIZER-LAST: Running pass: NoOpModulePass289; CHECK-HOT-COLD-SPLIT-NEXT: Running pass: HotColdSplittingPass290; CHECK-IR-OUTLINER-NEXT: Running pass: IROutlinerPass291; CHECK-IR-OUTLINER-NEXT: Running analysis: IRSimilarityAnalysis292; CHECK-O-NEXT: Running pass: GlobalDCEPass293; CHECK-O-NEXT: Running pass: ConstantMergePass294; CHECK-MERGE-FUNCS-NEXT: Running pass: MergeFunctionsPass295; CHECK-DEFAULT-NEXT: Running pass: CGProfilePass296; CHECK-DEFAULT-NEXT: Running pass: RelLookupTableConverterPass297; CHECK-LTO-NOT: Running pass: RelLookupTableConverterPass298; CHECK-O-NEXT: Running pass: AnnotationRemarksPass on foo299; CHECK-LTO-NEXT: Running pass: CanonicalizeAliasesPass300; CHECK-LTO-NEXT: Running pass: NameAnonGlobalPass301; CHECK-O-NEXT: Running pass: PrintModulePass302;303; Make sure we get the IR back out without changes when we print the module.304; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {305; CHECK-O-NEXT: entry:306; CHECK-O-NEXT: br label %loop307; CHECK-O: loop:308; CHECK-O-NEXT: %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]309; CHECK-O-NEXT: %iv.next = add i32 %iv, 1310; CHECK-O-NEXT: tail call void @bar()311; CHECK-O-NEXT: %cmp = icmp eq i32 %iv, %n312; CHECK-O-NEXT: br i1 %cmp, label %exit, label %loop313; CHECK-O: exit:314; CHECK-O-NEXT: ret void315; CHECK-O-NEXT: }316 317declare void @bar() local_unnamed_addr318 319define void @foo(i32 %n) local_unnamed_addr {320entry:321 br label %loop322loop:323 %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]324 %iv.next = add i32 %iv, 1325 tail call void @bar()326 %cmp = icmp eq i32 %iv, %n327 br i1 %cmp, label %exit, label %loop328exit:329 ret void330}331