316 lines · plain
1; This test is essentially doing very basic things with the opt tool and the2; new pass manager pipeline. It will be used to flesh out the feature3; completeness of the opt tool when the new pass manager is engaged. The tests4; may not be useful once it becomes the default or may get spread out into other5; files, but for now this is just going to step the new process through its6; paces.7 8; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \9; RUN: -passes=no-op-module %s 2>&1 \10; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS11; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \12; RUN: -p no-op-module %s 2>&1 \13; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS14; CHECK-MODULE-PASS: Running pass: NoOpModulePass15 16; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \17; RUN: -passes=no-op-cgscc %s 2>&1 \18; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS19; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \20; RUN: -passes='cgscc(no-op-cgscc)' %s 2>&1 \21; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS22; CHECK-CGSCC-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*(CGSCCAnalysisManager|AnalysisManager<.*LazyCallGraph::SCC.*>).*}},{{.*}}Module>23; CHECK-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*(FunctionAnalysisManager|AnalysisManager<.*Function.*>).*}},{{.*}}Module>24; CHECK-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis25; CHECK-CGSCC-PASS-NEXT: Running analysis: TargetLibraryAnalysis26; CHECK-CGSCC-PASS-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy27; CHECK-CGSCC-PASS-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>28; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass29 30; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \31; RUN: -passes=no-op-function %s 2>&1 \32; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS33; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \34; RUN: -passes='function(no-op-function)' %s 2>&1 \35; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS36; CHECK-FUNCTION-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*}}>37; CHECK-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass38 39; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \40; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT41; CHECK-MODULE-PRINT: Running pass: PrintModulePass42; CHECK-MODULE-PRINT: ModuleID43; CHECK-MODULE-PRINT: define void @foo(i1 %x, ptr %p1, ptr %p2)44; CHECK-MODULE-PRINT: Running pass: VerifierPass45 46; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-analysis-invalidation=0 -passes='print,verify' %s 2>&1 \47; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY48; CHECK-MODULE-VERIFY: Running pass: PrintModulePass49; CHECK-MODULE-VERIFY: ModuleID50; CHECK-MODULE-VERIFY: define void @foo(i1 %x, ptr %p1, ptr %p2)51; CHECK-MODULE-VERIFY: Running pass: VerifierPass52 53; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \54; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT55; CHECK-FUNCTION-PRINT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>56; CHECK-FUNCTION-PRINT: Running pass: PrintFunctionPass57; CHECK-FUNCTION-PRINT-NOT: ModuleID58; CHECK-FUNCTION-PRINT: define void @foo(i1 %x, ptr %p1, ptr %p2)59; CHECK-FUNCTION-PRINT: Running pass: VerifierPass60 61; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-analysis-invalidation=0 -passes='function(print,verify)' %s 2>&1 \62; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY63; CHECK-FUNCTION-VERIFY: Running pass: PrintFunctionPass64; CHECK-FUNCTION-VERIFY-NOT: ModuleID65; CHECK-FUNCTION-VERIFY: define void @foo(i1 %x, ptr %p1, ptr %p2)66; CHECK-FUNCTION-VERIFY: Running pass: VerifierPass67 68; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \69; RUN: | FileCheck %s --check-prefix=CHECK-NOOP70; CHECK-NOOP: define void @foo(i1 %x, ptr %p1, ptr %p2) {71; CHECK-NOOP: entry:72; CHECK-NOOP: store i8 42, ptr %p173; CHECK-NOOP: br i1 %x, label %loop, label %exit74; CHECK-NOOP: loop:75; CHECK-NOOP: %tmp1 = load i8, ptr %p276; CHECK-NOOP: br label %loop77; CHECK-NOOP: exit:78; CHECK-NOOP: ret void79; CHECK-NOOP: }80 81; Round trip through bitcode.82; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \83; RUN: | llvm-dis \84; RUN: | FileCheck %s --check-prefix=CHECK-NOOP85 86; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-analysis-invalidation=0 -passes='no-op-module,function(no-op-function)' %s 2>&1 \87; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY88; CHECK-NO-VERIFY-NOT: VerifierPass89; CHECK-NO-VERIFY: Running pass: NoOpModulePass90; CHECK-NO-VERIFY-NOT: VerifierPass91; CHECK-NO-VERIFY: Running pass: NoOpFunctionPass92; CHECK-NO-VERIFY-NOT: VerifierPass93 94; RUN: opt -disable-output -debug-pass-manager \95; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \96; RUN: | FileCheck %s --check-prefix=CHECK-ANALYSES97; CHECK-ANALYSES: Running pass: RequireAnalysisPass98; CHECK-ANALYSES: Running analysis: NoOpModuleAnalysis99; CHECK-ANALYSES: Running pass: RequireAnalysisPass100; CHECK-ANALYSES: Running analysis: NoOpCGSCCAnalysis101; CHECK-ANALYSES: Running pass: RequireAnalysisPass102; CHECK-ANALYSES: Running analysis: NoOpFunctionAnalysis103 104; Make sure no-op passes that preserve all analyses don't even try to do any105; analysis invalidation.106; RUN: opt -disable-output -debug-pass-manager \107; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \108; RUN: | FileCheck %s --check-prefix=CHECK-NO-OP-INVALIDATION109; CHECK-NO-OP-INVALIDATION-NOT: Invalidat110 111; RUN: opt -disable-output -debug-pass-manager \112; RUN: -passes='require<no-op-module>,require<no-op-module>,require<no-op-module>' %s 2>&1 \113; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS114; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass115; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis116; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS-NOT: Running analysis: NoOpModuleAnalysis117 118; RUN: opt -disable-output -debug-pass-manager \119; RUN: -passes='require<no-op-module>,invalidate<no-op-module>,require<no-op-module>' %s 2>&1 \120; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS121; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass122; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis123; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Invalidating analysis: NoOpModuleAnalysis124; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis125 126; RUN: opt -disable-output -debug-pass-manager \127; RUN: -passes='cgscc(require<no-op-cgscc>,require<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \128; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS129; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass130; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis131; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS-NOT: Running analysis: NoOpCGSCCAnalysis132 133; RUN: opt -disable-output -debug-pass-manager \134; RUN: -passes='cgscc(require<no-op-cgscc>,invalidate<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \135; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS136; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass137; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis138; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Invalidating analysis: NoOpCGSCCAnalysis139; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis140 141; RUN: opt -disable-output -debug-pass-manager \142; RUN: -passes='function(require<no-op-function>,require<no-op-function>,require<no-op-function>)' %s 2>&1 \143; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS144; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass145; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis146; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS-NOT: Running analysis: NoOpFunctionAnalysis147 148; RUN: opt -disable-output -debug-pass-manager \149; RUN: -passes='function(require<no-op-function>,invalidate<no-op-function>,require<no-op-function>)' %s 2>&1 \150; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS151; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass152; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis153; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating analysis: NoOpFunctionAnalysis154; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis155 156; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \157; 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 \158; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL159; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass160; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis161; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass162; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis163; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass164; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis165; CHECK-INVALIDATE-ALL: Running pass: InvalidateAllAnalysesPass166; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpFunctionAnalysis167; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass168; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis169; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpModuleAnalysis170; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass171; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis172; CHECK-INVALIDATE-ALL-NOT: Invalidating analysis: NoOpModuleAnalysis173; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass174; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis175 176; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \177; 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 \178; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL-CG179; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass180; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis181; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass182; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis183; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass184; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis185; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass186; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis187; CHECK-INVALIDATE-ALL-CG: Running pass: InvalidateAllAnalysesPass188; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpFunctionAnalysis189; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass190; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis191; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpFunctionAnalysis192; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpCGSCCAnalysis193; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass194; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis195; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpCGSCCAnalysis196; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpModuleAnalysis197; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass198; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis199; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpModuleAnalysis200; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass201; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis202 203; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \204; RUN: -passes='require<target-lib-info>,invalidate<all>,require<target-lib-info>' \205; RUN: | FileCheck %s --check-prefix=CHECK-TLI206; CHECK-TLI: Running pass: RequireAnalysisPass207; CHECK-TLI: Running analysis: TargetLibraryAnalysis208; CHECK-TLI: Running pass: InvalidateAllAnalysesPass209; CHECK-TLI-NOT: Invalidating analysis: TargetLibraryAnalysis210; CHECK-TLI: Running pass: RequireAnalysisPass211; CHECK-TLI-NOT: Running analysis: TargetLibraryAnalysis212 213; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \214; RUN: -passes='require<target-ir>,invalidate<all>,require<target-ir>' \215; RUN: | FileCheck %s --check-prefix=CHECK-TIRA216; CHECK-TIRA: Running pass: RequireAnalysisPass217; CHECK-TIRA: Running analysis: TargetIRAnalysis218; CHECK-TIRA: Running pass: InvalidateAllAnalysesPass219; CHECK-TIRA-NOT: Invalidating analysis: TargetIRAnalysis220; CHECK-TIRA: Running pass: RequireAnalysisPass221; CHECK-TIRA-NOT: Running analysis: TargetIRAnalysis222 223; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \224; RUN: -passes='require<domtree>' \225; RUN: | FileCheck %s --check-prefix=CHECK-DT226; CHECK-DT: Running pass: RequireAnalysisPass227; CHECK-DT: Running analysis: DominatorTreeAnalysis228 229; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \230; RUN: -passes='require<basic-aa>' \231; RUN: | FileCheck %s --check-prefix=CHECK-BASIC-AA232; CHECK-BASIC-AA: Running pass: RequireAnalysisPass233; CHECK-BASIC-AA: Running analysis: BasicAA234 235; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \236; RUN: -passes='require<aa>' -aa-pipeline='basic-aa' \237; RUN: | FileCheck %s --check-prefix=CHECK-AA238; CHECK-AA: Running pass: RequireAnalysisPass239; CHECK-AA: Running analysis: AAManager240; CHECK-AA: Running analysis: BasicAA241 242; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \243; RUN: -passes='require<aa>' -aa-pipeline='default' \244; RUN: | FileCheck %s --check-prefix=CHECK-AA-DEFAULT245; CHECK-AA-DEFAULT: Running pass: RequireAnalysisPass246; CHECK-AA-DEFAULT: Running analysis: AAManager247; CHECK-AA-DEFAULT: Running analysis: BasicAA248; CHECK-AA-DEFAULT: Running analysis: ScopedNoAliasAA249; CHECK-AA-DEFAULT: Running analysis: TypeBasedAA250 251; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \252; RUN: -passes='require<aa>,invalidate<domtree>,aa-eval' -aa-pipeline='basic-aa' \253; RUN: | FileCheck %s --check-prefix=CHECK-AA-FUNCTION-INVALIDATE254; CHECK-AA-FUNCTION-INVALIDATE: Running pass: RequireAnalysisPass255; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: AAManager256; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: BasicAA257; CHECK-AA-FUNCTION-INVALIDATE: Running pass: InvalidateAnalysisPass258; CHECK-AA-FUNCTION-INVALIDATE: Invalidating analysis: DominatorTreeAnalysis259; CHECK-AA-FUNCTION-INVALIDATE: Invalidating analysis: BasicAA260; CHECK-AA-FUNCTION-INVALIDATE: Invalidating analysis: AAManager261; CHECK-AA-FUNCTION-INVALIDATE: Running pass: AAEvaluator262; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: AAManager263; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: BasicAA264 265; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \266; RUN: -passes='require<globals-aa>,function(require<aa>),invalidate<globals-aa>,require<globals-aa>,function(aa-eval)' -aa-pipeline='globals-aa' \267; RUN: | FileCheck %s --check-prefix=CHECK-AA-MODULE-INVALIDATE268; CHECK-AA-MODULE-INVALIDATE: Running pass: RequireAnalysisPass269; CHECK-AA-MODULE-INVALIDATE: Running analysis: GlobalsAA270; CHECK-AA-MODULE-INVALIDATE: Running pass: RequireAnalysisPass271; CHECK-AA-MODULE-INVALIDATE: Running analysis: AAManager272; CHECK-AA-MODULE-INVALIDATE: Running pass: InvalidateAnalysisPass273; CHECK-AA-MODULE-INVALIDATE: Invalidating analysis: GlobalsAA274; CHECK-AA-MODULE-INVALIDATE: Running pass: RequireAnalysisPass275; CHECK-AA-MODULE-INVALIDATE: Running analysis: GlobalsAA276; CHECK-AA-MODULE-INVALIDATE: Running pass: AAEvaluator277 278; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \279; RUN: -passes='require<memdep>' \280; RUN: | FileCheck %s --check-prefix=CHECK-MEMDEP281; CHECK-MEMDEP: Running pass: RequireAnalysisPass282; CHECK-MEMDEP: Running analysis: MemoryDependenceAnalysis283 284; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager %s 2>&1 \285; RUN: -passes='require<callgraph>' \286; RUN: | FileCheck %s --check-prefix=CHECK-CALLGRAPH287; CHECK-CALLGRAPH: Running pass: RequireAnalysisPass288; CHECK-CALLGRAPH: Running analysis: CallGraphAnalysis289 290; RUN: opt -disable-output -disable-verify -verify-analysis-invalidation=0 -debug-pass-manager \291; RUN: -passes='default<O0>' %s 2>&1 \292; RUN: | FileCheck %s --check-prefix=CHECK-O0 --check-prefix=%llvmcheckext293; CHECK-O0: Running analysis: InnerAnalysisManagerProxy<{{.*}}>294; CHECK-O0-NEXT: Running pass: EntryExitInstrumenterPass295; CHECK-O0-NEXT: Running pass: AlwaysInlinerPass296; CHECK-O0-NEXT: Running analysis: ProfileSummaryAnalysis297; CHECK-EXT-NEXT: Running pass: {{.*}}Bye298; We don't have checks for CHECK-NOEXT here, but this simplifies the test, while299; avoiding FileCheck complaining about the unused prefix.300; CHECK-NOEXT: {{.*}}301 302define void @foo(i1 %x, ptr %p1, ptr %p2) {303entry:304 store i8 42, ptr %p1305 br i1 %x, label %loop, label %exit306 307loop:308 %tmp1 = load i8, ptr %p2309 br label %loop310 311exit:312 ret void313}314 315declare void @bar()316