102 lines · plain
1; RUN: opt < %s -passes=loop-vectorize,dce,instcombine -force-vector-interleave=1 -force-target-supports-scalable-vectors=true -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; CHECK-LABEL: @test1(6; CHECK: store <8 x i32>7; CHECK: ret void8define void @test1(ptr nocapture %a, i32 %n) #0 {9entry:10 %cmp4 = icmp sgt i32 %n, 011 br i1 %cmp4, label %for.body, label %for.end12 13for.body: ; preds = %entry, %for.body14 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]15 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %indvars.iv16 store i32 42, ptr %arrayidx, align 417 %indvars.iv.next = add i64 %indvars.iv, 118 %lftr.wideiv = trunc i64 %indvars.iv.next to i3219 %exitcond = icmp eq i32 %lftr.wideiv, %n20 br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !021 22for.end: ; preds = %for.body, %entry23 ret void24}25 26; CHECK-LABEL: @test2(27; CHECK: store <vscale x 8 x i32>28; CHECK: ret void29define void @test2(ptr nocapture %a, i32 %n) #0 {30entry:31 %cmp4 = icmp sgt i32 %n, 032 br i1 %cmp4, label %for.body, label %for.end33 34for.body: ; preds = %entry, %for.body35 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]36 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %indvars.iv37 store i32 42, ptr %arrayidx, align 438 %indvars.iv.next = add i64 %indvars.iv, 139 %lftr.wideiv = trunc i64 %indvars.iv.next to i3240 %exitcond = icmp eq i32 %lftr.wideiv, %n41 br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !242 43for.end: ; preds = %for.body, %entry44 ret void45}46 47; CHECK-LABEL: @test3(48; CHECK: store <8 x i32>49; CHECK: ret void50define void @test3(ptr nocapture %a, i32 %n) #0 {51entry:52 %cmp4 = icmp sgt i32 %n, 053 br i1 %cmp4, label %for.body, label %for.end54 55for.body: ; preds = %entry, %for.body56 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]57 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %indvars.iv58 store i32 42, ptr %arrayidx, align 459 %indvars.iv.next = add i64 %indvars.iv, 160 %lftr.wideiv = trunc i64 %indvars.iv.next to i3261 %exitcond = icmp eq i32 %lftr.wideiv, %n62 br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !463 64for.end: ; preds = %for.body, %entry65 ret void66}67 68; Test that when only the width property is specified, and not the scalable.enable flag,69; that the hint defaults to 'scalable.enable = false'.70 71; CHECK-LABEL: @test4(72; CHECK: store <8 x i32>73; CHECK: ret void74define void @test4(ptr nocapture %a, i32 %n) #0 {75entry:76 %cmp4 = icmp sgt i32 %n, 077 br i1 %cmp4, label %for.body, label %for.end78 79for.body: ; preds = %entry, %for.body80 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]81 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %indvars.iv82 store i32 42, ptr %arrayidx, align 483 %indvars.iv.next = add i64 %indvars.iv, 184 %lftr.wideiv = trunc i64 %indvars.iv.next to i3285 %exitcond = icmp eq i32 %lftr.wideiv, %n86 br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !687 88for.end: ; preds = %for.body, %entry89 ret void90}91 92attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "use-soft-float"="false" }93 94!0 = !{!0, !1, !5}95!1 = !{!"llvm.loop.vectorize.width", i32 8}96!2 = !{!2, !1, !3}97!3 = !{!"llvm.loop.vectorize.scalable.enable", i32 1}98!4 = !{!4, !1, !5}99!5 = !{!"llvm.loop.vectorize.scalable.enable", i32 0}100!6 = !{!6, !7}101!7 = !{!"llvm.loop.vectorize.width", i32 8}102