Skip to content

Commit a817842

Browse files
aeubanksaeubanks
committed
[test] Use -verify-cfg-preserved=0 in new-pass-manager.ll
This matches other tests and makes this test less sensitive
1 parent b597992 commit a817842

File tree

1 file changed

+26
-31
lines changed

1 file changed

+26
-31
lines changed

‎llvm/test/Other/new-pass-manager.ll

Lines changed: 26 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -5,18 +5,18 @@
55
; files, but for now this is just going to step the new process through its
66
; paces.
77

8-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
8+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
99
; RUN: -passes=no-op-module %s 2>&1 \
1010
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS
11-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
11+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
1212
; RUN: -p no-op-module %s 2>&1 \
1313
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS
1414
; CHECK-MODULE-PASS: Running pass: NoOpModulePass
1515

16-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
16+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
1717
; RUN: -passes=no-op-cgscc %s 2>&1 \
1818
; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
19-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
19+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
2020
; RUN: -passes='cgscc(no-op-cgscc)' %s 2>&1 \
2121
; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
2222
; CHECK-CGSCC-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*(CGSCCAnalysisManager|AnalysisManager<.*LazyCallGraph::SCC.*>).*}},{{.*}}Module>
@@ -27,14 +27,13 @@
2727
; CHECK-CGSCC-PASS-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>
2828
; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
2929

30-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
30+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
3131
; RUN: -passes=no-op-function %s 2>&1 \
3232
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
33-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
33+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
3434
; RUN: -passes='function(no-op-function)' %s 2>&1 \
3535
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
3636
; CHECK-FUNCTION-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
37-
; CHECK-FUNCTION-PASS-NEXT: Running analysis: PreservedCFGCheckerAnalysis on foo
3837
; CHECK-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
3938

4039
; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \
@@ -44,7 +43,7 @@
4443
; CHECK-MODULE-PRINT: define void @foo(i1 %x, ptr %p1, ptr %p2)
4544
; CHECK-MODULE-PRINT: Running pass: VerifierPass
4645

47-
; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-cfg-preserved=1 -passes='print,verify' %s 2>&1 \
46+
; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-cfg-preserved=0 -passes='print,verify' %s 2>&1 \
4847
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY
4948
; CHECK-MODULE-VERIFY: Running pass: PrintModulePass
5049
; CHECK-MODULE-VERIFY: ModuleID
@@ -59,7 +58,7 @@
5958
; CHECK-FUNCTION-PRINT: define void @foo(i1 %x, ptr %p1, ptr %p2)
6059
; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
6160

62-
; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-cfg-preserved=1 -passes='function(print,verify)' %s 2>&1 \
61+
; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-cfg-preserved=0 -passes='function(print,verify)' %s 2>&1 \
6362
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
6463
; CHECK-FUNCTION-VERIFY: Running pass: PrintFunctionPass
6564
; CHECK-FUNCTION-VERIFY-NOT: ModuleID
@@ -84,7 +83,7 @@
8483
; RUN: | llvm-dis \
8584
; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
8685

87-
; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-cfg-preserved=1 -passes='no-op-module,function(no-op-function)' %s 2>&1 \
86+
; RUN: opt -disable-output -debug-pass-manager -disable-verify -verify-cfg-preserved=0 -passes='no-op-module,function(no-op-function)' %s 2>&1 \
8887
; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY
8988
; CHECK-NO-VERIFY-NOT: VerifierPass
9089
; CHECK-NO-VERIFY: Running pass: NoOpModulePass
@@ -154,7 +153,7 @@
154153
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating analysis: NoOpFunctionAnalysis
155154
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
156155

157-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
156+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
158157
; 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 \
159158
; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL
160159
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
@@ -174,7 +173,7 @@
174173
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
175174
; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
176175

177-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
176+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
178177
; 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 \
179178
; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL-CG
180179
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
@@ -201,7 +200,7 @@
201200
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
202201
; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
203202

204-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
203+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
205204
; RUN: -passes='require<targetlibinfo>,invalidate<all>,require<targetlibinfo>' \
206205
; RUN: | FileCheck %s --check-prefix=CHECK-TLI
207206
; CHECK-TLI: Running pass: RequireAnalysisPass
@@ -211,7 +210,7 @@
211210
; CHECK-TLI: Running pass: RequireAnalysisPass
212211
; CHECK-TLI-NOT: Running analysis: TargetLibraryAnalysis
213212

214-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
213+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
215214
; RUN: -passes='require<targetir>,invalidate<all>,require<targetir>' \
216215
; RUN: | FileCheck %s --check-prefix=CHECK-TIRA
217216
; CHECK-TIRA: Running pass: RequireAnalysisPass
@@ -221,26 +220,26 @@
221220
; CHECK-TIRA: Running pass: RequireAnalysisPass
222221
; CHECK-TIRA-NOT: Running analysis: TargetIRAnalysis
223222

224-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
223+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
225224
; RUN: -passes='require<domtree>' \
226225
; RUN: | FileCheck %s --check-prefix=CHECK-DT
227226
; CHECK-DT: Running pass: RequireAnalysisPass
228227
; CHECK-DT: Running analysis: DominatorTreeAnalysis
229228

230-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
229+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
231230
; RUN: -passes='require<basic-aa>' \
232231
; RUN: | FileCheck %s --check-prefix=CHECK-BASIC-AA
233232
; CHECK-BASIC-AA: Running pass: RequireAnalysisPass
234233
; CHECK-BASIC-AA: Running analysis: BasicAA
235234

236-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
235+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
237236
; RUN: -passes='require<aa>' -aa-pipeline='basic-aa' \
238237
; RUN: | FileCheck %s --check-prefix=CHECK-AA
239238
; CHECK-AA: Running pass: RequireAnalysisPass
240239
; CHECK-AA: Running analysis: AAManager
241240
; CHECK-AA: Running analysis: BasicAA
242241

243-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
242+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
244243
; RUN: -passes='require<aa>' -aa-pipeline='default' \
245244
; RUN: | FileCheck %s --check-prefix=CHECK-AA-DEFAULT
246245
; CHECK-AA-DEFAULT: Running pass: RequireAnalysisPass
@@ -249,7 +248,7 @@
249248
; CHECK-AA-DEFAULT: Running analysis: ScopedNoAliasAA
250249
; CHECK-AA-DEFAULT: Running analysis: TypeBasedAA
251250

252-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
251+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
253252
; RUN: -passes='require<aa>,invalidate<domtree>,aa-eval' -aa-pipeline='basic-aa' \
254253
; RUN: | FileCheck %s --check-prefix=CHECK-AA-FUNCTION-INVALIDATE
255254
; CHECK-AA-FUNCTION-INVALIDATE: Running pass: RequireAnalysisPass
@@ -263,7 +262,7 @@
263262
; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: AAManager
264263
; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: BasicAA
265264

266-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
265+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
267266
; RUN: -passes='require<globals-aa>,function(require<aa>),invalidate<globals-aa>,require<globals-aa>,function(aa-eval)' -aa-pipeline='globals-aa' \
268267
; RUN: | FileCheck %s --check-prefix=CHECK-AA-MODULE-INVALIDATE
269268
; CHECK-AA-MODULE-INVALIDATE: Running pass: RequireAnalysisPass
@@ -276,19 +275,19 @@
276275
; CHECK-AA-MODULE-INVALIDATE: Running analysis: GlobalsAA
277276
; CHECK-AA-MODULE-INVALIDATE: Running pass: AAEvaluator
278277

279-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
278+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
280279
; RUN: -passes='require<memdep>' \
281280
; RUN: | FileCheck %s --check-prefix=CHECK-MEMDEP
282281
; CHECK-MEMDEP: Running pass: RequireAnalysisPass
283282
; CHECK-MEMDEP: Running analysis: MemoryDependenceAnalysis
284283

285-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager %s 2>&1 \
284+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager %s 2>&1 \
286285
; RUN: -passes='require<callgraph>' \
287286
; RUN: | FileCheck %s --check-prefix=CHECK-CALLGRAPH
288287
; CHECK-CALLGRAPH: Running pass: RequireAnalysisPass
289288
; CHECK-CALLGRAPH: Running analysis: CallGraphAnalysis
290289

291-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
290+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
292291
; RUN: -passes='default<O0>' %s 2>&1 \
293292
; RUN: | FileCheck %s --check-prefix=CHECK-O0 --check-prefix=%llvmcheckext
294293
; CHECK-O0: Running pass: AlwaysInlinerPass
@@ -299,15 +298,15 @@
299298
; avoiding FileCheck complaining about the unused prefix.
300299
; CHECK-NOEXT: {{.*}}
301300

302-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
301+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
303302
; RUN: -passes='repeat<3>(no-op-module)' %s 2>&1 \
304303
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-MODULE-PASS
305304
; CHECK-REPEAT-MODULE-PASS: Running pass: RepeatedPass
306305
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
307306
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
308307
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
309308

310-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
309+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
311310
; RUN: -passes='cgscc(repeat<3>(no-op-cgscc))' %s 2>&1 \
312311
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-CGSCC-PASS
313312
; CHECK-REPEAT-CGSCC-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*(CGSCCAnalysisManager|AnalysisManager<.*LazyCallGraph::SCC.*>).*}},{{.*}}Module>
@@ -321,29 +320,25 @@
321320
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
322321
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
323322

324-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
323+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
325324
; RUN: -passes='function(repeat<3>(no-op-function))' %s 2>&1 \
326325
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-FUNCTION-PASS
327326
; CHECK-REPEAT-FUNCTION-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
328-
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running analysis: PreservedCFGCheckerAnalysis on foo
329327
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: RepeatedPass
330328
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
331329
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
332330
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
333331

334-
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=1 -debug-pass-manager \
332+
; RUN: opt -disable-output -disable-verify -verify-cfg-preserved=0 -debug-pass-manager \
335333
; RUN: -passes='loop(repeat<3>(no-op-loop))' %s 2>&1 \
336334
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-LOOP-PASS
337335
; CHECK-REPEAT-LOOP-PASS: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
338-
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: PreservedCFGCheckerAnalysis on foo
339336
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: LoopSimplify
340337
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: LoopAnalysis
341338
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: DominatorTreeAnalysis
342339
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: AssumptionAnalysis
343340
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TargetIRAnalysis
344-
; CHECK-REPEAT-LOOP-PASS-NEXT: Invalidating analysis: PreservedCFGCheckerAnalysis on foo
345341
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: LCSSAPass
346-
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: PreservedCFGCheckerAnalysis on foo
347342
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: AAManager
348343
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TargetLibraryAnalysis
349344
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: BasicAA

0 commit comments

Comments
 (0)