1; RUN: llc < %s -regalloc=fast -optimize-regalloc=0 -verify-machineinstrs 2target 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 15declare fastcc i32 @FirstOne() 16 17define fastcc void @Evaluate() { 18entry: 19 br i1 false, label %cond_false186, label %cond_true 20 21cond_true: ; preds = %entry 22 ret void 23 24cond_false186: ; preds = %entry 25 br i1 false, label %cond_true293, label %bb203 26 27bb203: ; preds = %cond_false186 28 ret void 29 30cond_true293: ; preds = %cond_false186 31 br i1 false, label %cond_true298, label %cond_next317 32 33cond_true298: ; preds = %cond_true293 34 br i1 false, label %cond_next518, label %cond_true397.preheader 35 36cond_next317: ; preds = %cond_true293 37 ret void 38 39cond_true397.preheader: ; preds = %cond_true298 40 ret void 41 42cond_next518: ; preds = %cond_true298 43 br i1 false, label %bb1069, label %cond_true522 44 45cond_true522: ; preds = %cond_next518 46 ret void 47 48bb1069: ; preds = %cond_next518 49 br i1 false, label %cond_next1131, label %bb1096 50 51bb1096: ; preds = %bb1069 52 ret void 53 54cond_next1131: ; preds = %bb1069 55 br i1 false, label %cond_next1207, label %cond_true1150 56 57cond_true1150: ; preds = %cond_next1131 58 ret void 59 60cond_next1207: ; preds = %cond_next1131 61 br i1 false, label %cond_next1219, label %cond_true1211 62 63cond_true1211: ; preds = %cond_next1207 64 ret void 65 66cond_next1219: ; preds = %cond_next1207 67 br i1 false, label %cond_true1223, label %cond_next1283 68 69cond_true1223: ; preds = %cond_next1219 70 br i1 false, label %cond_true1254, label %cond_true1264 71 72cond_true1254: ; preds = %cond_true1223 73 br i1 false, label %bb1567, label %cond_true1369.preheader 74 75cond_true1264: ; preds = %cond_true1223 76 ret void 77 78cond_next1283: ; preds = %cond_next1219 79 ret void 80 81cond_true1369.preheader: ; preds = %cond_true1254 82 ret void 83 84bb1567: ; preds = %cond_true1254 85 %tmp1591 = load i64, i64* getelementptr inbounds (%struct.CHESS_POSITION, %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, 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]], [64 x [256 x i32]]* @bishop_mobility_rr45, i32 0, i32 %tmp1572, i64 %gep.upgrd.8 ; <i32*> [#uses=1] 95 %tmp1599 = load i32, 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 99cond_true1607: ; preds = %bb1567 100 ret void 101 102cond_next1637: ; preds = %bb1567 103 %tmp1662 = sub i32 %tmp1602, 0 ; <i32> [#uses=0] 104 ret void 105} 106