| Sanjoy Das | 827529e | 2015-08-11 21:33:55 +0000 | [diff] [blame] | 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 | |
| 10 | define void @fn3() { |
| 11 | ; CHECK: @fn3 |
| 12 | bb: |
| 13 | %tmp = load i32, i32* @c, align 4 |
| 14 | %tmp1 = icmp eq i32 %tmp, 0 |
| 15 | br i1 %tmp1, label %bb2, label %bb6 |
| 16 | |
| 17 | bb2: ; 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 | |
| 23 | bb6: ; 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 | } |