| Benjamin Kramer | eba9aca | 2012-09-21 17:27:23 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -loop-idiom < %s |
| 2 | ; Don't crash |
| 3 | ; PR13892 |
| 4 | |
| 5 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" |
| 6 | target triple = "x86_64-unknown-linux-gnu" |
| 7 | |
| 8 | define void @test(i32* %currMB) nounwind uwtable { |
| 9 | entry: |
| 10 | br i1 undef, label %start.exit, label %if.then.i |
| 11 | |
| 12 | if.then.i: ; preds = %entry |
| 13 | unreachable |
| 14 | |
| 15 | start.exit: ; preds = %entry |
| 16 | indirectbr i8* undef, [label %0, label %for.bodyprime] |
| 17 | |
| 18 | ; <label>:0 ; preds = %start.exit |
| 19 | unreachable |
| 20 | |
| 21 | for.bodyprime: ; preds = %for.bodyprime, %start.exit |
| 22 | %i.057375 = phi i32 [ 0, %start.exit ], [ %1, %for.bodyprime ] |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 23 | %arrayidx8prime = getelementptr inbounds i32, i32* %currMB, i32 %i.057375 |
| Benjamin Kramer | eba9aca | 2012-09-21 17:27:23 +0000 | [diff] [blame] | 24 | store i32 0, i32* %arrayidx8prime, align 4 |
| 25 | %1 = add i32 %i.057375, 1 |
| 26 | %cmp5prime = icmp slt i32 %1, 4 |
| 27 | br i1 %cmp5prime, label %for.bodyprime, label %for.endprime |
| 28 | |
| 29 | for.endprime: ; preds = %for.bodyprime |
| 30 | br label %for.body23prime |
| 31 | |
| 32 | for.body23prime: ; preds = %for.body23prime, %for.endprime |
| 33 | br label %for.body23prime |
| 34 | } |