| Jim Stichnoth | 68e2819 | 2014-07-24 08:48:15 -0700 | [diff] [blame] | 1 | ; Bugpoint-reduced example that demonstrated a bug (assertion failure) |
| 2 | ; in register allocation. See |
| 3 | ; https://code.google.com/p/nativeclient/issues/detail?id=3903 . |
| 4 | ; |
| Karl Schimpf | 2a5324a | 2014-09-25 09:37:49 -0700 | [diff] [blame] | 5 | ; TODO(kschimpf) Find out why lc2i is needed. |
| 6 | ; RUN: %lc2i -i %s --args -O2 --verbose regalloc |
| Jim Stichnoth | 68e2819 | 2014-07-24 08:48:15 -0700 | [diff] [blame] | 7 | |
| 8 | ; ModuleID = 'bugpoint-reduced-simplified.ll' |
| 9 | target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:32" |
| 10 | target triple = "i386-pc-linux-gnu" |
| 11 | |
| 12 | define void @foo() { |
| 13 | bb: |
| 14 | br i1 undef, label %bb13, label %bb14 |
| 15 | |
| 16 | bb13: |
| 17 | unreachable |
| 18 | |
| 19 | bb14: |
| 20 | br i1 undef, label %bb50, label %bb16 |
| 21 | |
| 22 | bb15: ; preds = %bb42, %bb35 |
| 23 | br i1 undef, label %bb50, label %bb16 |
| 24 | |
| 25 | bb16: ; preds = %bb49, %bb15, %bb14 |
| 26 | %tmp = phi i32 [ undef, %bb14 ], [ %tmp18, %bb49 ], [ undef, %bb15 ] |
| 27 | br label %bb17 |
| 28 | |
| 29 | bb17: ; preds = %bb48, %bb16 |
| 30 | %tmp18 = phi i32 [ undef, %bb16 ], [ undef, %bb48 ] |
| 31 | %tmp19 = add i32 %tmp18, 4 |
| 32 | br i1 undef, label %bb21, label %bb46 |
| 33 | |
| 34 | bb21: ; preds = %bb27, %bb17 |
| 35 | %tmp22 = phi i32 [ undef, %bb17 ], [ %tmp30, %bb27 ] |
| 36 | %tmp23 = add i32 undef, -1 |
| 37 | %tmp24 = add i32 undef, undef |
| Matt Wala | e377767 | 2014-07-31 09:06:17 -0700 | [diff] [blame] | 38 | %undef.ptr = inttoptr i32 undef to i32* |
| 39 | %tmp25 = load i32* %undef.ptr, align 1 |
| Jim Stichnoth | 68e2819 | 2014-07-24 08:48:15 -0700 | [diff] [blame] | 40 | %tmp26 = icmp eq i32 undef, %tmp22 |
| 41 | br i1 %tmp26, label %bb34, label %bb32 |
| 42 | |
| 43 | bb27: ; preds = %bb42, %bb34 |
| 44 | %tmp28 = icmp sgt i32 %tmp23, 0 |
| 45 | %tmp29 = inttoptr i32 %tmp19 to i32* |
| 46 | %tmp30 = load i32* %tmp29, align 1 |
| 47 | br i1 %tmp28, label %bb21, label %bb46 |
| 48 | |
| 49 | bb32: ; preds = %bb21 |
| 50 | %tmp33 = inttoptr i32 %tmp24 to i32* |
| 51 | store i32 0, i32* %tmp33, align 1 |
| 52 | br label %bb34 |
| 53 | |
| 54 | bb34: ; preds = %bb32, %bb31 |
| 55 | br i1 undef, label %bb27, label %bb35 |
| 56 | |
| 57 | bb35: ; preds = %bb34 |
| 58 | %tmp40 = inttoptr i32 %tmp25 to void (i32)* |
| 59 | call void %tmp40(i32 undef) |
| 60 | br i1 undef, label %bb42, label %bb15 |
| 61 | |
| 62 | bb42: ; preds = %bb35 |
| 63 | %tmp43 = inttoptr i32 %tmp to i32* |
| 64 | %tmp44 = load i32* %tmp43, align 1 |
| 65 | %tmp45 = icmp eq i32 %tmp44, %tmp18 |
| 66 | br i1 %tmp45, label %bb27, label %bb15 |
| 67 | |
| 68 | bb46: ; preds = %bb27, %bb17 |
| 69 | br i1 undef, label %bb47, label %bb49 |
| 70 | |
| 71 | bb47: ; preds = %bb46 |
| 72 | br i1 undef, label %bb50, label %bb48 |
| 73 | |
| 74 | bb48: ; preds = %bb47 |
| 75 | br i1 undef, label %bb50, label %bb17 |
| 76 | |
| 77 | bb49: ; preds = %bb46 |
| 78 | br i1 undef, label %bb50, label %bb16 |
| 79 | |
| 80 | bb50: ; preds = %bb49, %bb48, %bb47, %bb15, %bb14 |
| 81 | unreachable |
| 82 | } |
