blob: cb942a2a66863c3a6b86df817f55d72231016a83 [file] [log] [blame]
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +00001; RUN: opt -mtriple=x86_64-- -O3 -debug-pass=Structure < %s -o /dev/null 2>&1 | FileCheck %s
2
3; REQUIRES: asserts
4
5; CHECK-LABEL: Pass Arguments:
6; CHECK-NEXT: Target Transform Information
7; CHECK-NEXT: Type-Based Alias Analysis
8; CHECK-NEXT: Scoped NoAlias Alias Analysis
9; CHECK-NEXT: Assumption Cache Tracker
10; CHECK-NEXT: Target Library Information
11; CHECK-NEXT: FunctionPass Manager
12; CHECK-NEXT: Module Verifier
13; CHECK-NEXT: Instrument function entry/exit with calls to e.g. mcount() (pre inlining)
14; CHECK-NEXT: Simplify the CFG
15; CHECK-NEXT: Dominator Tree Construction
16; CHECK-NEXT: SROA
17; CHECK-NEXT: Early CSE
18; CHECK-NEXT: Lower 'expect' Intrinsics
19; CHECK-NEXT: Pass Arguments:
20; CHECK-NEXT: Target Library Information
21; CHECK-NEXT: Target Transform Information
Michael Zolotukhincc839942018-03-21 22:57:33 +000022; Target Pass Configuration
23; CHECK: Type-Based Alias Analysis
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +000024; CHECK-NEXT: Scoped NoAlias Alias Analysis
25; CHECK-NEXT: Assumption Cache Tracker
26; CHECK-NEXT: Profile summary info
27; CHECK-NEXT: ModulePass Manager
28; CHECK-NEXT: Force set function attributes
29; CHECK-NEXT: Infer set function attributes
30; CHECK-NEXT: FunctionPass Manager
31; CHECK-NEXT: Call-site splitting
32; CHECK-NEXT: Interprocedural Sparse Conditional Constant Propagation
33; CHECK-NEXT: Called Value Propagation
34; CHECK-NEXT: Global Variable Optimizer
35; CHECK-NEXT: Unnamed pass: implement Pass::getPassName()
36; CHECK-NEXT: FunctionPass Manager
37; CHECK-NEXT: Dominator Tree Construction
38; CHECK-NEXT: Promote Memory to Register
39; CHECK-NEXT: Dead Argument Elimination
40; CHECK-NEXT: FunctionPass Manager
41; CHECK-NEXT: Dominator Tree Construction
42; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
43; CHECK-NEXT: Function Alias Analysis Results
44; CHECK-NEXT: Natural Loop Information
45; CHECK-NEXT: Lazy Branch Probability Analysis
46; CHECK-NEXT: Lazy Block Frequency Analysis
47; CHECK-NEXT: Optimization Remark Emitter
48; CHECK-NEXT: Combine redundant instructions
49; CHECK-NEXT: Simplify the CFG
50; CHECK-NEXT: CallGraph Construction
51; CHECK-NEXT: Globals Alias Analysis
52; CHECK-NEXT: Call Graph SCC Pass Manager
53; CHECK-NEXT: Remove unused exception handling info
54; CHECK-NEXT: Function Integration/Inlining
55; CHECK-NEXT: Deduce function attributes
56; CHECK-NEXT: Promote 'by reference' arguments to scalars
57; CHECK-NEXT: FunctionPass Manager
58; CHECK-NEXT: Dominator Tree Construction
59; CHECK-NEXT: SROA
60; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
61; CHECK-NEXT: Function Alias Analysis Results
62; CHECK-NEXT: Memory SSA
63; CHECK-NEXT: Early CSE w/ MemorySSA
Alexandros Lamprineasde3ca962018-07-30 10:50:18 +000064; CHECK-NEXT: Post-Dominator Tree Construction
65; CHECK-NEXT: Function Alias Analysis Results
66; CHECK-NEXT: Memory Dependence Analysis
67; CHECK-NEXT: Early GVN Hoist
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +000068; CHECK-NEXT: Speculatively execute instructions if target has divergent branches
Alexandros Lamprineasde3ca962018-07-30 10:50:18 +000069; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +000070; CHECK-NEXT: Function Alias Analysis Results
71; CHECK-NEXT: Lazy Value Information Analysis
72; CHECK-NEXT: Jump Threading
73; CHECK-NEXT: Value Propagation
74; CHECK-NEXT: Simplify the CFG
75; CHECK-NEXT: Dominator Tree Construction
76; CHECK-NEXT: Combine pattern based expressions
77; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
78; CHECK-NEXT: Function Alias Analysis Results
79; CHECK-NEXT: Natural Loop Information
80; CHECK-NEXT: Lazy Branch Probability Analysis
81; CHECK-NEXT: Lazy Block Frequency Analysis
82; CHECK-NEXT: Optimization Remark Emitter
83; CHECK-NEXT: Combine redundant instructions
84; CHECK-NEXT: Conditionally eliminate dead library calls
85; CHECK-NEXT: Natural Loop Information
86; CHECK-NEXT: Branch Probability Analysis
87; CHECK-NEXT: Block Frequency Analysis
88; CHECK-NEXT: Lazy Branch Probability Analysis
89; CHECK-NEXT: Lazy Block Frequency Analysis
90; CHECK-NEXT: Optimization Remark Emitter
91; CHECK-NEXT: PGOMemOPSize
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +000092; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
93; CHECK-NEXT: Function Alias Analysis Results
94; CHECK-NEXT: Natural Loop Information
95; CHECK-NEXT: Lazy Branch Probability Analysis
96; CHECK-NEXT: Lazy Block Frequency Analysis
97; CHECK-NEXT: Optimization Remark Emitter
98; CHECK-NEXT: Tail Call Elimination
99; CHECK-NEXT: Simplify the CFG
100; CHECK-NEXT: Reassociate expressions
101; CHECK-NEXT: Dominator Tree Construction
102; CHECK-NEXT: Natural Loop Information
103; CHECK-NEXT: Canonicalize natural loops
104; CHECK-NEXT: LCSSA Verifier
105; CHECK-NEXT: Loop-Closed SSA Form Pass
106; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
107; CHECK-NEXT: Function Alias Analysis Results
108; CHECK-NEXT: Scalar Evolution Analysis
109; CHECK-NEXT: Loop Pass Manager
110; CHECK-NEXT: Rotate Loops
111; CHECK-NEXT: Loop Invariant Code Motion
112; CHECK-NEXT: Unswitch loops
113; CHECK-NEXT: Simplify the CFG
114; CHECK-NEXT: Dominator Tree Construction
115; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
116; CHECK-NEXT: Function Alias Analysis Results
117; CHECK-NEXT: Natural Loop Information
118; CHECK-NEXT: Lazy Branch Probability Analysis
119; CHECK-NEXT: Lazy Block Frequency Analysis
120; CHECK-NEXT: Optimization Remark Emitter
121; CHECK-NEXT: Combine redundant instructions
122; CHECK-NEXT: Canonicalize natural loops
123; CHECK-NEXT: LCSSA Verifier
124; CHECK-NEXT: Loop-Closed SSA Form Pass
125; CHECK-NEXT: Scalar Evolution Analysis
126; CHECK-NEXT: Loop Pass Manager
127; CHECK-NEXT: Induction Variable Simplification
128; CHECK-NEXT: Recognize loop idioms
129; CHECK-NEXT: Delete dead loops
130; CHECK-NEXT: Unroll loops
131; CHECK-NEXT: MergedLoadStoreMotion
John Brawncd73fe82018-07-30 11:52:08 +0000132; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +0000133; CHECK-NEXT: Function Alias Analysis Results
134; CHECK-NEXT: Memory Dependence Analysis
135; CHECK-NEXT: Lazy Branch Probability Analysis
136; CHECK-NEXT: Lazy Block Frequency Analysis
137; CHECK-NEXT: Optimization Remark Emitter
138; CHECK-NEXT: Global Value Numbering
139; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
140; CHECK-NEXT: Function Alias Analysis Results
141; CHECK-NEXT: Memory Dependence Analysis
142; CHECK-NEXT: MemCpy Optimization
143; CHECK-NEXT: Sparse Conditional Constant Propagation
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +0000144; CHECK-NEXT: Demanded bits analysis
145; CHECK-NEXT: Bit-Tracking Dead Code Elimination
John Brawncd73fe82018-07-30 11:52:08 +0000146; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +0000147; CHECK-NEXT: Function Alias Analysis Results
148; CHECK-NEXT: Natural Loop Information
149; CHECK-NEXT: Lazy Branch Probability Analysis
150; CHECK-NEXT: Lazy Block Frequency Analysis
151; CHECK-NEXT: Optimization Remark Emitter
152; CHECK-NEXT: Combine redundant instructions
153; CHECK-NEXT: Lazy Value Information Analysis
154; CHECK-NEXT: Jump Threading
155; CHECK-NEXT: Value Propagation
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +0000156; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
157; CHECK-NEXT: Function Alias Analysis Results
158; CHECK-NEXT: Memory Dependence Analysis
159; CHECK-NEXT: Dead Store Elimination
160; CHECK-NEXT: Natural Loop Information
161; CHECK-NEXT: Canonicalize natural loops
162; CHECK-NEXT: LCSSA Verifier
163; CHECK-NEXT: Loop-Closed SSA Form Pass
John Brawncd73fe82018-07-30 11:52:08 +0000164; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +0000165; CHECK-NEXT: Function Alias Analysis Results
166; CHECK-NEXT: Scalar Evolution Analysis
167; CHECK-NEXT: Loop Pass Manager
168; CHECK-NEXT: Loop Invariant Code Motion
169; CHECK-NEXT: Post-Dominator Tree Construction
170; CHECK-NEXT: Aggressive Dead Code Elimination
171; CHECK-NEXT: Simplify the CFG
172; CHECK-NEXT: Dominator Tree Construction
173; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
174; CHECK-NEXT: Function Alias Analysis Results
175; CHECK-NEXT: Natural Loop Information
176; CHECK-NEXT: Lazy Branch Probability Analysis
177; CHECK-NEXT: Lazy Block Frequency Analysis
178; CHECK-NEXT: Optimization Remark Emitter
179; CHECK-NEXT: Combine redundant instructions
180; CHECK-NEXT: A No-Op Barrier Pass
181; CHECK-NEXT: Eliminate Available Externally Globals
182; CHECK-NEXT: CallGraph Construction
183; CHECK-NEXT: Deduce function attributes in RPO
184; CHECK-NEXT: Global Variable Optimizer
185; CHECK-NEXT: Unnamed pass: implement Pass::getPassName()
186; CHECK-NEXT: Dead Global Elimination
187; CHECK-NEXT: CallGraph Construction
188; CHECK-NEXT: Globals Alias Analysis
189; CHECK-NEXT: FunctionPass Manager
190; CHECK-NEXT: Float to int
191; CHECK-NEXT: Dominator Tree Construction
192; CHECK-NEXT: Natural Loop Information
193; CHECK-NEXT: Canonicalize natural loops
194; CHECK-NEXT: LCSSA Verifier
195; CHECK-NEXT: Loop-Closed SSA Form Pass
196; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
197; CHECK-NEXT: Function Alias Analysis Results
198; CHECK-NEXT: Scalar Evolution Analysis
199; CHECK-NEXT: Loop Pass Manager
200; CHECK-NEXT: Rotate Loops
201; CHECK-NEXT: Loop Access Analysis
202; CHECK-NEXT: Lazy Branch Probability Analysis
203; CHECK-NEXT: Lazy Block Frequency Analysis
204; CHECK-NEXT: Optimization Remark Emitter
205; CHECK-NEXT: Loop Distribution
206; CHECK-NEXT: Branch Probability Analysis
207; CHECK-NEXT: Block Frequency Analysis
208; CHECK-NEXT: Scalar Evolution Analysis
209; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
210; CHECK-NEXT: Function Alias Analysis Results
211; CHECK-NEXT: Loop Access Analysis
212; CHECK-NEXT: Demanded bits analysis
213; CHECK-NEXT: Lazy Branch Probability Analysis
214; CHECK-NEXT: Lazy Block Frequency Analysis
215; CHECK-NEXT: Optimization Remark Emitter
216; CHECK-NEXT: Loop Vectorization
217; CHECK-NEXT: Canonicalize natural loops
218; CHECK-NEXT: Scalar Evolution Analysis
219; CHECK-NEXT: Function Alias Analysis Results
220; CHECK-NEXT: Loop Access Analysis
221; CHECK-NEXT: Loop Load Elimination
222; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
223; CHECK-NEXT: Function Alias Analysis Results
224; CHECK-NEXT: Lazy Branch Probability Analysis
225; CHECK-NEXT: Lazy Block Frequency Analysis
226; CHECK-NEXT: Optimization Remark Emitter
227; CHECK-NEXT: Combine redundant instructions
228; CHECK-NEXT: Simplify the CFG
229; CHECK-NEXT: Dominator Tree Construction
230; CHECK-NEXT: Natural Loop Information
231; CHECK-NEXT: Scalar Evolution Analysis
232; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
233; CHECK-NEXT: Function Alias Analysis Results
234; CHECK-NEXT: Demanded bits analysis
235; CHECK-NEXT: Lazy Branch Probability Analysis
236; CHECK-NEXT: Lazy Block Frequency Analysis
237; CHECK-NEXT: Optimization Remark Emitter
238; CHECK-NEXT: SLP Vectorizer
239; CHECK-NEXT: Optimization Remark Emitter
240; CHECK-NEXT: Combine redundant instructions
241; CHECK-NEXT: Canonicalize natural loops
242; CHECK-NEXT: LCSSA Verifier
243; CHECK-NEXT: Loop-Closed SSA Form Pass
244; CHECK-NEXT: Scalar Evolution Analysis
245; CHECK-NEXT: Loop Pass Manager
246; CHECK-NEXT: Unroll loops
247; CHECK-NEXT: Lazy Branch Probability Analysis
248; CHECK-NEXT: Lazy Block Frequency Analysis
249; CHECK-NEXT: Optimization Remark Emitter
250; CHECK-NEXT: Combine redundant instructions
251; CHECK-NEXT: Canonicalize natural loops
252; CHECK-NEXT: LCSSA Verifier
253; CHECK-NEXT: Loop-Closed SSA Form Pass
254; CHECK-NEXT: Scalar Evolution Analysis
255; CHECK-NEXT: Loop Pass Manager
256; CHECK-NEXT: Loop Invariant Code Motion
257; CHECK-NEXT: Alignment from assumptions
258; CHECK-NEXT: Strip Unused Function Prototypes
259; CHECK-NEXT: Dead Global Elimination
260; CHECK-NEXT: Merge Duplicate Global Constants
261; CHECK-NEXT: FunctionPass Manager
262; CHECK-NEXT: Dominator Tree Construction
263; CHECK-NEXT: Natural Loop Information
264; CHECK-NEXT: Branch Probability Analysis
265; CHECK-NEXT: Block Frequency Analysis
266; CHECK-NEXT: Canonicalize natural loops
267; CHECK-NEXT: LCSSA Verifier
268; CHECK-NEXT: Loop-Closed SSA Form Pass
269; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
270; CHECK-NEXT: Function Alias Analysis Results
271; CHECK-NEXT: Scalar Evolution Analysis
272; CHECK-NEXT: Branch Probability Analysis
273; CHECK-NEXT: Block Frequency Analysis
274; CHECK-NEXT: Loop Pass Manager
275; CHECK-NEXT: Loop Sink
276; CHECK-NEXT: Lazy Branch Probability Analysis
277; CHECK-NEXT: Lazy Block Frequency Analysis
278; CHECK-NEXT: Optimization Remark Emitter
279; CHECK-NEXT: Remove redundant instructions
280; CHECK-NEXT: Hoist/decompose integer division and remainder
281; CHECK-NEXT: Simplify the CFG
282; CHECK-NEXT: Module Verifier
283; CHECK-NEXT: Bitcode Writer
284; CHECK-NEXT: Pass Arguments:
Michael Zolotukhin1dce44e2018-03-21 22:17:31 +0000285; CHECK-NEXT: Target Library Information
286; CHECK-NEXT: FunctionPass Manager
287; CHECK-NEXT: Dominator Tree Construction
288; CHECK-NEXT: Natural Loop Information
289; CHECK-NEXT: Branch Probability Analysis
290; CHECK-NEXT: Block Frequency Analysis
291; CHECK-NEXT: Pass Arguments:
292; CHECK-NEXT: Target Library Information
293; CHECK-NEXT: FunctionPass Manager
294; CHECK-NEXT: Dominator Tree Construction
295; CHECK-NEXT: Natural Loop Information
296; CHECK-NEXT: Branch Probability Analysis
297; CHECK-NEXT: Block Frequency Analysis
298
299define void @f() {
300 ret void
301}