[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / JumpThreading / ddt-crash2.ll
blob92bea6a7dffd1954675fe975685e7fd7bc55243d
1 ; RUN: opt < %s -jump-threading -disable-output
3 %struct.aaa = type { i8 }
5 define void @chrome(%struct.aaa* noalias sret %arg) local_unnamed_addr #0 align 2 personality i8* bitcast (i32 (...)* @chrome2 to i8*) {
6 bb:
7   %tmp = load i32, i32* undef, align 4
8   %tmp1 = icmp eq i32 %tmp, 0
9   br i1 %tmp1, label %bb2, label %bb13
11 bb2:
12   %tmp3 = getelementptr inbounds %struct.aaa, %struct.aaa* %arg, i64 0, i32 0
13   %tmp4 = load i8, i8* %tmp3, align 1
14   %tmp5 = icmp eq i8 %tmp4, 0
15   br i1 %tmp5, label %bb6, label %bb7
17 bb6:
18   store i8 0, i8* %tmp3, align 1
19   br label %bb7
21 bb7:
22   %tmp8 = load i8, i8* %tmp3, align 1
23   %tmp9 = icmp ne i8 %tmp8, 0
24   %tmp10 = select i1 %tmp9, i1 true, i1 false
25   br i1 %tmp10, label %bb12, label %bb11
27 bb11:
28   br label %bb12
30 bb12:
31   br i1 %tmp9, label %bb14, label %bb13
33 bb13:
34   unreachable
36 bb14:
37   ret void
40 declare i32 @chrome2(...)