1; RUN: opt < %s -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S | FileCheck %s 2 3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 4target triple = "x86_64-apple-macosx10.9.0" 5 6;CHECK: hexit 7;CHECK: zext <4 x i8> 8;CHECK: ret 9 10define noalias i8* @hexit(i8* nocapture %bytes, i64 %length) nounwind uwtable ssp { 11entry: 12 %shl = shl i64 %length, 1 13 %add28 = or i64 %shl, 1 14 %call = tail call i8* @calloc(i64 1, i64 %add28) nounwind 15 %cmp29 = icmp eq i64 %shl, 0 16 br i1 %cmp29, label %for.end, label %for.body.lr.ph 17 18for.body.lr.ph: ; preds = %entry 19 %0 = shl i64 %length, 1 20 br label %for.body 21 22for.body: ; preds = %for.body, %for.body.lr.ph 23 %i.030 = phi i64 [ 0, %for.body.lr.ph ], [ %inc, %for.body ] 24 %shr = lshr i64 %i.030, 1 25 %arrayidx = getelementptr inbounds i8, i8* %bytes, i64 %shr 26 %1 = load i8, i8* %arrayidx, align 1 27 %conv = zext i8 %1 to i32 28 %and = shl i64 %i.030, 2 29 %neg = and i64 %and, 4 30 %and3 = xor i64 %neg, 4 31 %sh_prom = trunc i64 %and3 to i32 32 %shl4 = shl i32 15, %sh_prom 33 %and5 = and i32 %conv, %shl4 34 %shr11 = lshr i32 %and5, %sh_prom 35 %conv13 = and i32 %shr11, 254 36 %cmp15 = icmp ugt i32 %conv13, 9 37 %cond = select i1 %cmp15, i32 87, i32 48 38 %add17 = add nsw i32 %cond, %shr11 39 %conv18 = trunc i32 %add17 to i8 40 %arrayidx19 = getelementptr inbounds i8, i8* %call, i64 %i.030 41 store i8 %conv18, i8* %arrayidx19, align 1 42 %inc = add i64 %i.030, 1 43 %exitcond = icmp eq i64 %inc, %0 44 br i1 %exitcond, label %for.end, label %for.body 45 46for.end: ; preds = %for.body, %entry 47 ret i8* %call 48} 49 50declare noalias i8* @calloc(i64, i64) nounwind 51