41 lines · plain
1; RUN: opt < %s -passes=loop-vectorize -force-vector-width=4 -S |FileCheck %s2 3; SCEV expansion uses existing value when the SCEV has no AddRec expr.4; CHECK-LABEL: @foo(5; CHECK: select6; CHECK-NOT: select7; CHECK: ret8 9@a = common global [1000 x i16] zeroinitializer, align 1610 11define i32 @foo(i32 %x, i32 %y) {12entry:13 %cmp = icmp slt i32 %x, %y14 %cond = select i1 %cmp, i32 %x, i32 %y15 %cmp1.10 = icmp sgt i32 %cond, 016 br i1 %cmp1.10, label %for.body.lr.ph, label %for.end17 18for.body.lr.ph: ; preds = %entry19 %tmp = sext i32 %cond to i6420 br label %for.body21 22for.body: ; preds = %for.body, %for.body.lr.ph23 %indvars.iv = phi i64 [ 0, %for.body.lr.ph ], [ %indvars.iv.next, %for.body ]24 %total.011 = phi i32 [ 0, %for.body.lr.ph ], [ %add, %for.body ]25 %arrayidx = getelementptr inbounds [1000 x i16], ptr @a, i64 0, i64 %indvars.iv26 %tmp1 = load i16, ptr %arrayidx, align 227 %conv = sext i16 %tmp1 to i3228 %add = add nsw i32 %conv, %total.01129 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 130 %cmp1 = icmp slt i64 %indvars.iv.next, %tmp31 br i1 %cmp1, label %for.body, label %for.end.loopexit32 33for.end.loopexit: ; preds = %for.body34 %add.lcssa = phi i32 [ %add, %for.body ]35 br label %for.end36 37for.end: ; preds = %for.end.loopexit, %entry38 %total.0.lcssa = phi i32 [ 0, %entry ], [ %add.lcssa, %for.end.loopexit ]39 ret i32 %total.0.lcssa40}41