Jakob Stoklund Olesen | aa4b015 | 2010-05-17 17:18:59 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -regalloc=fast -verify-machineinstrs |
| 2 | target triple = "arm-pc-linux-gnu" |
| 3 | |
| 4 | ; This test case would accidentally use the same physreg for two virtregs |
| 5 | ; because allocVirtReg forgot to check if registers were already used in the |
| 6 | ; instruction. |
| 7 | ; This caused the RegScavenger to complain, but -verify-machineinstrs also |
| 8 | ; catches it. |
| 9 | |
| 10 | %struct.CHESS_POSITION = type { i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i32, i32, i8, i8, [64 x i8], i8, i8, i8, i8, i8 } |
| 11 | |
| 12 | @search = external global %struct.CHESS_POSITION ; <%struct.CHESS_POSITION*> [#uses=1] |
| 13 | @bishop_mobility_rr45 = external global [64 x [256 x i32]] ; <[64 x [256 x i32]]*> [#uses=1] |
| 14 | |
| 15 | declare fastcc i32 @FirstOne() |
| 16 | |
| 17 | define fastcc void @Evaluate() { |
| 18 | entry: |
| 19 | br i1 false, label %cond_false186, label %cond_true |
| 20 | |
| 21 | cond_true: ; preds = %entry |
| 22 | ret void |
| 23 | |
| 24 | cond_false186: ; preds = %entry |
| 25 | br i1 false, label %cond_true293, label %bb203 |
| 26 | |
| 27 | bb203: ; preds = %cond_false186 |
| 28 | ret void |
| 29 | |
| 30 | cond_true293: ; preds = %cond_false186 |
| 31 | br i1 false, label %cond_true298, label %cond_next317 |
| 32 | |
| 33 | cond_true298: ; preds = %cond_true293 |
| 34 | br i1 false, label %cond_next518, label %cond_true397.preheader |
| 35 | |
| 36 | cond_next317: ; preds = %cond_true293 |
| 37 | ret void |
| 38 | |
| 39 | cond_true397.preheader: ; preds = %cond_true298 |
| 40 | ret void |
| 41 | |
| 42 | cond_next518: ; preds = %cond_true298 |
| 43 | br i1 false, label %bb1069, label %cond_true522 |
| 44 | |
| 45 | cond_true522: ; preds = %cond_next518 |
| 46 | ret void |
| 47 | |
| 48 | bb1069: ; preds = %cond_next518 |
| 49 | br i1 false, label %cond_next1131, label %bb1096 |
| 50 | |
| 51 | bb1096: ; preds = %bb1069 |
| 52 | ret void |
| 53 | |
| 54 | cond_next1131: ; preds = %bb1069 |
| 55 | br i1 false, label %cond_next1207, label %cond_true1150 |
| 56 | |
| 57 | cond_true1150: ; preds = %cond_next1131 |
| 58 | ret void |
| 59 | |
| 60 | cond_next1207: ; preds = %cond_next1131 |
| 61 | br i1 false, label %cond_next1219, label %cond_true1211 |
| 62 | |
| 63 | cond_true1211: ; preds = %cond_next1207 |
| 64 | ret void |
| 65 | |
| 66 | cond_next1219: ; preds = %cond_next1207 |
| 67 | br i1 false, label %cond_true1223, label %cond_next1283 |
| 68 | |
| 69 | cond_true1223: ; preds = %cond_next1219 |
| 70 | br i1 false, label %cond_true1254, label %cond_true1264 |
| 71 | |
| 72 | cond_true1254: ; preds = %cond_true1223 |
| 73 | br i1 false, label %bb1567, label %cond_true1369.preheader |
| 74 | |
| 75 | cond_true1264: ; preds = %cond_true1223 |
| 76 | ret void |
| 77 | |
| 78 | cond_next1283: ; preds = %cond_next1219 |
| 79 | ret void |
| 80 | |
| 81 | cond_true1369.preheader: ; preds = %cond_true1254 |
| 82 | ret void |
| 83 | |
| 84 | bb1567: ; preds = %cond_true1254 |
| 85 | %tmp1591 = load i64* getelementptr inbounds (%struct.CHESS_POSITION* @search, i32 0, i32 4) ; <i64> [#uses=1] |
| 86 | %tmp1572 = tail call fastcc i32 @FirstOne() ; <i32> [#uses=1] |
| 87 | %tmp1594 = load i32* undef ; <i32> [#uses=1] |
| 88 | %tmp1594.upgrd.5 = trunc i32 %tmp1594 to i8 ; <i8> [#uses=1] |
| 89 | %shift.upgrd.6 = zext i8 %tmp1594.upgrd.5 to i64 ; <i64> [#uses=1] |
| 90 | %tmp1595 = lshr i64 %tmp1591, %shift.upgrd.6 ; <i64> [#uses=1] |
| 91 | %tmp1595.upgrd.7 = trunc i64 %tmp1595 to i32 ; <i32> [#uses=1] |
| 92 | %tmp1596 = and i32 %tmp1595.upgrd.7, 255 ; <i32> [#uses=1] |
| 93 | %gep.upgrd.8 = zext i32 %tmp1596 to i64 ; <i64> [#uses=1] |
| 94 | %tmp1598 = getelementptr [64 x [256 x i32]]* @bishop_mobility_rr45, i32 0, i32 %tmp1572, i64 %gep.upgrd.8 ; <i32*> [#uses=1] |
| 95 | %tmp1599 = load i32* %tmp1598 ; <i32> [#uses=1] |
| 96 | %tmp1602 = sub i32 0, %tmp1599 ; <i32> [#uses=1] |
| 97 | br i1 undef, label %cond_next1637, label %cond_true1607 |
| 98 | |
| 99 | cond_true1607: ; preds = %bb1567 |
| 100 | ret void |
| 101 | |
| 102 | cond_next1637: ; preds = %bb1567 |
| 103 | %tmp1662 = sub i32 %tmp1602, 0 ; <i32> [#uses=0] |
| 104 | ret void |
| 105 | } |