1; This test is essentially doing very basic things with the opt tool and the 2; new pass manager pipeline. It will be used to flesh out the feature 3; completeness of the opt tool when the new pass manager is engaged. The tests 4; may not be useful once it becomes the default or may get spread out into other 5; files, but for now this is just going to step the new process through its 6; paces. 7 8; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 9; RUN: -passes=no-op-module %s 2>&1 \ 10; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS 11; CHECK-MODULE-PASS: Starting llvm::Module pass manager run 12; CHECK-MODULE-PASS-NEXT: Running pass: NoOpModulePass 13; CHECK-MODULE-PASS-NEXT: Finished llvm::Module pass manager run 14 15; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 16; RUN: -passes=no-op-cgscc %s 2>&1 \ 17; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS 18; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 19; RUN: -passes='cgscc(no-op-cgscc)' %s 2>&1 \ 20; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS 21; CHECK-CGSCC-PASS: Starting llvm::Module pass manager run 22; CHECK-CGSCC-PASS-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor 23; CHECK-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}> 24; CHECK-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis 25; CHECK-CGSCC-PASS-NEXT: Running an SCC pass across the RefSCC: [(foo)] 26; CHECK-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run 27; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass 28; CHECK-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run 29; CHECK-CGSCC-PASS-NEXT: Finished llvm::Module pass manager run 30 31; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 32; RUN: -passes=no-op-function %s 2>&1 \ 33; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS 34; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 35; RUN: -passes='function(no-op-function)' %s 2>&1 \ 36; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS 37; CHECK-FUNCTION-PASS: Starting llvm::Module pass manager run 38; CHECK-FUNCTION-PASS-NEXT: Running pass: ModuleToFunctionPassAdaptor 39; CHECK-FUNCTION-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}> 40; CHECK-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run 41; CHECK-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass 42; CHECK-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run 43; CHECK-FUNCTION-PASS-NEXT: Finished llvm::Module pass manager run 44 45; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \ 46; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT 47; CHECK-MODULE-PRINT: Starting llvm::Module pass manager run 48; CHECK-MODULE-PRINT: Running pass: VerifierPass 49; CHECK-MODULE-PRINT: Running pass: PrintModulePass 50; CHECK-MODULE-PRINT: ModuleID 51; CHECK-MODULE-PRINT: define void @foo() 52; CHECK-MODULE-PRINT: Running pass: VerifierPass 53; CHECK-MODULE-PRINT: Finished llvm::Module pass manager run 54 55; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='print,verify' %s 2>&1 \ 56; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY 57; CHECK-MODULE-VERIFY: Starting llvm::Module pass manager run 58; CHECK-MODULE-VERIFY: Running pass: PrintModulePass 59; CHECK-MODULE-VERIFY: ModuleID 60; CHECK-MODULE-VERIFY: define void @foo() 61; CHECK-MODULE-VERIFY: Running pass: VerifierPass 62; CHECK-MODULE-VERIFY: Finished llvm::Module pass manager run 63 64; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \ 65; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT 66; CHECK-FUNCTION-PRINT: Starting llvm::Module pass manager run 67; CHECK-FUNCTION-PRINT: Running pass: VerifierPass 68; CHECK-FUNCTION-PRINT: Running pass: ModuleToFunctionPassAdaptor 69; CHECK-FUNCTION-PRINT: Running analysis: InnerAnalysisManagerProxy<{{.*}}> 70; CHECK-FUNCTION-PRINT: Starting llvm::Function pass manager run 71; CHECK-FUNCTION-PRINT: Running pass: PrintFunctionPass 72; CHECK-FUNCTION-PRINT-NOT: ModuleID 73; CHECK-FUNCTION-PRINT: define void @foo() 74; CHECK-FUNCTION-PRINT: Finished llvm::Function pass manager run 75; CHECK-FUNCTION-PRINT: Running pass: VerifierPass 76; CHECK-FUNCTION-PRINT: Finished llvm::Module pass manager run 77 78; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='function(print,verify)' %s 2>&1 \ 79; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY 80; CHECK-FUNCTION-VERIFY: Starting llvm::Module pass manager run 81; CHECK-FUNCTION-VERIFY: Starting llvm::Function pass manager run 82; CHECK-FUNCTION-VERIFY: Running pass: PrintFunctionPass 83; CHECK-FUNCTION-VERIFY-NOT: ModuleID 84; CHECK-FUNCTION-VERIFY: define void @foo() 85; CHECK-FUNCTION-VERIFY: Running pass: VerifierPass 86; CHECK-FUNCTION-VERIFY: Finished llvm::Function pass manager run 87; CHECK-FUNCTION-VERIFY: Finished llvm::Module pass manager run 88 89; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \ 90; RUN: | FileCheck %s --check-prefix=CHECK-NOOP 91; CHECK-NOOP: define void @foo() { 92; CHECK-NOOP: ret void 93; CHECK-NOOP: } 94 95; Round trip through bitcode. 96; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \ 97; RUN: | llvm-dis \ 98; RUN: | FileCheck %s --check-prefix=CHECK-NOOP 99 100; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \ 101; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH 102; CHECK-VERIFY-EACH: Starting llvm::Module pass manager run 103; CHECK-VERIFY-EACH: Running pass: VerifierPass 104; CHECK-VERIFY-EACH: Running pass: NoOpModulePass 105; CHECK-VERIFY-EACH: Running pass: VerifierPass 106; CHECK-VERIFY-EACH: Starting llvm::Function pass manager run 107; CHECK-VERIFY-EACH: Running pass: NoOpFunctionPass 108; CHECK-VERIFY-EACH: Running pass: VerifierPass 109; CHECK-VERIFY-EACH: Finished llvm::Function pass manager run 110; CHECK-VERIFY-EACH: Running pass: VerifierPass 111; CHECK-VERIFY-EACH: Finished llvm::Module pass manager run 112 113; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \ 114; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY 115; CHECK-NO-VERIFY: Starting llvm::Module pass manager run 116; CHECK-NO-VERIFY-NOT: VerifierPass 117; CHECK-NO-VERIFY: Running pass: NoOpModulePass 118; CHECK-NO-VERIFY-NOT: VerifierPass 119; CHECK-NO-VERIFY: Starting llvm::Function pass manager run 120; CHECK-NO-VERIFY: Running pass: NoOpFunctionPass 121; CHECK-NO-VERIFY-NOT: VerifierPass 122; CHECK-NO-VERIFY: Finished llvm::Function pass manager run 123; CHECK-NO-VERIFY-NOT: VerifierPass 124; CHECK-NO-VERIFY: Finished llvm::Module pass manager run 125 126; RUN: opt -disable-output -debug-pass-manager \ 127; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \ 128; RUN: | FileCheck %s --check-prefix=CHECK-ANALYSES 129; CHECK-ANALYSES: Starting llvm::Module pass manager run 130; CHECK-ANALYSES: Running pass: RequireAnalysisPass 131; CHECK-ANALYSES: Running analysis: NoOpModuleAnalysis 132; CHECK-ANALYSES: Starting llvm::LazyCallGraph::SCC pass manager run 133; CHECK-ANALYSES: Running pass: RequireAnalysisPass 134; CHECK-ANALYSES: Running analysis: NoOpCGSCCAnalysis 135; CHECK-ANALYSES: Starting llvm::Function pass manager run 136; CHECK-ANALYSES: Running pass: RequireAnalysisPass 137; CHECK-ANALYSES: Running analysis: NoOpFunctionAnalysis 138 139; Make sure no-op passes that preserve all analyses don't even try to do any 140; analysis invalidation. 141; RUN: opt -disable-output -debug-pass-manager \ 142; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \ 143; RUN: | FileCheck %s --check-prefix=CHECK-NO-OP-INVALIDATION 144; CHECK-NO-OP-INVALIDATION: Starting llvm::Module pass manager run 145; CHECK-NO-OP-INVALIDATION-NOT: Invalidating all non-preserved analyses 146 147; RUN: opt -disable-output -debug-pass-manager \ 148; RUN: -passes='require<no-op-module>,require<no-op-module>,require<no-op-module>' %s 2>&1 \ 149; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS 150; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Starting llvm::Module pass manager run 151; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass 152; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis 153; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS-NOT: Running analysis: NoOpModuleAnalysis 154 155; RUN: opt -disable-output -debug-pass-manager \ 156; RUN: -passes='require<no-op-module>,invalidate<no-op-module>,require<no-op-module>' %s 2>&1 \ 157; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS 158; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Starting llvm::Module pass manager run 159; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass 160; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis 161; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Invalidating analysis: NoOpModuleAnalysis 162; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis 163 164; RUN: opt -disable-output -debug-pass-manager \ 165; RUN: -passes='cgscc(require<no-op-cgscc>,require<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \ 166; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS 167; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Starting llvm::Module pass manager run 168; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass 169; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis 170; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS-NOT: Running analysis: NoOpCGSCCAnalysis 171 172; RUN: opt -disable-output -debug-pass-manager \ 173; RUN: -passes='cgscc(require<no-op-cgscc>,invalidate<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \ 174; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS 175; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Starting llvm::Module pass manager run 176; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass 177; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis 178; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Invalidating analysis: NoOpCGSCCAnalysis 179; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis 180 181; RUN: opt -disable-output -debug-pass-manager \ 182; RUN: -passes='function(require<no-op-function>,require<no-op-function>,require<no-op-function>)' %s 2>&1 \ 183; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS 184; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Starting llvm::Module pass manager run 185; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass 186; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis 187; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS-NOT: Running analysis: NoOpFunctionAnalysis 188 189; RUN: opt -disable-output -debug-pass-manager \ 190; RUN: -passes='function(require<no-op-function>,invalidate<no-op-function>,require<no-op-function>)' %s 2>&1 \ 191; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS 192; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Starting llvm::Module pass manager run 193; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass 194; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis 195; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating analysis: NoOpFunctionAnalysis 196; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis 197 198; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 199; RUN: -passes='require<no-op-module>,module(require<no-op-module>,function(require<no-op-function>,invalidate<all>,require<no-op-function>),require<no-op-module>),require<no-op-module>' %s 2>&1 \ 200; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL 201; CHECK-INVALIDATE-ALL: Starting llvm::Module pass manager run 202; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass 203; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis 204; CHECK-INVALIDATE-ALL: Starting llvm::Module pass manager run 205; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass 206; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis 207; CHECK-INVALIDATE-ALL: Starting llvm::Function pass manager run 208; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass 209; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis 210; CHECK-INVALIDATE-ALL: Running pass: InvalidateAllAnalysesPass 211; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses 212; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpFunctionAnalysis 213; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass 214; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis 215; CHECK-INVALIDATE-ALL: Finished llvm::Function pass manager run 216; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses 217; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpFunctionAnalysis 218; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses 219; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpModuleAnalysis 220; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass 221; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis 222; CHECK-INVALIDATE-ALL: Finished llvm::Module pass manager run 223; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses 224; CHECK-INVALIDATE-ALL-NOT: Invalidating analysis: NoOpModuleAnalysis 225; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass 226; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis 227; CHECK-INVALIDATE-ALL: Finished llvm::Module pass manager run 228 229; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 230; RUN: -passes='require<no-op-module>,module(require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>,invalidate<all>,require<no-op-function>),require<no-op-cgscc>),require<no-op-module>),require<no-op-module>' %s 2>&1 \ 231; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL-CG 232; CHECK-INVALIDATE-ALL-CG: Starting llvm::Module pass manager run 233; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 234; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis 235; CHECK-INVALIDATE-ALL-CG: Starting llvm::Module pass manager run 236; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 237; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis 238; CHECK-INVALIDATE-ALL-CG: Starting llvm::LazyCallGraph::SCC pass manager run 239; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 240; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis 241; CHECK-INVALIDATE-ALL-CG: Starting llvm::Function pass manager run 242; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 243; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis 244; CHECK-INVALIDATE-ALL-CG: Running pass: InvalidateAllAnalysesPass 245; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses 246; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpFunctionAnalysis 247; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 248; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis 249; CHECK-INVALIDATE-ALL-CG: Finished llvm::Function pass manager run 250; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses 251; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpFunctionAnalysis 252; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses 253; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpCGSCCAnalysis 254; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 255; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis 256; CHECK-INVALIDATE-ALL-CG: Finished llvm::LazyCallGraph::SCC pass manager run 257; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses 258; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpCGSCCAnalysis 259; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses 260; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpModuleAnalysis 261; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 262; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis 263; CHECK-INVALIDATE-ALL-CG: Finished llvm::Module pass manager run 264; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses 265; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpModuleAnalysis 266; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass 267; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis 268; CHECK-INVALIDATE-ALL-CG: Finished llvm::Module pass manager run 269 270; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 271; RUN: -passes='require<targetlibinfo>,invalidate<all>,require<targetlibinfo>' \ 272; RUN: | FileCheck %s --check-prefix=CHECK-TLI 273; CHECK-TLI: Starting llvm::Module pass manager run 274; CHECK-TLI: Running pass: RequireAnalysisPass 275; CHECK-TLI: Running analysis: TargetLibraryAnalysis 276; CHECK-TLI: Running pass: InvalidateAllAnalysesPass 277; CHECK-TLI-NOT: Invalidating analysis: TargetLibraryAnalysis 278; CHECK-TLI: Running pass: RequireAnalysisPass 279; CHECK-TLI-NOT: Running analysis: TargetLibraryAnalysis 280; CHECK-TLI: Finished llvm::Module pass manager run 281 282; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 283; RUN: -passes='require<targetir>,invalidate<all>,require<targetir>' \ 284; RUN: | FileCheck %s --check-prefix=CHECK-TIRA 285; CHECK-TIRA: Starting llvm::Module pass manager run 286; CHECK-TIRA: Running pass: RequireAnalysisPass 287; CHECK-TIRA: Running analysis: TargetIRAnalysis 288; CHECK-TIRA: Running pass: InvalidateAllAnalysesPass 289; CHECK-TIRA-NOT: Invalidating analysis: TargetIRAnalysis 290; CHECK-TIRA: Running pass: RequireAnalysisPass 291; CHECK-TIRA-NOT: Running analysis: TargetIRAnalysis 292; CHECK-TIRA: Finished llvm::Module pass manager run 293 294; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 295; RUN: -passes='require<domtree>' \ 296; RUN: | FileCheck %s --check-prefix=CHECK-DT 297; CHECK-DT: Starting llvm::Module pass manager run 298; CHECK-DT: Running pass: RequireAnalysisPass 299; CHECK-DT: Running analysis: DominatorTreeAnalysis 300; CHECK-DT: Finished llvm::Module pass manager run 301 302; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 303; RUN: -passes='require<basic-aa>' \ 304; RUN: | FileCheck %s --check-prefix=CHECK-BASIC-AA 305; CHECK-BASIC-AA: Starting llvm::Module pass manager run 306; CHECK-BASIC-AA: Running pass: RequireAnalysisPass 307; CHECK-BASIC-AA: Running analysis: BasicAA 308; CHECK-BASIC-AA: Finished llvm::Module pass manager run 309 310; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 311; RUN: -passes='require<aa>' -aa-pipeline='basic-aa' \ 312; RUN: | FileCheck %s --check-prefix=CHECK-AA 313; CHECK-AA: Starting llvm::Module pass manager run 314; CHECK-AA: Running pass: RequireAnalysisPass 315; CHECK-AA: Running analysis: AAManager 316; CHECK-AA: Running analysis: BasicAA 317; CHECK-AA: Finished llvm::Module pass manager run 318 319; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 320; RUN: -passes='require<memdep>' \ 321; RUN: | FileCheck %s --check-prefix=CHECK-MEMDEP 322; CHECK-MEMDEP: Starting llvm::Module pass manager run 323; CHECK-MEMDEP: Running pass: RequireAnalysisPass 324; CHECK-MEMDEP: Running analysis: MemoryDependenceAnalysis 325; CHECK-MEMDEP: Finished llvm::Module pass manager run 326 327; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 328; RUN: -passes='require<callgraph>' \ 329; RUN: | FileCheck %s --check-prefix=CHECK-CALLGRAPH 330; CHECK-CALLGRAPH: Starting llvm::Module pass manager run 331; CHECK-CALLGRAPH: Running pass: RequireAnalysisPass 332; CHECK-CALLGRAPH: Running analysis: CallGraphAnalysis 333; CHECK-CALLGRAPH: Finished llvm::Module pass manager run 334 335; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 336; RUN: -passes='default<O0>' %s 2>&1 \ 337; RUN: | FileCheck %s --check-prefix=CHECK-O2 338; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 339; RUN: -passes='default<O1>' %s 2>&1 \ 340; RUN: | FileCheck %s --check-prefix=CHECK-O2 341; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 342; RUN: -passes='default<O2>' %s 2>&1 \ 343; RUN: | FileCheck %s --check-prefix=CHECK-O2 344; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 345; RUN: -passes='default<Os>' %s 2>&1 \ 346; RUN: | FileCheck %s --check-prefix=CHECK-O2 347; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 348; RUN: -passes='default<Oz>' %s 2>&1 \ 349; RUN: | FileCheck %s --check-prefix=CHECK-O2 350; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 351; RUN: -passes='lto-pre-link<O2>' %s 2>&1 \ 352; RUN: | FileCheck %s --check-prefix=CHECK-O2 353; CHECK-O2: Starting llvm::Module pass manager run 354; CHECK-O2: Running pass: SimplifyCFGPass 355; CHECK-O2: Running pass: SROA 356; CHECK-O2: Running pass: EarlyCSEPass 357; CHECK-O2: Running pass: LowerExpectIntrinsicPass 358 359; RUN: opt -disable-output -disable-verify -debug-pass-manager \ 360; RUN: -passes='lto<O2>' %s 2>&1 \ 361; RUN: | FileCheck %s --check-prefix=CHECK-LTO-O2 362; CHECK-LTO-O2: Starting llvm::Module pass manager run 363; CHECK-LTO-O2: Running pass: InstCombinePass 364; CHECK-LTO-O2: Running pass: SimplifyCFGPass 365 366define void @foo() { 367 ret void 368} 369 370declare void @bar() 371