Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false -disable-block-placement -verify-machineinstrs | FileCheck %s |
| 2 | ; RUN: llc < %s -asm-verbose=false -verify-machineinstrs | FileCheck -check-prefix=OPT %s |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 3 | |
| 4 | ; Test the CFG stackifier pass. |
| 5 | |
Dan Gohman | 0c6f5ac | 2016-01-07 03:19:23 +0000 | [diff] [blame] | 6 | target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 7 | target triple = "wasm32-unknown-unknown" |
| 8 | |
| 9 | declare void @something() |
| 10 | |
| 11 | ; Test that loops are made contiguous, even in the presence of split backedges. |
| 12 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 13 | ; CHECK-LABEL: test0: |
| 14 | ; CHECK: loop |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 15 | ; CHECK-NOT: br |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 16 | ; CHECK: i32.add |
| 17 | ; CHECK-NEXT: i32.ge_s |
| 18 | ; CHECK-NEXT: br_if |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 19 | ; CHECK-NOT: br |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 20 | ; CHECK: call |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 21 | ; CHECK: br .LBB0_1{{$}} |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 22 | ; CHECK: return{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 23 | ; OPT-LABEL: test0: |
| 24 | ; OPT: loop |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 25 | ; OPT-NOT: br |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 26 | ; OPT: i32.add |
| 27 | ; OPT-NEXT: i32.ge_s |
| 28 | ; OPT-NEXT: br_if |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 29 | ; OPT-NOT: br |
| 30 | ; OPT: call |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 31 | ; OPT: br .LBB0_1{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 32 | ; OPT: return{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 33 | define void @test0(i32 %n) { |
| 34 | entry: |
| 35 | br label %header |
| 36 | |
| 37 | header: |
| 38 | %i = phi i32 [ 0, %entry ], [ %i.next, %back ] |
| 39 | %i.next = add i32 %i, 1 |
| 40 | |
| 41 | %c = icmp slt i32 %i.next, %n |
| 42 | br i1 %c, label %back, label %exit |
| 43 | |
| 44 | exit: |
| 45 | ret void |
| 46 | |
| 47 | back: |
| 48 | call void @something() |
| 49 | br label %header |
| 50 | } |
| 51 | |
| 52 | ; Same as test0, but the branch condition is reversed. |
| 53 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 54 | ; CHECK-LABEL: test1: |
| 55 | ; CHECK: loop |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 56 | ; CHECK-NOT: br |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 57 | ; CHECK: i32.add |
| 58 | ; CHECK-NEXT: i32.ge_s |
| 59 | ; CHECK-NEXT: br_if |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 60 | ; CHECK-NOT: br |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 61 | ; CHECK: call |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 62 | ; CHECK: br .LBB1_1{{$}} |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 63 | ; CHECK: return{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 64 | ; OPT-LABEL: test1: |
| 65 | ; OPT: loop |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 66 | ; OPT-NOT: br |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 67 | ; OPT: i32.add |
| 68 | ; OPT-NEXT: i32.ge_s |
| 69 | ; OPT-NEXT: br_if |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 70 | ; OPT-NOT: br |
| 71 | ; OPT: call |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 72 | ; OPT: br .LBB1_1{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 73 | ; OPT: return{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 74 | define void @test1(i32 %n) { |
| 75 | entry: |
| 76 | br label %header |
| 77 | |
| 78 | header: |
| 79 | %i = phi i32 [ 0, %entry ], [ %i.next, %back ] |
| 80 | %i.next = add i32 %i, 1 |
| 81 | |
| 82 | %c = icmp sge i32 %i.next, %n |
| 83 | br i1 %c, label %exit, label %back |
| 84 | |
| 85 | exit: |
| 86 | ret void |
| 87 | |
| 88 | back: |
| 89 | call void @something() |
| 90 | br label %header |
| 91 | } |
| 92 | |
| 93 | ; Test that a simple loop is handled as expected. |
| 94 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 95 | ; CHECK-LABEL: test2: |
Dan Gohman | 8f59cf7 | 2016-01-06 18:29:35 +0000 | [diff] [blame] | 96 | ; CHECK-NOT: local |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 97 | ; CHECK: block .LBB2_2{{$}} |
| 98 | ; CHECK: br_if {{[^,]*}}, .LBB2_2{{$}} |
| 99 | ; CHECK: .LBB2_1: |
| 100 | ; CHECK: br_if ${{[0-9]+}}, .LBB2_1{{$}} |
| 101 | ; CHECK: .LBB2_2: |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 102 | ; CHECK: return{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 103 | ; OPT-LABEL: test2: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 104 | ; OPT: block .LBB2_2{{$}} |
| 105 | ; OPT: br_if {{[^,]*}}, .LBB2_2{{$}} |
| 106 | ; OPT: .LBB2_1: |
| 107 | ; OPT: br_if ${{[0-9]+}}, .LBB2_1{{$}} |
| 108 | ; OPT: .LBB2_2: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 109 | ; OPT: return{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 110 | define void @test2(double* nocapture %p, i32 %n) { |
| 111 | entry: |
| 112 | %cmp.4 = icmp sgt i32 %n, 0 |
| 113 | br i1 %cmp.4, label %for.body.preheader, label %for.end |
| 114 | |
| 115 | for.body.preheader: |
| 116 | br label %for.body |
| 117 | |
| 118 | for.body: |
| 119 | %i.05 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ] |
| 120 | %arrayidx = getelementptr inbounds double, double* %p, i32 %i.05 |
| 121 | %0 = load double, double* %arrayidx, align 8 |
| 122 | %mul = fmul double %0, 3.200000e+00 |
| 123 | store double %mul, double* %arrayidx, align 8 |
| 124 | %inc = add nuw nsw i32 %i.05, 1 |
| 125 | %exitcond = icmp eq i32 %inc, %n |
| 126 | br i1 %exitcond, label %for.end.loopexit, label %for.body |
| 127 | |
| 128 | for.end.loopexit: |
| 129 | br label %for.end |
| 130 | |
| 131 | for.end: |
| 132 | ret void |
| 133 | } |
| 134 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 135 | ; CHECK-LABEL: doublediamond: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 136 | ; CHECK: block .LBB3_5{{$}} |
| 137 | ; CHECK: block .LBB3_2{{$}} |
| 138 | ; CHECK: br_if $0, .LBB3_2{{$}} |
| 139 | ; CHECK: block .LBB3_4{{$}} |
| 140 | ; CHECK: br_if $1, .LBB3_4{{$}} |
| 141 | ; CHECK: br .LBB3_5{{$}} |
| 142 | ; CHECK: .LBB3_4: |
| 143 | ; CHECK: .LBB3_5: |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 144 | ; CHECK: return ${{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 145 | ; OPT-LABEL: doublediamond: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 146 | ; OPT: block .LBB3_5{{$}} |
| 147 | ; OPT: block .LBB3_4{{$}} |
| 148 | ; OPT: br_if {{[^,]*}}, .LBB3_4{{$}} |
| 149 | ; OPT: block .LBB3_3{{$}} |
| 150 | ; OPT: br_if {{[^,]*}}, .LBB3_3{{$}} |
| 151 | ; OPT: br .LBB3_5{{$}} |
| 152 | ; OPT: .LBB3_4: |
| 153 | ; OPT: .LBB3_5: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 154 | ; OPT: return ${{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 155 | define i32 @doublediamond(i32 %a, i32 %b, i32* %p) { |
| 156 | entry: |
| 157 | %c = icmp eq i32 %a, 0 |
| 158 | %d = icmp eq i32 %b, 0 |
| 159 | store volatile i32 0, i32* %p |
| 160 | br i1 %c, label %true, label %false |
| 161 | true: |
| 162 | store volatile i32 1, i32* %p |
| 163 | br label %exit |
| 164 | false: |
| 165 | store volatile i32 2, i32* %p |
| 166 | br i1 %d, label %ft, label %ff |
| 167 | ft: |
| 168 | store volatile i32 3, i32* %p |
| 169 | br label %exit |
| 170 | ff: |
| 171 | store volatile i32 4, i32* %p |
| 172 | br label %exit |
| 173 | exit: |
| 174 | store volatile i32 5, i32* %p |
| 175 | ret i32 0 |
| 176 | } |
| 177 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 178 | ; CHECK-LABEL: triangle: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 179 | ; CHECK: block .LBB4_2{{$}} |
| 180 | ; CHECK: br_if $1, .LBB4_2{{$}} |
| 181 | ; CHECK: .LBB4_2: |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 182 | ; CHECK: return ${{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 183 | ; OPT-LABEL: triangle: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 184 | ; OPT: block .LBB4_2{{$}} |
| 185 | ; OPT: br_if $1, .LBB4_2{{$}} |
| 186 | ; OPT: .LBB4_2: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 187 | ; OPT: return ${{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 188 | define i32 @triangle(i32* %p, i32 %a) { |
| 189 | entry: |
| 190 | %c = icmp eq i32 %a, 0 |
| 191 | store volatile i32 0, i32* %p |
| 192 | br i1 %c, label %true, label %exit |
| 193 | true: |
| 194 | store volatile i32 1, i32* %p |
| 195 | br label %exit |
| 196 | exit: |
| 197 | store volatile i32 2, i32* %p |
| 198 | ret i32 0 |
| 199 | } |
| 200 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 201 | ; CHECK-LABEL: diamond: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 202 | ; CHECK: block .LBB5_3{{$}} |
| 203 | ; CHECK: block .LBB5_2{{$}} |
| 204 | ; CHECK: br_if $1, .LBB5_2{{$}} |
| 205 | ; CHECK: br .LBB5_3{{$}} |
| 206 | ; CHECK: .LBB5_2: |
| 207 | ; CHECK: .LBB5_3: |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 208 | ; CHECK: return ${{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 209 | ; OPT-LABEL: diamond: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 210 | ; OPT: block .LBB5_3{{$}} |
| 211 | ; OPT: block .LBB5_2{{$}} |
| 212 | ; OPT: br_if {{[^,]*}}, .LBB5_2{{$}} |
| 213 | ; OPT: br .LBB5_3{{$}} |
| 214 | ; OPT: .LBB5_2: |
| 215 | ; OPT: .LBB5_3: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 216 | ; OPT: return ${{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 217 | define i32 @diamond(i32* %p, i32 %a) { |
| 218 | entry: |
| 219 | %c = icmp eq i32 %a, 0 |
| 220 | store volatile i32 0, i32* %p |
| 221 | br i1 %c, label %true, label %false |
| 222 | true: |
| 223 | store volatile i32 1, i32* %p |
| 224 | br label %exit |
| 225 | false: |
| 226 | store volatile i32 2, i32* %p |
| 227 | br label %exit |
| 228 | exit: |
| 229 | store volatile i32 3, i32* %p |
| 230 | ret i32 0 |
| 231 | } |
| 232 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 233 | ; CHECK-LABEL: single_block: |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 234 | ; CHECK-NOT: br |
Dan Gohman | 81719f8 | 2015-11-25 16:55:01 +0000 | [diff] [blame] | 235 | ; CHECK: return $pop{{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 236 | ; OPT-LABEL: single_block: |
| 237 | ; OPT-NOT: br |
| 238 | ; OPT: return $pop{{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 239 | define i32 @single_block(i32* %p) { |
| 240 | entry: |
| 241 | store volatile i32 0, i32* %p |
| 242 | ret i32 0 |
| 243 | } |
| 244 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 245 | ; CHECK-LABEL: minimal_loop: |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 246 | ; CHECK-NOT: br |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 247 | ; CHECK: .LBB7_1: |
Derek Schuff | 9d77952 | 2015-12-05 00:26:39 +0000 | [diff] [blame] | 248 | ; CHECK: i32.store $discard=, 0($0), $pop{{[0-9]+}}{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 249 | ; CHECK: br .LBB7_1{{$}} |
| 250 | ; CHECK: .LBB7_2: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 251 | ; OPT-LABEL: minimal_loop: |
| 252 | ; OPT-NOT: br |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 253 | ; OPT: .LBB7_1: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 254 | ; OPT: i32.store $discard=, 0($0), $pop{{[0-9]+}}{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 255 | ; OPT: br .LBB7_1{{$}} |
| 256 | ; OPT: .LBB7_2: |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 257 | define i32 @minimal_loop(i32* %p) { |
| 258 | entry: |
| 259 | store volatile i32 0, i32* %p |
| 260 | br label %loop |
| 261 | loop: |
| 262 | store volatile i32 1, i32* %p |
| 263 | br label %loop |
| 264 | } |
| 265 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 266 | ; CHECK-LABEL: simple_loop: |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 267 | ; CHECK-NOT: br |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 268 | ; CHECK: .LBB8_1: |
| 269 | ; CHECK: loop .LBB8_2{{$}} |
| 270 | ; CHECK: br_if $pop{{[0-9]+}}, .LBB8_1{{$}} |
| 271 | ; CHECK: .LBB8_2: |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 272 | ; CHECK: return ${{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 273 | ; OPT-LABEL: simple_loop: |
| 274 | ; OPT-NOT: br |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 275 | ; OPT: .LBB8_1: |
| 276 | ; OPT: loop .LBB8_2{{$}} |
| 277 | ; OPT: br_if {{[^,]*}}, .LBB8_1{{$}} |
| 278 | ; OPT: .LBB8_2: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 279 | ; OPT: return ${{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 280 | define i32 @simple_loop(i32* %p, i32 %a) { |
| 281 | entry: |
| 282 | %c = icmp eq i32 %a, 0 |
| 283 | store volatile i32 0, i32* %p |
| 284 | br label %loop |
| 285 | loop: |
| 286 | store volatile i32 1, i32* %p |
| 287 | br i1 %c, label %loop, label %exit |
| 288 | exit: |
| 289 | store volatile i32 2, i32* %p |
| 290 | ret i32 0 |
| 291 | } |
| 292 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 293 | ; CHECK-LABEL: doubletriangle: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 294 | ; CHECK: block .LBB9_4{{$}} |
| 295 | ; CHECK: br_if $0, .LBB9_4{{$}} |
| 296 | ; CHECK: block .LBB9_3{{$}} |
| 297 | ; CHECK: br_if $1, .LBB9_3{{$}} |
| 298 | ; CHECK: .LBB9_3: |
| 299 | ; CHECK: .LBB9_4: |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 300 | ; CHECK: return ${{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 301 | ; OPT-LABEL: doubletriangle: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 302 | ; OPT: block .LBB9_4{{$}} |
| 303 | ; OPT: br_if $0, .LBB9_4{{$}} |
| 304 | ; OPT: block .LBB9_3{{$}} |
| 305 | ; OPT: br_if $1, .LBB9_3{{$}} |
| 306 | ; OPT: .LBB9_3: |
| 307 | ; OPT: .LBB9_4: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 308 | ; OPT: return ${{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 309 | define i32 @doubletriangle(i32 %a, i32 %b, i32* %p) { |
| 310 | entry: |
| 311 | %c = icmp eq i32 %a, 0 |
| 312 | %d = icmp eq i32 %b, 0 |
| 313 | store volatile i32 0, i32* %p |
| 314 | br i1 %c, label %true, label %exit |
| 315 | true: |
| 316 | store volatile i32 2, i32* %p |
| 317 | br i1 %d, label %tt, label %tf |
| 318 | tt: |
| 319 | store volatile i32 3, i32* %p |
| 320 | br label %tf |
| 321 | tf: |
| 322 | store volatile i32 4, i32* %p |
| 323 | br label %exit |
| 324 | exit: |
| 325 | store volatile i32 5, i32* %p |
| 326 | ret i32 0 |
| 327 | } |
| 328 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 329 | ; CHECK-LABEL: ifelse_earlyexits: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 330 | ; CHECK: block .LBB10_4{{$}} |
| 331 | ; CHECK: block .LBB10_2{{$}} |
| 332 | ; CHECK: br_if $0, .LBB10_2{{$}} |
| 333 | ; CHECK: br .LBB10_4{{$}} |
| 334 | ; CHECK: .LBB10_2: |
| 335 | ; CHECK: br_if $1, .LBB10_4{{$}} |
| 336 | ; CHECK: .LBB10_4: |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 337 | ; CHECK: return ${{[0-9]+}}{{$}} |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 338 | ; OPT-LABEL: ifelse_earlyexits: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 339 | ; OPT: block .LBB10_4{{$}} |
| 340 | ; OPT: block .LBB10_3{{$}} |
| 341 | ; OPT: br_if {{[^,]*}}, .LBB10_3{{$}} |
| 342 | ; OPT: br_if $1, .LBB10_4{{$}} |
| 343 | ; OPT: br .LBB10_4{{$}} |
| 344 | ; OPT: .LBB10_3: |
| 345 | ; OPT: .LBB10_4: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 346 | ; OPT: return ${{[0-9]+}}{{$}} |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 347 | define i32 @ifelse_earlyexits(i32 %a, i32 %b, i32* %p) { |
| 348 | entry: |
| 349 | %c = icmp eq i32 %a, 0 |
| 350 | %d = icmp eq i32 %b, 0 |
| 351 | store volatile i32 0, i32* %p |
| 352 | br i1 %c, label %true, label %false |
| 353 | true: |
| 354 | store volatile i32 1, i32* %p |
| 355 | br label %exit |
| 356 | false: |
| 357 | store volatile i32 2, i32* %p |
| 358 | br i1 %d, label %ft, label %exit |
| 359 | ft: |
| 360 | store volatile i32 3, i32* %p |
| 361 | br label %exit |
| 362 | exit: |
| 363 | store volatile i32 4, i32* %p |
| 364 | ret i32 0 |
| 365 | } |
Dan Gohman | e3e4a5f | 2015-10-02 21:11:36 +0000 | [diff] [blame] | 366 | |
Dan Gohman | 3280793 | 2015-11-23 16:19:56 +0000 | [diff] [blame] | 367 | ; CHECK-LABEL: doublediamond_in_a_loop: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 368 | ; CHECK: .LBB11_1: |
| 369 | ; CHECK: loop .LBB11_7{{$}} |
| 370 | ; CHECK: block .LBB11_6{{$}} |
| 371 | ; CHECK: block .LBB11_3{{$}} |
| 372 | ; CHECK: br_if $0, .LBB11_3{{$}} |
| 373 | ; CHECK: br .LBB11_6{{$}} |
| 374 | ; CHECK: .LBB11_3: |
| 375 | ; CHECK: block .LBB11_5{{$}} |
| 376 | ; CHECK: br_if $1, .LBB11_5{{$}} |
| 377 | ; CHECK: br .LBB11_6{{$}} |
| 378 | ; CHECK: .LBB11_5: |
| 379 | ; CHECK: .LBB11_6: |
| 380 | ; CHECK: br .LBB11_1{{$}} |
| 381 | ; CHECK: .LBB11_7: |
Dan Gohman | f0b165a | 2015-12-05 03:03:35 +0000 | [diff] [blame] | 382 | ; OPT-LABEL: doublediamond_in_a_loop: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 383 | ; OPT: .LBB11_1: |
| 384 | ; OPT: loop .LBB11_7{{$}} |
| 385 | ; OPT: block .LBB11_6{{$}} |
| 386 | ; OPT: block .LBB11_5{{$}} |
| 387 | ; OPT: br_if {{[^,]*}}, .LBB11_5{{$}} |
| 388 | ; OPT: block .LBB11_4{{$}} |
| 389 | ; OPT: br_if {{[^,]*}}, .LBB11_4{{$}} |
| 390 | ; OPT: br .LBB11_6{{$}} |
| 391 | ; OPT: .LBB11_4: |
| 392 | ; OPT: br .LBB11_6{{$}} |
| 393 | ; OPT: .LBB11_5: |
| 394 | ; OPT: .LBB11_6: |
| 395 | ; OPT: br .LBB11_1{{$}} |
| 396 | ; OPT: .LBB11_7: |
Dan Gohman | 3280793 | 2015-11-23 16:19:56 +0000 | [diff] [blame] | 397 | define i32 @doublediamond_in_a_loop(i32 %a, i32 %b, i32* %p) { |
| 398 | entry: |
| 399 | br label %header |
| 400 | header: |
| 401 | %c = icmp eq i32 %a, 0 |
| 402 | %d = icmp eq i32 %b, 0 |
| 403 | store volatile i32 0, i32* %p |
| 404 | br i1 %c, label %true, label %false |
| 405 | true: |
| 406 | store volatile i32 1, i32* %p |
| 407 | br label %exit |
| 408 | false: |
| 409 | store volatile i32 2, i32* %p |
| 410 | br i1 %d, label %ft, label %ff |
| 411 | ft: |
| 412 | store volatile i32 3, i32* %p |
| 413 | br label %exit |
| 414 | ff: |
| 415 | store volatile i32 4, i32* %p |
| 416 | br label %exit |
| 417 | exit: |
| 418 | store volatile i32 5, i32* %p |
| 419 | br label %header |
| 420 | } |
| 421 | |
Dan Gohman | e3e4a5f | 2015-10-02 21:11:36 +0000 | [diff] [blame] | 422 | ; Test that nested loops are handled. |
| 423 | |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 424 | ; CHECK-LABEL: test3: |
| 425 | ; CHECK: loop |
| 426 | ; CHECK-NEXT: br_if |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 427 | ; CHECK-NEXT: .LBB{{[0-9]+}}_{{[0-9]+}}: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 428 | ; CHECK-NEXT: loop |
| 429 | ; OPT-LABEL: test3: |
| 430 | ; OPT: loop |
| 431 | ; OPT-NEXT: br_if |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 432 | ; OPT-NEXT: .LBB{{[0-9]+}}_{{[0-9]+}}: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 433 | ; OPT-NEXT: loop |
Dan Gohman | e3e4a5f | 2015-10-02 21:11:36 +0000 | [diff] [blame] | 434 | declare void @bar() |
Dan Gohman | e3e4a5f | 2015-10-02 21:11:36 +0000 | [diff] [blame] | 435 | define void @test3(i32 %w) { |
| 436 | entry: |
| 437 | br i1 undef, label %outer.ph, label %exit |
| 438 | |
| 439 | outer.ph: |
| 440 | br label %outer |
| 441 | |
| 442 | outer: |
| 443 | %tobool = icmp eq i32 undef, 0 |
| 444 | br i1 %tobool, label %inner, label %unreachable |
| 445 | |
| 446 | unreachable: |
| 447 | unreachable |
| 448 | |
| 449 | inner: |
| 450 | %c = icmp eq i32 undef, %w |
| 451 | br i1 %c, label %if.end, label %inner |
| 452 | |
| 453 | exit: |
| 454 | ret void |
| 455 | |
| 456 | if.end: |
| 457 | call void @bar() |
| 458 | br label %outer |
| 459 | } |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 460 | |
| 461 | ; Test switch lowering and block placement. |
| 462 | |
| 463 | ; CHECK-LABEL: test4: |
| 464 | ; CHECK-NEXT: .param i32{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 465 | ; CHECK: block .LBB13_8{{$}} |
| 466 | ; CHECK-NEXT: block .LBB13_7{{$}} |
| 467 | ; CHECK-NEXT: block .LBB13_4{{$}} |
| 468 | ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_4{{$}} |
| 469 | ; CHECK-NEXT: block .LBB13_3{{$}} |
| 470 | ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_3{{$}} |
| 471 | ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_7{{$}} |
| 472 | ; CHECK-NEXT: .LBB13_3: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 473 | ; CHECK-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 474 | ; CHECK-NEXT: .LBB13_4: |
| 475 | ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_8{{$}} |
| 476 | ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 477 | ; CHECK-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 478 | ; CHECK-NEXT: .LBB13_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 479 | ; CHECK-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 480 | ; CHECK-NEXT: .LBB13_8: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 481 | ; CHECK-NEXT: return{{$}} |
| 482 | ; OPT-LABEL: test4: |
| 483 | ; OPT-NEXT: .param i32{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 484 | ; OPT: block .LBB13_8{{$}} |
| 485 | ; OPT-NEXT: block .LBB13_7{{$}} |
| 486 | ; OPT-NEXT: block .LBB13_4{{$}} |
| 487 | ; OPT: br_if $pop{{[0-9]*}}, .LBB13_4{{$}} |
| 488 | ; OPT-NEXT: block .LBB13_3{{$}} |
| 489 | ; OPT: br_if $pop{{[0-9]*}}, .LBB13_3{{$}} |
| 490 | ; OPT: br_if $pop{{[0-9]*}}, .LBB13_7{{$}} |
| 491 | ; OPT-NEXT: .LBB13_3: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 492 | ; OPT-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 493 | ; OPT-NEXT: .LBB13_4: |
| 494 | ; OPT: br_if $pop{{[0-9]*}}, .LBB13_8{{$}} |
| 495 | ; OPT: br_if $pop{{[0-9]*}}, .LBB13_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 496 | ; OPT-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 497 | ; OPT-NEXT: .LBB13_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 498 | ; OPT-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 499 | ; OPT-NEXT: .LBB13_8: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 500 | ; OPT-NEXT: return{{$}} |
| 501 | define void @test4(i32 %t) { |
| 502 | entry: |
| 503 | switch i32 %t, label %default [ |
| 504 | i32 0, label %bb2 |
| 505 | i32 2, label %bb2 |
| 506 | i32 4, label %bb1 |
| 507 | i32 622, label %bb0 |
| 508 | ] |
| 509 | |
| 510 | bb0: |
| 511 | ret void |
| 512 | |
| 513 | bb1: |
| 514 | ret void |
| 515 | |
| 516 | bb2: |
| 517 | ret void |
| 518 | |
| 519 | default: |
| 520 | ret void |
| 521 | } |
| 522 | |
| 523 | ; Test a case where the BLOCK needs to be placed before the LOOP in the |
| 524 | ; same basic block. |
| 525 | |
| 526 | ; CHECK-LABEL: test5: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 527 | ; CHECK: .LBB14_1: |
| 528 | ; CHECK-NEXT: block .LBB14_4{{$}} |
| 529 | ; CHECK-NEXT: loop .LBB14_3{{$}} |
| 530 | ; CHECK: br_if {{[^,]*}}, .LBB14_4{{$}} |
| 531 | ; CHECK: br_if {{[^,]*}}, .LBB14_1{{$}} |
| 532 | ; CHECK-NEXT: .LBB14_3: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 533 | ; CHECK: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 534 | ; CHECK-NEXT: .LBB14_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 535 | ; CHECK: return{{$}} |
| 536 | ; OPT-LABEL: test5: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 537 | ; OPT: .LBB14_1: |
| 538 | ; OPT-NEXT: block .LBB14_4{{$}} |
| 539 | ; OPT-NEXT: loop .LBB14_3{{$}} |
| 540 | ; OPT: br_if {{[^,]*}}, .LBB14_4{{$}} |
| 541 | ; OPT: br_if {{[^,]*}}, .LBB14_1{{$}} |
| 542 | ; OPT-NEXT: .LBB14_3: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 543 | ; OPT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 544 | ; OPT-NEXT: .LBB14_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 545 | ; OPT: return{{$}} |
| 546 | define void @test5(i1 %p, i1 %q) { |
| 547 | entry: |
| 548 | br label %header |
| 549 | |
| 550 | header: |
| 551 | store volatile i32 0, i32* null |
| 552 | br i1 %p, label %more, label %alt |
| 553 | |
| 554 | more: |
| 555 | store volatile i32 1, i32* null |
| 556 | br i1 %q, label %header, label %return |
| 557 | |
| 558 | alt: |
| 559 | store volatile i32 2, i32* null |
| 560 | ret void |
| 561 | |
| 562 | return: |
| 563 | store volatile i32 3, i32* null |
| 564 | ret void |
| 565 | } |
| 566 | |
| 567 | ; Test an interesting case of a loop with multiple exits, which |
| 568 | ; aren't to layout successors of the loop, and one of which is to a successors |
| 569 | ; which has another predecessor. |
| 570 | |
| 571 | ; CHECK-LABEL: test6: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 572 | ; CHECK: .LBB15_1: |
| 573 | ; CHECK-NEXT: block .LBB15_6{{$}} |
| 574 | ; CHECK-NEXT: block .LBB15_5{{$}} |
| 575 | ; CHECK-NEXT: loop .LBB15_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 576 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 577 | ; CHECK: br_if {{[^,]*}}, .LBB15_6{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 578 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 579 | ; CHECK: br_if {{[^,]*}}, .LBB15_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 580 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 581 | ; CHECK: br_if {{[^,]*}}, .LBB15_1{{$}} |
| 582 | ; CHECK-NEXT: .LBB15_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 583 | ; CHECK-NOT: block |
| 584 | ; CHECK: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 585 | ; CHECK-NEXT: .LBB15_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 586 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 587 | ; CHECK: .LBB15_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 588 | ; CHECK-NOT: block |
| 589 | ; CHECK: return{{$}} |
| 590 | ; OPT-LABEL: test6: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 591 | ; OPT: .LBB15_1: |
| 592 | ; OPT-NEXT: block .LBB15_6{{$}} |
| 593 | ; OPT-NEXT: block .LBB15_5{{$}} |
| 594 | ; OPT-NEXT: loop .LBB15_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 595 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 596 | ; OPT: br_if {{[^,]*}}, .LBB15_6{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 597 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 598 | ; OPT: br_if {{[^,]*}}, .LBB15_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 599 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 600 | ; OPT: br_if {{[^,]*}}, .LBB15_1{{$}} |
| 601 | ; OPT-NEXT: .LBB15_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 602 | ; OPT-NOT: block |
| 603 | ; OPT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 604 | ; OPT-NEXT: .LBB15_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 605 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 606 | ; OPT: .LBB15_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 607 | ; OPT-NOT: block |
| 608 | ; OPT: return{{$}} |
| 609 | define void @test6(i1 %p, i1 %q) { |
| 610 | entry: |
| 611 | br label %header |
| 612 | |
| 613 | header: |
| 614 | store volatile i32 0, i32* null |
| 615 | br i1 %p, label %more, label %second |
| 616 | |
| 617 | more: |
| 618 | store volatile i32 1, i32* null |
| 619 | br i1 %q, label %evenmore, label %first |
| 620 | |
| 621 | evenmore: |
| 622 | store volatile i32 1, i32* null |
| 623 | br i1 %q, label %header, label %return |
| 624 | |
| 625 | return: |
| 626 | store volatile i32 2, i32* null |
| 627 | ret void |
| 628 | |
| 629 | first: |
| 630 | store volatile i32 3, i32* null |
| 631 | br label %second |
| 632 | |
| 633 | second: |
| 634 | store volatile i32 4, i32* null |
| 635 | ret void |
| 636 | } |
| 637 | |
| 638 | ; Test a case where there are multiple backedges and multiple loop exits |
| 639 | ; that end in unreachable. |
| 640 | |
| 641 | ; CHECK-LABEL: test7: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 642 | ; CHECK: .LBB16_1: |
| 643 | ; CHECK-NEXT: loop .LBB16_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 644 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 645 | ; CHECK: block .LBB16_4{{$}} |
| 646 | ; CHECK: br_if {{[^,]*}}, .LBB16_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 647 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 648 | ; CHECK: br_if {{[^,]*}}, .LBB16_1{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 649 | ; CHECK-NOT: block |
| 650 | ; CHECK: unreachable |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 651 | ; CHECK_NEXT: .LBB16_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 652 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 653 | ; CHECK: br_if {{[^,]*}}, .LBB16_1{{$}} |
| 654 | ; CHECK-NEXT: .LBB16_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 655 | ; CHECK-NOT: block |
| 656 | ; CHECK: unreachable |
| 657 | ; OPT-LABEL: test7: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 658 | ; OPT: .LBB16_1: |
| 659 | ; OPT-NEXT: loop .LBB16_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 660 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 661 | ; OPT: block .LBB16_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 662 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 663 | ; OPT: br_if {{[^,]*}}, .LBB16_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 664 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 665 | ; OPT: br_if {{[^,]*}}, .LBB16_1{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 666 | ; OPT-NOT: block |
| 667 | ; OPT: unreachable |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 668 | ; OPT_NEXT: .LBB16_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 669 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 670 | ; OPT: br_if {{[^,]*}}, .LBB16_1{{$}} |
| 671 | ; OPT-NEXT: .LBB16_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 672 | ; OPT-NOT: block |
| 673 | ; OPT: unreachable |
| 674 | define void @test7(i1 %tobool2, i1 %tobool9) { |
| 675 | entry: |
| 676 | store volatile i32 0, i32* null |
| 677 | br label %loop |
| 678 | |
| 679 | loop: |
| 680 | store volatile i32 1, i32* null |
| 681 | br i1 %tobool2, label %l1, label %l0 |
| 682 | |
| 683 | l0: |
| 684 | store volatile i32 2, i32* null |
| 685 | br i1 %tobool9, label %loop, label %u0 |
| 686 | |
| 687 | l1: |
| 688 | store volatile i32 3, i32* null |
| 689 | br i1 %tobool9, label %loop, label %u1 |
| 690 | |
| 691 | u0: |
| 692 | store volatile i32 4, i32* null |
| 693 | unreachable |
| 694 | |
| 695 | u1: |
| 696 | store volatile i32 5, i32* null |
| 697 | unreachable |
| 698 | } |
| 699 | |
| 700 | ; Test an interesting case using nested loops and switches. |
| 701 | |
| 702 | ; CHECK-LABEL: test8: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 703 | ; CHECK: .LBB17_1: |
| 704 | ; CHECK-NEXT: loop .LBB17_4{{$}} |
| 705 | ; CHECK-NEXT: block .LBB17_3{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 706 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 707 | ; CHECK: br_if {{[^,]*}}, .LBB17_3{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 708 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 709 | ; CHECK: br_if {{[^,]*}}, .LBB17_1{{$}} |
| 710 | ; CHECK-NEXT: .LBB17_3: |
| 711 | ; CHECK-NEXT: loop .LBB17_4{{$}} |
| 712 | ; CHECK-NEXT: br_if {{[^,]*}}, .LBB17_3{{$}} |
| 713 | ; CHECK-NEXT: br .LBB17_1{{$}} |
| 714 | ; CHECK-NEXT: .LBB17_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 715 | ; OPT-LABEL: test8: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 716 | ; OPT: .LBB17_1: |
| 717 | ; OPT-NEXT: loop .LBB17_4{{$}} |
| 718 | ; OPT-NEXT: block .LBB17_3{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 719 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 720 | ; OPT: br_if {{[^,]*}}, .LBB17_3{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 721 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 722 | ; OPT: br_if {{[^,]*}}, .LBB17_1{{$}} |
| 723 | ; OPT-NEXT: .LBB17_3: |
| 724 | ; OPT-NEXT: loop .LBB17_4{{$}} |
| 725 | ; OPT-NEXT: br_if {{[^,]*}}, .LBB17_3{{$}} |
| 726 | ; OPT-NEXT: br .LBB17_1{{$}} |
| 727 | ; OPT-NEXT: .LBB17_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 728 | define i32 @test8() { |
| 729 | bb: |
| 730 | br label %bb1 |
| 731 | |
| 732 | bb1: |
| 733 | br i1 undef, label %bb2, label %bb3 |
| 734 | |
| 735 | bb2: |
| 736 | switch i8 undef, label %bb1 [ |
| 737 | i8 44, label %bb2 |
| 738 | ] |
| 739 | |
| 740 | bb3: |
| 741 | switch i8 undef, label %bb1 [ |
| 742 | i8 44, label %bb2 |
| 743 | ] |
| 744 | } |
| 745 | |
| 746 | ; Test an interesting case using nested loops that share a bottom block. |
| 747 | |
| 748 | ; CHECK-LABEL: test9: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 749 | ; CHECK: .LBB18_1: |
| 750 | ; CHECK-NEXT: loop .LBB18_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 751 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 752 | ; CHECK: br_if {{[^,]*}}, .LBB18_5{{$}} |
| 753 | ; CHECK-NEXT: .LBB18_2: |
| 754 | ; CHECK-NEXT: loop .LBB18_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 755 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 756 | ; CHECK: block .LBB18_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 757 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 758 | ; CHECK: br_if {{[^,]*}}, .LBB18_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 759 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 760 | ; CHECK: br_if {{[^,]*}}, .LBB18_2{{$}} |
| 761 | ; CHECK-NEXT: br .LBB18_1{{$}} |
| 762 | ; CHECK-NEXT: .LBB18_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 763 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 764 | ; CHECK: br_if {{[^,]*}}, .LBB18_2{{$}} |
| 765 | ; CHECK-NEXT: br .LBB18_1{{$}} |
| 766 | ; CHECK-NEXT: .LBB18_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 767 | ; CHECK-NOT: block |
| 768 | ; CHECK: return{{$}} |
| 769 | ; OPT-LABEL: test9: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 770 | ; OPT: .LBB18_1: |
| 771 | ; OPT-NEXT: loop .LBB18_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 772 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 773 | ; OPT: br_if {{[^,]*}}, .LBB18_5{{$}} |
| 774 | ; OPT-NEXT: .LBB18_2: |
| 775 | ; OPT-NEXT: loop .LBB18_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 776 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 777 | ; OPT: block .LBB18_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 778 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 779 | ; OPT: br_if {{[^,]*}}, .LBB18_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 780 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 781 | ; OPT: br_if {{[^,]*}}, .LBB18_2{{$}} |
| 782 | ; OPT-NEXT: br .LBB18_1{{$}} |
| 783 | ; OPT-NEXT: .LBB18_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 784 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 785 | ; OPT: br_if {{[^,]*}}, .LBB18_2{{$}} |
| 786 | ; OPT-NEXT: br .LBB18_1{{$}} |
| 787 | ; OPT-NEXT: .LBB18_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 788 | ; OPT-NOT: block |
| 789 | ; OPT: return{{$}} |
| 790 | declare i1 @a() |
| 791 | define void @test9() { |
| 792 | entry: |
| 793 | store volatile i32 0, i32* null |
| 794 | br label %header |
| 795 | |
| 796 | header: |
| 797 | store volatile i32 1, i32* null |
| 798 | %call4 = call i1 @a() |
| 799 | br i1 %call4, label %header2, label %end |
| 800 | |
| 801 | header2: |
| 802 | store volatile i32 2, i32* null |
| 803 | %call = call i1 @a() |
| 804 | br i1 %call, label %if.then, label %if.else |
| 805 | |
| 806 | if.then: |
| 807 | store volatile i32 3, i32* null |
| 808 | %call3 = call i1 @a() |
| 809 | br i1 %call3, label %header2, label %header |
| 810 | |
| 811 | if.else: |
| 812 | store volatile i32 4, i32* null |
| 813 | %call2 = call i1 @a() |
| 814 | br i1 %call2, label %header2, label %header |
| 815 | |
| 816 | end: |
| 817 | store volatile i32 5, i32* null |
| 818 | ret void |
| 819 | } |
| 820 | |
| 821 | ; Test an interesting case involving nested loops sharing a loop bottom, |
| 822 | ; and loop exits to a block with unreachable. |
| 823 | |
| 824 | ; CHECK-LABEL: test10: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 825 | ; CHECK: .LBB19_1: |
| 826 | ; CHECK-NEXT: loop .LBB19_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 827 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 828 | ; CHECK: br_if {{[^,]*}}, .LBB19_1{{$}} |
| 829 | ; CHECK-NEXT: .LBB19_2: |
| 830 | ; CHECK-NEXT: block .LBB19_6{{$}} |
| 831 | ; CHECK-NEXT: loop .LBB19_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 832 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 833 | ; CHECK: .LBB19_3: |
| 834 | ; CHECK-NEXT: loop .LBB19_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 835 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 836 | ; CHECK: br_if {{[^,]*}}, .LBB19_1{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 837 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 838 | ; CHECK: tableswitch {{[^,]*}}, .LBB19_3, .LBB19_3, .LBB19_5, .LBB19_1, .LBB19_2, .LBB19_6{{$}} |
| 839 | ; CHECK-NEXT: .LBB19_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 840 | ; CHECK-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 841 | ; CHECK-NEXT: .LBB19_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 842 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 843 | ; CHECK: br .LBB19_1{{$}} |
| 844 | ; CHECK-NEXT: .LBB19_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 845 | ; OPT-LABEL: test10: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 846 | ; OPT: .LBB19_1: |
| 847 | ; OPT-NEXT: loop .LBB19_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 848 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 849 | ; OPT: br_if {{[^,]*}}, .LBB19_1{{$}} |
| 850 | ; OPT-NEXT: .LBB19_2: |
| 851 | ; OPT-NEXT: block .LBB19_6{{$}} |
| 852 | ; OPT-NEXT: loop .LBB19_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 853 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 854 | ; OPT: .LBB19_3: |
| 855 | ; OPT-NEXT: loop .LBB19_5{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 856 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 857 | ; OPT: br_if {{[^,]*}}, .LBB19_1{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 858 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 859 | ; OPT: tableswitch {{[^,]*}}, .LBB19_3, .LBB19_3, .LBB19_5, .LBB19_1, .LBB19_2, .LBB19_6{{$}} |
| 860 | ; OPT-NEXT: .LBB19_5: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 861 | ; OPT-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 862 | ; OPT-NEXT: .LBB19_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 863 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 864 | ; OPT: br .LBB19_1{{$}} |
| 865 | ; OPT-NEXT: .LBB19_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 866 | define void @test10() { |
| 867 | bb0: |
| 868 | br label %bb1 |
| 869 | |
| 870 | bb1: |
| 871 | %tmp = phi i32 [ 2, %bb0 ], [ 3, %bb3 ] |
| 872 | %tmp3 = phi i32 [ undef, %bb0 ], [ %tmp11, %bb3 ] |
| 873 | %tmp4 = icmp eq i32 %tmp3, 0 |
| 874 | br i1 %tmp4, label %bb4, label %bb2 |
| 875 | |
| 876 | bb2: |
| 877 | br label %bb3 |
| 878 | |
| 879 | bb3: |
| 880 | %tmp11 = phi i32 [ 1, %bb5 ], [ 0, %bb2 ] |
| 881 | br label %bb1 |
| 882 | |
| 883 | bb4: |
| 884 | %tmp6 = phi i32 [ %tmp9, %bb5 ], [ 4, %bb1 ] |
| 885 | %tmp7 = phi i32 [ %tmp6, %bb5 ], [ %tmp, %bb1 ] |
| 886 | br label %bb5 |
| 887 | |
| 888 | bb5: |
| 889 | %tmp9 = phi i32 [ %tmp6, %bb5 ], [ %tmp7, %bb4 ] |
| 890 | switch i32 %tmp9, label %bb2 [ |
| 891 | i32 0, label %bb5 |
| 892 | i32 1, label %bb6 |
| 893 | i32 3, label %bb4 |
| 894 | i32 4, label %bb3 |
| 895 | ] |
| 896 | |
| 897 | bb6: |
| 898 | ret void |
| 899 | } |
| 900 | |
| 901 | ; Test a CFG DAG with interesting merging. |
| 902 | |
| 903 | ; CHECK-LABEL: test11: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 904 | ; CHECK: block .LBB20_8{{$}} |
| 905 | ; CHECK-NEXT: block .LBB20_7{{$}} |
| 906 | ; CHECK-NEXT: block .LBB20_6{{$}} |
| 907 | ; CHECK-NEXT: block .LBB20_4{{$}} |
| 908 | ; CHECK-NEXT: br_if {{[^,]*}}, .LBB20_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 909 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 910 | ; CHECK: block .LBB20_3{{$}} |
| 911 | ; CHECK: br_if {{[^,]*}}, .LBB20_3{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 912 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 913 | ; CHECK: br_if {{[^,]*}}, .LBB20_6{{$}} |
| 914 | ; CHECK-NEXT: .LBB20_3: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 915 | ; CHECK-NOT: block |
| 916 | ; CHECK: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 917 | ; CHECK-NEXT: .LBB20_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 918 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 919 | ; CHECK: br_if {{[^,]*}}, .LBB20_8{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 920 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 921 | ; CHECK: br_if {{[^,]*}}, .LBB20_7{{$}} |
| 922 | ; CHECK-NEXT: .LBB20_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 923 | ; CHECK-NOT: block |
| 924 | ; CHECK: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 925 | ; CHECK-NEXT: .LBB20_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 926 | ; CHECK-NOT: block |
| 927 | ; CHECK: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 928 | ; CHECK-NEXT: .LBB20_8: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 929 | ; CHECK-NOT: block |
| 930 | ; CHECK: return{{$}} |
| 931 | ; OPT-LABEL: test11: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 932 | ; OPT: block .LBB20_8{{$}} |
| 933 | ; OPT-NEXT: block .LBB20_4{{$}} |
| 934 | ; OPT-NEXT: br_if $0, .LBB20_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 935 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 936 | ; OPT: block .LBB20_3{{$}} |
| 937 | ; OPT: br_if $0, .LBB20_3{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 938 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 939 | ; OPT: br_if $0, .LBB20_8{{$}} |
| 940 | ; OPT-NEXT: .LBB20_3: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 941 | ; OPT-NOT: block |
| 942 | ; OPT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 943 | ; OPT-NEXT: .LBB20_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 944 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 945 | ; OPT: block .LBB20_6{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 946 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 947 | ; OPT: br_if $pop9, .LBB20_6{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 948 | ; OPT-NOT: block |
| 949 | ; OPT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 950 | ; OPT-NEXT: .LBB20_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 951 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 952 | ; OPT: br_if $0, .LBB20_8{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 953 | ; OPT-NOT: block |
| 954 | ; OPT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 955 | ; OPT-NEXT: .LBB20_8: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 956 | ; OPT-NOT: block |
| 957 | ; OPT: return{{$}} |
| 958 | define void @test11() { |
| 959 | bb0: |
| 960 | store volatile i32 0, i32* null |
| 961 | br i1 undef, label %bb1, label %bb4 |
| 962 | bb1: |
| 963 | store volatile i32 1, i32* null |
| 964 | br i1 undef, label %bb3, label %bb2 |
| 965 | bb2: |
| 966 | store volatile i32 2, i32* null |
| 967 | br i1 undef, label %bb3, label %bb7 |
| 968 | bb3: |
| 969 | store volatile i32 3, i32* null |
| 970 | ret void |
| 971 | bb4: |
| 972 | store volatile i32 4, i32* null |
| 973 | br i1 undef, label %bb8, label %bb5 |
| 974 | bb5: |
| 975 | store volatile i32 5, i32* null |
| 976 | br i1 undef, label %bb6, label %bb7 |
| 977 | bb6: |
| 978 | store volatile i32 6, i32* null |
| 979 | ret void |
| 980 | bb7: |
| 981 | store volatile i32 7, i32* null |
| 982 | ret void |
| 983 | bb8: |
| 984 | store volatile i32 8, i32* null |
| 985 | ret void |
| 986 | } |
| 987 | |
| 988 | ; CHECK-LABEL: test12: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 989 | ; CHECK: .LBB21_1: |
| 990 | ; CHECK-NEXT: loop .LBB21_8{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 991 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 992 | ; CHECK: block .LBB21_7{{$}} |
| 993 | ; CHECK-NEXT: block .LBB21_6{{$}} |
| 994 | ; CHECK-NEXT: block .LBB21_4{{$}} |
| 995 | ; CHECK: br_if {{[^,]*}}, .LBB21_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 996 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 997 | ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 998 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 999 | ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}} |
| 1000 | ; CHECK-NEXT: br .LBB21_6{{$}} |
| 1001 | ; CHECK-NEXT: .LBB21_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1002 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1003 | ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1004 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1005 | ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}} |
| 1006 | ; CHECK-NEXT: .LBB21_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1007 | ; CHECK-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1008 | ; CHECK-NEXT: .LBB21_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1009 | ; CHECK-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1010 | ; CHECK: br .LBB21_1{{$}} |
| 1011 | ; CHECK-NEXT: .LBB21_8: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1012 | ; OPT-LABEL: test12: |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1013 | ; OPT: .LBB21_1: |
| 1014 | ; OPT-NEXT: loop .LBB21_8{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1015 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1016 | ; OPT: block .LBB21_7{{$}} |
| 1017 | ; OPT-NEXT: block .LBB21_6{{$}} |
| 1018 | ; OPT-NEXT: block .LBB21_4{{$}} |
| 1019 | ; OPT: br_if {{[^,]*}}, .LBB21_4{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1020 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1021 | ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1022 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1023 | ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}} |
| 1024 | ; OPT-NEXT: br .LBB21_6{{$}} |
| 1025 | ; OPT-NEXT: .LBB21_4: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1026 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1027 | ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}} |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1028 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1029 | ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}} |
| 1030 | ; OPT-NEXT: .LBB21_6: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1031 | ; OPT-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1032 | ; OPT-NEXT: .LBB21_7: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1033 | ; OPT-NOT: block |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1034 | ; OPT: br .LBB21_1{{$}} |
| 1035 | ; OPT-NEXT: .LBB21_8: |
Dan Gohman | 8fe7e86 | 2015-12-14 22:51:54 +0000 | [diff] [blame] | 1036 | define void @test12(i8* %arg) { |
| 1037 | bb: |
| 1038 | br label %bb1 |
| 1039 | |
| 1040 | bb1: |
| 1041 | %tmp = phi i32 [ 0, %bb ], [ %tmp5, %bb4 ] |
| 1042 | %tmp2 = getelementptr i8, i8* %arg, i32 %tmp |
| 1043 | %tmp3 = load i8, i8* %tmp2 |
| 1044 | switch i8 %tmp3, label %bb7 [ |
| 1045 | i8 42, label %bb4 |
| 1046 | i8 76, label %bb4 |
| 1047 | i8 108, label %bb4 |
| 1048 | i8 104, label %bb4 |
| 1049 | ] |
| 1050 | |
| 1051 | bb4: |
| 1052 | %tmp5 = add i32 %tmp, 1 |
| 1053 | br label %bb1 |
| 1054 | |
| 1055 | bb7: |
| 1056 | ret void |
| 1057 | } |
Dan Gohman | b3aa1ec | 2015-12-16 19:06:41 +0000 | [diff] [blame] | 1058 | |
| 1059 | ; A block can be "branched to" from another even if it is also reachable via |
| 1060 | ; fallthrough from the other. This would normally be optimized away, so use |
| 1061 | ; optnone to disable optimizations to test this case. |
| 1062 | |
| 1063 | ; CHECK-LABEL: test13: |
| 1064 | ; CHECK-NEXT: .local i32{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1065 | ; CHECK: block .LBB22_2{{$}} |
| 1066 | ; CHECK: br_if $pop4, .LBB22_2{{$}} |
Dan Gohman | b3aa1ec | 2015-12-16 19:06:41 +0000 | [diff] [blame] | 1067 | ; CHECK-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1068 | ; CHECK-NEXT: .LBB22_2: |
| 1069 | ; CHECK: block .LBB22_4{{$}} |
| 1070 | ; CHECK-NEXT: br_if $0, .LBB22_4{{$}} |
| 1071 | ; CHECK: .LBB22_4: |
| 1072 | ; CHECK: block .LBB22_5{{$}} |
| 1073 | ; CHECK: br_if $pop6, .LBB22_5{{$}} |
| 1074 | ; CHECK-NEXT: .LBB22_5: |
Dan Gohman | b3aa1ec | 2015-12-16 19:06:41 +0000 | [diff] [blame] | 1075 | ; CHECK-NEXT: unreachable{{$}} |
| 1076 | ; OPT-LABEL: test13: |
| 1077 | ; OPT-NEXT: .local i32{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1078 | ; OPT: block .LBB22_2{{$}} |
| 1079 | ; OPT: br_if $pop4, .LBB22_2{{$}} |
Dan Gohman | b3aa1ec | 2015-12-16 19:06:41 +0000 | [diff] [blame] | 1080 | ; OPT-NEXT: return{{$}} |
Dan Gohman | a4730cf | 2016-01-07 18:49:53 +0000 | [diff] [blame^] | 1081 | ; OPT-NEXT: .LBB22_2: |
| 1082 | ; OPT: block .LBB22_4{{$}} |
| 1083 | ; OPT-NEXT: br_if $0, .LBB22_4{{$}} |
| 1084 | ; OPT: .LBB22_4: |
| 1085 | ; OPT: block .LBB22_5{{$}} |
| 1086 | ; OPT: br_if $pop6, .LBB22_5{{$}} |
| 1087 | ; OPT-NEXT: .LBB22_5: |
Dan Gohman | b3aa1ec | 2015-12-16 19:06:41 +0000 | [diff] [blame] | 1088 | ; OPT-NEXT: unreachable{{$}} |
| 1089 | define void @test13() noinline optnone { |
| 1090 | bb: |
| 1091 | br i1 undef, label %bb5, label %bb2 |
| 1092 | bb1: |
| 1093 | unreachable |
| 1094 | bb2: |
| 1095 | br i1 undef, label %bb3, label %bb4 |
| 1096 | bb3: |
| 1097 | br label %bb4 |
| 1098 | bb4: |
| 1099 | %tmp = phi i1 [ false, %bb2 ], [ false, %bb3 ] |
| 1100 | br i1 %tmp, label %bb1, label %bb1 |
| 1101 | bb5: |
| 1102 | ret void |
| 1103 | } |