91 lines · plain
1; RUN: opt < %s -passes=loop-vectorize,dce,instcombine -force-vector-interleave=1 -force-vector-width=4 -S | FileCheck %s2 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"4;CHECK-LABEL: @foo(5;CHECK: fadd fast <4 x float>6;CHECK: ret7define float @foo(ptr nocapture %A, ptr nocapture %n) nounwind uwtable readonly ssp {8entry:9 br label %for.body10 11for.body: ; preds = %for.body, %entry12 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]13 %sum.04 = phi float [ 0.000000e+00, %entry ], [ %add, %for.body ]14 %arrayidx = getelementptr inbounds float, ptr %A, i64 %indvars.iv15 %0 = load float, ptr %arrayidx, align 416 %add = fadd fast float %sum.04, %017 %indvars.iv.next = add i64 %indvars.iv, 118 %lftr.wideiv = trunc i64 %indvars.iv.next to i3219 %exitcond = icmp eq i32 %lftr.wideiv, 20020 br i1 %exitcond, label %for.end, label %for.body21 22for.end: ; preds = %for.body23 ret float %add24}25 26;CHECK-LABEL: @foosub(27;CHECK: fsub fast <4 x float>28;CHECK: ret29define float @foosub(ptr nocapture %A, ptr nocapture %n) nounwind uwtable readonly ssp {30entry:31 br label %for.body32 33for.body: ; preds = %for.body, %entry34 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]35 %sum.04 = phi float [ 0.000000e+00, %entry ], [ %sub, %for.body ]36 %arrayidx = getelementptr inbounds float, ptr %A, i64 %indvars.iv37 %0 = load float, ptr %arrayidx, align 438 %sub = fsub fast float %sum.04, %039 %indvars.iv.next = add i64 %indvars.iv, 140 %lftr.wideiv = trunc i64 %indvars.iv.next to i3241 %exitcond = icmp eq i32 %lftr.wideiv, 20042 br i1 %exitcond, label %for.end, label %for.body43 44for.end: ; preds = %for.body45 ret float %sub46}47 48;CHECK-LABEL: @foodiv(49;CHECK: fdiv fast <4 x float>50;CHECK: ret51define float @foodiv(ptr nocapture %A, ptr nocapture %n) nounwind uwtable readonly ssp {52entry:53 br label %for.body54 55for.body: ; preds = %for.body, %entry56 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]57 %sum.04 = phi float [ 1.000000e+00, %entry ], [ %sub, %for.body ]58 %arrayidx = getelementptr inbounds float, ptr %A, i64 %indvars.iv59 %0 = load float, ptr %arrayidx, align 460 %sub = fdiv fast float %sum.04, %061 %indvars.iv.next = add i64 %indvars.iv, 162 %lftr.wideiv = trunc i64 %indvars.iv.next to i3263 %exitcond = icmp eq i32 %lftr.wideiv, 20064 br i1 %exitcond, label %for.end, label %for.body65 66for.end: ; preds = %for.body67 ret float %sub68}69 70;CHECK-LABEL: @foonodiv(71;CHECK-NOT: fdiv fast <4 x float>72;CHECK: ret73define float @foonodiv(ptr nocapture %A, ptr nocapture %n) nounwind uwtable readonly ssp {74entry:75 br label %for.body76 77for.body: ; preds = %for.body, %entry78 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]79 %sum.04 = phi float [ 1.000000e+00, %entry ], [ %sub, %for.body ]80 %arrayidx = getelementptr inbounds float, ptr %A, i64 %indvars.iv81 %0 = load float, ptr %arrayidx, align 482 %sub = fdiv fast float %0, %sum.0483 %indvars.iv.next = add i64 %indvars.iv, 184 %lftr.wideiv = trunc i64 %indvars.iv.next to i3285 %exitcond = icmp eq i32 %lftr.wideiv, 20086 br i1 %exitcond, label %for.end, label %for.body87 88for.end: ; preds = %for.body89 ret float %sub90}91