| blob | 8f1830dbc610d5a481d9b87cc09fbb9cbe85261f |
1 ; Basic test for the new LTO pipeline.
2 ; For now the only difference is between -O1 and everything else, so
3 ; -O2, -O3, -Os, -Oz are the same.
5 ; RUN: opt -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
6 ; RUN: -passes='lto<O1>' -S %s 2>&1 \
7 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O1
8 ; RUN: opt -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
9 ; RUN: -passes='lto<O2>' -S %s 2>&1 \
10 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O23SZ \
11 ; RUN: --check-prefix=CHECK-O2
12 ; RUN: opt -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
13 ; RUN: -passes='lto<O3>' -S %s 2>&1 \
14 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O23SZ \
15 ; RUN: --check-prefix=CHECK-O3
16 ; RUN: opt -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
17 ; RUN: -passes='lto<Os>' -S %s 2>&1 \
18 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O23SZ \
19 ; RUN: --check-prefix=CHECK-OS
20 ; RUN: opt -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
21 ; RUN: -passes='lto<Oz>' -S %s 2>&1 \
22 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O23SZ
23 ; RUN: opt -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
24 ; RUN: -passes='lto<O3>' -S %s -passes-ep-peephole='no-op-function' 2>&1 \
25 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O23SZ \
26 ; RUN: --check-prefix=CHECK-O3 --check-prefix=CHECK-EP-Peephole
28 ; CHECK-O: Running pass: Annotation2Metadata
29 ; CHECK-O-NEXT: Running pass: CrossDSOCFIPass
30 ; CHECK-O-NEXT: Running pass: GlobalDCEPass
31 ; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
32 ; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
33 ; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Module
34 ; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
35 ; CHECK-O23SZ-NEXT: Running pass: CallSiteSplittingPass on foo
36 ; CHECK-O23SZ-NEXT: Running analysis: TargetLibraryAnalysis on foo
37 ; CHECK-O23SZ-NEXT: Running analysis: TargetIRAnalysis on foo
38 ; CHECK-O23SZ-NEXT: Running analysis: DominatorTreeAnalysis on foo
39 ; CHECK-O23SZ-NEXT: PGOIndirectCallPromotion
40 ; CHECK-O23SZ-NEXT: Running analysis: ProfileSummaryAnalysis
41 ; CHECK-O23SZ-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
42 ; CHECK-O23SZ-NEXT: Running pass: IPSCCPPass
43 ; CHECK-O23SZ-NEXT: Running analysis: AssumptionAnalysis on foo
44 ; CHECK-O23SZ-NEXT: Running pass: CalledValuePropagationPass
45 ; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}SCC
46 ; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
47 ; CHECK-O1-NEXT: Running analysis: TargetLibraryAnalysis
48 ; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
49 ; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph{{.*}}>
50 ; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
51 ; CHECK-O-NEXT: Running analysis: AAManager
52 ; CHECK-O-NEXT: Running analysis: BasicAA
53 ; CHECK-O1-NEXT: Running analysis: AssumptionAnalysis on foo
54 ; CHECK-O1-NEXT: Running analysis: DominatorTreeAnalysis
55 ; CHECK-O-NEXT: Running analysis: ScopedNoAliasAA
56 ; CHECK-O-NEXT: Running analysis: TypeBasedAA
57 ; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
58 ; CHECK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass
59 ; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
60 ; CHECK-O-NEXT: Running pass: GlobalSplitPass
61 ; CHECK-O-NEXT: Running pass: WholeProgramDevirtPass
62 ; CHECK-O1-NEXT: Running pass: LowerTypeTestsPass
63 ; CHECK-O23SZ-NEXT: Running pass: GlobalOptPass
64 ; CHECK-O23SZ-NEXT: Running pass: PromotePass
65 ; CHECK-O23SZ-NEXT: Running pass: ConstantMergePass
66 ; CHECK-O23SZ-NEXT: Running pass: DeadArgumentEliminationPass
67 ; CHECK-O3-NEXT: Running pass: AggressiveInstCombinePass
68 ; CHECK-O23SZ-NEXT: Running pass: InstCombinePass
69 ; CHECK-EP-Peephole-NEXT: Running pass: NoOpFunctionPass
70 ; CHECK-O23SZ-NEXT: Running pass: ModuleInlinerWrapperPass
71 ; CHECK-O23SZ-NEXT: Running analysis: InlineAdvisorAnalysis
72 ; CHECK-O23SZ-NEXT: Running pass: InlinerPass
73 ; CHECK-O23SZ-NEXT: Running pass: InlinerPass
74 ; CHECK-O23SZ-NEXT: Running pass: GlobalOptPass
75 ; CHECK-O23SZ-NEXT: Running pass: GlobalDCEPass
76 ; CHECK-O23SZ-NEXT: Running pass: InstCombinePass
77 ; CHECK-EP-Peephole-NEXT: Running pass: NoOpFunctionPass
78 ; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
79 ; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis
80 ; CHECK-O23SZ-NEXT: Running pass: SROA on foo
81 ; CHECK-O23SZ-NEXT: Running pass: TailCallElimPass on foo
82 ; CHECK-O23SZ-NEXT: Running pass: PostOrderFunctionAttrsPass on (foo)
83 ; CHECK-O23SZ-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
84 ; CHECK-O23SZ-NEXT: Running analysis: GlobalsAA on [module]
85 ; CHECK-O23SZ-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}AAManager
86 ; CHECK-O23SZ-NEXT: Invalidating analysis: AAManager on foo
87 ; CHECK-O23SZ-NEXT: Running pass: LoopSimplifyPass on foo
88 ; CHECK-O23SZ-NEXT: Running analysis: LoopAnalysis on foo
89 ; CHECK-O23SZ-NEXT: Running pass: LCSSAPass on foo
90 ; CHECK-O23SZ-NEXT: Running analysis: MemorySSAAnalysis on foo
91 ; CHECK-O23SZ-NEXT: Running analysis: AAManager on foo
92 ; CHECK-O23SZ-NEXT: Running analysis: ScalarEvolutionAnalysis on foo
93 ; CHECK-O23SZ-NEXT: Running analysis: InnerAnalysisManagerProxy
94 ; CHECK-O23SZ-NEXT: Running pass: LICMPass on Loop
95 ; CHECK-O23SZ-NEXT: Running pass: GVN on foo
96 ; CHECK-O23SZ-NEXT: Running analysis: MemoryDependenceAnalysis on foo
97 ; CHECK-O23SZ-NEXT: Running analysis: PhiValuesAnalysis on foo
98 ; CHECK-O23SZ-NEXT: Running pass: MemCpyOptPass on foo
99 ; CHECK-O23SZ-NEXT: Running pass: DSEPass on foo
100 ; CHECK-O23SZ-NEXT: Running analysis: PostDominatorTreeAnalysis on foo
101 ; CHECK-O23SZ-NEXT: Running pass: MergedLoadStoreMotionPass on foo
102 ; CHECK-O23SZ-NEXT: Running pass: LoopSimplifyPass on foo
103 ; CHECK-O23SZ-NEXT: Running pass: LCSSAPass on foo
104 ; CHECK-O23SZ-NEXT: Running pass: IndVarSimplifyPass on Loop
105 ; CHECK-O23SZ-NEXT: Running pass: LoopDeletionPass on Loop
106 ; CHECK-O23SZ-NEXT: Running pass: LoopFullUnrollPass on Loop
107 ; CHECK-O23SZ-NEXT: Running pass: LoopDistributePass on foo
108 ; CHECK-O23SZ-NEXT: Running pass: LoopVectorizePass on foo
109 ; CHECK-O23SZ-NEXT: Running analysis: BlockFrequencyAnalysis on foo
110 ; CHECK-O23SZ-NEXT: Running analysis: BranchProbabilityAnalysis on foo
111 ; CHECK-O23SZ-NEXT: Running analysis: DemandedBitsAnalysis on foo
112 ; CHECK-O23SZ-NEXT: Running pass: LoopUnrollPass on foo
113 ; CHECK-O23SZ-NEXT: WarnMissedTransformationsPass on foo
114 ; CHECK-O23SZ-NEXT: Running pass: InstCombinePass on foo
115 ; CHECK-O23SZ-NEXT: Running pass: SimplifyCFGPass on foo
116 ; CHECK-O23SZ-NEXT: Running pass: SCCPPass on foo
117 ; CHECK-O23SZ-NEXT: Running pass: InstCombinePass on foo
118 ; CHECK-O23SZ-NEXT: Running pass: BDCEPass on foo
119 ; CHECK-O2-NEXT: Running pass: SLPVectorizerPass on foo
120 ; CHECK-O3-NEXT: Running pass: SLPVectorizerPass on foo
121 ; CHECK-OS-NEXT: Running pass: SLPVectorizerPass on foo
122 ; CHECK-O23SZ-NEXT: Running pass: VectorCombinePass on foo
123 ; CHECK-O23SZ-NEXT: Running pass: AlignmentFromAssumptionsPass on foo
124 ; CHECK-O23SZ-NEXT: Running pass: InstCombinePass on foo
125 ; CHECK-EP-Peephole-NEXT: Running pass: NoOpFunctionPass on foo
126 ; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass on foo
127 ; CHECK-O23SZ-NEXT: Running pass: LowerTypeTestsPass
128 ; CHECK-O-NEXT: Running pass: LowerTypeTestsPass
129 ; CHECK-O23SZ-NEXT: Running pass: SimplifyCFGPass
130 ; CHECK-O23SZ-NEXT: Running pass: EliminateAvailableExternallyPass
131 ; CHECK-O23SZ-NEXT: Running pass: GlobalDCEPass
132 ; CHECK-O-NEXT: Running pass: AnnotationRemarksPass on foo
133 ; CHECK-O-NEXT: Running pass: PrintModulePass
135 ; Make sure we get the IR back out without changes when we print the module.
136 ; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {
137 ; CHECK-O-NEXT: entry:
138 ; CHECK-O-NEXT: br label %loop
139 ; CHECK-O: loop:
140 ; CHECK-O-NEXT: %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
141 ; CHECK-O-NEXT: %iv.next = add i32 %iv, 1
142 ; CHECK-O-NEXT: tail call void @bar()
143 ; CHECK-O-NEXT: %cmp = icmp eq i32 %iv, %n
144 ; CHECK-O-NEXT: br i1 %cmp, label %exit, label %loop
145 ; CHECK-O: exit:
146 ; CHECK-O-NEXT: ret void
147 ; CHECK-O-NEXT: }
148 ;
150 declare void @bar() local_unnamed_addr
152 define void @foo(i32 %n) local_unnamed_addr {
153 entry:
154 br label %loop
155 loop:
156 %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
157 %iv.next = add i32 %iv, 1
158 tail call void @bar()
159 %cmp = icmp eq i32 %iv, %n
160 br i1 %cmp, label %exit, label %loop
161 exit:
162 ret void
163 }