1; RUN: llc -mtriple=x86_64-darwin -mcpu=generic < %s | FileCheck %s 2; RUN: llc -mtriple=x86_64-darwin -mcpu=atom < %s | FileCheck -check-prefix=ATOM %s 3 4; CHECK-LABEL: t: 5; CHECK: movl (%r9,%rax,4), %e{{..}} 6; CHECK-NEXT: testq 7; CHECK-NEXT: jne 8 9; ATOM-LABEL: t: 10; ATOM: movl (%r9,%r{{.+}},4), %r{{..}} 11; ATOM-NEXT: xorl 12; ATOM-NEXT: testq 13; ATOM-NEXT: movl 14; ATOM-NEXT: jne 15 16@Te0 = external global [256 x i32] ; <[256 x i32]*> [#uses=5] 17@Te1 = external global [256 x i32] ; <[256 x i32]*> [#uses=4] 18@Te3 = external global [256 x i32] ; <[256 x i32]*> [#uses=2] 19 20define void @t(i8* nocapture %in, i8* nocapture %out, i32* nocapture %rk, i32 %r) nounwind { 21entry: 22 %0 = load i32, i32* %rk, align 4 ; <i32> [#uses=1] 23 %1 = getelementptr i32, i32* %rk, i64 1 ; <i32*> [#uses=1] 24 %2 = load i32, i32* %1, align 4 ; <i32> [#uses=1] 25 %tmp15 = add i32 %r, -1 ; <i32> [#uses=1] 26 %tmp.16 = zext i32 %tmp15 to i64 ; <i64> [#uses=2] 27 br label %bb 28 29bb: ; preds = %bb1, %entry 30 %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %bb1 ] ; <i64> [#uses=3] 31 %s1.0 = phi i32 [ %2, %entry ], [ %56, %bb1 ] ; <i32> [#uses=2] 32 %s0.0 = phi i32 [ %0, %entry ], [ %43, %bb1 ] ; <i32> [#uses=2] 33 %tmp18 = shl i64 %indvar, 4 ; <i64> [#uses=4] 34 %rk26 = bitcast i32* %rk to i8* ; <i8*> [#uses=6] 35 %3 = lshr i32 %s0.0, 24 ; <i32> [#uses=1] 36 %4 = zext i32 %3 to i64 ; <i64> [#uses=1] 37 %5 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %4 ; <i32*> [#uses=1] 38 %6 = load i32, i32* %5, align 4 ; <i32> [#uses=1] 39 %7 = lshr i32 %s1.0, 16 ; <i32> [#uses=1] 40 %8 = and i32 %7, 255 ; <i32> [#uses=1] 41 %9 = zext i32 %8 to i64 ; <i64> [#uses=1] 42 %10 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %9 ; <i32*> [#uses=1] 43 %11 = load i32, i32* %10, align 4 ; <i32> [#uses=1] 44 %ctg2.sum2728 = or i64 %tmp18, 8 ; <i64> [#uses=1] 45 %12 = getelementptr i8, i8* %rk26, i64 %ctg2.sum2728 ; <i8*> [#uses=1] 46 %13 = bitcast i8* %12 to i32* ; <i32*> [#uses=1] 47 %14 = load i32, i32* %13, align 4 ; <i32> [#uses=1] 48 %15 = xor i32 %11, %6 ; <i32> [#uses=1] 49 %16 = xor i32 %15, %14 ; <i32> [#uses=3] 50 %17 = lshr i32 %s1.0, 24 ; <i32> [#uses=1] 51 %18 = zext i32 %17 to i64 ; <i64> [#uses=1] 52 %19 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %18 ; <i32*> [#uses=1] 53 %20 = load i32, i32* %19, align 4 ; <i32> [#uses=1] 54 %21 = and i32 %s0.0, 255 ; <i32> [#uses=1] 55 %22 = zext i32 %21 to i64 ; <i64> [#uses=1] 56 %23 = getelementptr [256 x i32], [256 x i32]* @Te3, i64 0, i64 %22 ; <i32*> [#uses=1] 57 %24 = load i32, i32* %23, align 4 ; <i32> [#uses=1] 58 %ctg2.sum2930 = or i64 %tmp18, 12 ; <i64> [#uses=1] 59 %25 = getelementptr i8, i8* %rk26, i64 %ctg2.sum2930 ; <i8*> [#uses=1] 60 %26 = bitcast i8* %25 to i32* ; <i32*> [#uses=1] 61 %27 = load i32, i32* %26, align 4 ; <i32> [#uses=1] 62 %28 = xor i32 %24, %20 ; <i32> [#uses=1] 63 %29 = xor i32 %28, %27 ; <i32> [#uses=4] 64 %30 = lshr i32 %16, 24 ; <i32> [#uses=1] 65 %31 = zext i32 %30 to i64 ; <i64> [#uses=1] 66 %32 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %31 ; <i32*> [#uses=1] 67 %33 = load i32, i32* %32, align 4 ; <i32> [#uses=2] 68 %exitcond = icmp eq i64 %indvar, %tmp.16 ; <i1> [#uses=1] 69 br i1 %exitcond, label %bb2, label %bb1 70 71bb1: ; preds = %bb 72 %ctg2.sum31 = add i64 %tmp18, 16 ; <i64> [#uses=1] 73 %34 = getelementptr i8, i8* %rk26, i64 %ctg2.sum31 ; <i8*> [#uses=1] 74 %35 = bitcast i8* %34 to i32* ; <i32*> [#uses=1] 75 %36 = lshr i32 %29, 16 ; <i32> [#uses=1] 76 %37 = and i32 %36, 255 ; <i32> [#uses=1] 77 %38 = zext i32 %37 to i64 ; <i64> [#uses=1] 78 %39 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %38 ; <i32*> [#uses=1] 79 %40 = load i32, i32* %39, align 4 ; <i32> [#uses=1] 80 %41 = load i32, i32* %35, align 4 ; <i32> [#uses=1] 81 %42 = xor i32 %40, %33 ; <i32> [#uses=1] 82 %43 = xor i32 %42, %41 ; <i32> [#uses=1] 83 %44 = lshr i32 %29, 24 ; <i32> [#uses=1] 84 %45 = zext i32 %44 to i64 ; <i64> [#uses=1] 85 %46 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %45 ; <i32*> [#uses=1] 86 %47 = load i32, i32* %46, align 4 ; <i32> [#uses=1] 87 %48 = and i32 %16, 255 ; <i32> [#uses=1] 88 %49 = zext i32 %48 to i64 ; <i64> [#uses=1] 89 %50 = getelementptr [256 x i32], [256 x i32]* @Te3, i64 0, i64 %49 ; <i32*> [#uses=1] 90 %51 = load i32, i32* %50, align 4 ; <i32> [#uses=1] 91 %ctg2.sum32 = add i64 %tmp18, 20 ; <i64> [#uses=1] 92 %52 = getelementptr i8, i8* %rk26, i64 %ctg2.sum32 ; <i8*> [#uses=1] 93 %53 = bitcast i8* %52 to i32* ; <i32*> [#uses=1] 94 %54 = load i32, i32* %53, align 4 ; <i32> [#uses=1] 95 %55 = xor i32 %51, %47 ; <i32> [#uses=1] 96 %56 = xor i32 %55, %54 ; <i32> [#uses=1] 97 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=1] 98 br label %bb 99 100bb2: ; preds = %bb 101 %tmp10 = shl i64 %tmp.16, 4 ; <i64> [#uses=2] 102 %ctg2.sum = add i64 %tmp10, 16 ; <i64> [#uses=1] 103 %tmp1213 = getelementptr i8, i8* %rk26, i64 %ctg2.sum ; <i8*> [#uses=1] 104 %57 = bitcast i8* %tmp1213 to i32* ; <i32*> [#uses=1] 105 %58 = and i32 %33, -16777216 ; <i32> [#uses=1] 106 %59 = lshr i32 %29, 16 ; <i32> [#uses=1] 107 %60 = and i32 %59, 255 ; <i32> [#uses=1] 108 %61 = zext i32 %60 to i64 ; <i64> [#uses=1] 109 %62 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %61 ; <i32*> [#uses=1] 110 %63 = load i32, i32* %62, align 4 ; <i32> [#uses=1] 111 %64 = and i32 %63, 16711680 ; <i32> [#uses=1] 112 %65 = or i32 %64, %58 ; <i32> [#uses=1] 113 %66 = load i32, i32* %57, align 4 ; <i32> [#uses=1] 114 %67 = xor i32 %65, %66 ; <i32> [#uses=2] 115 %68 = lshr i32 %29, 8 ; <i32> [#uses=1] 116 %69 = zext i32 %68 to i64 ; <i64> [#uses=1] 117 %70 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %69 ; <i32*> [#uses=1] 118 %71 = load i32, i32* %70, align 4 ; <i32> [#uses=1] 119 %72 = and i32 %71, -16777216 ; <i32> [#uses=1] 120 %73 = and i32 %16, 255 ; <i32> [#uses=1] 121 %74 = zext i32 %73 to i64 ; <i64> [#uses=1] 122 %75 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %74 ; <i32*> [#uses=1] 123 %76 = load i32, i32* %75, align 4 ; <i32> [#uses=1] 124 %77 = and i32 %76, 16711680 ; <i32> [#uses=1] 125 %78 = or i32 %77, %72 ; <i32> [#uses=1] 126 %ctg2.sum25 = add i64 %tmp10, 20 ; <i64> [#uses=1] 127 %79 = getelementptr i8, i8* %rk26, i64 %ctg2.sum25 ; <i8*> [#uses=1] 128 %80 = bitcast i8* %79 to i32* ; <i32*> [#uses=1] 129 %81 = load i32, i32* %80, align 4 ; <i32> [#uses=1] 130 %82 = xor i32 %78, %81 ; <i32> [#uses=2] 131 %83 = lshr i32 %67, 24 ; <i32> [#uses=1] 132 %84 = trunc i32 %83 to i8 ; <i8> [#uses=1] 133 store i8 %84, i8* %out, align 1 134 %85 = lshr i32 %67, 16 ; <i32> [#uses=1] 135 %86 = trunc i32 %85 to i8 ; <i8> [#uses=1] 136 %87 = getelementptr i8, i8* %out, i64 1 ; <i8*> [#uses=1] 137 store i8 %86, i8* %87, align 1 138 %88 = getelementptr i8, i8* %out, i64 4 ; <i8*> [#uses=1] 139 %89 = lshr i32 %82, 24 ; <i32> [#uses=1] 140 %90 = trunc i32 %89 to i8 ; <i8> [#uses=1] 141 store i8 %90, i8* %88, align 1 142 %91 = lshr i32 %82, 16 ; <i32> [#uses=1] 143 %92 = trunc i32 %91 to i8 ; <i8> [#uses=1] 144 %93 = getelementptr i8, i8* %out, i64 5 ; <i8*> [#uses=1] 145 store i8 %92, i8* %93, align 1 146 ret void 147} 148 149; Check that DAGCombiner doesn't mess up the IV update when the exiting value 150; is equal to the stride. 151; It must not fold (cmp (add iv, 1), 1) --> (cmp iv, 0). 152 153; CHECK-LABEL: f: 154; CHECK: %for.body 155; CHECK: incl [[IV:%e..]] 156; CHECK: cmpl $1, [[IV]] 157; CHECK: jne 158; CHECK: ret 159 160; ATOM-LABEL: f: 161; ATOM: %for.body 162; ATOM: incl [[IV:%e..]] 163; ATOM: cmpl $1, [[IV]] 164; ATOM: jne 165; ATOM: ret 166 167define i32 @f(i32 %i, i32* nocapture %a) nounwind uwtable readonly ssp { 168entry: 169 %cmp4 = icmp eq i32 %i, 1 170 br i1 %cmp4, label %for.end, label %for.body.lr.ph 171 172for.body.lr.ph: ; preds = %entry 173 %0 = sext i32 %i to i64 174 br label %for.body 175 176for.body: ; preds = %for.body.lr.ph, %for.body 177 %indvars.iv = phi i64 [ %0, %for.body.lr.ph ], [ %indvars.iv.next, %for.body ] 178 %bi.06 = phi i32 [ 0, %for.body.lr.ph ], [ %i.addr.0.bi.0, %for.body ] 179 %b.05 = phi i32 [ 0, %for.body.lr.ph ], [ %.b.0, %for.body ] 180 %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv 181 %1 = load i32, i32* %arrayidx, align 4 182 %cmp1 = icmp ugt i32 %1, %b.05 183 %.b.0 = select i1 %cmp1, i32 %1, i32 %b.05 184 %2 = trunc i64 %indvars.iv to i32 185 %i.addr.0.bi.0 = select i1 %cmp1, i32 %2, i32 %bi.06 186 %indvars.iv.next = add i64 %indvars.iv, 1 187 %lftr.wideiv = trunc i64 %indvars.iv.next to i32 188 %exitcond = icmp eq i32 %lftr.wideiv, 1 189 br i1 %exitcond, label %for.end, label %for.body 190 191for.end: ; preds = %for.body, %entry 192 %bi.0.lcssa = phi i32 [ 0, %entry ], [ %i.addr.0.bi.0, %for.body ] 193 ret i32 %bi.0.lcssa 194} 195