116 lines · plain
1; RUN: opt < %s -passes=loop-vectorize -force-vector-interleave=2 -force-vector-width=8 -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 5@b = common global i32 0, align 46@f = common global i32 0, align 47@a = common global i32 0, align 48@d = common global ptr null, align 89@e = common global ptr null, align 810@c = common global i32 0, align 411 12; CHECK-LABEL: @fn1(13; CHECK: vector.body14define void @fn1() #0 {15entry:16 br label %for.cond17 18for.cond: ; preds = %for.cond, %entry19 %i.0 = phi i32 [ poison, %entry ], [ %inc, %for.cond ]20 %cmp = icmp slt i32 %i.0, 021 %fsub = fsub double 0.0e+00, 0.0e+0022 %fadd = fadd double %fsub, 1.000000e+0023 %call = tail call i32 @fn2(double %fadd) #224 %inc = add nsw i32 %i.0, 125 br i1 %cmp, label %for.cond, label %for.cond4.preheader26 27for.cond4.preheader: ; preds = %for.cond28 %call.lcssa = phi i32 [ %call, %for.cond ]29 %cmp514 = icmp sgt i32 %call.lcssa, 030 br i1 %cmp514, label %for.cond7.preheader.lr.ph, label %for.end2631 32for.cond7.preheader.lr.ph: ; preds = %for.cond4.preheader33 %0 = load ptr, ptr @e, align 8, !tbaa !434 br label %for.cond7.preheader35 36for.cond7.preheader: ; preds = %for.cond7.preheader.lr.ph, %for.inc2337 %y.017 = phi i32 [ 0, %for.cond7.preheader.lr.ph ], [ %inc24, %for.inc23 ]38 %i.116 = phi i32 [ 0, %for.cond7.preheader.lr.ph ], [ %i.2.lcssa, %for.inc23 ]39 %n.015 = phi i32 [ poison, %for.cond7.preheader.lr.ph ], [ %inc25, %for.inc23 ]40 %1 = load i32, ptr @b, align 4, !tbaa !541 %tobool11 = icmp eq i32 %1, 042 br i1 %tobool11, label %for.inc23, label %for.body8.lr.ph43 44for.body8.lr.ph: ; preds = %for.cond7.preheader45 %add9 = add i32 %n.015, 146 br label %for.body847 48for.body8: ; preds = %for.body8.lr.ph, %for.inc1949 %indvars.iv19 = phi i64 [ 0, %for.body8.lr.ph ], [ %indvars.iv.next20, %for.inc19 ]50 %i.213 = phi i32 [ %i.116, %for.body8.lr.ph ], [ 0, %for.inc19 ]51 %2 = trunc i64 %indvars.iv19 to i3252 %add10 = add i32 %add9, %253 store i32 %add10, ptr @f, align 4, !tbaa !554 %idx.ext = sext i32 %add10 to i6455 %add.ptr = getelementptr inbounds i32, ptr @a, i64 %idx.ext56 %tobool129 = icmp eq i32 %i.213, 057 br i1 %tobool129, label %for.inc19, label %for.body13.lr.ph58 59for.body13.lr.ph: ; preds = %for.body860 %3 = sext i32 %i.213 to i6461 br label %for.body1362 63for.body13: ; preds = %for.body13.lr.ph, %for.body1364 %indvars.iv = phi i64 [ %3, %for.body13.lr.ph ], [ %indvars.iv.next, %for.body13 ]65 %add.ptr.sum = add i64 %idx.ext, %indvars.iv66 %arrayidx = getelementptr inbounds i32, ptr @a, i64 %add.ptr.sum67 %4 = load i32, ptr %arrayidx, align 4, !tbaa !568 %arrayidx15 = getelementptr inbounds i32, ptr %0, i64 %indvars.iv69 store i32 %4, ptr %arrayidx15, align 4, !tbaa !570 %indvars.iv.next = add i64 %indvars.iv, 171 %5 = trunc i64 %indvars.iv.next to i3272 %tobool12 = icmp eq i32 %5, 073 br i1 %tobool12, label %for.cond11.for.inc19_crit_edge, label %for.body1374 75for.cond11.for.inc19_crit_edge: ; preds = %for.body1376 br label %for.inc1977 78for.inc19: ; preds = %for.cond11.for.inc19_crit_edge, %for.body879 %6 = load i32, ptr @c, align 4, !tbaa !580 %inc20 = add nsw i32 %6, 181 store i32 %inc20, ptr @c, align 4, !tbaa !582 %indvars.iv.next20 = add i64 %indvars.iv19, 183 %7 = load i32, ptr @b, align 4, !tbaa !584 %tobool = icmp eq i32 %7, 085 br i1 %tobool, label %for.cond7.for.inc23_crit_edge, label %for.body886 87for.cond7.for.inc23_crit_edge: ; preds = %for.inc1988 %add.ptr.lcssa = phi ptr [ %add.ptr, %for.inc19 ]89 store ptr %add.ptr.lcssa, ptr @d, align 8, !tbaa !490 br label %for.inc2391 92for.inc23: ; preds = %for.cond7.for.inc23_crit_edge, %for.cond7.preheader93 %i.2.lcssa = phi i32 [ 0, %for.cond7.for.inc23_crit_edge ], [ %i.116, %for.cond7.preheader ]94 %inc24 = add nsw i32 %y.017, 195 %inc25 = add nsw i32 %n.015, 196 %exitcond = icmp ne i32 %inc24, %call.lcssa97 br i1 %exitcond, label %for.cond7.preheader, label %for.cond4.for.end26_crit_edge98 99for.cond4.for.end26_crit_edge: ; preds = %for.inc23100 br label %for.end26101 102for.end26: ; preds = %for.cond4.for.end26_crit_edge, %for.cond4.preheader103 ret void104}105declare i32 @fn2(double) #1106 107attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "use-soft-float"="false" }108attributes #1 = { "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "use-soft-float"="false" }109 110!0 = !{!"int", !1}111!1 = !{!"omnipotent char", !2}112!2 = !{!"Simple C/C++ TBAA"}113!3 = !{!"double", !1}114!4 = !{!0, !0, i64 0}115!5 = !{!3, !3, i64 0}116