[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LoopIdiom / non-canonical-loop.ll
blob77c818f834ecfc587e6f322bfc32bc7bb470540b
1 ; RUN: opt -S -loop-idiom < %s
2 ; Don't crash
3 ; PR13892
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"
8 define void @test(i32* %currMB) nounwind uwtable {
9 entry:
10   br i1 undef, label %start.exit, label %if.then.i
12 if.then.i:                                        ; preds = %entry
13   unreachable
15 start.exit:                       ; preds = %entry
16   indirectbr i8* undef, [label %0, label %for.bodyprime]
18 ; <label>:0                                       ; preds = %start.exit
19   unreachable
21 for.bodyprime:                                    ; preds = %for.bodyprime, %start.exit
22   %i.057375 = phi i32 [ 0, %start.exit ], [ %1, %for.bodyprime ]
23   %arrayidx8prime = getelementptr inbounds i32, i32* %currMB, i32 %i.057375
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
29 for.endprime:                                     ; preds = %for.bodyprime
30   br label %for.body23prime
32 for.body23prime:                                  ; preds = %for.body23prime, %for.endprime
33   br label %for.body23prime