|
7 | 7 | ; Any invalidation that shows up here is a bug, unless we started modifying
|
8 | 8 | ; the IR, in which case we need to make it immutable harder.
|
9 | 9 |
|
10 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 10 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
11 | 11 | ; RUN: -passes='default<O1>' -S %s 2>&1 \
|
12 | 12 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O1,%llvmcheckext
|
13 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 13 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
14 | 14 | ; RUN: -passes='default<O2>' -S %s 2>&1 \
|
15 | 15 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O2,CHECK-O23SZ,%llvmcheckext
|
16 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 16 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
17 | 17 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
18 | 18 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext
|
19 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 19 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
20 | 20 | ; RUN: -passes='default<Os>' -S %s 2>&1 \
|
21 | 21 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-Os,CHECK-O23SZ,%llvmcheckext
|
22 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 22 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
23 | 23 | ; RUN: -passes='default<Oz>' -S %s 2>&1 \
|
24 | 24 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-Oz,CHECK-O23SZ,%llvmcheckext
|
25 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 25 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
26 | 26 | ; RUN: -passes='lto-pre-link<O2>' -S %s 2>&1 \
|
27 | 27 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O2,CHECK-O23SZ,%llvmcheckext
|
28 | 28 |
|
29 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 29 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
30 | 30 | ; RUN: -passes-ep-peephole='no-op-function' \
|
31 | 31 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
32 | 32 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PEEPHOLE,CHECK-O23SZ
|
33 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 33 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
34 | 34 | ; RUN: -passes-ep-late-loop-optimizations='no-op-loop' \
|
35 | 35 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
36 | 36 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-LATE,CHECK-O23SZ
|
37 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 37 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
38 | 38 | ; RUN: -passes-ep-loop-optimizer-end='no-op-loop' \
|
39 | 39 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
40 | 40 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-END,CHECK-O23SZ
|
41 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 41 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
42 | 42 | ; RUN: -passes-ep-scalar-optimizer-late='no-op-function' \
|
43 | 43 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
44 | 44 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-SCALAR-LATE,CHECK-O23SZ
|
45 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 45 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
46 | 46 | ; RUN: -passes-ep-cgscc-optimizer-late='no-op-cgscc' \
|
47 | 47 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
48 | 48 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-CGSCC-LATE,CHECK-O23SZ
|
49 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 49 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
50 | 50 | ; RUN: -passes-ep-vectorizer-start='no-op-function' \
|
51 | 51 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
52 | 52 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-START,CHECK-O23SZ
|
53 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 53 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
54 | 54 | ; RUN: -passes-ep-pipeline-start='no-op-module' \
|
55 | 55 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
56 | 56 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23SZ
|
57 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 57 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
58 | 58 | ; RUN: -passes-ep-pipeline-early-simplification='no-op-module' \
|
59 | 59 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
60 | 60 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION,CHECK-O23SZ
|
61 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 61 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
62 | 62 | ; RUN: -passes-ep-pipeline-start='no-op-module' \
|
63 | 63 | ; RUN: -passes='lto-pre-link<O3>' -S %s 2>&1 \
|
64 | 64 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23SZ
|
65 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 65 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
66 | 66 | ; RUN: -passes-ep-optimizer-last='no-op-module' \
|
67 | 67 | ; RUN: -passes='default<O3>' -S %s 2>&1 \
|
68 | 68 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-LAST,CHECK-O23SZ
|
69 | 69 |
|
70 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 70 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
71 | 71 | ; RUN: -passes='default<O3>' -enable-matrix -S %s 2>&1 \
|
72 | 72 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-MATRIX
|
73 | 73 |
|
74 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 74 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
75 | 75 | ; RUN: -passes='default<O3>' -enable-merge-functions -S %s 2>&1 \
|
76 | 76 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-MERGE-FUNCS
|
77 | 77 |
|
78 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 78 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
79 | 79 | ; RUN: -passes='default<O3>' -ir-outliner -S %s 2>&1 \
|
80 | 80 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-IR-OUTLINER
|
81 | 81 |
|
82 |
| -; RUN: opt -disable-verify -verify-cfg-preserved=1 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
| 82 | +; RUN: opt -disable-verify -verify-cfg-preserved=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \ |
83 | 83 | ; RUN: -passes='default<O3>' -hot-cold-split -S %s 2>&1 \
|
84 | 84 | ; RUN: | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-HOT-COLD-SPLIT
|
85 | 85 |
|
|
92 | 92 | ; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
|
93 | 93 | ; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
|
94 | 94 | ; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
|
95 |
| -; CHECK-O-NEXT: Running analysis: PreservedCFGCheckerAnalysis on foo |
96 | 95 | ; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
|
97 | 96 | ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
|
98 | 97 | ; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
|
|
0 commit comments