1 ; This file verifies the behavior of the OptBisect class, which is used to 2 ; diagnose optimization related failures. The tests check various 3 ; invocations that result in different sets of optimization passes that 4 ; are run in different ways. 5 ; 6 ; This set of tests exercises the legacy pass manager interface to the OptBisect 7 ; class. Because the exact set of optimizations that will be run may 8 ; change over time, these tests are written in a more general manner than the 9 ; corresponding tests for the new pass manager. 10 ; 11 ; Don't use NEXT checks or hard-code pass numbering so that this won't fail if 12 ; new passes are inserted. 13 14 15 ; Verify that the file can be compiled to an object file at -O3 with all 16 ; skippable passes skipped. 17 18 ; REQUIRES: default_triple 19 ; RUN: opt -O3 -opt-bisect-limit=0 < %s | llc -O3 -opt-bisect-limit=0 20 21 22 ; Verify that no skippable passes are run with -opt-bisect-limit=0. 23 24 ; RUN: opt -disable-output -disable-verify -O3 -opt-bisect-limit=0 %s 2>&1 \ 25 ; RUN: | FileCheck %s --check-prefix=CHECK-SKIP-ALL 26 ; CHECK-SKIP-ALL: BISECT: NOT running pass ({{[0-9]+}}) 27 ; CHECK-SKIP-ALL-NOT: BISECT: running pass ({{[0-9]+}}) 28 29 30 ; Verify that no passes run at -O0 are skipped 31 ; RUN: opt -opt-bisect-limit=0 < %s 2>&1 | FileCheck %s --check-prefix=OPTBISECT-O0 32 ; OPTBISECT-O0-NOT: BISECT: NOT running 33 34 ; FIXME: There are still some AMDGPU passes being skipped that run at -O0. 35 ; XFAIL: r600, amdgcn 36 37 ; Verify that we can use the opt-bisect-helper.py script (derived from 38 ; utils/bisect) to locate the optimization that inlines the call to 39 ; f2() in f3(). 40 41 ; RUN: %python %S/opt-bisect-helper.py --start=0 --end=256 --optcmd=opt \ 42 ; RUN: --filecheckcmd=FileCheck --test=%s \ 43 ; RUN: --prefix=CHECK-BISECT-INLINE-HELPER \ 44 ; RUN: | FileCheck %s --check-prefix=CHECK-BISECT-INLINE-RESULT 45 ; The helper script uses this to find the optimization that inlines the call. 46 ; CHECK-BISECT-INLINE-HELPER: call i32 @f2() 47 ; These checks verifies that the optimization was found. 48 ; CHECK-BISECT-INLINE-RESULT-NOT: Last good count: 0 49 ; CHECK-BISECT-INLINE-RESULT: Last good count: {{[0-9]+}} 50 51 52 ; Test a module pass. 53 54 ; RUN: opt -disable-output -disable-verify -deadargelim -opt-bisect-limit=-1 %s \ 55 ; RUN: 2>&1 | FileCheck %s --check-prefix=CHECK-DEADARG 56 ; CHECK-DEADARG: BISECT: running pass ({{[0-9]+}}) Dead Argument Elimination on module 57 58 ; RUN: opt -disable-output -disable-verify -deadargelim -opt-bisect-limit=0 %s \ 59 ; RUN: 2>&1 | FileCheck %s --check-prefix=CHECK-NOT-DEADARG 60 ; CHECK-NOT-DEADARG: BISECT: NOT running pass ({{[0-9]+}}) Dead Argument Elimination on module 61 62 63 ; Test an SCC pass. 64 65 ; RUN: opt -disable-output -disable-verify -inline -opt-bisect-limit=-1 %s \ 66 ; RUN: 2>&1 | FileCheck %s --check-prefix=CHECK-INLINE 67 ; CHECK-INLINE: BISECT: running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (<<null function>>) 68 ; CHECK-INLINE: BISECT: running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (g) 69 ; CHECK-INLINE: BISECT: running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (f1) 70 ; CHECK-INLINE: BISECT: running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (f2) 71 ; CHECK-INLINE: BISECT: running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (f3) 72 ; CHECK-INLINE: BISECT: running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (<<null function>>) 73 74 ; RUN: opt -disable-output -disable-verify -inline -opt-bisect-limit=0 %s \ 75 ; RUN: 2>&1 | FileCheck %s --check-prefix=CHECK-NOT-INLINE 76 ; CHECK-NOT-INLINE: BISECT: NOT running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (<<null function>>) 77 ; CHECK-NOT-INLINE: BISECT: NOT running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (g) 78 ; CHECK-NOT-INLINE: BISECT: NOT running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (f1) 79 ; CHECK-NOT-INLINE: BISECT: NOT running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (f2) 80 ; CHECK-NOT-INLINE: BISECT: NOT running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (f3) 81 ; CHECK-NOT-INLINE: BISECT: NOT running pass ({{[0-9]+}}) Function Integration/Inlining on SCC (<<null function>>) 82 83 84 ; Test a function pass. 85 86 ; RUN: opt -disable-output -disable-verify -early-cse -opt-bisect-limit=-1 \ 87 ; RUN: %s 2>&1 | FileCheck %s --check-prefix=CHECK-EARLY-CSE 88 ; CHECK-EARLY-CSE: BISECT: running pass ({{[0-9]+}}) Early CSE on function (f1) 89 ; CHECK-EARLY-CSE: BISECT: running pass ({{[0-9]+}}) Early CSE on function (f2) 90 ; CHECK-EARLY-CSE: BISECT: running pass ({{[0-9]+}}) Early CSE on function (f3) 91 92 ; RUN: opt -disable-output -disable-verify -early-cse -opt-bisect-limit=0 %s \ 93 ; RUN: 2>&1 | FileCheck %s --check-prefix=CHECK-NOT-EARLY-CSE 94 ; CHECK-NOT-EARLY-CSE: BISECT: NOT running pass ({{[0-9]+}}) Early CSE on function (f1) 95 ; CHECK-NOT-EARLY-CSE: BISECT: NOT running pass ({{[0-9]+}}) Early CSE on function (f2) 96 ; CHECK-NOT-EARLY-CSE: BISECT: NOT running pass ({{[0-9]+}}) Early CSE on function (f3) 97 98 99 ; Test a loop pass. 100 101 ; RUN: opt -disable-output -disable-verify -loop-reduce -opt-bisect-limit=-1 \ 102 ; RUN: %s 2>&1 | FileCheck %s --check-prefix=CHECK-LOOP-REDUCE 103 ; CHECK-LOOP-REDUCE: BISECT: running pass ({{[0-9]+}}) Loop Strength Reduction on loop 104 ; CHECK-LOOP-REDUCE: BISECT: running pass ({{[0-9]+}}) Loop Strength Reduction on loop 105 ; CHECK-LOOP-REDUCE: BISECT: running pass ({{[0-9]+}}) Loop Strength Reduction on loop 106 ; CHECK-LOOP-REDUCE: BISECT: running pass ({{[0-9]+}}) Loop Strength Reduction on loop 107 ; CHECK-LOOP-REDUCE: BISECT: running pass ({{[0-9]+}}) Loop Strength Reduction on loop 108 109 ; RUN: opt -disable-output -disable-verify -loop-reduce -opt-bisect-limit=0 \ 110 ; RUN: %s 2>&1 | FileCheck %s --check-prefix=CHECK-NOT-LOOP-REDUCE 111 ; CHECK-NOT-LOOP-REDUCE: BISECT: NOT running pass ({{[0-9]+}}) Loop Strength Reduction on loop 112 ; CHECK-NOT-LOOP-REDUCE: BISECT: NOT running pass ({{[0-9]+}}) Loop Strength Reduction on loop 113 ; CHECK-NOT-LOOP-REDUCE: BISECT: NOT running pass ({{[0-9]+}}) Loop Strength Reduction on loop 114 ; CHECK-NOT-LOOP-REDUCE: BISECT: NOT running pass ({{[0-9]+}}) Loop Strength Reduction on loop 115 ; CHECK-NOT-LOOP-REDUCE: BISECT: NOT running pass ({{[0-9]+}}) Loop Strength Reduction on loop 116 117 118 declare i32 @g() 119 120 define void @f1() { 121 entry: 122 br label %loop.0 123 loop.0: 124 br i1 undef, label %loop.0.0, label %loop.1 125 loop.0.0: 126 br i1 undef, label %loop.0.0, label %loop.0.1 127 loop.0.1: 128 br i1 undef, label %loop.0.1, label %loop.0 129 loop.1: 130 br i1 undef, label %loop.1, label %loop.1.bb1 131 loop.1.bb1: 132 br i1 undef, label %loop.1, label %loop.1.bb2 133 loop.1.bb2: 134 br i1 undef, label %end, label %loop.1.0 135 loop.1.0: 136 br i1 undef, label %loop.1.0, label %loop.1 137 end: 138 ret void 139 } 140 141 define i32 @f2() { 142 entry: 143 ret i32 0 144 } 145 146 define i32 @f3() { 147 entry: 148 %temp = call i32 @g() 149 %icmp = icmp ugt i32 %temp, 2 150 br i1 %icmp, label %bb.true, label %bb.false 151 bb.true: 152 %temp2 = call i32 @f2() 153 ret i32 %temp2 154 bb.false: 155 ret i32 0 156 } 157 158 ; This function is here to verify that opt-bisect can skip all passes for 159 ; functions that contain lifetime intrinsics. 160 define void @f4() { 161 entry: 162 %i = alloca i32, align 4 163 %tmp = bitcast i32* %i to i8* 164 call void @llvm.lifetime.start(i64 4, i8* %tmp) 165 br label %for.cond 166 167 for.cond: 168 br i1 undef, label %for.body, label %for.end 169 170 for.body: 171 br label %for.cond 172 173 for.end: 174 ret void 175 } 176 177 declare void @llvm.lifetime.start(i64, i8* nocapture) 178 179
