1; RUN: opt -instcombine -S < %s | FileCheck %s
2
3; This used to crash opt
4
5@c = common global i32 0, align 4
6@b = common global i32 0, align 4
7@a = common global i16 0, align 2
8@d = common global i32 0, align 4
9
10define void @fn3() {
11; CHECK: @fn3
12bb:
13  %tmp = load i32, i32* @c, align 4
14  %tmp1 = icmp eq i32 %tmp, 0
15  br i1 %tmp1, label %bb2, label %bb6
16
17bb2:                                              ; preds = %bb
18  %tmp3 = load i32, i32* @b, align 4
19  %tmp.i = add nsw i32 255, %tmp3
20  %tmp5 = icmp ugt i32 %tmp.i, 254
21  br label %bb6
22
23bb6:                                              ; preds = %bb, %bb2
24  %tmp7 = phi i1 [ true, %bb ], [ %tmp5, %bb2 ]
25  %tmp8 = zext i1 %tmp7 to i32
26  %tmp10 = icmp eq i32 %tmp8, 0
27  %tmp12 = load i16, i16* @a, align 2
28  %tmp14 = icmp ne i16 %tmp12, 0
29  %tmp16 = select i1 %tmp10, i1 false, i1 %tmp14
30  %tmp17 = zext i1 %tmp16 to i32
31  store i32 %tmp17, i32* @d, align 4
32  ret void
33}
34